\begin{example}

Given $x_e(n) = \frac{1}{2}\lr{x(n) + x(-n)}$, prove that $\Real{X(\omega)} = \frac{1}{2}\lr{X(\omega) + X^*(\omega)}$.


\begin{align*}
x(n) &\ftp X(\omega) \\
\frac{1}{2}x(n) &\ftp \frac{1}{2}X(\omega) \\
\frac{1}{2}x(-n) &\ftp \frac{1}{2}X(-\omega) \\
\end{align*}

We showed that if a signal is even, then its fourier transform is also even and purely real. This implies that the inverse fourier transform of the real part a frequency response is the even part of the signal. In other words,

\begin{align*}
\iftrans{\Real{X(\omega)}} &= x_e(n) \\
\Real{X(\omega)} &= \ftrans{x_e(n)} \\
\end{align*}


Also note that if $x$ is real, then we can use the conjugate symmetric property, $X(\omega) = X^*(-\omega)$. 
\begin{align*}
x_e &= \frac{1}{2}\lr{x(n) + x(-n)} \\
\ftrans{x_e} &= \ftrans{\frac{1}{2}\lr{x(n) + x(-n)}} \\
\ftrans{x_e} &= \frac{1}{2}\ftrans{x(n)} + \frac{1}{2}\ftrans{x(-n)} \\
\ftrans{x_e} &= \frac{1}{2}X(\omega) + \frac{1}{2}X(-\omega) \\
\ftrans{x_e} &= \frac{1}{2}X(\omega) + \frac{1}{2}X^*(\omega) \\
\end{align*}

\end{example}


\begin{example}
Given $x_o(n) = \frac{1}{2}\lr{x(n) - x(-n)}$, prove that $\Imag{X(\omega)} = \frac{1}{2}\lr{X(\omega) - X^*(\omega)}$.


\begin{align*}
x(n) &\ftp X(\omega) \\
\frac{1}{2}x(n) &\ftp \frac{1}{2}X(\omega) \\
\frac{1}{2}x(-n) &\ftp \frac{1}{2}X(-\omega) \\
\end{align*}

We showed that if a signal is odd, then its fourier transform is also odd and purely imaginary. This implies that the inverse fourier transform of the product of $i$ and the imaginary part a frequency response is the odd part of the signal. In other words,

\begin{align*}
\iftrans{i\Imag{X(\omega)}} &= x_o(n) \\
i\Imag{X(\omega)} &= \ftrans{x_o(n)} \\
\end{align*}


Also note that if $x$ is real, then we can use the conjugate symmetric property, $X(\omega) = X^*(-\omega)$. 
\begin{align*}
x_o &= \frac{1}{2}\lr{x(n) - x(-n)} \\
\ftrans{x_o} &= \ftrans{\frac{1}{2}\lr{x(n) - x(-n)}} \\
\ftrans{x_o} &= \frac{1}{2}\ftrans{x(n)} - \frac{1}{2}\ftrans{x(-n)} \\
\ftrans{x_o} &= \frac{1}{2}X(\omega) - \frac{1}{2}X(-\omega) \\
\ftrans{x_o} &= \frac{1}{2}X(\omega) - \frac{1}{2}X^*(\omega) \\
\end{align*}

\end{example}

\begin{example}
For a signal $x(n) \in \R $ $ \forall n$, given the following facts, determine $x(n)$.
\begin{align*}
(1)& \quad x(n) = 0 \quad \forall n \gt 0 \\
(2)& \quad x(0) \gt 0 \\
(3)& \quad \Imag{X(\omega)} = \sin(\omega) - \sin(2\omega)\\
(4)& \quad \frac{1}{2\pi} \int_{-\pi}^{\pi}\abs{X(\omega)}^2d\omega=3 \\
\end{align*}

Note that Parseval's Relation for Aperiodic signals is:
$$ \sum \limits_{n\in\Z}\abs{x(n)}^2 = \frac{1}{2\pi} \int_{-\pi}^{\pi}\abs{X(\omega)}^2d\omega$$

