Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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
0 si p q
si p q
0 para todo p y k
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
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 jxsenkxdx
cos kxdx
a .
k
perodo para f .
T , 2T
Observacin: Si T es un perodo para f entonces ,...,
perodos para f .
k 1
2 a0
2
Definicin 1.5.1
Sea f :
inf T
f ( x)dx
f ( x)dx
a
Demostracin:
x T x u T
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
f ( x) cos kxdx
(1.4) bk
f ( x) s enkxdx
k 1
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
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
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
k 1
1 1n
cos kt cos kx senktsenkx dt
2
2
k 1
21
f t
cos k
k 1
x t dt
1
2
cos kt
k 1
t
luego 2sin D n t
2
t
sin
2
t
t cos 2t ... 2sin
t
2sin cos t 2sin
cos nt
2
2
2
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.
D (t )dt
Dn (t )
sen(
se demuestra la
x) ), partiendo tambin
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.
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
Sn f ( x)
(2.4)
f x u Dn u du
u se obtiene S n f (
u en
1 f x u
1 f x u D
n
(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
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
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
S f x
S n f x0
f x
f x0
t D t dt
def. ncleo
Dirichlet
f x0
t sen n
1 t dt .
resulta que
n
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
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
g )( x0 )
n
g )( x0 ) = S n f
- S n g x0 , entonces si existe el
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
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
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
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
lim
t 0
f x 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
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.
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
,
cos 7
x
2
7
y podemos escribir
4
8
Luego la serie es convergente y
2i
i 0
1
2
1
32
1
52
1
7
1
72
2
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
y sea
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.
(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
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
n n
la sucesin de las
converge uniformemente a f en .
Demostracin:
Sea
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
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
0 tal que f x
(n 1)
1
t
sen
dt
f x
2M
(n
sen
t
2
1)
es creciente si 0
, 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
j entonces
2M
n 1 sen 2
2
f x
converge uniformemente a en .
f
sen
n 1 sen 2
2
En sntesis,
dado
0; j tal que n
sen
1
t
2
1
dt
t dt
b a
b cos
kb
a senkb senka
k
cos ka
k 1
; F x
f t dt
cerrado
(con x0
x0
primitiva de f .
Demostracin:
x
Sea
f t
F:F
ao
dt
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
, 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
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
ay
Proposicin 3.2
Sea f :
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
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
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 .
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,
a0
2
a
k
k 1
cos
k x
0 , integrable en el intervalo 0, 2L ,
k x
bk sen
L
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
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
0 , integrable en el intervalo
L 0
(4.4)
f ( x)sen
k
k x
dx ,
* y
a
0,
b
k
L 0
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 .
f x , si x
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 .
u(x ,t2)
0
u(x ,t1)
L
u 0, t
L, t
u x,
0
f (x) (significa que la forma inicial de la cuerda es conocida y est dada por el
grfico de f )
y que
cumplan u
0, t
L, t
u x,
t
v x
p t
0.
para t
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
1 p '' t
v
x
2
a
p
t
'
'
obteniendo
x
x
v
0
Primero analicemos la
ecuacin
v x
'' x
0, t
L, t
v 0
L
a p t
0 (4.5)
para
t
0 (*)
.
C2 x , con C1 y C2
0 y su solucin general es v x
C1
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
0 0 debe ser
C1
0 y como v
L
x , con C1 y C2
sen
L
0 , lo que implica
0 , de donde
k
2
2
L
2
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
obteniendo la ecuacin
diferencial
forma pk (t)
cos
at
sen
at ,
donde
L
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
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
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
Lugo si
k 1,
la
serie
g L
f L
L 0
uk x, t
f '' L
gdx x sen
k a 0
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
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.