• 検索結果がありません。

波動方程式の初期値問題のフーリエ級数展開による解法

N/A
N/A
Protected

Academic year: 2021

シェア "波動方程式の初期値問題のフーリエ級数展開による解法"

Copied!
18
0
0

読み込み中.... (全文を見る)

全文

(1)

. .

.. .

.

.

波動方程式の初期値問題のフーリエ級数展開による解法

樋口さぶろお

龍谷大学理工学部数理情報学科

現象の数学B L13(2012-01-17 Tue)

今日の目標

.

.

.

1 フーリエ級数展開を用いて初期条件を満たす解 を見つけられるようになろう

http://hig3.net

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 1 / 18

(2)

前回の復習

Quiz略解:振動の初期条件 x(t) = 4 cos(3t−16π) = 2√

3 cos(3t) + 2 sin(3t).

Quiz略解:振動の初期条件 x(t) = 2√

2 cos(2t53π) =√

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

(3)

前回の復習

とおいてみる.

∂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(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(Lx) cos(2πvL t).

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 3 / 18

(4)

前回の復習

見通しのよい人は,初期条件の時間微分が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

(5)

前回の復習

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(Lx)

よって,A2 =B1 = 0,A1=2, B2 =2πv3L とすると初期条件が満たさ れる.

条件を満たす解は

u(x, t) =−2 sin(Lπx) cos(πvLt)−2πv3L sin(Lx) sin(2πvL t).

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 5 / 18

(6)

フーリエ級数変換 固有モードの直交関係

霊感解法卒業前夜

`, m= 1,2,3, . . ..

.

.

.. .

.

.

π

0

sinsindθ= π2δ`m = π2 × {

1 (`=m) 0 (`6=m) クロネッカーのδ記号

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 6 / 18

(7)

フーリエ級数変換 固有モードの直交関係

変数変換 θ= πLx により,

2 L

L

0

sin

L

x sin

L

x dx

=δ`m. he`(x)i`=1,2,3,··· は‘正規直交基底’.

e

`

(x) =

2

L

sin

L

x

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 7 / 18

(8)

フーリエ級数変換 固有モードの直交関係

もうちょっと練習.

θnsinθ の不定積分

³

sinθdθ=cosθ

θsinθdθ=−θcosθ+ sinθ

θ2sinθdθ=(2−θ2) cosθ+ 2θsinθ ...

µ ´

これは,部分積分を繰り返して証明できる.

じゃあ ∫ L

0

x2sinLxdx=

?

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 8 / 18

(9)

フーリエ級数変換 固有モードの直交関係

L 0

x

2

sin

L

x dx = 2L

3

`

3

π

3

(1 ( 1)

`

)+ L

3

( 1)

`

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 9 / 18

(10)

フーリエ級数変換 固有モードの直交関係

霊感解法卒業

.

フーリエ級数変換による解法

.

.

.

.. .

.

.

固定境界条件の波動方程式を,次の初期条件のもとで解け. u(x,0) = 1cos(Lx), ∂u∂t(x,0) = 0.

一般解は,

u(x, t) =

`=1

sin(Lx)[A`cos(`πvL t) +B`sin(`πvL t)]

=A1sin(Lx) cos(1πvL t) +A2sin(Lx) cos(2πvL t) +· · ·+ [B] u(x,0) =

∂u

∂t(x,0) =

境界条件から A`, B` を定めよう. 霊感がないので,両辺に

L

0

dx e

m

(x) ×

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 10 / 18

(11)

フーリエ級数変換 固有モードの直交関係

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 11 / 18

(12)

フーリエ級数変換 固有モードの直交関係

A

m

=

π1

(1 ( 1)

m

)(

m2

m+21

m12

), B

m

=

0.

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 12 / 18

(13)

フーリエ級数変換 Quiz

.

三角関数の正規直交関係

.

.

.

.. .

.

.

e`(x) =

2

LsinLx に対して

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

(14)

フーリエ級数変換 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

LsinLx は関数からなるベクトル空間の‘ 規直交基底’.

関数の間の内積は

f ·g=

L

0

f(x)g(x) dx

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 14 / 18

(15)

フーリエ級数変換 Quiz

.

問題(正規直交基底での展開)

.

.

.

.. .

.

.

u= (1

02

)のときに内積を使って c1, c2, c3 を求めよう.

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 15 / 18

(16)

フーリエ級数変換 Quiz

.

問題(波動方程式の初期値問題)

.

.

.

.. .

.

.

区間 (0, L) で,波動方程式

2u

∂t2(x, t) =v22u

∂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

LsinL(−Lx) dx ってさっきの公式で計算できる…

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 16 / 18

(17)

フーリエ級数変換 Quiz

ファイナルトライアル計画

!

.

.

外部記憶ペーパーあり. 別紙参照. 出題計画2012-01-24に情報を更新します.

基準座標を利用して2物体の連成振動の運動を求めよう(プチテスト再出題)

固有周波数と固有モードを利用して2物体の連成振動の運動を求めよう(プチテスト再 出題)

3物体の連成振動の固有周波数と固有モードを求めよう(L08)公式使用不可.行列の固 有値と固有ベクトル求める方法で.

うなりのx(t)のグラフを描こう(L08)

N物体の固有周波数と固有モードと波数を求めよう(L09)外部記憶ペーパーに書いて おいた公式使用可.

波動方程式の直観的意味(L10)

波動方程式の固有モード,分散関係(L11) 波動方程式の初期値問題の霊感解法(L12) フーリエ級数変換を利用した初期値問題の解(L13) ダランベールの進行波解(L14)

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 17 / 18

(18)

フーリエ級数変換 Quiz

おすすめのファイナルトライアル準備方法

去年のファイナルトライアルの問題と略解は公開してるけど,それより下 のリストに従って各回のquizを復習しておくことをお奨めします. 模範 解答を作ろうプロジェクトもやってます.

今日の範囲に対応する教科書のお奨め問題 フーリエ級数変換 ¨§小形§4.3¥¦

初期値問題¨§小形 例題4.3(p.72)¥¦

フーリエ 級数展開 ¨§小形 第4章演習問題[1](p81),[6][8](p.82)¥¦

補講

2012-01-243教室は1-107 欠席届

公務欠席届の提出機会は,今日の講義前後,来週の講義前後,ファイナル トライアルの講義前後,だけに限られます. まだ提出していない分がある 人は用意しておいてね.

樋口さぶろお (数理情報学科) L13波動方程式の初期値問題のフーリエ級数展開による解法現象の数学B(2011) 18 / 18

参照

関連したドキュメント

 一般に非線形発展方程式の一般解が与えられることは稀

を有理数とするとき、 を整数の組 で表示するため、 の分母を共通の

max itr 入力用 最大反復回数 (整数型) isort 入力用 ソートの種類 (整数型).. , fmzm 9.mod, fmzm.mod)

Van der Pol 方程式 平面の力学系の実用的な代表例と し て 15 緩和振動を

10 100 1000 10000 0.0001 0.001 0.01 .1 1 このグラフから、誤差= ON−1 N → +∞ であることが読みとれます。実はこれは Euler 法の持つ一般的な性質です。 実は Euler 法は収束があまり速くないので、実際には特殊な場合を除いて使われていませ ん。そこで、、、、 3 Runge–Kutta ルンゲ –

結論

( 書いた当時はそれなりに頑張ったので、作り直すにもかなり手間がかかる、ということです。 )

Davey-Stewartson 方程式の – 般の初期値問題の数値計算と厳密解 宇都宮大工矢嶋徹 (Tetsu Yajima) 山形大工 西成活裕 (Katsuhiro Nishinari)