中国科学院大学 2024年数学分析第0题
📝 题目
七．（15 分）设 $f$ 为 $\displaystyle \mathbb{R}$ 上的凸函数，$\displaystyle \varphi$ 为闭区间 $E$ 上的连续函数，证明：
$$
f\left(\frac{1}{\mu(E)} \int_{E} \varphi(x) \mathrm{d} x\right) \leq \frac{1}{\mu(E)} \int_{E} f \circ \varphi(x) \mathrm{d} x
$$
其中 $\displaystyle \mu(E)$ 为 $E$ 的长度．（可能有误）
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：理解条件和目标
已知 $f$ 是 $\mathbb{R}$ 上的凸函数，$\varphi$ 是闭区间 $E$ 上的连续函数，$\mu(E)$ 表示区间 $E$ 的长度。要证明：
$$f\left(\frac{1}{\mu(E)} \int_E \varphi(x) \, dx\right) \leq \frac{1}{\mu(E)} \int_E f(\varphi(x)) \, dx$$
公式：$$f\left(\frac{1}{\mu(E)} \int_E \varphi(x) \, dx\right) \leq \frac{1}{\mu(E)} \int_E f(\varphi(x)) \, dx$$
提示：注意这是凸函数Jensen不等式在积分形式下的特例，测度为勒贝格测度。
步骤 2/5
目标：引入平均值并利用凸函数性质
令 $m = \frac{1}{\mu(E)} \int_E \varphi(x) \, dx$，即 $\varphi$ 在 $E$ 上的平均值。由凸函数的性质，存在一个次梯度（实数 $c$），使得对任意实数 $y$，有：
$$f(y) \geq f(m) + c(y - m)$$
公式：$$f(y) \geq f(m) + c(y - m)$$
提示：凸函数不一定可微，但次梯度总是存在的，这是证明的关键。
步骤 3/5
目标：代入并积分
将 $y = \varphi(x)$ 代入不等式，得：
$$f(\varphi(x)) \geq f(m) + c(\varphi(x) - m)$$
两边在区间 $E$ 上积分（$\varphi$ 连续保证可积）：
$$\int_E f(\varphi(x)) \, dx \geq \int_E \left[ f(m) + c(\varphi(x) - m) \right] dx$$
公式：$$\int_E f(\varphi(x)) \, dx \geq \int_E \left[ f(m) + c(\varphi(x) - m) \right] dx$$
提示：积分时注意测度为勒贝格测度，区间长度有限。
步骤 4/5
目标：拆分积分并化简
右边拆分为两项：
$$\int_E f(m) \, dx + c \int_E (\varphi(x) - m) \, dx$$
第一项：$\int_E f(m) \, dx = f(m) \cdot \mu(E)$。
第二项：$\int_E (\varphi(x) - m) \, dx = \int_E \varphi(x) \, dx - m \mu(E)$。
由 $m$ 的定义，$\int_E \varphi(x) \, dx = m \mu(E)$，故第二项为 $0$。
公式：$$\int_E f(\varphi(x)) \, dx \geq f(m) \cdot \mu(E)$$
提示：注意 $\mu(E) > 0$，因为区间长度为正。
步骤 5/5
目标：除以区间长度得到结论
两边同时除以 $\mu(E) > 0$，得：
$$\frac{1}{\mu(E)} \int_E f(\varphi(x)) \, dx \geq f(m)$$
而 $m = \frac{1}{\mu(E)} \int_E \varphi(x) \, dx$，因此原不等式成立：
$$f\left(\frac{1}{\mu(E)} \int_E \varphi(x) \, dx\right) \leq \frac{1}{\mu(E)} \int_E f(\varphi(x)) \, dx$$
公式：$$f\left(\frac{1}{\mu(E)} \int_E \varphi(x) \, dx\right) \leq \frac{1}{\mu(E)} \int_E f(\varphi(x)) \, dx$$
提示：这是凸函数Jensen不等式的积分形式，证明完成。
步骤 6/6
目标：说明可积性与条件
$\varphi$ 在闭区间 $E$ 上连续，故可积；凸函数 $f$ 在 $\mathbb{R}$ 上连续（凸函数在开区间内连续，$\mathbb{R}$ 上亦然），因此复合函数 $f \circ \varphi$ 连续，从而可积。积分均按 Lebesgue 测度（长度）理解，题目中“可能有误”的标注不影响推理。
提示：确保所有积分有意义，这是应用积分不等式的先决条件。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。