畳み込み









曖昧さ回避
 プログラミングにおける畳み込みについては「重畳関数」をご覧ください。








2つの正方形による畳み込み。解として得る波形は三角波となる。黄色の領域で示されている面積が2つの方形波の合成積である。




正方形がRC回路に入力された場合の出力信号波形を得るために、RC回路のインパルス応答と方形波の畳み込みを行っている。 黄色の領域で示されている面積が合成積である。


畳み込み（たたみこみ、英: convolution）とは関数 g を平行移動しながら関数 f に重ね足し合わせる二項演算である。畳み込み積分、合成積、重畳積分、あるいは英語に倣いコンボリューションとも呼ばれる。




目次






  • 1 歴史


  • 2 一次元


    • 2.1 定義


    • 2.2 性質


    • 2.3 応用


      • 2.3.1 確率測度における畳み込み


      • 2.3.2 多項式の掛け算


      • 2.3.3 線形システム


      • 2.3.4 音響学


      • 2.3.5 光学および画像処理


      • 2.3.6 統計学






  • 3 高次元


    • 3.1 コンパクト台付き函数


    • 3.2 可積分函数


    • 3.3 急減少函数


    • 3.4 分布


    • 3.5 測度




  • 4 群上の畳み込み


    • 4.1 局所コンパクト群上の不変積分の場合


    • 4.2 よく知られた例の導出


    • 4.3 群上の測度の畳み込み




  • 5 注釈


  • 6 出典


  • 7 参考文献


  • 8 関連項目


  • 9 外部リンク





歴史


畳み込み積分が用いられた最初期の例の一つは d'Alembert (1754) Recherches sur différents points importants du système du monde におけるテイラーの定理の導出にある[1]。また


∫f(u)⋅g(x−u)du{displaystyle int f(u)cdot g(x-u){mathit {du}}}{displaystyle int f(u)cdot g(x-u){mathit {du}}}

