Tweet
Tweet

Slide 1

Slide 1 text

関西大学総合情報学部 浅野　晃 応用数学（解析） 2024年度春学期 第２部・基本的な微分方程式 ／ 第7回 2階線形微分方程式(1)

Slide 2

Slide 2 text

２階線形微分方程式とは🤔🤔

Slide 3

Slide 3 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式 3 一般には x′′ + P(t)x′ + Q(t)x = R(t)

Slide 4

Slide 4 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式 3 一般には x′′ + P(t)x′ + Q(t)x = R(t) ここが恒等的に0なのが［斉次］ そうではないのが［非斉次］

Slide 5

Slide 5 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式 3 一般には x′′ + P(t)x′ + Q(t)x = R(t) ここが恒等的に0なのが［斉次］ そうではないのが［非斉次］ 一番簡単なのは x′′ + ax′ + bx = 0

Slide 6

Slide 6 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式 3 一般には x′′ + P(t)x′ + Q(t)x = R(t) ここが恒等的に0なのが［斉次］ そうではないのが［非斉次］ 一番簡単なのは x′′ + ax′ + bx = 0 定数係数の斉次方程式

Slide 7

Slide 7 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式 3 一般には とりあえず， x ≡ 0 は解［自明解］ x′′ + P(t)x′ + Q(t)x = R(t) ここが恒等的に0なのが［斉次］ そうではないのが［非斉次］ 一番簡単なのは x′′ + ax′ + bx = 0 定数係数の斉次方程式

Slide 8

Slide 8 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式 3 一般には とりあえず， x ≡ 0 は解［自明解］ x′′ + P(t)x′ + Q(t)x = R(t) ここが恒等的に0なのが［斉次］ そうではないのが［非斉次］ 一番簡単なのは x′′ + ax′ + bx = 0 定数係数の斉次方程式 それ以外には？

Slide 9

Slide 9 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式の解 4 x′′ + ax′ + bx = 0 x(t) = eλt とりあえず に を代入すると λ2eλt + aλeλt + beλt = 0 λ2 + aλ + b eλt = 0

Slide 10

Slide 10 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式の解 4 x′′ + ax′ + bx = 0 x(t) = eλt とりあえず に を代入すると λ2eλt + aλeλt + beλt = 0 λ2 + aλ + b eλt = 0

Slide 11

Slide 11 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式の解 4 ここが 0 になるような λ については x = eλt は解，その定数倍も解 x′′ + ax′ + bx = 0 x(t) = eλt とりあえず に を代入すると λ2eλt + aλeλt + beλt = 0 λ2 + aλ + b eλt = 0

Slide 12

Slide 12 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式の解 4 ここが 0 になるような λ については x = eλt は解，その定数倍も解 x′′ + ax′ + bx = 0 λ の２次方程式だから，みたす λ はたいてい２つ　λ1, λ2 x(t) = eλt とりあえず に を代入すると λ2eλt + aλeλt + beλt = 0 λ2 + aλ + b eλt = 0

Slide 13

Slide 13 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式の解 4 ここが 0 になるような λ については x = eλt は解，その定数倍も解 x′′ + ax′ + bx = 0 λ の２次方程式だから，みたす λ はたいてい２つ　λ1, λ2 x(t) = eλt とりあえず に を代入すると λ2eλt + aλeλt + beλt = 0 λ2 + aλ + b eλt = 0 一般解は x = C1eλ1t + C2eλ2t

Slide 14

Slide 14 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式の解 4 ここが 0 になるような λ については x = eλt は解，その定数倍も解 x′′ + ax′ + bx = 0 λ の２次方程式だから，みたす λ はたいてい２つ　λ1, λ2 x(t) = eλt とりあえず に を代入すると λ2eλt + aλeλt + beλt = 0 λ2 + aλ + b eλt = 0 一般解は x = C1eλ1t + C2eλ2t x ≡ 0 を含む

Slide 15

Slide 15 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式の解 4 ここが 0 になるような λ については x = eλt は解，その定数倍も解 x′′ + ax′ + bx = 0 λ の２次方程式だから，みたす λ はたいてい２つ　λ1, λ2 x(t) = eλt とりあえず に を代入すると λ2eλt + aλeλt + beλt = 0 λ2 + aλ + b eλt = 0 一般解は x = C1eλ1t + C2eλ2t x ≡ 0 を含む

Slide 16

Slide 16 text

No content

Slide 17

Slide 17 text

おわり😪😪

Slide 18

Slide 18 text

こんなんでいいのか？🌀🌀

Slide 19

Slide 19 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 7 x = C1eλ1t + C2eλ2t　が本当に一般解であることは， 以下の２項目が正しいことと同じ

Slide 20

Slide 20 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 7 １．解が一意 x = C1eλ1t + C2eλ2t　が本当に一般解であることは， 以下の２項目が正しいことと同じ

Slide 21

Slide 21 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 7 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる x = C1eλ1t + C2eλ2t　が本当に一般解であることは， 以下の２項目が正しいことと同じ

Slide 22

Slide 22 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 7 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる x = C1eλ1t + C2eλ2t　が本当に一般解であることは， 以下の２項目が正しいことと同じ 初期値はこの２つ

Slide 23

Slide 23 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 7 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる x = C1eλ1t + C2eλ2t　が本当に一般解であることは， 以下の２項目が正しいことと同じ ２．１次独立な特殊解の１次結合で一般解が表せる 初期値はこの２つ

Slide 24

Slide 24 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 7 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる x = C1eλ1t + C2eλ2t　が本当に一般解であることは， 以下の２項目が正しいことと同じ ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される 初期値はこの２つ

Slide 25

Slide 25 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 8 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される

Slide 26

Slide 26 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 8 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される ２つの関数が1次独立とは

Slide 27

Slide 27 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 8 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される ２つの関数が1次独立とは C1x1(t) + C2x2(t) = 0 がどんな t についても なりたつのは，C1 = C2 = 0 のときだけ

Slide 28

Slide 28 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 8 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される ２つの関数が1次独立とは C1x1(t) + C2x2(t) = 0 がどんな t についても なりたつのは，C1 = C2 = 0 のときだけ x1 x2 x1 x2 ◯ ×

Slide 29

Slide 29 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 8 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される ２つの関数が1次独立とは C1x1(t) + C2x2(t) = 0 がどんな t についても なりたつのは，C1 = C2 = 0 のときだけ x1 x2 x1 x2 ◯ × 解全体は ２次元ベクトル空間をなす

Slide 30

Slide 30 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 9 ２．１次独立な特殊解の１次結合で一般解が表せる さっきの例では eλ1t, eλ2t は λ1 ≠ λ2 なら１次独立 １．解が一意 一般解は C1eλ1t + C2eλ2t だけで，他にはない

Slide 31

Slide 31 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 9 ２．１次独立な特殊解の１次結合で一般解が表せる さっきの例では eλ1t, eλ2t は λ1 ≠ λ2 なら１次独立 １．解が一意 一般解は C1eλ1t + C2eλ2t だけで，他にはない 一般の斉次形 n 階線形微分方程式 （定数係数でない場合も含む）についてなりたつ

Slide 32

