Академический Документы
Профессиональный Документы
Культура Документы
1.
Funciones Ortogonales
m , n =
r(x)|n (x)|2 dx 6= 0
n
(1.1)
que en general es a valores complejos. Por ello, escribimos |n (x)| = n (x)n (x). Sin embargo, en la mayora
de nuestras aplicaciones las funciones consideradas son a valores reales y luego, n (x) = n (x) y adem
as
|n (x)|2 = 2 (x).
El conjunto de funciones {n (x) : n = 0, 1, . . . } en [, ] con respecto a la funcion peso r(x) se dice ortonormal
si cumple con la primera de las relaciones en 1.1 para m 6= n, y ademas
Z
r(x)|n (x)|2 dx = 1
n.
As, las funciones ortonormales poseen las mismas propiedades que las funciones ortogonales, pero adem
as, han
sido normalizadas, i.e., cada funcion n (x) del conjunto ortogonal ha sido dividida por su propia norma, que se
define como
kn k =
!1/2
r(x)|n (x)|2 dx
(1.2)
1. Funciones Ortogonales
Z
kn k =
Z
1/2
dx
=
1/2 Z
cos nx dx dx
=
1/2 r
1 + cos 2nx
dx
=
,
2
2
1
,
2
cos nx, n = 1, 2, . . .
2
es ortonormal sobre < x < con r(x) = 1. Para esto, primero necesitamos chequear que
2
2
2
Z
Z
Z
1
1
1
cos nx dx = 1,
sen nx dx = 1.
dx = 1,
(1.3)
La primera integral es evidente. En tanto, las siguientes se calculan usando el ejemplo anterior mas la propiedad
Rp
Rp
de integracion de funciones pares en intervalos simetricos: p h(z)dz = 2 0 h(z)dz. En segundo lugar, debemos
chequear que
1
1
cos nx dx = 0,
Z 2
1
1
cos nx cos mx dx = 0,
1
1
sen nx dx = 0,
1
1
sen nx sen mx dx = 0, m 6= n
1
1
cos nx sen mx dx = 0 m 6= n.
Es facil chequear esto recordando que todas las funciones involucradas son trigonometricas integradas en el
Z
perodo (, ).
Ejemplo 1.3 El conjunto de funciones a valores complejos
1 inx
e ,n Z ,
2
es ortonormal en el intervalo < x < con la funcion peso r(x) = 1. En efecto
Z
Z
1
1
2
inx inx
kn k =
e e
dx =
dx = 1.
2
2
Ademas, usando la formula de Euler si m 6= n:
Z
Z
1
1
imx inx
m , n =
e e
dx =
ei(mn)x dx
2
2
n
o
1
1
i(mn)x
i(mn)
i(mn)
e
=
e
e
=
2(m n)i
2(m n)i
1
=
{cos(m n) + i sen(m n) cos(m n) + i sen(m n)} = 0.
2(m n)i
2
(1.4)
2. Series de Fourier
cos m cos n d
0
m 6= n
0,
(x = cos )
/2, m = n 6= 0
,
m = n = 0.
2.
Series de Fourier
A menudo necesitaremos expandir una funcion dada en terminos de otras funciones con una exactitud especfica de tal forma de realizar operaciones en la practica. En esta seccion mostraremos que los conjuntos de
funciones que hemos estudiado en la seccion anterior pueden ser utilizados efectivamente como la base en la
expansion de funciones mas generales.
La base {e1 , e2 , . . . , en } (ek es un vector unitario) de Rn posee una importante caracterstica: para cualquier
Pn
i
u Rn existe una eleccion u
nica de constantes 1 , . . . , n para las cuales u =
as a
un, por la
i=1 i e . M
ortonormalidad de los vectores ei , 1 < i < n podemos determinar estas constantes i , 1 < i < n como sigue
!
n
n
X
X
j
i
ue =
i e ej =
i (ei ej ) = j , 1 j n.
i=1
i=1
de funciones en el intervalo [, ] con respecto a la funcion peso r(x). Entonces, una funcion arbitraria f (x)
puede ser expresada como una serie infinita que involucra a las funciones n (x), n = 0, 1, . . . como
f (x) =
cn n (x).
(2.1)
n=0
La pregunta natural que surge es el sentido de la igualdad en 2.1, i.e., el o los tipos de convergencia, si las hay,
de la serie infinita en el lado derecho para poder tener una idea de que tan bien representa a f (x). Tambien
podramos determinar los coeficientes cn , n = 0, 1, 2, . . . en 2.1.
Procederemos formalmente en primer lugar sin considerar la pregunta de la convergencia. Multiplicamos 2.1
n=0
Z
= cm
r(x)|m (x)|2 dx = cm km k2 .
As, bajo condiciones adecuadas de convergencia los coeficientes constantes cn , n = 0, 1, . . . estan dados por la
formula
cn =
kn k2 .
(2.2)
(2.3)
Si la serie
n=0 cn n (x)
Vamos a escribir
f (x)
cn n (x)
n=0
n=0 cn n (x),
2.1.
es ortonormal en 0 < x < . As, para cualquier funcion seccionalmente continua f (x) definida sobre 0 < x < ,
r
X
X
c0
2
f (x) c0 0 (x) +
cn n (x) = +
cn
cos nx,
n=1
n=1
donde
c0 =
Luego,
f (x)
1
f (t) dt,
1
2
cn =
f (t) dt +
f (t)
Z
X
2
n=1
2
cos nt dt,
n 1.
f (t) cos nt dt cos nx,
f (x)
donde
2
an =
a0 X
+
an cos nx,
2
n=1
(2.4)
n 0.
(2.5)
dt
n 0
n
0
2 0 0 cos n
2 (1)n 1
=
+
=
,
n 1.
n
n2
n2
X 2 (1)n 1
+
cos nx,
2 n=1
n2
0 < x < .
En la figura se muestra la grafica de la funcion y la aproximacion por la serie truncada para diversos valores.
3.0
2.5
2.0
1.5
1.0
0.5
0.0
0.0
0.5
1.0
1.5
2.0
2.5
3.0
Figura 2.1 Gr
afico de f (x) = x (p
urpura) y de las aproximaciones con 1 coeficiente (rojo), 4 coeficientes (naranja) y 10 coeficientes
(verde). A medida que se toman m
as coeficientes de la expansi
on, la gr
afica de la serie se ajusta a la funci
on, como se esperaba.
2.2.
n (x) =
2
sen nx, n = 1, 2, . . .
es ortonormal sobre 0 < x < . As, para cualquier funcion continua por tramos f (x) definida sobre 0 < x < ,
r
X
2
f (x)
cn
sen nx,
n=1
5
donde
cn =
f (t)
f (x)
donde
2
bn =
2
sen nt dt,
n 1.
bn sen nx,
(2.6)
n=1
n 1.
(2.7)
f (t) sen nt dt =
sen nt dt =
0
2 cos(n/2) + 1
.
As,
X
2 1 cos(n/2)
f (x)
sen nx,
n
n=1
2.3.
0 < x < .
2
es ortonormal sobre < x < . As, para cualquier funcion seccionalmente continua f (x) definida sobre
< x < ,
donde
X
c0
cos nx
sen nx
f (x) +
c2n1
+ c2n
,
2 n=1
c0
c2n1
c2n
1
f (t) dt
2
Z
1
f (t) cos nt dt,
Z
1
f (t) sen nt dt,
n1
n 1.
f (x)
a0 X
+
(an cos nx + bn sen nx) ,
2
n=1
6
(2.8)
donde
an =
bn =
n 0,
(2.9a)
n 1.
(2.9b)
c0 =
a0 , c2n1 = an , c2n = bn .
2
(2.10)
f (t) cos nt dt
=
=
a0 =
1
bn =
1
1 sen nt dt +
1 1 dt +
Z
t 1 dt =
t sen nt dt
Z
1
1 cos nt dt +
t cos nt dt
0
1 t sen nt cos nt
0+
+
n
n2 0
n
1 (1) 1
,
n 1.
n2
1+ ,
2
1
1 + (1 )(1)n
,
n
n 1.
3.0
2.5
2.0
1.5
1.0
0.5
0.0
-3
-2
-1
n2
n
n=1
7
< x < .
Es claro que las constantes an , bn para la serie de Fourier trigonometrica son diferentes de aquellos obtenidos
para la serie de Fourier de cosenos y senos. Sin embargo, si la funcion f (x) es impar, entonces
Z
1
an =
f (t) cos nt dt = 0,
n0
Z
Z
1
2
bn =
f (t) sen nt dt =
f (t) sen nt dt,
n1
0
y la serie de Fourier trigonometrica se reduce a la serie de Fourier de senos. As, concluimos que si f (x) es impar,
o definida solo sobre (0, ) y hacemos su extension impar entonces la serie de Fourier de senos es v
alida sobre
(, ). Exactamente en el mismo sentido, si f (x) es par, o definida solo sobre (0, ) y hacemos su extensi
on
par entonces
an
bn
Z
Z
1
2
f (t) cos nt dt =
f (t) cos nt dt,
0
Z
1
f (t) sen nt dt = 0,
n1
n0
(x + ) si x 2
f (x) =
x
si 2 x 2
x
si < x 3 ,
2
con f (x + 2) = f (x).
0
/2
Z /2
Z
2
=
x sen nx dx
x sen nx dx
0
/2
!
Z
+
sen nx dx .
/2
R
sen nz z cos nz
Las dos primeras integrales se calculan por partes y se obtiene z sen nz dz =
. Luego
n2
n
2 sen nx /2 x cos nx /2 x cos nx
sen nx
cos nx
bn =
n2 0
n
n
n2 /2
n
0
/2
/2
n
n
n
n
2
sen
cos
cos
cos
2
cos n
cos n
2
2
2
2
=
n2
2n
n
2n
n
n
4
n
=
sen
.
2
n
2
8
trigonometrica del seno de la diferencia de dos angulos, sigue que sen(2k 1) 2 = cos k = (1)k+1 . Entonces
bk
f (x)
4 (1)k+1
; y
(2k 1)2
4 X (1)k+1
sen(2k 1)x .
(2k 1)2
k=1
Finalmente, hacemos notar que si la funcion seccionalmente continua f (x) esta definida sobre L < x < L,
f (x)
nx
a0 X
nx
+
an cos
+ bn sen
,
2
L
L
n=1
donde
an =
bn =
2.3.1.
1
L
1
L
(2.11)
f (t) cos
nt
dt,
L
n0
(2.12a)
f (t) sen
nt
dt,
L
n 1.
(2.12b)
L
L
Expansi
on de Medio Rango
Suponga que una funcion f esta definida sobre 0 < x < y que deseamos expandirla en una serie de Fourier
trigonometrica. Dado que los coeficientes an y bn involucran integrales desde a , debemos de alguna manera
extender la definicion de f al intervalo (, ). Podemos hacer esto de varias maneras a nuestro beneficio. Una
forma, es extender f tal que sea una funcion par sobre el intervalo (, ) (figura 2.4). Dado que es una funci
on
par, se tiene que bn = 0, n = 1, 2, . . . y la serie de Fourier trigonometrica solo posee terminos de cosenos, es
decir, coincide con la serie de Fourier de cosenos antes estudiada. Esta expansion es denominada expansi
on de
medio rango.
Tambien, una funcion definida en el intervalo (0, ) puede tambien ser extendida al intervalo (, ) como una
funcion impar. La figura 2.5 muestra tal extension, y notamos que se introducen discontinuidades en x = , 0, ,
a menos que f () = f (0) = f () = 0. esto no nos preocupa, puesto que como se vera en la siguiente secci
on,
los teoremas de convergencia para series de Fourier son validos para funciones seccionalmente continuas. Dado
que esta expansion es impar, se tiene que an = 0, n = 0, 1, 2, . . . , la serie resultante es una serie de Fourier de
senos.
y
x
-
x
-
El grafico de la extension par se muestra en la figura 2.6. Puesto que es una expansion par, sigue que
bn = 0, n = 1, 2, . . . Ademas
Z
Z
2
2
f (t) dt =
dt = 1,
a0 =
0
/2
y
Z
Z
2
2
ak =
f (t) cos kt dt =
cos kt dt
0
/2
2
2
k
=
=
sen
k
k
2
/2
ak =
Por lo tanto,
0,
si k = 2n, n = 1, 2, . . .
n
2
(1)
, si k = 2n 1, n = 1, 2, . . .
2n 1
f (x)
1
2 X (1)n
+
cos nx,
2 n=1 2n 1
0 < x < .
Si deseamos expandir una funcion seccionalmente continua definida sobre el intervalo [c , c + ], formamos
su extensi
on peri
odica f0 como sigue
(
f (x),
si
f0 (x) =
f0 (x 2), para cualquier otro x.
10
< x < ,
al menos que f (c ) = f (c + ). Dado que tanto f0 (x), cos nx y sen nx son todas funciones peri
odicas con
periodo 2, podemos reemplazar el intervalo [, ] por [c , c + ], sobre el cual f0 coincide con f . Entonces,
los coeficientes de Fourier estan dados por
c+
1
bn =
c+
an =
(2.13a)
(2.13b)
La serie de Fourier formada con los coeficientes en 2.13a-2.13b entregan una expansion que es v
alida sobre el
intervalo c < x < c + .
Ejemplo 2.6 Vamos a expandir la funcion f (x) = x sobre 0 < x < 2. El grafico de la extension peri
odica se
muestra en la figura 2.7. Calculamos
2
a0
an
bn
=
=
t dt = 2,
0
2
2
1 t sen nt cos nt
+
= 0,
n
n2 0
0
2
Z
1 2
1
t cos nt sen nt
t sen nt dt =
+
0
n
n2 0
-2
2
.
Figura
n
Z
t cos nt dt =
2.7 Extensi
on peri
odica de f (x).
Por lo tanto,
f (x) 2
X
sen nx
,
n
n=1
0 < x < 2.
n 2.1 Por supuesto, podramos haber hecho los calculos sobre el intervalo [, ] usando la funObservacio
cion extendida f0 . Sin embargo, en tal caso, las integrales que determinan los coeficientes de Fourier deberan
separarse en dos, lo que hace mas engorrosa su determinacion, aun cuando el resultado sera el mismo.
2.4.
literatura existente)
f (x)
donde
cn =
As
f (x)
cn n (x),
n=
1
f (t) eint dt.
2
Z
X
1
1
f (t)eint dt einx
2
2
n=
Z
X
1
f (t)eint dt einx .
2
n=
1
cn =
2
cn einx ,
(2.14)
f (t)eint dt.
(2.15)
n=
Ejemplo 2.7 Vamos a encontrar la serie de Fourier exponencial de la funcion f (x) = ex definida sobre
< x < . Tenemos que
cn =
1
2
et eint dt
=
=
Z
1
e(1in)t dt
2
i
1
1 h (1in)
e
e(1in)
2 1 in
1
1 in
e e
e ein .
2 1 in
=
=
1
1
e cos n e cos n
2 1 in
senh (1)n
.
1 in
Luego
f (x)
< x < .
********************************************************
3.
En esta seccion vamos a examinar la convergencia de la serie de Fourier de la funcion f (x). Por esto,
para hacer el analisis ampliamente aplicable, asumiremos que las funciones n (x), n = 0, 1, . . . y f (x) son
12
PN
n=0 cn n (x)
que
denotaremos por SN (x). Consideraremos la diferencia |SN (x) f (x)| para varios valores de N y x. Si para una
constante arbitraria > 0 existe un entero N () > 0 tal que |SN (x) f (x)| < , entonces la serie de Fourier
converge uniformemente a f (x) para todo x [, ]. Por otro lado, si N depende tanto de x como de , entonces
la serie de Fourier converge puntualmente a f (x). Sin embargo, por el momento ambos tipos de convergencia
son demasiado exigentes, y nos conformaremos con algo menos. Para este fin, estudiaremos lo siguiente.
3.1.
Convergencia en Media
n 3.1 Sean las funciones n (x), n 0 y (x) seccionalmente continuas sobre [, ]. Diremos que la
Definicio
serie {n (x)} converge en media a (x) (con respecto a la funcion peso r(x)) en el intervalo [, ] si
Z
2
lm kn k2 = lm
r(x) (n (x) (x)) dx = 0.
n
(3.1)
(3.2)
Antes de probar la convergencia de las series de Fourier en media, vamos a considerar la posibilidad de representar
P
a f (x) por una serie de la forma n=0 dn n (x), donde los coeficientes dn no son necesariamente los coeficientes
de Fourier. Sea
TN (x; d0 , d1 , . . . , dn ) =
N
X
dn n (x)
n=0
y sea eN la cantidad kTN f k. Entonces, por la ortogonalidad de las funciones n (x) es claro que
!2
Z
N
X
2
2
eN = kTN f k =
r(x)
dn n (x) f (x) dx
N
X
n=0
N
X
n=0
d2n
n=0
r(x)2n (x) dx 2
kn k2 (dn cn )2
N
X
n=0
N
X
dn
n=0
kn k2 c2n + kf k2.
r(x)f 2 (x) dx
(3.3)
N
X
n=0
kn k2 c2n .
(3.4)
N
X
kn k2 (dn cn )2 + kSN f k2 .
n=0
0 kSN f k kTN f k.
Si la serie
n=0
(3.5)
(3.6)
dn n (x) converge en media a f (x), i.e., si lmN kTN f k = 0, entonces de 3.6 es claro que
la serie de Fourier converge en media a f (x), i.e., lmN kSN f k = 0. Sin embargo, 3.5 implica que
N
X
lm
n=0
kn k2 (dn cn )2 = 0.
n=0
converger. Si converge a cero, entonces la serie de Fourier de f (x) converge en media a f (x). Adem
as, de 3.4,
tenemos la desigualdad
N
X
kn k2 c2n kf k2 .
n=0
n=0
PN
n=0
kn k2 c2n kf k2 .
(3.7)
Luego, de 3.4 vemos que la serie de Fourier de f (x) converge en media a f (x) si y solo si
kf k2 =
n=0
kn k2 c2n .
(3.8)
Para el caso en que n (x), n = 0, 1, . . . sean ortonormales, 3.7 se reduce a la desigualdad de Bessel
n=0
c2n kf k2
(3.9)
n=0
c2n .
(3.10)
Teorema 3.3. Sean {n (x), n = 0, 1, . . . un conjunto ortonormal de funciones y sean cn los coeficientes de
Fourier de f (x) dados por 2.3. Entonces son v
alidas las siguientes
i La serie
2
n=0 cn
Recordando las relaciones 2.10, para la serie de Fourier trigonometrica la identidad de Parseval puede ser
escrita como
r
a0
2
2
o bien
n=1
( an )2 + ( bn )2 =
1
a20 X 2
+
(an + b2n ) =
2
n=1
f 2 (x) dx,
f 2 (x) dx.
(3.11)
Ejemplo 3.1 Encontraremos la serie de Fourier trigonometrica de la funcion |x| sobre el intervalo < x < .
sen kt dt
0
k 0 k 0
2
cos kt
2
=
= 2 [(1)k 1]
0+
k1
k
k 0
k
0
si k = 2n, n = 1, 2, . . .
=
4
si k = 2n 1, n = 1, 2, . . .
(2n 1)2
Luego
|x|
X
4
+
cos(2n 1)x,
2 n=1 (2n 1)2
< x < .
Evidentemente, |x| es una funcion seccionalmente continua sobre [, ]. Ademas, comparando su serie de
Fourier trigonometrica tenemos que
a0
= ,
2
2
As, la identidad 3.11 entrega
a2n = 0,
a2n1 =
4
,
(2n 1)2
bn = 0.
2
Z
2 X
4
1 2
+
=
|t| dt,
2
(2n 1)2
n=1
15
2
16 X
1
2 2
+ 2
=
4
2
n=1 (2n 1)
3
Y luego
1
4
=
.
(2n 1)4
96
n=1
3.2.
Convergencia Puntual
0, si x [, 0)
1
Tenemos que
a0
ak
bk
=
Luego
f (x)
si x [0, ].
Z
1
1 dt = 1.
0
Z
1
1 cos kt =
0
Z
1
1 sen kt =
0
1
k 1,
sen kt = 0,
k
0
1
cos kt = 0
k
0
0,
si k = 2n, n = 1, 2, . . .
1
((1)k 1) =
2
k
, si k = 2n 1, n = 1, 2, . . .
(2n 1)
1
2X
1
+
sen(2n 1)x = S(x),
2 n=1 (2n 1)
digamos,
< x < .
1.0
0.8
0.6
[f ( + ) + f ( )]/2.
0.4
0.2
0.0
-3
-2
-1
Figura 3.1 Gr
afico de la serie de Fourier de f (x) del ejemplo.
Note la convergencia al valor [f (0+ ) + f (0 )]/2 en x = 0.
16
Ejemplo 3.3 Vamos a obtener la serie de Fourier de f (x) = x + x2 /4, < x < para mostrar que
P
2
2
n=1 1/n = /6. En primer lugar tenemos que
Z
Z
1
t2
1 t2
2
a0 =
t+
dt =
dt =
.
4
4
6
En segundo lugar, notando que n 1, t cos nt y t2 sen nt son funciones impares sigue que
Z
Z
1
t2
1
an =
t+
cos nt dt =
t2 cos nt dt
4
4
"
#
Z
Z
Z
1 t2 sen nt
2
1
2
1
t sen nt dt =
0
t sen nt dt =
t sen nt dt
=
n
4
n
4
n
2n
"
#
Z
1
t cos nt
1
1
cos n + cos(n)
=
cos
nt
dt
=
+
0
2n
n n
2n
n
=
bn
=
=
(1)n
,
n 1,
n2
Z
Z
1
t2
1
t+
sen nt dt =
t sen nt dt
4
"
#
Z
1 t cos nt
1
1 cos n + cos(n)
+
cos
nt
dt
=
n
n
2
= (1)n ,
n
n 1.
As
f (x)
2 X (1)n
+
(cos nx 2n sen nx) ,
12 n=1 n2
< x < .
2 X (1)n
f ( ) + f ( + )
+
(cos n 2n sen n) =
2
12 n=1 n
2
y luego
( + 2 /4) + ( + 2 /4)
2
2 X (1)n
n
+
((1)
0)
=
=
,
12 n=1 n2
2
4
X
1
2
2
2
=
=
.
n2
4
12
6
n=1
Para las series de Fourier de cosenos y senos tambien tenemos resultados similares, esta vez sobre el intervalo
[0, ].
Teorema 3.5. Sean f (x) y f (x) seccionalmente continuas en el intervalo [0, ]. Entonces, la serie de Fourier
de cosenos de f (x) converge a [f (x+ ) + f (x )]/2 en cada punto del intervalo abierto (0, ) y en x = 0 y x =
la serie converge a f (0+ ) y f ( ), respectivamente.
17
X
2
(1)n
+4
cos nx,
3
n2
n=1
0 < x < .
f (x) = x ,
2
(1)n
+4
cos nx =
f (0+ ) = 0,
3
n2
n=1
f ( ) = 2 ,
As, en x = , tenemos
si 0 < x <
si x = 0
si x = .
X
2
(1)n
+4
cos n = 2
2
3
n
n=1
y luego
X
2
1
+4
= 2
2
3
n
n=1
X
1
2
=
.
n2
6
n=1
Teorema 3.6. Sean f (x) y f (x) seccionalmente continuas en el intervalo [0, ]. Entonces, la serie de Fourier
de senos de f (x) converge a [f (x+ ) + f (x )]/2 en cada punto del intervalo abierto (0, ). En x = 0 y x = la
serie converge a 0.
Para derivacion e integracion de series de Fourier trigonometricas tenemos los siguientes resultados
Teorema 3.7. Suponga que f (x) es continua en (, ), f () = f () y que f (x) es seccionalmente continua.
Entonces,
f (x) =
n=1
Ejemplo 3.5 En el ejemplo 3.1 mostramos que la serie de Fourier trigonometrica de la funcion f (x) = |x|
f (x)
4 X cos(2n 1)x
,
2
n=1 (2n 1)2
< x < .
1, si < x < 0
f (x) =
1, si 0 < x <
si x = 0.
18
REFERENCIAS
REFERENCIAS
1, si < x < 0
n=1
(2n 1)2
n=1
2n 1
si x = 0.
Note que si bien la igualdad es valida para todo x (, 0) (0, ), en x = 0 la derivada no existe, pero la
serie de Fourier vale 0.
a0 X
+
(an cos nx + bn sen nx) ,
2
n=1
f (x)
Entonces, para x [, ]
Z x
f (t) dt
< x < .
Z x
X
a0
dt +
(an cos nt + bn sen nt) dt
2
n=1
X
1
a0
(x + ) +
an sen nx bn (cos nx + (1)n+1 ) .
2
n
n=1
f (x) = x2
X
2
(1)n
+4
cos nx,
3
n2
n=1
< x < ,
X
(1)n
sen nx,
n3
n=1
x .
Claramente, la funcion f (x) = x2 cumple todas las condiciones del teorema 3.8. As, integrando desde a x,
obtenemos
X
x3
3
2
1 (1)n
t dt =
+
=
(x + ) + 4
sen nx ,
3
3
3
n
n2
n=1
X
x3
2 x
(1)n
=
+4
sen nx
3
3
n3
n=1
y luego
p(x) =
x(x2 2 ) X (1)n
=
sen nx,
12
n3
n=1
x .
Referencias
[1] Ordinary and Partial Differential Equations. R. P. Agarwal & D. ORegan. Universitext, Springer Verlag,
2009.
[2] Modern Mathematical Analysis. Murray H. Protter & Charles B. Morrey. AddisonWesley Publishing Company, 1964.
19
Ejercicios
A.
1.
Ejercicios Resueltos
2
3x en terminos de 1 , 2 en el intervalo 0 < x < 1.
c) Sea
F (a, b) =
2
3x2 a1 (x) b2 (x) dx.
Encontrar a, b tal que F (a, b) alcanza su mnimo. Ademas, encuentre el mnimo valor de F (a, b).
n. Tenemos que
a) Solucio
1 , 2
Z 1
1
3
(2x 1) dx = 3 [x2 x]0 = 0,
k1 k2 = 1 , 1
k2 k2 = 2 , 2
= 3
12 dx = 1,
(2x 1)2 dx =
(2x 1)3
= 1.
2
Luego, las funciones 1 (x), 2 (x) son ortonormales en el intervalo 0 < x < 1.
b) Los coeficientes de Fourier estan dados por 2.3, luego
Z 1 2
3
c1 = f, 1 =
3
x dx =
,
3
0
Z 1
1
c2 = f, 2 = 3
x2 (2x 1) dx = .
2
0
As, la serie de Fourier de f (x) esta dada por
3
3
f (x)
+
(2x 1),
3
2
0 < x < 1.
F (a, b) =
3x2 2 3x2 (a1 (x) + b2 (x)) + (a1 (x) + b2 (x))2 dx
0
( 3x2 )2 dx 2a
Z
2
3x 1 (x) dx 2b
kf k2 2ac1 2bc2 + a2 + b2 ,
Z 1
2
3x 2 (x) dx +
(a1 (x) + b2 (x))2 dx
0
donde los u
ltimos dos terminos se han obtenido usando la ortonormalidad de 1 , 2 . Ahora derivamos
a F con respecto a a y b para obtener
F
a
F
b
20
2a 2c1
2a 2c2 .
A. Ejercicios Resueltos
Al igualar a cero ambas ecuaciones obtenemos los valores a = c1 , b = c2 . Puesto que F (a, b) 0
sigue que estos valores minimizan F . Ademas, este valor mnimo es
F (c1 , c2 ) = kf k2 c21 c22 =
3 1 1
1
=
.
5 3 4
60
Note que este valor no es cero. Esto es natural, es imposible obtener una aproximaci
on exacta al
aproximar una funcion cuadratica usando polinomios de grado cero y uno.
(
0, si < x < 0,
2. Encontrar la serie de Fourier trigonometrica de f (x) =
Utilice este resultado
1, si 0 < x < .
P
1
para calcular la suma
n=1 (2n1)2 .
n. Tenemos que
Solucio
Z
Z
1
1
a0 =
f (t) dt =
1 dt = 1,
0
Z
Z
1
1
1
ak =
f (t) cos kt dt =
cos kt dt =
sen kt|0 = 0,
k 1,
0
k
Z
Z
1
1
1
bk =
f (t) sen kt dt =
sen kt dt =
cos kt|0
0
k
0,
si k = 2n, n = 1, 2, . . .
1 cos k
1 + (1)k+1
=
=
=
,
k 1.
2
k
k
, si k = 2n 1, n = 1, 2, . . .
(2n 1)
Luego
f (x)
1 X
2
+
sen(2n 1)x.
2 n=1 (2n 1)
Por u
ltimo notamos que la forma de la serie a calcular sugiere el uso de la identidad de Parseval, entonces
1 X 4
a20 X 2
1
1
+
an + b2n = +
=
2 (2n 1)2
2
2
n=1
n=1
Por lo tanto
f (t) dt.
1
2
=
.
2
(2n 1)
8
n=1
3. Encuentre la serie de Fourier trigonometrica de la funcion cos ax sobre [, ]. Utilice este resultado para
n+1
P
calcular el valor de la serie n=1 (1)
n2 a2 .
n. Dejamos propuesto como ejercicio el caso a Z. Para los otros casos, dado que cos ax es una
Solucio
funcion par, sigue que bn = 0, n 1 y
Z
2
1
an =
cos ax cos nx dx = [cos(n a)x + cos(n + a)x] dx
0
1 sen(n a)x sen(n + a)x
=
+
na
n+a
0
1
sen
a
sen
a
1
2a
=
(1)n+1
= (1)n+1 sen a 2
,
na
n+a
n a2
21
n 0.
A. Ejercicios Resueltos
X
2a
1
(1)n+1
sen a
+
cos nx ,
cos ax
2a2 n=1 n2 a2
< x < .
X
2a
1
(1)n+1
sen a
+
= cos 0 = 1
2a2 n=1 n2 a2
y luego
i
X
(1)n+1
1 h a
=
1
.
n2 a2
2a2 sen a
n=1
si < x < 0
sen x si
0<x<
sen x
2 X cos 2nx
1
+
2
n=1 4n2 1
se
nalando claramente cuales son los coeficientes de la expansion.
b) Utilice lo anterior para calcular
X
(1)n
.
4n2 1
n=1
n Hacemos uso de las identidades sen cos = [sen( + ) + sen( )]/2, sen sen =
a) Solucio
[cos( ) cos( + )]/2 para calcular los coeficientes
Z
Z
1
2
1
a0 =
f (t) dt =
sen t dt = ,
0
Z
Z
1
1
1
a1 =
f (t) cos t dt =
sen t cos t dt =
cos 2t|0 = 0,
0
4
Z
Z
1
1
ak =
f (t) cos kt dt =
(sen(1 + k)t + sen(1 k)t) dt
2 0
1 cos(1 + k)t
cos(1 k)t
1 (1)k+1 1 (1)k+1 1
=
+
=
+
2
1 + k 0
1 k 0
2
1+k
1k
k+1
k+1
(1)
1
1
1
(1)
1
1
=
=
,
k2
2
k1 k+1
k2 1
1
2
si k = 2n, n = 1, 2, . . .
4n2 1
=
0
si k = 2n + 1, n = 1, 2, . . .
(
Z
1/2 si n = 1
1
1
bn =
f (t) sen nt dt =
sen t sen nt dt =
0
0 si n 6= 1
22
A. Ejercicios Resueltos
Con lo cual
S(x) =
que es lo deseado.
1
sen x
2 X cos 2nx
+
2
n=1 4n2 1
< x < ,
1
1
2 X (1)n
+
.
2 n=1 4n2 1
X
(1)n
1
1
=
.
4n2 1
2 2
n=1
5.
si 1 < x < 0
1 x si 0 < x < 1
1
,
(2n
1)2
n=1
n. Los coeficientes de Fourier de f (x) estan dados por
a) Solucio
Z 1
Z 1
1
1
a0 =
f (x) dx =
(1 x) dx =
(1 x)2 10 =
2
2
1
0
(
Z 1
Z 1
u =1x
du = dx
an =
f (x) cos(nx) dx =
(1 x) cos(nx) dx
1
dv = cos(nx) dx v
= n
sen(nx)
1
0
Z 1
1
1 cos(n)
1
=
sen(nx) dx = 2 2 cos(nx) 10 =
, n = 1, 2, 3, . . .
n 0
n
n2 2
(
Z 1
Z 1
u =1x
du = dx
bn =
f (x) sen(nx) dx =
(1 x) sen(nx) dx
1
dv = sen(nx) dx v
= n
cos(nx)
1
0
Z 1
1
1
1
1
1
=
cos(nx) dx =
2 2 sen(nx) 10 =
, n = 1, 2, 3, . . .
n
n 0
n
n
n
La serie de fourier de la funcion f (x) es
1 X 1 cos(n)
1
+
cos(nx) +
sen(nx) ,
4 n=1
n2 2
n
1
2
1 < x < 1.
(f (0+ ) + f (0 )) = 12 , entonces
1
1 X 1 cos(n)
1
2
2
2
2
2
= +
= + 2 2 + 2 2 + 2 2 + 2 2 + ... +
...
2
2
2
4 n=1
n
4 1
3
5
7
(2n 1)2 2
Por lo tanto
1
2
=
.
2
(2n 1)
8
n=1
23
B. Ejercicios Propuestos
B.
Ejercicios Propuestos
1. Encuentre la serie de Fourier de cosenos sobre el intervalo 0 < x < para cada una de las siguientes
funciones:
2
(i) f (x) = x
(ii)
f (x) =
0, si
0 < x < /2
1, si /2 < x <
(iii)
f (x) = cos x.
2. Encuentre la serie de Fourier de senos sobre el intervalo 0 < x < para cada una de las siguientes
funciones:
(i)
si < x < 0
x,
(iii) f (x) =
2,
si
x=0
ex , si 0 < x < .
Ademas, para cada serie grafique la suma mostrando algunos terminos graficamente, comparando con la
funcion expandida.
0, si 2 < x < 1
2
(i) f (x) = x , 0 < x < 2 (ii) f (x) =
1, si 1 < x < 1
0, si
1 < x < 2.
5. Sea f (x) una funcion periodica de perodo 2 tal que sus coeficientes de Fourier existan. Suponga que
f ( x) = f (x), x. Muestre que an = 0 si n es impar y que bn = 0 si n es par. Encuentre explicitamente
c0 , c2 y c4 .
6. Encontrar, si existe, una serie de Fourier de perodo fundamental 2 para la funcion f (x) = sen3 x, x R.
Justifique brevemente su respuesta.
7. Sea f una funcion arbitraria, seccionalmente continua en [0, ], simetrica con respecto a la recta x = /2.
Demostrar que los u
nicos terminos no nulos en el desarrollo de Fourier senoidal de f , con perdo 2, son
los terminos b2k1 , k = 1, 2, . . .
8. Desarrolle la funcion:
f (x) = x 1,
1x2
en serie de Fourier, de tal modo que esa expansion tenga solo terminos pares.
24
B. Ejercicios Propuestos
x( x) =
(
1, si
2 X cos 2nx
,
6
n2
n=1
0 < x < /2
0 x .
q
2
sen nx, n =
0, si /2 < x < .
1, 2, 3 forman un conjunto ortonormal en el intervalo 0 < x < . Encuentre los valores de a, b para los
cuales la integral
F (a, b) =
alcanza su mnimo.
(
0, si x [1, 0)
11. Sea f (x) =
Muestre que
1, si x [0, 1].
Z
1
1
2
Z 1
2
1 3
f (x) x
dx
f (x) d0 d1 x d2 x2 dx
2 4
1
12. Sean f (x) y g(x) seccionalmente continuas en el intervalo [, ] tal que sus coeficientes de Fourier sean
iguales con respecto a un conjunto ortonormal de funciones. Muestre que f (x) = g(x) en cada punto de
[, ] donde ambas funciones sean continuas.
13. La serie de Fourier trigonometrica de la funcion ex sobre el intervalo < x < esta dada por
"
#
2 senh 1 X (1)n
x
e
+
(cos nx n sen nx) .
2 n=1 n2 + 1
a) Utilice la relacion de arriba para mostrar que
n=1
n2
1
= coth .
+1
2
2
Justifique su respuesta.
X
(1)n
.
n2 + 1
n=1
25