[论文解读] Asymptotic behavior of solutions to Schrödinger equations near an isolated singularity of the electromagnetic potential

Veronica Felli, Alberto Ferrero+1 more|arXiv (Cornell University)|Sep 29, 2008

Advanced Mathematical Physics Problems参考文献 28被引用 6

一句话总结

本文通过使用 Almgren 型单调性公式、变量分离法以及迭代的 Brezis-Kato 方法，分析了具有齐次度为 −1（磁场）和 −2（电场）的奇异电磁势的薛定谔方程解的渐近行为。主要结果确定了孤立奇点附近解的确切爆破速率和角向依赖性，表明当向量势在分布意义下旋度为零时，磁场势不影响第一特征值。

ABSTRACT

Asymptotics of solutions to Schroedinger equations with singular magnetic and electric potentials is investigated. By using a Almgren type monotonicity formula, separation of variables, and an iterative Brezis-Kato type procedure, we describe the exact behavior near the singularity of solutions to linear and semilinear (critical and subcritical) elliptic equations with an inverse square electric potential and a singular magnetic potential with a homogeneity of order -1.

研究动机与目标

• 理解带有奇异逆平方电势和齐次磁势的线性和半线性薛定谔方程解的精确渐近行为。
• 表征奇异磁势对孤立奇点附近解的正则性和衰减的影响。
• 将经典 Hardy 不等式和 Kato 类势能的结果推广至非 Kato 类奇异电磁场的情形。
• 建立在奇异磁势和电势存在下，与薛定谔算子相关的角向算子的变分与谱性质。

提出的方法

• 应用 Almgren 型单调性公式以控制奇点附近能量密度的增长。
• 在球坐标系中使用变量分离法，将问题约化为在球面 $\mathbb{S}^{N-1}$ 上的角向特征值问题。
• 使用迭代的 Brezis-Kato 型方法，以在奇异势能存在下提高解的可积性和正则性。
• 通过变分方法表征角向算子 $L_{\mathbf{A},a}$ 在 $\mathbb{S}^{N-1}$ 上的第一特征值 $\mu_1(\mathbf{A},a)$。
• 证明当 $\mathbf{A}$ 有界时，磁 Sobolev 空间 $H^1_{\mathbf{A}}(\mathbb{S}^{N-1})$ 与标准空间 $H^1(\mathbb{S}^{N-1}, \mathbb{C})$ 等价。
• 推导出带有边界项的 Hardy 型不等式（Wang-Zhu），以控制原点附近的性质。

实验结果

研究问题

• RQ1 当电磁势包含逆平方电势和 −1 次齐次磁势时，薛定谔方程的解在孤立奇点附近的性质如何？
• RQ2 解在奇点附近的精确渐近展开是什么？磁势如何影响爆破速率和角向依赖性？
• RQ3 在何种条件下磁势不会改变角向算子的第一特征值？何时有 $\mu_1(\mathbf{A},a) = \mu_1(0,a)$？
• RQ4 是否可以放宽经典 Kato 类假设，以包含不属于 Kato 类但依然保证解的正则性和唯一延拓性的奇异磁势？
• RQ5 磁势在分布意义下旋度为零，与磁和非磁角向算子第一特征值相等之间存在何种关系？

主要发现

• 奇点附近的解的渐近行为由角向算子 $L_{\mathbf{A},a}$ 在 $\mathbb{S}^{N-1}$ 上的第一特征值 $\mu_1(\mathbf{A},a)$ 决定，解的行为类似于 $|x|^{\lambda_1}$ 乘以一个球谐函数，其中 $\lambda_1$ 由 $\mu_1(\mathbf{A},a)$ 确定。
• 当磁势满足 $\operatorname{curl}(\mathbf{A}/|x|) = 0$ 在分布意义下成立时，第一特征值 $\mu_1(\mathbf{A},a)$ 等于 $\mu_1(0,a)$，这意味着此类磁场不改变主导渐近行为。
• 磁势 $\mathbf{A}$ 可通过第一特征函数的相位恢复：几乎处处在 $\mathbb{S}^{N-1}$ 上有 $\mathbf{A}(\theta) = -\Im(\nabla_{\mathbb{S}^{N-1}}\psi_1(\theta)/\psi_1(\theta))$。
• 当 $\mathbf{A} \in L^\infty(\mathbb{S}^{N-1}, \mathbb{R}^N)$ 时，空间 $H^1_{\mathbf{A}}(\mathbb{S}^{N-1})$ 与标准空间 $H^1(\mathbb{S}^{N-1}, \mathbb{C})$ 等价，从而保证了 Sobolev 嵌入和紧嵌入的有效性。
• 存在一个带有边界项的 Hardy 型不等式：$\int_{B_r} |\nabla u|^2 dx + \frac{N-2}{2r} \int_{\partial B_r} |u|^2 dS \geq \left(\frac{N-2}{2}\right)^2 \int_{B_r} \frac{|u|^2}{|x|^2} dx$，该不等式可控制原点附近的奇异权。
• 角向算子 $L_{\mathbf{A},a}$ 的谱由一列离散且发散的实特征值构成，每个特征值的重数有限，且第一特征值可通过 $\mathbb{S}^{N-1}$ 上的 Rayleigh 商进行变分表征。