[논문 리뷰] Kato's Inequality for Magnetic Relativistic Schrödinger Operators

Fumio Hiroshima, Takashi Ichinose외 1명|arXiv (Cornell University)|2016. 04. 13.

Spectral Theory in Mathematical Physics참고 문헌 15인용 수 3

한 줄 요약

이 논문은 $ L^2_{\text{loc}} $ 벡터 포텐셜 $ A(x) $를 가진 자기장 상대론적 슈뢰딩거 연산자 $ H_{A,m} = 􏰀 (-i\nabla - A(x))^2 + m^2 􏰁^{1/2} $ 에 대해 캐토 부등식을 수립한다. 연산자 이론적 방법과 캐토 원래 증명의 수정을 통해 분포적 부등식 $ \operatorname{Re}[(\operatorname{sgn} u) H_{A,m}u] \geq H_{0,m}|u| $ 를 증명하며, 이는 자석적 불등식과 $ V \in L^2_{\text{loc}} $ 이며 비음이 아닌 경우 $ H_{A,m} + V $ 의 본질적 자기수반성을 함의한다.

ABSTRACT

Kato's inequality is shown for the magnetic relativistic Schrödinger operator $H_{A,m}$ defined as the operator theoretical {\it square root} of the selfadjoint, magnetic nonrelativistic Schrödinger operator $(-i abla-A(x))^2+m^2$ with an $L^{2}_{ ext{ m loc}}$ vector potential $A(x)$.

연구 동기 및 목표

• 자기장 상대론적 슈뢰딩거 연산자 $ H_{A,m} $ 에 대해 캐토 부등식을 수립하는 것. 여기서 $ H_{A,m} $ 는 자기수반 비상대론적 자기장 해밀토니안의 연산자 이론적 제곱근으로 정의된다.
• 캐토 부등식을 미분 또는 피시오미분 연산자가 아닌 비국소적, 상대론적 설정으로 확장하는 것. 이 경우 $ H_{A,m} $ 는 미분 또는 피시오미분 연산자가 아니다.
• 반응성 반응성 $ e^{-t(H_{A,m}-m)} $ 에 대해 자석적 불등식을 증명하여, 행렬 원소의 절댓값이 자유 경우에 의해 지배됨을 보이는 것.
• 약한 해의 정(regularity)이 부족함을 극복하기 위해, 피시오미분 해석학에 의존하지 않는 새로운 연산자 이론적 접근을 개발하는 것.
• 자기장 상대론적 슈뢰딩거 연산자 $ H_{A,m} $ 와 비음이 아닌 $ V \in L^2_{\text{loc}}({\mathbb{R}}^d) $ 에 대해 $ C_0^\infty({\mathbb{R}}^d) $ 에서의 본질적 자기수반성을 확립하는 것. 이 경우 $ A $ 에 대한 최소한의 정규성 조건이 요구된다.

제안 방법

• 비상대론적 자기장 슈뢰딩거 연산자에 대해 캐토가 원래 사용한 증명 전략을 비국소적 성격을 고려해 수정하여 적용하는 것.
• 연산자 이론적 정의에 따라 $ H_{A,m} $ 를 $ (-i\nabla - A(x))^2 + m^2 $ 의 제곱근으로 간주하며, 이는 $ C_0^\infty({\mathbb{R}}^d) $ 에서 자기수반적이고 본질적으로 자기수반적임을 이용하는 것.
• 반응성 반응성 $ e^{-t(H_{A,m}-m)} $ 에 대한 극한 근사 방법을 적용하며, 이의 커널은 베셀 함수와 적분을 포함한 $ K_{\nu}(z) $ 로 표현됨을 이용하여 점별 부등식을 도출하는 것.
• 반응성 반응성 $ e^{-t[(H_{0,m})^\alpha - m^\alpha]} $ 의 커널 $ k_0^{m,\alpha}(t,x) $ 의 적분 표현을 사용하고, $ t=0 $ 에서의 도함수를 분석하여 특이 커널 $ n^{m,\alpha}(x) $ 를 도출하는 것.
• 적분표에서의 캐토 변환 공식을 활용하여 최종 적분을 평가하고, $ n^{m,\alpha}(x) $ 의 명시적 형태를 유도하는 것. 이는 $ \alpha=1 $ 일 때 기존의 베셀 함수 커널로 축소됨을 보여준다.
• 약한 해 성질과 쌍대성에 기반하여, $ u \in L^2({\mathbb{R}}^d) $ 이고 $ H_{A,m}u \in L^1_{\text{loc}}({\mathbb{R}}^d) $ 라면 분포적 의미에서 $ \operatorname{Re}[(\operatorname{sgn} u) H_{A,m}u] \geq H_{0,m}|u| $ 를 증명하는 것.

