[논문 리뷰] Analyticity for the (generalized) Navier-Stokes equations with rough initial data

Chunyan Huang, Baoxiang Wang|arXiv (Cornell University)|2013. 10. 08.

Navier-Stokes equation solutions참고 문헌 36인용 수 12

한 줄 요약

이 논문은 임계 Besov 공간과 조율 공간에서 거친 초기 자료를 가진 일반화된 스토크스 방정식의 해에 대한 해석성과 전역 적으로 잘 정의된 성질을 수립한다. 가중 Besov 노름과 지수적 가중 $ e^{t^{1/2\alpha}\Lambda} $을 갖는 함수 공간에서의 수축 사상 기법을 사용하여, $ \dot{B}^{n/p-1}_{p,q} $, $ \dot{B}^{n/p}_{p,1} $, $ M^{-1}_{\infty,1} $ 에서 작은 자료에 대해 국소 해석성과 전역 존재성을 증명한다. 이는 분수형 $ \alpha \in (1/2,1) $ 으로 결과를 확장한다. 주요 기여는 임계 Besov 공간에서 $ \alpha = 1/2 $ 및 $ p < \infty $ 에 대해 해석성에 대한 첫 번째 증명을 제공한다는 것이다.

ABSTRACT

We study the Cauchy problem for the (generalized) incompressible Navier-Stokes equations \begin{align} u_t+(-Δ)^αu+u\cdot abla u + abla p=0, \ \ { m div} u=0, \ \ u(0,x)= u_0. onumber \end{align} We show the analyticity of the local solutions of the Navier-Stokes equation ($α=1$) with any initial data in critical Besov spaces $\dot{B}^{n/p-1}_{p,q}(\mathbb{R}^n)$ with $1&lt; p

연구 동기 및 목표

• 임계 함수 공간에서 거친 초기 자료를 가진 일반화된 스토크스 방정식의 국소 및 전역 해에 대한 해석성을 수립하기 위해.
• 기본 스토크스 방정식($ \alpha = 1 $)에 대한 기존의 해석성 결과를 분수형 경우($ \alpha = 1/2 $)와 $ \alpha \in (1/2,1) $ 으로 확장하기 위해.
• 일般적인 $ p \in [1,\infty] $ 에 대해 임계 Besov 공간 $ \dot{B}^{n/p}_{p,1} $ 에서 $ \alpha = 1/2 $ 인 경우의 잘 정의된 성질과 해석성에 대한 열린 문제를 해결하기 위해.
• 기본 스토크스 방정식에 대해 거친 초기 자료를 가진 조율 공간 $ M^{-1}_{\infty,1} $ 에서 해석성을 증명하기 위해.
• 다양한 $ \alpha \in (1/2,1) $, $ p $, 그리고 함수 공간 설정에서 해석성과 전역 존재성의 통합적 접근을 제공하기 위해.

제안 방법

• 시간에 대한 지수적 가중 $ e^{t^{1/2\alpha}\Lambda} $ 를 사용하는 가중 함수 공간 프레임워크를 도입하여 시간에 대한 Gevrey 유형의 해석성을 포착한다.
• 적분 표현식 $ u(t) = U_{2\alpha}(t)u_0 + \mathscr{A}_{2\alpha}\mathbb{P}\textrm{div}(u\otimes u) $ 를 사용하며, 여기서 $ U_{2\alpha}(t) = e^{-t(-\Delta)^\alpha} $ 이다.
• 이중 분해와 주파수 국소화를 통해 $ \Delta_j $ 를 사용하여 가중 Besov 공간 $ \widetilde{L}^\gamma(I; e^{t^{1/2\alpha}\Lambda} \dot{B}^{s}_{p,q}) $ 에서 해를 추정한다.
• 반경 감쇠를 제어하기 위해 핵심 추정식 $ \|\Delta_j e^{t^{1/2\alpha}\Lambda} U_{2\alpha}(t) f\|_{L^p} \lesssim e^{-c t 2^{2\alpha j}} \|\Delta_j f\|_{L^p} $ 을 적용한다.
• Young의 부등식과 시간에 대한 보간을 적용하여 추정식 $ \|\mathscr{A}_{2\alpha} f\|_{\widetilde{L}^\gamma(I; e^{t^{1/2\alpha}\Lambda} \dot{B}^{s}_{p,q})} \lesssim \|f\|_{\widetilde{L}^{\gamma_1}(I; e^{t^{1/2\alpha}\Lambda} \dot{B}^{s-2\alpha(1+1/\gamma-1/\gamma_1)}_{p,q})} $ 을 유도한다.
• 지수적 가중을 갖는 함수의 완비 공간에서의 수축 사상 기법을 적용하여 국소 존재성과 해석성을 증명한다.

