[논문 리뷰] Effective integrable dynamics for some nonlinear wave equation

Patrick Gérard, Sandrine Grellier|arXiv (Cornell University)|2011. 10. 26.

Advanced Mathematical Physics Problems인용 수 10

한 줄 요약

이 논문은 1차원 토러스 위에서 비산란성이고 열화된 반파동 방정식의 해가 장기간에 걸쳐 완전히 통합 가능한 세제곱 숙고 방정식의 해에 의해 효과적으로 근사됨을 밝힌다. 초기 데이터가 $H^s$에 속하고 $s > 1$, $L^2$-노름이 작을 경우, 해는 $\mathcal{O}(\varepsilon^{-2}\log \varepsilon^{-1})$ 시간까지 숙고 역학과 가까이 유지되며 오차는 $\mathcal{O}(\varepsilon^{3-\alpha})$이며, 더 장기간에는 $L^\infty$ 노름이 유계임을 보여주며 고차원 소볼레프 노름에서의 불안정성을 드러낸다.

ABSTRACT

We consider the following degenerate half wave equation on the one dimensional torus $$\quad i\partial_t u-|D|u=|u|^2u, \; u(0,\cdot)=u_0. $$ We show that, on a large time interval, the solution may be approximated by the solution of a completely integrable system-- the cubic Szegö equation. As a consequence, we prove an instability result for large $H^s$ norms of solutions of this wave equation.

연구 동기 및 목표

• 토러스 위에서 비산란성이고 열화된 반파동 방정식의 해의 장기적 행동을 이해하기 위해.
• 이 방정식의 역학이 장기간에 걸쳐 완전히 통합 가능한 세제곱 숙고 방정식에 의해 효과적으로 지배됨을 확립하기 위해.
• 고차원 소볼레프 노름에서의 불안정성을 입증하기 위해, 해의 $H^s$-노름이 시간에 따라 지수적으로 증가할 수 있음을 보여주기 위해.
• 원래 방정식과 숙고 방정식 사이의 근사 오차에 대한 정량적 유계를 $H^s$-노름에서 유도하기 위해.
• $H^s$-근사 간격보다 더 긴 시간 척도에서 해에 대한 $L^\infty$ 유계를 확립하기 위해.

제안 방법

• 방정식 내의 양의 주파수 모드와 음의 주파수 모드를 분리하기 위해 캐논ical 변환 $\chi_\varepsilon^{-1}$ 의 사용.
• 양의 주파수 성분 $\tilde{u}_+$ 의 진화를 제어하기 위해 $B^1$ 및 $H^s$ 공간에서의 사전 추정치 적용.
• 소규모 매개수 $\varepsilon$ 스케일링을 통한 원래 방정식을 편미분된 세제곱 숙고 방정식 형태로 환원.
• $H^s$-노름에서 원래 해와 숙고 해의 차이의 성장을 제어하기 위해 그론발라 타입 부등식의 사용.
• 세제곱 숙고 방정식의 완전한 통합성 덕분에 그 해와 오차 전파에 대해 명시적인 제어를 확보하기 위해.
• 리틀우드-파일리 분해와 $L^4$-유형 추정치를 사용하여 두엄엘 반복 맵의 잘 정의됨을 위한 필요 조건 유도.

실험 결과

연구 질문

• RQ1 열화된 반파동 방정식의 역학은 장기간에 걸쳐 효과적으로 완전히 통합 가능한 세제곱 숙고 방정식으로 기술될 수 있는가?
• RQ2 $s > 1$ 인 $H^s$-노름에서 반파동 방정식과 숙고 방정식의 해 사이의 정량적 오차는 무엇인가?
• RQ3 근사가 유의미한 오차로 퍼지기 전까지 숙고 방정식에 의한 근사는 얼마나 오래 유지될 수 있는가?
• RQ4 반파동 방정식의 해는 $H^s$-근사 간격보다 더 긴 시간 척도에서 $L^\infty$ 유계를 유지하는가?
• RQ5 이 비산란 방정식에서 고차원 소볼레프 노름에서의 불안정성의 메커니즘은 무엇인가?

주요 결과

• 초기 데이터 $u_0 \in H^s \cap L^2_+$ 이고 $\|u_0\|_{H^s} = \varepsilon$ 가 작을 경우, 반파동 방정식의 해 $u(t)$ 는 모든 $t \leq \frac{c_\alpha}{\varepsilon^2} \log \frac{1}{\varepsilon}$ 에 대해 세제곱 숙고 방정식의 해 $v(t)$ 와 $\mathcal{O}(\varepsilon^{3-\alpha})$ 이내에 유지된다.
• $H^s$-노름의 해 $u(t)$ 는 최대 $\mathcal{O}(\exp(\exp(C_s t)))$ 의 속도로 증가할 수 있으며, 이는 약한 사전 추정치 제어를 나타내며 효과적 역학의 필요성을 암시한다.
• $\|u(t)\|_{L^\infty} = \mathcal{O}(\varepsilon)$ 인 $L^\infty$ 유계는 $t \leq \frac{c}{\varepsilon^3}$ 에 대해 항상 성립하며, 이는 $H^s$-근사 시간 척도보다 더 길다.
• 음의 주파수 성분 $\tilde{u}_-$ 는 시간에 관계없이 $H^s$-노름에서 작고, $t \lesssim \varepsilon^{-2} \log \varepsilon^{-1}$ 에 대해 $\|\tilde{u}_-(t)\|_{H^s} \leq C_\alpha \varepsilon^{2-\alpha}$ 를 만족한다.
• $H^s$-근사 오차는 $B^1$의 대수적 구조와 숙고 해의 $B^1$에서의 유계성 특성을 활용한 차분 방정식에 그론발라 추론을 적용하여 제어된다.
• 이 결과는 두엄엘 맵의 잘 정의됨을 위한 필요 조건에 기반하며, $e^{-it|D|}f$ 에 대한 $L^4$-유형 추정치는 $\|f\|_{H^{s/2}}^4$-유계성을 암시하며, 이는 $s < 1/2$ 일 때 실패함을 보여주며, 이는 산란 보정의 부재를 설명한다.