[논문 리뷰] Uniqueness for two dimensional incompressible ideal flow on singular domains

Christophe Lacave|arXiv (Cornell University)|2011. 09. 06.

Navier-Stokes equation solutions참고 문헌 20인용 수 5

한 줄 요약

이 논문은 초기 코어티시티가 유계이고 컴actsupport되며 정의된 부호를 가지는 조건 하에, 모서리가 있는 단순연결 유계 영역 또는 모서리가 있는 유계 단순연결 집합의 외부와 같은 특이 도메인에서 2차원 비압축성 옐러르 방정식의 전역 약한 해의 유일성을 확립한다. 증명은 유속 함수에서 유도된 새로운 리아푸노프 함수를 활용하며, 이 함수는 궤적들이 경계에 가까워질수록 유계로 유지되어, 속도가 모서리 부근에서 폭발하더라도 입자 궤적의 분리 정도를 통제할 수 있는 그론발라 타입의 추론을 가능하게 한다.

ABSTRACT

The existence of a solution to the two dimensional incompressible Euler equations in singular domains was established in [Gérard-Varet and Lacave, The 2D Euler equation on singular domains, submitted]. The present work is about the uniqueness of such a solution when the domain is the exterior or the interior of a simply connected set with corners, although the velocity blows up near these corners. In the exterior of a curve with two end-points, it is showed in [Lacave, Two Dimensional Incompressible Ideal Flow Around a Thin Obstacle Tending to a Curve, Ann. IHP, Anl extbf{26} (2009), 1121-1148] that this solution has some interesting properties, as to be seen as a special vortex sheet. Therefore, we prove the uniqueness, whereas the problem of general vortex sheets is open.

연구 동기 및 목표

• 특이 기하학적 경계를 가진 도메인에서 2차원 비압축성 옐러르 방정식의 전역 해의 유일성을 확립하는 것.
• 경계의 정규성 부족으로 인해 표준 방법이 실패하는 모서리 부근에서의 속도 폭발이 존재하는 상황에서의 유일성 문제를 해결하는 것.
• 기존의 유도비치 유형의 유일성 결과를 C1,1 도메인을 초월하여 특이 기하학에 적응된 새로운 리아푸노프 함수를 도입함으로써 확장하는 것.
• 초기 코어티시티가 유계이고 컴팩트하게 지지되며 정의된 부호를 가지는 조건 하에서 유일성을 증명하는 것. 이 조건은 리아푸노프 함수의 구성에 필수적이다.

제안 방법

• 유속 함수를 기반으로 한 리아푸노프 함수를 구성하며, 경계 행동을 포착하기 위해 로그 항을 수정하여 도메인 경계 근처의 행동을 반영한다.
• 비에트-사바르 법칙을 사용하여 속도를 코어티시티로 표현함으로써, 등각 사상과 적분 표현을 통해 특이 도메인을 분석할 수 있도록 한다.
• 입자 궤적을 추적하기 위해 리아푸노프 함수 L(t) = −ln|L1(t, φx(t))|를 도입하며, 여기서 L1은 수정된 유속 함수이다.
• 입자가 경계에 가까워질수록 리아푸노프 함수의 시간 도함수가 0으로 수렴함을 증명함으로써, 그론발라 타입의 추론이 가능해진다.
• 코어티시티의 부호 조건을 통해 유속 함수가 경계에서만 0이 되도록 보장함으로써, 리아푸노프 함수에 대한 임의의 제로를 방지한다.
• 이전 존재성 작업에서의 콪팩턴스와 Γ-수렴 논증을 활용하여, 정규화된 도메인에서의 근사해의 극한을 정당화한다.

실험 결과

연구 질문

• RQ1 경계 근처에서 속도 폭발이 발생하는 특이 도메인에서 2차원 비압축성 옐러르 방정식의 전역 약한 해가 유일한가?
• RQ2 특이한 속도 장이 존재하는 상황에서 유계이면서 입자 궤적을 통제할 수 있는 리아푸노프 함수를 구성할 수 있는가?
• RQ3 초기 코어티시티의 부호 조건이 특이 도메인에서의 유속 함수의 구조와 리아푸노프 방법의 타당성에 미치는 영향은 무엇인가?
• RQ4 외부가 있는 비유계 도메인, 예를 들어 모서리가 있는 유계 단순연결 집합의 외부에 대해서도 유일성 결과를 확장할 수 있는가?
• RQ5 비선형 경계에서 비에트-사바르 연산자가 유계가 되지 않는 상황에서 표준 리아푸노프 접근법에 어떤 수정이 필요하는가?

주요 결과

• 논문은 유계 또는 외부 도메인에서 유한 개의 모서리가 있는 2차원 비압축성 옐러르 방정식의 전역 약한 해의 유일성을 증명한다.
• 유일성 결과는 초기 코어티시티가 유계이고 컴팩트하게 지지되며 정의된 부호를 가지는 조건 하에서 성립한다.
• 입자 궤적이 경계에 가까워질수록 유계로 유지되는, 유속 함수의 로그를 기반으로 한 새로운 리아푸노프 함수가 입자 궤적의 분리 정도를 통제할 수 있도록 한다.
• 리아푸노프 함수의 시간 도함수가 경계 근처에서 0으로 수렴함을 통해, 그론발라 타입의 추론을 통해 유일성을 도출할 수 있다.
• 코어티시티의 부호 조건은 유속 함수가 경계에서만 0이 되도록 보장하며, 이는 리아푸노프 함수가 경계 접근을 탐지하는 데 필수적이다.
• 이 방법은 모서리가 있는 도메인에 특화되어 있으며, 고정된 코어티시티나 비-zero 속도를 가지는 이동하는 특이점 등의 다른 역학에는 직접 확장되지 않는다.