Slide 32 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 本当に一般解であるためには 9 ２．１次独立な特殊解の１次結合で一般解が表せる さっきの例では eλ1t, eλ2t は λ1 ≠ λ2 なら１次独立 １．解が一意 一般解は C1eλ1t + C2eλ2t だけで，他にはない 一般の斉次形 n 階線形微分方程式 （定数係数でない場合も含む）についてなりたつ 定数係数の場合に，証明してみる

Slide 33

Slide 33 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 行列で表現する 10 を， とおいて x′′ + P(t)x′ + Q(t)x = R(t) x1 = x, x2 = x′ x′ 1 = x2 x′ 2 = −Q(t)x1 − P(t)x2 + R(t) と表す

Slide 34

Slide 34 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 行列で表現する 10 を， とおいて x′′ + P(t)x′ + Q(t)x = R(t) x1 = x, x2 = x′ x′ 1 = x2 x′ 2 = −Q(t)x1 − P(t)x2 + R(t) と表す

Slide 35

Slide 35 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 行列で表現する 10 を， とおいて x′′ + P(t)x′ + Q(t)x = R(t) x1 = x, x2 = x′ x′ 1 = x2 x′ 2 = −Q(t)x1 − P(t)x2 + R(t) と表す x′ 1 x′ 2 = 0 1 −Q(t) −P(t) x1 x2 + 0 R(t) 　 行列で

Slide 36

Slide 36 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 行列で表現する 10 を， とおいて x′′ + P(t)x′ + Q(t)x = R(t) x1 = x, x2 = x′ x′ 1 = x2 x′ 2 = −Q(t)x1 − P(t)x2 + R(t) と表す x′ 1 x′ 2 = 0 1 −Q(t) −P(t) x1 x2 + 0 R(t) 　 行列で x′ = A(t)x + b(t)

Slide 37

Slide 37 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 行列で表現する 10 を， とおいて x′′ + P(t)x′ + Q(t)x = R(t) x1 = x, x2 = x′ x′ 1 = x2 x′ 2 = −Q(t)x1 − P(t)x2 + R(t) と表す x′ 1 x′ 2 = 0 1 −Q(t) −P(t) x1 x2 + 0 R(t) 　 行列で x′ = A(t)x + b(t)

Slide 38

Slide 38 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 行列で表現する 10 を， とおいて x′′ + P(t)x′ + Q(t)x = R(t) x1 = x, x2 = x′ x′ 1 = x2 x′ 2 = −Q(t)x1 − P(t)x2 + R(t) と表す x′ 1 x′ 2 = 0 1 −Q(t) −P(t) x1 x2 + 0 R(t) 　 行列で x′ = A(t)x + b(t)

Slide 39

Slide 39 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 行列で表現する 10 を， とおいて x′′ + P(t)x′ + Q(t)x = R(t) x1 = x, x2 = x′ x′ 1 = x2 x′ 2 = −Q(t)x1 − P(t)x2 + R(t) と表す x′ 1 x′ 2 = 0 1 −Q(t) −P(t) x1 x2 + 0 R(t) 　 行列で x′ = A(t)x + b(t)

Slide 40

Slide 40 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 行列で表現する 10 を， とおいて x′′ + P(t)x′ + Q(t)x = R(t) x1 = x, x2 = x′ x′ 1 = x2 x′ 2 = −Q(t)x1 − P(t)x2 + R(t) と表す x′ 1 x′ 2 = 0 1 −Q(t) −P(t) x1 x2 + 0 R(t) 　 行列で x′ = A(t)x + b(t)

Slide 41

Slide 41 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 行列で表現する 10 を， とおいて x′′ + P(t)x′ + Q(t)x = R(t) x1 = x, x2 = x′ x′ 1 = x2 x′ 2 = −Q(t)x1 − P(t)x2 + R(t) と表す x′ 1 x′ 2 = 0 1 −Q(t) −P(t) x1 x2 + 0 R(t) 　 行列で x′ = A(t)x + b(t) １階線形微分方程式の形になる

Slide 42

Slide 42 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 行列で表現する 10 を， とおいて x′′ + P(t)x′ + Q(t)x = R(t) x1 = x, x2 = x′ x′ 1 = x2 x′ 2 = −Q(t)x1 − P(t)x2 + R(t) と表す x′ 1 x′ 2 = 0 1 −Q(t) −P(t) x1 x2 + 0 R(t) 　 行列で x′ = A(t)x + b(t) １階線形微分方程式の形になる 何階線形微分方程式でも，この形にできる

Slide 43

Slide 43 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件１の証明の概略 11

Slide 44

Slide 44 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件１の証明の概略 11 １．解が一意

Slide 45

Slide 45 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件１の証明の概略 11 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる

Slide 46

Slide 46 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件１の証明の概略 11 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる リプシッツ条件をつかう

Slide 47

Slide 47 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 特異解と解の一意性 12 一意性の十分条件のひとつ「リプシッツ条件」 初期値がひとつ定まったときに，解がひとつだけに決まることを， 解が一意(unique)であるという 微分方程式が のとき，初期値のまわりでどんな x1, x2 についても x′ (t) = f(t, x) |f(t, x1) − f(t, x2)| L|x1 − x2| となる定数 L があるなら，その初期値について一意 x のわずかな変化について， f がいくらでも大きく変化する，ということはない

Slide 48

Slide 48 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件１の証明の概略 13 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる リプシッツ条件をつかう

Slide 49

Slide 49 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件１の証明の概略 13 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる x′ = A(t)x + b(t) 　 の右辺について，関数 x, y を考えると リプシッツ条件をつかう

Slide 50

Slide 50 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件１の証明の概略 13 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる x′ = A(t)x + b(t) 　 の右辺について，関数 x, y を考えると リプシッツ条件をつかう 　 ∥ (A(t)x + b(t)) − (A(t)y + b(t)) ∥ = ∥A(t)x − A(t)y∥ であり，

Slide 51

Slide 51 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件１の証明の概略 13 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる x′ = A(t)x + b(t) 　 の右辺について，関数 x, y を考えると リプシッツ条件をつかう 　 ∥ (A(t)x + b(t)) − (A(t)y + b(t)) ∥ = ∥A(t)x − A(t)y∥ であり， ∥A(t)x − A(t)y∥ ∥A(t)∥∥x − y∥ となるようなノルムが存在する

Slide 52

Slide 52 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件１の証明の概略 13 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる x′ = A(t)x + b(t) 　 の右辺について，関数 x, y を考えると リプシッツ条件をつかう 　 ∥ (A(t)x + b(t)) − (A(t)y + b(t)) ∥ = ∥A(t)x − A(t)y∥ であり， ∥A(t)x − A(t)y∥ ∥A(t)∥∥x − y∥ となるようなノルムが存在する ユークリッドノルムならそうなる

Slide 53

Slide 53 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件１の証明の概略 13 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる x′ = A(t)x + b(t) 　 の右辺について，関数 x, y を考えると リプシッツ条件をつかう 　 ∥ (A(t)x + b(t)) − (A(t)y + b(t)) ∥ = ∥A(t)x − A(t)y∥ であり， ∥A(t)x − A(t)y∥ ∥A(t)∥∥x − y∥ となるようなノルムが存在する ノルムが連続なら，任意の有界閉区間で上限が存在する ユークリッドノルムならそうなる

Slide 54

