• Tidak ada hasil yang ditemukan

微分方程式の話

N/A
N/A
Protected

Academic year: 2024

Membagikan "微分方程式の話"

Copied!
25
0
0

Teks penuh

(1)

暟椚㷕

痥㔐湡

(2)

䗍ⴓ倯玎䒭ך鑧

(3)

⡘縧鸞䏝⸇鸞䏝

⡘縧鸞䏝⸇鸞䏝ךꟼ⤘׾ֶׁ׵ְ׃גֶֻ

v (t) = dx(t) dt

a(t) = dv (t)

dt = d

2

x(t) dt

2 x(t)

儗꟦tד䗍ⴓ

儗꟦tד䗍ⴓ

r(t)

v (t) = dr (t) dt

a(t) = dv (t)

dt = d

2

r (t) dt

2 儗꟦tד䗍ⴓ

儗꟦tד䗍ⴓ 如⯋麊⹛ך㜥さ 如⯋麊⹛ך㜥さ

(4)

䗍ⴓ倯玎䒭

d

2

x(t)

dt

2

= a t, dx

dt , x

v =

ֿ׸׾鍑ֻֿהד劢濼ךx tװv t׾実׭׷

⸇鸞䏝ך䞔㜠ָⴓַ׏גְ׷㜥さ

⸇鸞䏝ך䞔㜠

׍׳׏ה⯓《׶

չ麊⹛ך岀⵱ 麊⹛倯玎䒭պח״׷ה暟⡤ח⡲欽ׅ׷

⸂׾椚鍑ׅ׸ל暟⡤ח欰ׄ׷⸇鸞䏝ָⴓַ׷կ

⡘縧װ鸞䏝׾実׭׷ֿהָדֹ׷

(5)

侧㷕ה׃גך䗍ⴓ倯玎䒭

鍑כ㶷㖈ׅ׷ַ 㹀纏㚖כו׸ֻ׵ְ䎢ְַ

ⴱ劍勴⟝׾♷ִ׸ל鍑כ♧䠐ח㹀ת׷ַ

ⴱ劍⦼חꟼׅ׷鍑ך⣛㶷䚍כ

倯玎䒭ָػًٓ٦ة׾ろ׬㜥さך鍑ךػًٓ٦ة⣛㶷 䚍כ

׉׮׉׮鍑כⰧ⡤涸זꟼ侧ד邌ׇ׷ךַ

׃ַ׃ֿך䱇噟דכ麣Ⱗה׃ג䗍ⴓ倯玎䒭׾䪔׏גְֻ

(6)

䗍ⴓ倯玎䒭ךⴓ겲

杝甧㢌侧ך⦐侧⦐䌢䗍ⴓ倯玎䒭醱侧⨉䗍ⴓ倯玎䒭 倯玎䒭ָ劢濼ꟼ侧ֶ״ן׉ך㼪ꟼ侧חאְג如䒭ך 㜥さ׾简䕎䗍ⴓ倯玎䒭הְֲկ׉ֲדזְ׮ך׾ꬊ简䕎 䗍ⴓ倯玎䒭הְֲկ

倯玎䒭ָ劢濼ꟼ侧ֶ״ן׉ך㼪ꟼ侧׾ろ׬갪ך׫׾ろ

׬갪ך׫ַ׵ז׷׮ך׾俕如倯玎䒭׉ֲדזְ׮ך׾

ꬊ俕如倯玎䒭הְֲկ

葿ղזة؎ف׀הח鍑ֹ倯ךظؐعָ֮ؐ׷

(7)

简䕎הꬊ简䕎

♧菙חꬊ简䕎䗍ⴓ倯玎䒭כ鍑ֻךָꬊ䌢חꨇ׃ְ

鍑匿涸ז鍑ָ㶷㖈׃זְֿהָקה׿ו 简䕎ך⢽

ꬊ简䕎ך⢽

(8)

俕如הꬊ俕如

简䕎俕如倯玎䒭

简䕎ꬊ俕如倯玎䒭

(9)

暟⡤ך麊⹛ה䗍ⴓ倯玎䒭

琎ⴓ岀ה㢌侧ⴓꨄ

