2
大学数学基礎解説
文献あり

【高専生用】微分方程式の解法

218
1
この記事は高専生向けです.

この記事は高専生用に解けたらいいよねと作られたものです.
微分方程式について論理的に解いてるわけではないので注意してください.

0. 進度に合わせて追加していきます.

現在進行形で微分方程式の授業が行われているので,随時追加箇所があれば更新して追加していこうと思っています.
以下,微分方程式について説明していきますが,“解法”を軸として説明していきます.
あと,一階非斉次微分方程式についてはめんどくさいので書いてないです.
正直,代入して線形結合するだけだと思っているので.
2025/4/28 更新
初期値問題を追加
2025/5/20 更新
二階線形微分方程式を追加

1. 微分方程式とは

y : 変数 y
y(x) : x の式 

“xについての関数 y=y(x) の導関数の間の関係式によって書かれる方程式”のことを「微分方程式」と言います.
つまり,y+xy=0 みたいな式のことを言います.
また,微分方程式において,関数 y=y(x) が微分方程式に当てはめて等式が成り立つとき,関数 y=y(x) は微分方程式の「解」と言います.

解には2種類あります.
「一般解」:C(Cは任意定数) のように書かれる関数 y=y(x,C) みたいな関数です.
「特殊解」:任意定数といった表記がないような関数 y=y(x) です.
つまり,任意定数という“都合のいい数”があるかないかっていう話です.
そうそう,積分定数みたいな感じね.

とりあえず「」がついている部分の単語を抑えておけばおk.

2. 一階微分方程式

はい.早速新しい単語出てきました.
「一階」:微分一回のみ(微分二回以上したものは出てこない)
つまり,一階微分方程式とは yf(x)g(x)=0 となるような微分方程式です.
解き方に種類があるので,それぞれで見ていきます.

a.変数分離形

yf(x)g(y)=0 となるような微分方程式を「変数分離形」の微分方程式と言います.
解き方は以下の通りです.

yf(x)g(y)=0dydx=f(x)g(y)1g(y)dy=f(x)dx1g(y)dy=f(x)dx
より y についての式を導出します.

微分方程式 y=xy を解け.

解答)
変数分離形の形 yf(x)g(y)=0 とすることができるので,
dydx=xy1ydy=xdx1ydy=xdxlog|y|=12x2+c(c ; const.)|y|=exp(12x2+c)y=±ecexp(12x2)y=Cexp(12x2)(C=±ec ; C は任意定数)

みたいな感じです.

b.同次形

dydx=f(yx) となるような微分方程式を「同時形」の微分方程式と言います.
この形の方程式は,u=yx すなわち y=ux とすると,
y=u+ux なので dudx=dydxux
すなわち dudx=f(u)ux と変形できます.
このとき,変数分離形の微分方程式となって y=y(x)=u(x)x を求めることができます.

微分方程式 y=xyx2+y2 を解け.

解答)
y=xyx2+y2y=yx1+(yx)2
これは,同時形の微分方程式なので,u=yx とおくと,
y=u+xu なので,
u+xu=u1+u2xu=u1+u2u+u31+u2xu=u31+u2
このとき,変数分離形の微分方程式なので,
1+u3u2du=1xdx1+u3u2du=1xdx12u2log|u|=log|x|+C12u2=log|x||u|+Cx22y2=log|y|+C(C は任意定数)
この関数は陰関数であり,
この関係式から決まる x についての陰関数 y=y(x) の全体が与えられた微分方程式の一般解である.

みたいな感じです.

c.完全微分形

2変数関数 P(x,y)Q(x,y) によって
P(x,y)dx+Q(x,y)dy=0 となる微分方程式を「完全微分形」の微分方程式と言います.
(正確にはこの微分方程式の解き方は「完全微分形」と「積分因子」とで分けられるのですが,「積分因子」を習わなさそうなのでこちらのみの紹介となります.)

この微分方程式の解は
{Fx(x,y)=P(x,y)Fy(x,y)=Q(x,y)()を満たす F(x,y) です.
ここで一つ,以下を覚えておくと楽です.

完全微分形方程式の解

微分方程式 P(x,y)dx+Q(x,y)dy=0 について,
関数 F(x,y)() の式を満たすなら,
その解は F(x,y)=C(C は任意定数) である.

x,y の間に F(x,y)=C という関係が成り立つとする.
この両辺を,例えばxで微分すると,右辺は0,左辺は
Fx(x,y)+Fy(x,y)dydx=P(x,y)+Q(x,y)dydx
となり,P(x,y)dx+Q(x,y)dy=0 が満たされる.
逆にこの解が,例えば y=y(x) で与えられるとすると
ddxF(x,y(x))=Fx(x,y)+Fy(x,y)dydx=P(x,y)+Q(x,y)dydx=0
である.
したがって,F(x,y)=C(C は任意定数) となる.(証明終)

一応証明を載せておきました.
それでは例題です.

次の微分方程式を解け.
(2xsin(xy)+(x2y+y4)cos(xy))dx+(3y2sin(xy)+(x3+xy3)cos(xy))dy=0

少し式が長いですが頑張りましょう.

解答)
題意の微分方程式は完全微分形なので,
P(x,y)=2xsin(xy)+(x2y+y4)cos(xy)Q(x,y)=3y2sin(xy)+(x3+xy3)cos(xy)
ここで F(x,y)=(x2+y3)sin(xy) とすれば,
Fx(x,y)=2xsin(xy)+(x2y+y4)cos(xy)Fy(x,y)=3y2sin(xy)+(x3+xy3)cos(xy)
となる.
したがって,題意の微分方程式の解は F(x,y)=(x2+y3)sin(xy) である.