の形の式は Lacroix（英語版） Treatise on differences and series[注釈 1] の505頁で用いられ[2]、そのすぐ後にLaplace, Fourier, Poissonらの研究に畳み込み演算が現れている。名称自体が広く用いられるようになるには1950年代あるいは1960年代を待たなければならない。それに先立ってはドイツ語: faltung（「畳み込み」）、composition product（「合成積」）、 superposition integral（「重ね合わせ積分」）などとも呼ばれ、あるいはカールソンの積分 (Carson's integral)[3]
とも言った。現代的な定義がより古い用例に馴染むわけでもないが、それでも早くは1903年ごろには出現している[4][5]。


合成積の特別の場合としての演算


∫0tφ(s)ψ(t−s)ds(0≤t<∞){displaystyle int _{0}^{t}varphi (s)psi (t-s){mathit {ds}}quad (0leq t<infty )}{displaystyle int _{0}^{t}varphi (s)psi (t-s){mathit {ds}}quad (0leq t<infty )}

は Volterra (1913)
"Leçons sur les fonctions de linges" にある[6]



一次元



定義


関数 f, g の畳み込みは f ∗ g と書き、以下のように定義される：


(f∗g)(t)=∫f(τ)g(t−τ)dτ{displaystyle (f*g)(t)=int f(tau )g(t-tau ),dtau }(f * g)(t) = int f(tau) g(t - tau), dtau

積分範囲は関数の定義域に依存する。通常は区間 (−∞, +∞) で定義される関数を扱うことが多いので、積分範囲は −∞ から +∞ で計算されることが多い。一方 f, g が有限区間でしか定義されない場合には、g(t − τ) が定義域内に入るように f, g を周期関数と見なして計算される。この周期関数と見なして畳み込みをすることを循環畳み込み（じゅんかんたたみこみ、英: cyclic convolution）と呼ぶ。


離散値で定義された関数に対する畳み込みは、積分のかわりに総和を使って同様に定義される：


(f∗g)(m)=∑nf(n)g(m−n){displaystyle (f*g)(m)=sum _{n}{f(n),g(m-n)}}(f * g)(m) = sum_n {f(n) , g(m - n)}

総和の範囲も関数の定義域に依存し、関数が有限区間でしか定義されていない場合は周期関数とみなして畳み込み演算が行われる。また、離散系の場合、定義域外の値を 0 と定義し直した関数での畳み込みをよく行われる。これを線形畳み込み（せんけいたたみこみ、英: linear convolution）と呼ぶ。線形畳み込みは直線畳み込み（ちょくせんたたみこみ）とも呼ばれる。なお離散系の場合は積分を使わずに総和を使うので、畳み込み積分・重畳積分とは呼ばず、畳み込み和・重畳和と呼ぶ。



性質


積分演算に由来する性質として以下の性質がある。



交換律

f∗g=g∗f{displaystyle f*g=g*f}f*g = g*f

結合律

(f∗g)∗h=f∗(g∗h){displaystyle (f*g)*h=f*(g*h)}(f*g)*h = f*(g*h)

分配律

f∗(g+h)=(f∗g)+(f∗h){displaystyle f*(g+h)=(f*g)+(f*h)}f*(g+h) = (f*g) + (f*h)


スカラー倍

a(f∗g)=(af)∗g=f∗(ag){displaystyle a(f*g)=(af)*g=f*(ag)}a(f*g) = (a f)*g = f*(a g)

ただし、a は任意の実数または複素数。

微分

D(f∗g)=Df∗g=f∗Dg{displaystyle {rm {D}}(f*g)={rm {D}}f*g=f*{rm {D}}g}{rm D}(f*g) = {rm D}f*g = f*{rm D}g

ただし、D は微分演算子（離散系の場合は Df(n) = f(n + 1) − f(n)）。



畳み込み定理（英語版）

F(f∗g)=F(f)⋅F(g){displaystyle {mathcal {F}}(f*g)={mathcal {F}}(f)cdot {mathcal {F}}(g)}mathcal{F}(f * g) = mathcal{F}(f) cdot mathcal{F}(g)


ただし F(f){displaystyle {mathcal {F}}(f)}mathcal{F}(f) は関数 f のフーリエ変換である。この定理はラプラス変換・Z変換やメリン変換といった変換に対しても適用できる。


フーリエ変換を使って畳み込み演算を単純な掛け算に変換することが出来る。離散系での関数の場合、定義通りの畳み込み計算をしないで、関数 f, g の高速フーリエ変換 (FFT) を掛け算した結果を逆高速フーリエ変換 (IFFT) をすることで、高速に畳み込みの計算処理をするのが一般的である。



応用



確率測度における畳み込み


集合関数の一種である確率測度の畳み込みは次のように表現される。確率測度 μ1, μ2 において任意のボレル集合 B に対し、


(μ1∗μ2)(B)=∫1B(x+y) μ1(dx)μ2(dy){displaystyle (mu _{1}*mu _{2})(B)=int 1_{B}(x+y) mu _{1}(dx)mu _{2}(dy)}(mu_1 *mu_2 )(B) = int 1_B (x +y) mu_1(dx)mu_2(dy)

と表現される．ここで1BはBの定義関数である．これは μ1, μ2 を集合関数として捉えて、変数変換することで求まる。これにより、μ1, μ2 を分布に持つ確率変数 X, Y においてその和 X + Y の分布が畳み込みにあたることが分かる。



多項式の掛け算


多項式の掛け算の結果の係数列は、元の多項式の係数列の線形畳み込みになる。実際


(∑i=0maixi)(∑j=0lbjxj)=∑k=0m+l(∑i+j=kaibj)xk=∑k=0m+l(∑i=0kaibk−i)xk{displaystyle left(sum _{i=0}^{m}a_{i}x^{i}right)left(sum _{j=0}^{l}b_{j}x^{j}right)=sum _{k=0}^{m+l}left(sum _{i+j=k}a_{i}b_{j}right)x^{k}=sum _{k=0}^{m+l}left(sum _{i=0}^{k}a_{i}b_{k-i}right)x^{k}}<br /> left(sum_{i=0}^m a_i x^i right)left(sum_{j=0}^l b_j x^jright)<br /> = sum_{k=0}^{m+l}left(sum_{i+j=k} a_i b_j right)x^k<br /> = sum_{k=0}^{m+l}left(sum_{i=0}^k a_i b_{k-i} right)x^k<br />

であり、掛け算の結果の係数が a*b となる。



線形システム


電気回路といった古典的な時不変（シフト不変）線形システムは、任意の入力 x(t) に対する出力 y(t) が x(t) とインパルス応答 h(t) の畳み込みで記述できる：


y(t)=h(t)∗x(t){displaystyle y(t)=h(t)*x(t)}y(t) = h(t) * x(t)

ここで特に、入力 x(t) がデルタ関数 δ(t) のとき出力は h(t) そのものになる。


ここで上式の両辺をフーリエ変換もしくはラプラス変換（離散系の場合はZ変換）すると、#畳み込み定理より下式のようになる。


Y=HX{displaystyle Y=HX}Y = H X

ここで、


H=YX{displaystyle H={frac {Y}{X}}}H = frac{Y}{X}

を伝達関数といい、この式は古典制御論の基礎となっている。



音響学


エコーは元の音波と、音を反射するさまざまな物体に因る特性（インパルス応答）との畳み込みで記述される。カラオケやシンセサイザーに搭載されているエコー機能は、この畳み込みの効果を電気回路もしくはコンピュータでシミュレートすることで実現している。



光学および画像処理


撮像時のブレなどの多くのぶれ (blur) は畳み込みで記述できる。例えば、ピントがぼけた写真は、ピントがあった仮想的な画像と、絞りの特性を示す円との畳み込みである。また被写体等の動きによるブレも、静止した仮想的な画像と動きの特性との畳み込みであり、グラフィックソフトウェアのモーションブラーはこの畳み込み演算を計算によりシミュレートすることで実現している。


画像認識においても、異なるスケールの画像を認識するにあたり、畳み込みでぶれをつくってから、画像処理することがある。



統計学


X, Y がそれぞれ独立な連続型確率変数とすると、和の S=X+Y{displaystyle S=X+Y}S=X+Y の確率密度関数は畳み込みによって与えられる。X, Y の確率密度関数をそれぞれ fX,fY{displaystyle f_{X},f_{Y}}f_{X},f_{Y} と表記すると、S の密度関数は以下の式で与えられる.


fS(s)=∫−∞∞fX(x)fY(s−x)dx{displaystyle f_{S}(s)=int _{-infty }^{infty }f_{X}(x)f_{Y}(s-x),dx}f_{S}(s)=int _{{-infty }}^{{infty }}f_{X}(x)f_{Y}(s-x),dx



高次元


Rd 上の複素数値函数 f, g の畳み込みは、それ自身が Rd 上の複素数値函数として


(f∗g)(x)=∫Rdf(y)g(x−y)dy=∫Rdf(x−y)g(y)dy{displaystyle (f*g)(x)=int _{mathbf {R} ^{d}}f(y)g(x-y),dy=int _{mathbf {R} ^{d}}f(x-y)g(y),dy}{displaystyle (f*g)(x)=int _{mathbf {R} ^{d}}f(y)g(x-y),dy=int _{mathbf {R} ^{d}}f(x-y)g(y),dy}

で定義されるものであるが、右辺の積分が存在してこれが定義可能となるには、f, g が無限遠において十分急速に減少する（英語版）必要がある。とはいえ、例えば g が無限遠において爆発するとしても、その影響は f が十分に急減少ならば容易に打ち消すことができるから、この積分の存在条件は込み入ったものも考え得る。この問題をクリアする函数の条件としてよく用いられる場合を以下に挙げる。



コンパクト台付き函数


f と g がともにコンパクト台連続函数ならば, それらの畳み込みは存在して, やはりコンパクト台連続函数となる[7]. より一般に, 一方がコンパクト台, 他方が局所可積分函数ならば, 畳み込み f ∗ g が定義されて連続である.


R 上では両者が局所自乗可積分の場合, あるいは両者がともに半無限区間 [a, +∞) (あるいはともに (-∞, a]) に台を持つ場合でも畳み込みが定まる.



可積分函数


f と g がともにL1(Rd)に属するルベーグ可積分函数ならば, それらの畳み込み f ∗ g が存在してやはり可積分である[8]. これはトネリの定理の帰結である. このことは ℓ1 に属する数列の離散畳み込みや、より一般の群上の L1 の畳み込みでも成立する.


同様にして, f ∈ L1(Rd) と g ∈ Lp(Rd) が 1 ≤ p ≤ ∞ のとき, f ∗ g ∈ Lp(Rd) かつ


‖f∗g‖p≤‖f‖1‖g‖p{displaystyle |{f}*g|_{p}leq |f|_{1}|g|_{p}}{displaystyle |{f}*g|_{p}leq |f|_{1}|g|_{p}}

を満たす. 特に p = 1 のとき, これにより L1 は畳み込みを積としてバナッハ代数を成す. (また, 等号成立は f と g がともに殆ど至る所非負のときである.)


より一般に, 畳み込みに対するヤングの不等式により, 畳み込み積は適当な Lp-空間上の連続双線型演算となることが従う. 具体的に書けば, 1 ≤ p,q,r ≤ ∞ が


1p+1q=1r+1{displaystyle {frac {1}{p}}+{frac {1}{q}}={frac {1}{r}}+1}{displaystyle {frac {1}{p}}+{frac {1}{q}}={frac {1}{r}}+1}

なる関係を満足するとして,


‖f∗g‖r≤‖f‖p‖g‖q(f∈Lp(Rd),g∈Lq(Rd)){displaystyle lVert f*grVert _{r}leq lVert frVert _{p},lVert grVert _{q}quad (fin L^{p}(mathbb {R} ^{d}),,gin L^{q}(mathbb {R} ^{d}))}{displaystyle lVert f*grVert _{r}leq lVert frVert _{p},lVert grVert _{q}quad (fin L^{p}(mathbb {R} ^{d}),,gin L^{q}(mathbb {R} ^{d}))}

となるから, 畳み込み積は Lp × Lq → Lr なる連続双線型写像を定めている.


畳み込みに対するヤングの不等式は, 循環畳み込みや離散畳み込みなどほかの文脈でも成立する. また, R 上では先に掲げた不等式はより厳しく評価できる: 先と同様の関係を持つ 1 < p, q, r < ∞ に対し, 定数 Bp,q < 1 が存在して


‖f∗g‖r≤Bp,q‖f‖p‖g‖q(f∈Lp(R),g∈Lq(R)).{displaystyle lVert f*grVert _{r}leq B_{p,q}lVert frVert _{p},lVert grVert _{q}quad (fin L^{p}(mathbb {R} ),,gin L^{q}(mathbb {R} )).}{displaystyle lVert f*grVert _{r}leq B_{p,q}lVert frVert _{p},lVert grVert _{q}quad (fin L^{p}(mathbb {R} ),,gin L^{q}(mathbb {R} )).}

Bp,q の最適値は Beckner (1975) にある[9]. より強い評価として 1 < p, q, r < ∞ に対し


‖f∗g‖r≤Cp,q‖f‖p‖g‖q,w{displaystyle lVert f*grVert _{r}leq C_{p,q}lVert frVert _{p},lVert grVert _{q,w}}{displaystyle lVert f*grVert _{r}leq C_{p,q}lVert frVert _{p},lVert grVert _{q,w}}

も得られる. ただし, || g ||q,w は弱 Lp-ノルムである. 1 < p, q, r < ∞ に対し弱い版のヤング不等式


‖f∗g‖r,w≤Cp,q‖f‖p,w‖g‖r,w{displaystyle |f*g|_{r,w}leq C_{p,q}|f|_{p,w}|g|_{r,w}}{displaystyle |f*g|_{r,w}leq C_{p,q}|f|_{p,w}|g|_{r,w}}

を考えれば, 畳み込みは連続双線型写像 Lp,w(R)×Lq,w(R)→Lr,w(R){displaystyle L^{p,w}(mathbb {R} )times L^{q,w}(mathbb {R} )to L^{r,w}(mathbb {R} )}{displaystyle L^{p,w}(mathbb {R} )times L^{q,w}(mathbb {R} )to L^{r,w}(mathbb {R} )} とも見られる[10].



急減少函数


コンパクト台付きや可積分な函数と同様に、函数が無限遠で十分急速に減少（英語版）すれば畳み込みができて, それらの畳み込みもまた急速に減少することは重要な性質である. とくに f と g が急減少函数ならば, それらの畳み込み f ∗ g もまた急減少函数となる. このことを, 畳み込みが微分と可換であるという事実と組み合わせれば, シュヴァルツ函数のクラスが畳み込みで閉じていることが導かれる[11].



分布


詳細は「シュヴァルツ超函数」を参照

適当な条件の下で, 函数と分布あるいは分布同士の畳み込みが定義できる. f がコンパクト台付き函数で G が分布ならば f ∗ G は, 函数の畳み込みの式を分布版にした


∫Rdf(x−y)dG(y){displaystyle int _{mathbf {R} ^{d}}f(x-y)dG(y)}{displaystyle int _{mathbf {R} ^{d}}f(x-y)dG(y)}

で定義される滑らかな函数である (G が密度函数 g を持てば通常の函数の畳み込みに書き直せる). より一般に, 試験函数 φ に対して結合律


f∗(g∗φ)=(f∗g)∗φ{displaystyle f*(g*varphi )=(f*g)*varphi }{displaystyle f*(g*varphi )=(f*g)*varphi }

が成り立つような一意的な方法で畳み込みの定義を拡張することができて, それは f が分布, g がコンパクト台付き分布のときには有効である[12].



測度


二つの有界変動ボレル測度 μ と ν の畳み込みとは,


∫Rdf(x)dλ(x)=∫Rd∫Rdf(x+y)dμ(x)dν(y){displaystyle int _{mathbf {R} ^{d}}f(x)dlambda (x)=int _{mathbf {R} ^{d}}int _{mathbf {R} ^{d}}f(x+y),dmu (x),dnu (y)}{displaystyle int _{mathbf {R} ^{d}}f(x)dlambda (x)=int _{mathbf {R} ^{d}}int _{mathbf {R} ^{d}}f(x+y),dmu (x),dnu (y)}

で定義される測度 λ を言う[13]. これは μ と ν を分布と見るとき, 前節にいう分布の畳み込みに一致する. また μ と ν がルベーグ測度に関して絶対連続であるとき, それらの密度函数の L1-函数としての畳み込みとも一致する.


測度の畳み込みは, 測度の全変動（英語版）をノルムとして


‖μ∗ν‖≤‖μ‖‖ν‖{displaystyle lVert mu *nu rVert leq lVert mu rVert ,lVert nu rVert }{displaystyle lVert mu *nu rVert leq lVert mu rVert ,lVert nu rVert }

を満たすという意味でのヤングの不等式が成立する. 有界変動測度の空間はバナッハ空間であるから, 測度の畳み込みは函数解析学の標準的な (分布の畳み込みに対しては適用できない) 方法で扱うことができる.



群上の畳み込み


適当な測度 λ を備えた群 G とその上の実または複素数値ルベーグ可積分函数 f と g が与えられれば, それらの畳み込みを


(f∗g)(x)=∫Gf(y)g(y−1x)dλ(y){displaystyle (f*g)(x)=int _{G}f(y)g(y^{-1}x),dlambda (y)}{displaystyle (f*g)(x)=int _{G}f(y)g(y^{-1}x),dlambda (y)}

で定義することができる. しかし一般には可換性が成り立たないことに注意すべきである.



局所コンパクト群上の不変積分の場合


典型的な場合として, G が局所コンパクトハウスドルフ位相群で λ が左ハール測度（左不変測度）の場合である. 右不変測度 ρ に対しても同様の積分


∫f(xy−1)g(y)dρ(y){displaystyle int f(xy^{-1})g(y),drho (y)}{displaystyle int f(xy^{-1})g(y),drho (y)}

を考えることができるが, G が単模でないならば両者は一致しない. 前者の定義では, 固定した函数 g による畳み込みが群への左移動作用と可換:


Lh(f∗g)=(Lhf)∗g{displaystyle L_{h}(f*g)=(L_{h}f)*g}{displaystyle L_{h}(f*g)=(L_{h}f)*g}

となることからよく選ばれる. さらにこの定義では後で述べる測度の畳み込みの定義と矛盾しない. 一方, 左不変ではなく右不変測度を取り, 後者の定義を用いれば右移動作用と可換になる.



よく知られた例の導出


局所コンパクトアーベル群上で, ある種の畳み込み定理（英語版） (畳み込みのフーリエ変換はフーリエ変換の点ごとの積に一致する) が成立する.


円周群 T にルベーグ測度を考えたものはよく知られた循環畳み込みの場合の例を与える: g ∈ L1(T) を固定して, ヒルベルト空間 L2(T) に作用するよく知られた作用素:


Tf(x)=12π∫Tf(y)g(x−y)dy{displaystyle T{f}(x)={frac {1}{2pi }}int _{mathbf {T} }{f}(y)g(x-y),dy}{displaystyle T{f}(x)={frac {1}{2pi }}int _{mathbf {T} }{f}(y)g(x-y),dy}

がとれる. 作用素 T はコンパクト作用素である. 直接計算により, その随伴作用素 T* は g(−y) による畳み込みであることが示せる. 上で掲げた可換性により, T は正規作用素 (T*T = TT* である. また T は平行移動作用素とも可換である. そのような畳み込み作用素と平行移動作用素全体の成す作用素族を S とすれば, S は正規作用素からなる可換族である. ヒルベルト空間上のスペクトル論に従えば, S を同時対角化する正規直交基底 {hk} が存在して, これが円周上の畳み込みを特徴付ける. 具体的には


hk(x)=eikx(k∈Z){displaystyle h_{k}(x)=e^{ikx}quad (kin mathbb {Z} )}{displaystyle h_{k}(x)=e^{ikx}quad (kin mathbb {Z} )}

がちょうど T の指標の全体の成す集合に一致する. この基底に属する各畳み込み作用素がコンパクト乗算作用素であることが, 上で述べた循環畳み込みに対する畳み込み定理としてみることができる.


離散畳み込みの例は位数 n の有限巡回群をとる. この場合の畳み込み作用素は巡回行列によって表現され, 離散フーリエ変換によって対角化することができる.


同様の結果が (アーベルとは限らない) コンパクト群 G に対しても知られている: 有限次元ユニタリ表現の行列要素の全体が L2(G) の正規直交基底を成し (ピーター–ワイルの定理（英語版）), 適当な意味での畳み込み定理が (フーリエ変換に基づく調和解析の他の多くの側面とともに) 引き続き満足される.



群上の測度の畳み込み


位相群 G 上の有限ボレル測度 μ と ν に対し, それらの畳み込み μ ∗ ν は G の各可測部分集合 E に対して


(μ∗ν)(E)=∬1E(xy)dμ(x)dν(y){displaystyle (mu *nu )(E)=iint 1_{E}(xy),dmu (x),dnu (y)}{displaystyle (mu *nu )(E)=iint 1_{E}(xy),dmu (x),dnu (y)}

で定義され, やはり有限測度となる. 実際, 全変動に関するヤングの不等式


‖μ∗ν‖≤‖μ‖‖ν‖{displaystyle lVert mu *nu rVert leq lVert mu rVert ,lVert nu rVert }{displaystyle lVert mu *nu rVert leq lVert mu rVert ,lVert nu rVert }

が満足される. G が局所コンパクト群で左ハール測度 λ を持ち, μ と ν が λ に関して絶対連続で各々密度函数を持つ場合には、畳み込み μ ∗ ν もまた絶対連続で, その密度函数は各測度の密度函数の (通常の函数としての) 畳み込みに一致する.


考える位相群が実数の加法群 (R, +) のとき, その上の確率測度 μ と ν をとれば, 測度の畳み込み μ ∗ ν は, 分布 μ および ν に従う独立確率変数 X および Y の和 X + Y の確率分布に対応する.



注釈





  1. ^ 百科辞典シリーズ Traité du calcul différentiel et du calcul intégral, Chez Courcier, Paris, 1797-1800. の最後の三巻




出典





  1. ^ Dominguez-Torres 2010, p. 2.


  2. ^ Dominguez-Torres 2010, p. 4.


  3. ^
    R. N. Bracewell (2005), “Early work on imaging theory in radio astronomy”, in W. T. Sullivan, The Early Years of Radio Astronomy: Reflections Fifty Years After Jansky's Discovery, Cambridge University Press, p. 172, ISBN 978-0-521-61602-7, https://books.google.com/books?id=v2SqL0zCrwcC&pg=PA172 


  4. ^
    John Hilton Grace and Alfred Young (1903), The algebra of invariants, Cambridge University Press, p. 40, https://books.google.com/books?id=NIe4AAAAIAAJ&pg=PA40 


  5. ^
    Leonard Eugene Dickson (1914), Algebraic invariants, J. Wiley, p. 85, https://books.google.com/books?id=LRGoAAAAIAAJ&pg=PA85 


  6. ^ Lothar von Wolfersdorf (2000), "Einige Klassen quadratischer Integralgleichungen",
    Sitzungsberichte der Sächsischen Akademie der Wissenschaften zu Leipzig,
    Mathematisch-naturwissenschaftliche Klasse, volume 128, number 2, 6–7


  7. ^ Hörmander 1983, Chapter 1.


  8. ^ Stein & Weiss 1971, Theorem 1.3.


  9. ^
    Beckner, William (1975), "Inequalities in Fourier analysis", Ann. of Math. (2) 102: 159–182. Independently, Brascamp, Herm J. and Lieb, Elliott H. (1976), "Best constants in Young's inequality, its converse, and its generalization to more than three functions", Advances in Math. 20: 151–173. See Brascamp–Lieb inequality


  10. ^ Reed & Simon 1975, IX.4.


  11. ^ Stein & Weiss 1971, Theorem 3.3.


  12. ^ Hörmander 1983, §4.2.


  13. ^ Rudin 1962.




参考文献



  • Dominguez-Torres, Alejandro (Nov 2, 2010). "Origin and history of convolution". 41 pgs. http://www.slideshare.net/Alexdfar/origin-adn-history-of-convolution. Cranfield, Bedford MK43 OAL, UK. Retrieved Mar 13, 2013.


  • Hörmander, L. (1983), The analysis of linear partial differential operators I, Grundl. Math. Wissenschaft., 256, Springer, ISBN 3-540-12104-8, MR 0717035 


  • Stein, Elias; Weiss, Guido (1971), Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press, ISBN 0-691-08078-X 


  • Reed, Michael; Simon, Barry (1975), Methods of modern mathematical physics. II. Fourier analysis, self-adjointness, New York-London: Academic Press Harcourt Brace Jovanovich, Publishers, pp. xv+361, ISBN 0-12-585002-6, MR 0493420 


  • Rudin, Walter (1962), Fourier analysis on groups, Interscience Tracts in Pure and Applied Mathematics, No. 12, Interscience Publishers (a division of John Wiley and Sons), New York–London, ISBN 0-471-52364-X, MR 0152834 .



関連項目



  • 逆畳み込み（英語版）

  • ブラインド・デコンボリューション


  • インパルス応答 - 伝達関数


  • フーリエ変換 - ラプラス変換

  • 軟化子

  • 基本解

  • 自己回帰移動平均モデル

  • 巡回行列

  • アナログ信号処理

  • コーシー積

  • 積和演算



外部リンク



  • Weisstein, Eric W. "Convolution". MathWorld（英語）..mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}


  • convolution - PlanetMath.（英語）


  • Hazewinkel, Michiel, ed. (2001), "Convolution of functions", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4


  • Hazewinkel, Michiel, ed. (2001), "Convolution transform", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4


  • The Joy of Convolution Java Applet を使った視覚的な畳み込みの説明

  • Examples of sampled impulse responses to be used in convolution reverbs (Fokke Van Saane)

  • Examples of impulse responses synthesized from oscillator spectra, to be used in convolution reverbs (Emmanuel Deruty)

  • BruteFIR; A software for applying long FIR filters to multi-channel digital audio, either offline or in realtime.

  • Freeverb3 Reverb Impulse Response Processor: DSP library with convolution engines.




-

Popular posts from this blog

Entries order in /etc/network/interfaces

Image
4 I have a device with two interfaces, eth0 and eth1. One should get its IP from a DHCP server and the other should get its IP statically. If my /etc/network/interfaces file is configured as follows: auto lo iface lo inet loopback auto eth1 iface eth1 inet dhcp iface eth1 inet6 auto auto eth0 iface eth0 inet static address 10.10.10.10 netmask 255.255.255.0 Everything works great, eth1 gets its IP from the DHCP server, eth0 sets its IP statically from the information given, but if I try to change the order in the file, such as auto lo iface lo inet loopback auto eth0 iface eth0 inet static address 10.10.10.10 netmask 255.255.255.0 auto eth1 iface eth1 inet dhcp iface eth1 inet6 auto In this case, eth1 fails to get an IP. Does the /etc/network/interface care about th...
Read more

新発田市

Image
しばたし 新発田市 市のシンボル・新発田城（二の丸隅櫓） 新発田市旗 1934年7月9日制定 新発田市章 1934年7月9日制定 国 日本 地方 中部地方、北陸地方 甲信越地方、信越地方 都道府県 新潟県 団体コード 15206-4 法人番号 5000020152064 面積 533.10 km 2 総人口 96,267 人 [編集] （推計人口、2018年10月1日） 人口密度 181 人/km 2 隣接自治体 新潟市、阿賀野市、胎内市、北蒲原郡聖籠町、東蒲原郡阿賀町 福島県喜多方市 山形県西置賜郡小国町 市の木 サクラ 市の花 アヤメ 市のシンボル 新発田城 新発田市役所 市長 [編集] 二階堂馨 所在地 〒 957-8686 新潟県新発田市中央町3丁目3番3号 北緯37度56分52.5秒東経139度19分38.2秒 外部リンク 公式ウェブサイト ■ ― 政令指定都市 / ■ ― 市 / ■ ― 町 / ■ ― 村 地理院地図 Google Bing GeoHack MapFan Mapion Yahoo! NAVITIME ゼンリン   表示   ウィキプロジェクト 新発田市中心部周辺の空中写真。 1975年撮影の8枚を合成作成。国土交通省 国土画像情報（カラー空中写真）を基に作成。 新発田市 （しばたし）は、新潟県下越地方にある市である。新潟市への通勤率は16.6%（平成22年国勢調査）。 目次 1 概要 2 地理 2.1 隣接している自治体・行政区 3 地域・市街地構成 4 歴史 4.1 市名の由来 4.2 沿革 5 人口 6 行政 6.1 市長 7 経済 7.1 産業 7.1.1 市内の主な企業 7.1.2 漁業 8 姉妹都市・提携都市 8.1 国内 8.2 海外 9 施設・...
Read more

Grub takes very long (several minutes) to open Menu (in Multi-Boot-System)

Image
0 I have a Multi-Boot-System with 4 different installations of Linux. (1 Manjaro, 3 Mint) spread over 2 hard drives (2 on each). After doing grub-install /dev/sdX and update-grub several times within each installation ... the Grub-menu needs more and more time to open. It started with a few more seconds, now it takes several minutes. I tried to purge and reinstall Grub but this made the problem even worse: apt-get purge grub grub-pc grub-common apt-get install grub-common grub-pc os-prober update-grub What could be causing this problem? linux grub2 multiboot share | improve this question edited 4 mins ago ...
Read more