1. 未定式
如果当 x → a x \to a x→a(或 x → ∞ x \to \infty x→∞ )时,两个函数 f ( x ) f(x) f(x) 与 F ( x ) F(x) F(x) 都趋于零或都趋于无穷大,那么极限 lim x → a ( x → ∞ ) f ( x ) F ( x ) \lim\limits_{\substack{x \to a \\(x \to \infty)}} \dfrac{f(x)}{F(x)} x→a(x→∞)limF(x)f(x) 可能存在、也可能不存在. 通常把这种极限叫做未定式,并分别简记为 0 0 \dfrac{0}{0} 00 或 ∞ ∞ \dfrac{\infty}{\infty} ∞∞.
2. 自变量趋于有限值时的 0 0 \dfrac{0}{0} 00型未定式
- 自变量趋于有限值时的
0
0
\dfrac{0}{0}
00型未定式
(1) 当 x → a x \to a x→a 时,函数 f ( x ) f(x) f(x) 及 F ( x ) F(x) F(x) 都趋于零;
(2) 在点 a a a 的某去心邻域内, f ′ ( x ) f'(x) f′(x) 及 F ′ ( x ) F'(x) F′(x) 都存在且 F ′ ( x ) ≠ 0 F'(x) \neq 0 F′(x)=0;
(3) lim x → a f ′ ( x ) F ′ ( x ) \lim\limits_{x \to a} \dfrac{f'(x)}{F'(x)} x→alimF′(x)f′(x) 存在(或为无穷大),
则
lim x → a f ( x ) F ( x ) = lim x → a f ′ ( x ) F ′ ( x ) \lim\limits_{x \to a} \dfrac{f(x)}{F(x)} = \lim\limits_{x \to a} \dfrac{f'(x)}{F'(x)} x→alimF(x)f(x)=x→alimF′(x)f′(x)根据条件(1),以及柯西中值定理的需要,可以定义 f ( a ) = F ( a ) = 0 f(a)=F(a)=0 f(a)=F(a)=0,而不影响 x → a x\to a x→a的相关极限过程,由此结合条件(2),根据柯西中值定理:
f ( x ) F ( x ) = f ( x ) − f ( a ) F ( x ) − F ( a ) = f ′ ( ξ ) F ′ ( ξ ) ( ξ 在 x 与 a 之间 ) \dfrac{f(x)}{F(x)}=\dfrac{f(x)-f(a)}{F(x)-F(a)}=\dfrac{f'(\xi)}{F'(\xi)}(\xi在x与a之间) F(x)f(x)=F(x)−F(a)f(x)−f(a)=F′(ξ)f′(ξ)(ξ在x与a之间)
取 x → a , ξ → a x\to a,\xi\to a x→a,ξ→a,结合条件(3)即可完成证明
对于条件(3)中无穷大的情形,有
0 < ∣ ξ − a ∣ < ∣ x − a ∣ < δ , ∣ f ′ ( ξ ) F ′ ( ξ ) ∣ > K ⟹ ∣ f ( x ) F ( x ) ∣ > K 0 < |\xi - a| < |x - a| < \delta,|\dfrac{f'(\xi)}{F'(\xi)}| > K \implies |\dfrac{f(x)}{F(x)}| > K 0<∣ξ−a∣<∣x−a∣<δ,∣F′(ξ)f′(ξ)∣>K⟹∣F(x)f(x)∣>K
如果条件(3)中的极限是发散的, lim x → a f ( x ) F ( x ) \lim\limits_{x \to a} \dfrac{f(x)}{F(x)} x→alimF(x)f(x)有可能发散,也有可能收敛,比如 lim x → ∞ x + sin x x \lim\limits_{x\to\infty}\dfrac{x+\sin x}{x} x→∞limxx+sinx收敛。 - 这种在一定条件下通过分子分母分别求导再求极限来确定未定式的值的方法称为洛必达(L’Hospital)法则.
- 如果 lim x → a f ′ ( x ) F ′ ( x ) \lim\limits_{x \to a} \dfrac{f'(x)}{F'(x)} x→alimF′(x)f′(x)依然是 0 0 \dfrac{0}{0} 00型未定式,但是满足洛必达法则的条件,可以继续使用洛必达法则
3. 自变量趋于无穷大时的 0 0 \dfrac{0}{0} 00型未定式
(1) 当
x
→
∞
x \to \infty
x→∞ 时,函数
f
(
x
)
f(x)
f(x) 及
F
(
x
)
F(x)
F(x) 都趋于零;
(2) 当
∣
x
∣
>
N
|x| > N
∣x∣>N 时
f
′
(
x
)
f'(x)
f′(x) 与
F
′
(
x
)
F'(x)
F′(x) 都存在,且
F
′
(
x
)
≠
0
F'(x) \neq 0
F′(x)=0;
(3)
lim
x
→
∞
f
′
(
x
)
F
′
(
x
)
\lim\limits_{x \to \infty} \dfrac{f'(x)}{F'(x)}
x→∞limF′(x)f′(x) 存在(或为无穷大),
则
lim
x
→
∞
f
(
x
)
F
(
x
)
=
lim
x
→
∞
f
′
(
x
)
F
′
(
x
)
\lim\limits_{x \to \infty} \dfrac{f(x)}{F(x)} = \lim\limits_{x \to \infty} \dfrac{f'(x)}{F'(x)}
x→∞limF(x)f(x)=x→∞limF′(x)f′(x)
4. 其他类型的未定式
- 其他类型的未定式可以转换为上述2种 0 0 \dfrac{0}{0} 00型未定式处理,或者参照上述2种 0 0 \dfrac{0}{0} 00型未定式的洛必达法则的证法得出本未定式的洛必达法则
- 洛必达法则是求未定式的一种有效方法,但最好能与其他求极限的方法结合使用. 例如能化简时应尽可能先化简,可以应用等价无穷小替代或重要极限时,应尽可能应用,这样可以使运算简捷.