(10)

瘝⸇鸞䏝麊⹛ 䗁统

v(t) = adt = at + C

琎ⴓ㹀侧

d

2

x(t)

dt

2

= a

㹀侧

dv (t)

dt = a

֮׷ְכ

ֿ׸׵׾弫׋ׅ״ֲזx tװv t׾実׭׷ךָ湡涸

dv (t)

dt = a

ך⚕鴟׾tד琎ⴓׅ׷ה

琎ⴓ㹀侧׾ろ׬䕎ד剅ַ׸׋䗍ⴓ倯玎䒭׾弫׋ׅꟼ侧

׾׉ך䗍ⴓ倯玎䒭ך♧菙鍑הְֲկ 鍑

(11)

瘝⸇鸞䏝麊⹛ 䗁统

♧菙鍑׾実׭׋׌ֽדכ麊⹛ך圫㶨׾㸣Ⰻח✮鎉׃׋ה כְִזְկ麊⹛׾✮鎉ׅ׷׋׭חכ琎ⴓ㹀侧ך⦼׾寸 㹀ׅ׷䗳銲ָ֮׷կ

黝䔲זⴱ劍勴⟝ָ֮׸לv tָ㸣Ⰻח寸ת׷

tךהֹחvv

v(0) = C = v0 ״׶ v(t) = v0 + at

v

t v

⫘ָֹa v(t) = at + C ♧菙鍑כ⫘ֹaך湫简ך꧊さ

搀侧ח֮׷

ד֮׷הׅ׷

ֿ׸׾弫׋ׅחכ

搀侧ך湫简ך⚥ַ׵ֿךאָ鼅ל׸׷

(12)

瘝⸇鸞䏝麊⹛ 䗁统

v(t) = v0 + at

如ח⡘縧x t׾実׭׷

dx(t)

dt = v

0

+ at

x(t) = (v

0

+ at)dt = v

0

t + a

2 t

2

+ C

ⱄן琎ⴓ㹀侧

黝䔲זⴱ劍勴⟝ָ֮׸ל琎ⴓ㹀侧ך⦼ָ寸ת׷

tךהֹחxx

x(0) = v0 0 + a

2 02 + C = C = x0

״׏ג

x(t) = x

0

+ v

0

t + a 2 t

2

♧菙鍑כ搀侧ך佝暟简ך꧊さ

ד֮׷הׅ׷

(13)

䗍ⴓ倯玎䒭ך鍑岀

⸇鸞䏝ָ儗꟦tךꟼ侧ה׃ג♷ִ׵׸גְ׷㜥さ ⸇鸞䏝ָxװvח⣛㶷׃זְ㜥さ

剑׮知⽃זة؎فך䗍ⴓ倯玎䒭

dv (t)

dt = a(t)

瘝⸇鸞䏝麊⹛כ

ֿ׸ך知⽃ז㜥さ 鍑׾実׭׷׋׭חכ⽃ח⚕鴟׾tד琎ⴓׅ׸ל״ְկ

v (t) = a(t)dt

x(t) = v(t)dt

ׁ׵חv׾tד琎ⴓׅ׸לxָ実ת׷

琎ⴓׅ׷嫣ח琎ⴓ㹀侧

ָ⳿גֻ׷

琎ⴓ㹀侧׾寸㹀ׅ׷חכאךⴱ劍勴⟝ָ䗳銲

(14)

⢽겗

⸇鸞䏝ָa(t)DPT tחז׷״ֲח麊⹛׃גְ׷暟⡤ָ֮׷կ

ֿך暟⡤כtךהֹחxNך⡘縧ד꫼姺׃גְ׋կ⟣䠐 ך儗ⵟחֶֽ׷ֿך暟⡤ך⡘縧ה鸞䏝׾実׭״կ

(15)

⢽겗

⸇鸞䏝ָa(t)DPT tחז׷״ֲח麊⹛׃גְ׷暟⡤ָ֮׷կ

ֿך暟⡤כtךהֹחxNך⡘縧ד꫼姺׃גְ׋կ⟣䠐 ך儗ⵟחֶֽ׷ֿך暟⡤ך⡘縧ה鸞䏝׾実׭״կ

