常微分方程式演習4
今回は1階線型の常微分方程式の問題演習をしましょう。
問題4
次の微分方程式の一般解を求めよ。
(1)
y′−2=x+1
(2)
y′−ysinx=sinxcosx
(3)
y′+ycotx=5ecosx (0<x<π)
(4)
x3y′+(2−3x2)y=x3 (x>0)
(5)
xy′−y=x2logx
解答4
(1)
(a)
同次方程式y′−y=0の解はy≠0を仮定すれば
log|y|=x+C0 (C0:任意定数) ⇔ y=±eC0ex=Cex (C:0でない任意定数)
ところでy=0の時、y′=0であるので、y=0も解である。
したがってCの定義を変えれば
y=Cex (C:任意定数)
(b)
上の同次方程式の解にある定数Cをxの関数とみなしてC(x)とおき、
y=C(x)ex⋯(∗)
を与えられた非同次方程式に代入すると
y′−y=C(x)ex+C′(x)ex−C(x)ex=x+1 ⇔ C′(x)=(x+1)e−x
これを解けば
C(x)=−(x+1)ex+∫e−xdx=−(x+2)e−x+A (A:任意定数)
これを(∗)に代入すれば求める一般解は
y=Aex−(x+2)
(2)
(a)
同次方程式y′−ysinx=0の解は
y=Cexp(−cosx) (C:任意定数)
と容易に分かる。
(b)
上の同次方程式の解にある定数Cをxの関数とみなしてC(x)とおき、
y=C(x)exp(−cosx)⋯(∗)
を与えられた非同次方程式に代入すると
y′−ysinx=C′(x)exp(−cosx)+C(x)sinxexp(−cosx)−C(x)sinxexp(−cosx)=sinxcosx
⇔ C′(x)=sinxcosxexp(cosx)
これを解けば
C(x)=∫sinxcosxexp(cosx)dx=−cosxexp(cosx)−∫sinxexp(cosx)dx=(1−cosx)exp(cosx)+A (A:任意定数)
これを(∗)に代入すれば求める一般解は
y=Aexp(−cosx)+1−cosx
(3)
(a)
同次方程式y′+ycotx=0の解はcotx≡cosxsinx であることに注意すれば
y=−Csinx (C:任意定数) と容易に分かる。
(b)
上の同次方程式の解にある定数Cをxの関数とみなしてC(x)とおき、
y=−C(x)sinx⋯ (∗)
を与えられた非同次方程式に代入すると
y′+ycotx=−C′(x)sinx+C(x)cosx−C(x)cosxsin2x=5exp(cosx) ⇔ C′(x)=−5sinxexp(cosx)
これを解けば
C(x)=5exp(cosx)+A (A:任意定数)
これを(∗)に代入すれば求める一般解は
y=−{5exp(cosx)+A}sinx
(4)
与式を整理すれば y′+(2−3x2x3)y=1 (x>0)⋯(∗)
(a)
同次方程式y′+(2−3x2x3)y=0の解は
y=Cx3exp(1x2) (C:任意定数) と容易に分かる。
(b)
上の同次方程式の解にある定数Cをxの関数とみなしてC(x)とおき、
y=C(x)x3exp(1x2)⋯ (∗∗)
を(∗)に代入すると
y′+(2−3x2x3)y=C′(x)x3exp(1x2)=1
これを解けば
C(x)=12exp(−1x2)+A (A:任意定数)
これを(∗∗)に代入すれば求める一般解は
y=x3{12+Aexp(1x2)}
(5)
与式を整理すれば y′−yx=xlogx⋯(∗)
(a)
同次方程式y′−yx=0の解は
y=Cx (C:任意定数) と容易に分かる。
(b)
上の同次方程式の解にある定数Cをxの関数とみなしてC(x)とおき、
y=C(x)x⋯ (∗∗)
を(∗)に代入すると
C′(x)+C(x)−C(x)=xlogx⇔ C′(x)=logx
これを解けば
C(x)=x(logx−1)+A (A:任意定数)
これを(∗∗)に代入すれば求める一般解は
y=x2(logx−1);Ax
(a)の途中の積分で、y′y=1x ⇔ log|y|=log|x|+C0 (C0:任意定数)という積分が出てきますが、与式でlogxと書かれていることからx>0は自明であるので、今の場合、log|x|はlogxとすることが出来て後の積分をすることが出来ます。このように隠れた条件から絶対値を外せる場合もよく見られますので問題を解く際には積分をしたときの付け忘れだけでなく、条件を見落として外し忘れてしまうことにも十分に注意しましょう。