什么叫二阶无穷小?我们只学过高阶,低阶,同阶,等价无穷小 有没有一阶,三阶无穷小?

非常好的问题！这实际上触及了无穷小比较理论的一个核心概念。你学过的高阶、低阶、同阶、等价是比较的基础，而阶数则是描述“无穷小速度”更精确的度量。

让我为你系统地解释一下：

1. 基础回顾：你学过的比较方式（定性比较）

设 $\alpha(x)$ 和 $\beta(x)$ 是 $x \to x_0$ (或 $x \to \infty$) 时的无穷小量，且 $\beta(x) \neq 0$。

高阶无穷小：$\lim \frac{\alpha}{\beta} = 0$，记作 $\alpha = o(\beta)$。表示 $\alpha$ 比 $\beta$ 更快地趋于0。

低阶无穷小：$\lim \frac{\alpha}{\beta} = \infty$。表示 $\alpha$ 比 $\beta$ 更慢地趋于0。

同阶无穷小：$\lim \frac{\alpha}{\beta} = C \neq 0$。表示两者趋于0的速度“差不多快”。

等价无穷小：$\lim \frac{\alpha}{\beta} = 1$，是同阶无穷小的特例，记作 $\alpha \sim \beta$。

2. 阶数的定义（定量比较）

为了更精确地描述无穷小趋于0的速度，我们引入“阶”的概念。通常需要一个标准参考无穷小，最常用的是 $(x - x_0)^k$（当 $x \to x_0$ 时）或 $\frac{1}{x^k}$（当 $x \to \infty$ 时）。

定义：

如果无穷小量 $\alpha(x)$ 与 参考无穷小 $(x-x_0)^k$（在 $x \to x_0$ 时）是同阶的，即

$$\lim_{x \to x_0} \frac{\alpha(x)}{(x-x_0)^k} = C \quad (C \neq 0, \text{常数})$$

那么我们就称 $\alpha(x)$ 是关于 $(x-x_0)$ 的 $k$ 阶无穷小。

关键点：

一阶无穷小：当 $k=1$。例如，当 $x \to 0$ 时，$\sin x, \tan x, e^x - 1$ 都是 一阶无穷小，因为它们都与 $x$ 等价（比值为1）或同阶（比值为非零常数）。

二阶无穷小：当 $k=2$。例如，当 $x \to 0$ 时，$1-\cos x, \ln(1+x) - x$ 都是 二阶无穷小。因为：

$$\lim_{x \to 0} \frac{1-\cos x}{x^2} = \frac{1}{2}, \quad \lim_{x \to 0} \frac{\ln(1+x) - x}{x^2} = -\frac{1}{2}$$

 

三阶、n阶无穷小：完全同理。例如，$x - \sin x$ 当 $x \to 0$ 时是 三阶无穷小，因为：

$$\lim_{x \to 0} \frac{x - \sin x}{x^3} = \frac{1}{6}$$

 

3. 如何理解“二阶无穷小”？

通俗地说，二阶无穷小就是趋于0的速度与平方项 $(x-x_0)^2$ 一样快的量。

和一阶无穷小相比，它趋于0的速度快得多。

例如，当 $x$ 非常接近0时，$x^2$ 比 $x$ 小得多。$x=0.1$，则 $x=0.1$，而 $x^2=0.01$。

 

在近似或泰勒展开中，一阶无穷小构成了线性（切线）近似的主要部分，而二阶无穷小则描述了函数偏离其线性近似的弯曲程度。

4. 常见疑问解答

Q1: 有没有一阶无穷小？
有！而且最常见。 你学过的所有等价无穷小替换，基本上都是把复杂的一阶无穷小替换成标准的一阶无穷小 $x$。例如 $\sin x \sim x$，$\tan x \sim x$，$\arcsin x \sim x$，$e^x - 1 \sim x$ 等，这些都表明它们是一阶无穷小。

Q2: 有没有三阶或更高阶的无穷小？
当然有。 例如：

$x^3$ 本身是关于 $x$ 的三阶无穷小。

$\tan x - x$ 当 $x \to 0$ 时是三阶无穷小（$\sim \frac{x^3}{3}$）。

$\sin x - x$ 当 $x \to 0$ 时是三阶无穷小（$\sim -\frac{x^3}{6}$）。

Q3: 阶数一定是整数吗？
不一定！阶数可以是分数（有理数）甚至无理数。例如，当 $x \to 0^+$ 时：

$\sqrt{x}$

是关于 $x$ 的 1/2 阶无穷小。

$x^{1.5}$ 是关于 $x$ 的 1.5 阶无穷小。

Q4: 如何求一个无穷小的阶数？
方法：对于 $\alpha(x)$，当 $x \to x_0$ 时，不断尝试不同的 $k$，计算极限

$$\lim_{x \to x_0} \frac{\alpha(x)}{(x-x_0)^k}$$

直到找到一个 $k$ 使得该极限是一个非零的有限常数，这个 $k$ 就是它的阶数。

5. 总结与关系

阶数 是 同阶无穷小 概念的精确化。说“$\alpha$ 是 $k$ 阶无穷小”等价于说“$\alpha$ 与 $(x-x_0)^k$ 是同阶无穷小”。

高阶无穷小：如果 $\alpha$ 是 $m$ 阶，$\beta$ 是 $n$ 阶，且 $m > n$，那么 $\alpha$ 就是 $\beta$ 的高阶无穷小。

等价无穷小：如果 $\alpha$ 和 $\beta$ 不仅是同阶（同阶数），而且比值的极限为1，那么它们就是等价无穷小。

所以，二阶无穷小就是当 $x \to x_0$ 时，与 $(x-x_0)^2$ 同阶的无穷小量。它是一个非常常用的概念，尤其在泰勒展开和误差分析中，用于描述和计算更精确的近似。