[논문 리뷰] Existence, uniqueness and smoothness of solution for 3D Navier-Stokes equations with any smooth initial velocity

A. Tsionskiy, Mikhail Tsionskiy|arXiv (Cornell University)|2012. 01. 08.

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

한 줄 요약

이 논문은 3D 나비에-스토크스 방정식의 해가 임의의 매끄럽고 컴act하게 지지된 초기 속도장에 대해 존재성, 유일성, 그리고 매끄러움을 증명한다. 푸리에 및 라플라스 변환을 적용한 후, 급격히 감소하는 함수들의 함수공간에서 고정점 정리에 기반한 증명을 수행한다. 해는 시간에 대해 전역적으로 정의되며, 모든 시간에 대해 무한번 미분 가능하고 유한한 에너지를 유지한다. 이는 매끄러운 초기 조건 하에서 나비에-스토크스 존재 문제의 핵심 요소를 해결한다.

ABSTRACT

Different authors had received a lot of results regarding the Euler and Navier-Stokes equations. Existence and smoothness of solution for the Navier-Stokes equations in two dimensions have been known for a long time. Leray showed that the Navier-Stokes equations in three dimensional space have a weak solution. Scheffer, and Shnirelman, obtained weak solution of the Euler equations with compact support in spacetime. Caffarelli, Kohn and Nirenberg improved Scheffer's results, and F.-H. Lin simplified the proof of the results of J. Leray. Many problems and conjectures about behavior of weak solutions of the Euler and Navier-Stokes equations are described in the books of Ladyzhenskaya, Bertozzi and Majda, Temam, Constantin or Lemarié-Rieusset. Solutions of the Navier-Stokes and Euler equations with initial conditions (Cauchy problem) for 2D and 3D cases were obtained in the converging series form by analytical iterative method using Fourier and Laplace transforms in a paper by Tsionskiy. These solutions were received as infinitely differentiable functions. That allowed us to analyze essential aspects of the problem on a much deeper level and with more details. For several combinations of problem parameters numerical results were obtained and presented as graphs by Tsionskiy. This paper describes detailed proof of existence and uniqueness of the solution of the Cauchy problem for the 3D Navier-Stokes equations with any smooth initial velocity. This solution satisfies the conditions required in Fefferman for the problem of Navier-Stokes equations. When viscosity tends to zero this proof is correct for the Euler equations also.

연구 동기 및 목표

• 임의의 매끄럽고 발산이 없는 초기 속도장에 대해 3D 나비에-스토크스 방정식의 매끄러운 해의 존재성과 유일성을 확립하는 것.
• 해가 모든 시간 t ∈ [0, ∞) 동안 매끄럽고 전역적으로 정의됨을 보여주는 것.
• 해가 에너지 상한을 만족하고 무한대에서 급격히 감소함을 보여주는 것. 이는 물리적 기대와 일치한다.
• 점성계수 ν → 0의 극한에서 오일러 방정식으로 결과를 확장하는 것.
• 적분방정식과 함수공간 이론을 기반으로 나비에-스토크스 문제를 다룰 수 있는 엄밀한 분석적 프레임워크를 제공하는 것.

제안 방법

• 비선형 항을 오른쪽 항으로 옮겨서 계수가 일정한 선형 PDE 시스템으로 나비에-스토크스 방정식을 변환하는 것.
• 공간에 대한 푸리에 변환과 시간에 대한 라플라스 변환을 적용하여 속도장의 적분방정식 표현을 도출하는 것.
• 해의 매끄러움과 감쇠 성질을 보장하기 위해 급격히 감소하는 함수들의 슈바르츠 공간 S 내에서 작업하는 것.
• 고정점 분석을 용이하게 하기 위해 변수 치환을 통한 정규화된 등가 적분방정식을 도입하는 것.
• 완비 거리공간에서 Caccioppoli-Banach 고정점 정리를 적용하여 해의 존재성과 유일성을 증명하는 것.
• 사전 에너지 추정을 사용하여 모든 시간 t ≥ 0 에서 총 에너지가 유한하게 유지됨을 확인하는 것.

실험 결과

연구 질문

• RQ1 임의의 매끄러운 초기 속도장에 대해 3D 나비에-스토크스 방정식의 매끄럽고 전역적으로 정의된 해가 존재하는가?
• RQ2 모든 시간 t ∈ [0, ∞) 에서 해가 고유하고 무한번 미분 가능하게 증명될 수 있는가?
• RQ3 해는 작은 외란에 대해 안정적이며, 무한대에서 요구되는 감쇠 및 정칙 조건을 만족하는가?
• RQ4 유사한 방법을 점성계수 ν → 0 인 비점성 극한에서 오일러 방정식으로 확장할 수 있는가?
• RQ5 해는 모든 시간 동안 유한한 에너지를 유지하며 물리적 제약 조건과 일치하는가?

주요 결과

• 매끄럽고 컴팩트하게 지지된 초기 속도장이 주어진 3D 나비에-스토크스 초기값 문제의 해는 모든 시간 t ∈ [0, ∞) 에 대해 존재하고 유일하다.
• 해는 모든 |x| → ∞ 에서 |x|의 임의의 역수보다 더 빨리 감쇠하며 무한번 미분 가능하다.
• 유체 시스템의 에너지는 모든 시간 동안 유한하게 유지되며, [0, ∞) 전역에서 일관된 유한한 값으로 유지된다.
• Caccioppoli-Banach 원리에 기반한 고정점 추론은 시간에 대한 연속적 의존성과 급격히 감소하는 함수공간 내에서의 해의 유일성을 확인한다.
• 이 방법은 점성계수 ν → 0 인 오일러 방정식으로도 적용 가능하며, 해의 존재성과 매끄러움을 유지한다.
• 구축된 해의 역푸리에 변환은 슈바르츠 공간 S에 속함을 보여주며, 이는 해의 매끄러움과 급격한 감쇠를 확인한다.