[논문 리뷰] Quantitative bounds for critically bounded solutions to the Navier-Stokes equations

Terence Tao|arXiv (Cornell University)|2019. 08. 14.

Navier-Stokes equation solutions참고 문헌 17인용 수 16

한 줄 요약

이 논문은 3차원 나비에-스토크스 방정식의 고전적 해에 대해 임계 $ L^3_x $ 노름 유계 조건 하에서 처음으로 정량적 경계를 제공한다. 이는 질적 컴actness 추론을 정량적 카르레만 부등식과 이중 주파수 분해로 대체한다. 해가 유한 시간 내에 폭발할 경우, $ L^3 $ 노름은 최소 $ (/\log\log\log \frac{1}{T_*-t})^c $ 의 속도로 폭발해야 하며, 이는 정규성 추정에서 삼중 지수적 의존성과 일치함을 확인한다.

ABSTRACT

We revisit the regularity theory of Escauriaza, Seregin, and Šverák for solutions to the three-dimensional Navier-Stokes equations which are uniformly bounded in the critical $L^3_x(\mathbf{R}^3)$ norm. By replacing all invocations of compactness methods in these arguments with quantitative substitutes, and similarly replacing unique continuation and backwards uniqueness estimates by their corresponding Carleman inequalities, we obtain quantitative bounds for higher regularity norms of these solutions in terms of the critical $L^3_x$ bound (with a dependence that is triple exponential in nature). In particular, we show that as one approaches a finite blowup time $T_*$, the critical $L^3_x$ norm must blow up at a rate $(\log\log\log \frac{1}{T_*-t})^c$ or faster for an infinite sequence of times approaching $T_*$ and some absolute constant $c>0$.

연구 동기 및 목표

• 일관된 $ L^3_x $ 유계 조건 하에서 3차원 나비에-스토크스 방정식의 고전적 해에 대한 정량적 정규성 추정을 제공하기 위해.
• 에스카우리사-세레긴-슈베라 정규성 이론에서 질적 컴팩트니스 추론을 완전히 정량적 대체물로 대체하기 위해.
• 임계 $ L^3 $ 노름에 대해 고차 도함수의 명시적 삼중 지수적 경계를 유도하기 위해.
• 유한 시간 특이점 근처에서 $ L^3 $ 노름의 폭발 속도에 대한 날카운 정량적 하한을 확립하기 위해.

제안 방법

• 유일 연속성과 역방향 유일성에 대해 컴팩트니스 기반 프로파일 분해를 정량적 카르레만 부등식으로 대체하기 위해.
• 비선형 항을 비틀림 방정식에서 제어하기 위해 이중 리틀우드-파일 분해를 사용하기 위해.
• 비틀림 진화 방정식에서 유도된 에너지 유형 추정에 그론발의 부등식을 적용하기 위해.
• 고주파 성분을 주파수 국소화된 $ L^\rho $ 추정과 보간을 통해 제어하기 위해.
• 폭발 근처의 점근적 분석을 단순화하기 위해 문제를 $ T_* = 1 $ 으로 스케일링하기 위해.
• 폭발 속도가 허용 가능한 속도보다 느리다고 가정하고, $ L^2_t L^\rho_x $ 유계성에 의해 모순을 도출하기 위해.

실험 결과

연구 질문

• RQ1 에스카우리사, 세레긴, 슈베라의 질적 정규성 기준이 $ L^3_x $ 노름 유계 조건에 대해 정량화될 수 있는가?
• RQ2 시간-노름 $ L^\rho_t L^3_x $ 에서 유계인 해에 대해 고차 도함수의 성장에 대한 최적 정량적 상한은 무엇인가?
• RQ3 $ L^3 $ 노름의 폭발 속도를 정량화할 수 있으며, 유한 시간 폭발과 일치하는 가장 느린 가능한 속도는 무엇인가?
• RQ4 카르레만 부등식을 어떻게 사용하여 나비에-스토크스 방정식의 정규성 이론에서 컴팩트니스를 대체할 수 있는가?
• RQ5 정규성 노름이 임계 $ L^3 $ 유계 조건에 대해 어떤 의존성을 가지며, 이를 명시적으로 만들 수 있는가?

주요 결과

• 모든 $ \|u\|_{L^\infty_t L^3_x} \leq A $ 를 만족하는 고전적 해에 대해, $ u $, $ \nabla u $, $ \omega $, $ \nabla \omega $ 의 $ L^\infty_x $ 노름은 $ j=0,1 $ 에 대해 $ \exp(\exp(\exp(A^{O(1)}))) t^{-(j+1)/2} $ 이하로 유계이다.
• $ E(t) = \|\omega^{\text{nlin}}\|_{L^2_x}^2 $ 이며, $ [3/4,1] $ 에서 $ E(t) \lesssim N_*^{O(1)} $ 를 만족한다. 여기서 $ N_* $ 는 $ L^3 $ 유계 조건과 관련된 주파수 임계값이다.
• 유한 시간 폭발 근처에서 $ t \to T_*^- $ 일 때, $ L^3_x $ 노름은 최소 $ (\log\log\log \frac{1}{T_*-t})^c $ 의 속도로 폭발해야 하며, 이는 어떤 절대 상수 $ c>0 $ 에 대해 성립한다.
• 이 폭발 속도는 날카로운 하한이므로, 어떤 더 느린 속도도 $ L^2_t L^\infty_x $ 유계성에 의해 모순을 일으키며, 기존의 폭발 기준을 위반한다.
• 이 방법은 프로파일 분해를 피하고 주파수 국소화 추정과 그론발의 부등식을 사용하여 삼중 지수적 정량적 경계를 달성한다.
• 결과는 정규성 이론을 통해 더 약한 해(예: 적절한 약한 해)로 확장되며, 동일한 $ L^3 $ 노름에 대한 정량적 의존성을 유지한다.