Problemas de Series de Fourier

MMF II: Grupo I

http://euler.us.es/~renato/clases.html

1. Generalidades
Definición 1.1 Se dice que un espacio vectorial E es un espacio euclı́deo si da-
dos dos elementos cualesquiera x, y ∈ E existe un número denominado producto
escalar y que denotaremos por hx, yi tal que
1. Para todos x, y ∈ E, hx, yi = hy, xi.
2. Para todos x, y, z ∈ E, hx + y, zi = hx, zi + hy, zi.
3. Para todos x, y ∈ E y λ ∈ R, hλx, yi = λhx, yi
4. Para todo x ∈ E, x 6= 0, hx, xi > 0 y si hx, xi = 0, entonces x = 0.
Definición 1.2 Un espacio vectorial X se denomina espacio normado si para
todo x ∈ E existe un número real denominado norma y que denotaremos por
kxk que cumple con las condiciones
1. Para todo x ∈ X, kxk ≥ 0 y kxk = 0 entonces x = 0.
2. Para todo x ∈ X y λ ∈ R, kλxk = |λ|kxk,
3. Para todos x, y ∈ X se tiene la desigualdad triangular
kx + yk ≤ kxk + kyk. (1)

Definición 1.3 Dado un vector x ∈ X definiremos la serie de Fourier respecto

al sistema {φn }∞
n=1 a la serie
∞
X
s := cn φ n , (2)
n=1

donde los coeficientes vienen dados por las expresiones

hx, φn i
cn = , ∀n ≥ 1. (3)
kφn k2
Definición 1.4 Dada f ∈ X se dice y una sucesión sn , se dice que sn converge
en norma a f si
lı́m kf − sn k2 = 0. (4)
n→∞

Teorema 1.5 Sea Xn el subespacio lineal de X generado por los vectores {φ1 , φ2 . . . , φn },
n ∈ N, i.e., Xn es la envolvente lineal Span (φ1 , φ2 . . . , φn ). Entonces
n
X
mı́n ||x − q||2 = ||x||2 − c2k kφk k2
q∈Xn
k=0

donde ck son los coeficientes definidos en (3) y se alcanza cuando q es la suma

parcial de la serie de Fourier (2)
n
X
q = sn := ck φ k .
k=1

1
1.1. Problemas
Problema 1.1 Demuestra que en el espacio de las funciones continuas defini-
das en [a, b]
Z b
hf, gi = f (x)g(x)dx
a

define un producto escalar.

Problema 1.2 Demuestra la desigualdad de Cauchy-Schwarz |hf, gi|2 ≤ hf, f ihg, gi

y que la igualdad sólo tiene lugar si f (x) = αg(x).
p
Comprueba, utilizando lo anterior, que efectivamente en E, kf k = hf, f i
define una norma.
∞
X
Problema 1.3 Demuestra la desigualdad de Bessel c2k kφk k2 ≤ kxk2 , donde
k=0
ck son los coeficientes de Fourier de f .

Usando
P∞ lo anterior prueba que la serie de Fourier converge en norma si y
sólo si n=0 |cn |2 kφk k2 = kxk2 . La igualdad anterior se denomina identidad o
igualdad de Parseval.
∞
X hx, φk i
Problema 1.4 Prueba que si todo x ∈ E ⊂ X, x = φk , entonces se
kφk k2
k=1
tiene para todo x ∈ E ⊂ X la igualdad de Parseval.
Prueba que si es cierta la igualdad de Parseval y hx, φk i = 0 para todo k ∈ N
entonces x = 0.

2. Cálculo de series de Fourier

2.1. La serie trigonométrica de Fourier
Definición 2.1 Dada una función de cuadrado integrable y periódica f (x) en
[−π, π) definiremos la serie trigonométrica de Fourier por
∞
a0 X
s(x) = + an cos(nx) + bn sin(nx), (5)
2 n=1

donde los coeficientes vienen dados por las expresiones

1 π 1 π
Z Z
an = f (x) cos(nx)dx, bn = f (x) sin(nx)dx, (6)
π −π π −π

para n ≥ 0. A la suma
n
a0 X
sn (x) = + ak cos(kx) + bk sin(kx)
2
k=1

la denominaremos suma parcial de la serie.

