[论文解读] A NEW IMPROVEMENT OF HÖLDER INEQUALITY VIA ISOTONIC LINEAR FUNCTIONALS

İmdat Işcan|arXiv (Cornell University)|Jan 1, 2019

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

一句话总结

本文通过使用有序线性泛函，提出了一种霍尔德不等式的新型改进，推广了经典的积分与求和形式。通过将权函数分解为正分量，并对导出项应用杨不等式，该方法得到了比以往结果更紧的界，尤其在双积分估计中表现显著，给出了显式且更精确的误差界。

ABSTRACT

In this paper, new improvement of celebrated Hölder inequality by means of isotonic linear functionals is established. An important feature of the new inequality obtained in here is that many existing inequalities related to the Hölder inequality can be improved via new improvement of Hölder inequality. We also show this in an application.

研究动机与目标

• 为有序线性泛函提出广义的霍尔德不等式，以统一并改进现有的积分与求和形式。
• 通过将权函数分解为多个正分量，克服经典霍尔德不等式的局限性。
• 通过改进现有误差估计，为双积分建立更紧的界。
• 提供一个适用于各种函数设定（包括积分、求和与双积分）的框架。
• 证明新不等式在凸坐标设定下严格优于已知结果。

提出的方法

• 在集合 E 上引入具有保序性与线性性质的有序线性泛函 A，使其可推广至标准积分之外的范围。
• 定义权函数 α、β、w，并对每个分量应用霍尔德不等式，得到两项之和：A(αwf^p)^{1/p}A(αwg^q)^{1/q} + A(βwf^p)^{1/p}A(βwg^q)^{1/q}。
• 对两项之比应用杨不等式，证明上界小于或等于经典霍尔德项。
• 将不等式应用于特定泛函：黎曼积分、有限求和，以及通过涉及二阶混合偏导数的已知引理处理双积分。
• 利用 |∂²f/∂t∂s|^q 在坐标上的凸性，对双积分估计中的余项进行有界。
• 通过计算 [0,1]×[0,1] 上 |1−2t|^p|1−2s|^p 的积分，得出涉及 (p+1)^{-2/p} 的显式误差界常数。

实验结果

研究问题

• RQ1 如何通过有序线性泛函在经典形式之外改进霍尔德不等式？
• RQ2 当二阶混合偏导数在坐标上为凸函数时，双积分余项的最紧可能界是什么？
• RQ3 新不等式在相同设定下是否能持续优于现有界？
• RQ4 将权函数分解为 α、β 以及使用杨不等式如何促进更紧的估计？
• RQ5 新不等式在积分与离散求和形式中是否均适用且更优？

主要发现

• 新不等式 (3.1) 通过将权函数分解为两个正分量，为 A(wfg) 提供了比经典霍尔德不等式更紧的上界。
• 不等式 (3.2) 证明了两个改进项之和始终小于或等于经典霍尔德项，从而确认了改进的有效性。
• 在双积分情形下，新界 (4.2) 严格优于先前的界 (4.1)，这通过涉及 16 次方根与 36 次方根的不等式链得以证明。
• 界 (4.2) 中的误差项包含四个不同的系数项：4,2,2,1 和 2,4,1,2 等，反映了为提升精度而设计的非对称权分布。
• 显式计算表明 ∫₀¹∫₀¹ t(1−s)|1−2t|^p|1−2s|^p dtds = 1/(4(p+1)²)，这对推导最终误差估计至关重要。
• 最终界 (4.2) 在最坏情况下最多比 (4.1) 小 4 倍，常数之比为 4 × (1/16)^{1/q} = 4^{-1/q+1}，显示出非平凡的改进。