[논문 리뷰] Localisation and compactness properties of the Navier-Stokes global regularity problem

Terence Tao|arXiv (Cornell University)|2011. 08. 04.

Navier-Stokes equation solutions참고 문헌 46인용 수 11

한 줄 요약

이 논문은 주어진 함수 공간(주기적, 스바르츠, 유한 에너지, $H^1$)에서 나비에-스토크스 방정식의 전역 정규성 문제에 대한 다양한 공식화 간의 함의 관계를 계층화한다. $H^1$에서 외력이 있는 전역 잘 정의된 해가 존재하면, 클레이 밀레니엄 문제에 관련된 모든 표준 공식화를 포함해 모든 다른 공식화에 대해 전역 정규성이 성립함을 보여준다. 핵심 기여는 대규모 데이터 및 장시간 행동을 제어할 수 있는 새로운 국소화된 에너지 및 에인스트로피 추정치를 개발한 것이다. 이는 다양한 범주 간 정규성의 전달을 가능하게 한다.

ABSTRACT

In this paper we establish a number of implications between various qualitative and quantitative versions of the global regularity problem for the Navier-Stokes equations, in the periodic, smooth finite energy, smooth $H^1$, Schwartz, or mild $H^1$ categories, and with or without a forcing term. In particular, we show that if one has global well-posedness in $H^1$ for the periodic Navier-Stokes problem with a forcing term, then one can obtain global regularity both for periodic and for Schwartz initial data (thus yielding a positive answer to both official formulations of the problem for the Clay Millennium Prize), and can also obtain global smooth solutions from smooth $H^1$ data, and global almost smooth solutions from smooth finite energy data. Our main new tools are localised energy and enstrophy estimates to the Navier-Stokes equation that are applicable for large data or long times, and which may be of independent interest.

연구 동기 및 목표

• 다양한 함수 공간에서 나비에-스토크스 방정식의 전역 정규성 문제에 대한 다양한 공식화 간의 논리적 관계를 명확히 하기.
• 클레이 밀레니엄 문제에 포함된 공식화들을 포함해, 모든 다른 표준 공식화를 함의하는 유일하고 최소한의 조건인, 외력이 있는 $H^1$에서의 전역 잘 정의된 해를 규명하기.
• 대규모 데이터 및 장시간 행동을 제어할 수 있는, 새로운 국소화된 에너지 및 에인스트로피 추정치를 개발하기.
• 전역 정규성은 성립하나, 완전히 매끄러운 해가 항상 얻어지지 않는 경우가 있음을 보여주기.
• 주기적 및 스바르츠 클래스 해가 $H^1$에서 잘 정의된 해와 외력 조건에서 유도될 수 있음을 보여주기.

제안 방법

• 논문은 주기적, 유한 에너지, $H^1$, 스바르츠 클래스의 네 가지 해 유형을 정의하고, 외력 유무에 관계없이 이들 간의 함의 관계 계층을 수립한다.
• 이차 공간 및 시간 영역에서 나비에-스토크스 방정식을 제어할 수 있는 국소화된 에너지 및 에인스트로피 추정치를 도입한다. 이는 대규모 데이터 및 장시간 행동을 제어하는 데 기여한다.
• 비선형 항을 분해하고 국소화된 노름을 통해 유계화하기 위해 리틀우드-파일 데composition과 파라프로덕트 추정치를 활용한다.
• 핵심 기술 도구로는 해를 국소화하고 $\Delta u_{1}^{(n)}$ 및 $\nabla\Delta^{-1}\psi$에 대한 추정치를 도출하기 위해 매끄럽고 compactly supported인 커퍼트 함수 $\chi$를 사용한다.
• 구심점이 있는 구 외부에 지지된 발산이 없는 벡터장의 수열 $u_1^{(n)}$을 구성하여, $\|u_1^{(n)}\|_{H^1} \to 0$ 이지만 $\|u_1^{(n)}\|_{H^2} \to \infty$임을 보여, 균일한 유계성의 실패를 시험한다.
• 이중형식 $\int (\partial_i\partial_j \nabla\Delta^{-1}\psi) \Delta u_{1,i} \Delta u_{1,j}$를 분석함으로써 이 항이 $n$에 비례해 증가함을 보여, 압력 추정치의 비균일성을 입증한다.

실험 결과

연구 질문

• RQ1 외력이 있는 $H^1$ 범주에서의 전역 잘 정의된 해가, 나비에-스토크스 문제의 모든 다른 표준 공식화에 대해 전역 정규성을 함의하는가?
• RQ2 대규모 데이터 및 장시간 해를 제어할 수 있는 국소화된 에너지 및 에인스트로피 추정치를 구성할 수 있는가?
• RQ3 매끄러운 $H^1$ 또는 유한 에너지 초기 조건에서 완전히 매끄러운 해를 얻을 수 없지만 전역 거의 매끄러운 해는 존재하는가?
• RQ4 주기적 및 스바르츠 클래스 해는 $H^1$에서 잘 정의된 해와 외력 조건에서 도출될 수 있는가?
• RQ5 압력 기울기의 역할은 $H^1$ 설정에서 균일한 유계성이 실패하는 데 기여하는가?

주요 결과

• 외력이 있는 $H^1$ 범주에서의 전역 잘 정의된 해는 주기적 및 스바르츠 초기 조건에 대해서도 전역 정규성을 함의하며, 클레이 밀레니엄 문제의 두 공식화를 해결한다.
• 논문은 조건이 매끄러운 $H^1$ 또는 유한 에너지일지라도, 완전히 매끄러운 해가 항상 존재하지는 않음을 증명한다. 다만 전역 거의 매끄러운 해는 존재한다.
• 대규모 데이터 및 장시간 행동에 효과적인 새로운 국소화된 에너지 및 에인스트로피 추정치의 클래스를 개발하였으며, 이는 독립적인 관심사이다.
• $\|u_1^{(n)}\|_{H^1} \to 0$ 이지만 $\|u_1^{(n)}\|_{H^2} \to \infty$인 수열 $u_1^{(n)}$의 구성은 $H^1$ 노름이 $H^2$ 노름을 균일하게 제어할 수 없음을 보여준다.
• 이중형식 $\int (\partial_i\partial_j \nabla\Delta^{-1}\psi) \Delta u_{1,i} \Delta u_{1,j}$는 $n$에 비례해 증가함을 보여, $H^1$ 설정에서 압력 기울기 항이 균일하게 유계일 수 없음을 입증한다.
• 결과적으로, 외력이 있는 $H^1$ 공식화는 모든 표준 나비에-스토크스 정규성 문제에 대한 통합 함의점임을 시사한다.