[논문 리뷰] The existence and decay rates of strong solutions for Navier-Stokes Equations in Bessel-potential spaces

D. Q. Khai|arXiv (Cornell University)|2016. 03. 06.

Advanced Mathematical Physics Problems참고 문헌 22인용 수 3

한 줄 요약

이 논문은 $1 < p \leq d$ 인 경우 3차원 비압축성 스토크스 방정식의 강한 해가 임계 베셀-퍼텐셜 공간 $\dot{B}^{\frac{d}{p}-1,\infty}_{p}(\mathbb{R}^d)$ 에서 존재하고 최적의 감쇠 속도를 가짐을 확립한다. 시간 가중 함수 공간에서의 최대 정규성 추정과 고정점 방법을 사용하여, 초기 데이터가 작을 경우 전역 존재성을 증명하고, 시간과 공간 양쪽에서 고차 도함수의 정밀한 감쇠 속도를 도출한다. 이는 $L^d$, $\dot{H}^{\frac{1}{2}}$, 및 $L^3$ 공간에서 알려진 결과들을 확장한다.

ABSTRACT

In this paper, we prove some results on the existence and decay properties of high order derivatives in time and space variables for local and global solutions of the Cauchy problem for the Navier-Stokes equations in Bessel-potential spaces.

연구 동기 및 목표

• 임계 베셀-퍼텐셜 공간 $\dot{B}^{\frac{d}{p}-1,\infty}_{p}(\mathbb{R}^d)$ 에서 $1 < p \leq d$ 인 경우, 초기 데이터가 작은 3차원 비압축성 나비에-스토크스 방정식에 대한 전역 강한 해의 존재성을 확립한다.
• 이러한 함수 공간에서 속도 및 압력 장의 고차 공간 및 시간 도함수에 대한 정밀한 감쇠 속도를 도출한다.
• $L^d$, $\dot{H}^{\frac{1}{2}}$, 및 $L^3$ 공간에서 알려진 감쇠 결과들을 더 넓은 범주인 임계 베셀-퍼텐셜 공간으로 확장한다.
• 보편적이고 일반화된 프레임워크인 베셀-퍼텐셜 공간에서 레인지-스페이스, 소볼레프-푸리에-레인지-스페이스, 혼합 노름 공간에서의 이전 감쇠 결과들을 통합하고 일반화한다.

제안 방법

• 고차 도함수의 가중 $L^q$ 노름을 통해 정의된 시간 가중 함수 공간 $\mathcal{K}^{s}_{q,T}$ 에서 나비에-스토크스 방정식을 고정점 문제로 공식화한다.
• 스토크스 반구군에 대한 최대 정규성 추정을 적용하고, 해의 정(regularity)을 베셀-퍼텐셜 노름에서 제어하기 위해 연산자 $\dot{\Lambda}^s = (-\Delta)^{s/2}$ 를 사용한다.
• 두하멜 원리를 적용하여 온화한 해를 $u = e^{t\Delta}u_0 - B(u,u)$ 로 표현하며, 여기서 $B$ 는 비선형성 $u \otimes u$ 를 포함하는 이차항이다. 이 항은 보간법과 곱셈 규칙을 통해 추정한다.
• 시간 가중 $L^q$ 추정식 $t^{\frac{1}{2}(s+1 - \frac{d}{q})}\|\dot{\Lambda}^s u\|_{L^q} < \infty$ 을 사용하여 도함수의 감쇠 행동을 제어한다.
• 초기 데이터의 노름 $\|u_0\|_{\dot{B}^{\frac{d}{\tilde{q}}-1,\infty}_{\tilde{q}}}$ 와 열 전파자 $\|e^{t\Delta}u_0\|_{\mathcal{K}^{0}_{\tilde{q},\infty}}$ 의 노름 간 등가성을 확립하여, 작은 데이터에 대한 전역 존재성을 보장한다.
• 감쇠가 $L^3$ 에서 일어나고 더 큰 레인지-유사 공간으로의 임bedding을 통해, $t \to \infty$ 일 때 $\dot{B}^{\frac{d}{p}-1,\infty}_{p}$-노름에서 해의 감쇠를 결합하여 증명한다.

실험 결과

연구 질문

• RQ1 나비에-스토크스 시스템은 $1 < p \leq d$ 인 경우 임계 베셀-퍼텐셜 공간 $\dot{B}^{\frac{d}{p}-1,\infty}_{p}(\mathbb{R}^d)$ 에서 전역 강한 해를 갖는가?
• RQ2 이러한 해에 대해 고차 도함수 $D_x^\alpha D_t^{\alpha_0}u$ 와 $D_x^\alpha p$ 의 시간 및 공간 양쪽에서의 최적 감쇠 속도는 무엇인가?
• RQ3 $L^d$, $\dot{H}^{\frac{1}{2}}$, 및 $L^3$ 공간에서의 감쇠 결과들이 베셀-퍼텐셜 공간의 프레임워크 내에서 확장되고 통합될 수 있는가?
• RQ4 시간 가중 노름을 갖는 $\mathcal{K}^{s}_{q,T}$ 공간에서의 추정은 임계 정규성 영역에서 해의 존재성과 감쇠를 어떻게 제어하는가?

주요 결과

• 초기 데이터가 $\dot{B}^{\frac{d}{p}-1,\infty}_{p}(\mathbb{R}^d)$ 에서 작을 경우, $1 < p \leq d$ 에 대해 전역 강한 해의 존재성이 확립되었으며, 이는 $L^d$, $\dot{H}^{\frac{1}{2}}$, 및 $L^3$ 에서의 결과들을 확장한다.
• 해는 $q \geq 2$, $s \geq 0$, 및 $\frac{d}{p} - 1 \leq s < \frac{d}{2}$ 인 경우에 대해 $t^{\frac{1}{2}(s+1 - \frac{d}{q})}\|\dot{\Lambda}^s u\|_{L^q} \to 0$ 이 되는 감쇠 추정을 만족한다. $t \to \infty$ 일 때 성립한다.
• 임의의 정수 $l$ 에 대해, $q \geq d$, $|\alpha| + 2\alpha_0 \leq l$ 인 경우, $t^{\frac{1}{2}(|\alpha| + 1 + 2\alpha_0 - \frac{d}{q})}\|D_x^\alpha D_t^{\alpha_0} u\|_{L^q} < \infty$ 가 시간에 대해 일관되게 성립하며, 이는 고차 도함수에 대한 정밀한 감쇠 속도를 나타낸다.
• 압력 장은 $t^{\frac{1}{2}(s+2 - \frac{d}{q})}\|\dot{\Lambda}^s p\|_{L^q} < \infty$ 로 감쇠하며, 고차 도함수에 대해서도 유사한 감쇠 행동을 보인다.
• 해는 $t \to \infty$ 일 때 $\dot{B}^{\frac{d}{p}-1,\infty}_{p}$-노름에서 0으로 감쇠한다. 이는 $L^3$ 과 $\dot{H}^{\frac{1}{2}}$ 에서 알려진 감쇠 결과를 일반화한다.
• 증명은 시간 가중 추정과 보간을 사용한 부스팅 추론에 기반하며, 저차 도함수 노름에서의 감쇠가 고차 도함수 노름으로의 감쇠를 이끌어낸다.