[论文解读] On the Hadamard's type inequalities for L-Lipschitzian mapping

Mehmet Zeki Sarıkaya, Haticeyaldiz|arXiv (Cornell University)|May 22, 2010

Mathematical Inequalities and Applications参考文献 8被引用 13

一句话总结

本文建立了关于两个变量的 L-Lipschitz 映射的新 Hadamard 型不等式，将经典的 Hermite-Hadamard 不等式推广至双变量 L-Lipschitz 函数。通过引入一个参数化积分映射 H(t,s)，作者推导出涉及 Lipschitz 常数 L₁ 和 L₂ 的精确误差界，证明了积分平均值与中点值之间的偏差在 Lipschitz 半范数意义下被 O((b−a) + (d−c)) 所有界。

ABSTRACT

In this paper, we establish some new inequalities of Hadamard's type for L-Lipschitzian mapping in two variables.

研究动机与目标

• 将经典的 Hermite-Hadamard 不等式推广至双变量 L-Lipschitz 映射。
• 建立对双变量 L-Lipschitz 函数的双重积分用其中点值近似时的精确误差估计。
• 分析定义在 R² 中矩形区域上的参数化积分算子 H(t,s) 的 Lipschitz 连续性。
• 推导积分平均值与定义域中心处函数值之间偏差的定量界。

提出的方法

• 定义一个参数化积分映射 H(t,s)，使其在矩形 [a,b]×[c,d] 上插值函数的中点值与边界值之间。
• 利用三角不等式和 f 的 L-Lipschitz 性质，证明 H(t,s) 在 [0,1]×[0,1] 上是 L-Lipschitz 连续的。
• 推导两个关键误差界：一个为 H(t,s) 与中点值 f((a+b)/2, (c+d)/2) 之间的误差，另一个为 H(t,s) 与完整双重积分之间的误差。
• 通过变量替换和对 t,s ∈ [0,1] 的积分，将参数化映射与原始积分平均值联系起来。
• 应用 Lipschitz 条件，以 |t₂−t₁| 和 |s₂−s₁| 的加权和来界定函数值之间的差异。
• 建立一个最终不等式，将子矩形四个角点值的加权平均与完整积分进行比较，余项被有界于 1/12(M₁|n₂−n₁| + M₂|m₂−m₁|)。

实验结果

研究问题

• RQ1 如何将经典的 Hermite-Hadamard 不等式推广至 R² 中矩形区域上双变量 L-Lipschitz 函数？
• RQ2 参数化积分算子 H(t,s)（将 (t,s) ∈ [0,1]×[0,1] 映射到以中点为中心的收缩矩形上 f 的平均值）的 Lipschitz 行为如何？
• RQ3 当 f 为 L-Lipschitz 时，f 的双重积分与其中点近似之间的精确误差界是什么？
• RQ4 Lipschitz 常数 L₁ 和 L₂ 如何影响积分平均值趋近于中点值的收敛速度？
• RQ5 能否以显式常数将子矩形角点处函数值的加权平均与完整积分进行有界比较？

主要发现

• 映射 H(t,s) 在 [0,1]×[0,1] 上被证明是 L-Lipschitz 连续的，其界为 |H(t₂,s₂)−H(t₁,s₁)| ≤ (L₁(b−a)/4)|t₂−t₁| + (L₂(d−c)/4)|s₂−s₁|。
• H(t,s) 与中点值 f((a+b)/2, (c+d)/2) 之间的差值被有界于 (L₁t(b−a)/4) + (L₂s(d−c)/4)。
• H(t,s) 与完整双重积分之间的差值被有界于 (L₁(1−t)(b−a)/4) + (L₂(1−s)(d−c)/4)。
• 对角点值的近似与双重积分之间的偏差被有界于大小为 (1/12)(M₁|n₂−n₁| + M₂|m₂−m₁|) 的余项，其中 M₁ 和 M₂ 是函数偏导数上 Lipschitz 常数的和。
• 结果将经典的 Hermite-Hadamard 不等式推广至双变量 L-Lipschitz 函数，以区域大小和 Lipschitz 常数的形式提供了显式的误差估计。
• 所推导的不等式是精确的，如定理 1 证明中的等号情形所示，该情形被用作主要结果的基础。