6. フーリエ級数：特性と パーセバル等式

6. フーリエ級数：特性と パーセバル等式

応用数学 IV

（ Applied Mathematics IV ）

(Fourier Series: Parseval’s identity)

2

5.1 周期２ L の場合

任意の区分的に連続の関数

f(t)

に関して、有限の長さ

2L(L>0)

を切り 出して、周期

2L

の周期関数として扱うことができる。

フーリエ級数の復習

) sin

cos

( t

L b n

L t

a_n n _{ n}  (p.182-183)

5.2.1 偶関数と奇関数のフーリエ級数

注意：関数

f(t)

のフーリエ級数は関数の奇偶性に関係する

5.2.2 余弦と正弦展開 (Half Range Fourier Sine or Cosine Series)

5.3.2 複素フーリエ級数

公式：

～

inx n

n n

inx n inx

n

ne c c e c e

c x

f

  

^





















1 0

1

)

( ～

ここで

i e nx e

e nx e

inx inx

inx inx

sin 2 2 ,

cos



  

 

(Complex Notation for Fourier Series)

6.1 項別微分

１）区分的に滑らか：

関数 f(x) が連続で、f’(x) が区分的に連続であれば、関数 f(x) を区分的 に 滑らかという

2)項別微分：

：

6.1.1

項別微分

定義：

) sin cos

2 ( )

(

1

0 a nx b nx

x a

f _n

n

n 





^



～ フーリエ級数

の両側に対して微分を行うと

) cos sin

(

] )' sin (

)' cos [(

)}' sin

cos 2 (

{ ) ( '

1 1

1 0

nx n

b nx n

a

nx b

nx a

nx b

nx a a

x f

n n

n

n n

n

n n

n

































～

) ( )

( ,

) ( )

( f nb f b f na f

a_n   _{n n}    _n

例題１：

となる。 のフーリエ展開を求めよf '(x) ) sin cos

2 ( )

(

1

0 a nx b nx

x a

f _n

n

n 





^



～

関数f(x)のフーリエ展開は

6.1.2

項別微分可能と不可能な関数

1)項別微分可能な関数

) (

, )

(x  x²   x  f

3 ) 3 cos 2

2 (cos cos

3 4 ^{2 2}

2

2   x  x 

x

x 

～

関数のフーリエ展開:

上式の両側を微分すると、次式が得られる。

3 ) 3 sin 2

2 (sin sin

4

2  x  x 

x x～

2)項別微分不可能な関数

) (

, )

(x  x   x  f

関数のフーリエ展開:

3 ) 3 sin 2

2 (sin sin

2  x  x 

x x～

上式の両側を微分すると、次式が得られる。

) 3

cos 2

cos (cos

2

1～ x x x

特にx=0，上式右側は となり収束しない2(1-1+1-1….)

) (

, )

(x  x²   x f

) (

, )

(x  x   x  f

1)

関数

f(x)

が連続で、

f’(x)

が区分 的に連続であれば、項別微分が 可能である。

2)

項別微分したフーリエ級数は元

の級数より収束速度が遅くなる。

6.2 項別積分

： 6.2.1

項別積分

～

～

6.2.2

項別積分の例

) (

, )

(x  x   x

関数 のフーリエ級数の項別積分を求めよ f

項別積分したフーリエ級数

は元の級数より速く収束す

るので、元の級数は必ずし

も収束しなくても良い。

例題２：

12

6.3 ベッセルの不等式

：

6.3.1

ベッセルの不等式

なぜ？

n→∞

でもギブス現象が 消えない。

犯人は“区分的に連 続” という条件である。

フーリエの定理

ギブス現象

(Bessel’s Inequality) p.194, Solved problem 7.15

6.3.2

ベッセルの不等式の簡単な証明

上式

上式の左側を演算すると

6.4 パーセバル等式

：

6.4.1

パーセバル等式

証明： 区分的に滑らかな関数f(x)のフーリエ級数は関数f(x)に一様収束する。

一様収束：

a≦x≦b上の関数列S_n(x)は 次式を満足すれば

関数f(x)に一様収束という

0

| ) ( ) (

|  



 S x f x Lim _n

n

(Parseval’s Identity), p.194, Solved problem 7.13

6.4.2

パーセバル等式が成り立つ関数例

) (

, )

(x  x²  x f

) (

, )

(x  x   x f

-1 1

) (

,

|

| )

(x  x   x f















 

0 ,

1

0 ,

) 1

( x

x x

f 

 1)関数 f⁽x⁾x^{2, (}^  x^) 2)関数 ^{f(x)|x|, ( x)}

1)区分的に滑らかの定義：

関数f(x)が連続で、f’(x)が区分的に連続であれば、関数f(x)を区分的に滑らかという。

16

6.4.3

パーセバル等式の意味と応用

パーセバル等式

＝

パーセバル等式

は を表している。

6.4.4

信号のパワースペクトル

2L

番目の周波数 基本周波数

k L n f

L f

n /2 :

: 2 / 1







2 1|

|c

2 2|

|c

2 3|

|c

2 4 |

|c

2 5|

|c

2 6|

|c

power

) (t f



















L L

L t in n

L t in n

dt e

t L f

c

e c t

f

/ /

) 2 (

1 ) (





複素フーリエ級数：

2 1

2 0 2

2( ) | | | | 2 | |

1

  

^

 













n

n L

L n

n c c

c dt

t L f

信号のパワースペクトル：

パーセバル等式より

t t

f t

f n Lt

t n L n

n

n 





 _  _{   }

2 )

( 2 2

2

例題 3 ：

(p.194, Solved problem 7.14)



^











n

n i

i

w n m x n e

e m

X ( ,

^

) ( ) ( )

^

 







 

L t

L t t

w

^L

t

|

| ,

0

|

| , ) cos(

1 ) (

(

²

1 

窓関数（ハンニング窓、幅： 2L ） 短時間フーリエ変換：

フーリエ変換は時間に関する信号を周波数に関する信号へ変換する手法で、時間に関 する情報を失ってしまう。時間と周波数の両方の情報を持つために短時間フーリエ変 換が提案されている。

)) sin(

) )(cos(

(n n i n

w







逆短時間フーリエ変換：





^{  }





2

0

( , )

) ( 1 2

) 1

( X m e e d

n n win

x

^{i i n}

 

 w n l n

win ( ) ( )

6.5 短時間フーリエ変換と信号解析 ( 発展 )

男性

/korewa/

短時間パワー

波形

サウンドスペクトログラム

非定常的 定常的

20～40ms

音声の解析例

宿題：

1)

2) 授業内容の復習

教科書：p.182-185を読み、例題（Solved problems）：7.13-7.16を復習し て以下の問題を解くこと