Diferencia entre revisiones de «Series de Fourier (Grupo PPAD)»

De MateWiki
Saltar a: navegación, buscar
(→‎. Aproximación de una función por la base trigonométrica)
(→‎. Aproximación de una función por la base trigonométrica)
Línea 23: Línea 23:
  
  
−
<center><math> h(x) = \frac{2\pi}{b-a} (x - a) - \pi, \quad x \in [a, b] </math>
+
<center><math> h(x) = \frac{2\pi}{b-a} (x - a) - \pi, \quad x \in [a, b] </math><center>
  
  
 
De esta manera, \( h(x) \in [-\pi, \pi] \), lo que permite trasladar la base ortonormal del espacio \( L^2([- \pi, \pi]) \) al nuevo intervalo \( [a, b] \).
 
De esta manera, \( h(x) \in [-\pi, \pi] \), lo que permite trasladar la base ortonormal del espacio \( L^2([- \pi, \pi]) \) al nuevo intervalo \( [a, b] \).
  
 +
Bajo este cambio de variable, una función \( f(x) \) en \( L^2([a,b]) \) se puede expresar como:
 +
 +
<math>
 +
f(x) = \frac{d_0}{\sqrt{b-a}} + \sum_{n=0}^{\infty} d_n \cos(n R(x)) + \sum_{n=0}^{\infty} c_n \sin(n R(x))
 +
</math>
 +
 +
donde el coeficiente \( d_0 \) es:
 +
 +
<math>
 +
d_0 = \frac{1}{\sqrt{b-a}}
 +
</math>
 +
 +
para que su norma sea 1, pues:
 +
 +
<math>
 +
\left\langle \frac{1}{\sqrt{b-a}}, \frac{1}{\sqrt{b-a}} \right\rangle = \int_a^b \frac{1}{b-a} \, dx = 1.
 +
</math>
 +
 +
De esta forma, obtenemos la base de Fourier de \( L^2([a,b]) \):
 +
 +
<math>
 +
\mathcal{F} = \left\{ \frac{1}{\sqrt{b-a}}, \frac{\sqrt{2}}{\sqrt{b-a}} \cos\left(n \frac{2\pi (x-a)}{b-a} - \pi\right), \frac{\sqrt{2}}{\sqrt{b-a}} \sin\left(n \frac{2\pi (x-a)}{b-a} - \pi\right) \right\}.
 +
</math>
 +
 +
Para preservar la ortonormalidad en \( L^2([a,b]) \), los senos y cosenos han sido normalizados con el factor:
 +
 +
<math>
 +
\frac{\sqrt{2}}{\sqrt{b-a}}
 +
</math>
 +
 +
para los términos trigonométricos.
  
  

Revisión del 22:08 11 feb 2025

Trabajo realizado por estudiantes
Título Series de Fourier (Grupo PPAD).
Asignatura EDP
Curso 2024-25
Autores Pablo Vidal Nacle, Pablo Maestro Fernández, Alex Heredero Santamaría, Diego Moñino Vizmanos
Este artículo ha sido escrito por estudiantes como parte de su evaluación en la asignatura


1 . Introducción

Se define el espacio de Hilbert [math]L^2(a,b)[/math] como:

[math] L^2(a,b) = \left\{ f(x)| \int_{a}^{b} |f(x)|^{2} dx \lt \infty \right\} [/math],

donde [math] a,b \in \mathbb{R} [/math] y [math] a \lt b [/math]. [math]L^2(a,b)[/math] es un espacio vecotrial con producto escalar asociado:

[math] (f,g)_{L^{2}}=\int_{a}^{b} f(x)g(x) dx, \forall f,g \in L^{2} [/math],

Esta construcción del espacio [math] L^{2} [/math] permite plantear la posibilidad de definir una base numerable que permita expresar todos los elementos del espacio en función de los elementos de la base.

2 . Base trigonométrica

Tal y como se ha definido en la introducción, consideramos el espacio [math]L^2(-\pi,\pi)[/math]. En éste se define la base numerable [math] \beta [/math] dada por los siguientes elementos:

[math] \beta = \left\{ \frac{1}{\sqrt{2\pi}}, \frac{1}{\sqrt{\pi}}cos(nx), \frac{1}{\sqrt{\pi}}sen(nx) \right\}_{n \in \mathbb{N}} [/math],

que se conoce como referencia de Fourier trigonométrica.

3 . Aproximación de una función por la base trigonométrica

Sea
[math] f(x) = xe^{-x} [/math],

definida en el intervalo [-2,3], se busca aproximar f mediante la base trigonométrica del espacio [math]L^2(-2,3)[/math].

Consideramos el espacio de Hilbert \( L^2([- \pi, \pi]) \) con el producto interno \( \langle \cdot, \cdot \rangle_{L^2} \). En este espacio tomamos la referencia de Fourier trigonométrica:

[math] \beta = \left\{ \frac{1}{\sqrt{2\pi}}, \frac{1}{\sqrt{\pi}}cos(nx), \frac{1}{\sqrt{\pi}}sen(nx) \right\}_{n \in \mathbb{N}} [/math],

Si consideramos ahora el espacio \( L^2([a, b]) \), buscamos una base ortonormal (referencia de Fourier) en este espacio. Para ello, hacemos el cambio de variable:


[math] h(x) = \frac{2\pi}{b-a} (x - a) - \pi, \quad x \in [a, b] [/math]<center>


De esta manera, \( h(x) \in [-\pi, \pi] \), lo que permite trasladar la base ortonormal del espacio \( L^2([- \pi, \pi]) \) al nuevo intervalo \( [a, b] \).

Bajo este cambio de variable, una función \( f(x) \) en \( L^2([a,b]) \) se puede expresar como:

[math] f(x) = \frac{d_0}{\sqrt{b-a}} + \sum_{n=0}^{\infty} d_n \cos(n R(x)) + \sum_{n=0}^{\infty} c_n \sin(n R(x)) [/math]

donde el coeficiente \( d_0 \) es:

[math] d_0 = \frac{1}{\sqrt{b-a}} [/math]

para que su norma sea 1, pues:

[math] \left\langle \frac{1}{\sqrt{b-a}}, \frac{1}{\sqrt{b-a}} \right\rangle = \int_a^b \frac{1}{b-a} \, dx = 1. [/math]

De esta forma, obtenemos la base de Fourier de \( L^2([a,b]) \):

[math] \mathcal{F} = \left\{ \frac{1}{\sqrt{b-a}}, \frac{\sqrt{2}}{\sqrt{b-a}} \cos\left(n \frac{2\pi (x-a)}{b-a} - \pi\right), \frac{\sqrt{2}}{\sqrt{b-a}} \sin\left(n \frac{2\pi (x-a)}{b-a} - \pi\right) \right\}. [/math]

Para preservar la ortonormalidad en \( L^2([a,b]) \), los senos y cosenos han sido normalizados con el factor:

[math] \frac{\sqrt{2}}{\sqrt{b-a}} [/math]

para los términos trigonométricos.
Obtenido de «https://mat.caminos.upm.es/w/index.php?title=Series_de_Fourier_(Grupo_PPAD)&oldid=83672»