dv (t)

dt = 2 cos(3t)

⚕鴟׾tד琎ⴓ׃ג

v (t) = 2 cos(3t)dt = 2

3 sin(3t) + C

tךהֹחvהז׷׋׭חכ

v (t) = 2

3 sin(3t)

״׏ג

v (0) = 2

3 sin(3 0) + C = C = 0

(16)

⢽겗

⸇鸞䏝ָa(t)DPT tחז׷״ֲח麊⹛׃גְ׷暟⡤ָ֮׷կ

ֿך暟⡤כtךהֹחxNך⡘縧ד꫼姺׃גְ׋կ⟣䠐 ך儗ⵟחֶֽ׷ֿך暟⡤ך⡘縧ה鸞䏝׾実׭״կ

v (t) = dx(t)

dt = 2

3 sin(3t)

⚕鴟׾tד琎ⴓ׃ג

x(t) = 2

3 sin(3t)dt = 2

9 cos(3t) + C

tךהֹחxNהז׷׋׭חכ

x(0) = 2

9 cos(3 0) + C = 2

9 + C = 1

x(t) = 2

9 cos(3t) + 11

״׏ג 9

(17)

鸞䏝ח嫰⢽׃ג幾鸞ׅ׷㜥さ

鸞䏝ח嫰⢽׃ג幾鸞ׅ׷㜥さ׾罋ִ׷

dv (t)

dt = kv (t)

姻ך㹀侧

ֿך㜥さכ⽃秪ח琎ⴓ׾׃ג鍑׾実׭׷ֿהָדֹזְկ ה׶ִ֮׆⚕鴟׾tד琎ⴓ׃ג׫׷կ

v (t) = ( kv (t))dt = k v (t)dt

劢濼ךꟼ侧 劢濼ךꟼ侧׾琎ⴓׅ׷ֿהזו♶〳腉

⡦ַⴽך倯岀ָ䗳銲

ꥡ简䕎俕如倯玎䒭

(18)

㢌侧ⴓꨄ

dv (t)

dt = f (v )g(t)

⚕鴟׾f vדⶴ׷

f (v 1 ) dv dt = g(t)

⚕鴟׾tד琎ⴓׅ׷

f (v 1 ) dv dt dt = g(t)dt

縧䳔琎ⴓׅ׷ה 左辺 = 1

f (v) dv 1

f (v) dv = g(t)dt

ך䕎׾׃׋䗍ⴓ倯玎䒭חאְגכ㢌侧ⴓꨄהְֲ

ذؙصحָؙ⢪ִ׷կ

ֿ׸ז׵⚕鴟鎘皾דֹ׷

(19)

㢌侧ⴓꨄך穠卓ך鋙ִ倯

dv (t)

dt = f (v )g(t)

䊩鴟חvחꟼ⤘ׅ׷׮ך〸鴟חtחꟼ⤘ׅ׷׮ך׾꧊׭׷

dvהdt׮ל׵ל׵חׅ׷

1

f (v) dv = g(t)dt

⚕鴟ח琎ⴓ鎸〾׾ֻ׏אֽ׸ל⯓玎ךꟼ⤘䒭ָ䖤׵׸׷կ

1

f (v ) dv = g(t)dt

(20)

㼰׃׌ֽ湫錁涸ז椚鍑

dv

dt = lim

t 0

v t

鵚⡂ך礵䏝׾♳־׷הְֲ䠐㔳

þtָ㼭ֽׁ׸ל鵚⡂涸ח

v t f (v )g(t) v

f (v ) = g(t) t

ֿ׸ָþtװþvך稢ַזⴓⶴ׀הח䧭׶甧׏גְ׷ַ׵

v

f (v) = g (t) t

鵚⡂ך礵䏝׾搀ꣲח״ֻׅ׷

lim

v 0

v

f (v ) = lim

t 0

g(t) t

1

f (v) dv = g(t)dt

⚕鴟ך駈׃♳־

(21)

㢌侧ⴓꨄ

ꥡ简䕎俕如倯玎䒭ך㜥さחֿך䩛岀׾黝欽ׅ׷

