Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
2024年度春学期 応用数学(解析)第5回 微分方程式とは・変数分離形 (2024. 5. 9)
Search
Akira Asano
PRO
April 30, 2024
Education
0
14
2024年度春学期 応用数学(解析)第5回 微分方程式とは・変数分離形 (2024. 5. 9)
関西大学総合情報学部 応用数学(解析)(担当・浅野晃)
http://racco.mikeneko.jp/Kougi/2024s/AMA/
Akira Asano
PRO
April 30, 2024
Tweet
Share
More Decks by Akira Asano
See All by Akira Asano
2024年度春学期 応用数学(解析)第7回 2階線形微分方程式 (2024. 5. 23)
akiraasano
PRO
0
2
2024年度春学期 統計学 第7回 データの関係を知る(2) ー 回帰と決定係数 (2024. 5. 23)
akiraasano
PRO
0
7
2024年度春学期 統計学 第6回 データの関係を知る(1) ー 相関関係 (2024. 5. 16)
akiraasano
PRO
0
65
2024年度春学期 応用数学(解析)第6回 変数分離形の変形 (2024. 5. 16)
akiraasano
PRO
0
10
2024年度春学期 統計学 第5回 分布をまとめる (2024. 5. 9)
akiraasano
PRO
0
89
2024年度春学期 応用数学(解析)第4回 収束とは何か,ε-δ論法 (2024. 5. 2)
akiraasano
PRO
0
14
2024年度春学期 統計学 第4回 データを「分布」で見る (2024. 5. 2)
akiraasano
PRO
0
78
2024年度春学期 統計学 第2回 統計資料の収集と読み方 (2024. 4. 18)
akiraasano
PRO
0
56
2024年度春学期 統計学 第3回 クロス集計と感度・特異度/データの可視化 (2024. 4. 25)
akiraasano
PRO
0
110
Other Decks in Education
See All in Education
スクフェスの学びにチームを惹き込め! 社内同時視聴会のすゝめ!
pokotyamu
0
850
Dashboards - Lecture 11 - Information Visualisation (4019538FNR)
signer
PRO
0
1.4k
ロータリー地域社会共同隊(RCC)について:国際ロータリー 2720地区 2023-2024年度 社会奉仕部門 部門長・ 熊本西稜ロータリークラブ・ 有限会社 誠商店 代表取締役社長 追立 武 氏
2720japanoke
0
270
D&I推進レポート〜テクノロジー分野のジェンダーギャップとその取り組みについて〜
codeforeveryone
1
1.2k
Monaca Educationを活用したプログラミング授業実践
asial_edu
0
220
Web3の世界にようこそ
nabe33
0
170
Visualisation Techniques - Lecture 8 - Information Visualisation (4019538FNR)
signer
PRO
0
1.7k
Introduction - Lecture 1 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
3.1k
Canva
matleenalaakso
0
180
Gesture-based Interaction - Lecture 6 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
1.3k
子どもたち創造的活動機会の必要性に関する提言/creativehub
codeforeveryone
0
400
Ch7_-_Partie_1.pdf
bernhardsvt
0
140
Featured
See All Featured
Designing for humans not robots
tammielis
247
25k
Designing the Hi-DPI Web
ddemaree
276
33k
Code Review Best Practice
trishagee
56
15k
Docker and Python
trallard
35
2.7k
Embracing the Ebb and Flow
colly
80
4.2k
Teambox: Starting and Learning
jrom
128
8.4k
Done Done
chrislema
178
15k
VelocityConf: Rendering Performance Case Studies
addyosmani
321
23k
What’s in a name? Adding method to the madness
productmarketing
PRO
17
2.7k
The MySQL Ecosystem @ GitHub 2015
samlambert
244
12k
Testing 201, or: Great Expectations
jmmastey
30
6.4k
Bash Introduction
62gerente
605
210k
Transcript
関西大学総合情報学部 浅野 晃 応用数学(解析) 2024年度春学期 第2部・基本的な微分方程式 / 第5回 微分方程式とは・変数分離形
微分方程式とは🤔🤔
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 微分方程式とは 3 微分方程式は,解が「関数」で,その微分が含まれる方程式 ふつうの方程式は,解は「数」 x が t
の関数(つまりx(t))のとき, x2 − 5x + 3 = 0 x′ = x x′′ − 5x′ + 6x = 0
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 微分方程式とは 3 微分方程式は,解が「関数」で,その微分が含まれる方程式 ふつうの方程式は,解は「数」 x が t
の関数(つまりx(t))のとき, x2 − 5x + 3 = 0 x′ = x x′′ − 5x′ + 6x = 0 関数は「量の変化」 微分方程式は「変化の条件」
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 微分方程式とは 3 微分方程式は,解が「関数」で,その微分が含まれる方程式 ふつうの方程式は,解は「数」 x が t
の関数(つまりx(t))のとき, x2 − 5x + 3 = 0 x′ = x x′′ − 5x′ + 6x = 0 関数は「量の変化」 微分方程式は「変化の条件」 微分方程式を解くと,「どう変化するか」がわかる
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 1階・2階,常微分・偏微分 4 1階導関数に関する微分方程式: 1階微分方程式 x′ = x
x′′ − 5x′ + 6x = 0 1変数関数の微分方程式は常微分方程式 2変数以上の関数の偏微分に関する 微分方程式は偏微分方程式 2階導関数に関する微分方程式: 2階微分方程式 ⋮
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 微分方程式を解くとは 5 微分方程式を「解く」とは, その方程式を満たす関数を見つけること 解ける微分方程式のうち,簡単なものの 基本的なパターンをいくつか紹介します。 微分方程式は
特定のパターンのものしか解けない
微分方程式の例🤔🤔
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 運動方程式 7 加速度は速度の微分, 速度は位置の微分だから, 力 F 物体の質量
m 物体の加速度 a 物体に働く力と,その運動との関係 F = ma F = mx′′ 時刻 t の物体の位置を x(t) とすると これを解いて関数 x(t) を求めると,時刻 t での物体の位置がわかる
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 落下の問題 8 抵抗力は速度の2乗に比例する 力 F =下向きの重力 mg
+ 上向きの抵抗力 物体が空気中を落下するとき 運動方程式は なので F = mx′ ′ −k(x′)2 mg − k(x′)2 = mx′′
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 落下の問題 8 抵抗力は速度の2乗に比例する 力 F =下向きの重力 mg
+ 上向きの抵抗力 物体が空気中を落下するとき 運動方程式は なので F = mx′ ′ −k(x′)2 mg − k(x′)2 = mx′′
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 落下の問題 8 抵抗力は速度の2乗に比例する 力 F =下向きの重力 mg
+ 上向きの抵抗力 物体が空気中を落下するとき 運動方程式は なので F = mx′ ′ −k(x′)2 mg − k(x′)2 = mx′′
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 放射性物質の崩壊 9 崩壊の速度は,現在存在する物質の量に比例する x′ = −kx 時刻
t の時点で存在する物質の量を x(t) とすると
一般解・特殊解・特異解🤔🤔
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 一般解と特殊解 11 x′ = −kx 時刻 t
の時点で存在する物質の量を x(t) とすると 定数 k が決まったら,解はひとつの関数に決まるか?
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 一般解と特殊解 11 x′ = −kx 時刻 t
の時点で存在する物質の量を x(t) とすると 定数 k が決まったら,解はひとつの関数に決まるか? 決まらない 最初 t = 0 に存在する物質の量 x(0) が わからないと解はひとつに決まらない
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 一般解と特殊解 11 x′ = −kx 時刻 t
の時点で存在する物質の量を x(t) とすると 定数 k が決まったら,解はひとつの関数に決まるか? 決まらない 最初 t = 0 に存在する物質の量 x(0) が わからないと解はひとつに決まらない 初期値という
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 一般解と特殊解 12 初期値が定まったときに求められる解を 特殊解(particular solution) という 初期値が定まっていないとき,
初期値を代入したらひとつの特殊解が求められるような形の解を 一般解(general solution) という x(t) = C exp(−kt) 一般解の例:
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 一般解と特殊解 12 初期値が定まったときに求められる解を 特殊解(particular solution) という 初期値が定まっていないとき,
初期値を代入したらひとつの特殊解が求められるような形の解を 一般解(general solution) という x(t) = C exp(−kt) 初期値が定まってはじめて決まる パラメータ 一般解の例:
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数)
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら 一般解
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら 一般解 でも,x ≡ 0 も解では?
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら 一般解 でも,x ≡ 0 も解では? x = { 2 3 (t + C)}3 2 方 も明ら 一般解 には Cをどう変えても含まれない
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら x t 一般解 でも,x ≡ 0 も解では? x = { 2 3 (t + C)}3 2 方 も明ら 一般解 には Cをどう変えても含まれない
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら x t C = 0 一般解 でも,x ≡ 0 も解では? x = { 2 3 (t + C)}3 2 方 も明ら 一般解 には Cをどう変えても含まれない
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら x t C = 0 C > 0 一般解 でも,x ≡ 0 も解では? x = { 2 3 (t + C)}3 2 方 も明ら 一般解 には Cをどう変えても含まれない
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら x t C = 0 – C C > 0 一般解 でも,x ≡ 0 も解では? x = { 2 3 (t + C)}3 2 方 も明ら 一般解 には Cをどう変えても含まれない
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら x t C = 0 – C C > 0 一般解 でも,x ≡ 0 も解では? x = { 2 3 (t + C)}3 2 方 も明ら 一般解 には Cをどう変えても含まれない
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら x t C = 0 – C C > 0 C < 0 一般解 でも,x ≡ 0 も解では? x = { 2 3 (t + C)}3 2 方 も明ら 一般解 には Cをどう変えても含まれない
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら x t C = 0 – C C > 0 C < 0 一般解 でも,x ≡ 0 も解では? x = { 2 3 (t + C)}3 2 方 も明ら 一般解 には Cをどう変えても含まれない
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら x t C = 0 – C C > 0 C < 0 一般解 でも,x ≡ 0 も解では? x = { 2 3 (t + C)}3 2 方 も明ら 一般解 には Cをどう変えても含まれない
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 x′ = x1 3 の一般解
x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら x t C = 0 – C C > 0 C < 0 一般解 でも,x ≡ 0 も解では? x = { 2 3 (t + C)}3 2 方 も明ら 一般解 には Cをどう変えても含まれない x ≡ 0 も解
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 13 特異解(singular solution)という x′ = x1
3 の一般解 x = { 2 3 (t + C)}3 2 方 も明ら ( C は定数) (なぜならば) x′ = 3 2 { 2 3 (t + C)}1 2 · 2 3 = { 2 3 (t + C)}1 2 = x1 3 x = { 2 3 (t + C)}3 2 方 も明ら x t C = 0 – C C > 0 C < 0 一般解 でも,x ≡ 0 も解では? x = { 2 3 (t + C)}3 2 方 も明ら 一般解 には Cをどう変えても含まれない x ≡ 0 も解
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 特異解と解の一意性 14 一意性の十分条件のひとつ「リプシッツ条件」 初期値がひとつ定まったときに,解がひとつだけに決まることを, 解が一意(unique)であるという 微分方程式が のとき,初期値のまわりでどんな
x1, x2 についても x′ (t) = f(t, x) |f(t, x1) − f(t, x2)| L|x1 − x2| となる定数 L があるなら,その初期値について一意 「x のわずかな変化について, f がいくらでも大きく変化する,ということはない」くらいの意味
変数分離形🤔🤔
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 16 を解く x′ = −kx
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 16 を解く x′ = −kx dx
dt = −kx と直す
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 16 を解く x′ = −kx dx
dt = −kx と直す x ̸= 0 として
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 16 を解く x′ = −kx dx
dt = −kx と直す x ̸= 0 として 1 x dx dt = −k と変形する
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 16 を解く x′ = −kx dx
dt = −kx と直す x ̸= 0 として 1 x dx dt = −k と変形する 1 x dx dt dt = (−k)dt 両辺を t で積分
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 16 を解く x′ = −kx dx
dt = −kx と直す x ̸= 0 として 1 x dx dt = −k と変形する 1 x dx dt dt = (−k)dt 両辺を t で積分 1 x dx = (−k)dt 置換積分をする
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 16 を解く x′ = −kx dx
dt = −kx と直す x ̸= 0 として 1 x dx dt = −k と変形する 1 x dx dt dt = (−k)dt 両辺を t で積分 1 x dx = (−k)dt 置換積分をする 積分を解く 1 x dx = − kdt log |x| + C1 = −kt + C2
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 16 を解く x′ = −kx dx
dt = −kx と直す x ̸= 0 として 1 x dx dt = −k と変形する 1 x dx dt dt = (−k)dt 両辺を t で積分 1 x dx = (−k)dt 置換積分をする 積分を解く 1 x dx = − kdt log |x| + C1 = −kt + C2 C1, C2 は積分定数
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 17 を解く x′ = −kx 積分を解く
1 x dx = − kdt log |x| + C1 = −kt + C2
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 17 を解く x′ = −kx 積分を解く
1 x dx = − kdt log |x| + C1 = −kt + C2 log |x| = −kt + (C2 − C1) x = ± exp{−kt + (C2 − C1)} x = ± exp(C2 − C1) exp(−kt)
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 17 を解く x′ = −kx 積分を解く
1 x dx = − kdt log |x| + C1 = −kt + C2 log |x| = −kt + (C2 − C1) x = ± exp{−kt + (C2 − C1)} x = ± exp(C2 − C1) exp(−kt) ± exp(C2 − C1) をあらためて定数 C とすると
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 17 を解く x′ = −kx 積分を解く
1 x dx = − kdt log |x| + C1 = −kt + C2 log |x| = −kt + (C2 − C1) x = ± exp{−kt + (C2 − C1)} x = ± exp(C2 − C1) exp(−kt) ± exp(C2 − C1) をあらためて定数 C とすると x(t) = C exp(−kt) 一般解は
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 17 を解く x′ = −kx 積分を解く
1 x dx = − kdt log |x| + C1 = −kt + C2 log |x| = −kt + (C2 − C1) x = ± exp{−kt + (C2 − C1)} x = ± exp(C2 − C1) exp(−kt) ± exp(C2 − C1) をあらためて定数 C とすると x(t) = C exp(−kt) 一般解は x ≡ 0 も解で,一般解に含まれる。 x ̸= 0 としたが, さっき
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 18 を解くとき,ふつうは x′ = −kx dx
dt = −kx から dx x = −kdt と,分数の計算のように変形し 1 x dx = (−k)dt と積分する
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 18 を解くとき,ふつうは x′ = −kx x
が左辺,t が右辺に分離しているので,変数分離形という dx dt = −kx から dx x = −kdt と,分数の計算のように変形し 1 x dx = (−k)dt と積分する
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 18 を解くとき,ふつうは x′ = −kx x
が左辺,t が右辺に分離しているので,変数分離形という dx dt = −kx から dx x = −kdt と,分数の計算のように変形し 1 x dx = (−k)dt と積分する
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 19 一般には g(x)x′ = f(t)
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 19 一般には g(x)x′ = f(t) とすると
x′ = dx dt
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 19 一般には g(x)x′ = f(t) とすると
x′ = dx dt g(x)dx = f(t)dt
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 19 一般には 両辺それぞれを積分すると g(x)x′ = f(t)
とすると x′ = dx dt g(x)dx = f(t)dt
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 19 一般には 両辺それぞれを積分すると g(x)x′ = f(t)
とすると x′ = dx dt g(x)dx = f(t)dt g(x)dx = f(t)dt + C
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 変数分離形 19 一般には 両辺それぞれを積分すると g(x)x′ = f(t)
とすると x′ = dx dt g(x)dx = f(t)dt g(x)dx = f(t)dt + C 一般解に含まれる積分定数 C は, 初期値を代入して定まり,特殊解が得られる
例題💡💡
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 21 を解いて 9x · x′ +
4t = 0 一般解を求めよ。 x(3) = 2 とするときの特殊解を求めよ。
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 21 を解いて 9x · x′ +
4t = 0 一般解を求めよ。 x(3) = 2 とするときの特殊解を求めよ。 として変数分離すると x′ = dx dt
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 21 を解いて 9x · x′ +
4t = 0 一般解を求めよ。 x(3) = 2 とするときの特殊解を求めよ。 として変数分離すると x′ = dx dt 9xdx = −4tdt
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 21 を解いて 9x · x′ +
4t = 0 一般解を求めよ。 x(3) = 2 とするときの特殊解を求めよ。 として変数分離すると x′ = dx dt 9xdx = −4tdt 両辺それぞれを積分すると
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 21 を解いて 9x · x′ +
4t = 0 一般解を求めよ。 x(3) = 2 とするときの特殊解を求めよ。 として変数分離すると x′ = dx dt 9xdx = −4tdt 両辺それぞれを積分すると 9 2 x2 = −2t2 + C0
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 21 を解いて 9x · x′ +
4t = 0 一般解を求めよ。 x(3) = 2 とするときの特殊解を求めよ。 として変数分離すると x′ = dx dt 9xdx = −4tdt 両辺それぞれを積分すると 9 2 x2 = −2t2 + C0 すなわち t2 9 + x2 4 = C1
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 21 を解いて ( t – x
平面の楕円群) 9x · x′ + 4t = 0 一般解を求めよ。 x(3) = 2 とするときの特殊解を求めよ。 として変数分離すると x′ = dx dt 9xdx = −4tdt 両辺それぞれを積分すると 9 2 x2 = −2t2 + C0 すなわち t2 9 + x2 4 = C1
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 22 を解いて 9x · x′ +
4t = 0 一般解を求めよ。 x(3) = 2 とするときの特殊解を求めよ。 一般解は t2 9 + x2 4 = C1
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 22 を解いて 9x · x′ +
4t = 0 一般解を求めよ。 x(3) = 2 とするときの特殊解を求めよ。 一般解は t2 9 + x2 4 = C1
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 22 を解いて 9x · x′ +
4t = 0 一般解を求めよ。 x(3) = 2 とするときの特殊解を求めよ。 初期値が x(3) = 2 なので t = 3 のとき x = 2 だから,代入すると C1 = 2 一般解は t2 9 + x2 4 = C1
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 例題 22 を解いて 9x · x′ +
4t = 0 一般解を求めよ。 x(3) = 2 とするときの特殊解を求めよ。 初期値が x(3) = 2 なので t = 3 のとき x = 2 だから,代入すると C1 = 2 一般解は t2 9 + x2 4 = C1 t2 9 + x2 4 = 2 特殊解は
テキストの演習問題からひとつ🌀🌀
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 演習問題(1) 24 微分方程式 とするときの特殊解を求めよ。 x′ = 3t2x
について x(0) = 1
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 演習問題(1) 24 微分方程式 とするときの特殊解を求めよ。 x′ = 3t2x
について x(0) = 1 とすると ,すなわち と変数分離できる x′ = dx dt dx dt = 3t2x dx x = 3t2dt
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 演習問題(1) 24 微分方程式 とするときの特殊解を求めよ。 両辺それぞれを積分すると x′ =
3t2x について x(0) = 1 とすると ,すなわち と変数分離できる x′ = dx dt dx dt = 3t2x dx x = 3t2dt ,すなわち ( は定数) ∫ dx x = ∫ 3t2dt log|x| = t3 + C C
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 演習問題(1) 25 微分方程式 とするときの特殊解を求めよ。 x′ = 3t2x
について x(0) = 1 より ( は定数) log|x| = t3 + C x = ± eCet3 C
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 演習問題(1) 25 微分方程式 とするときの特殊解を求めよ。 x′ = 3t2x
について x(0) = 1 より ( は定数) log|x| = t3 + C x = ± eCet3 C よって, をあらためて定数 とおくと,一般解は ±eC A x = Aet3
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 演習問題(1) 25 微分方程式 とするときの特殊解を求めよ。 x′ = 3t2x
について x(0) = 1 より ( は定数) log|x| = t3 + C x = ± eCet3 C よって, をあらためて定数 とおくと,一般解は ±eC A x = Aet3 初期値は なので, を代入すると x(0) = 1 t = 0, x = 1 1 = A
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 演習問題(1) 25 微分方程式 とするときの特殊解を求めよ。 x′ = 3t2x
について x(0) = 1 より ( は定数) log|x| = t3 + C x = ± eCet3 C よって, をあらためて定数 とおくと,一般解は ±eC A x = Aet3 初期値は なので, を代入すると x(0) = 1 t = 0, x = 1 1 = A よって,求める特殊解は x = et3
26 2024年度春学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 今日のまとめ 26 微分方程式は,関数とその微分に関する方程式 解は数ではなく関数 解ける方程式のパターンは限られている もっとも基本的なパターン 「変数分離形」