[논문 리뷰] On the motion of a viscous liquid filling space

J. P. Leray, Robert Terrell|arXiv (Cornell University)|2016. 04. 06.

Pickering emulsions and particle stabilization인용 수 9

한 줄 요약

1934년 저명한 논문에서 장 레일리는 공간 전역에 걸쳐 점성 비압축성 유체에 대한 나비에-스토크스 방정식의 시간에 대해 전역적인 해가 존재함을 입증한다. 이는 해가 특이점을 갖을 수 있음에도 불구하고 성립한다. 오세인의 접근 방식에서 유도된 적분미분방정식을 통해 문제를 재구성하고 에너지 소산을 통합함으로써, 레일리는 ' turbulent ' 해의 존재를 증명한다. 이러한 해는 전역적으로 정의되며 에너지가 유한하고, 속도 및 그 기울기의 점 渐진 감쇠율을 보이지만, 고립된 점에서 매끄럽지 않을 수 있다. 이 작업은 현대 나비에-스토크스 방정식의 약한 해 이론의 기초를 마련한다.

ABSTRACT

A translation to English of the 1934 paper of Leray, Sur le mouvement d'un liquide visqueux emplissant l'espace.

연구 동기 및 목표

• 임의의 초기 속도 데이터에 대해 나비에-스토크스 방정식을 후행적으로 정당화하기 위해 해의 존재를 증명하는 것.
• 해가 항상 정칙성을 유지하는지 여부라는 열린 문제를 다루며, 특히 유한 시간 내에 특이점이 발생할 수 있음을 고려하는 것.
• 해가 클래스적으로 매끄럽지 않더라도 시간에 대해 전역적으로 유효한 해 틀을 구성하는 것.
• 유체 운동에서 에너지 소산의 물리 원리와 유한성 및 규칙성 수요 사이의 조화를 이루는 것.
• 해가 측도가 0인 집합을 제외한 거의 모든 곳에서 나비에-스토크스 방정식을 만족하는 새로운 해의 클래스인 '난류 해'를 도입하는 것.

제안 방법

• 오세인의 표현과 동치인 적분미분방정식계를 통해 유체 운동을 기술함으로써, 속도와 그 첫 번째 공간 도함수에만 의존하는 방식.
• 이 방정식들을 부분 적분을 통해 나비에-스토크스 방정식에서 유도함으로써 고차 도함수를 제거하는 것.
• 총 운동 에너지의 유한성을 확보하기 위해 에너지 소산 부등식을 도입하는 것.
• 에너지 및 기울기 노름에 기반한 사전 추정치를 사용하여 시간에 따른 해의 성장 양상을 통제하는 것.
• 유한 시간 간격에 걸쳐 해의 존재를 증명하기 위해 컴팩트성 추론 및 약한 수렴 기법을 적용하는 것.
• '난류 해'를 측도가 0인 닫힌 집합을 제외한 거의 모든 곳에서 나비에-스토크스 방정식을 만족하는 해로 정의하는 것.

실험 결과

연구 질문

• RQ1 임의의 초기 속도 장에 대해, 해가 매끄럽지 않더라도 시간에 대해 전역적인 해가 존재할 수 있는가?
• RQ2 에너지 소산 메커니즘이 유체 운동의 전역 정칙성을 보장하는 데 충분한가, 아니면 여전히 유한 시간 내에 특이점이 발생할 수 있는가?
• RQ3 오랜 시간 동안 공간 전역에 점성 유체가 존재할 경우 속도 및 그 기울기의 점 渐진 행동은 어떻게 되는가?
• RQ4 해가 고립된 점에서 미분 가능하지 않더라도, 약한 의미에서 나비에-스토크스 방정식을 만족하는 해를 구성할 수 있는가?
• RQ5 오세인의 적분미분방정식 표현의 성질이 전역 존재성의 맥락에서 고전적 나비에-스토크스 방정식과 어떻게 관련되어 있는가?

주요 결과

• 점성 비압축성 유체가 공간 전역에 존재하는 경우, 주어진 초기 속도장에 대해 최소한 하나의 시간에 대해 전역적인 해가 존재한다.
• 해는 에너지에서 유한하며, 총 운동 에너지가 $ \nu \int_0^t J^2(t') \, dt' \leq \frac{1}{2} W(0) $ 를 만족한다. 여기서 $ J(t) $ 는 속도 기울기의 $ L^2 $-노름과 관련된다.
• 큰 시간 $ t > A W^2(0)/\nu^5 $ 에 대해, 해는 점 渐진 감쇠 추정치를 만족한다: $ J(t) < A \sqrt{W(0)} (\nu t)^{-1/2} $ 와 $ V(t) < A \sqrt{W(0)} (\nu t)^{-3/4} $, 여기서 $ V(t) $ 는 속도의 $ L^2 $-노름이다.
• 해는 고립된 시간에 대해 $ C^2 $-매끄럽지 않을 수 있으나, 측도가 0인 닫힌 집합을 이룬다. 그럼에도 불구하고 거의 모든 곳에서 나비에-스토크스 방정식을 만족한다.
• 해는 모든 $ t \geq 0 $ 에 대해 정의되며, 정칙성의 손실 가능성을 고려하더라도 전역 존재성을 확립한다.
• 이러한 해의 존재는 해가 약하고 특이점이 발생할 수 있지만 에너지가 유한한 난류 흐름에 대한 수학적 틀을 시사한다.