Slide 54 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件１の証明の概略 13 １．解が一意 初期値 x(t0), x′(t0) を定めると，特殊解はひとつに定まる x′ = A(t)x + b(t) 　 の右辺について，関数 x, y を考えると リプシッツ条件をつかう 　 ∥ (A(t)x + b(t)) − (A(t)y + b(t)) ∥ = ∥A(t)x − A(t)y∥ であり， ∥A(t)x − A(t)y∥ ∥A(t)∥∥x − y∥ となるようなノルムが存在する ノルムが連続なら，任意の有界閉区間で上限が存在する リプシッツ条件が成り立ち，一意 ユークリッドノルムならそうなる

Slide 55

Slide 55 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ところで，「距離」について 14 「ノルム」は，「距離」を一般的にしたもの 2点 の間の「距離」 とは？ x, y d(x, y) 任意の について， 以下の性質（距離の公理）をもつものをいう x, y 1. 2. 3. 4. d(x, y) ≧ 0 d(x, y) = 0 ⇔ x = y d(x, y) = d(y, x) d(x, z) ≦ d(x, y) + d(y, z)

Slide 56

Slide 56 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ところで，「距離」について 14 「ノルム」は，「距離」を一般的にしたもの 2点 の間の「距離」 とは？ x, y d(x, y) 任意の について， 以下の性質（距離の公理）をもつものをいう x, y 1. 2. 3. 4. d(x, y) ≧ 0 d(x, y) = 0 ⇔ x = y d(x, y) = d(y, x) d(x, z) ≦ d(x, y) + d(y, z) 距離は正またはゼロ

Slide 57

Slide 57 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ところで，「距離」について 14 「ノルム」は，「距離」を一般的にしたもの 2点 の間の「距離」 とは？ x, y d(x, y) 任意の について， 以下の性質（距離の公理）をもつものをいう x, y 1. 2. 3. 4. d(x, y) ≧ 0 d(x, y) = 0 ⇔ x = y d(x, y) = d(y, x) d(x, z) ≦ d(x, y) + d(y, z) 距離は正またはゼロ 「距離ゼロ」と「同一点」は同じ意味

Slide 58

Slide 58 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ところで，「距離」について 14 「ノルム」は，「距離」を一般的にしたもの 2点 の間の「距離」 とは？ x, y d(x, y) 任意の について， 以下の性質（距離の公理）をもつものをいう x, y 1. 2. 3. 4. d(x, y) ≧ 0 d(x, y) = 0 ⇔ x = y d(x, y) = d(y, x) d(x, z) ≦ d(x, y) + d(y, z) 距離は正またはゼロ 「距離ゼロ」と「同一点」は同じ意味 距離はどちらから測っても同じ

Slide 59

Slide 59 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ところで，「距離」について 14 「ノルム」は，「距離」を一般的にしたもの 2点 の間の「距離」 とは？ x, y d(x, y) 任意の について， 以下の性質（距離の公理）をもつものをいう x, y 1. 2. 3. 4. d(x, y) ≧ 0 d(x, y) = 0 ⇔ x = y d(x, y) = d(y, x) d(x, z) ≦ d(x, y) + d(y, z) 距離は正またはゼロ 「距離ゼロ」と「同一点」は同じ意味 距離はどちらから測っても同じ 回り道をすると距離は同じか長い （三角不等式）

Slide 60

Slide 60 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ところで，「距離」について 14 「ノルム」は，「距離」を一般的にしたもの 2点 の間の「距離」 とは？ x, y d(x, y) 任意の について， 以下の性質（距離の公理）をもつものをいう x, y 1. 2. 3. 4. d(x, y) ≧ 0 d(x, y) = 0 ⇔ x = y d(x, y) = d(y, x) d(x, z) ≦ d(x, y) + d(y, z) 距離は正またはゼロ 「距離ゼロ」と「同一点」は同じ意味 距離はどちらから測っても同じ 回り道をすると距離は同じか長い （三角不等式） (x, y) O

Slide 61

Slide 61 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ところで，「距離」について 14 「ノルム」は，「距離」を一般的にしたもの 2点 の間の「距離」 とは？ x, y d(x, y) 任意の について， 以下の性質（距離の公理）をもつものをいう x, y 1. 2. 3. 4. d(x, y) ≧ 0 d(x, y) = 0 ⇔ x = y d(x, y) = d(y, x) d(x, z) ≦ d(x, y) + d(y, z) 距離は正またはゼロ 「距離ゼロ」と「同一点」は同じ意味 距離はどちらから測っても同じ 回り道をすると距離は同じか長い （三角不等式） (x, y) O

Slide 62

Slide 62 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ところで，「距離」について 14 「ノルム」は，「距離」を一般的にしたもの 2点 の間の「距離」 とは？ x, y d(x, y) 任意の について， 以下の性質（距離の公理）をもつものをいう x, y 1. 2. 3. 4. d(x, y) ≧ 0 d(x, y) = 0 ⇔ x = y d(x, y) = d(y, x) d(x, z) ≦ d(x, y) + d(y, z) 距離は正またはゼロ 「距離ゼロ」と「同一点」は同じ意味 距離はどちらから測っても同じ 回り道をすると距離は同じか長い （三角不等式） ユークリッド距離 （ ノルム） x2 + y2 L2 (x, y) O

Slide 63

Slide 63 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ところで，「距離」について 14 「ノルム」は，「距離」を一般的にしたもの 2点 の間の「距離」 とは？ x, y d(x, y) 任意の について， 以下の性質（距離の公理）をもつものをいう x, y 1. 2. 3. 4. d(x, y) ≧ 0 d(x, y) = 0 ⇔ x = y d(x, y) = d(y, x) d(x, z) ≦ d(x, y) + d(y, z) 距離は正またはゼロ 「距離ゼロ」と「同一点」は同じ意味 距離はどちらから測っても同じ 回り道をすると距離は同じか長い （三角不等式） ユークリッド距離 （ ノルム） x2 + y2 L2 (x, y) O O (x, y)

Slide 64

Slide 64 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ところで，「距離」について 14 「ノルム」は，「距離」を一般的にしたもの 2点 の間の「距離」 とは？ x, y d(x, y) 任意の について， 以下の性質（距離の公理）をもつものをいう x, y 1. 2. 3. 4. d(x, y) ≧ 0 d(x, y) = 0 ⇔ x = y d(x, y) = d(y, x) d(x, z) ≦ d(x, y) + d(y, z) 距離は正またはゼロ 「距離ゼロ」と「同一点」は同じ意味 距離はどちらから測っても同じ 回り道をすると距離は同じか長い （三角不等式） ユークリッド距離 （ ノルム） x2 + y2 L2 (x, y) O O (x, y)

Slide 65

Slide 65 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ところで，「距離」について 14 「ノルム」は，「距離」を一般的にしたもの 2点 の間の「距離」 とは？ x, y d(x, y) 任意の について， 以下の性質（距離の公理）をもつものをいう x, y 1. 2. 3. 4. d(x, y) ≧ 0 d(x, y) = 0 ⇔ x = y d(x, y) = d(y, x) d(x, z) ≦ d(x, y) + d(y, z) 距離は正またはゼロ 「距離ゼロ」と「同一点」は同じ意味 距離はどちらから測っても同じ 回り道をすると距離は同じか長い （三角不等式） ユークリッド距離 （ ノルム） x2 + y2 L2 (x, y) O O (x, y) 市街区距離 （ ノルム） |x| + |y| L1

