跳到主要内容

東京大学 新領域創成科学研究科 人間環境学専攻 2024年8月実施 微分方程式

Author​

思齐塾, 祭音Myyura

Description​

以下の微分方程式 1), 2), 3), 4) について一般解をそれぞれ求めよ。

  1. d3ydx3−9d2ydx2+27dydx−27y=0\frac{d^3y}{dx^3} - 9\frac{d^2y}{dx^2} + 27\frac{dy}{dx} - 27y = 0

  2. d2ydx2+y=sin⁡3x\frac{d^2y}{dx^2} + y = \sin 3x

  3. d3ydx3−3d2ydx2=0\frac{d^3y}{dx^3} - 3\frac{d^2y}{dx^2} = 0

  4. (x−y)dx+(2x2y+x)dy+4x2zdz=0(x-y)dx + (2x^2y + x)dy + 4x^2zdz = 0

题目描述​

分别求下列四个微分方程的通解:

  1. 求解:

    d3ydx3−9d2ydx2+27dydx−27y=0.\frac{d^3y}{dx^3} -9\frac{d^2y}{dx^2} +27\frac{dy}{dx} -27y=0.
  2. 求解:

    d2ydx2+y=sin⁡3x.\frac{d^2y}{dx^2}+y=\sin 3x.
  3. 求解:

    d3ydx3−3d2ydx2=0.\frac{d^3y}{dx^3} -3\frac{d^2y}{dx^2}=0.
  4. 求解:

    (x−y) dx+(2x2y+x) dy+4x2z dz=0.(x-y)\,dx+(2x^2y+x)\,dy+4x^2z\,dz=0.

Kai​

  1. The characteristic equation is r3−9r2+27r−27=0r^3 - 9r^2 + 27r - 27 = 0 , which can be factored as (r−3)3=0(r-3)^3 = 0 . Thus, r=3r = 3 is a triple root. The general solution is y(x)=c1e3x+c2xe3x+c3x2e3xy(x) = c_1e^{3x} + c_2xe^{3x} + c_3x^2e^{3x} .

  2. The homogeneous equation is d2ydx2+y=0\frac{d^2y}{dx^2} + y = 0 . The characteristic equation is r2+1=0r^2 + 1 = 0 , so r=±ir = \pm i . The homogeneous solution is yh(x)=c1cos⁡x+c2sin⁡xy_h(x) = c_1\cos x + c_2\sin x . For the particular solution, let yp(x)=Acos⁡3x+Bsin⁡3xy_p(x) = A\cos 3x + B\sin 3x . Then yp′(x)=−3Asin⁡3x+3Bcos⁡3xy_p'(x) = -3A\sin 3x + 3B\cos 3x and yp′′(x)=−9Acos⁡3x−9Bsin⁡3xy_p''(x) = -9A\cos 3x - 9B\sin 3x . Substituting into the differential equation gives −9Acos⁡3x−9Bsin⁡3x+Acos⁡3x+Bsin⁡3x=sin⁡3x-9A\cos 3x - 9B\sin 3x + A\cos 3x + B\sin 3x = \sin 3x . Thus, −8A=0-8A = 0 and −8B=1-8B = 1 , so A=0A = 0 and B=−18B = -\frac{1}{8} . Therefore, yp(x)=−18sin⁡3xy_p(x) = -\frac{1}{8}\sin 3x . The general solution is y(x)=c1cos⁡x+c2sin⁡x−18sin⁡3xy(x) = c_1\cos x + c_2\sin x - \frac{1}{8}\sin 3x .

  3. The characteristic equation is r3−3r2=0r^3 - 3r^2 = 0 , so r2(r−3)=0r^2(r-3) = 0 . The roots are r=0r = 0 (double root) and r=3r = 3 . The general solution is y(x)=c1+c2x+c3e3xy(x) = c_1 + c_2x + c_3e^{3x} .

  4. x≠0x\ne0 の領域で積分因子 μ=x−2\mu=x^{-2} を掛けると

(1x−yx2)dx+(2y+1x)dy+4z dz=0.\left(\frac1x-\frac{y}{x^2}\right)dx +\left(2y+\frac1x\right)dy+4z\,dz=0.

この微分形式は完全であり、

∂∂x(log⁡∣x∣+yx+y2+2z2)=1x−yx2,\frac{\partial}{\partial x} \left(\log|x|+\frac{y}{x}+y^2+2z^2\right) =\frac1x-\frac{y}{x^2},
∂∂y(log⁡∣x∣+yx+y2+2z2)=1x+2y,∂∂z(log⁡∣x∣+yx+y2+2z2)=4z.\frac{\partial}{\partial y} \left(\log|x|+\frac{y}{x}+y^2+2z^2\right) =\frac1x+2y, \qquad \frac{\partial}{\partial z} \left(\log|x|+\frac{y}{x}+y^2+2z^2\right) =4z.

したがって一般積分は

log⁡∣x∣+yx+y2+2z2=C(x≠0).\boxed{\log|x|+\frac{y}{x}+y^2+2z^2=C}\qquad(x\ne0).

また x=0x=0 は、もとの微分形式の引き戻しが恒等的に零となる特異積分面である。