[논문 리뷰] Non-negative perturbations of non-negative self-adjoint operators

V. M. Adamyan|ArXiv.org|2007. 01. 02.

Spectral Theory in Mathematical Physics참고 문헌 2인용 수 7

한 줄 요약

이 논문은 밀집적으로 정의된 비음수 자기수반 확장의 유일성 기준을 수립하며, 이러한 확장이 존재하는 것과 동치로 특정 조건이 결여될 경우에만 유일하다고 보여준다. 이를 통해 $ \mathbb{L}_2(\mathbf{R}_n) $ 에서 라플라스 및 다항조화 연산자의 특이한 외란에 적용하여, 두 차원에서는 표준 라플라스 연산자가 유일한 비음수 확장임을 증명하고, 세 차원 이상에서는 무한히 많은 이러한 확장이 존재함을 보였다.

ABSTRACT

Let $A$ be a non-negative self-adjoint operator in a Hilbert space $\mathcal{H}$ and $A_{0}$ be some densely defined closed restriction of $A_{0}$, $A_{0}\subseteq A eq A_{0}$. It is of interest to know whether $A$ is the unique non-negative self-adjoint extensions of $A_{0}$ in $\mathcal{H}$. We give a natural criterion that this is the case and if it fails, we describe all non-negative extensions of $A_{0}$. The obtained results are applied to investigation of non-negative singular point perturbations of the Laplace and poly-harmonic operators in $\mathbb{L}_{2}(\mathbf{R}_{n})$.

연구 동기 및 목표

• 밀집적으로 정의된 닫힌 제약 $ A_0 \subset A $ 의 비음수 자기수반 연산자 $ A $ 가 유일한 비음수 자기수반 확장이 되는 조건을 규명하는 것.
• 유일성이 성립하지 않을 경우 $ A_0 $ 의 모든 비음수 자기수반 확장을 특성화하는 것.
• 이 기준을 $ \mathbb{L}_2(\mathbf{R}_n) $ 에서 라플라스 및 다항조화 연산자의 특이한 점 외란에 적용하는 것.
• 두 차원과 세 차원 간의 비음수 특이 외란 존재성 간의 모순을 명확히 하는 것.

제안 방법

• 스펙트럼 이론을 이용하여, $ \mathcal{M} = (I + A_0)\mathcal{D}(A_0) $ 이며 $ \mathcal{N} = \mathcal{H} \ominus \mathcal{M} $ 인 결함 부분공간 $ \mathcal{N} $ 을 기반으로 기준을 유도한다.
• 비음수 확장의 존재성과 유일성을 결정하는 양 $ G_1 = \|e_0\|^2 \cdot \|(I + A)e_0\|^{-1} $ 과 $ G_2 = \|(I + A)^{-1/2}e_0\|^2 $ 을 도입한다.
• 크레인 확장 이론의 프레임워크를 사용하여 $ A_0 $ 의 모든 비음수 자기수반 확장을 구간 $[A_\mu, A_M]$ 으로 매개변수화한다.
• 푸리에 변환을 통해 라플라스 연산자 $ -\Delta $ 와 다항조화 연산자 $ (-\Delta)^l $ 에 기준을 적용하여 문제를 $ \mathbb{R}^n $ 에서의 적분 가능성 조건으로 환원한다.
• 적분의 수렴성을 분석하여 $ \sin^2(\frac{1}{2}\mathbf{k} \cdot \mathbf{x}_0)/(1 + k^2)^2 $ 과 유사한 표현의 존재 여부를 판단한다.
• 비음수 확장의 존재성이 차원 $ n $ 과 다항조화 연산자의 차수 $ l $ 에 따라 달라짐을 증명한다.

실험 결과

연구 질문

• RQ1 비음수 자기수반 연산자 $ A $ 가 밀집적으로 정의된 대칭 제약 $ A_0 \subset A $ 의 유일한 비음수 자기수반 확장이 되는 조건은 무엇인가?
• RQ2 만약 $ A $ 가 유일하지 않다면, $ A_0 $ 의 모든 비음수 자기수반 확장의 완전한 집합은 무엇인가?
• RQ3 왜 두 차원 라플라스 연산자는 유일한 비음수 확장을 가지지만, 세 차원 라플라스 연산자는 무한히 많은 비음수 확장을 가지는가?
• RQ4 다항조화 연산자의 차원 $ n $ 과 차수 $ l $ 이 비음수 특이 외란의 수에 어떤 영향을 미치는가?

주요 결과

• 비음수 자기수반 확장이 유일한 것은 $ G_2 = 0 $ 인 경우에만 성립하며, 여기서 $ G_2 = \|(I + A)^{-1/2}e_0\|^2 $ 이고 $ e_0 $ 는 결함 부분공간의 생성자이다.
• 만약 $ G_2 > 0 $ 이면, $ A $ 가 구간 $[A_\mu, A_M]$ 내의 최대 원소인, 비음수 자기수반 확장의 일차 매개변수 가중치 집합이 존재한다.
• 두 차원에서 라플라스 연산자에 대해 $ G_2 = \infty $ 이므로 $ G_1 = 0 $ 이 되어 표준 라플라스 연산자 외에 비음수 특이 외란이 존재하지 않음을 의미한다.
• 세 차원에서는 $ G_1 > 0 $ 이고 $ G_2 < \infty $ 이므로 무한히 많은 비음수 확장이 존재하며, $ A $ 는 그 중 최대 원소이다.
• 다항조화 연산자 $ (-\Delta)^l $ 에 대해 $ n < 2l $ 이면 무한히 많은 비음수 확장이 존재하고, $ (-\Delta)^l $ 은 최소 원소이다.
• 만약 $ n = 2l $ 이면 표준 연산자 외에 비음수 확장이 존재하지 않으며, $ n > 2l $ 이면 $ (-\Delta)^l $ 이 무한히 많은 비음수 확장 중 최대 원소이다.