[論文レビュー] Carleman estimates and controllability results for fully-discrete approximations of 1-D parabolic equations

Víctor Hernández-Santamaría, Pedro González‐Casanova|arXiv (Cornell University)|Dec 3, 2020

Stability and Controllability of Differential Equations参考文献 23被引用数 4

ひとこと要約

本稿では、1次元放物型方程式の完全離散化近似に対して、離散パラメータ $h$ と $\Delta t$ が大きなカルレマンパラメータに依存する新しいカルレマン推定式を確立する。この推定式を用いて、線形および半線形完全離散系のノルム制御可能性を保証する緩和された観測可能性不等式を導出する。これにより、適切なパラメータスケーリングのもとで、空間的・時間的離散化が施された状況下でも制御が達成可能であることが示される。

ABSTRACT

In this paper, we prove a Carleman estimate for fully-discrete approximations of parabolic operators in which the discrete parameters $h$ and $ riangle t$ are connected to the large Carleman parameter. We use this estimate to obtain relaxed observability inequalities which yield, by duality, controllability results for fully-discrete linear and semilinear parabolic equations.

研究の動機と目的

• 1次元放物型方程式の完全離散化近似に対する離散カルレマン推定式の構築を目的とし、空間（$h$）および時間（$\\Delta t$）の離散化パラメータを考慮する。
• 標準的な制御可能性が数値的分散や不安定性のため失われる場合に生じる、連続的制御理論と離散的数値スキームとの間のギャップを埋める。
• 新しい離散カルレマン推定式を用いて、完全離散線形および半線形放物型系の観測可能性およびノルム制御可能性の結果を確立する。
• 離散観測可能性定数がメッシュパラメータ $h$ および $\Delta t$ にどのように依存するかを、カルレマンパラメータとのスケーリング条件下で分析する。
• 標準的な離散手法が失敗する場合でも、完全離散化下で制御可能性が保たれるように、きめ細やかな枠組みを提供する。

提案手法

• 空間および時間の両演算子に対して離散微積分学的ツールを適用し、変数変換を導入することで、新しい完全離散カルレマン推定式を導出する。
• 離散微分 $\partial_h$ および $\overline{D}_t$ の推定に重み付きノルムを用い、境界項および内部項を制御するための離散部分積分を適用する。
• 重要なステップとして、カルレマンパラメータに依存する重み関数 $\eta$ を導入し、離散解の成長を推定式内で制御する。
• 離散コーシー・シュワルツおよびヤングの不等式を用いて、離散ラプラシアン $\Delta_h$ および時間微分 $\overline{D}_t$ に起因する交差項を抑え、主エネルギー項に吸収させる。
• 空間離散および時間離散推定式を組み合わせ、大きなカルレマンパラメータを用いた下位項の慎重な吸収により、離散カルレマン推定式を構築する。
• 最終的な推定式は元の変数に戻され、メッシュサイズおよび時間ステップに依存する離散観測可能性不等式が得られる。

実験結果

リサーチクエスチョン

• RQ1 離散パラメータ $h$ および $\Delta t$ がカルレマンパラメータに依存する1次元放物型方程式の完全離散化近似に対して、カルレマン推定式を確立できるか？
• RQ2 導出された離散カルレマン推定式が、完全離散線形放物型系のノルム制御可能性を保証する緩和された観測可能性不等式に導くか？
• RQ3 双対性および不動点法を用いて、観測可能性不等式を半線形放物型方程式へ拡張できるか？
• RQ4 離散設定下における観測可能性定数がメッシュサイズ $h$ および時間ステップ $\Delta t$ にどのように依存するか？
• RQ5 標準的な数値スキームが不安定性や分散のため失敗する場合でも、完全離散化下でノルム制御可能性を保持できるか？

主な発見

• インパルス・オイラー法および中心差分法を用いた新しい完全離散カルレマン推定式が、$h$ および $\Delta t$ がカルレマンパラメータに依存する範囲で確立された。
• 離散カルレマン推定式により、$\|q^0\|_{L^2} \leq C_{obs} \left( \int\!\!\!\int_{\omega_h \times (0,T)} |q|^2 \right)^{1/2}$ の形の緩和された観測可能性不等式が得られ、$C_{obs}$ は適切なスケーリングのもとで $h$ および $\Delta t$ に依存しない。
• 完全離散線形放物型系のノルム制御可能性が証明され、$h$ および $\Delta t$ がカルレマンパラメータにスケーリングされる場合、制御コストはメッシュサイズに依存しない。
• 半線形の場合、離散観測可能性不等式に基づく不動点法により、初期データが小さい範囲で制御の存在が保証された。
• 離散パラメータがカルレマンパラメータに結びつけられる場合、制御可能性と数値的離散化が整合可能であることが示された。標準的なスキームで見られる制御可能性の喪失を回避できる。
• 解析により、$h \sim \Delta t^{1/2}$ の条件下で、離散観測可能性定数が有界に保たれることが明らかになった。これは、離散設定下での制御性の維持に不可欠な条件である。