Documentos de Académico
Documentos de Profesional
Documentos de Cultura
y
Metodos Matematicos
Eusebio Corbacho Rosas
September 7, 2015
Contenido
Presentaci
on
1 Preliminares
1.1 Teoremas de Stone-Weierstrass . . . . . . . . . . . . .
1.2 Medida e integraci
on . . . . . . . . . . . . . . . . . . .
1.2.3 Funciones medibles. . . . . . . . . . . . . . . .
1.2.10 La integral respecto a una medida . . . . . . .
1.2.13 Teoremas de convergencia . . . . . . . . . . . .
1.2.18 Los espacios Lp (X, ) (1 p < ) . . . . . .
1.2.23 Modos de convergencia . . . . . . . . . . . . . .
1.2.25 Teoremas de Fubini . . . . . . . . . . . . . . .
1.2.31 Teoremas de Radon-Nikodym . . . . . . . . . .
1.2.38 Teorema de representaci
on de Riesz . . . . . .
1.2.42 La medida de Lebesgue en Rn y sus variedades
1.3 Campos en R3 . . . . . . . . . . . . . . . . . . . . . .
1.3.1 Circulaciones . . . . . . . . . . . . . . . . . . .
1.3.3 Flujos . . . . . . . . . . . . . . . . . . . . . . .
1.3.5 Generalizaciones de la regla de Barrow . . . . .
1.3.6 El Teorema de la Divergencia . . . . . . . . . .
1.3.13 El Teorema del Rotacional . . . . . . . . . . .
1.4 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . .
2 Problemas inversos
2.1 El caso lineal finito dimensional . . .
2.2 Casos no lineales . . . . . . . . . . .
2.2.1 Polinomios . . . . . . . . . .
2.2.2 Funciones continuas . . . . .
2.2.3 Funciones contractivas . . . .
2.2.7 Metodo de Newton . . . . . .
2.2.8 Ajuste de una nube de puntos
2.3 Ejemplos . . . . . . . . . . . . . . .
2.4 Ejercicios . . . . . . . . . . . . . . .
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
9
21
25
28
32
37
41
42
48
54
57
63
65
68
70
70
78
81
.
.
.
.
.
.
.
.
.
83
83
85
85
87
87
91
91
93
96
CONTENIDO
3 M
etodos num
ericos para Ecuaciones Diferenciales
3.1 Introducci
on . . . . . . . . . . . . . . . . . . . . . . .
3.2 Ecuaciones lineales . . . . . . . . . . . . . . . . . . .
3.2.1 Circuitos RLC . . . . . . . . . . . . . . . . .
3.2.2 Oscilador lineal . . . . . . . . . . . . . . . . .
3.3 Ecuaciones aut
onomas . . . . . . . . . . . . . . . . .
3.3.1 Lobos y corderos . . . . . . . . . . . . . . . .
3.4 Metodos de un paso . . . . . . . . . . . . . . . . . .
3.4.6 Metodo de Euler . . . . . . . . . . . . . . . .
3.4.7 Metodos de Runge-Kutta . . . . . . . . . . .
3.5 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . .
3.5.1 Calentamiento-Enfriamiento . . . . . . . . . .
3.5.3 Reacciones qumicas . . . . . . . . . . . . . .
3.5.4 Lanzamientos . . . . . . . . . . . . . . . . . .
3.5.7 Curvas de persecuci
on . . . . . . . . . . . . .
3.5.8 Curvas de arrastre . . . . . . . . . . . . . . .
3.5.9 Mec
anica Hamiltoniana . . . . . . . . . . . .
3.6 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
99
99
100
101
101
103
103
104
107
107
109
109
110
110
112
112
114
116
4 Variable compleja
4.1 El cuerpo A-cerrado de los n
umeros complejos .
4.2 Derivaci
on compleja . . . . . . . . . . . . . . .
4.3 Funciones holomorfas . . . . . . . . . . . . . . .
4.4 Integraci
on compleja . . . . . . . . . . . . . . .
4.5 Funciones analticas . . . . . . . . . . . . . . .
4.5.1 Sucesiones y series de funciones . . . . .
4.5.3 Series de potencias . . . . . . . . . . . .
4.5.9 Ceros . . . . . . . . . . . . . . . . . . .
4.6 Funciones meromorfas . . . . . . . . . . . . . .
4.6.1 Series de Laurent . . . . . . . . . . . . .
4.6.4 La transformada z . . . . . . . . . . . .
4.6.7 Polos . . . . . . . . . . . . . . . . . . . .
4.6.12 Residuos . . . . . . . . . . . . . . . . . .
4.6.16 Usos del Teorema de los Residuos . . . .
4.7 Ejercicios . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
117
117
121
125
129
135
135
136
140
141
141
144
146
150
152
158
.
.
.
.
.
.
.
165
. 165
. 168
. 173
. 175
. 184
. 189
. 198
5 Transformadas integrales
5.1 Transformadas de Fourier y de Laplace . . . .
5.2 La F -transformada de medidas finitas en R .
5.3 La L-transformada de medidas finitas en R+
5.4 La F -transformada en el espacio L1 (R) . . . .
5.5 La F -transformada en el algebra (L1 (R), ?). .
5.6 La L-transformada en el espacio L1 (R+ ). . .
5.7 Aplicaciones de las F -transformadas . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
CONTENIDO
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
209
209
212
216
220
231
247
7 TRABAJOS
253
Bibliografa
257
Presentaci
on
Estas notas recogen la informaci
on te
orica y pr
actica que la Universidad de
Vigo ofrece durante el curso 2015-2016 a los alumnos de las asignaturas:
- Matem
aticas de la Especialidad del curso 3o del Grado en Tecnologas
Industriales
- Metodos Matem
aticos del M
aster de Ingeniera Industrial
El texto se completa con una colecci
on de worksheets de Sage correspondientes a las distintas sesiones pr
acticas que se realizan en el aula inform
atica
y que estar
an disponibles en el espacio faitic de las asignaturas. Nos parece
que una atenta lectura de estos programas, hasta su entendimiento, no s
olo
puede servir de repaso de las cuestiones te
oricas esenciales sino que puede
proporcionar un buen metodo de consolidaci
on de ideas y ser un acicate
para adquirir y programar nuevos conocimientos. Dichas worksheets, deben
ser personalizadas, complementadas y almacenadas por el alumno en una
carpeta que podr
a usar libremente en el examen final. La elaboraci
on de
esa carpeta nos parece un modo de acercarse a la posibilidad de valoraci
on
de la labor continua que realice el alumno y, sobre todo, le proporcionar
a
una herramienta u
til en otras asignaturas e incluso durante el ejercicio profesional cuando haya completado su formaci
on. Desde luego, la tendr
a siempre disponible y a coste cero por la condici
on de libre de su software soporte.
Pretendemos, ante todo, convencer al lector de que es m
as pr
actico entender bien las grandes ideas, las definiciones y los enunciados de los teoremas,
y programar su uso para obtener las soluciones de problemas concretos,
que repetir ejercicios de examen hasta adquirir la habilidad de resolverlos,
descuidando la perspectiva general que da el conocimiento abstracto de las
cosas. Programar, nos parece un buen entrenamiento para ese ir y venir de
lo concreto a lo abstracto que constituir
a la esencia del ejercicio profesional
del tecnico superior. Cuando tengamos situado un problema en el marco
te
orico que determina la existencia y tipologa de sus soluciones, podremos
dar las ordenes oportunas para organizar los c
alculos y obtener la soluci
on
particular adecuada en los terminos que m
as interesen: numericos o gr
aficos,
con mayor o menor precisi
on, con menor o mayor economa.
7
Captulo 1
Preliminares
1.1
Teoremas de Stone-Weierstrass
B(X, K) B(X, K)
(f, g)
R+
sup {|f (x) g(x)|}
xX
f =g
f, g B(X, K)
f, g B(X, K)
Teorema 1.1.1
El espacio metrico (B(X, K), d) es completo.
Demostraci
on:
Sea (fn ) una sucesi
on de Cauchy en (B(X, K), d). Para cada x X la
sucesi
on (fn (x)) es de Cauchy en en el espacio eucldeo (K, ) y, por tanto,
es convergente en el. As definimos la funci
on
9
CAPITULO 1. PRELIMINARES
10
f:
X
x
K
lim fn (x)
C(X, K) C(X, K)
(f, g)
R+
sup {|f (x) g(x)|}
xX
11
2 x
.
3. x pn (x)
2+n x
En particular,
2
(A) x pn (x)
n
n x[0,1]
Demostraci
on:
Veamos que la sucesi
on de polinomios, definida por iteraci
on en la forma:
x
1
, pn+1 (x) = pn (x) + (x p2n (x))
2
2
cumple las propiedades exigidas. Es claro que p1 las cumple. Procediendo
por inducci
on, asumimos que pn las cumple y las probamos para pn+1 :
p1 (x) =
1. Evidente
2. Restando las igualdades
(
x
= x
1
pn+1 (x) = pn (x)+ (xp2n (x)) y,
2
pn (x) 0 pn+1 (x) 0.
Como
que
x + pn (x)
(?)
x pn+1 (x) =
x pn (x) 1
2
y como 1 x y
x pn (x) resulta que 2 2 x x + pn (x).
Luego el segundo miembro de (?) es positivo y, por tanto,
x pn (x) 0
x pn+1 (x) 0
CAPITULO 1. PRELIMINARES
12
3. Seg
un 2. es inmediato que
x + pn (x)
x
x
2
2
2 + (n + 1) x
luego
(??)
x + pn (x)
x
x
.
1
1
2
2
2 + (n + 1) x
Por la hip
otesis de inducci
on, de (?) obtenemos
x + pn (x)
2 x
x + pn (x)
xpn+1 (x) =
x pn (x) 1
1
2
2+n x
2
2 x
2 x
2 x
x + pn (x)
x
.
1
1
=
2+n x
2
2+n x
2 + (n + 1) x
2 + (n + 1) x
2 x
.
En consecuencia, x pn+1 (x)
2 + (n + 1) x
Corolario 1.1.4
Dado 0 < a < existe una sucesi
on de polinomios (qn ) que satisfacen
n N y x [a, a]:
1. qn (0) = 0
2. ||x| qn (x)|
2a
n
En particular,
(C) lim sup | |x| qn (x)| = 0
n x[a,a]
Demostraci
on:
2
x
es claro que qn (0) = 0. Por el lema 1.1.3 tenemos
Si qn (x) = a pn
a2
2
2
x
pn x 2 luego |x| apn x = ||x| qn (x)| 2a .
a
a2
n
a2
n
Lema 1.1.5
13
|f | [W ]
2. f1 , f2 [W ]
max(f1 , f2 ) [W ], min(f1 , f2 ) [W ].
Demostraci
on:
1. Por ser W cerrado para el producto, tambien lo es su envoltura lineal:
f1 , f2 [W ]
f1 f2 [W ]
2a
n
n N
y, por tanto,
a una sucesi
on (fn ) [W ] tal que
Para cualquier f [W ], existir
lim d (fn , f) = 0.
n
Entonces, evidentemente,
=0
lim d (|fn |, |f|)
n
y, como
f1 + f2 + |f1 f2 |
f1 + f2 |f1 f2 |
, min(f1 , f2 ) =
.
2
2
CAPITULO 1. PRELIMINARES
14
max(f1 , f2 ) W
min(f1 , f2 ) W
x, y X
Demostraci
on:
1 2 Si g W satisface 1, la familia
2 1 Fijado un x X
ux,y = g, x, y X
observamos que
(
ux,y (x) < f (x) +
ux,y (y) > f (y)
satisface 2.
y X
15
Estudiamos, a continuaci
on, c
omo influye la capacidad de separar puntos.
En primer lugar suponemos una capacidad para separar fuertemente:
Lema 1.1.8
Sean (X, ) compacto Hausdorff y W C(X, R) con la propiedad reticular
y cumpliendo que
(
(
(x, y) X X \ X
g(x) =
g W tal que
(, ) R R
g(y) =
(propiedad reticular fuerte). Entonces W es denso en (C(X, R), d).
Demostraci
on:
Fijados f C(X, R) y > 0 hallaremos una g W tal que d (f, g) < :
Para cualesquiera x 6= y en X, la condici
on 1.1 aplicada a las parejas (x, y)
y (f (x), f (y)) asegura la existencia de una ux,y W tal que ux,y (x) = f (x)
y ux,y (y) = f (y). As, obtenemos una familia {ux,y | x, y X} W que
cumple la condici
on 2 del lema 1.1.7 para f y . Ello equivale a asegurar la
existencia de una g W tal que |f (x) g(x)| < x X.
Lema 1.1.9
Sean (X, ) compacto Hausdorff y W C(X, R) un subespacio vectorial tal
que
1. f1 , f2 W
max(f1 , f2 ) W
min(f1 , f2 ) W
2. W separa puntos de X
3. 1 W
Entonces W es denso en (C(X, R), d).
Demostraci
on:
S
olo necesitamos probar que W cumple la condici
on 1.1 del lema 1.1.8:
Fijemos x 6= y en X y cualesquiera , en R. Por tener W la capacidad de
separar los puntos de X sabemos que existe f W tal que f (x) 6= f (y). La
funci
on
g:
R
f (z) f (x)
+ ( )
f (y) f (x)
CAPITULO 1. PRELIMINARES
16
Lema 1.1.10
(C(K, R), d)
xK
y, por tanto, existe una g [(W )] tal que g|K = g0 . Evidentemente, esta
g satisface nuestras espectativas.
17
Observaci
on 1.1.11
El teorema 1.1.2 no funciona en el caso de funciones con valores complejos.
Las condiciones de separar los puntos de X y contener funciones constantes
no nulas, no son suficientes para que se cumpla el lema 1.1.10 en el caso de
un W C(X, C).
Por ejemplo, X = {z C | |z| 1} con la metrica can
onica, es un espacio
metrico compacto y el conjunto W = {1, z} separa puntos de X y contiene
una funci
on constante no nula. Sin embargo, [(W )] no es denso en C(X, C)
porque la funci
on z z que es contiua, no es derivable en sentido complejo
y, por tanto, no es desarrollable en serie de potencias (ver captulo 7, p
agina
123 y teorema 4.5.7).
Teorema 1.1.12 (Stone-Weierstrass II)
Sea (X, ) un espacio topol
ogico de Hausdorff y sea W C(X, C) un
subconjunto que separa los puntos de X, contiene una funci
on constante
no nula y admite conjugados. Entonces, la sub
algebra [(W )] es densa en
(C(X, C), Uk ).
CAPITULO 1. PRELIMINARES
18
Demostraci
on:
Bastar
a probar que si (X, ) es compacto Hausdorff y W C(X, C) separa
los puntos de X, contiene a la funci
on 1 y admite conjugados, se verifica que
[(W )] es denso en (C(T, C), d):
Sea AR = {Re(f ) | f [(W )]}. Es claro que AR [(W )] pues
(
1
f [(W )]
1
1
Re(f ) = f + f [(W )]
f [(W )] 12
2
2
2 f [(W )]
Adem
as, AR es una sub
algebra de C(X, R) que, obviamente, contiene a la
funci
on 1, y separa puntos de X puesto que, si x, y son dos puntos distintos
de X, existe una f W tal que f (x) 6= f (y) y, por tanto, o son separados
por Re(f ) AR o por Im(f ) = Re(if ) AR .
El lema 1.1.10 asegura que AR es densa en (C(X, R), d) y, en consecuencia,
[(W )] = AR + iAR es denso en C(X, C) = C(X, R) + iC(X, R).
Corolario 1.1.13 (Stone-Weierstrass III)
Sea (X, ) compacto Hausdorff, sea x0 un punto dado en X y sea
C0 (X, C) = {f C(X, C) | f (x0) = 0}.
Entonces, cualquier algebra A0 C0 (X, C) que separa los puntos de X y
tiene conjugados, es densa en (C0 (X, C), d).
Demostraci
on:
Sea c C una constante no nula. Del teorema 1.1.12 se deduce que el
conjunto W = A0 {c} genera un algebra densa en (C(X, C), d), luego
f C0 (T, C) y > 0 g A0 y a C tal que
d (f, g + a) <
2
19
donde
Pn :
[a, b]
x
R,
xn
k
X
an xn
tal que
n=0
kf k < .
1(x) = 1
W = {1, P1, P2 } donde
x = (x, y) [a, b] [c, d]
P1 (x) = x
P2 (x) = y
para estar en las condiciones exigidas en el lema 1.1.10. Entonces, la
familia de todos los productos de elementos de W es
(W ) = {1, ..., Pnm, ...}
donde
Pnm :
[a, b] [c, d]
x
R,
x y
n m
k
X
an+m xn y m
tal que
n+m=0
kf k < .
donde
Ln :
R+
x
R,
enx
n
X
k=0
ak ekx
tal que
x K.
CAPITULO 1. PRELIMINARES
20
W = {1, F, F1}
1(x) = 1
F (x) = eix
F1 (x) = eix
donde
x R
R
x
C,
ikx
k Z
zk eikx
tal que
k=n
En particular,
Igualmente,
n
X
x K.
con
Fx :
R
t
con
Fx :
Rn
y
T
z
[, ]
Arg(z) = t
R
f (t)
n
X
k=n
ck z k
tal que
kG k <
Por tanto,
|Re(G(z) (z))| = |g(z) Re((z))| <
z T
C,
eixt
C,
ei(x|y)
1.2. MEDIDA E INTEGRACION
y, en consecuencia,
f (t) Re
n
X
21
ikt
ck e
k=n
!
<
t [, ]
Re(ck eikt ) =Re ((ak + ibk )(cos kt i sen kt)) = ak cos kt + bk sen kt
y, por tanto,
Re(
n
X
ck eikt ) = a0 +
k=n
n
X
(ak + ak ) cos kt + (bk bk ) sen kt
k=1
Del teorema 1.1.12 tambien se deduce, pues, la posibilidad de aproximar uniformemente toda funci
on f : R R continua y peri
odica de
periodo 2, por polinomios trigonometricos
1.2
Medida e integraci
on
n=1
An M.
Evidentemente la familia {, X} es -
algebra en X y la familia P(X) de
todos los subconjuntos de X tambien es -
algebra en X. Cuando se considera una -
algebra M en un conjunto X se establece una estructura (X, M)
llamada espacio medible.
\
Si {Mi | i I} es una familia de -
algebras en X es claro que
Mi tambien
iI
es -
algebra en X. As, dada cualquier familia F de subconjuntos de X, la
intersecci
on de todas las -
algebras en X que contienen a F es una -
algebra
en X. Por ser la mnima -
algebra que contiene a F, se llama -
algebra generada por F y se designa MF.
Si (X, ) es un espacio topol
ogico, la -
algebra M generada por , se denomina -
algebra de Borel del espacio (X, ).
Si (X, M) e (Y, N) son espacios medibles, en X Y se puede considerar la
familia de rect
angulos medibles
R = {A B | A M , B N}
CAPITULO 1. PRELIMINARES
22
La -
algebra de X Y generada por R se llama -
algebra producto y se
designa M N. El espacio (X Y, M N) es el espacio medible producto.
Una medida en (X, M) es una aplicaci
on : M [0, ] que cumple las
dos propiedades siguientes:
1. () = 0
2. Si (An ) es una sucesi
on disjunta (An Am =
(
n=1
An ) =
n 6= m) en M,
(An )
n=1
(
card(E)
E c(E) =
si card(E) < 0
si card(E) 0
: M [0, ]
(E)
E
(X)
Algunas buenas propiedades de los espacios de medida finita son posedas
tambien por los espacios -finitos que son aquellos (X, M, ) en los que
existe una sucesi
on (Xn ) M cumpliendo que
X=
n=1
Xn
(Xn ) < n N
1.2. MEDIDA E INTEGRACION
23
Comentarios 1.2.1
1. La aditividad numerable implica la aditividad finita de la medida pues
si en la sucesi
on disjunta (An ) M tenemos Am = m > k,
(A1 Ak ) = (A1 ) + + (Ak )
2. Si A B son medibles,
(A) (B)
y (B \ A) = (B) (A).
n=1
An )
(An ).
n=1
4. Si una sucesi
on (En ) M es expansiva, E1 E2 En . . . ,
[
yE=
En , se cumple que (E) = lim (En ).
n
n=1
5. Si una sucesi
on (Cn ) M con (C1 ) < es contractiva, C1 C2
\
Cn . . . , y C =
Cn , se cumple que (C) = lim (Cn ).
n
n=1
P y = {x : (x, y) P } M
y Y.
En efecto:
Ambas se demuestran igual. Hagamos la primera:
Sea = {P X Y | Px N} la familia de subconjuntos que
cumplen lo deseado. Es f
acil probar:
(a) X Y
(b) Si P P c
(c) Si P1 , P2 P1 P2
i=1
Pi
Por tanto, es -
algebra y, como cualquier rect
angulo est
a en ,
M N . Es decir, si P M N resulta que Px N.
CAPITULO 1. PRELIMINARES
24
1
0
si x E
si x
/E
i xi : P(X) [0, ]
E 7
xj E
1
n+1
i = 0, , n tenemos
(c) Si X = R, x0 = 0, , xn = n y i = ni pi q ni i = 0, . . ., n
con p (0, 1) y q = 1 p tenemos la probabilidad binomial de
par
ametros (n, p) que esta basada en la f
ormula del binomio de
Newton
n
X
n i ni
n
(p + q) =
pq
=1
i
i=0
X
i=0
i xi : P(X) [0, ]
E 7
xj E
X
i=0
i = 1
1.2. MEDIDA E INTEGRACION
25
X
la propiedad de la serie geometrica
(1 p)pn = 1.
n=0
e n
n N y > 0, tenemos La
(b) Si X = R, xn = n, n =
n!
probabilidad de Poisson de par
ametro que est
a basada en la
n
X
e
propiedad de la serie exponencial
= 1.
n!
n=0
1.2.3
Funciones medibles.
B [f 1 (B)]
intervalo I R.
CAPITULO 1. PRELIMINARES
26
Demostraci
on:
Es consecuencia directa de que la topologa habitual de R est
a generada por
la familia {(a, +) | a R} {(, b) | b R}.
Consecuencias 1.2.5
1. Cualquier f : X R constante es medible.
2. Cualquier f : X R que tome s
olo los valores {0, 1} es medible
si y s
olo si E = {x X | f (x) = 1} M. Tal funci
on se llama
caracterstica del conjunto E y se denota 1E .
3. Cualquier f : X R que tome s
olo un n
umero finito de valores
distintos {1 , . . . , n } R+ es medible si y s
olo si
Ei = {x X | f (x) = i } = f 1 ({i}) M i = 1, , n.
Tal funci
on se llama simple y es claro que f =
n
X
i 1Ei .
i=1
1
f:
Sf
x
R.
1
f (x)
Si < 0,
1
{x X | f (x) > 0} {x X | f (x) < } Sf M|Sf .
Si = 0,
{x X | f (x) > 0} Sf M|Sf .
Teorema 1.2.6
Si (X, M) e (Y, N) son espacios medibles, (Z, ) es un espacio topol
ogico y
F : X Y Z es M N-medible, las funciones parciales F (x, ) : Y Z
y F (, y) : X Z son medibles, respecto de N y M.
1.2. MEDIDA E INTEGRACION
27
Demostraci
on:
Ambas se demuestran igual. Probemos que F (x, ) : Y Z es N-medible:
[F (x, )]1(V ) = {y | F (x, y) V } = {y | (x, y) F 1 (V )} = [F 1 (V )]x
y sabemos que F 1 (V ) M N V y que cualquier x-secci
on de un
M N-medible es N-medible.
Teorema 1.2.7
Sea (X, M) un espacio medible y supongamos en R la topologa habitual 1 Si
(fn : X R) es una sucesi
on de funciones medibles, tambien son medibles:
1) sup fn . 2) inf fn ,
3) lim inf fn ,
4) lim sup fn
Demostraci
on:
1. {x X | sup(fn (x)) > a} =
n=1
2. inf fn = sup(fn ).
3. lim inf(fn (x)) = sup[ inf (fk (x))]
nN kn
Consecuencias 1.2.8
1. Si (fn ) f puntualmente, f es medible.
2. Si f, g son medibles, tambien lo son max{f, g} y min{f, g}.
3. Si f es medible, f + = max{f, 0} y f = min{f, 0} son medibles.
As, |f | = f + + f es medible y f = f + f puede expresarse como
diferencia de dos funciones medibles positivas.
Para finalizar la presentaci
on de estas importantes funciones, damos un teorema acerca de su estructura.
Teorema 1.2.9
Sea (X, M, ) un espacio de medida y sea [0, ] con su topologa habitual.
Si f : X [0, ] es medible, existe una sucesi
on de funciones simples
medibles (sn ) tal que
1
Los entornos de + son de la forma {x R | x > k} {+} y los de son de la
forma {x R | x < k} {}
CAPITULO 1. PRELIMINARES
28
1. 0 s1 s2 sn f
2. (sn ) f puntualmente.
k , si k x < k + 1 , k = 0, 1, . . ., n2n 1
n (x) = 2n
2n
2n
n
, si x n
que cumple
- 0 1 2 n I
- (n ) I puntualmente
Entonces, definiendo sn = n f n N, obtenemos (sn ) que cumple las
dos exigencias porque
1. 0 1 f n f I f
2. (n f ) I f puntualmente
1.2.10
1.2. MEDIDA E INTEGRACION
29
La gr
afica de la funci
on caracterstica 1E , pide a gritos esta forma de
definir para conservar la regla medida del rect
angulo = medida de la
base medida de la altura.
2. Si s : X [0, ] es la funci
on simple medible con representaci
on
n
X
disjunta s =
i 1Ei ,
i=1
s d =
n
X
i (Ei).
i=1
4. Si f : X R es medible,
Z
Z
Z
+
f d =
f d
f d.
X
que X f d = X f d = y, entonces, X f d = no
estara definida. Esto no sucede si
Z
Z
+
f d < y
f d <
X
CAPITULO 1. PRELIMINARES
30
6. Si f : X Rn es medible, tambien lo es Pi f : X R i = 1 . . . n.
Entonces,
Z
Z
Z
f d =
P1 f d, . . .,
Pn f d
X
Comentarios 1.2.12
1. Si s : X [0, ] es una funci
on simple medible, es claro que c s
tambien lo es c 0. Adem
as,
Z
Z
c s d = c
s d
X
n
X
i 1Ei
r=
i=1
m
X
j 1Fj
j=1
(s + r) d =
n X
m
m X
n
X
X
(
i (Ei Fj )) +
(
j (Ei Fj )) =
i,j=1
(i + j )(Ei Fj ) =
i=1 j=1
n
X
i=1
i (Ei) +
j=1 i=1
m
X
j (Fj ) =
s d +
j=1
r d
i=1
1.2. MEDIDA E INTEGRACION
(a) () =
31
s 1 d = 0 (X) = 0.
Aj ) =
j=1
n
X
i (
i=1
j=1
s 1Aj d =
(Ei Aj )) =
n
X
i=1
n
X
i (Ei [
i (
i=1
X
j=1
Aj ]) =
j=1
(Ei Aj )) =
X
n
Z
X
X
X
=
(
i (Ei Aj )) =
s 1Aj d =
(Aj )
j=1 i=1
j=1
j=1
s d =
Aj
Z
X
j=1
s d.
Aj
as
en cualquiera de los casos K = R, K = R o K = C. Adem
Z
Z
f d
|f | d
X
CAPITULO 1. PRELIMINARES
32
La definici
on 1.2.11 se la debemos a Lebesgue. Si la comparamos con la
definici
on de integral dada previamente por Riemann, observaremos que el
alem
an hace particiones en X y suma los productos de la medida de cada
parte por un valor cualquiera de los que toma la funci
on en esa parte mientras el frances trata, ante todo, de saber c
omo es la funci
on y realiza las
particiones que convienen a su gr
afica. As, cuando la funci
on es simple,
n
[
toma la partici
on X =
Ei siendo Ei = f 1 (i ).
i=1
1.2.13
i c(Ei)
Teoremas de convergencia
Esta secci
on est
a dedicada al estudio del comportamiento de la integral de
Lebesgue en los procesos de paso al lmite. Veremos que en condiciones
muy generales los lmites puntuales de funciones integrables Lebesgue son
funciones integrables Lebesgue, lo cual supone una mejora respecto al comportamiento de la integral de Riemann. Adem
as, en general, el lmite de las
integrales va a coincidir con la integral del lmite.
Teorema 1.2.14 Teorema de la convergencia mon
otona
Sea (fn : X [0, ]) una sucesi
on de funciones medibles tales que
0 f1 (x) f2 (x) fn (x) x X
El lmite puntual de (fn ), que lo llamamos f , es medible y
Z
Z
f d = lim
fn d.
X
n X
1.2. MEDIDA E INTEGRACION
33
Demostraci
on:
R
X fn d es creciente. Por tanto, existe
s d y, como esto
Z
es cierto c (0, 1), tambien lo es para c = 1. Luego,
s d y, como
X
Z
esto vale s f , resulta que
f d.
n
Consecuencias 1.2.15
1. Si (fn : X [0, ]) es una sucesi
on de funciones medibles y
f (x) =
n=1
fn (x) x X
Es decir,
Z
f d = lim
k
X
fn . Por tanto,
n=1
gk d =
k Z
X
n=1
f d
X
fn d =
Z
X
n=1
fn d.
CAPITULO 1. PRELIMINARES
34
X
fn , se cumple
X, podemos definir fn = f 1Xn . Puesto que f =
n=1
f d =
Z
X
n=1
fn d =
Z
X
n=1
f d
Xn
que es la generalizaci
on de la propiedad aditiva del intervalo.
3. Sea (Y, ) un espacio topol
ogico, f : X Y una funci
on medible y
g : Y K una funci
on medible Borel. Entonces, si f es la ley de f ,
Z
Z
g f d =
g df
X
En efecto:
Por linealidad basta probarlo en el caso K = [0, ] para cualquier
g : Y [0, ] medible Borel.
(a) Si g = 1B el resultado es obvio pues
Z
1f 1 (B) d = [f
1B f = 1f 1 (B)
(B)] = f (B) =
1B df
[0,]
1.2. MEDIDA E INTEGRACION
35
Adem
as, si g : X [0, ] es cualquier funci
on medible, se cumple
Z
Z
g d =
g f d
X
cuesti
on que se suele expresar abreviadamente escribiendo d = f d.
En efecto:
R
R
(a) () = f d = X f 1 d = 0 (X) = 0
[
X
Ei. Evidentemente, 1E =
1Ei . Entonces,
i=1
i=1
(E) =
f d =
Z
X
i=1
f 1E d =
f 1Ei d =
Z
X
i=1
X i=1
f 1Ei ) d =
f d =
Ei
(Ei ).
i=1
Demostraci
on:
Como lim inf(fn (x)) = sup[ inf (fk (x))], designando gn (x) = inf (fk (x))
nN kn
kn
CAPITULO 1. PRELIMINARES
36
R
R
Adem
as, como gn fn , resulta que X gn d X fn d y, por tanto,
Z
Z
lim inf
gn d lim inf
fn d.
X
Ahora bien,
lim inf
gn d = lim
gn d
y en consecuencia,
Z
Z
Z
lim inf fn d = lim
gn d lim inf
fn d.
n X
3. lim
fn d =
f d.
X
Demostraci
on:
1. Sabemos queR f es medible.
R Como |f | g, la monotona de la integral
asegura que X |f | d X g d < . Luego f es integrable.
Por tanto,
Z
Cancelando
2g d
2g d + lim inf
|fn f | d .
Por tanto, lim sup X |fn f | d 0 y, como estas integrales son positivas, resulta que
Z
Z
0 lim inf
|fn f | d lim sup
|fn f | d 0.
X
1.2. MEDIDA E INTEGRACION
Es decir,
lim
3. Sabemos que |
X (fn
37
|fn f | d = 0.
f ) d|
|fn f | d. Entonces,
Z
(fn f ) d 0
X
y, por tanto,
lim
1.2.18
fn d =
f d.
(1 p < )
{x0 }
X\{x0}
CAPITULO 1. PRELIMINARES
38
Demostraci
on:
1
) Designemos An = {x
R X | |f (x)|
R > n }. La monotona de la integral
1
asegura que n (An ) An |f | d X |f | d = 0 y, as, (An ) = 0 n N.
[
Entonces, A = {x X | |f (x)| > 0} =
An tiene medida nula y f se
n=1
X\E
Teorema 1.2.20
Sea S el subespacio vectorial {f L1 (X, ) | 1 (f ) = 0} y sea L1 (X, ) el
espacio cociente L1 (X, )/S. Entonces se cumple:
1. La aplicaci
on
k k1 : L1 (X, ) R+
Z
f +S
|f | d
X
est
a bien definida y es una norma en L1 (X, ).
2. El espacio (L1 (X, ), k k1 ) es un espacio de Banach.
Demostraci
on:
1. Si f1 + S = f2 + S es claro que f1 f2 S. Por tanto, 1 (f1 f2 ) = 0.
Pero |1 (f1 ) 1 (f2 )| 1 (f1 f2 ) y, as, 1 (f1 ) = 1 (f2 ). Luego
k k1 est
a bien definida. Trivialmente es norma.
2. Probaremos que toda sucesi
on (fn + S) L1 (X, ) absolutamente
sumable, es sumable. Es decir, probaremos que
Z
X
1
|fn |d = M <
X
1
fn L1 (X, )
1.2. MEDIDA E INTEGRACION
39
n
X
n
X
1
kfi + Sk1 M y,
M
.
Luego
existe
un
E
X
tal
que
(X
\
E)
=
0 donde
X
P
(x) < x E. Es decir
|f
(x)|
<
E.
Como
R es
n
1
P
completo, tambien ocurre que 1 fn (x) R x E y, as, definimos
f :ER
X
x
fn (x).
1
f (x)
0
si x E
si x
/E
resulta que f =
|f
X
n=1
n
X
i=1
fi | d = lim
|f gn | dE = 0
fn .
CAPITULO 1. PRELIMINARES
40
y
p : Lp (X, ) R+
Z
1
p
f
|f |p d
X
est
a bien definida y es una norma en L (X, ).
2. El espacio (Lp (X, ), k kp) es un espacio de Banach.
Comentarios 1.2.22
1. Si X = {1, 2, . . ., n}, M = P(X) y = c (medida de contar), una
f Lp (X, c) es una n-tupla de n
umeros reales (f (1), . . ., f (n)) y
!1
!1
Z
1
n Z
n
p
p
X
X
p
kf kp =
|f | d
=
=
|f |p dc
|f (i)|p
X
i=1
{i}
i=1
En este caso,
[
Sea X =
Xn disjunta con (Xn ) < n N. Definimos:
n=1
n : X R
2n
x 7 1 + (Xn )
si x Xn
si x
/ Xn .
1.2. MEDIDA E INTEGRACION
La funci
on =
integrable pues
Z
1.2.23
41
n=1
||d
X
2n (Xn )
n=1
1 + (Xn )
<
n=1
2n < .
Modos de convergencia
n > n(, x)
n > n() x X
Evidentemente, ambas definiciones son equivalentes cuando X es un conjunto finito. Si X es un conjunto infinito la convergencia uniforme implica
la puntual pero no podemos asegurar la implicaci
on contraria.
Cuando en X tenemos una estructura de medida (X, M, ) y las funciones
fn y f son medibles, adem
as de las ya conocidas definiciones:
3. (fn ) f puntualmente -a.e.
4. (fn ) f en Lp(X, ) con 1 p <
podemos dar las siguientes definiciones, tal vez desconocidas para el lector:
5. (fn ) f en L (X, ) si E M con (E) = 0 tal que
(fn ) f
uniformemente en
X \E
CAPITULO 1. PRELIMINARES
42
Teorema 1.2.24
> 0
3. Inmediato.
4. Inmediato.
5.
1.2.25
Teoremas de Fubini
Teorema 1.2.26
Si (X, M, ) y (Y, N, ) son espacios de medida, dado Q M N se pueden
definir las funciones:
Q :
X
x
[0, ]
(Qx )
Q :
Y
y
[0, ]
(Qy )
1.2. MEDIDA E INTEGRACION
43
si x A
si x
/A
Qi )x ] = [
i=1
(Qi )x] =
i=1
Qi (x) = lim
i=1
n
X
Qi (x)
i=1
Si (Qi ) es expansiva y Q =
Q (x) =
(x) = [(
i=1 Qi
por tanto, medible.
Qi se tiene:
i=1
Qi )x ] = [
i=1
(Qi)x ] = lim
i=1
n
X
Qi (x),
i=1
\
entonces Q =
Qi . Pero esto es claro pues
i=1
Q(x) = [(
Qi )x] = [
i=1
i=1
[
[
tales que X =
tas {Xn }
y
{Y
}
X
e
Y
=
Ym con (Xn ) <
m 1
n
1
n=1
m=1
= {Q M N | Q (Xn Ym ) n, m}.
Es claro que contiene a R, al algebra generada por R y es clase mon
otona,
luego = M N. Ello indica que todo Q M N se parte en una familia
disjunta de elementos de . Pero, seg
un 2, esto significa que Q . Es
decir, = M N y, as, Q es medible Q M N.
CAPITULO 1. PRELIMINARES
44
Teorema 1.2.27
X
x
cumplen que
[0, ]
(Qx )
Q d =
Demostraci
on;
Q :
Y
y
[0, ]
(Qy )
Q M N
Q d
AB d = (B)(A) =
X
AB d.
2. La uni
on numerable disjunta de elemntos de est
a en :
Z
Qi d =
Z X
Qi d =
X i=1
Z
X
i=1
Qi d =
Z
X
i=1
Qi d =
3. es clase expansiva:
Sea (Qi ) una sucesi
on expansiva en y sea Q =
Qi d
Qi . Es claro que
i=1
i X
\
y (B) < . Probemos que Q =
Qi est
a en :
i=1
(Qi ) Q
(Qi ) Q
1.2. MEDIDA E INTEGRACION
45
R
R
Como X AB d = Y AB d = (A) (B) < , el terema 1.2.17
asegura que
Z
Z
Z
Z
Q d = lim
Qi d = lim
Qi d =
Q d.
i
i Y
La funci
on : M N [0, ] es una medida que en los rect
angulos
cumple la f
ormula base por altura:
(A B) = (A) (B)
El espacio de medida (X Y, MN, ) es el espacio de medida producto.
Si existe en (X, M, ) alg
un conjunto A no vaco con medida nula y existe
en (Y, N, ) alg
un conjunto no medible B, resultar
a que A B A Y
siendo A B no medible y A Y de medida nula . Los espacios producto
son proclives a poseer la anomala de que hayan subconjuntos de conjuntos
de medida nula que no sean medible. Los espacios de medida que no poseen
esta anomala se llaman completos.
Teorema 1.2.29 El Fubinito
Sean (X, M, ), (Y, N, ) espacios de medida -finitos y F : X Y [0, ]
una funci
on medible. Entonces,
:
X
x
R [0, ]
Y F (x, ) d
XY
Y
y
F d( ) =
[0, ]
F
X (, y) d
d.
Y
Demostraci
on:
Como las funciones F (x, ) y F (, y) son medibles, las y est
an bien
definidas. Procedamos como siempre:
CAPITULO 1. PRELIMINARES
46
1. Si F : X Y [0, ] es la funci
on caracterstica de un Q M N,
es evidente que F (x, ) = 1Qx y F (, y) = 1Qy . Entonces,
(x) = (Qx ) = Q (x) y (y) = (Qy ) = Q(y)
y el resultado lo asegura el teorema 1.2.27.
2. Si F : X Y [0, ] es la funci
on simple
F (x, ) =
Entonces,
=
n
X
n
X
i=1
n
X
i 1(Qi )x y F (, y) =
i=1
n
X
i 1Qy
i
i=1
i Qi y =
i=1
n
X
i Qi
i=1
X
x
[0, ]
sn (x, ) d
n :
Y
y
[0, ]
X sn (, y) d
X
x
[0, ]
|F (x, )| d
Entonces se cumple:
1. L1 (X, ) F L1 (X Y, ).
Y
y
[0, ]
|F
(, y)| d
X
1.2. MEDIDA E INTEGRACION
47
2. L1 (Y, ) F L1 (X Y, ).
Si F L1 (X Y, ) se cumple:
3. Existe E X con (X \ E) = 0 tal que F (x, ) L1 (Y, ) x E y
:ER
Z
x
F (x, ) d.
Y
est
a en L1 (E, E ).
4. Existe G Y con (Y \ G) = 0 tal que F (, y) L1 (X, ) y G y
:GR
Z
y
F (, y) d
X
est
a en L1 (G, G ).
Z
Z
5. Adem
as,
dE =
E
XY
F d( ) =
dG .
Demostraci
on:
1. y 2. Se deducen aplicando el Fubinito a |F |.
3. y 4. Si F = F + F es la descomposici
on can
onica, tenemos
F (x, ) = F + (x, ) F (x, ) x X
F (, y) = F + (, y) F (, y) y Y
y definiendo
+ :
X
x
R[0, ]+
Y F (x, ) d
X
x
R[0, ]
Y F (x, ) d
+ :
Y
y
R[0, ]+
X F (, y) d
Y
y
R[0, ]
X F (, y) d
X d = XY F d( ) = Y d
(1.1)
CAPITULO 1. PRELIMINARES
48
x (x) (x) =
F (x, ) d
F (, y) d
y
:GR
+
y (y) (y) =
y observar que
(R
RY
1.2.31
Teoremas de Radon-Nikodym
1.2. MEDIDA E INTEGRACION
49
Demostraci
on:
=r
(Ar )
(Ar )
(Ar )
Ahora bien, A es uni
on numerable de conjuntos del tipo [ai ri , ai + ri] y,
en consecuencia, 0 = (f 1 (A)) = {x | f (x)
/ C}.
Teorema 1.2.33 Teorema de Radon-Nikodym
Sea (X, M, ) -finito y sea : M [0, ) una medida finita. Existe un
A M para el que se cumple:
1. (E) = (E A) E M
2. Existe h L1 (X, ) tal que
(E A) =
h d E M
Demostraci
on:
Por ser (X, M, ) -finito, el comentario 1.2.22,3 asegura la existencia de
una L1 (X, ) conR 0 < (x) < 1 x X. Con ella, construimos la
medida finita
(E) = E d.
Consideremos la medida = +
, tambien finita, y comprobemos que
Z
Z
Z
f d =
f d +
f d
X
En efecto:
1. Para funciones caractersticas:
Z
Z
Z
1E d = (E) = (E) +
(E) =
1E d +
1E d
X
CAPITULO 1. PRELIMINARES
50
es continuo porque
Z
Z
1 Z
Z
1
Z
2
2
1
2
2
f d
|f | d
|f | d
|f | d
1 d = kf k2 [(X)] 2
X
g d
est
an en [0, 1]
(E)
R
cuando (E) > 0: Tomando f = 1E , vemos que (E) = E g d y, as,
Esta g no puede ser muy grande pues los promedios
R
g d
g d
0
E
= 1.
(E)
(E)
E
Escrib
amosla en la forma
Z
f (1 g) d =
f g d,
y consideremos
A = {x X | 0 g(x) < 1} y B = {x X | g(x) = 1}.
Entonces,
R
1. Tomando f = 1B , vemos que B d = 0 y, como (x) > 0 x X,
deducimos que (B) = 0. As,
(E) = (E A) + (E B) = (E A) E M
1.2. MEDIDA E INTEGRACION
51
y como
lim g n+1 (x) =
designando h =
X
n=1
0
1
si x A
si x B,
g n resulta que (E A) =
h d.
Para sacarle el m
aximo partido al teorema 1.2.33 conviene considerar medidas con signo o s-medidas y establecer algunas notaciones previas.
Definici
on 1.2.34
1. Sea (X, M) un espacio medible. Una s-medida es una : M R que
X
verifica (E) =
(Ei) (Ei ) P(E) que es el conjunto de todas
i=1
X
(Ei) sin admitir la posibilidad de que diverjan a +, como peri=1
X
uni
on de conjuntos, la convergencia de las series
(Ei) debe ser
i=1
CAPITULO 1. PRELIMINARES
52
sup
|(Ei)|.
(b) Si ||
(d) Si 1 2 |1 | |2 |
1
(|| + )
2
1
= (|| )
2
llamadas variaci
on positiva de y variaci
on negativa de . Es
claro que
= + y || = + +
4. S(X, M) con la suma y el producto por escalares
(1 + 2 )(E) = 1 (E) + 2 (E) E M.
(c1 )(E) = c 1 (E) E M.
7 ||(X)
1.2. MEDIDA E INTEGRACION
53
(b) B
(d) A
hd E M
6. Adem
as, la anterior descomposici
on es u
nica. Mejor a
un:
Si (X, M, ) es -finito, S(X, M) y se cumple que = a + s
con a y s , tal descomposici
on es u
nica.
En efecto:
Supongamos que haya dos: = a +s = 0a +0s . Entonces, a 0a =
0s s . Como a 0a y 0s s , resulta que a 0a =
0s s = 0 y, por tanto, a = 0a y s = 0s .
Teorema 1.2.36 Teorema de Lebesgue-Radon-Nikodym
Sea (X, M, ) -finito y sea S(X, M). Entonces:
1. Existe un u
nico par (a, s) de elementos de S(X, M) tal que
= a + s , a y s .
2. Existe una u
nica h L1 (X, ) tal que
Z
a(E) =
h d E M.
E
Demostraci
on:
1. Cuando es una medida finita las existencias est
an probadas en el
teorema 1.2.33 y las unicidades se deducen del comentario 1.2.35,6.
2. En el caso general, recordamos que = + y consideramos los
+
pares de medidas finitas (+
a , s ) y (a , s ) asociados respectivamente
+
+
a y . Entonces (a a , s
s ) es un par de s-medidas
+
asociado a . Adem
as, si h y h son las densidades de +
a y a ,
+
h h es densidad de a a .
La unicidad del par de s-medidas asociado a y de la densidad de a
respecto de se deduce del comentario 1.2.35,6.
Corolario 1.2.37
Sea (X, M, ) -finito y sea R S(X, M) tal que . Existe una u
nica
h L1 (X, ) tal que (E) = E h d E M.
Demostraci
on:
= + 0 es una descomposici
on que cumple y 0 .
En particular, existe una u
nica g L1 (X, ||) tal que d = g d||,
CAPITULO 1. PRELIMINARES
54
1.2.38
Teorema de representaci
on de Riesz
Un espacio topol
ogico de Hausdorff (X, ) se dice localmente compacto
cuando cada punto tiene un entorno con clausura compacta. Una funci
on
f : X R se dice de soporte compacto cuando
sop f = {x X | f (x) 6= 0}
tiene clausura compacta. El conjunto de todas las funciones continuas de
soporte compacto es un espacio vectorial que designamos Cc (X).
Los espacios localmente compactos gozan de la siguiente propiedad:
Lema 1.2.39 (Urysohn)
En un espacio localmente compacto (X, ) dado un compacto K y un abierto
U tales que K U , siempre existe una f Cc (X) tal que 1K f 1U .
Teorema 1.2.40
Sea (X, ) localmente compacto y sea : Cc (X) R un funcional lineal
positivo 2 . Existe en X una -
algebra M m
as fina que la de Borel y una
u
nica medida : M [0, ] cumpliendo:
R
1. (f ) = X f d f Cc (X).
2. (K) <
K compacto de (X, ).
3. Regularidad exterior:
(E) = inf{(V ) | E V y V } E M
4. Regularidad interior:
(E) = sup{(K) | Kcompacto E} cuando E o (E) <
5. (X, M, ) es un espacio de medida completo.
Demostraci
on:
Unicidad
Si 1 y 2 satisfacen todas las propiedades, coinciden en los compactos.
En efecto:
Dado un K y > 0 U tal que K U y 2 (U ) < 2 (K) + .
Por Urysohn, f Cc (X) con sop f U y 1K f 1U . Entonces,
Z
Z
1 (K) =
1K d1
f d1 = (f ) =
X
X
Z
Z
=
f d2
1U d2 = 2 (U ) < 2 (K) +
X
1.2. MEDIDA E INTEGRACION
55
f
1
Cualquier de estas g cumple que g
y, por tanto, (g) (f ).
1
Luego (K) (f ) (0, 1) y (K) (f ). Por tanto,
CAPITULO 1. PRELIMINARES
56
i = 1, , n. Dada la partici
on {Ei } de K y un > 0 podemos
encontrar un cubrimiento abierto {Vi} de K tal que
(
Ei Vi y (Vi ) < (Ei ) + n
f (x) < yi + x Vi
Sea {hi }ni=1 una partici
on de la unidad subordinada a {Vi}:
X
hi Cc (X), sop hi Vi , 0 hi 1Vi y
hi (x) = 1 x K
P
P
hi , resulta que (K) ( hi ) =
(hi) y, as:
X
X
X
(f ) = (
hi f ) =
(hif )
(hi[yi + ]) =
Como 1K
n
X
(yi + )(hi ) =
i=1
(hi )
h
i
(|a| + yi + ) (Ei ) +
|a|(K) =
n
n
n
X
X
=
(yi )(Ei ) + 2(K) +
(|a| + yi + )
n
i=1
i=1
Z
Comentarios 1.2.41
1. Sea (X, ) un espacio localmente compacto. Al espacio de medida
(X, M, ) obtenido por el teorema 1.2.40 para un funcional positivo
: Cc (X) R, se le llama espacio de Radon.
2. Si (X, ) es localmente compacto y cualquier funcional lineal acotado
: Cc (X) R fuese diferencia de dos funcionales positivos,
+ : Cc (X) R y : Cc (X) R
el teorema de Riesz nos asegurara la existencia de sendos espacios
de medida (X, M+, + ) y (X, M, ) donde los funcionales tendran
representaci
on integral. Entonces, la s-medida = + definida
en la -
algebra M+ M representara al funcional si definieramos
Z
Z
Z
(f ) =
f d+
f d =
f d f Cc (X)
X
Ello nos permitira conocer el dual de (Cc (X), k k). Todo ello es
verdad pero queda fuera de los objetivos del curso.
1.2. MEDIDA E INTEGRACION
57
[
que X =
Ki siendo (Ki) una sucesi
on expansiva de compactos.
i=1
[
[
Si V =
Vi tenemos V y V \ E =
(Vi \ (E Ki )).
i=1
i=1
X
Por tanto, (V \ E)
= y, de igual modo,
i+2
2
2
i=1
W tal que E c W y (W \ E c) <
2
1.2.42
C[a, b]
f
Rb
a
R
f (x)dx
CAPITULO 1. PRELIMINARES
58
Adem
as, como
Z
f (x)dx =
[a,b]
f dm f C[a, b]
Cc (R)
f
Rd
c
R
f (x)dx
f dm =
sopf [c, d]
fn dm = lim
n a
fn (x)dx = b a
m(a, b) =
Como lim
n R
1(a,b) dm = lim
gn dm = lim
gn dm.
2
= b a.
n
1
1
(a , b + )
n
n
n=1
Cc (Rn )
f
R
f
(x
,
,
xn)dx1 dxn
1
Q
1.2. MEDIDA E INTEGRACION
59
es la integraci
on reiterada de Riemann en una caja Q que contiene a
sop f , el teorema de Riesz nos proporciona el espacio de medida de
Lebesgue (Rn , Mn, mn) y, en el,
Z
Z
f dmn =
f (x1 , , xn )dx1 dxn f Cc (Rn ) con sopf Q
Rn
Mediante un razonamiento an
alogo al realizado en R, podemos comprobar que la medida de cualquier caja abierta
Q = (a1 , b1) (an , bn)
es mn (Q) = ni=1 (bi ai ) y lo mismo sucede para las cajas cerradas.
4. La -
algebra de Lebesgue Mn es m
as fina que la de Borel Bn pero para
nosotros es suficiente considerar el espacio de medida (Rn , Bn , mn ). En
el probaremos la invariancia por traslaciones de mn . En efecto:
Sea x Rn y consideremos la medida
: Bn [0, ]
E mn (E + x)
X
i=1
mn (Qi) =
(Qi ) = (V )
i=1
CAPITULO 1. PRELIMINARES
60
en
Bn
en
Mr Ms pues
Rs
Rs
Rr
E mn (T (E))
1.2. MEDIDA E INTEGRACION
61
y es finita en los compactos pues la imagen continua de un compacto es compacta. As, c = mn (T (Q0 )) donde Q0 es la caja c
ubica
de arista 1, es decir, el n-paraleleppedo subtendido por los vectores
{e1 , . . . , en }, de modo que (E) = mn (T (E)) = cmn (E) E Bn .
Ya vimos en el comentario 6.2.5,?? que
1
mn (T (Q0 )) = G 2 (T e1 , . . ., T en ) = | det T |
y, por tanto, los casos anteriores (c = 0 y c 6= 0) se pueden agrupar
diciendo que toda aplicaci
on lineal T : Rn Rn produce un cambio
de medida de Lebesgue dado por
mn (T (E)) = | det T |mn (E) E Bn .
8. Dada una T : Rn Rn lineal y biyectiva, podemos preguntarnos cu
al
es la medida en Bn tal que la ley T coincide con mn :
Si queremos que T (E) = (T 1 (E)) = mn (E) E Bn debe ocurrir
que (A) = mn (T (A)) A Bn . Por tanto, = | det T |mn y
Z
Z
Z
f dmn =
f T d =
f T | det T | dmn.
Rn
Rn
Rn
En particular, si f = 1E g, tenemos
f T = (1E g) T = (1E T ) (g T ) = 1T 1 (E) (g T )
y, en consecuencia,
Z
Z
g dmn =
1T 1 (E) g T | det T | dmn =
n
E
ZR
=
g T | det T | dmn.
T 1 (E)
que es la f
ormula del cambio lineal de variable. Esta f
ormula puede
extenderse a situaciones m
as generales, como vemos en el siguiente
Teorema 1.2.43 (Teorema del cambio de variable)
Sean V y W abiertos de Rn y sea F : V W una aplicaci
on biyectiva,
diferenciable y con inversa continua. Entonces:
1. F (E) Bn (W ) E Bn (V ).
2. La medida en V tal que la ley F en W es mn , viene dada por
Z
(E) = mn (F (E)) =
|JF (x)| dmn(x) E Bn (V )
E
CAPITULO 1. PRELIMINARES
62
3. Si f L1 (W, mn) se cumple que
Z
f dmn =
W
f F d =
Demostraci
on:
1. Es inmediato.
2. Es razonable pensar que una funci
on suave como F , transforma conjuntos de medida nula en conjuntos de medida nula y, por tanto,
mn . En tal caso, el corolario 1.2.37 asegura la existencia de
h L1 (V, mn) tal que
mn (F (E)) =
h dmn E Bn (V )
[0,]
1
2
1 (E)
1.3. CAMPOS EN R3
63
1
1.3
Campos en R3
V
x
R
3
X
F i
i=1
xi
(x) =
3
X
Fii (x)
i=1
V
x
R3
F23 (x) F32 (x), F31 (x) F13 (x), F12(x) F21 (x)
CAPITULO 1. PRELIMINARES
64
,
,
=
x1 x2 x3
que al actuar sobre una funci
on : V R3 R nos da su campo gradiente
:
R3
,
,
(x)
x1 x2 x3
= (1 , 2, 3 )(x)
R
3
X
ii (x)
i=1
,
,
x1 x2 x3
| (F , F , F )
3
X
Fii = div F
i=1
= rot F
x2 x3
F2
F3
Esta notaci
on simb
olica es muy adecuada pues nos permite recordar f
acilmente
que todo campo de rotores es solenoidal [(| F ) = 0] o intuir que
todo campo de gradientes es irrotacional [ = ( ) = o].
Pero, sin duda, la notaci
on que m
as facilita los c
alculos es la notaci
on de
Einstein. Cualquier vector x = (x1 , x2 , x3 ) se escribe en la forma simple xi
dando por supuesto que i ha de tomar los valores 1,2,3 y se conviene que
1.3. CAMPOS EN R3
65
i (1 , 2 , 3 )
ii 11 + 22 + 33
divF
Adem
as, si ijk es el signo de la permutaci
on (i, j, k), es decir, si
(
123 = 231 = 312 = 1
213 = 132 = 321 = 1
rotF
se escribe
1.3.1
Circulaciones
R
(F (x)|t(x))
CAPITULO 1. PRELIMINARES
66
V
x
R
(x)
es solenoidal
es arm
onica
Comentarios 1.3.2
1. Si F : V R3 es conservativo con potencial y V viene dada
en funci
on de su arco por la carta local : (0, L) R3 el teorema de
derivaci
on de la funci
on compuesta asegura que
(F (x)|t(x)) = (((s))| 0(s)) = ( )0(s) ,
y, por tanto,
L(F, ) =
1.3. CAMPOS EN R3
67
V(x)
V
x
R
L(F, )
i (x) = lim
es la circulaci
on de F en el segmento [x + tei , x]. Por tanto,
L(F, [x + tei , x])
i (x) = lim
= lim
t0
t0
t
R0
t
luego
(x) = F (x)
F i (x)dt
= F i (x)
t
CAPITULO 1. PRELIMINARES
68
1.3.3
Flujos
R
(F (x)|n(x))
(F | n) d
En efecto:
Si las caras de Q son
1
2
de normal exterior e1
de normal exterior e2
de normal exterior e3
tendremos
Z
(F |n)d =
6 Z
X
i=1
(F |n)di =
4
5
de normal exterior
de normal exterior
de normal exterior
e1
e2
e3
Z
3
X
i=1
F i di
i+3
F i di+3
1.3. CAMPOS EN R3
69
i+3
i+3
Z
`i
i+3
Z
F i
(F ubini)
F i
(x)dm1 (xi ) dm2 (x) =
dm3
xi
Q xi
R3 \ {0}
x
R3
x
K
kxk3
CAPITULO 1. PRELIMINARES
70
1.3.5
b
a
1.3.6
El Teorema de la Divergencia
Teorema 1.3.7
Sea F : V R3 un campo de clase C 2 (V ) y sea D un dominio regular tal
que D V . Si n es el vector normal unitario exterior en cada punto de D,
Z
Z
divF dm3 =
(F | n) d
D
Demostraci
on :
1. Si g : V R3 R es de clase C 1 (V ) y sop g es compacto,
Z
g
dm3 = 0 i = 1, 2, 3
V xi
1.3. CAMPOS EN R3
71
U
(ii) La funci
on
G:
U
(x1 , x2 )
es la funci
on compuesta
G = H (I, ) donde
R
Z
(x1 ,x2 )
H(x1 , x2 , x3) =
x3
=
dx3 + g (I, )
para i = 1, 2
xi
xi
xi
y, en consecuencia,
Z
Z Z
Z
g
g
dm3 =
dx3 dm2 =
g(I, )
dm2
x
x
x
i
i
i
{x3 <}
U
CAPITULO 1. PRELIMINARES
72
: U R de clase C 1 (U )
con
Es f
acil comprobar que la integral de la divergencia es
3 Z
X
X
F i
dm3 =
xi
i=1
V D
{x3 <}
i=1
1+
F i
dm3 = lema 2 =
xi
,
, 1))dm2 (x1 , x2 ).
x1 x2
,
, 1) tiene la direcci
on de la
x1 x2
x1
2
x2
2
dm2 (x1 , x2 )
luego
Z
Z
n d = o
La anulaci
on de esta integral vectorial significa que la media del vector
normal en una superficie cerrada es nula o que no existen direcciones
privilegiadas en una superficie cerrada.
2. Si aplicamos el teorema 1.3.7 al campo identidad I : D R3 (divI=3)
en la bola eucldea Br de centro o y radio r tenemos:
Z
x
3m3 (Br ) =
x
d(x) = r(Br )
kxk
Br
1.3. CAMPOS EN R3
73
que est
a perfectamente de acuerdo con los conocidos resultados
m (B ) = 4 r 3
3
r
3
(B ) = 4r 2
r
Demostraci
on:
(F |t)d =
Z
F 2 F 1
x1
x2
Z
Z
1
1
=
((F2 , F1 , 0)|n) d =
div(F2 , F1 , 0)dm3 =
h D
h D
Z Z 2
Z 2
1 h
F
F 1
F
F 1
=
d dm1 =
d
h 0
x1
x2
x1
x2
La f
ormula de Riemann-Green se puede entender como un teorema de
la divergencia bidimensional para el campo F ? = (F 2 , F 1 ) pues
Z
Z
?
(F |n)d =
divF ? d
Adem
as, considerando el campo tridimensional
CAPITULO 1. PRELIMINARES
74
F :
U R
(x1 , x2 , x3 )
R3
(F 1 (x1 , x2 ), F 2 (x1 , x2 ), 0)
extensi
on natural de F : U R2 , tambien se puede entender como
una versi
on reducida del teorema del rotacional, para recintos planos:
Z
Z
(F |t) d = (rotF |n) d
En efecto:
f
d = 0
D n
(b) Si f, g arm
onicas y homogeneas de distinto grado, 6= ,
Z
G2
g f d = 0 (f g en L2 (Br , ))
r
kxk=r
(a) Si f arm
onica, G1
Funciones arm
onicas
De las f
ormulas de Green se deducen muchas de las buenas propiedades de
las funciones arm
onicas.
Teorema 1.3.9 Propiedad del valor medio
f : V R3 R de clase C 2 (V ) es arm
onica si y s
olo si
Z
f d
Br (p)
f (p) =
Br (p) V
4 r2
Demostraci
on:
El isomorfismo entre el borde de la bola unidad eucldea B y el borde de la
bola eucldea Br (p)
1.3. CAMPOS EN R3
75
c:
B
u
Br (p)
p+ru
R3
x
R3
p + rx
es restricci
on de la aplicaci
on
C:
f = 0 m3 ae en
y, por continuidad, f arm
onica en todo V .
f
|d
=
(M f )d = M f (p) = 0
4 r 2 Br (p)
4 r 2 Br (p)
Por tanto, f (x) = M x Br (p) y, tambien, x B (p) con < r.
Luego Br (p) f 1 (M ). As, f 1 (M ) = V y f (x) = M x V .
CAPITULO 1. PRELIMINARES
76
= f en V
si tiene soluci
on, es u
nica, pues, si 1 y 2 son dos soluciones, 1 2 es
arm
onica en V y nula en V donde, adem
as, alcanza sus valores extremos.
Por tanto, 0 1 2 0 en todo V .
Es f
acil ver que las u
nicas arm
onicas radiales son H : Rn \ {o} R
A log kxk + B
si n = 2
donde H(x) =
A
+B
si n = 3
kxk
r2
p es su transformado por la inkpk2
versi
on que deja invariante a Br (o), tambien es f
acil comprobar que
Adem
as, si p Br (o)
Hp :
p0 =
Rn \ {p}
x
y
Kp :
Rn \ {p0 }
x
R
H(x p)
R
r
H(x p0 )
kpk
y f : V R3 R es arm
onica, se tiene:
Z
r 2 kpk2
f (x)
f (p) =
d(x)
p Br (o)
3
4 r
Br (o) kp xk
Si Br (o) V
1.3. CAMPOS EN R3
77
y al ser Kp arm
onica en un entorno de Br (o), de nuevo por G2
Z
Z
Kp
f
d =
f
d
Kp
n
n
Br (o)
Br (o)
Luego, el primer termino de (?) puede ser escrito en la forma
Z
Hp Kp
f
d
n
n
Br (o)
Del segundo termino de (?) podemos calcular sus dos sumandos:
Hp
xp
1
(x) = DHp (x)
=
n
kx pk
kx pk2
luego
Hp
1
f
d = 2
n
B (p)
B (p)
f d = 4 f (p)
siendo la u
ltima igualdad debida al teorema 1.3.9. Adem
as, por G1:
Z
Z
f
1
f
Hp
d =
d = 0
n
B(p) n
B (p)
En resumen,
f (p) =
1
4
Br (o)
Kp Hp
n
n
p Br (o)
r
kx pk y, entonces, es f
acil
kpk
obtener la expresi
on anunciada del n
ucleo de Poisson
Cuando kxk = r se tiene que kx p0 k =
P(p, x) :=
=
con lo cual,
Hp
(p0 |x) r 2
(p|x) r 2
Kp
(x)
(x) =
=
n
n
kpk kx p0 k3 r kx pk3
r 2 kpk2
f (p) =
4r
Br (o)
f (x)
d
kx pk3
p Br (o)
Comentarios 1.3.12
1. La f
ormula integral de Poisson da la soluci
on del problema de Dirichlet
en una bola centrada en el origen pero, evidentemente, por traslaci
on,
la podemos adaptar a cualquier otra bola eucldea.
CAPITULO 1. PRELIMINARES
78
2. El n
ucleo P(p, x) es diferenciable indefinidamente respecto de p y, por
tanto, toda funci
on arm
onica es de clase C .
3. Para funciones arm
onicas f : V R2 R, tomando H(x) = log kxk,
la f
ormula integral de Poisson queda como sigue
Z
f (x)
r 2 kpk2
f (p) =
d(x)
p Br (o)
2 r
kp
xk2
Br (o)
donde es la medida can
onica en Br (o)
1.3.13
Teorema 1.3.14
Si es una superficie orientada seg
un n, es la curva cerrada de su borde
con la orientaci
on inducida y F : V R3 es un campo de vectores de clase
2
C (V ) con V , se cumple que
Z
Z
(rot F | n) d =
(F | t)d
Demostraci
on:
Suponemos que est
a descrita por la carta local
(I, f ):
D
(x, y)
R3
(x, y, f (x, y))
Suponemos en D la orientaci
on e3 y su borde D descrito por una carta
local : (a, b) R2 que le confiere la orientaci
on inducida. Entonces,
estar
a descrito por la carta local
(I, f ) :
(a, b)
t
R3
((t), f (t))
=
donde
F?
F (, f )|(0 , Df ()0 ) dm1 =
es el campo bidimensional
F ?:
(F ? |t)d
R2
1
F (x, f (x)) + F 3 (x, f (x)) f1 (x)
F 2 (x, f (x)) + F 3 (x, f (x)) f2 (x)
1.3. CAMPOS EN R3
79
Aplic
andole la f
ormula de Riemann-Green tenemos
Z
Z
(F ? |t)d =
F ? 21 F ? 12 dm2
D
y, como
luego
Z
Z
Z
?2
?1
(rot F |n)d =
F 1 F 2 dm2 =
(F |t)d =
(F |t)d
Consecuencias 1.3.15
1. Hemos visto en los comentarios 1.3.1,1 y 2 que un campo F : V R3
es conservativo si y s
olo si la circulaci
on L(F, ) en toda curva cerrada
V es nula.
Tambien sabemos que un campo conservativo es siempre irrotacional.
El teorema 1.3.14 nos asegura el recproco cuando toda curva cerrada
V es el borde de una superficie totalmente contenida en V .
Los abiertos V que cumplen esta condici
on se llaman simplemente
conexos y, en tal caso, todo campo F : V R3 cumple que
F
es conservativo
es irrotacional
Un V R2 es simplemente conexo si y s
olo si no tiene agujeros. Sin
3
embargo, un V R con agujeros, puede ser simplemente conexo ya
que cualquier curva que los rodee podra ser el borde de una superficie
que lograra evitarlos sin salirse de V .
2. Si F : V R3 es irrotacional y V es simplemente conexo podemos
calcular su funci
on potencial directamente a partir de su definici
on3 .
Ahora bien, si la quebrada
= [o, (x, 0, 0)] [(x, 0, 0), (x, y, 0)] [(x, y, 0), x] V
3
Debemos recordar los metodos de integraci
on de las ecuaciones diferenciales exactas
y asociar las ecuaciones cerradas con los campos irrotacionales
CAPITULO 1. PRELIMINARES
80
Alternativamente, si la quebrada
= [x, (x, 0, 0)] [(x, 0, 0), (x, y, 0)] [(x, y, 0), x] V
podremos calcular el potencial a partir de L(F, ) = (x ) (x):
Z x
Zy
Zz
1
2
(x) =
F (x, 0, 0)dx
F (x, y, 0)dy
F 3 (x, y, z)dz + (x)
3. Hemos visto en la p
agina 64 que todo campo de rotores es solenoidal.
Ahora nos planteamos la cuesti
on inversa:
Si un campo F : V R3 de clase C 2 (V ) es solenoidal existe un
P : V R3 tal que F =rotP ?. La respuesta la damos proponiendo
una soluci
on en V para el sistema de ecuaciones en derivadas parciales
ijk Pjk = F i
Eligiendo, de salida, P 1
3
2
P2 P3
P13
2
P1
con Fii = 0
= 0 el sistema se reduce a
= F1
= F2
= F3
con
P = R0
x
P 2 = x0 F 3 dx + g 2 (y, z)
Rx
3
P = x0 F 2 dx + g 3 (y, z)
x0
P = R0
x
(?)
P 2 = x0 F 3 dx
Rx
Ry
3
P = x0 F 2 dx + y0 F 1 (x0 , y, z)dy
81
1.4. EJERCICIOS
con
Fii = 0
1.4
Ejercicios
1. Pr
actica1. Operar con listas y diccionarios. sws
Captulo 2
Problemas inversos
Dada una funci
on f : X Y y un b Y , resolver el problema inverso
o la ecuaci
on f (x) = b, es estudiar si existe alg
un x0 X tal que f (x0 ) = b
y calcularlo.
2.1
imf = {f (x) | x X} Y
m
X
aij vi
i=1
o por la matriz
j = 1, , n
a11
..
..
A = (aij ) = .
.
am1
83
a1n
..
.
amn
84
pues si x =
n
X
xj uj , se tiene que
j=1
f (x) =
n
X
j=1
xj aj = a1
xi
a11
. .
..
an .. = ..
.
xn
am1
a1n
xi
.. .. = Ax
. .
amn
xn
Cuando b
/ im f , el sistema Ax = b no tiene soluci
on, pero si en Y
consideramos un producto escalar | : Y Y R y su correspondiente
norma eucldea
k k:
Y
y
pR
+ (y|y)
X
x
R
kAx bk
o, equivalentemente, la funci
on
G:
X
x
R
(Ax b|Ax b)
85
2.2
Casos no lineales
2.2.1
Polinomios
y, por tanto, x =
b2 4ac
2a
X 3 + AX = B
con
27ca2 9ab2
A =
27a3
B=
27a3
86
Cuando est
a el cubo con las cosas preso
y se iguala a alg
un n
umero discreto
busca otros dos que difieran en eso
Despues har
as esto que te espeto
que su producto siempre sea igual
al tercio cubo de la cosa neto
Despues el resultado general
de sus lados c
ubicos bien restados
te dar
a a ti la cosa principal
Es decir, debemos buscar dos n
umeros p y q tales que
3
A
y tomar X = 3 p 3 q
p q = B y pq =
3
En efecto,
p
p
X 3 = ( 3 p 3 q)3 = p 3 3 p2 q + 3 3 pq 2 q
y se cumple que
B
z
}| { z }| { z }|
{
X + 3 3 pq ( 3 p 3 q) = p q .
3
96a2 b2 256ca3
A
=
256a4
256a4
2
3
2
4
p+q +r =
B2
X = p+ q+ r
si
p, q, r cumplen
pqr =
64
pq + pr + qr = A + 4C
16
es decir, si p, q, r son las raices de la ecuaci
on c
ubica
A 2 A2 + 4C
B2
x +
x
= 0.
2
16
64
Y no es posible llegar m
as lejos, pues Abel prob
o en 1824 que para un polinomio cualquiera de grado mayor que cuatro no puede haber una soluci
on
formal conseguida mediante operaciones algebraicas sobre los coeficientes
del polinomio.
x3
87
2.2.2
Funciones continuas
Sin embargo, si F : [a, b] R es continua y F (a) F (b) < 0, el teorema de Bolzano asegura una soluci
on s (a, b) a la que podemos aproximarnos mediante la funci
on biseccio.sage definida en la worksheet MATESPRACTICA-PINV.
2.2.3
Funciones contractivas
G = F + I, resolver
x0 X
xk+1 = G(xk )
k 0
Lk
kx1 x0 k k 1
1L
Demostraci
on:
Para k 1 se verifica
kxk+1 xk k = kG(xk ) G(xk1 )k Lkxk xk1 k Lk kx1 x0 k
y, en consecuencia, para n > k 1 tenemos
kxn xk k kxn xn1 k + kxk+1 xk k (Ln1 + + Lk )kx1 x0 k
luego
kxn xk k
Lk
kx1 x0 k
1L
88
Lk
kx1 x0 k
1L
Ejemplo 2.2.5
Hallar una soluci
on de la ecuaci
on F (x) = 0 siendo F la funci
on
F:
R
x
R
x + 3x 5
3
Soluci
on:
Buscamos una soluci
on de la ecuaci
on G(x) = x siendo G la funci
on
G:
Como G es derivable,
R
x
x1 , x2 R
R
5x3
3
se cumple que
9 9
As, la restricci
on de G al intervalo cerrado C = [ 10
, 10 ] ser
a contractiva.
Sin embargo, su gr
afica
R
x
R
5
x2 +3
89
nos muestra que H(C) C. Entonces, el teorema 2.2.4 nos asegura que
p [2, 2] las iteraciones
for k in range(40):
p=H(p).n()
nos llevan a una aproximaci
on a de la soluci
on exacta s de H(x) = x tal que
|a s| <
0.740
4 = 8.48907434787868 106 .
.3
90
Ejemplo 2.2.6
2
R
x
y
R2
10x + y 2 + 8
xy 2 + x 10y + 8
x2
Soluci
on:
Buscamos una soluci
on de G(x) = x siendo G la funci
on
G:
R2
x
y
R2
x2 +y2 +8
10
xy2 +x+8
10
y
5
xy
5
1
y, en consecuencia, existir
a un entorno de 0
tendremos que kDG(0)k = 10
donde la restricci
on de la funci
on G ser
a contractiva.
Por ejemplo, en el disco cerrado C, de centro 0 y radio 2, la restricci
on
7
2
G : C R es contractiva de constante L < 10 .
Adem
as, podemos comprobar que G(C) C. En efecto:
En la siguiente figura, la circunferencia representa el borde C y el segmento
representa el transformado de ese borde G(C). Vemos que G(C) est
a
rodeado por C y, por continuidad, concluimos que G(C) C.
2.2.7
91
M
etodo de Newton
2.2.8
(w) : I R | i = 1, , n
wi
constituye una base del espacio tangente a la variedad en el punto (w).
Pretendemos hallar la funci
on de la variedad que mejor aproxime en norma
92
y1
..
.
.
.
.
.
.
=
min
.
.
.
.
w
yk
(w0 )(xk )
yk
(w)(xk )
(w0 )(x)|y) + 2(
(w0 )(x)|(w0)(x)) = 0 i = 1, , n
wi
wi
wi (w0 )(x1 )
(w0 )(x1 ) y1
..
..
.
(w
0 )(xk )
wi
(w0 )(xk ) yk
i = 1, , n
y, por tanto, el vector (w0 )(x) y debe ser ortogonal al espacio tangente
a la variedad en (w0 ).
Un caso particular sencillo, es el de una variedad lineal generada por las
funciones independientes {f1 , f2 , , fn} en el que = Rn y la variedad es
{(w) |w Rn } = {w1 f1 + + wn fn |w Rn }
En este caso, w Rn el espacio tangente es la propia variedad lineal
[f1 , , fn] y podemos obtener w0 resolviendo el problema inverso lineal
fn (x1 )
w1
y1
.. .. = ..
. . .
f1 (x1 )
..
..
.
.
f1 (xk )
fn (xk )
wn
yk
I
x
R
w1 f1 (x)++wk fk (x)
wk+1 fk+1 (x)++wn fn (x)
93
2.3. EJEMPLOS
wi
wi
i = 1, , n
y nuestra funci
on newton(f, P, T) que lo resuelve mediante la soluci
on
iterada de aproximaciones lineales con tolerancia T y punto inicial P . Para
elegir el punto inicial, podemos servirnos de la funci
on importada de NumPy
find-fit que hemos usado en el programa ajustaunmodelo(X,Y,model).
2.3
Ejemplos
con
y, en consecuencia,
xm = x0 (x0 |ur+1 )ur+1 (x0 |un )un .
2. Otra manera de proceder es usar el teorema de los multiplicadores de
Lagrange para obtener el mnimo. La lagrangiana de este problema es
:
Rn Rm
(x, y)
R
(x|x) (A y|x) + (y|b)
t
94
y la anulaci
on de su gradiente nos produce las dos ecuaciones
2xm At y = 0
y Axm = b
y
=b
2
cuya soluci
on es
y
2
y
= A At \b
2
H
0
(2rh h2 )dh = rH 2 H 3
G(H) =
400
, T OL = 1012 e inicio 7,
15H H 2
Ho = 7.1285927458325204497668892145157 en 13 iteraciones
Ejemplo 2.3.3
95
2.3. EJEMPLOS
Ejemplo 2.3.4
Nieva de forma regular y los quitanieves retiran una cantidad constante
de nieve por unidad de tiempo. Sale un quitanieves a las 12 horas y en la
primera hora recorre doble distancia que en la segunda. A que hora empez
o
a nevar? A las 12:30 horas sale otro quitanieves desde el mismo punto y por
la misma ruta que el primero. A que hora lo alcanza?
Soluci
on:
Sabemos que la cantidad de nieve quitada por unidad de tiempo es una
constante C y que la altura que alcanza la nieve en el instante t es k(t-t0)
siendo k otra constante y t0 el instante en que empez
o a nevar. Entonces,
si L es la anchura del quitanieves y v(t) es su velocidad tendremos:
C = Lk(t t0 )v(t)
La primera pregunta la contestamos resolviendo la ecuaci
on en t0 :
Z 13
Z 14
dt
dt
=2
13 t t0
12 t t0
y la segunda resolviendo la ecuaci
on en T :
Z T
Z T
dt
dt
=
12.5 t 12
12 t t0
Ejemplo 2.3.5
Desde un punto de una circunferencia C1 se traza otra circunferencia C2 de
modo que la intersecci
on de sus crculos ocupe la mitad del area del crculo
de C1 . Es el radio de C2 igual al radio del hex
agno circunscrito a C1 ?
Soluci
on:
Tomando como sistema de referencia polar el centro de C2 y la tangente por
el a C1 , la ecuaci
on de C1 es = 2r sen . Como vemos en la figura
debemos encontrar un angulo tal que
Z
r 2
1 2
1
4r sen 2 d + 4r 2 sen 2
=
2 0
2
2
4
es decir, debemos resolver la ecuaci
on
(1 2 sen 2 ) sen cos + sen 2 =
.
4
96
obtenemos
= .61794846213995480166403240218642 en 5 iteraciones
Tomando como buenas las trece primeras cifras decimales (coincidentes en
ambos metodos) deducimos que la raz
on entre los radios de C2 y C1 es
2 sen (.6179484621399) = 1.1587284730180322789294677932048
mientras que la raz
on entre el radio del hex
agono circunscrito y el de C1 es
2
= 1.1547005383792515290182975610039
3
Estas razones difieren en m
as de una milesima y, por tanto, podemos asegurar que el radio de C2 no es el radio del hex
agono circunscrito a C1 .
2.4
Ejercicios
1. Pr
actica2. Problemas Inversos. sws
2. Una pulga situada en un alambre [0, n] da saltos de longitud unidad
hacia el 0 con probabilidad y hacia el n con probabilidad 1 .
Designamos Pk la probabilidad de que la pulga, partiendo del punto
k, llegue al 0 antes que al n. As, P0 = 1 y Pn = 0.
Teniendo en cuenta que Pk = Pk+1 + (1 )Pk1 , determinar Pk
para k = 1, , n 1 cuando = 0.3 y n = 10
3. Una partcula M situada en (4,0) inicia un movimiento circular uniforme lev
ogiro de radio 3 y velocidad angular 3 en torno a un punto C,
al tiempo que este punto C inicia desde (1,0) otro movimiento circular
uniforme lev
ogiro de radio 1 y velocidad angular 1 en torno al origen
de coordenadas.
2.4. EJERCICIOS
97
Captulo 3
M
etodos num
ericos para
Ecuaciones Diferenciales
3.1
Introducci
on
A partir de la revoluci
on cientfica protagonizada por Newton y Leibnitz
en el siglo XVII, muchos de los fen
omenos de la naturaleza han podido
modelarse en terminos de un sistema de ecuaciones diferenciales (EEDD):
dxi
= fi (t, x1 (t), , xn (t));
dt
i = 1, , n;
t [t0 , t0 + T ]
t [t0 , t0 + T ]
Su soluci
on general es una familia de curvas SG = {sp | p Rn } donde
sp :
[t0 , t0 + T ]
t
Rn
sp (t)
p Rn .
[t0 , t0 + T ] Rn
(t, x)
Rn
f (t, x)
100CAPITULO 3. METODOS
NUMERICOS
PARA ECUACIONES DIFERENCIALES
Recopilamos dichas condiciones en el siguiente
Teorema 3.1.1
Sea f : [t0 , t0 + T ] Rn Rn una funci
on cualquiera y sea p0 Rn .
1. Si f es continua en un entorno de (t0 , p0 ), existe un T 0 T y una
s : [t0 , t0 + T 0 ] Rn tal que
(
s0 (t) = f (t, s(t)) t [t0 , t0 + T ]
s(t0 ) = p0
2. Si f es continua y existe un n
umero real verificando que
kf (t, x) f (t, y)k kx yk (t, x, y) [t0 , t0 + T ] Rn Rn
existe una y solo una s : [t0 , t0 + T ] Rn tal que
(
s0 (t) = f (t, s(t)) t [t0 , t0 + T ]
s(t0 ) = p0
3.2
Ecuaciones lineales
A(tt0 )
sp0 (t) = e
p0 +
eA(ts) u(s) ds
t0
y est
a implementada en la funci
on lineal.sage del worksheet CFMATPRACTICA-EDOS.
Las ecuaciones lineales aparecen, por ejemplo, en los siguientes casos:
101
3.2.1
Circuitos RLC
dq(t)
dt
di(t)
dt
= i(t)
1
= CL
q(t)
R
L i(t)
V
L
sen t
0
q
+ V
i
R
L
L sen t
1
As aparece la ecuaci
on lineal x0 = Ax + u(t) donde
q
x=
,
i
A=
1
LC
R
L
u(t) =
V
L
0
sen t
Su soluci
on est
a programada en RLC Circuits del worksheet CFMATPRACTICA-EDOS.
3.2.2
Oscilador lineal
2.
k1 0 0
x1
F (x) = 0 k2 0 x2
0 0 k3
x3
k1 0
0
x1
F (x) = 0 k2 k3 x2
0 k3 k2
x3
102CAPITULO 3. METODOS
NUMERICOS
PARA ECUACIONES DIFERENCIALES
En el u
ltimo caso debe ser k3 6= 0 y, por tanto, F no puede ser conservativo
ya que
2k3
rotF (x) =
0 6= 0.
0
As, un campo de fuerzas lineal y conservativo se podr
a representar en una
base adecuada en la forma
k1 0 0
x1
F (x) = 0 k2 0 x2
0 0 k3
x3
Un oscilador lineal es un campo de fuerzas lineal y conservativo que impone a toda partcula con masa trayectorias acotadas.
La segunda ley de Newton asegura que la trayectoria x(t) de una partcula
de masa 1 bajo la acci
on de cualquier campo F debe cumplir
x00 = F (x).
En el caso de cualquier campo lineal conservativo tendremos
x001 = k1 x1
x002 = k2 x2
x003 = k3 x3
y ser
a un oscilador si y s
olo si ki 0 para i = 1, 2, 3.
La trayectoria x(t) de una partcula de masa m bajo la acci
on de un oscilador
F (x) = Kx, en un medio con coeficiente de viscosidad b y una fuerza
externa (t) debe cumplir que
mx00 = Kx bx0 + (t)
Haciendo x0 = v podemos presentarla en la forma:
0
0
I
x
o
x
+
=
1
b
0
v
v
mK mI
y designando
x
X=
,
v
A=
1
m
K mb I
o
y =
3.3. ECUACIONES AUTONOMAS
3.3
103
Ecuaciones aut
onomas
Cuando la funci
on f (t, x) no depende explcitamente del tiempo, la ecuaci
on
diferencial x0 = f (x) se llama aut
onoma. Si f : Rn Rn es diferenciable en el abierto y si xe es un cero de la funci
on f , la curva constante
x(t) = xe es, trivialmente, una soluci
on particular de x0 = f (x) y, por eso,
diremos que xe es un punto estacionario de la ecuaci
on.
En el entorno de xe , podemos aproximar la ecuaci
on x0 = f (x) por la
ecuaci
on lineal
x0 = f (xe ) + Df (xe )(x xe ) = Df (xe)x Df (xe )xe .
El estudio de esta aproximaci
on lineal nos da informaci
on sobre el compor1
tamiento de la ecuaci
on original en el entorno del punto estacionario xe .
Veamos algunos ejemplos:
3.3.1
Lobos y corderos
104CAPITULO 3. METODOS
NUMERICOS
PARA ECUACIONES DIFERENCIALES
3.4
M
etodos de un paso
Cuando la EDV no sea lineal, la discretizaremos para obtener aproximaciones numericas de la misma. Esta tecnica consiste en hacer una partici
on
equidistante del intervalo [t0 , t0 + T ]
t0 < t1 < < tk < tk+1 < < tN = t0 + T
y calcular una N + 1-tupla (xk ) que aproxime a la N + 1-tupla (x(tk )),
mediante un proceso recursivo de la forma
(
x0 = p0
xk+1 = xk + h(tk , xk ; h)
que se llaman metodo de un paso cuando la funci
on utilizada para hallar
T
xk+1 s
olo depende de tk , xk y el paso h = N
.
3.4. METODOS
DE UN PASO
105
El desarrollo de Taylor
h 00
0
x(tk+1 ) x(tk ) + h x (tk ) + x (tk ) +
2!
o la regla de Barrow
x(tk+1 ) x(tk ) =
tk+1
f (t, x(t))dt
tk
h0
N
1
X
k=0
=0
ky0 x0 k +
N
1
X
k=0
kk k
lim E(h) = 0
h0
106CAPITULO 3. METODOS
NUMERICOS
PARA ECUACIONES DIFERENCIALES
Si un metodo es consistente y estable, es convergente.
Demostraci
on:
Sea
k = x(tk+1 ) x(tk ) h(tk , x(tk ); h)
Por ser el metodo estable existe una constante M tal que
E(h) M
N
1
X
k=0
No son tan inmediatos los tres lemas siguientes cuyas demostraciones pueden
verse en [Cr-Mi].
Lema 3.4.3
Una condici
on necesaria y suficiente para que un metodo de un paso sea
consistente es que
(t, x; 0) = f (t, x) (t, x) [to , to + T ] Rn .
Lema 3.4.4
Una condici
on necesaria y suficiente para que un metodo de un paso sea
estable es que exista un H > 0 y una constante L tales que
k(t, x; h)(t, y; h)k Lkxyk t [to , to +T ],
x, y Rn ,
h [0, H].
Lema 3.4.5
Si f : [to , to + T ] Rn Rn es p veces continuamente diferenciable y existen
y son continuas en [to , to + T ] Rn [0, H] las funciones
,
, , p ,
h
h
la condici
on necesaria y suficiente para que el metodo de un paso de funci
on
sea de orden p es que se cumplan las condiciones
(t, x; 0)
= f (t, x)
= f (1) (t, x)
(t, x; 0)
h
2
(t, x) [t0 , t0 + T ] Rn
..
p1
p1 (t, x; 0) = f (p1)(t, x)
h
p
3.4. METODOS
DE UN PASO
3.4.6
107
M
etodo de Euler
El m
as sencillo de los metodos de un paso para resolver el PCI
(
x0 (t) = f (t, x(t)) t [to , to + T ]
x(to ) = po
es el correspondiente a (t, x; h) = f (t, x). Su esquema iterativo es
(
x0
= p0
xk+1 = xk + hf (tk , xk ),
k = 0, , N 1
y, de acuerdo con el lema 3.4.3, siempre ser
a un metodo consistente. Cuando
n
n
f : [t0 , t0 + T ] R R sea lipshitziana, de acuerdo con el lema 3.4.4, ser
a
un metodo estable y, por tanto, convergente. Cuando f sea derivable con
continuidad, de acuerdo con el lema 3.4.5, ser
a un metodo de orden 1.
Este metodo est
a implementado como la funci
on euler.sage en la worksheet Practica3. Ecuaciones diferenciales.
3.4.7
M
etodos de Runge-Kutta
se definen
Fk1
Fk2
Fk3
Fkp
b1
b2
b = b3 ,
..
.
bp
las magnitudes
0
0
a21 0
A = a31 a32
..
..
.
.
ap1 ap2
..
.
0
0
0
0
app1
0
0
0
,
0
0
= f (tk + c1 h, xk )
= f (tk + c2 h, xk + a21 Fk1 h)
= f (tk + c3 h, xk + a31 Fk1 h + a32 Fk2 h)
y se obtiene la funci
on
(tk , xk , h) = b1 Fk1 + + bpFkp
Para p = 1, tomando
c = 0,
b = 1,
A=0
108CAPITULO 3. METODOS
NUMERICOS
PARA ECUACIONES DIFERENCIALES
obtenemos la (tk , xk ; h) = f (tk , xk ) del mismsimo metodo de Euler.
Para p = 4, tomando
0
1
2
c = ,
1
2
1
2
6
b = ,
2
6
1
2
A=
0
0
1
6
0 0 0
0 0 0
,
1
2 0 0
0 1 0
Fk1 = f (tk , xk )
h
h
2
2
F = f (t , x + hF )
k4
k+1
k
k3
y obtenemos la funci
on
Lema 3.4.8
Si 1p es el vector de unos de Rp y C es la matriz diagonal de vector c,
la condici
on necesaria y suficiente para que un metodo de Runge-Kutta
(p,c,b,A) sea
1. De orden 1 es que (b|1p) = 1.
2. De orden 2 es que (b|1p) = 1 y (b|C1p ) = (b|A1p ) =
3. De orden 3 es que
(b|1p) = 1,
(b|C1p ) =
4. De orden 4 es que
(b|C 3 1p ) =
1
,
4
A1p = C1p
1
,
2
A1p = C1p
(b|AC 2 1p) =
1
2
y
1
(b|C 2 1p ) = ,
3
(b|AC1p ) =
1
6
1
,
12
(b|A2 C1p ) =
1
,
24
(b|CAC1p ) =
1
8
109
3.5. EJEMPLOS
3.5
Ejemplos
3.5.1
Calentamiento-Enfriamiento
En problemas de equilibrio termico pueden presentarse dos situaciones destacables: Una instant
anea, c
omo obtener la temperatura T de la mezcla de
dos substancias que est
an a temperaturas diferentes, y otra temporal, c
omo
obtener la temperatura T (t) de un objeto que en el instante t = 0 se abandona en una habitaci
on climatizada a temperatura Ta(t).
En el primer caso, el calor cedido por la substancia a mayor temperatura
T1 , con masa m1 y calor especfico c1 tendr
a que ser igual al calor absorbido
por la substancia a menor temperatura T2 , con masa m2 y calor especfico
c2 . Es decir, m1 c1 (T1 T ) = m2 c2 (T T2 ) y, por tanto, la temperatura de
la mezcla ser
a
T =
m2 c 2
m1 c 1
T1 +
T2
m1 c 1 + m2 c 2
m1 c 1 + m2 c 2
110CAPITULO 3. METODOS
NUMERICOS
PARA ECUACIONES DIFERENCIALES
3.5.3
Reacciones qumicas
En una reacci
on qumica elemental donde los productos X1 y X2 reaccionan
dando lugar al producto X3 , si xi (t) es la concentraci
on de Xi en el instante
t, se cumple la ley de conservaci
on de la materia:
xi (t) + x3 (t) = Ci
dxi dx3
+
= 0 para i = 1, 2.
dt
dt
dx3
se llama velocidad de la reacci
on y la ley de acci
on de masas
La funci
on
dt
asegura que existe una constante k tal que
dx3
= kx1 x2 .
dt
Si x = (x1 , x2 , x3 ) y u = (1, 1, 1), una reacci
on qumica de constante k
estar
a gobernada por la ecuaci
on diferencial x0 = f (t, x) donde
f :
[0, ) R3
(t, x)
R3
kx1 x2 u
3.5.4
Lanzamientos
d(mv)
dt
siendo
v=
dx
.
dt
111
3.5. EJEMPLOS
dv
dt
x00 = g
x0 = v
x
v
y, designamos X =
donde
f :
v 0 = g v
m
, tenemos la buscada ecuaci
on vectorial X 0 = f (t, X)
[0, ) R4
x1
x2
t,
x3
x4
R4
x3
x4
x3
9.8 x4
m
112CAPITULO 3. METODOS
NUMERICOS
PARA ECUACIONES DIFERENCIALES
cohete en un instante t es mv y en el instante t + t es (m m)(v + v) +
v
m(v vg kvk
), su derivada es
v
) mv
(m m)(v + v) + m(v vg kvk
lim
t0
= mv 0 m0 vg
v
kvk
As llegamos a la ecuaci
on de Tsiolkovski que, cuando las fuerzas actuantes
son la gravedad y el rozamiento del aire, queda en la forma:
mv 0 m0 vg
o mejor,
v
= mg v
kvk
(
x0 = v
0
m vg kvk
v0 =
v+g
mkvk
m
P
=
t0 t
T
m0 = lim
3.5.7
m=K+
P (T t)
T
Curvas de persecuci
on
Imaginemos que un m
ovil, de trayectoria conocida c : [t0 , t0 + T ] R3 , es
perseguido por otro m
ovil. La trayectoria x(t) del perseguidor cumplir
a
x0 (t) = k(t)
c(t) x(t)
kc(t) x(t)k
donde
r(t) =
kx0 (t)k
kc0(t)k
c(t) x(t)
kc(t) x(t)k
3.5.8
Curvas de arrastre
Imaginemos que un m
ovil, de trayectoria conocida c : [t0 , t0 + T ] R3 , lleva
ligada, mediante una articulaci
on esferica, una varilla de longitud ` en cuyo
extremo hay una bola. Si sobre la bola act
ua, adem
as, una fuerza exterior
3
: [t0 , t0 + T ] R y una fricci
on viscosa proporcional a la velocidad, la
trayectoria x(t) de la bola cumplir
a
x(t) = c(t) + `u(t) con
ku(t)k = 1 ,
113
3.5. EJEMPLOS
su velocidad cumplir
a
x0 (t) = c0 (t) + `u0 (t) con (u(t)|u0 (t)) = 0
y, seg
un las leyes de Newton, su aceleraci
on cumplir
a
(
x00 (t) = c00 (t) + `u00 (t) = k(t)u(t) (c0 (t) + `u0 (t)) + (t)
con (u(t)|u0 (t)) = 0 y (u(t)|u00(t)) = (u0 (t)|u0 (t))
donde k(t) es una funci
on escalar y es el coeficiente de viscosidad.
Multiplicando por u(t) tendremos
k(t) = (c00 (t)|u(t)) `(u0 (t)|u0 (t)) + (c0 (t)|u(t)) ((t)|u(t))
y, en consecuencia,
u00 =
Esta ecuaci
on de segundo orden es equivalente al sistema
u0 = v
00
00
0
0
v 0 = c + ((c |u) `(v|v) + (c |u) (|u)) u c `v +
`
u
y designando U =
podemos escribirlo como una ecuaci
on vectorial
v
U 0 = f (t, U ). Para cada condici
on inicial U (t0 ) = U0 tendremos una u
nica
soluci
on U (t) cuyas tres primeras componentes constituir
an un u(t) que nos
permitir
a escribir la trayectoria de la bola
x(t) = c(t) + `u(t).
En el caso particular de que la funci
on c : [t0 , t0 +T ] R3 sea identicamente
nula, la bola se mover
a en una esfera de centro 0 y radio ` describiendo una
trayectoria `u donde
u0 = v
v 0 = (`(v|v) (|u)) u `v +
`
En el caso particular de que el coeficiente de viscosidad sea muy grande
podemos suponer que la trayectoria de la bola ser
a
x(t) = c(t) + `u(t) con
114CAPITULO 3. METODOS
NUMERICOS
PARA ECUACIONES DIFERENCIALES
Multiplicando por u(t) tenemos que h(t) = (c0 (t)|u(t)) y, por tanto,
u0 (t) = f (t, u(t)) con
f (t, u(t)) =
3.5.9
Mec
anica Hamiltoniana
=o
x dt x0
Esta ecuaci
on vectorial equivale al sistema de n ecuaciones segundo orden
L
d L
=0
i = 1, . . . , n
xi dt x0i
que debe ser resuelto para encontrar las n componentes de xo(t) = (xo1 (t), . . .xon (t)).
Haciendo el cambio de variables
yi =
L
x0i
i = 1, . . ., n
yi = x0
i
(?)
0
yi =
xi
115
3.5. EJEMPLOS
Hamilton tuvo la idea de considerar la funci
on
H = (x0 | y) L(t, x, x0)
H 0 H 0 H
dH
dt = x x + y y + t
H
= x0 ,
y
H
L
=
t
t
x0 =
y
y 0 = H
x
x
escribirlo en forma de ecuaci
on vectorial
y considerando el vector X =
y
X 0 = f (t, X).
La expresi
on m
as general de la energa cinetica es
T = (Ax0 | x0) + (b| x0) + c
donde A Mn (R), b Rn y c R. Entonces,
y=
L
T
=
= 2Ax0 + b
x0
x0
y, por tanto,
H = 2(Ax0 | x0) + (b| x0 ) T + V = (Ax0 | x0) c + V.
Es frecuente que b = o y c = 0 y, en tal caso,
H = T + V = E = energa total del sistema.
La funci
on de Hamilton para partculas de masa 1 bajo la acci
on de algunos
campos de fuerzas conocidos, es la siguiente:
116CAPITULO 3. METODOS
NUMERICOS
PARA ECUACIONES DIFERENCIALES
1. Para un campo constante k : R3 R3 tenemos
T = 1 (v|v)
1
y, por tanto, H = (v|v) (x|k)
2
V = (x|k)
2
T = 1 (v|v)
1
2
y, por tanto, H = ((v|v) (x|x))
1
2
V = (x|x)
2
R3 \ {0}
x
R3
x
K
kxk3
tenemos
T = (v|v)
2
K
V =
kxk
y, por tanto, H =
1
K
(v|v)
2
kxk
3.6
Ejercicios
1. Pr
actica3. Ecuaciones Diferenciales.sws
Captulo 4
Variable compleja
4.1
Una ecuaci
on algebraica tan sencilla como
x2 = 1
no puede tener soluci
on en R ni en ning
un otro cuerpo totalmente ordenado
porque en ellos siempre se cumple que x2 = x x = (x) (x) 0 > 1.
Si pretendemos encontrar un cuerpo numerico en el que exista soluci
on para
esta ecuaci
on EI que, por razones hist
oricas, se llama ecuaci
on imaginaria,
debemos renunciar al orden total.
Consideramos
el subconjunto
de M22 (R) constituido por los elementos de
x y
la forma
. Este conjunto, que designamos C, es cerrado para la
y x
suma y el producto de matrices:
x1 y1
x2 y2
x1 + x2 (y1 + y2 )
+
=
y1 x1
y2 x2
y1 + y2
x1 + x2
x1 y1
x2 y2
x1 x2 y1 y2 (x1 y2 + y1 x2 )
=
.
y1 x1
y2 x2
x1 y2 + y1 x2
x1 x2 y1 y2
Es rutinario
comprobar
que
(C, +, ) es un cuerpo conmutativo con elementos
0 0
1 0
neutros
y
. Tambien es claro que
0 0
0 1
0 1
0 1
1 0
=
1 0
1 0
0 1
y,
(C, +, ) es un cuerpo en el que EI tiene la soluci
on bien visible
por tanto,
0 1
. Sin embargo, es costumbre designarla i (inicial de imaginaria).
1 0
117
118
R C
r, xy y
x
C
rx ry
ry rx
C
se
puede
expresar
respecto
de
la
la
base
x
1 0
0 1
,
0 1
1 0
de manera u
nica
1 0
0 1
z=x
+y
0 1
1 0
M
y x
b a
b
x y
en est
a en C, lo designamos z y lo llamamos
Puesto que z t = y
x tambi
conjugado de z. La conjugaci
on en C es una involuci
on distinta de la identidad de la que destacamos las siguienes propiedades:
1. <(z z) = x2 + y 2
=(z z) = 0.
2. z1 + z2 = z1 + z2
3. z1 z2 = z1 z2
En M22 (R) es muy importante el subgrupo multiplicativo O22 (R) de las
matrices que cumplen M t = M 1 , llamadas ortogonales, y que, como aplicaciones lineales M : R2 R2 , son giros.
x y
0 0
Como la inversa de
6=
es de la forma
y x
0 0
!
1
y
x
x y
x2 +y2
x2 +y2
=
y
x
y x
x2 +y2
x2 +y2
4.1. EL CUERPO A-CERRADO DE LOS NUMEROS
COMPLEJOS 119
un elemento de C estar
a en O22 (R) si y s
olo si es de la forma
x
y
x2 +y2
x2y+y2
x
x2 +y2
x2 +y2
p
x
y
2
2
x y
x2 +y2
z=
= x2 + y 2 x y+y
x
y x
x2 +y2
x2 +y2
+
p R
2
x + y2
C
z
que cumple
(a) |z| = 0 z = 0
CC
(z1 , z2 )
R+
(z1 , z2 ) = |z1 z2 |
z1 = z2
z1 , z2 C
120
2. El argumento:
Como tenemos bien difinida la aplicaci
on
O:
C \ {0}
O22 (R)!
x
|z|
y
|z|
y
|z|
x
|z|
):
C \ {0}
z
(, + 2]
t
t2
t3
t4
+ + +
2! 3! 4!
t6
t2 t4
+ +
2! 4! 6!
t3 t5
t7
sen t = t + +
3! 5! 7!
cos t = 1
se atrevi
o a escribir
it i2 t2
i3 t3
i5 t5
+
+
+
+ = cos t + i sen t
1!
2!
3!
5!
y obtuvo la famosa expresi
on
eit = 1 +
z = |z|eiargumento(z)
Esta expresi
on nos permite interpretar el producto de dos complejos como
otro complejo cuyo m
odulo es el producto de los m
odulos y cuyo argumento
es suma de los argumentos. En efecto:
z z 0 = |z||z 0|ei(argumento(z)+argumento(z
e, iterando el razonamiento, deducir que
z n = |z|n einargumento(z)
n N
0 ))
COMPLEJA
4.2. DERIVACION
121
Teorema 4.1.1
En C tienen n soluciones distintas todas las ecuaciones
zn =
con
(n, ) N C
Demostraci
on:
Si = ||ei los n complejos siguientes
p
n
||ei( n +
2k
)
n
con
k = 0, 1, , n 1
4.2
Derivaci
on compleja
Una funci
on compleja de variable compleja f : V C C, gracias a la
identificaci
on C R2 , puede ser tratada como un campo F : V R2 R2 .
Estos campos son caso particular de los tridimensionales y podemos adaptarles f
acilmente los resultados conocidos que se recuerdan en el captulo
preliminar de estos apuntes.
x
u(x, y)
Si z = x + iy, x =
, F (x) =
tenemos f (z) = u(x, y) + iv(x, y)
y
v(x, y)
y las funciones u : V R2 R y v : V R2 R son, respectivamente, la
parte real y la parte imaginaria de la f o la primera y segunda componente
del campo F .
122
Al disponer de la divisi
on compleja, cabe estudiar la existencia de la derivada
lim
zo
f (z0 + z) f (z0 )
= f 0 (z0 ),
z
z0 = x0 + iy0
en conexi
on con la existencia de la diferencial
2
x0
x0 =
y0
DF (x0 ) : R R ,
0
lim
a b
, tenemos
b a
F (x0 + x) F (x0 )
kxk
xo
a b
x
b a
=o
ux (x0 ) uy (x0 )
a b
=
vx (x0 ) vy (x0 )
b a
ux (x0 ) = vy (x0 ),
a c
2. Si F es diferenciable en x0 existe una matriz
tal que
b d
lim
F (x0 + x) F (x0 )
kxk
xo
a c
x
b d
=o
zo
f (z0 + z) f (z0 )
z
COMPLEJA
4.2. DERIVACION
123
No CR y
y
p
x2 + y 2
0
4. f (z) = |z|2 = x2 + y 2 :
2x 2y
DF (x) =
S
olo CR en
0 0
1
z
nunca es derivable
x2 + y 2 :
x
p
2
x + y2
DF (x) =
0
5. f (z) =
y f 0 (z) = 1
CR
No CR y
o y
nunca es derivable
s
olo es derivable en
x
y
y v(x, y) = 2
:
x2 + y 2
x + y2
2xy
(x2 + y 2 )2
CR y f 0 (z) = 1
2
2
x y
z2
x2 y 2
(x2 + y 2 )2
DF (x) =
2xy
(x2 + y 2 )2
(x2 + y 2 )2
ex cos y ex sen y
ex sen y ex cos y
CR
y f 0 (z) = ez
124
eiz eiz
:
2i
Como u(x, y) = sen x cosh y y v(x, y) = cos x senh y, tenemos
cos x cosh y
sen x senh y
DF (x) =
CR
sen x senh y cos x cosh y
7. f (z) = sen z =
eiz + eiz
:
2
Como u(x, y) = cos x cosh y y v(x, y) = sen x senh y, tenemos
sen x cosh y cos x senh y
DF (x) =
CR
cos x senh y sen x cosh y
8. f (z) = cos z =
Demostraci
on:
Todas son inmediatas. En 5 se sigue el metodo habitual. Es claro que 4
resulta de 3 y 5 si tenemos en cuenta 4.2.1,5.
El hecho de que para un z C \ {o} tengamos infinitas determinaciones del
argumento
Argumento(, z) (, + 2] R
obliga a considerar como multivaluadas ciertas funciones complejas.
Ejemplos 4.2.3
1. Si z 6= 0 tenemos z = |z|ei Argumento(,z) y al intentar definir la funci
on
logaritmo en el campo complejo resulta ser multivaluada:
ln(|z|ei Argumento(,z) ) = ln |z| + iArgumento(, z)
Para cada R s tenemos una funci
on univaluada o rama logartmica
125
ln :
C
ln |z| + i Argumento(, z)
C[]
z
C
ln |z| + i Argumento(, z)
no s
olo es continua sino tambien derivable con derivada 1z .
Por ello diremos que {o} {z | Argumento(, z) = + 2} es un corte
de ramificaci
on. El punto z = o, por pertenecer a todos los cortes de
ramificaci
on, se le llama punto de ramificaci
on.
2. Si z 6= 0 es claro que para cualquier w C podemos escribir
z w = ew ln z
As, la potencia de exponente complejo tambien es multivaluada.
Para cada R tenemos una funci
on univaluada no continua
zw :
C \ {0}
z
C
w ln z
cuya restricci
on, que seguimos denotando de la misma manera,
zw :
C[]
z
C
ew ln z
4.3
w w ln z
ew ln z
e
= w ln z = we(w1) ln z = wzw1
z
e
Funciones holomorfas
Una funci
on f : V C C se llama holomorfa, f H(V ), si V es abierto
y f tiene derivada compleja z V y se llama entera si f H(C).
126
y
v
k
=o
z
0
(
u
F = v
son irrotacionales
F ? = uv
i
j
k
=o
x y z
v
u
0
u y
son arm
onicas en V .
127
eg(z) = z
z V
Adem
as, si g1 H(V ) fuese otra determinaci
on holomorfa del logaritmo
k Z tal que g(z) g1 (z) = 2ki z V
Soluci
on:
1
, por ser holomorfa en V , tiene una primitiva global que desigz
1
z V y, por tanto,
namos g : V C. Entonces, g 0 (z) =
z
La funci
on
z V
exp(g(z) g1 (z)) = o
vy
uy
ux vy uy vx
u v u v
DF 1 (F (x0 )) = [DF (x0 )]1 = x y vx y x
ux
ux vy uy vx
ux vy uy vx
128
| 0 (t0 )|
= |f 0 (z0 )|
|0 (t0 )|
tambien lo es.
y
D2 (x)(y1 , y2 ) = D2 (F (x)) DF (x)(y1 ), DF (x)(y2 ) +D(F (x)) D2 F (x)(y1 , y2 )
y, en consecuencia,
El car
acter arm
onico de y de las componentes de f asegura que
(
D2 (f (z))(1, 1) + D 2 (f (z))(i, i) = 0
luego (x) = 0 z A
D2 f (z)(1, 1) + D 2 f (z)(i, i) = 0
COMPLEJA
4.4. INTEGRACION
129
u ux + v vx = 0
u2 + v 2 > 0
y
u uy + v vy = 0
vx = 0
ux = 0
y
uy = 0
vy = 0
y, por tanto,
4.4
u y
Integraci
on compleja
130
Ejemplos 4.4.1
2.
pero
Z
dz
=
z w
dz
=
(z w)n+1
ni
d =
2
0
iei
rd = 2i
r ei
iei
i
rd = n
n+1
i
(n+1)
r
r
e
cos nd i
sen nd = o
eni d
n N?
Demostraci
on:
COMPLEJA
4.4. INTEGRACION
Nos aseguran que
(
L(F , ) = 0
L(F ? , ) = 0
131
curva cerrada V
Seg
un el comentario 1.3.2,2 sabemos que F y F ? son conservativos y, por
tanto, existen
, : V R tales que F = y F ? = . El campo
w Br (o)
z
w
r 2 |w |2
=
+
2
|z w |
z w z w
luego
1
u(w) =
2r
De igual modo
1
v(w) =
2r
z
w
+
z w z w
u(z) d(z).
z
w
+
z w z w
v(z) d(z).
f (z) d(z)
Br (o)
Br (o)
y, en consecuencia,
f (w) =
1
2r
Br (o)
z
w
+
z w z w
132
Br (o)
w Br (o)
y, en consecuencia,
f (w) =
1
2i
Br (o)
f (z)
dz
zw
w Br (o)
Comentarios 4.4.5
1. La f
ormula integral de Cauchy elemental se cumple en cualquier disco
cerrado D V no siendo esencial que este centrado en o. Si C es el
borde de D, orientado en sentido contrario a las agujas del reloj,
Z
1
f (z)
f (w) =
dz w D
2i C z w
2. Derivando bajo el signo integral obtenemos:
Z
k!
f (z)
k)
f (w) =
dz
2 i C (z w)k+1
w D
COMPLEJA
4.4. INTEGRACION
133
La funci
on jw : C \ {w} C tal que z 7
1. w
/ :
Z
dz
= L(jw , ) + iL(jw? , ) = S(rot(jw ), ) + iS(rot(jw? ), ) = o
zw
2. w y da una vuelta en torno a w:
B (w) y podemos aplicar 1.3.14 en 0 = \ B (w), obteniendo
S(rot(jw ), 0 ) + iS(rot(jw? ), 0) = o
Como el borde de 0 es B (w), seg
un la orientaci
on de y el
ejemplo 4.4.1, 1, tendremos
Z
Z
dz
dz
=
= 2 i
B(w) z w
zw
3. w y da n vueltas en torno a w:
En este caso podemos descomponer en n curvas cerradas de modo
que cada una de ellas de s
olo una vuelta en torno a w y, as,:
Z
dz
= 2ni
zw
La funci
on ind : C \ Z es constante en cada componente conexa de
C \ por ser continua y tomar valores enteros y es nula en la componente
no acotada porque si B es una bola grande que Zcontiene a y w
/ B,
jw (z)d z = 0. En la
siguiente gr
afica representamos los valores de la funci
on ind suponiendo la
orientaci
on positiva contraria a las agujas del reloj.
134
Teorema 4.4.7 F
ormula integral de Cauchy general
Sea V un abierto simplemente conexo y f H(V ). Si V es una curva
cerrada que no pasa por un punto w V , se cumple que
1
ind (w)f (w) =
2 i
f (z)
dz
zw
Demostraci
on:
Sea la regi
on encerrada por la curva . Si w
/ es claro que ind (w) = 0.
Adem
as, f jw H() y el teorema 1.3.14 asegura que el segundo miembro
de la f
ormula integral tambien es nulo.
Si w existe un > 0 tal que B (w) . Entonces f jw H(0 )
siendo 0 = \ B (w) y el teorema 1.3.14 asegura que
Z
B(w)
f (z)
dz = o
zw
luego
Z
f (z)
dz = ind (w)
zw
B(w)
f (z)
dz
z w
f (z)
dz = ind {(w) f (w)
z w
4.5
135
Funciones analticas
4.5.1
Cada sucesi
on {zn } C tiene asociada de forma natural la sucesi
on de sus
sumas parciales {Sn } C donde Sn = z1 + + zn . Sabemos bien lo que
significa que {zn } sea convergente a z:
{zn } z
> 0
n > n0
X
Cuando {Sn } S preferimos escribir
zn = S. Sea cualquier abierto
A C, una sucesi
on de funciones {fn : A C | n N} y otra funci
on
f : A C. Si E A es no vaco, decimos:
p
1. {fn } f en E
{fn } f en E.
z A.
3
+ + = .
3 3 3
136
4.5.3
Series de potencias
n=0
an (z z0 ) = a0 +
n=1
an (z z0 )n
C(S)
X
n=0
an (z z0 )n
Una parte importante de la teora elemental de funciones de variable compleja se ocupa del estudio de dichos campos de convergencia y de las propiedades de las funciones desarrollables en serie de potencias o analticas. El
resultado m
as interesante de esta secci
on es la equivalencia entre analiticidad
y holomorfa (teorema 4.5.7) que probaremos haciendo uso de las tecnicas
de integraci
on compleja. Es la colaboraci
on entre los tres poderosos instrumentos, derivaci
on, integraci
on y desarrollo en serie, la que proporciona
su mayor belleza a esta teora.
Teorema 4.5.4
Dada la serie S =
X
n=0
R=
1
p
lim sup n |an |
conviniendo que
1
= y
0
1
=0
Entonces se cumple:
1. S converge absolutamente en cada punto de BR (z0 ) y converge uniformemente en cada compacto K BR (z0 )
2. S diverge en cada punto de C \ BR (z0 )
3. BR (z0 ) C(S) BR (z0 ) y nada puede asegurarse en BR (z0 ).
4. Si R > 0, fS H(BR (z0 )),
k)
fS (z) =
n=k
fS0 (z)
n=1
n an (z z0 )n1
n!
an (z z0 )nk
(n k)!
n)
f (z0 )
y, en particular, an = S
n!
n N.
k > 1
137
Demostraci
on:
lim sup |an (z z0 )n | <
1. Si |z z0 | < r < R,
n0
|an (z z0 )n | <
tal que
y, por tanto
n=0
|z z0 |n
luego
rn
|z z0 |n
rn
|an (z z0 )n |
n n0
X
|z z0 | n
r
n=0
|z z0 |
< 1, es
r
convergente y, as, S converge absolutamente en BR (z0 ).
Como la serie mayorante es una geometrica de raz
on
|an | <
tal que
1
sn
n n0
y, por tanto,
n0
n
X
X
X
k
s
k
n
n
=
an (z z0 )
|an |k <
s
sk s
n=n
n=n
n=n
0
z K
|an | >
1
|z z0 |
|an (z z0 )n | > 1
, es decir,
y la serie S ser
a divergente porque {an (z z0 )n } 6 o
3. De 1. y 2. obtenemos BR (z0 ) C(S) BR (z0 ). En los puntos de la
frontera BR (z0 ) cualquier cosa puede ocurrir como se muestra en los
siguientes ejemplos
(a) S1 =
zn
n=0
(b) S2 =
X
1 n
z
n2
n=0
X
1 n
(c) S3 =
z
n
n=0
R1 = 1 y
R2 = 1 y
R3 = 1 y
C(S1 ) = B1 (o)
C(S2 ) = B1 (o)
(
z = 1 C(S3 )
z= 1
/ C(S3 )
138
4. Si R = 0 la serie S s
olo converge en z0 y no tiene sentido hablar de la
funci
on fS . Pero cuando R > 0, fS : BR (z0 ) C est
a bien definida.
X
Adem
as, la serie
n an (z z0 )n1 tiene el mismo radio de convern=1
BR (z0 )
X
n=1
n an (z z0 )n1
X
g(z) dz =
n an (z z0 )n1 dz = o
n=1
As, el teorema 4.4.3 asegura que g H(BR (z0 )) y admite una primitiva global en BR (z0 ). Pero esa primitiva es fS puesto que
Z z
Z z
X
X
n1
g(w) dw =
an
n(wz0 )
dz =
an (zz0 )n = fS (z)fS (z0 )
z0
n=1
z0
n=1
Por tanto,
X
n=1
n an (z z0 )n1 .
Br (z0 ) V
tal que
f = fS
en
Br (z0 )
Comentarios 4.5.6
1. Si fS (z) =
X
n=0
X
f n) (z0 )
n=0
n!
(z z0 )n
139
Teorema 4.5.7
A(V ) = H(V )
Demostraci
on:
Ya sabemos que A(V ) H(V ). Probemos que H(V ) A(V ):
Sea f H(V ) y sea z0 V . Existe r > 0 tal que Br (z0 ) V y por 4.4.4
tenemos que
Z
1
f (z)
dz w Br (z0 )
f (w) =
2 i Br (z0 ) z w
Si f fuera analtica ocurrira que
f (w) =
X
f n) (z0 )
n!
n=0
y, puesto que
f n) (z0 )
1
=
n!
2i
Br (z0 )
(w z0 )n
f (z)
dz ,
(z z0 )n+1
X
1
f (z)
dz (w z0 )n
S=
n+1
2
i
(z
z
)
0
Br (z0 )
n=0
Pero,
(
w Br (z0 )
z Br (z0 )
|w z0 |
<1
|z z0 |
X
(w z0 )n
primero
1
1
1
=
=
=
n+1
w
z
0
(z z0 )
1 raz
on
z z0 1
zw
n=0
z z0
1 X
f (z)
dz (w z0 )n =
n+1
2i
(z
z
)
0
Br (z0 )
n=0
1
=
2i
X
(w z0 )n
f (z)
(z z0 )n+1
Br (z0 )
n=0
1
dz =
2i
Br (z0 )
f (z)
dz = f (w)
zw
140
Comentarios 4.5.8
X
f n) (z0 )
(z z0 )n
asegura que el radio de convergencia R de la serie
n!
n=0
es mayor o igual que r. Por tanto, f no s
olo ser
a representable en serie
de potencias en un peque
no entorno de z0 sino tambien en el mayor
disco abierto centrado en z0 que este contenido en V .
2. Si f H(V ), V es conexo y z0 V tal que f n) (z0 ) = o n 1, se
cumple que f es constante. En efecto:
El conjunto A = {z V | f n) (z) = o n 1} es un cerrado no vaco
de V . Pero adem
as, es abierto pues si z0 A y Br (z0 ) V tendremos
f (z) =
X
f n) (z0 )
n=0
n!
4.5.9
Ceros
Teorema 4.5.10
Si f H(V ), el abierto V es conexo y f no es constante, el conjunto
N (f ) = {z V | f (z) = 0} no tiene puntos de acumulaci
on en V .
Demostraci
on:
Basta ver que si z0 N (f ), Br (z0 ) tal que Br (z0 ) N (f ) = {z0 }. Sabe
X
mos que existe un Br1 (z0 ) tal que f (z) =
an (z z0 )n z Br1 (z0 ). Es
n=0
n=k
n=k
an (z z0 )nk
141
La funci
on f1 f2 tiene un conjunto de ceros con punto de acumulaci
on
y, seg
un el teorema 4.5.10 debe ser constante en V . Luego f1 = f2 en V .
4.6
4.6.1
Funciones meromorfas
Series de Laurent
n=
convergente si y s
olo si son convergentes las dos series de potencias
+
S =
n=0
an (z z0 )
S =
X
n=1
an
1
z z0
n
p
n
1
lim sup
y la divergencia si
|z z0 | > Re
p
n
|an |
|z z0 | < Ri
n=
an (z z0 )n
Adem
as fL = fS + +fS jzo donde jz0 (z) =
1
y, por tanto, fL H(A).
z z0
Cuesti
on 4.6.2
Surge aqu la siguiente pregunta: El conocimiento de la funci
on fL determina unvocamente los coeficientes an de la serie de Laurent L?. La respuesta es afirmativa pero, as como en el caso de las series de potencias, los
coeficientes quedan determinados por derivaci
on termino a termino, ahora
142
pero
Z
B (z0 )
B (z0 )
an (z z0 )n
X
fL (z)
dz
=
an
(z z0 )m+1
(z z0 )
nm1
1
2i
B (z0 )
B (z0 )
(z z0 )nm1 dz
luego
am =
dz = i
fL (z)
dz
(z z0 )m+1
m Z
f ()
es holomorfa y los campos g y g ?
z
son irrotacionales y aplic
andoles el teorema 1.3.14 obtenemos
Z
Z
Z
g()d
g()d
g()d = 0
En esa zona, la funci
on g() =
BR (z0 )
B (z)
Br+ (z0 )
143
BR (z0 )
En la primera integral
f ()
d
z
BR(z0 )
Br+ (z0 )
f ()
d
z
f ()
d
z
|z z0 |
< 1, y podemos des| z0 |
1
en serie geometrica convergente uniformemente en BR (z0 ):
z
X (z z0 )n
1
1
1
1
=
=
=
z
( z0 ) (z z0 )
z0 1 z0
( z0 )n+1
n=0
z z0
En la segunda integral
Z
f ()
d =
z
Br+ (z0 )
Br+(z0 )
luego
f ()
d
z
| z0 |
< 1, y podemos des|z z0 |
1
en serie geometrica convergente uniformemente en Br+ (z0 ):
z
X ( z0 )n
1
1
1
1
=
=
=
z
(z z0 ) ( z0 )
z z0 1 z z0
(z z0 )n+1
n=0
z0
Ahora bien,
X
X
( z0 )n
(z z0 )n
=
(z z0 )n+1
( z0 )n+1
n=0
n=1
f (z) =
X
n=0
n=1
1
2 i
1
2 i
BR (z0 )
f ()
d
( z0 )n+1
Br+(z0 )
y, as
!
f ()
d
( z0 )n+1
(z z0 )n +
(z z0 )n
144
f (
son holomorfas en
( z0 )n+1
la corona abierta de centro z0 y radios r y R por lo que
Z
Z
f ()
f ()
d =
d =
n+1
n+1
BR(z0 ) ( z0 )
Br+(z0 ) ( z0 )
Para finalizar, observamos que las funciones
B (z0 )
f ()
d
( z0 )n+1
(r, R)
X
f ()
1
d (z z0 )n z A
f (z) =
n+1
2
i
(
z
)
0
B
(z
)
0
n=
pero siendo > 0 arbitrario, se cumple z A. As, f = fL en A donde
L=
n=
an (z z0 )n
1
2 i
y an =
B (z0 )
f ()
d
( z0 )n+1
4.6.4
n Z.
La transformada z
L(n)z n +
X
L(n)
n=0
n=1
zn
p
n
|L(n)| y
Re =
1
p
lim sup n |L(n)|
Tambien sabemos por 4.6.2 que dada una f holomorfa en una corona abierta
de centro 0 y radios Ri y Re , y fijado un (Ri, Re) podemos definir la
aplicaci
on
L:
Z
m
y se cumple que f = fL .
C
1 R
2i B(0)
f (z)
dz
zm+1
145
X
xn
n=0
zn
que resultar
a holomorfa en la corona
D[xn ] = {z C | Ri < |z|} donde
Ri = lim sup
p
n
|xn |.
3. Si yn = xn+k
4. Si a 6= 0 y yn = an xn
k1
X
xn z kn
n=0
5. Si yn = nxn
6. Si k > 1 e yn = nk xn
d
Z[xn ](z)
dz
d k
Z[yn ](z) = z
Z[xn ](z)
dz
queriendo decir que debemos aplicar k veces a la funci
on Z[xn ](z) el
d
operador z
que deriva respecto de z y multiplica por z.
dz
146
Demostraci
on:
X
X
X
xn + yn
xn
yn
=
+
en D[xn ] D[yn ]
1.
n
n
z
z
zn
n=0
n=0
n=0
X
X
yn
xn
2.
=z
= z(Z[xn ](z) x0 )
n
z
zn
n=1
n=0
y, como
X
1
z
Z[1](z) =
=
,
n
z
z1
n=0
despejando, obtenemos
Z[xn ](z) =
z2
(z + 2)(z 1)2
4.6.7
Polos
X
p
f (z) =
an (z z0 )n con lim sup n |an | = o
n=
147
an = 0
X
n=0
an (z z0 )n
en
BR [z0 ]
y f ser
a analtica en BR (z0 ) y, por tanto, en V si definimos f (z0 ) = a0 .
2. Si z0 es un polo de orden k de f tendremos
f (z) =
X
n=0
an (z z0 ) +
k
X
an
(z
z0 )n
n=1
en BR [z0 ]
y la funci
on
(z) = f (z)
k
X
n=1
an
(z z0 )n
ser
a analtica en BR (z0 ) y, por tanto, en V si definimos (z0 ) = a0 .
3. Si z0 es una singularidad esencial de f la parte no analtica de f en z0
es, por as decirlo, completa.
Teorema 4.6.9
Si z0 V y f H(V \ {z0 }) se cumplen las siguientes equivalencias:
1. z0 es singularidad evitable de f
en un entorno de z0
lim f (z)
zz0
f es acotada
z0 es un
1
1
si admitimos a priori que (z0 ) = o.
f
f
3. z0 es singularidad esencial de f
Demostraci
on:
1. Si f (z) =
X
n=0
an (z z0 )n
en
148
ser
a holomorfa en V y tal que h(z0 ) = o y h0 (z0 ) = o. Por tanto,
X
X
an (z z0 )n y, en consecuencia, f (z) =
an+2 (z z0 )n
h(z) =
n=2
n=0
2. Si f (z) =
an (zz0 ) +
n=0
k
X
n=1
an
(z z0 )n
con ak 6= o en
BR [z0 ],
Br (Z0 )
Adem
as,
1
f (z)
1
(z0 ) = o,
f
si z 6= z0
si z = z0
(z z0 )k
1
1
(z) =
= (z z0 )k g(z) con g(z) =
f
(z z0 )k f (z)
(z z0 )k f (z)
y como g H(Br [z0 ]) y lim g(z) =
zz0
1
.
f
1
ak
1
, por definici
on tenemos
f
1
(z) = (z z0 )k h(z), con h analtica en cierto Br (z0 ) y lim h(z) 6= o.
zz0
f
1
Podemos, por tanto, suponer que h(z) 6= o en Br (z0 ) y que
es
h
analtica en Br (z0 ) con desarrollo en serie de potencias:
X
1
(z) =
bn (z z0 )n
h
n=0
f (z) =
n=0
bn (z z0 )nk
Br [z0 ]
z
C
1
f (z) w
149
h(z0 ) 6= o
1
h(z)
1
A(Br0 (z0 ))
h
con
f + g M(V ) y
f g M(V ) pues
P (f + g) P (f ) P (g) y P (f g) P (f ) P (g)
2. Si f H(V ), el abierto V es conexo y f no es constante, es claro que
1
1
un el comentario 4.5.8,2, N (f ) es
f M(V ) pues P ( f ) = N (f ) y, seg
un conjunto de puntos aislados.
3. En realidad, si
f M(V ) y
f (z) =
n=k
p P (f )
an (z p)n =
X
n=0
tendremos
ank (z p)n
(z p)k
150
4.6.12
Residuos
Definici
on 4.6.13
Si f M(V ) y p P (f ) es un polo de orden k > 0 tendremos
f (z) =
X
n=0
an (z p)n +
{z
fa (z)
a1
a2
ak
+
++
2
z p (z p)
(z p)k
|
{z
Q(z)
X
a1
+
an (z p)n , luego
zp
n=0
2. Si f =
g
en cierto Br [p] con g analtica, g(p) 6= o y p cero simple de h
h
Res(f, p) = lim (z p)f (z) = lim
zp
3. Si f (z) =
zp
g(z)
g(p)
= 0
h(z) h(p)
h (p)
zp
g(z)
en cierto Br [p] con g analtica y g(p) 6= o:
(z p)k
f (z) =
X
g n) (p)
n=0
n!
(z p)nk
luego Res(f, p) =
g k1)(p)
(k 1)!
1
dk1
lim k1 f (z)(z p)k
(k 1)! zp dz
4. Por u
ltimo, tambien puede calcularse el desarrollo de Laurent de f en p
y tomar directamente el coeficiente a1 . Como ejemplo, calcularemos
Res(f, 1) siendo
3z 2 5z + 4
1
1
f (z) =
3 sen
+ 2 cos
(z 1)2
z1
z1
151
N (z) = 3z 5z + 4 N (1) = 2
N 0 (z) = 6z 5
N 0 (1) = 1
00
N (z) = 6
N 00(1) = 6
z1:
Por tanto
N 00(1)
(z 1)2 = 2 + (z 1) + 3(z 1)2
2!
y, en consecuencia
2
1
N (z)
=
+
+3
2
2
(z 1)
(z 1)
z1
Vayamos ahora con el factor. Sabemos que
x3 x5
x3 x5
+
+
+
+
sen x = x
3 sen x = 3x
3!
5!
2
40
2
4
4
cos x = 1 x + x +
2 cos x = 2 x2 + x +
2!
4!
12
luego
3 sen
1
1
3
1
1
+2 cos
= 2+
+
2
z1
z 1
z 1 (z 1)
2(z 1)3
As,
2
1
f (z) =
+
+3
2
(z 1)
z1
=6+
2+
4
11
+
+
z 1 (z 1)2
3
1
1
+ =
z 1 (z 1)2 2(z 1)3
y, por tanto,
Res(f, 1) = 11
pP (f )
Demostraci
on:
En principio la suma puede ser numerable, pero si K V siendo K
compacto, s
olo habr
a un n
umero finito de polos de f rodeados por y, para
los dem
as, el ndice es 0.
152
Sean {p1 , . . . , pm} los polos rodeados por . Existe un r > 0 tal que todos
los discos Br (pj ) est
an tambien rodeados por . Por ser f holomorfa en
la regi
on cuyo borde es Br (p1 ) Br (pm) el teorema 1.3.14 nos
asegura que
Z
Z
m
X
f (z)dz =
ind (pj )
f (z)dz
j=1
Br (pj )
Para calcular cada una de estas integrales, hallamos el desarrollo de Laurent de f en el correspondiente polo pj e integramos termino a termino,
lcitamente, por la convergencia uniforme en el compacto Br (pj ). Las integrales de todos los terminos son nulas, salvo la correspondiente al termino
residual, cuyo valor es 2 iRes(f, pj ), como vimos en el ejemplo 4.4.1,1.
Luego
Z
m
X
X
f (z)dz = 2 i
ind (pj )Res(f, pj ) = 2 i
ind (p)Res(f, p)
4.6.16
j=1
pP (f )
z+
2
z = z +1
i = cos + i sen
cos =
z
=
e
2
2z
1
1
i
z
=e
= cos i sen
2
z = z 1
sen =
z
i
dz = ie d
2i
2z i
d = dz
iz
2
Z
Z 2
1
1
z + 1 z2 1
R(cos , sen )dm1 ()
se escribe
R
,
dz
i B1(o) z
2z
2z i
0
2
1
z + 1 z2 1
y si f (z) = R
,
es meromorfa y no tiene polos en B1 (o)
z
2z
2z i
Z 2
Z
X
1
R(cos , sen )d =
f (z)dz = 2
Res(f, p)
i B1 (o)
0
pB1(o)
Ejemplo 4.6.17
Si a > b > 0 probar que
Soluci
on:
2
0
d
2
=
a + b cos
a2 b2
153
d
= 2i
a + b cos
|z|=1
bz 2
z2 + 1
bz 2 + 2az + b
=
,
2z
2z
dz
+ 2az + b
1
1
=
son
+ 2az + b
b(z z1 )(z z2 )
r
r
a
a
a2
a2
z1 = +
1
y
z
=
1 y cumplen
2
b
b2
b
b2
a r a2
a r a2
|z2 | =
1 = +
1 > > 1 z2
/ B1 (o)
b
b
b2
b2
b
. Como
2
0
bz 2
d
= 2i
a + b cos
|z|=1
bz 2
dz
2
= 2i2 i Res(f, z1 ) =
+ 2az + b
a2 b2
X
1
z
=
,
n
z
z1
n=0
154
z2
.
(z + 2)(z 1)2
Z
m
C
1 R
1
dz
B
(0)
m1
2i
z
(z + 2)(z 1)2
d
(n + 1)z n (z + 2) z n+1
3n + 2
Fn (z)(z 1)2 = lim
=
2
z1
z1 dz
(z + 2)
32
Res(Fn , 1) = lim
y, en consecuencia,
(xn ) =
(2)n+1 + 3n + 2
9
f r : [0, ) C
{fn } = {f 1[n,n] }
{fn } f
l
l
resulta que
{fn } = {f 1[n,0] }
{fnl } f l
r
r
{fm } = {f r 1[0,m]}
{fm } f r
y
y
y
|fn | |f |
|fnl | |f l |
r | |f r |
|fm
155
n n
f dm1 + lim
f dm1 =
lim
n,m
f dm1 =
n
f dm1
y verifican que
existe
lim
f (x)dm1 (x)
no existe
lim
n,m
f dm1 .
n
Tambien existen otras funciones localmente integrables para las que existen
Z m
lim
f dm1
y
f
/ L1 (R, m1 )
n,m n
n n
f (x)dx :=
lim
n,m n
f dm1
lim
n,m
1
s n
f (x)dm1 (x) +
1
s+ m
f (x)dm1(x)
1
s+ n
156
1. valor principal V P (s)
f (x)dx :=
1
s n
lim
f (x)dm1(x) +
f (x)dm1 (x)
1
s+ n
f (x)dx :=
lim
n,m
1
s n
f (x)dm1 (x) +
1
s+ m
f (x)dm1(x)
i
Cn
Dn
-
f (z)dz
f (z)dz
Cn
pDn
VP
f (z)dz
Cn
Cn
f (x) dx = 2 i
Im(p)>0
Res(f, p) C
157
|z|
Demostraci
on:
Z
Z
f (z)dz
Cn
y si
Cn
lim
|z|
Cn
f (z) dz = o
Cn
Cn
f (z)dz = o .
Im(p)>0
Ejemplo 4.6.20
Si
x
f (x) = 2
, probar que
(x + 1)(x2 + 2x + 2)
Soluci
on:
f dm1 = .
5
R
r(x) >
|f | <
1
2
2
|x3 |
en
en
lim r(x) = 1
|x|
[K, K]c
y, en consecuencia,
[K, K]c
|z|
|z|
z2
= 0,
(z 2 + 1)(z 2 + 2z + 2)
Im(p)0
158
Como
z 2 + 1 = 0 z = i
z 2 + 2z + 2 = 0 z = 1 i
los u
nicos polos del semiplano superior son z1 = i y z2 = 1 + i, y los
residuos en ellos se calculan f
acilmente:
z
2+i
=
lim(z i)f (z) = lim
Res(f, i) = zi
zi (z + i)(z 2 + 2z + 2)
10 i
z
3
+
i
=
Res(f, 1 + i) = lim
z1+i (z 2 + 1)(z + i + 1)
10 i
Luego
4.7
f dm1 = V P
R
f (x)dx = 2 i
2 + i
10 i
3 + i
=
10 i
5
Ejercicios
1. Pr
actica4. Variable Compleja I.sws
2. Pr
actica5. Variable Compleja II.sws
3. Probar que:
(a) Log (1 + i)2 = 2 Log (1 + i)
(b) Log (1 + i)2 6= 2 Log (1 + i)
4. Considerando la rama principal de z i , hallar u(r, ) , v(r, ) cuando
z i = u + iv .
5. Las funciones
Re z
,
z
z
,
|z|
Re z 2
,
|z|2
z Re z
|z|
est
an definidas para z 6= 0 . Cu
ales pueden ser definidas en z = 0 de
manera que sean continuas en ese punto?.
7. Demostrar que:
(a) | exp(z 2 )| exp(|z|2 ) .
159
4.7. EJERCICIOS
(b) exp(z) no es derivable en ning
un punto.
(c) |eiz | = ey .
8. Hallar las regiones donde son holomorfas las siguientes funciones:
a) f (z) = z 2 z ,
b) f (z) = ez ,
c) f (z) = tg z ,
d) f (z) = x2 y 2 +2i|xy|
a)
u = 3(x y )
v = 3x2 y y 3
u = x2 + y 2
b)
y
v =
2
x + y2
c)
u=x
v = y
d)
u = 1 + ex cos y
v = 1 + ex sen y
11. Calcular
12. Calcular
160
2i
(3xy + iy 2 ) dz
b) |z 1| = 1
dz
:
z
20. Probar que si z i denota la rama principal (|z| > 0 , < Arg z ) ,
Z
z i dz =
1 + e
(1 i)
2
161
4.7. EJERCICIOS
21. Siendo C cada una de las circunferencias z 14 = R , R =
calcular todos los valores posibles de la integral
Z
dz
2 1)
z(z
C
1
2
, 1 , 2,
ez dz
, donde C es un contorno simple
3
C z(1 z)
cerrado, en los siguientes casos:
z sen z
dz ,
(z 1)5
x2 y 2
+
=1
3
9
siendo C |z i| = R , R = 1 , 3
siendo C |z 1| = 1
2z 2 z 2
dz , || =
6 3
z
entonces g(2) = 8i . Cu
al es el valor de g() cuando || > 3?. Existen valores de dentro de C para los cuales g() = 0 ?. Calcularlos.
162
27. Encontrar todas las funciones enteras f (z) que satisfacen las condiciones: f (2 i) = 4i , |f (z)| < e2 , z C.
28. Hallar todas las funciones f (z) holomorfas en |z| < 1 y tales que
f (0) = 3 , |f (z)| 3 , z B1 (o)
29. Hallar todas las funciones f (z) holomorfas en |z| < 1 y que satisfacen
f (0) = 1 , |f (z)| 1 , z B1 (o)
.
2
1
en el punto z = 3i y
z+2
(z 2
z
en z = 0 y su radio
+ 1)2
de convergencia.
6
t+2
C
0 t 1 , orientada en el sentido en que decrece el par
ametro.
35. Calcular
163
4.7. EJERCICIOS
z
en serie
(z 1)(z 3)
de potencias de z 1 . Calcular, en cada caso, el campo de convergencia.
(z 2
2z i
+ z)(z 2i)
z2
en serie de potencias en z = 0.
z1
Dar el radio de convergencia y clasificar el punto.
zi
1
Log
z2
z+i
1
z3
1
1
;
b)
; c) z
;
3
3
zz
zz
e 1 z
z
f ) e 1z ;
g) tanh z ; h)
d)
ez
;
z + z2
1
1
; i) sen 1z
;
z 3 (2 cos z)
e)
1 + z2
ez
j) ez(1/z)
42. Calcular los residuos de cada una de las ramas uniformes de las siguientes
que se indica:
funciones en el punto
z
za
, 0<a<1, z =1
a)
, z=1
b)
z 1
1 z
164
sen z 2
z 2 (z 4 )
44. Calcular
z 3 (1 3z)
dz , siendo C |z| = 3
(1 + z)(1 + 2z 4 )
d
= 2
2
1 + sen
(c)
cos 2 d
a2
=
,
1 2a cos + a2
1 a2
(d)
(e)
(f) V P
(x2
dx
=
2
+ 2x + 2)
2
dx
=
(x2 + 1)2
4
x4
3
dx =
x6 1
6
|a| < 1
Captulo 5
Transformadas integrales
5.1
R+
y
R
exy
R
y
C
eixy
Esta propiedad de los conjuntos {Lx | x R+ } y {Fx | x R} en los respectivos espacios C(R+ , R) y C(R, C) nos permiten demostrar los dos teoremas
siguientes de manera an
aloga. Presentaremos s
olo la prueba del segundo.
Teorema 5.1.1 Tranformada de Laplace
Sea F(R+ ) el conjunto de todas las medidas finitas definidas en la -
algebra
de Borel de R+ . Est
a bien definida y es inyectiva la aplicaci
on
L:
F(R+ )
C(R+ , R)
L()
donde
165
L() :
R+
x
R
R+ Lx d
166
F(R)
C(R, C)
donde
R
x
Demostraci
on:
R C
R Fx d
Lo hacemos en 3 pasos.
Paso 1:
Sea A0 (R, C) el conjunto de todas las combinaciones lineales con coeficientes
complejos del conjunto {Fx | x R}. De la igualdad
1 =
2 y de la aditividad de la integral se sigue que
Z
Z
a0 d1 =
a0 d2 a0 A0 (R, C).
(5.2)
R
(5.4)
Paso 2.
Sea K R un compacto no vaco, f Cb (R, R) una funci
on no identicamente nula en K y ]0, 1[ un n
umero real. Existe a A(R, R) tal que
sup{|f (x) a(x)| : x K} <
kak kf k .
(5.5)
167
En efecto:
Usaremos el siguiente hecho establecido en el lema 1.1.5:
A(R, R) es un algebra que contiene las constantes reales, separa los puntos
de R y es cerrada en la toma de m
aximos y mnimos:
(
a1 a2 = max(a1 , a2 ) A(R, R)
a1 , a2 A(R, R)
a1 a2 = min(a1 , a2 ) A(R, R)
Sea AK (R, R) = {a|K : a A(R, R)} y sea kgkK = sup{|g(x)| : x K}
si g Cb (R, R). Por el teorema 1.1.2 existe g1 A(R, R) tal que
kf g1 kK <
.
2
(5.6)
kf kK
A(R, R).
kg1 kK
(5.7)
puesto que
kf gkK
kf
k
K
kf g1 kK + kg1 gkK = kf g1 kK +
g1 g1 kg1 kK
=
K
kf kK
= kf g1 kK + kg1 kK 1
=
kg1 kK
= kf g1 kK + |kg1 kK kf kK | 2kf g1 kK < .
a := (kgkK g) kgkK
tenemos que a A(R, R) y kgkK a(x) kgkK x R. Por
tanto, kak kgkK kf kK kf k y tambien tenemos que a|K = g|K .
Entonces, por (5.7), vemos que (5.5) se satisface para a.
Paso 3.
Fijemos una f Cb (R, R) no identicamente nula y un ]0, 1[. Existe un
compacto K R tal que
1 (R \ K) < ,
2 (R \ K) < y
f |K 6= 0.
168
y, tambien,
Z
(f a)d1 =
(f a)d1 +
R\K
(f a)d1 .
a)d
1
R
K
R\K
Z
(f a)d2 2 (K) + 2kf k
R
y, en consecuencia,
Z
Z
f d1
f d2 (1 (K) + 2 (K) + 4kf k)
R
5.2
n
X
hp p1
F ()(x) =
p=1
En los puntos xq = 2 q1
n
F ()(xq ) =
n
X
p=1
n
X
hp ei(p1)x.
p=1
q = 1, , n se cumple que
con
2i
hp e
(p1)(q1)
n
n
X
p=1
hp wqp
w11
..
..
W = .
.
169
w1n
.. con w = e2i (p1)(q1)
n
qp
.
wnn
wn1
1
W
n
donde
W = (wqp)
pues es f
acil1 comprobar que
n
k=1
k=1
1X
1 X 2i (k1)(qp)
n
wpk w kq =
e
=
n
n
1 si p = q
0 si p 6= q
Por tanto, es f
acil resolver el sistema lineal
w11 w12 w1n
h1
w21 w22 w2n h2
..
. =
..
.
.
..
..
.
..
.
wn1 wn2
wnn
F ()(0)
F () 2
..
.
F () 2(n1)
n
hn
Su soluci
on es
w11 w12
h1
h2 1 w21 w22
.. = ..
..
..
. n .
.
.
hn
wn1 wn2
w1n
w2n
..
wnn
F ()(0)
F () 2
..
.
2(n1)
F ()
n
Fx h dm
170
ixt
d(t) =
a+T
h(t)eixt dt
tp = a +
tenemos
F (h)(x) =
n Z
X
p=1
tp+1
tp
h(t)eixt dt
X
T (p1)
T
eiax
h(tp )eix n
n
p=1
En los puntos xq = 2 q1
T con q = 1, , n
n
X
n iaxq
e
F (h)(xq)
h(tp )wqp
T
p=1
El sistema lineal
w11
w21
..
.
wn1
w12
w22
..
.
..
.
wn2
F (h)(0)
w1n
h(t1 )
i2a
e T F (h) 2
w2n
n
n
h(t2 )
.
=
.. ..
.
.
. . T
i2a(n1)
T
wnn
h(tn )
F (h) 2(n1)
e
n
se resuelve autom
aticamente:
h(t1 )
w11
h(t2 )
1 w21
.. = ..
. T .
h(tn )
wn1
w12
w22
..
.
..
.
wn2
F (h)(0)
w1n
i2a
e T F (h) 2
w2n
n
.
..
..
i2a(n1)
2(n1)
T
wnn
e
F (h)
n
R
x
R
(xb)2
1
e 2v
2v
171
an sus dos u
nicos
Sobre las rectas x = b v y x = b + v est
puntos de inflexi
on.
vy 2
2
172
s
R2 R
R
R2
y, por tanto,
F (1 ? 2 ) = F (1 ) F (2 )
e interesa recordar este hecho en los siguientes terminos:
Si en C(R, C) consideramos la operaci
on interna producto puntual
y en F(R) la operaci
on interna ?, la aplicaci
on F : F(R) C(R, C)
es un homomorfismo.
7. Si 1 y 2 son medidas discretas, su convoluci
on tambien es discreta y
podremos utilizar el metodo explicado en 2 para calcular explcitamente
1 ? 2 .
8. Si 1 , 2 son absolutamente continuas respecto de m, con densidades
h1 , h2 : R R+ , es natural preguntarse cu
al es la densidad de 1 ? 2 .
Apoyados en el esquema
+
B
R2 R
R
Z Z
Z Z
=
1B (t + s)h1 (t) dt h2 (s)ds =
1B Ts h1 dm h2 dm =
R
R
R
R
Z Z
Z Z
=
1B h1 Ts dm h2 dm =
1B (t) h1 (t s) dt h2 (s)ds =
R
R
R
R
Z
Z
=
1B (t)
h1 (t s)h2 (s) ds dt
R
R
R
lo cual significa que 1 ?2 << m y su densidad es R h1 (ts)h2 (s) ds.
Ello justifica que hablemos de la convoluci
on de h1 y h2 :
Z
h1 ? h2 (t) =
h1 (t s)h2 (s) ds
R
5.3
173
=
=
p + qex
p2 + 2pqex + q 2 e2x
L(sv )(x) =
=
ZR
x
X R+ R+ R+
R
Z
Lx dsv =
Lx s dv =
R+ R+
R+ R+
Lx s df1 f2 =
ex(x1 +x2 ) df1 (x1 ) df2 (x2 ) =
R+
R+
Z
Z
xx1
xx2
e
df1 (x1 )
e
df2 (x2 ) =
=
R+
R+
Z
Z
=
Lx df1
Lx df2 = (p + qex )(p + qex ) =
Z
R+
= p + 2pqe
Vemos que
R+
2 2x
+q e
174
(0, )
p
R
R
R+
2
x 12
1
(a) ( 2 ) =
e x dx = 2
et dt = .
0
(b) (1) = 1
xp1 ex
,
(p)
x=
t
,
y+1
dx =
175
dt
y+1
tenemos
tp1 et
dt = (y + 1)p
(y + 1)p(p)
Ly
R+ R+ R+ R
es inmediato ver que L(1 ? 2 ) = L(1 )L(2 ) pues
Z
Z
Ly d1 ? 2 =
ey(x1 +x2 )d1 2 (x1 , x2 ) = L(1 ) L(2 )
R+
R+ R+
5.4
N := {f L1 (R) | kf k1 = 0} =
6 {o}
Es aconsejable, por tanto, considerar el espacio normado cociente can
onico
(L1 (R), k k1) donde
L1 (R) = L1 (R)/N
176
Lema 5.4.1
X
X
X
kfnk f k1 =
|fnk (t) f (t)| dt =
|fnk (t) f (t)| dt < 1
k=1
k=1
k=1
Esto s
olo es posible si existe E M con m(E c) = 0, tal que
X
k=1
t E . Luego
R
s
C
R Fs f dm
aunque es m
as frecuente verla expresada en los terminos cl
asicos
Z
f (s) =
eist f (t) dt
Esta definici
on es consistente porque
1. Fs f es medible y |Fs f | = |f |, luego
2. Si f1 , f2 f , f1 = f2
Z
Fs f L1 (R)
R
t
R
t+a
177
R
t
R
ta
f L1 (R) ten-
Propiedades 5.4.2
1. Si f1 + f2 g
2. Si c f g
= f1 + f2
g
= cf
g
Si f
g g(s) = (is) f (s).
4. Si f Ta g
5. Si Fa f g
6. Si f Da g
7. Si f T g
= Fa f
g
= f Ta
g
= |a1 | f Da1
g
= f T
g
8. kf k kf k1
9. f : R C es uniformemente continua.
10. Riemann-Lebesgue:
lim f (s) = 0
|s|
Demostraci
on:
1. Evidente.
2. Evidente.
3. RIntegrando por partes: R
R isx
isx f 0 (x)dm(x) =
isx f (x)dm(x) = is
f (x)dm(x)
Re
R ise
Re
R
R
R
(s) = R Fs f Tadm = R Fs Ta f dm = Fa (s) R Fs f dm =
4. g
Fa (s) f (s).
178
R
f dm = f (s + a).
R
R
R
(s) = R Fs f Da dm = R (Fs a1 f )Dadm = |a1 | R Fs a1 f dm =
6. g
|a1 |f (s a1 )
(s) =
5. g
R Fs+a
En efecto:
Z
|f (s1 )f (s2 )|
=
|e1(s1 s2 )t 1| |f (t)| dt + 2
|e1(s1 s2 )t 1| |f (t)| dt =
[r,r]c
|f | dm.
Pero
|ei 1|2 = (cos 1)2 + sen 2 = 2(1 cos ) = 4 sen 2
2
|f (t)| dt.
r [r,r]c
[r ,r ]c
2rkf k1
|f | dm <
si
tal que
|s1 s2 | <
179
Z b
b a
si s = 0
ist
f (s) =
e
dt = eisb eisa
si s 6= 0
a
is
por tanto,
2
lim |f(s)| lim
=0
|s|
|s| |s|
Por linealidad, tambien es cierto para la clase de cualquier funci
on de
paso
n
X
p=
ck 1[ak ,bk ] .
k=1
Como las funciones de paso son densas en L1 (R), dada una f L1 (R)
y un > 0, existe una funci
on de paso p tal que kf p k1 < . Luego
(s)| |
|f (s)| |
p (s)| + |f(s) p
p (s)| + y
lim |f(s)|
|s|
Consecuencias 5.4.3
1. Si f L1 (R) es una funci
on (im)par, f tambien es una funci
on (im)par:
f = f T
f = f T
f (s) = f (s)
f = f T
f =f T
5. Si f L1 (R) es real e impar, <(f ) = 0:
(
(
f = f T
f = f
f = f T
f = f T
f f = 0
f +f = 0
=(f ) = 0
<(f) = 0
180
Lema 5.4.4
Demostraci
on:
Z
sen (s)
ds =
s
sen (s)
ds
s
sen (s)
ds
s
ser
a claro que la constante K = 2k cumple la condici
on exigida. Basta
sen (s)
observar la gr
afica de la funci
on
para concluir que
s
Z b
Z
sen (s)
sen
(s)
sup
ds <
ds < 1.852
s
s
b>0
0
0
Demostraci
on:
Nos dicen que
Z
f(s)
sen (st)
= i
f (t) dt.
s
s
R
Z Z b
f (s)
sen (st)
= i
ds f (t) dt
s
s
R
a
y, por tanto,
Z
Z Z bt
b f (s) Z Z b sen (st)
sen
(x)
ds |f (t)| dt =
dx |f (t)| dt
a s
s
x
R
a
R
at
181
Una funci
on f : R C que cumple lim f (s) = 0, se dice nula en el
|s|
L1 (R)
f
C0 (R)
f
est
a bien definido, es lineal, es continuo y kF k 1. Adem
as, en 5.4.2.10
vemos que si f = 1[0,1], se tiene kf k1 = 1 y kf k = 1. Luego, kF k = 1.
Teorema 5.4.7
La transformaci
on de Fourier F : L1 (R) C0 (R) es un operador inyectivo
pero no es suprayectivo.
Demostraci
on:
Para la inyectividad basta probar que
f L1 (R)
f = o
Si f f es una funci
on positiva, la medida
:
est
a en F(B) y cumple
(s) =
B
B
R R+
B f dm
Fs f dm = f (s) = o s R
f = o.
182
is
e
i
log(s)
i
log(s)
si |s| e
si s e
si s e
lim e log(log(b)) =
Observaciones 5.4.8
1. En la secci
on 5.2 hemos visto que las campanas de Gauss gbv se comportan bien en la transformaci
on F :
bv (s) = eibs e
g
vs2
2
En particular, para b = 0, v = 1:
s2
01 (s) = e 2 =
g
2g01
De aqu se deduce:
(a) El subespacio [g] es invariante por F , es decir, F ([g]) = [g].
183
s R
Probemos que f
/ L1 (R): Observando la gr
afica de la funci
on seno es
inmediato ver que
h i
s 0,
2
2
sen (s)
y, por tanto,
h
i
s 2k, 2k +
:= Ik ,
2
sen (s)
2 4k
s
s
Evidentemente,
k = 0, 1, 2,
Z
Z
Z
sen (s)
2
4k
ds
ds
ds = 1 4k
s
Ik
Ik
Ik s
1 4k|Ik |
1
2k +
1
4k + 1
y, en consecuencia,
X
sen (s)
1
ds
=
s
4k + 1
R
Z
Z
f (s) ds =
R
por lo que f
/ L1 (R).
k=0
vs2
0v (s) = e
g
2
g 1
v 0v
1 g0v1
2v
cumple que
v = g0v
h
0v (s) ds
eits g
184
La F -transformada en el
algebra (L1 (R), ?).
5.5
El espacio de Banach (C0 (R), k k) dotado del producto puntual de funciones es un algebra de Banach conmutativa sin unidad. Intentaremos definir
una operaci
on interna en L1 (R) de modo que con ella, el espacio de Banach
(L1 (R), k k1) sea, tambien, un algebra de Banach conmutativa sin unidad
para poder ver al operador F : L1 (R) C0 (R) como un homomorfismo de
algebras. Las pautas se han dado al estudiar la F -transformada de medidas
finitas y la herramienta esencial para conseguirlo es el teorema de Fubini del
que ahora nos interesan dos corolarios.
Corolario 5.5.1
Si f, g L1 (R) y definimos
h:
R2
(t, s)
C
f Ts (t) g(s)
|g(s)|
Z
Z
|f | Ts (t)dt ds =
|g(s)|kf k1ds = kf k1 kgk1 < .
R
C
Z
f Ts (t) g(s)ds
est
a bien definida y cumple que f ? g L1 (E).
Demostraci
on:
Como en el corolario 5.5.1, consideramos la funci
on
5.5. LA F -TRANSFORMADA EN EL ALGEBRA
(L1 (R), ?).
h:
R2
(t, s)
185
C
f Ts (t) g(s)
Por ser h L1 (R2 ), el apartado 3(a) del teorema 1.2.30 asegura la existencia
de un E R, con m(E c) = 0, tal que h(t, ) L1 (R) t E. Nuestra f ? g
es, precisamente, la aplicaci
on considerada all, por lo que f ? g est
a bien
definida y cumple que f ? g L1 (E).
Definici
on 5.5.3
En el espacio de Banach (L1 (R), k k1) definimos la operaci
on interna convoluci
on
?:
L1 (R) L1 (R)
(f , g)
L1 (R)
f ?g
186
Z Z
2. f ?(g?h)(t) =
f (ts)(g?h)(s) ds =
f (t s)g(s r)h(r) dr ds =
R
RZ Z
R
Z Z
=
f (t s)g(s r) ds h(r) dr =
(f Tt T ) (g Tr ) dm h(r) dr =
R Z R
Z
ZR ZR
=
(f Tt T Tr ) g dm h(r) dr =
f (t r s) g(s) ds h(r) dr =
R
R
R
ZR
= (f ? g)(t r)h(r) dr = (f ? g) ? h(t)
R
3. Inmediato.
4. Inmediato.
Z Z
Z
Z Z
|f (t s)| |g(s)|ds dt =
5. kf ?gk1 =
|f ?g(t)|dt =
f (t s) g(s)ds dt
R
R Z Z
R R
Z Z R
=
|f (t s)| dt |g(s)|ds =
|f Ts |dm |g(s)|ds = kf k1 kgk1.
R
Teorema 5.5.5
La transformaci
on de Fourier
F:
L1 (R)
f
C0 (R)
f
F (f ? g)(s) =
eist (f ? g)(t) dt =
eis(tr+r)
f (t r)g(r) dr dt =
R
R
Z Z
Z Z R
is(tr)
isr
=
e
f (t r) dt e
g(r) dr =
(Fs f ) Tr dm eisr g(r) dr =
R ZR
R
R
(s).
= f(s) eisr g(r) dr = f(s) g
R
Observaciones 5.5.6
1. Claramente, el algebra de Banach (C0 (R), ) no es unitaria porque la
u
nica unidad posible sera la funci
on constante 1 y esta no se anula en
el infinito.
2. El algebra (L1 (R), ?) tampoco es unitaria porque, si lo fuera, existira
u L1 (R) tal que
f ?u = f
= f f L1 (R)
f L1 (R) y, por tanto, f u
5.5. LA F -TRANSFORMADA EN EL ALGEBRA
(L1 (R), ?).
187
u
=g
y, como g
(s) 6=
En, particular, si g es la gaussiana standart, g
(s) = 1 s R. Pero esto es
0 s R, debera suceder que u
imposible de acuerdo con la propiedad 5.4.2.10
3. Sin embargo, las gaussianas gv cumplen que
lim kgv ? f f k1 = 0 f L1 (R)
v0
(C0 (R), k k)
Demostraci
on
Aplicando el corolario 1.1.13 al caso en que K es la compactificaci
on de
Alexandroff de R y x0 = , deducimos que un algebra contenida en C0 (R)
que separa los puntos de R y tiene conjugados, es densa en (C0 (R), k k).
Por ser F un homomorfismo, F (L1 (R)) es un algebra contenida en C0 (R).
Tambien es claro que F (L1 (R)) tiene conjugados. Si probamos que F (L1 (R))
separa los puntos de R, habremos concluido:
En L1 (R) est
a la gaussiana g11 y en F (L1 (R)) su transformada de Fourier
s2
1
s2
s2
2
11 (s) = eis 2 . Es f
g
acil ver que s1 6= s2 eis1 2 6= eis2 2 . Luego
F (L1 (R)) separa los puntos de R.
Lema 5.5.8
Sean gv y hv las funciones consideradas en 5.4.8.3. Si f L1 (R),
Z
gv ? f (t) =
hv (r)eitrf (r) dr v R+
R
Demostraci
on:
Z
Z
Z
Z
v (s) ds =
eisr hv (r) dr ds =
gv ?f (t) =
f (ts)gv (s) ds =
f (ts)h
f (ts)
R
=
=
hv (r)
R
Z
hv (r)eitr
R
eisr
Z
Z
Z
i(ts)r
itr
f (t s) ds dr =
hv (r)
e
e
f (t s) ds dr =
R
Z
Z
i(ts)r
itr
e
f (t s) ds dr =
hv (r)e
f (r) dr =
hv (r)eitrf (r) dr
R
188
Teorema 5.5.9 F
ormula de inversi
on
Si f L1 (R) y f L1 (R), existe E M con m(E c) = 0 y existe f f tales
que
Z
1
eits f (s) ds,
t E
f (t) =
2 R
Demostraci
on:
Consideremos la funcion
1
f0 (t) =
2
t R
n N
La sucesi
on de funciones medibles (h 1 Ft f ) converge puntualmente a la
n
1
Ft f y est
a dominada por esta misma funci
on integrable. El
funci
on
2
teorema de la convergencia dominada asegura que
lim g 1 ? f (t) = f0 (t) t R
y, por la observaci
on 5.5.6.3
lim kg 1 ? f f k1 = 0.
Comentarios 5.5.10
1. Esta f
ormula de inversi
on es la misma que la que hemos obtenido para
las gaussianas gv en la observaci
on 5.4.8.3.
2. La inyectividad de F : L1 (R) C0 (R) puede obtenerse como corolario
del teorema 5.5.9:
Si f = 0 es claro que f L1 (R). Por tanto, f tiene un representante
f = 0 a.e.(m).
3. Si f , f1 y f2 est
an en L1 (R) tenemos: f = f1 ? f2
En efecto:
Est
a probado en el teorema 5.5.5.
f = f1 f2 .
= f1 f2 = f, luego
Consideramos h = f1 ? f2 . Nos dicen que h
f = h.
189
5.6
1
2
F (u) =
F (f )(y) ixy
e dy
1 F (g)(y)
F (f )
,
1 F (g)
Estar
a bien definida cuando
Z
Z
zt
|f (t)e |dt =
R+
R+
|f (t)|extdt < .
El n
umero real x0 = inf{x R | f (t)ext L1 (R+ )} se llama abcisa de
sumabilidad de f y se cumple el siguiente
Teorema 5.6.1
Si f : R+ C es medible y tiene abcisa de sumabilidad x0 la transformada
de Laplace est
a bien definida y es holomorfa en el semiplano
L(f ) : <(z) > x0 C
190
Demostraci
on:
Si z = x + iy tenemos que
Z
Z
|f (t)|extdt
|L(f )(z)|
R+
|f (t)|ex0 t dt < +
R+
en
<(z) > x0
Adem
as, m N, la abcisa de sumabilidad de la funci
on
R+
t
Pm f :
C
tm f (t)
tambien es x0 y, como
|tm f (t)ext | tm |f (t)|ex0 t
y la mayorante es integrable, podemos derivar bajo el signo integral
Z
dL(f )m
m
(z) = (1)
tm f (t)ezt dt = (1)m L(Pm f )(z)
dz m
+
R
Ejemplos 5.6.2
1. La funci
on de Heaveside H = 1[0,) tiene abcisa de sumabilidad x0 = 0
y su L-transformada es
L(H):
<(z) > 0
z
C
1
z
2. La funci
on P 1 que lleva t 7 t 2 tiene abcisa de sumabilidad x0 = 0
2
y su L-transformada es
L(P 1 ):
<(z) > 0
z
R
0
C
p
z
zu2
2e
du =
zu2
du =
t = u y
.
z
3. Para p 0 y a 0 la funci
on Pp La que lleva t 7 tp eat tiene abcisa
de sumabilidad x0 = a y su L-transformada es
L(Pp La ):
<(z) > a
C
(p + 1)
(z a)p+1
191
Observaci
on 5.6.3
on
Si f : R+ C es medible con abcisa de sumabilidad x0 y f es su extensi
f:
C
(
0
si t < 0
f (t) si t 0
a.e.(m) en R+
3. Conjugaci
on:
La conjugada f : R+ C tambien tiene abcisa de sumabilidad xf .
De acuerdo con 5.4.3,2 y la observaci
on 5.6.3. se deduce que
L(f)(z) = L(f )(
z)
4. Comportamiento en :
De acuerdo con el lema 5.4.2,10 y la observaci
on 5.6.3 se cumple que
lim L(f )(z) = 0
|z|+
5. Dilataci
on:
Dado a > 0 podemos componer f con la dilataci
on Da : R+ R+ ,
192
R+
t
1
dt =
a
f Da :
y, como
zt
f (at)e
C
f (at)
f (s)e a s ds
xf
a
1
L(f ) D 1
a
a
6. Traslaci
on:
Dado a > 0 podemos componer f con la traslaci
o n Ta : R+ R+ ,
R+
t
f Ta :
C
f (t + a)
Por tanto,
az
L(f Ta )(z) = e
Z
L(f )(z)
zs
f (s)e
ds
7. Retardo:
Dado a > 0 podemos componer la extensi
on
f:
C
(
0
si t < 0
f (t) si t 0
con la traslaci
on Ta y obtener la funci
on:
f Ta :
R
t
C
(
0
f (t a)
si t < a
.
si t a
A la restricci
on de f Ta en R+ la designamos
f Ta :
R+
t
C
(
0
si t < a
f (t a) si t a
zt
f (t a)e
dt =
f (s)e(z+a)s ds,
la abcisa de sumabilidad de f Ta es xf + a y
L(f Ta ) = La L(f )
8. Derivaci
on:
Si existe L(f 0 ), integrando por partes tenemos
Z
Z
0
zt
zt
f (t)e dt = f (t)e + z
f (t)ezt dt
0
luego,
|z|+
|z|+
t+
As,
lim L(f 0 )(z) = lim zL(f )(z) f (0) = lim f (f ) f (0)
|z|0
t+
|z|0
y, por tanto,
lim zL(f )(z) = lim f (t)
t+
|z|0
11. Integraci
on:
La primitiva de f ,
F :
R+
t
C
0 f (s)ds
Rt
193
194
L(f )(z)
z
12. Convoluci
on:
La funci
on
f ?g :
R+
t
Rt
0
C
f (s)g(t s)ds
195
Tabla de L-transformadas
f
L(f )
1
z
1
z2
n!
1
t
tn
z n+1
1
za
k!
(z a)k+1
1
(z i)2
1
(z + i)2
2z
(1 + z 2 )2
a
(z b)2 + a2
z
(z b)2 + a2
f (0) + zL(f )(z)
eat
tk eat
teit
teit
tsin(t)
ebt sen at
ebt cos at
f0
f 00
Rt
0
f (s)ds
f ?g
Ejercicio 5.6.5
Determinar la funci
on f (x) que satisface la ecuaci
on:
x
f (x) = e
x
0
Soluci
on:
Si designamos
g(x) = ex sen x
f (x) = ex + f ? g(x)
196
y transform
andola usando el teorema de convoluci
on, resulta
1
1
z+1
+ L(f )(z) L(g)(z) luego L(f )(z) =
L(f )(z) =
z+1
1 L(g)(z)
Por tanto,
(z + 1)2 + 1
1
1
=
+
3
(z + 1)
z + 1 (z + 1)3
Por la linealidad y la inyectividad de la L-transformada, la tabla tambien
nos sirve para hallar las antitransformadas de combinaciones lineales de
funciones de la u
ltima columna. As,
L(f )(z) =
x2 ex
2
Tambien nos da esta respuesta la orden de Sage L(f )(z).inverse laplace(z, x)
f (x) = ex +
g:
R
t
C
G(x + it)
est
a en L1 (R) y, si B es la recta paralela al eje imaginario con abcisa x,
R+
t
h:
es tal que L(h) = G.
1
2i
C
zt dz
G(z)e
B
Demostraci
on:
La primera afirmaci
on es inmediata. Para la segunda, parametrizando la
recta B en la forma
B: R
C,
s 7 x + is
tenemos
Lx (t)
y, por 5.5.8
1
2i
G(z)ezt dz =
1
F Lx (t)
2i
y, por 5.6.3
1
2
zt
G(z)e dz
g(s)eist ds
R
= g(t)
197
Ejemplo 5.6.7
Para n > 1 la funci
on
C \ {0}
z
C,
1
zn
g:
R
t
C
1
(x+it)n
est
a en L1 (R) porque
Z
|g(t)|dt 2
dt
< .
tn
Seg
un 5.6.6 para hallar la L-antitransformada de G(z) debemos evaluar
Z zt
1
e
dz para t > 0
2i B z n
siendo B la recta paralela al eje imaginario de abcisa x. Siendo R > x, si
recorremos el contorno BR CR en sentido contrario a las agujas del reloj ,
CR
R 2 x2
BR
R 2 x2
zt
encerramos a z = 0, u
nico polo de la funci
on ezn y, usando 4.6.15,
Z
Z
1
ezt
1
ezt
ezt
dz
+
dz
=
Res(
; 0)
2i BR z n
2i CR z n
zn
Si R la primera integral tiende a la que debemos evaluar mientras que
la seguda tiende a 0 y, as,
Z zt
1
e
ezt
tn1
dz
=
Res(
;
0)
=
2i B z n
zn
(n 1)!
puesto que
ezt = 1 +
zt
z n1 tn1
++
+
1!
(n 1)!
198
5.7
siendo
1R
A(y) =
R f (t) cos ytdt
1R
f
(t)
sen
ytdt
B(y)
=
R
Con esta nueva formulaci
on, el teorema 5.5.9 se puede utilizar para resolver
ecuaciones de la fsica matem
atica como se indica en los siguientes ejemplos:
Ejemplo 5.7.1
x > 0, t > 0.
199
y, en consecuencia, ambos miembros deben ser iguales a una constante negativa, digamos 2 . As, una candidata a soluci
on ser
a
2
n
X
ui tambien ser
a soluci
on y,
i=1
por extensi
on, tambien ser
a soluci
on
Z
2
u(x, t) =
e tB() sen (x))d
R+
y, seg
un la formulaci
on del teorema 5.5.9 dada en la p
ag. 198 deducimos
que f debe ser una funci
on impar y cumplirse que
Z
Z
2
1
f (v) sen (v)dv =
f (v) sen (v)dv
B() =
R
R+
As, podemos proponer como soluci
on de la ecuaci
on en derivadas y las
condiciones en los bordes:
Z
2
2
u(x, t) =
f (v)e t sen (v) sen (x)dvd
R+ R+
Ejemplo 5.7.2
Una placa aislada semi-infinita R R+ tiene su borde (x, 0) a temperatura
f (x). Calcular su temperatura u(x, y) en condiciones estacionarias.
Soluci
on:
Si es la conductividad termica de la placa, la fsica nos dice que
2
u
u 2u
=
+ 2
t
x2
y
y, por tanto, cuando la temperatura no varie con el tiempo, u(x, y) debe
satisfacer la ecuaci
on de Laplace
2 u 2u
+ 2 = 0 (x, y) R R+ .
x2
y
200
Adem
as, debe satisfacer la condici
on de frontera, u(x, 0) = f (x) x R.
Una soluci
on en variables separadas u(x, y) = X(x)Y (y) debe cumplir que
X 00 (x)
Y 00 (y)
=
X(x)
Y (y)
y, en consecuencia, ambos miembros deben ser iguales a una constante negativa, digamos 2 . As, una candidata a soluci
on ser
a
u (x, y) = X (x)Y (y) = (A() cos(x) + B() sen (x)) C()ey + D()ey
De la condici
on de frontera u(x, 0) = f (x) y de la nueva formulaci
on del
teorema 5.5.9 deducimos que
Z
f (x) =
(A() cos(x) + B() sen (x)) d
R+
1R
A() =
R f (u) cos udu
1R
B()
=
f
(u)
sen
udu
(x, t) R R+
201
y
(x, 0) = 0
t
x R.
como y
, nos sirven las
t (x, 0) = 0, debemos exigir que D() = 0. As
soluciones
y (x, t) = (A() cos(x) + B() sen (x)) cos(at)
y, tambien, su suma generalizada
Z
(??)
y(x, t) =
(A() cos(x) + B() sen (x)) cos(at)d
R+
De la condici
on inicial y(x, 0) = f (x) y de la reformulaci
on de 5.5.9 obtenemos
Z
f (x) =
(A() cos(x) + B() sen (x)) d
R+
con
1R
f
(u)
cos
udu
A() =
R
1R
f (x + at) f (x at)
2
202
F
(y) =
e
dx =
ueiyx dx = F (u)(y)
t
t R
t
R t
y, por 5.4.2,3,
2
u
u
(y) = iyF (u)(y) y F
(y) = y 2 F (u)(y).
F
x
x2
La ecuaci
on transformada
F (u)(y) = y 2 F (u)(y)
t
puede ser interpretada como una ecuaci
on diferencial en t y,as,
2
F (u)(y) = Cey t.
En particular, para t = 0,
F (u(x, 0))(y) = F (f (x))(y) = C
y, por tanto,
F (u)(y) = F (f )(y)ey t .
Ahora bien, en la p
ag. 172 obtuvimos que
F (0v )(y) = e
vy 2
2
y, as,
F (u)(y) = F (f )(y) F (0,2t)(y).
El teorema de convoluci
on concluye que
Z
Z
2
1
u(x, t) =
0,2t()f (x )d =
e 4t f (x )d.
4t R
R
.
5.8
203
Las L-transformadas se suelen usar para para transformar ecuaciones diferenciales lineales con coeficientes constantes en ecuaciones algebraicas, ecuaciones diferenciales lineales con coeficientes variables en otras ecuaciones
diferenciales m
as sencillas o ecuaciones en derivadas parciales en ecuaciones
diferenciales, resolver estas y obtener el resultado final calculando la antitransformada, o resolver ecuaciones integrales haciendo uso del teorema de
convoluci
on. Veamos algunos ejemplos.
Ejemplo 5.8.1
Resolver el problema de condici
on inicial
y 00 (t) + y(t) = cos(t),
y(0) = 0,
y 0 (0) = 1.
Soluci
on:
La ecuaci
on transformada es:
1 + z 2 L(y)(z) + L(y)(z) =
z
1 + z2
1 + z + z2
(1 + z 2 )2
1
z
+
2
1+z
(1 + z 2 )2
Aplicando la tabla de la p
ag. 194 obtenemos la soluci
on
1
y(t) = sen (t) + t sen (t)
2
Ejemplo 5.8.2
Resolver el problema de condici
on inicial:
y 00 (t) + 2ty 0 (t) 4y(t) = 1 con y(0) = y 0 (0) = 0
Soluci
on:
Por la linealidad y el teorema 3.13.1, la L-transformada de la ecuaci
on diferencial,
y 00 (t) + 2ty 0 (t) 4y(t) = 1
es
dL(y 0 )
(z) 4L(y)(z) = L(1)(z)
dz
Al transformar 1 y las derivadas con y(0) = y 0 (0) = 0, obtenemos
L(y 00 )(z) 2
dL(y)
(z) = 1
dz
que es una ecuaci
on diferencial lineal de primer orden cuya soluci
on, como
debemos saber o podemos ver mediante el siguiente programita de Sage,
z(z 2 6)L(y)(z) 2z 2
204
var(z)
Ly = function (Ly, z)
ec = diff (Ly, z) == (z*(z^2-6)*Ly-1)/(2*z^2)
desolve(ec,Ly)
es
L(y)(z) = z 3
Su antitransformada la hallamos usando la tabla de la p
ag. 194 o la orden
de Sage:
var(C t)
f(z)=C+z^(-3)
show(f(z).inverse_laplace(z,t))
y resulta ser
y(t) =
t2
.
2
Ejemplo 5.8.3
Resolver la ecuaci
on en derivadas parciales
u
2u
= 2
t
x
en
u(x, 0) = sen 2 x
u (0, t) = u (, t) = 0
x
x
Soluci
on:
La transformada de
u
ser
a
x
Z
Z
u
L(u)
ezt (x, t)dt =
ezt u(x, t)dt =
(x, z)
x
x 0
x
0
205
2u
2 L(u)
ser
a
. As, la ecuaci
on transformada es
2x
2x
e, igualmente, la de
2 L(u)
(x, z)
2x
zL(u)(x, z) sen 2 x =
Ae
Como
2
sen x =
zx
+ Be
eix eix
2i
2
zx
1 e2xi e2xi
2
4
4
1
2s
1 1
4 4+s
D=
y la soluci
on particular
E=
1 1
4 4+s
1
cos 2x
2s 2(4 + s)
As, la soluci
on general de la ecuaci
on completa es
Ae
zx
+ Be
zx
1
cos 2x
2z 2(4 + z)
1
cos 2x
2z 2(4 + z)
S
olo queda hallar su antitransformada y para ello usamos la tabla de la p
ag.
194 o o la orden de Sage
206
var(x t)
f(z)=(1/(2*z))-(cos(2*x)/(2*(4+z)))
show(f(z).inverse_laplace(z,t))
resultando ser
u(x, t) =
e
=
2
2
2
Ejemplo 5.8.4
Resolver la ecuaci
on en derivadas parciales
2u
2u
2u
2
+
= 0 en
2x
xt
2t
x 0, t 0
Soluci
on:
u(x, 0) = 2x2
u
(x, 0) = ex
t
=
L
2x
2x
u
L(u)
L
=z
4x
t x
x
2u
L
= ex 2zx2 + z 2 L(u)
2t
y la ecuaci
on transformada es
2 L(u)
L(u)
2 z
4x ex 2zx2 + z 2 L(u) = 0
2x
x
207
4
,
z3
B = 0,
L(u)(x, z) =
C=
2
,
z
D=
1
(z 1)2
1
1
4
+ 2x2 + ex
3
z
z
(z 1)2
S
olo queda hallar la antitransformada usando la tabla de la p
ag. 194 o la
orden de Sage
var(x t)
f(z)=(1/(2*z))-(cos(2*x)/(2*(4+z)))
show(f(z).inverse_laplace(z,t))
resultando ser
u(x, t) = 2t2 + 2x2 + ex t et = 2(x2 t2 ) + tex+t
Captulo 6
Problemas de Sturm
Liouville
6.1
ya que
R.
La aplicaci
on
kk :
X
x
R
1
(x|x) 2
x, y X
X
y
R
(x|y)
|(x|y)|
kyk
| y 6= 0} kxk.
Teorema 6.1.1
Si en un espacio normado (X, k k) se cumple la ley del paralelogramo, la
norma procede del producto escalar
209
210
(|) :
XX
(x, y)
R
kx + yk kx yk2
4
2
Demostraci
on:
Esta aplicaci
on ( | ) es, claramente, simetrica y definida positiva. Adem
as,
es rutinario comprobar que
(u + v|z) + (u v|z) = 2(u|z)
x+y
xy
y v=
vemos que (x|z) + (y|z) = (x + y|z),
2
2
luego (|z) cumple la condici
on de linealidad para la suma. Directamente de
la definici
on, vemos que tambien cumple la condici
on de linealidad para el
producto por 1, 0 y -1. Tomando u = v, lo probamos para el producto por
2 y, por inducci
on, para el producto por cualquier entero. De ah, se prueba
inmediatamente para el producto por cualquier racional y, por continuidad,
para el producto por cualquier real. Por tanto, ( | ) es bilineal.
Tomando u =
n=1
x2n <
es
X
((xn )|(yn )) =
xn yn
n=1
Z
1/2
|f (t)| dt
procede del producto
2. En C[a,b] la norma kf k2 =
a
Z b
escalar (f |g) =
f (t) g(t)dt pero
a
Su completado es el Hilbert
comentario 1.2.22,2.
(C[a,b],k k2 ) no es completo.
211
(x|y)
kxk kyk
xA
Si A es ortogonal y 0
/ A, A es libre pues si {x1 , ..., xn} A y
n
X
i xi = 0,
i=1
y si
AB
B A .
212
6.2
Aproximaci
on hilbertiana
1 AC (x) C
kx AC (x)k = inf{kx ck | c C}
tal que
xn + xm
2
2 kxn k2 + kxmk2 4k2
kxn xm k = 2 kxn k + kxm k 4
2
2
1 AC (x) C
tal que
kx AC (x)k = d(x, C)
y C,
y0 = AC (x)
Demostraci
on:
1. {x} + C es convexo cerrado y no vaco x X. Por el lema 6.2.1,
1 y0 C tal que kx y0 k = min{kx yk}. Luego y0 = AC (x).
yC
HILBERTIANA
6.2. APROXIMACION
213
(, y) [0, 1] C
luego
kx AC (x)k2 kx (1 )AC (x) yk2 =
(, y) [0, 1]C.
En consecuencia,
2(x AC (x)|y AC (x)) ky AC (x)k2
(, y) (0, 1] C
1 AY (x) Y
2. x AY (x) Y
tal que
kx AY (x)k = d(x, Y )
x X.
3. X = Y Y
4. La aplicaci
on de aproximaci
on AY : X X es lineal, idempotente y
que cumple im AY = Y y ker AY = Y . Adem
as, kAY k = 1.
Demostraci
on:
1. Todo subespacio es convexo y no vaco. Si Y es cerrado, ya est
a
probado en 6.2.2,1.
214
2. d2 (x, Y ) =
(x1 |xn )
(x2 |xn )
..
.
(xn |xn )
xi
G(x1 , x2, , xn , x)
G(x1, x2 , , xn )
Demostraci
on:
El teorema 6.2.3 asegura, para cada x X, una u
nica mejor aproximaci
on
n
n
X
X
i xi que cumple x
i xi Y . Como Y = {x1 , , xn } , el
i=1
i=1
vector a = (i ) Rn es la u
nica soluci
on del sistema de ecuaciones lineales
(SL)
n
X
i=1
HILBERTIANA
6.2. APROXIMACION
215
A
nadiendo esta ecuaci
on al sistema (SL) obtenemos el nuevo sistema lineal
1 (x1 |x1 ) + 2 (x1 |x2 ) + . . .
1 (x2 |x1 ) + 2 (x2 |x2 ) + . . .
+ n (x1 |xn) +
+ n (x2 |xn) +
+ n (xn|xn ) +
0
= (xn|x)
+ n (x|xn) + d2 (x, Y ) = (x|x)
0
0
= (x1 |x)
= (x2 |x)
..
.
n
X
(xi|x)
xi
(xi|xi)
i=1
n
X
i=1
(xi|x)xi
Demostraci
on:
Si F = {x1 , , xn} e Y = [F ], Pit
agoras y 6.2.5 aseguran que
kxk2 = kAY (x)k2 + kx AY (x)k2 kAY (x)k2 =
n
X
i=1
|(x|xi)|2 .
X
x
X?
fx
216
tanto, v [A] .
6.3
Bases hilbertianas
Definici
on 6.3.1
En un espacio normado (X, k k), una sucesi
on (xn ) X tal que para cada
elemento x X existe una u
nica sucesi
on (n ) R tal que
x=
n xn
n=1
217
n=1
Teorema 6.3.3
= A = {0} = X.
Teorema 6.3.4
Un espacio de Hilbert separable (X, k k) siempre tiene una base de Schauder.
Demostraci
on:
Por ser (X, k k) separable, existe un subconjunto A numerable y denso que,
sin restricci
on, podemos suponer libre. Sometemos a A = (xn) al siguiente
proceso iterativo de Gramm-Schmidt:
x1
Con x1 generamos u1 =
y es claro que [x1 ] = [u1 ].
kx1 k
v2
Con x2 generamos v2 = x2 (x2 |u1 )u1 y u2 =
y es claro que
kv2 k
u2 u1 y [x1 , x2] = [u1 , u2 ].
v3
Con x3 , v3 = x3 (x3 |u1 )u1 (x3 |u2 )u2 y u3 =
y es claro que
kv3 k
u3 u1 , u3 u2 y [x1 , x2 , x3] = [u1 , u2 , u3 ]...
As, construimos el conjunto ortonormal U = (un ) tal que [A] = [U ]. Como
X = A [U ] X, U es total. Adem
as, Pit
agoras le asegura la condici
on 3
de 6.3.2. Luego (un ) es base de Schauder.
218
Z
Z
Z
1
cos(n + m)tdt +
cos(n m)tdt = nm
cos nt cos mtdt =
2
Z
Z
Z
1
sen nt cos mtdt =
sen (n + m)tdt +
sen (n m)tdt = 0
2
219
[T, T ]
x
[, ]
x
T
definimos la aplicaci
on lineal, biyectiva y k k-isometrica
C:
C[, ]
f
C:
L2 [, ]
f
C[T, T ] .
f c
Su extensi
on
L2 [T, T ]
f c
1 kf k2
1 kC(f )k2
T
X
x
`2
((x|en))
k(x)k =
Si definimos xk =
k
X
n=1
X
n=1
|(x|en)|2 kxk2
kxk =
n=1
|(x|en)|2
n=1
k
X
n=1
n en
es
n en X. Evidentemente,
220
6.4
B(X)
L
B(X)
L?
L L?
son autoadjuntos.
2. kL? Lk = kLk2
3. ker L = (im L? )
ker L? = (im L)
(relaciones de L
orch)
Demostraci
on:
1
221
1. Inmediata
2. kL(x)k2 = (L(x)|L(x)) = (L? L(x)|x) kL? Lk kxk2
kLk2 kL? Lk. La desigualdad contraria es evidente.
luego
Demostraci
on:
Designemos QL (x) := (L(x)|x) y RL := sup {|QL(x)|}.
xB
Es claro que |QL(x)| kLk kxk2 luego RL kLk. Para probar la desigualdad contraria tenemos en cuenta que
kLk = sup {kL(x)k} = sup {sup {(L(x)|y)}} = sup {(L(x)|y)}
xB
xB yB
x,yB
RL
4
4
kx + yk2 + kx yk2
kxk2 + kyk2
= RL
RL
4
2
x, y B
Observaci
on 6.4.3
de un espacio de Hilbert (X, k k) no es compacta
La bola unidad cerrada B
carece de subsucesiones de Cauchy ya
pues toda base ortonormal
(en ) B
que kei ej k = 2.
Por ello conviene definir una convergencia m
as debil que la de la norma para
lograr, al menos, la compacidad debil de su bola unidad cerrada.
Definici
on 6.4.4
En un espacio de Hilbert (X, k k) decimos que la sucesi
on (xn) converge
debilmente a x y lo escribimos (xn ) * x si ((xn|y)) (x|y) y X.
Teorema 6.4.5
222
((a1 |x1n )) y1
y, de igual modo,
(x2n)
subsucesi
on de
((a2 |x2n )) y2
(x3n)
subsucesi
on de
((a3 |x3n )) y3
As, la subsucesi
on diagonal (xnn ) cumple que ((ai |xnn )) yi ai D.
Probaremos que, tambien, ((y|xnn)) es convergente y Y . En efecto:
Y
y
R
lim ((y|xnn))
223
(L(wn )) y0
(L(wn)) * y0
Comentarios 6.4.9
1. Los operadores compactos, por transformar las sucesiones debilmente
convergentes en convergentes, se llaman completamente continuos.
2. Designamos F(X) al subconjunto de B(X) constituido por todos los
operadores de rango finito. F(X) es un subespacio del espacio vectorial B(X) pero, en general, no es cerrado: Si (X, k k) es separable y
dim X = , es claro que la sucesi
on de proyectores b
asicos respecto
de cualquier base hilbertiana est
a en F(X) pero su lmite, que es la
identidad, no lo est
a.
3. F(X) es un ideal del algebra B(X) porque, claramente,
(
F L F(X)
(F, L) F(X) B(X)
L F F(X)
4. Designamos K(X) al subconjunto de B(X) constituido por todos los
operadores compactos. Es f
acil ver que K(X) es un subespacio del
espacio vectorial de B(X). Probaremos que es un ideal cerrado:
Teorema 6.4.10
K(X) es un ideal cerrado de B(X)
Demostraci
on:
Sean cualesquiera L B(X) y C K(X).
224
tal que
y existe
Cn0 (B)
p
[
i=1
xi + B.
2
Dado cualquier x B tenemos kL(x) Cn0 (x)k < 2 y un xi0 tal que
p
[
Teorema 6.4.11
Sea (X, k k) un espacio de Hilbert y sea L B(X) compacto y autoadjunto.
Existe un vector unitario u que cumple L(u) = kLku.
Demostraci
on:
Por ser L autoadjunto, el teorema 6.4.2 asegura que existe una (xn ) B
tal que kLk = lim |(L(xn)|xn)| y el teorema 6.4.5 permite suponer que
n
luego
2
L(u) kLku
kLk2 2kLk2 + kLk2 = 0
n=1
2
n un un
N
otese que si L es no nulo, tambien lo es u
225
X
n=1
n un vn
n=1
(x|un)L(un ) =
n=1
kL(un)k(x|un)
L(un )
kL(un )k
L(un )
Si (un ) pudiera ser elegida de modo que
fuese ortonormal, el
kL(un )k
L(un )
teorema estara probado tomando (vn ) =
y (n ) = (kL(un )k)
kL(un )k
226
Corolario 6.4.14
Si (X, k k) es un Hilbert separable, F(X) = K(X).
Demostraci
on:
Por 6.4.7,1 sabemos que F(X) K(X), luego F(X) K(X). Por 6.4.10
sabemos que K(X) = K(X), luego F(X) K(X).
Para el contenido contrario basta partir de un L K(X) inyectivo. El
corolario 6.4.13 asegura, entonces, que
!
k
k
X
X
L = lim
n un vn
con
n un vn F(X)
k
n=1
n=1
227
X
(y|un)
un
n
n=1
X
(y|un)
un
[u1 , , uk ] +
n
n=k+1
X
(y x|un )
n=1
un =
k
X
n=1
X
(y x|un )
(x|un )un +
un
n
n=k+1
(y x|un )
n
(x|un ) =
(y|un)
un
n
n > k
y, despejando,
n > k
228
X
(y|un)2
2n
n=1
<
X
(y|un)2
< .
2n
n=k+1
n=1
kH(un)k2 <
Observaciones 6.4.18
1. La identidad de Parseval (ver 6.3.7) asegura, para cualquier otra base
hilbertiana (vm ), que
!
X
X
X
kH(un)k2 =
|(H(un) | vm)|2 =
n=1
n=1
m=1
n=1
X
n=1
m=1
|(un | H ? (vm))|2
m=1
kH ?(vm )k2
adem
as, si designamos HS(X) al conjunto de todos los operadores de
Hilbert-Schmidt del espacio de Hilbert separable (X, k k), resulta que
H HS(X) si y s
olo si H ? HS(X)
2. La funci
on
N:
HS(X)
H
X
n=1
!1
kH(un)k2
est
a bien definida porque no depende de la base (un ) y nos permite
probar que HS(X) es subespacio vectorial de B(X). En efecto:
229
n=1
kH(un ) + G(un )k
! 12
m
X
n=1
! 21
N(H)+N(G)
HS(X) HS(X)
(H, G)
(H(un )|G(un))
n=1
X
x
X
k
X
(x|un )H(un)
n=1
k
X
n=1
|(x|un)| kH(un)kN(H)kxk
y, nuevamente, por H
older,
X
kH(x) Hk (x)k =
(x|un )(H Hk )(un )
N(H Hk )kxk.
n=k+1
Como (N(H Hk )) 0,
(kH Hk k) 0 y (Hk ) H.
El espacio de Hilbert m
as u
til para el tecnico es L2 [a, b] y ha sido introducido
en 6.1.2,2 como el completado de (C[a, b], k k2). Este espacio es separable
pues, por el teorema 1.1.2, la sucesi
on de polinomios en una variable (tn1 )
es densa en C [a, b] y, a su vez, C([a, b], R) es denso en L2 [a, b].
Es interesante observar que si (en ) es una base ortonormal de L2 [a, b],
(enm ) es una base ortonormal de L2 ([a, b] [a, b]) donde
230
[a, b] [a, b]
(t, s)
enm :
R
en (t) em (s)
Teorema 6.4.19
Una aplicaci
on lineal H : L2 [a, b] L2 [a, b] est
a en HS(L2 [a, b]) si y s
olo si
2
existe una funci
on G L ([a, b] [a, b]), llamada funci
on de Green
tal que L2 [a, b]
H() :
[a, b]
R
Z
G(t, s)(t)dt
a
Adem
as, H es autoadjunto si y s
olo si G es simetrica.
Demostraci
on:
Si H admite la representaci
on integral mencionada, es acotado porque
2
Z b Z b
2
older)
kH()k =
G(t, s)(t)dt ds (H
a
Z b Z
a
b
a
Z b
2
|G(t, s)| dt
|(t)| dt ds = kGk2 kk2
2
X
X
X
2
2
kH(en)k =
|(H(en) | em)| =
n=1
n=1
m=1
2
Z b
X
=
H(en )(s) em (s)ds =
n,m=1
2
Z b Z b
X
X
=
G(t,
s)(e
)(t)d(t)
e
(s)ds
=
|(G | enm)|2 = kGk2
n
m
n,m=1
n,m=1
Z b Z
a
Z
b
G(s, t)(s)ds (t)dt =
b
a
H()(t)(t)dt = ( | H())
X
n=1
n en v n
n=1
n (en | )vn
luego
231
H()(s) =
n=1
Probemos que
Z
b
a
Z
en (t)(t)dt vn (s) =
G(t, s) =
n en (t)vn (s)
n=1
est
a en
n=1
bZ b
G (t, s)dtds =
n,m=1
Z bZ
a
n m
Z
b
a
n en (t)vn (s)
n=1
n=1
Z b
X
en (t)em (t)dt
vn (s)vm (s)ds =
2n = N2 (H) <
a
n=1
Adem
as, si H es autoadjunto, podemos elegir (en ) = (vn ) y, as, la
X
funci
on G(t, s) =
n en (t)en (s) es claramente simetrica.
n=1
6.5
Los operadores de Hilbert-Schmidt son de gran utilidad para tratar el problema inverso que se conoce con este nombre y cuyo enunciado es:
(SL) Dadas las funciones c C[a, b] y f L2 [a, b], hallar u : [a, b] R
tal que
00
u(b) + 0 u0 (b) = 0
con || + | 0 | > 0
Ver la secci
on ?? dedicada a las distribuciones
232
y, por las condiciones de contorno, es claro que [x0 y]ba = [xy 0 ]ba. Como X es
denso L2 [a, b], podemos considerar que L es autoadjunto aunque no sea un
endomorfismo en L2 [a, b].
Veamos, en primer lugar, que el problema homogeneo con la primera de
las condiciones
(
u00 (t) + c(t)u(t) = 0
en a < t < b
P HC(a)
0
0
u(a) + u (a) = 0
con || + |0 | > 0
tiene, u
nicamente, un rayo de soluciones. En efecto:
Es claro que el problema de condici
on inicial
00
en a < t < b
u (t) + c(t)u(t) = 0
0
P HI(a)
u(a) =
0
u (a) =
con || + |0 | > 0
tiene una u
nica soluci
on u1 que, necesariamente, es no nula. Tambien es
claro que todo elemento del rayo [u1 ] es soluci
on del P HC(a).
Por otra parte, si v es una soluci
on no nula del P CC(a), por la condici
on
de contorno v(a) + 0 v 0 (a) = 0 con 6= 0 o 0 6= 0 resulta que v 0 (a) 6= 0 o
0
v deben coincidir con la u
nica soluci
o n u1
v(a) 6= 0. Entonces v0(a) v o v(a)
del P CI(a) y, as, en cualquiera de los dos casos, v [u1 ].
De igual modo, el problema homogeneo con la segunda condici
on
(
u00 (t) + c(t)u(t) = 0 en a < t < b
P HC(b)
u(b) + 0 u0 (b) = 0 con || + | 0 | > 0
tiene otro rayo de soluciones [u2 ].
Si el problema homogeneo asociado
00
u (t) + c(t)u(t)
u(a) + 0 u0 (a)
u(b) + 0 u0 (b)
en a < t < b
con || + |0 | > 0
con || + | 0 | > 0
s
olo tiene la soluci
on nula, los rayos [u1 ] y [u2 ] tienen que ser distintos pues,
de lo contrario, habra una soluci
on no nula para el problema homogeneo.
Por tanto, u1 u02 u2 u01 6= 0 pues,
u1 u02 u2 u01 = 0
u0
u01
= 2 log u1 = log u2 + log k u1 = ku2 .
u1
u2
233
[a, b]
u2 (t)
u1 (t)
y 2 =
. La funci
on
W
W
u2 (t)u1 (s)
si s [a, t]
1 u1 (s) =
W
[a, b] [a, b]
(t, s)
u1 (t)u2 (s)
u
(t)u
2
1 (s)
si a t s b
si a s t b
t
a
u1 (t)
u1 (s)f (s)ds
W
u2 (s)f (s)ds
234
Como u00i (t) = c(t)ui(t) tenemos que u00 (t) = c(t)u(t) f (t). Adem
as, u
satisface las condiciones de contorno pues
Z
u1 (a) + 0 u01 (a) b
0 0
u2 (s)f (s)ds = 0
u(a) + u (a) =
W
a
Z
u2 (b) + 0 u02 (b) b
0 0
u(b) + u (b) =
u1 (s)f (s)ds = 0
W
a
Por tanto, HG (f ) es soluci
on generalizada de (SL) y es la u
nica soluci
on
posible pues si v fuese otra soluci
on, v HG (f ) lo sera del problema homogeneo asociado y hemos supuesto que este solo admite la soluci
on nula.
As, HG : L2 [a, b] L2 [a, b] es un operador compacto, autoadjunto e inyectivo y el teorema 6.4.12 nos asegura la existencia de una sucesi
on de
valores propios reales no nulos (n ) 0 y una base hilbertiana de L2 [a, b]
constituida por los vectores propios (en ) que dan la representaci
on espectral
HG =
X
n=1
n en en
y la soluci
on del (SL)
u=
n=1
n (f | en)en
Adem
as, g L2 [a, b] es claro que HG (g) X y podemos considerar que
HG : L2 [a, b] X. En particular, la base de vectores propios (en ) est
a en el
subespacio X y, a fortiori, X es un subespacio no cerrado y denso de L2 [a, b].
La transformaci
on lineal
L:
X
u
L2 [a, b]
u00 + cu
ligada al problema (SL) tiene una inversa HG : L2 [a, b] X con las buenas
propiedades espectrales que hemos visto. Pero L tiene el mismo conjunto
de vectores propios que HG y los valores propios de L son los inversos de los
valores propios de HG . La aplicaci
on lineal L no es acotada porque tiene
una sucesi
on de valores propios que tiende a pero, tiene una sucesi
on de
vectores propios que constituyen una base ortonormal de L2 [a, b]. Este es el
famoso teorema de oscilaci
on que aqu es un corolario del teorema 6.4.12.
En la pr
actica suele ser sencillo determinar los valores y vectores propios
de L y, a traves de ellos, determinar la representaci
on espectral de HG y
obtener la soluci
on del problema (SL).
Ejemplo 6.5.1
Dada una funci
on f L2 [0, l] hallar u : [0, l] R tal que
00
u(l) = 0
235
Soluci
on:
Este problema de Sturm-Liouville esta ligado al operador
L:
X
u
L2 [0, l]
u00
00
u (t) = 0
u(0) = 0
u(l) = 0
en 0 < t < l
s
olo tiene la soluci
on nula, podemos construir la funci
on de Green:
00
La soluci
on general de la ecuaci
on homogenea u = 0 es u = At + B. Imponiendo la primera condici
on de contorno, u(0) = 0, obtenemos que B = 0
y que el rayo de soluciones es [u1 ] con u1 (t) = t.
An
alogamente, imponiendo la segunda condici
on de contorno, u(l) = 0,
obtenemos que 0 = Al + B B = Al, y el correspondiente rayo de soluciones es [u2 ] con u2 (t) = t l.
u1 (t) u2 (t) t t l
= l, la funci
Puesto que W = 0
=
on de Green viene
u1 (t) u02 (t) 1
1
dada por
t(s l)
u (t) u2 (s)
1
=
, 0tsl
W
l
G(t, s) =
y la soluci
on del problema inicial es:
u(t) =
tl
G(t, s)f (s) ds =
l
t
0
t
sf (s) ds
l
(s l)f (s) ds
236
n
l
n = 1, 2, .
r
!
n2 2
2
nt
As,
son los autovalores de L y (en ) =
sen
es la
l2
l
l
correspondiente base ortonormal de vectores propios. Por tanto,
HG (f ) =
l2 X 1
(f |en ) en
2
n2
n=1
y la soluci
on puede darse en la forma:
Z l
nt
nt
2l X 1
f
(t)
sen
dt
sen
u(t) = 2
n2
l
l
0
n=1
Ejemplo 6.5.2
Resolver el problema de Sturm-Liouville
00
u (t) = t en 0 t 1
u(0) = 0
u0 (1) = 0
Soluci
on:
La soluci
on general de la ecuaci
on diferencial homogenea es u = At + B.
Imponiendo las condiciones iniciales se tiene
)
u(0) = 0 = B
u0 (1) = 0 = A
237
Escribiendo la ecuaci
on diferencial en la forma u00 (t) = t, la funci
on de
Green es:
u (t) u2 (s)
1
= t, 0 t s 1
W
G(t, s) =
u2 (t) u1 (s) = s, 0 s t 1
W
La soluci
on del problema (SL) es entonces:
Z 1
Z t
Z 1
t
t3
2
u(t) =
G(t, s)(s) ds =
s ds t
s ds =
6
2
0
0
t
u = u
problema u(0) = 0
0
u (1) = 0
Veamos si hay autovalores negativos:
Haciendo = k2 , la soluci
on general de la ecuaci
on u00 = k2 u es u(t) =
kt
kt
0
kt
kt
Ae + Be
y u (t) = Ake + Bke
Imponiendo las condiciones de contorno:
)
u(0) = 0 = A + B
A = B = 0, pues el determinante del
u0 (1) = 0 = Akek + Bkek
sistema vale 2k cosh k 6= 0 . Por tanto, no hay autovalores negativos.
Calculemos, por u
ltimo, los autovalores positivos:
2
Haciendo = k , la soluci
on general de la ecuaci
on u00 = k2 u es u(t) =
0
A cos kt + B sen kt , y u (t) = Ak sen kt + Bk cos kt
Imponiendo las condiciones de contorno:
)
u(0) = 0 = A
(2n 1)
cos k = 0 k =
0
2
u (1) = 0 = Ak sen k + Bk cos k
2 2
(2n 1)
, n = 1, 2,
Los autovalores son n =
4
(2n 1)t
y los vectores propios correspondientes un = sen
.
2
PodemosZnormalizarlos para obtener la base hilbertiana de vectores propios:
1
(2n 1)t
1
1
kun k2 =
sen2
dt =
kun k =
2
2
2
0
un
(2n 1)t
(en ) =
=
2 sen
kun k
2
El operador HG , inverso de L, tiene la representaci
on espectral
X
X
1
1
en en , es decir, HG (f ) =
(f |en )en
HG =
n
n
n=1
n=1
238
(f |en) =
(2n 1)t
(1)n 4 2
dt =
2 t sen
2
(2n 1)2 2
32 X (1)n
(2n 1)t
HG (f )(t) = u(t) = 4
sen
.
n=1 (2n 1)4
2
Ejemplo 6.5.3
Resolver el problema de Sturm-Liouville
00
u() = 0
Soluci
on:
u (t) u2 (s)
1
= (cos t sen t) sen s,
W
G(t, s) =
La soluci
on del problema (SL) es entonces:
0ts
0st
239
u(t) =
+(cos t sen t)
s(cos s sen s) ds +
00
u(b) + 0 u0 (b)
=0
con || + | 0 | > 0
tiene u
nicamente la soluci
on nula. Para ello necesitamos el siguiente
Lema 6.5.4
C 1 [a, b] y > 0
kk2
Demostraci
on:
Si as no fuera existira un > 0 y una sucesi
on (n ) C 1 [a, b] tal que
kn k2 >
( 0 n (t) + n 2n (t))dt
(n ) tal que
Entonces,
1
>
n
y, por tanto,
b
a
1 = kn k2 >
2n (t)dt
1
m
4
y, tomando n =
Z
b
a
n
,
knk
( 0 n (t) + n 2n (t))dt
1
t | n (t) >
2
1
4
m
t | n (t) >
2
n
4
4
8
Sea tn [a, b] tal que |n (tn )| = 1. Como m tn , tn +
=
n
n
n
4
1
4
tal que n (sn ) y el teorema de los
existir
a sn tn , tn +
n
n
2
incrementos finitos en [tn , sn ] asegura que
1
sn
tn
| (t)|dt
Holder
|tn sn |
Z
b
a
21
|0n (t)|2 dt
240
Luego
1
2
2
n
Z
b
a
21
|0n (t)|2 dt
n
16
Este lema nos dice que siempre existe un K > 0 tal que si c(t) K, el
problema homogeneo asociado al (SL) inicial s
olo tiene la soluci
on trivial.
Ve
amoslo:
Si v es soluci
on del problema homogeneo asociado es claro que
0=
b
v 00 (t) + c(t)v(t) v(t) dt
luego
2
v (a) 0 v 2 (b) 4
0
Z b
2
2
0 + 0 kvk 0 + 0
(v 0 (t) + C(1)v 2 (t))dt
00
u(b) + 0 u0 (b) = 0
con || + | 0 | > 0
00
u(b) + 0 u0 (b)
=0
con || + | 0 | > 0
241
G (t, s)u(s)ds
X
X
(f + u|un )
(f + u|un )
un = (u|u1 )u1 +
un
n +
n +
n=1
n=2
y, por tanto,
(u|un ) =
(f + u|un )
n +
n 2
y despejando,
(u|un ) =
(f |un )
n
n 2.
El u
nico producto (u|un ) que queda sin determinar y que, por tanto, es una
constante arbitraria k, es (u|u1 ) y, as, la soluci
on se expresa en la forma
u = ku1 +
X
(f |un )
n=2
un
Ejemplo 6.5.5
Resolver el problema
00
= cos t + sen t ,
u (t) u(t)
0
u(0) + u (0) = 0
u() + u0 () = 0
Soluci
on:
t [0, ]
242
La ecuaci
on homogenea u00 + u = 0 tiene como soluci
on general u(t) =
C1 cos t + C2 sen t e imponiendo las condiciones de contorno obtenemos
)
C1 + C2 = 0
C2 = C1
C1 C2 = 0
Luego u1 (t) = cos t sen t es soluci
on no nula del problema homogeneo
asociado, el operador L : X L2 [0, ], tal que L(u) = u00 u tiene el
autovalor 1 = 0 y ker L = [u1 ].
Seg
un la alternativa de Fredholm el problema tiene soluci
on si f [u1 ] y
este es el caso ya que
Z
Z
(f |u1 ) =
(cos t + sen t)(cos t sen t) dt =
cos 2t dt = 0
0
X
1
(un |f )un
n
n=2
k
2
(1 + k)ek (1 k)ek = 2(1 k ) senh k
243
Si 1 + = 0, la soluci
on general de la ecuaci
on diferencial u00 (t) = 0 es
u(t) = At + B. Derivada y sustituida en las condiciones de contorno nos da:
)
B+A=0
A=B =0
A + B + A = 0
de modo que = 1 no es autovalor de L.
Si 1 + > 0, hacemos 1 + = k2 y la ecuaci
on u00 (t) = k2 u(t) tiene
como soluci
on general u(t) = A cos kt + B sen kt que, derivada y sustituida
en las condiciones de contorno, nos proporciona el sistema:
)
A + kB = 0
(A + kB) cos k + (B kA) sen k = 0
Si A + kB = 0 y B kA = 0 , la u
nica soluci
on es la trivial, A = 0 , B = 0,
pero tambien puede ser B kA 6= 0 y sen k = 0, es decir, k = n , n =
1, 2, , con lo cual 1+ = n2 y n = n2 1, n = 1, 2, son autovalores de
L. Los correspondientes vectores propios se obtienen resolviendo el sistema
anterior para k = n y sustituyendo en la soluci
on general:
1
sen nt , n = 1, 2,
n
Para n = 1 se obtiene 1 = 0 que, como ya sabamos, es el autovalor asociado a u1 (t) = cos t sen t .
A = nB ,
un (t) = cos nt
(un |f ) =
4
1
cos nt sen nt (cos t + sen t) dt = n2 1
0
n
, n par
, n impar
(u2n|f ) =
Como, adem
as,
Z
4
,
4n2 1
n = 1, 2,
1 e2
e2t dt =
2
0
2
Z
1
4n2 + 1
2
ku2n k =
cos 2nt
sen 2nt
dt =
2n
8n2
0
2
ku2 k =
244
la soluci
on del problema inicial es:
= c(cos t sen t)
e
32n2
1
+
(cos 2nt
sen 2nt)
2
2
2
1e
(4n 1) (4n + 1)
2n
n=1
00
u (t) + c(t)u(t)
(SLN H)
u(a) + 0 u0 (a)
u(b) + 0 u0 (b)
00
u(b) + 0 u0 (b) = 0
00
u(b) + 0 u0 (b) = B
con || + | 0 | > 0
y resulta que
4
u(0)
=
1
u
= 1
4
245
Soluci
on:
Descomponemos el problema en los dos subproblemas
h i
4
SL
u(0)
=
0
=0
u
4
y
h
i
00 (t) 4u(t) = 0 , t 0,
4
P
u(0)
=
1
= 1
u
4
SL es un problema de Sturm-Liouville regular que vamos a resolver en primer
lugar. La soluci
on general de la ecuaci
on diferencial u00 + 4u = 0 es u =
A cos 2t+B sen 2t que, sustituida en las condiciones de contorno homogeneas,
nos da
u(0) = 0 = A , u
=0=B
4
As, el problema homogeneo asociado a SL solo tiene la soluci
on 0 y, por
ello, SL tiene una u
nica soluci
on que podemos hallar a traves de la funci
on
de Green o mediante la representaci
on espectral del operador HG . Construyamos en primer lugar la funci
on de Green:
Resolvemos el sistema formado por la ecuaci
on diferencial homogenea y la
primera condici
on de contorno para obtener el rayo [u1 ]:
)
u00 + 4u =0 u = A cos 2t + B sen 2t
u1 (t) = sen 2t
u(0) = 0 =A
Procediendo de igual manera con la segunda condici
on de contorno,
u
=0=B
4
sen 2t
cos 2t
W es, W =
= 2, y la funci
on de Green:
2 cos 2t 2 sen 2t
u (t) u2 (s)
sen 2t cos 2s
1
=
, 0ts
W
2
4
G(t, s) =
u
(t)
u
(s)
cos
2t
sen
2s
2
1
=
, 0st
W
2
4
La soluci
on del problema (SL), teniendo en cuenta que debemos escribir la
ecuaci
on diferencial en la forma u00 4u = et , es:
Z
Z t
4
1
u(t) =
G(t, s)(es) ds = cos 2t
es sen 2s ds
2
0
0
246
1
sen 2t
2
es cos 2s ds =
et cos 2t e 4 sen 2t
5
5
5
u(0) = 0 = A + B
A = B = 0, pues
u
= 0 = Aek 4 + Bek 4
4
k
el determinante del sistema vale 2 senh
, distinto de cero salvo para
4
k = 0, que no es el caso. Por tanto, los < 4 no son autovalores.
Para = 4 , u(t) = At + B
Sustituyendo en las condiciones de contorno,
u(0) = 0 = B
A = B = 0, y = 4 no es autovalor.
u
= 0 = A + B
4
4
u(0) = 0 = A
k
k
u
= 0 = A cos
+ B sen
4
4
4
k
= 0.
4
k
= n k = 4n = 16n2 4 , n = 1, 2,
4
La sucesi
on de autovalores es (n) = (16n2 4) y la correspondiente base
de vectores propios (un ) = ( sen 4nt), que podemos normalizar para obtener
la base hilbertiana:
!
r
Z
4
u
8
n
kun k2 =
sen 2 4nt dt = , (en ) =
=
sen 4nt
8
kun k
0
Es decir, si
La representaci
on espectral de HG es,
6.6. ECUACIONES DE LA FISICA-MATEMATICA
u = HG (f ) =
247
X
1
(f |en )en
n
n=1
X
1
8 4
8
t
e sen 4nt dt
sen 4nt =
u(t) =
16n2 4
0
n=1
2e + 4 X sen 4nt
5
4n2 1
n=1
h i
4
Resolvemos, por u
ltimo, el problema P
u(0)
=
1
u
= 1
4
La soluci
on general de la ecuaci
on diferencial es
v(t) = A cos 2t + B sen 2t , que sustituida en las condiciones de contorno
permite calcular Ay B:
v(0) = 1 = A , v
= 1 = B , v(t) = cos 2t sen 2t
4
La soluci
on del problema propuesto, calculada a traves de la funci
on de
Green, es:
4
t
sen 2t
t
1
+
e
e
cos 2t e 4 sen 2t
e
4 cos 2t
u(t) =
+ v(t) =
+
5
5
5
5
5
5
y calculada a traves de la representaci
on espectral del operador HG , es:
2e 4 + 4 X sen 4nt
u(t) = cos 2t sen 2t
5
4n2 1
n=1
6.6
Ecuaciones de la fsica-matem
atica
(0, l) (0, )
(x, t)
R,
U (x, t)
248
Uxx
(0, l) (0, )
en
x (0, l)
Soluci
on:
Buscamos una soluci
on U (x, t) = X(x) T (t) en variables separadas pues,
en tal caso,
T 00
X 00
=
T
X
y esta igualdad entre funciones de variables que se suponen independientes,
obliga a que ambas sean iguales a una constante k. As, aparecen los problemas separados
X X = 0
T 00 kT = 0
y
X(0) = 0, X(l) = 0
T 0 (0) = 0
o, si se prefiere,
00
X X = 0
(I)
X(0) = 0, X(l) = 0
X(x) = f (x)
(II)
00
T kT = 0
T 0 (0) = 0
T (0) = 1
n2 2
l2
nN
con
nx
l
6.6. ECUACIONES DE LA FISICA-MATEMATICA
249
An cos
n=1
del problema
r
nt
l
sen
nx
l
U (0, t) = 0 t (0, )
U (l, t) = 0 t (0, )
U (x, 0) = 0 x (0, l)
t
S
olo nos falta determinar los coeficientes An para imponer la u
ltima condici
on
U (x, 0) = f (x) x (0, l)
Esto se consigue obteniendo el desarrollo de Fourier de f respecto de la
misma base ortogonal en que tenemos desarrollada
U (x, 0) =
An sen
n=1
As,
f (x) =
2X
l
n=1
Z
f (x) sen
0
nx
l
nx
l
dx
sen
nx
l
y, como el desarrollo es u
nico, deducimos que
An =
2
l
f (x) sen
nx
l
dx n N
2X
U (x, t) =
l
n=1
Z
f (x) sen
nx
l
dx cos
r
nt
l
sen
nx
l
cumple la ecuaci
on de ondas y el resto de las condiciones exigidas.
250
(0, l) (0, )
(x, t)
R,
U (x, t)
Ut (x, t) =
Uxx(x, t) 0 < x < l 0 < t <
c
donde , c, son respectivamente el coeficiente de conductividad termica,
el calor especfico y la densidad del material que constituye la barra. En
estas condiciones, las superficies isotermicas son las secciones transversales
y, en cada instante t, la temperatura de los puntos de la barra depende de
una u
nica variable espacial, la abscisa x.
Se quiere determinar la funci
on U (x, t) cuando los extremos de la barra se
mantienen constantemente a temperatura cero y la temperatura de la barra
en el instante inicial viene dada por una funci
on conocida f (x). Es decir, se
quiere resolver el problema
U (x, 0) = f (x)
donde a2 =
La aplicaci
on del metodo de separaci
on de variables
U (x, t) = X(x) T (t)
nos conduce, como en el ejemplo anterior, al problema de Sturm-Liouville
homogeneo
k
00
X (x) 2 X(x) = 0 , 0 < x < l
(I)
a
X(0) = 0 , X(l) = 0
al problema de condici
on inicial
(
T 0 (t) kT (t) = 0
(II)
T (0) = 1
y a la ecuaci
on
0<t<
6.6. ECUACIONES DE LA FISICA-MATEMATICA
251
Seg
un 6.5.1, el problema (I) tiene soluciones no nulas para los valores de k
k
n2 2
tales que 2 = 2 y, en ese caso, la soluci
on correspondiente es
a
l
Xn (x) = An sen
nx
l
n2 2 a2
0
T (t) =
T (t)
l2
T (0) = 1
y obtenemos la soluci
on
n2 2 a2 t
l2
Tn (t) = e
As tenemos la sucesi
on de soluciones del problema inicial
n2 2 a2 t
nx
l2
,
Un (x, t) = An e
sen
l
nN
U (x, t) =
X
n=1
n2 2 a2 t
nx
l2
An e
sen
l
La condici
on (III) nos permite escribir
U (x, 0) =
An sen
n=1
nx
= f (x)
l
2X
U (x, t) =
l
n=1
Z
f (x) sen
0
nx
l
n2 2 a2 t
nx
l2
sen
dx e
l
El metodo de separaci
on de variables tambien nos permite abordar problemas con las condiciones de contorno no homogeneas pero, en este caso,
debemos buscar la separaci
on en la forma
U (x, t) = X(x) T (t) + (x)
252
00
(x) = 0
(0) = A
(l) = B
cuya soluci
on es (x) =
(I)
BA
x + A, y a continuaci
on, los problemas
l
k
00
X X = 0
X(0) = 0, X(l) = 0
La soluci
on ser
a,
(II)
00
T kT = 0
T 0 (0) = 0
T (0) = 1
!
r
Z l
nx
nx
2X
nt
(f )(x) sen
U (x, t) = (x) +
dx cos
sen
l n=1
l
l
l
0
U (x, 0) = f (x)
y, como antes, la soluci
on ser
a
! n 2 2 a2 t
Z l
nx
nx
2X
l2
U (x, t) = (x) +
(f )(x) sen
dx e
sen
l n=1
l
l
0
donde (x) =
BA
x + A.
l
Captulo 7
TRABAJOS
1. Historial de una empresa de 110 trabajadores de los que 100 siguen en
activo.
(a) Grado()
i.
(b) Master()
i.
2. Condicionamiento de sistemas lineales.
(a) Grado()
i.
(b) Master()
i.
3. Inversa generalizada de Moore-Penrose
(a) Grado()
i.
(b) Master()
i.
4. Alturas que alcanza el agua que ocupa el 80% del volumen de una vasija
de cristal cerrada de forma dada (cilndrica, c
onica, troncoc
onica,
prism
atica, piramidal, piramidal truncada,...), cuando est
a en las diferentes posiciones de equilibrio.
(a) Grado()
i.
(b) Master()
253
CAPITULO 7. TRABAJOS
254
i.
H(L) S(L)
.
H(L)
1) La determinaci
on de listas optimas LOn L(n)
2) El c
alculo de las constantes Cn = C(LOn ).
Siempre podemos desdoblar un punto de una lista L L(n) para
obtener otra lista L0 L(n + 1) con la misma conexi
on de Steiner e
255
igual o mayor conexi
on hamiltoniana. Por tanto, la sucesi
on Cn es
mon
otona creciente y, como es acotada superiormente, (Cn ) es convergente. Aparece as un nuevo problema
3) El c
alculo de C = lim Cn .
n
Sabemos que LO
es
el
tri
a
ngulo
equil
a
tero,
que
C
=
50(2
3) y
3
3
1+3
que C > 50 2+ 3 pero, todo lo dem
as, est
a sin resolver para n 4.
(a) Grado()
i.
(b) Master()
i.
9. Cu
al es la conexi
on por cable de mnima longitud, entre las 20 ciudades m
as pobladas de Galicia ?
(a) Grado
i.
(b) Master()
i.
10. Programar la evaluaci
on continua mediante una lista con etiquetas.
(a) Grado()
i.
(b) Master()
i.
11. Curvas de interes en ingeniera
(a) Grado()
i.
(b) Master()
i.
12. Problemas de M
axima y Mnima a elegir (al menos 2)
(a) Grado()
i.
(b) Master()
i.
13. Algoritmo de Kruscal sobre arboles generadores mnimos
CAPITULO 7. TRABAJOS
256
(a) Grado()
i.
(b) Master()
i.
Bibliografa
[1] Ciarlet, P.G. Introduction a
` lanalyse numerique matricielle et a
`
loptimisation. Paris, Masson, 1990.
[2] Corbacho, E., Rodrguez, V. Ampliaci
on de C
alculo. Vigo. Apuntes de
clase. 2003.
[3] Crouzeix, M., Mignot, A.L. Analyse numerique des equations differentielles. Paris, Masson, 1984.
[4] Dacuha-Castelle, D., Duflo, M. Probabilites et Statistiques 1. Paris,
Masson, 1982.
[5] Dedeckind Que son y para que sirven los n
umeros
[6] Dunhan, W. Viaje a traves de los genios. Madrid, Pir
amide, 1993.
[7] Dudundji, J. Topology. Boston, Allyn and Bacon, 1967.
[8] Euclides. Elementos I-IV; V-IX; X-XIII. Madrid, Editorial Gredos,
1996.
[9] Feyman, R., El Car
acter de la ley fsica. Barcelona, Metatemas, 2000.
[10] Fiedler, M. Special matrices and their applications in numerical mathematics. Martinus Njhoff Publishers. 1986.
[11] Kline, M. El pensamiento matem
atico de la antig
uedad a nuestros das
I, II, III. Madrid, Alianza Editorial, 1992.
[12] K
othe, G. Topological vector spaces I. Berlin, Springer, 1969.
[13] Novo, S., Obaya, R., Rojo, J. Ecuaciones y sistemas diferenciales.
Madrid, McGraw-Hill, 1995.
[14] Matousek, J. Lectures on discrete geometry. New York, Springer-Verlag,
2002.
[15] Martinez, C., Sanz, M.A. An
alisis de una variable real. Barcelona, Reverte, 1992.
257
258
BIBLIOGRAFIA