Slide 66

Slide 66 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 15 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される

Slide 67

Slide 67 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 15 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される 斉次形の場合を考える x′ = A(t)x

Slide 68

Slide 68 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 15 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される 斉次形の場合を考える x′ = A(t)x テキストでは n 階の場合を示しているが， ここでは２階の場合を示す

Slide 69

Slide 69 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 15 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される 斉次形の場合を考える x′ = A(t)x テキストでは n 階の場合を示しているが， ここでは２階の場合を示す まず，

Slide 70

Slide 70 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 15 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される 斉次形の場合を考える x′ = A(t)x テキストでは n 階の場合を示しているが， ここでは２階の場合を示す 　 を x(t) 　 　 　 一般解を とするとき まず，

Slide 71

Slide 71 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 15 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される 斉次形の場合を考える x′ = A(t)x テキストでは n 階の場合を示しているが， ここでは２階の場合を示す 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 +の形で表せる 　 t = t0 の まず，

Slide 72

Slide 72 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 15 ２．１次独立な特殊解の１次結合で一般解が表せる 1次独立な特殊解 x1(t), x2(t) が得られれば， 一般解は C1x1(t) + C2x2(t) で表される 斉次形の場合を考える x′ = A(t)x テキストでは n 階の場合を示しているが， ここでは２階の場合を示す 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 +の形で表せる 　 t = t0 の まず， は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1)

Slide 73

Slide 73 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 16 ２．１次独立な特殊解の１次結合で一般解が表せる

Slide 74

Slide 74 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 16 ２．１次独立な特殊解の１次結合で一般解が表せる

Slide 75

Slide 75 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 16 ２．１次独立な特殊解の１次結合で一般解が表せる は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 をみたすもの ξ1(t) 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値

Slide 76

Slide 76 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 16 ２．１次独立な特殊解の１次結合で一般解が表せる は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 をみたすもの ξ1(t) 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値

Slide 77

Slide 77 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 16 ２．１次独立な特殊解の１次結合で一般解が表せる この特殊解 ξ1(t), ξ2(t), は，１次独立。本当？ は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 をみたすもの ξ1(t) 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値

Slide 78

Slide 78 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 2つの関数が1次独立とは（再掲） 17 ２つの関数が1次独立とは C1x1(t) + C2x2(t) = 0 がどんな t についても なりたつのは，C1 = C2 = 0 のときだけ x1 x2 x1 x2 ◯ ×

Slide 79

Slide 79 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 2つの関数が1次独立とは（再掲） 17 ２つの関数が1次独立とは C1x1(t) + C2x2(t) = 0 がどんな t についても なりたつのは，C1 = C2 = 0 のときだけ x1 x2 x1 x2 ◯ ×

Slide 80

Slide 80 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 18 ２．１次独立な特殊解の１次結合で一般解が表せる この特殊解 ξ1(t), ξ2(t), は，１次独立である は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 　 をみたすもの ξ1(t) 　 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値

Slide 81

Slide 81 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 18 ２．１次独立な特殊解の１次結合で一般解が表せる この特殊解 ξ1(t), ξ2(t), は，１次独立である は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 　 をみたすもの ξ1(t) 　 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値 　 c1ξ1(t) + c2ξ2(t) = 0 　 　 が任意の t についてなりたつとする t = t0 のときも当然なりたつ ∵

Slide 82

Slide 82 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 18 ２．１次独立な特殊解の１次結合で一般解が表せる この特殊解 ξ1(t), ξ2(t), は，１次独立である は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 　 をみたすもの ξ1(t) 　 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値 　 c1ξ1(t) + c2ξ2(t) = 0 　 　 が任意の t についてなりたつとする t = t0 のときも当然なりたつ ∵ c1ξ1(t0) + c2ξ2(t0) = 0

Slide 83

Slide 83 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 18 ２．１次独立な特殊解の１次結合で一般解が表せる この特殊解 ξ1(t), ξ2(t), は，１次独立である は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 　 をみたすもの ξ1(t) 　 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値 　 c1ξ1(t) + c2ξ2(t) = 0 　 　 が任意の t についてなりたつとする t = t0 のときも当然なりたつ ∵ c1ξ1(t0) + c2ξ2(t0) = 0

Slide 84

Slide 84 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 18 ２．１次独立な特殊解の１次結合で一般解が表せる この特殊解 ξ1(t), ξ2(t), は，１次独立である は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 　 をみたすもの ξ1(t) 　 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値 　 c1ξ1(t) + c2ξ2(t) = 0 　 　 が任意の t についてなりたつとする t = t0 のときも当然なりたつ ∵ c1ξ1(t0) + c2ξ2(t0) = 0 c1e1 + c2e2 = 0

Slide 85

Slide 85 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 18 ２．１次独立な特殊解の１次結合で一般解が表せる この特殊解 ξ1(t), ξ2(t), は，１次独立である は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 　 をみたすもの ξ1(t) 　 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値 　 c1ξ1(t) + c2ξ2(t) = 0 　 　 が任意の t についてなりたつとする t = t0 のときも当然なりたつ ∵ c1ξ1(t0) + c2ξ2(t0) = 0 c1e1 + c2e2 = 0 e1, e2,は１次独立だから

Slide 86

Slide 86 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 18 ２．１次独立な特殊解の１次結合で一般解が表せる この特殊解 ξ1(t), ξ2(t), は，１次独立である は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 　 をみたすもの ξ1(t) 　 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値 　 c1ξ1(t) + c2ξ2(t) = 0 　 　 が任意の t についてなりたつとする t = t0 のときも当然なりたつ ∵ c1ξ1(t0) + c2ξ2(t0) = 0 c1e1 + c2e2 = 0 e1, e2,は１次独立だから

Slide 87

Slide 87 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 18 ２．１次独立な特殊解の１次結合で一般解が表せる この特殊解 ξ1(t), ξ2(t), は，１次独立である は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 　 をみたすもの ξ1(t) 　 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値 　 c1ξ1(t) + c2ξ2(t) = 0 　 　 が任意の t についてなりたつとする t = t0 のときも当然なりたつ ∵ c1ξ1(t0) + c2ξ2(t0) = 0 c1e1 + c2e2 = 0 e1, e2,は１次独立だから これがなりたつのは c1 = c2 = 0 に限る

Slide 88

Slide 88 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 18 ２．１次独立な特殊解の１次結合で一般解が表せる この特殊解 ξ1(t), ξ2(t), は，１次独立である は，2次元の基本ベクトル 　 e1 = (1, 0), e2 = (0, 1) 　 　 　 ， x(t0) = e1 　 　 の特殊解を，２つ考える x′ = A(t)x 　 　 をみたすもの ξ1(t) 　 　 をみたすもの 　 x(t0) = e2 　 　 　 ξ2(t) 　 　 初期値 初期値 　 c1ξ1(t) + c2ξ2(t) = 0 　 　 が任意の t についてなりたつとする t = t0 のときも当然なりたつ ∵ c1ξ1(t0) + c2ξ2(t0) = 0 c1e1 + c2e2 = 0 e1, e2,は１次独立だから これがなりたつのは c1 = c2 = 0 に限る 👌👌

Slide 89

Slide 89 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる

Slide 90