d.初期値問題

与えられた微分方程式において,
与えられた初期条件を満たす解を求めることを「初期値問題」と言います.
これは,例題をみたほうが分かりやすいと思います.

質量 m の物体の時刻 t における落下速度を v=v(t) とするとき,
受ける空気の抵抗は kv (k は定数) であるとする.
このとき,物体の落下速度の微分方程式は mdvdt=mgmv (g は重力加速度) となる.
ここで,初期条件 v(0)=0 という条件の下で解け.

解答)
題意の微分方程式は
1mgkvdvdt=1m
と変形できるので,一般解は
log|mgkv|=ktm+C(C は任意定数)
となる.
(ここまでは今までの解き方と同じ)
t=0 とすると, v(0)=0 なので,
C=logmg
である.
よって,「特殊解」は
log|mgkv|=ktm+logmgv(t)=mgk(1ekmt)
となる.

条件が付いている微分方程式は「特殊解」まで解く必要があるので注意が必要です.

3.二階線形微分方程式

二階微分方程式は,
y+P(x)y+Q(x)y=R(x)
の形をした微分方程式のことを指します.

この中で,二階線形微分方程式とは,
「二階」:微分二回のみ(微分三回以上したものは出てこない)
「線形」:xnの係数が定数であること
を満たす微分方程式で,
y+py+qy=R(x)(p,q is const.)
の形をした微分方程式を指します.

この式を λ を用いた特性方程式で解く方法を紹介します.

補助方程式 y+py+qy=0(p,q is const.) の解の1つを
w(x)=Ceλx(C is arb.const.)
とすると,特性方程式 λ2+pλ+q=0 が得られます.(導出は簡単)
したがって,この特性方程式の解 λ を求めたとき,元の微分方程式の一般解が求められます.
ここで,この特性方程式の解は2個あり,代入し計算すると以下のような形になります.

y={C1eλ1x+C2eλ2x(λ1,λ2 が異なる実数解のとき)eλx(C1x+C2)(λ が重なる実数解のとき(重解))eαx(C1cosβx+C2sinβx)(λ=α±iβλ が異なる共役な虚数解)

ここで,C1,C2,α,β は実数定数です.
また,λ が虚数解となるとき,オイラーの公式
eix=cosx+sinx
を用いることで導出することができます.

ここから元の微分方程式 y+py+qy=R(x) を求める際に予想解を立てます.
ここの予想解が種類が多く存在します.

a.簡単な多項式

簡単と書きましたが,sin 関数や log 関数などの特殊なが含まれていないn次多項式のことを指します.
このような R(x) の予想解は R(x) と同じ次数を持つ多項式を予想解とすれば解けます.
ex.
R(x)=5x+6 のとき,5x+6 より予想解は ax+b
R(x)=8x2 のとき,予想解は ax2+bx+c

b.R(x)=Aeλx の形

これは,補助方程式の形によります.

補助方程式にAeλx を含むAeλx を含まない
Axeλx を含むax2eλxaeλx
Axeλx を含まないaxeλx-

この予想解の表を用いてもいいのですが,解の1つを w(x) として y=u(x)w(x) の形を考える方法もありますが,ここでは紹介しません.
気になる人は調べてみるといいと思います.

4.おわりに

自分が解説するのはここまでにしたいと思います.
一応自分のクラスメイト向けに作ったサイトなので,もっと気になる人は微分方程式や常微分方程式と書かれた本を読んでみるといいと思います.
それでは,お疲れさまでした!

参考文献

[1]
加藤 文元, 大学教養 微分積分, 数研講座シリーズ, 数研出版株式会社, 2019, pp. 321 ~ 342
投稿日:416
更新日:8日前
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

高専4年です. 編入で理学部数学科に行きたいです. 複素関数,複素解析が興味です.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 0. 進度に合わせて追加していきます.
  2. 1. 微分方程式とは
  3. 2. 一階微分方程式
  4. a.変数分離形
  5. b.同次形
  6. c.完全微分形
  7. d.初期値問題
  8. 3.二階線形微分方程式
  9. a.簡単な多項式
  10. b.R(x)=Aeλx の形
  11. 4.おわりに
  12. 参考文献