Ecuaciones diferenciales

Ejercicios

Juan Rafael lvarez Velsquez

juanra31a@gmail.com

17 de julio de 2014
Nota: Estos apuntes estn basados en el libro Differential Equations with
Boundary Value Problems, cuyo autor es Dennis Zill.
No buscan ser matemticamente rigurosos.
Cualquier correccin o duda es bienvenida en mi correo electrnico.

Funciones Ortogonales
Antes de comenzar nuestra discusin sobre series de Fourier, es conveniente utilizar una definicin: la de producto
interior de funciones.
El producto interior de dos funciones f1 y f2 en el intervalo [a, b] es el nmero:

hf1 , f2 i =

f1 (x) f2 (x) dx
a

Es importante pensar en el producto interior de dos funciones como si de un producto punto de vectores se tratara.
Hablando de producto punto, podemos decir que tenemos dos vectores ortogonales siempre que su producto punto
sea cero. De manera anloga
Dos funciones f1 y f2 son ortogonales en el intervalo [a, b] si

hf1 , f2 i =

f1 (x) f2 (x) dx = 0
a

Un ejemplo sencillo:
Ejemplo:
Las funciones x y x2 son ortogonales en el intervalo [1, 1]:

1
x4 
1 1
hx, x i =
x x dx =
x dx =
 = 44 =0
4
1
1
1
2

Recordamos que el producto punto puede ser usado para determinar la longitud de un vector. A esta cantidad se
le conoce como la norma del vector. De manera anloga
La norma de una funcin f en el intervalo [a, b] es la cantidad
s
b
p
2
kf k = hf, f i =
[f (x)] dx
a

Buscamos familias de funciones ortogonales, es decir:

Una familia de funciones {1 (x) , 2 (x) , ..., n (x) , ...} se dice ortogonal en el intervalo
[a, b] siempre que

n (x) m (x) dx = 0 para todo m 6= n

a

Consideremos, por ejemplo, la siguiente familia de familia de funciones: {1, cos x, cos 2x, ...}. Mostremos que dicha
familia de funciones es ortogonal en el intervalo [, ]:
Primero examinemos el caso h1, 1i:

h1, cos (nx)i =
dx = 2

Ahora el caso h1, cos (nx)i , n 6= 0:

h1, cos (nx)i =

cos (nx) dx =

=
=

sin (nx)|
n

1
[sin (n) sin (n)]
n
1
[0 0] = 0
n

Para todos los dems productos internos tendremos que:

hcos (mx) , cos (nx)i =

cos (mx) cos (nx) dx

Teniendo en cuenta la siguiente identidad trigonomtrica1 :

cos (mx) cos (nx) =

1
[cos ((m + n) x) + cos ((m n) x)]
2

De modo que

hcos (mx) , cos (nx)i =

1
2

[cos ((m + n) x) + cos ((m n) x)] dx


1
1
1
=
[sin ((m + n) x)] +
[sin ((m n) x)]
2 (m + n)
(m n)

= 0, siempre que m 6= n


Ahora, qu pasa cuando m = n 6= 0?

En este caso tenemos que

hcos (mx) , cos (mx)i =

=
=
=

1
[cos (2mx) + cos (0x)] dx
2

1
[cos (2mx) + 1] dx
2


1 1
[sin ((m + n) x)] + x
2 2m

1
[0 + 2] =
2

De manera que entonces podemos calcular la norma de la funcin cos (mx), a saber,
1 Ver

apndice 1.

kcos (mx)k =

hcos (mx) , cos (mx)i =

2

m 6= 0
m=0

Ahora, como seguramente recordamos de lgebra lineal, para hallar una familia ortonormal de funciones a partir
de nuestra familia ortogonal esta slo tenemos que dividir a cada funcin por su norma, es decir, nuestra nueva
familia ser:


1 cos x cos 2x
, , , ...

La importancia de las familias ortogonales de funciones es la siguiente:

