. .
.. .
.
.
波動方程式の初期値問題のフーリエ級数展開による解法
樋口さぶろお
龍谷大学理工学部数理情報学科
現象の数学B L13(2012-01-17 Tue)
今日の目標
.
.
.
1 フーリエ級数展開を用いて初期条件を満たす解 を見つけられるようになろう
http://hig3.net
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 1 / 18
前回の復習
Quiz略解:振動の初期条件 x(t) = 4 cos(3t−16π) = 2√
3 cos(3t) + 2 sin(3t).
Quiz略解:振動の初期条件 x(t) = 2√
2 cos(2t−53π) =√
2 cos(2t)−√
6 sin(2t).
Quiz略解:波動の初期値境界値問題 固定境界条件のもとでの波動方程式 の一般解は
u(x, t) =
∑∞
`=1
sin(`πLx)[A`cos(`πvL t) +B`sin(`πvL t)]
初期条件はモード `= 1,2 だけを含むので, A3=A4=· · ·=B3 =B4 =· · ·= 0 として,
u(x, t) =
∑2
`=1
sin(`πLx)[A`cos(`πvL t) +B`sin(`πvL t)]
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 2 / 18
前回の復習
とおいてみる.
∂u
∂t(x, t) =
∑2
`=1
sin(`πLx)`πv
L [−A`sin(`πvL t) +B`cos(`πvL t)].
u(x,0) =
∑2
`=1
A`sin(`πLx) =−2 sin(πLx)−3 sin(2πLx)
∂u
∂t(x,0) =
∑2
`=1
`πv
L B`sin(`πLx) = 0
よって,B1 =B2 = 0,A1=−2, A2 =−3とすると初期条件が満たさ れる.
条件を満たす解は
u(x, t) =−2 sin(Lπx) cos(πvLt)−3 sin(2πLx) cos(2πvL t).
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 3 / 18
前回の復習
見通しのよい人は,初期条件の時間微分がzeroであることから B`= 0 を 見抜くでしょう.
Quiz略解:波動の初期値境界値問題 固定境界条件のもとでの波動方程式 の一般解は
u(x, t) =
∑∞
`=1
sin(`πLx)[A`cos(`πvL t) +B`sin(`πvL t)]
初期条件はモード `= 1,2 だけを含むので, A3=A4=· · ·=B3 =B4 =· · ·= 0 として,
u(x, t) =
∑2
`=1
sin(`πLx)[A`cos(`πvL t) +B`sin(`πvL t)]
とおいてみる.
∂u
∂t(x, t) =
∑2
`=1
sin(`πLx)`πv
L [−A`sin(`πvL t) +B`cos(`πvL t)].
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 4 / 18
前回の復習
u(x,0) =
∑2
`=1
A`sin(`πLx) =−2 sin(Lπx)
∂u
∂t(x,0) =
∑2
`=1
`πv
L B`sin(`πLx) =−3 sin(2πLx)
よって,A2 =B1 = 0,A1=−2, B2 =−2πv3L とすると初期条件が満たさ れる.
条件を満たす解は
u(x, t) =−2 sin(Lπx) cos(πvLt)−2πv3L sin(2πLx) sin(2πvL t).
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 5 / 18
フーリエ級数変換 固有モードの直交関係
霊感解法卒業前夜
`, m= 1,2,3, . . ..
.
.
.. .
.
.
∫ π
0
sin`θsinmθdθ= π2δ`m = π2 × {
1 (`=m) 0 (`6=m) クロネッカーのδ記号
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 6 / 18
フーリエ級数変換 固有モードの直交関係
変数変換 θ= πLx により,
2 L
∫
L0
sin
`πLx sin
mπLx dx
=δ`m. he`(x)i`=1,2,3,··· は‘正規直交基底’.
e
`(x) =
√
2L
sin
`πLx
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 7 / 18
フーリエ級数変換 固有モードの直交関係
もうちょっと練習.
θnsinθ の不定積分
¶ ³
∫
sinθdθ=−cosθ
∫
θsinθdθ=−θcosθ+ sinθ
∫
θ2sinθdθ=(2−θ2) cosθ+ 2θsinθ ...
µ ´
これは,部分積分を繰り返して証明できる.
じゃあ ∫ L
0
x2sin`πLxdx=
?
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 8 / 18
フーリエ級数変換 固有モードの直交関係
∫
L 0x
2sin
`πLx dx = − 2L
3`
3π
3(1 − ( − 1)
`)+ L
3( − 1)
``π
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 9 / 18
フーリエ級数変換 固有モードの直交関係
霊感解法卒業
.
フーリエ級数変換による解法
.
.
.
.. .
.
.
固定境界条件の波動方程式を,次の初期条件のもとで解け. u(x,0) = 1−cos(2πLx), ∂u∂t(x,0) = 0.
一般解は,
u(x, t) =
∑∞
`=1
sin(`πLx)[A`cos(`πvL t) +B`sin(`πvL t)]
=A1sin(1πLx) cos(1πvL t) +A2sin(2πLx) cos(2πvL t) +· · ·+ [B] u(x,0) =
∂u
∂t(x,0) =
境界条件から A`, B` を定めよう. 霊感がないので,両辺に
∫
L0
dx e
m(x) ×
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 10 / 18
フーリエ級数変換 固有モードの直交関係
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 11 / 18
フーリエ級数変換 固有モードの直交関係
A
m=
π1(1 − ( − 1)
m)(
m2−
m+21−
m1−2), B
m=
0.
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 12 / 18
フーリエ級数変換 Quiz
.
三角関数の正規直交関係
.
.
.
.. .
.
.
e`(x) =
√2
Lsin`πLx に対して
∫ L
0
e`(x)em(x) dx=δ`m = {
0 (`6=m) 1 (`=m)
.
フーリエ級数展開
.
.
.
.. .
. .
f(x) =
∑∞
`=1
c`e`(x),という展開をフーリエ級数展開という. 両辺に
∫ L
0
dx em(x)×することで,cm =
∫ L
0
em(x)f(x) dxと求められ る(フーリエ級数変換)
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 13 / 18
フーリエ級数変換 Quiz
どっかでみたことない
? ベクトルu=(1
23
) とする.
正規直交基底
e1= 12 (√1
2 1
)
,e2 = √1 2
( 1
−01
)
,e3= 12 ( 1
−√ 2 1
) を とるとき,
c1e1+c2e2+c3e3 =u となるように 係数 c1, c2, c3 を決めよう.
霊感解法 c1, c2, c3 を適当にきめてあうかどうかやってみる.
ちょっと進歩した霊感解法各成分で,c1, c2, c3 についての連立方程式をた ててとく(先週の方法)
フーリエ級数変換 ci=ei·u(今週の方法) he`(x)i`=1,2,3,···,e`(x) =
√2
Lsin`πLx は関数からなるベクトル空間の‘正 規直交基底’.
関数の間の内積は
f ·g=
∫ L
0
f(x)g(x) dx
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 14 / 18
フーリエ級数変換 Quiz
.
問題(正規直交基底での展開)
.
.
.
.. .
.
.
u= (1
02
)のときに内積を使って c1, c2, c3 を求めよう.
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 15 / 18
フーリエ級数変換 Quiz
.
問題(波動方程式の初期値問題)
.
.
.
.. .
.
.
区間 (0, L) で,波動方程式
∂2u
∂t2(x, t) =v2∂2u
∂x2(x, t) を考える(L, v >0は定数).
固定境界条件 u(0, t) =u(L, t) = 0, 初期条件u(x,0) =x2−Lx,∂u∂t(x,0) = 0
のもとで解を求めよう. ただし,解は固有モードの和として書けばいい. しかも上で出てきた公式はぜんぶ使っちゃっていい.
Hint:
∫L
0
√2
Lsin`πLx×(−Lx) dx ってさっきの公式で計算できる…
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 16 / 18
フーリエ級数変換 Quiz
ファイナルトライアル計画
!.
.
外部記憶ペーパーあり. 別紙参照. 出題計画2012-01-24に情報を更新します.
基準座標を利用して2物体の連成振動の運動を求めよう(プチテスト再出題)
固有周波数と固有モードを利用して2物体の連成振動の運動を求めよう(プチテスト再 出題)
3物体の連成振動の固有周波数と固有モードを求めよう(L08)公式使用不可.行列の固 有値と固有ベクトル求める方法で.
うなりのx(t)のグラフを描こう(L08)
N物体の固有周波数と固有モードと波数を求めよう(L09)外部記憶ペーパーに書いて おいた公式使用可.
波動方程式の直観的意味(L10)
波動方程式の固有モード,分散関係(L11) 波動方程式の初期値問題の霊感解法(L12) フーリエ級数変換を利用した初期値問題の解(L13) ダランベールの進行波解(L14)
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 17 / 18
フーリエ級数変換 Quiz
おすすめのファイナルトライアル準備方法
去年のファイナルトライアルの問題と略解は公開してるけど,それより下 のリストに従って各回のquizを復習しておくことをお奨めします. 模範 解答を作ろうプロジェクトもやってます.
今日の範囲に対応する教科書のお奨め問題 フーリエ級数変換 ¨§小形§4.3¥¦
初期値問題¨§小形 例題4.3(p.72)¥¦
フーリエ 級数展開 ¨§小形 第4章演習問題[1](p81),[6][8](p.82)¥¦
補講
2012-01-24火3教室は1-107 欠席届
公務欠席届の提出機会は,今日の講義前後,来週の講義前後,ファイナル トライアルの講義前後,だけに限られます. まだ提出していない分がある 人は用意しておいてね.
樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 18 / 18