SERIES DE

FOURIER Y
PROBELMA DE
LA CUERDA
VIBRANTE

Complementos de
anlisis. I.P.A.
Trabajo
final
Profesor: Federico
de Olivera

Csar Roqueta
Febrero de 2009

ndice
1. Definicin de serie de Fourier de una funcin

Definicin de polinomios trigonomtricos 2

Coeficientes de un polinomio trigonomtrico... 3
Perodo de una funcin.. 3
Integracin de funciones peridicas.. 4
Coeficientes de Fouriery serie de Fourier de una funcin 4
Propiedades de los coeficientes de Fourier de una funcin.. 5

2. Convergencia de la serie de Fourier de una funcin

Ncleo de Dirichlet 6
Propiedades del ncleo de Dirichlet.. 7
Principio de localizacin de Riemann 9
Convergencia puntual de la serie de Fourier. 10
Aplicacin a series numricas... 12
Medias de Cesaro.. 13
Ncleo de Fejer. 14
Propiedades de ncleo de Fejer. 14
Teorema de Fejer............................................................................... 16

3. Integracin y derivacin de la serie de Fourier de una funcin

Integracin de la serie de Fourier de una funcin. 18
Derivacin de la serie de Fourier de una funcin.. 19

4. Desarrollo en series de senos y cosenos

Funciones de perodo arbitrario. 20
Desarrollo en serie de cosenos y en series de senos.. 20

5. Ecuacin de la cuerda vibrante

Planteamiento del problema... 22
Solucin de la ecuacin por el mtodo de separacin de variables... 23

Introduccin.
Detrs de una imagen que vemos en nuestro televisor, de un sonido que
escuchamos por la radio, detrs de la cabeza del beb que vemos en el seno materno
mediante una ecografa, del hallazgo del petrleo que consumimos o de la deteccin de
un cardumen de peces con los que nos alimentaremos y detrs de muchas aplicaciones
ms se encuentran los principios que Fourier utiliz para plantear sus series y resolver
con ella la ecuacin diferencial que es satisfecha por la funcin de difusin del calor
1

que la propia serie representa.

La motivacin principal del trabajo es hacer un primer contacto con un rea de la

matemtica que presente aplicaciones en varios campos del conocimiento. Sin lugar a
dudas el anlisis de Fourier es una de ellas, sus aplicaciones las podemos encontrar en
diversas disciplinas como la fsica y la propia matemtica. Los cimientos de esta rama
de la matemtica son las series de Fourier cuyo nombre hace honor al matemtico
frances Jean Baptiste Joseph Fourier, quien les dio origen en sus investigaciones sobre
la difusin del calor. La idea bsica de estas series es que toda funcin peridica puede
ser expresada como la suma infinita de senos y cosenos.
Este trabajo cuenta de cinco partes. Primero se introduce la definicin de serie
de Fourier y la de sus coeficientes, partiendo de la definicin de polinomios
trigonomtricos. En la segunda parte se estudia el comportamiento de dichas series
buscando principalmente condiciones suficientes para que una funcin peridica pueda
efectivamente ser expresada como una suma infinita de senos y cosenos. En la tercera se
muestran dos resultados que nos permiten derivar e integrar trmino a trmino la serie
de Fourier de algunas funciones. En la cuarta se explica el desarrollo en series de
cosenos y en series de senos de una funcin; para luego en la quinta parte poder dar una
solucin al problema de la cuerda vibrante.
Para terminar sta introduccin quiero dejar en claro que este trabajo es una
primera exploracin dentro de un campo, que como se muestra en la cita inicial, parece
ser muy amplio. Con este trabajo solo se pretende abrir una ventana y dar un vistazo
inicial.

Cristbal R. Santa Mara

1

1. Definicin de serie de Fourier de una funcin.

Antes de comenzar el desarrollo de la teora se enuncia una proposicin que ser de
utilidad en esta primera parte.
Proposicin 1.1
Sean p y k dos nmeros naturales positivos, entonces:
0 si p q
si p q
i) sen px sen kx dx

ii) cos px cos kx dx

iii) cos px sen kx dx

0 si p q

si p q
0 para todo p y k

Las integrales anteriores se calculan utilizando las siguientes propiedades:

1
x y en i
cos x y cos

sen( x)sen( y 2
)
1
cos x y cos x y en ii
2
cos( x)cos( y
)
1
1 cos(2 x) en iii
sen ( x) 2
2

Polinomios trigonomtricos.
Definicin 1.2
Un polinomio trigonomtrico es una funcin de R en R de la siguiente forma
a
(1.1) P( x) 0
2

