[논문 리뷰] Existence of a ground state and blow-up problem for a nonlinear Schrodinger equation with critical growth

Takafumi Akahori, Slim Ibrahim외 2명|arXiv (Cornell University)|2011. 12. 05.

Advanced Mathematical Physics Problems참고 문헌 9인용 수 27

한 줄 요약

이 논문은 차원 $ d \geq 4 $ 에서 임계 성장이 있는 비선형 슈뢰딩거 방정식에 대해 체계적 변분 방법을 이용하여 기저 상태 해의 존재성을 확립한다. 이 방법은 $ L^2 $-스케일 불변성과 관련된 제약 조건 하에서 함수 $ \mathcal{S}_{\omega}(u) $ 를 최소화하는 데 기반한다. 또한 특정 에너지-부하중 영역 내의 초기 조건을 갖는 해들이 유한 시간 내에 폭발함을 증명하여, 기저 상태의 소규모 외란에 대한 불안정성을 확인한다.

ABSTRACT

In this paper we show the existence of ground-state solutions for the energy-critical NLS perturbed with subcritical terms when the space dimension $d\geq4$. However in dimension three, we show that when the perturbation is small enough, then such solution does not exist. For the evolution equation, we show the existence of finite time blow up of solutions with radially symmetric data with energy below the one of the ground state.

연구 동기 및 목표

• 임계 비선형성과 매력적인 부하중 비선형성의 조합을 갖는 비선형 슈뢰딩거 방정식에 대해 기저 상태 해의 존재성을 확립하기.
• 특정 에너지-부하중 영역 내의 초기 자료를 갖는 해의 폭발 행동을 분석하기.
• 기저 상태 해의 불안정성을 변분 특성화와 폭발 기준을 통해 증명하기.
• 기저 상태의 존재에 대한 차원 의존적 임계 조건을 명확히 하여, 특히 $ d \geq 4 $ 와 $ d = 3 $ 의 차이를 구분하기.
• 보조 함수를 이용한 비율 유사 항등식을 유도하고, 가중 함수를 사용하여 질량 집중을 제어하고, 유한 시간 내 폭발을 도출하기.

제안 방법

• 함수 $ \mathcal{S}_{\omega}(u) $ 를 제약 조건 $ \mathcal{K}(u) = 0 $ 하에서 최소화하는 변분 문제를 설정한다. 여기서 $ \mathcal{K}(u) $ 는 $ L^2 $-스케일 불변성에 대한 $ \mathcal{S}_{\omega} $ 의 도함수에 해당한다.
• 보조 변분 문제 $ \widetilde{m}_{\omega} $ 가 도입되며, 이는 $ \mathcal{K}(u) \leq 0 $ 인 함수들에 대해 $ \mathcal{I}_{\omega}(u) $ 의 하한을 의미한다. 이는 양성과 대칭화에 대한 안정성 덕분에 분석을 단순화한다.
• $ d \geq 4 $ 에서의 존재성 증명은 브레지스와 니레버그의 사고를 기반으로 한 정교한 집중-콤���트성 추론을 활용하며, 에너지 함수와 제약 조건의 특수한 구조에 맞게 조정된다.
• 가중 치환 함수 $ W_R $ 를 사용하여 일반화된 비율 항등식을 도출한다. 이는 큰 구의 외부에서의 $ L^2 $-질량을 제어할 수 있게 한다.
• 폭발 기준은 초기 자료가 집합 $ A_{\omega,-} $ 에 속해 있을 경우, 해가 항상 존재할 수 없음을 보여줌으로써 확립된다. 이는 전역 존재 가정 하에서 모순을 유도한다.
• 비율 항등식과 감쇠 추정을 기반으로 한 모순 증명을 통해, 해의 가중 $ L^2 $-노름이 음수가 되며, 이는 불가능하다는 점을 보여준다.

실험 결과

연구 질문

• RQ1 임계 비선형성과 부하중 비선형성을 갖는 비선형 슈뢰딩거 방정식에 대해 기저 상태 해가 존재하는 조건은 무엇인가?
• RQ2 공간 차원 $ d $ 는 기저 상태의 존재성에 어떤 역할을 하는가? 특히 $ d = 3 $ 와 $ d \geq 4 $ 의 경우를 비교하여 설명할 것.
• RQ3 기저 상태의 불안정성은 변분 특성화와 폭발 분석을 통해 엄밀하게 증명될 수 있는가?
• RQ4 에너지와 스케일링 제약 조건 $ \mathcal{K}(u) = 0 $ 이 정적파 해의 존재성과 안정성에 어떤 영향을 미치는가?
• RQ5 집합 $ A_{\omega,-} $ 에 속하는 초기 조건을 갖는 해에 대해, 유한 시간 내 폭발이 증명될 수 있는가? 여기서 $ A_{\omega,-} $ 는 $ \mathcal{S}_{\omega}(u) < m_{\omega} $ 와 $ \mathcal{K}(u) < 0 $ 를 만족한다.

주요 결과

• $ d \geq 4 $ 에서는 $ m_{\omega} $ 를 정의하는 변분 문제에 최소화자가 존재하며, 이는 식 (1.4)의 타원형 방정식에 대한 기저 상태 해에 해당한다.
• $ d = 3 $ 에서는 부하중 결합 상수 $ \mu $ 가 충분히 작을 경우 $ m_{\omega} $ 에 대해 최소화자가 존재하지 않으며, 이는 기저 상태 해가 존재하지 않음을 의미한다.
• $ \mathcal{S}_{\omega}(u) < m_{\omega} $ 와 $ \mathcal{K}(u) < 0 $ 를 만족하는 집합 $ A_{\omega,-} $ 는 NLS 방정식의 흐름에 대해 불변이다.
• $ A_{\omega,-} $ 에서 시작하는 해들은 일반화된 비율 항등식과 음수인 가중 $ L^2 $-노름을 이용한 모순 증명을 통해 유한 시간 내 폭발을 보인다.
• 폭발 시간은 유한하다. 비율 항등식에 의해 어떤 시간 $ t $ 에서도 가중 $ L^2 $-노름이 음수가 되며, 이는 불가능하기 때문에 $ I_{\max} $ 는 유계여야 한다.
• 이 증명은 $ W_R $ 라는 치환 함수를 구성하고, $ \|\nabla \psi_0\|_{L^\infty} $, $ \|\psi_0\|_{L^2} $, 그리고 $ R $ 을 포함한 추정을 사용하여 비율 양을 제어하고 모순을 도출한다.