合成積
合成積$ *の定義
$ x*y:t\mapsto\int_\R x(\tau)y(t-\tau)\mathrm d\tau
別名
畳み込み
性質
$ x*y(t)=\int_\R x(\tau)y(t-\tau)\mathrm d\tau
$ = -\int_{\tau\in\R} x(t-(t-\tau))y(t-\tau)\mathrm d(t-\tau)
$ = \int_\R y(\tau)x(t-\tau)\mathrm d\tau
積分範囲が$ \tau=\inftyから$ \tau=-\inftyなので、マイナスを使って反転させた
$ = y*x(t)
$ \forall a\in\R\setminus\{0\}:(f(a\bullet)*g(a\bullet))(t)=\frac1{|a|}(f*g)(at)