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

关于反函数求导的那些事

2022-10-20 16:30 作者:小伙子从不内卷  | 我要投稿

一、前言


反函数这个概念,相信很多同学在高中时就听说过了。但是说到本质上的理解,可能或多或少还是有所欠缺的——这一点在高数课程进行到导数与微分的时候就集中体现出来了。突如其来的微分运算,加上本来就不熟悉的反函数,简直是被微积分“双重+降维”打击,可谓雪上加霜。其实纵观微分部分全局我们可以发现,反函数的逆向思维,完全就是你数学核心思维的表现;换句话说,当你彻底理解了反函数的思想,其他的微分运算在你眼里将会不堪一击。所以今天呢就和不理解的小伙伴一起来说一说这个事情到底是怎么回事,也希望我的文章能给不明白的同学们一点点的启发和思路。


一般情况下,我们是这样定义反函数的概念的:对于任意一个函数 y%3Df(x) ,都有另外的一个函数  x%3Df%5E-1(y) 与之对应,我们就称这里的x%3Df%5E-1%EF%BC%88y%EF%BC%89是函数 y%3Df(x) 对应的反函数,其中 f%5E-1%20 表示 f 的逆映射。


那么在此基础上,通过导数和微分的关系我们可以得知,该反函数的导数和直接函数的导数关系特别容易理解,即:%5Cfrac%7Bdx%7D%7Bdy%7D%20%5Cfrac%7B1%7D%7B%5Cfrac%7Bdy%7D%7Bdx%7D%7D%20  ;

所以我们(包括很多人)就暂且称之为:反函数的导数是直接函数的倒数,虽然描述的指向性不强、严谨性还有待商榷,但是如果这样记得快,就暂时先这么说吧;

接着我来给大家证明一下,过程如下:


我们知道,原函数为y%3Df%EF%BC%88x%EF%BC%89

所以在定义域内任取一点x,使它满足:对x施加增量%5CDelta%20x,x+%5CDelta%20x也在定义域内,

而且此时有  %5CDelta%20y=f(x%2B%5CDelta%20x)-f%EF%BC%88x%EF%BC%89%5Cneq%200

于是有%5Cfrac%7B%5CDelta%20y%7D%7B%5CDelta%20x%20%7D%20%5Cfrac%7B1%7D%7B%5Cfrac%7B%5CDelta%20x%7D%7B%5CDelta%20y%7D%7D%20 ;

又因为函数可导且连续,故%5Clim_%7B%5CDelta%20x%5Cto0%7D%20%5CDelta%20y%20%3D0   (这是函数连续性的第二定义,建议记住,以后的证明题直接用这个定义的比较多),

从而%E3%80%90f%EF%BC%88x%EF%BC%89%E3%80%91%E2%80%99=%5Clim_%7B%5CDelta%20x%5Cto0%7D%20%5Cfrac%7B%5CDelta%20y%20%7D%7B%5CDelta%20x%20%7D%20%3D%5Clim_%7B%5CDelta%20x%5Cto0%7D%20%5Cfrac%7B1%20%7D%7B%5Cfrac%7B%5CDelta%20x%20%7D%7B%5CDelta%20%20y%7D%20%20%7D%20%5Cfrac%7B1%7D%7B%5Bf%5E-1(y)%5D'%20%7D%20

即为:%5Cfrac%7Bdy%7D%7Bdx%7D%20%3D%5Cfrac%7B1%7D%7B%5Cfrac%7Bdx%7D%7Bdy%7D%20%7D%20 %5CRightarrow%20%5Cfrac%7Bdx%7D%7Bdy%7D%20%5Cfrac%7B1%7D%7B%5Cfrac%7Bdy%7D%7Bdx%7D%7D%20 ,得证。


ps:打代码太累了哈哈哈


证明完了,我们就开始说说反函数求导容易犯晕的地方叭,切入正题!


二、反函数高阶导数求导


先把题干列出来叭:

%E5%B7%B2%E7%9F%A5%5Cfrac%7Bdx%7D%7Bdy%7D%3D%5Cfrac%7B1%7D%7By'%7D%20%20%20%2C%20%20%20%E8%AF%95%E6%B1%82%5Cfrac%7Bd%5E2%20x%7D%7Bdy%5E2%20%7D%20%20%20%EF%BC%8C%20%5Cfrac%7Bd%5E3%20x%7D%7Bdy%5E3%7D%20


不要着急,我们一个一个来,先看反函数二阶导:


我们已经学过微分和导数的关系了,相信大家的老师都说过这样的表达方式:

%5Cfrac%7Bd%5E2%20y%7D%7Bdx%5E2%7D%20%20%3D%20%5Cfrac%7Bd(%5Cfrac%7Bdy%7D%7Bdx%7D%20)%7D%7Bdx%7D%20 

事实上,二阶导的意思就是对一阶导函数进行一次求导。那么在此基础上,我们就能知道:

%5Cfrac%7Bd%5E2%20x%7D%7Bdy%5E2%7D%20%20%3D%20%5Cfrac%7Bd(%5Cfrac%7Bdx%7D%7Bdy%7D%20)%7D%7Bdy%7D%20


