巡回畳み込み

提供: testwiki
ナビゲーションに移動 検索に移動

巡回畳み込み(じゅんかいたたみこみ、テンプレート:Lang-en)あるいは循環畳み込み(じゅんかんたたみこみ、テンプレート:Lang-en)とは、二つの非周期関数に対し、一方のテンプレート:仮リンクを用いて、もう一方を通常の方法で畳み込むことを意味する。このような状況は巡回畳み込み定理の文脈において現れる。もし無限の積分区間が、ちょうど一周期分へと減らされた場合には、両方の関数の周期和として、同様の畳み込み作用を表現することが出来る。このような状況は離散時間フーリエ変換の文脈において現れ、周期畳み込みとも呼ばれる。特に、二つの離散シーケンスの積に対する離散時間フーリエ変換は、各シーケンスに対するその変換の周期畳み込みである[1]

周期 T周期関数 xT と、他の関数 h との畳み込みはふたたび周期関数となり、次のような形で、有限区間の積分として表現される:

(xT*h)(t)=def h(τ)xT(tτ)dτ=toto+ThT(τ)xT(tτ)dτ.[2]

ここで to は任意のパラメータであり、hTh の周期和で、それは次のように定義される:

hT(t) =def k=h(tkT)=k=h(t+kT).

この演算は関数 xThT周期畳み込みである。もし xT が他の関数 x の周期和であるなら、同様の演算は関数 xh巡回畳み込みと呼ばれる。

離散シーケンス

同様に、周期 N の離散シーケンスに対して、関数 hx巡回畳み込みを次のように書くことが出来る:

(xN*h)[n] =def m=h[m]xN[nm]=m=(h[m]k=x[nmkN]).

これは行列の乗法に対応し、その積分変換の核は巡回行列である。

関連項目

注釈

テンプレート:Reflist

参考文献


テンプレート:Math-stub

  1. もし連続関数 x(t) のサンプルからなるシーケンス x[n] のフーリエ変換が X(ƒ) であるなら、その離散時間フーリエ変換は X(ƒ) の周期和となる(離散時間フーリエ変換を参照されたい)。
  2. 証明:
    h(τ)xT(tτ)dτ
    =k=[to+kTto+(k+1)Th(τ)xT(tτ) dτ]=ττ+kT k=[toto+Th(τ+kT)xT(tτkT) dτ]=toto+T[k=h(τ+kT)xT(tτkT)xT(tτ),by periodicity] dτ=toto+T[k=h(τ+kT)]=def hT(τ)xT(tτ) dτ(QED)