4.5: ¿Cuándo es una Serie de Fourier?
- Page ID
- 113695
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Las series discutidas antes solo son útiles ya que podemos asociar una función con ellas. ¿Cómo podemos hacer eso?
Supongamos que la función periódica\(f(x)\) tiene una representación en serie de Fourier (intercambiar la suma e integración, y usar ortogonalidad),
\[f(x) = \frac{a_0}{2} + \sum_{n=1}\bigg[a_n\cos\bigg(\frac{n\pi x}{L}\bigg) + b_n\sin\bigg(\frac{n\pi x}{L}\bigg)\bigg] \nonumber \]
Ahora podemos usar la ortogonalidad de las funciones trigonométricas para encontrar que
\[\frac{1}{L}\int_{-L}^Lf(x)\cdot 1 dx = a_0 \nonumber \]
\[\frac{1}{L}\int_{-L}^Lf(x)\cdot \cos \bigg(\frac{n\pi x}{L}\bigg) dx = a_n \nonumber \]
\[\frac{1}{L}\int_{-L}^Lf(x)\cdot \sin \bigg(\frac{n\pi x}{L}\bigg) dx = a_n \nonumber \]
Esto define los coeficientes de Fourier para un dado\(f(x)\). Si todos estos coeficientes existen hemos definido una serie de Fourier, de cuya convergencia hablaremos en una conferencia posterior.
Una propiedad importante de las series de Fourier se da en el lema de Parseval:
\[ \int_{-L}^L (f(x))^2dx = \frac{La_0^2}{2}+L\sum_{n=1}^\infty(a_n^2+b_n^2). \nonumber \]
Esto parece una trivialidad, hasta que uno se da cuenta de lo que hemos hecho: hemos vuelto a intercambiar una suma infinita y una integración. Hay muchos casos en los que un intercambio de este tipo falla, y en realidad hace una declaración fuerte sobre el conjunto ortogonal cuando se mantiene. Esta propiedad generalmente se conoce como integridad. Solo discutiremos conjuntos completos en estas conferencias.
Ahora estudiemos un ejemplo. Consideramos una onda cuadrada (este ejemplo volverá algunas veces)
\[ f(x) = \bigg\{\begin{array}{ll}-3 & \mbox{if }-5+10n<x<10n\\ 3 & \mbox{if }10n < x < 5+10n \end{array}, \label{eq3} \]
donde\(n\) es un número entero, como se esboza en la Fig. \(\PageIndex{1}\).
Esta función no está definida en\(x=5n\). Eso lo vemos fácilmente\(L=5\). Los coeficientes de Fourier son\[\begin{aligned} a_0 &= \frac{1}{5} \int_{-5}^0 -3 dx + \frac{1}{5} \int^{5}_0 3 dx = 0 \nonumber\\ a_n &= \frac{1}{5} \int_{-5}^0 -3 \cos\left(\frac{n\pi x}{5}\right) +\frac{1}{5} \int_0^5 3 \cos\left(\frac{n\pi x}{5}\right) = 0\\ b_n &= \frac{1}{5} \int_{-5}^0 -3 \sin\left(\frac{n\pi x}{5}\right) +\frac{1}{5} \int_0^5 3 \sin\left(\frac{n\pi x}{5}\right) \nonumber\\ &= \left.\frac{3}{n\pi}\cos\left(\frac{n\pi x}{5}\right)\right|^0_{-5} -\left.\frac{3}{n\pi}\cos\left(\frac{n\pi x}{5}\right)\right|^5_{0} \nonumber\\&= \frac{6}{n\pi}[1-\cos(n\pi)] = \begin{cases} \frac{12}{n\pi} &\text{if $n$ odd}\\ 0 &\text{if $n$ even} \end{cases} \nonumber\end{aligned} \nonumber \] Y así (\(n=2m+1\))\[f(x) = \frac{12}{\pi}\sum_{m=0} \frac{1}{2m+1} \sin\left(\frac{(2m+1)\pi x}{5}\right). \nonumber \]
¿Qué pasa si aplicamos el teorema de Parseval a esta serie?
- Contestar
-
Encontramos\[\int_{-5}^5 9 dx = 5 \frac{144}{\pi^2} \sum_{m=0}^\infty\left(\frac{1}{2m+1}\right)^2 \nonumber \] Que se puede utilizar para mostrar que\[\sum_{m=0}^\infty\left(\frac{1}{2m+1}\right)^2 = \frac{\pi^2}{8}. \nonumber \]