[논문 리뷰] Bifurcation from semi-trivial standing waves and ground states for a system of nonlinear Schrödinger equations

Mathieu Colin, Masahito Ohta|arXiv (Cornell University)|2011. 02. 08.

Advanced Mathematical Physics Problems참고 문헌 17인용 수 4

한 줄 요약

이 논문은 플라즈마에서 라만 증폭을 모델링하는 이성분 비선형 슈뢰딩거 시스템에서 반정적 정상파와 기저 상태로부터의 분기 현상을 조사한다. 변분 방법과 분기 이론을 사용하여, γ = 1에서 비자명한 정상파의 존재성과 궤도 안정성을 입증하며, 안정성은 κ에 따라 달라진다: κ < 0일 경우 안정, κ > 0일 경우 불안정이며, κ = 0일 경우 임계 행동을 보인다.

ABSTRACT

We consider a system of nonlinear Schrödinger equations related to the Raman amplification in a plasma. We study the orbital stability and instability of standing waves bifurcating from the semi-trivial standing wave of the system. The stability and instability of the semi-trivial standing wave at the bifurcation point are also studied. Moreover, we determine the set of the ground states completely.

연구 동기 및 목표

• 이차 성분 비선형 슈뢰딩거 시스템에서 반정적 해 (0, e^{2iωt}φ_ω)로부터 유도되는 비자명한 정상파 해의 분기 구조를 분석하는 것.
• 특히 γ = 1에서 반정적 상태로부터 분기하는 정상파의 궤도 안정성과 불안정성을 규명하는 것.
• 변분 방법과 대칭성 논의를 활용하여 시스템의 모든 기저 상태를 완전히 특성화하는 것.
• γ = 1일 때 안정성에 영향을 주는 매개수 κ의 역할을 조사하며, 특히 그 부호에 따른 영향을 분석하는 것.

제안 방법

• 비자명한 해에 대한 국소 분기점으로서 γ = 1을 규명하기 위해 Crandall-Rabinowitz 국소 분기 정리를 적용한다.
• 기저 상태 φ_ω를 H^1(ℝ^N)  \{0 }에서 비율 ‖v‖_{H^1_ω}^2 / ‖v‖_{L^3}^2의 최소화자로 변분적으로 특성화한다.
• 에너지 및 전하 함수 E(𝐮)와 Q(𝐮)를 사용하여 공간 X = H^1(ℝ^N, ℂ)^2에서 기저 상태를 위한 제약 최소화 문제를 정의한다.
• 게이지 및 위상 대칭을 기술하기 위해 군 작용 G(θ)와 J를 도입하고, 이를 통해 궤도 동치를 통한 해의 분류를 수행한다.
• 횔더 부등식과 가가르도-니레베르그 부등식을 적용하여 해의 L^3 노름에 대한 필요 조건을 유도하고, 식 (5.5)의 연립 부등식을 도출한다.
• 행동 함수 S_ω(𝐮) = d(ω)의 항등식을 사용하여 행동 함수를 기저 상태 에너지와 연결하고, 임계 임계값 ℓ = 6d(ω)/‖φ_ω‖_{L^3}^3을 유도한다.

실험 결과

연구 질문

• RQ1 γ = 1에서 반정적 해 (0, e^{2iωt}φ_ω)로부터 분기하는 정상파 해의 구조는 어떻게 되는가?
• RQ2 γ = 1일 때 매개수 κ의 부호는 분기하는 해의 궤도 안정성에 어떻게 영향을 주는가?
• RQ3 시스템의 기저 상태의 완전한 집합은 무엇이며, 변분적으로 어떻게 특성화되는가?
• RQ4 (κ, γ)에 어떤 조건이 성립할 경우 반정적 상태를 초월한 비자명한 기저 상태가 존재하는가?
• RQ5 성분들의 L^3 노름은 시스템의 안정성과 분기 구조에 어떻게 관련되는가?

주요 결과

• γ < 1일 경우 반정적 정상파 (0, e^{2iωt}φ_ω)는 궤도적으로 안정하다; γ > 1일 경우 κ에 관계없이 불안정하다.
• γ = 1일 경우 반정적 해의 안정성은 κ에 따라 달라진다: κ < 0이면 안정, κ > 0이면 불안정이며, κ = 0일 경우 임계 행동을 보인다.
• (κ, γ) ∈ 𝒦₁일 경우 기저 상태 집합 ℒ_ω는 형태 (e^{iθ₁}α₊φ_ω(·+y₁), e^{iθ₂}β₋φ_ω(·+y₂))를 가지며, 2θ₁ − θ₂ ∈ 2πℤ 이고 y₁ = y₂ 이다.
• (κ, γ) ∈ 𝒦₂일 경우 유일한 기저 상태는 형태 (0, e^{iθ}φ_ω(·+y))를 가지며, 이는 반정적 상태에 해당한다.
• (κ, γ) ∈ 𝒦₃일 경우 기저 상태들은 반정적 상태 또는 𝒦₁에서 유도된 분기된 상태 중 하나이며, 매개수 영역에 따라 달라진다.
• 기저 상태 집합은 완전히 특성화되었으며: (κ, γ) ∈ 𝒦₁ 이면 ℒ_ω = ℒ_ω¹, (κ, γ) ∈ 𝒦₂ 이면 ℒ_ω = ℒ_ω⁰, (κ, γ) ∈ 𝒦₃ 이면 ℒ_ω = ℒ_ω⁰ ∪ ℒ_ω¹ 이다.