[论文解读] 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

一句话总结

本文建立了具有广义时滞的新型非线性滞后积分不等式，其形式为Gronwall-Bihari型，使用非减的 $ C^1 $ 函数作为上积分限。通过结合次乘函数、广义对数积分的反函数以及迭代估计技术，推导出滞后微分与积分方程解的显式上界，相较于先前结果，对所涉及函数的假设更为宽松。

ABSTRACT

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

研究动机与目标

• 通过允许上积分限为 $ C^1 $ 非减函数 $ \alpha(t) \leq t $ 而非 $ t $ 本身，推广现有滞后积分不等式。
• 弱化所涉函数的假设，特别是将 $ \Phi(\cdot) $ 的次可加性条件替换为仅次乘性条件，并去除限制性的可微性要求。
• 利用广义积分变换和对数型积分的反函数，推导出滞后方程解的显式上界。
• 通过推广时间尺度上的早期结果，为连续和离散时间系统提供一个适用框架。
• 将Gronwall型不等式的适用范围扩展至包含非线性项和记忆项的更复杂滞后系统。

提出的方法

• 提出一个新颖的引理2.1，通过指数加权和沿延迟路径的积分，对滞后积分不等式的解进行界定。
• 定义广义对数型积分 $ G(x) = \int_0^x \frac{ds}{\Phi(1 + W(s))} $，其反函数 $ G^{-1} $ 用于估计非线性项。
• 构造一个函数 $ p(s) $，用于聚合核函数 $ k(s,\tau) $、次乘函数 $ \Phi $ 以及延迟状态 $ u(\tau) $ 的累积效应，从而实现递归估计。
• 应用逐次估计法：首先通过修正的积分不等式界定主解，然后利用反变换估计辅助函数。
• 使用非减函数 $ \alpha(t) $、$ \beta(t) $ 建模时滞，使积分的上界小于 $ t $，从而捕捉滞后动力学。
• 将结果应用于滞后积分方程（11），通过 $ q(t) $、$ G^{-1}(p(s)) $ 和指数加权项，推导出 $ |u(t)| $ 的显式上界。

实验结果

研究问题

• RQ1 如何将Gronwall-Bihari型不等式推广至上积分限为 $ C^1 $ 非减函数 $ \alpha(t) \leq t $ 的时滞系统？
• RQ2 为确保滞后积分不等式中解的有界性，对函数 $ \Phi $、$ W $ 和 $ k $ 的最小假设条件是什么？
• RQ3 能否利用广义对数积分的反函数，推导出滞后方程解的显式上界？
• RQ4 使用次乘函数替代次可加函数，对估计过程和最终上界有何影响？
• RQ5 函数 $ p(s) $ 在捕捉解估计中延迟状态的累积非线性效应方面起什么作用？

主要发现

• 本文建立了新的滞后积分不等式（定理2.2），其上界为一般形式 $ \alpha(t) $，并给出了 $ 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 $ 具备次乘性，而非次可加性，且允许更一般的时滞结构，从而实现改进。
• 该方法具有鲁棒性，适用于连续和离散系统，如在含记忆项和非线性项的滞后积分方程中的应用所示。