[논문 리뷰] On global solutions to the Navier-Stokes system with large $L^{3,\infty}$ initial data

Tobias Barker, G. Serëgin|arXiv (Cornell University)|2016. 03. 10.

Navier-Stokes equation solutions참고 문헌 18인용 수 4

한 줄 요약

이 논문은 에너지 클래스 외부에 있는 임계 로렌츠 공간 $L^{3,\infty}([\mathbb{R}^3])$에 속하는 초기 자료에 대해 3차원 나비에-스토크스 방정식의 전역 약한 해의 존재성을 확립한다. 케이토의 고정점 방법을 확장하고 보간 및 감쇠 추정을 활용하여, 초기 자료의 양성 부분에 대한 소형 조건 하에서 해가 시간에 대해 전역적으로 존재함을 증명하며, 초기 자료의 약한-* 수렴에 대해 안정성과 수렴성을 보장한다.

ABSTRACT

This paper addresses a question concerning the behaviour of a sequence of global solutions to the Navier-Stokes equations, with the corresponding sequence of smooth initial data being bounded in the (non-energy class) weak Lebesgue space $L^{3,\infty}$. It is closely related to the question of what would be a reasonable definition of global weak solutions with a non-energy class of initial data, including the aforementioned Lorentz space. This paper can be regarded as an extension of a similar problem regarding the Lebesgue space $L_3$ to the weak Lebesgue space $L^{3,\infty}$, whose norms are both scale invariant with the respect to the Navier-Stokes scaling.

연구 동기 및 목표

• 에너지 클래스 외부인 $L^{3,\nu}([\mathbb{R}^3])$에 속하는 초기 자료를 가진 나비에-스토크스 방정식에 대해 강력한 전역 약한 해의 개념을 정의한다.
• 블로우업 분석을 위해 필수적인 조건인 $L^{3,\nu}$에서의 초기 자료 약한-* 수렴에 대해 해의 안정성을 확보한다.
• 전역 약한 $L^3$-해의 프레임워크를 에너지가 유계가 아닌 함수를 포함하는 더 큰 척도 불변 로렌츠 공간 $L^{3,\nu}$로 확장한다.
• 초기 자료 노름에 따라 의존하는 시간 간격에서 해의 존재성과 정칙성을 확립하여, 그 간격 내에서의 유일성을 보장한다.

제안 방법

• 열린 반응기법을 사용하여 로렌츠 공간 $L^{3,\nu}$에 대해 케이토의 고정점 추론을 적용하며, 선형 부분으로 열 반응기 $S(t)u_0$를 사용한다.
• 초기 자료를 양성 및 음성 부분으로 분해하여 비선형 항을 제어한다: $u_0 = (u_0)_+^N + (u_0)_-^N$.
• 보간 부등식을 적용하여 $L^4$ 노름을 제어한다. 예를 들어, $t^{1/8}\|g(\cdot,t)\|_{L^4} \leq C\|g(\cdot,t)\|_{L^{3,\infty}}^{3/8}(t^{1/5}\|g(\cdot,t)\|_{L^5})^{5/8}$.
• 에너지 및 압력 추정을 방정식 $\|u^{(k)} - u^{(m)}\|_{2,\infty,Q_T}^2 + \|\nabla(u^{(k)} - u^{(m)})\|_{2,Q_T}^2 + \|q^{(k)} - q^{(m)}\|_{2,Q_T}^2 \leq c\int_0^T\!\!\!\int_{\mathbb{R}^3} |v^{(k)}\otimes v^{(k)} - v^{(m)}\otimes v^{(m)}|^2 dxdt$ 를 통해 수렴성을 증명한다.
• $L^4(Q_T)$, $W^{1,0}_2(Q_T)$, 및 $C([0,T];L_2)$에서 수렴성을 확립하여 극한이 분포 의미에서 나비에-스토크스 방정식을 만족함을 보장한다.
• 모이피케이션과 감쇠 추정을 적용하여 국소 에너지 등식을 검증함으로써, 해가 에너지 부등식을 만족함을 확인한다.

실험 결과

연구 질문

• RQ1 에너지 클래스 외부인 $L^{3,\infty}(\mathbb{R}^3)$에 속하는 초기 자료를 가진 3차원 나비에-스토크스 방정식에 대해 전역 약한 해를 구성할 수 있는가?
• RQ2 초기 자료가 $L^{3,\infty}$에서 약한-* 수렴할 때, 그 해의 프레임워크는 여전히 안정적인가? 이는 블로우업 분석을 위해 필수적인 조건이다.
• RQ3 해의 존재성은 $L^3$에서 더 큰 로렌츠 공간 $L^{3,\infty}$로 확장될 수 있는가? 이 공간은 유계가 아닌 $L^2$-노름을 가진 함수를 포함한다.
• RQ4 해의 존재 시간은 무엇이며, 초기 자료의 노름과 분해 방식에 어떻게 의존하는가?
• RQ5 구성된 해는 국소 에너지 등식을 만족하는가? 이는 물리적 일관성을 보장한다.

주요 결과

• 초기 자료가 $L^{3,\infty}(\mathbb{R}^3)$에 속할 때, 양성 부분 $\|(u_0)_+^N\|_{L^{3,\infty}}$가 충분히 작을 경우 전역 약한 해가 존재한다.
• 해는 국소 에너지 등식을 만족하여, 물리적으로 의미 있는 약한 해임을 확인한다.
• 반복적 절차의 수렴성은 $L^4(Q_T)$, $W^{1,0}_2(Q_T)$, 및 $C([0,T];L_2)$에서 성립하여, 극한이 이들 위상에서 강한 수렴임을 보장한다.
• 해 $v$는 $\|v - S(t)u_0\|_{L^{\infty}(0,T;L^{3,\infty})} \leq \varepsilon_0$ 를 만족하며, 이는 안정성을 보장한다 (소형 $\varepsilon_0$에 대해).
• 존재 시간에 하한이 설정된다: $T \geq \min(\varepsilon^5, \varepsilon_0^5)/(C N^2 \|u_0\|_{L^{3,\infty}}^3)$, 여기서 $\varepsilon, \varepsilon_0$는 이전 정리에서 유도된 값이다.
• 정칙성 및 수렴 결과에 따라, 시간 간격 $[0,T]$에서 해는 유일하다.