ESPACIOS CON MEDIDA

1 Medida
Dentro del analisis, los espacios con medida juegan un papel muy importante.
Estos espacios son la base de la teora de probabilidad y estadstica, de los
espacios L
2
, etc. Aqui nos enfocaremos a los espacios L
2
, veremos primero
su denicion y luego aplicaciones a las funciones especiales, que son solucion de
ecuaciones diferenciales importantes en fsica, qumica, ingeniera, matemamticas,
etc. Vamos a introducir la denicion de algebra- para poder introducir la
denicion de medida. Entonces epecemos con la siguiente denicion.
Denicion 1 Sea conjunto P () el conjunto potencia de . Sea F P ().
F se llama algebra sobre si
1) F
2) A F implica A
c
F
3) A
1
, A
2
F implica A
1
A
2
F
No hay que confundir el nombre algebra sobre alg un conjunto con el de
algebra en el sentido algebraico. El nombre es el mismo, aunque las deniciones
no tienen nada que ver. En adelante no habra confuci on, ya que el concepto
que realmente usaremos en esta secci on es el de algebra-, esta se dene como
sigue.
Denicion 2 F se llama algebra- sobre si valen 1), 2) y
3) A
1
, A
2
, F implica

i=1
A
i
F
En ocaciones el inciso 1) de la denicion de algebra puede cambiarse por
1) F.
Obviamente el inciso 1) y 2) implican 1), por lo que las deniciones son
equivalentes. Observemos tambien que una algebra sobre es una algebra
sobre .
Vamos a ver algunos ejemplos.
Ejemplo 3 .
1) El conjunto potencia completo es siempre una algebra o una algebra-
sobre el conjunto original, esto es F = P () es siempre una algebra sobre .
2) El conjunto formado por el conjunto original y el vacio, son una algebra-
F = {, }.
Ejemplo 4 F = {, A, A
c
, } para A = y A es tambien una algebra-
sobre .
Ejemplo 5 Sea = {a, b, c, d}, entonces una algebra- sobre esta dada por
F
1
= {, {a, b}, {c, d}, {a, b, c, d}} . Otra algebra- es
F
2
= {, {a}, {b} , {a, b}, {c, d}, {b, c, d}, {a, c, d}, }, etc.
1
Ejercicio 6 Demostrar que los ejemplos anteriores son algebras sobre .
Comentario 7 Observemos que en la denici on de algebra, las uniones entre
conjuntos puede cambiarse por intersecciones .
Ejercicio 8 Demostrar la observaci on 7 anterior.
La interseccion innita de algebras-, es a su vez algebra-. Esto lo veremos
en la siguiente proposicion.
Proposici on 9 Sean {F
i
}
iI
una familia de algebras- e I un conjunto de
ndices. Entonces
iI
F
i
tambien es algebra-.
Dem. 10 Sean {F
i
}
iI
una familia de algebras-, entonces:
1) F
i
para toda i I esto implica que
iI
F
i
2) A
iI
F
i
s y s olo s A F
i
para toda i I. Puesto que F
i
es una
-

Algebra se sigue que A

c
F
i
para toda i I s y s olo s A
c

iI
F
i
.
3) Sean A
1
, A
2

iI
F
i
s y s olo s A
1
, A
2
F
i
para toda i I esto implica
que A
1
A
2
F
i
para toda i I s y s olo s A
1
A
2

iI
F
i
, an alogicamente
para
jI
A
j

En lo que sigue vamos a introducir las algebras- sobre los espacios metricos.
Para esto introduciremos una denicion importante, para que con ella podemos
denir el algebra de Borel.
Denicion 11 Sea E P(). Se dene (E) =
iI
F
i
, donde F
i
son algebras-
, con E F
i
.
Esta denicion pretende construir el algbra- mas peque na de un conjunto
arbitrario. La denicion anterior puede interpretarse de la siguiente manera.
Sea conjunto y E P(). Supongamos que E no es algebra-. Entonces, si
E es un subconjunto del conjunto potencia donde / E, entonces se construye
E

= E. Si E es tal que no todos los complementos de sus conjuntos pertenecen

a E, entonces se construye E con todos los complementos faltantes y as, hasta
formar una algebra- mnima, esta es (E). Este proceso equivale a tomar la
interseccion de todas las algebras sobre , es decir, seg un la denicion anterior,
equivale a tomar (E).
Ya estamos listos para introducir las algebra- sobre espacios metricos, las
cuales tienen una importancia especial, estas se denen de la forma siguiente.
Denicion 12 Sea (M, ) espacio metrico, y sea E = {U M | U abierto}. A
(E) se le llama algebra- de los conjuntos de Borel de M.
2
Ejemplo 13 Sea (, ) el espacio metrico real. Entonces
E = {U | U intervalo abierto de } .
Como los complementos de los intervalos abiertos son uniones de intervalos
cerrados, (E), y por tanto, los conjuntos de borel de los reales, estar a formado
por el conjunto de los intervalos abiertos, uni on los intervalos cerrados, uni on
todos los n umeros reales, uni on el conjunto vacio.
Ejemplo 14 Sea X = {a, b}. Un ejemplo de conjuntos abiertos (topologicos)
de X son
X
= {, {a} , {a, b}}. Entonces los conjunto de Borel de
X
son
(
X
) = {, {a} , {a, b} , {b}}.
Ejercicio 15 Sea E = {bolas en
n
}. Construir (E) y demostrar que es una
algebra- explcitamente.
Ahora ya estamos en posicion de denir espacio medible y medida. Como
veremos, en estos espacios podemos denir funciones especiales ortogonales y
series de Fourier con estas funciones. Vamos a iniciar con los espacios medibles.
Denicion 16 Sea un conjunto. A la upla (, F) con = y F algebra
sobre se le llama espacio medible.
Denicion 17 Una funci on : F [0, ) se le llama medida si
1) () = 0
2) Para una secuencia A
1
, A
2
, , F tal que
A
i
A
j
= i = j, se sigue (

i=1
A
i
) =

