[論文レビュー] Semilinear elliptic eigenvalue problem: Parametric analyticity and the uncertainty quantification

Byeong-Ho Bahn|arXiv (Cornell University)|Aug 6, 2023

Probabilistic and Robust Engineering DesignDecision Sciences被引用数 3

ひとこと要約

本稿は、線形項がアフィンパラメトリック係数を有し、非線形項がべき乗型である半線形楕円型固有値問題において、基礎固有ペアのパラメトリックな解析的性質および混合微分の有界性を確立する。$\bm{\beta} \in \ell^q$（$q \in (0,1]$）の下で、固有ペアのテイラー係数が十分に速く減衰することを示すことにより、次元に依存しない収束率を保証するクェasiモンテカルロ法の誤差境界を導出する。これにより、次元に依存しない期待値推定が可能となる。

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.

研究の動機と目的

• アフィンパラメトリック係数とべき乗型非線形項を有する半線形楕円型固有値問題における基礎固有ペアのパラメトリックな解析的性質および正則性を分析すること。
• 線形固有値問題と類似する形で、固有ペアの混合微分に対する上界を導出すること。
• パラメトリック変動の下で線形化された作用素の基礎固有値に対する一様有界性および正のスペクトルギャップを確立すること。
• これらの結果を、ランダムにシフトされたクェアシモンテカルロ法を用いた不確実性量化に応用すること。
• パラメータが一様分布に従う場合の固有ペアの期待値に対する次元に依存しない誤差境界を証明すること。

提案手法

• 半線形作用素の構造から導かれる、パrameter空間 $\bm{y} \in [-1/2, 1/2]^\mathbb{N}$ における固有ペアのパラメトリックな解析的性質を用いる。
• 基礎固有ペアの一様有界性および線形化作用素の第一および第二固有値間のスペクトルギャップに対する正の下界を確立する。
• 下降階乗の技法を用いて、微分係数の有界性から $\varepsilon > 0$ を除去し、$C(|\bm{\nu}|!)^{1+\varepsilon}\bm{\beta}^{\bm{\nu}}$ の形の鋭い減衰推定を得る。
• アンカーレスティプ $\ell^2$-ノルムおよび重み付き関数空間を用いて、パラメトリック領域における混合微分の成長を制御する。
• パラメータ係数列 $\bm{\beta}$ の $\ell^r$-summability（$r \in (0,1]$）を用いて、ランダムにシフトされたクェアシモンテカルロ規則の誤差境界を導出する。
• 誤差境界における $C_{\theta,s}$ 定数がパラメータ数 $s$ に依存しないようにするため、重み列 $\gamma_{\bm{u}}$ を構築する。

実験結果

リサーチクエスチョン

• RQ1 アフィンパラメトリック係数とべき乗型非線形項を有する半線形楕円型固有値問題において、基礎固有ペアのパラメトリックな解析的性質を確立できるか？
• RQ2 パラメトリック領域における固有ペア成分の混合微分の鋭い減衰率は何か？
• RQ3 このような固有値問題の不確実性量化において、クェアシモンテカルロ法の次元に依存しない収束率を達成できるか？
• RQ4 $\bm{\beta} \in \ell^q$ の選択がQMC近似の収束率にどのように影響するか？
• RQ5 パラメトリック係数にどのような条件を課すと、線形化作用素の基礎固有値に対する一様有界性およびスペクトルギャップが保証されるか？

主な発見

• 基礎固有ペアの混合微分は、$C(|\bm{\nu}|!)^{1+\varepsilon}\bm{\beta}^{\bm{\nu}}$ の形の上界を満たす。$\varepsilon > 0$ は下降階乗の技法により除去され、鋭い減衰が得られる。
• 固有ペアは一様有界であり、パラメトリック領域全域で第一および第二固有値間のスペクトルギャップはゼロから一様に離れている。
• $\bm{\beta} \in \ell^q$（$q \in (0,1]$）の下で、ランダムにシフトされたクェアシモンテカルロ規則の誤差境界は $C \varphi(N)^{-(1/2\theta)}$ となる。ここで $\theta \in [q/(2-q), 1)$ であり、次元に依存しない収束が達成される。
• $q=1$ の場合、$\theta=1$ とすると、$\sum_{j \geq 1} \beta_j < \sqrt{6}$ の条件下で $C_{1,s}$ が有界となり、収束率 $C \varphi(N)^{-1}$ が保証される。
• 誤差率は $C \varphi(N)^{-(1/2\theta)}$ となり、$\theta \geq q/(2-q)$ となるように $\theta $ を選ぶことで、$q \in (2/3, 1)$ のとき $C \varphi(N)^{-(1/q - 1/2)}$ の最適収束率が達成可能となる。
• 重み $\gamma_{\bm{u}}$ の構築により、誤差境界における $C_{\theta,s}$ 項がパラメータ数 $s$ に依存せず、次元に依存しない解析が可能となる。