[論文レビュー] Null controllability for parabolic equations with dynamic boundary conditions of reactive-diffusive type

Lahcen Maniar, Martin Meyries+1 more|arXiv (Cornell University)|Nov 4, 2013

Stability and Controllability of Differential Equations参考文献 21被引用数 8

ひとこと要約

本稿は、反応拡散型（表面拡散）の動的境界条件を有する線形および準線形放物型方程式について、ゼロ制御可能性を確立する。著者らは、これらの境界条件に特化した新しいカルレマン推定式を用いて、任意の初期データ $ L^2(\bar{\Omega}) $ に対して、時間 $ T $ において解が消えるような制御 $ v \in L^2((0,T)\times\omega) $ が存在することを証明する。これは、従来の文献で取り扱われていなかったクラスの問題へと制御可能性の結果を拡張する。

ABSTRACT

We prove null controllability for linear and semilinear heat equations with dynamic boundary conditions of surface diffusion type. The results are based on a new Carleman estimate for this type of boundary conditions.

研究の動機と目的

• 表面拡散型の動的境界条件を有する線形および準線形放物型方程式のゼロ制御可能性を確立すること。
• Wentzell型の動的境界条件を有する放物型問題に適した新しいカルレマン推定式を開発すること。
• 従来、ディリクレ条件またはノイマン条件に限られていた制御可能性の結果を、より複雑な動的境界条件のケースに拡張すること。
• 領域および境界上の初期データが、内部制御によって独立に制御可能であることを示すこと。

提案手法

• 線形化された系に伴う動的境界条件を有する双対問題に対して、表面拡散項を組み込んだ新しいカルレマン推定式を導出する。
• カルレマン推定式を用いて、随伴系の観測可能性不等式を証明し、最終状態を領域 $ \omega \Subset \Omega $ の部分領域における観測値と結びつける。
• 双対性の議論を用いて、観測可能性不等式を元の系のゼロ制御可能性結果に変換する。
• 動的境界条件を有する基本放物型系の強解、弱解、分布的解の存在および正則性を確立する。
• Schauderの不動点定理と線形化制御技術を用いて、グローバルリプシッツ非線形性を有する準線形問題への結果の拡張を行う。
• 時間 $ t=0 $ および $ t=T $ で消える指数型重みを有する重み付き $ L^2 $-ノルムを用いて、カルレマン推定式の端点近傍における退化を扱う。

実験結果

リサーチクエスチョン

• RQ1 反応拡散型の動的境界条件を有する放物型方程式について、ゼロ制御可能性を達成できるか？
• RQ2 Wentzell型境界条件（表面拡散を含む）を有する放物型問題に対して、カルレマン推定式が存在するか？
• RQ3 初期データが境界上で独立である場合であっても、内部部分領域 $ \omega \Subset \Omega $ でのみ作用する制御を用いて、時間 $ T $ において解をゼロに制御することは可能か？
• RQ4 境界における表面拡散の滑らか化効果が、カルレマン推定式における境界項の制御にどのように寄与するか？
• RQ5 グローバルリプシッツ非線形性を有する準線形放物型系に対しても、ゼロ制御可能性の結果を拡張できるか？

主な発見

• 制御が任意の空でない開部分集合 $ \omega \Subset \Omega $ に作用する限り、表面拡散型の動的境界条件を有する線形放物型方程式に対して、ゼロ制御可能性が成立する。
• 双対問題に適した、表面拡散および境界における法線方向フラックスの結合を考慮した新しいカルレマン推定式が確立された。
• 観測可能性不等式により、最終状態が内部制御領域 $ \omega $ における観測値によって制御可能であることが保証され、双対性に基づく制御可能性が実現される。
• グローバルリプシッツ非線形性 $ F $ および $ G $ を有する準線形問題に対しても、結果は拡張可能であり、$ F(0)=G(0)=0 $ かつ線形成長を満たす。
• すべての初期データ $ y_0 \in L^2(\Omega) $、$ y_{0,\Gamma} \in L^2(\Gamma) $ に対して、制御 $ v \in L^2((0,T)\times\omega) $ が存在する。初期データが独立であっても成立する。
• 証明は、$ \mathbb{E}_1 $ の $ L^2(0,T;\mathbb{L}^2) $ へのコンパクト埋め込みおよび解写像の連続性に依存しており、これにより準線形系においてSchauderの不動点定理が適用可能となる。