i=1
(A
i
) .
Denicion 18 Al triplete de (, F, ) con (, F) espacio medible y medida,
se le llama espacio con medida.
Algunas de las propiedades mas importantentes de los espacios con medida
son las siguientes.
Lema 19 Una medida sobre (, F) es nitamente aditiva.
Dem. 20 Sean A
1
, , A
n
F disjuntos con A
i
= para toda i = n + 1, .
Se sigue entonces que
n
i=1
A
i
=

i=1
A
i
, esto implica que
(
n
i=1
A
i
) = (

i=1
A
i
) =

i=1
(A
i
) =
n

i=1
(A
i
)

Comentario 21 La medida 0 por denici on.

Proposici on 22 Sean A, B F, medida sobre (, F), espacio medible. En-
tonces
a) (A B) (A) +(B)
b) Si A B, se sigue (A) (B)
c) Si A B con (A) < se sigue que (B\A) = (B) (A)
3
Dem. 23 Primero demostremos b)
b) A B implica que B = A (B\A). Se tiene que (B) = (A (B\A))
Entonces
(B) = (A) +(B\A) .
Pero 0 implica (B) (A)
a) A, B F A B = A (B\A)
Entonces
(A B) = (A) +(B\A)
por lema ??. Pero B\A B. Por b) (B\A) (B) lo que implica que
(A B) (A) +(B) .
c) (B) = (A (B\A)) = (A) +(B\A),
entonces
(B\A) = (B) (A)

Veamos algunas medidas especiales que usaremos en el resto del texto. Unas
medidas muy importantes son la medida de probabilidad y la medida de Dirac.
Su denicion formal es como sigue.
Denicion 24 Una medida tal que () = 1 se llama medida de probabili-
dad.
Veamos el ejemplo de la medida de Dirac.
Ejemplo 25 Medida de Dirac. Sea (, F) espacio medible y
x
tal que
x
:
F [0, ), con

x
(A) :=
_
1 si x A
0 si x A
c
para toda A F. Veamos que
x
es una medida. Primero es f acil ver que

x
() = 1, por lo que
x
es una medida de probabilidad, adem as, es claro que

x
(A) 0 para toda A F. Sean A
1
, A
2
, , A
i
, F con A
i
A
j
= i =
j, entonces

x
_

iI
A
i
_
= 1
s y s olo s x
iI
A
i
, esto es s y s olo s existe alg un A
i
tal que x A
i
, pero
no en los restantes A
j
, j = i, esto implica que

x
_

iI
A
i
_
=

i=1

x
(A
i
) = 1
Por otro lado,
x
(
iI
A
i
) = 0, s y s olo s x (
iI
A
i
)
c
, esto es s y s olo
s x
iI
A
c
i
, s y s olo s x A
c
i
para toda i, lo que implica que
x
(A
i
) = 0
para toda i. Por lo tanto

i=1

x
(A
i
) = 0, i.e.
x
_

iI
A
i
_
=

i=1

x
(A
i
)
4
Ejemplo 26 Sean los reales y F los conjuntos de Borel en los reales. En-
tonces la funci on l
1
: F
+
tal que l
1
es la longitud del intervalo, es decir
l
1
((a, b)) = b a, es una medida. Veamos esto: l
1
() = 0, ademas, si A
1
y
A
2
son dos intervalos disjuntos, se tiene que l
1
(A
1
A
2
) = l
1
((a, b) (c, d)) =
da(c b) = b a+dc = l
1
((a, b)) +l
1
((c, d)). A esta medida se le llama
la medida de Lebesgue.
Ejemplo 27 Sea = {a, b, c, d} y
F = {, {a}, {b} , {a, b}, {c, d}, {a, c, d}, {b, c, d}, }.
Entonces la funci on : F [0, ), tal que (A) = n umero de elementos de A.
Esto implica que () = 0 y
({a} {b}) = ({a, b}) = 2 = ({a}) +({b}).
Adem as
({a} {c, d}) = ({a, c, d}) = 3 = ({a}) +({c, d}),
({b} {c, d}) = ({b, c, d}) = 3 = ({b}) +({c, d}),
({a} {b, c, d}) = ({a, b, c, d}) = 4 = ({a}) +({b, c, d}).
Por otro lado,
({a} {a, b}) = ({a, b}) = 2 < ({a}) +({a, b}),
etc. Por tanto (A) es una medida.
Ejemplo 28 Si en el ejemplo anterior denimos : F [0, ), tal que
(A) =n umero de elementos de A/4, (A) se vuelve una medida de probabilidad.
Ejemplo 29 Sea (, F) espacio medible (x
k
)
k=1, ,
una serie en y (c
k
)
k=1
una sucesion de n umeros (c
k
)
k=1, ,
[0, ). Tomamos =

k=1
c
k

x
k
. En-
tonces es una medida llamada la medida discreta. Si adem as

k=1
c
k
= 1,
se llama medida discreta de probabilidad.
Ejercicio 30 Demuestren que =

k=1
c
k

