Takatani Note

変数分離形の例題【微分方程式】

この記事では、「変数分離形の微分方程式」と「同次形の微分方程式」に関する例題を扱います。

まず、変数分離形の定義を確認しておきます。

定義
(1)y=f(x)g(y) の形の方程式を変数分離形の微分方程式という.

この微分方程式を解こう.
まず両辺を g(y)(0) で割って (2)1g(y)dydx=f(x) とする. 左辺は, G(y)=dyg(y)x について微分したものであるから, (2)は ddxdyg(y)=f(x) と書ける. この両辺を x で積分すれば, 一般解 dyg(y)=f(x)dx+C を得る. ここで, C は任意定数である.

g(y)=0 を満たす y0 があれば, 定数関数 y=y0 も(1)の解であることは(1)の両辺が0に等しいことからすぐにわかる.

変数分離形の微分方程式

例題
y=y2 の一般解を求めよ.

解答
[解答]
与えられた方程式を y2 で割って y/y2=1 の形とすると, (1y)=1 となる. これを積分すれば, C を任意定数として y=1Cx が一般解である.

例題
xy=y21 の一般解を求めよ.

解答
[解答]
与えられた方程式を dyy21=dxx, すなわち 12(1y11y+1)dy=1xdx と書いて積分すれば log|y1y+1|=2log|x|+C1 したがって, y1y+1=Cx2 これが一般解である. y について解いた形にすれば y=1+Cx21Cx2 となる.

例題
y+ay=0 の一般解を求めよ. ただし, a は定数とする.

解答
[解答]
微分方程式は dydx=ay と書けるから, 両辺を y で割ると 1ydydx=a この両辺を x で積分すると 1ydydxdx=adx となるが, 左辺は x から y への置換積分の形だから 1ydy=adx となる. 両辺の不定積分を計算して log|y|=ax+C  (Cは任意定数) 上式を y について解くと |y|=eax+C=eCeax y=±eCeax ここで, ±eC は0以外の任意の定数である. 関数 y=0 は微分方程式 () の解の1つなので, ±eC を改めて C とおくと y=Ceax を得る. これが一般解である.

例題
次の微分方程式を解け. y=xy

解答
[解答]
微分方程式は dydx=xy と書けるから, y を両辺にかけて積分すると ydy=xdx+C1 となる. よって, C=2C1 とすると, 一般解 x2+y2=C を得る. ただし, C>0 は任意定数とする.

例題
次の微分方程式の一般解を求めよ. y=ysinx

解答
[解答]
微分方程式は dydx=ysinx と書けるから, 両辺を y で割って積分すると dyy=sinxdx+C1 log|y|=cosx+C1 y=Cecosx これが一般解である.

同次形の微分方程式

定義
f(x,y)y/x の関数となるとき, (*)y=f(yx) の形の微分方程式を同次形の微分方程式という.

同次形の微分方程式は, y=xu とおけば, y=xu+u となるから ()xu=f(u)u と書かれる. これは変数分離形であるから, 一般解 duf(u)u=log|x|+C を得る.

例題
(x2+xy)y=y2 の一般解を求めよ.

解答
[解答]
与えられた方程式は y=y2x2+xy=(y/x)21+(y/x) と書けるから同次形である. y=xu とおけば xu=u1+u. したがって, 変数分離形に変形して (1+1u)u=1x. 両辺を x で積分すると, u+log|u|=log|x|+C ゆえに, 一般解 y+xlog|y|=Cx を得る.

【補足】微分方程式の解について

1階常微分方程式について解の求め方を説明する. 与えられた微分方程式に対して, 解が存在するものとして, 方程式の変形, 変数の変換, 代数演算, 不定積分を組み合わせて xy との間の導関数を含まない関係を導く. こうして任意定数 C を含む f(x,y,C)=0 なる関係式を得られたとき, 必ずしもこれを y=φ(x,C) の形にしないで, f(x,y,C)=0 をも一般解ということにする.
なお, 任意定数といっても全く任意の定数であるとは限らない. C のとる値がある範囲に限られる場合もある. (例えば, C0C>0 など.)

また, 一般解を導く途中の計算は形式的に行う. 例えば, 微分方程式の両辺を y で割るときに y0 とするとか, y を考えるとき y0 とするとか, logx では x>0 とするなど, そのようなことは逐一ことわらない. ここで述べるのは解があるとして, その形を見いだす方法で, 真に解であることは得られた結果から検証によって確かめられることだからである.

参考文献

関連記事

-------- Share --------