Exponential Stability of Homogeneous Positive Systems of Degree One With Time-Varying Delays

技術要約：時間変動遅延を伴う次数1の同次正系における指数安定性

問題提起
有界な時間遅延が存在する場合の正の線形系の漸近安定性は、すでに十分に確立されている（具体的には、そのようなシステムが遅延に依存しない安定性を有するための必要十分条件は、その遅延のない場合と同等であるという性質）。しかし、非線形正系に関する理論的枠組みは、まだ十分に発展していない。既存の文献は、一定の遅延を仮定した手法や、線形リアプノフ・クラスキ・ファンクショナル（Lyapunov-Krasovskii functionals）を用いた手法に依存することが多いが、これらは過度な保守性を招いたり、遅延が時間変動する場合に適用できなかったりすることがある。さらに、漸近安定性は既知であるが、最大遅延の境界がシステムの「指数減衰率」にどのように影響するかについての鋭い特性化に関する研究は不足している。本論文は、有界で時間変動する遅延を持つ、重要なクラスの非線形正系における、遅延に依存しない指数安定性の確立と減衰率の定量化という課題に取り組むものである。

手法
本論文では、主に以下の2つのクラスのシステムを分析する：

1. 連続時間システム： $\dot{x}(t) = f(x(t)) + g(x(t - \tau(t)))$ で定義される。ここで、$f$ は協調的（cooperative）なベクトル場であり、$g$ は順序保存的（order-preserving）である。両者は次数1の同次関数であると仮定される。
2. 離散時間システム： $x(k+1) = f(x(k)) + g(x(k - d(k)))$ で定義される。ここで、$f$ と $g$ は次数1の同次関数であり、かつ順序保存的である。

著者らは、協調的（Metzlerヤコビ行列）および順序保存的（単調）なベクトル場の性質を利用している。主要な手法的なステップとして、正のベクトル $v$ によって定義される重み付き $l_\infty$ ノルム $\|x\|_v^\infty = \max_i |x_i|/v_i$ を用いる。安定性解析は、ベクトル場を $v$ において評価した際の特定の代数不等式を満たすベクトル $v > 0$ を見つけることに依拠している。

線形システムの場合、著者らは安定条件を最適化問題へと変換している。対数変数変換（$z_i = \ln v_i$）を適用することで、最適な減衰率とそれに関連するベクトル $v$ の探索が、凸最適化問題として定式化できることを示している。これにより、彼らの理論的枠組みによって提供される最もタイトな減衰率の境界を効率的に計算することが可能となる。

主な貢献と結果

1. 指数安定性の必要十分条件：

   • 連続時間： 本論文は、有界な時間変動遅延を持つ同次協調系が、全域的に指数安定であるための必要十分条件は、 $f(v) + g(v) < 0$ を満たすベクトル $v > 0$ が存在することであることを確立している。この条件は遅延のない場合と同一であり、このクラスのシステムにおいて指数安定性が遅延に依存しないことを裏付けている。
   • 離散時間： 同様に、離散時間同次単調系についても、 $v > 0$ かつ $f(v) + g(v) < v$ を満たすベクトル $v$ が存在する場合に、全域的な指数安定性が成立する。

2. 明示的な減衰率の境界：

   • 著者らは、遅延が減衰率に与える影響を定量化するための明示的な式を導出している。
   • 連続時間システムの場合、減衰率 $\eta$ は、遅延上限 $\tau_{max}$ を含む超越方程式の唯一の正の解によって抑えられる：
     $$\left(\frac{f_i(v)}{v_i}\right) + \left(\frac{g_i(v)}{v_i}\right)e^{\eta_i \tau_{max}} + \eta_i = 0$$
   • 離散時間システムの場合、減衰因子 $\gamma$ は以下から導かれる：
     $$\left(\frac{f_i(v)}{v_i}\right) + \left(\frac{g_i(v)}{v_i}\right)\gamma_i^{-d_{max}} = \gamma_i$$
   • これらの結果は、遅延上限が増大するにつれて、保証される減衰率が悪化する（連続時間では0へ、離散時間では1へと接近する）ことを示している。

3. 線形システムにおける最適化：

   • 正の線形システム（$f(x)=Ax, g(x)=Bx$）において、最良の保証減衰率は凸最適化を通じて発見できることを本論文は示している。制約条件は変換された変数において凸であり、これにより効率的な数値解法が可能となる。
   • 本フレームワークは、絶対値行列（$A_M$ および $|B|$）を利用することで、一般的な線形システム（必ずしも正とは限らない）にも拡張されており、$(A_M + |B|)v < 0$ である場合に安定性を保証する。

4. 検証：

   • 理論的な結果は、非線形および線形システム（連続および離散）の両方を含む例証的な例を通じて検証されている。シミュレーションにより、導出された減衰率の上界がタイトであること、および凸最適化アプローチが任意の実行可能ベクトルを用いるよりも大幅に優れた境界を与えることが確認された。

意義と主張
本論文は、正の線形システムにおける「遅延に依存しない安定性」という基本特性を、より広範なクラスである非線形正系（同次協調系および単調系）へと拡張することを主張している。一定の遅延または漸近安定性のみに焦点を当ててきた従来の著作とは異なり、本論文は以下を提供する：

• このクラスのシステムにおける指数安定性が、有界な時間変動遅延の大きさに依存しないことの厳密な証明。
• 遅延の大きさに依存する、減衰率の明示的かつ定量的な境界。
• 正の線形システムのための最適な減衰率を見つけるための構成的な手法（凸最適化）。これは、既存の文献における鋭い特性化の欠如に対処するものである。

著者らは、同次協調系に関する結果は一定の遅延に関する先行研究を拡張するものであるが、時間変動する遅延への拡張および明示的な減衰率の境界の提供は、特に標準的な手法である線形リアプノフ・クラスキ・ファンクショナルがこの文脈では不十分であったり、過度に保守的であったりするため、重要な進展であると述べている。