2
Definición 2.2 Diremos que una función f (x) cumple las condiciones de Di-
richlet en el intervalo (−π, π) si:
1. La función f está uniformemente acotada en (−π, π); o sea, si existe una
constante positiva M tal que |f (x)| ≤ M para todo x ∈ (−π, π)
2. La función f sólo tiene un número finito de puntos de discontinuidad y
todos ellos de naturaleza evitable, es decir:

lı́m f (x0 − ) = lı́m f (x0 + ),  > 0, ∀x0 ∈ (−π, π)

→0 →0

3. La función f (x) tiene un número finito de extremos estrictos.

Teorema 2.3 Si una función cumple con las condiciones de Dirichlet en el in-
tervalo (−π, π) entonces en cualquier punto de ese intervalo en que f (x) sea
continua ésta se puede desarrollar en la serie de Fourier (5), donde los coefi-
cientes vienen dado por (6). Además, la serie converge en cada punto x a la
semisuma de los lı́mites laterales, o sea para todo x ∈ (−π, π) y para  > 0
tenemos:
f (x − ) + f (x + )
lı́m sn (x) = lı́m ,
N →∞ →0 2
f (−π + ) + f (π − )
y en los extremos la serie tiende a lı́m .
→0 2

2.2. Problemas
Problema 2.1 Encuentra la serie de Fourier de las siguientes funciones ex-
tendiendolas de forma periódica a todo el eje real:

A si 0 < x < π
1. f (x) =
0 si − π < x < 0

2. f (x) = |x| en [−π, π]

3. f (x) = ax en [−π, π]
4. f (x) = ax2 en [−π, π]
5. f (x) = ax2 en [0, 2π]

6. f (x) = eαx en [−π, π]

7. f (x) = | sin x| en [−π, π]
8. f (x) = cosh x en [−π, π]

9. f (x) = sinh x en [−π, π]

Como aplicación de lo anterior muestra que

∞ ∞ ∞
X 1 π2 X (−1)n+1 π2 X 1 π2
= , = , = .
n=1
n2 6 n=1
n2 16 n=1
(2n − 1)2 8

3
Problema 2.2 Demuestra que si el periodo de la función es T entonces la serie
de Fourier se escribe mediante la fórmula
∞
a0 X 2πkx 2πkx
+ ak cos + bk cos ,
2 T T
k=1

donde
T T
2 2πkx 2 2πkx
Z Z
ak = f (x) dx, bk = f (x) dx.
T 0 T T 0 T

Como aplicación calcula las series de Fourier de las funciones


A si 0 < x < T /2
1. f (x) =
0 si T /2 < x < T

2. f (x) = ax en [0, T ]

Problema 2.3 Supongamos que los coeficientes de Fourier de una función f (x)
vienen dados por las sucesiones (an )n y (bn )n . ¿Cuáles son los coeficientes de
la función trasladada f (x + h), h ∈ R?

Como aplicación calcula los coeficientes de Fourier f (x) = | cos x| usando el

resultado del problema anterior.

Una colección más exaustiva de problemas se puede encontrar en los libros:

1. I. I. LIASHKÓ, A. K. BOIARCHUK, Iá. G. GAI y G. P. GOLOVACH,

Matemática Superiores. Problemas Resuetos (Anti-Demidovich) Vol III.
(Series y Cálculo diferencial para funciones de varias variables) (URSS,
1999).

2. B. DEMIDOVICH, 5000 problemas de Análisis Matemático (Paraninfo,

1980).
3. L. D. KUDRIÁTSEV, A. D. KUTÁSOV, V. I. CHEJLOV y M. I. SHABU-
NIN, Problemas de Análisis Matemático: Integrales y Series (Mir-Rubiños,
1992).

4
3. Convergencia uniforme de la serie de Fourier
Definición 3.1 Diremos que la serie de Fourier converge puntualmente a f en
x0 si la sucesión de sus sumas parciales Sn f (x) converge puntualmente a f (x)
en x0 ∈ [−π, π], es decir, si para todo  > 0 existe un N ∈ N tal que para todo
n>N
|f (x0 ) − Sn f (x0 )| < .
Si Sn f (x) converge puntualmente para todo x ∈ (a, b) entonces diremos que la
serie de Fourier coverge puntualmente en (a, b) y lo denotaremos por fn −→ f .

Lo anterior se puede escribir como sigue: fn −→ f si para todo  > 0 y cada

x ∈ (a, b) existe un N ∈ N (en general dependiente de x y ) tal que para todo
n>N
|f (x) − Sn f (x)| < .