Slide 90 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる

Slide 91

Slide 91 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値

Slide 92

Slide 92 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値

Slide 93

Slide 93 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき

Slide 94

Slide 94 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　

Slide 95

Slide 95 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　 合 x1ξ1(t) + x2ξ2(t) 特殊解の１次結合 を考えると

Slide 96

Slide 96 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　 合 x1ξ1(t) + x2ξ2(t) 特殊解の１次結合 を考えると 　 t = t0 の 　 　 のとき x1e1 + x2e2

Slide 97

Slide 97 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　 合 x1ξ1(t) + x2ξ2(t) 特殊解の１次結合 を考えると 　 t = t0 の 　 　 のとき x1e1 + x2e2

Slide 98

Slide 98 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　 合 x1ξ1(t) + x2ξ2(t) 特殊解の１次結合 を考えると 　 t = t0 の 　 　 のとき x1e1 + x2e2 　 を x(t) 　 　 ・一般解で表された ・特殊解の１次結合 合 x1ξ1(t) + x2ξ2(t)

Slide 99

Slide 99 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　 合 x1ξ1(t) + x2ξ2(t) 特殊解の１次結合 を考えると 　 t = t0 の 　 　 のとき x1e1 + x2e2 　 を x(t) 　 　 ・一般解で表された ・特殊解の１次結合 合 x1ξ1(t) + x2ξ2(t)

Slide 100

Slide 100 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　 合 x1ξ1(t) + x2ξ2(t) 特殊解の１次結合 を考えると 　 t = t0 の 　 　 のとき x1e1 + x2e2 　 を x(t) 　 　 ・一般解で表された ・特殊解の１次結合 合 x1ξ1(t) + x2ξ2(t)

Slide 101

Slide 101 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　 合 x1ξ1(t) + x2ξ2(t) 特殊解の１次結合 を考えると 　 t = t0 の 　 　 のとき x1e1 + x2e2 　 を x(t) 　 　 ・一般解で表された ・特殊解の１次結合 合 x1ξ1(t) + x2ξ2(t)

Slide 102

Slide 102 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　 合 x1ξ1(t) + x2ξ2(t) 特殊解の１次結合 を考えると 　 t = t0 の 　 　 のとき x1e1 + x2e2 　 を x(t) 　 　 ・一般解で表された ・特殊解の１次結合 合 x1ξ1(t) + x2ξ2(t)

Slide 103

Slide 103 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　 合 x1ξ1(t) + x2ξ2(t) 特殊解の１次結合 を考えると 　 t = t0 の 　 　 のとき x1e1 + x2e2 　 を x(t) 　 　 ・一般解で表された ・特殊解の１次結合 合 x1ξ1(t) + x2ξ2(t) どちらも同じ初期値をもつ

Slide 104

Slide 104 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　 合 x1ξ1(t) + x2ξ2(t) 特殊解の１次結合 を考えると 　 t = t0 の 　 　 のとき x1e1 + x2e2 　 を x(t) 　 　 ・一般解で表された ・特殊解の１次結合 合 x1ξ1(t) + x2ξ2(t) どちらも同じ初期値をもつ 一意だから，それらは同じ解である

Slide 105

Slide 105 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 条件２の証明の概略 19 ２．１次独立な特殊解の１次結合で一般解が表せる 　 ， x(t0) = e1 　 　 をみたす ξ1(t) 　 をみたす 　 x(t0) = e2 　 　 　 　 ξ2(t) 　 　 　 初期値 初期値 　 を x(t) 　 　 　 一般解を とするとき のときの初期値は 　 x(t0) = x1e1 +x2e2 + 　 　 の形で表せる 　 t = t0 の 　 　 合 x1ξ1(t) + x2ξ2(t) 特殊解の１次結合 を考えると 　 t = t0 の 　 　 のとき x1e1 + x2e2 　 を x(t) 　 　 ・一般解で表された ・特殊解の１次結合 合 x1ξ1(t) + x2ξ2(t) どちらも同じ初期値をもつ 一意だから，それらは同じ解である x(t) = x1ξ1(t) + x2ξ2(t)

Slide 106

Slide 106 text

定数係数の 斉次形２階線形微分方程式を解く💡💡

Slide 107

Slide 107 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式を解く 21 定数係数の 斉次形２階線形微分方程式 x′′ + ax′ + bx = 0 λ2 + aλ + b = 0 　 　 をみたす λ について x = eλt は解

Slide 108

Slide 108 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式を解く 21 定数係数の 斉次形２階線形微分方程式 x′′ + ax′ + bx = 0 λ2 + aλ + b = 0 　 　 をみたす λ について x = eλt は解 特性方程式という

Slide 109

Slide 109 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式を解く 21 定数係数の 斉次形２階線形微分方程式 特性方程式の解の形によって，３パターン x′′ + ax′ + bx = 0 λ2 + aλ + b = 0 　 　 をみたす λ について x = eλt は解 特性方程式という

Slide 110

Slide 110 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 ２階線形微分方程式を解く 21 定数係数の 斉次形２階線形微分方程式 特性方程式の解の形によって，３パターン x′′ + ax′ + bx = 0 λ2 + aλ + b = 0 　 　 をみたす λ について x = eλt は解 特性方程式という 異なる２つの実数解の場合 異なる２つの虚数解の場合 重解の場合

Slide 111

Slide 111 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実数解が２つの場合 22 特性方程式の 異なる２つの実数解 λ1, λ2 eλ1t, eλ2t 　 微分方程式の １次独立な解 一般解は 　 x(t) = C1eλ1t + C2eλ2t 解 表 　

Slide 112

Slide 112 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 実数解が２つの場合 22 特性方程式の 異なる２つの実数解 （つまり，最初のとおり） λ1, λ2 eλ1t, eλ2t 　 微分方程式の １次独立な解 一般解は 　 x(t) = C1eλ1t + C2eλ2t 解 表 　

Slide 113

Slide 113 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 虚数解が２つの場合 23 一般解は 　 x(t) = C1e(α+iβ)t + C2e(α−iβ)t 　

Slide 114

Slide 114 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 虚数解が２つの場合 23 さらに計算すると 一般解は 　 x(t) = C1e(α+iβ)t + C2e(α−iβ)t 　 　 　 x(t) = C1e(α+iβ)t + C2e(α−iβ)t = eαt C1eiβt + C2e−iβt = eαt (C1(cos(βt) + i sin(βt)) + C2(cos(βt) − i sin(βt))) = eαt ((C1 + C2) cos(βt) + i(C1 − C2) sin(βt)) 　

Slide 115

Slide 115 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 虚数解が２つの場合 23 さらに計算すると 一般解は 　 x(t) = C1e(α+iβ)t + C2e(α−iβ)t 　 　 　 x(t) = C1e(α+iβ)t + C2e(α−iβ)t = eαt C1eiβt + C2e−iβt = eαt (C1(cos(βt) + i sin(βt)) + C2(cos(βt) − i sin(βt))) = eαt ((C1 + C2) cos(βt) + i(C1 − C2) sin(βt)) 　 なぜ三角関数になるのかは， 次のスライドで

Slide 116

