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

浅谈高等数学(7)

2022-02-16 17:52 作者:-YD-LM-  | 我要投稿

总想立刻达到最后一步的人,往往难以迈出第一步。

第七期  微分

       微积分是由“微分”与“积分”这两种互逆的运算构成,我们先对微分进行讨论。这个概念在之前事实上也提到过:我们曾用%5Cmathrm%20d%5Calpha来表示变量%5Calpha的增量%5CDelta%20%5Calpha%5CDelta%5Calpha%5Cto0时的极限,又用%5Cfrac%7B%5Cmathrm%20dy%7D%7B%5Cmathrm%20dx%7D%5Cfrac%7B%5Cmathrm%20df%7D%7B%5Cmathrm%20dx%7D(x)来表示导数,这便是微分思想。现在,我们有必要更为深入地理解微分了。注意:本期内容可能与教材上有出入,只是方便读者理解,具体定义请见课本。

       我们先从两个求导的例子来开始。开始前请注意:%5Cmathrm%20dx是一个整体不可分割的概念,因此%5Cmathrm%20dx%5E2表示(%5Cmathrm%20dx)%5E2

(1)y%3Dx%5E%5Cmu(%5Cmu%5Cin%20%5Cmathrm%20N%5E*),求y'

y'%3D%5Cfrac%7B(x%2B%5Cmathrm%20dx)%5E%5Cmu-x%5E%5Cmu%7D%7B%5Cmathrm%20dx%7D%3D%5Cfrac1%7B%5Cmathrm%20dx%7D%5Cbigg(%5Csum_%7Br%3D1%7D%5E%5Cmu%20C%5Er_%5Cmu%20x%5E%7B%5Cmu-r%7D%5Cmathrm%20dx%5Er%5Cbigg)

%3D%5Cfrac%7B%5Cmu%20x%5E%7B%5Cmu-1%7D%5Cmathrm%20dx%7D%7B%5Cmathrm%20dx%7D%2B%5Csum_%7Br%3D2%7D%5E%5Cmu%20C%5Er_%5Cmu%20x%5E%7B%5Cmu-r%7D%5Cmathrm%20dx%5E%7Br-1%7D%3D%5Cmu%20x%5E%7B%5Cmu-1%7D.

分析一下这个简单的推导过程。我们的思路可以大致归结为:(用某些方法)把分子拆成%5Cmathrm%20dx的同阶无穷小与%5Cmathrm%20dx的高阶无穷小o(%5Cmathrm%20dx)之和。同阶无穷小除以%5Cmathrm%20dx得到一个关于x%0A的式子(例子中是%5Cmu%20x%5E%7B%5Cmu-1%7D);高阶无穷小除以%5Cmathrm%20dx得到0。于是导数值也就是二者相加,又因为后者为0,故导数值就是前者。我们发现,一切可导的函数y%3Df(x),都能将%5Cmathrm%20dy拆成%5Cmathrm%20dx的同阶无穷小与%5Cmathrm%20dx的高阶无穷小o(%5Cmathrm%20dx)之和。我们不妨再看一个例子:

(2)y%3D%5Csin%20x,求y'

首先是按教材上的证明方法:

y'%3D%5Cfrac%7B%5Csin(x%2B%5Cmathrm%20dx)-%5Csin%20x%7D%7B%5Cmathrm%20dx%7D%3D%5Cfrac%7B2%5Ccos(x%2B%5Cfrac%7B%5Cmathrm%20dx%7D2)%5Csin%5Cfrac%7B%5Cmathrm%20dx%7D2%7D%7B%5Cmathrm%20dx%7D

%3D%5Cfrac%7B%5Ccos(x%2B%5Cfrac%7B%5Cmathrm%20dx%7D2)%5Cmathrm%20dx%7D%7B%5Cmathrm%20dx%7D%3D%5Ccos%20x.

这个例子中的证明似乎与前述“拆项”的方法不同,而是采用了和差化积的三角变换。事实上,用“拆项”同样可以得出答案:

y'%3D%5Cfrac%7B%5Ccos%20x%5Csin%5Cmathrm%20dx%2B%5Csin%20x(%5Ccos%5Cmathrm%20dx-1)%7D%7B%5Cmathrm%20dx%7D.