x
k
es una medida.
Ejercicio 31 Sea (, E) espacio medible, h : suave y A E los conjun-
tos de Borel de . Demuestren que (A) =
_
A
hdx es una medida.
2 Integracion en espacios con Medida
En esta secci on veremos como se puede integrar en espacios con medida. Real-
mente estamos interesados en la integraci on de Lebesgue y para ello tenemos
que introducir algunas deniciones. Empecemos por la denicion de funci on
indicadora.
Denicion 32 Sea
x
(A) la medida de Dirac. La funci on indicadora
A
se dene como
A
: [0, +), x
A
(x) =
x
(A) .
5
De hecho, toda funci on para la cual la imagen inversa de los conjuntos de
Borel es un elemento de la algebra- en el conjunto, se le llama funci on medible,
formalmente esta se dene como
Denicion 33 Sea (, F) espacio medible. A toda funci on f : se le
llama funci on medible, si f
1
(X) F, para toda X E.
Ejemplo 34 Vamos a ver aqui que las funciones indicadoras
A
son funciones
medibles. Veamos primero que, para una A ja se tiene que
A
(x) =
x
(A) :
. Observemos que esta funci on es 1 para toda x A, y 0 de lo contrario.
De hecho
A
es una funci on escal on. Sea X E, y veamos cuanto vale
1
A
(X).
Se tiene que, X = {1} o X = {0}. Entonces

1
A
(1) = A F y
1
A
(0) = A
c
F
por lo que
A
es una funci on medible.
Finalmente, la integraci on en espacios con medida se hara en base a las
funciones simples, su denicion es
Denicion 35 Sea (, F) espacio medible y sea f
n
una funci on medible ah.
f
n
se dice simple si existen a
1
, , a
n
con n 1, A
1
, , A
n
F tal que
f
n
=
n

i=1
a
i

Ai
en el espacio medible (, F) .
Esto quiere decir que toda funci on simple se puede escribir como la super-
posicion de funciones indicadoras por cada intervalo. Las funciones simples
estan formadas por porsiones constantes en cada intervalo A
i
para i = 1, , n.
Lo mas interesante de las funciones medibles es que ellas pueden escribirse como
el lmite de funciones simples. Esto lo veremos en la siguiente proposicion.
Proposici on 36 Sea f medible, f 0. Entonces existe (f
n
)
n=1,...,
con
1) f
n
: para todo n
2) f
n
simple para todo n
3) f
n
0 para todo n
4) f
n
f
n+1
para todo n
5) f = lim
n
f
n
Dem. 37 Vamos a construir las funciones (f
n
)
n=1, ,
. Sean las funciones
f
n
=
4
n

i=1
i 1
2
n

f
1
([
i1
2
n ,
i
2
n ))
+ 2
n

f
1
([2
n
,))
6
las cuales se puede tambien descomponer en sus partes. Sea , se obtiene:
f
n
() =
_
i1
2
n
para
i1
2
n
f () <
i
2
n
con i = 1, , 4
n
2
n
para f () 2
n
Claramente esta funci on cumple con las condiciones 1) a 4) de la proposici on.
Queda por demostrar que f = lim
n
f
n
. Sea f
1
__
i1
2
n
,
i
2
n
__
, esto implica
que f
n
() =
i1
2
n
, por la denici on de f
n
. Se tiene que:
i 1
2
n
f () <
i
2
n
,
y por tanto
0 |f
n
() f ()|
1
2
n
lo que implica que
lim
n
f
n
= f ()

Vean la gura 1 donde se muestra un ejemplo de las funciones simples f.

Denicion 38 (Integral de Lebesgue de funciones simples) Sea (, F, )
espacio con medida y f
n
: (, F) (, E), funci on simple donde E es la algebra-
de Borel de . Sea A
k
= {x | f
n
(x) = c
k
} k = 1, , n. Se dene
_

f
n
() (d) :=
n

k=1
c
k
(A
k
)
En general, puede tomarse cualquier secuencia (B
i
)
i=1,...,n
de elementos de
F. La integral de Lebesgue tiene varias propiedades, vamos a enumerar y de-
mostrar algunas de ellas.
Proposici on 39 Sean f
1
,y f
2
funciones simples. Entonces
1)
_
(
1
f
1
+
2
f
2
) (d) =
1
_
f
1
(d) +
2
_
f
2
(d)
2) Si 0 f
1
f
2
, entonces
_
f
1
(d)
_
f
2
(d)
Es decir, la integral es un funcional lineal y monotona.
Dem. 40 Solo veremos una idea de la demostraci on.
1) Se sigue por construcci on. Sea
b
i
=
_
b
1
i
1 i k
1
b
2
i
k
1
k
1
+ 1 i k
2
+k
1
f
1
+f
2
=
k1+k2

i=1
b
i

Bi
.
7
entonces
_
(f
1
+f
2
) (d) =
k1+k2

i=1
b
i
(B
i
)
=
k1

i=1
b
1
i

_
B
1
i
_
+
k2

i=1
b
2
i

