[论文解读] 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

一句话总结

本文建立了在狄利克雷边界条件下，薛定谔方程解的最大值点到区域边界距离的普遍下界，表明该距离与 $\Delta 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}$，适用于所有单连通平面区域。
• 探讨极大值位置与巴尔塔不等式之间的联系，提出当极大值不在内径尺度附近时的稳定性条件。

提出的方法

• 基于布朗运动的概率方法：利用生存概率 $1 - p_{x_0}(t)$，对在时间 $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，简化分析。
• 利用关于布朗运动穿越曲线的最小击中概率的猜想，估计临界时间 $T$ 满足 $h(T) \leq 2$，从而得到半径 $\sim \sqrt{T}$。
• 通过证明在高维中，以最大值点为中心、半径 $\sim \|V\|_{L^\infty}^{-1/2}$ 的球体几乎完全包含于 $\Omega$，即 $|B \cap \Omega| \geq 0.99|B|$，将结果推广至高维。

实验结果

研究问题

• RQ1 在势能 $V$ 的表达下，薛定谔方程 $-\Delta u = Vu$ 的解的最大值点距离边界最近能有多近，边界条件为狄利克雷条件？
• RQ2 能否以改进海曼-马凯内径估计的方式，将基态特征函数的最大值位置与边界保持一定距离？
• RQ3 最优普遍常数 $c>0$ 是多少，使得对所有单连通平面区域，有 $\inf_{y\in\partial\Omega} \|x_0 - y\| \geq c \|\Delta u / u\|_{L^\infty}^{-1/2}$？
• RQ4 基于布朗运动与费曼-赫兹公式的概率方法，在多大程度上可用于推导极大值位置的几何约束？
• RQ5 该结果在粗糙势能 $V$（不一定是 $L^\infty$ 类）下如何推广？哪些关于 $V$ 的条件能保证相同定性行为？

主要发现

• 存在一个普遍常数 $c > 0$，使得对任意单连通区域 $\Omega \subset \mathbb{R}^2$，方程 $-\Delta u = Vu$ 在 $u=0$ 于 $\partial\Omega$ 上的解 $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$）情形下，以最大值点为中心、半径 $\sim \|V\|_{L^\infty}^{-1/2}$ 的球体满足 $|B \cap \Omega| \geq 0.99|B|$，表明其几乎完全包含于 $\Omega$ 中。
• 当证明过程显式化时，该方法可给出定量下界 $c_1 \geq 0.1$，尽管远低于猜想的最优值。
• 该不等式是精确的，即指数 $-1/2$ 无法改进，如在 $[0,\pi]^2$ 上取 $u(x,y) = \sin(nx)\sin(y)$ 的例子所示。