Lo que pasa es que la exponencial compleja
![e^{jn\theta_{0}} e^{jn\theta_{0}}](https://eva.fing.edu.uy/filter/tex/pix.php/e043e498c13cfac5e4207299270d5aff.png)
, con
![\theta_{0} = \frac{2\pi}{N} \theta_{0} = \frac{2\pi}{N}](https://eva.fing.edu.uy/filter/tex/pix.php/62f9f16d10ecea72baa3fdbe6cc2fe75.png)
es periódica de periodo
![N N](https://eva.fing.edu.uy/filter/tex/pix.php/8d9c307cb7f3c4a32822a51922d1ceaa.png)
por lo que para calcular los coeficientes de Fourier en el caso discreto solo hay que sumar sobre un periodo, ya que luego tanto los valores de
![e^{jn\theta_{0}} e^{jn\theta_{0}}](https://eva.fing.edu.uy/filter/tex/pix.php/e043e498c13cfac5e4207299270d5aff.png)
como de
![x[n] x[n]](https://eva.fing.edu.uy/filter/tex/pix.php/d3baaa3204e2a03ef9528a7d631a4806.png)
se vuelven a repetir; lo mismo pasa con la base
![e^{jk\theta_{0}n} e^{jk\theta_{0}n}](https://eva.fing.edu.uy/filter/tex/pix.php/7b21e13c22ab79020f690ea3a98fafd5.png)
, por lo que la síntesis de la señal
![x[n] x[n]](https://eva.fing.edu.uy/filter/tex/pix.php/d3baaa3204e2a03ef9528a7d631a4806.png)
no se escribe descompuesta sobre una base infinita, sino que sobre una finita, en un periodo.
Me parece que hay un error en la letra y debería decir " .... son los coeficientes de Fourier de
![x[n] x[n]](https://eva.fing.edu.uy/filter/tex/pix.php/d3baaa3204e2a03ef9528a7d631a4806.png)
,
![y[n] y[n]](https://eva.fing.edu.uy/filter/tex/pix.php/a39037ba03412351ec1f3c8ca9e807fd.png)
y
![z[n] z[n]](https://eva.fing.edu.uy/filter/tex/pix.php/8a8c996b9e9d1294c8f815911479257f.png)
... "
Vos tenes que
![a_k = \frac{1}{N} \sum_{n=\prec N\succ}x[n]e^{-jk\theta_{0}n} a_k = \frac{1}{N} \sum_{n=\prec N\succ}x[n]e^{-jk\theta_{0}n}](https://eva.fing.edu.uy/filter/tex/pix.php/8c4a1e54f234b0fe43071f6ffa3cf696.png)
,
![b_k = \frac{1}{N} \sum_{n=\prec N\succ}y[n]e^{-jk\theta_{0}n} b_k = \frac{1}{N} \sum_{n=\prec N\succ}y[n]e^{-jk\theta_{0}n}](https://eva.fing.edu.uy/filter/tex/pix.php/8289ec81ea75e2a511d38e65b365dbcf.png)
,
![c_k = \frac{1}{N} \sum_{n=\prec N\succ}\sum_{r=\prec N\succ}x[r]y[n-r]e^{-jk\theta_{0}n} c_k = \frac{1}{N} \sum_{n=\prec N\succ}\sum_{r=\prec N\succ}x[r]y[n-r]e^{-jk\theta_{0}n}](https://eva.fing.edu.uy/filter/tex/pix.php/51665def1be72fffe25982f871c38e35.png)
.
Ahora
![a_k b_k = \frac{1}{N^2} (\sum_{n=\prec N\succ}x[n]e^{-jk\theta_{0}n})( \sum_{n=\prec N\succ}y[n]e^{-jk\theta_{0}n}) a_k b_k = \frac{1}{N^2} (\sum_{n=\prec N\succ}x[n]e^{-jk\theta_{0}n})( \sum_{n=\prec N\succ}y[n]e^{-jk\theta_{0}n})](https://eva.fing.edu.uy/filter/tex/pix.php/648dcbd6cecc2d06cf3f638dd6d02a0b.png)
. Pensando como quedaría lo anterior si agrupas lo que multiplica a cada
![x[r] x[r]](https://eva.fing.edu.uy/filter/tex/pix.php/28f23a0192c4b16ad197077511552170.png)
y sumando sobre cada
![a_k b_k = \frac{1}{N^2} \sum_{r=\prec N\succ}(x[r]e^{-jk\theta_{0}r} \sum_{n=\prec N\succ}y[n-r]e^{-jk\theta_{0}(n-r)}) a_k b_k = \frac{1}{N^2} \sum_{r=\prec N\succ}(x[r]e^{-jk\theta_{0}r} \sum_{n=\prec N\succ}y[n-r]e^{-jk\theta_{0}(n-r)})](https://eva.fing.edu.uy/filter/tex/pix.php/9690346416318ee538f250ab83cb9bb1.png)
Acá no tenes problema con
![y[n] y[n]](https://eva.fing.edu.uy/filter/tex/pix.php/a39037ba03412351ec1f3c8ca9e807fd.png)
ni con
![e^{-jk\theta_{0}n} e^{-jk\theta_{0}n}](https://eva.fing.edu.uy/filter/tex/pix.php/5af23a87350d9d6929f7fcdc6fab9e1e.png)
porque como son periódicas de periodo
![N N](https://eva.fing.edu.uy/filter/tex/pix.php/8d9c307cb7f3c4a32822a51922d1ceaa.png)
el que las corras r no afecta a la igualdad. Como
![x[r]e^{-jk\theta_{0}r} x[r]e^{-jk\theta_{0}r}](https://eva.fing.edu.uy/filter/tex/pix.php/7b428433f5cdc87d9b15ee1dcd27588a.png)
no depende de
![n n](https://eva.fing.edu.uy/filter/tex/pix.php/7b8b965ad4bca0e41ab51de7b31363a1.png)
,lo podes meter dentro de la segunda sumatoria y te queda
![a_k b_k = \frac{1}{N^2}\sum_{r=\prec N\succ}\sum_{n=\prec N\succ}x[r]e^{-jk\theta_{0}r}y[n-r]e^{-jk\theta_{0}(n-r)} = \frac{1}{N^2}\sum_{r=\prec N\succ}\sum_{n=\prec N\succ}x[r]y[n-r]e^{-jk\theta_{0}n} a_k b_k = \frac{1}{N^2}\sum_{r=\prec N\succ}\sum_{n=\prec N\succ}x[r]e^{-jk\theta_{0}r}y[n-r]e^{-jk\theta_{0}(n-r)} = \frac{1}{N^2}\sum_{r=\prec N\succ}\sum_{n=\prec N\succ}x[r]y[n-r]e^{-jk\theta_{0}n}](https://eva.fing.edu.uy/filter/tex/pix.php/dc4257d0aa0e721e5c9b12d74dc78d23.png)
.
Finalmente intercambiando las sumatorias
![a_k b_k = \frac{1}{N^2}\sum_{n=\prec N\succ}\sum_{r=\prec N\succ}x[r]y[n-r]e^{-jk\theta_{0}n} = \frac{c_k}{N} a_k b_k = \frac{1}{N^2}\sum_{n=\prec N\succ}\sum_{r=\prec N\succ}x[r]y[n-r]e^{-jk\theta_{0}n} = \frac{c_k}{N}](https://eva.fing.edu.uy/filter/tex/pix.php/35fb04fe4ac09ff629dbcf5dc37b674e.png)
La propiedad de las series de Fourier de la convolución periódica es exactamente lo que demostrás en este ejercicio.
Si hay algún error, les agradezco me lo hagan saber.
Espero se entienda bien, un saludo.