くし型関数

記事一覧	公式 （2013-11-11 差し替え）

F comb = comb に関する「くし型関数」「Dirac comb」の Google 検索を行いましたが

[1] くし型関数 - Wikipedia
    http://ja.wikipedia.org/wiki/%E3%81%8F%E3%81%97%E5%9E%8B%E9%96%A2%E6%95%B0
    http://en.wikipedia.org/wiki/Dirac_comb
[2] デジタル情報処理 標本化定理
    http://www.image.med.osaka-u.ac.jp/member/yoshi/ouec_lecture/digital_processing/handout/Sampling_theorem.pdf
[3] Fourier Transforms
    http://www.roymech.co.uk/Useful_Tables/Maths/fourier/Maths_Fourier_transforms.html

等，公式の紹介と標本化定理への応用しか見つけることができませんでした．仕方がないので，公式は丸暗記しましょう．丸暗記するときは F と comb の定義として上図の式を採用すると

  F comb = comb,  F rect = sinc,  F sinc = rect

が成立します．また

  (M_T y)(t) = y(t/T),  (x ・y)(t) = x(t)y(t)

と定義すると，一般に F M_T = |T| M_1/T F ですから， T > 0 ならば

  F (x ・M_Tcomb) = F x * T M_1/Tcomb

であり，この式で標本化定理を説明できます（* は畳み込み積分）．

蛇足： F^-1 = F³ = F M_-1 ですから，x が偶関数であればF^-1 x = F x です．
補足： 探していたのは名著

[4] A.パポリス著，大槻・平岡訳，工学のための応用フーリエ積分，オーム社，1967．ISBNなし．

の第３章に近い説明の資料です．２次元フーリエ変換の性質についてはフーリエ光学のバイブル

[5] J. W. Goodman, Introduction To Fourier Optics, ISBN-13: 978-0974707723.

がお薦めですが訳書がないかもしれません．