[논문 리뷰] The Laplace-Beltrami operator on conic and anticonic-type surfaces

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

advanced mathematical theories인용 수 2

한 줄 요약

이 논문은 $ds^2 = dx^2 + |x|^{-2\alpha}d\theta^2$ 형태의 비퇴화하지 않는 메트릭을 가진 두 차원 다양체 위에서 라플라스-베르트라미 연산자 $\Delta$의 스펙트럼적 및 확률적 성질을 조사하며, 본질적으로 자기수반임이 $\alpha \notin (-3,1)$일 때에만 성립하며, 이 경우 프리드리히스 확장 $\Delta_F$가 유일한 자기수반 확장임을 보여준다. $\alpha \in (-1,1)$인 경우, 새로운 다리형 확장 $\Delta_B$가 존재하여 특이점 $\{x=0\}$을 완전히 통과시킬 수 있으며, 이 경우 $\Delta_F$와 $\Delta_B$는 각각 $\alpha$에 따라 달라지는 조건 하에 확률적으로 완전함을 보인다.

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.

연구 동기 및 목표

• 주어진 메트릭 공간에서 라플라스-베르트라미 연산자 $\Delta$의 자기수반 확장을 분석하는 것.
• 열 방정식 및 슈뢰딩거 방정식이 특이점 $\{x=0\}$을 통과하는 데 허용하거나 금지하는 조건을 규명하는 것.
• 열 방정식의 마코프 확장을 분류하고 특이점에서의 확률적 완전성을 평가하는 것.
• $\alpha \in (-1,1)$인 경우 특이점 너머로 완전한 전파를 가능하게 하는 표준 다리형 확장 $\Delta_B$를 식별하고 특성화하는 것.

제안 방법

• 메트릭 $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$를 구성하고 특성화함. 이는 열과 양자 입자가 특이점 너머로 완전히 통과할 수 있도록 허용함.
• $\Delta_F$와 $\Delta_B$ 하에서 열 방정식의 해에 대한 $L^1$ 노름 보존을 통해 확률적 완전성 분석.
• $\alpha \in (-3,-1]$인 경우 슈뢰딩거 방정식에서 파동함수의 $\theta$-평균을 분석하여 전파 행동을 규명함.

실험 결과

연구 질문

• RQ1 주어진 메트릭 공간에서 라플라스-베르트라미 연산자 $\Delta$가 어떤 $\alpha$ 값에서 본질적으로 자기수반일까?
• 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)$인 경우 열과 양자 입자가 특이점 $\{x=0\}$을 완전히 통과할 수 있는 표준 마코프 자기수반 확장 $\Delta_B$가 존재한다.
• 프리드리히스 확장 $\Delta_F$는 특이점에서 $\alpha \leq -1$일 때에만 확률적으로 완전하다.
• 다리형 확장 $\Delta_B$는 항상 특이점에서 확률적으로 완전하며, $\alpha \in (-1,1)$에 관계없이 성립한다.
• $\alpha = 0$인 경우 메트릭은 실린더에 해당하며, $\Delta_B$는 여전히 유효한 마코프 확장으로서 특이점 $\{x=0\}$을 완전히 통과할 수 있다.