[論文レビュー] Unique continuation and approximate controllability for a degenerate parabolic equation

Piermarco Cannarsa, Jacques Tort+1 more|arXiv (Cornell University)|Jul 16, 2011

Stability and Controllability of Differential Equations参考文献 10被引用数 5

ひとこと要約

本稿では、1次元空間における弱く退化する放物型方程式について、退化点におけるディリクレ境界制御を用いた近似的可制御性を確立する。著者らは、空間に減少する重み関数を有する新しい局所カルレマン推定式を導出し、随伴作用素に対する一意的拡張性を証明する。これにより、退化集合上で関数およびその正規微係数が消える解は恒等的にゼロでなければならないことが示され、境界制御による近似的可制御性が保証される。

ABSTRACT

This paper studies unique continuation for weakly degenerate parabolic equations in one space dimension. A new Carleman estimate of local type is obtained to deduce that all solutions that vanish on the degeneracy set, together with their conormal derivative, are identically equal to zero. An approximate controllability result for weakly degenerate parabolic equations under Dirichlet boundary condition is deduced.

研究の動機と目的

• 弱く退化する放物型方程式に対して、退化境界点におけるディリクレ境界制御を用いた近似的可制御性を確立すること。
• 境界制御下での退化作用素に対して、特に制御が退化部分の境界に作用する場合に、null可制御性の結果が不足している問題を克服すること。
• 空間に減少する重み関数を有する弱く退化する放物型作用素に特化した、新しい局所カルレマン推定式を開発すること。
• 退化点における関数およびその正規微係数がゼロとなる解の随伴方程式に対する一意的拡張性を証明すること。
• 標準的な双対性技法が退化により失敗するため、退化放物系において局所分布制御と境界制御の間のギャップを埋めること。

提案手法

• 空間に減少する重み関数を用いて、随伴作用素 $ L u = u_t + (x^\beta u_x)_x $ に対して、新しい局所カルレマン推定式を導出する。ここで $ 0 \leq \alpha < 1 $ である。
• カルレマン推定式を用いて、$ Lu = 0 $ を満たす任意の解 $ u $ が $ u(0,t) = (x^\alpha u_x)(0,t) = 0 $ を満たすならば、その解は領域内で恒等的にゼロであることを証明する。
• 双対性の議論を適用する：元の作用素 $ P $ の近似的可制御性は、随伴作用素 $ L $ の一意的拡張性に帰着される。
• 制御から状態への写像 $ B: g \mapsto u_g(T) $ を定義し、その像が $ L^2(0,1) $ で稠密であることを示す。これには、像の直交補空間が自明であることを証明する。
• 後向き随伴問題の解 $ \hat{v} $ を用いて、制御入力 $ g $ と最終状態の間の関係を $ (u_g(T), v)_{L^2} = \int_0^T (x^\alpha \hat{v}_x)(0,t) g(t) dt $ という恒等式で結びつける。
• 一意的拡張性の結果を活用し、$ (x^\alpha \hat{v}_x)(\cdot, 0) \equiv 0 $ ならば $ \hat{v}(T) = 0 $ であることが示され、これにより $ \hat{v} = 0 $ となり、$ B $ の像が稠密であることが示される。

実験結果

リサーチクエスチョン

• RQ1 境界制御が退化境界点にのみ作用する場合、弱く退化する放物型方程式に対して近似的可制御性を達成できるか。
• RQ2 退化点におけるディリクレ型境界条件の下で、弱く退化する放物型作用素の随伴作用素に対して、一意的拡張性を確立することは可能か。
• RQ3 空間に減少する重み関数を有する局所カルレマン推定式を構築し、境界での退化を扱うことは可能か。
• RQ4 標準的な双対性技法が退化作用素に対して失敗することは、境界制御が可制御性を達成できないことを示唆するか。
• RQ5 退化点における解およびその正規微係数にどのような条件が課わられると、解が恒等的にゼロであることが保証されるか。

主な発見

• 空間に減少する重み関数を用いて、随伴作用素 $ Lu = u_t + (x^\alpha u_x)_x $ に対して、新しい局所カルレマン推定式が導出された。ここで $ 0 \leq \alpha < 1 $ である。
• 領域 $ Q $ 内で $ Lu = 0 $ を満たす任意の解 $ u $ が $ u(0,t) = (x^\alpha u_x)(0,t) = 0 $ を満たすならば、その解は $ Q $ 全体で恒等的にゼロであることが証明され、強い一意的拡張性が確立された。
• 一意的拡張性の結果により、退化境界で関数およびその正規微係数がゼロとなる唯一の解はゼロ解であることが示された。
• 元の退化放物型方程式 $ Pu = u_t - (x^\alpha u_x)_x = 0 $ に対して、$ x = 0 $ におけるディリクレ境界制御を用いた近似的可制御性が確立された。
• 制御から最終状態への写像 $ B $ は $ L^2(0,1) $ で稠密な像を持つことが示され、これは双対性および一意的拡張性の結果を通じて証明された。このことは、近似的可制御性と同値である。
• 結果はすべての $ T > 0 $ に対して成り立ち、制御は二段階に分かれて構築可能である：初期データから中間状態への時間発展、その後に境界制御による目標状態への近接制御。