欢迎光临散文网 会员登陆 & 注册

浅谈高等数学(4)

2022-01-28 14:41 作者:-YD-LM-  | 我要投稿

在本期内容开始前,先勘误一个上次文章中的问题:关于“可导”的概念,%5Cfrac%7B%5CDelta%20y%7D%7B%5CDelta%20x%7D%5CDelta%20x%5Cto0时的极限不存在并非只有%5CDelta%20y不趋于0和该处没有定义两种情况。然而,凡是这个极限不存在的情况,都称为不可导。

另外介绍一个前述概念“无穷大”:

定义  若函数f(x)x%5Cto%20x_0(%5Cinfty)时,其绝对值能大于任何一个正数,那么称函数f(x)是当x%5Cto%20x_0(%5Cinfty)时的无穷大,记作%5Clim_%7B%5C%5C%20%5C%2C%5C%2Cx%5Cto%20x_0%5C%5C(x%5Cto%5Cinfty)%7Df(x)%3D%5Cinfty.请注意,虽说这么记,但此时极限是不存在的)

还有同济版高等数学教材的链接:

https://pan.baidu.com/s/1Qcg8v3odXoTHLmzcXug_3Q?pwd=5230 

提取码:5230

第四期:趋近速度(1)

(无穷小的比较  等价无穷小替换)

等数学中,把“趋近”研究得透彻实在是一项繁杂的工程。极限告诉了你函数趋近于什么数,导数通过趋近的手段定量地告诉了你函数的变化趋势,这是前述内容带给你的体会。而我们似乎还缺少比较”——不同函数之间的比较:有些函数当自变量趋于同一个数时,函数值也趋近于同一个数,但他们趋近的速度却是有相同也有不同的(感觉和导数有相似之处吗?能将这个直觉上的相似转为数学语言吗?这值得思考,且在今后大为有用)。下面两张图直观地体现了这一点。

图1 等价无穷小

图1中有许多不同的函数曲线:f_1(x)%3Dx(红),f_2(x)%3D%5Csin%20x(绿),f_3(x)%3D%5Ctan%20x(-%5Cfrac%7B%5Cpi%7D%7B2%7D%5Cleq%20x%5Cleq%5Cfrac%7B%5Cpi%7D%7B2%7D)(橙,不属于定义的区域仍显示橙线系软件bug),f_4(x)%3D%5Cln%20(x%2B1)(蓝),f_5(x)%3De%5Ex-1(紫)。这五条曲线在离原点远处大不相同,但又有共同点:它们在x%5Cto0时的极限都为0。并且,仔细观察,我们又发现,这些函数甚至在原点附近近乎重合;换句话说,这些函数趋于0的速度是“快慢相仿”的。那不由得会引发我们的思考:那在趋于0时,它们是否可以看作是同一个函数呢?事实上,在某些情况下(注意这个“某些情况”,自己别想当然),确实可以。用通俗的语言来说,如果两个函数当自变量趋于同一个数时,函数值也趋近于同一个数,而且趋近的速度又是“一样快”的,那么这两个函数就是等价无穷小。这里的“等价”,就是说如果趋近速度“一样快”,它们就可以在某些情况下看作一个函数。

图2 非等价无穷小

看完了那种最特殊的情况,我们来看看那些一般情况。图中分别为f_1(x)%3Dx(绿),f_2(x)%3D2x(蓝),f_3(x)%3Dx%5E2(紫),f_4(x)%3D%5Csqrt%20x(红)。它们趋于0的速度显然不同,通过图像就可以得知。例如绿线收敛速度比蓝线快,紫线收敛速度也比蓝线快。但我要是这么说,就体现不出紫线和绿线中哪个比蓝线收敛得快更多。于是我们想到了一个方法——求比值。过程很简单:

%5Clim_%7Bx%5Cto%200%7D%5Cfrac%7Bf_1(x)%7D%7Bf_2(x)%7D%3D%5Clim_%7Bx%5Cto%200%7D%5Cfrac%7Bx%7D%7B2x%7D%3D%5Cfrac12%EF%BC%881%EF%BC%89        %5Clim_%7Bx%5Cto%200%7D%5Cfrac%7Bf_3(x)%7D%7Bf_2(x)%7D%3D%5Clim_%7Bx%5Cto0%7D%5Cfrac%7Bx%5E2%7D%7B2x%7D%3D%5Clim_%7Bx%5Cto0%7D%5Cfrac%20x2%3D0.%EF%BC%882%EF%BC%89

对比两个式子:我们发现,f_1(x)f_2(x)具有可比性”,也就是说“在一个量级上”,这时称这两个函数是“同阶无穷小”。而f_3(x)f_2(x)x%5Cto0时相比,f_3(x)f_2(x)来说可以看作0(无穷小),收敛快得多,反过来f_2(x)f_3(x)来说可以看作无穷大,收敛慢得多。这时我们说f_3(x)是比f_2(x)高阶的无穷小,反过来f_2(x)是比f_3(x)低阶的无穷小。我们从图像上也清晰地看到这样的变化趋势:取一个离0很近的值,此时二次函数曲线比直线距离0接近得多。理解了这些概念,我们再次强调:无穷小是一个函数,当自变量趋于某个数(或无穷大)时趋于0的函数。然后,给出如下定义:

