[論文レビュー] On the location of maximal of solutions of Schrödinger's equation

Manas Rachh, Stefan Steinerberger|arXiv (Cornell University)|Aug 23, 2016

Advanced Mathematical Modeling in Engineering参考文献 21被引用数 5

ひとこと要約

この論文は、ディリクレ境界条件を満たすシュレーディンガー方程式の解の最大値から領域の境界までの距離について、普遍的な下界を確立する。この距離は、$Δ u / u$ の本質的上界ノルムの平方根の逆数に比例することを示しており、古典的な固有関数に関する結果を精緻化する。また、ブラウン運動に基づく確率的証明を用いて、一般のポテンシャルおよび高次元への拡張が可能である。

ABSTRACT

We prove an inequality with applications to solutions of the Schrödinger equation. There is a universal constant $c>0$, such that if $Ω\subset \mathbb{R}^2$ is simply connected, $u:Ω ightarrow \mathbb{R}$ vanishes on the boundary $\partial Ω$, and $|u|$ assumes a maximum in $x_0 \in Ω$, then $$ \inf_{y \in \partial Ω}{ \| x_0 - y\|} \geq c \left\| \frac{Δu}{u} ight\|^{-1/2}_{L^{\infty}(Ω)}.$$ It was conjectured by Pólya \& Szegő (and proven, independently, by Makai and Hayman) that a membrane vibrating at frequency $λ$ contains a disk of size $\sim λ^{-1/2}$. Our inequality implies a refined result: the point on the membrane that achieves the maximal amplitude is at distance $\sim λ^{-1/2}$ from the boundary. We also give an extension to higher dimensions (generalizing results of Lieb and Georgiev \& Mukherjee): if $u$ solves $-Δu = Vu$ on $Ω\subset \mathbb{R}^n$ with Dirichlet boundary conditions, then the ball $B$ with radius $\sim \|V\|_{L^{\infty}(Ω)}^{-1/2}$ centered at the point in which $|u|$ assumes a maximum is almost fully contained in $Ω$ in the sense that $|B \cap Ω| \geq 0.99 |B|.$

研究の動機と目的

• ディリクレ境界条件を満たすシュレーディンガー方程式の解の最大振幅点から領域境界までの距離について、定量的な下界を確立すること。
• 最大値が境界に近いのはポテンシャルが大きい場合に限ることを示し、内接半径および固有値に関する古典的なハヤマン＝マカイの不等式を精緻化すること。
• 確率的手法とファインマン＝ヘイズの公式を用いて、一般のポテンシャルおよび高次元への結果の拡張を図ること。
• 単純接続された平面上領域に対して、すべての領域に共通する正の定数$c>0$が存在し、境界までの距離が少なくとも$c\|\Delta u / u\|_{L^\infty}^{-1/2}$以上であることを示すこと。
• 最大値の位置とバラの不等式との関係を検討し、最大値が内接半径スケールに近い場合の安定性条件を示唆すること。

提案手法

• ブラウン運動に基づく確率的アプローチを用いる：時間$t$以内に境界に到達する確率は、生存確率$1 - p_{x_0}(t)$によって上界で抑えられる。
• ファインマン＝ヘイズの公式を適用し、解$u$をブラウン運動路の指数関数的汎関数の期待値と関連付ける。
• 不等式$p_{x_0}(t) \leq 1 - h(t)^{-1}$を導出する。ここで$h(t) = \sup_x \mathbb{E}_x[\exp(\int_0^t |V(\omega(z))| dz)]$であり、ポテンシャル$V$と生存確率を結びつける。
• 放物型スケーリングを用いて、最大値から境界までの距離を1に正規化し、解析を単純化する。
• ブラウン運動が曲線を横切る最小到達確率に関する予想を用いて、$h(T) \leq 2$ となる臨界時刻$T$を推定し、半径$∼ \sqrt{T}$を得る。
• 高次元への拡張において、最大点を中心とする半径$∼ \|V\|_{L^\infty}^{-1/2}$の球が、$Ω$ にほぼ完全に含まれることを示し、$|B \cap \Omega| \geq 0.99|B|$ を得る。

実験結果

リサーチクエスチョン

• RQ1 ディリクレ境界条件を満たすシュレーディンガー方程式$-\Delta u = Vu$ の解の最大値が境界にどの程度近づけるか、ポテンシャル$V$ に依存してどのように評価できるか。
• RQ2 基底状態固有関数の最大値の位置が、ハヤマン＝マカイの内接半径推定値を改善する形で境界から遠ざけられるか。
• RQ3 すべての単純接続された平面上領域に対して、$\inf_{y\in\partial\Omega} \|x_0 - y\| \geq c \|\Delta u / u\|_{L^\infty}^{-1/2}$ を満たす最適な普遍定数$c>0$は何か。
• RQ4 ブラウン運動とファインマン＝ヘイズの公式に基づく確率的アプローチが、最大値の位置に関する幾何的制約をどの程度得られるか。
• RQ5 $V$ が必ずしも$L^\infty$に属さない粗いポテンシャルに対しても、同様の結果が成り立つか。$V$ にどのような条件を課すと、同様の定性的な振る舞いが保証されるか。

主な発見

• 任意の単純接続領域$\Omega \subset \mathbb{R}^2$に対して、普遍定数$c > 0$が存在し、$-\Delta u = Vu$ かつ$\partial\Omega$ で$u=0$ を満たす解$u$ の最大値は、境界から少なくとも距離$c \|\Delta u / u\|_{L^\infty}^{-1/2}$ 離れている。
• ラプラシアンの第一固有関数（$V = \lambda_1$）に対しては、最大値は境界から少なくとも距離$c_1 \lambda_1^{-1/2}$ 離れている。数値的証拠から$c_1 \leq 1.37$ である。
• この結果は、ハヤマン＝マカイの不等式の精緻化を意味する：領域$\Omega$ の内接半径は少なくとも$c_1 \lambda_1^{-1/2}$ 以上であり、定数$c_1$ は普遍的である。
• 高次元（$n \geq 3$）においては、最大点を中心とする半径$∼ \|V\|_{L^\infty}^{-1/2}$ の球が、$|B \cap \Omega| \geq 0.99|B|$ を満たし、ほぼ完全に領域内に含まれることを示す。
• 証明を明示的にすることで、$c_1 \geq 0.1$ の定量的下界を得るが、これは予想される最適値とは大きくかけ離れている。
• 指数$-1/2$ を改善できないことは、例$u(x,y) = \sin(nx)\sin(y)$ を$[0,\pi]^2$ で用いることで示され、不等式は鋭い。