1 卷积定义
若f(x)f(x)f(x)与h(x)h(x)h(x)有界且可积,一维函数卷积连续形式g(x)=f(x)∗h(x)=∫−∞+∞f(ξ)h(x−ξ)dξ\begin{aligned}g(x)&=f(x)*h(x)\\ &=\int^{+\infty}_{-\infty}f(\xi)h(x-\xi)d\xi\end{aligned}g(x)=f(x)∗h(x)=∫−∞+∞f(ξ)h(x−ξ)dξ一维函数卷积离散形式g(x)=f(x)∗h(x)=∑ξf(ξ)h(x−ξ)\begin{aligned}g(x)&=f(x)*h(x)\\ &=\sum\limits_{\xi}f(\xi)h(x-\xi)\end{aligned}g(x)=f(x)∗h(x)=ξ∑f(ξ)h(x−ξ)二维函数卷积的连续形式表示为g(x,y)=f(x,y)∗h(x,y)=∫−∞+∞∫−∞+∞f(ξ,η)h(x−ξ,y−η)dξdη\begin{aligned}g(x,y)&=f(x,y)*h(x,y)\\ &=\int_{-\infty}^{+\infty}\int_{-\infty}^{+\infty}f(\xi,\eta)h(x-\xi,y-\eta)d\xi d\eta\end{aligned}g(x,y)=f(x,y)∗h(x,y)=∫−∞+∞∫−∞+∞f(ξ,η)h(x−ξ,y−η)dξdη二维函数卷积的离散形式表示为g(x,y)=f(x,y)∗h(x,y)=∑ξ∑ηf(ξ,η)h(x−ξ,y−η)\begin{aligned}g(x,y)&=f(x,y)*h(x,y)\\ &=\sum\limits_{\xi}\sum\limits_{\eta}f(\xi,\eta)h(x-\xi,y-\eta)\end{aligned}g(x,y)=f(x,y)∗h(x,y)=ξ∑η∑f(ξ,η)h(x−ξ,y−η)则称g(x)g(x)g(x)称为函数f(x)f(x)f(x)与h(x)h(x)h(x)的卷积。其中∗*∗表示卷积符号。g(x)g(x)g(x)是f(x)f(x)f(x)与h(x)h(x)h(x)两个函数共同作用的结果。对于给定的xxx,第一个函数贡献是f(ξ)f(\xi)f(ξ),则第二个函数的贡献是h(x−ξ)h(x-\xi)h(x−ξ),需要对任何可能的ξ\xiξ求和。
2 卷积的性质
卷积共满足如下六种性质:
- 交换律:f(x)∗h(x)=h(x)∗f(x)f(x)*h(x)=h(x)*f(x)f(x)∗h(x)=h(x)∗f(x)
- 分配律:[v(x)+w(x)]∗h(x)=v(x)∗h(x)+w(x)∗h(x)[v(x)+w(x)]*h(x)=v(x)*h(x)+w(x)*h(x)[v(x)+w(x)]∗h(x)=v(x)∗h(x)+w(x)∗h(x)
- 结合律:[v(x)∗w(x)]∗h(x)=v(x)∗[w(x)∗h(x)][v(x)*w(x)]*h(x)=v(x)*[w(x)*h(x)][v(x)∗w(x)]∗h(x)=v(x)∗[w(x)∗h(x)]
- 三角不等式:∣f(x)∗h(x)∣≤∣f(x)∣∗∣h(x)∣|f(x)*h(x)|\leq |f(x)|*|h(x)|∣f(x)∗h(x)∣≤∣f(x)∣∗∣h(x)∣
- 位移不变性:若f(x)∗h(x)=g(x)f(x)*h(x)=g(x)f(x)∗h(x)=g(x),则f(x−x0)∗h(x)=g(x−x0)f(x-x_0)*h(x)=g(x-x_0)f(x−x0)∗h(x)=g(x−x0)或f(x)∗h(x−x0)=g(x−x0)f(x)*h(x-x_0)=g(x-x_0)f(x)∗h(x−x0)=g(x−x0)
- 缩放性:若f(x)∗h(x)=g(x)f(x)*h(x)=g(x)f(x)∗h(x)=g(x),则f(xb)∗h(xb)=∣b∣g(xb)f(\frac{x}{b})*h(\frac{x}{b})=|b|g(\frac{x}{b})f(bx)∗h(bx)=∣b∣g(bx)
3 卷积实例
已知f(t)={10≤t≤10otherwiseg(t)={e−βtt≥00t<0f(t)=\left\{\begin{array}{ll}1 & 0 \leq t \leq 1 \\ 0 & \mathrm{otherwise} \end{array} \right .\quad \quad g(t)=\left\{\begin{array}{ll}e^{-\beta t}& t \geq 0\\0& t<0\end{array}\right.f(t)={100≤t≤1otherwiseg(t)={e−βt0t≥0t<0求f(t)∗g(t)f(t)*g(t)f(t)∗g(t)。
解:g(t−τ)={e−β(t−τ)t≥τ0t<τg(t-\tau)=\left\{\begin{array}{ll}e^{-\beta(t-\tau)} & t \geq \tau \\ 0 & t < \tau \end{array}\right.g(t−τ)={e−β(t−τ)0t≥τt<τ
当t<0t < 0t<0时,f(τ)g(t−τ)f(\tau)g(t-\tau)f(τ)g(t−τ),∫−∞+∞f(τ)g(t−τ)dτ=0\int_{-\infty}^{+\infty}f(\tau)g(t-\tau)d\tau=0∫−∞+∞f(τ)g(t−τ)dτ=0
当t≥0t \geq 0t≥0时,f(τ)g(t−τ)={e−β(t−τ)0≤τ≤t0otherwisef(\tau)g(t-\tau)=\left\{\begin{array}{ll}e^{-\beta(t-\tau)} & 0 \leq \tau \leq t \\ 0 & \mathrm{otherwise} \end{array}\right.f(τ)g(t−τ)={e−β(t−τ)00≤τ≤totherwise∫−∞+∞f(τ)g(t−τ)dτ=∫0tf(τ)g(t−τ)dτ=∫0te−β(t−τ)dτ=1β(1−e−βt)\int^{+\infty}_{-\infty}f(\tau)g(t-\tau)d\tau=\int_{0}^{t} f(\tau) g(t-\tau) d \tau=\int_{0}^{t} e^{-\beta(t-\tau)} d \tau=\frac{1}{\beta}\left(1-e^{-\beta t}\right)∫−∞+∞f(τ)g(t−τ)dτ=∫0tf(τ)g(t−τ)dτ=∫0te−β(t−τ)dτ=β1(1−e−βt)
当t>1t>1t>1时,f(τ)g(t−τ)={e−β(t−τ)0≤τ≤10otherwisef(\tau) g(t-\tau)=\left\{\begin{array}{ll}
e^{-\beta(t-\tau)} & 0 \leq \tau \leq 1 \\
0 & \text {otherwise}
\end{array}\right.f(τ)g(t−τ)={e−β(t−τ)00≤τ≤1otherwise∫−∞+∞f(τ)g(t−τ)dτ=∫01e−β(t−τ)dτ=e−1βe−βt\int^{+\infty}_{-\infty}f(\tau)g(t-\tau)d\tau=\int_{0}^{1}e^{-\beta(t-\tau)}d\tau=\frac{e-1}{\beta}e^{-\beta t}∫−∞+∞f(τ)g(t−τ)dτ=∫01e−β(t−τ)dτ=βe−1e−βt
综上所述可知:
f(t)∗g(t)={0t<01β(1−e−βt)0≤t≤1e−1βe−βtt>1
f(t) * g(t)=\left\{\begin{array}{ll}
0 & t<0 \\
\frac{1}{\beta}\left(1-e^{-\beta t}\right) & 0 \leq t \leq 1 \\
\frac{e-1}{\beta} e^{-\beta t} & t>1
\end{array}\right.
f(t)∗g(t)=⎩⎨⎧0β1(1−e−βt)βe−1e−βtt<00≤t≤1t>1