# 高等数学

凸函数积分不等式

距上次更新 318 天

凸函数积分：Hermite-Hadamard 不等式

Hermite-Hadamard 不等式（Hermite-Hadamard Inequality）是凸分析领域中最著名的不等式之一。它建立了凸函数的中点值、积分平均值与端点算术平均值之间的严格序关系。对于任意凸函数而言，该不等式提供了一个不可逾越的双边界限。

1. 背景

1.1 凸函数的定义

在讨论不等式之前，我们首先回顾凸函数的严格定义：
设 为实数域 上的区间。函数 被称为凸函数（Convex Function），当且仅当对于任意 以及任意 ，满足：

若上述不等号反向，则称 为凹函数（Concave Function）。

1.2 关于权数

  1. 线性插值（分点坐标）：表达式 描述了数轴上介于 和 之间的任意一点。
    • 当 时，点位于 ；
    • 当 时，点位于 ；
    • 当 时，点恰好为中点 。
  2. 加权平均（Weighted Average）：左侧 是自变量加权平均后的函数值，即函数在上的任意点；右侧 是函数值的加权平均，即上任意点的函数值。
  3. 几何意义：在平面直角坐标系中，权重 决定了割线上点的垂直高度。凸性要求函数图象（弧）始终位于连接 与 的弦（割线）下方。

2. 定理表述

定理 (Hermite-Hadamard)
设 是定义在区间 上的凸函数，对于任意 且 ，下述不等式成立：

2.1 几何意义

该不等式具有极强的几何直观性：

  1. 右侧不等式：表示函数曲线下方的面积（积分），不超过连接两端点的割线下方形成的梯形面积。
  2. 左侧不等式：表示函数曲线下方的面积（积分），不小于以中点切线（或通过中点的水平线）为顶边的矩形面积。

3. 证明

为了证明该定理，我们引入参数变换，将一般区间 上的积分问题转化为单位区间 上的参数问题。

3.1 右侧不等式（上界）的证明

目标：证明

证明步骤：
根据凸函数的定义，对于参数 ，取点 。由于 是凸函数，有：

对上式两端关于变量 在 区间上积分：

计算右侧积分：

计算左侧积分（换元法）：
令 ，则 ，即 。
积分限变换：当 ；当 。

联立左右结果，右侧不等式得证。

3.2 左侧不等式（下界）的证明

证明

证明步骤：
根据凸函数的 Jensen 不等式性质，对于任意 ，有 。
令 ， ，其中 。
容易验证，两变量的中点恒定：

代入凸性条件：

对上式关于 在 上积分：

分析积分项：

  1. 不等式左边为常数，积分结果即为 。
  2. 不等式右边包含两个积分项。通过换元法（如同 3.1 节），这两个积分实际上是等价的，均等于 。
    • 第一项：令 ，得 。
    • 第二项：令 ，亦得 。

因此：

化简即得左侧不等式。

4. 应用与推广

Hermite-Hadamard 不等式的一个重要应用是推导各类平均值不等式。

4.1 导出对数平均不等式

考虑函数 ，在区间 上， ，故 为凸函数。
设 ，代入不等式：

  1. 中点项： 。
  2. 积分项： 。
  3. 端点项： 。

由 ，我们得到：

取倒数并整理（注意不等号方向改变），即得著名的平均值链：

其中 为调和平均数， 为对数平均数， 为算术平均数。

题外话：

写去年华工的高数试卷的时候写道了这个证明题，但是没有写出来，后面搜了一下这就是数学分析课本上的定理，还是太菜了，我的数学水平什么时候这么差了qwq（

Contents