[논문 리뷰] Non-Friedrichs Self-adjoint extensions of the Laplacian in R^d

Paul Lin|arXiv (Cornell University)|2011. 03. 31.

Spectral Theory in Mathematical Physics참고 문헌 6인용 수 4

한 줄 요약

이 논문은 $\mathbb{R}^d$ 에서 한 점을 제거한 영역에서 라플라스 연산자의 모든 프리드리히스가 아닌 자기수반 확장들을 분류하며, $d=3$ 일 때 이러한 확장들이 $\theta \in [-\pi, \pi)$ 또는 $\mu \in \mathbb{R} \cup \{\infty\}$ 에 의해 매개변수화됨을 보이고, 이러한 확장들이 일반적인 슈뢰딩거 연산자들과는 달리 단 하나의 고유값 또는 단 하나의 공명을 가짐을 밝힌다. 또한 복소적분과 잔여물 이론을 사용하여 확장된 라플라스 연산자의 파동 커널을 명시적으로 계산한다.

ABSTRACT

This is an expository paper about self-adjoint extensions of the Laplacian on R^d, initially defined on functions supported away from a point. Let L be the Laplacian with domain smooth functions with compact support away from the origin. We determine all the self-adjoint extensions of L by calculating the deficiency subspaces of the closure of L. In the case d=3, the self-adjoint extensions are parametrized by a circle, or equivalently by the real line plus a point at infinity. We show that the non-Friedrichs extensions have either a single eigenvalue or a single resonance. This is of some interest since self-adjoint Schrödinger operators $Δ+V$ on R^d either have no resonance (if $V\equiv 0$) or infinitely many (if $V ot\equiv 0$). For these non-Friedrichs self-adjoint extensions, the kernel of the resolvent is calculated explicitly. Finally we use this knowledge to study a wave equation involving these non-Friedrichs extensions, and explicitly determine the wave kernel.

연구 동기 및 목표

• 정의역이 $C_c^\infty(\mathbb{R}^d \setminus \{0\})$ 인 라플라스 연산자의 모든 자기수반 확장을 분류하는 것.
• 닫힘 연산자 $\overline{L}$ 의 열악한 부분공간을 결정하고, 폰 노이만 이론을 적용하여 모든 자기수반 확장을 매개변수화하는 것.
• 이 확장들의 스펙트럼 성질을 분석하고, 특히 고유값이나 공명의 존재 여부를 분석하며, 일반적인 슈뢰딩거 연산자들과의 대비를 제시하는 것.
• 복소적분과 잔여물 이론을 사용하여 비-프리드리히스 확장에 대한 파동 커널을 명시적으로 계산하는 것.

제안 방법

• 열악한 부분공간 $\mathscr{K}_+$ 와 $\mathscr{K}_-$ 사이의 유니터리 사상에 의한 폰 노이만의 자기수반 확장 분류 기법을 사용한다.
• $ (i - L^*)\psi = 0 $ 과 $ (i + L^*)\psi = 0 $ 을 $L^2(\mathbb{R}^d)$ 에서 풀어 열악한 부분공간을 계산한다.
• $W^{2,2}$-노름 완비를 적용하여 $\overline{L}$ 의 정의역을 결정하며, $d > 4$ 와 $d = 4$ 일 때 $D(\overline{L}) = W^{2,2}(\mathbb{R}^d)$ 임을 보이고, $d < 4$ 일 때는 더 작은 정의역을 가짐을 밝힌다.
• $d=3$ 일 때, 확장을 $\theta \in [-\pi, \pi)$ 또는 $\mu \in \mathbb{R} \cup \{\infty\}$ 로 매개변수화하며, $\mu$ 는 산란 위상과 관련된다.
• 적분 표현과 경로 변형을 사용하여 $ (L^\mu - \lambda^2)^{-1} $ 의 해석적 커널을 명시적으로 계산한다.
• 역 푸리에 변환과 잔여물 해석학을 통해 파동 커널 $ \frac{\sin(t\sqrt{L^\mu})}{\sqrt{L^\mu}} $ 을 계산하며, $\mu$ 의 부호에 따라 경우를 나누어 다룬다.

실험 결과

연구 질문

• RQ1 정의역이 $C_c^\infty(\mathbb{R}^d \setminus \{0\})$ 인 라플라스 연산자의 모든 자기수반 확장을 무엇인가요?
• RQ2 이 확장들의 스펙트럼 성질—고유값과 공명—은 일반적인 슈뢰딩거 연산자 $\Delta + V$ 와 어떻게 다릅니까?
• RQ3 $d=3$ 에서 비-프리드리히스 확장에 대해 파동 커널 $ \frac{\sin(t\sqrt{L^\mu})}{\sqrt{L^\mu}} $ 의 명시적 형태는 무엇입니까?
• RQ4 파동 커널은 확장 매개변수 $\mu$ 에 따라 어떻게 달라지며, 특히 $\mu > 0$ (공명) 이나 $\mu < 0$ (고유값) 인 경우는 어떻게 되나요?
• RQ5 잠재적인 특이성이 존재하는 바에도 불구하고 파동 커널이 $t = |x| + |y|$ 에서 0이 되는 이유는 무엇이며, 이는 어떻게 경로 변형을 통해 해결됩니까?

주요 결과

• $d > 4$ 와 $d = 4$ 일 때, 닫힘 연산자 $\overline{L}$ 의 정의역은 $W^{2,2}(\mathbb{R}^d)$ 이며, $d < 4$ 일 때는 더 작은 정의역을 가짐을 보였다.
• $d=3$ 에서 비-프리드리히스 자기수반 확장 $L^\mu$ 는 $\mu \in \mathbb{R} \cup \{\infty\}$ 로 매개변수화되며, $\mu = \infty$ 는 프리드리히스 확장을 나타낸다.
• 이 확장들은 일반적인 슈뢰딩거 연산자들과는 달리 단 하나의 고유값(만일 $\mu < 0$) 또는 단 하나의 공명(만일 $\mu > 0$)을 가짐을 확인하였다.
• 파동 커널 $ \frac{\sin(t\sqrt{L^\mu})}{\sqrt{L^\mu}} $ 는 $\mu > 0$ 과 $t \geq 0$ 일 때, $ \frac{H(t - |x| - |y|) e^{\mu(|x| + |y| - t)}}{4\pi |x| |y|} $ 의 명시적 커널을 가지며, $t = |x| + |y|$ 를 제외한 영역에서 유효하다.
• $\mu < 0$ 일 때, 커널은 고유함수 기여와 경로 적분된 항의 조합으로부터 유도되며, 이는 $\mu > 0$ 일 때와 동일한 표현을 얻어내어 부호 간의 일관성을 확인한다.
• 파동 커널은 $t = |x| + |y|$ 에서 유한하며, 이 값은 영집합으로 간주되어 분포적 지지가 이 집합에 존재하지 않음을 보장한다.