[논문 리뷰] On Nonhomogeneous Boundary Value Problems for the Stationary Navier--Stokes Equations in 2D Symmetric Semi-Infinite Outlets

Michel Chipot, K. Kaulakyt외 2명|arXiv (Cornell University)|2015. 05. 27.

Advanced Mathematical Modeling in Engineering참고 문헌 19인용 수 3

한 줄 요약

이 논문은 비균일한 딜리클레 경계 조건을 가진 대칭적인 반무한 출구(포물면형 또는 채널형)에서 정 steady 2D 나비에-스토크스 방정식에 대해 최소한 하나의 약한 대칭 해가 존재함을 증명한다. 이는 내부 및 외부 경계를 둘러싼 유량이 임의로 클 수 있으며, 총 유량이 0이면 충분함을 전제로 한다. 해의 딜리클레 적분(에너지)은 도메인 기하학에 따라 유한하거나 무한이 될 수 있으며, 이는 대칭 조건 하에서 비유한 2차원 영역에서 레일라 문제의 오랜 미해결 케이스를 해결한다.

ABSTRACT

We study the stationary nonhomogeneous Navier--Stokes problem in a two dimensional symmetric domain with a semi-infinite outlet (for instance, either parabo-\\loidal or channel-like). Under the symmetry assumptions on the domain, boundary value and external force we prove the existence of at least one weak symmetric solution without any restriction on the size of the fluxes, i.e. the fluxes of the boundary value ${\bf a}$ over the inner and the outer boundaries may be arbitrarily large. Only the necessary compatibility condition (the total flux is equal to zero) has to be satisfied. Moreover, the Dirichlet integral of the solution can be finite or infinite depending on the geometry of the domain.

연구 동기 및 목표

• 비유한 2차원 영역에서 비제로 유량을 가진 비균일 경계값 문제에 대한 오랜 동안 열려 있던 레일라 문제를 다루는 것.
• 유량의 크기 제약 없이 대칭 조건과 호환성 조건 하에서 약한 해의 존재를 확립하는 것.
• 해의 딜리클레 적분(에너지)의 행동을 분석하여, 도메인 기하학에 따라 유한하거나 무한이 될 수 있음을 보이는 것.
• 이전 결과를 비유한 영역으로 확장하여, 해가 존재함을 유지하면서도 임의로 큰 유량을 允허하는 것.

제안 방법

• 반무한 출구(포물면형 또는 채널형)를 가진 대칭 도메인을 채택하여 반사에 대한 구조적 불변성을 확보한다.
• 레일라-호프 유형 부등식을 만족시키고 에너지 추정을 가능하게 하기 위해 경계 데이터 a의 특수한 연장 방법을 사용한다.
• 유한 차원 부분공간을 사용한 갈레르킨 유사 방법을 통해 유계 부분도메인 Ωk에서 근사 해의 수열을 구성한다.
• 칸토어 대각선화를 통해 컴actness 추론을 적용하여 W1,2 공간에서 약한 수렴하는 부분수열을 추출한다.
• 컴act support를 가진 시험 함수를 사용하여 약한 공식에서의 극한을 취함으로써, 극한이 적분 항등식을 만족함을 증명한다.
• 대칭성과 총 유량 = 0 조건을 활용하여 성장 억제 및 수렴 보장에 성공하며, 유량의 크기 제약 없이도 수렴을 확보한다.

실험 결과

연구 질문

• RQ1 비균일 경계 데이터와 임의로 큰 유량을 가진 대칭 비유한 영역에서 정 steady 2D 나비에-스토크스 방정식에 대해 약한 해가 존재할 수 있는가?
• RQ2 총 유량이 0이면 충분한가? 즉, 모든 구성 요소에서의 유량이 작거나 0이 아니어도 약한 해의 존재가 보장되는가?
• RQ3 출구의 기하학적 형태(포물면형 대비 채널형)는 해의 기울기의 적분 가능성(즉, 딜리클레 적분)에 어떤 영향을 미치는가?
• RQ4 도메인, 경계 데이터, 외부 힘의 대칭성이 존재할 경우, 유량이 크더라도 추가적인 크기 제약 없이 해의 존재를 보장할 수 있는가?

주요 결과

• 비균일 딜리클레 경계 조건을 가진 대칭적인 반무한 출구에서 정 steady 2D 나비에-스토크스 방정식에 대해 약한 대칭 해가 존재한다. 이는 내부 및 외부 경계를 둘러싼 유량이 임의로 클 수 있음에도 불구하고 성립한다.
• 유일한 필수 조건은 총 유량이 0이라는 것임을 확인하였으며, 이는 일반적인 유출 조건이 해의 존재성에 충분함을 입증한다.
• 해의 딜리클레 적분은 도메인 기하학적 성질, 특히 횡단면 폭의 감쇠 속도에 따라 유한하거나 무한이 될 수 있다.
• 유계 부분도메인에서의 극한 과정을 통해 해를 구성하였으며, 컴actness와 약한 수렴을 이용하였고, 캄토어 대각선화를 통해 수렴을 확립하였다.
• 이 방법은 모든 경계 성분에서 임의의 유량 크기를 허용하며, 이전 결과에서 요구한 유량의 크기 제약 또는 0 유량 조건을 제거하였다.
• 후지타와 모리모토의 이전 결과를 일반화하였으며, 이들은 외부 경계에서 경계 데이터를 0으로 설정하고 포아줄 유형 감쇠를 요구하였지만, 본 연구는 이러한 제약 조건을 제거하였다.