Upgrade to Pro — share decks privately, control downloads, hide ads and more …

2026年度秋学期 応用数学(解析) 第2部・基本的な微分方程式 / 第8回 2階線形微分方程...

2026年度秋学期 応用数学(解析) 第2部・基本的な微分方程式 / 第8回 2階線形微分方程式(2) (2026. 11. 13)

関西大学総合情報学部 応用数学(解析)(担当・浅野晃)
http://racco.mikeneko.jp/Kougi/2026a/AMA/

Avatar for Akira Asano

Akira Asano PRO

October 19, 2026

Video

More Decks by Akira Asano

Other Decks in Education

Transcript

  1. 2階線形微分方程式 一般には x + P (t)x + Q(t)x = R(t)

    ′′ ′ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 3 27
  2. 2階線形微分方程式 一般には x + P (t)x + Q(t)x = R(t)

    ′′ ′ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 3 27
  3. 2階線形微分方程式 一般には x + P (t)x + Q(t)x = R(t)

    ′′ ′ ここが恒等的に0なのが[斉次] そうではないのが[非斉次] 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 3 27
  4. 2階線形微分方程式 一般には x + P (t)x + Q(t)x = R(t)

    ′′ ′ ここが恒等的に0なのが[斉次] そうではないのが[非斉次] 一番簡単なのは ′′ ′ x + ax + bx = 0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 3 27
  5. 2階線形微分方程式 一般には x + P (t)x + Q(t)x = R(t)

    ′′ ′ ここが恒等的に0なのが[斉次] そうではないのが[非斉次] 一番簡単なのは ′′ ′ x + ax + bx = 0 定数係数の斉次方程式 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 3 27
  6. 2階線形微分方程式 一般には x + P (t)x + Q(t)x = R(t)

    ′′ ′ ここが恒等的に0なのが[斉次] そうではないのが[非斉次] 一番簡単なのは ′′ ′ x + ax + bx = 0 定数係数の斉次方程式 とりあえず, x ≡ 0 は解[自明解] 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 3 27
  7. 2階線形微分方程式 一般には x + P (t)x + Q(t)x = R(t)

    ′′ ′ ここが恒等的に0なのが[斉次] そうではないのが[非斉次] 一番簡単なのは ′′ ′ x + ax + bx = 0 定数係数の斉次方程式 とりあえず, x ≡ 0 は解[自明解] それ以外には? 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 3 27
  8. 2階線形微分方程式の解 とりあえず x ′′ ′ λt に x(t) = e

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

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

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

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

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

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

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

    定数係数の 斉次形2階線形微分方程式 λ2 + aλ + b = 0 をみたす λ について x = eλt は解 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 5 27
  16. 2階線形微分方程式を解く ′′ ′ x + ax + bx = 0

    定数係数の 斉次形2階線形微分方程式 λ2 + aλ + b = 0 をみたす λ について x = eλt は解 特性方程式という 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 5 27
  17. 2階線形微分方程式を解く ′′ ′ x + ax + bx = 0

    定数係数の 斉次形2階線形微分方程式 λ2 + aλ + b = 0 をみたす λ について x = eλt は解 特性方程式という 特性方程式の解の形によって,3パターン 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 5 27
  18. 2階線形微分方程式を解く ′′ ′ x + ax + bx = 0

    定数係数の 斉次形2階線形微分方程式 λ2 + aλ + b = 0 をみたす λ について x = eλt は解 特性方程式という 特性方程式の解の形によって,3パターン 異なる2つの実数解の場合 異なる2つの虚数解の場合 重解の場合 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 5 27
  19. 実数解が2つの場合 特性方程式の 異なる2つの実数解 λ 1 , λ2 微分方程式の 1次独立な解 λ

    t λ t 1 2 e ,e λ1 t + C eλ2 t x(t) = C e 一般解は 1 2 解 表 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 6 27
  20. 実数解が2つの場合 特性方程式の 異なる2つの実数解 λ 1 , λ2 微分方程式の 1次独立な解 λ

    t λ t 1 2 e ,e λ1 t + C eλ2 t x(t) = C e 一般解は 1 2 解 表 (つまり,最初のとおり) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 6 27
  21. 虚数解が2つの場合 (α+iβ)t + C e(α−iβ)t x(t) = C e 一般解は

    1 2 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 7 27
  22. 虚数解が2つの場合 (α+iβ)t + C e(α−iβ)t x(t) = C e 一般解は

    1 2 さらに計算すると x(t) = C1 e(α+iβ)t + C2 e(α−iβ)t   αt iβt −iβt C1 e + C 2 e =e = 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)) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 7 27
  23. 虚数解が2つの場合 (α+iβ)t + C e(α−iβ)t x(t) = C e 一般解は

    1 2 さらに計算すると x(t) = C1 e(α+iβ)t + C2 e(α−iβ)t   αt iβt −iβt C1 e + C 2 e =e αt = e (C1 (cos(βt) + i sin(βt)) + C2 (cos(βt) − i sin(βt))) = eαt ((C1 + C2 ) cos(βt) + i(C1 − C2 ) sin(βt)) オイラーの式 e iθ = cos θ + i sin θ による 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 7 27
  24. 虚数解が2つの場合 (α+iβ)t + C e(α−iβ)t x(t) = C e 一般解は

    1 2 さらに計算すると x(t) = C1 e(α+iβ)t + C2 e(α−iβ)t   αt iβt −iβt C1 e + C 2 e =e αt = e (C1 (cos(βt) + i sin(βt)) + C2 (cos(βt) − i sin(βt))) = eαt ((C1 + C2 ) cos(βt) + i(C1 − C2 ) sin(βt)) オイラーの式 e iθ = cos θ + i sin θ による 定数を置き直して,一般解は x(t) = eαt (C1 cos(βt) + C2 sin(βt)) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 7 27
  25. 虚数解が2つの場合 (α+iβ)t + C e(α−iβ)t x(t) = C e 一般解は

    1 2 さらに計算すると x(t) = C1 e(α+iβ)t + C2 e(α−iβ)t   αt iβt −iβt C1 e + C 2 e =e αt = e (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)) オイラーの式 e iθ = cos θ + i sin θ による 振動を表している 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 7 27
  26. 虚数解が2つの場合 (α+iβ)t + C e(α−iβ)t x(t) = C e 一般解は

    1 2 さらに計算すると x(t) = C1 e(α+iβ)t + C2 e(α−iβ)t   αt iβt −iβt C1 e + C 2 e =e αt = e (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)) オイラーの式 e iθ = cos θ + i sin θ による 振動を表している (次の第3部で) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 7 27
  27. 重解の場合 ふつうにやると,微分方程式の解は C1e これと1次独立なもうひとつの解は λ1t しか出て来ない λ t 1 te

    確かめるため,解を微分して,微分方程式に代入してみる 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 8 27
  28. 重解の場合 ふつうにやると,微分方程式の解は C1e これと1次独立なもうひとつの解は λ1t しか出て来ない λ t 1 te

    確かめるため,解を微分して,微分方程式に代入してみる (teλ1 t )′ = λ1 teλ1 t + eλ1 t = (λ1 t + 1)eλ1 t (teλ1 t )′′ = λ1 (λ1 t + 1)eλ1 t + λ1 eλ1 t = (λ21 t + 2λ1 )eλ1 t 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 8 27
  29. 重解の場合 ふつうにやると,微分方程式の解は C1e これと1次独立なもうひとつの解は λ1t しか出て来ない λ t 1 te

    確かめるため,解を微分して,微分方程式に代入してみる (teλ1 t )′ = λ1 teλ1 t + eλ1 t = (λ1 t + 1)eλ1 t (teλ1 t )′′ = λ1 (λ1 t + 1)eλ1 t + λ1 eλ1 t = (λ21 t + 2λ1 )eλ1 t 微分方程式の左辺に代入すると 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 8 27
  30. 重解の場合 ふつうにやると,微分方程式の解は C1e これと1次独立なもうひとつの解は λ1t しか出て来ない λ t 1 te

    確かめるため,解を微分して,微分方程式に代入してみる (teλ1 t )′ = λ1 teλ1 t + eλ1 t = (λ1 t + 1)eλ1 t (teλ1 t )′′ = λ1 (λ1 t + 1)eλ1 t + λ1 eλ1 t = (λ21 t + 2λ1 )eλ1 t 微分方程式の左辺に代入すると (λ21 t + 2λ1 )eλ1 t + aλ1 teλ1 t + bteλ1 t = {λ21 + aλ1 + b}teλ1 t + (2λ1 + a)eλ1 t 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 8 27
  31. 重解の場合 ふつうにやると,微分方程式の解は C1e これと1次独立なもうひとつの解は λ1t しか出て来ない λ t 1 te

    確かめるため,解を微分して,微分方程式に代入してみる (teλ1 t )′ = λ1 teλ1 t + eλ1 t = (λ1 t + 1)eλ1 t (teλ1 t )′′ = λ1 (λ1 t + 1)eλ1 t + λ1 eλ1 t = (λ21 t + 2λ1 )eλ1 t 微分方程式の左辺に代入すると (λ21 t + 2λ1 )eλ1 t + aλ1 teλ1 t + bteλ1 t = {λ21 + aλ1 + b}teλ1 t + (2λ1 + a)eλ1 t 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 8 27
  32. 重解の場合 ふつうにやると,微分方程式の解は C1e これと1次独立なもうひとつの解は λ1t しか出て来ない λ t 1 te

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

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

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

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

    確かめるため,解を微分して,微分方程式に代入してみる (teλ1 t )′ = λ1 teλ1 t + eλ1 t = (λ1 t + 1)eλ1 t (teλ1 t )′′ = λ1 (λ1 t + 1)eλ1 t + λ1 eλ1 t = (λ21 t + 2λ1 )eλ1 t 微分方程式の左辺に代入すると (λ21 t + 2λ1 )eλ1 t + aλ1 teλ1 t + bteλ1 t = {λ21 + aλ1 + b}teλ1 t + (2λ1 + a)eλ1 t λ1は特性方程式の解 だから0 特性方程式の 解と係数の関係により0 一般解は C1 eλ1 t + C2 teλ1 t 見つけ方は前回のテキストで (定数変化法) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 8 27
  37. 非斉次形2階線形微分方程式 前回のは ′′ ′ x + ax + bx =

    0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 10 27
  38. 非斉次形2階線形微分方程式 前回のは ′′ ′ x + ax + bx =

    0 定数係数の斉次方程式 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 10 27
  39. 非斉次形2階線形微分方程式 前回のは ′′ ′ x + ax + bx =

    0 定数係数の斉次方程式 今回は 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 10 27
  40. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 今回は ′′ ′ x +ax +bx = R(t) 定数係数の斉次方程式 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 10 27
  41. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 今回は ′′ ′ x +ax +bx = R(t) 定数係数の斉次方程式 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 10 27
  42. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 今回は ′′ ′ x +ax +bx = R(t) 定数係数の斉次方程式 [非斉次] t の式 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 10 27
  43. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 11 27
  44. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 11 27
  45. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 11 27
  46. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 11 27
  47. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 11 27
  48. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) + 対応する斉次形の一般解 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 11 27
  49. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) + 対応する斉次形の一般解 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 11 27
  50. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) + 対応する斉次形の一般解 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 11 27
  51. 一般的にいうと ′′ ′ x + P (t)x + Q(t)x =

    R(t) を, x1 = x, x2 = x′ とおいて ′ x1 = x2 ′ x2 = −Q(t)x1 − P (t)x2 + R(t) と表す 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 12 27
  52. 一般的にいうと ′′ ′ x + P (t)x + Q(t)x =

    R(t) を, x1 = x, x2 = x′ とおいて ′ x1 = x2 ′ x2 = −Q(t)x1 − P (t)x2 + R(t) と表す 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 12 27
  53. 一般的にいうと ′′ ′ x + P (t)x + Q(t)x =

    R(t) を, x1 = x, x2 = x′ とおいて 行列で ′ x1 = x2 ′ x2 = −Q(t)x1 − P (t)x2 + R(t) と表す   x′1 x′2  =  0 1 −Q(t) −P (t)  x1 x2  + 0 R(t)  2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 12 27
  54. 一般的にいうと ′′ ′ x + P (t)x + Q(t)x =

    R(t) を, x1 = x, x2 = x′ とおいて 行列で ′ x1 = x2 ′ x2 = −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) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 12 27
  55. 一般的にいうと ′′ ′ x + P (t)x + Q(t)x =

    R(t) を, x1 = x, x2 = x′ とおいて 行列で ′ x1 = x2 ′ x2 = −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) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 12 27
  56. 一般的にいうと ′′ ′ x + P (t)x + Q(t)x =

    R(t) を, x1 = x, x2 = x′ とおいて 行列で ′ x1 = x2 ′ x2 = −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) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 12 27
  57. 一般的にいうと ′′ ′ x + P (t)x + Q(t)x =

    R(t) を, x1 = x, x2 = x′ とおいて 行列で ′ x1 = x2 ′ x2 = −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) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 12 27
  58. 一般的にいうと ′′ ′ x + P (t)x + Q(t)x =

    R(t) を, x1 = x, x2 = x′ とおいて 行列で ′ x1 = x2 ′ x2 = −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) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 12 27
  59. 一般的にいうと ′′ ′ x + P (t)x + Q(t)x =

    R(t) を, x1 = x, x2 = x′ とおいて 行列で ′ x1 = x2 ′ x2 = −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) 1階線形微分方程式の形になる 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 12 27
  60. 一般的にいうと ′′ ′ x + P (t)x + Q(t)x =

    R(t) を, x1 = x, x2 = x′ とおいて 行列で ′ x1 = x2 ′ x2 = −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) 1階線形微分方程式の形になる 何階線形微分方程式でも,この形にできる 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 12 27
  61. 一般的にいうと 非斉次形 n 階線形微分方程式 ′ x = A(t)x + b(t)

    の一般解 xs (t) は 非斉次形方程式 x′ = A(t)x + b(t) の任意の特殊解 xp (t) と 対応する斉次形方程式 ′ x = A(t)x の一般解 xh (t) の 和で表される。 xs (t) = xh (t) + xp (t) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 13 27
  62. 一般的にいうと 非斉次形 n 階線形微分方程式 ′ x = A(t)x + b(t)

    の一般解 xs (t) は 非斉次形方程式 x′ = A(t)x + b(t) の任意の特殊解 xp (t) と 対応する斉次形方程式 ′ x = A(t)x の一般解 xh (t) の 和で表される。 xs (t) = xh (t) + xp (t) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 13 27
  63. 一般的にいうと 非斉次形 n 階線形微分方程式 ′ x = A(t)x + b(t)

    の一般解 xs (t) は 非斉次形方程式 x′ = A(t)x + b(t) の任意の特殊解 xp (t) と 対応する斉次形方程式 ′ x = A(t)x の一般解 xh (t) の 和で表される。 xs (t) = xh (t) + xp (t) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 13 27
  64. 一般的にいうと 非斉次形 n 階線形微分方程式 ′ x = A(t)x + b(t)

    の一般解 xs (t) は 非斉次形方程式 x′ = A(t)x + b(t) の任意の特殊解 xp (t) と 対応する斉次形方程式 ′ x = A(t)x の一般解 xh (t) の 和で表される。 xs (t) = xh (t) + xp (t) 何階微分方程式でも 定数係数でなくても 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 13 27
  65. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  66. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  67. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  68. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  69. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) = (A(t)xh (t)) + (A(t)xp (t) + b(t)) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  70. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) = (A(t)xh (t)) + (A(t)xp (t) + b(t)) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  71. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) = (A(t)xh (t)) + (A(t)xp (t) + b(t)) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  72. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) = (A(t)xh (t)) + (A(t)xp (t) + b(t)) ′ = (xh (t)) + (xp (t)) ′ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  73. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) = (A(t)xh (t)) + (A(t)xp (t) + b(t)) ′ = (xh (t)) + (xp (t)) ′ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  74. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) ′ 斉次形 x = A(t)x = (A(t)xh (t)) + (A(t)xp (t) + b(t)) ′ = (xh (t)) + (xp (t)) ′ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  75. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) ′ 斉次形 x = A(t)x = (A(t)xh (t)) + (A(t)xp (t) + b(t)) ′ = (xh (t)) + (xp (t)) ′ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  76. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) ′ 斉次形 x = A(t)x = (A(t)xh (t)) + (A(t)xp (t) + b(t)) ′ = (xh (t)) + (xp (t)) ′ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  77. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) ′ 斉次形 x = A(t)x = (A(t)xh (t)) + (A(t)xp (t) + b(t)) ′ = (xh (t)) + (xp (t)) ′ x = A(t)x + b(t) 非斉次形 ′ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  78. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) ′ 斉次形 x = A(t)x = (A(t)xh (t)) + (A(t)xp (t) + b(t)) ′ = (xh (t)) + (xp (t)) ′ x = A(t)x + b(t) 非斉次形 ′ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  79. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) ′ 斉次形 x = A(t)x = (A(t)xh (t)) + (A(t)xp (t) + b(t)) ′ = (xh (t)) + (xp (t)) ′ = (xs (t)) ′ x = A(t)x + b(t) 非斉次形 ′ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  80. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) ′ 斉次形 x = A(t)x = (A(t)xh (t)) + (A(t)xp (t) + b(t)) ′ = (xh (t)) + (xp (t)) ′ = (xs (t)) ′ x = A(t)x + b(t) 非斉次形 ′ (左辺) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  81. 証明は,割と簡単 まず xs (t) = xh (t) + xp (t)

    が ′ 非斉次形方程式 x = A(t)x + b(t) の解であることを確かめる 右辺に xs (t) = xh (t) + xp (t) を代入 A(t)xs (t) + b(t) = A(t) (xh (t) + xp (t)) + b(t) ′ 斉次形 x = A(t)x = (A(t)xh (t)) + (A(t)xp (t) + b(t)) ′ = (xh (t)) + (xp (t)) ′ = (xs (t)) ′ x = A(t)x + b(t) 非斉次形 ′ (左辺) 本当に一般解か? どんな初期値に対する特殊解でも表せるか? 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 14 27
  82. 証明は,割と簡単 どんな初期値に対する特殊解でも表せるか? ′ 非斉次形方程式 x = A(t)x + b(t) の一般解

    xs (t) について 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 15 27
  83. 証明は,割と簡単 どんな初期値に対する特殊解でも表せるか? ′ 非斉次形方程式 x = A(t)x + b(t) の一般解

    xs (t) について 任意の初期値 xs (t0 ) = x0 を考える 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 15 27
  84. 証明は,割と簡単 どんな初期値に対する特殊解でも表せるか? ′ 非斉次形方程式 x = A(t)x + b(t) の一般解

    xs (t) について 任意の初期値 xs (t0 ) = x0 を考える ′ このとき,対応する斉次形方程式 x = A(t)x の一般解 xh (t) について 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 15 27
  85. 証明は,割と簡単 どんな初期値に対する特殊解でも表せるか? ′ 非斉次形方程式 x = A(t)x + b(t) の一般解

    xs (t) について 任意の初期値 xs (t0 ) = x0 を考える ′ このとき,対応する斉次形方程式 x = A(t)x の一般解 xh (t) について 初期値を xh (t0 ) = x0 − xp (t0 ) にとれば 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 15 27
  86. 証明は,割と簡単 どんな初期値に対する特殊解でも表せるか? ′ 非斉次形方程式 x = A(t)x + b(t) の一般解

    xs (t) について 任意の初期値 xs (t0 ) = x0 を考える ′ このとき,対応する斉次形方程式 x = A(t)x の一般解 xh (t) について 初期値を xh (t0 ) = x0 − xp (t0 ) にとれば xs (t0 ) = xh (t0 ) + xp (t0 ) = (x0 − xp (t0 )) + xp (t0 ) = x0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 15 27
  87. 証明は,割と簡単 どんな初期値に対する特殊解でも表せるか? ′ 非斉次形方程式 x = A(t)x + b(t) の一般解

    xs (t) について 任意の初期値 xs (t0 ) = x0 を考える ′ このとき,対応する斉次形方程式 x = A(t)x の一般解 xh (t) について 初期値を xh (t0 ) = x0 − xp (t0 ) にとれば xs (t0 ) = xh (t0 ) + xp (t0 ) = (x0 − xp (t0 )) + xp (t0 ) = x0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 15 27
  88. 証明は,割と簡単 どんな初期値に対する特殊解でも表せるか? ′ 非斉次形方程式 x = A(t)x + b(t) の一般解

    xs (t) について 任意の初期値 xs (t0 ) = x0 を考える ′ このとき,対応する斉次形方程式 x = A(t)x の一般解 xh (t) について 初期値を xh (t0 ) = x0 − xp (t0 ) にとれば xs (t0 ) = xh (t0 ) + xp (t0 ) = (x0 − xp (t0 )) + xp (t0 ) = x0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 15 27
  89. 証明は,割と簡単 どんな初期値に対する特殊解でも表せるか? ′ 非斉次形方程式 x = A(t)x + b(t) の一般解

    xs (t) について 任意の初期値 xs (t0 ) = x0 を考える ′ このとき,対応する斉次形方程式 x = A(t)x の一般解 xh (t) について 初期値を xh (t0 ) = x0 − xp (t0 ) にとれば xs (t0 ) = xh (t0 ) + xp (t0 ) = (x0 − xp (t0 )) + xp (t0 ) = x0 だから,これで 非斉次形方程式の解で初期値を xs (t0 ) = x0 としたことになっている 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 15 27
  90. 証明は,割と簡単 どんな初期値に対する特殊解でも表せるか? ′ 非斉次形方程式 x = A(t)x + b(t) の一般解

    xs (t) について 任意の初期値 xs (t0 ) = x0 を考える ′ このとき,対応する斉次形方程式 x = A(t)x の一般解 xh (t) について 初期値を xh (t0 ) = x0 − xp (t0 ) にとれば xs (t0 ) = xh (t0 ) + xp (t0 ) = (x0 − xp (t0 )) + xp (t0 ) = x0 だから,これで 非斉次形方程式の解で初期値を xs (t0 ) = x0 としたことになっている この斉次形方程式は一意だから, 斉次形方程式でこの初期値の特殊解はひとつ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 15 27
  91. 証明は,割と簡単 どんな初期値に対する特殊解でも表せるか? ′ 非斉次形方程式 x = A(t)x + b(t) の一般解

    xs (t) について 任意の初期値 xs (t0 ) = x0 を考える ′ このとき,対応する斉次形方程式 x = A(t)x の一般解 xh (t) について 初期値を xh (t0 ) = x0 − xp (t0 ) にとれば xs (t0 ) = xh (t0 ) + xp (t0 ) = (x0 − xp (t0 )) + xp (t0 ) = x0 だから,これで 非斉次形方程式の解で初期値を xs (t0 ) = x0 としたことになっている この斉次形方程式は一意だから, 斉次形方程式でこの初期値の特殊解はひとつ 非斉次形方程式の特殊解もひとつ 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 15 27
  92. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 17 27
  93. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 17 27
  94. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 17 27
  95. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 17 27
  96. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 17 27
  97. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) + 対応する斉次形の一般解 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 17 27
  98. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) + 対応する斉次形の一般解 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 17 27
  99. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) + 対応する斉次形の一般解 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 17 27
  100. 非斉次形2階線形微分方程式 ′′ ′ 前回のは x + ax + bx =

    0 定数係数の斉次方程式 今回は ′′ ′ x +ax +bx = R(t) [非斉次] t の式 結論からいうと 非斉次形の一般解 = これを見つけるには,右辺の形に注目 非斉次形の特殊解なにかひとつ(何でもいい) + 対応する斉次形の一般解 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 17 27
  101. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 の一般解を求めよ。 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 18 27
  102. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 特殊解を, 2 x = at + bt + c の一般解を求めよ。 と見当をつける 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 18 27
  103. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 特殊解を, 2 x = at + bt + c の一般解を求めよ。 と見当をつける 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 18 27
  104. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 特殊解を, 2 x = at + bt + c の一般解を求めよ。 と見当をつける これを元の方程式に代入して整理すると 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 18 27
  105. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 特殊解を, 2 x = at + bt + c の一般解を求めよ。 と見当をつける これを元の方程式に代入して整理すると 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 18 27
  106. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 特殊解を, 2 x = at + bt + c の一般解を求めよ。 と見当をつける これを元の方程式に代入して整理すると −(3a + 3)t2 + (4a − 3b − 3)t + (2a + 2b − 3c + 2) = 0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 18 27
  107. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 特殊解を, 2 x = at + bt + c の一般解を求めよ。 と見当をつける これを元の方程式に代入して整理すると −(3a + 3)t2 + (4a − 3b − 3)t + (2a + 2b − 3c + 2) = 0 これが t に関係なくなりたつから ⎧ ⎪ =0 ⎨ 3a + 3 4a − 3b − 3 =0 ⎪ ⎩ 2a + 2b − 3c + 2 = 0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 18 27
  108. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 特殊解を, 2 x = at + bt + c の一般解を求めよ。 と見当をつける これを元の方程式に代入して整理すると −(3a + 3)t2 + (4a − 3b − 3)t + (2a + 2b − 3c + 2) = 0 これが t に関係なくなりたつから ⎧ ⎪ =0 ⎨ 3a + 3 4a − 3b − 3 =0 ⎪ ⎩ 2a + 2b − 3c + 2 = 0 7 14 これを解くと a = −1, b = − 3 , c = − 9 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 18 27
  109. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 特殊解を, 2 x = at + bt + c の一般解を求めよ。 と見当をつける これを元の方程式に代入して整理すると −(3a + 3)t2 + (4a − 3b − 3)t + (2a + 2b − 3c + 2) = 0 これが t に関係なくなりたつから ⎧ ⎪ =0 ⎨ 3a + 3 4a − 3b − 3 =0 ⎪ ⎩ 2a + 2b − 3c + 2 = 0 7 14 これを解くと a = −1, b = − 3 , c = − 9 非斉次形の方程式の特殊解(のひとつ)は 7 14 x = −t − t − 3 9 2 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 18 27
  110. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 の一般解を求めよ。 非斉次形の特殊解(のひとつ)は 7 14 x = −t − t − 3 9 2 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 19 27
  111. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 の一般解を求めよ。 非斉次形の特殊解(のひとつ)は 7 14 x = −t − t − 3 9 2 対応する斉次形の方程式は x′′ + 2x′ − 3x = 0 解 定数 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 19 27
  112. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 の一般解を求めよ。 非斉次形の特殊解(のひとつ)は 7 14 x = −t − t − 3 9 2 対応する斉次形の方程式は x′′ + 2x′ − 3x = 0 定数 0 特性方程式は λ2 + 2λ − 3 = 解 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 19 27
  113. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 の一般解を求めよ。 非斉次形の特殊解(のひとつ)は 7 14 x = −t − t − 3 9 2 対応する斉次形の方程式は x′′ + 2x′ − 3x = 0 λ = 1, −3 0 特性方程式は λ2 + 2λ − 3 = 解 その解は 定数 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 19 27
  114. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 の一般解を求めよ。 非斉次形の特殊解(のひとつ)は 7 14 x = −t − t − 3 9 2 対応する斉次形の方程式は x′′ + 2x′ − 3x = 0 λ = 1, −3 0 特性方程式は λ2 + 2λ − 3 = 解 その解は 定数 異なる2つの実数解なので,斉次形方程式の一般解は t −3t x = C1 e + C2 e 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 19 27
  115. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 の一般解を求めよ。 非斉次形の特殊解(のひとつ)は 7 14 x = −t − t − 3 9 2 対応する斉次形の方程式は x′′ + 2x′ − 3x = 0 λ = 1, −3 0 特性方程式は λ2 + 2λ − 3 = 解 その解は 定数 異なる2つの実数解なので,斉次形方程式の一般解は t −3t x = C1 e + C2 e 以上から,与えられた非斉次形方程式の一般解は 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 19 27
  116. 例題 ′′ ′ 2 x + 2x − 3x =

    3t + 3t − 2 の一般解を求めよ。 非斉次形の特殊解(のひとつ)は 7 14 x = −t − t − 3 9 2 対応する斉次形の方程式は x′′ + 2x′ − 3x = 0 λ = 1, −3 0 特性方程式は λ2 + 2λ − 3 = 解 その解は 定数 異なる2つの実数解なので,斉次形方程式の一般解は t −3t x = C1 e + C2 e 以上から,与えられた非斉次形方程式の一般解は 7 14 t −3t 2 x = C1 e + C2 e −t − t− 3 9 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 19 27
  117. 例題 ′′ ′ 2t x + 2x − 3x =

    e の一般解を求めよ。 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 20 27
  118. 例題 ′′ ′ 2t x + 2x − 3x =

    e 特殊解を, 2t x = ae の一般解を求めよ。 と見当をつける 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 20 27
  119. 例題 ′′ ′ 2t x + 2x − 3x =

    e 特殊解を, 2t x = ae の一般解を求めよ。 と見当をつける 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 20 27
  120. 例題 ′′ ′ 2t x + 2x − 3x =

    e 特殊解を, 2t x = ae の一般解を求めよ。 と見当をつける これを元の方程式に代入して整理すると 4ae2t + 2 · 2ae2t − 3ae2t = e2t 5ae2t = e2t 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 20 27
  121. 例題 ′′ ′ 2t x + 2x − 3x =

    e 特殊解を, 2t x = ae の一般解を求めよ。 と見当をつける これを元の方程式に代入して整理すると 4ae2t + 2 · 2ae2t − 3ae2t = e2t 5ae2t = e2t 1 これが t に関係なくなりたつから a = 5 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 20 27
  122. 例題 ′′ ′ 2t x + 2x − 3x =

    e 特殊解を, 2t x = ae の一般解を求めよ。 と見当をつける これを元の方程式に代入して整理すると 4ae2t + 2 · 2ae2t − 3ae2t = e2t 5ae2t = e2t 1 これが t に関係なくなりたつから a = 5 解は C 非斉次形の方程式の特殊解(のひとつ)は 1 2t x= e 5 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 20 27
  123. 例題 ′′ ′ 2t x + 2x − 3x =

    e 特殊解を, 2t x = ae の一般解を求めよ。 と見当をつける これを元の方程式に代入して整理すると 4ae2t + 2 · 2ae2t − 3ae2t = e2t 5ae2t = e2t 1 これが t に関係なくなりたつから a = 5 解は C 非斉次形の方程式の特殊解(のひとつ)は 対応する斉次形の方程式は 解 1 2t x= e 5 ′′ ′ x + 2x − 3x = 0 一般解は t −3t x = C1 e + C2 e 定数 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 20 27
  124. 例題 ′′ ′ 2t x + 2x − 3x =

    e 特殊解を, 2t x = ae の一般解を求めよ。 と見当をつける これを元の方程式に代入して整理すると 4ae2t + 2 · 2ae2t − 3ae2t = e2t 5ae2t = e2t 1 これが t に関係なくなりたつから a = 5 解は C 非斉次形の方程式の特殊解(のひとつ)は 対応する斉次形の方程式は 解 1 2t x= e 5 ′′ ′ x + 2x − 3x = 0 以上から,非斉次形方程式の一般解は 一般解は 定数 t x = C1 e + C2 e −3t t −3t x = C1 e + C2 e 1 2t + e 5 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 20 27
  125. 例題 x′′ + 2x′ − 3x = 2 cos t

    の一般解を求めよ。 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 21 27
  126. 例題 x′′ + 2x′ − 3x = 2 cos t

    の一般解を求めよ。 特殊解を, x = A cos t + B sin t と見当をつける 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 21 27
  127. 例題 x′′ + 2x′ − 3x = 2 cos t

    の一般解を求めよ。 特殊解を, x = A cos t + B sin t と見当をつける 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 21 27
  128. 例題 x′′ + 2x′ − 3x = 2 cos t

    の一般解を求めよ。 特殊解を, x = A cos t + B sin t と見当をつける これを元の方程式に代入して整理すると (−4A + 2B − 2) cos t + (−2A − 4B) sin t = 0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 21 27
  129. 例題 x′′ + 2x′ − 3x = 2 cos t

    の一般解を求めよ。 特殊解を, x = A cos t + B sin t と見当をつける これを元の方程式に代入して整理すると (−4A + 2B − 2) cos t + (−2A − 4B) sin t = 0 cos, sinは独立(あとで説明) 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 21 27
  130. 例題 x′′ + 2x′ − 3x = 2 cos t

    の一般解を求めよ。 特殊解を, x = A cos t + B sin t と見当をつける これを元の方程式に代入して整理すると (−4A + 2B − 2) cos t + (−2A − 4B) sin t = 0  cos, sinは独立(あとで説明) −4A + 2B − 2 = 0 =0 −2A − 4B 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 21 27
  131. 例題 x′′ + 2x′ − 3x = 2 cos t

    の一般解を求めよ。 特殊解を, x = A cos t + B sin t と見当をつける これを元の方程式に代入して整理すると (−4A + 2B − 2) cos t + (−2A − 4B) sin t = 0  −4A + 2B − 2 = 0 =0 −2A − 4B cos, sinは独立(あとで説明) 1 2 A=− , B= 5 5 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 21 27
  132. 例題 x′′ + 2x′ − 3x = 2 cos t

    の一般解を求めよ。 特殊解を, x = A cos t + B sin t と見当をつける これを元の方程式に代入して整理すると (−4A + 2B − 2) cos t + (−2A − 4B) sin t = 0 cos, sinは独立(あとで説明) 非斉次形の方程式の特殊解(のひとつ)は 1 2 x = − cos t + sin t 5 5  −4A + 2B − 2 = 0 =0 −2A − 4B 1 2 A=− , B= 5 5 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 21 27
  133. 例題 x′′ + 2x′ − 3x = 2 cos t

    の一般解を求めよ。 特殊解を, x = A cos t + B sin t と見当をつける これを元の方程式に代入して整理すると (−4A + 2B − 2) cos t + (−2A − 4B) sin t = 0 cos, sinは独立(あとで説明) 非斉次形の方程式の特殊解(のひとつ)は 1 2 x = − cos t + sin t 5 5  −4A + 2B − 2 = 0 =0 −2A − 4B 1 2 A=− , B= 5 5 対応する斉次形の方程式は 解 x′′ + 2x′ − 3x = 0 t + C e−3t x = C e 1 2 一般解は 定数 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 21 27
  134. 例題 x′′ + 2x′ − 3x = 2 cos t

    の一般解を求めよ。 特殊解を, x = A cos t + B sin t と見当をつける これを元の方程式に代入して整理すると (−4A + 2B − 2) cos t + (−2A − 4B) sin t = 0 cos, sinは独立(あとで説明) 非斉次形の方程式の特殊解(のひとつ)は 1 2 x = − cos t + sin t 5 5  −4A + 2B − 2 = 0 =0 −2A − 4B 1 2 A=− , B= 5 5 対応する斉次形の方程式は 解 x′′ + 2x′ − 3x = 0 t + C e−3t x = C e 1 2 一般解は 定数 1 2 t −3t 以上から,非斉次形方程式の一般解は x = C1 e + C2 e − 5 cos t + 5 sin t 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 21 27
  135. 関数の1次独立とWronskian 関数 x1 (t)と x2 (t) が1次独立とは, C1 x1 (t)

    + C2 x2 (t) = 0 が どんな t についてもなりたつなら,C1 = C2 = 0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 23 27
  136. 関数の1次独立とWronskian 関数 x1 (t)と x2 (t) が1次独立とは, C1 x1 (t)

    + C2 x2 (t) = 0 が どんな t についてもなりたつなら,C1 = C2 = 0 ところで C1 x1 (t) + C2 x2 (t) = 0 を t で微分すると 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 23 27
  137. 関数の1次独立とWronskian 関数 x1 (t)と x2 (t) が1次独立とは, C1 x1 (t)

    + C2 x2 (t) = 0 が どんな t についてもなりたつなら,C1 = C2 = 0 ところで C1 x1 (t) + C2 x2 (t) = 0 を t で微分すると C1 x′1 (t) + C2 x′2 (t) = 0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 23 27
  138. 関数の1次独立とWronskian 関数 x1 (t)と x2 (t) が1次独立とは, C1 x1 (t)

    + C2 x2 (t) = 0 が どんな t についてもなりたつなら,C1 = C2 = 0 ところで C1 x1 (t) + C2 x2 (t) = 0 を t で微分すると まとめて行列で書くと  x1 (t) x2 (t) x′1 (t) x′2 (t)  C1 C2  =  0 0 C1 x′1 (t) + C2 x′2 (t) = 0  2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 23 27
  139. 関数の1次独立とWronskian 関数 x1 (t)と x2 (t) が1次独立とは, C1 x1 (t)

    + C2 x2 (t) = 0 が どんな t についてもなりたつなら,C1 = C2 = 0 ところで C1 x1 (t) + C2 x2 (t) = 0 を t で微分すると まとめて行列で書くと  x1 (t) x2 (t) x′1 (t) x′2 (t)  C1 C2  =  0 0 C1 x′1 (t) + C2 x′2 (t) = 0  解が C1 = C2 = 0 だけになるのは,この行列に逆行列が存在する時 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 23 27
  140. 関数の1次独立とWronskian 関数 x1 (t)と x2 (t) が1次独立とは, C1 x1 (t)

    + C2 x2 (t) = 0 が どんな t についてもなりたつなら,C1 = C2 = 0 ところで C1 x1 (t) + C2 x2 (t) = 0 を t で微分すると まとめて行列で書くと  x1 (t) x2 (t) x′1 (t) x′2 (t)  C1 C2  =  0 0 C1 x′1 (t) + C2 x′2 (t) = 0  解が C1 = C2 = 0 だけになるのは,この行列に逆行列が存在する時    x (t) x (t)   1  2  ̸≡ 0 つまり  ′ ′ x1 (t) x2 (t)  2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 23 27
  141. 関数の1次独立とWronskian 関数 x1 (t)と x2 (t) が1次独立とは, C1 x1 (t)

    + C2 x2 (t) = 0 が どんな t についてもなりたつなら,C1 = C2 = 0 ところで C1 x1 (t) + C2 x2 (t) = 0 を t で微分すると まとめて行列で書くと  x1 (t) x2 (t) x′1 (t) x′2 (t)  C1 C2  =  0 0 C1 x′1 (t) + C2 x′2 (t) = 0  解が C1 = C2 = 0 だけになるのは,この行列に逆行列が存在する時    x (t) x (t)   1  2  ̸≡ 0 つまり  ′ ′ x1 (t) x2 (t)  Wronskianという 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 23 27
  142. 関数の1次独立とWronskian(例) 関数 x1 (t)と x2 (t) が1次独立とは, C1 x1 (t)

    + C2 x2 (t) = 0 が どんな t についてもなりたつなら,C1 = C2 = 0 cos t と sin t は? 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 24 27
  143. 関数の1次独立とWronskian(例) 関数 x1 (t)と x2 (t) が1次独立とは, C1 x1 (t)

    + C2 x2 (t) = 0 が どんな t についてもなりたつなら,C1 = C2 = 0 cos t と sin t は? cos t sin t Wronskianは −sin t cos t 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 24 27
  144. 関数の1次独立とWronskian(例) 関数 x1 (t)と x2 (t) が1次独立とは, C1 x1 (t)

    + C2 x2 (t) = 0 が どんな t についてもなりたつなら,C1 = C2 = 0 cos t と sin t は? cos t sin t Wronskianは −sin t cos t cos t sin t 2 2 = cos t + sin t = 1 で,Wronskianが0でないので, −sin t cos t cos t と sin t は1次独立 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 24 27
  145. 今日のまとめ 定数係数・非斉次形の 2階線形微分方程式 ′′ ′ x +ax +bx = R(t)

    2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 25 27
  146. 今日のまとめ 定数係数・非斉次形の 2階線形微分方程式 ′′ ′ x +ax +bx = R(t)

    非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) + 対応する斉次形の一般解 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 25 27
  147. 今日のまとめ 定数係数・非斉次形の 2階線形微分方程式 ′′ ′ x +ax +bx = R(t)

    非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) + 対応する斉次形の一般解 ′′ ′ x + ax + bx = 0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 25 27
  148. 今日のまとめ 定数係数・非斉次形の 2階線形微分方程式 ′′ ′ x +ax +bx = R(t)

    非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) + 対応する斉次形の一般解 ′′ ′ x + ax + bx = 0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 25 27
  149. 今日のまとめ 定数係数・非斉次形の 2階線形微分方程式 ′′ ′ x +ax +bx = R(t)

    非斉次形の一般解 = 非斉次形の特殊解なにかひとつ(何でもいい) + 対応する斉次形の一般解 これを見つけるには右辺の形に注目 ′′ ′ x + ax + bx = 0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 25 27
  150. 演習問題(3) ′′ x + x = cos 2t の一般解を求めよ。 2026年度秋学期

    応用数学(解析) / 関西大学総合情報学部 浅野 晃 27 27
  151. 演習問題(3) ′′ x + x = cos 2t の一般解を求めよ。 特殊解を,x

    = A cos 2t と見当をつける 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 27 27
  152. 演習問題(3) ′′ x + x = cos 2t の一般解を求めよ。 このように「勘」をはたらかせる

    特殊解を,x = A cos 2t と見当をつける 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 27 27
  153. 演習問題(3) ′′ x + x = cos 2t の一般解を求めよ。 このように「勘」をはたらかせる

    特殊解を,x = A cos 2t と見当をつける 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 27 27
  154. 演習問題(3) ′′ x + x = cos 2t の一般解を求めよ。 このように「勘」をはたらかせる

    特殊解を,x = A cos 2t と見当をつける x′ = − 2A sin 2t ,x′′ = − 4A cos 2t なので,x′, x′′ を元の方程式に代入すると 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 27 27
  155. 演習問題(3) ′′ x + x = cos 2t の一般解を求めよ。 このように「勘」をはたらかせる

    特殊解を,x = A cos 2t と見当をつける x′ = − 2A sin 2t ,x′′ = − 4A cos 2t なので,x′, x′′ を元の方程式に代入すると −4A cos 2t + A cos 2t = cos 2t 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 27 27
  156. 演習問題(3) ′′ x + x = cos 2t の一般解を求めよ。 このように「勘」をはたらかせる

    特殊解を,x = A cos 2t と見当をつける x′ = − 2A sin 2t ,x′′ = − 4A cos 2t なので,x′, x′′ を元の方程式に代入すると −4A cos 2t + A cos 2t = cos 2t (−4A + A − 1)cos 2t = 0 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 27 27
  157. 演習問題(3) ′′ x + x = cos 2t の一般解を求めよ。 このように「勘」をはたらかせる

    特殊解を,x = A cos 2t と見当をつける x′ = − 2A sin 2t ,x′′ = − 4A cos 2t なので,x′, x′′ を元の方程式に代入すると −4A cos 2t + A cos 2t = cos 2t (−4A + A − 1)cos 2t = 0 1 これが t に関係なくなりたつから, A = − 3 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 27 27
  158. 演習問題(3) ′′ x + x = cos 2t の一般解を求めよ。 このように「勘」をはたらかせる

    特殊解を,x = A cos 2t と見当をつける x′ = − 2A sin 2t ,x′′ = − 4A cos 2t なので,x′, x′′ を元の方程式に代入すると −4A cos 2t + A cos 2t = cos 2t (−4A + A − 1)cos 2t = 0 1 これが t に関係なくなりたつから, A = − 3 1 非斉次形の方程式の特殊解(のひとつ)は x = − cos 2t 3 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 27 27
  159. 演習問題(3) ′′ x + x = cos 2t の一般解を求めよ。 このように「勘」をはたらかせる

    特殊解を,x = A cos 2t と見当をつける x′ = − 2A sin 2t ,x′′ = − 4A cos 2t なので,x′, x′′ を元の方程式に代入すると −4A cos 2t + A cos 2t = cos 2t (−4A + A − 1)cos 2t = 0 1 これが t に関係なくなりたつから, A = − 3 1 非斉次形の方程式の特殊解(のひとつ)は x = − cos 2t 3 あとは,対応する斉次形の方程式 x′′ + x = 0 の一般解を求めてください。 2026年度秋学期 応用数学(解析) / 関西大学総合情報学部 浅野 晃 27 27