_
B
2
i
_
=
_
f
1
(d) +
_
f
2
(d).
2) Tenemos f
2
f
1
0, f
2
= (f
2
f
1
) +f
1
Entonces
0
_
f
2
(d) =
_
(f
2
f
1
) (d) +
_
f
1
(d),
pero
_
(f
2
f
1
) (d) 0 por lo tanto
_
f
2
(d)
_
f
1
(d).
Despues de esta proposicion ya estamos en posicion de denir la integral de
Lebesgue. Esta se realiza utilizando funciones simples, esto es:
Denicion 41 (Integral de Lebesgue) Sea f : (, F) (, E) funci on y
(, F) espacio medible y E el algebra- de Borel. Sea (f
k
)
k=1, ,n
una serie de
funciones simples, tal que f
k
f
k+1
para toda k, y f = lim
k
f
k
. Entonces:
_
f () (d) := lim
n
_
f
n
() (d) .
Debido a la proposicion anterior, aqui tambien se sigue que la integral es
lineal y mon otona. El teorema mas importante correspondiente a la integral de
Lebesgue, el cual daremos sin demostracion, es el siguiente.
Teorema 42 (de Lebesgue) Sean g, f
n
: (, F) (, E) tal que | f
n
| g
para toda n,
_
g(d) es nita y f = lim
n
f
n
. Se sigue que
_
f(d) = lim
n
_
f
n
(d)
es decir, f es integrable y
_
f(d) es nita.
Para comprender el teorema y aprender a manipular la integral de Lebesgue, es
conveninte ver algunos ejemplos simples.
Ejemplo 43 Sea (, E) el espacio medible con E el algebra- de Borel y l
1
:
E [0, +) tal que l
1
((a, b)) = b a (con a < b por facilidad) es la medida de
Lebesgue. Entonces, si f : , se tiene
_
(a,b)
f(x)l
1
(dx) =
_
b
a
f (x) dx
8
Vamos a explicar este punto. Sabemos que existe una serie de funciones
simples f
k
con f = lim
n
f
n
tal que en los intervalos A
k
, la funci on sea constante,
es decir, A
k
= (a
k
, b
k
) = {x | f
k
(x) = c
k
}. Se sigue que
_
(a,b)
f (x) l
1
(dx) = lim
n
_
f
n
(x) l
1
(dx)
= lim
n
n

k=1
c
k
l
1
(A
k
)
= lim
n
n

k=1
f
k
(x) (b
k
a
k
) =
_
b
a
f (x) dx.
Es decir, la integral de Lebesgue con la medida de Lebesgue es la integral de
Riemann.
Ejemplo 44 Sea (, E) el espacio medible con E el algebra- de Borel y :
E [0, +) tal que (A) =
_
A
hdx con h : . Entonces, si f : ,
se tiene
_
(a,b)
f(x)(dx) =
_
b
a
f (x) h(x)dx
Tomemos de nuevo la serie de funciones simples f
k
con f = lim
n
f
n
tal
que en los intervalos A
k
, la funci on sea constante, es decir, A
k
= (a
k
, b
k
) =
{x | f
k
(x) = c
k
}. Se sigue que
_
(a,b)
f (x) (dx) = lim
n
_
f
n
(x) (dx)
= lim
n
n

k=1
c
k
(A
k
)
= lim
n
n

k=1
c
k
_
b
k
a
k
h(x) dx
= lim
n
n

k=1
c
k
lim
m
m

l=1
h(x
l
)
(b
k
a
k
)
m
.
Observemos que m se puede cambiar por n, ya que los dos van a innito, a un
m as, si adaptamos la segunda suma a la primera poniendo los puntos x
l
s junto
con los c
k
s, ya que los dos son contados por un n umero innito de puntos,
obtenemos:
_
(a,b)
f (x) (dx) = lim
n
n

k=1
c
k
n

l=1
h(x
l
)
(b
k
a
k
)
n
= lim
n
n

k=1
f
k
(x) h(x
k
)
(b
k
a
k
)
n
=
_
b
a
f (x) h(x) dx.
9
Es decir, la integral de Lebesgue con la medida (A) =
_
A
hdx es la integral de
Riemann con un peso.
Ejercicio 45 Realizar la misma integral pero con la medida de Dirac.
3 Espacios Lp
Finalmente vamos a introducir la denicion de espacios L
p
, para despues dedi-
carnos a estos espacios con p = 2. Para eso, vamos a introducir una relacion
de equivalencia en los espacios con medida para poder denir los espacios que
queremos.
Denicion 46 Sea (, F) espacio medible y medida en (, F) . Se dene
L
0
(, F) = {f : | f es funci on medible}, i.e. f
1
(X) F, para toda
X E.
Se puede ver entonces que el espacio L
0
forma un espacio vectorial con las
operaciones canonicas entre funciones. Es decir:
Proposici on 47 L
0
es un espacio lineal.
Los espacios L
p
se basan en el hecho de que los espacios de todas las funciones
medibles se pueden separar en clases de equivalencia. La relacion de equivalencia
que separa estos espacios en clases se introduce en la siguiente denicion.
Denicion 48 Sean f, g, L
0
y medida. Sea

la relaci on f

g si
({x | f(x) = g(x)}) = 0, con medida en (, F) .
Proposici on 49 La relaci on

es de equivalencia
Dem. 50 Veamos las tres condiciones de relaci on de equivalencia
1) f

f ya que ({x | f(x) = f(x)}) = () = 0

2) f

g implica que ({x | f(x) = g(x)}) = 0, por tanto g

f
3) Sean f, g, h L
0
tales que f

g y g

h. Denotemos por
A = {x | f(x) = g(x)},
B = {x | g(x) = h(x)}
M = {x | f(x) = h(x)}
Como f

g y g

h se sigue que (A
c
) = 0 y (B
c
) = 0. De lo anterior se
tiene que f = h s y s olo s f = g y g = h asi que M = A B lo que implica
que M
c
= A
c
B
c
. Entonces
({x | f(x) = h(x)}) = (M
c
) = (A
c
B
c
) (A
c
) +(B
c
) = 0
lo que implica que f

