[논문 리뷰] On global weak solutions to the Cauchy problem for the Navier-Stokes equations with large $L_3$-initial data

G. Serëgin, Vladimír Šverák|arXiv (Cornell University)|2016. 01. 12.

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

한 줄 요약

이 논문은 초기 데이터가 $L^3(\mathbb{R}^3)$에 속할 때 3D 나비에-스토크스 방정식에 대한 전역 약한 해의 존재성을 확립한다. 이는 고전적 방법이 실패하는 임계 공간이다. 해를 $v = v^1 + v^2$로 분해함으로써 $v^1$은 선형 열 방정식을, $v^2$는 비선형 보정 방정식을 만족하도록 하여, $L^5$에서의 고정점 추론을 통해 존재성을 증명하고, 에너지 부등식을 만족함을 보여 약한 $L^3$-해로 간주할 수 있음을 입증한다.

ABSTRACT

The aim of the note is to discuss different definitions of solutions to the Cauchy problem for the Navier-Stokes equations with the initial data belonging to the Lebesgue space $L_3(\mathbb R^3)$

연구 동기 및 목표

• 초기 데이터가 고전적 $L^2$-기반 에너지 방법의 적용 범위를 벗어나는 임계 공간 $L^3(\mathbb{R}^3)$에 속할 때 3D 나비에-스토크스 방정식에 대한 전역 약한 해를 구성하는 열린 문제를 다루는 것.
• 선형 및 비선형 기여를 분리하는 새로운 분해 방법을 도입하여 약한 해 이론을 $L^2$ 초기 데이터를 초월해 확장하는 것.
• 작은 시간 간격에서 $L^5(Q_T)$에서의 온건한 해의 존재를 증명하고, 선형 부분의 소형성과 임계 함수 공간에서의 수축 사상 원리를 활용하는 것.
• 구성된 온건한 해가 국소 에너지 부등식을 만족함을 증명하고, 따라서 전역적으로 약한 $L^3$-해로 간주될 수 있음을 입증하는 것.

제안 방법

• 해를 $v = v^1 + v^2$로 분해함으로써, $v^1$은 초기 데이터 $v_0$를 갖는 선형 열 방정식의 해이며, $v^2$는 비선형 교정 방정식을 만족하는 보정 항이다.
• 열핵 $\Gamma$와 유도된 핵 $K$를 사용하여 비선형 항 $v \otimes v$를 포함하는 적분 표현식을 통한 온건한 해를 표현한다.
• $L^5(Q_T) \cap L^{\infty}(0,T; L^3(\mathbb{R}^3))$ 공간에서의 고정점 추론을 적용하여, 작은 시간 $T$에 대해 온건한 해를 구성하며, 선형 부분 $v^1$의 소형성에 의존한다.
• 반복적 절차 $v^{(k+1)} = \mathcal{G}(v^{(k)} \otimes v^{(k)})$의 수렴성을 $L^5(Q_T)$ 및 $C([0,T]; L^3(\mathbb{R}^3))$에서 수축 추정을 통해 입증한다.
• 모든 $w = v - v^1$을 포함하는 항들, 즉 압력 및 기울기 항들을 컷오프 함수와 $L^p$-유계성 추정을 통해 다루어 국소 에너지 부등식을 만족함을 증명한다.
• 초기 데이터 $v_0$의 매끄러움 처리를 통해 $\kappa(T)$의 소형성을 제어하고, 작은 $T$에 대해 수축 조건 $\kappa(T) \leq 1/(16c)$가 성립함을 보장한다.

실험 결과

연구 질문

• RQ1 초기 데이터가 $L^3(\mathbb{R}^3)$에 속할 때 3D 나비에-스토크스 방정식에 대한 전역 약한 해를 구성할 수 있는가? 이는 고전적 $L^2$-기반 에너지 방법이 적용되지 않는 임계 공간이다.
• RQ2 선형 열 방정식을 만족하는 $v^1$과 비선형성을 보정하는 $v^2$로 구성된 분해 $v = v^1 + v^2$는 임계 공간에서 해를 구성하는 데 유의미한 방법이 될 수 있는가?
• RQ3 고정점 반복을 통해 $L^5(Q_T) \cap C([0,T]; L^3(\mathbb{R}^3))$에서 온건한 해를 구성할 수 있으며, 이 해가 에너지 부등식을 만족하는가?
• RQ4 구성된 온건한 해는 전역적으로 약한 $L^3$-해이며, 이 클래스에서 유일성이 확보될 수 있는가?

주요 결과

• 임의의 발산이 없는 초기 데이터 $v_0 \in L^3(\mathbb{R}^3)$에 대해 전역 약한 해가 존재하며, 이는 고전적 이론을 $L^2$를 초월해 확장한다.
• 해는 $v = v^1 + v^2$로 구성되며, $v^1$은 선형 해이고, $v^2$는 모든 유한 시간 간격에서 에너지 공간에 속하는 보정 항이다.
• 소형성 조건 $\kappa(T) \leq 1/(16c)$를 만족할 경우, $L^5(Q_T) \cap C([0,T]; L^3(\mathbb{R}^3))$에서의 국소적인 온건한 해가 고정점 반복에 의해 존재함을 입증한다.
• 구성된 온건한 해는 국소 에너지 부등식을 만족하므로, $Q_T$에서 약한 $L^3$-해로 간주됨을 확인한다.
• 온건한 해는 $L^5(Q_T) \cap C([0,T]; L^3(\mathbb{R}^3))$ 클래스에서 유일하며, 임의의 약한 $L^3$-해는 국소적으로 이 온건한 해와 일치한다.
• 이 방법은 강건하며 경계가 있는 비유한 영역으로도 확장 가능하며, Lemarie-Rieusset(2016)의 복잡한 접근 방식과는 달리 보다 단순한 적용이 가능하다.