一、以二元函数引入
假设有一个二元函数z=f(x,y)z=f(x,y)z=f(x,y),现在我们要求它在满足条件ϕ(x,y)=0\phi(x,y)=0ϕ(x,y)=0条件下的极值。
举个例子,求双曲线xy=2xy=2xy=2上到点(5,3)(5,3)(5,3)最近的点。在这个问题当中,我们要求的就是距离函数z=f(x,y)=(x−5)2+(y−3)2z=f(x,y)=(x-5)^2+(y-3)^2z=f(x,y)=(x−5)2+(y−3)2的极值(同时也是最值),而约束条件则是ϕ(x,y)=xy−2=0\phi(x,y)=xy-2=0ϕ(x,y)=xy−2=0。
对于这个例子,我们完全可以把它化为一元函数极值/最值的问题。令y=2xy=\frac{2}{x}y=x2,则z=f(x,y)=z(x)=(x−5)2+(2x−3)2z=f(x,y)=z(x)=(x-5)^2+\left(\frac{2}{x}-3\right)^2z=f(x,y)=z(x)=(x−5)2+(x2−3)2,然后对z(x)z(x)z(x)求导数为000的点即可。
但并非所有的问题都能找到yyy与xxx的函数关系,此时隐函数ϕ(x,y)=0\phi(x,y)=0ϕ(x,y)=0不能显化,不能直接代得到yyy的表达式。比如像exy+yarctanx=0e^xy+y\arctan x=0exy+yarctanx=0这种奇怪的函数,yyy对xxx的表达式根本写不出来。虽然这种ϕ(x,y)=0\phi(x,y)=0ϕ(x,y)=0不能显化,但我们仍然可以把yyy与xxx的关系设出来:y=y(x)y=y(x)y=y(x),假装可以得到yyy关于xxx的表达式。那么z=f(x,y)=f(x,y(x))z=f(x,y)=f(x,y(x))z=f(x,y)=f(x,y(x))是xxx的一元函数,在dzdx=0\frac{\text{d}z}{\text{d}x}=0dxdz=0时可能取得极值。假设fff对xxx的偏导数为fxf_xfx,对yyy的偏导数为fyf_yfy。由求导的链式法则得到dzdx=d[f(x,y(x))]dx=fx+fydydx\frac{\text{d}z}{\text{d}x}=\frac{\text{d}[f(x,y(x))]}{\text{d}x}=f_x+f_y\frac{\text{d}y}{\text{d}x}dxdz=dxd[f(x,y(x))]=fx+fydxdy那么式子里面的dydx\frac{\text{d}y}{\text{d}x}dxdy,也就是yyy对xxx的导数等于多少呢?虽说是隐函数,导数仍然是可以求出来的。在ϕ(x,y)=0\phi(x,y)=0ϕ(x,y)=0两端取微分,得到ϕxdx+ϕydy=0\phi_x\text{d}x+\phi_y\text{d}y=0ϕxdx+ϕydy=0,其中ϕx\phi_xϕx是ϕ\phiϕ对xxx的偏导数,ϕy\phi_yϕy是

最低0.47元/天 解锁文章
6923

被折叠的 条评论
为什么被折叠?