Slide 116 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 虚数解が２つの場合 23 さらに計算すると 一般解は 　 x(t) = C1e(α+iβ)t + C2e(α−iβ)t 　 　 　 x(t) = C1e(α+iβ)t + C2e(α−iβ)t = eαt C1eiβt + C2e−iβt = eαt (C1(cos(βt) + i sin(βt)) + C2(cos(βt) − i sin(βt))) = eαt ((C1 + C2) cos(βt) + i(C1 − C2) sin(βt)) 　 なぜ三角関数になるのかは， 次のスライドで 　 　 x(t) = eαt (C1 cos(βt) + C2 sin(βt)) 　 定数を置き直して，一般解は

Slide 117

Slide 117 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 虚数解が２つの場合 23 さらに計算すると 一般解は 　 x(t) = C1e(α+iβ)t + C2e(α−iβ)t 　 　 　 x(t) = C1e(α+iβ)t + C2e(α−iβ)t = eαt C1eiβt + C2e−iβt = eαt (C1(cos(βt) + i sin(βt)) + C2(cos(βt) − i sin(βt))) = eαt ((C1 + C2) cos(βt) + i(C1 − C2) sin(βt)) 　 なぜ三角関数になるのかは， 次のスライドで 　 　 x(t) = eαt (C1 cos(βt) + C2 sin(βt)) 　 定数を置き直して，一般解は 振動を表している

Slide 118

Slide 118 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 虚数解が２つの場合 23 さらに計算すると 一般解は 　 x(t) = C1e(α+iβ)t + C2e(α−iβ)t 　 　 　 x(t) = C1e(α+iβ)t + C2e(α−iβ)t = eαt C1eiβt + C2e−iβt = eαt (C1(cos(βt) + i sin(βt)) + C2(cos(βt) − i sin(βt))) = eαt ((C1 + C2) cos(βt) + i(C1 − C2) sin(βt)) 　 なぜ三角関数になるのかは， 次のスライドで 　 　 x(t) = eαt (C1 cos(βt) + C2 sin(βt)) 　 定数を置き直して，一般解は 振動を表している これは先で

Slide 119

Slide 119 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）複素数の指数関数 24 実数の指数関数のテイラー展開 ex = 1 + x 1! + x2 2! + · · · + xn n! + · · ·

Slide 120

Slide 120 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）複素数の指数関数 24 実数の指数関数のテイラー展開 ex = 1 + x 1! + x2 2! + · · · + xn n! + · · · 複素数の指数関数は，テイラー展開で定義する ez = 1 + z 1! + z2 2! + · · · + zn n! + · · ·

Slide 121

Slide 121 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）複素数の指数関数 24 実数の指数関数のテイラー展開 すると ex = 1 + x 1! + x2 2! + · · · + xn n! + · · · 複素数の指数関数は，テイラー展開で定義する ez = 1 + z 1! + z2 2! + · · · + zn n! + · · · eiθ = 1 + (iθ) 1! + (iθ)2 2! + · · · + (iθ)n n! + · · · = (1 − θ2 2! + θ4 4! − · · · ) + i( θ 1! − θ3 3! + · · · )

Slide 122

Slide 122 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）複素数の指数関数 24 実数の指数関数のテイラー展開 すると ex = 1 + x 1! + x2 2! + · · · + xn n! + · · · 複素数の指数関数は，テイラー展開で定義する ez = 1 + z 1! + z2 2! + · · · + zn n! + · · · eiθ = 1 + (iθ) 1! + (iθ)2 2! + · · · + (iθ)n n! + · · · = (1 − θ2 2! + θ4 4! − · · · ) + i( θ 1! − θ3 3! + · · · ) ※本当は，級数をこんなふうに分けるのは 　　いつでもできるわけではありません💦💦

Slide 123

Slide 123 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）複素数の指数関数 24 実数の指数関数のテイラー展開 すると ex = 1 + x 1! + x2 2! + · · · + xn n! + · · · 複素数の指数関数は，テイラー展開で定義する ez = 1 + z 1! + z2 2! + · · · + zn n! + · · · eiθ = 1 + (iθ) 1! + (iθ)2 2! + · · · + (iθ)n n! + · · · = (1 − θ2 2! + θ4 4! − · · · ) + i( θ 1! − θ3 3! + · · · ) ※本当は，級数をこんなふうに分けるのは 　　いつでもできるわけではありません💦💦

Slide 124

Slide 124 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）複素数の指数関数 24 実数の指数関数のテイラー展開 すると ex = 1 + x 1! + x2 2! + · · · + xn n! + · · · 複素数の指数関数は，テイラー展開で定義する ez = 1 + z 1! + z2 2! + · · · + zn n! + · · · eiθ = 1 + (iθ) 1! + (iθ)2 2! + · · · + (iθ)n n! + · · · = (1 − θ2 2! + θ4 4! − · · · ) + i( θ 1! − θ3 3! + · · · ) cosθ のテイラー展開 ※本当は，級数をこんなふうに分けるのは 　　いつでもできるわけではありません💦💦

Slide 125

Slide 125 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）複素数の指数関数 24 実数の指数関数のテイラー展開 すると ex = 1 + x 1! + x2 2! + · · · + xn n! + · · · 複素数の指数関数は，テイラー展開で定義する ez = 1 + z 1! + z2 2! + · · · + zn n! + · · · eiθ = 1 + (iθ) 1! + (iθ)2 2! + · · · + (iθ)n n! + · · · = (1 − θ2 2! + θ4 4! − · · · ) + i( θ 1! − θ3 3! + · · · ) cosθ のテイラー展開 sinθ のテイラー展開 ※本当は，級数をこんなふうに分けるのは 　　いつでもできるわけではありません💦💦

Slide 126

Slide 126 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）複素数の指数関数 24 実数の指数関数のテイラー展開 すると ex = 1 + x 1! + x2 2! + · · · + xn n! + · · · 複素数の指数関数は，テイラー展開で定義する ez = 1 + z 1! + z2 2! + · · · + zn n! + · · · eiθ = 1 + (iθ) 1! + (iθ)2 2! + · · · + (iθ)n n! + · · · = (1 − θ2 2! + θ4 4! − · · · ) + i( θ 1! − θ3 3! + · · · ) cosθ のテイラー展開 sinθ のテイラー展開 よって eiθ = cos θ + i sin θ ※本当は，級数をこんなふうに分けるのは 　　いつでもできるわけではありません💦💦

Slide 127

Slide 127 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）複素数の指数関数 24 実数の指数関数のテイラー展開 すると ex = 1 + x 1! + x2 2! + · · · + xn n! + · · · 複素数の指数関数は，テイラー展開で定義する ez = 1 + z 1! + z2 2! + · · · + zn n! + · · · eiθ = 1 + (iθ) 1! + (iθ)2 2! + · · · + (iθ)n n! + · · · = (1 − θ2 2! + θ4 4! − · · · ) + i( θ 1! − θ3 3! + · · · ) cosθ のテイラー展開 sinθ のテイラー展開 よって eiθ = cos θ + i sin θ θ = π のとき eiπ + 1 = 0［オイラーの等式］ ※本当は，級数をこんなふうに分けるのは 　　いつでもできるわけではありません💦💦

Slide 128

Slide 128 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）テイラー展開について 25 テイラー展開 f(x) = f(a) + f′ (a) 1! (x − a) + f′ ′ (a) 2! (x − a)2 + ⋯ + f(n)(a) n! (x − a)n + ⋯ x a 関数 f(x) f(a)

