[論文レビュー] Retarded integral inequalities of Gronwall-Bihari type

Rui A. C. Ferreira, Delfim F. M. Torres|arXiv (Cornell University)|Jun 28, 2008

Analytic and geometric function theory参考文献 4被引用数 3

ひとこと要約

本稿は、上積分限界として非減少 $ C^1 $ 関数を用いることにより、一般化された時間遅れを有する新しい非線形遅れ付き積分不等式（Gronwall-Bihari型）を確立する。非線形微分方程式および積分方程式の解に対する明示的評価を、部分乗法的関数、一般化対数積分の逆関数、反復推定技術を組み合わせることで得る。従来の結果を弱い関数に関する仮定で拡張する。

ABSTRACT

We establish two nonlinear retarded integral inequalities. Bounds on the solution of some retarded equations are then obtained.

研究の動機と目的

• 上積分限界を $ t $ そのものではなく、$ \alpha(t) \leq t $ を満たす $ C^1 $ 非減少関数 $ \alpha(t) $ に一般化することで、既存の遅れ付き積分不等式を拡張すること。
• 関与する関数に関する仮定を弱める。特に、$ \Phi(\cdot) $ に対して部分加法性を仮定する代わりに部分乗法性のみを要求し、制限的な微分可能性条件を排除すること。
• 一般化された積分変換と対数型積分の逆関数を用いて、遅れ付き方程式の解に対する明示的上界を導出すること。
• 時間スケールに関する先行研究を一般化することで、連続時間および離散時間システムの両方に適用可能な枠組みを提供すること。
• 非線形項および記憶項を有するより複雑な遅れ付きシステムへのGronwall型不等式の適用範囲を拡張すること。

提案手法

• 遅れ付き積分不等式の解を指数的重み付けと遅延路線に沿った積分を用いて評価する、新規な補題2.1を導入する。
• 一般化対数型積分 $ G(x) = \int_0^x \frac{ds}{\Phi(1 + W(s))} $ を定義し、その逆関数 $ G^{-1} $ を非線形項の推定に用いる。
• カーネル $ k(s,\tau) $、部分乗法的関数 $ \Phi $、および遅延状態 $ u(\tau) $ の累積的効果を統合する関数 $ p(s) $ を構築し、再帰的推定を可能にする。
• 逐次推定法を適用する：まず修正された積分不等式を用いて主解を評価し、次に逆変換を用いて補助関数を推定する。
• 非減少関数 $ \alpha(t) $、$ \beta(t) $ を用いて時間遅れをモデル化し、積分の上端を $ t $ より小さくすることで、遅れ動的を捉える。
• 結果を遅れ付き積分方程式 (11) に適用し、$ q(t) $、$ G^{-1}(p(s)) $、指数的重み項を用いて $ |u(t)| $ の明示的評価を導出する。

実験結果

リサーチクエスチョン

• RQ1 上積分限界が $ t $ ではなく、$ \alpha(t) \leq t $ を満たす $ C^1 $ 非減少関数 $ \alpha(t) $ であるような時間遅れ付きシステムに対して、Gronwall-Bihari型不等式をどのように拡張できるか？
• RQ2 遅れ付き積分不等式における解の有界性を保証するための、関数 $ \Phi $、$ W $、$ k $ に対する最小限の仮定は何か？
• RQ3 一般化対数積分の逆関数を用いることで、遅れ付き方程式の解に対する明示的上界を導出できるか？
• RQ4 部分加法性ではなく部分乗法性を用いることで、推定プロセスおよび得られる上界にどのような影響を与えるか？
• RQ5 関数 $ p(s) $ は、解推定における遅延状態の累積的非線形効果をどのように捉えているか？

主な発見

• 本稿は、一般化された上端 $ \alpha(t) $ を有する新しい遅れ付き積分不等式（定理2.2）を確立し、$ u(t) $ に対する評価を $ q(t) $ と $ q(s) $ の指数的重み付き積分の形で与える。ここで $ q(t) $ は一般化対数積分 $ G^{-1}(p(s)) $ の逆関数を含む。
• 非線形関数 $ h(u(s)) $ を含む場合、定理2.6は $ \mathcal{H}^{-1} $ を用いて評価を導出し、$ \mathcal{H}(x) = \int_{x_0}^x \frac{ds}{h(s)} $ であるため、より広い非線形クラスに枠組みを拡張する。
• 遅れ付き方程式 (11) の解の上界は、明示的に $ |u(t)| \leq q(t) + t\int_0^{\alpha(t)} \exp(t(\alpha(t) - s)) q(s) ds $ として与えられ、$ t \in [a, t_*] $、$ t_* \in (a, \alpha(b)] $ で有効であり、$ p(t) \in \text{Dom}(G^{-1}) $ を満たすように保証される。
• 関数 $ q(t) = k + \int_0^{\alpha(t)} G^{-1}(p(s)) ds $ は、$ G(x) = \int_0^x \frac{ds}{\Phi(1 + s)} $ であり、$ p(s) $ は遅延非線形効果を統合するための計算可能な上界を提供する。
• 本稿の結果は、$ \Phi $ の部分乗法性のみを仮定し、部分加法性を要件としないこと、およびより一般化された時間遅れ構造を許容することにより、従来の研究を改善している。
• 本手法は連続系および離散系の両方に適用可能であり、ロバストであることが、記憶項および非線形項を有する遅れ付き積分方程式への応用によって示された。