[논문 리뷰] Uniqueness of Radial Solutions for the Fractional Laplacian

Rupert L. Frank, Enno Lenzmann외 1명|edoc (University of Basel)|2013. 01. 01.

Nonlinear Partial Differential Equations참고 문헌 26인용 수 18

한 줄 요약

이 논문은 $(-\Delta)^s Q + Q - |Q|^{\alpha} Q = 0$에서 $\mathbb{R}^N$ 내에서 모든 $N \geq 1$ 및 $\alpha > 0$에 대해 비선형 분수 슈뢰딩거 방정식의 기본 상태 해의 유일성과 비퇴화성을 증명한다. 이는 분수 라플라스 연산자에 대한 새로운 단조성 공식과 선형 방정식에 대한 새로운 반지름 유일성 결과를 활용한다. 주요 기여는 임의의 차원에서 반지름 해에 대한 일반적인 유일성 증명을 처음으로 확보한 것으로, 고전 결과를 비국소 설정으로 확장한다.

ABSTRACT

We prove general uniqueness results for radial solutions of linear and nonlinear equations involving the fractional Laplacian $(-Δ)^s$ with $s \in (0,1)$ for any space dimensions $N \geq 1$. By extending a monotonicity formula found by Cabre and Sire \cite{CaSi-10}, we show that the linear equation $(-Δ)^s u+ Vu = 0$ in $\mathbb{R}^N$ has at most one radial and bounded solution vanishing at infinity, provided that the potential $V$ is a radial and non-decreasing. In particular, this result implies that all radial eigenvalues of the corresponding fractional Schrödinger operator $H=(-Δ)^s + V$ are simple. Furthermore, by combining these findings on linear equations with topological bounds for a related problem on the upper half-space $\mathbb{R}^{N+1}_+$, we show uniqueness and nondegeneracy of ground state solutions for the nonlinear equation $(-Δ)^s Q + Q - |Q|^α Q = 0$ in $\mathbb{R}^N$ for arbitrary space dimensions $N \geq 1$ and all admissible exponents $α>0$. This generalizes the nondegeneracy and uniqueness result for dimension N=1 recently obtained by the first two authors in \cite{FrLe-10} and, in particular, the uniqueness result for solitary waves of the Benjamin--Ono equation found by Amick and Toland \cite{AmTo-91}.

연구 동기 및 목표

• 분수 라플라스 연산자 $(-\Delta)^s$ ($s \in (0,1)$)와 같은 비국소 연산자에 대해 고전적 도구(예: 射撃 방법)가 실패하는 ODE 유형의 방법에 대한 격차를 메우기 위해.
• 반지름이면서 비감소하는 잠재력 $V$를 갖는 선형 방정식 $(-\Delta)^s u + V u = 0$의 유계해에 대한 일반적인 반지름 유일성 결과를 수립하기 위해.
• 모든 $N \geq 1$ 및 $\alpha > 0$에 대해 비선형 방정식 $(-\Delta)^s Q + Q - |Q|^{\alpha} Q = 0$의 기본 상태 해의 유일성과 비퇴화성을 증명하기 위해, 이는 이전에 $N=1$에서의 결과를 일반화한다.
• 일반화된 벤자민-온 이론 방정식과 임계 분수 NLS 방정식과 같은 시간에 의존하는 비국소 방정식의 분석을 위한 기초를 마련하기 위해.

제안 방법

• Cabré와 Sire의 단조성 공식을 확장하여 분수 라플라스 연산자를 갖는 선형 방정식에 대한 반지름 유일성을 증명한다.
• 기능 $J(u) = \|(-\Delta)^{s/2}u\|_{L^2}^2 / \|u\|_{L^{\alpha+2}}^{\alpha+2}$를 변분 접근법으로 사용하여 기본 상태를 최소화자로 특성화한다.
• 이동 평면 방법과 해석자 커널 성질을 적용하여 기본 상태가 반지름이면서 양수이며 $|x|$에 대해 엄격히 감소함을 보인다.
• 보조 정규성과 $L^p$-성질을 이용하여 해석자 커널의 $L^p$-성질을 활용해 더 높은 정규성 $Q \in C^\infty$와 점별 감쇠 추정을 확립한다.
• weak 수렴성과 $H^s$ 내의 컴팩턴스를 이용하여 최소화자를 추출하고 강한 수렴성을 증명함으로써 변분 특성의 최적성을 확보한다.
• 상반평면 문제로부터의 위상적 경계를 결합하여 선형 결과를 비선형 유일성으로 연결한다.

실험 결과

연구 질문

• RQ1 분수 라플라스 연산자 $(-\Delta)^s$를 갖는 $\mathbb{R}^N$ 내 반지름 해에 대해 고전적인 ODE 기법인 射撃 방법을 비국소 대체 방법으로 대체할 수 있는가?
• RQ2 잠재력 $V$가 반지름이면서 비감소할 경우, 선형 분수 방정식의 유계해에 대해 일반적인 반지름 유일성 결과가 존재하는가?
• RQ3 모든 $N \geq 1$ 및 $\alpha > 0$에 대해 비선형 방정식 $(-\Delta)^s Q + Q - |Q|^{\alpha} Q = 0$의 기본 상태 해가 유일하고 비퇴화되는가?
• RQ4 1차원에서의 기본 상태 유일성 결과가 분수 설정에서 고차원으로 확장되는가?
• RQ5 벤자민-온 이론 방정식의 고립파에 대한 비퇴화성과 유일성 결과가 분수 라플라스 연산자 프레임워크를 통해 고차원으로 일반화되는가?

주요 결과

• 잠재력 $V$가 반지름이면서 비감소할 경우, 선형 방정식 $(-\Delta)^s u + V u = 0$는 무한대에서 0으로 수렴하는 반지름 유계해를 최대 하나만 갖는다. 이는 $H = (-\Delta)^s + V$의 모든 반지름 고유값이 단순함을 의미한다.
• 모든 $N \geq 1$ 및 적절한 $\alpha > 0$에 대해 비선형 방정식 $(-\Delta)^s Q + Q - |Q|^{\alpha} Q = 0$의 기본 상태 해 $Q$는 유일하고 비퇴화된다. 이는 이전에 $N=1$에서의 결과를 일반화한다.
• 기본 상태 $Q$는 반지름이면서 양수이며 $|x|$에 대해 엄격히 감소하고, $H^s \cap C^\infty(\mathbb{R}^N)$에 속하며 점별 감쇠 $Q(x) \sim \langle x \rangle^{-N-2s}$를 갖는다. $|x| \to \infty$일 때.
• 기능 $J(u) = \|(-\Delta)^{s/2}u\|_{L^2}^2 / \|u\|_{L^{\alpha+2}}^{\alpha+2}$의 최소화자는 스케일링과 부호를 제외하고 유일하며, 이는 기본 상태 해에 해당한다.
• 증명 과정에서 $Q^\prime(r)$가 선형화된 연산자 $L_+$의 유일한 기본 상태임을 입증함으로써 비퇴화성을 확인한다.
• 이 결과들은 Kenig 등과 Weinstein의 추측을 모든 차원에서 해결하며, 고전적인 Amick와 Toland의 벤자민-온 이론 방정식에 대한 유일성 결과를 일반화한다.