Fourier series - by Ray Betz

Fourier Series

If

1. $x(t)=x(t+T)$
2. Dirichlet conditions are satisfied

then we can write

$\mathbf{x}(t)=\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{\alpha }_k{e}^{\frac{j2\pi kt}{T}}$

The above equation is called the complex fourier series. Given $x(t)$, we may determine ${\alpha }_k$ by taking the inner product of ${\alpha }_k$ with $x(t)$. Let us assume a solution for ${\alpha }_k$ of the form $e^{\frac{j2\pi nt}{T}}$. Now we take the inner product of ${\alpha }_k$ with $x(t)$. $<{\alpha }_k|x(t)>=<e^{\frac{j2\pi nt}{T}}|\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{\alpha }_k{e}^{\frac{j2\pi kt}{T}}>$ $=\underset{-\frac{T}{2}}{\overset{\frac{T}{2}}{\int }}x(t)e^{\frac{-j2\pi nt}{T}}dt$ $=\underset{-\frac{T}{2}}{\overset{\frac{T}{2}}{\int }}\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{\alpha }_k{e}^{\frac{j2\pi kt}{T}}{e}^{\frac{-j2\pi nt}{T}}dt$ $=\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{\alpha }_k\underset{-\frac{T}{2}}{\overset{\frac{T}{2}}{\int }}{e}^{\frac{j2\pi (k-n)t}{T}}dt$

If $k=n$ then,

$\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{\alpha }_k\underset{-\frac{T}{2}}{\overset{\frac{T}{2}}{\int }}{e}^{\frac{j2\pi (k-n)t}{T}}dt=\underset{-\frac{T}{2}}{\overset{\frac{T}{2}}{\int }}1dt=T$

If $k\ne n$ then,

$\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{\alpha }_k\underset{-\frac{T}{2}}{\overset{\frac{T}{2}}{\int }}{e}^{\frac{j2\pi (k-n)t}{T}}dt=0$

We can simplify the above two conclusion into one equation.

$\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{\alpha }_k\underset{-\frac{T}{2}}{\overset{\frac{T}{2}}{\int }}{e}^{\frac{j2\pi (k-n)t}{T}}dt=\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}T{\delta }_{k,n}{\alpha }_k=T{\alpha }_n$

So, we may conclude ${\alpha }_n=\frac{1}{T}\underset{-\frac{T}{2}}{\overset{\frac{T}{2}}{\int }}x(t)e^{\frac{-j2\pi nt}{T}}dt$

Orthogonal Functions

The function $y_n(t)$ and $y_m(t)$ are orthogonal on $(a,b)$ if and only if $<y_n(t)|y_m(t)>=\underset{a}{\overset{b}{\int }}{y}_n^{*}(t)y_m(t)dt=0$.

The set of functions are orthonormal if and only if $<y_n(t)|y_m(t)>=\underset{a}{\overset{b}{\int }}{y}_n^{*}(t)y_m(t)dt={\delta }_{m,n}$.

Linear Systems

I may come back to this latter...

Fourier Series (indepth)

I would like to take a closer look at ${\alpha }_k$ in the Fourier Series. Hopefully this will provide a better understanding of ${\alpha }_k$.

We will seperate x(t) into three parts; where ${\alpha }_k$ is negative, zero, and positive. $\mathbf{x}(t)=\sum _{k=-\mathrm{\infty }}^{\mathrm{\infty }}{\alpha }_k{e}^{\frac{j2\pi kt}{T}}=\sum _{k=-\mathrm{\infty }}^{-1}{\alpha }_k{e}^{\frac{j2\pi kt}{T}}+{\alpha }_0+\sum _{k=1}^{\mathrm{\infty }}{\alpha }_k{e}^{\frac{j2\pi kt}{T}}$

Now, by substituting $n=-k$ into the summation where $k$ is negative and substituting $n=k$ into the summation where $k$ is positive we get: $\sum _{k=1}^{\mathrm{\infty }}{\alpha }_{-n}{e}^{\frac{-j2\pi nt}{T}}+{\alpha }_0+\sum _{k=1}^{\mathrm{\infty }}{\alpha }_n{e}^{\frac{j2\pi nt}{T}}$

Recall that ${\alpha }_n=\frac{1}{T}\underset{-\frac{T}{2}}{\overset{\frac{T}{2}}{\int }}x(u)e^{\frac{-j2\pi nt}{T}}dt$

If $x(t)$ is real, then ${\alpha }_n^{*}={\alpha }_{-n}$. Let us assume that $x(t)$ is real.

$x(t)={\alpha }_0+\sum _{n=1}^{\mathrm{\infty }}({\alpha }_n{e}^{\frac{j2\pi nt}{T}}+{\alpha }_n^{*}{e}^{\frac{-j2\pi nt}{T}})$

Recall that $y+y^{*}=2Re(y)$ Here is further clarification on this property

So, we may write:

$x(t)={\alpha }_0+\sum _{n=1}^{\mathrm{\infty }}2Re({\alpha }_n{e}^{\frac{j2\pi nt}{T}})$

Fourier Transform

Fourier transforms emerge because we want to be able to make Fourier expressions of non-periodic functions. We can take the limit of those non-periodic functions to get a fourier expression for the function.

example of limit in wiki $\underset{x\to t}{\lim }f(x)=L$