[论文解读] The Laplace-Beltrami operator on conic and anticonic-type surfaces

Ugo Boscain, Dario Prandi|arXiv (Cornell University)|May 22, 2013

advanced mathematical theories被引用 2

一句话总结

本文研究了在具有退化度量 $ds^2 = dx^2 + |x|^{-2\alpha}d\theta^2$ 的二维流形上拉普拉斯-贝尔特拉米算子的谱性质与随机性质，表明当且仅当 $\alpha \notin (-3,1)$ 时，算子具有本质自伴性，此时弗里德里奇斯扩张 $\Delta_F$ 是唯一的自伴扩张。当 $\alpha \in (-1,1)$ 时，一种新颖的桥接扩张 $\Delta_B$ 实现了对奇点 $\{x=0\}$ 的完全通信，且在特定 $\alpha$-依赖条件下，$\Delta_F$ 与 $\Delta_B$ 均为随机完备。

ABSTRACT

We study the evolution of the heat and of a free quantum particle (described by the Schrodinger equation) on two-dimensional manifolds endowed with the degenerate Riemannian metric $ds^2=dx^2+|x|^{-2\alpha}d heta^2$, where $x\in \mathbb R$, $ heta\in\mathbb T$ and the parameter $\alpha\in\mathbb R$. For $\alpha\le-1$ this metric describes cone-like manifolds (for $\alpha=-1$ it is a flat cone). For $\alpha=0$ it is a cylinder. For $\alpha\ge 1$ it is a Grushin-like metric. We show that the Laplace-Beltrami operator $\Delta$ is essentially self-adjoint if and only if $\alpha otin(-3,1)$. In this case the only self-adjoint extension is the Friedrichs extension $\Delta_F$, that does not allow communication through the singular set $\{x=0\}$ both for the heat and for a quantum particle. For $\alpha\in(-3,-1]$ we show that for the Schrodinger equation only the average on $ heta$ of the wave function can cross the singular set, while the solutions of the only Markovian extension of the heat equation (which indeed is $\Delta_F$) cannot. For $\alpha\in(-1,1)$ we prove that there exists a canonical self-adjoint extension $\Delta_B$, called bridging extension, which is Markovian and allows the complete communication through the singularity (both of the heat and of a quantum particle). Also, we study the stochastic completeness (i.e., conservation of the $L^1$ norm for the heat equation) of the Markovian extensions $\Delta_F$ and $\Delta_B$, proving that $\Delta_F$ is stochastically complete at the singularity if and only if $\alpha\le -1$, while $\Delta_B$ is always stochastically complete at the singularity.

研究动机与目标

• 分析具有退化黎曼度量 $ds^2 = dx^2 + |x|^{-2\alpha}d\theta^2$ 的流形上拉普拉斯-贝尔特拉米算子的自伴扩张。
• 确定热方程与薛定谔方程在何种条件下允许或阻止通过奇点 $\{x=0\}$ 的通信。
• 对热方程的马尔可夫扩张进行分类，并评估其在奇点处的随机完备性。
• 识别并表征可实现对奇点 $\{x=0\}$ 完全传输的典型桥接扩张 $\Delta_B$，其中 $\alpha \in (-1,1)$。

提出的方法

• 分析具有度量 $ds^2 = dx^2 + |x|^{-2\alpha}d\theta^2$ 的流形上的拉普拉斯-贝尔特拉米算子 $\Delta$，其中 $x \in \mathbb{R}$，$\theta \in \mathbb{T}$，且 $\alpha \in \mathbb{R}$。
• 运用泛函分析技术确定 $\Delta$ 的本质自伴性，表明其成立当且仅当 $\alpha \notin (-3,1)$。
• 识别当 $\alpha \notin (-3,1)$ 时，弗里德里奇斯扩张 $\Delta_F$ 为唯一的自伴扩张，且该扩张禁止通过 $\{x=0\}$ 的传输。
• 构造并表征 $\alpha \in (-1,1)$ 时的桥接扩张 $\Delta_B$，该扩张允许热与量子粒子完全穿越奇点。
• 通过热方程解的 $L^1$ 范数守恒研究随机完备性，分别针对 $\Delta_F$ 与 $\Delta_B$。
• 分析薛定谔方程中波函数的 $\theta$-平均行为，以确定 $\alpha \in (-3,-1]$ 时的传输特性。

实验结果

研究问题

• RQ1 在何种 $\alpha$ 值下，拉普拉斯-贝尔特拉米算子 $\Delta$ 在给定度量空间上具有本质自伴性？
• RQ2 热或量子粒子在何种条件下会经历通过奇点 $\{x=0\}$ 的传输？
• RQ3 对于 $\alpha \in (-1,1)$，典型自伴扩张 $\Delta_B$ 的性质为何？其与 $\Delta_F$ 的区别何在？
• RQ4 弗里德里奇斯扩张 $\Delta_F$ 在奇点处何时是随机完备的？
• RQ5 在薛定谔方程中，$\alpha \in (-3,-1]$ 时波函数的 $\theta$-平均行为如何？

主要发现

• 拉普拉斯-贝尔特拉米算子 $\Delta$ 当且仅当 $\alpha \notin (-3,1)$ 时具有本质自伴性，此时唯一的自伴扩张为弗里德里奇斯扩张 $\Delta_F$。
• 当 $\alpha \in (-3,-1]$ 时，薛定谔方程中仅波函数的 $\theta$-平均可穿越奇点，而马尔可夫热方程扩张 $\Delta_F$ 完全阻止传输。
• 当 $\alpha \in (-1,1)$ 时，存在一个典型的马尔可夫自伴扩张 $\Delta_B$，可实现热与量子粒子通过 $\{x=0\}$ 的完全通信。
• 弗里德里奇斯扩张 $\Delta_F$ 在奇点处随机完备当且仅当 $\alpha \leq -1$。
• 桥接扩张 $\Delta_B$ 在奇点处始终随机完备，无论 $\alpha \in (-1,1)$ 取何值。
• 当 $\alpha = 0$ 时，度量对应于圆柱面，且 $\Delta_B$ 仍为有效的马尔可夫扩张，可实现 $\{x=0\}$ 处的完全传输。