我们取以下微分方程:
一个(x,y)dy+B(x,y)dx⇒dxdy=0=−一个(x,y)B(x,y).如果有一个函数,那就太巧了
F(x,y)这样
dxdy=−∂y∂F(x,y)∂x∂F(x,y)=−∂x∂y.如果存在A,则微分方程是精确的
C2函数
F(x,y)这样
一个(x,y)=∂y∂F(x,y)和
B(x,y)=∂x∂F(x,y).
为了证明这样一个函数的存在,我们可以使用偏导数:
一个(x,y)=∂y∂F(x,y)B(x,y)=∂x∂F(x,y)⇒∂x∂一个(x,y)=∂x∂y∂2F(x,y)⇒∂y∂B(x,y)=∂y∂x∂2F(x,y).作为
F是
C2,我们可以得出结论
∂y∂x∂2F(x,y)⇒∂x∂一个(x,y)=∂x∂y∂2F(x,y)=∂y∂B(x,y).这是证明微分方程是恰当的最重要的条件。
当这个函数
F时,微分方程的解由
F(x,y)=0.
解微分方程
ln(x2y)dy+x2ln(y)dx=0.
在证明这是一个恰当方程的过程中
∂x∂(ln(x2y))xy2=∂y∂(x2ln(y))=xy2.所以它是准确的,我们知道
ln(x2y)=∂y∂F(x,y)⇒F(x,y)=∫ln(x2y)dy=yln(x2y)−∫dy=y(ln(x2y)+1)+C(x)和
x2ln(y)x2ln(y)C(x)F(x,y)=∂x∂F(x,y)=x2+C”(x)=2ln(x)ln(y)−2ln(x)+C=y(ln(x2y)+1)+2ln(x)(ln(y)+1)+C.
微分方程的解是
y(ln(x2y)+1)+2ln(x)(ln(y)+1)+C=0.□