然后我们再看题干里给的条件是什么:%5Cfrac%7Bdx%7D%7Bdy%7D%3D%5Cfrac%7B1%7D%7By'%7D%20%20%20,所以有:

%5Cfrac%7Bd%5E2%20x%7D%7Bdy%5E2%7D%20%20%3D%20%5Cfrac%7Bd(%5Cfrac%7Bdx%7D%7Bdy%7D%20)%7D%7Bdy%7D%20%3D%5Cfrac%7Bd(%5Cfrac%7B1%7D%7By'%7D%20)%7D%7Bdy%7D%20;


这个时候问题就来了,怎么进行下去呢?相信小伙伴可能有这样的疑问,事实上,在微分运算中碰到这种情况的时候是很多滴,那我们怎么办,换句话说,我们怎么做可以让微分计算能够开展下去?

答案是上下同时除以自变量的微分dx,构造新导数;我们之所以这么做,是因为对于%5Cfrac%7Bd(%5Cfrac%7B1%7D%7By'%7D%20)%7D%7Bdy%7D%20 这个式子,我们无从下手:请大家想一下,y=f(x)是原函数,也就是说,不论y也好,y’也好,归根结底是以x为自变量的,所以你想要运算就不能脱离这个x;不仅如此,对于1/y’来说,它不是以y为自变量的,所以到这里就没办法继续开展下去了,只能构造新导数。你想要直接算,简直不要太异想天开(在这里补充一下,一旦碰到这种无从下手的情况,一定要思考目标函数的自变量是什么,这样才能继续进行)。


那我们就构造新导数,于是有:%5Cfrac%7Bd(%5Cfrac%7B1%7D%7By'%7D%20)%7D%7Bdy%7D%20 = %5Cfrac%7B%5Cfrac%7Bd(%5Cfrac%7B1%7D%7By'%7D%20)%7D%7Bdx%7D%20%7D%7B%5Cfrac%7Bdy%7D%7Bdx%7D%20%7D%20 ,我们分子分母分别处理一下;

分母部分不用多说了,%5Cfrac%7Bdy%7D%7Bdx%7D%20%3Dy%E2%80%99

重点看分子部分的 %5Cfrac%7Bd(%5Cfrac%7B1%7D%7By'%7D%20)%7D%7Bdx%7D%20 :这里其实就相当于对1/y’ 求导,怎么对它求导呢?

我们上面说过了,1/y’的自变量是x,那我们不妨设u=y’,利用复合函数,求1/u的导数,即:

%E3%80%90%5Cfrac%7B1%7D%7Bu%7D%E3%80%91%E2%80%99%20=-%5Cfrac%7B1%7D%7Bu%5E2%7D%20%5Ctimes%20u'%3D-%5Cfrac%7By%E2%80%99%E2%80%99%7D%7By%E2%80%99%5E2%7D%20 ;


所以我们可知,%5Cfrac%7Bd%5E2x%7D%7Bdy%5E2%7D%20%3D%5Cfrac%7B-%5Cfrac%7By''%7D%7By'%5E2%7D%20%7D%7By'%7D%20%3D-%5Cfrac%7By''%7D%7By'%5E3%7D%20 ,这样一来,反函数的二阶导就求出来啦!


同理,我们就可以算反函数的三阶导了,即有:

%5Cfrac%7Bd%5E3x%7D%7Bdy%5E3%7D%20%3D%5Cfrac%7Bd(-%5Cfrac%7By''%7D%7By'%5E3%7D)%7D%7Bdy%7D%20


然后和上述一样地构造新导数,即:

%5Cfrac%7Bd%5E3x%7D%7Bdy%5E3%7D%20%3D%5Cfrac%7Bd(-%5Cfrac%7By''%7D%7By'%5E3%7D)%7D%7Bdy%7D%20%3D%5Cfrac%7B%5Cfrac%7Bd(-%5Cfrac%7By''%7D%7By'%5E3%7D)%7D%7Bdx%7D%7D%7B%5Cfrac%7Bdy%7D%7Bdx%7D%7D%20


分母部分还是一样的好理解,%5Cfrac%7Bdy%7D%7Bdx%7D%20%3Dy%E2%80%99

接下来看分子部分:%5Cfrac%7Bd(-%5Cfrac%7By''%7D%7By'%5E3%7D)%7D%7Bdx%7D%20

我们需要对-y''/y'^3求导:在这里我们可以分别把-y''和y'^3看作是两个不同的、以x为自变量的函数,暂且设为k(x)和h(x);然后进行导数除法运算法则运算,即:

%5B%5Cfrac%7Bk(x)%7D%7Bh(x)%7D%5D'%20%3D%5Cfrac%7Bk'(x)h(x)-h'(x)k(x)%7D%7Bh%5E2(x)%7D%20%20%3D-%5Cfrac%7By'''(y')%5E3-y''%5Ctimes%203(y')%5E2%5Ctimes%20y''%7D%7B(y')%5E6%7D%0A


所以综上所述,%5Cfrac%7Bd%5E3x%7D%7Bdy%5E3%7D%20%3D%5Cfrac%7B3(y'')%5E2-y'y'''%7D%7B(y')%5E5%7D






关于反函数求导的那些事的评论 (共 条)

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