Exponential ReLU Neural Network Approximation Rates for Point and Edge Singularities
Open Access
- 14 June 2022
- journal article
- research article
- Published by Springer Nature in Foundations of Computational Mathematics
- Vol. 23 (3) , 1043-1127
Abstract
In certain polytopal domains $$\varOmega $$ , in space dimension $$d=2,3$$ , we prove exponential expressivity with stable ReLU Neural Networks (ReLU NNs) in $$H^1(\varOmega )$$ for weighted analytic function classes. These classes comprise in particular solution sets of source and eigenvalue problems for elliptic PDEs with analytic data. Functions in these classes are locally analytic on open subdomains $$D\subset \varOmega $$ , but may exhibit isolated point singularities in the interior of $$\varOmega $$ or corner and edge singularities at the boundary $$\partial \varOmega $$ . The exponential approximation rates are shown to hold in space dimension $$d = 2$$ on Lipschitz polygons with straight sides, and in space dimension $$d=3$$ on Fichera-type polyhedral domains with plane faces. The constructive proofs indicate that NN depth and size increase poly-logarithmically with respect to the target NN approximation accuracy $$\varepsilon >0$$ in $$H^1(\varOmega )$$ . The results cover solution sets of linear, second-order elliptic PDEs with analytic data and certain nonlinear elliptic eigenvalue problems with analytic nonlinearities and singular, weighted analytic potentials as arise in electron structure models. Here, the functions correspond to electron densities that exhibit isolated point singularities at the nuclei.
Keywords
All Related Versions
Funding Information
- Swiss Federal Institute of Technology Zurich
This publication has 49 references indexed in Scilit:
- $hp$-DGFEM for Second Order Elliptic Problems in Polyhedra II: Exponential ConvergenceSIAM Journal on Numerical Analysis, 2013
- Analytic structure of solutions to multiconfiguration equationsJournal of Physics A: Mathematical and Theoretical, 2009
- Asymptotic regularity of solutions to Hartree-Fock equations with Coulomb potentialMathematical Methods in the Applied Sciences, 2008
- Region configurations for realizability of lattice Piecewise-Linear modelsMathematical and Computer Modelling, 1999
- Regularity of the solutions for elliptic problems on nonsmooth domains in ℝ3. Part II: Regularity in neighbourhoods of edgesProceedings of the Royal Society of Edinburgh: Section A Mathematics, 1997
- Regularity of the solutions for elliptic problems on nonsmooth domains in ℝ3, Part I: countably normed spaces on polyhedral domainsProceedings of the Royal Society of Edinburgh: Section A Mathematics, 1997
- The partition of unity finite element method: Basic theory and applicationsComputer Methods in Applied Mechanics and Engineering, 1996
- Regularity of the Solution of Elliptic Problems with Piecewise Analytic Data. Part I. Boundary Value Problems for Linear Elliptic Equation of Second OrderSIAM Journal on Mathematical Analysis, 1988
- Solutions of Hartree-Fock equations for Coulomb systemsCommunications in Mathematical Physics, 1987
- Regularite gevrey pour le probleme de dirichlet dans des domaines a singularites coniquesCommunications in Partial Differential Equations, 1985