ꥡ简䕎俕如倯玎䒭 ך鍑ךⰕ䒭

׋׌׃K tכĜ tך⾱㨣ꟼ侧 琎ⴓ㹀侧

MPHvָ実ת׏׋կ⚕鴟׾Fך肔חךׇ׷ה

AeCה琎ⴓ㹀侧׾縧ֹזֶ׃׋

(22)

鸞䏝ח嫰⢽׃ג幾鸞ׅ׷麊⹛

dv (t)

dt = kv (t) 1

v dv = kdt

⚕鴟׾琎ⴓ׃ג

1

v dv = k dt

log v = kt + C

⚕鴟ַ׵⳿גֻ׷琎ⴓ㹀侧׾

〸鴟ח꧊׭׋

v = e kt+C = eCe kt

⚕鴟׾eך肔חךׇ׷

鸞䏝ח嫰⢽׃ג幾鸞ׅ׷麊⹛ך㜥さ

(23)

v = e kt+C = eCe kt ⴱ劍勴⟝ך⢽tךהֹחvv

״׏ג v(t) = v0e kt v(0) = eCe k 0 = eC = v0

t v

v0

➙䏝כ⽃秪ח琎ⴓׅ׸לxָ実ת׷կ

鸞䏝ח嫰⢽׃ג幾鸞ׅ׷麊⹛

(24)

x(t) = v (t)dt = v

0

e

kt

dt = v

0

k e

kt

+ C

ⴱ劍勴⟝ך⢽tךהֹחxx

x(0) = v

0

k e

k 0

+ C = v

0

k + C = x

0

x(t) = v

0

k 1 e

kt

+ x

0

״׏ג

t x

x0 + v0 k

x0

鸞䏝ח嫰⢽׃ג幾鸞ׅ׷麊⹛

(25)

㉏겗

如⯋ך麊⹛׾罋ִ׷կ儗ⵟtחְֶגxחְג

vv ד麊⹛׃גְ׷暟⡤ָ֮׷կֿך暟⡤ָ鸞䏝ך

⛦ח嫰⢽׃ג幾鸞׃גְ׷㜥さח⟣䠐ך儗ⵟtחֶֽ׷鸞 䏝ה⡘縧׾実׭״կ׋׌׃⸇鸞䏝ך鸞䏝ך⛦ח㼎ׅ׷

嫰⢽⤘侧ך㣐ֹׁ׾k הׅ׷կ

ת׋ֿך麊⹛ך圫㶨׾鸞䏝ח嫰⢽׃ג幾鸞ׅ׷㜥さה 嫰鯰ׇ״կ

Referensi

Dokumen terkait

[r]

第十五章 积分方程 积分方程论是泛函分析的一个重要分支,它是研究数学其他学科(例如偏微分方程边值 问题)和各种物理问题的一个重要数学工具。本章叙述线性积分方程,重点介绍弗雷德霍姆 积分方程的性质和解法;并简略地介绍了沃尔泰拉积分方程以及一些奇异积分方程;此外, 还扼要地叙述积分方程的逐次逼近法和预解核,并举例说明近似解法;最后考察了一个非线 性积分方程。

微分1形式についてPoincaréの補題を証明しよう. 𝜔 = ∑𝑛 𝑖=1 𝑔𝑖𝑑𝑥𝑖 をℝ𝑛の閉微分1形式とする.前問の2と同じ式(ただしℝ3はℝ𝑛 でおきかえる)によって𝑓を定義する.線積分の定義を用いて計算すると 𝑓𝑥1,…, 𝑥𝑛 =∫ 1 0 ∑𝑛 𝑖=1 𝑥𝑖𝑔𝑖𝑡𝑥1,…, 𝑡𝑥𝑛𝑑𝑡 であるが,この両辺を𝑥𝑗

[r]

多変数多項式の割り算(余りを求める) ⇓ Gr¨obner基底 (広中-Buchberger の algorithm) 多変数多項式環のidealの標準的な生成系を 組織的に与えるアルゴリズム 連立方程式 −→(一般には高次の)1 変数方程式へ (変数消去)... では、 この解法を現代の記号法で見ていこう