定义  设%5Calpha%5Cbeta是在自变量的同一个趋近过程(x%5Cto%20x_0%2Cx%5Cto(%5Cpm)%5Cinfty)中的无穷小。

     若%5Clim%20%5Cfrac%7B%5Cbeta%7D%7B%5Calpha%7D%3D0(或%5Clim%20%5Cfrac%7B%5Calpha%7D%7B%5Cbeta%7D%3D%5Cinfty),则称%5Cbeta是比%5Calpha高阶的无穷小,%5Calpha是比%5Cbeta低阶的无穷小,记作%5Cbeta%3Do(%5Calpha)

    %5Clim%20%5Cfrac%7B%5Cbeta%7D%7B%5Calpha%7D%3Dc%5Cnot%3D0c为常数),则称%5Cbeta%5Calpha是同阶无穷小。

     %5Clim%20%5Cfrac%7B%5Cbeta%7D%7B%5Calpha%7D%3D1,则称%5Cbeta%5Calpha是等价无穷小,记作%5Calpha%5Csim%5Cbeta

    %5Cbeta%5Calpha%5Ek(k%3E0)是同阶无穷小,则称%5Cbeta是关于%5Calphak阶无穷小。

那不由得产生了下一个问题:我们去挖掘这样的一套理论有何最终目的?正如前述,当然是为了提高考试成绩使求极限更为简洁——可以利用等价无穷小将一些难以处理的函数(三角,反三角,对数,指数,双曲……)统统转化为多项式。

顺着这样的思路,我们发现,

定理  若%5Calpha%5Csim%5Cwidetilde%5Calpha%2C%5Cbeta%5Csim%5Cwidetilde%5Cbeta,且%5Clim%5Cfrac%7B%5Cwidetilde%5Cbeta%7D%7B%5Cwidetilde%5Calpha%7D存在,则

    %5Clim%5Cfrac%7B%5Cbeta%7D%7B%5Calpha%7D%3D%5Clim%5Cfrac%7B%5Cbeta%7D%7B%5Cwidetilde%5Cbeta%7D%5C%2C%C2%B7%5Clim%5Cfrac%7B%5Cwidetilde%5Cbeta%7D%7B%5Cwidetilde%5Calpha%7D%5C%2C%C2%B7%5Clim%5Cfrac%7B%5Cwidetilde%5Calpha%7D%7B%5Calpha%7D%3D%5Clim%5Cfrac%7B%5Cwidetilde%5Cbeta%7D%7B%5Cwidetilde%5Calpha%7D.

这个定理告诉我们,被求极限式子的一个因式可以用与之等价的另一个因式相替换。那如果是加减运算呢?例如%5Clim_%7Bx%5Cto0%7D%5Cfrac%7Bx-%5Csin%20x%7D%7Bx%5E3%7D的值,如果将%5Csin%20x替换为x,那么极限值就是0了,然而事实上,x-%5Csin%20x%5Csim%5Cfrac16x%5E3(x%5Cto0)。许多等价无穷小替换公式(也包括上述的那个例子)超出我们目前的能力范围,在之后更新到洛必达法则时会轻松很多。

等价无穷小替换还可以这样理解:例如%5Clim_%7Bx%5Cto0%7D%5Cfrac%7B%5Ctan%20x-%5Csin%20x%7D%7B%5Csin%5E3x%7D%3D%5Clim_%7Bx%5Cto0%7D%5Cfrac%7B%5Ctan%20x(1-%5Ccos%20x)%7D%7B%5Csin%5E3x%7D,我们将其表示为%5Clim_%7Bx%5Cto0%7D%5Cfrac%7B(x%5C%2C%C2%B7%5Cfrac%7B%5Ctan%20x%7D%7Bx%7D)(%5Cfrac12x%5E2%5C%2C%C2%B7%5Cfrac%7B1-%5Ccos%20x%7D%7B%5Cfrac12x%5E2%7D)%7D%7B(x%5C%2C%C2%B7%5Cfrac%7B%5Csin%20x%7D%7Bx%7D)%5E3%7D的形式,就能方便地得到%5Clim_%7Bx%5Cto0%7D%5Cfrac%7Bx%5C%2C%C2%B7%5Cfrac12x%5E2%7D%7Bx%5E3%7D%3D%5Cfrac12.这恰是利用了%5Csin%20x%5Csim%20x%2C%5Ctan%20x%5Csim%20x%2C1-%5Ccos%20x%5Csim%5Cfrac12x%5E2(x%5Cto0)这些等价无穷小公式。

浅谈高等数学(4)的评论 (共 条)

分享到微博请遵守国家法律