점별 추적 최적 제어와 칸 힐러 나비에 스톡스 시스템

초록

본 논문은 2차원 Cahn‑Hilliard‑Navier‑Stokes 연동 시스템에서 질량원 항을 제어 변수로 두고, 제한된 공간점들에서의 상 변수값을 목표값에 가깝게 맞추는 점별 추적 최적 제어문제를 연구한다. 강한 해 존재, 제어‑상태 매핑의 미분 가능성, 전이법(transposition) 기반의 adjoint 시스템 정의 및 1차 최적조건을 제시한다. 또한, 종단 시점 점별 추적을 포함한 변형 문제와 로그형과 같은 특이 퍼텐셜에 대한 확장도 다룬다.

상세 분석

이 연구는 두 개의 불가역적인 유체가 섞이면서도 상분리가 일어나는 현상을 기술하는 Cahn‑Hilliard‑Navier‑Stokes(CHNS) 방정식에, 질량원 U를 제어 변수로 설정하고, Ω의 유한 집합 D={x₁,…,x_k}에서 상 변수 ϕ(x_i,t) 를 미리 지정된 목표 궤적 Φ_i(t) 와 최소화하는 점별 추적 목적함수를 고려한다. 첫 번째 목적함수 J₁은 시간 전 구간에 걸친 L² 추적 오차와 전체 유속 u와 목표 유속 u_d 사이의 L² 차, 그리고 제어 비용 ‖U‖² 를 포함한다. 두 번째 목적함수 J₂는 여기서 추가로 최종 시점 t=T 에서의 점별 추적 항을 더한다. 이러한 점별 평가가 비용함수에 들어가면, 상태 변수의 정규성이 충분히 높아야만 비용이 정의되고, 미분 가능성을 확보할 수 있다. 저자들은 2차원에서 강한 해(ϕ∈L^∞(0,T;H³)∩L²(0,T;H⁴), u∈L^∞(0,T;V_div)∩L²(0,T;H²) 등)의 존재를 증명하고, 초기 데이터와 질량원에 대한 연속 의존성을 정량화하였다. 특히, 이동도와 점성계수가 ϕ에 대해 C², C¹ 로 유계이며, 퍼텐셜 F가 다항 성장 조건을 만족하는 경우에 강해 존재와 정규성을 확보한다.

제어‑상태 매핑 S:U↦(ϕ,u) 의 Fréchet 미분 가능성을 보이기 위해, 선형화된 CHNS 시스템을 분석하고, 그 해가 충분히 높은 Sobolev 공간에 존재함을 증명한다. 여기서 핵심은 Dirac 측정이 포함된 adjoint 방정식의 해석이다. 저자들은 전이법(transposition) 접근을 채택하여, adjoint 변수 (p,q) 를 시험함수와의 쌍대 관계를 통해 정의하고, 존재와 유일성을 확보한다. 이 방법은 측정값이 우변에 나타나는 경우에도 해가 잘 정의되도록 한다. 최적성 1차 조건은 일반적인 변분식 형태인
∫_Q (U* + p)·(U−U*) dxdt ≥ 0
으로 나타내며, 여기서 p는 adjoint 시스템의 질량원에 대응하는 변수이다. 종단 시점 점별 추적을 포함한 J₂ 문제에서는 추가적인 경계조건과 높은 정규성 요구가 발생하지만, 동일한 전이법을 적용해 adjoint 방정식을 구성하고, 최적성 조건을 도출한다.

마지막으로, 로그형 퍼텐셜과 같은 특이 퍼텐셜에 대해서도 동일한 틀을 적용한다. 특이성으로 인해 F′′가 무한대로 발산할 수 있으므로, 해가 (−1,1) 구간에 머무르도록 하는 분리성(separation) 결과를 이용해, 강한 해와 필요한 정규성을 확보한다. 전체적으로, 이 논문은 비선형 연동 PDE 시스템에 대한 점별 추적 최적 제어 이론을 최초로 체계화하고, 전이법을 통한 adjoint 해석과 최적성 조건 도출이라는 두 가지 핵심 기법을 성공적으로 결합하였다.