技術的概要：PDE に対する ISS のための統一的なリアプノフ手法

問題提起

本論文は、外部擾乱を受ける偏微分方程式（PDE）に対する入力 - 状態安定性（ISS）の確立という課題に取り組み、特に境界擾乱に焦点を当てている。ISS 理論は有限次元システムや分布型（領域内）擾乱を伴う PDE に対してはよく発展しているが、境界擾乱を伴う PDE の解析は依然として困難である。この困難さは、境界擾乱がシステムの抽象定式化において非有界な入力演算子をもたらすことに起因し、標準的な安定性解析にとって重大な障壁となっている。

境界擾乱を処理する既存の手法には、固有関数展開、半群理論、単調性手法、および De Giorgi 反復が含まれる。しかし、これらのアプローチはしばしば以下の制限に悩まされる：

• 線形演算子に基づく手法（例：固有関数展開）は、通常、1 次元の線形 PDE に限定される。
• ソボレフ埋め込みに基づく古典的リアプノフ手法（CLM）は、ディリクレ型の境界擾乱に対して困難に直面する。これは、リアプノフ導関数に生じる境界項を容易に処理できないためである。
• 多くの既存手法は、非線形 PDE や高次元領域への拡張が容易ではない。

したがって、複雑なスペクトル解析や許容性条件に依存することなく、多様な PDE クラス（放物型、双曲型、線形、非線形）および各種の境界条件（ディリクレ条件を含む）を処理可能な統一的な枠組みが必要とされている。

手法：一般化リアプノフ手法（GLM）

本論文は、**一般化 ISS リアプノフ汎関数（GISS-LF）の構築に依存する一般化リアプノフ手法（GLM）**を提案し、実証する。

中核概念

システム状態 $x$ のみに依存する古典的 ISS リアプノフ汎関数（CISS-LF）とは異なり、GISS-LF（$\bar{V}(x, u)$ と表記）は、外部入力（擾乱）$u$ を明示的に組み込む。この汎関数は、変換された状態に適用された古典的リアプノフ候補の和として構築される：
$$\bar{V}(x, u) = \sum_{i \in I} V(h_i(x, u))$$
ここで、$h_i(x, u)$ は擾乱の大きさに基づいて状態をシフトさせる連続関数である。

主要な技術的ステップ

1. 切断関数：本手法はStampacchia の切断技術を利用する。与えられた擾乱の上限に対して、切断関数 $g(s)$ とその積分 $G(s)$ が定義される。これらの関数は負の引数に対してゼロとなり、正の引数に対してべき関数（$s^p$）のように振る舞う。
2. 擾乱依存シフト：擾乱の supremum ノルムに基づいて定数 $M$ が構築される（例：$M = \phi^{-1}(\|d\|_\infty) + \dots$）。次に、GISS-LF は、$V(w - M)$ や $V(-w - M)$ のようにシフトされた状態に対してリアプノフ候補を評価することで形成される。
3. 導関数解析：GISS-LF の時間微分は、部分積分（高次元の場合はグリーン公式）を用いて計算される。切断関数の特定の構造と $M$ の選択により、擾乱を含む境界項が非正となるか、相殺されることが保証される。
4. 不等式：この解析は、基本的な微分不等式（Agmon、Poincaré、Jensen、Young、Gronwall）および切断関数の特定の性質（性質 G1–G8）に依存し、減衰率と ISS 評価を導出する。

主要な貢献と結果

本論文は、3 つの代表的な PDE クラスに対する GISS-LF の構築に関する体系的なチュートリアルを提供し、任意の $q \in [2, \infty]$ に対する $L^q$ 空間における ISS 評価を確立する。

1. N 次元非線形放物型方程式

• システム：混合非線形境界擾乱（$\Gamma_1$ 上でディリクレ、$\Gamma_2$ 上でロビン/ノイマン）および分布型領域内擾乱を伴う高次元放物型方程式。
• 構築：GISS-LF は $\bar{V}(w) = V(w - M) + V(-w - M)$ として構築され、ここで $V(w) = \int_\Omega G(w) dy$ である。
• 結果：システムが $L^q$ ノルムにおいて ISS であることが証明される。評価式は、初期状態の影響の指数関数的減衰と、擾乱からの有界なゲインを示す。

2. 1 次元 1 階非線形双曲型方程式

• システム：半導体製造をモデル化する双曲型方程式であり、ここで速度は総質量（状態の積分）に依存する。
• 構築：境界結合を処理するために指数重み $e^{-ry}$ を用いた重み付き GISS-LF が使用される：$\bar{V}(\rho) = V(\rho - M) + V(-\rho - M)$。
• 結果：
  • 大域 ISS：速度関数に対する一定の下限仮定の下で確立される。
  • 局所 ISS：一般的な速度関数に対して確立され、ここで減衰率は初期状態と擾乱の上限に依存する。
  • 局所的および大域的な $L^q$ ノルムの両方に対して評価が導出される。

3. 1 次元 2 階線形双曲型方程式（波動方程式）

• システム：境界速度減衰および境界擾乱を伴う波動方程式。
• 構築：状態は特性変数（$w_t \pm c w_y$）に分解される。GISS-LF は、$M$ だけシフトされたこれらの特性変数を含む 4 つの項の和である：
  $$\bar{V}(w) = \sum V_i(\text{特性変数} \pm M)$$
• 結果：この手法は境界減衰項と擾乱項を同時に処理することに成功する。$L^q$ ノルムにおける明示的な ISS 評価が導出される。特筆すべきは、本枠組みの下では擾乱のないシステムが超安定（有限時間安定）であることが論文で強調されている点である。

意義と主張

本論文は、境界擾乱を伴う PDE に対する古典的リアプノフ手法（CLM）に対する重要な進展として GLM を位置づけている。

• ディリクレ擾乱の処理：主な主張は、GLM がディリクレ境界擾乱に関する CLM の特定の制限を克服する点にある。シフト $M$ を通じて擾乱の上限をリアプノフ汎関数に明示的に組み込むことで、境界項を有界にできないという古典的アプローチが直面する「障壁」を回避する。
• 統一的枠組み：著者らは、GLM が放物型、1 階双曲型、および 2 階双曲型方程式に適用可能な統一的アプローチを提供し、線形および非線形の両方のケースを網羅すると主張している。
• 単純性と効率性：この手法は主に部分積分と標準的な不等式に依存し、以下の必要性を回避する：
  • 入力演算子の許容性条件の検証（半群アプローチで必要）。
  • 複雑なスペクトル解析または固有関数展開（Riesz スペクトルアプローチで必要）。
• 柔軟性：このアプローチは、任意の $L^q$ 空間（$q \in [2, \infty]$）における ISS 評価の構築を可能にし、$L^2$ に限定された手法よりもシステムロバスト性の包括的な特徴付けを提供する。

本論文は、PDE 構造の多様性により、すべての PDE に適用可能な GISS-LF の構築は依然として未解決の課題であるが、GLM は最も代表的な PDE クラスに対して強力かつ体系的なツールを提供し、制御器設計および観測器合成における将来の応用への道を開くと結論づけている。