[논문 리뷰] Remarks on Schrödinger operators with singular matrix potentials

Vladimir Mikhailets, Volodymyr Molyboga|arXiv (Cornell University)|2013. 06. 03.

Spectral Theory in Mathematical Physics참고 문헌 11인용 수 5

한 줄 요약

이 논문은 $ H_{\text{loc}}^{-1}(\mathbb{R}, \mathbb{C}^{m \times m}) $ 에서 강하게 특이한 행렬 잠재력과 함께 일차원 행렬 슈뢰딩거 연산자에 대해 글라즈만–포브너–비히올트츠 정리의 비대칭 일반화를 수립한다. 신–제틀의 준미분 행렬과 분포 잠재력의 방법을 사용하여, 최소 연산자 $ \mathrm{L}_0 $ 가 $ m $-초기성임과 동치인 조건으로 전최소 연산자 $ \mathrm{L}_{00} $ 가 초기성임을 증명하며, 고전적 결과를 행렬 및 특이 잠재력 설정으로 확장하여 $ \mathrm{J} $-대칭 및 $ \mathrm{J} $-자기수반 연산자에의 응용을 포함한다.

ABSTRACT

In this paper the asymmetric generalization of the Glazman-Povzner-Wienholtz theorem is proved for one-dimensional Schrödinger operators with strongly singular matrix potentials from the space $H_{loc}^{-1}(\mathbb{R}, \mathbb{C}^{m imes m})$. This result is new in the scalar case as well.

연구 동기 및 목표

• 행렬 슈뢰딩거 연산자에 대해 $ H_{\text{loc}}^{-1}(\mathbb{R}, \mathbb{C}^{m \times m}) $ 에서 강하게 특이한 행렬 잠재력을 갖는 경우 글라즈만–포브너–비히올트츠 정리를 일반화하는 것.
• 최소 연산자 $ \mathrm{L}_0 $ 가 $ m $-초기성임을 만족하는 조건을 설정하는 것, 특히 전최소 연산자 $ \mathrm{L}_{00} $ 의 초기성 조건을 중심으로 한다.
• 최소 연산자 $ \mathrm{L}_0 $, 그 수반 $ \mathrm{L}_0^+ $, 그리고 복소수 켤리함수 $ \mathrm{J} $-대칭이 $ m $-초기성 조건에서 수행하는 역할을 분석하는 것.
• 스칼라 결과를 행렬 사례로 일반화하는 것, 복소수 대칭 잠재력의 경우를 포함하여.
• 준미분 형식을 사용하여 분포 잠재력의 맥락에서 $ m $-초기성의 틀을 제공하는 것.

제안 방법

• 저자들은 행렬 잠재력 $ q $ 를 $ q = Q' + s $ 로 표현하며, $ Q \in L_{\text{loc}}^2 $, $ s \in L_{\text{loc}}^1 $ 이 되도록 하여 분포적 공식을 가능하게 한다.
• 두 번째 차수 미분 표현을 일차 시스템으로 변환하기 위해 신–제틀 행렬 $ A(x) $ 를 정의하여 준미분 $ u^{[0]}, u^{[1]}, u^{[2]} $ 의 분석을 용이하게 한다.
• 준미분 형식은 미분 표현 $ \mathrm{l}[u] = -u^{[2]} $ 가 분포적 의미에서 해석될 수 있도록 하며, 원래 슈뢰딩거 연산자와의 일致성을 확보한다.
• 최소 및 전최소 연산자 $ \mathrm{L}_0 $, $ \mathrm{L}_{00} $ 와 그들의 수반 $ \mathrm{L}_0^+ $, $ \mathrm{L}_{00}^+ $ 는 국소적 절대연속성과 두 번째 준미분의 제곱-integrability 조건을 포함한 정의역 조건을 통해 정의된다.
• 증명은 컴팩트 지지를 가진 실수 값 함수 $ \varphi_n $ 를 사용하여 초기성 조건을 시험함으로써 이루어지며, 이는 해가 무한대에서 0이 되도록 만드는 적분 부등식을 유도한다.
• 복소수 켤리함수 $ \mathrm{J} $ 를 통한 $ \mathrm{L}_0 $ 의 $ \mathrm{J} $-대칭성은 $ \mathrm{L}_0 $ 와 $ \mathrm{L}_0^+ $ 를 연결하고, $ \mathrm{L}_{00} $ 가 초기성일 경우 $ \mathrm{J} $-자기수반성을 유추한다.

실험 결과

연구 질문

• RQ1 행렬 슈뢰딩거 연산자에 대해 $ H_{\text{loc}}^{-1} $ 잠재력이 있는 최소 연산자 $ \mathrm{L}_0 $ 가 $ m $-초기성임을 보장하는 조건은 무엇인가?
• RQ2 행렬 및 특이 잠재력 설정에서 전최소 연산자 $ \mathrm{L}_{00} $ 의 초기성과 최소 연산자 $ \mathrm{L}_0 $ 의 $ m $-초기성 간의 관계는 어떻게 되는가?
• RQ3 $ \mathrm{J} $-대칭성이 복소수 대칭 행렬 잠재력에 대한 $ m $-초기성 특성화에서 수행하는 역할는 무엇인가?
• RQ4 글라즈만–포브너–비히올트츠 정리는 비자기수반, 특이 잠재력을 갖는 행렬 슈뢰딩거 연산자로 일반화될 수 있는가?
• RQ5 신–제틀 준미분 행렬은 분포 잠재력이 존재하는 맥락에서 $ m $-초기성 분석을 어떻게 지원하는가?

주요 결과

• 최소 연산자 $ \mathrm{L}_0 $ 가 $ m $-초기성임과 전최소 연산자 $ \mathrm{L}_{00} $ 가 초기성임은 동치이며, 이는 행렬 사례에서 $ m $-초기성에 대한 핵심 등가 조건을 수립한다.
• 증명은 유계 도함수를 갖는 커프 오프 함수의 수열 $ \varphi_n $ 을 구성함으로써 이루어지며, 이는 $ \|v\|_{L^2(-n,n)} \leq C^2 \|v\|_{L^2(n \leq |x| \leq n+1)} $ 를 유도하고, $ n \to \infty $ 일 때 $ v \equiv 0 $ 가 되도록 하여 자명한 핵을 증명하고 초기성을 보장한다.
• 복소수 대칭 잠재력의 경우, $ \mathrm{L}_0^+ $ 는 $ \mathrm{J} \mathrm{L}_0 \mathrm{J} = \mathrm{L}_0^+ $ 를 만족하며, 이는 $ \mathrm{L}_0 $ 가 $ \mathrm{J} $-대칭임을 보여준다.
• 만약 $ \mathrm{L}_{00} $ 가 초기성이라면, $ \mathrm{L}_0 $ 는 $ \mathrm{J} $-자기수반이며, 이는 잔여 스펙트럼이 공집합임을 의미한다.
• 결과는 스칼라 글라즈만–포브너–비히올트츠 정리를 $ H_{\text{loc}}^{-1} $ 에서의 행렬 잠재력, 복소수 및 비자기수반 경우까지 일반화한다.
• $ \mathrm{L}_0 $ 의 $ m $-초기성은 $ \mathrm{L}_0 = \mathrm{L} $ 를 의미하며, 이는 $ m $-초기성 조건 하에서 최소 연산자가 최대 연산자와 일치함을 확인한다.