Slide 129

Slide 129 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）テイラー展開について 25 テイラー展開 f(x) = f(a) + f′ (a) 1! (x − a) + f′ ′ (a) 2! (x − a)2 + ⋯ + f(n)(a) n! (x − a)n + ⋯ x a 微分が1つもわからないと， 最初の位置 しか わからない f(a) 関数 f(x) f(a)

Slide 130

Slide 130 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）テイラー展開について 25 テイラー展開 f(x) = f(a) + f′ (a) 1! (x − a) + f′ ′ (a) 2! (x − a)2 + ⋯ + f(n)(a) n! (x − a)n + ⋯ x a 微分が1つもわからないと， 最初の位置 しか わからない f(a) 定数関数 関数 f(x) f(a)

Slide 131

Slide 131 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）テイラー展開について 25 テイラー展開 f(x) = f(a) + f′ (a) 1! (x − a) + f′ ′ (a) 2! (x − a)2 + ⋯ + f(n)(a) n! (x − a)n + ⋯ x a 微分が1つもわからないと， 最初の位置 しか わからない f(a) 1階微分 がわかると，進む方向がわかる f′ (a) 定数関数 関数 f(x) f(a)

Slide 132

Slide 132 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）テイラー展開について 25 テイラー展開 f(x) = f(a) + f′ (a) 1! (x − a) + f′ ′ (a) 2! (x − a)2 + ⋯ + f(n)(a) n! (x − a)n + ⋯ x a 微分が1つもわからないと， 最初の位置 しか わからない f(a) 1階微分 がわかると，進む方向がわかる f′ (a) 定数関数 1次 関 数 関数 f(x) f(a)

Slide 133

Slide 133 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）テイラー展開について 25 テイラー展開 f(x) = f(a) + f′ (a) 1! (x − a) + f′ ′ (a) 2! (x − a)2 + ⋯ + f(n)(a) n! (x − a)n + ⋯ x a 微分が1つもわからないと， 最初の位置 しか わからない f(a) 1階微分 がわかると，進む方向がわかる f′ (a) 2階微分 がわかると， 「進む方向の変化」がわかる f′ ′ (a) 定数関数 1次 関 数 関数 f(x) f(a)

Slide 134

Slide 134 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）テイラー展開について 25 テイラー展開 f(x) = f(a) + f′ (a) 1! (x − a) + f′ ′ (a) 2! (x − a)2 + ⋯ + f(n)(a) n! (x − a)n + ⋯ x a 微分が1つもわからないと， 最初の位置 しか わからない f(a) 1階微分 がわかると，進む方向がわかる f′ (a) 2階微分 がわかると， 「進む方向の変化」がわかる f′ ′ (a) 定数関数 1次 関 数 2次関数 関数 f(x) f(a)

Slide 135

Slide 135 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）テイラー展開について 25 テイラー展開 f(x) = f(a) + f′ (a) 1! (x − a) + f′ ′ (a) 2! (x − a)2 + ⋯ + f(n)(a) n! (x − a)n + ⋯ x a 微分が1つもわからないと， 最初の位置 しか わからない f(a) 1階微分 がわかると，進む方向がわかる f′ (a) 2階微分 がわかると， 「進む方向の変化」がわかる f′ ′ (a) 定数関数 1次 関 数 2次関数 3階微分 がわかると， 「『進む方向の変化』の変化」がわかる f′ ′ ′ (a) 関数 f(x) f(a)

Slide 136

Slide 136 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）テイラー展開について 25 テイラー展開 f(x) = f(a) + f′ (a) 1! (x − a) + f′ ′ (a) 2! (x − a)2 + ⋯ + f(n)(a) n! (x − a)n + ⋯ x a 微分が1つもわからないと， 最初の位置 しか わからない f(a) 1階微分 がわかると，進む方向がわかる f′ (a) 2階微分 がわかると， 「進む方向の変化」がわかる f′ ′ (a) 定数関数 1次 関 数 2次関数 3次関数 3階微分 がわかると， 「『進む方向の変化』の変化」がわかる f′ ′ ′ (a) 関数 f(x) f(a)

Slide 137

Slide 137 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 （ところで）テイラー展開について 25 テイラー展開 f(x) = f(a) + f′ (a) 1! (x − a) + f′ ′ (a) 2! (x − a)2 + ⋯ + f(n)(a) n! (x − a)n + ⋯ x a 微分が1つもわからないと， 最初の位置 しか わからない f(a) 1階微分 がわかると，進む方向がわかる f′ (a) 2階微分 がわかると， 「進む方向の変化」がわかる f′ ′ (a) 定数関数 1次 関 数 2次関数 3次関数 3階微分 がわかると， 「『進む方向の変化』の変化」がわかる f′ ′ ′ (a) 関数 f(x) f(a) がすべてわかるなら，関数 の「行く末」はすべてわかる f(a), f′ (a), f′ ′ (a), …, f(n)(a), … f(x)

Slide 138

Slide 138 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t

Slide 139

Slide 139 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t

Slide 140

Slide 140 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　

Slide 141

Slide 141 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　 確かめるため，解を微分して，微分方程式に代入してみる

Slide 142

Slide 142 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　 　 (teλ1t)′ = λ1teλ1t + eλ1t = (λ1t + 1)eλ1t (teλ1t)′′ = λ1(λ1t + 1)eλ1t + λ1eλ1t = (λ2 1 t + 2λ1)eλ1t 　 　 確かめるため，解を微分して，微分方程式に代入してみる

Slide 143

Slide 143 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　 　 (teλ1t)′ = λ1teλ1t + eλ1t = (λ1t + 1)eλ1t (teλ1t)′′ = λ1(λ1t + 1)eλ1t + λ1eλ1t = (λ2 1 t + 2λ1)eλ1t 　 　 確かめるため，解を微分して，微分方程式に代入してみる 微分方程式の左辺に代入すると

Slide 144

Slide 144 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　 　 (teλ1t)′ = λ1teλ1t + eλ1t = (λ1t + 1)eλ1t (teλ1t)′′ = λ1(λ1t + 1)eλ1t + λ1eλ1t = (λ2 1 t + 2λ1)eλ1t 　 　 確かめるため，解を微分して，微分方程式に代入してみる (λ2 1 t + 2λ1)eλ1t + aλ1teλ1t + bteλ1t = {λ2 1 + aλ1 + b}teλ1t + (2λ1 + a)eλ1t 微分方程式の左辺に代入すると

Slide 145

Slide 145 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　 　 (teλ1t)′ = λ1teλ1t + eλ1t = (λ1t + 1)eλ1t (teλ1t)′′ = λ1(λ1t + 1)eλ1t + λ1eλ1t = (λ2 1 t + 2λ1)eλ1t 　 　 確かめるため，解を微分して，微分方程式に代入してみる (λ2 1 t + 2λ1)eλ1t + aλ1teλ1t + bteλ1t = {λ2 1 + aλ1 + b}teλ1t + (2λ1 + a)eλ1t 微分方程式の左辺に代入すると

Slide 146

