跳到主要内容

九州大学 システム情報科学府 情報理工学専攻・電気電子工学専攻 2016年8月実施 微分方程式

Author​

Zero, 祭音Myyura

Description​

出典:九州大学公式問題。 次の微分方程式の一般解を求めよ.

(1) dydx+yx=11+x2\frac{dy}{dx} + \frac{y}{x} = \frac{1}{1 + x^2}

(2) (xy−x)dydx=−y(\sqrt{xy} - x) \frac{dy}{dx} = -y

题目描述​

求下列两个一阶微分方程的通解,其中 yy 是 xx 的函数:

dydx+yx=11+x2.\frac{dy}{dx}+\frac yx=\frac1{1+x^2}.
(xy−x)dydx=−y.(\sqrt{xy}-x)\frac{dy}{dx}=-y.

Kai​

(1)​

dydx+yx=11+x2xy′+y=x1+x2ddx(xy)=x1+x2\begin{aligned} \frac{dy}{dx} + \frac{y}{x} &= \frac{1}{1 + x^2} \\ xy' + y &= \frac{x}{1 + x^2} \\ \frac{d}{dx}(xy) &= \frac{x}{1 + x^2} \end{aligned}

両辺を積分

xy=∫x1+x2dxxy=12log⁡(1+x2)+C∴y=12xlog⁡(1+x2)+Cx−1\begin{aligned} xy &= \int\frac{x}{1 + x^2}dx \\ xy &= \frac{1}{2}\log(1 + x^2) + C \\ \therefore y &= \frac{1}{2x}\log(1 + x^2) + Cx^{-1} \end{aligned}

ただし、解は x=0x=0 を含まない区間上で考える。

(2)​

まず x>0, y>0x>0,\ y>0 の解を求める。

(xy−x)dydx=−y(yx−1)dydx=−yx(*)\begin{aligned} (\sqrt{xy} - x)\frac{dy}{dx} &= -y \notag \\ (\sqrt{\frac{y}{x}} - 1)\frac{dy}{dx} &= -\frac{y}{x} \tag{*} \\ \end{aligned}

u=yx⇔y=uxu = \frac{y}{x} \Leftrightarrow y = ux とおく

dydx=u+xdudx\frac{dy}{dx} = u + x\frac{du}{dx}

(∗)(*) に代入

(u−1)(u+xdudx)=−uu+xdudx=−uu−1xdudx=−u−uu−1xdudx=−u⋅uu−1−u−1uudu=1xdx\begin{aligned} (\sqrt{u} - 1)(u + x\frac{du}{dx}) &= -u \\ u + x\frac{du}{dx} &= -\frac{u}{\sqrt{u} - 1} \\ x\frac{du}{dx} &= -u - \frac{u}{\sqrt{u} - 1} \\ x\frac{du}{dx} &= - \frac{u \cdot \sqrt{u}}{\sqrt{u} - 1} \\ -\frac{\sqrt{u} - 1}{u\sqrt{u}}du &= \frac{1}{x}dx \end{aligned}
∫−u12−1u32du=∫1xdx∫−1udu+∫u−32du=log⁡x+C−log⁡u−2u−12=log⁡x+C−2u−12=log⁡ux+C−2u−12=log⁡y+C\begin{aligned} \int-\frac{u^{\frac{1}{2}} - 1}{u^{\frac{3}{2}}}du &= \int\frac{1}{x}dx \\ \int-\frac{1}{u}du + \int u^{-\frac{3}{2}}du &= \log x + C \\ -\log u - 2u^{-\frac{1}{2}} &= \log x + C \\ -2u^{-\frac{1}{2}} &= \log ux + C \\ -2u^{-\frac{1}{2}} &= \log y + C \end{aligned}

u=yxu = \frac{y}{x} より、

−2xy=log⁡y+Clog⁡y+2xy=−Clog⁡y+log⁡e2xy=−Clog⁡(ye2xy)=−C\begin{aligned} -2\sqrt{\frac{x}{y}} &= \log y + C \\ \log y + 2\sqrt{\frac{x}{y}} &= -C \\ \log y + \log e^{2\sqrt{\frac{x}{y}}} &= -C \\ \log (ye^{2\sqrt{\frac{x}{y}}}) &= -C \end{aligned}

したがって、この範囲での解は

log⁡y+2xy=C.\log y+2\sqrt{\frac{x}{y}}=C.

また y≡0y\equiv0 も解である。x<0, y<0x<0,\ y<0 の範囲では X=−x, Y=−yX=-x,\ Y=-y とおいて同様に計算すると

log⁡(−y)−2xy=C\log(-y)-2\sqrt{\frac{x}{y}}=C

を得る。

正の象限では y=xy=x で元の方程式が 0=−y0=-y となるため、その点を解に含めない。以上の非零解は各象限内の区間で考える。x=0x=0 を含む解を考える場合は、元の方程式から y(0)=0y(0)=0 が必要であり、接続点での微分可能性も別途確認する。