Per a passar de la sèrie trigonomètrica a la sèrie complexa, primer hem d’expressar \(a_n\) i \(b_n\) com
\begin{align*}
a_n &= A_n \cos\varphi_n,\\
b_n &= A_n \sin\varphi_n.
\end{align*}
Això es correspon a expressar el número complex \(a_n+\ii b_n\) en la forma polar. La resposta és
\begin{align*}
A_n &= \sqrt{a_n^2 + b_n^2},\\
\varphi_n &= \arctan_2(b_n, a_n).
\end{align*}
Ara fem servir la identitat
\begin{align*}
\cos\varphi_n \cos\omega_n t +
\sin\varphi_n \sin\omega_n t
&=
\cos(\varphi_n - \omega_n t)\\
&=
\cos(\omega_n t - \varphi_n)
\end{align*}
amb \(A_n\cos\varphi_n = a_n\) , \(A_n\sin\varphi_n = b_n\) , i \(\beta = \omega_n t\) :
\begin{align}
f(t)
&=
\frac{a_0}{2}
+
\sum_{n=1}^\infty
\left(
a_n
\cos\left(\frac{2\pi n}{T}\, t\right) +
b_n
\sin\left(\frac{2\pi n}{T}\, t\right)
\right)\notag\\
&=
\frac{a_0}{2}
+
\sum_{n=1}^\infty
\left(
A_n\cos\varphi_n\cos\omega_n t
+
A_n\sin\varphi_n\sin\omega_n t
\right)\notag\\
&=
\frac{a_0}{2}
+
\sum_{n=1}^\infty
A_n \cos(\omega_n t - \varphi_n).\tag{1.4.12}
\end{align}
La identitat
(1.4.12) s’anomena la
forma d’ amplitud i fase de la sèrie de Fourier, però no la treballarem més.
Ara apliquem la identitat d’Euler,
\begin{equation}
e^{\ii \varphi}
\ = \
\cos\varphi + \ii \sin\varphi.\tag{1.4.13}
\end{equation}
Reemplaçant
\(\varphi\) per
\(-\varphi\) en
(1.4.13) dóna
\begin{equation}
e^{-\ii \varphi}
\ = \
\cos(-\varphi) + \ii \sin(-\varphi)
\ = \
\cos\varphi - \ii \sin\varphi.\tag{1.4.14}
\end{equation}
\begin{equation*}
e^{\ii\varphi} + e^{-\ii\varphi}
\ = \
2\cos\varphi,
\end{equation*}
d’on deduïm que
\begin{equation}
\cos\varphi
\ = \
\frac12\left(
e^{\ii\varphi} + e^{-\ii\varphi}
\right).\tag{1.4.15}
\end{equation}
\begin{equation*}
\sin\varphi
\ = \
\frac{1}{2\ii}\left(
e^{\ii\varphi} - e^{-\ii\varphi}
\right)
\ = \
-\frac{\ii}{2}\left(
e^{\ii\varphi} - e^{-\ii\varphi}
\right);
\end{equation*}
però aquesta fórmula no la farem servir de moment.
Ara volem substituir
(1.4.15) en
(1.4.12). La part essencial d’aquesta substitució és la que afecta el terme
\(\cos(\omega_n t -\varphi_n)\text{.}\) Escriurem
\(\exp(\alpha)\) per
\(e^\alpha\) perquè les fórmules surtin més llegibles. Comencem amb
(1.4.15), i usarem també la propietat fonamental
\(\exp(a+b)=\exp(a)\exp(b)\) de la funció exponencial.
\begin{align*}
2
\cos (\omega_n t - \varphi_n)
&=
\exp(\ii(\omega_n t - \varphi_n))
+
\exp(-\ii(\omega_n t - \varphi_n))\\
&=
\exp(\ii\omega_n t - \ii\varphi_n)
+
\exp(-\ii\omega_n t + \ii\varphi_n)\\
&=
\exp(\ii\omega_n t) \exp( - \ii\varphi_n)
+
\exp(-\ii\omega_n t) \exp( + \ii\varphi_n)\\
&=
\exp(\ii\omega_n t) \exp( - \ii\varphi_n)
+
\exp(\ii\omega_{-n} t) \left(\exp(- \ii\varphi_n)\right)^\star.
\end{align*}
En l’últim pas hem fet servir que
\begin{equation*}
\omega_{-n}
\ = \
\frac{2\pi (-n)}{T}
\ = \
-\frac{2\pi n}{T}
\ = \
-\omega_n
\end{equation*}
i que \(\exp(\ii\varphi_n)\) és el valor complex conjugat de \(\exp(-\ii\varphi_n)\text{.}\) Finalment, hem denotat el complex conjugat d’un nombre complex \(a\) per \(a^\star\text{.}\)
\begin{align*}
f(t)
&=
\frac{a_0}{2}
+
\sum_{n=1}^\infty
A_n
\cos(\omega_n t - \varphi_n)\\
&=
\frac{a_0}{2}
+
\sum_{n=1}^\infty
\frac{A_n}{2}
\left[
\exp(\ii\omega_n t) \exp( - \ii\varphi_n)
+
\exp(\ii\omega_{-n} t) \left(\exp(- \ii\varphi_n)\right)^\star
\right]\\
&=
\underbrace{
\frac{a_0}{2}
}_{=:\ c_0}
+
\sum_{n=1}^\infty
\left[
\underbrace{
\left(
\frac{A_n}{2}
e^{- \ii\varphi_n}
\right)
}_{=:\ c_n}
e^{\ii\omega_n t}
+
\underbrace{
\left(
\frac{A_n}{2}
e^{- \ii\varphi_n}
\right)^\star
}_{=:\ c_{-n}}
e^{\ii\omega_{-n} t}
\right]\\
&=
c_0
+
\sum_{n=1}^{\infty}
c_n
e^{\ii\omega_n t}
+
\sum_{n=1}^{\infty}
c_{-n}
e^{\ii\omega_{-n} t}\\
&=
c_0
+
\sum_{n=1}^{\infty}
c_n
e^{\ii\omega_n t}
+
\sum_{n=-\infty}^{-1}
c_{n}
e^{\ii\omega_{n} t}\\
&=
\sum_{n=-\infty}^{\infty}
c_n
e^{\ii\omega_n t}.
\end{align*}