h.
10
Con esto ya podemos introducir la denicion de los espacios L
p
, su denicion
se basa en el conjunto de clases de equivalencia con la relacion

. Se denen
como sigue.
Denicion 51 Sea L
0
(, F, m) = L
0
(, F) /

. Se dene
L
p
= {f L
0
(, F, m) |
_

| f (x) |
p
(dx) < },
de tal forma que L
p
es un espacio normado, con la norma f
p
=
__

| f |
p
(dx)
_
1/p
La propiedad mas importante de estos espacios es que son espacios normados
y completos, o sea, de Banach. Vamos a enunciar este importante teorema sin
demostracion:
Teorema 52 Para todo 1 p < , L
p
es lineal y completo, es decir, L
p
es
espacio de Banach.
Los casos especiales mas interesantes son sin duda
p = 1, L
1
= Espacio de las funciones integrables.
p = 2, L
2
= Espacio de Banach de las funciones cuadraticas integrables bajo
la medida .
Estos dos espacios son de suma importancia en fsica, qumica, matematicas,
mecanica cuantica, etc. Particularmete, en L
2
tambien es posible dernir un
producto interno, convirtiendo estos espacios en espacios de Hilbert. Esto se ve
en la siguiente proposicion.
Proposici on 53 L
2
es un espacio de Hilbert con el producto escalar (f, g) =
_

f (x) g (x) (dx)

Dem. 54 Claramente las propiedades de producto escalar se cumplen para (f, g) .
Como L
P
es de Banach, es completo y lineal, por lo tanto es espacio de Hilbert
con (f, g) su producto interno.
Observemos que en L
2
la norma esta dada por
f
L2
=
__

| f |
2
(dx)
_
1/2
= [(f, f)]
1/2
por lo que, la norma y el producto interno en estos espacios, son compatibles.
Las generalizaci on a espacios complejos se sigue del hecho que f = u + iv ,
en tal caso, usando la linealidad de la integral de Lebergue, se siguen las mismas
propiedaes equivalentemente como para f real.
11
4 Desarrollo de Fourier en L
2
Los espacios de interes para la fsica, como ya dijimos, son los espacios L
2
. En
estos espacios se denen las series de Fourier, entre otras. Vamos a dedicarles
esta secci on dada su importancia. Empecemos con la siguiente denicion.
Denicion 55 Sea L
2
= L
2
(, F, ) espacio de Hilbert tal que existe un sis-
tema (f
i
)
i=1,...,n
ortonormal completo. Sea f L
2
, cuyo coeciente de Fourier
estan dados por
a
i
= (f, f
i
) =
_

f (x) f
i
(x) (dx) .
A la serie f =

i=1
a
i
f
i
se le llama serie de Fourier de f.
Ejemplo 56 Consideramos el espacio L
2
([, ]) con la medida de Lebesgue.
Como ya hemos visto, el sistema T
n
=
_
1

2
,
1

sin(kx),
1

cos(kx)
_
k=1, ,n
es ortonormal y es completo en
T ([, ]) = {f | f (x) =
n

k=0
a
k
cos (kx) +b
k
sin (kx)}
llamado el conjunto de las funciones trigonometricas. En general (T
n
)
n=1,...,
es un sistema ortonormal completo en L
p
.
Ejercicio 57 Demuestre que (T
n
)
n=1,...,
es un sistema ortonormal en L
2
.
Denicion 58 Sea E espacio de Hilbert y E una algebra- sobre E. Se dene
B(E, E) = {f : (E, E) | f es medible y acotada}
C

(E) = {f : E | f es continua y acotada}

Se puede mostrar que C

(E) B(E, E) L
p
, y ambas son subconjuntos
lineales de L
p
. Es mas, estos espacios son densos, por lo que podemos acer-
carnos tanto como queramos por medio de una base ortonomal completa a cada
elemento de estos espacios, esto se ve en la siguiente proposicion.
Proposici on 59 Sea E espacio de Hilbert y E los conjuntos de Borel de los
reales.
1) B(E, E) es denso en L
p
2) C

(E) es denso en L
p
Con esta proposicion se puede mostrar que T ([, ]) es denso en L
p
([, ]).
Unos ejemplos de mucha importancia para la teora de ecuaciones diferenciales
son los siguientes.
12
Ejemplo 60 El sistema
_
f
k
=
1

2x
e
ikx
_
kZ
es un sistema ortonormal completo en el espacio L
2
complejo ([, ]) .
Ejemplo 61 El sistema
_
P
n
= c
n

