Symmetry

A discrete-time signal will often possess some form of symmetry that may be exploited in solving problems. Two symmetries of interest are as follows: A real-valued signal is said to be even if, for all indices n, x[n]=x[n], whereas a signal is said to be odd if, for all indices n, x[n]=x[n]. For complex signals the symmetries of interest are slightly different namely a complex signal is conjugate symmetric if, for all indices n x[n]=x[n] and a signal is said to be conjugate antisymmetric if, for all indices n x[n]=x[n]. Furthermore, any signal x[n] may be decomposed into a sum of its even part, denoted by xe[n], and its odd part, denoted by xo[n]. The even part can be constructed as xe[n]=12(x[n]+x[n]), while the odd part can be constructed as xo[n]=12(x[n]x[n]).

The following equations summarize all these symmetries: Even Conjugate-symmetric:x[n]=x[n]x[n]=x[n]Odd Conjugate-antisymmetric:x[n]=x[n]x[n]=x[n]General: x[n]=xe[n]+xo[n]with xe[n]=12(x[n]+x[n])and xo[n]=12(x[n]x[n])

Example


If x[n]=0 for n<0, derive an expression for x[n] in terms of its even part, xe[n]=(0.8)|n|u[n].
Note that for x[n]=0 for n<0 we have xe[n]=12x[n] for n>0 and xe[n]=x[n] for n=0. From this it follows that in this case we can write x[n] in terms of its even part as follows: x[n]={xe[n]for n=02xe[n]for n>0. With xe[n]=(0.8)|n|u[n] this results in the following: x[n]=δ[n]+2(0.8)nu[n1]. Note: If only the odd part is given for this case, it is not possible to recover x[n].

Example


Is the complex signal x[n]=jejnπ4 conjugate-symmetric or -antisymmetric?
xe[n]=12(x[n]+x[n])=12(jejnπ4jejnπ4)=0 Thus, this signal x[n] is conjugate-antisymmetric.