[논문 리뷰] Multiple normalized solutions for quasi-linear Schrödinger equations

Louis Jeanjean, Tingjian Luo외 1명|arXiv (Cornell University)|2014. 03. 10.

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

한 줄 요약

이 논문은 비선형성의 비미분 가능성을 극복하기 위해 섭동 방법을 사용하여 $N$ 차원에서 비선형 슈뢰딩거 방정식에 대해 두 개의 서로 다른 $L^2$-정규화된 해의 존재성을 확립한다. 하나의 해는 제약 조건 하에서 산맥 길이 임계점이며, 다른 하나는 국소 또는 전역 최소화자이다. 이 두 해는 $N \geq 3$ 일 때 $p \in (1, \frac{3N+2}{N-2})$ 이고 $N=1,2$ 일 때 $p \in (1,\infty)$ 인 조건을 만족한다.

ABSTRACT

In this paper we prove the existence of two solutions having a prescribed $L^2$-norm for a quasi-linear Schrödinger equation. One of these solutions is a mountain pass solution relative to a constraint and the other one a minimum either local or global. To overcome the lack of differentiability of the associated functional, we rely on a perturbation method developed in [27].

연구 동기 및 목표

• 에너지 함수가 $u\Delta(|u|^2)$ 항으로 인해 미분 가능성이 없기 때문에, 비선형 슈뢰딩거 방정식의 일군의 $L^2$-정규화된 해가 존재함을 증명하는 것.
• 논문 [27]에서 개발된 섭동 방법을 활용하여 기능 $I_\lambda(u)$ 의 비미분 가능성 문제를 해결함으로써, 제약 다각형 위에서의 변분 분석이 가능하도록 하는 것.
• 두 가지 다른 유형의 해, 즉 산맥 길이 임계점과 국소 또는 전역 최소화자로 구성된 해의 존재를 증명하는 것. 이 두 해는 모두 고정된 $L^2$-노름 조건을 만족한다.
• 특히 $N \geq 3$ 일 때 임계 지수 영역 $p = \frac{3N+2}{N-2}$ 에까지 분석을 확장하여, 기능의 거동이 크게 변화하는 경우를 다루는 것.
• 양자역학 및 플라즈마 물리학과 관련된 물리적 모델을 고려할 때, 비선형 슈뢰딩거 방정식의 정규화된 해를 위한 엄밀한 변분 프레임워크를 제공하는 것.

제안 방법

• 논문 [27]의 섭동 접근법을 활용하여 비미분 가능 기능 $V(u) = \int_{\mathbb{R}^N} |u|^2 |\nabla u|^2 dx$ 를 정규화함으로써, 임계점 이론의 적용을 가능하게 한다.
• 자연스러운 함수 공간 $\mathcal{X}$ 에 대해 $\|u\|_{L^2}^2 = c$ 라는 $L^2$-노름 제약 조건을 $S(c) = \{u \in \mathcal{X} : \int_{\mathbb{R}^N} |u|^2 dx = c\}$ 의 집합을 통해 도입한다.
• $J(u)$ 를 $S(c)$ 에 제약된 에너지 기능으로 제한한 경우, $m(c) = \inf_{u \in S(c)} J(u)$ 라는 제약 최소화 문제를 분석함으로써, 하나의 해를 최소화자로 확보한다.
• 산맥 길이 정리의 응용을 통해 제약 다각형 $S(c)$ 상에서 두 번째 임계점을 확보하며, 이는 최소가 아닌 임계 수준에 해당한다.
• 반지름 대칭성 감소와 뉴턴 포텐셜 $K(r) = C r^{-(N-2)}$ 와의 비교를 통해 해와 그 도함수에 대한 점별 감쇠 추정을 유도한다.
• 기하학적 추정 기법을 기반으로 한 반복적 감쇠 추정 기법을 사용하여 $\nabla u$ 의 $L^2$-노름의 성장률을 제어하고, 해의 점근적 행동을 도출한다.

실험 결과

연구 질문

• RQ1 에너지 기능이 비미분 가능할 때 비선형 슈뢰딩거 방정식에 대해 다수의 $L^2$-정규화된 해가 존재함을 증명할 수 있는가?
• RQ2 산맥 길이 유형의 해가 $L^2$-정규화된 해들 사이에 존재하는가? 그리고 최소화자와 어떻게 다를까?
• RQ3 다수의 정규화된 해가 존재하는 비선형성의 거듭제곱 지수 $p$ 의 정확한 범위는 무엇인가? 특히 임계 지수 $\frac{3N+2}{N-2}$ 근처에서 어떻게 되는가?
• RQ4 기능 $V(u) = \int |u|^2 |\nabla u|^2 dx$ 의 비미분 가능성은 변분 구조와 해의 존재성에 어떤 영향을 미치는가?
• RQ5 해의 점근적 감쇠 행동은 무엇이며, 이는 뉴턴 포텐셜과 어떻게 관련이 있는가?

주요 결과

• $N \geq 3$ 일 때 $p \in (1, \frac{3N+2}{N-2})$ 이고 $N=1,2$ 일 때 $p \in (1,\infty)$ 인 경우, 두 개의 서로 다른 $L^2$-정규화된 해가 존재한다. 하나는 $S(c)$ 상에서 에너지 기능 $J(u)$ 를 최소화하는 해이며, 다른 하나는 산맥 길이 임계점이다.
• 최소화자는 라그랑주 승수 $\lambda < 0$ 와 관련되며, 해는 약한 형태로 정적 방정식 $-\Delta u - u\Delta(|u|^2) - \lambda u - |u|^{p-1}u = 0$ 을 만족한다.
• $p = 3 + \frac{4}{N}$ 일 때, 임계 질량 $c_N$ 초과 시 $m(c) = -\infty$ 가 되는 임계값이 존재하며, 이는 컴actness의 상실과 이에 따른 최소화자 존재 불가능성의 원인이 된다.
• $N \geq 3$ 일 때 $p \in (3 + \frac{4}{N}, \frac{3N+2}{N-2})$ 이고 $N=1,2$ 일 때 $p \in (3 + \frac{4}{N}, \infty)$ 인 경우, $m(c)$ 는 $-\infty$ 가 되어 최소화자가 존재하지 않음을 의미한다.
• 해는 점별 감쇠 추정을 만족한다: $|v_0(r)| \leq C_{\infty} K(r)$ 와 $|v_0'(r)| \leq C_{\infty} K'(r)$, 여기서 $K(r) = C r^{-(N-2)}$ 는 뉴턴 포텐셜이다.
• 해의 점근적 행동은 $|v_0'(r)| \sim C r^{-(N-1)}$ 과 $v_0(r) \sim C r^{-(N-2)}$ 로 특징지어지며, $r^{N-3} b(r)$ 에 대한 적분 추정과 $b(r) \leq C r^{-N}$ 을 통해 날카운 감쇠 비율이 유도된다.