プログラミングにおける畳み込みについては「重畳関数」をご覧ください。
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "畳み込み"
畳み込み(たたみこみ、英: convolution)とは、関数 g を平行移動しながら関数 f に重ね足し合わせる二項演算である。あるいはコンボリューションとも呼ばれる。 連続関数 f, g の畳み込み f ? g は以下のように定義される: ( f ∗ g ) ( t ) = ∫ f ( τ ) g ( t − τ ) d τ {\displaystyle (f*g)(t)=\int f(\tau )g(t-\tau )\,d\tau } 積分を用いて2つの関数を合わせることから畳み込み積分、合成積、重畳積分とも呼ばれる。 積分範囲は関数の定義域に依存する。通常は区間 (−∞, +∞) で定義される関数を扱うことが多いので、積分範囲は −∞ から +∞ で計算されることが多い。一方 f, g が有限区間でしか定義されない場合には、g(t − τ) が定義域内に入るように f, g を周期関数と見なして計算される。この周期関数と見なして畳み込みをすることを循環畳み込み(じゅんかんたたみこみ、英: cyclic convolution)と呼ぶ。 離散信号 f, g の畳み込み f ? g は以下のように定義される: ( f ∗ g ) ( m ) = ∑ n f ( n ) g ( m − n ) {\displaystyle (f*g)(m)=\sum _{n}{f(n)\,g(m-n)}} すなわち積分のかわりに総和を使って同様に定義される。そのため畳み込み和・重畳和とも呼ばれる。 総和の範囲も関数の定義域に依存し、関数が有限区間でしか定義されていない場合は周期関数とみなして畳み込み演算が行われる。また定義域外の値を 0 と定義し直した関数での畳み込みがよく行われる。これを線形畳み込み(せんけいたたみこみ、英: linear convolution)あるいは直線畳み込み(ちょくせんたたみこみ)と呼ぶ。 Rd 上の複素数値函数 fと g の畳み込みは、それ自身が Rd 上の複素数値函数として ( f ∗ g ) ( x ) = ∫ R d f ( y ) g ( x − y ) d y = ∫ R d f ( x − y ) g ( y ) d y {\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 が無限遠において十分急速に減少する 函数 f と g がともにコンパクト台連続函数ならば、それらの畳み込みは存在して、やはりコンパクト台連続函数となる[1]。より一般に、一方がコンパクト台、他方が局所可積分函数ならば、畳み込み f ? g が定義されて連続である。 R 上では両者が局所自乗可積分の場合、あるいは両者がともに半無限区間 [a, +∞) (あるいはともに (-∞, a]) に台を持つ場合でも畳み込みが定まる。 函数 f と g がともにL1(Rd)に属するルベーグ可積分函数ならば、それらの畳み込み f ? g が存在してやはり可積分である[2]。これはトネリの定理の帰結である。このことは ?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}} を満たす。特に p = 1 のとき、これにより L1 は畳み込みを積としてバナッハ代数を成す(また、等号成立は f と g がともに殆ど至る所非負のときである。) より一般に、畳み込みに対するヤングの不等式により、畳み込み積は適当な Lp-空間上の連続双線型演算となることが従う。具体的に書けば、 1 ? p,q,r ? ∞ が 1 p + 1 q = 1 r + 1 {\displaystyle {\frac {1}{p}}+{\frac {1}{q}}={\frac {1}{r}}+1} なる関係を満足するとして、 ‖ f ∗ g ‖ r ≤ ‖ f ‖ p ‖ g ‖ q ( f ∈ L p ( R d ) , g ∈ L q ( R d ) ) {\displaystyle \lVert f*g\rVert _{r}\leq \lVert f\rVert _{p}\,\lVert g\rVert _{q}\quad (f\in L^{p}(\mathbb {R} ^{d}),\,g\in L^{q}(\mathbb {R} ^{d}))} となるから、畳み込み積は Lp × Lq → Lr なる連続双線型写像を定めている。 畳み込みに対するヤングの不等式、循環畳み込みや離散畳み込みなどほかの文脈でも成立する。また、 R 上では先に掲げた不等式はより厳しく評価できる: 先と同様の関係を持つ 1 < p, q, r < ∞ に対し、定数 Bp,q < 1 が存在して ‖ f ∗ g ‖ r ≤ B p , q ‖ f ‖ p ‖ g ‖ q ( f ∈ L p ( R ) , g ∈ L q ( R ) ) . {\displaystyle \lVert f*g\rVert _{r}\leq B_{p,q}\lVert f\rVert _{p}\,\lVert g\rVert _{q}\quad (f\in L^{p}(\mathbb {R} ),\,g\in L^{q}(\mathbb {R} )).} Bp,q の最適値は Beckner (1975) にある[3]。より強い評価として 1 < p, q, r < ∞ に対し ‖ f ∗ g ‖ r ≤ C p , q ‖ f ‖ p ‖ g ‖ q , w {\displaystyle \lVert f*g\rVert _{r}\leq C_{p,q}\lVert f\rVert _{p}\,\lVert g\rVert _{q,w}} も得られる。ただし、 ‖ g ‖q,w は弱 Lp-ノルムである。 1 < p, q, r < ∞ に対し弱い版のヤング不等式 ‖ f ∗ g ‖ r , w ≤ C p , q ‖ f ‖ p , w ‖ g ‖ r , w {\displaystyle \|f*g\|_{r,w}\leq C_{p,q}\|f\|_{p,w}\|g\|_{r,w}} を考えれば、畳み込みは連続双線型写像 L p , w ( R ) × L q , w ( R ) → L r , w ( R ) {\displaystyle L^{p,w}(\mathbb {R} )\times L^{q,w}(\mathbb {R} )\to L^{r,w}(\mathbb {R} )} とも見られる[4]。
定義
一次元
連続
離散
高次元
コンパクト台付き函数
可積分函数
Size:66 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef