![]() ![]() *** 陞滂スァ陋ケ�コ陋サ�ス *** 隰ィ�ー遶�ソス郢晢スサ�ス�。隰ィ�ー遶�ス。郢晢スサ�ス�「隰ィ�ー遶�ス「鬯ョ莨懃ゥ郢晢スサ陞滂スァ陝�スヲ陋サ譎擾スケ�エ陟趣スヲ *** 闕ウ�ュ陋ケ�コ陋サ�ス *** 郢晏生縺醍ケ晏現ホ晉ケ晢スサ髯ヲ謔滂ソス鬨セ�」驕カ蛹コ蟀ソ驕槫唱�シ�ス髫搾ソス�エ�ス隰ィ�ー鬮「�「隰ィ�ー郢晢スサ隰ィ�ー陋サ�ス陟包スョ陋サ�ス驕ィ讎奇ソス陟包スョ陋サ�ス蟀ソ驕槫唱�シ�ス驍ィ�ア髫ェ�スmaxima 遯カ�サ鬯ョ菫カ�ス�。邵コ荵晢ス芽棔�ァ陝�スヲ陋サ譎擾スケ�エ陟趣スヲ郢晢スャ郢晏生ホ�邵コ�ョ邵イ謔滂スセ�ョ陋サ�ス蟀ソ驕槫唱�シ荳環�ス邵コ�ォ邵コ�、邵コ�ス窶サ�ス蠕鯉シ�クコ�ョ郢ァ�オ郢ァ�、郢晏現竊鍋クコ�ッ隹コ�。邵コ�ョ隰ィ蜻取駁邵コ蠕娯旺郢ァ鄙ォ竏ェ邵コ蜻サ�シ�ス
邵コ阮呻ソス鬯��竏�Google郢ァミィAHOO ! 邵コ�ェ邵コ�ゥ邵コ�ョ隶諛�スエ�「邵コ荵晢ス蛾カ�エ隰暦ス・隴夲ス・邵コ�ヲ邵コ蜉ア竏ェ邵コ�」邵コ貅假ソス邵コ�ァ邵イ謔溽√隰�闊娯�邵コ�ェ邵コ�」邵コ�ヲ邵コ�ス�玖怙�ス�ョ�ケ邵コ謔滂ソス邵コ荵晢ス臥クコ�ェ邵コ�スツ髦ェ竊堤クコ�ス竕ァ陜」�エ陷キ蛹サ��クイ蠕鯉シ�クコ�ョ鬯���ス陋サ�スツー邵コ�」邵コ貅倪イ郢ァ繧�夢邵コ�ィ陟「諛�舞陜�蝓趣ス。蠕鯉ス帝囎荵昶螺邵コ�スツ髦ェ竊堤クコ�ス竕ァ陜」�エ陷キ蛹サ�ス�ス蠕。�サ謔カ�ス鬯���帝囎荵昶サ邵コ荳岩味邵コ霈費シ橸ソス�ス邵イツ 邵コ讙取ィ溯舉�ィ陜ィ�ー邵コ�ァ邵コ蜻サ�シ�ス 遶奇ソス陞溽判辟夊崕�ス螻ャ陟厄ス「-霑エ�セ陜ィ�ィ陜ィ�ー 遶奇ソス陷キ�ス(2) 遶奇ソス陷キ譴ァ�ャ�。陟厄ス「 遶奇ソス�ス鮃ケ蝴エ驍ア螢シ�ス�「陟包スョ陋サ�ス蟀ソ驕槫唱�シ�ス 遶奇ソス郢晏生ホ晉ケ晏セ鯉ソス郢ァ�、陟厄ス「陟包スョ陋サ�ス蟀ソ驕槫唱�シ�ス 遶奇ソス郢晢スェ郢晢ソス縺咲ケ昶��ス�「陟包スョ陋サ�ス蟀ソ驕槫唱�シ�ス 遶奇ソス陷茨スィ陟包スョ陋サ�ス蟀ソ驕槫唱�シ�ス 遶奇ソス陞溽判辟夊棔逕サ驪、邵コ�ォ郢ァ蛹サ�矩囓�」邵コ閧エ蟀ソ 遶奇ソス陞ウ螢ス辟夊将繧育��ス蟶晏垓驍ア螢シ�ス�「陟包スョ陋サ�ス蟀ソ驕槫唱�シ謫セ�シ莠・驟碑ーコ�。�ス�ス 陞ウ螢ス辟夊将繧育��ス蟶晏垓驍ア螢シ�ス�「�ス逎ッ謦シ陷キ譴ァ�ャ�。�ス�ス |
← 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鬯ッ�ョ�ス�ォ�ス�ス�ス�カ�ス�ス邵コ�、�つ鬯ョ�ォ�ス�イ髯晢スキ�ス�「�ス�ス�ス�ソ�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�エ�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�「鬯ッ�ョ�ス�ォ�ス�ス�ス�ィ�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ス�ソ�ス�ス�ス�ス�ス�ス�ス�ス |