Loading [MathJax]/jax/element/mml/optable/MathOperators.js

微积分笔记(9)——高阶导数的计算与微分中值定理

微积分笔记(9)——高阶导数的计算与微分中值定理

高阶导数(续)

高阶导数计算

f,g 在区间 I 内有 n 阶导数。

  1. (f±g)(n)=f(n)±g(n)

  2. (cf)(n)=cf(n)c 为常数

    (αf+βg)(n)=αf(n)+βg(n)

  3. (fg)(n)=nk=0(nk)f(k)g(nk)(Leibniz 公式)

例题

y=arctanx,求 y(100)(0)

y=11+x2(1+x2)y=1

利用 Leibniz 公式对等式两端求 n 阶导数。

(1+x2)y(n+1)+n2xy(n)+n(n+1)22y(n1)=0

x=0,得 y(n+1)(0)+n(n1)yn1(0)=0

n=99,得 y(100)(0)+9998y(98)(0)=0

y(0)(0)=0,故通过递推可知 y(100)=0

y(2k)(0)=0

:例题中使用了隐函数求导法。

微分中值定理

区间上可导函数导数值的性质。

极值(局部的最值)

fx0 点附近有定义(包括 x0 点),如果 δ>0,使得 |xx0|<δf(x)f(x0),则称 x0f极大值点f(x0) 称为极大值

同理可定义极小值点极小值

Fermat 引理

f 在极值点 x0 可导,则 f(x0)=0

证明:不妨令 x0 为极大值点,则 δ>0,使 x(x0δ,x0+δ) 时,f(x)f(x0)

考虑 fx0 点的左右导数。

x(x0,x0+δ) 时,f(x)f(x0)xx00

xx0,得 f+(x0)0

同理 f(x0)0

\therefore f^{\prime}(x_0) = 0 \ \square

Rolle 定理

f \in C[a,b] 且在 (a,b) 内处处可导,f(a) = f(b)。则 \exists \xi \in (a,b) 使 f^{\prime} (\xi) = 0

证明:不妨设 f(x) \not \equiv C,已知 f \in C[a,b],由最值性质,\exists x_1,x_2 \in [a,b] 使 f(x_1) = \min f,f(x_2) = \max f,且 f(x_1) < f(x_2)

从而或者 x_1 \not = a,b,或者 x_2 \not = a,b

x_1 \not = a,b,则 x_1f 的极小值点。

由 Fermat 引理,f^{\prime}(x_1) = 0 \ \square

Lagrange 中值定理

f \in C[a,b] 且在 (a,b) 内可导,则 \exists \xi \in (a,b) 使:
f^{\prime}(\xi) = \dfrac{f(b) – f(a)}{b – a}
(当 f(a) = f(b) 时就是 Rolle 定理)

证明:设 g(x) = f(x) – \dfrac{f(b) – f(a)}{b – a} \cdot (x – a),容易得知 g(x) \in C[a,b] 且在 (a,b) 内可导。

g(b) = f(b) – (f(b) – f(a)) = f(a) = g(a)

故根据 Rolle 定理,\exists \xi \in (a,b) 使得 g^{\prime}(\xi) = f^{\prime} (\xi) – \dfrac{f(b) – f(a)}{b – a} = 0

f^{\prime}(\xi) = \dfrac{f(b) – f(a)}{b – a} \ \square

应用

推论 1:设 f(a,b) 内可导,则 f(x) \equiv C \Leftrightarrow f^{\prime} (x) = 0,\forall x \in (a,b)

证明:充分性已知,只需证必要性。

已知 f^{\prime}(x)(a,b) 内处处为 0

\forall x_1, x_2 \in (a,b),不妨令 x_1 < x_2

f \in C[x_1,x_2] 且在 (x_1,x_2) 内可导。

由 Lagrange 中值定理,\exists \xi \in (x_1,x_2) 使:
\dfrac{f(x_1) – f(x_2)}{x_1 – x_2} = f^{\prime} (\xi) = 0
\therefore f(x_1) = f(x_2),进而 f(x) \equiv C,\forall x \in (a,b) \ \square

推论 2:设 f,g(a,b) 内可导,且 f^{\prime} (x) = g^{\prime} (x)\forall x \in (a,b),则 \exists C_0 \in \mathbb{R},使得 f(x) = g(x) + C_0,\forall x \in (a,b)

 

点赞 1

No Comments

Add your comment

希望你今后的每一次笑,都是真心的。