解決済み

下の問題がわからないです。途中式を詳しく書いていただけるとありがたいです。


次のxxを独立変数とする常微分方程式の一般解を求めなさい。

yxx1y+yx1=x1y''-\dfrac{x}{x-1}y'+\dfrac{y}{x-1}=x-1

ベストアンサー

ベストアンサー

※少し長いので、以下では丁寧語ではなく常体で書きます。


 記述を簡単にするために、

p(x)=xx1,  q(x)=1x1,  r(x)=x1p(x) = -\frac{x}{x - 1},\ \ q(x) = \frac{1}{x - 1},\ \ r(x) = x - 1

とおく。

 まず同次方程式

y+p(x)y+q(x)y=0y'' + p(x)y' + q(x)y = 0

を考える。方程式を見ると、ひとつの特殊解 y1(x)=xy_1(x) = x が見つかる。これと 11 次独立な解を y2(x)y_2(x) とすれば、y2(x)y_2(x) は次の公式で求まる:

y2(x)=y1(x)eP(x)y1(x)2dx,  P(x)=p(x)dxy_2(x) = y_1(x) \int \frac{e^{- P(x)}}{y_1(x)^2}dx,\ \ P(x) = \int p(x) dx

ここで P(x)P(x) を計算すると

p(x)dx=xx1dx=[1+1x1]dx=[x+log(x1)]\begin{aligned}\int p(x) dx &= - \int \frac{x}{x - 1} dx \\ &= - \int \left[1 + \frac{1}{x - 1}\right] dx \\ &= - [x + \log (x - 1)]\end{aligned}

そして y2y_2 右辺の積分を計算すると

eP(x)y1(x)2dx=ex(x1)x2dx=exxdxexx2dx=exx+exx2dxexx2dx=exx\begin{aligned}\int \frac{e^{-P(x)}}{y_1(x)^2}dx &= \int \frac{e^x(x - 1)}{x^2}dx \\ &= \int \frac{e^x}{x}dx - \int \frac{e^x}{x^2}dx \\ &= \frac{e^x}{x} + \int \frac{e^x}{x^2}dx - \int \frac{e^x}{x^2}dx \\ &= \frac{e^x}{x}\end{aligned}

したがって

y2(x)=xexx=exy_2(x) = x \cdot \frac{e^x}{x} = e^x

となる。

 次に元の非同次方程式

y+p(x)y+q(x)y=r(x)y'' + p(x)y' + q(x)y = r(x)

を考える。いま方程式の特殊解 y3(x)y_3(x) は定数変化法で次のように求まる:

y3(x)=y1(x)r(x)y2(x)Δ(x)dxy2(x)r(x)y1(x)Δ(x)dxy_3(x) = y_1(x) \int \frac{r(x)y_2(x)}{\Delta(x)}dx- y_2(x) \int \frac{r(x)y_1(x)}{\Delta(x)}dx

ただしここで Δ(x)\Delta(x) はロンスキアン

Δ(x)=y1(x)y2(x)y1(x)y2(x)\Delta(x) = y_1'(x)y_2(x) - y_1(x)y_2'(x)

である。y3y_3 左側の積分を計算すると

r(x)y2(x)Δ(x)dx=(x1)exex(x1)dx=x\int \frac{r(x)y_2(x)}{\Delta(x)}dx = \int \frac{(x - 1)e^x}{-e^x(x - 1)}dx = -x

また右側の積分を計算すると

r(x)y1(x)Δ(x)dx=(x1)xex(x1)dx=exxdx=exxexdx=ex(x+1)\begin{aligned}\int \frac{r(x)y_1(x)}{\Delta(x)}dx &= \int \frac{(x - 1)x}{-e^x(x - 1)}dx \\ &= -\int e^{-x}x dx \\ &= e^{-x} x - \int e^{-x} dx \\ &= e^{-x}(x + 1)\end{aligned}

したがって

y3(x)=x2exex(x+1)=x2x1y_3(x) = -x^2 - e^x e^{-x}(x + 1) = -x^2 - x - 1

となる。

 以上の結果をまとめれば、A,BA, B を任意定数として一般解

y(x)=Ay1(x)+By2(x)+y3(x)Ax+Bexx21y(x) = Ay_1(x) + By_2(x) + y_3(x) \equiv Ax + Be^x - x^2 - 1

を得る。


質問者からのお礼コメント

質問者からのお礼コメント

ありがとうごさいます。

答えを見たら漸化式の関係で解くと書いてあったのですがわからなくて質問させていただきました。

一般解の求め方がわからなかったので大変助かりました。

そのほかの回答(0件)