[논문 리뷰] Navier-Stokes Equation on the Rectangle

Sérgio S. Rodrigues|ArXiv.org|2005. 04. 15.

Fluid Dynamics and Turbulent Flows참고 문헌 13인용 수 3

한 줄 요약

이 논문은 유한차원 제어가 저주파수 모드에 작용하는 바탕에서, 경계 조건이 무착면 및 접선 조건인 직사각형 영역에서 2차원 비압축성 스토크스 방정식의 L2-근사 제어 가능성을 확립한다. 약한 해와 강한 해의 존재성, 유일성, 그리고 초기 자료에 대한 연속적 의존성을 증명하며, 중첩된 유한차원 부분공간에서 반복적으로 제어를 근사함으로써 충분히 긴 시간 간격 동안 L2 노름에서 목표 상태로 임의로 가까이 갈 수 있음을 보여준다. 이는 고주파수 진동을 다루기 위해 스펙트럼 방법과 평균화 기법을 활용한다.

ABSTRACT

We study controllability issues for the Navier-Stokes Equation on a two dimensional rectangle with so-called Lions boundary conditions. Rewriting the Equation using a basis of harmonic functions we arrive to an infinite-dimensional system of ODEs. Methods of Geometric/Lie Algebraic Control Theory are used to prove controllability by means of low modes forcing of finite-dimensional Galerkin approximations of that system. Proving the continuity of the ``control $\mapsto$ solution'' map in the so-called relaxation metric we use it to prove both solid controllability on observed component and $\mathbf L^2$-approximate controllability of the Equation (full system) by low modes forcing.

연구 동기 및 목표

• 경계 조건이 무착면 및 접선 조건인 직사각형 영역에서 2차원 스토크스 방정식의 약한 해와 강한 해의 존재성, 유일성, 그리고 초기 자료에 대한 연속적 의존성을 확립한다.
• 저주파수 모드에 작용하는 유한차원 제어를 사용하여 스토크스 시스템의 갈레르킨 근사의 제어 가능성을 조사한다.
• 유한차원 부분공간에 지원되는 제어를 사용하여 H 공간 내의 임의의 목표 상태가 임의로 가까이 갈 수 있음을 보여줌으로써 전체 스토크스 시스템의 L2-근사 제어 가능성을 증명한다.
• FCE(Factorization-Convexification-Extraction) 방법과 역추적 기반의 구조적 절차를 개발하여, 중첩된 부분공간의 시퀀스에서 고주파수 제어를 저주파수 제어로 근사할 수 있도록 한다.

제안 방법

• 무착면 및 접선 속도 경계 조건을 갖는 직사각형 영역에서 스토크스 시스템을 수식화하며, 수렴성 없는 L2 벡터장 공간 H와 경계 조건을 갖는 H1 벡터장 공간 V를 사용한다.
• 기능해석 도구를 적용: 피카르 부등식, 등가 노름, 그리고 스토크스 연산자의 고유함수 전개를 통해 H와 V를 특성화한다.
• 스토크스 방정식의 약한 형태를 H 내의 내적 표현으로 나타내기 위해 연산자 A(스토크스 연산자)와 B(비선형 삼중형태)를 도입한다.
• H의 유한차원 부분공간에서 갈레르킨 근사를 적용하여 PDE를 ODE 시스템으로 축소시키며, 이러한 근사의 해에 대한 존재성과 유일성을 증명한다.
• FCE 절차(인수분해, 볼록화, 추출)를 사용하여 고주파수 제어의 효과를 근사하는 저차원 부분공간 내의 제어를 구성한다.
• 평균화 기법과 급격히 진동하는 항의 추정(코사인(2wt) 적분을 통한)을 적용하여 시간 간격 동안 오차 전파를 제한하며, 고주파수 오차가 w−1 비율로 감소함을 보여준다.

실험 결과

연구 질문

• RQ1 무착면 및 접선 경계 조건을 갖는 직사각형 영역에서 2차원 스토크스 방정식은 초기 자료에 대해 연속적으로 의존하는 유일한 약한 해와 강한 해를 갖는가?
• RQ2 저주파수 모드에만 작용하는 제어를 사용하여 전체 스토크스 시스템의 근사 제어 가능성을 달성할 수 있는가?
• RQ3 고주파수 제어의 효과를 모방하는 제어를 어떻게 체계적으로 저차원 부분공간에서 구성할 수 있으며, 이를 통해 목표 상태로 수렴하게 할 수 있는가?
• RQ4 고주파수 진동은 제어 근사에 어떤 역할을 하는가? 그 영향은 정량적으로 제한될 수 있는가?

주요 결과

• 스토크스 시스템은 H와 V 공간 내에서 에너지 추정과 피카르 유형 부등식을 통해 초기 자료에 대해 연속적으로 의존하는 유일한 약한 해와 강한 해를 갖는다.
• 갈레르킨 근사 시스템은 제어 집합이 생성하는 벡터장의 전체 리 대수를 커버할 경우, 유한차원 부분공간에서 정확히 제어 가능하며, 이는 전체 리 랭크 조건을 만족함을 의미한다.
• 고주파수 제어를 저주파수 제어로 근사함에 따라 유도되는 오차는 주파수 w에 대해 w−1 비율로 감소하며, 이는 중첩된 부분공간에서 반복적인 제어 구성이 가능하게 한다.
• 서브공간 RκM, RκM−1, ..., Rκ1에서 제어를 반복적으로 모방함으로써, H 내의 임의의 목표 상태 x1에 대해 ε 이내로 시스템을 이동시킬 수 있으며, 총 오차는 ε에 대한 기하급수 급수로 유계이다.
• 임의의 T > 0에 대해 시스템의 도달 가능 집합은 H에서 밀도를 이룬다. 이는 L2-근사 제어 가능성을 증명하며, 시스템은 L2 노름에서 임의의 목표 상태로 임의로 가까이 갈 수 있다.
• 제어 구성은 강건하다: T가 직접 제어에 충분히 길지 않더라도, 먼저 임의의 제어를 적용하여 새로운 초깃값으로 이동한 후, 더 긴 시간 간격 T1을 사용하여 원하는 근사치를 달성할 수 있다.