[論文レビュー] Boundary stabilization of parabolic nonlinear equations

Ionuţ Munteanu|arXiv (Cornell University)|Jan 23, 2015

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

ひとこと要約

本稿では、非線形放物型偏微分方程式の平衡解を安定化するための新しい有限次元境界フィードバック制御則を提案する。従来の研究で要求されていた不安定固有関数の法線微分の線形独立性の必要性を排除した。可逆行列の組み合わせによる制御則の和を構築することで、より弱い仮定のもとで指数的安定化を達成し、熱方程式およびFitzhugh-Nagumo方程式で検証された。

ABSTRACT

Stabilization of equilibrium solution to parabolic like equations via proportional boundary feedbacks.

研究の動機と目的

• 従来の研究で要求されていた、不安定固有関数の法線微分の線形独立性を必要としない境界安定化の限界を克服すること。
• 固有関数の微分系が線形従属であっても定義可能な、非線形放物型方程式の安定化フィードバック制御則を設計すること。
• 比例型境界制御則の適用範囲を、非線形的および非理想的なスペクトル構造を持つ放物型方程式のクラスへ拡張すること。
• 固有関数展開と行列逆行列技術に基づく構成的フィードバック則を用いて、平衡解の局所的指数的安定化を確立すること。
• 固定点論的議論と固有関数の特異性消失性質を用いた厳密な数学的裏付けを提供すること。

提案手法

• 非線形放物型PDEから線形化作用素Aを定義し、その最初のN個の不安定固有値および対応する固有関数φjを特定する。
• 境界制御領域Γ1における法線微分∂νφjのグラミアンから得られるN個の行列Bkを構築し、それぞれに(γk − λi)−1の重みを付ける。
• B = B1 + B2 + ... + BNを構成し、特異性消失性質と行列式解析を用いてその可逆性を証明する。
• Bz = 0の解を用いて、固有関数法線微分の線形結合としてのフィードバック制御則を設計する。
• 固定点論的議論を用いて、線形化系の局所的安定化結果を非線形系へ拡張する。
• 摂動技法を用いて非単純固有値を扱い、小さな作用素変更によって人工的に単純化する。

実験結果

リサーチクエスチョン

• RQ1 非線形放物型方程式に対して、不安定固有関数の法線微分の線形独立性を仮定しないで指数的安定化を保証するフィードバック制御則を設計できるか？
• RQ2 個々の行列が特異であっても、特異なグラミアンに基づく行列の和が可逆となる数学的構造は何か？
• RQ3 古典的な線形独立性条件が成立しない状況下で、フィードバック制御則を明示的に構築・実装する方法は何か？
• RQ4 非単純固有値を有する系へ安定化結果をどの程度まで拡張できるか？
• RQ5 提案手法は、従来の制御則の単純さと実装可能性を保ちつつ、制限的なスペクトル仮定を排除できるか？

主な発見

• 不安定固有関数の法線微分のグラミアンから得られるN個の行列B1 + ... + BNの和は、個々の行列が特異であっても可逆である。
• 提案されたフィードバック制御則は、固有値が単純であるというより弱い仮定のもとで明示的に定義され、{∂νφj}j=1Nの線形独立性を要しない。
• 線形化系において、平衡解peの指数的安定化が達成され、減衰率はパrameter γkの選択に依存する。
• 非線形系では、初期データが平衡解に近い範囲で固定点論的議論により局所的指数的安定化が確立された。
• 本手法は熱方程式およびFitzhugh-Nagumo方程式に適用可能であり、広範な適用可能性を示した。
• 証明は固有関数の特異性消失性質に依拠しており、同次系の非自明解が係数をすべてゼロにすることを保証し、和行列の可逆性を裏付ける。