Semilinear elliptic eigenvalue problem: Parametric analyticity and the uncertainty quantification
Byeong-Ho Bahn
TL;DR
This work extends uncertainty quantification for elliptic eigenvalue problems to nonlinear, parametric settings with affine parameter dependence. By proving ground-state analyticity via an implicit-function approach and establishing a uniform spectral gap, the authors derive factorial-type bounds for mixed derivatives of the ground state and energy. These bounds enable dimension-truncation and quasi-Monte Carlo error analyses that yield dimension-independent convergence rates for estimating expectations of eigenvalues and functionals of the eigenfunction. The results unify the nonlinear case with prior linear theory, and the total error bounds provide practical guidance for QMC-based UQ in nonlinear PDEs, including connections to physical models like the Gross–Pitaevskii equation.
Abstract
In this paper, to the best of our knowledge, we make the first attempt at studying the parametric semilinear elliptic eigenvalue problems with the parametric coefficient and some power-type nonlinearities. The parametric coefficient is assumed to have an affine dependence on the countably many parameters with an appropriate class of sequences of functions. In this paper, we obtain the upper bound estimation for the mixed derivatives of the ground eigenpairs that has the same form obtained recently for the linear eigenvalue problem. The three most essential ingredients for this estimation are the parametric analyticity of the ground eigenpairs, the uniform boundedness of the ground eigenpairs, and the uniform positive differences between ground eigenvalues of linear operators. All these three ingredients need new techniques and a careful investigation of the nonlinear eigenvalue problem that will be presented in this paper. As an application, considering each parameter as a uniformly distributed random variable, we estimate the expectation of the eigenpairs using a randomly shifted quasi-Monte Carlo lattice rule and show the dimension-independent error bound.
