跳到主要内容

大阪大学 基礎工学研究科 数理科学 (システム創成専攻) 2021年度 数理科学 II [1]

Author

祭音Myyura (co-authored with GPT 5.6 SOL)

Description

(1) P,QC1(R2)P,Q\in C^1(\mathbb R^2) は任意の実数 λ\lambda について P(λx,λy)=λ2P(x,y)P(\lambda x,\lambda y)=\lambda^2P(x,y)Q(λx,λy)=λ2Q(x,y)Q(\lambda x,\lambda y)=\lambda^2Q(x,y) を満たす。

M(x,y)=1xP(x,y)+yQ(x,y)M(x,y)=\frac1{xP(x,y)+yQ(x,y)}

とおくと y(MP)=x(MQ)\partial_y(MP)=\partial_x(MQ) が成り立つことを示せ。

(2) 微分方程式 y2dx+(x2xy)dy=0y^2\,dx+(x^2-xy)\,dy=0 を解け。

Kai

(1)

同次性を λ\lambda で微分して λ=1\lambda=1 とおくと

xPx+yPy=2P,xQx+yQy=2Q.xP_x+yP_y=2P,\qquad xQ_x+yQ_y=2Q.

D=xP+yQ0D=xP+yQ\ne0 の範囲で

yPDxQD=Q(xPx+yPy)P(xQx+yQy)D2=0.\partial_y\frac PD-\partial_x\frac QD =\frac{Q(xP_x+yP_y)-P(xQ_x+yQ_y)}{D^2}=0.

(2)

P=y2,Q=x2xyP=y^2,Q=x^2-xy とすれば D=x2yD=x^2yxy0xy\ne0 で積分因子 1/(x2y)1/(x^2y) を掛けると

yx2dx+(1y1x)dy=d(logyyx)=0.\frac y{x^2}\,dx+\left(\frac1y-\frac1x\right)dy =d\left(\log|y|-\frac yx\right)=0.

したがって一般積分は

logyyx=C(xy0).\boxed{\log|y|-\frac yx=C\quad(xy\ne0)}.

積分因子で除外した直線 y=0\boxed{y=0} および x=0\boxed{x=0} も元の微分形式の積分曲線である。