[論文レビュー] Boundary Control of Reaction-Diffusion PDEs on Balls in Spaces of Arbitrary Dimensions

Rafael Vázquez, Miroslav Krstić|arXiv (Cornell University)|Nov 20, 2015

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

ひとこと要約

本稿では、n次元球面上の不安定な線形反応拡散PDEを背後制御法を用いて安定化する明示的な出力フィードバック境界制御則を提示する。球面調和関数を用いた分解と、1次元背後制御カーネルとポアソンカーネルに類似した関数の積として定義される制御および観測器カーネルの設計により、閉ループ系の$H^1$ノルムにおける指数的安定性が証明される。

ABSTRACT

An explicit output-feedback boundary feedback law is introduced that stabilizes an unstable linear constant-coefficient reaction-diffusion equation on an $n$-ball (which in 2-D reduces to a disk and in 3-D reduces to a sphere) using only measurements from the boundary. The backstepping method is used to design both the control law and a boundary observer. To apply backstepping the system is reduced to an infinite sequence of 1-D systems using spherical harmonics. Well-posedness and stability are proved in the $H^1$ space. The resulting control and output injection gain kernels are the product of the backstepping kernel used in control of one-dimensional reaction-diffusion equations and a function closely related to the Poisson kernel in the $n$-ball.

研究の動機と目的

• n次元球面上の不安定な線形反応拡散PDEを安定化する明示的な出力フィードバック境界制御則の設計。
• 既存の1次元および2次元の背後制御および観測器設計を、任意の空間次元に拡張すること。
• 閉ループ系の適切な定義および$H^1$ソボレフ空間における指数的安定性の証明。
• 制御および観測器ゲインカーネルを、1次元背後制御カーネルとポアソンカーネルに類似した関数を含む構造的形で構築すること。
• 多エージェントネットワークや意見動態などの高次元系へのPDE制御手法の適用を可能にすること。

提案手法

• 球面調和関数による分解を用いて、n次元反応拡散PDEを無限個の独立した1次元系に変換する。
• 各調和モードに背後制御法を適用し、$H^1$ノルムにおける指数的安定性を保証する状態フィードバック制御則を設計する。
• 同じ背後制御フレームワークを用いて、境界での半径方向微分測定値のみを用いた境界観測器を同時に設計する。
• 制御および観測器ゲインカーネルを、半径方向の1次元背後制御カーネルと、n次元球内のポアソンカーネルに関連する関数の積として構築する。
• エネルギー法、Poincaré型不等式およびGronwallの不等式を用いて、$H^1$ノルムにおける適切な定義および指数的安定性を証明する。
• 物理空間における完全な制御および観測器則の再構築を行い、その構造および安定性特性を検証する。

実験結果

リサーチクエスチョン

• RQ1 背後制御法を用いて、n次元球面上の反応拡散PDEに対して明示的な出力フィードバック境界制御則を設計できるか？
• RQ2 球面調和関数による分解をどのように用いることで、n次元PDEを背後制御に適した1次元系の集合に低次元化できるか？
• RQ3 高次元における制御および観測器カーネルの解析的構造は何か？また、ポアソンカーネルなどの既知の関数とどのように関係しているか？
• RQ4 得られた閉ループ系は、任意の$n \geq 1$に対して適切に定義され、$H^1$ノルムにおいて指数的安定性を示すか？
• RQ5 このフレームワークは、空間的または時間的に変化する係数を有する系、あるいはより複雑な領域を持つ系へ拡張可能か？

主な発見

• 境界測定値のみを用いて、n次元球面上の不安定な反応拡散PDEを安定化する明示的な出力フィードバック境界制御則が構築された。
• 制御および観測器ゲインカーネルは、1次元背後制御カーネルと、n次元球内のポアソンカーネルに類似した関数の積として表現された。
• エネルギー法およびGronwallの不等式を用いて、閉ループ系の$H^1$ノルムにおける指数的安定性が証明された。
• カーネル積分方程式およびトレース不等式の厳密な解析を通じて、閉ループ系の適切な定義が確立された。
• 安定性結果はすべての次元$n \geq 1$にわたって一様に成り立ち、リャプノフ汎関数を用いて明示的な減衰率が導出された。
• 本手法により、多エージェント配置や複雑なネットワークにおける意見動態をモデル化する高次元系の安定化が可能となった。