[논문 리뷰] Global wellposedness of the equivariant Chern-Simons-Schrödinger equation

Baoping Liu, Paul N. Smith|arXiv (Cornell University)|2013. 12. 19.

Advanced Mathematical Physics Problems참고 문헌 32인용 수 13

한 줄 요약

이 논문은 두 개의 공간 차원에서 임계 $L^2$ 정(regularity)에서 등변형 Chern-Simons-Schrödinger 방정식에 대한 전역 적으로 잘 정의된 해와 산산이 흩어짐을 확립한다. 초점화된 경우 ($g < 1$), 모든 $m$-등변형 $L^2$ 초깃값에 대해 전역 적으로 잘 정의된 해가 성립한다. 초점화된 경우 ($g \geq 1$), 초깃값의 $L^2$ 노름이 날카로운 임계값 $c_{m,g}$ 이하일 때 전역 적으로 잘 정의된 해와 산산이 흩어짐이 증명된다. 이 임계값은 비자명한 최소 $L^2$ 노름을 가진 등변형 정적 파동 해의 $L^2$ 노름 제곱과 같다; $g=1$일 경우 이 임계값은 정확히 $c_{m,1} = 8\pi(m+1)$이다. 결과적으로 농축-콤���트성과 비르발/Morawetz 항등식을 사용하여 대칭을 줄인 설정에서 임계 정규화 문제를 해결하였다.

ABSTRACT

In this article we consider the initial value problem for the m-equivariant Chern-Simons-Schrödinger model in two spatial dimensions with real-valued coupling parameter g. This is a covariant NLS type problem that is L^2-critical. We prove that at the critical regularity, for any integer-valued equivariance index m, the initial value problem in the defocusing case (g &lt; 1) is globally wellposed and the solution scatters. The problem is focusing when g &gt;= 1, and in this case we prove that for nonnegative integer-valued equivariance indices m there exist constants c = c_{m, g} such that, at the critical regularity, the initial value problem is globally wellposed and the solution scatters when the L^2 initial data phi_0 is m-equivariant and has L^2-norm less than the square root of c_{m, g}. We also show that c_{m, g}^{1/2} is equal to the minimum L^2 norm of a nontrivial m-equivariant standing wave solution. In the self-dual g = 1 case, we have the exact numerical values c_{m, 1} = 8*pi*(m + 1).

연구 동기 및 목표

• 두 개의 공간 차원에서 임계 $L^2$ 정규화에서 $m$-등변형 Chern-Simons-Schrödinger 방정식의 전역 적으로 잘 정의된 해 문제를 해결하는 것.
• 초점화된 경우 ($g \geq 1$)에 대해 전역 존재성과 산산이 흩어짐을 위한 초깃값의 $L^2$ 노름에 대한 날카로운 조건을 설정하는 것.
• 임계값 $c_{m,g}$를 비자명한 $m$-등변형 정적 파동 해의 최소 $L^2$ 노름으로 특성화하는 것.
• 자기 이중성 경우 ($g=1$)에서 임계값이 정확히 $c_{m,1} = 8\pi(m+1)$임을 증명하는 것.

제안 방법

• 문제는 게이지 자유도를 제거하고 잘 정의된 초기값 문제를 허용하는 쿨롱 게이지에서 분석된다.
• 문제는 $m$-등변형 해에 국한되어, 각운동량 $m \in \mathbb{Z}$를 가진 $(r,t)$에서의 원형 시스템으로 감소된다.
• 농축-콤팩트성과 강성 방법이 적용되며, 비르발 및 Morawetz 항등식을 통한 거의 주기적 해의 부재에 기반한다.
• 임계값 $c_{m,g}$는 에너지가 0인 조건 하에 전하를 최소화하는 변분 문제를 통해 특성화되며, 라그랑주 승수와 Pohozaev 유사 항등식을 사용한다.
• 스케일 불변성을 제거한 후, $L^q$ 공간에서의 약한 수렴과 강한 수렴을 통해 최소 에너지 해의 존재성과 유일성을 확립한다.
• 산산이 흩어짐의 증명은 비영인 거의 주기적 해의 부재와 비르발/Morawetz 항등식을 통한 질량 집중의 통제를 기반으로 한다.

실험 결과

연구 질문

• RQ1 모든 $m \in \mathbb{Z}$ 및 $g < 1$에 대해, $m$-등변형 Chern-Simons-Schrödinger 방정식은 임계 $L^2$ 정규화에서 전역 적으로 잘 정의된 해를 갖는가?
• RQ2 초점화된 경우 ($g \geq 1$)에 대해, 전역 적으로 잘 정의된 해와 산산이 흩어짐이 성립하는 $L^2$-노름의 날카로운 임계값은 무엇인가?
• RQ3 임계값 $c_{m,g}$는 비자명한 $m$-등변형 정적 파동 해의 최소 $L^2$ 노름과 어떻게 관련이 있는가?
• RQ4 자기 이중성 경우 ($g=1$)는 임계값 $c_{m,1}$에 대해 정확한 표현식을 갖는가?
• RQ5 이 설정에서 비르발 및 Morawetz 항등식을 통해 거의 주기적 해의 부재를 확립할 수 있는가?

주요 결과

• 모든 $m$-등변형 $L^2$ 초깃값에 대해 $g < 1$일 경우 초기값 문제는 전역 적으로 잘 정의되고 해는 산산이 흩어진다.
• $g \geq 1$일 경우, $\|\phi_0\|_{L^2}^2 < c_{m,g}$일 때 전역 적으로 잘 정의된 해와 산산이 흩어짐이 성립한다. 여기서 $c_{m,g}$는 비자명한 $m$-등변형 정적 파동 해의 최소 $L^2$ 노름이다.
• 자기 이중성 경우 ($g = 1$)에 대해 임계값은 정확히 $c_{m,1} = 8\pi(m+1)$이며, 정확한 수치적 경계를 제공한다.
• 임계값 $c_{m,g}$는 에너지가 0인 비자명한 $m$-등변형 함수들에 대해 $\|\phi\|_{L^2}^2$의 하한으로 특성화된다.
• 변분 문제로 정의된 $c_{m,g}$에 대해 최소화자가 약한 수렴과 $L^q$ 공간에서의 강한 수렴을 통해 존재함을 증명하였다.
• Pohozaev 유사 항등식이 유도되었으며, 이는 정적 파동 해의 주파수 $\lambda$가 해의 $L^2$ 및 $L^4$ 노름과 연결됨을 보여주며, 임계값이 기존의 항등식과 일관됨을 확인한다.