[논문 리뷰] Ill-posedness of the incompressible Navier-Stokes equations in $\dot{F}^{-1,q}_{\infty}({R}^3)$

Chao Deng, Xiaohua Yao|arXiv (Cornell University)|2013. 02. 28.

Navier-Stokes equation solutions참고 문헌 10인용 수 3

한 줄 요약

이 논문은 모든 $q > 2$ 에 대해 임계 트리벨-리조르킨 공간 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$ 에서 3차원 비압축성 나비에-스토크스 방정식의 부적절성(ill-posedness)을 입증한다. 이는 이 공간에서 임의로 작은 초기 자료가 임의로 짧은 시간 내에 임의로 큰 해로 발전할 수 있음을 보여준다. 이 결과는 잘 정의된 문제성의 이분법을 완성한다: 방정식은 $\dot{F}^{-1,2}_{\infty}(\mathbb{R}^3) = BMO^{-1}$ 에서 잘 정의되어 있지만, 모든 $q > 2$ 에서는 그렇지 않다. 이는 이전의 베소프 공간에서의 결과를 확장한다.

ABSTRACT

In this paper, authors show the ill-posedness of 3D incompressible Navier-Stokes equations in the critical Triebel-Lizorkin spaces $ \dot{F}^{-1,q}_{\infty} (\mathbb{R}^3) $ for any $ q>2 $ in the sense that arbitrarily small initial data of $ \dot{F}^{-1,q}_{\infty}(\mathbb{R}^3) $ can lead the corresponding solution to become arbitrarily large after an arbitrarily short time. In view of the well-posedness of 3D-incompressible Navier-Stokes equations in $ BMO^{-1} $ (i.e. the Triebel-Lizorkin space $ \dot{F}^{-1,2}_{\infty}(\mathbb{R}^3) $) by Koch and Tataru, our work completes a dichotomy of well-posedness and ill-posedness in the Triebel-Lizorkin space framework depending on $ q=2 $ or $ q>2 $.

연구 동기 및 목표

• 3차원 비압축성 나비에-스토크스 방정식의 잘 정의된 문제성 또는 부적절성의 임계 트리벨-리조르킨 공간 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$ 에서 $q > 2$ 에 대해 연구한다.
• 더 큰 베소프 공간 $\dot{B}^{-1,\infty}_{\infty}(\mathbb{R}^3)$ 에서 관측된 부적절성이 $q > 2$ 인 더 작고 더 정밀한 트리벨-리조르킨 공간으로까지 연장되는지 확인한다.
• 트리벨-리조르킨 프레임워크 내에서 잘 정의된 문제성($q=2$)과 부적절성($q>2$) 사이의 이분법을 완성한다.
• 부르간과 파블로비치가 $\dot{B}^{-1,\infty}_{\infty}$ 에서 확립한 알려진 부적절성 결과를, $q > 2$ 에 대해 더 엄격히 작은 공간 $\dot{F}^{-1,q}_{\infty}$ 로 확장한다.

제안 방법

• 노름이 매우 작지만 고주파 성분이 집중된 초기 자료 수열을 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$ 에 정밀하게 설계한다.
• 해를 $u = u_1 + u_2 + y$ 로 분해하며, $u_1$ 은 작은 교란항이고, $u_2$ 는 노름 폭발을 유도하도록 설계된 고주파 성분이다.
• 비선형 항 $u \cdot \nabla u$ 를 제어하기 위해 $X_T$-유형 함수 공간에서 이중선형 추정을 사용한다.
• 리틀우드-파일레 분해와 리틀우드-파일레 투영을 통한 주파수 국소화를 이용해 $\dot{F}^{-1,q}_{\infty}$ 에서의 행동을 분석한다.
• $T \ll Q^{-2}$ 인 시간 간격 $[0, T]$ 에서 반복 추정과 노름 폭발 추론을 사용하여 해의 노름이 급격히 증가함을 보인다.
• 등가성 $\dot{F}^{-1,2}_{\infty}(\mathbb{R}^3) = BMO^{-1}$ 과 $BMO^{-1}$ 에서의 잘 정의된 문제성에 기반하여 $q > 2$ 에서의 부적절성과 대비한다.

실험 결과

연구 질문

• RQ1 나비에-스토크스 방정식이 $\dot{B}^{-1,\infty}_{\infty}(\mathbb{R}^3)$ 에서 부적절한 것으로 나타난다는 것은, $q > 2$ 인 더 작은, 더 정밀한 트리벨-리조르킨 공간 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$ 로까지 연장 가능한가?
• RQ2 잘 정의된 문제성에서 부적절성으로의 전이가 트리벨-리조르킨 척도에서 정확히 어디에 위치하는가?
• RQ3 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$ 에서 $q > 2$ 인 임의로 작은 초기 자료가 임의로 짧은 시간 내에 임의로 큰 해 노름을 유도할 수 있는가?
• RQ4 $\dot{F}^{-1,2}_{\infty}(\mathbb{R}^3)$ 와 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$ ($q > 2$) 에서의 노름 폭발 행동는 어떻게 다를까?

주요 결과

• 모든 $q > 2$ 에 대해 나비에-스토크스 방정식은 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$ 에서 부적절하다. 이는 이 공간에서 임의로 작은 초기 자료가 임의로 짧은 시간 내에 임의로 큰 노름을 갖는 해로 이어질 수 있음을 의미한다.
• 노름 폭발은 $\dot{F}^{-1,q}_{\infty}$-노름에서 발생하며, $T \ll Q^{-2}$ 이고 $r \gg Q^{2Q^3 + 4}$ 일 때 $\|u(T)\|_{\dot{F}^{-1,q}_{\infty}} \gtrsim Q^2$ 를 만족한다.
• 이 결과는 날카로운 이분법을 확립한다: 방정식은 $\dot{F}^{-1,2}_{\infty}(\mathbb{R}^3) = BMO^{-1}$ 에서 잘 정의되어 있지만, 모든 $q > 2$ 에서는 그렇지 않다.
• 부적절성은 베소프 공간 $\dot{B}^{-1,\infty}_{\infty}(\mathbb{R}^3)$ 에서의 것보다 더 강력하다. 왜냐하면 $q > 2$ 에 대해 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3) \subsetneq \dot{B}^{-1,\infty}_{\infty}(\mathbb{R}^3)$ 이기 때문이다.
• 이 구성은 고주파 초기 자료와 시간에 대한 반복 추정에 의존하며, $\dot{F}^{-1,q}_{\infty}$ 에서 작은 초기 자료일지라도 비선형 항이 지배함을 보여준다.