[논문 리뷰] On the controllability of the Navier-Stokes equation in spite of boundary layers

Jean‐Michel Coron, Frédéric Marbach외 1명|arXiv (Cornell University)|2017. 03. 21.

Stability and Controllability of Differential Equations인용 수 5

한 줄 요약

이 논문은 경계 일부에서 나비에 슬립-마찰 경계 조건을 갖는 2차원 및 3차원 비압축성 나비에-스토크스 방정식의 소시간 전역 정확한 영제어 가능성을 입증한다. 이는 경계층이 존재하는 상황에서도 성립하며, 점진적 전개 기법과 강화된 점성 효과를 결합하여, 임의의 양의 시간 T에서 0이 되는 약한 레일라이 해를 구축한다. 이는 초기 데이터가 경계 제어를 통해 영으로 이끌릴 수 있음을 증명한다.

ABSTRACT

In this proceeding we expose a particular case of a recent result obtained by the authors regarding the incompressible Navier-Stokes equations in a smooth bounded and simply connected bounded domain, either in 2D or in 3D, with a Navier slip-with-friction boundary condition except on a part of the boundary. This under-determination encodes that one has control over the remaining part of the boundary. We prove that for any initial data, for any positive time, there exists a weak Leray solution which vanishes at this given time.

연구 동기 및 목표

• 자코 루이스 리옹의 열린 문제인 나비에-스토크스 방정식의 소시간 전역 정확한 영제어 가능성을 해결하기 위해.
• 부분 경계 제어 하에서 나비에-스토크스 시스템의 경계층 문제를 다루기 위해.
• 비제어 경계 부분이 슬립-마찰 조건을 갖는 경우에 전역 정확한 영제어 가능성을 확립하기 위해.
• 비이상적 경계 조건이 붙은 점성 비압축성 유동에서 제어 메커니즘의 이해를 확장하기 위해.
• 임의의 양의 시간 T에서 약한 레일라이 해를 0으로 이끄는 구조적 프레임워크를 제공하기 위해.

제안 방법

• 작은 매개변수 ε에 대한 점진적 전개를 사용하여 속도장을 주요 항과 고차항으로 분해한다.
• 이중 척도 전개를 도입한다: u = u⁰ + εu¹ + v + r^ε, 여기서 u⁰과 u¹은 정규화된 성분이고 v는 대류장이다.
• 비균일 경계 데이터를 보상하기 위해 유한차원 모멘트를 조정하는 프로젝션 방법을 통한 경계층 보정을 시행한다.
• 잔여항 r^ε를 제어하기 위해 점성항의 ε 스케일링을 활용하여 강화된 점성 효과를 적용한다.
• 잔여 방정식에 에너지 추정을 적용하여 ‖r^ε(T/ε)‖_{L²} = o(1)임을 보이며, 이는 시간 T에서의 소멸을 보장한다.
• 약한 레일라이 해의 존재성과 부분 경계 제어로 인한 시스템의 과잉 결정 문제에 기반한다.

실험 결과

연구 질문

• RQ1 2차원 및 3차원 비압축성 나비에-스토크스 방정식은 경계의 비어 있지 않은 열린 부분집합에서의 경계 제어를 통해 임의의 양의 시간 T에 0으로 이끌 수 있는가?
• RQ2 비제어 부분에 나비에 슬립-마찰 경계 조건이 존재하더라도 경계층 형성에도 불구하고 전역 정확한 영제어 가능성이 유지되는가?
• RQ3 다중 척도 점진적 전개에서 나비에-스토크스 해의 잔여항을 제어하기 위해 강화된 점성 효과를 활용할 수 있는가?
• RQ4 임의의 초기 데이터 u₀ ∈ L²_σ(Ω)에 대해 부분 경계 제어 하에서 시간 T에서 0이 되는 약한 레일라이 해를 구성할 수 있는가?
• RQ5 나비에 조건에 대해 사용된 전략을 더 도전적인 노슬립 케이스로 확장할 수 있는가, 특히 유리한 기하학적 설정에서?

주요 결과

• 논문은 임의의 초기 데이터 u₀ ∈ L²_σ(Ω)와 임의의 T > 0에 대해 시간 T에서 0이 되는 약한 레일라이 해가 존재함을 증명한다.
• 결과는 2차원 및 3차원의 매끄럽고 유한하며 단순연결된 영역에 대해 성립하며, 비제어 경계 부분에 나비에 슬립-마찰 조건이 적용된다.
• 제어는 경계의 열린 부분집합 Σ에서의 경계 데이터를 통해 이루어지며, 나머지 경계는 나비에 조건을 따른다.
• 점진적 전개에서의 잔여항 r^ε는 ‖r^ε(T/ε)‖_{L²(Ω)} = o(1)를 만족하여 시간 T에서의 소멸을 보장한다.
• 이 방법은 이중 척도 전개와 강화된 점성 효과를 활용하여 잔여항을 안정화하고 비균일 경계 데이터를 보상한다.
• 구성은 초기 데이터 크기와 시간 영역 T에 대해 강건하여, 주어진 경계 조건 하에서 소시간 전역 정확한 영제어 가능성을 확인한다.