[논문 리뷰] Well-posedness and ill-posedness results for dissipative Benjamin-Ono equations

Stéphane Vento|Osaka City University (Osaka City University)|2008. 02. 07.

Advanced Mathematical Physics Problems참고 문헌 21인용 수 10

한 줄 요약

이 논문은 $ \mathbb{R} $ 위에서 분산 비선형 보벤지-온오 방정식 $ u_t + \mathcal{H}u_{xx} + |D|^\alpha u + u u_x = 0 $ 에 대해 날카로운 잘 정의됨과 잘 정의되지 않음 결과를 확립한다. $ 1 < \alpha \leq 2 $ 이고 $ s > -\alpha/4 $ 일 때, $ H^s(\mathbb{R}) $ 에서 전역 잘 정의됨을 보이며, 이 정규화 임계값은 최적임을 보인다. $ 0 \leq \alpha < 1 $ 일 경우, 모든 $ s \in \mathbb{R} $ 에서 $ H^s $ 에서 잘 정의되지 않으며, 이는 유동 맵이 원점에서 $ C^2 $ 가 아니기 때문이다.

ABSTRACT

We study the Cauchy problem for the dissipative Benjamin-Ono equations $u_t+\H u_{xx}+|D|^αu+uu_x=0$ with $0\leqα\leq 2$. When $0\leqα&lt; 1$, we show the ill-posedness in $H^s(\R)$, $s\in\R$, in the sense that the flow map $u_0\mapsto u$ (if it exists) fails to be $\C^2$ at the origin. For $1-α/4$. It turns out that this index is optimal.

연구 동기 및 목표

• 분산 보벤지-온오 방정식에 대한 최적의 정규화 임계값을 구하는 것, 이는 분수 차원 분산 $ |D|^\alpha $, $ \alpha \in [0,2] $ 를 포함한다.
• 모든 $ s \in \mathbb{R} $ 에서 $ H^s $ 에서 잘 정의되지 않음을 보여주는 해의 맵이 원점에서 $ C^2 $ 가 아님을 입증하는 것, 이는 $ 0 \leq \alpha < 1 $ 일 경우이다.
• $ 1 < \alpha \leq 2 $ 에서 정규화 임계값 $ s > -\alpha/4 $ 가 날카로운지 입증하기 위해, 세 번째 반복 항을 사용하여 이 값 이하에서 $ C^3 $ 정규화가 실패함을 보이는 것.
• 분산 보벤지-온오 방정식과 순수 분산 방정식 $ u_t + |D|^\alpha u + u u_x = 0 $ 의 정규화 요구 조건을 비교하여, 분산이 낮은 정규화를 가능하게 함을 보이는 것.

제안 방법

• 방정식의 적분 형태에 대해 가중 바우건 유형 공간 $ X^{b,s}_\alpha $ 에서 고정점 정리 적용, 이는 노름 $ \|u\|_{X^{b,s}_\alpha} = \| \langle i(\tau - \xi|\xi|) + |\xi|^\alpha \rangle^b \langle \xi \rangle^s \mathcal{F}u(\tau,\xi) \|_{L^2(\mathbb{R}^2)} $ 로 정의된다.
• 플랑카렐 정리와 쌍대성의 활용을 통한 $ X^{b,s}_\alpha $ 공간 내 이차형 추정, 이는 $ L^2 $ 함수의 가중 침습적 합성에 대한 추정으로 귀결된다.
• 타오의 작업에 영향을 받은 이차 분할과 수직성 기법을 사용하여, 분산 효과가 비선형 상호작용을 제어하기에 부족한 저정규화 영역을 다루는 것.
• $ \alpha < 1 $ 에서의 잘 정의되지 않음 결과는 두 번째 반복에서의 고주파 상호작용을 이용해 근사 해를 구성함으로써 확립되며, 이는 해의 맵이 원점에서 $ C^2 $ 가 아님을 보여준다.
• 날카로움을 입증하기 위해, 주파수 영역에서 세 번째 반복 $ u_2 $ 를 분석하여, $ s < 3/2 - \alpha $ 일 때 $ \|u_2(t_N)\|_{H^s} \to \infty $ 가 되도록 $ N \to \infty $ 일 때의 행동을 보여, $ C^3 $ 정규화 실패를 유도한다.
• 순수 분산 방정식 $ u_t + |D|^\alpha u + u u_x = 0 $ 에도 분석을 확장하여, $ s > 3/2 - \alpha $ 에서 잘 정의됨을 보이며, 분산이 필요한 정규화 수준을 낮추는 데 기여함을 확인한다.

실험 결과

연구 질문

• RQ1 분산 보벤지-온오 방정식에 대한 최적의 정규화 임계값 $ s $ 는 무엇인가? 이는 $ |D|^\alpha $ 분산을 포함한다.
• RQ2 왜 $ 0 \leq \alpha < 1 $ 에서 해의 맵이 원점에서 $ C^2 $ 가 아니며, 이는 잘 정의되지 않음의 성격에 어떤 함의를 갖는가?
• RQ3 힐베르트 변환 분산 $ \mathcal{H}u_{xx} $ 가 순수 분산 방정식과 비교할 때 정규화 임계값에 어떤 영향을 미치는가?
• RQ4 해의 맵에서 고차 반복 항을 사용하여 정규화 임계값 $ s > -\alpha/4 $ 의 날카로움을 입증할 수 있는가?
• RQ5 보벤지-온오-버거스 방정식($ \alpha = 2 $) 의 임계 정규화와 버거스 방정식 간의 연결 고리는 무엇인가?

주요 결과

• 방정식은 $ 1 < \alpha \leq 2 $ 이고 $ s > -\alpha/4 $ 일 때 $ H^s(\mathbb{R}) $ 에서 전역 잘 정의됨이며, 이 정규화 임계값은 날카로움을 보인다.
• $ 0 \leq \alpha < 1 $ 일 경우, 해의 맵 $ u_0 \mapsto u $ 는 $ H^s(\mathbb{R}) $ 의 원점에서 $ \mathcal{C}^2 $ 가 아니며, 이는 모든 $ s \in \mathbb{R} $ 에서 잘 정의되지 않음을 나타낸다.
• $ s > -\alpha/4 $ 임계값의 날카로움은 제3의 반복항 $ u_2 $ 가 $ s < 3/2 - \alpha $ 일 때 $ H^s $ 에서 유계가 아니게 되어 $ \mathcal{C}^3 $ 정규화 실패를 유도함으로써 확인된다.
• 순수 분산 방정식 $ u_t + |D|^\alpha u + u u_x = 0 $ 에서는 $ s > 3/2 - \alpha $ 에서 잘 정의됨을 보이며, 이는 분산이 분산만 있는 경우에 비해 필요한 정규화 수준을 낮춘다는 것을 확인한다.
• 전체 분산 보벤지-온오 방정식의 임계 정규화 지수 $ s = -\alpha/4 $ 는 최적임을 보이며, $ s < -\alpha/4 $ 일 때 해의 맵이 $ H^s $ 에서 $ \mathcal{C}^3 $ 가 아니게 되어 실패함을 보인다.
• $ \alpha = 2 $ 일 경우, 보벤지-온오-버거스 방정식은 알려진 날카로운 임계값 $ s > -1/2 $ 를 회복하며, 이는 $ \mathcal{C}^3 $ 실패를 통해 날카로움이 입증된다.