Slide 146 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は λ1 は特性方程式の解 だから0 ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　 　 (teλ1t)′ = λ1teλ1t + eλ1t = (λ1t + 1)eλ1t (teλ1t)′′ = λ1(λ1t + 1)eλ1t + λ1eλ1t = (λ2 1 t + 2λ1)eλ1t 　 　 確かめるため，解を微分して，微分方程式に代入してみる (λ2 1 t + 2λ1)eλ1t + aλ1teλ1t + bteλ1t = {λ2 1 + aλ1 + b}teλ1t + (2λ1 + a)eλ1t 微分方程式の左辺に代入すると

Slide 147

Slide 147 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は λ1 は特性方程式の解 だから0 ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　 　 (teλ1t)′ = λ1teλ1t + eλ1t = (λ1t + 1)eλ1t (teλ1t)′′ = λ1(λ1t + 1)eλ1t + λ1eλ1t = (λ2 1 t + 2λ1)eλ1t 　 　 確かめるため，解を微分して，微分方程式に代入してみる (λ2 1 t + 2λ1)eλ1t + aλ1teλ1t + bteλ1t = {λ2 1 + aλ1 + b}teλ1t + (2λ1 + a)eλ1t 微分方程式の左辺に代入すると

Slide 148

Slide 148 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は λ1 は特性方程式の解 だから0 ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　 　 (teλ1t)′ = λ1teλ1t + eλ1t = (λ1t + 1)eλ1t (teλ1t)′′ = λ1(λ1t + 1)eλ1t + λ1eλ1t = (λ2 1 t + 2λ1)eλ1t 　 　 確かめるため，解を微分して，微分方程式に代入してみる (λ2 1 t + 2λ1)eλ1t + aλ1teλ1t + bteλ1t = {λ2 1 + aλ1 + b}teλ1t + (2λ1 + a)eλ1t 微分方程式の左辺に代入すると 特性方程式の 解と係数の関係により0

Slide 149

Slide 149 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は λ1 は特性方程式の解 だから0 ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　 　 (teλ1t)′ = λ1teλ1t + eλ1t = (λ1t + 1)eλ1t (teλ1t)′′ = λ1(λ1t + 1)eλ1t + λ1eλ1t = (λ2 1 t + 2λ1)eλ1t 　 　 確かめるため，解を微分して，微分方程式に代入してみる (λ2 1 t + 2λ1)eλ1t + aλ1teλ1t + bteλ1t = {λ2 1 + aλ1 + b}teλ1t + (2λ1 + a)eλ1t 微分方程式の左辺に代入すると 特性方程式の 解と係数の関係により0 つまり， 　 　 teλ1t も解

Slide 150

Slide 150 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は λ1 は特性方程式の解 だから0 ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　 　 (teλ1t)′ = λ1teλ1t + eλ1t = (λ1t + 1)eλ1t (teλ1t)′′ = λ1(λ1t + 1)eλ1t + λ1eλ1t = (λ2 1 t + 2λ1)eλ1t 　 　 確かめるため，解を微分して，微分方程式に代入してみる (λ2 1 t + 2λ1)eλ1t + aλ1teλ1t + bteλ1t = {λ2 1 + aλ1 + b}teλ1t + (2λ1 + a)eλ1t 微分方程式の左辺に代入すると 特性方程式の 解と係数の関係により0 C1eλ1t + C2teλ1t 一般解は つまり， 　 　 teλ1t も解

Slide 151

Slide 151 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 重解の場合 26 これと１次独立なもうひとつの解は λ1 は特性方程式の解 だから0 ふつうにやると，微分方程式の解は しか出て来ない C1 eλ1 t 　 teλ1t 　 　 　 (teλ1t)′ = λ1teλ1t + eλ1t = (λ1t + 1)eλ1t (teλ1t)′′ = λ1(λ1t + 1)eλ1t + λ1eλ1t = (λ2 1 t + 2λ1)eλ1t 　 　 確かめるため，解を微分して，微分方程式に代入してみる (λ2 1 t + 2λ1)eλ1t + aλ1teλ1t + bteλ1t = {λ2 1 + aλ1 + b}teλ1t + (2λ1 + a)eλ1t 微分方程式の左辺に代入すると 特性方程式の 解と係数の関係により0 見つけ方はテキストで（定数変化法） C1eλ1t + C2teλ1t 一般解は つまり， 　 　 teλ1t も解

Slide 152

Slide 152 text

例題🤔🤔

Slide 153

Slide 153 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 例題 28 を解いて， x′′ − 5x′ + 6x = 0 値 x(0) = 1, x′(0) = 0 初期値 での特殊解を求めよ。

Slide 154

Slide 154 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 例題 28 を解いて， x′′ − 5x′ + 6x = 0 値 x(0) = 1, x′(0) = 0 初期値 での特殊解を求めよ。 特性方程式は は λ2 − 5λ + 6 = 0 　 　

Slide 155

Slide 155 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 例題 28 を解いて， x′′ − 5x′ + 6x = 0 値 x(0) = 1, x′(0) = 0 初期値 での特殊解を求めよ。 特性方程式は は λ2 − 5λ + 6 = 0 　 　 λ = 2, 3 　 　 その解は

Slide 156

Slide 156 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 例題 28 を解いて， x′′ − 5x′ + 6x = 0 値 x(0) = 1, x′(0) = 0 初期値 での特殊解を求めよ。 特性方程式は は λ2 − 5λ + 6 = 0 　 　 λ = 2, 3 　 　 その解は 異なる２つの実数解なので，微分方程式の一般解は x(t) = C1e2t + C2e3t

Slide 157

Slide 157 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 例題 28 を解いて， x′′ − 5x′ + 6x = 0 値 x(0) = 1, x′(0) = 0 初期値 での特殊解を求めよ。 特性方程式は は λ2 − 5λ + 6 = 0 　 　 λ = 2, 3 　 　 その解は 異なる２つの実数解なので，微分方程式の一般解は x(t) = C1e2t + C2e3t 初期条件から x(0) = C1 + C2 = 1 x′(0) = 2C1 + 3C2 = 0

Slide 158

Slide 158 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 例題 28 を解いて， x′′ − 5x′ + 6x = 0 値 x(0) = 1, x′(0) = 0 初期値 での特殊解を求めよ。 特性方程式は は λ2 − 5λ + 6 = 0 　 　 λ = 2, 3 　 　 その解は 異なる２つの実数解なので，微分方程式の一般解は x(t) = C1e2t + C2e3t 初期条件から x(0) = C1 + C2 = 1 x′(0) = 2C1 + 3C2 = 0 C1 = 3, C2 = −2

Slide 159

Slide 159 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 例題 28 を解いて， x′′ − 5x′ + 6x = 0 値 x(0) = 1, x′(0) = 0 初期値 での特殊解を求めよ。 特性方程式は は λ2 − 5λ + 6 = 0 　 　 λ = 2, 3 　 　 その解は 異なる２つの実数解なので，微分方程式の一般解は x(t) = C1e2t + C2e3t 初期条件から x(0) = C1 + C2 = 1 x′(0) = 2C1 + 3C2 = 0 C1 = 3, C2 = −2 よって，求める特殊解は x(t) = , 3e2t − 2e3t

Slide 160

Slide 160 text

29 2024年度春学期　応用数学（解析） ／　関西大学総合情報学部　浅野　晃 今日のまとめ 29 定数係数・斉次形の ２階線形微分方程式 次回は非斉次形 （右辺が０でない）をやります x′′ + ax′ + bx = 0