[논문 리뷰] Global regularity for solutions of the Navier-Stokes equation sufficiently close to being eigenfunctions of the Laplacian

Evan Miller|arXiv (Cornell University)|2020. 05. 28.

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

한 줄 요약

이 논문은 3D 나비에-스토크스 방정식에 대해 스케일-크리티컬한 정규성 기준을 수립한다. 이는 해가 라플라스 연산자의 고유함수에 너무 가까이 있을 경우, 동질적 소볼레프 보간부등식에서의 오차를 측정함으로써 해가 전역적으로 정규성을 유지함을 보여준다. 핵심 결과는 $ \dot{H}^\alpha$ 노름에 스펙트럼 오차 $1 - \|u\|_{\dot{H}^{\alpha-1}}^4 / (\|u\|_{\dot{H}^{\alpha-2}} \|u\|_{\dot{H}^\alpha})$를 가중치로 부여한 것인데, 이 가중치 노름의 적분이 폭발 시간에 다다를 때 발산한다면 유한 시간 내 폭발이 방지됨을 보여준다.

ABSTRACT

In this paper, we will prove a new, scale critical regularity criterion for solutions of the Navier--Stokes equation that are sufficiently close to being eigenfunctions of the Laplacian. This estimate improves previous regularity criteria requiring control on the $\dot{H}^\alpha$ norm of $u,$ with $2\leq \alpha<\frac{5}{2},$ to a regularity criterion requiring control on the $\dot{H}^\alpha$ norm multiplied by the deficit in the interpolation inequality for the embedding of $\dot{H}^{\alpha-2}\cap\dot{H}^{\alpha} \hookrightarrow \dot{H}^{\alpha-1}.$ This regularity criterion suggests, at least heuristically, the possibility of some relationship between potential blowup solutions of the Navier--Stokes equation and the Kolmogorov-Obhukov spectrum in the theory of turbulence.

연구 동기 및 목표

• 3D 나비에-스토크스 방정식에 대해 스케일-크리티컬하고, 라플라스 연산자의 고유함수에 가까운 정도를 기반으로 하는 새로운 정규성 기준을 수립한다.
• 기존의 라두젠스카야-프로디-세린 유형의 기준을 개선하기 위해, 해가 라플라스 연산자의 고유함수와 얼마나 가까운지를 수량화하는 스펙트럼 오차 항을 통합한다.
• 해의 $ \dot{H}^\alpha$ 노름에 스펙트럼 오차를 가중치로 부여한 적분이 폭발 시간에 다다를 때 발산한다면, 해가 유한 시간 내에 폭발하지 않음을 보여준다.
• 해의 스펙트럼 구조를 통해 난류이론의 콜모고로프-오브쿠로프 스펙트럼과 정규성의 관계를 연결한다.

제안 방법

• 보간부등식 $\|f\|_{\dot{H}^{\alpha-1}}^2 \leq \|f\|_{\dot{H}^{\alpha-2}} \|f\|_{\dot{H}^\alpha}$ 에서의 오차를 고려한, 속도장의 $ \dot{H}^\alpha$ 노름에 가중치를 부여한 새로운 정규성 기준을 정의한다.
• 부드러운 해의 표현식과 열반군을 사용하여 $ abla$의 $L^2$ 노름에 대한 에너지 유형 부등식을 유도한다.
• 횔더 부등식과 스펙트럼 지지 조건(푸리에 공간에서의 링형 영역)을 적용하여 오차 항을 바ounds하고, 이를 $ \dot{H}^\alpha$ 노름과 연결한다.
• 보간부등식의 최적 상수는 1임을 증명하고, 등호가 성립하는 것은 라플라스 연산자의 고유함수일 때 뿐이며, $\mathbb{R}^3$에서 $\dot{H}^{\alpha-2} \cap \dot{H}^\alpha$ 공간에는 비자명한 고유함수가 존재하지 않기 때문에 오차는 항상 양수임을 보인다.
• 푸리에 스펙트럼 지지 조건 $\operatorname{supp} \hat{u} \subset \{ \xi : R_1(t) \leq |\xi| \leq R_2(t) \}$을 사용하여 스펙트럼 오차의 하한을 $R_1^4 / R_2^4$ 로 유도함으로써, 밴드의 좁은 정도를 수량화한다.
• 폭발 기준을 수립한다: $\int_0^{T_{\max}} \|u\|_{\dot{H}^\alpha}^p (1 - R_1^4 / R_2^4)^{p/2} dt = +\infty$ 이면 $T_{\max} = +\infty$ 이다.

