高阶无穷小在加减运算中的舍去准则

高阶无穷小在加减运算中的舍去准则在微积分的学习和应用中，无穷小量是一个基础且关键的概念。它指的是在某个极限过程中，以0为极限的变量。而高阶无穷小，则是无穷小量中的一个重要分类，用于描述不同无穷小量趋近于0的速度差异。在实际的极限运算、近似计算以及泰勒展开等场景中，常常需要对包含高阶无穷小的表达式进行加减运算，这时候如何合理舍去高阶无穷小，就成为了简化计算、保证结果准确性的核心问题。深入理解高阶无穷小在加减运算中的舍去准则，不仅能帮助我们更高效地解决数学问题，还能为物理、工程、金融等众多领域的近似计算提供坚实的理论基础。一、高阶无穷小的定义与基本性质（一）高阶无穷小的定义设α和β是在同一极限过程中的两个无穷小量，即$\lim\alpha=0$，$\lim\beta=0$。如果$\lim\frac{\beta}{\alpha}=0$，则称β是比α高阶的无穷小，记作$\beta=o(\alpha)$（读作β是α的高阶无穷小）。这意味着在该极限过程中，β趋近于0的速度比α快得多。例如，当$x\to0$时，$x^2$是比$x$高阶的无穷小，因为$\lim_{x\to0}\frac{x^2}{x}=\lim_{x\to0}x=0$，所以可以记作$x^2=o(x)$（$x\to0$）。（二）高阶无穷小的基本性质传递性：若$\beta=o(\alpha)$，$\gamma=o(\beta)$，则$\gamma=o(\alpha)$。这是因为$\lim\frac{\gamma}{\alpha}=\lim\frac{\gamma}{\beta}\cdot\frac{\beta}{\alpha}=\lim\frac{\gamma}{\beta}\cdot\lim\frac{\beta}{\alpha}=0\cdot0=0$，所以γ是比α高阶的无穷小。例如，当$x\to0$时，$x^3=o(x^2)$，$x^2=o(x)$，那么$x^3=o(x)$。加法性质：若$\beta_1=o(\alpha)$，$\beta_2=o(\alpha)$，则$\beta_1+\beta_2=o(\alpha)$。证明如下：$\lim\frac{\beta_1+\beta_2}{\alpha}=\lim\frac{\beta_1}{\alpha}+\lim\frac{\beta_2}{\alpha}=0+0=0$，所以两个同阶的高阶无穷小之和仍然是该阶的高阶无穷小。比如，当$x\to0$时，$x^2=o(x)$，$2x^2=o(x)$，那么$x^2+2x^2=3x^2=o(x)$。乘法性质：若$\beta=o(\alpha)$，γ是有界量，则$\beta\gamma=o(\alpha)$。因为γ是有界量，所以存在正数M，使得$|\gamma|\leqM$。那么$\left|\frac{\beta\gamma}{\alpha}\right|=\left|\frac{\beta}{\alpha}\right|\cdot|\gamma|\leqM\left|\frac{\beta}{\alpha}\right|$，而$\lim\frac{\beta}{\alpha}=0$，根据夹逼准则，$\lim\frac{\beta\gamma}{\alpha}=0$，所以$\beta\gamma=o(\alpha)$。例如，当$x\to0$时，$x^2=o(x)$，$\sin\frac{1}{x}$是有界量（因为$|\sin\frac{1}{x}|\leq1$），所以$x^2\sin\frac{1}{x}=o(x)$。二、高阶无穷小在加减运算中的舍去准则推导（一）基本准则的提出在进行包含高阶无穷小的加减运算时，我们的目标是在保证计算结果准确性的前提下，尽可能简化表达式。假设我们有一个表达式$\alpha+\beta$，其中α是一个无穷小量，$\beta=o(\alpha)$。我们需要判断在什么情况下可以舍去β，只保留α，即$\alpha+\beta\sim\alpha$（等价无穷小）。根据等价无穷小的定义，$\alpha+\beta\sim\alpha$当且仅当$\lim\frac{\alpha+\beta}{\alpha}=1$。计算这个极限：$\lim\frac{\alpha+\beta}{\alpha}=\lim\left(1+\frac{\beta}{\alpha}\right)=1+\lim\frac{\beta}{\alpha}$。因为$\beta=o(\alpha)$，所以$\lim\frac{\beta}{\alpha}=0$，因此$\lim\frac{\alpha+\beta}{\alpha}=1+0=1$，这就说明$\alpha+\beta\sim\alpha$。也就是说，在加减运算中，如果一个无穷小量是另一个无穷小量的高阶无穷小，那么在求极限或者进行近似计算时，可以舍去高阶无穷小，只保留低阶无穷小。（二）准则的推广上面的情况是两个无穷小量的加减运算，现在考虑多个无穷小量的加减运算。假设我们有表达式$\alpha+\beta_1+\beta_2+\cdots+\beta_n$，其中α是一个无穷小量，$\beta_i=o(\alpha)$（$i=1,2,\cdots,n$）。根据高阶无穷小的加法性质，$\beta_1+\beta_2+\cdots+\beta_n=o(\alpha)$，所以$\alpha+(\beta_1+\beta_2+\cdots+\beta_n)\sim\alpha$，这意味着在多个无穷小量的加减运算中，所有比α高阶的无穷小量之和仍然是α的高阶无穷小，因此可以将它们全部舍去，只保留α。例如，当$x\to0$时，考虑表达式$x+x^2+x^3$，其中$x$是一个无穷小量，$x^2=o(x)$，$x^3=o(x)$，所以$x^2+x^3=o(x)$，因此$x+x^2+x^3\simx$，在求极限或者近似计算时，可以舍去$x^2$和$x^3$，只保留$x$。（三）需要注意的特殊情况虽然上面的准则在大多数情况下是成立的，但也存在一些特殊情况需要我们注意。当两个无穷小量是同阶无穷小，而不是高阶无穷小的时候，就不能随意舍去其中一个。例如，当$x\to0$时，$x$和$-x$都是无穷小量，且它们是同阶无穷小（因为$\lim_{x\to0}\frac{-x}{x}=-1\neq0$），那么$x+(-x)=0$，如果我们随意舍去其中一个，比如舍去$-x$，得到$x$，这与实际结果0相差很大，显然是错误的。另外，当表达式中存在多个不同阶的无穷小量时，我们需要比较它们的阶数，只保留最低阶的无穷小量，而舍去所有比它高阶的无穷小量。例如，当$x\to0$时，表达式$x+2x^2+3x^3$中，$x$是最低阶的无穷小量，$2x^2=o(x)$，$3x^3=o(x)$，所以可以舍去$2x^2$和$3x^3$，只保留$x$，即$x+2x^2+3x^3\simx$。但如果表达式是$x^2+x^3$，那么$x^2$是最低阶的无穷小量，$x^3=o(x^2)$，所以$x^2+x^3\simx^2$，只能舍去$x^3$，保留$x^2$。三、舍去准则在极限运算中的应用（一）直接应用准则求极限在求一些复杂的极限时，我们可以利用高阶无穷小在加减运算中的舍去准则，先对表达式进行简化，然后再求极限，这样可以大大简化计算过程。例1：求$\lim_{x\to0}\frac{\sinx-x}{x^3}$。首先，我们知道当$x\to0$时，$\sinx$的泰勒展开式为$\sinx=x-\frac{x^3}{6}+o(x^3)$。这里$x$是一阶无穷小，$-\frac{x^3}{6}$是三阶无穷小，$o(x^3)$是比$x^3$高阶的无穷小。根据舍去准则，在$\sinx-x$中，$x-x=0$，剩下的$-\frac{x^3}{6}+o(x^3)$，其中$o(x^3)$是比$x^3$高阶的无穷小，所以可以舍去$o(x^3)$，得到$\sinx-x\sim-\frac{x^3}{6}$（$x\to0$）。因此，$\lim_{x\to0}\frac{\sinx-x}{x^3}=\lim_{x\to0}\frac{-\frac{x^3}{6}}{x^3}=-\frac{1}{6}$。例2：求$\lim_{x\to0}\frac{\ln(1+x)-x+\frac{x^2}{2}}{x^3}$。当$x\to0$时，$\ln(1+x)$的泰勒展开式为$\ln(1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}-o(x^3)$。将其代入表达式中，得到：$\ln(1+x)-x+\frac{x^2}{2}=\left(x-\frac{x^2}{2}+\frac{x^3}{3}-o(x^3)\right)-x+\frac{x^2}{2}=\frac{x^3}{3}-o(x^3)$根据舍去准则，$o(x^3)$是比$x^3$高阶的无穷小，可以舍去，所以$\ln(1+x)-x+\frac{x^2}{2}\sim\frac{x^3}{3}$（$x\to0$）。因此，$\lim_{x\to0}\frac{\ln(1+x)-x+\frac{x^2}{2}}{x^3}=\lim_{x\to0}\frac{\frac{x^3}{3}}{x^3}=\frac{1}{3}$。（二）在复杂表达式中的应用有时候，我们遇到的表达式可能不仅仅是简单的函数加减，还可能包含复合函数、分式等情况。这时候，我们需要先对表达式进行适当的变形，然后再应用舍去准则。例3：求$\lim_{x\to0}\frac{\sqrt{1+x^2}-1-\frac{x^2}{2}}{x^4}$。首先，对$\sqrt{1+x^2}$进行泰勒展开，当$x\to0$时，$\sqrt{1+t}=1+\frac{t}{2}-\frac{t^2}{8}+o(t^2)$（令$t=x^2$），则：$\sqrt{1+x^2}=1+\frac{x^2}{2}-\frac{x^4}{8}+o(x^4)$将其代入表达式中，得到：$\sqrt{1+x^2}-1-\frac{x^2}{2}=\left(1+\frac{x^2}{2}-\frac{x^4}{8}+o(x^4)\right)-1-\frac{x^2}{2}=-\frac{x^4}{8}+o(x^4)$根据舍去准则，$o(x^4)$是比$x^4$高阶的无穷小，可以舍去，所以$\sqrt{1+x^2}-1-\frac{x^2}{2}\sim-\frac{x^4}{8}$（$x\to0$）。因此，$\lim_{x\to0}\frac{\sqrt{1+x^2}-1-\frac{x^2}{2}}{x^4}=\lim_{x\to0}\frac{-\frac{x^4}{8}}{x^4}=-\frac{1}{8}$。例4：求$\lim_{x\to0}\frac{e^x-1-x-\frac{x^2}{2}}{x^3}$。当$x\to0$时，$e^x$的泰勒展开式为$e^x=1+x+\frac{x^2}{2}+\frac{x^3}{6}+o(x^3)$。将其代入表达式中，得到：$e^x-1-x-\frac{x^2}{2}=\left(1+x+\frac{x^2}{2}+\frac{x^3}{6}+o(x^3)\right)-1-x-\frac{x^2}{2}=\frac{x^3}{6}+o(x^3)$根据舍去准则，$o(x^3)$是比$x^3$高阶的无穷小，可以舍去，所以$e^x-1-x-\frac{x^2}{2}\sim\frac{x^3}{6}$（$x\to0$）。因此，$\lim_{x\to0}\frac{e^x-1-x-\frac{x^2}{2}}{x^3}=\lim_{x\to0}\frac{\frac{x^3}{6}}{x^3}=\frac{1}{6}$。四、舍去准则在近似计算中的应用（一）函数值的近似计算在实际应用中，我们经常需要对一些复杂函数进行近似计算，这时候可以利用泰勒展开式和高阶无穷小的舍去准则，将复杂函数近似为简单的多项式函数。例5：计算$\sin1^\circ$的近似值，要求误差不超过$10^{-6}$。首先，将角度转化为弧度，$1^\circ=\frac{\pi}{180}$弧度。当$x\to0$时，$\sinx$的泰勒展开式为$\sinx=x-\frac{x^3}{6}+\frac{x^5}{120}-o(x^5)$。我们需要确定取到哪一项才能满足误差不超过$10^{-6}$。计算各项的绝对值：第一项：$x=\frac{\pi}{180}\approx0.0174533$第二项：$\left|-\frac{x^3}{6}\right|=\frac{(\frac{\pi}{180})^3}{6}\approx\frac{(0.0174533)^3}{6}\approx\frac{5.3206\times10^{-6}}{6}\approx8.8677\times10^{-7}$第三项：$\left|\frac{x^5}{120}\right|=\frac{(\frac{\pi}{180})^5}{120}\approx\frac{(0.0174533)^5}{120}\approx\frac{1.6875\times10^{-9}}{120}\approx1.4063\times10^{-11}$可以看到，第三项的绝对值已经远小于$10^{-6}$，根据舍去准则，比$x^3$高阶的无穷小（这里$x^5$是比$x^3$高阶的无穷小，因为$\lim_{x\to0}\frac{x^5}{x^3}=\lim_{x\to0}x^2=0$）可以舍去，所以我们可以取前两项来近似计算$\sin1^\circ$：$\sin1^\circ\approx\frac{\pi}{180}-\frac{(\frac{\pi}{180})^3}{6}\approx0.0174533-8.8677\times10^{-7}\approx0.0174524$此时误差不超过$10^{-6}$，满足要求。例6：计算$\ln1.02$的近似值，要求误差不超过$10^{-5}$。当$x\to0$时，$\ln(1+x)$的泰勒展开式为$\ln(1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+o(x^4)$。令$x=0.02$，计算各项的绝对值：第一项：$x=0.02$第二项：$\left|-\frac{x^2}{2}\right|=\frac{(0.02)^2}{2}=\frac{4\times10^{-4}}{2}=2\times10^{-4}$第三项：$\left|\frac{x^3}{3}\right|=\frac{(0.02)^3}{3}=\frac{8\times10^{-6}}{3}\approx2.6667\times10^{-6}$第四项：$\left|-\frac{x^4}{4}\right|=\frac{(0.02)^4}{4}=\frac{1.6\times10^{-7}}{4}=4\times10^{-8}$第四项的绝对值已经远小于$10^{-5}$，根据舍去准则，比$x^3$高阶的无穷小（这里$x^4$是比$x^3$高阶的无穷小）可以舍去，所以我们可以取前三项来近似计算$\ln1.02$：$\ln1.02\approx0.02-\frac{(0.02)^2}{2}+\frac{(0.02)^3}{3}\approx0.02-2\times10^{-4}+2.6667\times10^{-6}\approx0.0198027$此时误差不超过$10^{-5}$，满足要求。（二）物理和工程中的近似计算在物理和工程领域，高阶无穷小的舍去准则有着广泛的应用。很多物理现象和工程问题都可以用微积分来描述，而在进行近似计算时，合理舍去高阶无穷小可以大大简化模型，同时保证结果的准确性。例7：单摆的周期近似计算。单摆的运动方程为$\frac{d^2\theta}{dt^2}+\frac{g}{l}\sin\theta=0$，其中$\theta$是摆角，$l$是摆长，$g$是重力加速度。当摆角$\theta$很小时（$\theta\to0$），$\sin\theta\approx\theta$（因为$\sin\theta=\theta-\frac{\theta^3}{6}+o(\theta^3)$，根据舍去准则，当$\theta$很小时，$\frac{\theta^3}{6}+o(\theta^3)$是比$\theta$高阶的无穷小，可以舍去）。此时运动方程近似为$\frac{d^2\theta}{dt^2}+\frac{g}{l}\theta=0$，这是一个简谐运动的微分方程，其解为$\theta(t)=\theta_0\cos(\omegat+\varphi)$，其中$\omega=\sqrt{\frac{g}{l}}$，周期$T=\frac{2\pi}{\omega}=2\pi\sqrt{\frac{l}{g}}$。这就是单摆的小角度近似周期公式，在摆角很小时，这个近似公式的误差很小，可以满足大多数工程和物理实验的要求。例8：电路中的近似计算。在RC电路中，电容的充电过程可以用微分方程来描述：$RC\frac{dU_C}{dt}+U_C=U_S$，其中$U_C$是电容两端的电压，$U_S$是电源电压，$R$是电阻，$C$是电容。其解为$U_C(t)=U_S(1-e^{-\frac{t}{RC}})$。当$t\llRC$时，$e^{-\frac{t}{RC}}$的泰勒展开式为$e^{-\frac{t}{RC}}=1-\frac{t}{RC}+\frac{t^2}{2(RC)^2}-o(\frac{t^2}{(RC)^2})$。根据舍去准则，当$t\llRC$时，$\frac{t^2}{2(RC)^2}-o(\frac{t^2}{(RC)^2})$是比$\frac{t}{RC}$高阶的无穷小，可以舍去，所以$e^{-\frac{t}{RC}}\approx1-\frac{t}{RC}$。因此，$U_C(t)\approxU_S\left(1-(1-\frac{t}{RC})\right)=U_S\frac{t}{RC}$，这就是RC电路在充电初期的近似电压公式，在$t$远小于时间常数$RC$时，这个近似公式可以快速估算电容两端的电压，为电路设计和分析提供便利。五、舍去准则的注意事项与常见误区（一）注意事项极限过程的一致性：高阶无穷小的定义是在同一极限过程中，所以在应用舍去准则时，必须保证所有无穷小量都是在同一个极限过程中。例如，当$x\to0$时，$x^2=o(x)$，但当$x\to\infty$时，$x^2$是比$x$低阶的无穷大，这时候就不能应用舍去准则。阶数的判断：在应用舍去准则之前，必须准确判断各个无穷小量的阶数关系。只有当一个无穷小量是另一个无穷小量的高阶无穷小时，才能舍去高阶无穷小。如果两个无穷小量是同阶无穷小或者低阶无穷小，就不能随意舍去。例如，当$x\to0$时，$x$和$2x$是同阶无穷小，$\lim_{x\to0}\frac{2x}{x}=2\neq0$，所以不能舍去其中任何一个，$x+2x=3x$，而不是近似等于$x$或者$2x$。误差的控制：在近似计算中，舍去高阶无穷小会带来一定的误差，我们需要根据具体的要求控制误差的大小。如果对计算结果的精度要求较高，就需要保留更多的项，而不是仅仅舍去高阶无穷小。例如，在计算$\sin1^\circ$时，如果要求误差不超过$10^{-8}$，就需要保留泰勒展开式的更多项，而不仅仅是前两项。（二）常见误区随意舍去同阶无穷小：有些同学在进行加减运算时，错误地认为只要是无穷小量就可以舍去，而不考虑它们的阶数关系。例如，在计算$\lim_{x\to0}\frac{x-\sinx}{x^3}$时，错误地认为$\sinx\simx$，所以$x-\sinx\sim0$，这显然是错误的。实际上，$\sinx=x-\frac{x^3}{6}+o(x^3)$，所以$x-\sinx=\frac{x^3}{6}-o(x^3)\sim\frac{x^3}{6}$（$x\to0$），正确的极限结果应该是$\frac{1}{6}$。忽略极限过程：有些同学在应用舍去准则时，忽略了极限过程的一致性，导致错误的结果。例如，当$x\to\infty$时，$\frac{1}{x}$是无穷小量，$\frac{1}{x^2}$是比$\frac{1}{x}$高阶的无穷小，因为$\lim_{x\to\infty}\frac{\frac{1}{x^2}}{\frac{1}{x}}=\lim_{x\to\infty}\frac{1}{x}=0$。但如果错误地将极限过程当成$x\to0$，就会得出相反的结论，这是完全错误的。在乘除运算中错误应用舍去准则：需要注意的是，舍去准则主要适用于加减运算，在乘除运算中，等价无穷小的替换规则与加减运算不同。在乘除运算中，只要是等价无穷小就可以替换，而不仅仅是舍去高阶无穷小。例如，当$x\to0$时，$\sinx\simx$，$\tanx\simx$，所以$\lim_{x\to0}\frac{\sinx}{\tanx}=\lim_{x\to0}\frac{x}{x}=1$，这是正确的。但如果在加减运算中随意替换，就会导致错误，例如$\lim_{x\to0}\frac{\sinx-\tanx}{x^3}$，如果错误地将$\sinx$和$\tanx$都替换成$x$，就会得到$\lim_{x\to0}\frac{x-x}{x^3}=0$，而正确的结果应该是$-\frac{1}{2}$，因为$\sinx-\tanx=\tanx(\cosx-1)=\tanx(-2\sin^2\frac{x}{2})\simx(-2\times(\frac{x}{2})^2)=-\frac{x^3}{2}$（$x\to0$）。六、舍去准则的拓展与延伸（一）与泰勒展开式的结合泰勒展开式是将一个函数在某一点展开成多项式函数和高阶无穷小的和，它与高阶无穷小的舍去准则密切相关。泰勒展开式的一般形式为：$f(x)=f(a)+f'(a)(x-a)+\frac{f''(a)}{2!}(x-a)^2+\cdots+\frac{f^{(n)}(a)}{n!}(x-a)^n+o((x-a)^n)$其中$o((x-a)^n)$是比$(x-a)^n$高阶的无穷小。在实际应用中，我们可以根据需要选择展开到某一阶，然后舍去比该阶高阶的无穷小，得到函数的近似多项式。例如，当$x\to0$时，$e^x$的泰勒展开式为$e^x=1+x+\frac{x^2}{2}+\frac{x^3}{6}+o(x^3)$，如果我们只需要一阶近似，就可以舍去$\frac{x^2}{2}+\frac{x^3}{6}+o(x^3)$，得到$e^x\approx1+x$；如果需要二阶近似，就可以舍去$\frac{x^3}{6}+o(x^3)$，得到$e^x\approx1+x+\frac{x^2}{2}$，以此类推。（二）在多元函数中的推广高阶无穷小的概念和舍去准则也可以推广到多元函数中。以二元函数为例，设$f(x,y)$和$g(x,y)$是在同一极限过程中的两个无穷小量，即$\lim_{(x,y)\to(a,b)}f(x,y)=0$，$\lim_{(x,y)\to(a,b)}g(x,y)=0$。如果$\lim_{(x,y)\to(a,b)}\frac{f(x,y)}{g(x,y)}=0$，则称$f(x,y)$是比$g(x,y)$高阶的无穷小，记作$f(x,y)=o(g(x,y))$（$(x,y)\to(a,b)$）。在多元函数的泰勒展开式中，同样会出现高阶无穷小项，我们可以根据舍去准则舍去这些高阶无穷小项，得到多元函数的近似表达式。例如，二元函数$f(x,y)$在点$(a,b)$处的泰勒展开式为：$f(x,y)=f(a,b)+f_x(a,b)(x-a)+f_y(a,b)(y-b)+\frac{1