arXiv ScienceSearch

arXiv · 2505.20818

Domain Decomposition Subspace Neural Network Method for Solving Linear and Nonlinear Partial Differential Equations

Abstract

This paper proposes a domain decomposition subspace neural network method for efficiently solving linear and nonlinear partial differential equations. By combining the principles of domain decomposition and subspace neural networks, the method constructs basis functions using neural networks to approximate PDE solutions. It imposes $C^k$ continuity conditions at the interface of subdomains, ensuring smoothness across the global solution. Nonlinear PDEs are solved using Picard and Newton iterations, analogous to classical methods. Numerical experiments demonstrate that our method achieves exceptionally high accuracy, with errors reaching up to $10^{-13}$, while significantly reducing computational costs compared to existing approaches, including PINNs, DGM, DRM. The results highlight the method's superior accuracy and training efficiency.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhenxing Fu, Hongliang Liu, Zhiqiang Sheng, Baixue Xing. 2025-05-27. Domain Decomposition Subspace Neural Network Method for Solving Linear and Nonlinear Partial Differential Equations. https://arxiv.org/abs/2505.20818

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

KEEP EXPLORING

Related papers

Trustworthy AI in numerics: On verification algorithms for neural network-based PDE solvers

We present new algorithms for a posteriori verification of neural networks (NNs) approximating solutions to PDEs. We use numerical quadrature to compute upper bounds for $L^2$ norms of NNs and their derivatives. When combined with energy estimates for specific PDEs, this yields verification algorithms which only output approximations with $\varepsilon$-accuracy (in a suitable norm) with respect to the true but unknown solution of the PDE -- for any given $\varepsilon > 0$. This framework enables trustworthy algorithms for NN-based PDE solvers, regardless of training method. Such a posteriori verification is essential because a priori error bounds generally cannot guarantee the accuracy of computed solutions due to the algorithmic undecidability of the optimisation problems used to train NNs

math.NA

Parametric charge-conservative mixed finite element method for 3D incompressible inductionless MHD equations on curved domains

This paper develops a charge-conservative mixed finite element method with optimal convergence rates for the stationary incompressible inductionless MHD equations on three-dimensional curved domains. The discretization employs the isoparametric Taylor-Hood elements with grad-div stabilization for the velocity-pressure pair, and parametric Brezzi-Douglas-Marini elements for the current density. For sufficiently small meshsize, the discrete inf-sup conditions for both the velocity-pressure and current density-electric potential finite element pairs are established on curved meshes. Utilizing the Piola's transformation, the discrete current density is exactly divergence-free. By employing suitable extensions and projections, optimal a priori error estimates are derived in both the energy norm and the $L^2$-norm. Numerical experiments are presented to confirm the theoretical results.

math.NA

Sharp Sobolev Sandwich and Approximation Rates of Radon-Domain $L^p$ Ridge Integral Spaces for ReLU$^k$ Networks

We develop the $L^p$ space and approximation theory for shallow neural networks with $\mathrm{ReLU}^k$ activations. The central object is the Radon-domain $L^p$ space $\mathcal{R}L^p_k(Ω)$ containing all functions on a bounded domain $Ω$ that admit a ridge integral representation whose coefficient density belongs to $L^p$ in the Radon domain. In the Hilbert case $p=2$, we prove by elementary Fourier analysis that this space recovers the critical Sobolev space $H^{k+(d+1)/2}(Ω)$. For general $1<p<\infty$, the identity becomes a sandwich for Bessel-potential Sobolev spaces. The sharp gap of each side is exactly the Seeger--Sogge--Stein loss for the Radon transform as a Fourier integral operator. This also clarifies how the activation regularity and Radon back-projection jointly produce the regularity. As an application, we discretize the integral representation using a deterministic interpolation skeleton plus uniform sampling. This yields high-probability $L^p$ approximation rates and the optimal Hilbert rate $O\!\big(n^{-\frac12-\frac{2k+1}{2d}}\big)$ at $p=2$ for linearized neural networks.

math.NA