[논문 리뷰] Local null-controllability of the 2-D Vlasov-Navier-Stokes system

Iván Moyano|arXiv (Cornell University)|2016. 07. 19.

Stability and Controllability of Differential Equations참고 문헌 18인용 수 4

한 줄 요약

이 논문은 2차원 Vlasov-Navier-Stokes 시스템의 국소적 영제어가능성을 입증한다. 이는 토러스의 부분집합 ω에 국한된 내부 제어를 통해 초기 상태에서 입자 분포와 유체 속도를 모두 0으로 이끌 수 있음을 보여준다. 증명은 환류 방법(return method)과 Leray-Schauder 고정점 정리에 기반하며, 제어 영역 ω가 스트립 조건을 만족해야 한다는 기하학적 조건이 필요하다.

ABSTRACT

We prove a null controllability result for the Vlasov-Navier-Stokes system, which describes the interaction of a large cloud of particles immersed in a fluid. We show that one can modify both the distribution of particles and the velocity field of the fluid from any initial state to the zero steady state, by means of an internal control. Indeed, we can modify the non-linear dynamics of the system in order to absorb the particles and let the fluid at rest. The proof is achieved thanks to the return method and a Leray-Schauder fixed-point argument.

연구 동기 및 목표

• 입자 분포와 유체 속도가 모두 0이 되도록 하는 2차원 Vlasov-Navier-Stokes 시스템의 영제어가능성을 확립한다.
• 비선형 상호작용과 비국소적 결합을 포함하는 결합된 운동역학-유체 시스템을 제어하는 데 도전하는 문제를 다룬다.
• 입자 운동에 국한된 소스 항을 통해 입자 동역학에 제어 메커니즘을 도입하여 운동역학-유체 모델의 제어 가능성을 확장한다.
• 비선형성과 비국소적 결합에도 불구하고, 제어가 유한 시간 내에 영정적 평형 상태에 도달하도록 구성될 수 있음을 증명한다.
• 환류 방법과 고정점 기법을 활용한 복잡한 운동역학-유체 시스템을 제어하기 위한 구조적 프레임워크를 제공한다.

제안 방법

• 유한 시간 간격 이후 시스템을 평형 상태로 되돌리는 기준 궤적을 구성하기 위해 환류 방법을 활용한다.
• 시스템을 0으로 이끄는 제어 함수 G의 존재성을 보일 수 있도록 Leray-Schauder 고정점 정리를 적용한다.
• 입자가 유체에 미치는 피드백 효과를 모델링하기 위해 마찰력 상호작용 항을 포함한 수정된 Navier-Stokes 시스템을 구성한다.
• 제어 효과의 전파에 필요한 기하학적 조건을 확보하기 위해 제어 영역 ω에 대해 스트립 조건을 도입한다.
• 해의 진동을 허용하는 변화에 대해 해의 진화를 유한하게 제한하기 위해 Vlasov-Navier-Stokes 시스템에 대해 안정성 추정을 수립한다.
• 정규성과 잘 정의된 문제를 보장하기 위해 소볼레프 공간과 르베그 공간에서의 강한 해 이론과 함수해석학을 기반으로 한다.

실험 결과

연구 질문

• RQ1 내부 제어를 통해 임의의 초기 자료로부터 Vlasov-Navier-Stokes 시스템을 영정적 평형 상태로 이끌 수 있는가?
• RQ2 2차원 설정에서 영제어가능성을 확보하기 위해 제어 영역 ω에 필요한 기하학적 조건는 무엇인가?
• RQ3 비선형 운동역학-유체 시스템과 비국소적 결합에 대해 환류 방법을 어떻게 적응시킬 수 있는가?
• RQ4 입자 분포와 유체 속도 장을 동시에 0으로 동시에 제어할 수 있는가?
• RQ5 해의 존재성과 유일성을 보장하기 위해 필요한 기능적 프레임워크와 정규성 가정은 무엇인가?

주요 결과

• 제어 영역 ω가 스트립 조건을 만족할 경우, 주어진 함수 공간 내의 임의의 초기 자료에 대해 유한 시간 T 동안 국소적 영제어가능성이 확보된다.
• 해 (f,u)가 f(T,·,·) = 0 및 u(T,·) = 0을 만족하는 제어 함수 G ∈ C⁰([0,T] × T² × R²)가 존재한다.
• Leray-Schauder 정리에 의해 구성된 연산자에 대해 고정점의 존재성을 입증함으로써 제어 문제의 해 존재성을 보장한다.
• Vlasov-Navier-Stokes 시스템에 대해 안정성 추정이 유도되었으며, 초기 자료나 외력의 작은 변화가 해에 제어 가능한 영향을 미친다는 것을 보여준다.
• 환류 방법이 비선형성과 비국소적 결합을 포함하는 시스템에 성공적으로 적용되었으며, 기존의 유체 모델을 넘어서 적용 가능성을 넓혔다.
• 동일한 조건 하에서 해의 유일성이 증명되었으며, 제어가 잘 정의되고 안정적임을 확인한다.