此笔记由本人基于我的老师的幻灯片撰写。
∀n∈ℤδ(n):={1n=00n≠0,∀m∈ℤ,n∈ℤδ(n−m)={1n=m0n≠m
∀n∈ℤu(n):=∑k=0∞δ(n−k)={1n⩾00n<0,∀m∈ℤ,n∈ℤu(n−m)=∑k=0∞δ(n−m−k)=∑k=m∞δ(n−k)={1n⩾m0n<m
∀n∈ℤδ(n)=∑k=00δ(n−k)=u(n)−u(n−1),∀m∈ℤ,n∈ℤδ(n−m)=∑k=mmδ(n−k)=u(n−m)−u(n−m−1)
∀N∈ℤ+,n∈ℤRN(n):=∑k=0N−1δ(n−k)=u(n)−u(n−N)={10⩽n⩽N−10n<0∨n>N−1
∀N∈ℤ+,m∈ℤ,n∈ℤRN(n−m)=∑k=0N−1δ(n−m−k)=∑k=mm+N−1δ(n−k)=u(n−m)−u(n−m−N)={1m⩽n⩽m+N−10n<m∨n>m+N−1
∀x:ℤ→ℝ,y:ℤ→ℝ,n∈ℤ(x∗y)(n):=∑m=−∞∞x(m)y(n−m),∀x:ℤ→ℝ,n∈ℤx(n)=∑m=−∞∞x(m)δ(n−m)=(x∗δ)(n)
(以上 ℝ 可换成 ℂ ,从此往后不再重复说明)
#离散时间系统#
T[⋅] 是线性系统 :⇔T[⋅] 是离散时间系统 ∧∀a1∈ℝ,a2∈ℝ,x1∈ℝℤ,x2∈ℝℤ ∀n∈ℤT[a1x1+a2x2](n)=a1T[x1](n)+a2T[x2](n)
⇔T[⋅] 是离散时间系统 ∧∀x1∈ℝℤ,x2∈ℝℤ ∀n∈ℤT[x1+x2](n)=T[x1](n)+T[x2](n)∧∀a∈ℝ,x∈ℝℤ ∀n∈ℤT[ax](n)=aT[x](n)
∀x∈ℝℤ ∀n∈ℤT[x](n):=x(n)sin(2π9n+π7)
true⇔
∀a1∈ℝ,a2∈ℝ,x1∈ℝℤ,x2∈ℝℤ ∀n∈ℤT[a1x1+a2x2](n)=(a1x1(n)+a2x2(n))sin(2π9n+π7)=a1T[x1](n)+a2T[x2](n)
⇒T[⋅] 是线性系统
∀x∈ℝℤ ∀n∈ℤT[x](n):=ax(n)+b(a∈ℝ,b∈ℝ)
b≠0⇒∀x1∈ℝℤ,x2∈ℝℤ ∀n∈ℤT[x1+x2](n)−T[x1](n)−T[x2](n)=−b≠0⇒T[⋅] 是非线性系统
b=0⇒∀x1∈ℝℤ,x2∈ℝℤ ∀n∈ℤT[x1+x2](n)−T[x1](n)−T[x2](n)=−b=0⇒T[⋅] 是线性系统
T[⋅] 是时不变系统(移不变系统):⇔T[⋅] 是离散时间系统 ∧∀x∈ℝℤ ∀m∈ℤ ∀n∈ℤT[⟨x(k−m)⟩k∈ℤ](n)=T[x](n−m)
∀x∈ℝℤ ∀m∈ℤ ∀n∈ℤT[⟨x(k−m)⟩k∈ℤ](n)−T[x](n−m)=x(n−m)(sin(2π9n+π7)−sin(2π9(n−m)+π7))
h:=T[δ]
T[⋅] 是 LSI 系统 ⇒
∀x∈ℝℤ ∀n∈ℤT[x](n)=T[⟨∑m=−∞∞x(m)δ(k−m)⟩k∈ℤ](n)=∑m=−∞∞x(m)T[⟨δ(k−m)⟩k∈ℤ](n)
=∑m=−∞∞x(m)T[δ](n−m)=(x∗T[δ])(n)=(x∗h)(n)
∀x∈ℝℤ,y∈ℝℤ ∀n∈ℤ(x∗y)(n)=∑m=−∞∞x(m)y(n−m)=∑m=−∞∞x(n−(n−m))y(n−m)=∑k=−∞∞y(k)x(n−k)=(y∗x)(n)