[논문 리뷰] Local well-posedness for the Maxwell-Schrödinger equation

Makoto Nakamura, Takeshi Wada|ArXiv.org|2003. 04. 29.

Advanced Mathematical Physics Problems참고 문헌 6인용 수 4

한 줄 요약

이 논문은 수축 사상 원리를 사용하여 쿨롱 게이지에서 최적의 솔레브 정규성 공간 내에서 마ク스웰-슈뢰딩거 체계의 국소 적으로 잘 정의된 해를 확립한다. $X^{s,\tau}$에 속하는 초기 자료에 대해 $s \geq 5/3$ 이고 $\sigma$가 특정 범위에 있을 때 유일하고 연속적인 해가 존재함을 증명하며, 슈뢰딩거 해밀토니안의 자기수반성과 투영 기법을 통해 도함수 손실을 극복하고, 게이지 변환을 통해 레이저 및 시간 게이지로 결과를 확장한다.

ABSTRACT

Time local well-posedness for the Maxwell-Schrödinger equation in the coulomb gauge is studied in Sobolev spaces by the contraction mapping principle. The Lorentz gauge and the temporal gauge cases are also treated by the gauge transform.

연구 동기 및 목표

• 솔레브 공간 내의 초기 자료에 대해 쿨롱 게이지에서 마크스웰-슈뢰딩거 체계의 시간 국소 적으로 잘 정의된 해를 확립하는 것.
• 체계에 내재된 게이지 모순을 제거하기 위해 쿨롱 게이지 조건 $\mathrm{div}\,\mathbf{A} = 0$를 고정하는 것.
• 비선형 항 $\mathbf{A} \cdot \nabla u$ 및 $\mathbf{J}(u,\mathbf{A})$에서 발생하는 도함수 손실을 극복함으로써 정규성 요구 조건을 최소화하는 것.
• 게이지 변환 기법을 통해 쿨롱 게이지에서의 잘 정의된 해 결과를 레이저 게이지 및 시간 게이지로 확장하는 것.
• 유일하고 연속적인 해가 존재하는 데 있어 솔레브 정규성 지수 $s$ 및 $\sigma$의 최대 범위를 달성하는 것.

제안 방법

• 고정된 시간 간격에서 수축 사상 원리를 적용하여 $C([0,T];X^{s,\tau})$ 내에서 해의 존재성과 유일성을 증명한다.
• 쿨롱 게이지를 사용하여 스칼라 포텐셜 $\phi$를 $\phi = (-\Delta)^{-1}|u|^2$를 통해 분리함으로써 $\phi$의 초기 자료가 필요 없음을 제거한다.
• 파동 방정식에서 벡터 포텐셜 $\mathbf{A}$를 다루기 위해 투영 연산자 $P = 1 - \nabla \mathrm{div} \Delta^{-1}$를 사용한다.
• 해밀토니안 $\mathcal{H}(\mathbf{A})$의 자기수반성을 활용하여 $\|u; H^s\|$ 대신 $\|\mathcal{H}u; H^{s-2}\|$를 추정함으로써 도함수 손실을 극복한다.
• 게이지 변환을 적용하여 쿨롱 게이지에서의 결과를 레이저 게이지 및 시간 게이지로 확장한다.
• 파동 전파자 $K(t) = \sin(t\omega)/\omega$ 및 $\dot{K}(t) = \cos(t\omega)$를 사용하여 게이지 변환에서 스칼라 필드 $\lambda$를 해결함으로써 정규성 전파를 보장한다.

실험 결과

연구 질문

• RQ1 쿨롱 게이지에서 마크스웰-슈뢰딩거 체계가 고유한 국소 해를 갖기 위한 최소 솔레브 정규성 지수 $s$ 및 $\sigma$는 무엇인가?
• RQ2 낮은 정규성 영역에서 비선형 항 $\mathbf{A} \cdot \nabla u$ 및 $\mathbf{J}(u,\mathbf{A})$에서 발생하는 도함수 손실은 어떻게 제어할 수 있는가?
• RQ3 쿨롱 게이지에서의 잘 정의된 해 결과를 레이저 게이지 또는 시간 게이지와 같은 다른 게이지로 확장할 수 있는가?
• RQ4 벡터 포텐셜에 대한 정규성 요구 조건 $\sigma \leq s$ 를 약화시키는 데에 투영 $P$가 수행하는 역할은 무엇인가?
• RQ5 초기 자료에 대한 연속성 해의 맵이 $X^{s,\sigma}$ 위상에서 성립하는 조건은 무엇인가?

주요 결과

• 쿨롱 게이지에서 마크스웰-슈뢰딩거 체계의 국소 적으로 잘 정의된 해는 $s \geq 5/3$ 이고 $\max\{4/3, s-2, (2s-1)/4\} \leq \sigma \leq \min\{s+1, (5s-2)/3\}$를 만족할 때 성립하며, $(5/2,7/2)$ 및 $(7/2,3/2)$ 쌍을 제외한다.
• 해는 $s$, $\sigma$, 그리고 초기 자료의 노름에만 의존하는 어떤 $T > 0$에 대해 $(u, \mathbf{A}, \partial_t \mathbf{A}) \in C([0,T]; X^{s,\sigma})$를 만족한다.
• $\sigma \geq \max\{s-1, (2s+1)/4\}$일 때 초기 자료에 대한 연속성이 성립하며, $(5/2, 3/2)$ 쌍을 제외한다.
• 레이저 게이지의 경우 스칼라 필드 $\lambda$가 $\dot{H}^1 \cap \dot{H}^{\sigma+1}$에 속하는 자료로 파동 방정식을 만족함으로써 쿨롱 게이지로 환원된다.
• 같은 정규성 조건 하에서 레이저 게이지의 해는 $(u^\mathrm{L}, \phi^\mathrm{L}, \mathbf{A}^\mathrm{L}, \partial_t \mathbf{A}^\mathrm{L}) \in C([0,T]; Y^{s,\sigma})$를 만족한다.
• 이 결과는 구글리안 $X^{1,1}$ 결과인 구오-나카무츠-스트라우스와 $s > 5/2$일 때 $X^{s,s}$ 결과인 나카무츠-츠츠미 사이의 갭을 메우며, 국소 영역에서 최적의 정규성을 달성한다.