[논문 리뷰] Lagrangian Controllability of the 1-D Korteweg-de Vries Equation

Ludovick Gagnon|arXiv (Cornell University)|2016. 11. 09.

Advanced Mathematical Physics Problems참고 문헌 7인용 수 3

한 줄 요약

이 논문은 N-솔리톤 해를 이용하여 1차원 콘트웨그-데 프리즈(KdV) 방정식의 소규모 시간 Lagrangian 제어 가능성을 확립한다. 극적으로 증가하는 솔리톤 진폭을 갖는 매끄럽고 국소적인 해를 구성함으로써, t=0과 t=T일 때 해가 정지해 있는 조건에서도, 초기에 [0,L]에 있던 입자들이 임의의 시간 T>0 내에 완전히 L의 오른쪽으로 이동시킬 수 있음을 보여준다.

ABSTRACT

We consider in this paper the problem of the Lagrangian controllability for the Korteweg-de Vries equation. Using the $N$-solitons solution, we prove that, for any length of the spatial domain $L>0$ and any time $T>0$, it is possible to choose appropriate boundary controls of KdV equation such that the flow associated to this solution exit the domain in time $T$.

연구 동기 및 목표

• 경계 제어를 갖는 1차원 콘트웨그-데 프리즈(KdV) 방정식에 대해 소규모 시간 Lagrangian 제어 가능성을 확립하기 위해.
• 초기 조건이 [0,L]에 있는 입자들이 임의의 시간 T>0 내에 완전히 L의 오른쪽으로 이동시킬 수 있음을 보여주기 위해.
• 제어가 끝난 후 잔류 운동이 없도록 보장하기 위해, t=0과 t=T일 때 해가 정지해 있음을 보장하기 위해.
• 솔리톤 상호작용과 속도를 통해 입자 이동을 달성하기 위해 N-솔리톤 해의 점점 커지는 점근적 행동을 활용하기 위해.
• 제어 가능성 조건을 만족시키기 위해, t=0과 t=T 근처에서 해의 H^2 노름이 작고, 정규성 조건을 만족시키기 위해.

제안 방법

• 진폭 α_k와 속도 α_k²를 갖는 이동파 형태의 N-솔리톤 해를 이용하여 KdV 방정식의 해를 구성한다.
• 변수 치환 x ↦ x−t, y ↦ 6η를 적용하여 KdV 방정식을 η_t + 6ηη_x + η_xxx = 0로 변환함으로써 솔리톤 분석을 단순화한다.
• 개별 파동 펄스를 모델링하기 위해 솔리톤 해 η(x,t) = (α²/2) sech²( (−α(x−s) + α³t)/2 )를 사용하며, 이는 알려진 속도와 진폭을 갖는다.
• 증가하는 진폭과 정밀하게 조절된 위치를 갖는 솔리톤을 배열하여, 그들의 조합된 유량이 [0,L]에 있는 모든 입자를 x=L를 초월하도록 밀어낸다.
• α_1 → ∞일 때 상호작용 항(예: f_k(ξ_k^−,t)f_{k−1}^{−1}(ξ_k^+,t))의 점근적 추정을 적용하여, 겹침 효과가 사라짐을 보인다.
• 유량 방정식 ∂Φ/∂t = G(Φ(x,t),t)를 사용하며, G는 해로부터 유도된 것으로, 입자 궤적을 추정하고 Φ(x,T) ≥ L임을 보장한다.

실험 결과

연구 질문

• RQ1 임의의 도메인 길이 L>0에 대해, KdV 방정식이 임의의 소규모 시간 T>0 동안 Lagrangian 제어 가능할 수 있는가?
• RQ2 경계 제어와 솔리톤 기반 해를 이용하여, 초기에 [0,L]에 있던 모든 입자를 L의 오른쪽으로 이동시킬 수 있는가?
• RQ3 해가 t=0과 t=T일 때 모두 정지해 있도록 구성할 수 있는가? 이는 잔류 운동이 없음을 보장한다.
• RQ4 경계 제어 하에서 KdV 유량에서 솔리톤 상호작용은 네트워크 입자 이동에 어떤 영향을 미치는가?
• RQ5 유량 속도가 유한 시간 내에 L을 초월하도록 입자를 밀어내기 위해 필요한 솔리톤 진폭과 위치 조건은 무엇인가?

주요 결과

• 모든 T,L>0에 대해, 경계 제어를 갖는 KdV 방정식의 해 y∈C([0,T];H²(0,L))가 존재하여, 관련된 유량 Φ는 모든 x∈[0,L]에 대해 Φ(x,T)≥L를 만족한다.
• 해는 증가하는 진폭 α_k를 갖는 N-솔리톤 해를 통해 명시적으로 구성되며, 이때 N ≈ 4Lα₁² / ln(√(2α₁)(1+√(1−1/(2α₁))))로, 충분한 입자 이동을 보장한다.
• 유량 속도 ∂Φ/∂t는 솔리톤 영역의 특성 함수에 대해 ∑ₖ (αₖ/16)의 하한을 갖는다. 이는 순수하게 오른쪽으로의 이동을 보장한다.
• 해는 모든 x∈[0,L]에 대해 ∂Φ/∂t(x,0)=0 및 ∂Φ/∂t(x,T)=0를 만족하여, 초기 및 최종 시간에 해가 정지해 있음을 확인한다.
• 해의 H² 노름은 (0,ε₁)∪(T−ε₂,T)에서 δ 이하로 유지되어, t=0과 t=T 근처에서의 소규모 조건을 만족한다.
• α₁→∞일 때, 솔리톤 간의 상호작용 항이 사라지며, 이는 솔리톤 전파가 지배적이 되고 L을 초월하는 신뢰할 수 있는 입자 이동을 가능하게 한다.