Searcharxiv⌕ Search

arXiv · 2610.15220

An adaptive Galerkin neural-network method for minimum-norm control of wave equations

Abstract

We develop an adaptive Galerkin neural-network method for computing minimum-$L^2$-norm interior controls for wave equations with spatially varying coefficients. Within the Hilbert Uniqueness Method, adjoint waves are approximated directly in space-time by least-squares Galerkin projections onto trial spaces enriched by neural-network basis functions selected through residual-based training. Linear Galerkin solves determine the adjoint approximations, and a separate linear system reconstructs the control. The least-squares objective provides an indicator for adaptive enrichment and stopping; the experiments use a Ritz-based terminal-data version whose continuous-error interpretation additionally requires an eigenpair consistency estimate. The main difficulty is that adjoint errors perturb this reconstruction system. Assuming observability of the continuous equation, we derive sufficient stability conditions involving a worst-case factor $\sqrt{n}$ multiplying the maximal adjoint error, where $n$ is the number of retained terminal modes. A fully discrete error estimate separates terminal-space truncation, adjoint approximation, and assembly errors, yielding convergence to the minimum-norm control when the truncation error, the $\sqrt{n}$-weighted adjoint error, and the assembly errors tend to zero as $n$ grows. For spectral terminal bases, additional regularity and uniform contraction assumptions yield quantitative convergence rates and show that $O(\log n)$ accepted enrichment steps per mode suffice to balance the neural and truncation errors. Numerical experiments on a nonconvex Cassini oval, a square containing a low-speed lens, and a three-dimensional ball with a graded coefficient illustrate the method.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nguyen Gia Hien. 2026-10-10. An adaptive Galerkin neural-network method for minimum-norm control of wave equations. https://arxiv.org/abs/2610.15220

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

An unconditionally convergent discontinuous Galerkin neural network method activated by plane waves for Helmholtz equation and Maxwell's equations

In this paper we propose a discontinuous Galerkin plane wave neural network (DGPWNN) method for approximately solving Helmholtz equation and Maxwell's equations. In this method, we define an elliptic-type variational problem as in the plane wave least square method with $h-$refinement and introduce the adaptive construction of recursively augmented discontinuous Galerkin subspaces whose basis functions are realizations of element-wise neural network functions with hp-refinement, where the activation function is chosen as a complex-valued exponential function like the plane wave function. A sequence of basis functions approaching the unit residuals are recursively generated by iteratively solving quasi-maximization problems associated with the underlying residual functionals and the intersection of the closed unit ball and discontinuous plane wave neural network spaces. The convergence results of the DGPWNN method are unconditional only if nonlinear initial parameters for the quasi-maximizers are selected by suitably distributed propagation directions, and established without the assumption on the boundedness of the neural network parameters. Numerical experiments confirm the effectiveness of the proposed method.

math.NA↗

On the optimization of discrepancy measures

Numerical optimizations can find point sets with lower discrepancies than prior methods based on algebra, and $L_2$ discrepancies are computationally attractive for this. The $L_2$ star discrepancy unreasonably emphasizes the origin and Matoušek pointed to a serious drawback. He showed that the $L_2$ star discrepancy of $n$ points at $(1,\dots,1)\in[0,1]^d$ is less than the root mean squared $L_2$ star discrepancy of $n$ random points until $n>(3/2)^d-1$. We introduce the \emph{average squared discrepancy} (ASD) which averages $2^d$ versions of the squared $L_2$ star discrepancy, one for each vertex of $[0,1]^d$. We show that it can be computed in $O(dn^2)$ work and that it does not suffer from Matoušek's repeated-point pathology. We inspect several $L_2$ discrepancies that do not favor the origin over other vertices. Only two of them avoid the repeated-point pathology: a symmetric discrepancy and a periodic discrepancy. The symmetric discrepancy has a twin-point pathology where point sets with only $2$ distinct points can be better than random points until $n\ge 3^d$. We also study weighted $L_2$ discrepancies introduced by Hickernell that use some product weights. Weighting lower dimensional projections reduces but does not eliminate the repeated-point pathologies. A range of numerical experiments showcase recent progress in the construction of sets with low $L_2$ discrepancies for many different measures. In our examples, optimizing the ASD also gives good results for \emph{the other} discrepancies we consider, especially in lower dimensions. This version corrects some of the threshold sample sizes n at which random points become better than n repeated points for some discrepancy measures. In particular, the periodic L_2 discrepancy has no repeated point pathology.

math.NA↗

Accelerated decomposition of bistochastic kernel matrices by low rank approximation

We develop an accelerated algorithm for the approximate eigenvalue decomposition of symmetrically normalized kernel matrices, focusing on a bistochastic normalization. Our approach constructs a low rank approximation of the original kernel matrix by the pivoted partial Cholesky algorithm, and uses it to compute an approximate decomposition of its normalization without requiring the formation of the full kernel matrix. The cost of the proposed algorithm depends linearly on the size of the employed training dataset and quadratically on the rank of the low rank approximation, offering a significant cost reduction compared to the naive approach. We derive trace norm error bounds for the approximation of two classes of normalized kernel matrices. We apply the proposed algorithm to the kernel based extraction of spatiotemporal patterns from chaotic Kuramoto-Sivashinsky dynamics, using a distributed GPU implementation that can scale to large datasets.

math.NA↗