[논문 리뷰] A quantitative formulation of the global regularity problem for the periodic Navier-Stokes equation

Terence Tao|ArXiv.org|2007. 10. 08.

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

한 줄 요약

이 논문은 주기적 나비에-스토크스 방정식에 대한 정성적 전역 유일성 추측과 두 가지 정량적 사전 경계 사이의 동치성을 확립한다: 짧은 시간(T ≤ 1)에 대한 경계와 전 시간에 대한 경계. 슈바르츠 공간에서의 콌 pactness 추론을 사용하여, 모든 부드럽고 발산이 없는 초기 자료에 대해 전역적인 부드러운 해가 존재하는 것은, 해의 H¹ 노름이 시간에 따라 균일하게 유계이어야 하며, 그 경계가 초기 H¹ 노름 뿐만 아니라 의존한다는 것을 증명한다.

ABSTRACT

The global regularity problem for the periodic Navier-Stokes system asks whether to every smooth divergence-free initial datum $u_0: (\R/\Z)^3 o \R^3$ there exists a global smooth solution u. In this note we observe (using a simple compactness argument) that this qualitative question is equivalent to the more quantitative assertion that there exists a non-decreasing function $F: \R^+ o \R^+$ for which one has a local-in-time \emph{a priori} bound $$ \| u(T) \|_{H^1_x((\R/\Z)^3)} \leq F(\|u_0\|_{H^1_x((\R/\Z)^3)})$$ for all $0 < T \leq 1$ and all smooth solutions $u: [0,T] imes (\R/\Z)^3 o \R^3$ to the Navier-Stokes system. We also show that this local-in-time bound is equivalent to the corresponding global-in-time bound.

연구 동기 및 목표

• 전역 유일성 문제를 정량적 형태로 재구성함으로써 주기적 나비에-스토크스 방정식에 대한 오랜 동안 미해결된 문제를 해결하는 것.
• 전역 부드러운 해에 대한 정성적 추측이 해의 H¹ 노름에 대한 균일한 사전 경계와 동치임을 보여주는 것.
• 지역 시간 경계(최대 T=1까지)가 충분히 전역 유일성을 이끌어내므로, 문제를 유한 시간 내의 추정으로 단순화하는 것.
• 모든 증명 또는 반증이 H¹과 같은 비임계 노름의 정량적 제어를 포함해야 하며, 순수한 정성적 방법을 배제한다는 점을 강조하는 것.
• 전역 유일성이 실패할 경우 H¹ 노름의 폭발로 나타나며, 이는 잠재적 반례에 대한 구체적인 기준을 제공한다는 점을 명확히 하는 것.

제안 방법

• 단위 시간 간격에서 H¹에서의 약한 수렴과 C⁰ₜH¹에서의 강한 수렴을 기반으로 한 콤팩트성 추론을 사용하여 국소적 및 전역적 행동을 연결하는 것.
• H¹에서 나비에-스토크스 방정식의 국소 적합성 이론을 적용하여 초기 자료 크기에 따라 짧은 시간 간격에서 해의 존재를 보장하는 것.
• 초기 H¹ 노름이 유계이지만 이후 시간에 H¹ 노름이 무한히 증가하는 해의 수열이 존재한다고 가정하는 모순 추론을 사용하며, 이는 국소 부분 간격에서의 약한 수렴과 강한 수렴과 모순됨을 보여주는 것.
• H¹ 노름이 비임계라는 사실과, 평균이 고정된 경우 H¹의 유계 집합에서 연속적인 해 매핑과 그 유계 부분집합에서의 리프시츠 연속성에 기반하는 것.
• 균일한 경계가 T=1까지 성립하면 반복 적용을 통해 모든 T>1에 대해서도 성립함을 보여, 짧은 시간과 전 시간 경계가 동치임을 증명하는 것.
• 초기 H¹ 노름 ≤ A인 모든 해에 대해 C⁰ₜH¹ 노름의 Supremum을 F(A)로 정의하고, 전역 유일성이 F(A) < ∞ for all A와 동치임을 보이는 것.

실험 결과

연구 질문

• RQ1 주기적 나비에-스토크스 방정식에 대한 전역 유일성 추측은 해의 H¹ 노름에 대한 시간에 따른 균일한 사전 경계와 동치인가?
• RQ2 전역 부드러운 해의 존재는 H¹에서 짧은 시간(T ≤ 1) 경계로 축소될 수 있는가?
• RQ3 전역 유일성이 실패할 경우, 초기 자료가 H¹에서 유계이더라도 해의 H¹ 노름이 무한히 증가하는가?
• RQ4 H¹에서의 초기 자료에서 해 흐름으로의 매핑이 유계 집합에서 전역적으로 리프시츠 연속적임을 보일 수 있는가?
• RQ5 수치적 근사와 콤팩트성에 의해 F(A)의 유한성은 유한 시간 내에 검증 가능한가?

주요 결과

• 주기적 나비에-스토크스 방정식에 대한 전역 유일성 추측은 ‖u(T)‖_{H¹} ≤ F(‖u₀‖_{H¹}) 를 만족하는 비감소 함수 F가 존재할 때, 모든 T ∈ (0,1] 및 모든 부드러운 해에 대해 성립함을 의미한다.
• 짧은 시간 경계(최대 T=1까지)는 전 시간 경계와 동치이므로, 한쪽을 증명하면 다른 쪽도 자동으로 성립한다.
• 전역 유일성 추측이 실패할 경우, F(A_c) = ∞ 이지만 모든 A < A_c 에 대해 F(A) < ∞ 를 만족하는 임계 H¹ 노름 수준 A_c < ∞ 가 존재한다.
• 매핑 u₀ ↦ u 는 H¹₀(Ω)에서 연속적이며, u₀의 평균이 고정된 경우 유계 부분집합에서 리프시츠 연속적이다.
• 작은 A에 대해서는 F(A)가 유한하고, 오른쪽 연속성이므로 정규성의 붕괴가 발생할 수 있는 임계점의 행동을 시사한다.
• 주어진 A에 대해 F(A)의 유한성은 수치적 근사와 콤팩트성에 의해 유한 시간 내에 검증 가능하지만, F(A) = ∞ 는 유한 시간 내에 검증할 수 없다.