d
n
dx
n
_
x
2
1
_
n
, con c
n
=
1
n! 2
n
_
2n + 1
2
_
nN
es un sistema ortonormal completo en L
2
([a, b]) con la medida de Lebesgue. A
estos polonomios se les llama Polinomios de Legendre.
Ejemplo 62 Tomemos L
2
(, ) con la medida
(A) =
_
A
h(x) dx,
A E con h(x) = e
x
2
. Entonces el sistema
_
1, x, x
2
,
_
es un sistema
ortonormal completo en este espacio. Si
H
n
= c
k
e
x
2 d
n
dx
n
e
x
2
n 0, L({H
0
, , H
n
}) = L
__
1, x, , x
2n
__
.
A H
n
se les llama los Polinomios de Hermite.
5 Funciones Especiales
Existen una serie de funciones que tienen caracteristicas muy particulares. Lo
importante de estas funciones es que son solucion de diferentes ecuaciones difer-
enciales muy comunes en fsica, qumica, ingeniera, etc., por eso su estudio
requiere de una secci on aparte. Hay una forma de estudiar todas estas fun-
ciones especiales de una forma unicada, es la versi on que adoptaremos aqui.
Todas estas funciones tienen caracteristicas comunes y adoptando esta versi on
unicada es posible estudiar sus caracteristicas comunes de una sola vez.
Denicion 63 (F ormula de Rodriques) Sea
P
n
(x) = c
n
1
h
d
n
dx
n
(hs
n
), (1)
tal que
1) P
n
es un polinomio de grado n y c
n
una constante.
2) s(x) es un polinomio de raices reales de grado menor o igual a 2
3) h : es una funci on real, positiva e integrable en el intervalo
[a, b] , (llamada peso) tal que h(a)s(a) = h(b)s(b) = 0.
13
Con esta denicion es posible denir la mayoria de las funciones especiales
mas comunes. Daremos algunos ejemplos.
Ejemplo 64 Los polinomios de Hermite H
n
estan dados por h = e
x
2
, s = 1,
c
n
= 1, en el intervalo (, ), es decir
H
n
(x) = (1)
n
e
x
2 d
n
dx
n
(e
x
2
)
por lo que los primeros terminos ser an:
H
0
= 1,
H
1
= 2x,
H
2
= 2 4x
2
,
H
3
= 4x(3 + 2x
2
),
H
4
= 12 48x
2
+ 16x
4
, etc.
Ejemplo 65 Los polinomios de Legendre P
n
est an dados por h = 1, s = 1x
2
,
c
n
= (1)
n
/ (2
n
n!), en el intervalo [1, 1], es decir
P
n
(x) =
(1)
n
2
n
n!
d
n
dx
n
(
_
1 x
2
_
n
)
por lo que los primeros terminos ser an:
P
0
= 1, P
1
= x,
P
2
=
1
2
_
3x
2
1
_
,
P
3
=
1
2
x(5x
2
3),
P
4
=
1
8
_
35x
4
30x
2
+ 3
_
, etc.
Ejemplo 66 Los polinomios de Laguerre L
n
dados por h = e
x
, s = x,
c
n
= 1, en el intervalo (, ), es decir
L
n
(x) = e
x
d
n
dx
n
(x
n
e
x
)
por lo que los primeros terminos ser an:
L
0
= 1,
L
1
= x + 1,
L
2
= x
2
4x + 2,
L
3
= x
3
+ 9x
2
18x + 6,
L
4
= x
4
16x
3
+ 72x
2
+ 96x + 24, etc.
Ejercicio 67 Escriba los primeros 4 terminos y de una ecuaci on diferencial
caracteristica de los polinomios de Tchebichef de primera clase T
n
dados
por h = (1 x
2
)
1/2
, s = 1 x
2
, en el intervalo [1, 1].
Ejercicio 68 Escriba los primeros 4 terminos y de una ecuaci on diferencial
caracteristica de los polinomios de Jacobi P
,
n
dados por h = (1x)

(1+x)

,
> 1, > 1, s = 1 x
2
, en el intervalo [1, 1] .
14
Ejercicio 69 Escriba los primeros 4 terminos y de una ecuaci on diferencial
caracteristica de los polinomios de Gegenbauer C

n
dados por h = (1
x
2
)
1/2
, >
1
2
, s = 1 x
2
, en el intervalo [1, 1] .
Ejercicio 70 Escriba los primeros 4 terminos y de una ecuaci on diferencial
caracteristica de los polinomios de Tchebichef de segunda clase U
n
dados
por h = (1 x
2
)
1/2
, s = 1 x
2
, en el intervalo [1, 1] .
Todos estos polinomios especiales tienen la caracteristica de formar sistemas
completos en el espacio de funciones suaves. En fsica y qumica, las ecuaciones
diferenciales anteriores son muy comunes y como sus soluciones forman sistemas
completos, podemos escribir las funciones suaves como combinaci on lineal de
estas funciones especiales. Esta proceso es muy conveniente cuando se trabaja
con estas ecuaciones diferenciales. Para ver que estas forma sistemas completos,
mostraremos primero una serie de proposiciones.
Proposici on 71 Denotemos por p
k
a un polinomio arbitrario de grado k, en-
tonces
d
m
dx
m
(hs
n
p
k
) = hs
nm
p
k+m
(2)
Dem. 72 Primero observemos que para n = 1 en (1), se cumple que
P
1
(x) = c
1
1
h
d
dx
(hs) = c
1
s
1
h
dh
dx
+c
1
ds
dx
,
de donde que
s
dh
dx
= h
_
1
c
1
P
1

ds
dx
_
.
Ahora tomemos la derivada
d
dx
(hs
n
p
k
) = s
n
p
k
dh
dx
+hns
n1
p
k
ds
dx
+hs
n
dp
k
dx
= s
n1
h
_
p
k
_
1
c
1
P
1
+ (n 1)
ds
dx
_
+s
dp
k
dx
_
.
Como p
k
es cualquier polinomio de grado k y por denici on P
1
es un poli-
nomio de grado 1 y s es un polinomio de grado 2, se tiene que
d
dx
(hs
n
p
k
) = hs
n1
p
k+1
.
Si se sigue derivando la expresi on entre parentesis y siguiendo los mismos pasos,
se llega al resultado.
Observemos que del resultado anterior se tiene que
P
n
= c
n
1
h
d
n
dx
n
(hs
n
) = c
n
p
n
.
De aqui es entonces facil demostrar que
15
Proposici on 73 Todas las derivadas
d
m
dx
m
(hs
n
) con m < n, son cero en x = a
y x = b.
Dem. 74 Como
d
m
dx
m
(hs
n
p
k
)|
x=a
= h(a)s
nm
(a)p
k+m
= 0.

