Feedback Linearization of Hyperbolic PDEs with Volterra Nonlinearities

ミロシュラフ・クリスティックによる論文「ボルテラ非線形性を持つ双曲型 PDE のフィードバック線形化」の詳細な技術的要約を以下に示す。

1. 問題定式化

本論文は、空間ボルテラ非線形性によって摂動を受ける無限次元非線形システム、すなわち第一階双曲型偏微分方程式（PDE）のフィードバック線形化という特定の問題を取り扱っている。

プラントは非線形源項を伴う輸送方程式としてモデル化される：
$$u_t(x, t) = u_x(x, t) + F[u](x, t), \quad x \in [0, 1), \ t \ge 0$$
ここで、境界制御 $u(1, t) = U(t)$ と初期条件 $u(x, 0) = u_0(x)$ が課される。

非線形性 $F[u]$ は、第二階から始まる空間変数に関する無限ボルテラ級数である：
$$F[u](x, t) = \sum_{n=2}^{\infty} \int_{T_n(x)} f_n(x, \xi_1, \dots, \xi_n) \prod_{i=1}^n u(\xi_i, t) \, d\xi_n \dots d\xi_1$$
ここで、$T_n(x)$ は単体領域 $0 \le \xi_n \le \dots \le \xi_1 \le x$ を表す。核 $f_n$ は収束を確保するために特定の成長 bound（階乗成長）を満たすと仮定される。

目的： 非線形状態変換（ボルテラ級数）と境界フィードバック則を構成し、閉ループ系を同次境界条件 ($w_t = w_x, w(1,t)=0$) を持つ安定な線形輸送方程式に変換することである。これにより、$L^2$ ノルムにおける局所指数安定性を達成する。

2. 手法

このアプローチは、以前放物型 PDE や ODE に適用されていたバックステッピング手法を、双曲型非線形設定へ拡張するものである。中核的な戦略は以下の通りである：

1. ボルテラ変換： 非線形な変数変換が提案される：
   $$w(x, t) = u(x, t) - K[u](x, t)$$
   ここで、$K[u]$ は未知の核 $k_n$ を持つボルテラ作用素である。
2. 一致条件： 変換をプラント動力学に代入し、目標動力学 ($w_t = w_x$) を強制することで、核 $k_n$ に関する階層的な線形 PDE が導かれる。
3. 核方程式： 各次数 $n \ge 2$ において、核は単体 $T_n(1)$ 上の第一階線形輸送方程式を満たす：
   $$\partial_x k_n + \sum_{i=1}^n \partial_{\xi_i} k_n = -f_n + \text{低次核からの結合項}$$
   これらの方程式は $n=2$ から始めて再帰的に解かれる。
4. 収束解析：
   • 直接変換： 著者らは、輸送方程式の特性表現から導かれる再帰的不等式を用いて核 $k_n$ に対する $L^2$ 評価を確立する。彼らは優級数の議論（核ノルムを収束するべき級数と比較する）を用いて、$K[u]$ のボルテラ級数が原点の近傍で収束することを証明する。
   • 逆変換： 放物型の場合に用いられていた形式的な級数逆転とは異なり、本論文では $L^2$ 上の縮小写像の議論を用いて逆変換の存在と一意性を証明し、明示的なリプシッツ評価と可逆半径を提供する。
5. 安定性証明： 目標系の安定性（有限時間でのゼロへの収束）は、変換およびその逆の双リプシッツ性を用いて元の系へ転送される。

3. 主要な貢献

A. 双曲型 PDE への拡張

これは、放物型クラス（Vazquez & Krstic, 2008）から双曲型クラスへの非線形 PDE フィードバック線形化の最初の成功した拡張である。

• 構造的相違： 放物型核方程式はエネルギー評価を必要とする第二階 PDE であるのに対し、双曲型核方程式は第一階輸送方程式である。
• 技術的利点： これにより、特性曲線に沿った明示的な解が可能となり、複雑なエネルギー法に代わってグロンワール型不等式を介した核評価の導出が簡素化される。

B. 厳密な逆変換

本論文は、放物型の場合で用いられていた形式的な Boyd–Chua 級数逆転を、直接の縮小写像の議論に置き換える。

• 結果： これにより、逆写像のリプシッツ定数および吸引領域の半径に対する明示的な定量的評価が得られ、実用的な安定性保証に不可欠である。

C. フレシェ微分可能性

本論文は、バックステッピング変換 $T = I - K$ とその逆が、$L^2$ における原点の近傍でフレッシュ微分可能（具体的には $C^1$）であることを証明する。これにより、有限次元 ODE フィードバック線形化で用いられる座標変換に類似した、真の無限次元微分同相写像として変換が確立される。

D. PDE 不要な構成（Chen–Fliess 部分クラス）

第 11 節では、Chen–Fliess 級数に関連する「輸送適応型」ボルテラ非線形性の部分クラスに対して、重要な理論的ブレイクスルーが提示される。

• 還元： 核が特定の多項式ギャップ基底展開を許容するプラントの場合、単体 PDE の無限カスケードは $[0, 1]$ 上の三角カスケードのスカラー ODEに還元される。
• 数値積分： 核は、いかなる PDE も解くことなくスカラー数値積分（積分）によって計算できる。これは、特定の無限次元クラスにおいて、フィードバック線形化問題が本質的に空間変数において一次元であることを示している。

4. 主要な結果

1. 局所指数安定性： 閉ループ系が $L^2$ ノルムにおいて局所指数安定であることが証明される。吸引領域は、変換のリプシッツ定数を含む小ゲイン条件によって明示的に特徴づけられる。
2. ボルテラ級数の収束： 本論文はバックステッピング核の成長に対する厳密な評価を提供し、特定の $L^2$ 球内の初期条件に対してボルテラ級数が収束することを保証する。
3. 数値的検証： 非線形偏微分代数方程式（PDAE）の例がシミュレーションされる。結果は以下のことを示す：
   • オープンループ系は有限時間で発散する。
   • 切断されたフィードバック（低次）は発散を遅らせるが、防止はしない。
   • 完全な（または十分に高次の）ボルテラフィードバック線形化は、系を成功裏に安定化する。
4. 特定クラスに対する解析解： Chen–Fliess 部分クラスに対して、高次元単体積分の必要性を回避し、スカラー積分のみを用いて制御器係数を計算する明示的なアルゴリズムが提供される。

5. 意義

• 理論的マイルストーン： 非線形双曲型 PDE のフィードバック線形化という、数十年にわたる制御理論の課題を解決する。ボルテラ級数アプローチが無限次元非線形制御の正しい枠組みであることを確認する。
• 方法論的転換： 双曲型 PDE の輸送構造を利用することで、放物型の場合と比較して核評価に必要な解析的機構を簡素化する。
• 計算機科学的洞察： 特定の無限次元クラスが（スカラー ODE による）PDE 不要な実現を許容するという発見は、非線形 PDE 制御が高次元 PDE の解決を伴わなければならないという仮定に挑戦する。非線形性を持つ輸送優位システムの制御器設計に対する新たな道を開く。
• イシドリへの敬意： この研究は、アルベルト・イシドリの基礎的な幾何学的制御理論へのオマージュとして機能し、フィードバック線形化や微分同相写像といった概念を有限次元 ODE から無限次元 PDE 領域へ成功裏に翻訳する。

要約すると、本論文は、広範なクラスの非線形双曲型 PDE を安定化するための、完全で厳密かつ計算機科学的洞察に富む枠組みを提供し、幾何学的非線形制御理論と無限次元システム間のギャップを埋めるものである。