# Boundary-Adapted PINNs for Elliptic Dirichlet Problems: H2(Omega) A Priori Error Bounds with Application to Mean Escape Time Computation

arXiv: https://arxiv.org/abs/2607.19167 · HTML: https://mlsanity.com/paper/2607.19167/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 2 of its 83 references that are in the map.
- First posted on arXiv 21 Jul 2026.

## Builds on (most cited first, 2 of 2)

- [Expressivity and Approximation Properties of Deep Neural Networks with ReLUk Activation](https://mlsanity.com/paper/2312.16483/) (2023)
- [Simultaneous CNN Approximation on Manifolds with Applications to Boundary Value Problems](https://mlsanity.com/paper/2605.04126/) (2026)

## Abstract (arXiv)

Motivated by the numerical computation of the Mean Escape Time (MET) τ:Omega→ℝ of a stochastic process from a bounded domain Omegasubseteqℝd, we study elliptic Dirichlet boundary value problems (BVPs) using boundary-enforced Physics-Informed Neural Networks (PINNs), in which the Dirichlet condition is imposed exactly by multiplying the network output with a predefined distance-to-boundary approximation ρ. Combining approximation-theoretic and statistical-learning arguments for Rectified Quadratic Unit (ReQU) and hyperbolic tangent (tanh) networks, we derive a priori error bounds that make explicit the dependence on ρ. In particular, we show that exact boundary enforcement alone is not enough for H2(Omega) error bounds, and that a sufficient and essentially necessary condition is for ρ to be a smooth distance approximation textitnormalized to first order, of the kind constructed in arXiv:2104.08426 [math.NA]. We thereby identify this subclass of textitboundary-adapted PINNs as the appropriate neural network ansatz for solving Dirichlet BVPs. Numerical experiments support the theory, showing that appropriate choices of ρ improve accuracy and convergence, while poorly chosen distance functions can substantially degrade the solution. Our proof also yields new VC-dimension bounds for hypothesis spaces of higher-order derivatives of ReQU and tanh networks, together with new approximation bounds for shallow ReQU networks in higher-order Sobolev norms, all of which are of important independent interest.