실험 결과

연구 질문

• RQ1 일반화된 스토크스 방정식의 해석성이 $ \alpha = 1/2 $ 이고 초기 자료가 $ \dot{B}^{n/p}_{p,1} $ 에 속할 경우, $ 1 \leq p < \infty $ 에 대해 확립될 수 있는가?
• RQ2 기본 스토크스 방정식($ \alpha = 1 $)은 $ \dot{B}^{-1}_{\infty,\infty} $ 보다 큰 공간인 $ M^{-1}_{\infty,1} $ 에서 초기 자료가 주어졌을 때 해석적으로 잘 정의되는가?
• RQ3 $ \alpha \in (1/2,1) $ 인 경우, $ \dot{B}^{n/p}_{p,1} $ 에서 작은 초기 자료에 대해 해가 여전히 해석성과 전역 적으로 잘 정의되는가?
• RQ4 기본 스토크스 방정식에 대해 해석성 프레임워크를 $ p = \infty $ 인 조율 공간으로 확장할 수 있는가?
• RQ5 일반화된 스토크스 설정에서 해석성과 전역 존재성에 대한 최적 임계 공간은 무엇인가?

주요 결과

• 모든 초기 자료가 $ \dot{B}^{n/p-1}_{p,q}(\mathbb{R}^n) $ 에 속할 경우, $ \alpha = 1 $ 인 스토크스 방정식의 국소 해는 $ 1 < p < \infty $, $ 1 \leq q \leq \infty $ 에 대해 시간에 대해 해석적이다.
• $ \alpha = 1 $ 인 경우, $ \dot{B}^{n/p-1}_{p,q}(\mathbb{R}^n) $ 에서 작은 초기 자료에 대해 전역 존재성이 성립하며, 이는 이전 결과를 모든 $ p < \infty $ 로 확장한다.
• $ \alpha = 1 $ 인 경우, $ M^{-1}_{\infty,1}(\mathbb{R}^n) $ 에서의 초기 자료에 대해 해석성이 증명되었으며, 이는 이전에 알려진 해석성의 범위를 초월하는 더 큰 공간이다.
• $ \alpha = 1/2 $ 인 경우, $ \dot{B}^{n/p}_{p,1}(\mathbb{R}^n) $ 에서 작은 초기 자료에 대해 전역 잘 정의된 성질이 확립되었으며, 이는 열린 문제를 해결한다.
• $ \alpha \in (1/2,1) $ 인 경우, $ \dot{B}^{n/p}_{p,1}(\mathbb{R}^n) $ 과 $ \dot{B}^0_{\infty,1} \cap M^0_{\infty,1} $ 에서 작은 초기 자료에 대해 해석성과 전역 존재성이 증명되었다.
• 이 논문은 임계 Besov 공간 $ \dot{B}^{n/p}_{p,1} $ 에서 $ \alpha = 1/2 $ 이고 $ 1 \leq p < \infty $ 인 분수형 스토크스 방정식에 대해 해석성을 증명한 최초의 증명을 제공한다.