[论文解读] Some linear and nonlinear integral inequalities on time scales in two independent variables

Rui A. C. Ferreira, Delfim F. M. Torres|ArXiv.org|May 24, 2008

Nonlinear Differential Equations Analysis参考文献 10被引用 3

一句话总结

本文在一般时标上，针对两个自变量的函数，利用时标上的差分微积分和指数函数性质，建立了新的线性和非线性 Gronwall-Bellman-Bihari 型积分不等式。主要贡献是为偏时标动态方程的解提供了广义估计，通过时标微积分推导出显式界，并应用于初边值问题。

ABSTRACT

We establish some linear and nonlinear integral inequalities of Gronwall-Bellman-Bihari type for functions with two independent variables on general time scales. The results are illustrated with examples, obtained by fixing the time scales to concrete ones. An estimation result for the solution of a partial delta dynamic equation is given as an application.

研究动机与目标

• 为任意时标上两个自变量的函数建立积分不等式。
• 将经典的 Gronwall-Bellman-Bihari 不等式推广至具有两个变量的时标设定。
• 利用所推导的不等式，为偏时标动态方程的解提供显式界。
• 通过统一的时标框架，统一并推广现有微分和差分形式的结果。

提出的方法

• 作者利用时标上的差分微积分，推导涉及两个变量函数的双重积分的界。
• 他们应用时标上的指数函数 $ e_p $ 来估计积分不等式的解。
• 证明技术涉及差分微分、积分以及利用回归函数类 $ \mathcal{R} $ 的递归界估计。
• 关键步骤是将不等式转化为可应用已知时标指数函数性质的形式。
• 通过将该方法应用于具有初边值条件的偏时标动态方程，验证了其有效性。
• 使用具体时标如 $ \mathbb{R} $、$ \mathbb{Z} $ 和混合序列 $ \mathbb{T}^\alpha $ 来说明结果。

实验结果

研究问题

• RQ1 如何将 Gronwall-Bellman-Bihari 型不等式扩展至一般时标上两个自变量的情形？
• RQ2 为确保双重积分不等式解的有界性，对函数和时标需要满足哪些必要条件？
• RQ3 所推导的不等式在 $ \mathbb{R} $ 和 $ \mathbb{Z} $ 上如何退化为经典微分和差分形式？
• RQ4 这些结果能否用于估计时标上偏时标动态方程的解？
• RQ5 指数函数 $ e_p $ 在推导此类不等式尖锐界中起到什么作用？

主要发现

• 本文建立了线性积分不等式界：$ u(t_1,t_2) \leq a(t_1,t_2) e_{\int_{a_2}^{t_2} f(t_1,s_2)\Delta_2 s_2}(t_1,a_1) $，适用于非减函数 $ a $ 和非负函数 $ f $。
• 当 $ \mathbb{T}_1 = \mathbb{T}_2 = \mathbb{R} $ 时，该界简化为 $ u(x,y) \leq a(x,y) \exp\left(\int_{x_0}^x \int_{y_0}^y f(t,s) dt ds\right) $，与经典结果一致。
• 当 $ \mathbb{T}_1 = \mathbb{T}_2 = \mathbb{Z} $ 时，该界变为 $ u(m,n) \leq a(m,n) \prod_{s=m_0}^{m-1} \left[1 + \sum_{t=n_0}^{n-1} f(s,t) \right] $，与差分方程界的结论一致。
• 对于混合时标 $ \mathbb{T}^\alpha \times \mathbb{T}^\beta $，该界通过乘积公式 $ e_p(t_k^\alpha, t_0^\alpha) = \prod_{n=1}^k (1 + \alpha_n p(t_{n-1})) $ 表示。
• 对偏时标动态方程的应用得出解估计：$ u(t_1,t_2) \leq \sqrt{g(t_1)+h(t_2)} \left[ e_{\int_0^{t_2} s_2 (g(t_1)+h(s_2))^{-1/2} \Delta_2 s_2}(t_1,0) \right]^{1/2} $。
• 结果是精确的，并通过统一的时标框架，将已知的连续和离散情形下的不等式进行了推广。