실험 결과

연구 질문

• RQ1 캐토 부등식은 $ H_{A,m} $ 라고 하는 비국소적 연산자, 즉 제곱근으로 정의된 자기장 상대론적 슈뢰딩거 연산자로 확장될 수 있는가?
• RQ2 해 $ u $ 의 정(regularity)을 가정하지 않고도 $ \operatorname{Re}[(\operatorname{sgn} u) H_{A,m}u] \geq H_{0,m}|u| $ 와 같은 분포적 부등식을 어떻게 증명할 수 있는가?
• RQ3 벡터 포텐셜이 $ L^2_{\text{loc}} $ 인 경우에 대해 반응성 반응성 $ |(f, e^{-t(H_{A,m}-m)}g)| \leq (|f|, e^{-t(H_{0,m}-m)}|g|) $ 가 성립하는가?
• RQ4 비음이 아닌 $ V \in L^2_{\text{loc}}({\mathbb{R}}^d) $ 에 대해 $ H_{A,m} + V $ 는 $ C_0^\infty({\mathbb{R}}^d) $ 에서 본질적으로 자기수반적인가?
• RQ5 반응성 반응성 $ e^{-t(H_{A,m}-m)} $ 의 커널의 정확한 형태는 무엇이며, 이는 어떻게 베셀 함수와 적분 변환과 관련이 있는가?

주요 결과

• 논문은 $ A \in [L^2_{\text{loc}}({\mathbb{R}}^d)]^d $ 라는 조건 하에, $ u \in L^2({\mathbb{R}}^d) $ 이고 $ H_{A,m}u \in L^1_{\text{loc}}({\mathbb{R}}^d) $ 라면 분포적 캐토 부등식 $ \operatorname{Re}[(\operatorname{sgn} u) H_{A,m}u] \geq H_{0,m}|u| $ 가 성립함을 증명한다.
• 모든 $ f,g \in L^2({\mathbb{R}}^d) $ 에 대해 $ |(f, e^{-t(H_{A,m}-m)}g)| \leq (|f|, e^{-t(H_{0,m}-m)}|g|) $ 인 자석적 불등식이 성립하며, 이는 캐토 부등식에서 직접 유도된다.
• $ e^{-t[(H_{0,m})^\alpha - m^\alpha]} $ 의 반응성 반응성 커널 $ k_0^{m,\alpha}(t,x) $ 는 베셀 함수 $ K_{\nu}(z) $ 를 포함한 적분으로 명시적으로 표현된다.
• 특이 커널 $ n^{m,\alpha}(x) = \lim_{t \downarrow 0} \frac{1}{t} k_0^{m,\alpha}(t,x) $ 는 $ n^{m,\alpha}(x) = \frac{2^{1+\frac{\alpha}{2}} \sin(\frac{\alpha}{2}\pi) (2\pi)^{\frac{\alpha}{2}} \Gamma(\frac{\alpha}{2}+1)}{\pi} \left(\frac{m}{2\pi}\right)^{\frac{d+\alpha}{2}} \frac{K_{\frac{d+\alpha}{2}}(m|x|)}{|x|^{\frac{d+\alpha}{2}}} $ 로 유도되며, 이는 $ \alpha=1 $ 일 때 기존 형태로 축소된다.
• $ A \in [L^2_{\text{loc}}({\mathbb{R}}^d)]^d $ 이고 $ V \in L^2_{\text{loc}}({\mathbb{R}}^d) $ 이며 $ V \geq 0 $ 거의 확실히 성립할 때, $ C_0^\infty({\mathbb{R}}^d) $ 에서 $ H_{A,m} + V $ 의 본질적 자기수반성이 확립되며, 자기수반 확장은 $ m $ 이하로 유계이다.
• 증명 과정은 피시오미분 해석학에 의존하지 않고, 대신 연산자 이론적 기법과 적분 표현을 사용하여, 약한 해가 정규성이 없을 경우에도 강건한 결과를 도출한다.