[논문 리뷰] Non-local to local transition for ground states of fractional Schr\"{o}dinger equations on bounded domains

Bartosz Bieganowski, Simone Secchi|arXiv (Cornell University)|2019. 07. 26.

Advanced Mathematical Modeling in Engineering참고 문헌 15인용 수 7

한 줄 요약

이 논문은 비국소적 연산자 $(-\Delta)^s$를 갖는 분수 슈뢰딩거 방정식의 기저 상태 해가 순서 $s \to 1^-$일 때 수렴함을 확립한다. 이를 통해 이러한 해들이 $L^2(\Omega)$에서 고전적 국소적 슈뢰딩거 방정식의 기저 상태 해로 수렴함을 보였다. 분석은 변분 방법, 네하리 다양체 기법 및 분수 소볼레프 노름의 점근적 분석에 기반하며, 비선형성과 포텐셜에 대한 표준적인 구조적 가정 하에 해열 수렴을 부분수열을 따라 증명한다.

ABSTRACT

We show that ground state solutions to the nonlinear, fractional problem { (−∆)su + V (x)u = f(x, u) in Ω, u = 0 in RN \ Ω, on a bounded domain Ω ⊂ RN, converge (along a subsequence) in L2(Ω), under suitable conditions on f and V, to a solution of the local problem as s → 1−.

연구 동기 및 목표

• 분수 순서 $s$가 1에 수렴함에 따라 비국소적 분수 슈뢰딩거 방정식의 기저 상태 해의 점근적 행동을 분석하는 것.
• 유계 영역에서 기저 상태의 맥락에서 비국소적 행동에서 국소적 행동으로의 엄밀한 전이를 확립하는 것.
• 선형 포아송 문제에 대한 이전 결과를 변분 및 네하리 다양체 기법을 사용하여 비선형, 비국소적 설정으로 확장하는 것.

제안 방법

• $s \in (1/2, 1)$에 대해 분수 소볼레프 공간 $H^s_0(\Omega)$와 관련 에너지 함수 $J_s$를 사용하여 문제를 체계화하는 것.
• 에너지에 제약 조건이 있는 $J_s$의 임계점으로서 기저 상태를 특성화하기 위해 네하리 다양체 방법을 사용하는 것.
• 부드러운 함수에 대해 $\lim_{s \to 1^-} (-\Delta)^s u = -\Delta u$의 극한 항등식을 점근적 분석을 안내하는 데 사용하는 것.
• 컴act 임bedding과 보간 부등식을 적용하여 $L^\nu(\Omega)$에서의 수렴을 제어하는 것 ($\nu < 2N/(N-1)$).
• 대비법과 균일 적분 가능성에 의해 $\{u_s\}$의 $H^1_0(\Omega)$-노름 유계성을 증명하는 것.
• 분수 라플라스 연산자의 수렴과 바이탈리 수렴 정리에 기반하여 약한 형태에서의 수렴과 극한을 통과하는 것.

실험 결과

연구 질문

• RQ1 비국소적 분수 슈뢰딩거 방정식의 기저 상태 해가 $s \to 1^-$일 때 국소적 슈뢰딩거 방정식의 해로 수렴하는가?
• RQ2 $L^2(\Omega)$에서의 수렴은 가능한가, 그리고 비선형성과 포텐셜에 어떤 조건이 필요한가?
• RQ3 극한 해는 국소 문제의 기저 상태인가, 그리고 에너지 수준은 극한에서 유지되는가?

주요 결과

• 비국소 문제의 기저 상태 해 $u_s$는 부분수열을 따라 $s \to 1^-$일 때 $L^2(\Omega)$에서 국소 문제의 기저 상태 해 $u_0$로 수렴한다.
• 극한 해 $u_0$는 $\Omega$ 내에서 $-\Delta u + V(x)u = f(x,u)$의 약한 해이며, $\partial\Omega$에서 $u_0 = 0$이다.
• $\nu \in [2, 2N/(N-1))$인 모든 $\nu$에 대해 $L^\nu(\Omega)$에서 수렴이 성립하며, $L^\nu$-노름에 대한 균일한 유계성이 확보된다.
• 에너지 수준 $c_s = \inf_{N_s} J_s$는 $c = \inf_N J$로 수렴하여 극한에서 기저 상태 에너지가 유지됨을 확인한다.
• 극한 해 $u_0$는 비자명하며 국소 문제의 네하리 다양체에 속해 있어 기저 상태임을 확인한다.
• 해가 국소 문제에 대해 유일하지 않을 수 있으므로 수렴이 $s$에 대해 반드시 균일하지는 않다.