其中,%5Cfrac%7B%5Ccos%20x%5Csin%5Cmathrm%20dx%7D%7B%5Cmathrm%20dx%7D%3D%5Ccos%20x,故%5Ccos%20x%5Csin%5Cmathrm%20dx%5Cmathrm%20dx的同阶无穷小;%5Cfrac%7B%5Csin%20x(%5Ccos%5Cmathrm%20dx-1)%7D%7B%5Cmathrm%20dx%7D%3D%5Csin%20x%C2%B7-%5Cfrac12%5Cmathrm%20dx%3D0,故%5Csin%20x(%5Ccos%5Cmathrm%20dx-1)%3Do(%5Cmathrm%20dx).

上述的两个例子都表明所谓“拆项”方法对可导函数的通用性。故有:

f'(x)%3D%5Cfrac%7B%5Cmathrm%20dy%7D%7B%5Cmathrm%20dx%7D%3D%5Cfrac%7BA%5Cmathrm%20dx%2Bo(%5Cmathrm%20dx_)%7D%7B%5Cmathrm%20dx%7D%3DA.

对此式进行变形,得

%5Cmathrm%20dy%3Df'(x)%5Cmathrm%20d%20x%2Bo(%5Cmathrm%20dx).         (1)

这是一个绝对准确的式子。我们再引入一个例子:求%5Csin%2030%5E%C2%B030'的近似值。

先转成弧度制:所求式=%5Csin%5Cbigg(%5Cfrac%5Cpi6%2B%5Cfrac%5Cpi%7B360%7D%5Cbigg)。在这里,我们不得不舍弃一部分的精确,而在其中两处产生一定的误差。至于如何使误差减小乃至绝对消除,那是我们之后的任务。

(1)我们发现,%5Cfrac%5Cpi%7B360%7D是一个相对于%5Cfrac%5Cpi6非常微小的数,因此可以将%5CDelta%20x看成%5Cmathrm%20dx,这里存在误差。即:

%5CDelta%20y%5Cbigg%7C_%7Bx%3D%5Cfrac%5Cpi6%7D%5Capprox%5Cbigg%5B%5Ccos%20x%5CDelta%20x%2Bo(%5CDelta%20x)%5Cbigg%5D_%7Bx%3D%5Cfrac%5Cpi6%2C%5CDelta%20x%3D%5Cfrac%5Cpi%7B360%7D%7D

(2)在这里,我们仍遇到阻碍:这里的o(%5Cmathrm%20dx)我们无法知道具体为何函数,但由于是高阶无穷小,因此相较于%5Cfrac%5Cpi%7B360%7D更为微小,以现有能力我们只能舍弃o(%5Cmathrm%20dx),这里存在值为o(%5Cmathrm%20dx)的误差。即:

%5CDelta%20y%5Cbigg%7C_%7Bx%3D%5Cfrac%5Cpi6%7D%5Capprox%5Ccos%5Cfrac%5Cpi6%C2%B7%5Cfrac%5Cpi%7B360%7D%3D%5Cfrac%7B%5Csqrt3%7D%7B720%7D%5Cpi.

故而

%5CDelta%20y%5Cbigg%7C_%7Bx%3D%5Cfrac%5Cpi6%7D%5Capprox%5Csin%5Cfrac%5Cpi6%2B%5Cfrac%7B%5Csqrt3%7D%7B720%7D%5Cpi%5Capprox0.5076.

事实上,准确值为0.507538……,与近似值已经非常接近了。在许多领域,如此精确的结果已经足够进行研发生产了,我们大胆的尝试是成功的。

通过这一例子,我们可整合出一般结论。在此之前,先引入概念:若一个函数在某点处的增量能表示为(1)的形式,则称函数在该点处可微,f'(x)%5Cmathrm%20dx%3D%5Cmathrm%20df(x)称为函数在该点处的微分。易知可微与可导是等价的。

f'(x)为一确定常数;值得注意的是,它虽然是一个关于f(x)%5Capprox%20f(x_0)%2Bf'(x_0)%5CDelta%20x.的函数,但这个函数与%5CDelta%20x的具体数值无关,因此其对于%5CDelta%20x来说是常数。

结论是:当%5CDelta%20x非常小,且f(x)x_0处可微,则

f(x)%5Capprox%20f(x_0)%2Bf'(x_0)%5CDelta%20x.

可以看到,微分在近似计算中起到了尤为重要的作用,也可以用来进行误差估计,但在这里我就不详述了(之后可能会出数学杂谈)。微分的几何意义与导数完全相同,因此这里也不配图了,可以参见浅谈高等数学(3)






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

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