[논문 리뷰] Optimal convergence rate of nonrelativistic limit for the nonlinear pseudo-relativistic equations

Woocheol Choi, Younghun Hong외 1명|arXiv (Cornell University)|2016. 10. 19.

Advanced Mathematical Physics Problems참고 문헌 25인용 수 5

한 줄 요약

이 논문은 속도의 제곱 $c \to \infty$일 때 비선형 가짜상대론적 방정식의 기본상태가 비상대론적 대응상태로 수렴하는 최적 수렴 속도 $1/c^2$를 확립한다. 스펙트럼 분석과 로렌츠 공간 추정을 통해 저자들은 수렴이 날카롭고 임의의 소볼레프 노름에서 균일하게 성립함을 증명하며, 상대론적 솔리톤의 점근적 행동에 관한 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

In this paper, we are concerned with the nonrelativistic limit of the following pseudo-relativistic equation with Hartree nonlinearity or power type nonlinearity \[ \left(\sqrt{-\hbar^2c^2 Δ+m^2c^4} - mc^2 ight) u + μu = \mathcal{N}(u), \] where $c$ denotes the speed of light. We prove that the ground states of this equation converges to the ground state of its nonrelativistic counterpart \[ -\frac{\hbar^2}{2m}Δu + μu = \mathcal{N}(u) \] with an explicit convergence rate $1/c^2$ in arbitrary order as $c o \infty$. Moreover, we show that this rate is optimal.

연구 동기 및 목표

• 비상대론적 대응상태로의 비선형 가짜상대론적 방정식의 기본상태 수렴 속도를 최적화하는 것.
• 비상대론적 극한에서 수렴 속도가 힘의 타입과 하르트리 타입 비선형성 모두에 대해 날카로운지 여부를 해결하는 것.
• 임의의 소볼레프 노름에서 수렴 추정을 균일하게 제공하여 다양한 정규성 클래스에서의 강건성을 확보하는 것.
• 형식적 점근적 분석을 넘어서 기능적 해석학과 조화 분석 도구를 사용하여 비상대론적 근사에서의 오차를 엄밀히 정량화하는 것.

제안 방법

• 물리적 상수를 제거하기 위해 가짜상대론적 방정식을 정규화하여 $c \to \infty$일 때 매개변수 없는 극한으로 문제를 축소하는 것.
• 비선형 운동에너지의 상대론적 기여를 제어하는 심벌 $P_c(\xi) = \sqrt{c^2|\xi|^2 + c^4/4} - c^2/2 + 1$를 가진 편미분 연산자 $P_c(D)$의 정의.
• 정규화된 비선형 항의 정(regularity)과 유계성(control)을 제어하기 위해 로렌츠 공간의 보간 이론과 마르친키에비치 보간을 적용하는 것.
• 비선형 상호작용을 추정하기 위해 로렌츠 공간에서의 분수계의 곱의 법칙을 사용하는 것.
• 기본상태의 스펙트럼 분해와 변분적 특성화를 활용하여 상대론적 및 비상대론적 에너지 함수의 최소화자를 비교하는 것.
• 에너지 비교와 섭동 이론을 통해 상대론적 및 비상대론적 기본상태 간의 차이에 대한 균일한 유계성을 확립하는 것.

실험 결과

연구 질문

• RQ1 속도 $c \to \infty$일 때, 가짜상대론적 비선형 슈뢰딩거 방정식의 기본상태가 비상대론적 기본상태로 수렴하는 최적의 수렴 속도는 무엇인가?
• RQ2 $1/c^2$ 수렴 속도가 날카로운가, 아니면 주어진 조건 하에서 더 빠른 속도로 개선될 수 있는가?
• RQ3 수렴이 임의의 순서의 소볼레프 노름에서 균일하게 성립하는가, 그리고 만약 그렇다면 어떻게 정량화되는가?
• RQ4 힘의 타입과 하르트리 타입 비선형성은 수렴 속도와 기본상태의 구조에 어떻게 영향을 미치는가?
• RQ5 기능적 해석학과 조화 분석 도구를 사용하여 다양한 정규성 클래스에서 균일한 수렴을 확립할 수 있는가?

주요 결과

• 속도 $c \to \infty$일 때, 가짜상대론적 방정식의 기본상태는 비상대론적 방정식의 기본상태로 최적의 속도 $1/c^2$로 수렴한다.
• 이 수렴 속도는 날카롭고, 더 빠른 속도로 개선될 수 없으며, 더 빠른 속도에 대한 반례를 구성함으로써 이를 입증한다.
• 모든 $s \geq 1/2$에 대해 $H^s(\mathbb{R}^n)$에서 수렴이 균일하게 성립하며, 오차는 $C/c^2 \|u_\infty\|_{H^s}$로 유계된다.
• 결과는 $2 < p < 2n/(n-1)$인 힘의 타입 비선형성 $\mathcal{N}(u) = |u|^{p-2}u$와 $n=3$에서 하르트리 타입 비선형성 $\mathcal{N}(u) = (|x|^{-1} * |u|^2)u$에 모두 적용된다.
• 증명은 상대론적 심벌의 정밀한 점근 전개와 로렌츠 공간 추정을 통한 차이 연산자에 대한 정밀한 제어에 기반한다.
• 저자들은 변분 방법과 보간 이론을 활용하여 상대론적 및 비상대론적 기본상태 간의 차이에 대한 균일한 유계성을 확립하며, $1/c^2$ 속도의 최적성은 확인한다.