Otro resultado importante es el siguiente:

Proposici on 75 Sea (A) =
_
A
hdx, con A E. Entonces es una medida.
Ejercicio 76 Probar la proposici on.
Usando las prorposiciones anteriores ya podemos demostrar el teorema prin-
cipal de esta secci on.
Teorema 77 Sea
P
n
(x) = c
n
1
h
d
n
dx
n
(hs
n
).
Entonces los polinomios {P
n
}
n=1,
forman un sistema ortonormal completo en
L
2
([a, b]) en el intervalo [a, b], con el producto interno
(f, g) =
_
A
f(x)g(x)h(x)dx.
Dem. 78 Es claro que L({P
0
, , P
n
}) = L({1, x, , x
n
}) , ya que ambos
forman una base del espacio de polinomios de grado n. Veamos que {P
n
}
n=1,
son ortonormales en L
2
([a, b]) con el producto interno
(P
n
, P
m
) =
_
A
P
n
(x)P
m
(x)h(x)dx.
Veamos primero que (p
n
, P
m
) = 0 para todo polinomio p
n
con n < m. Como
(p
n
, P
m
) = c
n
_
A
p
n
(x)
d
m
dx
m
(hs
m
)dx
integramos por partes m veces, como todas las derivadas de hs
n
son cero, se
tiene que
(p
n
, P
m
) = c
n
_
A
h(x)s(x)
m
d
m
p
n
dx
m
dx = 0.
Ahora bien, si en la integraci on anterior n = m, obtenemos:
(p
n
, P
n
) = c
n
_
A
h(x)s(x)
n
d
n
p
n
dx
n
dx = c
n
n! a
n
_
A
h(x)s(x)
n
dx, (3)
donde a
n
es el coeciente principal del polinomio p
n
. Podemos escoger
1
c
n
= n! a
n
_
A
h(x)s(x)
n
dx
y entonces se tiene que (P
n
, P
m
) =
nm
.
16
Es decir, basta con denir el producto interno para cada base de polinomios,
para poder escribir la serie de Fourier correspondiente. Demos algunos ejemplos.
Ejemplo 79 Los polinomios de Hermite H
n
estan dados por h = e
x
2
, s = 1,
c
n
= 1, en el intervalo (, ), su producto interno esta denido por
a
j
= (f, H
j
) =
_

f(x)H
j
(x)e
x
2
dx
entonces, cualquier funci on se puede escribir como f =

i=1
a
i
H
i
.
Ejemplo 80 Los polinomios de Legendre P
n
estan dados por h = 1, s = 1x
2
,
c
n
= (1)
n
/ (2
n
n!), en el intervalo [1, 1], su producto interno esta denido
por
a
j
= (f, P
j
) =
_
1
1
f(x)P
j
(x)dx
entonces, cualquier funci on se puede escribir como f =

i=1
a
i
P
j
Ejemplo 81 Los polinomios de Laguerre L
n
dados por h = e
x
, s = x, c
n
= 1,
en el intervalo (, ), su producto interno esta denido por
L
n
(x) = a
j
= (f, L
j
) =
_

f(x)L
j
(x)e
x
dx
entonces, cualquier funci on se puede escribir como f =

i=1
a
i
L
i
Ejercicio 82 Dena un producto interno de los polinomios de Tchebichef de
primera clase T
n
.
Ejercicio 83 Dena un producto interno de los polinomios de Jacobi P.
Ejercicio 84 Dena un producto interno de los polinomios de Gegenbauer C

n
.
Ejercicio 85 Dena un producto interno de los polinomios de Tchebichef de
segunda clase U
n
.
Todos esto polinomios son solucion de alguna ecuaci on diferencial. La ecuaci on
diferencial correspondiente se da en el siguiente teorema.
Teorema 86 Sea
P
n
(x) = c
n
1
h
d
n
dx
n
(hs
n
),
entonces
d
dx
_
sh
dP
n
dx
_
+
n
hP
n
= 0
donde es un coeciente dado por
= n
_
1
c
1
dP
1
dx
+
1
2
(n 1)
d
2
s
dx
2
_
17
Dem. 87 Observemos que
1
h
d
dx
_
sh
dP
n
dx
_
=
1
h
d
dx
(shp
n1
)
donde p
n1
es un polinomio de grado n 1. Por (2) se tiene que
1
h
d
dx
_
sh
dP
n
dx
_
= p
n
.
Entonces podemos escribir esta relaci on como una combinaci on lineal de poli-
nomios P
j
, es decir
d
dx
_
sh
dP
n
dx
_
= h
n

j=0

j
n
P
j
. (4)
Multiplicamos esta ecuaci on en ambos lados por P
m
, con m < n e integramos
_
A
P
m
d
dx
_
sh
dP
n
dx
_
dx =
n

j=1

j
n
_
A
hP
j
P
m
dx =
n

j=1

j
n

