写在前面: 疫情期间一直在家自习《信号与系统》,查阅了很多网上的资料,特此整理成博文以备复习。
三角函数系的正交性
对集合:{1,cosx,sinx,cos2x,sin2x,…,coskx,sinkx,…}, k ∈ N k\in N k∈N。满足性质:
∫ − π π s i n k x dx = 0 ∫ − π π c o s k x dx = 0 \int_{-\pi}^{\pi}sinkx \textrm{\bf{dx}}=0 \qquad \int_{-\pi}^{\pi}coskx \textrm{\bf{dx}}=0 ∫−ππsinkxdx=0∫−ππcoskxdx=0
根据上述性质可进一步推导得到如下性质:( m ≠ n , m , n ∈ N m\neq n,m,n\in N m=n,m,n∈N)
∫ − π π c o s ( m x ) c o s ( n x ) dx = 0 ∫ − π π s i n ( m x ) s i n ( n x ) dx = 0 \int_{-\pi}^{\pi}cos(mx)cos(nx) \textrm{\bf{dx}}=0 \qquad \int_{-\pi}^{\pi}sin(mx)sin(nx) \textrm{\bf{dx}}=0 ∫−ππcos(mx)cos(nx)dx=0∫−ππsin(mx)sin(nx)dx=0
且:( m , n ∈ N m,n\in N m,n∈N)
∫ − π π s i n ( m x ) c o s ( n x ) dx = 0 \int_{-\pi}^{\pi}sin(mx)cos(nx) \textrm{\bf{dx}}=0 ∫−ππsin(mx)cos(nx)dx=0
证明的话利用三角函数和差化积or积化和差公式即可。上述性质在复指数表达式中同样成立,这里仅举一例说明:( m ≠ n m\neq n m=n)
∫ − π π e j ( m − n ) t dx = 0 \int_{-\pi}^{\pi}e^{j(m-n)t}\textrm{\bf{dx}}=0 ∫−ππej(m−n)tdx=0
如果想要更加深刻地理解并记忆这些性质,推荐阅读傅里叶变换后面的到底有什么小秘密和Jason Huang的回答。这两篇文章介绍了正交函数基和函数空间的概念,甚至涉及了实变函数的一些知识。而理解这些有助于我们推导出下面一个性质,日后证明傅立叶变换时需要用到。网上查了好多好多资料其实都没点到这个性质:在广义函数定义下,有如下等式成立:
∫ − ∞ + ∞ e j ( ω 1 − ω 2 ) t dt = { 2 π δ ( ω 1 − ω 2 ) ω 1 = ω 2 0 ω 1 ≠ ω 2 \int_{-\infty}^{+\infty}e^{j(\omega_1-\omega_2)t}\textrm{\bf{dt}}=\left\{\begin{matrix} 2\pi\delta(\omega_1-\omega_2)&\omega_1=\omega_2 \\ 0&\omega_1\neq \omega_2 \end{matrix}\right. ∫−∞+∞