kn

k 1

a cos kx b senkx con a , a ,..., a , b ,... y nmeros reales

b

Definicin 1.3
Si P es un polinomio trigonomtrico, el grado de P es el mayor natural para el cual
ak

0 bk

0.

Proposicin 1.4
Si P es un polinomio trigonomtrico entonces:
1 P( x)dx

i) a0
ii) ak
iii) bk

P( x) cos kxdx

P( x) s enkxdx

Demostracin:
i. P(

x)dx

linealidad
a
k
k
0
a cos kx b senkx dx
2 dx
k 1

, entonces
linealidad

P( x) cos
kxdx

cos kxdx

j 1

b senkxdx

cos kxdx

cos jx cos kxdx

b

Aplicando la proposicin 1.1 resulta que P( x) cos kxdx ak

cos jxsenkxdx

cos kxdx

a .
k

Anlogamente se prueba la propiedad iii.

Perodo de una funcin.

Definicin 1.5
Sea f :

una funcin. Decimos que f es peridica cuando existe un nmero real

T; no nulo; tal que f x T

f x para todo x . En este caso se dice que T es un

perodo para f .
T , 2T
Observacin: Si T es un perodo para f entonces ,...,
perodos para f .

nT , ... tambin son

a0 , ya que para todo k la

integral de las funciones senkx y cos kx es cero en el intervalo

ii. Sea k

k 1

2 a0
2

Calculando la suma anterior se obtiene que P( x)dx

Definicin 1.5.1
Sea f :

una funcin peridica. El perodo fundamental de f se define como

T0

inf T

0;T es un prodo para f

Desde ahora en adelante al hablar de perodo se har referencia al perodo fundamental;

a no ser previas aclaraciones.
Proposicin 1.8
Sea f :

una funcin de perodo T. Si f es integrable sobre un intervalo de

longitud T entonces f es integrable sobre cualquier intervalo de longitud T y para

T a

cualquier nmero real a se tiene que;

f ( x)dx

f ( x)dx
a

Demostracin:
x T x u T

Consideremos el siguiente cambio de variable: u

Luego al ser T perodo de f se cumple que f x T

0

Entonces

f ( x)dx
a

f (u T )du

T a
T a

Finalmente

f (u)du

f ( x)dx

T a

T a

f ( x)dx

f x

T a
o

f ( x)dx

f x T

f ( x)dx

rengln

anterior T a

T a

f(
x)dx

f ( x)dx

f ( x)dx .
0

Serie de Fourier de una funcin.

Definicin 1.9
Sea f : una funcin de perodo 2 ; integrable en el intervalo

Los coeficientes de Fourier de f son:

1
(1.3) ak 1
(1.2) a0
f
(
x)dx

f ( x) cos kxdx

(1.4) bk

f ( x) s enkxdx

La serie Fourier de f es:

(1.5)
0
a
2

a cos kx b senkx donde a k

k 1

son los coeficientes de Fourier de f .

yb k

Notacin:
S n f x representa la suma parcial n-sima de la serie de Fourier de f para x
S n f ( x) a0 n ak cos kx bk
.
(1.6)
es decir que

2 k 1 senkx

Proposicin 1.10 (Propiedades de los coeficientes de Fourier de una funcin)

i) ak k y bk k * son sucesiones acotadas.
ii) ak f

ak f

ak g y b k f

Si f existe y es continua; ak
iii) f

bk f

bk g (Linealidad)

bk f y b k f
k

ak f
k

2. Convergencia de la serie de Fourier de una funcin.

Hasta aqu hemos visto como dada una funcin peridica e integrable, se puede
descomponer en su serie de Fourier. Ahora debemos preguntarnos qu relacin existe
entre una funcin y su serie, si es posible recuperar la funcin a partir de su serie de
Fourier. Cmo veremos a continuacin en algunos casos bastar con sumar, en otros
habr que realizar otros procedimientos y en otros no ser posible.
Ncleo de Dirichlet
Conviene representar la suma parcial de una serie de Fourier de manera que
facilite algunos clculos que se harn ms adelante.
Recordemos que

S n f ( x) a0
2

ak cos kx bk senkx

k 1

Al sustituir en esta expresin los coeficientes por la formulas (1.2), (1.3)y (1.4)
se obtiene:
S n f ( x)
1

f t

1
2

f t dt

f t

cos kt cos kx senktsenkx dt

k 1

1 1n
cos kt cos kx senktsenkx dt
2

