南京师范大学 2021年数学分析第0题

考研真题

📝 题目

二、设 $\displaystyle f(x)$ 是开区间 $I$ 内的凸函数,即对 $\displaystyle \forall x, y \in I$ 及 $\displaystyle \lambda \in(0,1)$ ,均有 $\displaystyle f(\lambda x+(1-\lambda) y) \leq \lambda f(x)+(1-\lambda) f(y)$ .证明:$\displaystyle f(x)$ 在 $I$ 的任何闭子区间上有界,并举例说明 $\displaystyle f(x)$ 在 $I$ 内不一定有界。(15分)

💡 答案解析

暂无答案解析

📋 详细解题步骤

步骤 1/4
目标:证明上界存在
设 $[a,b] \subset I$,对任意 $x \in [a,b]$,存在唯一的 $\lambda \in [0,1]$ 使得 $x = \lambda a + (1-\lambda) b$。由凸函数定义:$f(x) \leq \lambda f(a) + (1-\lambda) f(b) \leq \max\{f(a), f(b)\}$。因此取 $M = \max\{f(a), f(b)\}$ 即为 $f$ 在 $[a,b]$ 上的一个上界。
公式:f(\lambda a + (1-\lambda) b) \leq \lambda f(a) + (1-\lambda) f(b)
提示:注意凸组合表示的唯一性,以及上界可直接由端点函数值得到。
步骤 2/4
目标:证明下界存在(构造中点)
取中点 $c = \frac{a+b}{2}$。对任意 $x \in [a,b]$,分两种情况讨论: - 若 $x \in [a,c]$,则存在 $t = \frac{c-a}{x-a} \in [\frac12, 1]$ 使得 $c = t x + (1-t) a$。由凸性:$f(c) \leq t f(x) + (1-t) f(a)$,整理得 $f(x) \geq \frac{f(c) - (1-t) f(a)}{t}$。由于 $t \geq \frac12$,分母有正下界,右边为有限数。 - 若 $x \in [c,b]$,类似地,存在 $s = \frac{b-c}{b-x} \in [\frac12, 1]$ 使得 $c = s x + (1-s) b$,可得 $f(x) \geq \frac{f(c) - (1-s) f(b)}{s}$。 综合两种情况,取 $m = \min\left\{ \frac{f(c) - (1-\frac12) f(a)}{\frac12}, \frac{f(c) - (1-\frac12) f(b)}{\frac12} \right\}$ 即为一致下界。
公式:f(c) \leq t f(x) + (1-t) f(a) \quad \Rightarrow \quad f(x) \geq \frac{f(c) - (1-t) f(a)}{t}
提示:关键在于将中点表示为 $x$ 与端点的凸组合,并利用 $t$ 的下界保证分母不为零且不等式方向正确。
步骤 3/4
目标:总结有界性结论
由以上两步,对任意闭子区间 $[a,b] \subset I$,$f$ 既有上界 $M$ 又有下界 $m$,因此 $f$ 在 $[a,b]$ 上有界。
提示:注意上界和下界的构造均依赖于区间端点,不能直接推广到整个开区间。
步骤 4/4
目标:举例说明开区间内不一定有界
取 $I = (0,1)$,定义 $f(x) = \frac{1}{x}$。计算二阶导数:$f''(x) = \frac{2}{x^3} > 0$ 对 $x \in (0,1)$ 成立,故 $f$ 是严格凸函数。但当 $x \to 0^+$ 时,$f(x) \to +\infty$,因此在 $(0,1)$ 上无上界,从而无界。另一个经典例子是 $f(x) = -\ln x$ 在 $(0,1)$ 上也是凸且无界。
公式:f(x) = \frac{1}{x}, \quad f''(x) = \frac{2}{x^3} > 0
提示:凸函数在开区间内可能无界,因为边界点不在定义域内,无法用端点控制。
步骤 5/5
目标:举例说明开区间上不一定有界
考虑函数 $f(x) = \frac{1}{x}$,定义在开区间 $I = (0,1)$ 上。$f''(x) = \frac{2}{x^3} > 0$,故 $f$ 在 $(0,1)$ 上是凸函数。但当 $x \to 0^+$ 时,$f(x) \to +\infty$,因此 $f$ 在 $(0,1)$ 上无上界,从而无界。这说明凸函数在开区间上不一定有界。
公式:f(x) = \frac{1}{x}, \quad f''(x) = \frac{2}{x^3} > 0
提示:反例需满足凸性且在整个开区间上无界,常用函数如 $1/x$ 或 $-\ln x$ 等。

📷 拍照上传批改

拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。