[논문 리뷰] The van Dommelen and Shen singularity in the Prandtl equations

Igor Kukavica, Vlad Vicol외 1명|arXiv (Cornell University)|2015. 12. 23.

Fluid Dynamics and Turbulent Flows참고 문헌 29인용 수 6

한 줄 요약

이 논문은 비자명한 오일러 배경류가 존재하는 2차원 프란틀 경계층 방정식의 해가 유한 시간 내에 폭발함을 엄밀히 증명하며, 반도멘젤과 셴(1980)이 제기한 수치적 특이점 가설을 확인한다. 리아프노프 함수와 철저히 구성된 가중 함수를 사용하여, 경계층 두께가 유한 시간 내에 붕괴됨을 보이며, 이는 경계층 분리와 함께 프란틀 경계층 전개가 그 이후로는 유효하지 않음을 시사한다.

ABSTRACT

In 1980, van Dommelen and Shen provided a numerical simulation that predicts the spontaneous generation of a singularity in the Prandtl boundary layer equations from a smooth initial datum, for a nontrivial Euler background. In this paper we provide a proof of this numerical conjecture by rigorously establishing the finite time blowup of the boundary layer thickness.

연구 동기 및 목표

• 비자명한 오일러 배경류에 대해 반도멘젤과 셴(1980)이 수치적으로 예측한 바와 같이, 프란틀 경계층 방정식에서의 유한 시간 특이점 형성을 엄밀히 확립하는 것.
• 점성계수의 무한한 극한에서 프란틀 경계층 전개가 임의로 긴 시간 동안 유효한지 여부라는 오랫동안 미해결된 문제를 해결하는 것.
• 경계층의 이격 두께가 유한 시간 내에 특이점에 도달함을 보이며, 이는 경계층 분리의 신호임을 나타내는 것.
• 해의 정규성 상실을 증명하기 위해 유한 시간 내에 폭발하는 리아프노프 함수를 구성하는 것.

제안 방법

• 저자들은 해의 에너지와 도함수의 변화를 추적하는 리아프노프 함수 $\mathcal{G}(t)$를 구성한다.
• 에너지 추정에 대해 $[0,\infty)$에서 미분부등식을 만족하는 $W^{2,\infty}$-연속인 철저히 설계된 가중 함수 $w(y)$를 도입한다.
• 선형, 이차, 거듭제곱법 성분을 조합하여 경계 근처에서 비선형 항을 제어할 수 있도록 하며, 양수성을 확보한다.
• 증명은 가중 리만 공간에서의 에너지 추정에 기반하며, 가중 함수는 경계 근처에서 도함수의 성장을 포착하도록 설계된다.
• 핵심 단계로는 구성된 가중 함수가 (2.28)–(2.40)의 집합적 미분부등식을 만족하는지 확인하는 것으로, 특히 두 번째 도함수에 대한 중요한 조건 (2.31)이 포함된다.
• 모든 조건을 만족시키기 위해 $r$, $B$, $M$, 및 $\varepsilon$와 같은 매개변수를 조정하며, $r=2$, $B=50$, $M=9/10$, $\varepsilon$는 충분히 작다.

실험 결과

연구 질문

• RQ1 반도멘젤과 셴의 수치 시뮬레이션에 따르면 비자명한 오일러 유동이 존재할 경우 프란틀 경계층 방정식이 유한 시간 내에 특이점 형성을 보이는가?
• RQ2 프란틀 해가 폭발할 수 있으므로, 나비에-스토크스 방정식의 점성계수 무한한 극한이 임의로 긴 시간 동안 프란틀 경계층 전개로 기술될 수 있는가?
• RQ3 이격 두께 $\delta^*(t,x)$는 경계층 분리를 신뢰할 수 있는 지표이며, 유한 시간 내에 특이점에 도달하는가?
• RQ4 해의 정규성 상실을 유도하는 리아프노프 함수를 구성할 수 있는가?

주요 결과

• 비자명한 오일러 유동 $U^E = \kappa \sin x$를 갖는 프란틀 방정식의 실해석적 초기 조건을 갖는 광범위한 클래스에 대해, 해가 유한 시간 내에 폭발함을 증명한다.
• 해의 도함수 성장을 제어하는 리아프노프 함수 $\mathcal{G}(t)$의 발산을 통해 폭발이 확인된다.
• 이격 두께 $\delta^*(t,x)$가 유한 시간 내에 특이점에 도달하며, 이는 벽에서의 경계층 분리를 시사한다.
• 매개변수 $r=2$, $B=50$, $M=9/10$, 그리고 작은 $\varepsilon$를 갖는 가중 함수 $w(y)$의 구성으로 모든 요구 조건을 만족함이 보장된다.
• 증명은 해가 정규성을 상실함으로써 프란틀 경계층 전개가 임의의 긴 시간 동안 유효하지 않음을 보여주며, 점성계수의 무한한 극한이 완전히 기술되기 이전에 해가 붕괴됨을 시사한다.
• 결과적으로 이는 반도멘젤과 셴(1980)의 수치적 가설을 엄밀한 해석적 증명으로 확인함으로써 오랫동안 미해결이었던 문제를 해결한다.