[논문 리뷰] Schrödinger equations with time-dependent strong magnetic fields

Daisuke Aiba, Kenji Yajima|arXiv (Cornell University)|2013. 02. 22.

Advanced Mathematical Physics Problems참고 문헌 7인용 수 3

한 줄 요약

이 논문은 시간에 따라 변화하는 벡터 포텐셜 $ A(t,x) $와 전기 포텐셜 $ V(t,x) $가 거의 임계적으로 특이한 경우, 특히 무한대에서 자기장 $ B(t,x) $가 강할 때, 시간에 따라 변화하는 슈뢰딩거 방정식에 대해 유니터리 전파자(Propagator)의 존재성과 유일성을 확립한다. $ V $와 $ A $의 시간 도함수에 적절한 조건을 부과할 경우, 저자들은 $ L^2(\mathbb{R}^d) $에서 유일한 유니터리 진화를 생성함을 증명하며, 본질적 자명성(selfadjointness) 이론을 시간에 따라 변화하는 강한 특이성을 띤 자기장으로 확장한다.

ABSTRACT

We consider d-dimensional time dependent Schrödinger equations on the Hilbert space of square integrable functions. We assume magnetic and scalar potentials are almost critically singular with respect to spatial variables both locally and at infinity for the fixed time Schrödinger operator H(t) to be essentially self-adjoint on the compactly supported smooth functions. In particular, if magnetic field B(t,x) is very strong at infinity, the scalar potential can explode to negative infinity faster than quadratic functions. We show that equations uniquely generate unitary propagators under suitable conditions on the size and singularities of time derivatives of potentials. Basic tools are Kato's abstract theory for evolution equations, Iwatsuka's identity which rewrites H(t) to an elliptic differential operator in which B(t,x) appears explicitly, and a new diamagnetic like inequality.

연구 동기 및 목표

• 시간에 따라 변화하는 벡터 포텐셜과 스칼라 포텐셜이 거의 임계적으로 특이한 경우, 시간에 따라 변화하는 슈뢰딩거 방정식에 대해 유니터리 전파자의 존재성과 유일성을 확립하는 것.
• 무한대에서 급격히 증가하는 자기장을 갖는 시간에 따라 변화하는 해밀토니안으로의 본질적 자명성 이론을 확장하는 것.
• $ V(t,x) $와 $ A(t,x) $의 시간 도함수에 대한 조건을 특성화하여 $ L^2(\mathbb{R}^d) $에서 유일한 유니터리 진화 연산자가 존재함을 보장하는 것.
• 시간에 따라 변화하는 강한 특이성을 띤 전자기 포텐셜이 존재하는 상황에서 양자 역학적 동역학을 엄밀한 프레임워크로 정의하는 것.

제안 방법

• 특이성을 다루기 위해 $ \mathcal{Y} $는 조밀한 부분공간이고 $ \mathcal{X} $는 그 쌍대공간인 Hilbert 공간의 스케일 $ \mathcal{X} \subset \mathcal{H} \subset \mathcal{Y} $을 사용한다.
• 자기운동 에너지와 관련된 시간에 따라 변화하는 이차형식 $ q_0(t) $를 정의하고, 이를 바탕으로 기준 자명성 연산자 $ \tilde{H}_0(t) $를 구성한다.
• 시간에 따라 변화하는 포텐셜의 부분을 흡수하기 위해 공액 변환 $ G(t) $를 도입하여 원래 문제를 시간에 따라 변화하지만 노름 연속적인 해밀토니안을 갖는 문제로 변환한다.
• 시간에 따라 변화하는 해밀토니안에 대한 일반 정리의 적용을 통해 전파자의 존재성을 확립하며, 이 경우 해밀토니안의 노름 연속성과 시간 의존성의 정규성 조건이 필요하다.
• 닫힌 그래프 정리를 사용하여 $ \mathcal{Y}_t $에서의 노름들이 동치임을 보이며, 쌍대성을 통해 $ \mathcal{X}_t $가 시간에 관계없이 집합으로서 동일함을 보장한다.
• 유니터리성은 $ \mathcal{X} $와 $ \mathcal{Y} $ 사이의 결합을 이용하여 $ L^2 $-노름이 진화 과정에서 유지됨을 보여 이를 검증한다.

실험 결과

연구 질문

• RQ1 시간에 따라 변화하는 벡터 포텐셜과 스칼라 포텐셜에 대해 어떤 조건을 만족할 경우, 강한 자기장을 갖는 슈뢰딩거 방정식이 유일한 유니터리 전파자를 생성하는가?
• RQ2 무한대에서 급격히 증가하는 자기장을 갖는 경우, 시간에 따라 변화하는 슈뢰딩거 연산자의 본질적 자명성 이론을 어떻게 확장할 수 있는가?
• RQ3 $ V(t,x) $와 $ A(t,x) $의 시간 도함수는 유니터리 진화의 존재성 보장에 어떤 역할을 하는가?
• RQ4 시간에 따라 변화하는 자기장이 존재하는 상황에서, 거의 임계적으로 특이한 포텐셜을 갖는 슈뢰딩거 방정식의 역학을 $ L^2(\mathbb{R}^d) $에서 엄밀하게 정의할 수 있는가?

주요 결과

• 적절한 $ V(t,x) $와 $ A(t,x) $의 시간 도함수 조건 하에서, 슈뢰딩거 방정식 $ i\partial_t u = H(t)u $가 $ L^2(\mathbb{R}^d) $에서 유일한 유니터리 전파자 $ U(t,s) $를 생성함을 증명한다.
• 유니터리 전파자는 강한 연속성과 군 성질 $ U(t,s)U(s,r) = U(t,r) $를 만족하며, $ U(t,t) = \mathbf{1} $이다.
• 해의 $ L^2 $-노름이 유지되어 모든 $ L^2(\mathbb{R}^d) $ 초기 자료에 대해 진화 연산자가 유니터리가 됨을 보장한다.
• 특이성을 제어하기 위해 시간에 따라 변화하는 이차형식 $ q_0(t) $를 갖는 Hilbert 공간의 스케일 $ \mathcal{X} \subset \mathcal{H} \subset \mathcal{Y} $을 사용한다.
• 해밀토니안의 시간 의존성이 $ \mathcal{B}(\mathcal{Y}, \mathcal{X}) $에서 노름 연속임이 입증되었으며, 이는 추상적 존재 정리 적용에 필수적이다.
• 구성 과정은 $ V(t,x) $와 $ A(t,x) $가 특이하고 $ |B(t,x)| $가 무한대에서 급격히 증가하더라도, 전파자 $ U(t,s) $가 $ \mathcal{H} $에서 유니터리이고 강한 연속임을 보장한다.