本篇文章适合个人复习翻阅,不建议新手入门使用
连续函数、可微函数的重要结论梳理
总结
在数学分析一中,关于闭区间上的连续函数,我们用区间套公理可获得一系列结论
区间套定理 ⇒ \Rightarrow ⇒ 有界性定理 ⇒ \Rightarrow ⇒ 最值定理 ⇒ \Rightarrow ⇒ 介值定理
若进一步要求函数可微,则有
最值定理 ⇒ \Rightarrow ⇒ 中值定理 ⇒ \Rightarrow ⇒ 洛必达法则 ⇒ \Rightarrow ⇒ 泰勒公式
类似地,在开区间我们也希望得到类似的结论,我们要求函数在两个区间端点的单侧极限有限,这时在开区间端点处可人为定义函数值,从而将函数变为闭区间上的连续函数
继续考虑开区间上的连续函数,若区间端点的单侧极限发散到无穷,并且要求左右两个端点的单侧极限符号一致,这时我们可以得到上述一系列结论的一半:即有界性定理的结论削弱为有上界或有下界,最值定理削弱为存在最大值或存在最小值,诸如此类……
细节
1.有界性定理
版本1:设函数 f f f 在区间 [ a , b ] [a,b] [a,b] 上连续,则 f f f 在区间 [ a , b ] [a,b] [a,b] 上有界
版本2:设函数 f f f 在区间 ( a , b ) (a,b) (a,b) 上连续, lim x → a + f ( x ) , lim x → b − f ( x ) \lim\limits_{x\to a^+}f(x),\lim\limits_{x\to b^-}f(x) x→a+limf(x),x→b−limf(x) 存在且有限,则 f f f 在区间 ( a , b ) (a,b) (a,b) 上有界
版本3:设函数 f f f 在区间 ( a , b ) (a,b) (a,b) 上连续, lim x → a + f ( x ) , lim x → b − f ( x ) \lim\limits_{x\to a^+}f(x),\lim\limits_{x\to b^-}f(x) x→a+limf(x),x→b−limf(x) 均发散到正(负)无穷,则 f f f 在区间 ( a , b ) (a,b) (a,b) 上有下界(上界)
证明思路
版本1:反证法,设函数无界,将区间不断对半分,可构造出一个闭区间套,它满足对其中的每个闭区间,函数均无界;
一方面,由闭区间套定理,这些闭区间之交中有且仅有一个点,函数在该点是无界的。
另一方面,函数在该点是连续的,则函数在此点附近均有界
显然产生矛盾
版本2:一个方法是直接定义 f ( a ) = lim x → a + f ( x ) , f ( b ) = lim x → b − f ( x ) f(a)=\lim\limits_{x\to a^+}f(x),f(b)=\lim\limits_{x\to b^-}f(x) f(a)=x→a+limf(x),f(b)=x→b−limf(x),从而新得到的函数 f ( x ) f(x) f(x) 在闭区间 [ a , b ] [a,b] [a,b] 上连续,用版本1的结论立得;
另一个方法是仿照版本1的证明,采用“退 ε \varepsilon ε 步海阔天空”的方法:即考虑对任意 ε > 0 , [ a + ε , b − ε ] \varepsilon>0,[a+\varepsilon,b-\varepsilon] ε>0,[a+ε,b−ε] 上的连续函数
版本3:基本上是版本1叙述的“一半”,但也需退
ε
\varepsilon
ε 步
设
lim
x
→
a
+
f
(
x
)
=
lim
x
→
b
−
f
(
x
)
=
+
∞
\lim\limits_{x\to a^+}f(x)=\lim\limits_{x\to b^-}f(x)=+\infty
x→a+limf(x)=x→b−limf(x)=+∞,证明
f
f
f 有下界
对任意
ε
>
0
\varepsilon>0
ε>0,考虑区间
[
a
+
ε
,
b
−
ε
]
[a+\varepsilon,b-\varepsilon]
[a+ε,b−ε],反证法,设函数无下界,将区间不断对半分,可构造出一个闭区间套,它满足对其中的每个闭区间,函数均无下界;
一方面,由闭区间套定理,这些闭区间之交中有且仅有一个点,函数在该点是无下界的。
另一方面,函数在该点是连续的,则函数在此点附近均有界
显然产生矛盾
2.最值定理
版本1:设函数 f f f 在区间 [ a , b ] [a,b] [a,b] 上连续,则 f f f 在区间 [ a , b ] [a,b] [a,b] 上必能取到最值
版本2:设函数 f f f 在区间 ( a , b ) (a,b) (a,b) 上连续, lim x → a + f ( x ) , lim x → b − f ( x ) \lim\limits_{x\to a^+}f(x),\lim\limits_{x\to b^-}f(x) x→a+limf(x),x→b−limf(x) 存在且有限,则 f f f 在区间 ( a , b ) (a,b) (a,b) 上必能取到最值
版本3:设函数 f f f 在区间 ( a , b ) (a,b) (a,b) 上连续, lim x → a + f ( x ) , lim x → b − f ( x ) \lim\limits_{x\to a^+}f(x),\lim\limits_{x\to b^-}f(x) x→a+limf(x),x→b−limf(x) 均发散到正(负)无穷,则 f f f 在区间 ( a , b ) (a,b) (a,b) 上能取到最小值(最大值)
证明思路
版本1:由有界性定理,
f
f
f 有界,再由确界原理,
f
f
f 必有确界
由上确界的定义,对任意
ε
>
0
\varepsilon>0
ε>0,存在
x
x
x,使得
s
u
p
−
ε
<
f
(
x
)
≤
s
u
p
sup-\varepsilon<f(x)\leq sup
sup−ε<f(x)≤sup取一列
ε
n
=
1
n
\varepsilon_n=\frac{1}{n}
εn=n1,则存在
{
x
n
}
\{x_n\}
{xn} 满足
−
1
n
<
f
(
x
n
)
−
s
u
p
≤
0
-\frac{1}{n}<f(x_n)-sup\leq 0
−n1<f(xn)−sup≤0
由
{
x
n
}
\{x_n\}
{xn} 有界,由 Weierstrass 定理,设其收敛子列
x
n
k
→
x
0
x_{n_k}\to x_0
xnk→x0,
一方面,由于
−
1
n
k
<
f
(
x
n
k
)
−
s
u
p
≤
0
-\frac{1}{n_k}<f(x_{n_k})-sup\leq 0
−nk1<f(xnk)−sup≤0
令
n
k
→
0
n_k\to 0
nk→0,得
lim
k
→
∞
f
(
x
n
k
)
=
s
u
p
\lim\limits_{k\to\infty}f(x_{n_k})=sup
k→∞limf(xnk)=sup
另一方面,由连续性
f
(
x
0
)
=
f
(
lim
k
→
∞
x
n
k
)
=
lim
k
→
∞
f
(
x
n
k
)
=
s
u
p
f(x_0)=f(\lim\limits_{k\to\infty}x_{n_k})=\lim\limits_{k\to\infty}f(x_{n_k})=sup
f(x0)=f(k→∞limxnk)=k→∞limf(xnk)=sup
类似可证下确界
版本2:直接定义 f ( a ) = lim x → a + f ( x ) , f ( b ) = lim x → b − f ( x ) f(a)=\lim\limits_{x\to a^+}f(x),f(b)=\lim\limits_{x\to b^-}f(x) f(a)=x→a+limf(x),f(b)=x→b−limf(x)
或仿照版本1的证明,采用“退 ε \varepsilon ε 步”的方法
版本3:基本上是版本1叙述的“一半”,采用“退 ε \varepsilon ε 步”的方法
3.介值定理
版本1:设函数 f f f 在区间 [ a , b ] [a,b] [a,b] 上连续, m , M m,M m,M 分别是其最小值,最大值,则 对任意 y ∈ [ m , M ] y\in [m,M] y∈[m,M],存在 x 0 ∈ [ a , b ] x_0\in[a,b] x0∈[a,b],使得 f ( x 0 ) = y f(x_0)=y f(x0)=y
版本2:设函数 f f f 在区间 ( a , b ) (a,b) (a,b) 上连续, lim x → a + f ( x ) , lim x → b − f ( x ) \lim\limits_{x\to a^+}f(x),\lim\limits_{x\to b^-}f(x) x→a+limf(x),x→b−limf(x) 存在且有限, m , M m,M m,M 分别是其最小值,最大值,则 对任意 y ∈ [ m , M ] y\in [m,M] y∈[m,M],存在 x 0 ∈ ( a , b ) x_0\in(a,b) x0∈(a,b),使得 f ( x 0 ) = y f(x_0)=y f(x0)=y
版本3:设函数 f f f 在区间 ( a , b ) (a,b) (a,b) 上连续, lim x → a + f ( x ) , lim x → b − f ( x ) \lim\limits_{x\to a^+}f(x),\lim\limits_{x\to b^-}f(x) x→a+limf(x),x→b−limf(x) 均发散到正无穷, m m m 是其最小值,则对任意 y ∈ [ m , + ∞ ) y\in [m,+\infty) y∈[m,+∞),存在 x 0 ∈ ( a , b ) x_0\in(a,b) x0∈(a,b),使得 f ( x 0 ) = y f(x_0)=y f(x0)=y
为证明介值定理,我们使用先特殊后一般的技巧,我们证明以下特殊情形的介值定理,其被称为零点存在性定理,得证后会发现介值定理是显然的
零点存在性定理
版本1:设函数
f
f
f 在区间
[
a
,
b
]
[a,b]
[a,b] 上连续,若
f
(
a
)
⋅
f
(
b
)
≤
0
f(a)\cdot f(b)\leq 0
f(a)⋅f(b)≤0,则存在
x
0
∈
[
a
,
b
]
x_0\in[a,b]
x0∈[a,b],使得
f
(
x
0
)
=
0
f(x_0)=0
f(x0)=0
版本2:设函数 f f f 在区间 ( a , b ) (a,b) (a,b) 上连续,若 lim x → a + f ( x ) ⋅ lim x → b − f ( x ) ≤ 0 \lim\limits_{x\to a^+}f(x)\cdot \lim\limits_{x\to b^-}f(x)\leq 0 x→a+limf(x)⋅x→b−limf(x)≤0,则存在 x 0 ∈ ( a , b ) x_0\in(a,b) x0∈(a,b),使得 f ( x 0 ) = 0 f(x_0)=0 f(x0)=0
版本3:设函数 f f f 在区间 ( a , b ) (a,b) (a,b) 上连续, lim x → a + f ( x ) , lim x → b − f ( x ) \lim\limits_{x\to a^+}f(x),\lim\limits_{x\to b^-}f(x) x→a+limf(x),x→b−limf(x) 均发散到正无穷, m m m 是其最小值,若 m < 0 m<0 m<0,则存在 x 0 ∈ ( a , b ) x_0\in(a,b) x0∈(a,b),使得 f ( x 0 ) = 0 f(x_0)=0 f(x0)=0
证明思路
版本1:不妨设
f
(
a
)
<
0
,
f
(
b
)
>
0
f(a)<0,f(b)>0
f(a)<0,f(b)>0,构造零点如下
x
0
=
sup
{
x
∈
[
a
,
b
]
∣
f
(
x
)
<
0
}
x_0=\sup\{x\in[a,b]|f(x)<0\}
x0=sup{x∈[a,b]∣f(x)<0}
由构造得到
f
(
x
0
)
≤
0
f(x_0)\leq 0
f(x0)≤0
下用反证法证明
f
(
ξ
)
=
0
f(\xi)=0
f(ξ)=0,设
f
(
ξ
)
<
0
f(\xi)<0
f(ξ)<0,由连续性知道在
ξ
\xi
ξ 附近
f
(
ξ
)
<
0
f(\xi)<0
f(ξ)<0,这与
ξ
\xi
ξ 是符合条件的最小上界矛盾
版本2:直接仿照版本1的证明即可,不需要添加定义 f ( a ) = lim x → a + f ( x ) , f ( b ) = lim x → b − f ( x ) f(a)=\lim\limits_{x\to a^+}f(x),f(b)=\lim\limits_{x\to b^-}f(x) f(a)=x→a+limf(x),f(b)=x→b−limf(x)
版本3:直接仿照版本1的证明
4.中值定理
Rolle中值定理
版本1:设函数
f
f
f 在
[
a
,
b
]
[a,b]
[a,b] 上连续且在
(
a
,
b
)
(a,b)
(a,b) 上可微,若
f
(
a
)
=
f
(
b
)
f(a)=f(b)
f(a)=f(b),则存在
x
0
∈
(
a
,
b
)
x_0\in(a,b)
x0∈(a,b),使得
f
′
(
x
0
)
=
0
f'(x_0)=0
f′(x0)=0
版本2:设函数 f f f 在 ( a , b ) (a,b) (a,b) 上可微,若 lim x → a + f ( x ) = lim x → b − f ( x ) \lim\limits_{x\to a^+}f(x)=\lim\limits_{x\to b^-}f(x) x→a+limf(x)=x→b−limf(x) 均有限,则存在 x 0 ∈ ( a , b ) x_0\in(a,b) x0∈(a,b),使得 f ′ ( x 0 ) = 0 f'(x_0)=0 f′(x0)=0
版本3:设函数 f f f 在 ( a , b ) (a,b) (a,b) 上可微,若 lim x → a + f ( x ) = lim x → b − f ( x ) = + ∞ \lim\limits_{x\to a^+}f(x)=\lim\limits_{x\to b^-}f(x)=+\infty x→a+limf(x)=x→b−limf(x)=+∞,则存在 x 0 ∈ ( a , b ) x_0\in(a,b) x0∈(a,b),使得 f ′ ( x 0 ) = 0 f'(x_0)=0 f′(x0)=0
证明思路
版本1,2,3:设
f
f
f 为非常值函数,则
f
f
f 在区间
(
a
,
b
)
(a,b)
(a,b) 上存在最大值
f
(
x
0
)
f(x_0)
f(x0),则
f
′
(
x
0
)
=
0
f'(x_0)=0
f′(x0)=0
由Rolle中值定理容易推出以下的Lagrange中值定理
Lagrange中值定理
版本1:设函数
f
f
f 在
[
a
,
b
]
[a,b]
[a,b] 上连续且在
(
a
,
b
)
(a,b)
(a,b) 上可微,则存在
x
0
∈
(
a
,
b
)
x_0\in(a,b)
x0∈(a,b),使得
f
′
(
x
0
)
=
f
(
b
)
−
f
(
a
)
b
−
a
f'(x_0)=\frac{f(b)-f(a)}{b-a}
f′(x0)=b−af(b)−f(a)
版本2:设函数 f f f 在 ( a , b ) (a,b) (a,b) 上可微, lim x → a + f ( x ) , lim x → b − f ( x ) \lim\limits_{x\to a^+}f(x),\lim\limits_{x\to b^-}f(x) x→a+limf(x),x→b−limf(x) 均存在且有限,则存在 x 0 ∈ ( a , b ) x_0\in(a,b) x0∈(a,b),使得 f ′ ( x 0 ) = lim x → b − f ( x ) − lim x → a + f ( x ) b − a f'(x_0)=\frac{\lim\limits_{x\to b^-}f(x)-\lim\limits_{x\to a^+}f(x)}{b-a} f′(x0)=b−ax→b−limf(x)−x→a+limf(x)
证明思路
版本1:构造辅助函数
g
(
x
)
=
f
(
x
)
−
f
(
b
)
−
f
(
a
)
b
−
a
(
x
−
a
)
g(x)=f(x)-\frac{f(b)-f(a)}{b-a}(x-a)
g(x)=f(x)−b−af(b)−f(a)(x−a) 并用Rolle中值定理可得
版本2:构造辅助函数 g ( x ) = f ( x ) − lim x → b − f ( x ) − lim x → a + f ( x ) b − a ( x − a ) g(x)=f(x)-\frac{\lim\limits_{x\to b^-}f(x)-\lim\limits_{x\to a^+}f(x)}{b-a}(x-a) g(x)=f(x)−b−ax→b−limf(x)−x→a+limf(x)(x−a) 并用Rolle中值定理可得
Cauchy中值定理
版本1:设函数
f
,
g
f,g
f,g 在
[
a
,
b
]
[a,b]
[a,b] 上连续且在
(
a
,
b
)
(a,b)
(a,b) 上可微,设对任意的
x
∈
(
a
,
b
)
,
g
′
(
x
)
≠
0
x\in(a,b),g'(x)\neq 0
x∈(a,b),g′(x)=0,则存在
x
0
∈
(
a
,
b
)
x_0\in(a,b)
x0∈(a,b),使得
f
′
(
x
0
)
g
′
(
x
0
)
=
f
(
b
)
−
f
(
a
)
g
(
b
)
−
g
(
a
)
\frac{f'(x_0)}{g'(x_0)}=\frac{f(b)-f(a)}{g(b)-g(a)}
g′(x0)f′(x0)=g(b)−g(a)f(b)−f(a)
版本2:设函数
f
,
g
f,g
f,g 在
(
a
,
b
)
(a,b)
(a,b) 上可微,
lim
x
→
a
+
f
(
x
)
,
lim
x
→
b
−
f
(
x
)
\lim\limits_{x\to a^+}f(x),\lim\limits_{x\to b^-}f(x)
x→a+limf(x),x→b−limf(x) 均存在且有限,设对任意的
x
∈
(
a
,
b
)
,
g
′
(
x
)
≠
0
x\in(a,b),g'(x)\neq 0
x∈(a,b),g′(x)=0,则存在
x
0
∈
(
a
,
b
)
x_0\in(a,b)
x0∈(a,b),使得
f
′
(
x
0
)
g
′
(
x
0
)
=
lim
x
→
b
−
f
(
x
)
−
lim
x
→
a
+
f
(
x
)
lim
x
→
b
−
g
(
x
)
−
lim
x
→
a
+
g
(
x
)
\frac{f'(x_0)}{g'(x_0)}=\frac{\lim\limits_{x\to b^-}f(x)-\lim\limits_{x\to a^+}f(x)}{\lim\limits_{x\to b^-}g(x)-\lim\limits_{x\to a^+}g(x)}
g′(x0)f′(x0)=x→b−limg(x)−x→a+limg(x)x→b−limf(x)−x→a+limf(x)
证明思路
版本1:
法1:构造辅助函数
F
(
x
)
=
f
(
x
)
−
f
(
a
)
−
f
(
b
)
−
f
(
a
)
g
(
b
)
−
g
(
a
)
(
g
(
x
)
−
g
(
a
)
)
F(x)=f(x)-f(a)-\frac{f(b)-f(a)}{g(b)-g(a)}(g(x)-g(a))
F(x)=f(x)−f(a)−g(b)−g(a)f(b)−f(a)(g(x)−g(a)) 并用 Rolle中值定理
法2:由 g ′ ( x ) ≠ 0 g'(x)\neq 0 g′(x)=0,故 g : I = [ a , b ] → J = [ g ( a ) , g ( b ) ] g:I=[a,b]\to J=[g(a),g(b)] g:I=[a,b]→J=[g(a),g(b)] 是同胚
考虑映射
f
∘
g
−
1
:
J
→
Y
f\circ g^{-1}:J\to Y
f∘g−1:J→Y,由Lagrange中值定理,存在
c
∈
J
c\in J
c∈J,使得
f
∘
g
−
1
(
g
(
a
)
)
−
f
∘
g
−
1
(
g
(
b
)
)
g
(
a
)
−
g
(
b
)
=
(
f
∘
g
−
1
)
′
(
c
)
\frac{f\circ g^{-1}(g(a))-f\circ g^{-1}(g(b))}{g(a)-g(b)}=(f\circ g^{-1})'(c)
g(a)−g(b)f∘g−1(g(a))−f∘g−1(g(b))=(f∘g−1)′(c)
版本2:
将版本1中的
f
(
a
)
f(a)
f(a) 替换为
lim
x
→
a
+
f
(
x
)
\lim\limits_{x\to a^+}f(x)
x→a+limf(x),
f
(
b
)
f(b)
f(b) 替换为
lim
x
→
b
−
f
(
x
)
\lim\limits_{x\to b^-}f(x)
x→b−limf(x) 即可
注:Cauchy中值定理的几何直观
考虑如下的向量值函数
F
:
[
a
,
b
]
→
R
,
x
↦
(
f
(
x
)
g
(
x
)
)
F:[a,b]\to\mathbb{R},x\mapsto \begin{pmatrix} f(x)\\g(x)\\ \end{pmatrix}
F:[a,b]→R,x↦(f(x)g(x))
Cauchy中值定理说的是存在曲线上一点 x 0 x_0 x0,使得其切线方向 F ′ ( x 0 ) F'(x_0) F′(x0) 与两个端点的连线 ( f ( b ) g ( b ) ) − ( f ( a ) g ( a ) ) \begin{pmatrix} f(b)\\g(b)\\ \end{pmatrix}-\begin{pmatrix} f(a)\\g(a)\\ \end{pmatrix} (f(b)g(b))−(f(a)g(a)) 是同方向的
也可以这么理解:考虑单位圆上的切线方向函数
F
^
:
[
a
,
b
]
→
S
1
,
x
↦
(
g
′
(
x
)
,
f
′
(
x
)
)
f
′
(
x
)
2
+
g
′
(
x
)
2
\hat{F}:[a,b]\to S^1,x\mapsto \frac{(g'(x),f'(x))}{\sqrt{f'(x)^2+g'(x)^2}}
F^:[a,b]→S1,x↦f′(x)2+g′(x)2(g′(x),f′(x))
Cauchy中值定理说的是对单位圆上任意一点的切线方向,总可以找到圆上两点
(
g
(
b
)
g
(
b
)
2
+
f
(
b
)
2
,
f
(
b
)
g
(
b
)
2
+
f
(
b
)
2
)
(\frac{g(b)}{\sqrt{g(b)^2+f(b)^2}},\frac{f(b)}{\sqrt{g(b)^2+f(b)^2}})
(g(b)2+f(b)2g(b),g(b)2+f(b)2f(b))
(
g
(
a
)
g
(
a
)
2
+
f
(
a
)
2
,
f
(
a
)
g
(
a
)
2
+
f
(
a
)
2
)
(\frac{g(a)}{\sqrt{g(a)^2+f(a)^2}},\frac{f(a)}{g(a)^2+f(a)^2})
(g(a)2+f(a)2g(a),g(a)2+f(a)2f(a)) 使得它们的连线方向与其相同
5.洛必达法则
L
′
H
o
^
p
i
t
a
l
L'H\hat{o}pital
L′Ho^pital(洛必达)法则
设
f
,
g
f,g
f,g 是区间
(
a
,
b
)
(a,b)
(a,b) 上的实值可微函数,假设
f
(
x
)
,
g
(
x
)
=
o
(
x
−
a
)
f(x),g(x)=o(x-a)
f(x),g(x)=o(x−a),即
lim
x
→
a
+
f
(
x
)
=
0
,
lim
x
→
a
+
g
(
x
)
=
0
\lim\limits_{x\to a^+}f(x)=0,\lim\limits_{x\to a^+}g(x)=0
x→a+limf(x)=0,x→a+limg(x)=0
设对任意
x
∈
(
a
,
b
)
,
g
′
(
x
)
≠
0
x\in(a,b),g'(x)\neq 0
x∈(a,b),g′(x)=0,若极限
lim
x
→
a
+
f
′
(
x
)
g
′
(
x
)
\lim\limits_{x\to a^+}\frac{f'(x)}{g'(x)}
x→a+limg′(x)f′(x) 存在,则
lim
x
→
a
+
f
(
x
)
g
(
x
)
=
lim
x
→
a
+
f
′
(
x
)
g
′
(
x
)
\lim\limits_{x\to a^+}\frac{f(x)}{g(x)}=\lim\limits_{x\to a^+}\frac{f'(x)}{g'(x)}
x→a+limg(x)f(x)=x→a+limg′(x)f′(x)
证明
(Cauchy中值定理)
由于
f
,
g
f,g
f,g 在区间
[
a
,
x
]
[a,x]
[a,x] 上连续并且在
(
a
,
x
)
(a,x)
(a,x) 上可微,由 Cauchy中值定理,存在
ξ
(
x
)
∈
(
a
,
x
)
\xi(x)\in(a,x)
ξ(x)∈(a,x),使得
f
(
x
)
g
(
x
)
=
f
(
x
)
−
f
(
a
)
g
(
x
)
−
g
(
a
)
=
f
′
(
ξ
(
x
)
)
g
′
(
ξ
(
x
)
)
\frac{f(x)}{g(x)}=\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f'(\xi(x))}{g'(\xi(x))}
g(x)f(x)=g(x)−g(a)f(x)−f(a)=g′(ξ(x))f′(ξ(x))
由于
a
<
ξ
(
x
)
<
x
a<\xi(x)<x
a<ξ(x)<x,当
x
→
a
+
x\to a^+
x→a+ 时,则有
lim
x
→
a
+
f
(
x
)
g
(
x
)
=
lim
x
→
a
+
f
′
(
ξ
(
x
)
)
g
′
(
ξ
(
x
)
)
=
lim
x
→
a
+
f
′
(
x
)
g
′
(
x
)
\lim\limits_{x\to a^+}\frac{f(x)}{g(x)}=\lim\limits_{x\to a^+}\frac{f'(\xi(x))}{g'(\xi(x))}=\lim\limits_{x\to a^+}\frac{f'(x)}{g'(x)}
x→a+limg(x)f(x)=x→a+limg′(ξ(x))f′(ξ(x))=x→a+limg′(x)f′(x)
注:类似可证 x → ∞ , x → b − x\to \infty,x\to b^- x→∞,x→b− 的情形
6.泰勒公式
定理:Taylor(泰勒)展开公式
Peano余项
设函数
f
:
[
a
,
b
]
→
R
f:[a,b]\to\mathbb{R}
f:[a,b]→R 在
a
a
a 处有直到
n
n
n 阶的导数,则当
x
→
a
+
x\to a^+
x→a+ 时,有
f
(
x
)
=
∑
k
=
0
n
f
(
k
)
(
a
)
k
!
(
x
−
a
)
k
+
o
(
(
x
−
a
)
n
)
f(x)=\sum\limits_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k+o((x-a)^n)
f(x)=k=0∑nk!f(k)(a)(x−a)k+o((x−a)n)
Lagrange余项
设函数
f
∈
C
n
[
a
,
b
]
f\in C^n[a,b]
f∈Cn[a,b],若
f
f
f 在
(
a
,
b
)
(a,b)
(a,b) 上
n
+
1
n+1
n+1 次可导,则
f
(
x
)
=
∑
k
=
0
n
f
(
k
)
(
a
)
k
!
(
x
−
a
)
k
+
R
n
(
x
)
f(x)=\sum\limits_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k+R_n(x)
f(x)=k=0∑nk!f(k)(a)(x−a)k+Rn(x)
其中 R n ( x ) = f n + 1 ( ξ ) ( n + 1 ) ! ( x − a ) n + 1 , ξ ∈ [ a , x ] R_n(x)=\frac{f^{n+1}(\xi)}{(n+1)!}(x-a)^{n+1},\xi\in[a,x] Rn(x)=(n+1)!fn+1(ξ)(x−a)n+1,ξ∈[a,x]
Cauchy余项
设函数
f
∈
C
n
[
a
,
b
]
f\in C^n[a,b]
f∈Cn[a,b],若
f
f
f 在
(
a
,
b
)
(a,b)
(a,b) 上
n
+
1
n+1
n+1 次可导,则
f
(
x
)
=
∑
k
=
0
n
f
(
k
)
(
a
)
k
!
(
x
−
a
)
k
+
R
‾
n
(
x
)
f(x)=\sum\limits_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k+\overline{R}_n(x)
f(x)=k=0∑nk!f(k)(a)(x−a)k+Rn(x)
其中 R ‾ n ( x ) = f n + 1 ( ξ ) ( n + 1 ) ! ( x − ξ ) n ( x − a ) , ξ ∈ [ a , x ] \overline{R}_n(x)=\frac{f^{n+1}(\xi)}{(n+1)!}(x-\xi)^n(x-a),\xi\in[a,x] Rn(x)=(n+1)!fn+1(ξ)(x−ξ)n(x−a),ξ∈[a,x]
证明思路
Peano余项
只需证
lim
x
→
a
+
f
(
x
)
−
∑
k
=
0
n
f
(
k
)
(
a
)
k
!
(
x
−
a
)
k
(
x
−
a
)
n
=
0
\lim\limits_{x\to a^+}\frac{f(x)-\sum\limits_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k}{(x-a)^n}=0
x→a+lim(x−a)nf(x)−k=0∑nk!f(k)(a)(x−a)k=0
不断利用L’Hospital法则即得
Lagrange余项
法1:定义
F
(
t
)
=
∑
k
=
0
n
f
(
k
)
(
a
)
k
!
(
x
−
a
)
k
F(t)=\sum\limits_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k
F(t)=k=0∑nk!f(k)(a)(x−a)k
求导得到
F
′
(
t
)
=
f
n
+
1
(
t
)
n
!
(
x
−
t
)
n
F'(t)=\frac{f^{n+1}(t)}{n!}(x-t)^n
F′(t)=n!fn+1(t)(x−t)n
考虑定义在
(
a
,
x
)
(a,x)
(a,x) 上的函数
G
(
t
)
=
(
x
−
t
x
−
a
)
n
+
1
G(t)=(\frac{x-t}{x-a})^{n+1}
G(t)=(x−ax−t)n+1
由 Cauchy 中值定理,存在
ξ
∈
(
a
,
x
)
\xi\in(a,x)
ξ∈(a,x),使得
F
′
(
ξ
)
G
′
(
ξ
)
=
F
(
x
)
−
F
(
a
)
G
(
x
)
−
G
(
a
)
\frac{F'(\xi)}{G'(\xi)}=\frac{F(x)-F(a)}{G(x)-G(a)}
G′(ξ)F′(ξ)=G(x)−G(a)F(x)−F(a)
代入 F , G F,G F,G,整理即得
法2:引理(Rolle定理的高阶推广):设 f ∈ C n [ a , b ] f\in C^n[a,b] f∈Cn[a,b],且在 ( a , b ) (a,b) (a,b) 上 n + 1 n+1 n+1 次可导,若 f f f 在 a a a 处的 n n n 次导数全为零,且 f ( a ) = f ( b ) f(a)=f(b) f(a)=f(b),那么存在 x 0 ∈ ( a , b ) x_0\in(a,b) x0∈(a,b),使得 f ( n + 1 ) ( x 0 ) = 0 f^{(n+1)}(x_0)=0 f(n+1)(x0)=0
设
P
n
(
x
)
=
∑
k
=
0
n
f
(
k
)
(
a
)
k
!
(
x
−
a
)
k
P_n(x)=\sum\limits_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k
Pn(x)=k=0∑nk!f(k)(a)(x−a)k,选取合适的
λ
∈
R
\lambda\in\mathbb{R}
λ∈R,使得
P
(
b
)
=
f
(
b
)
P(b)=f(b)
P(b)=f(b),
其中
P
(
x
)
=
P
n
(
x
)
+
λ
(
x
−
a
)
n
+
1
P(x)=P_n(x)+\lambda(x-a)^{n+1}
P(x)=Pn(x)+λ(x−a)n+1
故解得
λ
=
f
(
b
)
−
P
n
(
b
)
(
b
−
a
)
n
+
1
\lambda=\frac{f(b)-P_n(b)}{(b-a)^{n+1}}
λ=(b−a)n+1f(b)−Pn(b)
故
f
(
x
)
−
P
(
x
)
f(x)-P(x)
f(x)−P(x) 在
x
=
a
,
x
=
b
x=a,x=b
x=a,x=b 处均为零,故存在
c
∈
(
a
,
b
)
c\in(a,b)
c∈(a,b),使得
f
(
n
+
1
)
(
c
)
−
P
(
n
+
1
)
(
c
)
=
0
f^{(n+1)}(c)-P^{(n+1)}(c)=0
f(n+1)(c)−P(n+1)(c)=0
整理即得
Cauchy余项
类似 Lagrange余项的第一个证明,不同的是取
G
(
t
)
=
x
−
t
x
−
a
G(t)=\frac{x-t}{x-a}
G(t)=x−ax−t
命题:满足Peano余项的Taylor展开公式是唯一的
设函数
f
:
[
a
,
b
]
→
R
f:[a,b]\to\mathbb{R}
f:[a,b]→R 在
a
a
a 处有直到
n
n
n 阶的导数,若存在
P
(
x
)
∈
P
n
(
x
)
P(x)\in\mathbb{P}_n(x)
P(x)∈Pn(x),使得当
x
→
a
+
x\to a^+
x→a+ 时,有
f
(
x
)
=
P
(
x
)
+
o
(
(
x
−
a
)
n
)
f(x)=P(x)+o((x-a)^n)
f(x)=P(x)+o((x−a)n)
则 P ( x ) = ∑ k = 0 n f ( k ) ( a ) k ! ( x − a ) k P(x)=\sum\limits_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k P(x)=k=0∑nk!f(k)(a)(x−a)k
证明思路
设
Q
(
x
)
=
P
(
x
)
−
∑
k
=
0
n
f
(
k
)
(
a
)
k
!
(
x
−
a
)
k
Q(x)=P(x)-\sum\limits_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k
Q(x)=P(x)−k=0∑nk!f(k)(a)(x−a)k,由Peano余项的Taylor展开公式,
lim
x
→
a
+
Q
(
x
)
(
x
−
a
)
n
=
0
\lim\limits_{x\to a^+}\frac{Q(x)}{(x-a)^n}=0
x→a+lim(x−a)nQ(x)=0
由于 deg Q ≤ n \deg Q\leq n degQ≤n,故 Q ≡ 0 Q\equiv 0 Q≡0
注:由此可见,在 a a a 附近, ∑ k = 0 n f ( k ) ( a ) k ! ( x − a ) k \sum\limits_{k=0}^n\frac{f^{(k)}(a)}{k!}(x-a)^k k=0∑nk!f(k)(a)(x−a)k 是 f ( x ) f(x) f(x) 在 P n ( x ) \mathbb{P}_n(x) Pn(x) 内的最佳逼近元
参考书:
- 《数学分析》陈纪修 於崇华 金路
- 《数学分析之课程讲义》清华大学数学系及丘成桐数学中心
- 《数学分析习题课讲义》谢惠民 恽自求 易法槐 钱定边 著