Start with the third fact:
\begin{align*}
\Imag{X(\omega)} &= \sin(\omega) - \sin(2\omega) \\
i\Imag{X(\omega)} &= i\lr{\sin(\omega) - \sin(2\omega)} \\
\ftrans{x_o(n)} &= i\lr{\sin(\omega) - \sin(2\omega)} \\
\ftrans{x_o(n)} &= i\lr{\frac{1}{2i}e^{i\omega}-\frac{1}{2i}e^{-i\omega}-\frac{1}{2i}e^{i2\omega}+\frac{1}{2i}e^{-i2\omega}} \\
\ftrans{\frac{x(n)-x(-n)}{2}} &= i\lr{\frac{1}{2i}e^{i\omega}-\frac{1}{2i}e^{-i\omega}-\frac{1}{2i}e^{i2\omega}+\frac{1}{2i}e^{-i2\omega}} \\
\frac{1}{2}\ftrans{x(n)} - \frac{1}{2}\ftrans{x(-n)}&= \frac{1}{2}\lr{e^{i\omega}-e^{-i\omega}-e^{i2\omega}+e^{-i2\omega}} \\
\ftrans{x(n)} - \ftrans{x(-n)}&= \lr{e^{i\omega}-e^{-i\omega}-e^{i2\omega}+e^{-i2\omega}} \\
\end{align*}

How can we eliminate the $x(-n)$? Lets consider $\forall n \lt 0$, so $x(-n) = 0$:

\begin{align*}
\ftrans{x(n)} - \ftrans{x(-n)}&= \lr{e^{i\omega}-e^{-i\omega}-e^{i2\omega}+e^{-i2\omega}} \\
\ftrans{x(n)} &= \lr{e^{i\omega}-e^{-i\omega}-e^{i2\omega}+e^{-i2\omega}} \\
x(n) &= \iftrans{e^{i\omega}-e^{-i\omega}-e^{i2\omega}+e^{-i2\omega}} \\
x(n) &= \delta(n+1)-\delta(n-1)-\delta(n+2)+\delta(n-2) \\
\end{align*}

But notice that $\delta(n-1)$ and $\delta(n-2)$ are out of range. This is because $\delta(n-1)$ doesn't make sense $\forall n \lt 0$ since $n$ here must be 1 for $\delta(n-1$ to equal 1. The same is true for $\delta(n-2)$ since 2 is not in the domain. Now we can continue by taking those terms out of the equation:
\begin{align*}
x(n) &= \delta(n+1)-\delta(n-1)-\delta(n+2)+\delta(n-2) \\
x(n) &= \delta(n+1)-\delta(n+2) \\
\end{align*}

Now we can use the fourth fact, $\frac{1}{2\pi} \int_{-\pi}^{\pi}\abs{X(\omega)}^2d\omega=3$, in combination with Parseval's relation. 

\begin{align*}
\frac{1}{2\pi} \int_{-\pi}^{\pi}\abs{X(\omega)}^2d\omega &= 3 \\
\sum \limits_{n\in\Z}\abs{x(n)}^2 &= 3 \\
\sum \limits_{n=-\infty}^{0}\abs{x(n)}^2 &= 3 \\
\sum \limits_{n=-\infty}^{-1}\abs{x(n)}^2 + \abs{x(0)}^2 &= 3 \\
\abs{x(-2)}^2 + \abs{x(-1)}^2 + \abs{x(0)}^2 &= 3 \\
2 + \abs{x(0)}^2 &= 3 \\
\abs{x(0)}^2 &= 1 \\
x(0) &= 1 \quad \mbox{because of (2)}\\
\end{align*}

We know that this implies $\delta(n)$ since we have 1 at 0. Therefore our signal is $x(n) = \delta(n) + \delta(n+1)-\delta(n+2)$.

\end{example}


Additional Problems