常微分方程式演習2
今回は変数分離形の常微分方程式の問題演習をしましょう。
問題2
次の微分方程式の一般解を求めよ。
(1)
(1+x)y+(1−x)y′=0
(2)
√xy′+y2=0
(3)
yy′=−(1+y2)sinx
(4)
y′=y(1−y)
(5)
expxy′ 2(x+1)y2
(6)
x(y−3)y′=4y
(7)
(x2−4x)y′+y=0
(8)
xyy′=(y+1)(1−x)
解答2
(1)
与式についてy≠0と仮定すれば、
y′y=x+1x−1
両辺xで積分して
log|y|=∫x+1x−1dx=∫(1+2x−1)dx=x+2log|x−1|+C (C:任意定数)
y=±eCex(x−1)2=Aex(x−1)2 (A:0でない任意定数)
ところで、与式よりy=0のときy′=0であり、 これらは与式を満たすためy=0も与式の解である。
従ってAの定義を変えれば求める一般解は
y=Aex(x−1)2 (A:任意定数)
(2)
与式についてy≠0と仮定すれば、
−y′y2=1√x
両辺xで積分して
1y=2√x+C (C:任意定数)
従って求める一般解は
y=12√x+C
ちなみに、 Cがいかなる値であっても12√x+C≠0なので、y=0は特異解である。
(3)
与式よりy2+1≠0であるので、
2yy′y2+1=−2sinx
両辺xで積分して
log(y2+1)=2cosx+C (C:任意定数)
従って求める一般解は
y2+1=exp(2cosx+C)
を満たすようなyである。ちなみに、eXはexp(X)とも表せる。
Xが複雑な値を取る場合や分数になる場合は\exp{(X)}で書いた方がスッキリする。
(4)
与式についてy≠0 、 y≠1と仮定すれば、
∫1y(1−y)dy=∫dx
log|y|−log|y−1|=x+C (C:任意定数)
従って
yy−1=±ex+C=Aex (A:0でない任意定数)
ところで、与式よりy=0のときy′=0であり、 これらは与式を満たすためy=0も与式の解である。
従ってAの定義を変えれば求める一般解は
y=1+1Aex−1 (A:任意定数)
ちなみに、Cがいかなる値であっても1Aex−1≠0なので、y=1は特異解である。
(5)
与式についてy≠0と仮定すれば、
∫y′y2dx=∫2(x+1)exdx=−(x+1)e−x+∫e−xdx
−1y=−{(x+2)e−x+C} (C:任意定数)
従って求める一般解は
y=exCex+2(x+2)
ちなみに、Cがいかなる値であってもexCex+2(x+2)≠0なので、y=0は特異解である。
(6)
与式についてy≠0と仮定すれば、
(1−3y)y′=4x
両辺xで積分して
y−3log|y|=4log|x|+C=4logx+C (C:任意定数)
従って求める一般解は
y−3log|y|=4logx+C
を満たすようなyである。ちなみに、y=0は特異解である。
(7)
与式についてy≠0と仮定すれば、
y′y=−1x(x−4)
両辺xで積分して
log|y|=14{log|x|−log|x−4|+C}=log|xx−4|14+logexp(14C) (C:積分定数)
y=±exp(14C)|xx−4|14=A|xx−4|14 (A:0でない任意定数)
ところで、与式よりy=0のときy′=0であり、これらは与式を満たすためy=0も与式の解である。
従ってAの定義を変えれば求める一般解は
y=A|xx−4|14 (A:任意定数)
(8)
与式についてy≠−1と仮定すれば、
yy′y+1=1x−1
両辺xで積分して
∫(1−1y+1)y′dx=∫(1x−1)dx
よって求める一般解は
y−log|y+1|=log|x|−x+C (C:任意定数)
を満たすようなyである。ちなみに、y=−1は特異解である。