Supongamos que tenemos una familia ortogonal de funciones, denotmosla {1 (x) , 2 (x) , ..., n (x) , ...}
Ahora, consideremos una funcin cualquiera, f (x), la cual podemos escribir como una serie de funciones
ortogonales:

f (x) =

cn n (x) = c0 0 (x) + c1 1 (x) + c2 2 (x) + ...

n=0

Qu pasa si hacemos un producto interno entre la funcin f (x) y alguna de las funciones pertenecientes a la
familia ortonormal, por ejemplo m (x)?
Tendremos algo como lo siguiente:
hf (x) , m (x)i = c0 h0 (x) , m (x)i + c1 h1 (x) , m (x)i + c2 h2 (x) , m (x)i + ...
Pero como las funciones n (x) son ortogonales, slo sobrevivir un trmino:
hf (x) , m (x)i = cm hm (x) , m (x)i = cm km (x)k

Podemos determinar entonces de manera precisa los coeficientes cm :

b
cm =

f (x) m (x) dx
b
2
[m (x)] dx
a

Esto nos ser de especial utilidad en un momento.

La serie quedar escrita entonces como:

f (x) =

X
n=0

" b
a

f (x) n (x) dx

b
a

[n (x)] dx

#
n (x)

Series de Fourier
Nos enfocaremos en una familia de funciones ortogonales muy especial:

 


 

 
x
2x
x
2x
1, cos
, cos
, ..., sin
, sin
, ...
p
p
p
p
3

Esta es una familia ortogonal en el intervalo [p, p]. De hecho, se satisfacen las siguientes relaciones:
(




p
0, m = n
mx
nx
cos
cos
dx =
p
p
p m 6= 0
p




p
mx
nx
cos
sin
dx = 0, para todo m, n
p
p
p
(




p
0, m = n
mx
nx
sin
sin
dx =
p
p
p m 6= 0
p
Como antes, expresaremos una funcin f (x) en el intervalo [p, p] como una suma de funciones de nuestra familia
ortogonal, a saber:

f (x) =

a0 X
+
an cos
2
n=0

nx
p


+


bn sin

n=0

nx
p

Queremos saber el valor de los an y de los bn . Recordemos que cada uno de los sumandos es ortogonal a los
dems.
De esta manera, si queremos calcular el sumando a0 , slo tendremos que realizar el producto interno de f (x) con
1:
hf (x) , 1i =

a0
h1, 1i
2

p
Ahora, recordemos que el producto interno se define como hf (x) , g (x)i = p f (x) g (x) dx, de modo que tendremos:
p
p

2 p f (x) dx
2 p f (x) dx
1 p
2 hf (x) , 1i
p
=
=
f (x) dx
a0 =
=
h1, 1i
2p
p p
dx
p
Anlogamente tendremos que para los an :





nx
nx
nx
i = an hcos
, cos
i
hf (x) , cos
p
p
p


p
dx
f (x) cos nx
p
p




an = p
nx
nx
cos
cos
dx
p
p
p


El valor de la integral del denominador es p, de modo que

an =

1
p


f (x) cos

nx
p

Podemos hacer lo mismo con los bn :






nx
nx
nx
i = bn hsin
, sin
i
p
p
p


p
nx
f
(x)
sin
dx
p
p




an = p
nx
nx
sin
sin
dx
p
p
p


hf (x) , sin

El valor de la integral del denominador es p, de modo que

1
bn =
p


f (x) sin

nx
p

Apndice 1: Demostracin de las identidades trigonomtricas usadas

cos (a) cos (b) =

1
[cos (a + b) + cos (a b)]
2

El truco detrs de esta identidad es sencillo. Slo tenemos que recordar que
cos (a + b) = cos (a) cos (b) sin (a) sin (b)
y que
cos (a b) = cos (a) cos (b) + sin (a) sin (b)
Entonces, como nosotros queremos saber cos (a) cos (b), simplemente sumamos las dos ecuaciones anteriores y obtenemos
cos (a + b) + cos (a b) = 2 cos (a) cos (b)
De donde se deriva nuestra identidad.