9.3: Serie de Fourier
( \newcommand{\kernel}{\mathrm{null}\,}\)
Nuestra solución de las ecuaciones de difusión y onda requerirá el uso de una serie de Fourier. Una función periódicaf(x) con punto2L, se puede representar como una serie de Fourier en la forma f(x)=a02+∞∑n=1(ancosnπxL+bnsinnπxL).
Determinación de los coeficientesa0,a1,a2,… yb1,b2,b3,… hace uso de relaciones de ortogonalidad para seno y coseno. Primero definimos el delta de Kronecker ampliamente utilizadoδnm comoδnm={1if n=m;0otherwise.
Las relaciones de ortogonalidad paran y los enterosm positivos se dan entonces con notación compacta como las fórmulas de integración ∫L−Lcos(mπxL)cos(nπxL)dx=Lδnm,∫L−Lsin(mπxL)sin(nπxL)dx=Lδnm,∫L−Lcos(mπxL)sin(nπxL)dx=0.
Para ilustrar la técnica de integración utilizada para obtener estos resultados, derivamos(???) asumiendo quen ym son enteros positivos conn≠m. Cambiando variables aξ = \pi x/L, obtenemos\begin{aligned}\int_{-L}^L\sin&\left(\frac{m\pi x}{L}\right)\sin\left(\frac{n\pi x}{L}\right)dx \\ &=\frac{L}{\pi}\int_{-\pi}^\pi\sin(m\xi)\sin(n\xi)d\xi \\ &=\frac{L}{2\pi}\int_{-\pi}^\pi [\cos ((m-n)\xi)-\cos((m+n)\xi)]d\xi \\ &=\frac{L}{2\pi}\left[\frac{1}{m-n}\sin((m-n)\xi)-\frac{1}{m+n}\sin((m+n)\xi)\right]_{-\pi}^\pi \\ &=0.\end{aligned}
Puesm=n, sin embargo,\begin{aligned}\int_{-L}^L\sin^2\left(\frac{n\pi x}{L}\right)dx&=\frac{L}{\pi}\int_{-\pi}^\pi\sin^2(n\xi)d\xi \\ &=\frac{L}{2\pi}\int_{-\pi}^\pi(1-\cos(2n\xi))d\xi \\ &=\frac{L}{2\pi}\left[\xi-\frac{1}{2n}\sin 2n\xi\right]_{-\pi}^\pi \\ &=L.\end{aligned}
Las fórmulas de integración dadas por\eqref{eq:2} y\eqref{eq:4} pueden derivarse de manera similar.
Para determinar el coeficientea_n, multiplicamos ambos lados de\eqref{eq:1} por\cos (n\pi x/L) conn un entero no negativo, y cambiamos la variable de suma ficticio den am. Integrando sobrex de−L aL y asumiendo que la integración se puede hacer término por término en la suma infinita, obtenemos\begin{aligned}\int_{-L}^Lf(x)\cos &\frac{n\pi x}{L}dx=\frac{a_0}{2}\int_{-L}^L\cos\frac{n\pi x}{L}dx \\ &+\sum\limits_{m=1}^\infty\left\{a_m\int_{-L}^L\cos\frac{n\pi x}{L}\cos\frac{m\pi x}{L}dx+b_m\int_{-L}^L\cos\frac{n\pi x}{L}\sin\frac{m\pi x}{L}dx\right\}.\end{aligned}
Sin = 0, entonces la segunda y tercera integrales en el lado derecho son cero y la primera integral es2L para que el lado derecho se conviertaLa_0. Sin es un entero positivo, entonces la primera y tercera integrales en el lado derecho son cero, y la segunda integral esL\delta_{nm}. Para este caso, tenemos\begin{aligned}\int_{-L}^Lf(x)\cos\frac{n\pi x}{L}dx&=\sum\limits_{m=1}^\infty La_m\delta_{nm} \\ &=La_n,\end{aligned} donde todos los términos en la suma exceptom = n son cero en virtud del delta del Kronecker. Por lo tanto, obtenemos paran = 0, 1, 2,\ldots \label{eq:5}a_n=\frac{1}{L}\int_{-L}^L f(x)\cos\frac{n\pi x}{L}dx.
Para determinar los coeficientesb_1,\: b_2,\: b_3,\ldots, multiplicamos ambos lados de\eqref{eq:1} por\sin (n\pi x/L), conn un entero positivo, y nuevamente cambiamos la variable de suma ficticio den am. Integrando, obtenemos\begin{aligned}\int_{-L}^L f(x)\sin &\frac{n\pi x}{L}dx=\frac{a_0}{2}\int_{-L}^L\sin\frac{n\pi x}{L}dx \\ &+\sum\limits_{m=1}^\infty\left\{a_m\int_{-L}^L\sin\frac{n\pi x}{L}\cos\frac{m\pi x}{L}dx+b_m\int_{-L}^L\sin\frac{n\pi x}{L}\sin\frac{m\pi x}{L}dx\right\}.\end{aligned}
Aquí, la primera y segunda integrales en el lado derecho son cero, y la tercera integral esL\delta_{nm} para que\begin{aligned}\int_{-L}^L f(x)\sin\frac{n\pi x}{L}dx&=\sum\limits_{m=1}^\infty Lb_m\delta_{nm} \\ &=Lb_n.\end{aligned}
Por lo tanto, paran = 1,\: 2,\: 3,\ldots, \label{eq:6}b_n=\frac{1}{L}\int_{-L}^L f(x)\sin\frac{n\pi x}{L}dx.
Nuestros resultados para la serie de Fourier de una funciónf(x) con periodo2L son dados por\eqref{eq:1},\eqref{eq:5} y\eqref{eq:6}.