L’Hôpital 法则利用导数之比处理特定未定式,Taylor 公式则用多项式及余项描述函数的局部结构。


1. L’Hôpital 法则

1.1 0/00/0

定理
设当 xx0x\to x_0 时:

  1. f(x)0f(x)\to0g(x)0g(x)\to0

  2. f,gf,gx0x_0 的某个去心邻域内可导;

  3. g(x)0g'(x)\ne0

  4. 极限

    limxx0f(x)g(x)=A\lim_{x\to x_0}\frac{f'(x)}{g'(x)}=A

    存在,其中 AA 可以是有限值或正负无穷;

limxx0f(x)g(x)=A.\lim_{x\to x_0}\frac{f(x)}{g(x)}=A.

相应的单侧极限以及 x±x\to\pm\infty 情形也成立。

1.2 /\infty/\infty

定理
将条件中的 f(x)0f(x)\to0g(x)0g(x)\to0 换为

f(x),g(x),|f(x)|\to\infty,\qquad |g(x)|\to\infty,

其余条件不变,仍有

limf(x)g(x)=limf(x)g(x).\lim\frac{f(x)}{g(x)} =\lim\frac{f'(x)}{g'(x)}.

1.3 使用注意

L’Hôpital 法则不能反向使用。即使

limf(x)g(x)\lim\frac{f(x)}{g(x)}

存在,

limf(x)g(x)\lim\frac{f'(x)}{g'(x)}

也可能不存在。

在使用前必须先确认原式确实属于 0/00/0 型或 /\infty/\infty 型。

法则可以连续使用多次,但每次都必须重新检查条件。


2. 其他未定式的转化

2.1 00\cdot\infty

乘积

f(x)g(x)f(x)g(x)

可改写为

f(x)1/g(x)g(x)1/f(x),\frac{f(x)}{1/g(x)} \quad\text{或}\quad \frac{g(x)}{1/f(x)},

从而转化为商的未定式。

2.2 \infty-\infty

通常通过通分、有理化或提取主项转化。例如

x2+xx=xx2+x+x.\sqrt{x^2+x}-x =\frac{x}{\sqrt{x^2+x}+x}.

2.3 幂指型

1,00,01^\infty,\qquad 0^0,\qquad \infty^0

型,令

y=u(x)v(x)y=u(x)^{v(x)}

并取对数:

lny=v(x)lnu(x).\ln y=v(x)\ln u(x).

先求 lny\ln y 的极限,再利用指数函数连续性还原。


3. 高阶无穷小与阶的比较

α(x),β(x)0\alpha(x),\beta(x)\to0

  • α/β0\alpha/\beta\to0,称 α\alpha 是比 β\beta 高阶的无穷小,记作

    α=o(β);\alpha=o(\beta);
  • α/βc0\alpha/\beta\to c\ne0,称二者同阶;

  • α/β1\alpha/\beta\to1,称二者等价;

  • α/βkc0\alpha/\beta^k\to c\ne0,称 α\alpha 是关于 β\betakk 阶无穷小。

Landau 记号

α=O(β)\alpha=O(\beta)

表示 α/β\alpha/\beta 在相应极限过程中有界。


4. Taylor 多项式

设函数 ffx0x_0 具有直到 nn 阶的导数。定义 nn 次 Taylor 多项式

Tn(x)=k=0nf(k)(x0)k!(xx0)k.T_n(x) =\sum_{k=0}^n \frac{f^{(k)}(x_0)}{k!}(x-x_0)^k.

Tn(x)=f(x0)+f(x0)(xx0)++f(n)(x0)n!(xx0)n.T_n(x) =f(x_0)+f'(x_0)(x-x_0) +\cdots+ \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n.

x0=0x_0=0 时,称为 Maclaurin 多项式。

Taylor 多项式在 x0x_0 处与原函数具有相同的前 nn 阶导数。


5. Taylor 公式

5.1 Peano 余项

定理(Taylor 公式的 Peano 形式)
ffx0x_0nn 阶可导,则

f(x)=k=0nf(k)(x0)k!(xx0)k+o((xx0)n).f(x) =\sum_{k=0}^n \frac{f^{(k)}(x_0)}{k!}(x-x_0)^k +o\bigl((x-x_0)^n\bigr).

Peano 形式适合求极限和比较无穷小的阶。

5.2 Lagrange 余项

定理(Taylor 公式的 Lagrange 形式)
ff 在连接 x0x_0xx 的闭区间上具有直到 nn 阶的连续导数,在开区间内存在 n+1n+1 阶导数,则存在位于 x0x_0xx 之间的 ξ\xi,使