실험 결과

연구 질문

• RQ1 해가 라플라스 연산자의 고유함수와 얼마나 가까운지에 기반한 나비에-스토크스 방정식의 정규성 기준을 수립할 수 있는가?
• RQ2 보간부등식 $\|f\|_{\dot{H}^{\alpha-1}}^2 \leq \|f\|_{\dot{H}^{\alpha-2}} \|f\|_{\dot{H}^\alpha}$ 에서의 스펙트럼 오차는 고유함수에 대한 가까움을 의미 있는 척도로 제공할 수 있으며, 이를 통해 기존의 정규성 기준을 향상시킬 수 있는가?
• RQ3 해의 $ \dot{H}^\alpha$ 노름에 스펙트럼 오차를 가중치로 부여하고, 그 적분이 폭발 시간에 다다를 때 발산한다면, 유한 시간 내 폭발을 막을 수 있는가?
• RQ4 해의 스펙트럼 집중도(예: 링형 푸리에 지지)와 나비에-스토크스 방정식에서의 폭발 가능성 간의 관계는 무엇인가?
• RQ5 이 새로운 기준은 난류 이론의 콜모고로프-오브쿠로프 에너지 스펙트럼과 연결될 수 있는가?

주요 결과

• 논문은 새로운 정규성 기준을 증명한다: $\int_0^{T_{\max}} \| -\Delta u - \lambda u \|_{L^q}^p dt = +\infty$ 이고, $p, q$ 가 $2/p + 3/q = 3$ 을 만족하면 $T_{\max} = +\infty$ 이며, 이는 스케일-크리티컬이며 라플라스 고유함수에 대한 가까움을 측정한다.
• 특히 $L^2$ 경우에서는 기준이 $\int_0^{T_{\max}} \| -\Delta u \|_{L^2}^{4/3} \left(1 - \frac{\|\nabla u\|_{L^2}^4}{\|u\|_{L^2}^2 \| -\Delta u \|^2_{L^2}} \right)^{2/3} dt = +\infty$ 로 표현되며, 이 경우 폭발이 발생함을 의미한다.
• 푸리에 변환이 링형 영역 $R_1 \leq |\xi| \leq R_2$ 에 지지될 경우, 스펙트럼 오차 항 $1 - \|u\|_{\dot{H}^{\alpha-1}}^4 / (\|u\|_{\dot{H}^{\alpha-2}} \|u\|_{\dot{H}^\alpha})$ 는 $1 - R_1^4 / R_2^4$ 보다 작지 않게 하한을 두며, 이는 스펙트럼 집중도를 정량적으로 측정한다.
• 보간부등식 $\|f\|_{\dot{H}^{\alpha-1}}^2 \leq \|f\|_{\dot{H}^{\alpha-2}} \|f\|_{\dot{H}^\alpha}$ 의 최적 상수는 1이며, 이는 $\mathbb{R}^3$ 에서 $\dot{H}^{\alpha-2} \cap \dot{H}^\alpha$ 에서 비자명한 라플라스 고유함수가 존재하지 않기 때문에 등호가 성립하지 않으며, 오차는 항상 양수이다.
• 해가 $R_1(t)/R_2(t) \to 1$ 이 $\|u\|_{\dot{H}^\alpha}$ 의 성장 속도보다 너무 빨리 수렴한다면, 즉 밴드가 너무 좁아지면, $R_2(t) \to \infty$ 이더라도 유한 시간 내 폭발은 방지된다.
• 논문은 잠재적 나비에-스토크스 폭발과 콜모고로프-오브쿠로프 스펙트럼 간의 히우리스틱한 연결 고리를 제안하며, 스펙트럼 오차 항이 난류에서 에너지 캐스케이드를 반영할 수 있음을 시사한다.