[논문 리뷰] A note on the slightly supercritical Navier Stokes equations in the plane

Nets Hawk Katz, Andrew Tapay|arXiv (Cornell University)|2012. 06. 17.

Navier-Stokes equation solutions참고 문헌 1인용 수 7

한 줄 요약

이 논문은 루ittel리-페이즈 분해를 사용하여 주파수 성분의 $ L^2 $ 노름을 분석함으로써, 두 차원에서 略적으로 초임계인 나비에-스토크스 방정식에 대한 전역 유한성의 새로운 증명을 제공한다. 이러한 노름에 대한 미분 부등식을 유도하고 소산 추정을 활용함으로써, 소산이 略적으로 초임계일 경우 해가 항상 부드럽게 유지됨을 보여주며, 임계 임계점은 $ \gamma = \frac{1}{4} $이다. 이는 이전 방법이 실패한 평면에서 타오의 결과를 확장한다.

ABSTRACT

We produce a new proof of Tao's result on the slightly supercritical Navier Stokes equations. Our proof has the advantage that it works in the plane while Tao's proof works only in dimensions three and higher. We accomplish this by studying the problem as a system of differential inequalities on the $L^2$ norms of the Littlewood Paley decomposition, along the lines of Pavlovic's proof of the Beale-Kato-Majda theorem.

연구 동기 및 목표

• 이전 방법이 실패한 두 차원에서 타오의 약간 초임계인 나비에-스토크스 방정식 결과를 확장하기 위해.
• Fourier 승수 $ \frac{ |\xi|^{d+2 \over 4} }{ (\log(2+|\xi|))^{\gamma} } $를 가진 소산이 약간 증가한 2차원 나비에-스토크스 방정식에 대해 $ \gamma \leq \frac{1}{4} $일 때 전역 존재성과 해의 부드러움을 확립하기 위해.
• 2차원에서 소볼레프 임베딩 기법이 실패하는 문제를 해결하기 위해 루ittel리-페이즈 주파수 투영과 그 시간 진화에 대한 정교한 분석을 사용하기 위해.
• 소산이 $ \gamma > \frac{1}{4} $일 때 폭발을 방지할 수 없음을 보여줌으로써 임계 임계점 $ \gamma = \frac{1}{4} $가 정확히 임계임을 입증하기 위해.

제안 방법

• 저자들은 나비에-스토크스 방정식의 소용리티 형식을 사용하여 주파수 척도 $ 2^j $에 대한 루ittel리-페이즈 투영 $ P_j $를 사용해 $ \|P_j \omega\|_{L^2} $의 시간 진화를 분석한다.
• 비선형 항을 주파수 지원 분석을 통해 저주파-고주파, 고주파-저주파, 고주파-고주파 상호작용으로 분해함으로써 $ \frac{d}{dt} \|P_j \omega\|_{L^2} $에 대한 미분 부등식을 도출한다.
• 이 방법은 주파수 척도에 대한 $ \ell^1 $ 및 $ \ell^2 $ 노름을 사용하여 비선형 항을 추정하며, 이는 $ P_k \omega $의 $ L^2 $ 노름에 의존한다.
• 핵심적 혁신은 $ \|P_j \omega\|_{L^2} $의 성장 추적을 위해 장벽 함수 $ b_j(t) $를 사용하는 것으로, 소산으로 인해 성장 속도가 너무 빠르지 않도록 보장하는 것을 목표로 한다.
• 저자들은 성장이 가장 집중된 척도인 임계 척도 $ j_{k,u} $를 식별하기 위해 빈자리 원리(포함 원리)를 적용하고, 에너지 보존과 소산 추정을 사용하여 시간 간격 동안의 총 소산에 하한을 설정한다.
• 총 소산이 $ \gamma \leq \frac{1}{4} $일 때 발산함을 보여줌으로써, 유한 시간 내 폭발 가능성과 모순됨을 입증함으로써, 베소프 노름 $ c(t) $의 균일 유계성을 증명한다.

실험 결과

연구 질문

• RQ1 소볼레프 임베딩의 한계를 피하는 방법을 사용하여 두 차원에서 약간 초임계인 나비에-스토크스 방정식이 전역 부드러운 해를 가짐을 입증할 수 있는가?
• RQ2 2차원에서 전역 정규성이 실패하는 임계점인 소산 매개변수 $ \gamma $의 정확한 임계값은 무엇인가?
• RQ3 왜 타오의 원래 증명은 두 차원에서 실패하는가? 그리고 루ittel리-페이즈 분해에 기반한 대안적 접근법이 이를 극복할 수 있는가?
• RQ4 주파수 척도 간 에너지 분포는 초임계 영역에서의 유한 시간 폭발 가능성에 어떻게 영향을 미치는가?
• RQ5 약간 초임계 소산 조건 하에서 베소프 노름 $ c(t) $가 균일하게 유계임을 입증할 수 있는가? 이는 전역 정규성을 보장한다.

주요 결과

• 논문은 $ \gamma \leq \frac{1}{4} $일 때 두 차원에서 약간 초임계인 나비에-스토크스 방정식의 전역 존재성과 해의 부드러움을 확립하며, 타오의 결과를 평면으로 확장한다.
• 저자들은 주파수 성분의 성장도 측정하는 베소프 노름 $ c(t) $가 시간에 따라 균일하게 유계임을 증명하며, 이는 전역 정규성을 의미한다.
• 임계 임계점 $ \gamma = \frac{1}{4} $는 정확히 임계이다: $ \gamma > \frac{1}{4} $일 경우 총 소산이 폭발을 방지하는 데 부족하여 모순이 발생한다.
• 이 방법은 에너지 성장이 가장 집중된 임계 척도 $ j_{k,u} $를 식별하며, 이 경우에도 고-고주파 상호작용 항의 $ \ell^2 $-유형 감쇠로 인해 소산이 지배함을 보여준다.
• 시간 간격 동안 $ b_l(t) $의 성장과 그로 인한 소산을 추정함으로써, 저자들은 총 소산이 $ \sim \sum_k \frac{1}{k^{4\gamma}} $와 같이 발산함을 보여주며, 이는 $ \gamma \leq \frac{1}{4} $일 때 발산한다.
• 증명은 소볼레프 임베딩의 종점 문제를 막는 데 실패한 이전 접근법을 피하기 위해 루ittel리-페이즈 주파수 투영과 미분 부등식의 정교한 분석에 의존한다.