![]() ![]() *** 大区分 *** 数Ⅰ・A数Ⅱ・B数Ⅲ高卒・大学初年度 *** 中区分 *** ベクトル・行列連立方程式複素数関数・数列微分積分微分方程式統計maxima ※高校から大学初年度レベルの「微分方程式」について,このサイトには次の教材があります.
この頁へGoogleやYAHOO ! などの検索から直接来てしまったので「前提となっている内容が分からない」という場合や「この頁は分かったがもっと応用問題を見たい」という場合は,他の頁を見てください. が現在地です. |
← PC用は別頁
【変数分離形の微分方程式とは】
変数分離形の微分方程式とは y’=f(x)g(y)もしくは ![]() のように,y’がx, yの関数の積で表されるものをいいます. 【変数分離形の微分方程式の解き方】 変数分離形の微分方程式は ![]() ![]() ∫ ![]() のように変形すれば一般解が求められます.
【例1】
(解説・解答)微分方程式 ![]() 両辺にdxを掛け,yで割って ![]() と変形します. ![]() 両辺を積分すると ∫ ![]() ![]() log|y|=x+A …(3) ![]() |y|=ex+A=eAex …(4) ![]() eAをB(>0)とおくと |y|=Bex ![]() y=±Bex ![]() ±BをC(≠0)とおくと y=Cex (C≠0) …(5)
(検算)
以上により,y=Cex (Cは任意の実数) …(答)(5)を元の微分方程式に代入すると,(左辺)=Cex=(右辺)となって成立する. (5)においてC=0のときはy=0となって,この場合も元の微分方程式を満たす. ![]() ((1)(2)を詳しく見るとy=0のときは途中経過に問題があるように見えるが,元の微分方程式を用いた検算ではy=0でも構わない.微分方程式ではこのようなことがよくある.) |
||||||
(参考) (1)について
数学Ⅱで微分を最初に習うときに,ラグランジェ方式の微分記号y’もしくはf ’(x)と並べてライプニッツ方式の微分記号
![]() ![]() ![]()
≪結論から言えば≫
dだけ約分するような変形はダメですが,dxやdyを掛けたり,割ったりする変形は自由にできます. 納得できない方は,(1)のような式が表す内容を極限移行の前の段階(有限の値からなる増分ΔxやΔyから成る関係) ![]() ![]() で考えてみるとよい.このように解釈すれば有限の値ΔxやΔyも使って「単なる分数計算をしているだけ」になり,掛け算,割り算などの変形が自由にできます. (2)について
慎重な方は,なぜ積分記号を付けたり外したりできるのかと疑問に思うかもしれませんが,上で述べたように極限移行する前の段階で考えると
個々の長方形の面積を足す操作を表しているから,気楽に付けることができます. (3)について
積分公式∫
![]() 最後に任意定数(積分定数)としてCを使いたいので,途中経過はAやBまたはC1, C2で行うとよい. (4)について
対数の定義(指数と対数の関係)ar=M⇔r=logaM
特に底がeの場合,er=M⇔r=log M によります. log|y|=x+Aだから|y|=ex+Aになります. 次に,指数法則ap+q=apaqにより ex+A=exeA になります. |
||||||
【例2】
(解説・解答)微分方程式 ![]() 両辺にdxを掛け,yで割って ![]() と変形します. ![]() 両辺を積分すると ∫ ![]() ![]() log|y|=x2+A …(3) ![]() |y|=ex2+A=eAex2 …(4) ![]() eAをB(>0)とおくと |y|=Bex2 ![]() y=±Bex2 ![]() ±BをC(≠0)とおくと y=Cex2 (C≠0) …(5)
(検算)
以上により,y=Cex2 (Cは任意の実数) …(答)(5)を元の微分方程式に代入すると, (左辺)=C2xex2=2x·Cex2=(右辺)となって成立する. (5)においてC=0のときはy=0となって,この場合も元の微分方程式を満たす.(特異解と呼ばれる) |
||||||
【例3】
(解説・解答)微分方程式 ![]() ![]() 両辺にdxを掛け,yで割って ![]() ![]() と変形します. ![]() 両辺を積分すると ∫ ![]() ![]() ![]() log|y|=log|x|+A=log|x|+log eA=log eA|x| …(3) 両辺を1つの対数に直してlog|y|=log...の形にするためには,A→log eAとするとよい
![]() |y|=eA|x| …(4) ![]() eAをB(>0)とおくと |y|=B|x| ![]() y=±Bx ![]() ±BをC(≠0)とおくと y=Cx (C≠0) …(5)
(検算)
以上により,y=Cx (Cは任意の実数) …(答)(5)を元の微分方程式に代入すると, (左辺)=C=(右辺)となって成立する. (5)においてC=0のときも元の微分方程式を満たす. (元の微分方程式を見ると原点(0, 0)における微分係数が定義されていないが,微分方程式で扱われるのは微分可能な関数で,したがって連続な関数なので,この頁ではこのような除外点の問題に深入りしない.) |
【例4】
(解説・解答)微分方程式(x+1)y’+(y−1)=0の一般解を求めてください. はじめにy’を ![]() (x+1) ![]() (x+1) ![]() ![]() ![]() ∫ ![]() ![]() log|y−1|=−log|x+1|+A=−log|x+1|+log eA=log ![]() |y−1|= ![]() y−1=± ![]() ±eAをC(≠0)とおくと y−1= ![]() y= ![]()
(検算)
以上により,y=y= ![]() y−1= ![]() ![]() (左辺)=(x+1)(− ![]() ![]() となって,元の微分方程式を満たす. ![]()
|
|
【例5】
(解説・解答)微分方程式 ![]() ![]() ydy=−xdx ∫ ydy=−∫ xdx ![]() ![]() y2=−x2+2A y2+x2=2A 2A=Cとおくと y2+x2=C
(検算)
以上により,y2+x2=C (Cは任意の実数) …(答)y2+x2=Cの両辺をxで微分すると ![]() ![]() 2y ![]() y≠0のとき ![]() ![]() となって,元の微分方程式を満たす. (微分方程式の解は,yの陽関数:y=...という形でyについて解かれた形でなくてもよく,x=f(y)の形でも,陰関数f(x, y)=...の形でもよい.)
|
【問題】
次の微分方程式の一般解を求めてください.特異解は考えなくてよいものとし,解答は下の選択肢の番号で答えてください.
○途中経過は長い計算になり,暗算では無理です.計算用紙が必要です.
○HELPの内容は下の方に出ます.
≪選択肢≫
1y=log(ex+C) 2y= ![]() 32x2+y2=C 4y=Ce ![]() 5y=C(x−1) 6y=Ce ![]() (1)y=Ce ![]() ![]() ∫ ![]() log|y|= ![]() |y|=e ![]() ![]() y=±eAe ![]() ![]() (2)y=Ce ![]() ![]() ∫ ![]() log|y|= ![]() |y|=e ![]() ![]() y=±eAe ![]() ![]() (3)y=log(ex+C) ![]() ![]() eydy=exdx ∫ eydy=∫ exdx ey=ex+C y=log(ex+C) |
(4)2x2+y2=C
y
![]() y ![]() ydy=−2xdx ∫ ydy=−∫ 2xdx ![]() y2=−2x2+2A y2+2x2=2A y2+2x2=C (5)y=C(x−1)
(x−1)y’=y
(x−1) ![]() ![]() ![]() ∫ ![]() ![]() log|y|=log|x−1|+A=log|x−1|+log eA=log eA|x−1| |y|=eA|x−1| y=±eA(x−1)=C(x−1) |
■[個別の頁からの質問に対する回答][変数分離形.微分方程式の解き方について/18.9.28]
(5)においてC=0のときはy=0となって,この場合も元の微分方程式を満たす.(特異解と呼ばれる)
例1にそう書いてありますが、C=0と置くとy=0の解は得られるので、y=0は一般解に含まれ、特異解ではないのでは?
*拝見させていただきましたが、実にわかりやすく詳説してあり、学習者にとってすばらしいサイトだと思います。
■[個別の頁からの質問に対する回答][変数分離形.微分方程式の解き方について/18.7.08]
=>[作者]:連絡ありがとう.なるほど.一応,一般解はC≠0が条件なので,C=0の場合は含まれませんが,他の変形方法で,この場合も含める方法があるようです.包絡線の方程式とか,特異解とは何かという定義に突入すると高校の範囲を超えてしまいますので,このページで触れる必要なしということで,そのかっこを削除しました. 一つ一つの式の途中式、解説が書いてあり、非常に分かりやすいです!
■[個別の頁からの質問に対する回答][変数分離形.微分方程式の解き方について/17.9.8]
=>[作者]:連絡ありがとう. 良いところ
> 慎重な方は,なぜ積分記号を付けたり外したりできるのかと疑問に思うかもしれませんが
まさにここで悩んでいたので、このページの解説がとても勉強になりました。ありがとうございます。
=>[作者]:連絡ありがとう. |
![]() ![]() |
■このサイト内のGoogle検索■ |