Cahn‑Hilliard‑Burgers 방정식의 지역 제어 가능성 연구

초록

본 논문은 1차원 Cahn‑Hilliard‑Burgers(=Cahn‑Hilliard‑Navier‑Stokes) 시스템을 일정한 평형 상태 주변에서 내부 국소 제어를 이용해 지역적으로 영(0)으로 끌어올 수 있음을 보인다. 선형화 후 2차와 4차 파라볼릭 방정식이 결합된 형태의 시스템에 대해 새로운 Carleman 부등식을 도출하고, 관측 불평등을 이용해 선형 시스템의 영 제어 가능성을 증명한다. 이후 source‑term 방법과 가중 공간에서의 Banach 고정점 논법을 적용해 비선형 시스템의 지역 영 제어 가능성을 얻는다.

상세 분석

이 연구는 Cahn‑Hilliard‑Navier‑Stokes 모델을 1차원으로 단순화한 Cahn‑Hilliard‑Burgers 방정식에 초점을 맞춘다. 모델은 농도 φ와 평균 속도 u를 변수로 하며, φ‑방정식은 4차 미분 연산자를 포함하는 Cahn‑Hilliard 형태이고, u‑방정식은 2차 미분 연산자를 갖는 Burgers 형태이다. 저자들은 φ가 상수(0,±1을 제외)이고, u가 작은 외력 f_s에 대해 존재하는 정적 해 (ū, φ̄)를 기준점으로 잡는다. 이 기준점 주변에서 w = u‑ū, ψ = φ‑φ̄ 로 변수를 변환하면, 비선형 항 N₁, N₂가 포함된 결합 시스템(1.6)‑(1.7)이 얻어진다.

제어는 오직 φ‑방정식(4차 방정식)의 우변에 χ_O h 형태로 삽입되며, 이는 공간적 부분집합 O⊂(0,1)에서만 작용한다. 먼저 비선형 시스템을 선형화하여 (1.9)‑(1.11) 형태의 선형 결합 시스템을 얻는다. 여기서 γ₁≠0(φ̄≠0,±1) 때문에 w‑방정식이 ψ‑방정식에 일방향으로 결합된다. 저자들은 이 선형 시스템이 모든 초기 데이터 (w₀,ψ₀)∈L²(0,1)²에 대해 적절한 h∈L²(0,T;L²(O))를 선택하면 T시점에 (w,ψ)=(0,0)이 되도록 하는 영 제어 가능성을 증명한다.

핵심 기술은 adjoint 시스템에 대한 새로운 Carleman 부등식이다. 기존 연구에서는 각각의 2차 혹은 4차 방정식에 대해 별도 Carleman 추정이 알려져 있었지만, 여기서는 두 방정식이 서로 결합되고 경계조건이 혼합(Dirichlet, Neumann, 삼중 경계)되어 있어 기존 부등식을 그대로 적용할 수 없었다. 저자들은 가중 함수와 매개변수를 정교히 설계해 두 방정식 모두를 동시에 억제할 수 있는 통합 Carleman 부등식을 도출하였다. 이를 통해 adjoint 해에 대한 관측 불평등을 얻고, 힐베르트 공간의 대수적 트랜스포즈를 이용해 원래 선형 시스템의 영 제어 가능성을 얻는다. 제어 비용은 ‖h‖{L²(0,T;L²(O))} ≤ M e^{M(T+1/T^m)}‖(w₀,ψ₀)‖{L²×L²} 형태로, m>3인 자연수에 따라 지수적으로 증가한다.

선형 결과를 바탕으로 source‑term 방법을 적용한다. 이는 비동질 항 f₁, f₂가 가중 공간 L²(0,T;H^{-1}) 등에서 충분히 작은 경우에도 영 제어 가능성을 유지한다는 것을 보인다. 마지막 단계에서는 비선형 항 N₁, N₂가 작은 초기 데이터(‖(w₀,ψ₀)‖≤μ)에서 Lipschitz 연속성을 만족한다는 점을 이용해, 가중 공간에서 정의된 연산자를 Banach 고정점 정리로 다루어 비선형 시스템(1.6)‑(1.7)의 지역 영 제어 가능성을 확보한다. 여기서 μ는 시스템 파라미터와 제어 비용 상수에 의해 결정되는 충분히 작은 양이다.

이 논문의 주요 기여는 (1) 2차와 4차 파라볼릭 방정식이 결합된 시스템에 대한 새로운 Carleman 부등식, (2) 내부 국소 제어가 4차 방정식에만 작용함에도 불구하고 전체 시스템을 제어할 수 있음을 증명한 점, (3) 가중 공간과 source‑term 기법을 결합해 비선형 시스템까지 확장한 점이다. 또한, 제어 비용의 명시적 추정과 작은 외력/초기 데이터 가정이 명확히 제시되어 향후 고차원, 비정상 경계조건, 혹은 다중 제어 입력을 고려한 연구에 대한 기반을 제공한다.