[論文レビュー] Small-Gain-Based Boundary Feedback Design for Global Exponential Stabilization of 1-D Semilinear Parabolic PDEs

Iasson Karafyllis, Miroslav Krstić|arXiv (Cornell University)|Sep 11, 2018

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

ひとこと要約

本稿では、非線形項が線形成長条件を満たし、非局所項を含む1次元半線形放物型PDEのグローバル指数的安定化のための小利得に基づく境界フィードバック設計を提示する。この手法は、線形静的および非線形動的境界コントローラーを構築し、放物型の場合に境界フィードバックによる任意のゲイン割り当てが根本的になされないことを証明する。具体的な例により、適用可能性が示されている。

ABSTRACT

This paper presents a novel methodology for the design of boundary feedback stabilizers for 1-D, semilinear, parabolic PDEs. The methodology is based on the use of small-gain arguments and can be applied to parabolic PDEs with nonlinearities that satisfy a linear growth condition. The nonlinearities may contain nonlocal terms. Two different types of boundary feedback stabilizers are constructed: a linear static boundary feedback and a nonlinear dynamic boundary feedback. It is also shown that there are fundamental limitations for feedback design in the parabolic case: arbitrary gain assignment is not possible by means of boundary feedback. An example with a nonlocal nonlinear term illustrates the applicability of the proposed methodology.

研究の動機と目的

• 1次元半線形放物型PDEのグローバル指数的安定化のための体系的境界フィードバック設計手法の開発。
• 小利得の議論を非局所非線形項を有するPDEに拡張すること。
• 線形静的および非線形動的の2つの異なるクラスの境界フィードバックコントローラーの構築。
• 放物型PDEにおける境界フィードバックによるゲイン割り当ての根本的制限の特定。
• 非局所非線形項を有する具体例を通じて、手法の有効性の実証。

提案手法

• 非線形項の存在下でもロバスト性と安定性を確保するため、小利得の議論を用いる。
• リャプノフに基づく小利得フレームワークを用いて、線形静的境界フィードバックを構築する。
• より複雑な非線形成長挙動に対処するため、非線形動的境界フィードバックを提案する。
• 非線形項に非局所項を組み込むために、小利得分析フレームワークにそれらを統合する。
• PDEのエネルギーとフィードバックダイナミクスを考慮したリャプノフ関数を用いて安定性を証明する。
• 半群理論を適用可能にするために、PDEをヒルベルト空間における抽象的コーシー問題に変換する。

実験結果

リサーチクエスチョン

• RQ1 非局所非線形項を有する1次元半線形放物型PDEに対して、小利得の議論を効果的に境界フィードバックコントローラー設計に応用できるか？
• RQ2 線形成長条件の下で、グローバル指数的安定化を達成できる境界フィードバックのタイプとして、線形静的または非線形動的のどちらが適しているか？
• RQ3 放物型PDEの設定において、境界フィードバックによる任意のゲイン割り当ては可能か？
• RQ4 非局所非線形項は、安定性および境界コントローラーの設計にどのように影響を与えるか？
• RQ5 境界フィードバックが放物型PDEの所望の収束速度を達成する上で、根本的な制限は何か？

主な発見

• 提案された小利得に基づく境界フィードバック設計は、線形成長条件を満たす非線形項を有する1次元半線形放物型PDEのグローバル指数的安定化を保証する。
• 線形静的フィードバックおよび非線形動的フィードバックの2種類の異なる境界コントローラーが成功裏に構築され、両者ともグローバル指数的安定性を達成する。
• 本稿では、放物型PDEにおいて境界フィードバックによる任意のゲイン割り当てが根本的になされないことが確立され、重要な制限が明らかにされた。
• 本手法は、非局所非線形項を有するPDEにも適用可能であり、その具体例を通じてそれが確認された。
• 安定性解析は、エネルギーの減衰とフィードバック相互作用を捉えるリャプノフ関数を用いて行われ、指数的収束が保証される。
• 理論的枠組みは、非局所項を有する具体例を通じて検証され、提案された設計の実用的妥当性が確認された。