[论文解读] The Inequalities for Some Types of $q$-Integrals

Predrag M. Rajković, Sladjana D. Marinković+1 more|ArXiv.org|May 8, 2006

Mathematical Inequalities and Applications参考文献 3被引用 11

一句话总结

本文建立了经典积分不等式（切比雪夫、格吕施、赫尔梅特-哈达姆德等）的 $q$-类比，适用于三种不同类型的 $q$-积分：标准 $q$-积分 $I_q$、受限 $q$-积分 $G_q$ 和黎曼型 $q$-积分 $R_q$。通过利用函数变换和级数收敛性，推导出涉及正函数 $q$-积分有界性的新不等式，包括卡塞尔型与拉赫-里巴里奇型不等式，关键结果表明在比值约束 $m \leq f/g \leq M$ 下可获得紧致界。

ABSTRACT

We discuss the inequalities for $q$-integrals because of the fact that the inequalities can be very useful in the future mathematical research. Since $q$-integral of a function over an interval $[a,b]$ is defined by the difference of two infinite sums, there a lot of unexpected troubles in analyzing analogs of well-known integral inequalities. In this paper, we will signify to some directions to exceed this problem.

研究动机与目标

• 将经典积分不等式推广至包含多种 $q$-积分类型的 $q$-微积分框架。
• 解决由于 $q$-积分的无穷级数定义在标准积分不等式失效时引发的分析难题。
• 利用比值有界性 $m \leq f/g \leq M$，为正函数的 $q$-积分建立新的、紧致的不等式。
• 通过变换算子 $\widehat{f}$、$\widetilde{f}$ 和 $\breve{f}$ 统一并比较 $I_q$、$G_q$ 和 $R_q$ 积分的行为。

提出的方法

• 定义三种 $q$-积分类型：$I_q$（从 0 到 b 的无穷级数）、$G_q$（从 $bq^n$ 到 b 的有限和）以及 $R_q$（在区间 $[a,b]$ 上的黎曼型和）。
• 引入变换算子：$\widehat{f}(x) = f(a + (b-a)x)$、$\widetilde{f}(x) = b f(bx) - a f(ax)$、$\breve{f}(x) = f(bx) - f(ax)$，以将 $[0,1]$ 上的积分与 $[a,b]$ 上的积分关联起来。
• 利用引理 2.1 将 $I_q(f;a,b)$ 和 $R_q(f;a,b)$ 与 $[0,1]$ 上的 $I_q$-积分关联，从而实现已知不等式的转移。
• 通过代入变换后的函数并利用幂函数的凸性/凹性，将经典不等式（卡塞尔、拉赫-里巴里奇）应用于 $q$-和。
• 通过比值约束推导界：$m = \min f/g$，$M = \max f/g$，从而导出涉及 $J_q(f^2)J_q(g^2)$ 和 $J_q(fg)^2$ 的不等式。
• 利用詹森不等式推导 $p$-次幂不等式，区分 $p \notin (0,1)$ 和 $p \in (0,1)$ 两种情形。

实验结果

研究问题

• RQ1 如何将切比雪夫和格吕施等经典积分不等式推广至具有无穷或有限和定义的 $q$-积分？
• RQ2 在何种条件下，赫尔梅特-哈达姆德与格吕施不等式的 $q$-类比对 $I_q$、$G_q$ 和 $R_q$ 积分成立？
• RQ3 变换算子 $\widehat{f}$、$\widetilde{f}$ 和 $\breve{f}$ 如何实现将 $[a,b]$ 上的 $q$-积分转化为 $[0,1]$ 上的积分？
• RQ4 当 $f/g$ 有界于 $m$ 和 $M$ 之间时，$J_q(f^2)J_q(g^2)$ 的紧致界如何用 $J_q(fg)^2$ 表示？
• RQ5 $q$-积分的 $p$-次幂不等式如何依赖于 $t^p$ 的凸性及 $p$ 的取值？

主要发现

• 卡塞尔型不等式成立：对于满足 $m \leq f/g \leq M$ 的正函数，有 $0 \leq J_q(f^2)J_q(g^2) \leq \frac{(m+M)^2}{4mM} (J_q(fg))^2$，且在比值恒定时取等。
• 导出更精细的界：$0 \leq \sqrt{J_q(f^2)J_q(g^2)} - J_q(fg) \leq \frac{(√{M} - √{m})^2}{2√{mM}} J_q(fg)$，表明与等式的偏离程度取决于边界几何平均。
• 差值 $J_q(f^2)J_q(g^2) - (J_q(fg))^2$ 的上界为 $\frac{(M-m)^2}{4mM} (J_q(fg))^2$，量化了相关性的强弱。
• 当 $p \notin (0,1)$ 时，有 $ (J_q(fg))^p \leq (J_q(f^2))^{p-1} J_q(f^{2-p}g^p) $，而当 $p \in (0,1)$ 时不等式方向相反，依据为 $t^p$ 的凸性。
• 拉赫-里巴里奇不等式给出：当 $p \notin (0,1)$ 时，有 $J_q(f^{2-p}g^p) + \frac{mM(M^{p-1}-m^{p-1})}{M-m} J_q(f^p) \leq \frac{M^p - m^p}{M-m} J_q(fg)$，当 $p \in (0,1)$ 时不等式方向相反。
• 当 $p=2$ 时的特例为 $J_q(g^2) + m M J_q(f^2) \leq (m + M) J_q(fg)$，在比值有界条件下将二次积分与乘积积分联系起来。