Orthogonality properties are used extensively in the development of Fourier series representations for the analysis of continuous-time and discrete-time signals. The use of an orthogonal set of basis functions ensures that the relationship between a periodic signal and its Fourier series representation is one-to-one, that is, each periodic signal has a unique set of Fourier series coefficients, and each set of coefficients corresponds to a unique signal. In this appendix we will summarize several forms of orthogonality properties and carry out their proofs.
Consider the two real-valued basis function sets defined as
and
where ω0 is the fundamental frequency in rad/s. The period that corresponds to the fundamental frequency ω0 is
It can be shown that each of the two sets in Eqns. (D.1) and (D.2) is orthogonal within itself, that is,
and
Functions Furthermore, the two sets are orthogonal to each other:
Writing Eqns. (D.3), (D.4) and (D.5) using the definitions of the basis function sets in Eqns. (D.1) and (D.2), we arrive at the orthogonality properties
Proof:
Using the trigonometric identity in Eqn. (B.4), Eqn. (D.6) becomes
Let us first assume k ≠ m . The integrand of the first integral on the right side is periodic with period
The integrand cos ((k +m) ω0t)has (k + m) full periods in the interval from 0 to T0. Therefore the result of the first integral is zero. Similarly the integrand of the second integral on the right side of Eqn. (D.9) is periodic with period
The integrand cos ((k − m) ω0t) has |k − m| full periods in the interval from 0 to T0. Therefore the result of the second integral is also zero.
If k = m then Eqn. (D.9) becomes
completing the proof of Eqn. (D.6). Eqns. (D.7) and (D.8) can be proven similarly, using the trigonometric identities given by (B.5) and (B.6) and recognizing integrals that span an integer number of periods of sine and cosine functions.
Consider the set of complex periodic basis functions
where the parameter ω0 is the fundamental frequency in rad/s as in the case of the trigonometric set of basis functions of the previous section, and T0 = 2π/ω0 is the corresponding period. It can be shown that this basis function set in Eqn. (D.11) is orthogonal in the sense
The second term in the integrand is conjugated due to the fact that we are working with a complex set of basis functions. Writing Eqn. (D.12) in open form using the definition of the basis function set in Eqns. (D.11) we arrive at the orthogonality property
Proof:
Let us combine the exponential terms in the integral of Eqn. (D.13) and then apply Euler’s formula to write it as
If k ≠ m , both integrands on the right side of Eqn. (D.14) are periodic with period
Both integrands cos ((k − m) ω0t) and sin ((k − m) ω0t) have exactly |k − m| full periods in the interval from 0 to T0. Therefore the result of each integral is zero.
If k = m we have
which completes the proof for Eqn. (D.13).
Consider the set of discrete-time complex periodic basis functions
Parameters N and k are both integers. It can be shown that this basis function set in Eqn. (D.16) is orthogonal in the sense
Proof:
The summation in Eqn. (D.17) can be put into a closed form using the finite-length geometric series formula in Eqn. (C.10) to obtain
which can be simplified as
Let us begin with the case k ≠ m . The numerator of the fraction on the right side of Eqn. (D.18) is equal to zero. Since both integers k and m are in the interval k, m = 0,...,N − 1 their absolute difference |k − m| is in the interval n = 1,...,N − 1. Therefore the denominator of the fraction is non-zero, and the result is zero, proving the first part of Eqn. (D.17).
If k = m then the denominator of the fraction in Eqn. (D.18) also becomes zero, and L’Hospital’s rule must be used leading to