Definición 3.2 Diremos que la serie de Fourier converge uniformemente a f

en (a, b) ⊂ [−π, π], y lo denotaremos por fn ⇒ f , si para todo  > 0 existe un
N ∈ N (independiente de x) tal que para todo n > N y todo x ∈ (a, b)

|f (x) − Sn f (x)| < .

Figura 1: Convergencia no uniforme (izquierda) y uniforme (derecha)

Teorema 3.3 Sea f : R 7→ R una función 2π-periódica continua y con derivada

continua en [−π, π]. Entonces

1. La serie de Fourier de f 0 se obtiene derivando término a término la serie

(5) de f .
∞
X
2. |ak | + |bk | < +∞.
k=1

3. La serie de Fourier (5) converge uniformemente a f en [−π, π].

4. La serie de Fourier se puede integrar término a término.

5
4. Aplicaciones a las EDPs
4.1. Ecuación de ondas
Usando separación de variables resolver el problema
 2
∂ ∂2

 u(x, t) = u(x, t),
∂t2 ∂x2





u(0, t) = u(π, t) = 0,



∂


 u(x, 0) = f (x),

u(x, 0) = g(x).
∂t
En los siguientes casos:
1. Cuando el perfil inicial de una cuerda viene dado por la función
Ax


 0≤x≤a
a

f (x) =
 A(π − x)

 a ≤ x ≤ π,
π−a
y que inicialmente está en reposo, es decir, g(x) = 0.
2. Cuando 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.

3. Cuando el perfil inicial y la velocidad inicial de la cuerda viene dado por
las funciones
0 ≤ x ≤ π4 ,


 x

π

f (x) = π y g(x) = 0.
4
≤ x ≤ 3π4
,


 4
π − x 3π 4 ≤ x ≤ π.


4. Cuando el perfil inicial y la velocidad inicial de la cuerda viene dado por

las funciones f (x) = 0,
 v0 x

 a 0≤x≤a
g(x) =
 v0 (π − x) a ≤ x ≤ π,

π−a

6
4.2. Ecuación del calor
Usando separación de variables resolver el problema
 2
∂ 2 ∂
u(x, t) = a u(x, t),


∂x2

 ∂t



 u(0, t) = u(π, t) = 0,




u(x, 0) = f (x).


En los siguientes casos:

1. Cuando f (x) = T0 ,
2. Cuando f (x) = αx(π − x),
3. Cuando f (x) = β(x − π2 ).

4.3. Ecuación del telégrafo

Usando separación de variables resolver el problema
 2 2
∂ ∂ 2 ∂


 ∂t2 u(x, t) + u(x, t) + u(x, t) = a u(x, t),
∂t ∂x2




u(0, t) = u(π, t) = 0,



 u(x, 0) = f (x), ∂ u(x, 0) = 0.



∂t
En los siguientes casos:
1. Cuando f (x) = αx(π − x),
αx, 0 ≤ x ≤ π2
(
2. Cuando f (x) =
α(π − x), π2 ≤ x ≤ π.

4.4. Problema de Dirichlet en R2

4.4.1. En el cuadrado
Usando separación de variables resolver el problema
 2
∂ ∂2
u(x, y) + u(x, y) = 0,


 ∂y 2 ∂x2




 u(0, y) = u(π, y) = 0,




u(x, 0) = f (x), u(x, π) = g(x),


en los siguientes casos

1. f (x) = sen x, g(x) = 0
2. f (x) = x(π − x), g(x) = 0
π
αx, 0≤x≤
(
2
3. f (x) = x(π − x), g(x) =
π
α(π − x), 2 ≤ x ≤ π.

7
4.4.2. En el cı́rculo
Usando separación de variables resolver el problema
 2 2
 ∂ u(r, θ) + 1 ∂ u(r, θ) + 1 ∂ u(r, θ) = 0,

∂r 2 r ∂r r 2 ∂θ 2

u(1, θ) = f (θ)


siendo u(r, θ) una función continua y acotada en el cı́culo definido por r ≤ 1,

0 ≤ θ < 2π, y 2π-periódica en θ para los siguientes casos

1 0≤θ<π
1. f (θ) = ,
−1 −π < θ < 0

1 0≤θ<π
2. f (θ) = ,
0 −π < θ < 0

3. f (θ) = cos 2θ .