2
k 1

21
f t

cos k
k 1

x t dt

En 1 se aplico linealidad por tratarse de una suma finita de funciones integrables.

En 2 se aplico la frmula trigonomtrica cos x y cos x cos y senxseny .
Sea D n t

1
2

cos kt

k 1

t
luego 2sin D n t
2

cos 2t ... cos nt

1
cos t
2

t
sin
2

t
t cos 2t ... 2sin
t
2sin cos t 2sin
cos nt

2
2
2

Aplicando formulas trigonomtricas

t
t
1
t
kt
kt
k t
sin
sin
sin
2sin
cos
kt

2

2
2
2
Por lo tanto
1
1
3
3
t
sin
t
sin
t
sin
t
sin
t
2sin
D t
n

2
2
2
2
2

sin

k t

1
sin k
k t
t sin

1
n t
sin
t... sin n
t sin

2

2
2
1
sin n t
t
2
t;sin 0
Operando adecuadamente se obtiene la igualdad, Dn t
t
2sin

2

Definicin 2.1
Se llama ncleo de Dirichlet a la sucesin de funciones de finida por
1

n t
sin 2

t; sin t
(2.1) D n t
2
t
2sin
2

Observacines:
Por la deduccin anterior tambin es vlido definir el ncleo de Dirichlet
n
1
1
cos t cos 2t ... cos nt (2.2)
cos
kt

2
2 k1
como sigue; D n t
Proposicin 2.2 (propiedades del ncleo de Dirichlet)
i.
ii.
iii.

Dn (t) es una funcin perodica de perodo 2 .

Dn (t) es par, Dn (t )
Dn ( t)
1

D (t )dt

A partir de (2.1) y observando que la funcin seno tiene perodo 2

propiedad i. Adems, al ser senx una funcin par ( senx
de (2.1) se llega a que

Dn (t )

sen(

se demuestra la
x) ), partiendo tambin

Dn ( t ) lo que prueba que el ncleo de Dirichlet es una

funcin par.
Por ltimo calculemos la integral de la propiedad iii partiendo de (2.2).
1
12
1 1 cos t cos 2t ... cos ntdt
1
Dn (t)dt
2
*
2
En (*) se usa que

cos ntdt

0,

n , adems de linealidad.

Antes de continuar busquemos expresiones para las sumas parciales de la serie de

Fourier de una funcin que sern usadas ms adelante.
Por la definicin de ncleo de Dirichlet, tenemos que
S n f ( x) 1
(2.3)
f t Dn x t dt

Mediante el cambio de variable x t

1x
S f ( x)
n
x

u en la formula anterior, se obtiene la igualdad

f x u D u du

f x u D u du

f x u D u du al ser f y D

n
x

funciones con perodo 2

Luego obtenemos la formula
1

Sn f ( x)

(2.4)

Por otra parte si el cambio de variable es x t

x)

f x u Dn u du

