[論文レビュー] Local controllability of the Cahn-Hilliard-Burgers' equation around certain steady states

Manika Bag, Sheetal Dharmatti+2 more|arXiv (Cornell University)|Jan 30, 2026

Stability and Controllability of Differential Equations被引用数 0

ひとこと要約

要約の直訳: 本論は、定常状態の周りで1D Cahn-Hilliard-Burgers系の局所的零入力制御性を線形化・新しい Carleman 不等式・源項法・Banach固定点を用いて証明する。

ABSTRACT

In this article we study the local controllability of the one-dimensional Cahn-Hilliard-Navier-Stokes equation, that is Cahn-Hilliard-Burgers' equation, around a certain steady state using a localized interior control acting only in the concentration equation. To do it, we first linearize the nonlinear equation around the steady state. The linearized system turns out to be a system coupled between second order and fourth order parabolic equations and the control acts in the fourth order parabolic equation. The null controllability of the linearized system is obtained by a duality argument proving an observability inequality. To prove the observability inequality, a new Carleman inequality for the coupled system is derived. Next, using the source term method, it is shown that the null controllability of the linearized system with non-homogeneous terms persists provided the non-homogeneous terms satisfy certain estimates in a suitable weighted space. Finally, using a Banach fixed point theorem in a suitable weighted space, the local controllability of the nonlinear system is obtained.

研究の動機と目的

• 1D での結合した Cahn-Hilliard-Navier-Stokes（Cahn-Hilliard-Burgers）系の制御可能性の研究動機づけ。
• 局所的制御性が解析される定常状態を特定する。
• 濃度方程式に内部制御を持つ線形化系の零入力制御性を確立する。
• 重み付き空間での不動点論を用いて非線形系へ拡張する。

提案手法

• 定常状態を周囲に取り、CH-Burgers系を2階と4階の連成パラボリック系へ線形化。
• 双対性の議論と観測不等式を用いて線形化系の零入力制御性を証明。
• 連成系に対する新しい Carleman 不等式を導出し、観測不等式を確立。
• 重み付き空間で非齟齬項を扱う源項法を適用し、零入力制御性を保持。
• 適切な重み付き空間で Banach 固定点定理を用い、線形制御性を非線形系へ伝達。

実験結果

リサーチクエスチョン

• RQ1 1D の Cahn-Hilliard-Burgers 系を濃度方程式の内部制御のみで定常状態へ導くことができるか。
• RQ2 線形化系は開集合上で局所化された制御により零入力制御性を持つか。
• RQ3 与えられた境界条件で連成2階・4階パラボリック系の Carleman 推定を構築し、観測性を得られるか。
• RQ4 非線形系を固定点論によって局所的に制御できる条件は何か。

主な発見

• 定常状態の周りでの線形化系は、(L2(0,1))^2 において、(0,1) の任意の開部分集合 O に支えられた制御により零入力制御性を持つ。
• 共役系の観測不等式は、連成系に特化した新しい Carleman 不等式を通じて確立された。
• 非齟齬項を含む場合でも、重み付き空間で適切な見積りにより零入力制御性を維持。
• Banach 固定点論を用いた局所的零入力制御性は、定常状態の周りで非線形 CH-Burgers 系へ伝搬される。
• 線形系の制御コストは M e^{M(T+1/T^m)} によって上界され、m>3。