Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Seriesde Fourier PDF
Seriesde Fourier PDF
DE FOURIER
Renato Álvarez Nodarse
1. Resolución de EDPs
1.1. La ecuación de ondas
En este apartado vamos a usar las series de Fourier para resolver la ecua-
ción de ondas unidimensional
∂2 2 ∂
2
u(x, t) = a u(x, t),
∂t2 ∂x2
con las condiciones de contorno
u(0, t) = u(π, t) = 0, (1.1)
y las condiciones iniciales
∂
u(x, 0) = f (x), u(x, 0) = g(x). (1.2)
∂t
Esta ecuación, conocida como ecuación de ondas, modeliza el movimiento de
una onda unidimensional (por ejemplo el sonido).
1
y
T 00 (t) + a2 λT (t) = 0 (1.4)
Por sencillez asumiremos a = 1.
2
∞
∂ X
u(x, 0) = g(x) = nBn sen nx,
∂t n=1
donde
Z π Z π
2 2
An = f (x) sen nx dx, Bn = g(x) sen nx dx. (1.6)
π 0 nπ 0
Supongamos ahora que el perfil inicial de una cuerda viene dado por la
función
f (x) = αx(π − x)
y que inicialmente está en reposo, es decir, g(x) = 0. Entonces usando (1.6)
tenemos Bn = 0 para todo n ∈ N y
2 π 4α(1 + (−1)n+1 )
Z
An = f (x) sen nx dx = ,
π 0 n3 π
y por tanto la solución es
∞
8α X 1
u(x, t) = cos(2n − 1)nt sen(2n − 1)x.
π n=1 (2n − 1)3
3
Como ejercicio considerar el caso cuando
x 0 ≤ x ≤ π4 ,
π
π
f (x) = 4
≤ x ≤ 3π
4
, y g(x) = 0.
4
π − x 3π ≤ x ≤ π.
4
y la condición inicial
u(x, 0) = f (x). (1.8)
Nuevamente usaremos el método de separación de variables:
y
T 0 (t) − a2 λT (t) = 0 (1.10)
4
La solución general de (1.9) depende del valor de λ. Es fácil comprobar
que solamente se tienen soluciones no nulas si λ > 0. En este caso la solución
general es √ √
X(x) = α cos λx + β sen λx,
que junto a las condiciones de contorno para X nos dan las soluciones
Xn (x) = sen nx, λ := λn = n2 .
En este caso para T obtenemos
T 0 (t) + a2 n2 T (t) = 0,
luego
2 n2 t
Tn (t) = e−a
y por tanto una solución de nuestra ecuación con las condiciones de contorno
(1.7) será
2 2
un (x, t) = An e−a n t sen nx.
Como la ecuación del calor es lineal y homogénea entonces su solución general
será de la forma
∞ ∞
2 2
X X
u(x, t) = un (x, t) = An e−a n t sen nx. (1.11)
n=1 n=1
donde
2 π
Z
An = f (x) sen nx dx. (1.12)
π 0
Veamos un ejemplo. Supongamos que la distribución inicial de la tempe-
ratura es uniforme, i.e., f (x) = T0 . Entonces, usando (1.12) tenemos Bn = 0
para todo n ∈ N y
2 π 2T0 (1 + (−1)n+1 )
Z
An = f (x) sen nx dx = ,
π 0 πn
5
ası́ que la solución es
∞
4T0 X 1 2 2
u(x, t) = e−a (2n−1) t sen(2n − 1)x.
π n=1 2n − 1
6
que junto a las condiciones de contorno para X nos dan las soluciones
luego
1 1 √
Tn (t) = An e− 2 t e−ωn t + Bn e− 2 t eωn t , ωn = 4a2 n2 − 3,
o, equivalentemente,
1
Tn (t) = e− 2 t (An cosh(ωn t) + Bn senh(ωn t))
∞
∂ X 1
u(x, 0) = 0 = − An + Bn ωn sen nx,
∂t n=1
2
donde
Z π Z π
2 An An
An = f (x) sen nx dx, Bn = = f (x) sen nx dx. (1.18)
π 0 2ωn πωn 0
7
por tanto
8α
B2n−1 = p , B2n = 0, n = 1, 2, . . . ,
π(2n − 1)3 4a2 (2n − 1)2 − 3
luego la solución es
∞
X
− 12 t cosh(ωn t) senh(ωn t)
u(x, t) = 8α e 3
+ sen(2n − 1)x,
n=1
π(2n − 1) π(2n − 1)3 ωn
√
con ωn = 4a2 n2 − 3.
π
(
αx, 0≤x≤ 2
Como ejercicio encontrar la solución si f (x) =
π
α(π − x), 2
≤ x ≤ π.
8
2. La transformada de Fourier
2.1. Definición
Sea f una función cualquiera, no necesariamente periódica.
Si nos restringimos al intervalo [−l, l] ⊂ R podemos suponer que la fun-
ción es periódica de periodo 2l y entonces, si f es lo suficientemente buena,
∞
X kπ
f (x) = c(ωk , l)eiωk x , ωk = , k ∈ Z,
k=−∞
l
donde Z l
1
c(ωk , l) = f (x)e−iωk x dx.
2l −l
o, equivalentemente,
Z ∞ Z ∞
1
f (x) = f (x)e iωx
dx e−iωx dω.
2π −∞ −∞
Lo anterior es, por tanto, un análogo de la serie de Fourier válido para fun-
ciones definidas sobre todo R.
3
Basta que f sea absolutamente integrable en R, i.e., f ∈ L1 (R).
9
Definición 2.1 Dada una función integrable f : R 7→ C, definiremos su
transformada de Fourier que denotaremos por fb o F[f ] a la función
Z ∞
1
f (λ) = F[f ](λ) :=
b f (x)e−iλx dx. (2.1)
2π −∞
2 x2 C 2 2
ha (λ) = Ce−a , hba (λ) = F[ha ](λ) = √ e−λ /(4a ) . (2.3)
2a π
1, |x| ≤ l,
5. ul : R 7→ R, ul (x) = .
0, |x| > l
10
2.2. Algunos resultados de convergencia para la trans-
formada de Fourier
R
Lema 2.3 Sea f : R 7→ C, f ∈ L1 (R), i.e., R |f (x)|dx < +∞. Entonces
4. lı́m fb(λ) = 0.
|λ|→∞
iλh
h f (λ) = F[τh f ](λ) = f (λ)e
2. τd b
11
3. f[
eixh (λ) = τ−h fb(λ) = fb(λ − h).
dn F[f ]
2. fb(n) (λ) = (λ) = (−i)k xd n f (λ) = (−i)k F[xn f ](λ), ∀n = 0, 1, . . . k.
dλk
Además, se tiene
Z Z
f (x)bg (x)dx = fb(x)g(x)dx, (2.5)
R R
de donde se deduce la propiedad
Z Z Z Z
2
f (x)g(x)dx = f (x)b
b g (x)dx ⇒ |f (x)| dx = |fb(x)|2 dx. (2.6)
R R R R
Definición 2.9 Dada dos funciones f y g absolutamente integrables se de-
fine la convolución (f ∗ g)(x) mediante la expresión
Z Z
(f ∗ g)(x) = f (z)g(x − z)dz = f (x − z)g(z)dz.
R R
Se puede probar que entonces F[f ∗ g](λ) = F[f ](λ)F[g](λ) = fb(λ)b g (λ) y
que sF[f g](λ) = (f ∗ gb)(λ).
b
12