畳み込みの定義
畳み込みの定義
\begin{align*} \left(f*g\right)\left(x\right) & =\left(f\left(x\right)*g\left(x\right)\right)\left(x\right)\\ & =\int f\left(t\right)g\left(x-t\right)dt \end{align*} を畳み込み・畳み込み積分・合成積といいます。
積分範囲は通常は\(\left(-\infty,\infty\right)\)で定義されます。
\begin{align*} \left(a*b\right)_{n} & =\left(a_{n}*b_{n}\right)_{n}\\ & =\sum_{k=0}^{n}a_{k}b_{n-k} \end{align*} を畳み込み・畳み込み和・合成和といいます。
(1)畳み込み積分
関数\(f\left(x\right),g\left(x\right)\)があるとき、関数\begin{align*} \left(f*g\right)\left(x\right) & =\left(f\left(x\right)*g\left(x\right)\right)\left(x\right)\\ & =\int f\left(t\right)g\left(x-t\right)dt \end{align*} を畳み込み・畳み込み積分・合成積といいます。
積分範囲は通常は\(\left(-\infty,\infty\right)\)で定義されます。
(2)畳み込み和
数列\(a_{n},b_{n}\),\(n\in\mathbb{N}_{0}\)があるとき、数列\begin{align*} \left(a*b\right)_{n} & =\left(a_{n}*b_{n}\right)_{n}\\ & =\sum_{k=0}^{n}a_{k}b_{n-k} \end{align*} を畳み込み・畳み込み和・合成和といいます。
畳み込み和は数列を\(a_{n},b_{n}\),\(n\in\mathbb{N}\)とするときは総和は1から\(n\)となり、そのときは、
\[ \left(a*b\right)_{n}=\sum_{k=1}^{n}a_{k}b_{n+1-k} \] となります。
\[ \left(a*b\right)_{n}=\sum_{k=1}^{n}a_{k}b_{n+1-k} \] となります。
(1)
\(f\left(x\right)=x,g\left(x\right)=e^{-x^{2}}\)とすると、\begin{align*} \left(f*g\right)\left(x\right) & =\int_{-\infty}^{\infty}f\left(t\right)g\left(x-t\right)dt\\ & =\int_{-\infty}^{\infty}te^{-\left(x-t\right)^{2}}dt\\ & =-\int_{\infty}^{-\infty}\left(x-y\right)e^{-y^{2}}dy\cmt{y=x-t}\\ & =x\int_{-\infty}^{\infty}e^{-y^{2}}dy-\int_{-\infty}^{\infty}ye^{-y^{2}}dy\\ & =x\sqrt{\pi}-\frac{-1}{2}\left[e^{-y^{2}}\right]_{-\infty}^{\infty}-\\ & =x\sqrt{\pi} \end{align*} となる。
(2)
\(n\in\mathbb{N}\)として\(a_{n}=\frac{1}{n},b_{n}=n\)とすると、\begin{align*} \left(a*b\right)_{n} & =\sum_{k=1}^{n}a_{k}b_{n+1-k}\\ & =\sum_{k=1}^{n}\frac{1}{k}\left(n+1-k\right)\\ & =\left(n+1\right)\sum_{k=1}^{n}\frac{1}{k}-\sum_{k=1}^{n}1\\ & =\left(n+1\right)H_{n}-n \end{align*} となる。
ページ情報
タイトル | 畳み込みの定義 |
URL | https://www.nomuramath.com/ezga1b2f/ |
SNSボタン |
凸関数・狭義凸関数・凹関数・狭義凹関数の基本性質
関数$f$が2回微分可能であるとき、$f''>0$ならば$f$が狭義凸関数となるが、逆は一般的に成り立たない。
エジプト式分数の個数
エジプト式分数は無数に存在する。
凸関数・狭義凸関数・準凸関数・凹関数・狭義凹関数・準凹関数の定義
\[
\forall x_{1},x_{2}\in X,\forall t\in\left[0,1\right],f\left(tx_{1}+\left(1-t\right)x_{2}\right)\leq tf\left(x_{1}\right)+\left(1-t\right)f\left(x_{2}\right)
\]
単位分数とエジプト式分数の定義
\[
\frac{1}{2},\frac{1}{3},\frac{1}{4}
\]