文章目录
三角函数正交性
三角函数正交性是一个非常重要的数学性质,特别是在信号处理和傅里叶分析中。三角函数的正交性可以表示为在一个周期内,不同频率的正弦和余弦函数的乘积的积分等于零。
集合 { sin 0 x = 0 , cos 0 x = 1 , sin x , cos x , sin 2 x , cos 2 x , … } \{\sin 0x = 0, \cos 0x = 1, \sin x, \cos x, \sin 2x, \cos 2x, \ldots\} { sin0x=0,cos0x=1,sinx,cosx,sin2x,cos2x,…} 包括了无穷多的正弦和余弦函数,它们的频率从 0 开始递增。
这些函数在 [ 0 , 2 π ] [0, 2\pi] [0,2π] 上正交。这意味着,如果您取其中任意两个不同的函数并计算它们在一个完整周期上的乘积的积分,结果将为零。
具体来说:
- 当 n = m n = m n=m 时, ∫ 0 2 π sin n x sin m x d x = ∫ 0 2 π cos n x cos m x d x = π \int_{0}^{2\pi} \sin nx \sin mx \,dx = \int_{0}^{2\pi} \cos nx \cos mx \,dx = \pi ∫02πsinnxsinmxdx=∫02πcosnxcosmxdx=π;
- 当 n ≠ m n \neq m n=m 时, ∫ 0 2 π sin n x sin m x d x = ∫ 0 2 π cos n x cos m x d x = 0 \int_{0}^{2\pi} \sin nx \sin mx \,dx = \int_{0}^{2\pi} \cos nx \cos mx \,dx = 0 ∫02πsinnxsinmxdx=∫02πcosnxcosmxdx=0;
- 对于所有 n , m n, m n,m, ∫ 0 2 π sin n x cos m x d x = 0 \int_{0}^{2\pi} \sin nx \cos mx \,dx = 0 ∫02πsinnxcosmxdx=0。
正弦函数的正交性
正弦函数的正交性取决于整数 n n n 和 m m m 是否相等。下面我们详细证明这两种情况。
1. 当 n = m n = m n=m 时:
考虑积分:
∫ 0 2 π sin n x sin n x d x = ∫ 0 2 π sin 2 n x d x \int_{0}^{2\pi} \sin nx \sin nx \,dx = \int_{0}^{2\pi} \sin^2 nx \,dx ∫02πsinnxsinnxdx=∫02πsin2nxdx
我们可以使用三角恒等式将其转换为余弦的形式:
sin 2 n x = 1 − cos 2 n x 2 \sin^2 nx = \frac{1 - \cos 2nx}{2} sin2nx=21−cos2nx
积分得到:
∫ 0 2 π 1 − cos 2 n x 2 d x = π \int_{0}^{2\pi} \frac{1 - \cos 2nx}{2} \,dx = \pi ∫02π21−cos2nxdx=π
-
完整推导,我们可以得到:
∫ 0 2 π sin n x sin n x d x = ∫ 0 2 π sin 2 n x d x = ∫ 0 2 π 1 − cos 2 n x 2 d x = 1 2 ∫ 0 2 π 1 d x − 1 2 ∫ 0 2 π cos 2 n x d x = 1 2 ⋅ 2 π − 0 = π \begin{aligned}\int_{0}^{2\pi} \sin nx \sin nx \,dx &= \int_{0}^{2\pi} \sin^2 nx \,dx \\&= \int_{0}^{2\pi} \frac{1 - \cos 2nx}{2} \,dx \\&= \frac{1}{2}\int_{0}^{2\pi} 1 \,dx - \frac{1}{2}\int_{0}^{2\pi} \cos 2nx \,dx \\&= \frac{1}{2}\cdot 2\pi - 0 \\&= \pi\end{aligned} ∫02πsinnxsinnxdx=∫02πsin2nxdx=∫02π21−cos2nxdx=21∫02π1dx−21∫02πcos2nxdx=21⋅2π−0=π
2. 当 n ≠ m n \neq m n=m 时:
考虑积分:
∫ 0 2 π sin n x sin m x d x \int_{0}^{2\pi} \sin nx \sin mx \,dx ∫02πsinnxsinmxdx
我们可以使用乘积到和的恒等式:
sin n x sin m x = 1 2 ( cos ( n − m ) x − cos ( n + m ) x ) \sin nx \sin mx = \frac{1}{2}\left( \cos(n-m)x - \cos(n+m)x \right) sinnxsinmx=21(cos(n−m)x−cos(n+m)x)
然后积分:
∫ 0 2 π sin n x sin m x d x = 1 2 ∫ 0 2 π ( cos ( n − m ) x − cos ( n + m ) x ) d x = 1 2 [ sin ( n − m ) x n − m − sin ( n + m ) x n + m ] 0 2 π = 1 2 [ sin ( n − m ) ( 2 π ) n − m − sin ( n + m ) ( 2 π ) n + m − sin ( n − m ) ( 0 ) n − m + sin ( n + m ) ( 0 ) n + m ] = 0 \begin{aligned}\int_{0}^{2\pi} \sin nx \sin mx \,dx &= \frac{1}{2}\int_{0}^{2\pi} \left( \cos(n-m)x - \cos(n+m)x\right) \,dx \\ &= \frac{1}{2}\left[\frac{\sin(n-m)x}{n-m} - \frac{\sin(n+m)x}{n+m}\right]_{0}^{2\pi} \\ &= \frac{1}{2}\left[\frac{\sin(n-m)(2\pi)}{n-m} - \frac{\sin(n+m)(2\pi)}{n+m} - \frac{\sin(n-m)(0)}{n-m} + \frac{\sin(n+m)(0)}{n+m}\right] \\ &= 0\end{aligned} ∫02πsinnxsinmxdx=21∫02π(cos(n−m)x−cos(n+m)x)dx=21[n−msin(n−m)x−n+msin(n+m)x]02π=21[n−msin(n−m)(2π)−n+msin(n+m)(2π)−n−msin(n−m)(0)+n+msin(n+m)(0)]=0
因为 ( n − m ) (n-m) (n−m) 和 ( n + m ) (n+m) (n+m) 都是非零整数,所以在 [ 0 , 2 π ] [0, 2\pi] [0,2π] 上的余弦函数积分都为0。
总结:
- 当 n = m n = m n=m 时,积分结果为 π \pi π。
- 当 n ≠ m n \neq m n=m 时,积分结果为0。
这些性质在傅里叶分析和信号处理中非常重要,它们使我们能够将复杂的周期信号分解为不同频率的正弦和余弦分量。
余弦函数的正交性
余弦函数的正交性也可以通过类似的方法进行证明。我们分析两种情况:
1. 当 n = m n = m n=m 时:
考虑积分:
∫ 0 2 π cos n x cos n x d x = ∫ 0 2 π cos 2 n x d x \int_{0}^{2\pi} \cos nx \cos nx \,dx = \int_{0}^{2\pi} \cos^2 nx \,dx ∫02πcosnxcosnxdx=∫02πcos2nxdx
我们可以使用三角恒等式将其转换为余弦的形式:
cos 2 n x = 1 + cos 2 n x 2 \cos^2 nx = \frac{1 + \cos 2nx}{2} cos2nx=21+cos2nx
积分得到:
∫ 0 2 π 1 + cos 2 n x 2 d x = π \int_{0}^{2\pi} \frac{1 + \cos 2nx}{2} \,dx = \pi ∫02π21+cos2nxdx=π
-
完整推导,我们可以得到:
∫ 0 2 π cos n x cos n x d x = ∫ 0 2 π cos 2 n x d x = ∫ 0 2 π 1 + cos 2 n x 2 d x = 1 2 ∫ 0 2 π 1 d x + 1 2 ∫ 0 2 π cos 2 n x d x = 1 2 ⋅ 2 π + 0 = π \begin{aligned}\int_{0}^{2\pi} \cos nx \cos nx \,dx &= \int_{0}^{2\pi} \cos^2 nx \,dx \\&= \int_{0}^{2\pi} \frac{1 + \cos 2nx}{2} \,dx \\&= \frac{1}{2}\int_{0}^{2\pi} 1 \,dx + \frac{1}{2}\int_{0}^{2\pi} \cos 2nx \,dx \\&= \frac{1}{2}\cdot 2\pi + 0 \\&= \pi\end{aligned} ∫02πcosnxcosnxdx=∫02πcos2nxdx=∫02π21+cos2nxdx=21∫02π1dx+21∫02πcos2nxdx=21⋅2π+0=π
2. 当 n ≠ m n \neq m n=m 时:
考虑积分:
∫ 0 2 π cos n x cos m x d x \int_{0}^{2\pi} \cos nx \cos mx \,dx ∫02πcosnxcosmxdx
我们可以使用乘积到和的恒等式:
cos n x cos m x = 1 2 ( cos ( n − m ) x + cos ( n + m ) x ) \cos nx \cos mx = \frac{1}{2}\left( \cos(n-m)x + \cos(n+m)x \right) cosnxcosmx=21(cos(n−m)x+cos(n+m)x)
然后积分:
∫ 0 2 π cos n x cos m x d x = 1 2 ∫ 0 2 π ( cos ( n − m ) x + cos ( n + m ) x ) d x = 1 2 [ sin ( n − m ) x n − m + sin ( n + m ) x n + m ] 0 2 π = 1 2 [ sin ( n − m ) ( 2 π ) n − m + sin ( n + m ) ( 2 π ) n + m − sin ( n − m ) ( 0 ) n − m − sin ( n + m ) ( 0 ) n + m ] = 0 \begin{aligned}\int_{0}^{2\pi} \cos nx \cos mx \,dx &= \frac{1}{2}\int_{0}^{2\pi} \left( \cos(n-m)x + \cos(n+m)x\right) \,dx \\&= \frac{1}{2}\left[\frac{\sin(n-m)x}{n-m} + \frac{\sin(n+m)x}{n+m}\right]_{0}^{2\pi} \\&= \frac{1}{2}\left[\frac{\sin(n-m)(2\pi)}{n-m} + \frac{\sin(n+m)(2\pi)}{n+m} - \frac{\sin(n-m)(0)}{n-m} -\frac{\sin(n+m)(0)}{n+m}\right] \\&= 0\end{aligned} ∫02πcosnxcosmxdx=21∫02π(cos(n−m)x+cos(n+m)x)dx=21[n−msin(n−m)x+n+msin(n+m)x]02π=21[n−msin(n−m)(2π)+n+msin(n+m)(2π)−n−msin(n−m)(0)−n+msin(n+m)(0)]=0
因为 ( n − m ) (n-m) (n−m) 和 ( n + m ) (n+m) (n+m) 都是非零整数,所以在 [ 0 , 2 π ] [0, 2\pi] [0,2π] 上的余弦函数积分都为0。
总结:
- 当 n = m n = m n=m 时,积分结果为 π \pi π。
- 当 n ≠ m n \neq m n=m 时,积分结果为0。
这些性质在傅里叶分析和信号处理中也同样重要,它们也使我们能够将复杂的周期信号分解为不同频率的余弦分量。
正弦和余弦函数的正交性
正弦和余弦函数的正交性也可以证明,我们分析两种情况:
当 n = m n = m n=m 时:
考虑积分:
∫ 0 2 π sin n x cos n x d x \int_{0}^{2\pi} \sin nx \cos nx \,dx ∫02πsinnxcosnxdx
使用乘积到和的恒等式,我们有:
sin n x cos n x = 1 2 ( sin ( n + m ) x + sin ( n − m ) x ) \sin nx \cos nx = \frac{1}{2}\left( \sin(n + m)x + \sin(n - m)x \right) sinnxcosnx=21(sin(n+m)x+sin(n−m)x)
由于 n = m n = m n=m,该表达式变为:
1 2 ( sin 2 n x + sin 0 ) \frac{1}{2}\left( \sin 2nx + \sin 0 \right) 21(sin2nx+sin0)
积分得到:
∫ 0 2 π 1 2 ( sin 2 n x + sin 0 ) d x = 0 \int_{0}^{2\pi} \frac{1}{2}\left( \sin 2nx + \sin 0 \right) \,dx = 0 ∫02π21(sin2nx+sin0)dx=0
当 n ≠ m n \neq m n=m 时:
考虑积分:
∫ 0 2 π sin n x cos m x d x \int_{0}^{2\pi} \sin nx \cos mx \,dx ∫02πsinnxcosmxdx
我们可以使用乘积到和的恒等式:
sin n x cos m x = 1 2 ( sin ( n + m ) x + sin ( n − m ) x ) \sin nx \cos mx = \frac{1}{2}\left( \sin(n + m)x + \sin(n - m)x \right) sinnxcosmx=21(sin(n+m)x+sin(n−m)x)
然后积分:
∫ 0 2 π 1 2 ( sin ( n + m ) x + sin ( n − m ) x ) d x = 0 \int_{0}^{2\pi} \frac{1}{2}\left( \sin(n + m)x + \sin(n - m)x \right) \,dx = 0 ∫02π21(sin(n+m)x+sin(n−m)x)dx=0
因为 ( n − m ) (n-m) (n−m) 和 ( n + m ) (n+m) (n+m) 都是整数,所以在 [ 0 , 2 π ] [0, 2\pi] [0,2π] 上的正弦函数积分都为0。
- 对于任何整数 n n n和 m m m,我们有:
∫ 0 2 π sin n x cos m x d x = 0 \int_{0}^{2\pi} \sin nx \cos mx \,dx = 0 ∫02πsinnxcosmxdx=0
证明如下:
使用三角恒等式:
sin n x cos m x = 1 2 ( sin ( n + m ) x + sin ( n − m ) x ) \sin nx \cos mx = \frac{1}{2} \left( \sin(n+m)x + \sin(n-m)x \right) sinnxcosmx=21(sin(n+m)x+sin(n−m)x)
我们可以得到:
∫ 0 2 π sin n x cos m x d x = 1 2 ∫ 0 2 π ( sin ( n + m ) x + sin ( n − m ) x ) d x = 1 2 [ − cos ( n + m ) x n + m − cos ( n − m ) x n − m ] 0 2 π = 1 2 [ − cos ( n + m ) ( 2 π ) n + m + cos ( n + m ) ( 0 ) n + m + cos ( n − m ) ( 2 π ) n − m − cos ( n − m ) ( 0 ) n − m ] = 0 \begin{aligned} \int_0^{2\pi}\sin nx\cos mxdx& =\frac12\int_0^{2\pi}\left(\sin(n+m)x+\sin(n-m)x\right)dx \\ &=\frac12\left[-\frac{\cos(n+m)x}{n+m}-\frac{\cos(n-m)x}{n-m}\right]_0^{2\pi} \\ &=\frac12\left[-\frac{\cos(n+m)(2\pi)}{n+m}+\frac{\cos(n+m)(0)}{n+m}+\frac{\cos(n-m)(2\pi)}{n-m}-\frac{\cos(n-m)(0)}{n-m}\right] \\ &=0 \end{aligned} ∫02πsinnxcosmxdx=21∫02π(sin(n+m)x+sin(n−m)x)dx=21[−n+mcos(n+m)x−n−mcos(n−m)x]02π=21[−n+mcos(n+m)(2π)+n+mcos(n+m)(0)+n−mcos(n−m)(2π)−n−mcos(n−m)(0)]=0
这样,我们证明了正弦和余弦函数之间的正交性。当两个函数的频率不同时,一个周期内的乘积的积分等于零。
总结:
- 当 n = m n = m n=m 时,积分结果为0。
- 当 n ≠ m n \neq m n=m 时,积分结果为0。
这些性质在傅里叶分析中同样重要,它们表明不同频率的正弦和余弦函数在整个周期上彼此正交。