# 前置知识

4.5 微分中值定理

# 单调性

定理 11 fC[a,b]f \in C[a, b],在 (a,b)(a, b) 可导,则 ff[a,b][a, b] 上递增(减)\Leftrightarrow f(x)0(0),x(a,b)f'(x) \ge 0 (\le 0), x \in (a, b)

证明\Rightarrow(必要性):对任意 x(a,b),x+h(a,b)x \in (a, b), x + h \in (a, b),都有:

f(x+h)f(x)h0\frac {f(x + h) - f(x)} h \ge 0

因此 f(x)0,x(a,b)f'(x) \ge 0, x \in (a, b)

\Leftarrow(充分性):由于 f(x)0,x(a,b)f'(x) \ge 0, x \in (a, b),对于任意 x1,x2[a,b],x1<x2x_1, x_2 \in [a, b], x_1 < x_2,由拉格朗日中值定理可得:

f(x2)f(x1)=f(ξ)(x2x1)0f(x_2) - f(x_1) = f'(\xi)(x_2 - x_1) \ge 0

因此 f(x)f(x) 是单调递增函数。

定理 22(严格单调性): fC[a,b]f \in C[a, b],在 (a,b)(a, b) 可导,若 f(x)>0,x(a,b)f'(x) > 0, x \in (a, b),则 ff[a,b][a, b] 上严格递增。

注意:逆命题不成立。反例:f(x)=x3f(x) = x^3[1,1][-1, 1] 上严格单调递增,但 f(0)=0f'(0) = 0

定理 33 fC[a,b]f \in C[a, b],在 (a,b)(a, b) 内除有限个点外,f(x)>0(<0)f'(x) > 0 (< 0),则 ff[a,b][a, b] 上严格增(减)。

证明:f(x)f(x){xi}\{ x_i \} 之外,f(x)>0(<0)f'(x) > 0 (< 0),其中 {xi}\{ x_i \} 满足 ax1<x2<<xnba \le x_1 < x_2 < \cdots < x_n \le b。由定理 22f(x)f(x)[a,x1],[x1,x2],,[xn,b][a, x_1], [x_1, x_2], \cdots, [x_n, b] 上严格单调,所以在 [a,b][a, b] 上严格单调。

定理 44ff[a,b][a, b] 连续,在 (a,b)(a, b) 可导,则 ff[a,b][a, b] 为严格单调增函数 \Leftrightarrow {1.f(x)0,x(a,b)2.(a,b)的任意子开区间内,f(x)不恒为零\begin {cases} 1. f'(x) \ge 0, \forall \, x \in (a, b) \\ 2. 在 (a, b) 的任意子开区间内,f'(x) 不恒为零 \end {cases}

其中第二条也可表述为:(c,d)(a,b),ξ(c,d),f(ξ)>0\forall \, (c, d) \sub (a, b), \exist \, \xi \in (c, d), f'(\xi) > 0

证明: \Rightarrow(必要性):由于 f(x)f(x) 单调增,因此满足第一个条件。

若第二个条件不成立,(c,d)(a,b)\exist \, (c, d) \sub (a, b),使 f(x)0,x(c,d)f'(x) \equiv 0, x \in (c, d),于是 ff(c,d)(c, d) 上恒为常数,与 ff 严格递增矛盾,因此第二个条件成立。

\Leftarrow(充分性):第一个条件成立,则 ff[a,b][a, b] 为单调增函数。

若有 x1,x2[a,b],x1<x2x_1, x_2 \in [a, b], x_1 < x_2,使 f(x1)=f(x2)f(x_1) = f(x_2),则 f(x)c,x(x1,x2)f(x) \equiv c, x \in (x_1, x_2),于是 f(x)=0,x(x1,x2)f'(x) = 0, x \in (x_1, x_2),与第二个条件矛盾。

所以 ff[a,b][a, b] 为严格单调增函数。

# 极值

极值的必要条件:f(x)f(x)x0x_0 可导,且 x0x_0 为极值点,则 f(x0)=0f'(x_0) = 0。(费马引理)

定理 55(极值判定 11:设 fC[a,b],x0(a,b)f \in C[a, b], x_0 \in (a, b)

  1. 若在 (x0δ,x0)内,f(x)>0(x0,x0+δ)内,f(x)<0}\begin {rcases} (x_0 - \delta, x_0) 内,f'(x) > 0 \\ (x_0, x_0 + \delta) 内,f'(x) < 0 \end {rcases} \Rightarrow f(x0)f(x_0) 是严格极大值;

  2. 若在 (x0δ,x0)内,f(x)<0(x0,x0+δ)内,f(x)>0}\begin {rcases} (x_0 - \delta, x_0) 内,f'(x) < 0 \\ (x_0, x_0 + \delta) 内,f'(x) > 0 \end {rcases} \Rightarrow f(x0)f(x_0) 是严格极小值;

  3. 若在 x0x_0 两侧 ff' 不变号,f(x0)f(x_0) 不是极值。

