[논문 리뷰] Local Well-posedness of the Coupled KdV-KdV Systems on the whole line $R$

Xin Yang, Bing‐Yu Zhang|arXiv (Cornell University)|2018. 12. 19.

Advanced Mathematical Physics Problems참고 문헌 48인용 수 5

한 줄 요약

이 논문은 실수선 위의 결합 KdV-KdV 시스템에 대해 소벨로프 공간 $\mathcal{H}^s(\mathbb{R}) = H^s(\mathbb{R}) \times H^s(\mathbb{R})$ 내에서 국소적 해석적 잘 정의됨을 분류하여 완전한 분류를 수립한다. 이는 시스템 계수에 따라 네 가지 임계 정(regularity) 임계값: $s^* = -\frac{13}{12}, -\frac{3}{4}, 0, \frac{3}{4}$를 식별한다. 분석은 푸리에 제한 공간 내에서 정밀한 이차형 추정을 기반으로 하며, 단일 KdV 방정식의 임계 지수 $-\frac{3}{4}$를 초월하는 잘 정의됨 이론을 확장한다.

ABSTRACT

Inspired by the recent successful completion of the study of the well-posedness theory for the Cauchy problem of the Korteweg-de Vries (KdV) equation \[ u_t +uu_x +u_{xxx}=0, \quad \left. u ight |_{t=0}=u_{0} \] in the space $H^{s} (\mathbb{R})$ (or $H^{s} (\mathbb{T})$), we study the well-posedness of the Cauchy problem for a class of coupled KdV-KdV (cKdV) systems \[\left\{\begin{array}{rcl} u_t+a_{1}u_{xxx} &=& c_{11}uu_x+c_{12}vv_x+d_{11}u_{x}v+d_{12}uv_{x}, v_t+a_{2}v_{xxx}&=& c_{21}uu_x+c_{22}vv_x +d_{21}u_{x}v+d_{22}uv_{x}, \left. (u,v) ight |_{t=0} &=& (u_{0},v_{0}) \end{array} ight.\] in the space $\mathcal{H}^s (\mathbb{R}) := H^s (\mathbb{R}) imes H^s (\mathbb{R})$. Typical examples include the Gear-Grimshaw system, the Hirota-Satsuma system and the Majda-Biello system, to name a few. In this paper we look for those values of $s\in \mathbb{R}$ for which the cKdV systems are well-posed in $\mathcal{H}^s (\m{R})$. Our findings enable us to provide a complete classification for the cKdV systems in terms of the analytical well-posedness in $\mathcal{H}^s (\mathbb{R})$ based on its coefficients $a_i$, $c_{ij}$ and $d_{ij}$ for $i,j=1,2$. The key ingredients in the proofs are the bilinear estimates under the Fourier restriction space norms. There are four types of the bilinear estimates that need to be investigated. Sharp results are established for all of them. In contrast to the lone critical index $-\frac{3}{4}$ for the single KdV equation, the critical indexes for the cKdV systems are $-\frac{13}{12}$, $-\frac{3}{4}$, $0$ and $\frac{3}{4}$. As a result, the cKdV systems are classified into four classes, each of which corresponds to a unique index $s^{*}\in\{-\frac{13}{12},\,-\frac{3}{4},\,0,\,\frac{3}{4}\}$ such that any system in this class is locally analytically well-posed if $s>s^{*}$ while the bilinear estimate fails if $s<s^{*}$.

연구 동기 및 목표

• 전체 실수선 $\mathbb{R}$ 위에서 KdV 방정식의 잘 정의됨 이론을 결합 KdV-KdV (cKdV) 시스템으로 확장하기 위해.
• 일반적인 cKdV 시스템에 대해 $\mathcal{H}^s(\mathbb{R})$ 내에서 국소적 해석적 잘 정의됨의 최적 정규화 임계값 $s$를 결정하기 위해.
• 계수 $a_i$, $c_{ij}$, 및 $d_{ij}$에 따라 cKdV 시스템을 서로 다른 클래스로 분류하고, 각 클래스에 고유한 임계 지수 $s^*$를 연결하기 위해.
• 푸리에 제한 공간 노름 내에서 정밀한 이차형 추정을 수립하여 잘 정의됨을 증명하는 데 필수적인 요소를 확보하기 위해.

제안 방법

• 분석은 cKdV 시스템 내 비선형 상호작용을 제어하기 위해 푸리에 제한 공간 노름을 활용한다.
• 네 가지 다른 유형의 이차형 추정이 체계적으로 연구되었으며, 각각 시스템 내 다른 비선형 상호작용 패턴에 대응한다.
• 정밀한 주파수 국소화와 이진 분해를 통해 푸리에 분석 프레임워크 내에서 정밀한 추정을 유도하는 데 의존한다.
• 임계 정규화 임계값은 다양한 소벨로프 지수 $s$에서 이러한 이차형 추정의 실패 또는 성공 여부에서 유도된다.
• 분류는 비선형 항의 지배적 성격을 결정하는 계수 $a_i$, $c_{ij}$, 및 $d_{ij}$의 부호와 구조에 기반한다.

실험 결과

연구 질문

• RQ1 일반적인 cKdV 시스템에 대해 $\mathcal{H}^s(\mathbb{R})$ 내에서 국소적 잘 정의됨의 최적 정규화 지수 $s$는 무엇인가?
• RQ2 계수 $a_i$, $c_{ij}$, 및 $d_{ij}$는 잘 정의됨 임계값 $s^*$에 어떻게 영향을 미치는가?
• RQ3 푸리에 제한 공간 내 이차형 추정을 정밀화하여 각 시스템 클래스에 대한 정확한 임계 지수를 결정할 수 있는가?
• RQ4 cKdV 시스템의 임계 지수는 단일 KdV 방정식의 임계 지수 $-\frac{3}{4}$와 어떻게 비교되는가?
• RQ5 네 가지 서로 다른 cKdV 시스템 클래스는 무엇이며, 각각의 임계 지수 $s^*$는 무엇인가?

주요 결과

• cKdV 시스템은 네 가지 서로 다른 클래스로 분류되며, 각 클래스는 고유한 임계 정규화 지수 $s^* \in \{-\frac{13}{12}, -\frac{3}{4}, 0, \frac{3}{4}\}$와 연결된다.
• 각 클래스에 대해, 시스템은 $\mathcal{H}^s(\mathbb{R})$ 내에서 국소적 해석적으로 잘 정의됨이 성립하는 것과 동시에 $s > s^*$이어야 한다.
• 잘 정의됨을 위해 필요한 이차형 추정은 $s < s^*$일 때 실패함을 확인하여 임계값의 정밀성을 입증한다.
• 임계 지수 $-\frac{13}{12}$는 단일 KdV 방정식의 $-\frac{3}{4}$보다 낮아, 일부 cKdV 시스템에 대해 더 심각한 특이성 영역을 나타낸다.
• 분류는 비선형 구조를 결정하는 계수 $a_i$, $c_{ij}$, 및 $d_{ij}$에 의해 완전히 결정된다.