jm
=
m
n
mientras que si integramos dos veces por partes el lado izquierdo, obtenemos
_
A
P
m
d
dx
_
sh
dP
n
dx
_
dx =
_
A
_
d
dx
P
m
_
sh
dP
n
dx
dx
=
_
A
_
1
h
d
dx
_
sh
d
dx
P
m
__
P
n
hdx = 0,
ya que de nuevo llegamos a un polinomio de grado m < n dentro del parentesis
cuadrado. Entonces (4) se puede escribir como
d
dx
_
sh
dP
n
dx
_
= h
n
n
P
n
:= h
n
P
n
.
De nuevo calculamos la integral
_
A
P
m
d
dx
_
sh
dP
n
dx
_
dx,
pero ahora para m = n, se tiene:
_
A
P
n
d
dx
_
sh
dP
n
dx
_
dx =
_
A
P
n
_
d
dx
(sh)
dP
n
dx
+sh
d
2
P
n
dx
2
_
dx
=
_
A
P
n
_
1
c
1
P
1
(x)
dP
n
dx
+s
d
2
P
n
dx
2
_
hdx
ya que
P
1
(x) = c
1
1
h
d
dx
(hs).
18
Ahora supongamos que P
1
(x) = l
0
+ l
1
x, s(x) = s
0
+ s
1
x + s
2
x
2
y P
n
(x) =
a
n
x
n
+ , entonces la integral ser a
_
A
P
n
d
dx
_
sh
dP
n
dx
_
dx =
_
A
P
n
_
1
c
1
(l
1
a
n
nx
n
+ ) + (s
2
a
n
n(n 1) x
n
+ )
_
hdx
=
_
1
c
1
l
1
n + s
2
n(n 1)
_ _
A
a
n
x
n
P
n
hdx +
_
A
Kx
n1
P
n
hdx +
donde K es alguna constante. Sin embargo, como podemos ver en (3 ), s olo los
terminos de grado n del polinomio p
n
son diferentes de cero. Entonces
_
A
P
n
d
dx
_
sh
dP
n
dx
_
dx =
_
1
c
1
l
1
n +s
2
n(n 1)
_ _
A
P
n
P
n
hdx
por lo que

n
=
_
1
c
1
l
1
n +s
2
n(n 1)
_
= n
_
1
c
1
dP
1
dx
+
1
2
(n 1)
d
2
s
dx
2
_

Ejemplo 88 Los polinomios de Hermite H

n
estan dados por h = e
x
2
, s = 1,
c
n
= 1, por lo que los primeros terminos son: H
0
= 1, H
1
= 2x, etc. Entonces
dH
1
dx
= 2,
d
2
s
dx
2
= 0.
Se tiene que
n
= 2n, la ecuaci on diferencial ser a
d
dx
_
e
x
2 dH
n
dx
_
2ne
x
2
H
n
= 0
o sea
d
2
dx
2
H
n
2x
d
dx
H
n
+ 2nH
n
= 0
para toda n = 0, 1, . A esta ecuaci on diferencial se le conoce como la
ecuaci on diferencial de Hermite.
Ejemplo 89 Los polinomios de Legendre P
n
estan dados por h = 1, s = 1x
2
,
c
1
= 1/2, por lo que los primeros terminos son: P
0
= 1, P
1
= x, etc. Entonces
dP
1
dx
= 1,
d
2
s
dx
2
= 2.
Se tiene que
n
= n[2 (n 1)] la ecuaci on diferencial ser a
d
dx
_
_
1 x
2
_
dP
n
dx
_
+n(n + 1) P
n
= 0
o sea
_
1 x
2
_
d
2
dx
2
P
n
2x
d
dx
P
n
+n(n + 1) P
n
= 0
para toda n = 0, 1, . A esta ecuaci on diferencial se le conoce como la
ecuaci on diferencial de Legendre.
19
Ejemplo 90 Los polinomios de Laguerre L
n
dados por h = e
x
, s = x, c
n
= 1,
por lo que los primeros terminos son: L
0
= 1, L
1
= x + 1, etc. Entonces
dL
1
dx
= 1,
d
2
s
dx
2
= 0.
Se tiene que
n
= n(1) y la ecuaci on diferencial de Laguerre ser a
d
dx
_
xe
x
dL
n
dx
_
+ne
x
L
n
= 0
o sea
x
d
2
dx
2
L
n
+ (1 x)
d
dx
L
n
+ nL
n
= 0
para toda n = 0, 1, . A esta ecuaci on diferencial se le conoce como la
ecuaci on diferencial de Laguerre. Suelen denirse tambien los polinomios
asociados de Laguerre L
m
n
por la ecuaci on
L
m
n
(x) =
d
m
dx
m
L
n
las cuales son soluci on de la ecuaci on diferencial
x
d
2
dx
2
L
m
n
(m+ 1 x)
d
dx
L
m
n
+ (n m) L
m
n
= 0
Ejercicio 91 Escriba la ecuaci on diferencial de los polinomios de Tchebichef
de primera clase T
n
.
Ejercicio 92 Escriba la ecuaci on diferencial de los polinomios de Jacobi P.
Ejercicio 93 Escriba la ecuaci on diferencial de los polinomios de Gegenbauer
C

n
.
Ejercicio 94 Escriba la ecuaci on diferencial de los polinomios de Tchebichef
de segunda clase U
n
.
20
0
0.5
1
1.5
2
2.5
3
3.5
4
4.5
-1 0 1 2 3 4 5 6
f
x
f
f
1
0
0.5
1
1.5
2
2.5
3
3.5
4
4.5
-1 0 1 2 3 4 5 6
f
x
f
f
2
Figure 1: La funci on f =
1
8
x
3
x
2
+2x+
3
2
(linea continua) y sus correspondientes
funciones simples (cruces) f
1
, en al gura de arriba y f
2
, en al gura de abajo.
Las f
n
se aproximan a la funci on original f para n grande. En estas dos guras
esto es muy notorio.
21