[論文レビュー] Fredholm Transform and Local Rapid Stabilization for a Kuramoto-Sivashinsky Equation

Jean‐Michel Coron, Qi Lü|arXiv (Cornell University)|Jan 9, 2015

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

ひとこと要約

本稿では、有界区間上でのカウラモト＝シヴァシーン方程式の局所的高速指数的安定化を達成するために、フレドホルム積分変換に基づくフィードバック制御則を提示する。適切な積分変換を構築し、スペクトル解析を活用することで、初期データが十分に小さく、パラメータλが特定の集合N内の臨界値を避ける限り、解が任意の所定の指数的レートでゼロに収束することを保証する。

ABSTRACT

This paper is devoted to the study of the local rapid exponential stabilization problem for a controlled Kuramoto-Sivashinsky equation on a bounded interval. We build a feedback control law to force the solution of the closed-loop system to decay exponentially to zero with arbitrarily prescribed decay rates, provided that the initial datum is small enough. Our approach uses a method we introduced for the rapid stabilization of a Korteweg-de Vries equation. It relies on the construction of a suitable integral transform and can be applied to many other equations.

研究の動機と目的

• 境界制御を用いたカウラモト＝シヴァシーン方程式の局所的高速指数的安定化問題に対処すること。
• 解がゼロに任意に速く減衰するように保証するフィードバック制御則を開発すること。
• 従来のコルトウェーグ＝デ＝ブリス方程式に用いられた手法を、より複雑なカウラモト＝シヴァシーン方程式へと拡張すること。
• 制御可能性を損なう臨界値を避けるために、パラメータλに関する安定化が可能となる条件を同定すること。
• 提案されたフィードバック則のもとでの閉ループ系について、適切な定義と安定性の結果を確立すること。

提案手法

• δ関数源を伴う4階偏微分方程式を解く核k(x,y)を有するフレドホルム積分変換を導入する。
• 変換を用いて、元の非線形PDEを所望の安定性特性を持つ目標系に変換する。
• 変換に基づくフィードバック制御則を構築し、制御入力f(t)を状態に関する線形汎関数として導出する。
• スペクトル解析を適用し、線形化系がλ ∉ Nである場合に限り、近似的に可制御であることを示す。ここでNは臨界値の集合である。
• 適切な関数空間X_Tにおける固定点法を用いて、閉ループ系の局所的適切性を証明する。
• 変換および制御則における適切なパラメータ選択により、解の任意の所定のレートでの指数的減衰を確立する。

実験結果

リサーチクエスチョン

• RQ1 有界区間上でのカウラモト＝シヴァシーン方程式に対して、任意の高速安定化を達成できるフィードバック制御則を設計可能か？
• RQ2 線形化系が近似的に可制御であるために必要な十分な条件は何か？
• RQ3 元の系を所望の安定性を持つ目標系に変換するための積分変換をどのように構築できるか？
• RQ4 この手法は、カウラモト＝シヴァシーン方程式を越えて他の非線形PDEへとどの程度一般化可能か？
• RQ5 臨界集合Nは安定化の可能性を決定づける要因として果たす役割は何か？

主な発見

• 著者らは、初期データが十分に小さい限り、解が任意の所定の減衰レートでゼロに指数的に収束するフィードバック制御則を構築した。
• この手法は、δ関数源を伴う4階PDEを解く核を持つフレドホルム積分変換に依存しており、これにより元の系が所望の安定性を持つ目標系に変換可能である。
• 線形化系はλ ∉ Nである場合に限り、近似的に可制御である。ここでN = {j²π² + k²π² : j,k ∈ ℤ⁺, j ≠ k}であり、これは安定化を阻害する臨界値を定義する。
• 初期データが小さい場合、閉ループ系の適切性は空間X_T = C⁰([0,T];L²(0,1)) ∩ L²(0,T;H²(0,1) ∩ H₀¹(0,1))で確立された。
• 解は推定量|v|_X_T ≤ C₀|v⁰|_L²(0,1)を満たし、初期データに対して安定かつ連続であることが確認された。
• この手法は、コルトウェーグ＝デ＝ブリス方程式への応用例からも示されるように、他のPDEへも一般化可能である。