[논문 리뷰] On the initial value problem for the Navier-Stokes equations with the initial datum in critical Sobolev and Besov spaces

D. Q. Khai, N. M. Tri|arXiv (Cornell University)|2016. 01. 07.

Advanced Mathematical Physics Problems참고 문헌 18인용 수 4

한 줄 요약

이 논문은 $[\mathbb{R}^d$에서 초기 자료가 임계 동질 및 비동질 소볼레프 및 베소프 공간에 속할 경우, 나비에-스토크스 방정식의 국소 및 전역 미약 해의 존재성과 유일성을 확립한다. 특히 $1 < q \leq 2$ 및 $d \geq 3$의 경우에 대해 성립한다. 주요 기여는 이러한 임계 공간에서 이차형 추정을 제공하는 것으로, 열핵의 점별 감쇠를 활용하여 비선형 항의 조절이 가능하게 하며, 이는 $\dot{H}^{\frac{d}{q}-1}_q$ 공간에서 소규모 초기 자료에 대한 국소 적합성과 전역 존재성을 보장한다.

ABSTRACT

The existence of local unique mild solutions to the Navier-Stokes equations in the whole space with an initial tempered distribution datum in critical homogeneous or inhomogeneous Sobolev spaces is shown. Especially, the case when the integral-exponent is less than 2 is investigated. The global existence is also obtained for the initial datum in critical homogeneous Sobolev spaces with a norm small enough in suitable critical Besov spaces. The key lemma is to establish the bilinear estimates in these spaces, due to the point-wise decay of the kernel of the heat semigroup.

연구 동기 및 목표

• 임계 소볼레프 및 베소프 공간에서 나비에-스토크스 방정식의 국소 및 전역 미약 해 존재를 확립하기.
• 문헌에서 덜 다뤄진 $q < 2$인 경우를 조사하기.
• 비정수 또는 분수 정규성과 함께 동질 및 비동질 소볼레프 공간으로 적합성 이론을 확장하기.
• 특히 $d \geq 3$ 및 $1 < q \leq 2$의 경우에 대해 임계 스케일을 갖는 함수 공간에서 이차형 추정을 통한 통합된 프레임워크 제공하기.
• 시간 적분 가능성 조건이 $L^{2q}$-형이 되는 것을 통한 비선형 항의 제어를 통해 $\dot{H}^{\frac{d}{q}-1}_q$ 공간에서 소규모 초기 자료에 대한 전역 존재성을 입증하기.

제안 방법

• 저자들은 열 반구군 $e^{t\Delta}$와 투영 연산자 $\mathbb{P}$를 포함하는 적분 방정식을 통한 미약 해 공식을 사용한다.
• 비선형 항 $B(u,v)(t) = \int_0^t e^{(t-\tau)\Delta} \mathbb{P} \nabla \cdot (u \otimes v)(\tau) \, d\tau$에 대해 임계 베소프 및 소볼레프 공간에서 핵심적인 이차형 추정을 확립한다.
• 증명은 열핵의 점별 감쇠 추정을 활용하여 이차형 연산자의 정규성과 적분 가능성을 제어하는 데 기반한다.
• 저자들은 동질 베소프 및 소볼레프 공간 간의 내삽 및 임bedding 정리, 특히 $\dot{H}^{\frac{d}{q}-1}_q \hookrightarrow \dot{B}^{\frac{d}{q}-1,q}_q \hookrightarrow \dot{B}^{\frac{d+1}{q}-2,2q}_{dq/(d+1-q)}$를 적용한다.
• 비선형 항을 제어하기 위해 $L^{2q}([0,T]; \dot{H}^{\frac{d+2-2q}{q}}_{\frac{dq}{d+1-q}})$에서 시간 가중 노름을 사용하고 고정점 정리를 적용한다.
• 전역 존재 결과는 선형 항 $e^{t\Delta}u_0$의 $L^{2q}$-노름이 초기 자료의 노름 $\|u_0\|_{\dot{B}^{\frac{d+1}{q}-2,2q}_{dq/(d+1-q)}}$에 의해 유계임을 보여, 이는 $\dot{H}^{\frac{d}{q}-1}_q$에 임베딩되기 때문이다.

실험 결과

연구 질문

• RQ1 임계 소볼레프 공간 $\dot{H}^{\frac{d}{q}-1}_q$에서 초기 자료 $u_0$를 가진 나비에-스토크스 방정식에 대해 $1 < q \leq 2$ 및 $d \geq 3$일 때, 미약 해를 구성할 수 있는가?
• RQ2 특히 $q < 2$일 경우에 임계 공간에서 국소 적합성을 보장하기 위해 필요한 이차형 추정은 무엇인가?
• RQ3 소규모 초기 자료 $\dot{H}^{\frac{d}{q}-1}_q$에 대해 해가 시간에 대해 전역 존재하는 조건은 무엇인가?
• RQ4 베소프 공간과 소볼레프 공간 간의 임베딩은 해의 정규성과 적분 가능성에 어떻게 영향을 미치는가?
• RQ5 열핵의 점별 감쇠는 임계 공간에서 비선형 항에 대한 시간 적분 가능한 추정을 효과적으로 유도할 수 있는가?

주요 결과

• 모든 $d \geq 3$, $1 < q \leq 2$, 그리고 $\text{div}(u_0) = 0$를 만족하는 초기 자료 $u_0 \in \dot{H}^{\frac{d}{q}-1}_q(\mathbb{R}^d)$에 대해, $L^{2q}([0,T]; \dot{H}^{\frac{d+2-2q}{q}}_{\frac{dq}{d+1-q}}) \cap C([0,T]; \dot{H}^{\frac{d}{q}-1}_q)$ 공간에서 유일한 국소 미약 해가 존재한다.
• 이차형 연산자 $B(u,v)$는 $L^{2q}([0,T]; \dot{H}^{\frac{d+2-2q}{q}}_{\frac{dq}{d+1-q}}) \times L^{2q}([0,T]; \dot{H}^{\frac{d+2-2q}{q}}_{\frac{dq}{d+1-q}})$에서 $L^{\infty}([0,T]; \dot{B}^{\frac{d}{q}-1,q}_q)$로 연속이며, 추정 $\|B(u,v)\|_{L^{\infty}(\dot{B}^{\frac{d}{q}-1,q}_q)} \lesssim \|u\|_{L^{2q}(\dot{H}^{\frac{d+2-2q}{q}}_{\frac{dq}{d+1-q}})} \|v\|_{L^{2q}(\dot{H}^{\frac{d+2-2q}{q}}_{\frac{dq}{d+1-q}})}$를 만족한다.
• 선형 항 $e^{t\Delta}u_0$는 $\|e^{t\Delta}u_0\|_{L^{2q}([0,T]; \dot{H}^{\frac{d+2-2q}{q}}_{\frac{dq}{d+1-q}})} \simeq \|u_0\|_{\dot{B}^{\frac{d+1}{q}-2,2q}_{dq/(d+1-q)}} \lesssim \|u_0\|_{\dot{H}^{\frac{d}{q}-1}_q}$를 만족하며, 이는 고정점 정리를 적용할 수 있게 한다.
• 모든 $T = \infty$에 대해 $\|u_0\|_{\dot{B}^{\frac{d+1}{q}-2,2q}_{dq/(d+1-q)}} \leq \sigma_{q,d}$를 만족하는 소규모 $\sigma_{q,d} > 0$이 존재할 경우 전역 존재성이 성립하며, 이는 $\dot{H}^{\frac{d}{q}-1}_q$ 공간에서 소규모 초기 자료에 대한 전역 적합성을 의미한다.
• 이전 연구를 확장하여 $q \leq 2$인 임계 케이스를 처리하였으며, 이는 적분 가능성의 약화로 인해 더 민감한 경우이지만, $L^{2q}$-형 시간 적분 가능성에 기반한 새로운 프레임워크를 제공한다.
• 분수 스토크스 연산자의 거듭제곱에 의존하지 않고, 열핵 감쇠와 내삽을 통한 콘볼루션 유형 추정을 사용한다.