如果 x0x_0f(x)f(x) 的极小值点,并不一定存在 x0x_0 的某邻域,在此邻域内,f(x)f(x)x0x_0 的左侧下降,而在 x0x_0 的右侧上升。例:

f(x)={2+x2(2+sin1x),x02,x=0f(x) = \begin {cases} 2 + x^2(2 + \sin \dfrac 1 x), & x \not = 0 \\ 2, & x = 0 \end {cases}

在该例子中,当 x0x \not = 0 时,

f(x)f(0)=x2(2+sin1x)>0f(x) - f(0) = x^2 (2 + \sin \frac 1 x) > 0

于是 x=0x = 0f(x)f(x) 的极小值点。当 x0x \not = 0 时,

f(x)=2x(2+sin1x)cos1xf'(x) = 2x (2 + \sin \frac 1 x) - \cos \frac 1 x

x0x \to 0 时,2x(2+sin1x)02x (2 + \sin \dfrac 1 x) \to 0cos1x\cos \dfrac 1 x1-111 之间振荡,因而 f(x)f(x)x=0x = 0 的两侧都不单调。实际上这个函数图像大致如图:

img-1.png

定理 66(极值判定 22:设 fC[a,b]f \in C[a, b]x0x_0 是驻点,f(x0)f''(x_0) 存在。

  1. f(x0)<0f''(x_0) < 0f(x0)f(x_0) 是严格极大;

  2. f(x0)>0f''(x_0) > 0f(x0)f(x_0) 是严格极小;

  3. f(x0)=0f''(x_0) = 0f(x0)f(x_0) 不定;

证明:(1) 因为 f(x0)=0f'(x_0) = 0,于是有:

limxx0f(x)f(x0)xx0=limxx0f(x)xx0=f(x0)<0\lim_{x \to x_0} \frac {f'(x) - f'(x_0)} {x - x_0} = \lim_{x \to x_0} \frac {f'(x)} {x - x_0} = f''(x_0) < 0

即在 x=x0x = x_0 的去心邻域内,f(x)xx0<0\dfrac {f'(x)} {x - x_0} < 0

因此当 xx0<0x - x_0 < 0 时,f(x)>0f'(x) > 0;当 xx0>0x - x_0 > 0 时,f(x)<0f'(x) < 0,因此 f(x0)f(x_0) 极大。

(2) 与 (1) 同理。

(3) 例如:f(x)=x3,f(0)=f(0)=0,x=0f(x) = x^3, f'(0) = f''(0) = 0, x = 0 非极值点;

又例如:f(x)=x4,f(0)=f(0)=0,x=0f(x) = x^4, f'(0) = f''(0) = 0, x = 0 极小值点;

再例如:f(x)=x4,f(0)=f(0)=0,x=0f(x) = -x^4, f'(0) = f''(0) = 0, x = 0 极大值点。

# 最值

f(x)f(x)[a,b][a, b] 上最大 / 最小值的步骤:

  1. 求驻点何不可导点;

  2. 求区间端点及驻点何不可导点的函数值,比较大小,哪个大哪个就是最大值,哪个小哪个就是最小值。

注意:如果区间内只有一个极值,则这个极值就是最值。(最大值或最小值)

1.1. 若在 [0,a][0, a]f(x)M|f''(x)| \le M,又 f(x)f(x)(0,a)(0, a) 内取得最大值,证明:f(0)+f(a)aM|f'(0)| + |f'(a)| \le aM

证明:设函数在 x0x_0 取得最大值,则 f(x0)=0f'(x_0) = 0

f(0)+f(a)=f(0)f(x0)+f(a)f(x0)|f'(0)| + |f'(a)| = |f'(0) - f'(x_0)| + |f'(a) - f'(x_0)|

f(x)f'(x) 在区间 [0,x0][0, x_0][x0,a][x_0, a] 上分别应用拉格朗日中值定理,知存在 ξ1(0,x0),ξ2(x0,a)\xi_1 \in (0, x_0), \xi_2 \in (x_0, a),使得 f(0)+f(a)=f(ξ1)x0+f(ξ2)(ax0)Mx0+M(ax0)=aM|f'(0)| + |f'(a)| = |f''(\xi_1) x_0| + |f''(\xi_2) (a - x_0)| \le M x_0 + M (a - x_0) = aM

# 凸函数与凹函数

# 定义

我们定义任意弧段在弦的下方的函数为下凸函数,如图:

img-2.png

下面推导定义式。

任取 P0(x1,f(x1)),P1(x2,f(x2))P_0(x_1, f(x_1)), P_1(x_2, f(x_2)),取 P0P1P_0P_1 上一点 P(x,y)P(x, y),则:

f(x1)+f(x2)f(x1)x2x1(xx1)f(x)f(x_1) + \frac {f(x_2) - f(x_1)} {x_2 - x_1} (x - x_1) \ge f(x)

即:

x2xx2x1f(x1)+xx1x2x1f(x2)f(x)\frac {x_2 - x} {x_2 - x_1} f(x_1) + \frac {x - x_1} {x_2 - x_1} f(x_2) \ge f(x)

λ1=x2xx2x1,λ2=xx1x2x1\lambda_1 = \dfrac {x_2 - x} {x_2 - x_1}, \lambda_2 = \dfrac {x - x_1} {x_2 - x_1},则 λ1+λ2=1,x=λ1x1+λ2x2\lambda_1 + \lambda_2 = 1, x = \lambda_1 x_1 + \lambda_2 x_2,由此可得:

f(λ1x1+λ2x2)λ1f(x1)+λ2f(x2)f(\lambda_1 x_1 + \lambda_2 x_2) \le \lambda_1 f(x_1) + \lambda_2 f(x_2)

上凸函数同理。于是我们得出凹凸函数定义:

定义 11:设 y=f(x),xIy = f(x), x \in I,若对于 x1,x2I,x1x2,λ1,λ2>0,λ1+λ2=1\forall \, x_1, x_2 \in I, x_1 \not = x_2, \forall \, \lambda_1, \lambda_2 > 0, \lambda_1 + \lambda_2 = 1,都有:

f(λ1x1+λ2x2)()λ1f(x1)+λ2f(x2)f(\lambda_1 x_1 + \lambda_2 x_2) \le (\ge) \lambda_1 f(x_1) + \lambda_2 f(x_2)

则称在 IIf(x)f(x) 凸(下凸)/ 凹(上凸)

等价形式

f[(1t)x1+tx2](1t)f(x1)+tf(x2),t(0,1)f[(1 - t) x_1 + t x_2] \le (1 - t) f(x_1) + t f(x_2), t \in (0, 1)

# 判定定理

引理 11ffII 上凸(严格凸则将 \le 改成 <<\Leftrightarrow x1<x<x2I\forall \, x_1 < x < x_2 \in I,有:

f(x)f(x1)xx1f(x2)f(x1)x2x1f(x2)f(x)x2x\frac {f(x) - f(x_1)} {x - x_1} \le \frac {f(x_2) - f(x_1)} {x_2 - x_1} \le \frac {f(x_2) - f(x)} {x_2 - x}

即在下图中斜率 kApkABkpBk_{Ap} \le k_{AB} \le k_{pB}

img-3.png

证明:利用不等式:b>0,d>0,abcdaba+cb+dcdb > 0, d > 0, \dfrac a b \le \dfrac c d \Leftrightarrow \dfrac a b \le \dfrac {a + c} {b + d} \le \dfrac c d

f(x)f(x1)xx1f(x2)f(x1)x2x1f(x2)f(x)x2xf(x)f(x1)xx1f(x2)f(x)x2xλ1=x2xx2x1,λ2=xx1x2x1,x=λ1x1+λ2x2,λ1[f(x)f(x1)]λ2[f(x2)f(x)]f(λ1x1+λ2x2)λ1f(x1)+λ2f(x2)\begin {aligned} & \frac {f(x) - f(x_1)} {x - x_1} \le \frac {f(x_2) - f(x_1)} {x_2 - x_1} \le \frac {f(x_2) - f(x)} {x_2 - x} \\ \Leftrightarrow & \frac {f(x) - f(x_1)} {x - x_1} \le \frac {f(x_2) - f(x)} {x_2 - x} \\ \Leftrightarrow & \lambda_1 = \frac {x_2 - x} {x_2 - x_1}, \lambda_2 = \frac {x - x_1} {x_2 - x_1}, x = \lambda_1 x_1 + \lambda_2 x_2, \\ & \lambda_1 [f(x) - f(x_1)] \le \lambda_2 [f(x_2) - f(x)] \\ \Leftrightarrow & f(\lambda_1 x_1 + \lambda_2 x_2) \le \lambda_1 f(x_1) + \lambda_2 f(x_2) \end {aligned}

定理 77:设 fC[a,b],(a,b)f \in C[a, b], (a, b) 内可导,则 ff[a,b][a, b] 凸(严格凸)/ 凹(严格凹)\Leftrightarrow f(x)f'(x)(a,b)(a, b) 增(严格增)/ 减(严格减)。如下两图所示:

img-4.png

证明\Rightarrow(必要性)由 ff 凸,设 (x1,x2)(a,b),x,x(x_1, x_2) \sub (a, b), \forall \, x, x' 满足:x1<x<x<x2x_1 < x < x' < x_2,则由 引理 11

f(x)f(x1)xx1f(x2)f(x1)x2x1f(x2)f(x)x2x\frac {f(x) - f(x_1)} {x - x_1} \le \frac {f(x_2) - f(x_1)} {x_2 - x_1} \le \frac {f(x_2) - f(x')} {x_2 - x'}

xx1+,xx2x \to x_1^+, x' \to x_2^-,有:

f(x1)f(x2)f(x1)x2x1f(x2)f'(x_1) \le \frac {f(x_2) - f(x_1)} {x_2 - x_1} \le f'(x_2)

所以 f(x)f'(x)(a,b)(a, b) 内为增函数。

f(x)f(x) 是严格凸函数,则设 (x1,x2)(a,b),x,x,x(x_1, x_2) \sub (a, b), \forall \, x, x^*, x' 满足:x1<x<x<x<x2x_1 < x < x^* < x' < x_2,由 引理 11

f(x1)f(x)f(x1)xx1<f(x2)f(x)x2xf(x2)f'(x_1) \le \frac {f(x^*) - f(x_1)} {x^* - x_1} < \frac {f(x_2) - f(x^*)} {x_2 - x^*} \le f'(x_2)

所以 f(x)f'(x)(a,b)(a, b) 严格增。

\Leftarrow(充分性):设 f(x)f'(x)(a,b)(a, b) 增函数,x1<x2,x1<x<x2\forall x_1 < x_2, \forall x_1 < x < x_2,有

f(x)f(x1)xx1=f(ξ)f(x2)f(x)x2x=f(η)\frac {f(x) - f(x_1)} {x - x_1} = f'(\xi) \\ \frac {f(x_2) - f(x)} {x_2 - x} = f'(\eta)

因为 f(ξ)f(η)f'(\xi) \le f'(\eta),所以 f(x)f(x1)xx1f(x2)f(x)x2x\dfrac {f(x) - f(x_1)} {x - x_1} \le \dfrac {f(x_2) - f(x)} {x_2 - x},因此 ff[a,b][a, b] 上为凸函数。

推论 11:设 ff[a,b][a, b] 连续,(a,b)(a, b) 二阶可导,则 ff[a,b][a, b] 上为凸函数 \Leftrightarrow f(x)0,x(a,b)f''(x) \ge 0, \forall \, x \in (a, b)

ff[a,b][a, b] 上严格凸 \Leftrightarrow {f(x)0,x(a,b)(a,b)的任意开子区间内,f不恒为零\begin {cases} f''(x) \ge 0, \forall \, x \in (a, b) \\ (a, b) 的任意开子区间内,f'' 不恒为零 \end {cases}

定义 22(拐点):若函数 f(x)f(x)x0x_0 的某个邻域内有定义,且在 x0x_0 的左右两侧:在一侧为严格凸,在另一侧为严格凹,则称 (x0,f(x0))(x_0, f(x_0)) 是曲线 y=f(x)y = f(x) 的一个拐点。

注意f(x0)=0⇏x0f''(x_0) = 0 \not \Rightarrow x_0 是拐点。

f(x)=x4,f(0)=0f(x) = x^4, f''(0) = 0,但 (0,0)(0, 0) 并不是曲线 f(x)f(x) 的拐点。

f(x0)f''(x_0) 不存在,点 (x0,f(x0))(x_0, f(x_0)) 也可能是连续曲线 y=f(x)y = f(x) 的拐点。

f(x)=x3f(x) = \sqrt [3] x,在 x=0x = 0 处一阶导、二阶导均不存在,但 (0,0)(0, 0) 是曲线的拐点。

# 琴生不等式

定理 88:设 ffII 上下凸,则 x1,x2,,xnI,λ1,,λn>0,i=1nλi=1\forall \, x_1, x_2, \cdots, x_n \in I, \lambda_1, \cdots, \lambda_n > 0, \sum\limits_{i = 1}^n \lambda_i = 1,都有 f(i=1nλixi)i=1nλif(xi)f \left( \sum\limits_{i = 1}^n \lambda_i x_i \right) \le \sum\limits_{i = 1}^n \lambda_i f(x_i)。(严格凸,且 x1,,xnx_1, \cdots, x_n 不全相等时,取 <<

等价形式ffII 上下凸,则 x1,x2,,xnI,β1,,βn>0\forall \, x_1, x_2, \cdots, x_n \in I, \beta_1, \cdots, \beta_n > 0,都有 f(βixiβi)βif(xi)βif \left( \dfrac {\sum \beta_i x_i} {\sum \beta_i} \right) \le \dfrac {\sum \beta_i f(x_i)} {\sum \beta_i}。(严格凸,且 x1,,xnx_1, \cdots, x_n 不全相等时,取 <<

证明:易见 n=2n = 2 时,f(λ1x1+λ2x2)λ1f(x1)+λ2f(x2)f(\lambda_1 x_1 + \lambda_2 x_2) \le \lambda_1 f(x_1) + \lambda_2 f(x_2) 成立。

n=kn = k 时,有 f(i=1kμif(xi)),i=1kμi=1f \left( \sum\limits_{i = 1}^k \mu_i f(x_i) \right), \sum\limits_{i = 1}^k \mu_i = 1,则 n=k+1n = k + 1 时,由 λ1++λk+1=1\lambda_1 + \cdots + \lambda_{k + 1} = 1,可得:

λ1+λ2++λk1λk+1=1\frac {\lambda_1 + \lambda_2 + \cdots + \lambda_k} {1 - \lambda_{k + 1}} = 1

μi=λi1λk+1\mu_i = \dfrac {\lambda_i} {1 - \lambda_{k + 1}},则 i=1nμi=1\sum\limits_{i = 1}^n \mu_i = 1

f(i=1k+1λixi)=f[(1λk+1)i+1kμixi+λk+1xk+1](1λk+1)f(i=1kμixi)+λk+1f(xk+1)(1λk+1)i=1kμif(xi)+λk+1f(xk+1)=i=1k+1λif(xi)\begin {aligned} f \left( \sum_{i = 1}^{k + 1} \lambda_i x_i \right) &= f \left[ (1 - \lambda_{k + 1}) \sum_{i + 1}^k \mu_i x_i + \lambda_{k + 1} x_{k + 1} \right] \\ &\le (1 - \lambda_{k + 1}) f \left( \sum_{i = 1}^k \mu_i x_i \right) + \lambda_{k + 1} f(x_{k + 1}) \\ &\le (1 - \lambda_{k + 1}) \sum_{i = 1}^k \mu_i f(x_i) + \lambda_{k + 1} f(x_{k + 1}) \\ &= \sum_{i = 1}^{k + 1} \lambda_i f(x_i) \end {aligned}

对严格凸类似可证。

2.2. 用琴生不等式证明:

x1xnnx1++xnn,(xi>0)\sqrt [n] {x_1 \cdots x_n} \le \frac {x_1 + \cdots + x_n} n, (x_i > 0)

等号成立 \Leftrightarrow x1,,xnx_1, \cdots, x_n 相同。

证明:原不等式等价于:

1n(lnx1+lnx2++lnxn)lnx1+x2++xnn\frac 1 n (\ln x_1 + \ln x_2 + \cdots + \ln x_n) \le \ln \frac {x_1 + x_2 + \cdots + x_n} n

f(x)=lnxf(x) = \ln x,则 f(x)=1x,f(x)=1x2<0f'(x) = \dfrac 1 x, f''(x) = - \dfrac 1 {x^2} < 0,所以 f(x)=lnxf(x) = \ln x(0,+)(0, + \infty) 上严格凹(上凸)。

λi=1n,i=1,2,,n\lambda_i = \dfrac 1 n, i = 1, 2, \cdots, n,由琴生不等式可得上式成立,且当且仅当 x1==xnx_1 = \cdots = x_n 时,等号成立。

# 习题

  1. 研究下列函数在指定区间内的单调性:

    f(x)=(1+1x)x,x(0,+)f(x) = \left( 1 + \frac 1 x \right)^x, x \in (0, + \infty)

    解:f(x)=exlnx+1xf(x) = e^{x \ln \frac {x + 1} x},求导得:

    f(x)=(1+1x)x(lnx+1x1x+1) f'(x) = \left( 1 + \frac 1 x \right)^x \left( \ln \frac {x + 1} x - \frac 1 {x + 1} \right)

    lnx>11x(x1)\ln x > 1 - \dfrac 1 x (x \not = 1) 可知,lnx+1x>1x+1,f(x)>0\ln \dfrac {x + 1} x > \dfrac 1 {x + 1}, f'(x) > 0,因此 f(x)f(x)(0,+)(0, + \infty) 上严格单调递增。

  2. 利用函数的单调性证明下列不等式:

    (1) xx36<sinx<x,x>0x - \dfrac {x^3} 6 < \sin x < x, x > 0

    (2) xx22<ln(1+x)<x,x>0x - \dfrac {x^2} 2 < \ln (1 + x) < x, x > 0

    (1) 证明:令 f(x)=sinxx+x36f(x) = \sin x - x + \dfrac {x^3} 6,求导得:

    f(x)=cosx1+x22f(x)=sinx+xf(x)=1cosx0 f'(x) = \cos x - 1 + \frac {x^2} 2 \\ f''(x) = - \sin x + x \\ f'''(x) = 1 - \cos x \ge 0

    f(x)f''(x)(0,+)(0, + \infty) 上单调递增,f(x)>f(0)=0f''(x) > f''(0) = 0,则 f(x)f'(x)(0,+)(0, + \infty) 上单调递增,f(x)>f(0)=0f'(x) > f'(0) = 0,则 f(x)f(x)(0,+)(0, + \infty) 上单调递增,f(x)>f(0)=0f(x) > f(0) = 0,即 sinx>xx36\sin x > x - \dfrac {x^3} 6 得证。
    f(x)>0f''(x) > 0 可证得 sinx<x\sin x < x

    (2) 证明:令 f(x)=ln(1+x)x+x22f(x) = \ln (1 + x) - x + \dfrac {x^2} 2,求导得:

    f(x)=11+x1+xf(x)=1(1+x)2+1=x(x+2)(1+x)2>0 f'(x) = \frac 1 {1 + x} - 1 + x \\ f''(x) = - \frac 1 {(1 + x)^2} + 1 = \frac {x (x + 2)} {(1 + x)^2} > 0

    f(x)f'(x)(0,+)(0, + \infty) 上严格单调递增,则 f(x)>f(0)=0f'(x) > f'(0) = 0,则 f(x)f(x)(0,+)(0, + \infty) 上严格单调递增,则 f(x)>f(0)=0f(x) > f(0) = 0,可证得 ln(1+x)<xx22\ln (1 + x) < x - \dfrac {x^2} 2
    g(x)=xln(1+x)g(x) = x - \ln (1 + x),求导得:

    g(x)=111+x=x1+x>0 g'(x) = 1 - \frac 1 {1 + x} = \frac x {1 + x} > 0

    g(x)g(x)(0,+)(0, + \infty) 上严格单调递增,则 g(x)>g(0)=0g(x) > g(0) = 0,可证得 ln(1+x)<x\ln (1 + x) < x

  3. 设函数 f(x)f(x) 在区间 [a,+)[a, + \infty) 上连续,在 (a,+)(a, + \infty) 可导,且 ff' 严格单调递增,求证:F(h)=f(a+h)f(a)hF(h) = \dfrac {f(a + h) - f(a)} {h} 关于 hh 也严格单调递增。

    证明:由题,ff 为严格凸函数,对 h2>h1>0\forall \, h_2 > h_1 > 0,有 F(h2)=f(a+h2)f(a)h2>F(h1)=f(a+h1)f(a)h1F(h_2) = \dfrac {f(a + h_2) - f(a)} {h_2} > F(h_1) = \dfrac {f(a + h_1) - f(a)} {h_1} 成立,即证得 F(h)F(h) 关于 hh 也严格单调递增。

  4. f(x)f(x)R\R 上有连续二阶导数,若 f(x)f(x)R\R 上有界,则存在 θR\theta \in \R,使得 f(θ)=0f''(\theta) = 0

    证明:假设不存在 θR\theta \in \R 使得 f(θ)=0f''(\theta) = 0,不妨设 f(x)f''(x) 恒大于 00,则 f(x)f'(x) 严格单调递增,f(x)f(x) 为严格凸函数,所以 f(x)f'(x) 不恒为 00,不妨设存在 ξR\xi \in \R,使得 f(ξ)>0f'(\xi) > 0。由严格凸函数性质,对 x>ξ,f(x)f(ξ)xξ>f(ξ)\forall \, x > \xi, \dfrac {f(x) - f(\xi)} {x - \xi} > f'(\xi),即 f(x)>(xξ)f(ξ)+f(ξ)f(x) > (x - \xi) f'(\xi) + f(\xi),即对于 F>0\forall \, F > 0,都存在 X=max{Ff(ξ)f(ξ)+ξ,ξ}X = \max \left\{ \dfrac {F - f(\xi)} {f'(\xi)} + \xi, \xi \right\},使当 x>Xx > X 时,有 f(x)>Ff(x) > F 恒成立,则 f(x)f(x) 无界,与题设矛盾,假设不成立,得证。

  5. 求下列函数的极值点,并确定它们的单调区间:

    y=xln(1+x)y = x - \ln (1 + x)

    解:求导得:

    y=111+x=x1+x y' = 1 - \frac 1 {1 + x} = \frac x {1 + x}

    由此可知,当 x(1,0)x \in (-1, 0) 时,y<0y' < 0,函数严格单调递减;当 x=0x = 0 时,函数取得极小值 00;当 x(0,+)x \in (0, + \infty) 时,y>0y' > 0,函数严格单调递增;函数不存在极大值。

  6. 求下列函数在指定区间上的最大值和最小值:

    (1) f(x)=2x39x2+12x,x[14,52]f(x) = |2x^3 - 9x^2 + 12x|, x \in \left[ - \dfrac 1 4, \dfrac 5 2 \right]

    (2) f(x)=x2enx,x(0,+)f(x) = x^2 e^{-nx}, x \in (0, + \infty)

    (1) 解:令 g(x)=2x39x2+12xg(x) = 2x^3 - 9x^2 + 12x,求导得:

    g(x)=6x218x+12=6(x1)(x2) g'(x) = 6x^2 - 18x + 12 = 6(x - 1)(x - 2)

    计算可得:

    g(14)=11532,g(1)=5,g(2)=4,g(52)=5 g(- \dfrac 1 4) = - \dfrac {115} {32}, g(1) = 5, g(2) = 4, g(\dfrac 5 2) = 5

    由此可得 f(x)f(x) 最小值为 00,最大值为 55

    (2) 解:求导得:

    f(x)=x(2nx)enx f'(x) = x (2 - nx) e^{-nx}

    limx0+f(x)=limx+f(x)=0,f(2n)=4n2e2\lim\limits_{x \to 0^+} f(x) = \lim\limits_{x \to + \infty} f(x) = 0, f(\dfrac 2 n) = \dfrac {4} {n^2 e^2}
    则函数最大值为 4n2e2\dfrac 4 {n^2 e^2},不存在最小值。

  7. α>1\alpha > 10<α<10 < \alpha < 1 两种情况下分别求函数 f(x)=(1+x)ααxf(x) = (1 + x)^\alpha - \alpha x[1,+)[-1, + \infty) 上的最值,并依此证明伯努利不等式:当 x1x \ge -1 时,我们有:若 α>1\alpha > 1,则有 (1+x)α1+αx(1 + x)^\alpha \ge 1 + \alpha x

    证明:当 α>1\alpha > 1 时,对 f(x)f(x) 求导:

    f(x)=α[(1+x)α11] f'(x) = \alpha [(1 + x)^{\alpha - 1} - 1]

    此时函数有最小值 f(0)=1f(0) = 1,无最大值。
    0<α<10 < \alpha < 1 时,函数有最大值 f(0)=1f(0) = 1,无最小值。
    则当 α>1\alpha > 1 时,f(x)1(1+x)α1+αxf(x) \ge 1 \Rightarrow (1 + x)^\alpha \ge 1 + \alpha x,得证。

  8. f(x)f(x) 是区间 (a,b)(a, b) 上的凸函数,证明:对任意的 x(a,b)x \in (a, b)f(x)f(x)xx 点处连续,且存在左右导数。(注意:凸函数的定义中并没有有预先假设函数连续)

    证明:任取 x,y,zx, y, z 使 a<x<y<z<ba < x < y < z < b,则由凸函数性质:

    f(y)f(x)yxf(z)f(x)zx \frac {f(y) - f(x)} {y - x} \le \frac {f(z) - f(x)} {z - x}

    固定 xx,则函数 f(z)f(x)zx\dfrac {f(z) - f(x)} {z - x} 关于 zz 单调递增,由于单调递增函数间断点只可能是跳跃间断点,因此 limzx+f(z)f(x)zx\lim\limits_{z \to x^+} \dfrac {f(z) - f(x)} {z - x} 存在,即 f(x)f(x) 右可导,从而右连续。由 xx 的任意性可知,f(x)f(x)(a,b)(a, b) 上都右可导、右连续。同理可证得 f(x)f(x)(a,b)(a, b) 上都左可导、左连续。
    关于 “单调函数只可能存在跳跃间断点” 的证明:
    设函数 f(x)f(x)(a,b)(a, b) 内单调递增,任取 x0(a,b)x_0 \in (a, b),则对于 x(a,x0)\forall \, x \in (a, x_0),都有 f(x)f(x0)f(x) \le f(x_0),即函数 f(x)f(x)(a,x0)(a, x_0) 上有上界,从而有上确界,设为 α\alpha。由上确界定义,对于 x(a,x0),f(x)α\forall \, x \in (a, x_0), f(x) \le \alpha,且对于 ϵ>0\forall \, \epsilon > 0,都存在 x(a,x0)x \in (a, x_0),使得 αϵ<f(x)α\alpha - \epsilon < f(x) \le \alpha。设 δ=x0x>0,δ<xx0\delta = x_0 - x' > 0, - \delta < x - x_0,则由单调性可知,ϵ<f(x)α<f(x)α0<ϵ- \epsilon < f(x') - \alpha < f(x) - \alpha \le 0 < \epsilon,由极限定义可知 limxx0f(x)=α\lim\limits_{x \to x_0^-} f(x) = \alpha。同理可设得 limxx0+f(x)=β\lim\limits_{x \to x_0^+} f(x) = \beta,由单调性可知:f(x0)f(x0)f(x0+)f(x_0^-) \le f(x_0) \le f(x_0^+),由 x0x_0 是一个间断点,以上不等式不能同时取等,则 f(x0)<f(x0+)f(x_0^-) < f(x_0^+),即证得 f(x0)f(x_0) 是个跳跃间断点。

  9. 判断下列函数的凹凸性:

    f(x)=ln(x1+x),x>0f(x) = \ln \left( \frac x {1 + x} \right), x > 0

    证明:求导得:

    f(x)=1x(1+x)f(x)=2x+1x2(1+x)2<0 f'(x) = \frac 1 {x (1 + x)} \\ f''(x) = - \frac {2x + 1} {x^2 (1 + x)^2} < 0

    因此函数 f(x)f(x) 严格凹函数。

  10. 求下列曲线的拐点:

    y=x3+3x2y = -x^3 + 3x^2

    解:求导得:

    y=3x2+6xy=6(x1) y' = -3x^2 + 6x \\ y'' = -6(x - 1)

    x=1x = 1 为曲线的拐点。