[논문 리뷰] Normalized solutions of mass supercritical Schr\\"odinger equations with potential

Thomas Bartsch, Riccardo Molle외 2명|arXiv (Cornell University)|2020. 08. 17.

Advanced Mathematical Physics Problems참고 문헌 30인용 수 112

한 줄 요약

이 논문은 L²-구면 위에서의 새로운 최소-최대 논증을 사용하여, 무한대에서 감쇠하는 잠재력과 함께 질량 초위상 비선형 슈뢰딩거 방정식에 대해 정규화된 해의 존재성을 확립한다. 잠재력 V에 대해 명시적이고 비퍼트루베이티브 조건(특이점 포함)이 만족될 경우, 임의의 ρ > 0에 대해 ‖u‖₂ = ρ 를 만족하는 (u, λ) ∈ H¹(R^N) × R⁺ 해가 존재함을 증명한다. 이는 제약 다각형 위에서 함수가 아래로 유계가 아니라는 점을 고려할 때도 성립한다. 주요 기여는 초위상 영역에서 비콤팩트성과 팔라이-스미스 조건의 부재를 극복하는 새로운 링킹 유형의 변분 방법 개발이다.

ABSTRACT

This paper is concerned with the existence of normalized solutions of the nonlinear Schrodinger equation-Delta u + V(x)u + lambda u = vertical bar u vertical bar(p-2)u in R-Nin the mass supercritical and Sobolev subcritical case 2 + 4/N < p < 2*. We prove the existence of a solution (u, lambda) is an element of H-1 (R-N) x R+ with prescribed L-2-norm parallel to u parallel to(2) = rho under various conditions on the potential V : R-N -> R, positive and vanishing at infinity, including potentials with singularities. The proof is based on a new min-max argument.

연구 동기 및 목표

• 고정된 L²-노름 ‖u‖₂ = ρ 를 만족하는 비선형 슈뢰딩거 방정식 −Δu + V(x)u + λu = |u|^{p−2}u 에 대해 정규화된 해 (u, λ) ∈ H¹(R^N) × R⁺ 의 존재성을 확립한다.
• 질량 초위상 영역(2 + 4/N < p < 2*)에서 에너지 함수가 L²-구면 Sρ 상에서 아래로 유계가 아닐 때, 표준 최소화 기법이 실패하는 문제에 대응한다.
• 에너지 함수가 Sρ 상에서 임계점을 찾기 위해 링킹 구조를 기반으로 한 새로운 최소-최대 논증을 개발하고 적용한다.
• V ≥ 0 이고 |x| → ∞ 에서 V(x) → 0 이며, 명시적이고 비퍼트루베이티브 조건을 만족하는 잠재력, 특히 특이점(극점)이 있는 경우에도, 임의의 ρ > 0 에 대해 해의 존재를 확장한다.

제안 방법

• 에너지 함수 F(u) = ½∫(|∇u|² + V(x)u²)dx − 1/p ∫|u|ᵖdx 의 임계점을 찾기 위해, Sρ = {u ∈ H¹(R^N) : ‖u‖₂ = ρ} 에서의 새로운 최소-최대 논증을 도입한다.
• 자기상태 문제 (−Δ + 1)U = |U|^{p−2}U 에서 유도된 스케일링된 기저 상태 Zρ 의 가족을 비교 프로파일로 구성한다.
• 스케일링과 공간 이동을 동시에 수행하는 변환 h ⋆ Zρ(x) = e^{h} Zρ(e^{h}x) 를 사용하여 링킹 구조를 정의한다.
• 자기상태 경우(V ≡ 0)에서 함수 F 가 산맥 수준 mρ 를 도달함을 증명하고, 이를 V ≥ 0 가 작거나 감쇠하는 경우 링킹 기하학을 구축하는 기준으로 사용한다.
• 에이뷰인-탈렌티의 최적 상수 A 와 V 의 L^N/2 노름을 이용한 사전 추정을 통해 Sρ 상에서 팔라이-스미스 수열의 유계성을 확보함으로써 해 수렴을 보장한다.
• 반지름 대칭 케이스를 모델로 삼아, H¹_rad(R^N) ∩ Sρ 상에서 산맥 논증을 적용하여, V 가 반지름 대칭이거나 반지름 유사 조건을 만족할 경우 해를 확보한다.

실험 결과

연구 질문

• RQ1 V ≥ 0 이고 |x| → ∞ 에서 V(x) → 0 이며, 질량 초위상 영역 2 + 4/N < p < 2* 에서, 임의의 ρ > 0 에 대해 H¹(R^N) × R⁺ 에서 정규화된 슈뢰딩거 방정식의 해가 존재하는 잠재력 V 에 대한 조건은 무엇인가?
• RQ2 에너지 함수가 L²-구면에서 아래로 무한히 뻗어나갈 경우 최소화 기법이 실패하므로, 정규화된 해를 찾기 위한 변분 방법을 어떻게 구성할 수 있는가?
• RQ3 특이점(예: 극점)이 있는 V 에서 정규화된 해 이론에 어떻게 통합할 수 있는가?
• RQ4 V 와 W(x) = V(x)|x| 에 대해 명시적이고 비퍼트루베이티브 조건이 무엇인지, 특히 작은 ρ 에서 V 와 W 의 L∞-노름이 크더라도 해의 존재를 보장하는 조건은 무엇인가?
• RQ5 이 논문에서 개발된 새로운 링킹 논증은 H¹(R^N) ↪ L^p(R^N) 이 콤팩트가 아니게 되는 비반지름 잠재력에도 어떻게 적용할 수 있는가?

주요 결과

• 논문은 V ≥ 0 이고 |x| → ∞ 에서 V(x) → 0 이며, 조건 (V1) 또는 (V2) 를 만족할 경우, 임의의 ρ > 0 에 대해 H¹(R^N) × R⁺ 에서 정규화된 해 (u, λ) 의 존재를 증명한다.
• 해는 초위상 영역에서 팔라이-스미스 조건의 부재와 함수의 유계성 부족을 극복하는 L²-구면 위에서의 새로운 최소-최대 논증을 통해 도출된다.
• 조건 (V1) 을 만족하는 잠재력의 경우, V 와 W(x) = V(x)|x| 의 L∞-노름이 mρ, ρ, p 를 포함한 명시적 표현으로 유계일 경우 해의 존재가 보장되며, 이 표현은 작은 ρ 에서 큰 V 도 허용한다.
• 차원 N ≥ 3 에서 조건 (V2) 를 만족하는 잠재력의 경우, ∥V∥_{N/2} 와 ∥W∥_N 이 에이뷰인-탈렌티 상수 A 와 p, N 의 명시적 함수로 유계일 경우 해의 존재가 보장되며, 이는 특이점을 허용한다.
• 반지름 대칭 케이스에서는 Sρ ∩ H¹_rad(R^N) 상에서 산맥 논증을 적용하여 해를 확보할 수 있으며, 이 방법은 반지름 가정 하에 강건하다.
• 논문은 자기상태 경우(V ≡ 0)에서 산맥 수준 mρ 가 스케일링된 기저 상태 Zρ 에 의해 도달되며, 이 값은 링킹 구성에서 기준으로 사용됨을 보여준다.