泊松求和公式.pptxVIP

泊松求和公式第1页/共71页离散付氏级数的数学解释泊松求和公式(The Poisson Sum Formula)设一周期函数 是以f(t)为主值函数，以T为周期进行周期延拓而得，如下图左图所示。在第二章中已经证明，若F(?)是f(t)的付氏变换，则：此系时域泊松求和公式，是将无穷积分变换成有限求和的基础。f(t)F(?)第2页/共71页离散付氏级数的数学解释下面将用线性系统理论证明泊松求和公式，以此来说明其系统意义。设某系统的传递函数为F(?)，对应的冲激响应为f(t)，如下图所示。第3页/共71页离散付氏级数的数学解释若输入为：则由线性系统理论知，其输出为：另一方面，由付氏级数输入信号可展开成：将上式右端通过系统，得到响应为：第4页/共71页离散付氏级数的数学解释此即时域泊松求和公式。另外，在频域也有类似的公式成立：设 为以F(?)为主值函数，以?1为周期进行周期延拓而得的周期函数，见前图右图。f(t)是F(?)的付氏反变换，则有频域泊松求和公式：第5页/共71页离散付氏级数的数学解释f(t)与F(?)为付氏变换对，而 与 不是付氏变换关系。 和 分别是f(t)和F(?)的周期延拓，其周期分别为T和?1。当f(t)为因果函数时，利用频域泊松求和公式(令?=0)有：利用泊松公式可以推导出一些有用的恒等式。第6页/共71页离散付氏级数的数学解释例3-10：已知变换对：试求序列 的付氏展开式。解：由频域泊松公式有：第7页/共71页离散付氏级数的数学解释令?=0和T1=1，有： 题给出的变换对和?=0和T1=1 ，可得第8页/共71页离散付氏级数的数学解释付氏变换与付氏级数(Fourier Transform and Fourier Series)由泊松公式可见，通过X(?)的样本X(n?0)可求得 的付氏级数系数(频谱)，即：频域取样（离散化）后，x(t)就周期化了，而且?0=2?/T，当?0越小，则T越大；当T→∞时， ?0→0；若x(t)已知， 则可以精确地确定 ；对于信号g(t)的截短函数：x(t)=g(t)Pa/2(t)，由上式可求得g(t)的付氏变换G (?)的样本的近似值。第9页/共71页离散付氏级数的数学解释X(?)为截短函数的付氏变换，一般情况下，它可近似G (?)。与时域取样类似，若x(t)严格限制在有限区间内，即x(t)满足：当|t|a/2时，x(t)=0；则有：若Ta，则 可由x(t)唯一地确定；若Ta， 将产生混叠。用窗函数w(t)代替Pa/2(t)（矩形窗），通过选择适当的w(t)，可使误差G(n?0)-X(n?0)减小。这类截短问题在数字信号处理中有许多应用，如数字滤波器设计和频谱分析等。第10页/共71页离散付氏级数的数学解释付氏级数与离散付氏级数(Fourier Series and DFS)通过对付氏级数与离散付氏级数关系的讨论，将可用一个有限和式来近似计算付氏级数系数。设一个周期函数：若对 进行取样，取N为一任意整数，而且有T=NT1，即在一个周期内取N点，则 的样值 由下式确定：第11页/共71页离散付氏级数的数学解释式中，WN是1的N元根，称作旋转因子。我们知道，在一个域内取样离散化，则在另一个域内周期化，而k又可写作： K=n+rN，n=0,1, …,N-1；r=…,-1,0,1, …并且，旋转因子具有周期性： 和 ，所以上式又可写作：令： ，显然 序列是周期的，即：所以有：第12页/共71页离散付氏级数的数学解释上式说明，周期函数 的样本值 由一组（一个周期） 来确定；而且， 也由一个周期内的样本值 来确定。 的付氏级数系数Cn与 由 来联系。例3-11：设 ，N＝9；试求解：因为|n|10时，Cn=0，所以，由Cn与 关系式得：第13页/共71页离散付氏级数的数学解释一般而言， 不能确定Cn，除非仅有N个不为0的 。例如三角多项式为：若N2M＋1，由Cn与 关系式知：Cn与 的图形如下图所示。这时，由