卷积积分性质证明
性質證明
兩個連續信號的卷積積分定義如下:
∫?∞∞f(τ)g(t?τ)dτ\int_{-\infty}^\infty f(\tau) g(t-\tau)d\tau∫?∞∞?f(τ)g(t?τ)dτ
卷積積分滿足交換律、結合律以及分配律,其證明如下:
交換律
f(t)?g(t)=g(t)?f(t)f(t)*g(t) = g(t)*f(t)f(t)?g(t)=g(t)?f(t)
即 ∫?∞∞f(τ)g(t?τ)dτ=∫?∞∞g(τ)f(t?τ)dτ\int_{-\infty}^\infty f(\tau) g(t-\tau)d\tau = \int_{-\infty}^\infty g(\tau) f(t-\tau)d\tau∫?∞∞?f(τ)g(t?τ)dτ=∫?∞∞?g(τ)f(t?τ)dτ
令 u=t?τu = t - \tauu=t?τ 則 τ=t?u\tau = t - uτ=t?u (注意積分上下限的變化)
∫?∞∞f(τ)g(t?τ)dτ\quad\int_{-\infty}^\infty f(\tau) g(t-\tau)d\tau∫?∞∞?f(τ)g(t?τ)dτ
=∫∞?∞f(t?u)g(u)d(t?u)= \int_\infty^{-\infty}f(t - u)g(u)d(t - u)=∫∞?∞?f(t?u)g(u)d(t?u)
=∫?∞∞f(t?u)g(u)d(u)= \int_{-\infty}^\infty f(t - u)g(u)d(u)=∫?∞∞?f(t?u)g(u)d(u)
令 u=τu = \tauu=τ 上式即為 g(t)?f(t)g(t)*f(t)g(t)?f(t)
結合律
f(t)?g(t)?h(t)=f(t)?(g(t)?h(t))f(t)*g(t)*h(t) = f(t)*(g(t)*h(t))f(t)?g(t)?h(t)=f(t)?(g(t)?h(t))
由交換律,等價證明 f(t)?g(t)?h(t)=(g(t)?h(t))?f(t)f(t)*g(t)*h(t) = (g(t)*h(t))*f(t)f(t)?g(t)?h(t)=(g(t)?h(t))?f(t)
即 ∫?∞∞[∫?∞∞f(u)g(τ?u)du]h(t?τ)dτ=∫?∞∞[∫?∞∞g(v)h(τ?v)dv]f(t?τ)dτ\int_{-\infty}^\infty [\int_{-\infty}^\infty f(u) g(\tau-u)du] h(t - \tau)d\tau = \int_{-\infty}^\infty [\int_{-\infty}^\infty g(v) h(\tau-v) dv] f(t - \tau) d\tau∫?∞∞?[∫?∞∞?f(u)g(τ?u)du]h(t?τ)dτ=∫?∞∞?[∫?∞∞?g(v)h(τ?v)dv]f(t?τ)dτ
等式左邊(最后一步改變了積分順序):
∫?∞∞[∫?∞∞f(u)g(τ?u)du]h(t?τ)dτ\quad \int_{-\infty}^\infty [\int_{-\infty}^\infty f(u) g(\tau-u)du] h(t - \tau)d\tau∫?∞∞?[∫?∞∞?f(u)g(τ?u)du]h(t?τ)dτ
=∫?∞∞[∫?∞∞f(u)g(τ?u)h(t?τ)du]dτ= \int_{-\infty}^\infty [\int_{-\infty}^\infty f(u) g(\tau-u)h(t - \tau)du] d\tau=∫?∞∞?[∫?∞∞?f(u)g(τ?u)h(t?τ)du]dτ
=∫?∞∞∫?∞∞f(u)g(τ?u)h(t?τ)dτdu= \int_{-\infty}^\infty \int_{-\infty}^\infty f(u) g(\tau-u)h(t - \tau)d\tau du=∫?∞∞?∫?∞∞?f(u)g(τ?u)h(t?τ)dτdu
等式右邊:
∫?∞∞[∫?∞∞g(v)h(τ?v)dv]f(t?τ)dτ\quad\int_{-\infty}^\infty [\int_{-\infty}^\infty g(v) h(\tau-v) dv] f(t - \tau) d\tau∫?∞∞?[∫?∞∞?g(v)h(τ?v)dv]f(t?τ)dτ
=∫?∞∞[∫?∞∞f(t?τ)g(v)h(τ?v)dv]dτ= \int_{-\infty}^\infty [\int_{-\infty}^\infty f(t - \tau) g(v) h(\tau-v) dv] d\tau=∫?∞∞?[∫?∞∞?f(t?τ)g(v)h(τ?v)dv]dτ
令 u=t?τu = t - \tauu=t?τ 則 τ=t?u\tau = t - uτ=t?u (外層積分換元,積分上下限改變)
=∫∞?∞[∫?∞∞f(u)g(v)h(t?u?v)dv]d(t?u)= \int_\infty^{-\infty} [\int_{-\infty}^\infty f(u) g(v) h(t - u -v) dv] d(t - u)=∫∞?∞?[∫?∞∞?f(u)g(v)h(t?u?v)dv]d(t?u)
=∫?∞∞[∫?∞∞f(u)g(v)h(t?u?v)dv]du= \int_{-\infty}^\infty [\int_{-\infty}^\infty f(u) g(v) h(t - u -v) dv] du=∫?∞∞?[∫?∞∞?f(u)g(v)h(t?u?v)dv]du
令 v=τ?uv = \tau - uv=τ?u 則 τ=v+u\tau = v + uτ=v+u (內層積分換元,積分上下限不變)
=∫?∞∞[∫?∞∞f(u)g(τ?u)h(t?τ)d(τ?u)]du= \int_{-\infty}^\infty [\int_{-\infty}^\infty f(u) g(\tau-u) h(t - \tau) d(\tau - u)] du=∫?∞∞?[∫?∞∞?f(u)g(τ?u)h(t?τ)d(τ?u)]du
=∫?∞∞∫?∞∞f(u)g(τ?u)h(t?τ)dτdu= \int_{-\infty}^\infty \int_{-\infty}^\infty f(u) g(\tau-u) h(t - \tau) d\tau du=∫?∞∞?∫?∞∞?f(u)g(τ?u)h(t?τ)dτdu
證畢
分配律
f(t)?(g(t)+h(t))=f(t)?g(t)+f(t)?h(t)f(t)*(g(t)+h(t)) = f(t)*g(t)+f(t)*h(t)f(t)?(g(t)+h(t))=f(t)?g(t)+f(t)?h(t)
令 z(x)=g(x)+h(x)z(x) = g(x) + h(x)z(x)=g(x)+h(x)
∫?∞∞f(τ)z(t?τ)dτ\quad\int_{-\infty}^\infty f(\tau) z(t-\tau)d\tau∫?∞∞?f(τ)z(t?τ)dτ
=∫?∞∞f(τ)(g(t?τ)+h(t?τ))dτ=\int_{-\infty}^\infty f(\tau) (g(t-\tau)+h(t-\tau))d\tau=∫?∞∞?f(τ)(g(t?τ)+h(t?τ))dτ
=∫?∞∞f(τ)g(t?τ)dτ+∫?∞∞f(τ)h(t?τ)dτ= \int_{-\infty}^\infty f(\tau) g(t-\tau)d\tau + \int_{-\infty}^\infty f(\tau) h(t-\tau)d\tau=∫?∞∞?f(τ)g(t?τ)dτ+∫?∞∞?f(τ)h(t?τ)dτ
即 f(t)?g(t)+f(t)?h(t)f(t)*g(t)+f(t)*h(t)f(t)?g(t)+f(t)?h(t)
平移特性
卷積積分還滿足平移特性:
若 f(t)?g(t)=y(t)f(t)*g(t)=y(t)f(t)?g(t)=y(t) 則 f(t?t1)?g(t?t2)=y(t?t1?t2)f(t-t_1)*g(t-t_2)=y(t-t_1-t_2)f(t?t1?)?g(t?t2?)=y(t?t1??t2?)
證明如下:
f(t?t1)?g(t?t2)\quad f(t-t_1)*g(t-t_2)f(t?t1?)?g(t?t2?)
=∫?∞∞f(τ?t1)g(t?τ?t2)dτ=\int_{-\infty}^\infty f(\tau-t_1)g(t-\tau-t_2)d\tau=∫?∞∞?f(τ?t1?)g(t?τ?t2?)dτ
注意 g(t?τ?t2)g(t-\tau-t_2)g(t?τ?t2?) 怎么來的:
對于 g(t)g(t)g(t) 來說,先換元 g(τ)g(\tau)g(τ),再反折 g(?τ)g(-\tau)g(?τ), 再右移 ttt 個單位 g(?(τ?t))=g(t?τ)g(-(\tau-t)) = g(t-\tau)g(?(τ?t))=g(t?τ)
同理對 g(t?t2)g(t-t_2)g(t?t2?) 來說,先換元 g(τ?t2)g(\tau-t_2)g(τ?t2?),再反折 g(?τ?t2)g(-\tau-t_2)g(?τ?t2?), 再右移 ttt 個單位 g(?(τ?t)?t2)=g(t?τ?t2)g(-(\tau-t)-t_2) = g(t-\tau-t_2)g(?(τ?t)?t2?)=g(t?τ?t2?)
令 u=τ?t1u = \tau - t1u=τ?t1 則 τ=u+t1\tau = u + t1τ=u+t1 (積分上下限不變)
=∫?∞∞f(u)g(t?t1?t2?u)d(u+t1)=\int_{-\infty}^\infty f(u)g(t-t_1-t_2-u)d(u+t_1)=∫?∞∞?f(u)g(t?t1??t2??u)d(u+t1?)
=∫?∞∞f(u)g(t?t1?t2?u)du=\int_{-\infty}^\infty f(u)g(t-t_1-t_2-u)du=∫?∞∞?f(u)g(t?t1??t2??u)du
=y(t?t1?t2)=y(t-t1-t2)=y(t?t1?t2)
小結
交換律和分配律證明比較簡單;結合律證明中用到了交換律,我并不是一下子就想到的,而是直接推導不容易,嘗試了一些先使用交換律。平移特性中對平移后的 g(t)g(t)g(t) 的變換也需要注意,容易弄錯。
總結
- 上一篇: SRS4.0源码分析-RTMP延迟
- 下一篇: matlab 莫比乌斯曲面,神奇的莫比乌