f(x)=Tn(x)+f(n+1)(ξ)(n+1)!(xx0)n+1.f(x) =T_n(x) +\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-x_0)^{n+1}.

余项记作

Rn(x)=f(n+1)(ξ)(n+1)!(xx0)n+1.R_n(x) =\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-x_0)^{n+1}.

Lagrange 余项适合估计近似误差。

5.3 一阶情形

n=0n=0 时,Taylor 公式退化为 Lagrange 中值公式:

f(x)=f(x0)+f(ξ)(xx0).f(x)=f(x_0)+f'(\xi)(x-x_0).

6. 常用 Maclaurin 展开

x0x\to0 时:

ex=1+x+x22!++xnn!+o(xn),e^x =1+x+\frac{x^2}{2!} +\cdots+ \frac{x^n}{n!} +o(x^n), sinx=xx33!+x55!,\sin x =x-\frac{x^3}{3!} +\frac{x^5}{5!} -\cdots, cosx=1x22!+x44!,\cos x =1-\frac{x^2}{2!} +\frac{x^4}{4!} -\cdots, ln(1+x)=xx22+x33,\ln(1+x) =x-\frac{x^2}{2} +\frac{x^3}{3} -\cdots, (1+x)α=1+αx+α(α1)2!x2+,(1+x)^\alpha =1+\alpha x +\frac{\alpha(\alpha-1)}{2!}x^2 +\cdots, 11x=1+x+x2++xn+O(xn+1).\frac1{1-x} =1+x+x^2+\cdots+x^n+O(x^{n+1}).

三角、对数和二项式展开只在相应定义域及余项条件下使用。

6.1 常见低阶形式

sinx=xx36+o(x3),\sin x=x-\frac{x^3}{6}+o(x^3), cosx=1x22+o(x2),\cos x=1-\frac{x^2}{2}+o(x^2), ex=1+x+x22+o(x2),e^x=1+x+\frac{x^2}{2}+o(x^2), ln(1+x)=xx22+o(x2).\ln(1+x)=x-\frac{x^2}{2}+o(x^2).

7. Taylor 公式的用途

7.1 求极限

展开到首个不相消的非零项,即可比较分子与分母的阶。

例如

1cosx=x22+o(x2),1-\cos x=\frac{x^2}{2}+o(x^2),

所以

limx01cosxx2=12.\lim_{x\to0}\frac{1-\cos x}{x^2} =\frac12.

7.2 近似计算

Tn(x)T_n(x) 代替 f(x)f(x),并通过余项估计误差:

f(x)=Tn(x)+Rn(x).f(x)=T_n(x)+R_n(x).

7.3 判断极值

f(x0)==f(n1)(x0)=0,f(n)(x0)0,f'(x_0)=\cdots=f^{(n-1)}(x_0)=0, \qquad f^{(n)}(x_0)\ne0,

则首个非零高阶项决定局部形态:

  • nn 为偶数且 f(n)(x0)>0f^{(n)}(x_0)>0:严格局部最小;
  • nn 为偶数且 f(n)(x0)<0f^{(n)}(x_0)<0:严格局部最大;
  • nn 为奇数:不是局部极值点。

8. 方法选择

极限结构优先方法
简单乘积或商极限运算、等价无穷小
0/00/0/\infty/\infty 且易求导L’Hôpital 法则
多项相消,需要知道阶Taylor 展开
需要明确误差界Taylor 公式的 Lagrange 余项
幂指未定式先取对数

Taylor 展开通常比反复使用 L’Hôpital 法则提供更多结构信息。


9. 常见误区

  1. L’Hôpital 法则只直接适用于 0/00/0/\infty/\infty 型。
  2. 导数之比没有极限时,原函数之比仍可能有极限。
  3. 等价无穷小不能随意替换加减式中的一项。
  4. Taylor 多项式不等于原函数,必须保留余项信息。
  5. 写到 xnx^n 的展开必须确认余项确实为 o(xn)o(x^n) 或相应阶。

10. 本篇要点

  1. L’Hôpital 法则用导数之比处理两类商式未定式。
  2. 其他未定式通常先转化为商式或对数形式。
  3. Taylor 多项式匹配函数在展开点处的有限阶导数。
  4. Peano 余项适合求极限,Lagrange 余项适合误差估计。
  5. Taylor 展开揭示函数局部行为和无穷小的阶。

下一篇将整理单调性、极值、凹凸性、渐近线以及函数图像分析


参考教材

  1. 华东师范大学数学系,《数学分析(上册)》,高等教育出版社。
  2. Walter Rudin, Principles of Mathematical Analysis, 3rd ed.