u se obtiene S n f (

1es par resulta S f ( x)

teniendo encuenta que

Partiendo de esta ltima igualdad y haciendo u

S n f ( x) 1
es par

u en

1 f x u

1 f x u D
n

Finalmente obtenemos las formulas

S n f ( x)

(2.5)

(2.7)

S f x
n

f x u Dn u du

f x u

u du y

, 0 resulta que

f x u D u du.

f x u Dn

1 f x u D
n u du

f x u Dn u du

f x u D u du.

D
n

D u du

f x u

u du y como Dn

A continuacin se enuncia un lema que es fundamental para estudiar el comportamiento

de la serie de Fourier de una funcin.
Lema de Riemann-Lebesgue
Sea f :

una funcin integrable.

b

lim f x sen

Entonces;

lim f x cos

x dx

x dx

Como hemos visto en 1.9 los coeficientes de Fourier se obtienen por medio de
integrales en un perodo. Luego si dos funciones coinciden en el entorno de un punto,
pero no en el resto del perodo sus coeficientes y series no tienen porque ser iguales.
Esto podra implicar que el comportamiento de ambas series puede ser distinto en dicho
punto. Sin embargo como se demuestra en la siguiente proposicin no es as ya que
ambas series tienen el mismo comportamiento.
Proposicin 2.3 (Principio de localizacin de Riemann).
una funcin integrable con perodo 2 , y x0 un elemento de su dominio.
i. Sea f
Si f x =0 para x

x0

; x0

y algn >0 entonces,

lim S n f x0
n

0.

ii. Si f y g son dos funciones integrables con perodo 2 tales que f x g x para
, x0
, entonces existe lim S n f x0 , existe lim S n g x0 y ambos son iguales;
x x
0

o no existe ninguno de los dos.

Demostracin:
i. Recordemos que

S f x

S n f x0

f x

f x0

t Dn t dt , luego aplicando la hiptesis

t D t dt

def. ncleo
Dirichlet

f x0

t sen n
1 t dt .

resulta que
n

Observemos que la funcin sin

cumpla

t
2 sin
2

t
es continua y no se anula para todo valor de t que
2

 f x0 t
si

t
sen

0 si t

Luego al ser f x0 t integrable la funcin g t

t
es

integrable.
Ahora nos encontramos en las hiptesis del Lema de Riemann- Lebesgue lo que nos
asegura que S n f x0
0 como se quera probar.
n

ii. Para demostrar debemos observar que Sn ( f

Como para todo n natural S n ( f
x0

0 (*) por parte 1.

g )( x0 )
n

g )( x0 ) = S n f

- S n g x0 , entonces si existe el

lim S n f x0 , debe existir y ser el mismo el lim Sn g x0 por (*).

n
n

Ahora si no existe lim Sn f x0 tampoco existe lim S n g x0 , ya que de existir

n
n

tendramos al ser la resta de ambos lmites igual a cero entonces despejando llegaramos
a la igualdad lim Sn g x0 lim S n f x0 lo que es absurdo.
n

El siguiente teorema da una condicin suficiente para la convergencia puntual de la

serie de Fourier.
Proposicin 2.4
Sea f una funcin integrable en
,
que tiene derivadas laterales en el punto x0
en el sentido mencionado. Entonces la serie de Fourier de f converge en x0 a
f x0

f x0
2

Demostracin:
Sea x . Consideremos ahora la sucesin de sumas parciales de la serie de Fourier de
S f x
1
f ; entonces n
f x t Dn t dt
f x

Probemos que Sn f x

Sn f x
1

f x

f x t

f x
2
f x

Dn

0 utilizando el Lema Riemann-Lebesgue.

f x

f x t Dn t dt

f x

t dt

t dt

f x t

f x

f x

t dt

Dn
10
10

t dt
1
2

f x t

f x

t
sin
2

1
2

sen n 1 t dt

f x t
sin

f x
2

f x

Recordemos que el objetivo era probar que S n f x

sen n 1 t dt (*)

0 , para lo que

f x
2

se demuestra que cada uno de los trminos de la suma (*) tiende a cero.
Ahora para t

0,

, sea g t

f x t

f x

t
sen
2

Mltiplicando y dividiendo por t resulta, g t

integrable ya que por hiptesis

lim
t 0

f x t

en 0 es evitable. Luego existe el lim g

t
t

f x t
t

f x
t

f x

que es

t
sen

t
2
t

y la discontinuidad de

y entonces g es integrable en 0,

sen

t
2

aplicando el lema Riemann- Lebesgue se prueba que el primer trmino tiende a 0.

11
11

Analogamente se prueba que el segundo termino tiende a 0 lo que permite afirmar que
la serie de Fourier de f converge puntualmente a

f x

f x

en x.
2
No es menor observar que si a las hiptesis le agregamos la continuidad de en x la serie de
f
Fourier converge puntualmente a f x en x.

Como se muestra en siguiente ejemplo la proposicin anterior es una herramienta para

calcular series numricas.
Ejemplo 2.4:
Clasifiquemos la serie numrica

i 0

Sea la funcin g :
4
x
2

cos

cos
3x
2
3

puntualmente a g en

1
2i 1

; g x

,
cos 5
x
2
5
,

x , luego su serie de Fourier es

... y por el teorema anterior converge

cos 7
x
2
7

y podemos escribir
4

Evaluando en cero queda 0

2

8
Luego la serie es convergente y

2i
i 0

1
2

1
32

1
52

1
7

1
72
2

... y despejando concluimos que

...

Si nos detenemos a pensar un instante sobre el teorema anterior podra surgir la

pregunta, al menos parece haber sucedido tiempo atrs, sobre si la continuidad de una
funcin es suficiente para asegurar la convergencia puntual de su serie de Fourier a ella.
Cmo dice Javier Duoandikoetxea en sus notas:
Una cuestin a la que durante mucho tiempo se trat de responder fue la de si la
continuidad de la funcin era condicin suficiente para la convergencia de la serie de
Fourier hacia la funcin. Los indicios parecan sugerir una respuesta positiva, de modo
que se puede considerar que fue una sorpresa entre los matemticos el resultado que P.
du Bois-Reymond demostr en 1873.
El enunciado del teorema que demostr P. du Bois Reymond es el siguiente:
Existe una funcin continua cuya serie de Fourier diverge en un punto

En el contexto descrito anteriormente el resultado que sigue (Teorema de Fejer) cobra

un valor significativo, ya que demuestra como mediante un cambio en el procedimiento
de asignar a la serie un valor suma, se puede ampliar la clase de funciones continuas que
se recuperan conociendo su serie de Fourier y adems con convergencia uniforme.
Pero antes del teorema es necesario caminar un poco ms.

Definicin 2.5
,... una sucesin de nmeros reales. La sucesin de las medias de Cesaro, o
Sea 0 , 1
... n .
0
1
medias aritmticas, de la sucesin n n es la sucesin
n : n
n 1
Sea f :
Sn

una funcin de perodo 2 ; integrable en el intervalo

y sea

la sucesin de sumas parciales de las serie de Fourier de f .

Consideremos sus medias de Cesaro para x

(2.7)

S0 x

.
S1 x ... S n x
n 1

En la pg. 29 de las notas de Javier Duoandikotxea se encuentra una demostracin del teorema.

De la formula (2.5) se deduce

(2.8)

f x t

D0 t

D1 t

... Dn t dt

n 1

Definicin 2.6
El ncleo de Fejer es la sucesin de funciones K n
(2.9) K t

D0 t

D1 t

definida por

... Dn t donde D

es el ncleo de Dirichlet.

n n

n 1

Observacin:
Al sustituir (2.9) En (2.8) se obtiene la frmula
1
(2.10)
n x

f x t K n t dt

Proposicin 2.7 (Propiedades de ncleo de Fejer)

Sea K n
i.

el ncleo de Fejer. Entonces:

1 K n t dt 1

ii. K n t

iii. K n t

n 1 t
sen

1
2

n 1
t
sen
2

0 y es par.

Demostracin:
i. Es inmediato ya que

Dn t

n .

1;
sin

ii. sabemos
que

t
t / sin
t0 D n

2
=

n
t

sin
sin n t
1

2 2

cos kt

cos

k 1t

t2sin

2 t

2 sin

1 cos t
2

n
D0 t
Dn t

de
t donde, K
n

D1 t

...

n 1

1 t

n 1

sin
iii. De la propiedad ii se deduce
que K n
pares.

sin

1 cos n
1cos t

1 t

n 1

es positivo y es par por ser el promedio de funciones

Ahora si veamos el teorema al que me refer antes.

Teorema de Fejer 2.8
Sea f : una funcin continua de perodo 2 , sea

n n

la sucesin de las

medias de Cesaro de las sumas parciales de la serie de Fourier de f . Entonces

converge uniformemente a f en .
Demostracin:
Sea

f es continua por lo tanto es uniformemente continua y acotada en

, por tratarse
0 tal que f x
M
de un intervalo compacto. Entonces existe M
para todo x y por
la continuidad uniforme para
si x, x y x x

dado; existe

f x t
2

K t dt
n

f x t
1

K t dt

f x t

2 (n 1)

K n t dt
1
t

sen 2

dt

f x t

f x K n t dt

2M

2M

2M

t dt

1
t
sen

dt

f x t

f x K n t dt

Fejer es positivo
y sen2 t 1
n

Fejer
es par

t dt
2M

En * se utilizo (2.9) y la propiedad i del ncleo de Fejer.

Hasta aqu tenemos que

f x K n t dt

2 (n 1)
2

f x K t dt

c.u.

2M

f x Kn t dt

f x

1
1

f x

Ahora sea x , entonces

1
f x t K t dt
x f x *
n

0 tal que f x

(n 1)

1
t
sen

dt

f x

2M
(n

sen

t
2

1)

es creciente si 0

Observemos que sen 2

t

, entonces

Luego

2 t
sen
2
x
n
Por lo tanto

dt

2
sen
2
2M

f x

encontrada no depende de
x.
2M
Como lim

(n 1)

0, existe j

si 0<

sen

2M
sen

(n 1)sen

tal que si n

2 y observemos que la cota

j entonces

2M

n 1 sen 2
2

f x

x lo que implica que

converge uniformemente a en .
f

Nota: Observemos que lo que se ha probado es que la continuidad es condicin

suficiente para que las medias de Cesaro de las sumas parciales de la serie de Fourier
de una funcin peridica converja uniformemente a la funcin en R. Lo que no quiere
decir que la serie de Fourier converja a la funcin. Como antes se mencion existen
contraejemplos que prueban lo contrario.

sen

n 1 sen 2
2

En sntesis,
dado
0; j tal que n

sen

1
t

2
1

dt

3. Integracin y derivacin de la serie de Fourier

de una funcin.
Proposicin 3.1
Sea f :

una funcin de perodo 2 ; continua en 0, 2

a0
ak cos kx bk senkx
f ( x) 2 k 1

con serie de Fourier

Entonces para a y b , se cumple que

b

t dt

b a

b cos
kb

a senkb senka
k

cos ka

k 1

Antes de demostrar esta propiedad observaremos que dado un intervalo I

y acotado, y una funcin f : I
F:I

; F x

f t dt

cerrado

continua, entonces la funcin

(con x0

I ) es continua y derivable en I . Adems F es

x0

primitiva de f .
Demostracin:
x

Sea

f t

F:F

ao
dt

que tiene perodo 2

ya que por la proposicin 1.8

0
x 2

F x 2

F x

f t

0 f t

a0 dt
2

f t

x 2

a 0 dt
2

f t

a 0 dt
2

dt F x

f t dt

F x

Adems por la observacin anterior es continua y derivable en 0, 2

, lo que

permite aplicar la proposicin 2.5 para afirmar que la serie de Fourier de F converge
puntualmente a la dicha funcin en .
Ahora si la serie de Fouirier de F es
0
A
2

k 1

A cos kx B senkx calculemos sus

k

coeficientes integrando por partes si k 1 .

2
1
senkx
1
F
F ( x) cos
1
A
x
x

a0
senkxdx

bk

kxdx
k

Anlogamente se llega
Bk

ak
.
k

Por lo tanto
x
ak senkx bk cos
lo que implica f t
k x
dt

F x
A0
2

k 1

ak senkx bk cos
kx

a0 x
A0
2

k 1

para obtener el resultado evaluamos la frmula anterior en x b , en x

restamos aplicando linealidad de series.

ay

Antes de continuar observemos que en el teorema anterior la convergencia

de la serie de Fourier de F no depende del comportamiento de la de f ;
adems de que el resultado implica que la serie de Fourier se puede integrar
trmino a trmino.

Proposicin 3.2
Sea f :

una funcin derivable de perodo 2 ; con serie de Fourier

0

a cos kx

b senkx

k 1

2
Si f ' es continua a trozos, entonces la serie de Fourier de f ' es

bk cos kx ak senkx

k 1

Es decir, que la serie de Fourier de una funcin se deriva trmino a trmino.

Demostracin:
Sean ak y bk los coeficientes de Fourier de f .
2

Luego,
a0

f t dt

e
s
perodo de f

f cos
t
k

1
f
x

cos
kx

k1

f t senktdt

kb

ktdt

Analogamente se prueba
kak .
que bk
Una ves que calculados los coeficientes se puede escribir la serie de Fourier de f
que es bk cos kx ak senkx , lo que demuestra la proposicin.

k 1

4. Desarrollo en series de senos y cosenos.

Funciones de perodo arbitrario.
Sea f :
:

una funcin de perodo 2L L

tal que

Lx
, entonces

0 , si definimos
tiene perodo 2 .

Este cambio de variable permite trasladar los resultados antes estudiados para funciones
de perodo 2

a funciones de perodo 2L .

La serie de Fourier de una funcin de perodo 2L e integrable es de la forma:

n

0a
a k cos k x bk sen k x

2 k 1
L
L
L
1
k x
. y
a
f ( x) cos
dx,
k
Donde (4.1)
L L
L
1

(4.2)

b
k
k

f ( x) s en

L
k x

* .

dx,

Desarrollo en serie de cosenos y en series de senos.

Sea f :

una funcin de perodo 2L L

con serie de Fourier:

a0
2

a
k
k 1

cos

k x

0 , integrable en el intervalo 0, 2L ,
k x
bk sen

L

Ahora si f es par por ?

c.v. x x
k x
L
k x en L ,0 1
L
f ( x) s en
f ( x) s en

L0
L L dx
L
k
k x

* .
f ( x) s en
sdxen
0, k

L
L

bk
1x

L 0

k x

f ( x) s en

f es par

dx

Por otra parte,

1

k x

c.v. x x
en L ,0

1
L

k x

k x

f y cos son
funciones par

ak

f ( x) cos

f ( x) cos
dx

L
L
2
k x
f ( x) cos
dx k
L 0
L

f ( x) cos

dx

Resumiendo si f es una funcin de perodo 2L

L

0 , integrable en el intervalo

0, 2L y adems es par sus coeficientes de Fourier son:

k x
L2
* y
b 0,
f ( x) cos
a
dx
(4.3)
k
k

L 0

Ahora bien, si partimos de las hiptesis anteriores cambiando el hecho de que

f sea una funcin par por el de que sea impar, mediante un razonamiento
anlogo se prueba
que
2

(4.4)

f ( x)sen
k

k x

dx ,

* y
a

0,

b
k

L 0

Supongamos entonces que tenemos una funcin f integrable definida en un intervalo

0, L para algn L mayor que cero.
Si definimos

g:g
x

0, L
f x , si
x
L, entonces g es una extensin par
f , si x
de f
x
0

al
intervalo

L, L .

Luego, siguiendo lo antes analizado la serie de Fourier de g slo tiene cosenos

y se llama serie de Fourier de cosenos de f o desarrollo en serie de cosenos
de f y sus coeficientes se calculan con la formula (4.3).
Por otro lado si definimos
0,
f , si
h:h
x
L
x
x

f x , si x

entonces h es una extensin impar

de f

al
intervalo

L, 0

En este caso la serie de Fourier de g slo tiene senos y se llama serie de Fourier
de cosenos de f o desarrollo en serie de senos de f y sus coeficientes se
calculan con la formula (4

L, L .

Se considera la ecuacin de la cuerda vibrante y la ecuacin del calor en dos situaciones

sencillas y se resuelven con el mtodo de separacin de variables combinado con el
mtodo de expansin en series trigonomtricas.
PLANTEAMIENTO DEL PROBLEMA.
Consideremos una cuerda de longitud L , fija en sus extremos y que vibra en un plano
xu libre de fuerzas externas. Adems la longitud de la cuerda es lo suficientemente
pequea como para considerar que cada punto de la misma se mueve en solamente en
direccin vertical y su posicin de equilibrio queda a lo largo del eje x . Entonces
este
movimiento se puede describir mediante una funcin de dos variables u x, t . Esta
funcin expresa el desplazamiento del punto de la abscisa x en el instante t ; es decir
que si fijamos t y consideramos el grfico de la funcin u x (pues ahora solo depende
de la variable x ), resulta que su grfico es la forma de la cuerda en el instante t .
u (x, t)

u(x ,t2)
0

u(x ,t1)
L

Luego la funcin u x, t , que describe el movimiento de la cuerda, satisface la ecuacin

en derivadas parciales
2
u 1 2u
(.1)
2
2
2 ,
x
a t
donde a es una constante positiva, que depende de la tensin y otras
caractersticas fsicas de la cuerda.
La solucin de la ecuacin (5.1) se har sujeta a las siguientes condiciones de borde:

u 0, t
L, t

t 0 (significa que los extremos de la cuerda siempra estn fijos)

 u x,
0

f (x) (significa que la forma inicial de la cuerda es conocida y est dada por el
grfico de f )

u x, 0 g x (tambin se conoce la velocidad inicial en cada punto de la cuerda y

est dada por g)

Solucin de la ecuacin por el mtodo de separacin de variables.

Comencemos buscando soluciones no triviales de la ecuacin (5.1) que tengan la
forma

y que
cumplan u

0, t
L, t

u x,
t
v x
p t
0.

para t

Observemos entonces que si derivamos primero segn x y luego segn t

obtenemos las
siguientes igualdades

Al sustituir en (5.1)
resulta v ''

v x p
'' t

x p
t

v x p '' t .
u
t2

1
'' t v 2 x p
a

v ''
(5.3) x

que equivale a la ecuacin

1 p '' t
v
x
2
a
p
t

Si prestamos atencin a la ecuacin (5.3) podemos ver que uno de los

miembros depende x mientras que el otro depende de t por lo que ambos
cocientes deben ser igual a una constante a la que llamaremos
el siguiente sistema de ecuaciones
diferenciales que equivale a la ecuacin (5.3)
v p ''
(
5.
4
)

'
'

obteniendo

x
x

v
0

Primero analicemos la
ecuacin

v x
'' x

Recordemos que pedimos

que u

0, t
L, t

v 0
L

a p t

0 (4.5)

para
t

0 lo que implica que

0 (*)

Ahora discutamos la solucin de (5.5) segn el signo de

Caso 1: Si
0
En este caso (5.5) es v ''
x
pero por (*) C1 y
C2

.
C2 x , con C1 y C2

0 y su solucin general es v x
C1

deben ser 0; obteniendo as solo la solucin trivial.

Caso 2: Si
0
En este caso la solucin general de (5.5) es v x
x

C1 e

C2 e , con C1 y
C2

, pero

nuevamente por (*) C1 y deben ser 0; obteniendo as solo la solucin trivial.

C2
Caso 3: Si

En este caso la solucin general de (5.5) es

(5.6)
v ( x)
x
=C1cos
+C2sen
Como
v

0 0 debe ser
C1

0 y como v
L

x , con C1 y C2

0 debe ser C2 sen

L

que para que la solucin no sea trivial se debe

cumplir

sen
L

0 , lo que implica

0 , de donde

k
2
2

L
2

, siendo k un entero positivo.

De la solucin general (5.6) obtenemos que para cada entero positivo k , la funcin

vk : x h sen
x , con
vk
k
h

una
const

ante real, es solucin ecuacin (5.5)

una k
k
L de la

Luego podemos sustituir el valor de

p ''
t

obteniendo la ecuacin
diferencial
forma pk (t)

cos

hallado en la segunda ecuacin del sistema (5.4)

k2 2
0 , cuya solucin general es de la
a2 p
t
2
L

at

sen

at ,
donde
L

son constantes reales.

Finalmente para cada entero positivo k , tenemos una solucin de la ecuacin (5.1) de
la
forma

uk ( x,
t)

k
Ak cos

Hasta aqu

at

k
Bk sen
at
L
L

sen
x
, donde

Ak

y
Bk

son constantes reales.

hemos encontrado un solucin para la ecuacin (5.1) sujeta a la

primer condicin de las tres que se piden (5.2), faltara considerar las ltimas dos.

Ahora bien, supongamos que la solucin de la ecuacin (5.1) sujeta a las condiciones (5.2)
se puede expresar como sigue u x, t
x, y que es posible derivar la serie trmino
uk k 1 t
a trmino.
Luego por (5.2) tendramos que

f x

x, 0

k
k 1

g x

k 1

aB sen

k 1

x, 0

k
Ak sen

k 1

g x

f x

Finalmente por el desarrollo en serie y cosenos tendramos que

L
2
L
k

2
Ak y Bk
f x sen
x dx y Bk
g x sen
x dx
L
L
k a
L
Ak

0
0
Una ves que hallamos un valor de Ak y Bk se podra decir que encontramos una solucin
de la ecuacin (5.1) sujeta a las condiciones (5.2); pero faltara probar que nuestras
suposiciones son ciertas y para ello enunciaremos el siguiente teorema.

Proposicin.
funciones tales que

Sea L un nmero real positivo y sean f , g : 0, L

i. f , f ', f '' son continuas en 0, L y f 0
ii. g y g ' son continuas en 0,
L

Lugo si

k 1,

la

serie

g L

f L

L 0

uk x, t

f '' L

gdx x sen

k a 0

uniformemente y absolutamente a una solucin de la ecuacin

u

u
2

se cumple

k

k

Bk sen
at sen
x
L

k
A
cos
at

k 1
L

2L
k

f
x
sen
x dx y
B

que

yg 0

f '' 0

converge

Se puede ver una demostracin del teorema en D. Kreider, R. Kuller, D. Otsberg y F. Perkins.
Introduccin al Anlisis Lineal, Parte 2. Fondo Educativo Interamericano, 1971. 54, 57.

Observemos que si pensamos en nuestro problema, al estar los extremos de la cuerda fijos
la hiptesis i de la proposicin anterior se cumple y por la misma razn la velocidad inicial
0 y x L es 0 y por lo tanto la hiptesis ii tambin se cumple.
en x

Quizs ahora, despus de chequear ciertas condiciones y con un cronmetro en mano

te animes a hacer acrobacias en una cuerda.

Bibliografa
Bruzual Ramn, Domnguez Marisela. Series de Fourier. Caracas-Venezuela,
marzo 2003. http://euler.ciens.ucv.ve/
Carl B. Boyer. Historia de la matemtica. Versin de Mariano Martnez Prez.
Alianza Editorial.
Cristbal R Santa Mara. Series de Fourier. Aspectos Histricos UNLAM
Buenos Aires. (Material bajado de Internet).
de Olivera, Federico. Notas del curso de Anlisis I. IPA 2008
Duoandikoetxea Javier. Lecciones sobre las series y transformadas de Fourier.
UNAN-Managua, 2003
Tom M. Apostol. Calculus Volumen I y II segunda edicin. Revert, s.a.