Analisis Funcional
Analisis Funcional
Analisis Funcional
DE LA
FISICA MATEMATICA
Volumen I
AL ANALISIS
INTRODUCCION
FUNCIONAL
Horacio A. Falomir
Departamento de Fsica
Facultad de Ciencias Exactas
Universidad Nacional de La Plata
2014
A mi familia,
Agradecimientos
Deseo manifestar mi agradecimiento a estudiantes y colegas que han contribuido
con sus preguntas, comentarios y crticas a mejorar la exposici
on de los temas
aqu tratados y adecuarla al nivel y objetivos de este curso, as como a todos
aquellos que han alentado el desarrollo de las Notas del Curso de Metodos de la
Fsica Matematica, que fueran origen de estos dos vol
umenes.
Tambien reconocer el insustituible apoyo que he recibido de la Universidad
Nacional de La Plata y del Consejo Nacional de Investigaciones Cientficas y
Tecnicas de Argentina (CONICET) para el desarrollo de mi actividad, en
particular, para la concrecion de este proyecto.
Finalmente, agradecer el aliento y apoyo recibido de mi familia y amigos durante la
redacci
on de este texto.
PREFACIO
Los dos vol
umenes de este Curso de Metodos de la Fsica Matematica cubren
los contenidos del curso homonimo destinado a estudiantes de las Licenciaturas en
Fsica de la Facultad de Ciencias Exactas y en Ciencias Astronomicas de la Facultad
de Ciencias Astronomicas y Geofsicas de la Universidad Nacional de La Plata. Se
trata de una asignatura cuatrimestral optativa a la que esos estudiantes pueden tener
acceso a partir del segundo cuatrimestre del tercer a
no de esas carreras, una vez que
hayan tomado cursos de Algebra Lineal y de Ecuaciones Diferenciales (ademas de
los basicos, variable compleja incluida).
Este texto esta basado en las Notas del Curso de Metodos de la Fsica Matematica, resultado de varios a
nos de dictado de esa asignatura durante los cuales
se han ido adecuando los contenidos y el nivel de la exposicion a las posibilidades
que ofrece una asignatura cuatrimestral de estas caractersticas y en esa etapa de las
mencionadas carreras. De ese modo, esas Notas fueron redactadas con el objeto de
introducir al estudiante en el manejo de conceptos y metodos que hoy resultan basicos en la Fsica Matematica y sus aplicaciones a la Mecanica Cuantica, las Teoras
de las Interacciones Fundamentales y la Materia Condensada.
Las tematicas que cubre este curso suelen ser expuestas en la numerosa bibliografa disponible (en general, en idioma ingles) de una manera excesivamente abstracta o extensa para las necesidades y objetivos del mismo. Por el contrario, estos
dos vol
umenes han sido escritos buscando introducir los conceptos de forma clara y
natural, con un lenguaje adecuado al nivel de carreras de grado, procurando facilitar
la presentacion y aanzamiento de los conocimientos mediante una ejemplicacion
convenientemente seleccionada. As, se ha buscado mantener el rigor matematico en
la presentacion pero procurando el desarrollo de la necesaria intuicion sobre cada
tema.
En ese sentido, se han evitado las complicaciones de una exposicion excesivamente formal o abstracta y, sin perder de vista la necesaria generalidad, se ha buscado
poner el acento en aquellas situaciones concretas que reejan los conceptos de manera mas transparente y donde el calculo directo puede resultar mas instructivo.
PREFACIO
PREFACIO
Por u
ltimo, como ejemplo de grupo de Lie no compacto y por su relevancia para
la formulacion de teoras relativistas, es analizado el grupo de Lorentz y sus representaciones irreducibles, lo que permite su aplicacion en cursos de Teora Cuantica
de Campos o Gravitacion.
Ambos vol
umenes nalizan con un listado de ejercicios propuestos, con los que
se busca aanzar y complementar la exposicion previa de cada tema.
Cabe consignar que, si bien los contenidos descritos justicaran el dictado de
dos cursos separados (uno de Analisis Funcional y otro de Teora de Grupos), el
enfoque que se ha dado a este texto ha permitido que los estudiantes a los que
esta dirigido accedieran en un cuatrimestre a conocimientos que resultan esenciales
para la Fsica moderna, satisfaciendo necesidades concretas de algunas orientaciones
de las Licenciaturas en Fsica y en Ciencias Astronomicas.
Por otra parte, se
nalemos que estos vol
umenes no pretenden sustituir a los libros
que son referencias usuales en estas areas, de los cuales solo unos pocos han sido
listados en la Bibliografa, sino mas bien constituir una (ojala eciente) introduccion
para aquellos que requieran un conocimiento mas amplio y formal de los temas
aqu tratados.
Finalmente, digamos que nuestro enfoque esta basado principalmente en la bibliografa se
nalada al nal de cada captulo.
Horacio A. Falomir
Indice general
PREFACIO
Captulo 1.
5
ESPACIOS EUCLIDEOS
13
13
20
22
27
28
32
33
35
41
44
Captulo 2.
ESPACIOS DE HILBERT
49
49
52
54
56
2.5. El espacio L2
57
61
64
68
71
74
Captulo 3.
83
83
84
85
90
94
97
103
106
9
Indice general
10
Captulo 4.
ECUACIONES INTEGRALES
115
115
116
118
120
122
125
126
135
Captulo 5.
DE FOURIER EN L2 (R)
LA TRANSFORMACION
139
5.1. Espacios Lp
139
139
142
144
147
150
Captulo 6.
OPERADORES NO ACOTADOS
153
153
156
157
163
164
170
Captulo 7.
TEORIA DE DISTRIBUCIONES
179
7.1. El espacio K
179
181
182
183
7.5. La derivacion en K
7.6. Ecuaciones diferenciales en
7.7. La distribucion
186
K
x+
193
198
201
204
204
210
210
211
214
Indice general
11
217
224
229
Apendice A.
EJERCICIOS PROPUESTOS
235
235
237
239
240
240
241
242
242
243
243
243
244
244
245
246
A.16. El espacio L1
247
247
248
250
252
Indice alfabetico
259
Bibliografa
263
Captulo 1
ESPACIOS EUCLIDEOS
1.1.
Espacios eucldeos
(1.1.1)
Hermtico2 (sim
etrico en un espacio real),
(y, x) = (x, y)
(1.1.2)
(1.1.3)
(1.1.4)
1Eucldes
2Charles
1. ESPACIOS EUCLIDEOS
14
(x, y) :=
xi yi ,
(1.1.5)
xi yi .
(1.1.6)
i=1
y para x, y Cn ,
(x, y) :=
i=1
(x, y) :=
x(t) y(t) dt ,
(1.1.7)
(1.1.8)
y si (x, x) = 0, entonces
|x(t)| dt
2
0=
a
b1
|x(t)|2 dt 0 ,
(1.1.9)
a1
Los dos primeros axiomas implican que, dadas dos combinaciones lineales de
vectores, x = 1 x1 + +k xk , y = 1 y1 + +l yl , donde x1 , . . . , xk , y1 , . . . , yl E,
y 1 , . . . , k , 1 , . . . , l C, tenemos
(x, y) =
k
l
i j (xi , yj ) .
(1.1.10)
i=1 j=1
(1.1.11)
15
El axioma de positividad permite denir una norma o longitud para cada vector
de un espacio eucldeo:
x := +
(x, x) 0 .
(1.1.12)
En particular, x = 0 x = 0.
Por otra parte, si C,
x =
||2 (x, x) = || x .
(1.1.13)
1
2
..
.
n
x =
(1.1.14)
Rn ,
12 + 22 + + n2 .
(1.1.15)
(1.1.16)
(1.1.17)
1. ESPACIOS EUCLIDEOS
16
(1.1.18)
Esta es la desigualdad de Cauchy - Schwarz3, que vale para todo par de vectores
de un espacio eucldeo.
2
, y = . Cn , la desigualdad de Cauchy
.
n
n
2
..
.
- Schwarz se reduce a
{
} 21
} 12 { n
n
n
(x, y) =
|k |2
.
k k
|k |2
k=1
k=1
k=1
2
(x, y) =
|y(t)| dt
.
x(t) y(t) dt
|x(t)| dt
a
(1.1.19)
(1.1.20)
(x, y)
.
x y
(1.1.22)
17
n
Ejemplo 1.8. En R , los vectores e1 =
1
0
0 y e2 = 0 son ortogonales
.
..
..
.
0
0
entre s.
Ejemplo 1.9. En C2 (a, b),
x(t) y(t)
x(t) y(t) dt = 0 .
(1.1.23)
El sistema trigonom
etrico,
{
}
cos(k t), k = 0, 1, . . . ; sin(l t), l = 1, 2, . . . C2 (, ) ,
(1.1.24)
(1.1.25)
Del Lema 1.1 se desprende que si una suma de vectores ortogonales entre s es
el vector nulo, entonces cada sumando es 0.
Se dene la dimensi
on de un espacio eucldeo E como el maximo n
umero de
vectores linealmente independientes que es posible seleccionar en E. Por ejemplo, la
dimension de Cn es n.
La existencia del sistema trigonometrico, ec. (1.1.24), muestra que los espacios
de funciones C2 (a, b) no tienen dimension nita.
1. ESPACIOS EUCLIDEOS
18
y,
Ci xi =
Ci (y, xi ) = 0 .
i=1
(1.1.26)
i=1
El conjunto de todas las combinaciones lineales de {x1 , x2 , . . . , xk } constituye un
subespacio lineal F E. Se dice que el vector y es ortogonal a dicho subespacio, lo
que se denota por y F.
En general, se dice que x es ortogonal a un subconjunto G E si x es ortogonal
a todo vector de dicho subconjunto,
x G x y, y G .
(1.1.27)
Del Lema 1.2 resulta que el conjunto de todos los vectores ortogonales a un
subconjunto G E forman un subespacio F E. Si G es el mismo un subespacio
de E, se dice que F es su complemento ortogonal.
Los espacios eucldeos comparten ciertas propiedades m
etricas conocidas de
la geometra en el plano y el espacio, como lo muestran los siguientes teoremas.
Teorema 1.1. (de Pitagoras) Si x, y E son ortogonales entre s, x y,
entonces
x + y 2 = (x + y, x + y) = x 2 + y 2
(1.1.28)
(1.1.29)
(1.1.31)
19
xy
)2
x + y 2
x+y
(1.1.32)
)2
,
(1.1.33)
respecto del cual todo vector x En puede ser representado (de forma u
nica) como
una combinacion lineal de la forma
x = 1 e1 + + n en ,
(1.1.34)
donde los i son llamados coeficientes de Fourier4 de x relativos a la base considerada. Ellos estan dados por
i = (ei , x), i = 1, . . . , n.
(1.1.35)
j (ei , ej ) =
i,j=1
y para la norma
x=
i i ,
(1.1.36)
i=1
|1 |2 + + |n |2 .
(1.1.37)
Notese que en estos resultados nada nos permite distinguir entre el espacio En
n
considerado
y el
C , en el cual hubieramos seleccionado los vectores x =
espacio
1
1
2
2
. e y = . . En efecto,
.
.
.
.
(
x, y)Cn =
i i ,
x Cn =
|1 |2 + + |n |2 .
(1.1.38)
i=1
1. ESPACIOS EUCLIDEOS
20
x + y x + y , , C (o R) ,
(1.1.39)
(x, y)E = (x , y )E .
1.2.
f
k xk =
k f (xk ) .
i=1
(1.2.1)
(1.2.2)
i=1
i=1
i f (ei ) =
ci i , con ci = f (ei ) .
(1.2.3)
i=1
Por lo tanto, una funcional lineal en un espacio de dimension nita queda determinada por los valores que ella toma sobre los vectores de un sistema completo.
Ademas, del isomorsmo entre En y el espacio de las n-uplas de n
umeros complejos,
21
c1
.
.
un vector jo, c :=
. z = c1 e1 + + cn en .
cn
Ejemplo 1.12. El producto escalar por un vector jo de un espacio eucldeo
arbitrario dene una funcional lineal sobre ese espacio. En efecto, si z E,
f (x) := (z, x), x E
(1.2.4)
dene una forma lineal como consecuencia de la linealidad del producto escalar.
Ejemplo 1.13. En particular, si z(t) es una funcion continua en el intervalo
[a, b], entonces
f (x) :=
z(t) x(t) dt
(1.2.5)
(1.2.6)
(1.2.7)
Una funcional f (x) se dice acotada si existe una constante 0 K < tal que
|f (x)| K x , x E .
(1.2.8)
(1.2.9)
1. ESPACIOS EUCLIDEOS
22
1.3.
(1.3.1)
i x i =
i=1
i A x i .
(1.3.2)
i=1
ei (ei , x) .
(1.3.3)
i=1
ei (ei , x) =
i=1
(ei , x) P ei = P x, x E .
(1.3.4)
i=1
)
ei , (I P )x = (ei , x)
(ei , ej ) (ej , x) = 0 .
(1.3.5)
j=1
(1.3.6)
con k n
umeros dados, se dice diagonal. Esos n
umeros, llamados autovalores de
A, denen completamente su accion sobre un vector arbitrario:
A x = A(1 e1 + + n en ) = 1 1 e1 + + n n en .
(1.3.7)
23
Ejemplo 1.20. La multiplicacion de elementos de C2 (a, b) por una funcion continua ja (t) dene un operador lineal,
x(t) C2 (a, b),
(1.3.8)
y(t) = A x(t) :=
(1.3.9)
donde el n
ucleo del operador, K(t, s), es una funcion continua de sus dos variables.
Ejemplo 1.22. Los operadores de los dos ejemplos anteriores estan denidos
sobre todo el espacio C2 (a, b). Pero eventualmente es necesario considerar operadores
denidos u
nicamente sobre ciertos subespacios de C2 (a, b). Un ejemplo es el operador
diferencial
D x(t) := x (t) ,
(1.3.10)
denido solo sobre el conjunto de aquellas funciones de C2 (a, b) que tienen una
derivada primera continua, x (t) C2 (a, b).
(1.3.11)
El n
ucleo (kernel) o subespacio nulo de un operador lineal A, Ker (A), es el
conjunto de vectores x E que son aplicados en el vector nulo por la accion de A,
Ax = 0,
x Ker (A) E
(1.3.12)
(1.3.13)
1. ESPACIOS EUCLIDEOS
24
ej Aj i ,
i = 1, . . . , n ,
(1.3.14)
j=1
i=1
i A ei =
j=1
ej
Aj i i .
(1.3.15)
i=1
1
A1 1 . . . A1 n
1
. .
.
..
.. = ..
(1.3.16)
. ..
.
n
An 1 . . . An n
n
En consecuencia, haciendo uso del isomorsmo que existe entre el espacio complejo (real) En y el espacio Cn (Rn ), vemos que todo operador lineal A puede ser
representado por una matriz A de n n (operador lineal sobre el espacio de la nuplas), cuyos elementos de matriz (relativos a la base considerada) estan dados
por Ai j = (ei , A ej ).
Inversamente, dada una base ortonormal en En , toda matriz de n n dene un
operador lineal sobre dicho espacio mediante la relacion (1.3.15). En consecuencia,
existe una correspondencia biunvoca entre operadores lineales sobre En y matrices
de n n (operadores lineales sobre el espacio de la n-uplas).
Dos operadores lineales A y B denidos sobre un espacio eucldeo E son iguales
si A x = B x , x E.
Al igual que con las matrices, es posible denir operaciones de suma y multiplicacion por n
umeros de operadores lineales sobre un espacio eucldeo.
En efecto, sean A, B, C operadores lineales sobre E, y , 1 , 2 n
umeros; las
siguientes operaciones denen nuevos operadores lineales sobre E:
la suma o adici
on de dos operadores lineales, C = A + B, es un operador
lineal denido por
C x := A x + B x ,
x E;
(1.3.17)
25
la multiplicaci
on o producto de un operador lineal A por un n
umero
es un operador lineal denido por
( A)x := (A x) ,
x E;
(1.3.18)
x E.
(1.3.19)
(1.3.20)
1. ESPACIOS EUCLIDEOS
26
A2 := A A , . . . ,
An+1 := A An ,
etc.
(1.3.21)
(1.3.22)
Como subespacio del espacio de las funciones reales y continuas C2 (a, a), se trata
de un espacio eucldeo, que tiene dimension innita como consecuencia de que las
potencias de t, {tn , n = 0, 1, 2, . . . } forman un conjunto linealmente independiente.
En este espacio, el operador integral A : P2 (a, a) P2 (a, a) denido por
t
t2
tn+1
A P (t) :=
P (s) ds = a0 t + a1 + + an
,
(1.3.23)
2
n+1
0
tiene por inversa a izquierda al operador diferencial D : P2 (a, a) P2 (a, a)
denido por
D P (t) := P (t) .
En efecto,
d
D A P (t) =
dt
P (s) ds = P (t) .
0
(1.3.24)
(1.3.25)
27
(1.3.26)
t0
a0
(1.3.27)
1.4.
L(y1 , . . . , yk ) = L(x1 , . . . , xk ) ,
(1.4.1)
yk+1 L(y1 , . . . , yk ) .
Este resultado puede demostrarse por induccion completa. En efecto, supongamos que han sido construidos los primeros vectores y1 , y2 , . . . , yk con esas propiedades. En particular, para k = 1 basta con tomar y1 = x1 (si x1 = 0).
Para un dado k, la variedad lineal L(y1 , . . . , yk ) es un subespacio de dimension
nita de E, de modo que el vector xk+1 puede escribirse como la suma xk+1 =
uk+1 + vk+1 , donde uk+1 L(y1 , . . . , yk ) y vk+1 L(y1 , . . . , yk ) (ver Lema 1.3). En
consecuencia, tomando yk+1 = vk+1 se satisface la segunda condicion.
Por otra parte, por hipotesis L(y1 , . . . , yk ) = L(x1 , . . . , xk ), mientras que xk+1 =
yk+1 + uk+1 . Por lo tanto, L(x1 , . . . , xk , xk+1 ) L(y1 , . . . , yk , yk+1 ).
Similarmente, dado que uk+1 L(x1 , . . . , xk ) y yk+1 = xk+1 uk+1 , entonces
L(y1 , . . . , yk , yk+1 ) L(x1 , . . . , xk , xk+1 ).
Finalmente, si yk = 0 para alg
un k, eso signica que xk no es linealmente independiente de los vectores {x1 , . . . , xk1 } y puede ser descartado de la secuencia
original. Ademas, los vectores yk = 0 pueden ser normalizados de modo de obtener
una secuencia ortonormal.
Ejemplo 1.24. Consideremos la secuencia de funciones linealmente independientes {x0 (t) = 1, x1 (t) = t, . . . , xk (t) = tk , . . . } C2 (1, 1). En este caso, L(x0 , . . . , xk )
1. ESPACIOS EUCLIDEOS
28
(y0 , x1 )
y0 (t) = t ,
(y0 , y0 )
(y0 , x2 )
(y1 , x2 )
1
y0 (t)
y1 (t) = t2 ,
(y0 , y0 )
(y1 , y1 )
3
(1.4.2)
..
.
Pk (t) = yk (t) = xk (t)
(y0 , xk )
(yk1 , xk )
y0 (t)
yk1 (t) .
(y0 , y0 )
(yk1 , yk1 )
1.5.
Operadores acotados
| x=1}
Ax .
(1.5.1)
(1.5.2)
29
(1.5.3)
|i | |i | |max | .
2
i=1
Por otra parte, A emax = |max |. Por lo tanto, A = |max | y emax es un vector
maximo de A.
Ejemplo 1.27. El operador nulo O tiene norma nula,
O = sup{x=1} 0 = 0 .
(1.5.4)
(1.5.5)
Por lo tanto, A = 0 A = O.
Lema 1.4. En un espacio eucldeo de dimension finita, todo operador lineal resulta acotado y tiene un vector maximo.
En efecto, consideremos el caso de un espacio real de dimension nita n, En ,
donde un vector generico tiene el desarrollo x = 1 e1 + + n en , con i R,
respecto de cierta base ortonormal. La funcional
F (x) := A x 2 0
(1.5.6)
(Ak l l )2 = f (1 , . . . , n ) R ,
(1.5.7)
k=1
1. ESPACIOS EUCLIDEOS
30
(1.5.8)
y, en consecuencia, es un maximo de A.
(1.5.9)
(1.5.10)
(1.5.11)
unitarios}
|(y, A x)| .
(1.5.12)
(1.5.13)
31
(1.5.14)
(1.5.15)
(1.5.16)
Esto signica que el conjunto de los operadores lineales acotados sobre E constituye
un subespacio del espacio vectorial de los operadores lineales.
Ademas, la norma de operadores acotados satisface las siguientes propiedades:
A 0 y
A = 0 A = O ,
(1.5.17)
A = || A , C .
Las ecs. (1.5.15) y (1.5.17) muestran que los operadores lineales acotados sobre
un espacio eucldeo forman un espacio de Banach8 o espacio normado9.
Por otra parte,
AB A B ,
(1.5.19)
dado que
(A B) x A B x A B x , x E .
(1.5.20)
8Stefan
9Un
0 y = 0 = 0 (elemento neutro de F) ,
= || , C ,
+ + .
(1.5.18)
1. ESPACIOS EUCLIDEOS
32
1.6.
El operador adjunto
Se
nalemos primero que dos operadores acotados que tienen los mismos elementos
de matriz son iguales. En efecto, si
(x, Ay) = (x, By) ,
x, y E
(1.6.1)
(1.6.3)
unitarios}
(
)
x, A y = sup{x,y
unitarios}
|(y, A x) | = A .
(1.6.4)
(1.6.5)
A y0 = A .
Un operador acotado A denido sobre un espacio eucldeo E se dice sim
etrico
si
(A x, y) = (x, A y) , x, y E .
(1.6.6)
33
(1.6.7)
(1.6.8)
(1.7.1)
P v = 0 E
n , v En .
(1.7.2)
Ejemplo 1.32. El operador diagonal de la ec. (1.3.6) deja invariante el subespacio generado por cualquier subconjunto de vectores de la base.
Ejemplo 1.33. El operador de multiplicacion de la ec. (1.3.8), denido sobre
C2 (a, b) como A x(t) = (t) x(t), con (t) continua, deja invariante el subespacio de
las funciones continuas en [a, b] que se anulan identicamente en el intervalo [a, b].
10La
diferencia entre los terminos simetrico y autoadjunto se pondra en evidencia mas adelante,
1. ESPACIOS EUCLIDEOS
34
(1.7.3)
Todo otro vector y de esa direccion invariante es tambien colineal con x y puede
escribirse como y = c x, con c C. Entonces, A y = A(c x) = c A x = y, de
modo que el n
umero , llamado autovalor de A correspondiente al autovector x,
es independiente del vector no nulo seleccionado, siendo una caracterstica de ese
subespacio unidimensional invariante.
Ejemplo 1.35. Todo vector no nulo x E es un autovector de los operadores
O e I,
Ox = 0x,
Ix = 1x.
(1.7.4)
P v = 0 v , v En .
(1.7.5)
Ejemplo 1.37. El operador de multiplicacion por una funcion (t) real monotona no tiene autovectores.
En efecto, consideremos la ecuaci
on de autovalores
A x(t) = (t) x(t) = x(t) .
(1.7.6)
35
(1.7.7)
Si < a < b < , tenemos que e t < , y ese es un vector del espacio
C.
En consecuencia, este operador tiene un conjunto innito de autovectores correspondientes a autovalores diferentes.
1.8.
Teorema 1.4. Los autovectores x1 , x2 , . . . , xm , . . . de un operador lineal A, correspondientes a autovalores distintos 1 , 2 , . . . , m , . . . , son linealmente independientes.
La prueba se hace inductivamente, por reduccion al absurdo. Supongamos que
los m 1 primeros autovectores son linealmente independientes, pero que podemos
formar una combinacion lineal nula con los m primeros autovectores,
c1 x1 + c2 x2 + + cm1 xm1 + cm xm = 0 ,
(1.8.1)
(1.8.3)
1. ESPACIOS EUCLIDEOS
36
(1.8.4)
Teorema 1.7. Los autovectores de un operador lineal simetrico A correspondientes a autovalores diferentes son ortogonales entre s.
Supongamos que A x = x y A y = y, con = . Entonces,
( )(y, x) = (y, A x) (A y, x) = 0 (y, x) = 0 .
(1.8.5)
Por lo tanto, x y si = .
(1.8.6)
(1.8.7)
(1.8.8)
(1.8.9)
37
Lema 1.7. Si e0 es un vector (unitario) maximo de un operador simetrico acotado A, entonces e0 es un autovector de A2 correspondiente al autovalor = A 2 .
Si e0 es un vector maximo de A, entonces A e0 = A .
Del Lema anterior, y del hecho de que A es acotado, podemos escribir que
A 2 = A e0 2 A2 e0 A A e0 = A 2 ,
(1.8.10)
= A e0 2 = A 2 .
(1.8.11)
Lema 1.8. Si el operador simetrico acotado A tiene un vector maximo e0 , entonces A tambien tiene un autovector con autovalor = A o = A .
Del Lema anterior sabemos que
(
)(
)
A 2 e 0 = A 2 e 0 A A I A + A I e 0 = 0 .
(
)
Sea x0 = A + A I e0 . Tenemos dos posibilidades,
(1.8.12)
x0 = 0 A e0 = A e0 ,
(1.8.13)
x0 = 0 A x0 = A x0 .
(1.8.14)
o bien
En cualquier caso, existe un vector e = 0 tal que A e = e, con || = A .
De hecho, ya hemos visto que en un espacio eucldeo de dimension nita todo
operador lineal es acotado y tiene un vector maximo (ver Lema 1.4). En ese caso
puede establecerse el siguiente teorema.
Teorema 1.9. Todo operador simetrico A, definido sobre un espacio eucldeo En
de dimension finita n, tiene n autovectores ortogonales entre s.
En efecto, por el Lema 1.4 sabemos que existe en En un vector unitario que
es un maximo de A. Y, siendo A simetrico, por el Lema 1.8 sabemos que entonces
tiene un autovector e1 correspondiente a un autovalor 1 , A e1 = 1 e1 , tal que
|1 | = M1 = A .
Ahora bien, el subespacio generado por e1 , L{e1 }, es invariante frente a la accion
de A. Por lo tanto (ver Teorema 1.8), tambien lo es su complemento ortogonal,
En1 = (L{e1 }) ,
A : En1 En1 .
(1.8.15)
1. ESPACIOS EUCLIDEOS
38
(1.8.16)
39
Ax =
(t) |x(t)| dt M
|x(t)|2 dt ,
(1.8.18)
si |(t)| M para t [a, b]. Por lo tanto, A M . Por otra parte, x, y C2 (a, b)
tenemos
(y, A x) =
=
b(
a
b
a
(
)
y(t) (t) x(t) dt =
)
(t) y(t) x(t) dt = (A y, x) .
(1.8.19)
b ( b
a
b
a
y(t)
b
a
K(s, t) y(t) dt
K(t, s) x(s) ds dt =
)
(1.8.20)
x(s) ds = (A y, x) .
Veremos mas adelante que este operador es acotado, tiene un vector maximo y un
conjunto innito de autovectores linealmente independientes.
Ejemplo 1.41. El operador de Sturm - Liouville11 es un operador diferencial de
segundo orden denido sobre un subespacio D(L) C2 (a, b), que contiene funciones
con derivadas segundas continuas, de modo que
(
)
z(t) = L x(t) := p(t) x (t) + q(t) x(t) C2 (a, b) ,
x(t) D(L), donde p(t), p (t) y q(t) son funciones reales y continuas.
11Jacques
(1.8.21)
1. ESPACIOS EUCLIDEOS
40
=
y(t)
p(t) x (t) + q(t) x(t)
a
[(
]
}
)
p(t) y (t) + q(t) y(t) x(t) dt =
b[
=
(1.8.22)
(
)]
p(t) y(t) x (t) y (t) x(t)
dt =
[
]
[
]
= p(b) y(b) x (b) y (b) x(b) p(a) y(a) x (a) y (a) x(a)
ha de ser nula x, y D(L).
Para una funcion p(t) arbitraria (aparte de ser continua en el intervalo cerrado
[a, b]) debe garantizarse que la contribucion de cada lmite de integracion sea nula imponiendo condiciones de contorno locales (es decir, condiciones en cada
extremo de ese intervalo) a las funciones en D(L).
Consideremos, por ejemplo, la contribucion del lmite inferior. Una posibilidad
es requerir simplemente que x(a) = 0 para toda x(t) D(L). Pero supongamos que
ese no sea el caso, y tomemos dos funciones en D(L) que no se anulen en a; entonces
podemos escribir
( )
y (a)
x (a)
=
.
(1.8.23)
x(a)
y(a)
En particular, si tomamos y = x vemos que ese cociente debe ser real e independiente
de la funcion considerada,
x (a) = c x(a) , c R , x D(L) | x(a) = 0 .
(1.8.24)
Finalmente, si x(t) satisface esa condicion, entonces toda otra funcion y(t)
D(L) debe satisfacer que
(
)
y(a) x (a) y (a) x(a) = y(a) c y (a) x(a) = 0
(1.8.25)
y (a) = c y(a) .
Por lo tanto, el caso mas general de condicion de contorno local en t = a corresponde a requerir de las funciones en D(L) que
x (a) + x(a) = 0 , con , R | 2 + 2 = 0 .
(1.8.26)
41
En particular, = 0 x(a) = 0.
Similarmente, la condicion de contorno local mas general en t = b se expresa
como
x (b) + x(b) = 0 , con , R | 2 + 2 = 0 .
(1.8.27)
(1.8.28)
1.9.
(1.9.1)
espacio m
etrico consiste en un conjunto de puntos x, y, z, . . . entre los cuales hay
1. ESPACIOS EUCLIDEOS
42
(1.9.2)
lo que tambien se indica por xk x. Esto signica que, > 0, N () N tal que
si k > N () entonces (xk , x) = xk x < .
En ese caso, el vector x es llamado lmite de la secuencia.
Teorema 1.10. Si existe el lmite de una secuencia, entonces ese lmite es u
nico.
En efecto, supongamos que existen dos vectores x e y que son el lmite de la
secuencia, xk x y xk y. Entonces, > 0 tenemos que (xk , x) < /2 y
(xk , y) < /2 si k es sucientemente grande. En consecuencia, de la desigualdad
triangular resulta que
0 (x, y) (x, xk ) + (xk , y) < .
(1.9.3)
(i)
(i)
=
0 cuando k .
k
(1.9.4)
i=1
Siendo una suma de terminos no negativos, esto exige que cada termino tienda a
cero, es decir,
(i)
lm k = (i) , i = 1, 2, . . . , n .
(1.9.5)
43
(xk , x) = xk x =
2
(1.9.6)
(1.9.7)
Lema 1.9. Toda secuencia uniformemente convergente en un intervalo de longitud finita, b a < , es tambien convergente en media.
En efecto, dado > 0, |xk (t) x(t)|2 < t, si k es sucientemente grande, de
modo que
(1.9.8)
que este argumento solo vale si la longitud del intervalo considerado es finita. En
efecto, la convergencia uniforme en toda la recta no implica convergencia en media, como lo muestra
el siguiente ejemplo: consideremos las funciones xk (t), pares y continuas, tales que
2
t
k 1 k , 0 t k ,
xk (t) =
0, t > k.
Esa secuencia converge uniformemente en toda la recta a la funcion identicamente nula,
2
|xk (t) 0(t)| 0 , cuando k ,
k
pero no converge en media a esa funcion,
)
(
2 k
t
2
|xk (t) 0(t)| dt =
1
dt = 1 , k .
k 0
k
1. ESPACIOS EUCLIDEOS
44
(
)2
2
xk (t) 0(t) dt =
xk (t) dt 1
dt <
1
,
k
(1.9.9)
(1.9.10)
de modo que la secuencia no converge uniformemente a la funcion identicamente nula. De hecho, puede demostrarse que no converge uniformemente a ninguna funcion
continua.
Es mas, los subintervalos k pueden ser elegidos de manera tal que la secuencia {xk (t)} no sea puntualmente convergente para ning
un valor de t (por ejemplo,
haciendo que ellos barran repetidas veces la distancia que media entre ambos extremos de [a, b], de modo que para cada valor de t la secuencia numerica {xk (t)} sea
oscilante).
1.10.
k
14Si,
(1.10.1)
45
Lema 1.11. Una funcional lineal continua es acotada.
Si f (x) es continua, tenemos que
|f (x) f (0)| = |f (x)| < , x | x < () .
Sea x = 0 y 0 < 1 < (), entonces
(
)
x
f 1
= 1 |f (x)| < |f (x)| < x .
x x
1
Ademas, 0 = |f (0)| =
(1.10.2)
(1.10.3)
(1.10.4)
(1.10.5)
Teorema 1.11. Como consecuencia de los tres Lemas anteriores resulta que,
para una funcional lineal f (x) definida sobre un espacio eucldeo E, los siguientes
enunciados son equivalentes:
f (x) es continua en x = 0,
f (x) es continua x E,
f (x) es acotada en E.
Ejemplo 1.45. Ya sabemos que el producto escalar por un vector jo del espacio,
z E, dene una funcional lineal, f (x) := (z, x) , x E. De la desigualdad de
Cauchy - Schwarz resulta que
|f (x)| = |(z, x)| z x , x E .
(1.10.6)
1. ESPACIOS EUCLIDEOS
46
Ejemplo 1.47. Pero tambien sabemos que en C2 (a, b) existen funcionales lineales
que no pueden ser representadas mediante el producto escalar por un vector jo
del espacio, como por ejemplo f [x(t)] = x(t0 ), con t0 (a, b) (ver ec. (1.2.6)). Esta
funcional no es continua, dado que la convergencia en media no implica convergencia
puntual en ning
un punto. Por lo tanto, tampoco es acotada.
(1.10.7)
(1.10.8)
x y yk + x xk y + x xk y yk 0
cuando k .
(1.10.9)
47
Bibliografa:
Georgi Ye. Shilov, An Introduction To The Theory of Linear Spaces. PrenticeHall International, London, 1961.
Georgi Ye. Shilov, Mathematical Analysis, A Special Course. Pergamon Press,
Oxford, 1965.
A.N. Kolmogorov y S.V. Fomin, Elementos de la Teora de Funciones y del
Analisis Funcional. Editorial MIR, Mosc
u, 1975.
R. Courant y D. Hilbert, Methods of Mathematical Physics, Vol. I y II. John
Wiley & Sons, New York, 1953.
Captulo 2
ESPACIOS DE HILBERT
2.1.
(2.1.1)
Por lo tanto, x E .
(2.1.2)
.
En consecuencia, a es un punto lmite del conjunto A y, por lo tanto, a A
49
50
2. ESPACIOS DE HILBERT
(2.1.3)
(2.1.4)
(2.1.5)
Esto signica que todo elemento de A es un punto lmite de B, de modo que puede representarse como el lmite de una secuencia convergente de vectores contenidos
en B,
a A {b1 , b2 , . . . } B a = lm bk .
k
(2.1.6)
51
(2.1.7)
es denso en el espacio de las funciones reales y continuas en [a, b], C2 (a, b).
En efecto, el teorema de Weierstrass1 muestra que toda funcion real f (t), continua en un intervalo cerrado [a, b], es el lmite de una secuencia uniformemente
convergente de polinomios con coecientes reales2, {P1 (t), P2 (t) . . . , Pk (t), . . . }.
Esto implica (ver Lema 1.9) que toda funcion real y continua es el lmite en
media de una secuencia de polinomios a coecientes reales, es decir, es un punto
lmite de P2 (a, b). Por lo tanto,
C2 (a, b) P2 (a, b) .
(2.1.8)
(2.1.9)
(2.1.10)
(2.1.11)
es denso en el espacio de los polinomios con coecientes reales P2 (a, b), que a su vez
es denso en C2 (a, b). Por el lema anterior, Q2 (a, b) es denso en C2 (a, b).
Para mostrar que Q2 (a, b) es denso en P2 (a, b), consideremos un polinomio
P (t) = a0 + a1 t + + an tn P2 (a, b), y elijamos n n
umeros racionales q0 , q1 , . . . , qn
tales que |ak qk | < /(2k+1 tk ), con > 0 (lo que siempre es posible, dado que
Q es denso en R).
1Karl
2Ver,
por ejemplo, R. Courant y D. Hilbert, Methods of Mathematical Physics, Vol. 1, pag. 65.
52
2. ESPACIOS DE HILBERT
(2.1.12)
1
1
<
<
= .
2 k=0 2k
2 k=0 2k
2.2.
Conjuntos numerables
(2.2.1)
(2.2.2)
53
(2.2.3)
Lema 2.8. El conjunto de pares ordenados formados con los elementos de dos
conjuntos numerables es tambien numerable.
Dados dos conjuntos numerables,
A = {a1 , a2 , . . . , ak , . . . } ,
B = {b1 , b2 , . . . , bk , . . . } ,
(2.2.4)
el conjunto de pares ordenados {ak , bl , k, l}, es la union de un conjunto numerable de conjuntos numerables de la forma
Sk = {ak , bl , l = 1, 2, . . . } , con k = 1, 2, . . .
(2.2.5)
54
2. ESPACIOS DE HILBERT
biunvoca con los pares ordenados de la forma Qk (t), ql , los que forman un conjunto
numerable de acuerdo con el Lema 2.8.
(2.3.1)
lm (xk , xl ) = 0 .
(2.3.2)
es decir, si
k,l
(2.3.3)
55
(2.3.4)
c+
c+
+
c
2
|xk (t) xl (t)| dt
a
)2
dt <
(2.3.5)
< 4 21 (c a) < 4 21 (c a) .
Similarmente, si |xk,l (t) 1| < 2 para t [c + , b], podemos escribir
b
|xk (t) xl (t)|2 dt < 4 22 (b c ) < 4 22 (b c) .
(2.3.6)
c+
Finalmente, para la u
ltima integral tenemos
c+
2
|xk (t) xl (t)| dt
c
c+
22 dt = 8 .
(2.3.7)
(2.3.8)
(2.3.9)
2
|xk (t) x(t)| dt
a
(2.3.10)
56
2. ESPACIOS DE HILBERT
(2.3.11)
(2.3.12)
Espacios completos
(n)
xk = k e1 + + k en , k N .
(2.4.1)
Entonces,
n
2
(j)
(j)
(xk , xl ) =
k l
2
j=1
(2.4.2)
{
}2
{
}2
(i)
(i)
(i)
(i)
k l
+ k l
, i = 1, 2, . . . , n .
(i)
(i) = lm k , i = 1, 2, . . . , n .
k
(2.4.3)
2.5. EL ESPACIO L2
57
Esos n n
umeros denen un vector
x = (1) e1 + + (n) en E ,
que es el lmite de la secuencia. En efecto,
n
2
(j)
2
(j)
(xk , x) =
k 0
(2.4.4)
(2.4.5)
j=1
cuando k (dado que es una suma nita de terminos que se anulan en ese
lmite).
Por lo tanto, toda secuencia fundamental en un espacio eucldeo de dimension
nita tiene lmite, de modo que ese espacio es completo.
Por otra parte, hemos visto en la Seccion 2.3 que el espacio C2 (a, b) no es completo. Esto plantea la pregunta acerca de la existencia de espacios completos de
dimension innita, que el ejemplo tratado en la siguiente Seccion responde armativamente.
2.5.
El espacio L2
(
)
2
L2 := x = { (i) , i N}
(i) < .
(2.5.1)
i=1
(i)
)2
< ,
i=1
y = { (i) , i N} ,
(i)
)2
< ,
(2.5.2)
(2.5.3)
i=1
entonces
x := { (i) , i N} ,
(2.5.4)
x + y := { (i) + (i) , i N} .
i
, i N}, con m N,
Es evidente que elementos de la forma xm = { (i) = m
i=1
(i) (i) .
(2.5.5)
58
2. ESPACIOS DE HILBERT
Para vericar que estas deniciones tienen sentido, consideremos primero la serie
que dene el producto escalar. La diferencia en valor absoluto de dos de sus sumas
parciales,
{
}1/2 { N +M
}1/2
+M
N
+M
N
( )2
( (i) )2
(i) (i)
(i)
, (2.5.6)
SN +M SN =
i=N +1
i=N +1
i=N +1
(
lm
SN +M SN = 0 ,
M N,
(2.5.7)
y, por el criterio de Cauchy, tiene lmite. Por lo tanto, el producto escalar en (2.5.5)
esta denido para todo par de elementos de L2 .
Este producto es simetrico y positivo denido. Ademas,
(x, x) =
(i)
)2
= 0 x = 0 = { (i) = 0 , i N} ,
(2.5.8)
i=1
(i)
i=N +1
)
(i) 2
N
+M
)
(i) 2
+2
i=N +1
N
+M
(i)
i=N +1
(i)
N
+M
(i)
)2
(2.5.9)
i=N +1
(i) + (i)
)2
< .
(2.5.10)
i=1
2.5. EL ESPACIO L2
59
{
}
(i)
xk = k , i N .
(2.5.11)
Entonces,
(xk , xl )2 =
(i)
(i)
k l
)2
0 , k, l .
(2.5.12)
i=1
(2.5.13)
(i) = lm k .
(2.5.14)
(i)
)2
K < ,
(2.5.15)
i=1
(i)
)2
K , k N.
(2.5.16)
i=1
N (
(i)
k
)2
=
(i)
)2
K , N N.
(2.5.17)
K < x L2 .
(2.5.18)
i=1
i=1
(i)
)2
i=1
(i)
)2
i=1
Ahora mostraremos que este vector x L2 es el lmite de la secuencia fundamental en (2.5.11). Para ello, tengamos en cuenta que, dado > 0,
2
(xk , xl ) =
i=1
(i)
k
(i)
l
)2
<
,
2
(2.5.19)
60
2. ESPACIOS DE HILBERT
N (
(i)
(i)
k l
)2
<
i=1
, N N.
2
(2.5.20)
Si ahora, con N jo, tomamos el lmite de esta suma nita para l resulta
lm
N (
(i)
k
(i)
l
)2
=
N (
i=1
(i)
k
(i)
)2
i=1
, N N,
2
(2.5.21)
N (
(i)
k
(i)
)2
=
i=1
(i)
k (i)
)2
i=1
< ,
2
(2.5.22)
(2.5.23)
)
(i) 2
<
i=1
(i)
)2
<
i=N +1
(2.5.24)
(2.5.25)
(x, q) =
(i)
)
(i) 2
i=1
(i)
(2.5.26)
)2
<
i=N +1
(2.5.27)
<
i=1
21+i
<
2
2
i=0
1
= .
2i
61
(2.5.28)
2.6.
(2.6.1)
(2.6.2)
X, Y
E,
tomamos
dos
secuencias
representativas,
(2.6.3)
62
2. ESPACIOS DE HILBERT
(2.6.4)
(2.6.5)
(2.6.6)
(2.6.7)
xk yk yl + xk xl yl 0 , k, l ,
dado que toda secuencia fundamental es acotada.
El lmite de esta secuencia numerica solo depende de las clases seleccionadas en
y no de las secuencias representativas consideradas. En efecto, sean dos secuencias
E,
coterminales con las anteriores, {xk } X y {yk } Y ; entonces
(xk , yk ) (xk , yk ) = (xk , yk yk ) + (xk xk , yk )
(xk , yk yk ) + (xk xk , yk )
xk yk yk + xk xk yk 0 , k, l .
(2.6.8)
63
(2.6.9)
Es evidente que esta denicion satisfacen los dos primeros axiomas del producto
escalar en un espacio eucldeo. En cuanto al tercero, para {xk } X tenemos
(
)
(xk , xk ) 0 X, X 0 ,
(2.6.10)
y si
(
)
,
X, X = 0 lm xk 2 = 0 xk 0 {xk } O
k
(2.6.11)
es decir, X = O.
as conformado tiene las siguientes propiedades:
El espacio Eucldeo E
contiene un subespacio E1 isomorfo a E.
E
En efecto, cada vector de E puede asociarse de manera unvoca con la
clase de secuencias coterminales que lo tienen por lmite,
{
}
{
}
x Xx = {xk } | xk x , y Xy = {yk } | yk y .
(2.6.12)
Entonces
x + y Xx + X y ,
y el producto escalar
(
)
Xx , Xy = lm (xk , yk ) = (x, y) .
k
(2.6.13)
(2.6.14)
El subespacio E1 es denso en E.
Dado > 0,
Consideremos una secuencia fundamental {xk } X E.
N N tal que si k > N entonces (xk , xN ) < 2 .
Sea XxN E1 la clase de las secuencias que convergen a xN . En particular, XxN contiene la secuencia {xN , xN , . . . }. Entonces
X XxN = lm xk xN < .
k
2
es un punto lmite de E1 .
Por lo tanto, todo elemento de E
es completo.
El espacio E
{ }
(2.6.15)
(2.6.16)
(2.6.17)
64
2. ESPACIOS DE HILBERT
.
(2.6.18)
2
Por lo tanto, la secuencia {yk } es fundamental, y pertenece a cierta clase
Y E.
yk yl = xk,k xl,l <
< , > 0.
(2.6.19)
l
2
En consecuencia, Y = lmk Xk , lo que muestra que toda secuencia de
tiene un lmite en ese espacio.
Cauchy en E
Xk Y = lm xk,l yl
La integral de Lebesgue
5Henri
6Ver,
65
= .
k
2
k=1
(2.7.1)
(2.7.2)
con > 0, es medible. Ella puede ser redenida en el intervalo (0, ), por ejemplo,
como una funcion lineal que se anule en el origen y tome el valor en t = . De
esa manera se obtiene una funcion continua en el intervalo [0, 1] para todo > 0.
Ejemplo 2.11. La funcion de Dirichlet, denida en el intervalo [0, 1] como
{
1, t Q,
(2.7.3)
(t) =
0, t
/ Q,
es una funcion medible. En efecto, el conjunto de los n
umeros racionales puede
ser contenido en un subconjunto de [0, 1] de medida menor que cualquier > 0.
Redeniendo all adentro a la funcion, por ejemplo, como tomando valores nulos se
obtiene una funcion continua, identicamente nula.
66
2. ESPACIOS DE HILBERT
2.7.1.
Noci
on de integral de Lebesgue. Consideremos una funcion medi-
ble en el intervalo [a, b], f (t), que toma valores no negativos. Entonces, dada una
secuencia de n
umeros positivos k 0, para cada k podemos construir una funcion continua fk (t), que tambien tome valores no negativos, y que solo diera de la
anterior en un conjunto de medida menor que k .
Si esas funciones fk (t) pueden ser construidas de manera tal que sus integrales
(en el sentido de Riemann) tengan una cota superior com
un, entonces la funcion
f (t) se dice sumable o integrable en el sentido de Lebesgue.
En ese caso, se puede demostrar que las funciones fk (t) pueden ser elegidas de
modo que sus integrales formen una secuencia convergente cuyo lmite, no obstante,
puede depender de la esa eleccion.
En efecto, si la funcion f (t) ha sido modicada en un intervalo , de longitud ,
a los efectos de obtener una funcion continua fk (t), nada impide sumarle a fk (t) una
funcion continua no negativa, que se anule fuera de y cuya graca sea, por ejemplo,
un triangulo de base y altura 2c/, con c > 0. Esa modicacion incrementa en c
el valor de su integral,
fk (t) dt c +
a
fk (t) dt .
(2.7.4)
Entonces, el lmite de la secuencia de integrales puede ser incrementado arbitrariamente. Pero la condicion fk (t) 0 impide que pueda ser disminuido arbitrariamente.
En esas condiciones, se dene la integral de Lebesgue de f (t) (y se la denota por
el mismo smbolo que la integral de Riemann) como la mayor cota inferior o nfimo
del conjunto de valores posibles para el limite de la secuencia de integrales de las
funciones fk (t),
f (t) dt := Inf
a
fk (t) dt
lm
(2.7.5)
donde deben tenerse en cuenta todas las posibles elecciones de las funciones fk (t).
Con esa denicion, se puede demostrar que si una funcion que toma valores no
negativos f (t) tiene una integral de Riemann (porque es continua), o una integral
de Riemann impropia (como es el caso de una funcion con una discontinuidad, o
con una singularidad integrable f (t) = t , con 0 < < 1), entonces tambien es
sumable, y su integral de Lebesgue coincide con su integral en el sentido de Riemann.
Similarmente, una funcion no negativa que tiene una singularidad no integrable,
f (t) = t , con > 1, tampoco es integrable en el sentido de Lebesgue dado que,
en ese caso, las integrales de las funciones fk (t) no estan acotadas.
67
No obstante, existen funciones que no tienen una integral de Riemann (ni propia
ni impropia) pero que s son integrables en el sentido de Lebesgue.
Un ejemplo es la funcion de Dirichlet, ec. (2.7.3). Esta funcion no es integrable
en el sentido de Riemann, porque el lmite de las integrales de funciones escalonadas
que aproximan a (t) por arriba no coincide con el lmite de las que la aproximan
por abajo.
Pero esta funcion medible puede ser modicada en conjuntos de medida arbitrariamente peque
na, de modo de obtener una secuencia de funciones continuas k (t)
cuyas integrales esten acotadas. La eleccion de estas funciones que conduce a los
mnimos valores posibles para sus integrales corresponde a tomar k (t) 0 para
todo k. Entonces,
(t) dt = Inf
lm
k (t) dt
= 0.
(2.7.6)
g(t) dt
a
f (t) dt .
(2.7.7)
Una funcion medible f (t), que toma valores tanto positivos como negativos, se
dice sumable si su valor absoluto |f (t)| es sumable.
En ese caso, por la propiedad anterior, las funciones
f+ (t) = max {0, f (t)} |f (t)| ,
(2.7.8)
f (t) = max {0, f (t)} |f (t)| ,
que toman valores no negativos, son integrables de Lebesgue. Dado que f (t) =
f+ (t) f (t), se dene la integral de Lebesgue de esa funcion como
f+ (t) dt
f (t) dt :=
a
f (t) dt .
(2.7.9)
{f (t)} dt + i
f (t) dt :=
a
{f (t)} dt .
a
(2.7.10)
68
2. ESPACIOS DE HILBERT
2.8.
(2.7.11)
El espacio L2 (a, b)
Se llama L2 (a, b) al espacio de las funciones f (t) medibles en el intervalo [a, b],
cuyos modulos al cuadrado son sumables,
b
|f (t)|2 dt < .
(2.8.1)
(2.8.2)
(2.8.3)
(2.8.4)
Primero veriquemos que esa integral existe para todo par de funciones f (t), g(t)
L2 (a, b). Para ello tengamos en cuenta que
1(
(
)2
)
0 |f (t)| |g(t)|
|f (t)|2 + |g(t)|2 ,
f (t) g(t)
2
(
)
de donde resulta que f (t) g(t) es sumable (ver Propiedad 2.11).
(2.8.5)
(2.8.6)
de donde resulta que (f + g)(t) L2 (a, b), que es lo que debe ocurrir en un espacio
lineal.
En particular, el elemento neutro respecto de la suma es la funcion identicamente
nula 0(t).
69
Por otra parte, de la denicion de producto escalar, ec. (2.8.4), y de las propiedades de linealidad de la integral de Lebesgue, ec. (2.7.11), resulta inmediato probar
que se satisfacen los dos primeros axiomas del espacio eucldeo.
En cuanto al tercero,
2
(
) b
f (t)2 dt 0 .
f (t) 0 f (t), f (t) =
(2.8.7)
(
)
Pero si f (t), f (t) = 0, no podemos concluir de ello que f (t) = 0(t), puesto que
hemos visto que existen funciones a valores no negativos que (como la funcion de
Dirichlet) tienen una integral de Lebesgue nula a pesar de no ser identicamente
nulas. Esto crea una dicultad con la segunda parte de este axioma.
Sin embargo, se puede demostrar que una funcion a valores no negativos, u(t)
0 , t, tiene una integral de Lebesgue nula s y solo si ella diere de 0 en, a lo sumo,
un conjunto de medida nula,
b
u(t) dt = 0 u(t) = 0 , a.e.
(2.8.8)
(2.8.9)
A pesar de no ser identicas, tales funciones deberan ser consideradas como el mismo
vector del espacio eucldeo.
Esto sugiere identicar a todas las funciones de (modulo) cuadrado integrable
que dieran unas de otras en, a lo sumo, un conjunto de medida nula con un mismo
elemento del espacio. En particular, toda funcion nula en casi todo punto sera
entonces equivalente al vector nulo 0(t), con lo que tambien se satisfara el tercer
axioma del producto escalar.
Para ser mas precisos: interpretamos a los elementos del espacio L2 (a, b) no como
funciones individuales, sino como clases de equivalencia de funciones de cuadrado
sumable, donde dos funciones estan en la misma clase si coinciden en casi todo punto
(es decir, si solo dieren en, a lo sumo, un conjunto de medida nula).
Las operaciones lineales entre clases se denen a partir de las operaciones sobre
funciones representativas de cada clase, siendo la clase resultante independiente de
esta eleccion. En efecto, cambiar de funciones representativas produce un resultado
70
2. ESPACIOS DE HILBERT
que coincide con el anterior en casi todo punto, y entonces pertenece a la misma
clase de equivalencia.
Finalmente, el producto escalar entre elementos de L2 (a, b) se dene como en
la ec. (2.8.4), a partir de dos funciones representativas de las clases. Esto tambien
resulta independiente de esa eleccion, dado que cambiar de funcion en una clase
corresponde a cambiar el integrando en, a lo sumo, un conjunto de medida nula, lo
que no altera el valor de la integral.
Con esta interpretacion, L2 (a, b) resulta un espacio eucldeo.
Por otra parte, se puede demostrar que las funciones continuas, que participan
en la denicion de la integral de Lebesgue
{
}
b
b
2
2
f (t) dt = Inf lm
fk (t) dt , f (t) L2 (a, b) ,
a
(2.8.10)
71
angulo
Teorema 2.3. (de Fubini)8 Sea f (t, s) una funcion sumable en el rect
a t b, c s d. Entonces, para t fijo, f (t, s) es una funcion sumable de la
variable s en el intervalo [c, d], excepto posiblemente para un conjunto de medida
nula de valores de t. Su integral de Lebesgue
d
F (t) =
f (t, s) ds
(2.8.11)
(que existe en casi todo punto) es una funcion sumable de la variable t, cuya integral
coincide con el valor de la integral doble,
}
b
b { d
b
f (t, s) ds dt =
F (t) dt =
a
Similarmente, la integral
b
a
2.9.
f (t, s) dt ds .
(2.8.12)
f (t, s) dt ds .
(2.8.13)
Complementos ortogonales
El Lema 1.3 muestra la existencia del complemento ortogonal de cualquier subespacio de dimension nita. En lo que sigue mostraremos que en un espacio eucldeo
completo es posible realizar una descomposicion similar respecto de un subespacio
arbitrario.
Lema 2.12. Si x E es un vector ortogonal a un subespacio F E, entonces x
es decir, x F.
(2.9.1)
72
2. ESPACIOS DE HILBERT
on
Lema 2.13. (del paralelogramo) Dados dos vectores x, y E, vale la relaci
x + y 2 + x y 2 = 2 x 2 + 2 y 2
(2.9.2)
(es decir, la suma de los cuadrados las longitudes de las diagonales de un paralelogramo es igual a la suma de los cuadrados de las longitudes de los lados).
En efecto,
x + y 2 + x y 2 = (x + y, x + y) + (x y, x y) =
(2.9.3)
= 2(x, x) + 2(y, y) = 2 x + 2 y .
2
Lema 2.14. Consideremos un subespacio cerrado F de un espacio eucldeo completo E. Todo vector x E puede ser expresado como la suma de dos vectores,
x = u + v, donde u F y v F. Adem
as, esos dos vectores estan unvocamente
definidos.
Sea
d = Inf {yF} {(x, y)} 0 .
(2.9.4)
(2.9.5)
(2.9.6)
2
d2 ,
(2.9.7)
(2.9.8)
73
(2.9.9)
v = x u = lm x yk = d > 0 .
(2.9.10)
Sea v = x u. Su norma es
k
z F, C.
2
2
{(v,
z)}
>
0
,
2 {(v, z)} z 2 ,
< 0,
{(v, z)} = 0 .
2
2
{(v,
z)}
>
0
,
{(v, z)} = 0 .
(2.9.12)
(2.9.13)
(2.9.14)
Por lo tanto,
(v, z) = 0 , z F v F .
(2.9.15)
(2.9.16)
74
2. ESPACIOS DE HILBERT
Teorema 2.4. Para todo subespacio cerrado F de un espacio eucldeo completo E, existe su complemento ortogonal F , que es tambien un subespacio cerrado.
Adem
as, todo vector x E admite una descomposici
on u
nica de la forma x = u + v,
con u F y v F .
2.10.
Desarrollos ortogonales
(2.10.1)
(2.10.2)
ak ek .
(2.10.3)
k=1
donde
SN =
ak ek
(2.10.4)
(2.10.5)
k=1
N
ak , k N ,
(ek , SN ) =
al (ek , el ) =
l=1
0, k > N .
(2.10.6)
Entonces,
(ek , x) = lm (ek , SN ) = ak .
N
(2.10.7)
75
ak ek , con ak := (ek , x) .
(2.10.8)
k=1
Consideremos la diferencia
RN := x SN .
(2.10.9)
al k,l = 0 , si k N .
(2.10.10)
l=1
|ak |2 ,
(2.10.11)
k=1
de modo que
N
|ak |2 x 2 , N N .
(2.10.12)
k=1
|ak |2 x 2 .
(2.10.13)
k=1
ak ek ,
k=1
9Friedrich
con ak = (ek , x) .
(2.10.14)
76
2. ESPACIOS DE HILBERT
Consideremos la distancia entre dos sumas parciales de la serie de Fourier generalizada para x,
SN +M
2
+M
N
+M
N
SN 2 =
ak ek
=
|ak |2 .
k=N +1
(2.10.15)
k=N +1
ak ek .
(2.10.16)
k=1
k N.
(2.10.17)
x=S.
(2.10.18)
(ek , x) ek .
(2.10.19)
k=1
En las condiciones del Teorema 2.5, dos vectores cualesquiera x, y E pueden
ser representados como los lmites de sus respectivas series de Fourier,
x=
ak ek ,
y=
k=1
bk ek .
(2.10.20)
k=1
(x, y) = lm
ak ek ,
bl el = lm
ak bk .
ak bk =
N
k=1
l=1
k=1
(2.10.21)
k=1
k=1
10Marc-Antoine
|ak |2 .
(2.10.22)
77
SN =
ak ek .
(2.10.23)
k=1
Teniendo en cuenta que cada uno de los vectores ek es, por construccion, una combinacion lineal de un n
umero nito de vectores xk (ver Teorema 1.3), concluimos que
existen combinaciones lineales de (un n
umero nito de) estos vectores que estan tan
cerca como se quiera del vector x.
Por lo tanto, si el sistema {e1 , e2 , . . . , ek , . . . } es completo en un espacio E completo, entonces L{xk , k N} es denso en E.
Supongamos ahora que L{xk , k N} sea denso en E. Podemos invertir la relacion entre los ek y los xk , de modo de expresar cada vector xk como una combinacion
lineal de (un n
umero nito de) vectores ek . Entonces, un vector x ortogonal a todos
los ek ,
(ek , x) = 0 ,
k N,
(2.10.24)
(2.10.25)
78
2. ESPACIOS DE HILBERT
(2.10.26)
Este conjunto F contiene, en particular, funciones con una derivada primera continua en (, ) y que se anulan identicamente en intervalos de la forma [, +]
y [ , ], con > 0.
Veremos que F es denso en el conjunto de los polinomios P2 (, ), que a su vez
es denso en L2 (, ). Para ello, consideremos un polinomio P (t) y una secuencia
de funciones reales y diferenciables, {hk (t), k N}, tales que tomen valores entre 0
y 1 y satisfagan
0,
hk (t) =
( 1 )k+1
2
|t|
1,
|t| ,
( 1 )k
2
(2.10.27)
.
2
)2
hk (t) 1 P (t) dt
( )k
( )k
1
1
2
2
2
2 M 2
= 8M
0
2
2
(2.10.28)
79
cuando k .
Por lo tanto
L{cos(kt) , k 0 ; sin(lt) , l 1} denso en L2 (, ) .
(2.10.29)
Como el sistema trigonometrico ya es ortogonal, normalizando esos vectores obtenemos un sistema ortonormal y completo en L2 (, ),
{
}
cos(kt)
sin(lt)
,k 0;
,l 1 ,
(2.10.30)
2
2
de acuerdo con el Teorema 2.6. En un espacio complejo tambien podemos tomar el
sistema ortonormal completo
}
exp(ikt)
,k Z .
2
{
(2.10.31)
}
cos(kt) , k = 0, 1, 2, . . .
{
y
sin(kt) ,
(2.10.32)
cuando N .
Ejemplo 2.15. Por un razonamiento similar, se puede demostrar que el sistema
{
}
(
)
ortonormal 2 cos(kt) cos(ls) , k, l 0 es completo en L2 (0, ) (0, ) .
(2.10.33)
80
2. ESPACIOS DE HILBERT
ak = (ek , x) R .
ak ek ,
(2.10.34)
k=1
ak2 < .
(2.10.35)
k=1
x = ak , k N , con
ak2 < L2 .
(2.10.36)
k=1
ak bk = (
x, y)L2 .
(2.10.37)
k=1
(2.10.38)
Bibliografa:
Georgi Ye. Shilov, An Introduction To The Theory of Linear Spaces. PrenticeHall International, London, 1961.
Georgi Ye. Shilov, Mathematical Analysis, A Special Course. Pergamon Press,
Oxford, 1965.
A.N. Kolmogorov y S.V. Fomin, Elementos de la Teora de Funciones y del
Analisis Funcional. Editorial MIR, Mosc
u, 1975.
81
Captulo 3
(3.1.1)
(3.1.2)
dado que toda funcional lineal acotada es continua (ver Teorema 1.11).
Por el Teorema 2.4, sabemos que en un espacio eucldeo completo existe el complemento ortogonal de este kernel, F , que tambien es un subespacio cerrado. Veremos que F es un subespacio unidimensional.
En efecto, sean dos vectores no nulos arbitrarios z1 , z2 F , de modo que
f (z1,2 ) = 0, y sea y = f (z1 ) z2 f (z2 ) z1 F . Entonces,
f (y) = f (z1 ) f (z2 ) f (z2 ) f (z1 ) = 0 y F .
(3.1.3)
(3.1.4)
84
En esas condiciones
f (x) = f (e) + f (v) = f (e) (e, x) = (z, x) , con z = f (e) e .
(3.1.5)
Este vector z es u
nico, puesto que si tambien tenemos que f (x) = (z , x) , x
E, entonces
(z z , x) = 0 , x z z 2 = 0 z = z .
(3.1.6)
3.2.
Ya hemos se
nalado que todo operador lineal acotado es continuo. Un ejemplo
importante de operador acotado en L2 (a, b) es el operador integral de Fredholm de
n
ucleo de cuadrado sumable, denido por
b
A x(t) :=
K(t, s) x(s) ds ,
(3.2.1)
donde el n
ucleo del operador integral, K(t, s), es una funcion de dos variables de
(modulo) cuadrado sumable en la region a t, s b,
b b
2
K =
|K(t, s)|2 dt ds < .
a
(3.2.2)
(3.2.3)
(3.2.4)
(3.2.5)
existe para casi todos los valores de t [a, b], y dene una funcion sumable cuya
integral es
k(t)2 dt = K 2 .
(3.2.6)
Entonces, para casi todos los valores de t, K(t, s) puede ser considerada como una
(
)
y(t) = A x(t) = K(t, s) , x(s) ,
a. e.
(3.2.7)
85
(3.2.8)
(3.2.9)
3.3.
(3.2.10)
compacto para aquellos conjuntos cuyos subconjunto infinitos contienen al menos una secuencia
convergente.
86
(3.3.1)
Un operador lineal A, denido sobre un espacio eucldeo E, se dice completamente continuo o compacto si aplica la esfera de radio 1 del espacio en un
conjunto compacto.
Ejemplo 3.5. Todo operador lineal A en un espacio eucldeo de dimension nita
es compacto. En efecto, en ese caso A es acotado y satisface que
Ax A x .
(3.3.2)
87
(3.3.3)
(1)
(1)
(2)
(2)
(n)
(n)
(n)
(2)
(k)
G = {y1 = x1 , y2 = x2 . . . , yk = xk , . . . } F .
(3.3.4)
,
4
(3.3.5)
, k, l > m .
2
(3.3.6)
88
Entonces,
A yk A yl = A (yk yl ) =
= (A An ) (yk yl ) + An (yk yl )
(A An ) (yk yl ) + An (yk yl )
(3.3.7)
A An yk yl + An yk An yl <
2 + = .
4
2
En resumen, dado un conjunto numerable arbitrario de vectores unitarios, siem<
k (t) k (s) ,
(3.3.8)
k=1
Notese que siempre es posible suponer que las funciones k (t) , k = 1, . . . , n son
linealmente independientes. En caso contrario, algunas de ellas pueden ser eliminadas en favor de un subconjunto linealmente independiente, obteniendose una suma
con un menor n
umero de terminos. Por la misma razon, puede suponerse que las
funciones k (t) , k = 1, . . . , n son linealmente independientes.
Como sabemos, la norma de este n
ucleo es una cota superior para la norma del
operador integral,
b
Kn2
= Kn (t, s) =
2
a k,l=1
(3.3.9)
=
)(
)
k (t), l (t) l (s), k (s) An 2 .
k,l=1
k=1
(k , x) k (t) ,
(3.3.10)
89
Ck,l
k,l=0
(
)
(
)
ta
sa
cos k
cos l
.
ba
ba
(3.3.11)
k,l=0
Ck,l
(
)
(
)
(
)
ta
sa
cos k
cos l
L2 (a, b) (a, b) , (3.3.12)
ba
ba
)
K(t, s) Kn (t, s) x(s) ds ,
(3.3.13)
(
)
(
)
cuyo n
ucleo es la diferencia K(t, s) Kn (t, s) L2 (a, b) (a, b) .
(
)
Ahora bien, como la norma del operador A An esta acotada por la norma
de su n
ucleo,
A An K(t, s) Kn (t, s) 0 cuando n .
(3.3.14)
y(t) =
K(t, s) x(s) ds
a
(3.3.15)
90
tenemos que
(
)2
y(t + ) y(t)2 = K(t + , s) K(t, s) , x(s)
b
2
x
K(t + , s) K(t, s) ds
2
(3.3.16)
{
2 }
x (b a) maxasb K(t + , s) K(t, s) 0
2
cuando 0.
3.4.
(3.4.1)
(3.4.2)
(3.4.3)
91
(3.4.4)
(3.4.6)
Como consecuencia de los Lemas 3.3 y 3.4, y aplicando los resultados generales
obtenidos en el Lema 1.83, se demuestra de inmediato el siguiente Lema.
Lema 3.5. Todo operador simetrico completamente continuo A, definido sobre
un espacio eucldeo completo E, tiene un autovector de autovalor = A o
= A .
Recurriendo al procedimiento empleado en la demostracion del Teorema 1.9
(valido para el caso de dimension nita), y teniendo en cuenta que el complemento ortogonal es siempre cerrado, y que todo subespacio cerrado de un espacio eucldeo completo es tambien un espacio completo, podemos construir un conjunto ortonormal de autovectores de A correspondientes a autovalores no nulos,
{e1 , e2 , . . . , ek , . . . | A ek = k ek ; k = 0 ; (ek , el ) = kl }.
Por construccion, estos autovectores son obtenidos en orden no creciente de los
valores absolutos de sus autovalores, A = |1 | |2 | |k | . . . .
Pero, a diferencia de lo que ocurre en dimension nita, en un espacio de dimension innita este procedimiento puede terminar al cabo de un n
umero nto de
pasos (cuando la norma de la restriccion de A al complemento ortogonal es nula) o
continuar indenidamente.
El siguiente Lema impone restricciones sobre la distribucion sobre la recta que
pueden adoptar los autovalores de un operador simetrico compacto.
3Recordemos
que el Lema 1.8 establece que si el operador simetrico acotado A tiene un vector
92
(3.4.7)
(3.4.8)
contener un n
umero nito de elementos.
(3.4.9)
93
k = 0 .
(3.4.10)
M := sup{
Ax ,
(3.4.11)
Ahora bien, por el Teorema 2.4, sabemos que todo vector x E tiene una
descomposicion u
nica como la suma x = u + v, con u F y v F .
Por otra parte, en las condiciones del Lema 3.7, el conjunto de autovectores de A
correspondientes a autovalores no nulos, {e1 , . . . , ek . . . }, constituye (por construccion) un sistema ortonormal y completo en F que, por ser un subespacio cerrado de
un espacio completo, es el mismo un espacio eucldeo completo.
En consecuencia, todo vector u F es el lmite de su desarrollo de Fourier
respecto de dicho sistema ortonormal,
u=
ak ek , con ak = (ek , u) = (ek , x).
(3.4.12)
{ek | k =0}
94
u=
ak ek con ak = (ek , x) ,
(3.4.13)
{ek | k =0}
(3.4.14)
(3.4.15)
(3.4.16)
b k Ek ,
(3.4.17)
{Ek | k =0}
3.5.
K = K(t, s) < .
(3.5.1)
95
Un operador con esas caractersticas esta denido sobre todo el espacio de Hilbert
L2 (a, b) (ver Seccion 3.2), es simetrico (ver ec. (1.8.20)) y completamente continuo
(ver Teorema 3.2). Entonces, tiene un sistema ortonormal y completo de autovectores, y todo vector x(t) L2 (a, b) es el lmite de su desarrollo de Fourier respecto de
ese sistema.
Los autovectores de A satisfacen
b
K(t, s) ek (s) ds = k ek (t) .
A ek (t) =
(3.5.2)
(3.5.3)
de modo que k ek (t) puede ser considerado como el coeciente de Fourier de (la
funcion de cuadrado sumable de la variable s) K(t, s) correspondiente al vector
ek (s).
Entonces, la desigualdad de Bessel implica que, N ,
b
N
2
2
k |ek (t)|
|K(t, s)|2 ds = k(t)2 ,
(3.5.4)
k=1
seg
un la notacion adoptada en la Seccion 3.2. Integrando ambos miembros en t entre
a y b obtenemos
N
2k
ek (t) =
2
2k
k(t)2 dt = K 2 ,
N N.
(3.5.5)
k=1
k=1
Por lo tanto, la serie formada con los cuadrados de los autovalores de un operador
integral de Fredholm de n
ucleo hermtico y de cuadrado sumable es convergente,
2k K 2 <
(3.5.6)
k=1
y(t) = A x(t) = A
ak ek (t) ,
(3.5.7)
k=1
donde ak = (ek , x). Dado que la serie en el segundo miembro converge al vector x,
por la continuidad de A podemos escribir
y(t) =
k=1
ak A ek (t) =
{ek | k =0}
k ak ek (t) .
(3.5.8)
96
(3.5.9)
N
N
ak k ek (t)
|ak | |k ek (t)| .
k=1
(3.5.10)
k=1
|ak |2 x 2 ,
N N,
(3.5.11)
k=1
N N , t [a, b] ,
(3.5.12)
k=1
|ak | |k ek (t)| x M ,
N N , t [a, b] .
(3.5.13)
k=1
4Erhard
3.6. ECUACIONES INTEGRALES INHOMOGENEAS
3.6.
97
Consideremos la ecuaci
on integral
b
(t) = f (t) +
K(t, s) (s) ds ,
(3.6.1)
donde f (t) y K(t, s) son funciones conocidas, y la funcion incognita (t) aparece
bajo el signo integral.
(
)
Si f (t) L2 (a, b) y K(t, s) = K(s, t) L2 (a, b) (a, b) , la anterior ecuacion
(3.6.2)
(3.6.4)
(ek , f )
(1 k )
(3.6.5)
k
= (ek , f ) +
(ek , f ) , k = 1 .
(1 k )
Comprobemos que estos coecientes de Fourier denen efectivamente un vector
de L2 (a, b). Si llamamos
{
M = max{k =1}
1
|k 1|
}
(3.6.6)
98
|ak |2 =
{ek | k =1}
{ek | k =1}
(3.6.7)
M2
|(ek , f )|2
(1 k )2
|(ek , f )|2 M 2 f 2 ,
{ek | k =1}
(t) =
ak ek (t)
(3.6.8)
{ek | k =1}
= f (t) +
(3.6.9)
{ek | k =0,1}
k
(ek , f ) ek (t) .
(1 k )
{ek | k =1}
{ek | k =1}
(ek , f )
(I A) ek (t) =
(1 k )
(ek , f )
ek (t) =
(1 k )
(3.6.10)
{ek | k =1}
k = 1, 2, . . . , n .
(3.6.11)
que con esta expresion solo es necesario conocer las autofunciones de A correspondien-
3.6. ECUACIONES INTEGRALES INHOMOGENEAS
99
{ek | k =0,1}
k
ek (t) + 1 (t) ,
(1 k )
(3.6.12)
(
)
En particular, si el n
ucleo K(t, s) es continuo, entonces la diferencia (t)f (t)
C
alculo de autofunciones y autovalores de un operador inte-
k (t) k (s) ,
(3.6.14)
k=1
6En
) (
) (
)
(
)
1 , (I A) = (I A)1 , = 0, = 0 = 1 , f .
(3.6.13)
100
con = 0 ,
(3.6.15)
ck k (t)
(3.6.16)
k=1
(
)
(
)
k (t) k , e e(t) =
A I e(t) =
k=1
k=1
[(
)
]
k , l kl cl
k (t)
(3.6.17)
}
= 0.
l=1
Dado que las funciones k (t) son linealmente independientes, la ec. (3.6.17) se
reduce a un sistema de ecuaciones algebraicas,
(M 1) c = 0 ,
c1
.
.
con c =
. ,
cn
(3.6.18)
3.6. ECUACIONES INTEGRALES INHOMOGENEAS
3.6.2.
101
El m
etodo de Rayleigh y Ritz. Consideremos una funcional real
con h E .
(3.6.19)
(, A )
,
(, )
E.
(3.6.20)
(3.6.21)
(
)
1
2
{(h,
)
+
(,
h)}
=
h,
,
(, )2
(, )2
de modo que
(
)
2
h, A F [] .
(3.6.22)
(, )
Los extremos de la funcional corresponden a los vectores que satisfacen
F [, h] =
F [, h] = 0 , h A F [] = 0 ,
(3.6.23)
con = F [] .
(3.6.24)
102
con = / .
(3.6.25)
( ) ( )
2A
(3.6.26)
A
2A
2 = 4
,
n = 1 x1 + 2 x2 + + n xn ,
(3.6.27)
tenemos que
1 = F [e1 ] = lm F [n ] .
n
(3.6.28)
(3.6.29)
103
g()
f ()
=
2k = 0 , k = 1, . . . , n
k
k
( 2
)
g(, ) := f () 1
g() = 1 2 = 0 .
(3.6.30)
El maximo absoluto de esa funcion permite determinar un vector unitario
n = 1 x1 + 2 x2 + + n xn
(3.6.31)
(3.6.32)
No obstante, el problema de la convergencia de la secuencia {n , n N} al autovector e1 es mucho mas delicado, pues depende de la apropiada eleccion del sistema
completo en E en relacion al operador A considerado y debe ser analizado en cada
caso particular9.
3.7.
(3.7.1)
denido sobre el conjunto D(D) formado por las funciones absolutamente continuas10 en [a, b], tales que y(a) = 0 y su derivada primera y (t) L2 (a, b).
9Ver,
175.
10Una
funcion (t) se dice absolutamente continua, (t) AC(a, b), si es una funcion
continua en (a, b) cuya derivada (en el sentido de lmite de cociente incremental) existe en casi
104
Ya sabemos que las funciones diferenciables en (a, b) que se anulan indenticamente en entornos de los extremos de ese intervalo forman un conjunto denso en
C2 (a, b). Como esas funciones son absolutamente continuas, resulta que D(D) es un
subespacio denso de C2 (a, b).
Veremos que el operador integral A denido como
t
b
A x(t) :=
x(s) ds =
(t s) x(s) ds ,
a
(3.7.6)
donde
(t s) :=
1,
t s,
0,
t < s,
(3.7.7)
(
)
1(t), |x(t)| =
1 |x(t)| dt 1 x = b a x .
(3.7.8)
Por lo tanto,
b1
|x(t)| dt
b a x ,
a1 , b1 [a, b] .
(3.7.9)
a1
(3.7.2)
a1
Las funciones absolutamente continuas forman un subespacio denso en el espacio C2 (a, b), dado
que P2 (a, b) AC(a, b). Se puede demostrar que estas funciones pueden ser reconstruidas a partir
de su derivada mediante la regla de Barrow,
(t) AC(a, b) (t) L1
(loc.)
(a, b) y
(t) =
(s) ds + (a1 ) .
a1
(loc.)
Inversamente, si (t) L1
a1
(3.7.3)
(s) ds AC(a, b)
(loc.)
a1
1 (s) 2 (s) ds
(a, b) ,
1 (s) 2 (s) ds .
(3.7.4)
(3.7.5)
105
(3.7.10)
cuya derivada es y (t) = x(t) en casi todo punto. Si elegimos que y(a) = 0, entonces
y(t) D(D).
Por lo tanto, D : D(D) L2 (a, b), mientras que A : L2 (a, b) D(D). Ademas,
se satisface en casi todo punto que
t
AD y(t) = a y (s) ds = y(t) y(a) = y(t) ,
DA x(t) =
t
a
)
x(s) ds = x(t) ,
y(t) D(D) ,
(3.7.11)
x(t) L2 (a, b) .
Es decir, A es el inverso de D.
Lema 3.8. Supongamos que un operador lineal simetrico y completamente continuo A, definido sobre un espacio eucldeo E, es el inverso de un operador lineal no
acotado L, definido sobre un subespacio D(L) E. Entonces
los autovalores de A son todos no nulos,
los autovalores de L son todos no nulos,
todo autovector de A correspondiente al autovalor es tambien un autovector
de L correspondiente al autovalor = 1/.
Supongamos que A x = 0, entonces x = (LA) x = L(A x) = L 0 = 0. Pero x = 0
no es un autovector de A.
Similarmente se prueba que si L y = 0 y = 0.
Supongamos ahora que A x = x, con = 0. Entonces, x = (LA) x = L(A x) =
L( x) = L x L x = x, con = 1/.
106
1
.
k
(3.7.12)
En particular, ek = k A ek D(L).
Por lo tanto, D(L) contiene un conjunto ortonormal y completo de autovectores
de L correspondientes a autovalores no nulos. Por el Teorema 2.6, resulta que D(L)
es un subespacio denso en E.
3.8.
(
)
L y(t) = p(t) y (t) + q(t) y(t) = x(t) ,
(3.8.1)
con x(t) C2 (a, b) si las funciones reales p(t), p (t) y q(t) son continuas en [a, b].
Si p(a) = 0 = p(b), este operador resulta simetrico si las funciones pertenecientes
a su domino de denicion, D(L), satisfacen ademas condiciones de contorno locales
homogeneas de la forma
y(a) + y (a) = 0 ,
y(b) + y (b) = 0 ,
(3.8.2)
con 2 + 2 = 0 = 2 + 2 .
Un operador de esas caractersticas se dice no singular si la ecuacion L y(t) =
0(t) no tiene en D(L) soluciones no triviales.
Supongamos que L sea no singular, y que la ecuacion
L y(t) = x(t) C2 (a, b)
(3.8.3)
(3.8.4)
(3.8.5)
107
tiene una derivada segunda continua y satisface las condiciones de contorno (3.8.2),
ademas de ser (la u
nica) solucion de la ecuacion L y(t) = x(t). En esas condiciones,
A es inverso de L a derecha:
x(t) C2 (a, b) .
(3.8.6)
Inversamente, si y(t) D(L) entonces L y(t) = x(t) C2 (a, b). Como la solucion
de esta ecuacion es u
nica, y(t) puede ser representada como en (3.8.5), de modo que
A tambien resulta ser inverso de L a izquierda:
A x(t) = AL y(t) = y(t) ,
y(t) D(L) .
(3.8.7)
(3.8.8)
que satisfaga las condiciones de contorno locales especicadas en (3.8.2). En la ecua es entendido solo como un operador diferencial (sin un dominio rescion (3.8.8), L
tringido mas alla de la existencia de la derivada segunda de las funciones sobre las
que opera).
Para jar ideas, en lo que sigue adoptaremos las condiciones de contorno de
Dirichlet11 en ambos extremos12,
y(a) = 0 ,
y(b) = 0 .
(3.8.10)
Toda ecuacion diferencial homogenea de segundo orden con coecientes conti u(t) 0, tiene dos soluciones linealmente independientes, u1 (t) y u2 (t)
nuos, como L
(funciones dos veces diferenciables). Estas pueden ser elegidas de manera que satisfagan la condicion de contorno (3.8.10) en uno de los extremos del intervalo [a, b] (y
solo en uno, dado que estamos suponiendo que L es no singular),
u1,2 (t) = 0 , t (a, b) ,
L
u1 (a) = 0 ,
u2 (b) = 0 .
(3.8.11)
(3.8.12)
11Johann
12La
(1832 - 1925)),
y (a) = 0 ,
y (b) = 0 ,
(3.8.9)
o para las mas generales condiciones de Robin (Victor Gustave Robin (1855 - 1897)) , ec.
(3.8.2), es enteramente similar.
108
donde las funciones C1,2 (t) son dos veces diferenciables. Esta expresion debe ser
reemplazada en (3.8.8), lo que da lugar a una primera ecuacion que involucra a
estas dos funciones.
Para la derivada de y(t) tenemos
y (t) = C1 (t) u1 (t) + C2 (t) u2 (t) + C1 (t) u1 (t) + C2 (t) u2 (t) .
(3.8.13)
Como necesitamos una segunda ecuacion para determinar las dos funciones C1 (t)
y C2 (t) (y a los efectos de simplicar los calculos evitando la aparicion de las derivadas segundas de estas funciones), podemos imponer que
C1 (t) u1 (t) + C2 (t) u2 (t) = 0 ,
(3.8.14)
(3.8.15)
(3.8.16)
(3.8.18)
}
{
= p(t) u1 (t) u2 (t) u1 (t) u2 (t) = p(t) W [u1 , u2 ](t) = C0
(donde W [u1 , u2 ] es el Wronskiano de las dos soluciones linealmente independientes
de la ecuacion homogenea), es una constante no nula, como puede vericarse facilmente tomando su derivada y empleando la ecuacion (3.8.11), y teniendo en cuenta
que
C0 = p(a) u1 (a) u2 (a) = p(b) u1 (b) u2 (b) .
(3.8.19)
En esas condiciones,
)
(
C1 (t)
C2 (t)
(
=
u1 (t)
1
C0
)1 (
)
x(t)
p(t) u1 (t) p(t) u2 (t)
u2 (t)
u2 (t)
)(
)
p(t) u2 (t)
x(t)
u1 (t)
p(t) u1 (t)
109
=
(3.8.20)
u2 (t) x(t)
,
C0
C2 (t) =
u1 (t) x(t)
.
C0
(3.8.21)
Ahora debemos elegir primitivas de estas funciones que garanticen que y(t) satisfaga las condiciones de contorno requeridas, ec. (3.8.10). Esto se logra con
b
t
u2 (s) x(s)
u1 (s) x(s)
C1 (t) =
ds , C2 (t) =
ds .
(3.8.22)
C0
C0
t
a
Por lo tanto, dada x(t) C2 (a, b), la funcion dos veces diferenciable que es
solucion de la ec. (3.8.8) y que satisface las condiciones de contorno (3.8.10) esta dada
por
1
y(t) =
C0
(3.8.23)
b
=
a
donde el n
ucleo del operador integral A,
u1 (t) u2 (s)
C0
K(t, s) =
u (s) u2 (t)
1
,
C0
t s,
(3.8.24)
t > s,
para t = s ,
(3.8.25)
110
K(a, s) =
{t=s }
{t=s }
)
u1 (s) u2 (s) u1 (s) u2 (s)
W [u1 , u2 ](s)
1
=
=
.
=
C0
C0
p(s)
(3.8.27)
s)
2
LK(t,
s) = p(t)
+ t K(t, s) +
p(s)
(3.8.28)
k (ek , x) ek (t) ,
(3.8.29)
y(t) = A x(t) =
k=1
15George
111
Ejemplo 3.9. Consideremos el operador L y(t) = y (t), denido sobre el subespacio de C2 (0, ) formado por las funciones dos veces diferenciables que satisfacen
las condiciones de contorno y(0) = 0, y() = 0.
Se trata de un operador de Sturm - Liouville no singular. En efecto, y (t) 0
y(t) = a + b t, pero y(0) = a = 0 y y() = b = 0 requieren que y(t) 0.
Por lo tanto, L as denido tiene una inversa simetrica y completamente continua,
y sus autofunciones, ek (t) = sin(kt) , k N, correspondientes a los autovalores k =
k 2 , forman un sistema ortonormal y completo en L2 (0, ) (cosa que ya sabamos).
Ademas, toda funcion dos veces diferenciable que se anula en t = 0, tiene un
desarrollo en serie de senos que no solo converge en media, sino tambien absoluta y
uniformemente.
(3.8.30)
(3.8.31)
112
En este caso tenemos que q(t) 0, mientras que p(t) = t2 1 se anula en los
extremos del intervalo. En esas condiciones, el operador es simetrico sin necesidad
de imponer condiciones de contorno adicionales.
Los polinomios de Legendre estan dados por la expresion
)
1 dk ( 2
k
Pk (t) = k
[t
1]
2 k! dtk
(3.8.32)
y satisfacen
L Pk (t) = k(k + 1) Pk (t) ,
k = 0, 1, 2, . . . ,
(3.8.33)
esas condiciones, L1 tiene una inversa simetrica y completamente continua, que puede
construirse de manera similar a la del caso en que p(t) no se anula en los extremos del intervalo considerado. Por ejemplo, tomando = 1 = k(k + 1) , k = 0, 1, 2, . . . , las dos soluciones linealmente
independientes de la ecuacion diferencial homogenea
(
)
1 y(t) = d [t2 1] dy y(t) = 0
L
dt
dt
(3.8.34)
u2 (t) = P 51 (t) .
(3.8.35)
El comportamiento de las funciones de Legendre Px (t) cerca de los extremos del intervalo
[1, 1] esta dado por
1 + O(1 t) ,
Px (t) =
t 1,
(3.8.36)
t 1 ,
(3.8.37)
(3.8.38)
113
Bibliografa:
Georgi Ye. Shilov, An Introduction To The Theory of Linear Spaces. PrenticeHall International, London, 1961.
Georgi Ye. Shilov, Mathematical Analysis, A Special Course. Pergamon Press,
Oxford, 1965.
A.N. Kolmogorov y S.V. Fomin, Elementos de la Teora de Funciones y del
Analisis Funcional. Editorial MIR, Mosc
u, 1975.
R. Courant y D. Hilbert, Methods of Mathematical Physics, Vol. I y II. John
Wiley & Sons, New York, 1953.
Michael Reed y Barry Simon, Methods of Modern Mathematical Physics, Vol.
I, Functional Analysis. Academic Press, San Diego, 1975.
M. Krasnov, A. Kiseliov, G. Macarenko, Ecuaciones Integrales. Editorial
MIR, Mosc
u, 1977.
Carlos Mara Naon, Ra
ul Dante Rossignoli y Eve Mariel Santangelo, Ecuaciones Diferenciales En Fsica. Editorial de la Universidad Nacional de La
Plata, 2014. E-Book. ISBN 978-950-34-1074-5.
Captulo 4
ECUACIONES INTEGRALES
4.1.
x E.
(4.1.1)
Como no estamos suponiendo que este operador sea simetrico, sus autovalores
(si existen) seran, en general, n
umeros complejos de modulo || A . Y los autovectores correspondientes a autovalores distintos no seran, en general, ortogonales
entre s.
Supongamos que F = {x1 , x2 , . . . , xk , . . . } E sea un conjunto de autovectores linealmente independientes de A correspondientes a autovalores que en modulo
superan a un n
umero positivo ,
A xk = k xk ,
(4.1.2)
Mediante el proceso usual de ortonormalizacion de una secuencia podemos generar el conjunto ortonormal {e1 , e2 , . . . , ek , . . . }, donde
ek =
akj xj ,
(4.1.3)
j=1
En esas condiciones, A ek puede escribirse como la suma de dos vectores ortogonales entre s,
A ek =
akj j xj = k ek +
j=1
k1
akj (j k ) xj ,
(4.1.4)
j=1
{ k1
akj (j k ) xj
j=1
j=1
115
}
alj j xj
(4.1.5)
116
4. ECUACIONES INTEGRALES
si l < k. Entonces,
A e k A e l 2 =
2
l
= k ek 2 +
k1
a
(
)
x
x
j
k
j
j=1 kj
j=1 lj j j
(4.1.6)
k ek 2 = | k |2 > 2 > 0 .
Por lo tanto, el conjunto {A e1 , A e2 , . . . , A ek , . . . } no contiene ninguna secuencia
de Cauchy. Entonces, como A es compacto, el conjunto {e1 , e2 , . . . , ek , . . . } debe tener
un n
umero nito de elementos, lo que signica que el subespacio lineal generado por
los vectores del conjunto F, L{x1 , x2 , . . . , xk , . . . }, tiene dimension nita.
En consecuencia, los autovalores no nulos de un operador completamente continuo forman en el plano complejo, a lo sumo, una secuencia numerable que converge
al origen. Ademas, la multiplicidad de cualquier autovalor no nulo es nita.
4.2.
Ecuaciones integrales de n
ucleo no hermtico
(4.2.1)
(
)
donde K(t, s) L2 (a, b) (a, b) y f (t) L2 (a, b) son funciones conocidas y
(t) L2 (a, b) es la incognita.
El n
ucleo de cuadrado sumable K(t, s) dene un operador integral de Fredholm
completamente continuo,
A (t) =
K(t, s) (s) ds ,
(4.2.2)
A (t) =
K(s, t) (s) ds .
(4.2.3)
(4.2.4)
(4.2.5)
4.2. ECUACIONES INTEGRALES DE NUCLEO
NO HERMITICO
117
(4.2.6)
(4.2.7)
que es una contradiccion a menos que la inhomogeneidad f (t) sea ortogonal al subespacio caracterstico de A correspondiente al autovalor 1 (subespacio de dimension
nita, dado que A es compacto). Si ese no es el caso, no existen soluciones para la
ecuacion (4.2.4).
Por otra parte, la existencia de soluciones no triviales para la ecuacion homogenea
1 (t) A 1 (t) = 0(t)
(4.2.8)
(4.2.9)
118
4. ECUACIONES INTEGRALES
(4.3.1)
(4.3.2)
tiene una solucion no trivial, que corresponde a un autovector del operador A con
autovalor 1/,
A 1 (t) =
1
1 (t) .
(4.3.3)
4.3. ECUACIONES INTEGRALES DEPENDIENTES DE UN PARAMETRO
119
t s,
t s,
(4.3.4)
para t = s ,
(4.3.6)
(4.3.7)
(4.3.8)
sobre el subespacio de las funciones dos veces diferenciables que satisfacen las condiciones de contorno (0) = 0 y () = 0.
Entonces, el operador integral A de n
ucleo K(t, s) tiene las mismas autofunciones
que el operador L, y los autovalores de este coinciden con los valores singulares de
la ecuacion integral (4.3.5):
L k (t) = k (t) k (t) = k k (t) ,
k (t) = sin
((
) )
k+ t ,
1
2
k (0) = 0 , k () = 0
(
)2
con k = k + 12 1 , k = 0, 1, 2, . . .
(4.3.9)
120
4. ECUACIONES INTEGRALES
Notese que, k , | k |
crculo de radio <
3
4
3
4
>
1
K
2
,
singulares.
Como A es simetrico y completamente continuo, tiene un conjunto ortonormal
y completo de autovectores, A ek (t) = k ek (t) , para k = 0, 1, 2, . . . , donde
(
)
1
1
1
ek (t) = sin (k + 1/2) t , con k =
=(
.
(4.3.10)
)2
1
k
k+ 2 1
Entonces,
(
)
I A (t) = f (t)
1
(1 k ) (ek , ) = (ek , f ) =
)
sin (k + 1/2) t f (t) dt .
(4.3.11)
(
)
k (ek , f )
(t) = f (t) +
sin (k + 1/2) t ,
k=0 (1 k )
(4.3.12)
(4.3.13)
con c C arbitrario.
4.4.
Operador resolvente
(4.4.1)
121
(
)
En esas condiciones existe el inverso de I A , y podemos expresar la solucion
de (4.4.1) como
(
)1
donde R = I A
: E E,
= R f ,
(4.4.2)
)
I A = f1 + f2
(4.4.3)
R ( f1 + f2 ) = = 1 + 2 = R f1 + R f2 .
(4.4.4)
(4.4.5)
con e = lm ek = 1 .
k
(4.4.6)
Como A es continuo,
e = lm {gk + A ek } = 0 + A e = 0 .
k
(4.4.7)
122
4. ECUACIONES INTEGRALES
4.5.
Construcci
on de R en un entorno del origen
Dado que existe un entorno del origen en el plano complejo de la variable que
no contiene valores singulares, el operador resolvente existe para valores de | |
sucientemente peque
nos. En lo que sigue daremos una expresion explcita para R
en esa region.
Consideremos el operador (no lineal) denido sobre E por la relacion
B = A + f ,
(4.5.1)
(4.5.2)
(4.5.3)
B B < .
(4.5.4)
obtenemos que
(4.5.5)
(4.5.6)
(4.5.7)
123
= k
( l1
)
j
1 0 <
j=0
(4.5.9)
k
1 0 .
1
Por lo tanto,
lm k+l k = 0 ,
l.
(4.5.10)
(4.5.11)
(4.5.12)
(4.5.13)
(4.5.14)
k
B 0 0 .
1
(4.5.15)
124
4. ECUACIONES INTEGRALES
Si se elige 0 = 0, entonces
1 = f ,
2 = A f + f ,
k =
k1
l Al f ,
(4.5.16)
l=0
{(
k Ak f = lm
k=0
) }
l Al
(4.5.17)
l=0
,
A
(4.5.18)
De esta expresion surge que, en un entorno del origen del plano complejo , el
operador resolvente del operador completamente continuo A es el lmite de una serie
de operadores,
R =
k=0
A = lm
l Al ,
(4.5.19)
l=0
serie que converge en el sentido de la norma y que coincide con el desarrollo formal
(
)1
de I A
en serie de potencias de .
Para vericar la convergencia de esta serie debemos considerar la distancia que
media entre R y una suma parcial en el espacio normado de los operadores acotados.
Para ello, tengamos en cuenta que para todo vector unitario f E es
(
)
k
R l=0 l Al f
= k+1
(4.5.20)
k+1
k+1
f =
,
1
1
donde es la solucion de (4.4.1) correspondiente a una inhomogeneidad f , k+1
es la (k + 1)-esima aproximacion a esa solucion, y donde hemos empleado la cota
establecida en la ec. (4.5.15). Entonces,
k
R l=0 l Al
=
= sup{
f E
(
)
k
k+1
l l
}
A
f
R
f =1
l=0
1
(4.5.21)
ANALITICA DE R
4.6. EXTENSION
125
(
)
(
)
l l
l l
I A
A =
A
I A =
l=0
l=0
(4.5.22)
= I k Ak I
cuando k , dado que k Ak O. En efecto,
k Ak | |k A Ak1 | |k A k k 0
(4.5.23)
4.6.
Extensi
on analtica de R
(
)1 (
)1
R = I A
= I 0 A ( 0 ) A
=
(
= R0 I ( 0 ) AR0
)1
= R0
(4.6.1)
( 0 )k (AR0 ) ,
k
k=0
(4.6.2)
126
4. ECUACIONES INTEGRALES
4.7.
R R
= R R .
(4.6.4)
con
K = K(t, s) =
2
(4.7.2)
(4.7.3)
k Ak ,
(4.7.4)
k=1
127
(4.7.5)
(4.7.6)
con
b
L = L(t, s) =
2
(4.7.7)
b { b
a
(4.7.8)
}
K(t, s) L(s, r) ds (r) dr ,
(4.7.9)
(
)
M (t, r) = K(t, s) , L(s, r) .
(4.7.10)
(4.7.11)
b
b
2
2
k(t)
=
|K(t,
s)|
ds
k(t)2 dt = K 2 ,
a
a
l(r)2 =
(4.7.12)
(4.7.13)
128
4. ECUACIONES INTEGRALES
Este resultado permite concluir que las potencias enteras positivas de un operador integral de Fredholm de n
ucleo de cuadrado sumable son tambien operadores
integrales de Fredholm,
A (t) =
Kk (t, s) (s) ds ,
(4.7.14)
cuyos n
ucleos, llamados n
ucleos iterados, se obtienen recursivamente de la relacion
b
Kk+1 (t, s) =
K(t, r) Kk (r, s) dr , K1 (t, s) = K(t, s) ,
(4.7.15)
a
(4.7.16)
k k
A f (t) =
Sn (t, s; ) f (s) ds ,
S,n f (t) =
(4.7.17)
k=1
cuyo n
ucleo (de cuadrado sumable) esta dado por la suma
Sn (t, s; ) =
(
)
k Kk (t, s) L2 (a, b) (a, b) .
(4.7.18)
k=1
Sn+m (t, s; ) Sn (t, s; ) =
k Kk (t, s)
k=n+1
(4.7.19)
n+m
n+m
| |k Kk (t, s)
k=n+1
| |k K k
k=n+1
n+m
k <
k=n+1
n+1
0
1
cuando n , m.
Por lo tanto, existe el lmite de la serie
(t, s; ) =
(
)
k Kk (t, s) L2 (a, b) (a, b) ,
(4.7.20)
k=1
f (t) :=
(t, s; ) f (s) ds ,
a
(4.7.21)
129
k Ak = lm S,n .
(4.7.22)
k=1
En efecto, dado que tanto como S,n son operadores integrales de Fredholm, tambien lo es su diferencia, S,n . Y como la norma de tales operadores esta acotada
por la norma de sus n
ucleos, tenemos que
S,n (t, s; ) Sn (t, s; ) 0
cuando n .
(4.7.23)
(4.7.24)
(t, s; ) f (s) ds ,
(4.7.25)
(
)
donde (t, s; ) L2 (a, b) (a, b) es una funcion analtica de que corresponde
al lmite de la serie de n
ucleos iterados, ec. (4.7.20).
Si la serie de n
ucleos iterados puede ser sumada a una funcion (t, s; ), holomorfa en un crculo | | K < 1, esta ha de admitir una prolongacion analtica
(que es u
nica) a todo el plano complejo de la variable , la que solo presentara singularidades aisladas en los valores singulares del n
ucleo K(t, s).
Ejemplo 4.2. Consideremos el n
ucleo K(t, s) = et+s , con 0 t, s 1. Entonces,
( 2
)2
1 1
e 1
2
t+s 2
2(t+s)
K = e =
,
(4.7.26)
e
dt ds =
2
0
0
y los n
ucleos iterados son
K2 (t, s) =
K3 (t, s) =
Kk (t, s) =
1
0
et+r er+s dr =
et+r K2 (r, s) dr =
..
.
e2 1
2
(
(
e2 1
2
e2 1
2
et+s ,
)2
et+s ,
(4.7.27)
)k1
et+s ,
130
4. ECUACIONES INTEGRALES
Kk (t, s) =
k=1
e2 1
2
k=1
< 1, tenemos
e2 1
2
)k1
et+s =
et+s
( 2 ).
1 e 21
(4.7.28)
La suma de esta serie es una funcion analtica de que admite una extension
meromorfa al plano complejo, la que presenta como u
nica singularidad un polo
2
.
e2 1
simple en =
1
t+s s
Ae =
e ds =
En esas condiciones, si =
e2 1
2
(
e =
t
e2 1
2
)
.
(4.7.29)
2
e2 1
la ecuacion integral
1
(t)
et+s (s) ds = f (t)
(4.7.30)
tiene solucion u
nica f (t) L2 (0, 1), la que esta dada por
1
( e2 1 )
(t) = f (t) +
et+s f (s) ds =
1 2
0
= f (t) +
Si, por el contrario, =
et
(1 ) et 2
2
,
e2 1
(4.7.31)
es f (s) ds .
0
(t) = f (t) + c et ,
cC
(4.7.32)
es {f (s) + c es } ds =
0
(4.7.33)
= f (t) + c et c et = f (t) .
131
k Kk (t, s) ,
(4.7.34)
k=1
que es una funcion entera (analtica en todo el plano complejo). En tal caso, el
operador integral de n
ucleo K(t, s) no tiene valores singulares (es decir, el operador
integral no tiene autovalores no nulos).
Ejemplo 4.3. Esa situacion ocurre, en particular, para n
ucleos degenerados de
la forma
K(t, s) =
pk (t) qk (s) ,
(4.7.35)
k=1
K2 (t, s) =
(4.7.36)
(4.7.37)
de modo que
(t, s; ) = sin(t 2s) ,
y la ecuacion integral
C,
(4.7.38)
(4.7.39)
tiene solucion u
nica f (t) L2 (a, b), dada por
(t) = f (t) +
sin(t 2s) f (s) ds .
(4.7.40)
(t)
Mk
.
k!
(4.7.41)
132
4. ECUACIONES INTEGRALES
En este caso,
n+m
k
Kk (t, s)
k=n+1
n+m
| |k Kk (t, s)
k=n+1
(4.7.42)
c
n+m
| |k M k
0 cuando n , m N .
k!
k=n+1
Entonces, la serie de n
ucleos iterados
(t, s; ) =
k Kk (t, s) ,
(4.7.43)
k=1
A (t) =
K(t, s) (s) ds ,
| K(t, s) | M .
(4.7.44)
K(t, r) K(r, s) dr ,
s
K2 (t, s) =
K(t, r) K(r, s) dr =
0, t s,
t > s,
(4.7.45)
que es tambien un n
ucleo de Volterra acotado,
| K2 (t, s) |
| K(t, r) K(r, s) | dr M 2 (t s) M 2 (b a) .
(4.7.46)
Para el tercer n
ucleo iterado tenemos
t
K(t, r) K2 (r, s) dr ,
s
K3 (t, s) =
K(t, r) K2 (r, s) dr =
0, t s,
2Vito
t > s,
(4.7.47)
133
que es tambien un n
ucleo de Volterra acotado por
t
| K3 (t, s) |
| K(t, r) K2 (r, s) | dr
s
(4.7.48)
M 3 (r s) dr M 3
(t s)
(b a)
M2
.
2!
2!
2
En general, tenemos
Kk (t, s) =
a
(4.7.49)
t > s,
0,
t s,
que es tambien un n
ucleo de Volterra cuyo modulo esta acotado por
t
| Kk (t, s) |
| K(t, r) Kk1 (r, s) | dr
s
(4.7.50)
t
Mk
s
(r s)
(t s)
(b a)
dr M k
Mk
.
(k 2)!
(k 1)!
(k 1)!
k2
k1
k1
En esas condiciones,
[
] M k1 (b a)k1
Kk (t, s) M (b a)
,
(k 1)!
(4.7.51)
| k Kk (t, s) |
k=1
k=1
| |k M k
(b a)k1
( M ) e M (ba) .
(k 1)!
(4.7.52)
con | K(t, s) | M ,
(4.7.53)
134
4. ECUACIONES INTEGRALES
tiene solucion u
nica f (t) L2 (a, b) y C, la que esta dada por
(t) = f (t) +
(t, s; ) f (s) ds .
(4.7.54)
et r er s dr = (t s) et s ,
s
K2 (t, s) =
0, t s,
(4.7.55)
t > s,
(4.7.56)
t
(t s)2 t2 s2
t2 r2
r2 s2
e
(r
s)
e
dr
=
e
,
2!
s
K3 (t, s) =
0, t s,
t > s,
(4.7.57)
y en general
t
k2
(t s)k1 t2 s2
t2 r2 (r s)
r2 s2
e
e
dr
=
e
, t > s,
(k 2)!
(k 1)!
s
Kk (t, s) =
0, t s.
(4.7.58)
En esas condiciones,
(t, s; ) =
k Kk (t, s) =
k=1
(t s)k1 2 2
2
2
et s = e (ts) et s ,
k
(k 1)!
k=1
0,
t s,
t > s,
(4.7.59)
4.8. METODO
DE LOS DETERMINANTES DE FREDHOLM
4.8.
135
M
etodo de los determinantes de Fredholm
B0 (t, s) := K(t, s) ,
(4.8.1)
(4.8.2)
b
Bn (t, s) := Cn K(t, s) n
K(t, sn )
. . . K(s1 , sn )
ds1 . . . dsn ,
..
...
.
. . . K(sn , sn )
...
(4.8.3)
(1)n
n=1
y
D() := 1 +
n!
(1)n
n=1
n!
Bn (t, s) n
Cn n ,
(4.8.4)
(4.8.5)
4Ver,
por ejemplo, G. Ye. Shilov, Mathematical Analysis, y las referencias all citadas.
136
4. ECUACIONES INTEGRALES
En esas condiciones, los ceros de D() coinciden con los valores singulares del
n
ucleo K(t, s), y el n
ucleo del operador integral = R I esta dado por el cociente
(t, s; ) =
D(t, s; )
.
D()
(4.8.6)
Entonces, para todo valor regular (para el cual D() = 0) y f (t) L2 (a, b),
la ecuacion integral
(t)
(4.8.7)
tiene una u
nica solucion que puede ser expresada como
b
D(t, s; )
(t) = f (t) +
f (s) ds .
D()
a
(4.8.8)
Ejemplo 4.5. Son raras aquellas situaciones en las que es posible sumar explcitamente las series (4.8.4) y (4.8.5). Un ejemplo corresponde al caso en que uno de
los n
ucleos Bn (t, s) se anula identicamente, lo que hace que esas series se reduzcan
a sumas nitas.
Tomemos el n
ucleo degenerado K(t, s) = t es , con 0 t, s 1. Tenemos que
1
C1 =
s es ds = 1 ,
(4.8.9)
0
B1 (t, s) = t e
t er r es dr = t es t es = 0 ,
(4.8.10)
D(t, s; ) = t e ,
(4.8.11)
D() = 1 ,
t es
,
1
para = 1 .
(4.8.12)
4.8. METODO
DE LOS DETERMINANTES DE FREDHOLM
137
Bibliografa:
Georgi Ye. Shilov, An Introduction To The Theory of Linear Spaces. PrenticeHall International, London, 1961.
Georgi Ye. Shilov, Mathematical Analysis, A Special Course. Pergamon Press,
Oxford, 1965.
A.N. Kolmogorov y S.V. Fomin, Elementos de la Teora de Funciones y del
Analisis Funcional. Editorial MIR, Mosc
u, 1975.
R. Courant y D. Hilbert, Methods of Mathematical Physics, Vol. I y II. John
Wiley & Sons, New York, 1953.
Michael Reed y Barry Simon, Methods of Modern Mathematical Physics,
Vol. I, Functional Analysis, y Vol. II, Fourier Analysis, Self-Adjointness.
Academic Press, San Diego, 1975.
M. Krasnov, A. Kiseliov, G. Macarenko, Ecuaciones Integrales. Editorial
MIR, Mosc
u, 1977.
Captulo 5
DE FOURIER EN L2 (R)
LA TRANSFORMACION
5.1.
Espacios Lp
El conjunto de funciones
{
Lp (a, b) :=
|(x)| <
p
(x) :
(5.1.1)
|(x)|
} p1
,
(5.1.2)
(5.1.3)
5.2.
Transformaci
on de Fourier en L1 (R)
(5.2.1)
dx
1
|(x)| = 1 ,
2
2
(5.2.2)
DE FOURIER EN L2 (R)
5. LA TRANSFORMACION
140
(5.2.3)
(5.2.5)
DE FOURIER EN L1 (R)
5.2. TRANSFORMACION
La transformaci
on de Fourier inversa corresponde a
N
d
1
F [](x) = (x) = lm
eix () ,
N N
2
141
(5.2.6)
denicion que solo vale bajo ciertas condiciones de regularidad sobre (x).
Como la integral que dene () en (5.2.1) converge absoluta y uniformemente
en , el teorema de Fubini permite escribir
}
{ N
N
d
dy
i(xy)
ix
e
d (y)
N (x) :=
e () =
=
2
2
N
N
1
=
1
= (x) +
dado que1
1
sin(N t)
(x + t) dt =
t
(5.2.7)
sin(N t)
[(x + t) (x)] dt ,
t
sin(N t)
dt = 1 .
t
(5.2.9)
La u
ltima integral en (5.2.7) puede escribirse como la suma (A + B), donde
sin(N t)
A=
[(x + t) (x)] dt ,
t
|t|T
(5.2.10)
sin(N t)
sin(N t)
B=
(x + t) dt (x)
dt .
t
t
|t|T
|t|T
Es evidente que, para casi todo x R,
sin(N t)
sin(N t)
|B|
(x + t) dt + (x)
dt
t
t
|t|T
|t|T
(5.2.11)
efecto, sea C una curva que se aparta del eje real de manera de dejar el origen por arriba,
entonces,
1
eiN t
C 2it
sin(N t)
t
dt
eiN t
C 2it
dt = lm0+
dt i lm0+
) eiN t eiN t
2it
sin N e
dt =
(5.2.8)
d =
2i
2i
+0+0 = ,
donde hemos cerrado el camino de integracion por el semiplano superior en la primer integral y
por el inferior en la segunda.
DE FOURIER EN L2 (R)
5. LA TRANSFORMACION
142
|(x + t) (x)|
dt < ,
|t|
(5.2.12)
para un > 03. Esta condicion es satisfecha, en particular, por las funciones diferenciables (en virtud del teorema del valor medio).
En esas condiciones, lmN N (x) = (x) en casi todo punto.
5.3.
(5.3.1)
Pero s es cierto que toda funcion de soporte compacto y cuadrado sumable tiene
una transformada de Fourier en el sentido usual.
En efecto, si (x) L2 (a, b), con < a < b < , y (x) = 0 , x
/ [a, b],
teniendo en cuenta que la funcion caracterstica [a,b] (x) L2 (a, b), podemos escribir
que
1 = ([a,b] (x), |(x)|) [a,b] (x)2 (x)2 =
b a (x)2 ,
(5.3.2)
b
a
N .
Para demostrarlo, consideremos primero la funcion caracterstica de un intervalo [c, d] [a, b],
que es una funcion sumable. Tenemos que
b
cos(N d) cos(N c)
[c,d] (t) sin(N t) dt =
0 cuando N .
N
a
(5.2.13)
Lo mismo vale para cualquier funcion escalonada h(t) L1 (a, b), por ser una combinacion lineal
de un n
umero finito de funciones caractersticas.
Finalmente, si f (t) L1 (a, b), teniendo en cuenta que el conjunto de las escalonadas es denso en
L1 (a, b), sabemos que > 0 existe una funcion escalonada h(t) L1 (a, b) tal que f (t) h(t)1 <
/2. Entonces,
b
b
b
f (t) sin(N t) dt
|f (t) h(t)| dt +
h(t) sin(N t) dt < + =
a
2 2
a
a
si N es suficientemente grande.
(5.2.14)
143
(x) , |x| N ,
N (x) :=
0 , |x| > N .
(5.3.3)
(5.3.4)
2
2
e N x , |x| < N ,
(x) :=
0, |x| N ,
(5.3.5)
{
N +
2
N
1 dx +
N
N +
|1 (x)|2 dx +
N
N
(5.3.6)
1 dx ,
DE FOURIER EN L2 (R)
5. LA TRANSFORMACION
144
5.4.
El espacio de Schwartz
(x) C (R) ,
(x) S
k (q)
x (x) Kk,q [] , k, q .
(5.4.1)
F[]() = () =
dx
eix (x) ,
2
(5.4.2)
dx
eix (i x)k (x)
(5.4.3)
2
k+2
x (x) Kk+2,0 xk (x) Kk+2,0 .
(5.4.4)
x2
Pero entonces (k) () es la transformada de Fourier de una funcion en S, de
(5.4.5)
]
[( )q
dx
d
(i x)k (x) .
=
eix
dx
2
4Laurent-Mose
Y como
[( d )q
dx
145
]
(i x)k (x) S L1 (R), resulta que su transformada de Fourier
esta acotada,
q (k)
() Kq,k [] ,
(5.4.6)
[](x) = (x) =
d
eix () .
2
(5.4.7)
ix
(1 (x), 2 (x)) =
dx =
1 (x)
e 2 ()
2
dx
eix 1 (x)
2
(5.4.8)
}
2 () d = (1 (), 2 ()) ,
(5.4.9)
(5.4.10)
DE FOURIER EN L2 (R)
5. LA TRANSFORMACION
146
Por otra parte, supongamos que 1 (x), 2 (x) S tienen la misma transformada
de Fourier, F[1 ]() = F[2 ](). Como la transformacion es lineal, en virtud de
(5.4.9) tenemos
F[1 2 ]() 0
1 2 2 = 0
1 (x) 2 (x) .
(5.4.11)
F F S = I ,
(5.4.12)
FF S = I .
(5.4.13)
Aunque F no es completamente continuo5, tiene un conjunto completo de autofunciones en S. Esto es as porque tiene los mismos autovectores que el operador de
Sturm - Liouville no singular denido sobre S (denso en L2 (R)) como
{
}
d2
2
L(x) := 2 + x (x) .
dx
(5.4.15)
n (x) = Hn (x) e 2 ,
Hn (x) = (1)n e
x2
( d )n
dx
(5.4.16)
x2
(5.4.17)
n m 2 = n m 2 = 2 ,
para n = m ,
(5.4.14)
147
En efecto, aplicando F a ambos miembros de la ecuacion anterior, y teniendo en cuenta que integrando por partes resulta que F[(2) (x)]() = 2 () y
F[x2 (x)]() = (2) (), tenemos
2 n () n () = (2n + 1)n () .
(5.4.18)
Esto signica que F deja invariantes los subespacios caractersticos del operador
L. Y como estos son unidimensionales, resulta que n (x) es un autovector de F,
F[n (x)]() = n n ().
Por otra parte, como F 2 [(x)] = (x), se tiene que F 4 = I. En consecuencia,
los autovalores de F son races cuartas de la unidad, 4n = 1 (estrictamente6, n =
(i)n ).
5.5.
Teorema de Plancherel
n 1 b a n 2 0 para n .
(5.5.1)
(5.5.2)
Por lo tanto, (como esas funciones son nulas fuera del intervalo [a, b]) se tiene
que n en L1 (R) y, en consecuencia, sus transformadas de Fourier convergen
uniformemente en toda la recta a la transformada del lmite:
n () () = F[](), uniformemente en R .
(5.5.3)
efecto,
F [n (x)] () =
=
2
e 2
1
2
[(
)
d n
dx
x2
2
1
2
ix
eix e
ex dx =
2
x2
2
(1)n ex
e 2
[(
[(
)
d n x2
e
dx
)
d n
dx
]
dx =
2
e 2 (xi)
ex dx =
2
[ 2(
]
2
( d )n 1 (xi)2 x2
)
d n 2
n 2
2
e
= (i)n n () .
i d
e
dx
=
(i)
e
e
e
d
(5.4.19)
DE FOURIER EN L2 (R)
5. LA TRANSFORMACION
148
y n m 2 = n m 2 .
(5.5.4)
En consecuencia, las transformadas {n } tambien forman una secuencia fundamental en L2 (R). Como este espacio es completo, existe una funcion () L2 (R) que
es el lmite de esa secuencia, = lmn n , y que (por la continuidad de la norma)
satisface
2 = lm n 2 = lm n 2 = 2 .
n
(5.5.5)
(5.5.6)
dx
eix (x) ,
(5.5.7)
N
N N
2
a la que se define como la transformada de Fourier de L2 (R). Por la continuidad
() := lm N () = lm
(5.5.8)
149
1 2 2 = 0
(5.5.12)
(1 , 2 ) = (F 1 , F 2 ) = 1 , F F 2 .
En consecuencia, F F = I, donde el operador adjunto F esta denido en todo
L2 (R) (por ser F acotado).
Por otra parte, el rango de F es todo el espacio de Hilbert, Rank(F) = L2 (R).
En efecto, dada una funcion arbitraria () L2 (R), ella puede ser representada como () = lmn n (), con n S, n. Teniendo en cuenta que (por
7Michel
DE FOURIER EN L2 (R)
5. LA TRANSFORMACION
150
(5.5.13)
(5.5.14)
5.6.
Teorema 5.2. Sea 0 (x) L2 (a, b), con a < b , tal que 0 (x) = 0
a.e. y
|0 (x)| K eA|x| , x ,
(5.6.1)
(5.6.2)
(5.6.3)
(5.6.4)
(5.6.5)
donde f (x) y 0 (x) son entendidas como nulas fuera del intervalo [a, b], en caso de
que este fuese acotado.
151
La transformada de Fourier de h(x) es una funcion continua de la variable compleja s = + i en la franja |(s)| = | | 0 < A,
1
ei(+i )x f (x) 0 (x) dx ,
g(s) = g( + i ) =
2
lo mismo que sus derivadas de todo orden, las que estan dadas por
1
(n)
g (s) =
eisx (ix)n f (x) 0 (x) dx
2
(5.6.6)
(5.6.7)
x n
|f (x)| |e x 0 (x)| dx K
(5.6.8)
(5.6.9)
n
nm
xm
.
m!
2 /2
(5.6.10)
, n = 0, 1, 2, . . . ,
8Edmond
DE FOURIER EN L2 (R)
5. LA TRANSFORMACION
152
Bibliografa:
Georgi Ye. Shilov, Mathematical Analysis, A Special Course. Pergamon Press,
Oxford, 1965.
A.N. Kolmogorov y S.V. Fomin, Elementos de la Teora de Funciones y del
Analisis Funcional. Editorial MIR, Mosc
u, 1975.
Michael Reed y Barry Simon, Methods of Modern Mathematical Physics, Vol.
II, Fourier Analysis, Self-Adjointness. Academic Press, San Diego, 1975.
Captulo 6
OPERADORES NO ACOTADOS
6.1.
(6.1.2)
(6.1.3)
(6.1.4)
para n .
En esas condiciones, se puede extender de manera u
nica la denicion del operador acotado A a todo D(A), introduciendo un operador A de modo que u D(A)
Au := v = lm Aun ,
(6.1.5)
u=1}
Au
= A .
(6.1.7)
153
u=1}
Au .
(6.1.1)
154
6. OPERADORES NO ACOTADOS
Por otra parte, por la continuidad de la norma, para cualquier secuencia en D(A)
convergente a un vector unitario u tenemos
Aun A un
Au
A u = A ,
lo que implica que
A
A. En denitiva,
A
= A.
(6.1.8)
{un } D(T ) | lm un = u.
n
(6.1.9)
(6.1.10)
lm T un = T u,
(6.1.11)
1
1
(
=
1
1
(6.1.13)
)
,
155
{(
(T ) :=
}
, D(T )
(6.1.15)
D(T ) D(T1 ),
(6.1.17)
T1 = T , D(T ).
Ejemplo 6.1. Sea D(T ) = C0 (R), con T (x) = i (x), y sea D(T1 ) = C01 (R),
con T1 (x) = i (x). En esas condiciones, T T1 .
2N
otese
grafica de un operador. Una condicion necesaria para que (T ) sea la grafica de un operador es
que si
) (
,
)
(T ) 1 = 2 ,
(6.1.16)
156
6. OPERADORES NO ACOTADOS
(
que
es el u
nico par de esa forma contenido en (T1 ). Esto signica que, en
)
(
este caso, si
(T ), entonces esta unvocamente determinado.
}
(T ), con H ,
(6.1.18)
(
(T ).
Por su denicion, T es cerrado, constituyendo una extension cerrada de T . Por
otra parte, T T1 , donde T1 es cualquier extension cerrada de T . Por lo tanto,
todo operador clausurable tiene una extension cerrada mnima, que corresponde a
su clausura T .
6.2.
Espectro - Resolvente
(6.2.1)
(6.2.2)
(6.2.3)
157
Si es un autovalor de T , entonces
u D(T ) | T u = u (T I) u = 0 ,
(6.2.4)
(6.2.5)
El operador adjunto
Sea T un operador lineal denido sobre un dominio D(T ) denso en H. Sea D(T )
el conjunto de los vectores H para los cuales (, T ) es una funcional lineal
y continua3 de D(T ) (respecto de la distancia en H). Entonces, en virtud del
Teorema de Riesz (Ver Teorema 3.1), para cada D(T ) existe un vector H
tal que dicha funcional corresponde al producto escalar
(, T ) = (, ) ,
D(T ).
(6.3.2)
(6.3.3)
Dado que una funcional lineal es continua si y solo si ella es acotada, para
D(T ) es necesario que
|(, T )| K ,
D(T ).
(6.3.4)
H,
(6.3.5)
(6.3.1)
158
6. OPERADORES NO ACOTADOS
C0 (R)
(, T ) = (, 0 )
(6.3.7)
Pero eso requiere que (, 0 ) f (x) = (x) a.e. en todo compacto en la recta. Y como
tanto (x) ( L2 (R)) como f (x) (por hipotesis) tienden a 0 en el innito, vemos que
debe ser (, 0 ) f (x) = (x) L2 (R), lo que solo es posible si (, 0 ) = 0 y
(x) = 0(x). Por lo tanto, D(T ) = { L2 (R) | 0 } (que no es un subespacio
denso) y T = 0, D(T ).
Lema 6.1. Si S T T S .
En efecto, si S T D(S) D(T ), y D(S), S = T . Sea D(T ).
Entonces H tal que
(, T ) = (, ), D(T )
(6.3.8)
(, S) = (, ), D(S) D(S ).
Por lo tanto, D(T ) D(S ), y D(T ) es T = S . Es decir, T S .
Si D(T ) es denso en H, se puede denir su adjunto, (T ) = T .
Teorema 6.1. Sea T un operador lineal densamente definido en un espacio de
Hilbert H. Entonces
a) T es cerrado;
b) T es clausurable D(T ) es denso en H, en cuyo caso T = T ;
c) si T es clausurable (T ) = T .
159
(
:=
)
, , H .
(6.3.9)
(6.3.13)
.
= 2 + 2 =
=
V
( )
Entonces, el par
(V [(T )]) si y solo si
(( ) (
))
T
,
= (, T ) + (, ) = 0 , D(T ) .
(6.3.14)
(
=
( )
T .
(6.3.15)
(6.3.16)
( )
En consecuencia T = (V [(T )]) , que siempre es un conjunto cerrado. Por
lo tanto, T es cerrado.
Para probar el punto b) se
nalemos que, debido a la linealidad de T , (T ) es un
subespacio lineal de HH. Entonces, teniendo en cuenta que V [(T )] = [V (T )] ,
tenemos para la clausura de la graca
(
) (
) (
) (
( ))
2
(T ) = [(T )]
= V [(T )]
= V [V (T )]
= V T
. (6.3.17)
4Se
(6.3.10)
(6.3.11)
si y solo si
(
)
( )
(, U ) = 0 , G U , = 0 , G U G U G ,
( )
(6.3.12)
160
6. OPERADORES NO ACOTADOS
( )
Por otra parte, si D T no es denso no existe el adjunto de T . En esas con(
( ))
diciones, V T
= (T ) no es la graca de un operador y, en consecuencia, T
( )
no es clausurable. Por lo tanto, si T es clausurable necesariamente D T debe ser
denso.
Finalmente, si T es clausurable, por a) y b) sabemos que T es cerrado y densamente denido, mientras que su adjunto, T = T , tambien esta densamente denido.
Entonces,
( ) ( ) ( )
T = T = T = T = T ,
(6.3.18)
Ejemplo 6.3. Consideremos el conjunto de las funciones absolutamente continuas5 en el intervalo [0, 1], AC(0, 1), tales que su derivada (x) sea de cuadrado
integrable en ese intervalo. Sea T1 denido de manera que
(6.3.19)
T1 (x) := i (x),
y T2 de modo que
(6.3.20)
T2 (x) := i (x),
(, T1 ) =
(x) (i) (x) dx =
0
5Ver
1
0
(x) (x) dx = (, ) ,
(6.3.21)
161
para toda (x) D(T1 ). Esto requiere que sea posible integrar por partes en la
primera de esas integrales, por lo que debemos suponer que (x) AC(0, 1).
Haciendo uso de la propiedad (3.7.5), podemos escribir que
1
1 1 (
)
(i)(x) (x) +
i (x) (x) dx =
(x) (x) dx .
0
(6.3.22)
(6.3.23)
T1
(x) := i (x) .
(6.3.24)
T2
(x) := i (x) ,
(6.3.25)
162
6. OPERADORES NO ACOTADOS
En esas condiciones, la ecuacion de autovalores para los operadores T1,2 del ejemplo 6.3 se reduce a una ecuacion diferencial ordinaria, cuya solucion es
(x) = eix (0) AC(0, 1) L2 (0, 1).
(6.3.27)
( )
En esas condiciones, r (T ), a menos que exista en D T un vector =
0 | (T I) = 0, en cuyo caso p (T ).
ver que esto es as, llamemos F = Rank(T I). Sabemos que todo vector H puede
6.4. OPERADORES SIMETRICOS
6.4.
163
Operadores sim
etricos
D(T ) D(T ),
(6.4.2)
D(T ), T = T .
(6.4.3)
(6.4.4)
T = T = T = T
(6.4.5)
Y si T es autoadjunto, entonces
T es simetrico si 1 , 2 D(T ) es
(1 , T 2 ) = (T 1 , 2 ) .
8Los
(6.4.1)
en un espacio de Hilbert.
164
6. OPERADORES NO ACOTADOS
(6.4.6)
(6.4.7)
D(T ). En consecuencia, ( + i )
/ p (T ) si = 0.
Ademas, para
(6.4.8)
lo que implica que 1 = 2 . Por otra parte, de (6.4.7) tambien resulta que
,
[T ( + i ) I]
||
(6.4.9)
6.5.
6.5. EXTENSIONES AUTOADJUNTAS DE OPERADORES SIMETRICOS
165
(6.5.2)
Esos productos escalares denen funcionales lineales y continuas (identicamente nulas) de , de modo que D(T ), y podemos escribir
((
)
)
T i I , = 0 , D(T ) T = i .
9En
(6.5.3)
general se debe tratar con operadores T simetricos no cerrados. Si se puede establecer que
166
6. OPERADORES NO ACOTADOS
(
)
En consecuencia, Ker T i I = {0}.
Por lo tanto,
(
)
Ker T i I = {0} Rank (T i I) denso en H .
(6.5.4)
(6.5.6)
(6.5.7)
pag. 256.
6.5. EXTENSIONES AUTOADJUNTAS DE OPERADORES SIMETRICOS
(, P ) = (, i ) =
(x) (i (x)) dx = (, ) ,
167
(6.5.8)
Sop()
D(P ). Esto requiere que (x) AC(R) L2 (R), con una derivada primera
(x) L2 (R), en cuyo caso tenemos (x) = i (x).
En consecuencia,
(6.5.9)
P (x) = i (x).
P (x) = i (x) = i
(x).
(6.5.10)
Como (x) AC(R), resulta que (x) C (R) y entonces debemos resolver la
ecuacion diferencial ordinaria
(6.5.11)
c) Finalmente, mostraremos que Rank(P iI) es denso en L2 (R). Para ello, consideremos por ejemplo el operador (P + iI) y mostremos que su rango contiene al
subespacio denso C0 (R).
Supongamos que (P + iI)(x) = (x) C0 (R), funcion cuyo soporte esta contenido en el intervalo cerrado [a, b]. Entonces,
{
( x
)
x
x
e (x) = ie (x) (x) = e (0) + i
e (y) dy
b
0
(6.5.12)
ey (y) dy
(6.5.13)
(6.5.14)
(x) = ie
x
x
168
6. OPERADORES NO ACOTADOS
(6.5.15)
(6.5.16)
Esto requiere12 que (x) AC(0, 1), para que sea posible integrar por partes, de
donde resulta que (x) = i (x) L2 (0, 1). Por lo tanto,
D(T ) = {(x) AC(0, 1) L2 (0, 1) | (x) L2 (0, 1)} ,
(6.5.17)
(6.5.18)
T (x) = i
(x) = i (x) AC(0, 1)
(6.5.19)
(6.5.20)
(6.5.21)
11Como
12La
como distribuci
on es localmente sumable (ver Captulo 7), de donde resulta que (x) es absolutamente continua.
6.5. EXTENSIONES AUTOADJUNTAS DE OPERADORES SIMETRICOS
169
Para que ese producto escalar sea una funcional lineal y continua de AC(0, 1),
debe ser posible integrar por partes, lo que requiere que (x) tenga una derivada en
L2 (0, 1). En consecuencia, (x) AC(0, 1) con (x) L2 (0, 1), y
1
1 1
(6.5.22)
(6.5.23)
T (x) = i (x).
(6.5.24)
T (x) = i (x).
Siguiendo el mismo razonamiento que antes, si (x) D(T ), entonces (x) debe
ser absolutamente continua de modo que el producto escalar
1
1
(6.5.25)
sea una funcional lineal y continua de (x) D(T ). Pero esto requiere ademas que,
(x) D(T ), sea
(1) (1) (0) (0) = ((1) (0) ) (0) = 0 .
(6.5.26)
Como el valor de (0) es arbitrario, debe ser (1) (0) = 0. Es decir, D(T ) =
D(T ) y T (x) = i (x).
En conclusion, T = T para cada complejo de modulo 1. En esas condiciones,
existe toda una familia (dependiente de un parametro) de extensiones autoadjuntas
de T (todas ellas, naturalmente, contenidas en T .)
170
6. OPERADORES NO ACOTADOS
Finalmente, se
nalemos que:
1) = ei , con [0, 2), tenemos T T = T T .
2) El operador T no tiene autovectores,
i (x) = (x), con (x) C0 (0, 1) (x) 0 ,
(6.5.27)
de modo que p (T ) = .
3) El operador T tampoco tiene autovectores,
i (x) = (x), con (x) AC(0, 1), (0) = 0 (x) 0 ,
(6.5.28)
de modo que p (T ) = .
4) Todo n
umero complejo es autovalor de T con degeneracion 1,
i (x) = (x) (x) = eix (0) AC(0, 1), C .
(6.5.29)
in x
con n Z y (n , m ) = n,m .
En este caso, p (T ) = {n , n Z} R, r (T ) = y (T ) = C\p (T ).
6.6.
171
(6.6.1)
(6.6.2)
olo un
de vectores de H :=
n=1 Hn de la forma = (1 , 2 , . . . , n , . . . ), donde s
n
umero nito de vectores n D(Tn ) son no nulos.
n=1
n (Tn ).
(6.6.3)
172
6. OPERADORES NO ACOTADOS
(6.6.4)
(6.6.5)
(6.6.6)
e 2
2
x
+ (x) =
e , (x) =
ex .
2
2
e 1
e 1
(6.6.7)
Por lo tanto, las isometras de K+ en K estan caracterizadas por una fase, U + (x) =
ei (x), y los dominios de denicion de las extensiones autoadjuntas de T corresponden a
(
) {
(
)
( )}
D T () = = + A + + ei | D T
(6.6.8)
173
}
e 2
2
2
e
2
(0) = A
+ ei
, (1) = A
+ ei
,
e2 1
e2 1
e2 1
e2 1
(6.6.9)
y para A = 0,
)
e + ei
(1) = e
(0) = (0) ,
(6.6.10)
e + ei
donde es un complejo de modulo 1, en coincidencia con el resultado del Ejercicio
i
6.7: T () T .
Ejemplo 6.10. El siguiente ejemplo muestra que el impulso radial no corresponde
a un observable de la Mecanica Cuantica.
(6.6.11)
Pr (r) = i
(r) = i (r), con (r) D(Pr ).
(6.6.12)
Esa ecuacion diferencial tiene soluciones (r) = er (0) C (R+ ). Pero de ellas,
solo + (r) L2 (R+ ). En consecuencia, n+ (Pr ) = 1 = n (Pr ) = 0 Pr no admite
extensiones autoadjuntas. Por lo tanto, Pr no corresponde a un observable.
En un espacio de dimension D debe considerarse el operador
Pr := i [r + (D 1)/2r] = r
D1
2
(ir ) r
D1
2
(6.6.13)
D1
2
d
Sea el operador diferencial L := dx
2 denido sobre el dominio denso D(L) =
174
6. OPERADORES NO ACOTADOS
(6.6.14)
(6.6.15)
(6.6.17)
L (x) =
(x) = i (x) C 1 (R+ ) L2 (R+ )
(6.6.18)
La ecuacion de autovalores
(x) = e
1i
)
x
(6.6.19)
(6.6.20)
(6.6.21)
175
(0) = 0 + iA 1i
+
e
=
2
2
(6.6.22)
A
= ei/2 {2 cos (/2) + 2 sin (/2)},
2
de donde, para A = 0, resulta la relacion
() (0) + () (0) = 0 .
Esta igualdad tambien se satisface para A = 0, puesto que en ese caso (x) D(L ).
En (6.6.23), las constantes (), () R y no se anulan simultaneamente, dado
que
()2 + ()2 = 2 + cos + sin > 0 , [0, 2) .
(6.6.24)
Ejemplo 6.12. En el caso en que los coecientes del operador diferencial presenten singularidades ya no sera posible, en general, caracterizar las extensiones
autoadjuntas del operador mediante condiciones de contorno locales. Pero a
un en
esos casos la caracterizacion de los dominios dada en la ec. (6.6.4) las determina
completamente. Por ejemplo, si
L=
d2
2 1/4
+
,
x2
dx2
(6.6.25)
entonces n (L) = 1. Los dominios de las extensiones autoadjuntas estan determinados por las combinaciones
+ (x) + ei (x) = c1 ()x 2 + + c2 ()x 2 L2 (0, 1) ,
1
(6.6.26)
de modo que (x) y/o (x) son singulares en x = 0. En este caso, las extensiones
autoadjuntas quedan determinadas por a relacion c1 ()/c2 ().
{
}
D(A A) = D(A) | A D(A ) .
(6.6.27)
176
6. OPERADORES NO ACOTADOS
(6.6.28)
(6.6.29)
y tal que T (x) = i (x). Este operador es cerrado, ya que coincide con la clausura
del operador T del ejemplo 6.7.
Su adjunto (ver ejemplo 6.7) tiene por dominio a
D(T ) = {(x) AC(0, 1) | (x) L2 (0, 1)} D(T ) ,
(6.6.30)
donde act
ua seg
un T (x) = i (x).
d
Del Teorema 6.7 resulta que T T es la extension autoadjunta de L := dx
2,
2
177
Bibliografa:
Michael Reed y Barry Simon, Methods of Modern Mathematical Physics,
Vol. I, Functional Analysis, y Vol. II, Fourier Analysis, Self-Adjointness.
Academic Press, San Diego, 1975.
Captulo 7
TEORIA DE DISTRIBUCIONES
7.1.
El espacio K
Al considerar el espacio de las funciones continuas en [a, b], hemos visto que
ciertas funcionales lineales resultan continuas respecto de la convergencia uniforme,
pero no respecto de la convergencia en media. Similarmente, al estudiar el completamiento de ese espacio respecto de la distancia derivada de la convergencia en media,
hemos visto que ciertas funcionales lineales que es posible denir sobre C2 (a, b) ya
no tienen sentido sobre L2 (a, b).
De ese modo, al ampliar el conjunto de las funciones consideradas, o al relajar el
sentido de convergencia, ocurre una reduccion en el conjunto de funcionales lineales
y continuas que es posible denir sobre ese espacio.
En particular, toda funcional lineal y continua (acotada) en L2 (R) esta unvocamente asociada con el producto escalar por un vector jo de ese mismo espacio.
En esa condiciones, es vez de intentar incrementar a
un mas el conjunto de funciones relajando las condiciones que sobre ellas pesan o relajando el sentido de
convergencia en ese espacio (con la consiguiente reduccion del conjunto de funcionales), podemos asignar a las funcionales lineales y continuas un sentido de funciones
generalizadas e imponer fuertes restricciones sobre el espacio de funciones, buscando
incrementar el conjunto de esas funcionales.
Por ejemplo, podemos trabajar sobre el espacio metrico KN , formado por el
conjunto de las funciones de soporte1 compacto y con derivadas continuas hasta
el orden N , C0N (R), estructurado con una distancia que implica la convergencia
uniforme de las N primeras derivadas de toda secuencia convergente,
N (, ) := maxxR {| (x) (x) | + | (x) (x) | +
}
(7.1.1)
+ + | (N ) (x) (N ) (x) | .
Denominamos KN
al conjunto de las funcionales lineales y continuas denidas sobre
este espacio.
1Recordemos
7. TEORIA DE DISTRIBUCIONES
180
KM
KN
.
K=
olo un sentido de conN =0 KN , donde no podremos denir una distancia sino s
vergencia compatible con las distancias N (, ) para todo N . En esas condiciones,
el conjunto de funcionales lineales y continuas sobre el espacio K correspondera a
la union K =
N =0 KN .
El orden de una funcional lineal y continua f K es el mnimo N tal que
f KN
. En particular, toda funcional lineal y continua sobre K es de orden nito.
k N, la secuencia de derivadas de orden k, {n (x)} converge uniformemente a la correspondiente derivada del lmite, (k) (x).
As estructurado, ese espacio lineal se denota por K y es llamado espacio b
asico,
de funciones de prueba o test-functions.
Notese que tanto la derivacion, como la multiplicacion por funciones en C (R) y
las traslaciones sobre la recta, dejan invariante al espacio K. En efecto, (x) K
tenemos que
(x) K ,
(x)(x) K , (x) C (R) ,
(7.1.3)
(x + h) K , h R .
2El
(7.1.2)
181
Puede mostrarse facilmente que todas esas operaciones son continuas respecto
del sentido de convergencia adoptado. Por ejemplo, si n (x) (x) en K, entonces
n (x) (x) en K, dado que sus soportes estan contenidos en un mismo compacto
sobre la recta, y sus derivadas de cualquier orden convergen uniformemente a la
correspondiente derivada del lmite.
7.2.
Distribuciones sobre K
Se llama distribuci
on (o funci
on generalizada) denida sobre la recta a toda
funcional lineal y continua sobre el espacio K,
f : K C .
(7.2.1)
Consideremos una funcion f (x) denida sobre la recta, tal que resulte absoluta(loc)
(R).
Se puede denir una distribucion (que denotamos por la misma letra) mediante la
expresion
f [] :=
f (x)(x) dx ,
(7.2.2)
que converge para toda (x) K. Toda distribucion que puede ser representada de
esa manera se dice regular.
En efecto, f [] as denida es evidentemente lineal. Ademas, si n (x) (x)
en K entonces, en particular, n (x) (x) uniformemente. En consecuencia,
b[]
b[]
|f [n ] f []|
|f (x)| |n (x) (x)| dx n
|f (x)|dx 0 (7.2.3)
a[]
a[]
tanto, f (x) L1
(7.2.4)
que puede expresarse en terminos del producto escalar en L2 (R). Es por ello que
usualmente se adopta la notacion (f, ) := f [].
Un ejemplo de distribucion singular (no regular) corresponde a la delta de
Dirac:
((x x0 ), (x)) := (x0 ) .
(7.2.5)
(7.2.6)
7. TEORIA DE DISTRIBUCIONES
182
(7.2.7)
Otro ejemplo corresponde al valor principal de 1/x. La funcion 1/x no es integrable en ning
un intervalo que contenga al origen, de modo que no dene una
funcional regular. Pero para toda funcion (x) K existe la integral en valor principal
)
{ }
1
(x)
VP , (x) := lim0+
dx .
+
x
x
(7.2.8)
En efecto, supongamos que (x) = 0 para |x| > a > 0, donde a = a[]; entonces
(
)
{ a }
1
(x) (0) + (0)
VP , (x) = lim0+
+
dx =
x
x
a
(7.2.9)
a
(x) (0)
=
dx + (0) lim0+ {log(/a) + log(a/)} ,
x
a
donde el u
ltimo termino se anula.
Esta funcional es claramente lineal. Para ver que tambien es continua consideremos una secuencia n (x) (x) en K. Por el teorema del valor medio, tenemos
(
) a
1
[n (x) (x)] [n (0) (0)]
VP , [n (x) (x)] =
dx =
x
x
a
(7.2.10)
a
x [n (c(x)) (c(x))]
=
dx ,
x
a
donde c(x) esta entre x y 0. Entonces,
(
)
1
VP , [n (x) (x)] 2 a n 0 ,
x
(7.2.11)
puesto que n (x) (x) uniformemente en [a, a]. De ese modo, VP x1 dene una
distribucion singular.
7.3.
183
El espacio dual: K
(7.4.1)
f (x) (x) dx +
g(x) (x) dx =
(7.4.2)
[f (x) + g(x)] (x) dx .
(7.4.3)
7. TEORIA DE DISTRIBUCIONES
184
(7.4.4)
f=
hk (f, ) = lm
hk , =
(hk , ) , (x) K .
n
k=1
k=1
(7.4.5)
(7.4.6)
k=1
(7.4.7)
(7.4.8)
a[]
El pasaje al lmite bajo el signo integral es tambien posible bajo condiciones menos
restrictivas, como por ejemplo cuando
fn (x) f (x) en casi todo punto y |fn (x)| g(x), n, donde g(x) es
localmente sumable,
fn (x) f (x) monotonamente, siendo f (x) localmente sumable.
Ejemplo 7.1. Sea
x , |x| > ,
f (x) :=
0 , |x| .
(7.4.9)
185
Esta funcion permite denir una funcional regular que tiene por lmite en K a una
distribucion singular,
1
x
(en este caso no es posible intercambiar el lmite con la integral).
lm f = VP
0
(7.4.10)
Ejemplo 7.2. Otro ejemplo de una secuencia de funcionales regulares que converge a una distribucion singular es
x2
e 4t
t0+ (x) .
ft (x) =
4t
En efecto,
(
(7.4.11)
)
x2
x2
a[]
e 4t
e 4t
, (x) =
[(0) + (x) (0)] dx =
4t
4t
a[]
1
(0)
a[]
4t
(7.4.12)
a[]
4t
]
[
z 2
e
(z 4t) (0) dz (0)
1
2
ez dz +
a[]
a[]
4t
4t
+
para t 0 , puesto que (z 4t) (0) = z 4t (c(z, t)), con c(z, t) entre 0 y
z 4t, en virtud del teorema del valor medio, mientras que (x) esta uniformemente
acotada en toda la recta.
(7.4.13)
(7.4.14)
dado que |(fn , k )| < /2 para k sucientemente grande mientras que, para un
dado k, |(f fn , k )| < /2 para n sucientemente grande.
7. TEORIA DE DISTRIBUCIONES
186
(7.4.15)
lo que tiene sentido puesto que, para toda funcion (x) K, resulta (x) (x) K.
As denida, f es una funcional lineal y continua.
La linealidad de f es evidente. Para vericar la continuidad consideremos una
secuencia convergente en K, n . Las funciones (x) n (x) son identicamente
nulas fuera de un mismo intervalo acotado, dentro del cual la secuencia de sus
derivadas k-esimas converge uniformemente, ((x) n (x))(k) ((x) (x))(k) . Por
lo tanto, la secuencia (x) n (x) (x) (x) en K. Entonces, como consecuencia
de la continuidad de f tenemos
(f, n ) = (f, n ) (f, ) = (f, ) .
7.5.
(7.4.16)
La derivaci
on en K
Consideremos primero una funcional regular denida por una funcion f (x) abso
lutamente continua en la recta, (f, ) = f (x) (x) dx. Como su derivada f (x)
existe en casi todo punto y es localmente integrable, podemos denir otra funcional
regular como
(f , ) =
f (x) (x) dx =
(7.5.1)
donde (para integrar por partes) hemos tenido en cuenta que K es diferenciable
y de soporte compacto, y (en el u
ltimo paso) que la derivacion es una aplicacion de
K K (ver (7.1.3)).
Notese que en el miembro de la derecha en (7.5.1) ya no aparece la derivada de
la funcion f (x). De hecho, dado que (x) K, esa expresion tiene sentido para
toda funcional f K . Esto sugiere la siguiente denicion.
Dada una distribucion sobre K, f K , se define su derivada como la funcional
cuyos valores estan dados por
(f , ) := (f, ) , (x) K .
(7.5.2)
EN K
7.5. LA DERIVACION
187
(7.5.3)
= (f , ) + (g , ) = (f + g , ) .
Toda funcion generalizada admite derivadas de todo orden. En efecto, para
toda funcion (x) K (n) (x) K, n. Entonces
( (n) )
(
)
f , = (1)n f, (n) .
(7.5.5)
(7.5.6)
Por lo tanto, fn f en K .
Como consecuencia de la continuidad de la derivacion, toda serie convergente
de funciones generalizadas puede ser derivada termino a termino cualquier
n
umero de veces,
f=
k=1
hk f
(n)
(n)
hk .
(7.5.7)
k=1
sin(x)
}
tiende a la dis-
a[]
(7.5.8)
7. TEORIA DE DISTRIBUCIONES
188
(x) K.
Entonces, dado que la derivacion es una operacion continua en K ,
(
sin(x)
lm
sin(x)
= lm
)
= lm cos(x) = 0 .
(7.5.9)
(7.5.11)
1, x 0
(x) :=
0, x < 0
(7.5.12)
((x), (x)) =
(x) dx .
(7.5.13)
Su derivada resulta
3N
otese
(7.5.15)
que este resultado corresponde al hecho de que las transformadas de Fourier de fun-
lm n
eix (x) dx = 0 .
(7.5.10)
EN K
7.5. LA DERIVACION
189
Sea f (x) una funcion continua en R, cuya derivada es continua a trozos, con
discontinuidades aisladas de altura nita en los puntos {ak }. Ella dene una distribucion regular (que denotamos por f ) cuya derivada esta dada por
a[]
(f , ) =
f (x) (x) dx =
a[]
f (x) (x) dx
(7.5.16)
ak
ak+1
(f , ) =
ak+1
f (x) (x) dx =
a[]
f (x) (x) dx +
ak
a[]
(7.5.17)
df
(x) dx +
hk (ak ) ,
dx
k
df
dx
df
+
hk (x ak ) ,
dx
k
(7.5.18)
(que, por hipotesis, existe en casi todo punto y es localmente integrable). Tengase
en cuenta que la serie en el segundo miembro es convergente en K puesto que,
aplicada a una funcion de soporte compacto, siempre se reduce a una suma nita.
7. TEORIA DE DISTRIBUCIONES
190
x
, 0 < x < ,
2
(7.5.19)
y extendida a toda la recta como funcion impar de perodo 2. Esta es una funcion
discontinua en los puntos xk = 2k con k Z, con una discontinuidad de altura
h = en todos ellos. Excepto en los puntos de discontinuidad, esta funcion es
diferenciable y su derivada es f (x) = 1/2.
Por el resultado anterior, podemos escribir la derivada de la funcion generalizada
que ella dene como
1
f = +
(x 2k) ,
2
k=
(7.5.20)
donde la serie del segundo miembro es una funcional bien denida ya que su valor
en una funcion (x) K se reduce a una suma nita.
La funcion f (x) tambien puede ser representada mediante su serie de Fourier,
f (x)
sin(kx)
k=1
(7.5.21)
cos(kx)
k=1
k2
(7.5.22)
EN K
7.5. LA DERIVACION
191
F =f =
sin(kx)
k=1
(7.5.23)
Pero como esta serie converge en K , puede ser nuevamente derivada termino a
termino para obtener de (7.5.20) y (7.5.23)
1
f =
cos(kx) = +
(x 2k) .
2
k=1
k=
(7.5.24)
1 ikx
(x 2k) =
e .
2
k=
k=
(7.5.25)
Ck ikx
(n)
Ck eikx .
e
F
=
n
(ik)
k=
k=
(7.5.26)
De hecho, se puede demostrar que toda distribucion (regular o singular) coincide en todo compacto en la recta con la derivada de cierto orden nito de una
distribucion regular denida por una funcion continua.
Ejemplo 7.7. La funcion absolutamente continua x (log |x| 1) dene una distribucion regular cuya derivada primera es la distribucion regular denida por log |x|
(loc)
L1
(
)
{
= lm+ log() [() ()] +
0
|x|
|x|
(x)
dx
x
(
)
1
= VP , .
x
(7.5.27)
7. TEORIA DE DISTRIBUCIONES
192
1 , |x| a ,
h (x) =
(7.5.28)
0 , |x| a + .
(7.5.29)
= (1)n nk=0
(
nk
k=0 (1)
k
n
(nk)
f0 , h
)(
(
(nk)
h
(k)
)(k)
f0
(7.5.30)
(7.5.31)
con soporte contenido en el intervalo cerrado [(a+), a+], tales que la distribucion
de soporte compacto f puede escribirse como
f=
)(k)
f,k (x)
.
(7.5.32)
k=0
ak (k) (x x0 ) ,
(7.5.33)
k=0
para alg
un n N.
En efecto, supongamos que Sop(f ) = {0} y consideremos una funcion (x)
C0
{
(x) =
1,
0,
|x| > 1 .
(7.5.34)
193
(7.5.35)
(n)
k=0
<
(x)
(nk)
((x)
P
(x))
<
m
k=0
(7.5.36)
dado que las derivadas de todo orden de son acotadas, lo mismo que la funcion
continua f0 en el intervalo [, ], y |(x) Pm (x)| = O (xm+1 ). Por lo tanto, si
m n 1 el segundo termino en el lado derecho de (7.5.35) tiende a 0 cuando
0.
Finalmente,
(
(f, (x)) = lm f,
0
(x)
)
Pm (x) =
)
( n1
(
( ) )
n1
lm0 f, x xk
(k)
(k)
ak (x), (x) .
(0) =
=
k!
k=0
k=0
(7.5.37)
Vemos entonces que las rgidas restricciones que hemos impuesto sobre las funciones del espacio K (que, no obstante, es denso en L2 (R)), nos permiten obtener
un conjunto muy amplio de funciones generalizadas (toda restriccion del espacio
conlleva una ampliacion del espacio dual) sobre las cuales aplicar con gran libertad
las operaciones de paso al lmite y diferenciacion antes denidas.
7.6.
Ecuaciones diferenciales en K
(7.6.1)
194
7. TEORIA DE DISTRIBUCIONES
(x) =
0 (x ) dx
0 (x) dx = 0 .
(7.6.2)
(7.6.3)
(x) dx = (1, ) =
(7.6.4)
de modo que 0 (x) es la derivada de una funcion de K como en (7.6.3), 0 (x) = (x).
En consecuencia, podemos escribir que
(y, ) = (y, 0 + C1 ) = 0 + C (y, 1 ) = (1, ) ,
(7.6.5)
(7.6.6)
lo que solo dene a la funcional y sobre el subespacio de las funciones de K que son
la derivada de un elemento de K.
Como mostramos anteriormente, podemos escribir una funcion arbitraria de K
como (x) = 0 (x) + C1 (x), donde 0 (x) = (x), con (x) denida en (7.6.3),
195
(7.6.7)
a
a
|1 (y)| dy <
(7.6.8)
< 2 a n + n , x ,
donde el miembro de la derecha puede hacerse tan peque
no como se quiera con solo
tomar n sucientemente grande.
En esas condiciones, la secuencia {n (x)} tambien converge a (x) en K, y
podemos escribir
(y, n ) = (f, n ) + (1, n ) 0
(7.6.9)
cuando n .
En particular, si la inhonogeneidad f es regular, ella esta denida por una funcion
x
f (x) localmente sumable, de la cual F (x) = 0 f (x ) dx es una primitiva (absolutamente continua). Entonces, integrando por partes y teniendo en cuenta que (x) es
7. TEORIA DE DISTRIBUCIONES
196
(f, ) =
F (x) (x) dx =
F (x) 0 (x) dx =
(7.6.10)
donde = (F, 1 ) . Esto corresponde a una funcional regular denida por una
primitiva de f (x).
Mas generalmente, la ecuacion diferencial
an (x)y (n) + an1 (x)y (n1) + + a0 (x)y = 0 ,
(7.6.11)
(7.6.12)
(1, 2 (x)) =
(7.6.13)
0
2 (x) dx = 1 .
C1 = (1, (x)) =
(x) dx, C2 = (1 (x), (x)) =
(x) dx .
(7.6.14)
es una combinacion
lineal de la funcional (x x0 ) y de un n
umero finito de sus derivadas (ver ec. (7.5.33)).
0
(1 (x), 0 (x)) =
0 (x) dx = C2 0 C2 = 0 .
197
(7.6.15)
(7.6.17)
(7.6.18)
7. TEORIA DE DISTRIBUCIONES
198
La distribuci
on x+
7.7.
Consideremos la funcion
x+ :=
0, para x 0 ,
(7.7.1)
x , para x > 0 ,
para 1 < < 0. Como es localmente integrable, permite denir una distribucion
regular como
(x+ , )
x (x) dx,
1 < < 0 .
(7.7.2)
0, para x < 0 ,
=
(7.7.3)
x
, para x > 0 ,
no es integrable en ning
un intervalo que contenga al origen, y no corresponde a una
distribucion regular.
Pero, naturalmente, su derivada como distribucion existe y esta dada por
1
( )
( )
(x+ ) , = x+ , =
x (x) dx
x (x) dx =
0
)1
= x [(x) (0)] 0 +
(
)
x (x) 1 +
x1 [(x) (0)] dx
(7.7.4)
x1 (x) dx =
1
1
[(x) (0)] dx +
x1 (x) dx + (0) ,
para todo 1 < < 0. Esta expresion dene una funcional singular que, para
funciones de prueba que se anulan en x = 0, se reduce a tomar la integral
x1 (x) dx .
(7.7.5)
x+ :=
,
+1
(7.7.6)
x+
7.7. LA DISTRIBUCION
199
,
x+ , =
x [(x) (0)] dx +
x (x) dx +
+1
0
1
(7.7.7)
dF
ln x x (x) dx, ya que esta integral es absoluta y uniformemente
por d
=
0
convergente para esos valores de . La extension analtica de F ( ) permite denir
la funcional x+ para todo valor de donde aquella existe.
En ese sentido, para 1 < < 0 podemos escribir (x+ , ) de la forma6
]
1 [
n1 k
( )
x
(k) (0) dx +
x+ , =
x (x)
k!
0
k=0
(7.7.10)
x (x) dx +
n1
k=0
(k) (0)
.
k!( + 1 + k)
( + 1) :=
x e
dx =
(1)k xk
k=0
k!
dx +
x ex dx +
(7.7.8)
+
k=0
(1)k
,
k!( + 1 + k)
(1)k
.
k!
(7.7.9)
7. TEORIA DE DISTRIBUCIONES
200
que la u
ltima suma presenta polos simples en = 1, 2, ..., n, cuyos residuos son
)
(1)k ( (k)
(k) (0)
(x), (x) .
Res (x+ , )=k1 =
=
k!
k!
(7.7.11)
(7.7.16)
Res x1
+
=k
Res ()|=k
(7.7.17)
para k = 0, 1, 2, . . . .
7Este
(7.7.12)
puede ser entendida como el valor en = 3/2 de la funcion analtica definida por
(
)
I() =
x eax ebx dx ,
(7.7.13)
integral que converge para () > 2. Pero para () > 1, I() puede ser escrita como
)
(
(7.7.14)
I() =
x eax dx
x eax dx = a(+1) b(+1) ( + 1) ,
0
ya que cada integral es convergente. En virtud de la unicidad de la extension analtica, esa igualdad
vale = 1, 2, .... En particular,
)
(
(
)
I(3/2) = a1/2 b1/2 (1/2) =
a b 2 .
(7.7.15)
7.8. EL ESPACIO Z
7.8.
201
Transformaci
on de Fourier en K. El espacio Z.
Recordemos que el conjunto C0 (R) es un subespacio denso del espacio de Schwartz (Ver Captulo 5). Sea (x) K S. Entonces, su transformada de Fourier
es tambien una funcion del espacio de Schwartz, dado que F : S S.
Pero como esa funcion es de soporte compacto tenemos
a[]
1
F[]() = () =
eix (x) dx ,
2 a[]
(7.8.1)
donde (x) = 0 x
/ (a[], a[]). En esas condiciones, (s) puede ser denida
para valores complejos de su argumento, s = + i . En efecto, la integral
a[]
1
(s) =
eix e x (x) dx
2 a[]
(7.8.2)
e| |a (x)1
.
2
(7.8.3)
(7.8.4)
,
2
(7.8.5)
(7.8.6)
a[]
a[]
.
2
(7.8.7)
7. TEORIA DE DISTRIBUCIONES
202
Similarmente,
(
)
q (k) e|(s)| a xk (x) (q) 1
s (s)
.
(7.8.8)
2
En consecuencia, (s) es una funcion de decrecimiento rapido sobre toda recta
paralela al eje real ((s) = constante).
Inversamente, toda funcion analtica entera (s) que verica desigualdades de la
forma
|sq (s)| Kq [] e|(s)| a[] , q N
(7.8.9)
(7.8.10)
(7.8.12)
Evidentemente, el espacio Z tambien es invariante frente al producto por funciones analticas enteras de crecimiento polinomial sobre rectas horizontales (en particular, polinomios): si P (s) es una funcion entera que, para ciertas constantes C > 0
y m 0 y b > 0, satisface
|P (s)| C (1 + |s|m ) e|(s)|b P (s)(s) Z, (s) Z .
(7.8.13)
7.8. EL ESPACIO Z
203
|(s)| a
a e
Ta
a e
||n (x) (x)||1
2 a n ,
2
hk
k=0
k!
(k) (s), h C .
(7.8.16)
[ n
hk
k=0
(k)
k!
n
hk
k=0
k!
(s) (x) =
hk
k=0
k!
[
]
F 1 (k) (s) (x) =
(7.8.17)
(ix) (x) n e
k
ihx
(x)
en el sentido de la convergencia en K.
8Similarmente,
[
]
1
(is)q n(k) (s) (k) (s) =
2
isx
e
a
{
}(q)
k
(ix) [n (x) (x)]
{
}(q)
1
||1 0
e|(s)| a || xk [n (x) (x)]
2
cuando n .
(7.8.14)
7. TEORIA DE DISTRIBUCIONES
204
7.9.
Distribuciones sobre Z
(7.9.1)
(7.9.2)
(7.9.3)
Esta funcional es evidentemente lineal. Para ver que tambien es continua, tomemos
una secuencia n () () en Z. Esto signica que sus antitransformadas de
Fourier n (x) (x) en K y, por lo tanto, tambien convergen en media. En esas
condiciones, siendo f (x) = F 1 [g](x) (en el sentido de L2 (R)), y teniendo en cuenta
las propiedades de F y la continuidad del producto escalar en L2 (R), tenemos
(g, n ) = (g, n )L2 (R) = (f, n )L2 (R) n
(7.9.4)
(f, )L2 (R) = (g, )L2 (R) = (g, ) .
7.10.
Transformaci
on de Fourier en K
Hemos visto que la transformada de Fourier establece una correspondencia biunvoca entre los elementos de los espacios K y Z, que preserva las operaciones
lineales y la convergencia de secuencias. Es posible establecer una correspondencia
similar entre los respectivos espacios duales, K y Z , que generaliza la correspondencia inducida por F entre sus subespacios L2 (R).
En efecto, para toda f (x) L2 (R), cuya transformada g() = F[f ]() L2 (R),
y para toda funcion (x) K, cuya transformada () = F[]() Z, tenemos
(f, )K = (f, )L2 (R) = (g, )L2 (R) = (g, )Z ,
(7.10.1)
DE FOURIER EN K
7.10. TRANSFORMACION
205
(7.10.2)
donde (x) = F 1 [](x) K. Esta relacion puede entenderse como una generalizacion de la igualdad de Parseval.
Cada distribucion f K dene, a traves de esa relacion, una funcional lineal y
continua sobre Z, que denotamos por F[f ]:
(
)
(F[f ], )Z := f, F 1 [] K .
(7.10.3)
En efecto, es evidente que F[f ] as denida es lineal. Veamos que tambien es continua. Consideremos una secuencia convergente n (x) (x) en K; sus transformadas de Fourier n () () en Z. Entonces, de (7.10.3) resulta que
(F[f ], n )Z = (f, n )K (f, )K = (F[f ], )Z ,
(7.10.4)
dada la continuidad de f .
En ese sentido, toda distribucion sobre K tiene una transformada de Fourier, que
es un elemento de Z ,
F : K Z .
(7.10.5)
F 1 [g],
)
K
(7.10.6)
(7.10.7)
7. TEORIA DE DISTRIBUCIONES
206
Puede comprobarse facilmente que son validas las mismas formulas que para las
transformadas y antitransformadas de Fourier de derivadas de funciones en S:
d
F[f ] = F[ix f ] F[P (x) f ] = P (i d
)F[f ] ,
(7.10.8)
F[f ] = i F[f ] P ()F[f ] =
d
) f] .
F[P (i dx
Por ejemplo,
(F[f ] , ())Z = (F[f ], ())Z = (f, ix(x))K =
(7.10.9)
= (ixf, (x))K = (F[ixf ], ())Z , () Z .
() d =
)
1
, ()
, () Z .
2
Z
(7.10.10)
)
2 (), ()
(7.10.11)
Z
2 ().
d
d
F[P (x)] = F[P (x) 1] = P i
F[1] = 2 P i
() ,
(7.10.12)
d
d
que es una distribucion con soporte concentrado en el origen.
Similarmente,
[ (
)
]
d
1
F P i
(x) = P ()F[(x)] = P () .
dx
2
(7.10.13)
DE FOURIER EN K
7.10. TRANSFORMACION
207
Ejemplo 7.13. La funcion ebx C (R) dene una distribucion regular y, en ese
sentido, tiene una transformada de Fourier. En efecto, tenemos
(
)
(
)
(
)
[(ib) ]k (k)
2
(0) =
k!
k=0
(7.10.14)
)
[(ib) ]k (
(1)k (k) (), () ,
2
k!
k=0
para toda funcion (entera) () Z. La convergencia de esa serie numerica para toda funcion de prueba corresponde a la convergencia debil de la serie de distribuciones
(formalmente una serie de Taylor)
( + ib) := F[e ]() =
bx
(ib)k
k!
k=0
(k) () ,
(7.10.15)
En el caso general, el hecho de que las funciones del espacio Z sean analticas
enteras permite denir funcionales trasladadas, g() g(+h), mediante la relacion
(g( + h), ())Z := (g(), ( h ))Z , () Z ,
(7.10.16)
)
(h )k (
g(), (k) () Z =
(g( + h), ())Z =
k!
k=0
(
= lm
k=0
(7.10.17)
h (k)
g (), ()
k!
,
Z
7. TEORIA DE DISTRIBUCIONES
208
hk
k!
k=0
g (k) () .
(7.10.18)
)(k)
f,k (x)
.
(7.10.19)
k=0
k=0 (1)
(
k
F[f,k (x)], (i )k ()
donde
(n
)
k
k=0 (i ) g,k (), () Z ,
(7.10.20)
a+
dx
ei s x f,k (x) ,
(7.10.21)
2
(a+)
la transformada de Fourier de una funcion continua de soporte compacto, es una
g,k (s) := F[f,k (x)](s) =
g
(s)
f,k (x) 1 .
e
,k
2
(7.10.22)
(i )k g,k () .
(7.10.23)
k=0
(7.10.24)
DE FOURIER EN K
7.10. TRANSFORMACION
209
ei(i )x x dx .
(7.10.25)
F e x+ () =
( i )
e d =
2
0
(7.10.26)
i(+1)/2
( + 1) e
( i )1 .
En esas condiciones,
[ ] ( + 1) ei(+1)/2
( i0)1 ,
F x+ =
2
(7.10.27)
(7.10.28)
(7.10.29)
F [+1 ] = F
=
( i0)1 .
( + 1)
2
(7.10.30)
(7.10.31)
7. TEORIA DE DISTRIBUCIONES
210
7.11.
Distribuciones temperadas
(7.11.1)
(7.11.2)
Sea (x, y) C0 (R2 ). Puede denirse una funcional lineal y continua (respecto
de la convergencia uniforme de las derivadas parciales de todo orden) sobre ese
espacio mediante el producto directo de dos distribuciones en una variable:
(f (x) g(y), (x, y)) := (f (x), (g(y), (x, y))) .
(7.12.1)
(7.12.2)
lo que dene una funcion de soporte compacto (dado que (x, y) es de soporte
compacto en R2 , y se anula para |x| a[], y).
9N
otese
que, como Z S S Z
EN L1 (R)
7.13. PRODUCTO DE CONVOLUCION
211
Por otra parte, dado que (x, y) C , por el teorema del valor medio podemos
escribir
k (x + , y) k (x, y)
y
y
k
x y (x, y) =
= x yk (x + 1 , y) x yk (x, y) = 1 x2 yk (x + 2 , y) <
< || Mk [] 0 0,
(7.12.3)
x, y R, k N ,
x R tenemos
(
)
(x + , y) (x, y)
(x) = lm g(y),
= (g(y), x (x, y)) .
0
(7.12.5)
(7.12.6)
(7.12.7)
Producto de convoluci
on en L1 (R)
En efecto,
h1 =
|h(x)| dx
|f (x y)| |g(y)| dy dx =
(7.13.2)
|f (x)| |g(y)| dx dy = f 1 g1 ,
donde se ha cambiado el orden de integracion (lo que esta justicado por el teorema
de Fubini, ya que la integral doble existe), y se ha cambiado la variable de integracion
x x + y.
As denido, el producto de convolucion es asociativo y conmutativo,
(f g) h = f (g h) ,
f g =gf.
(7.13.3)
7. TEORIA DE DISTRIBUCIONES
212
Por ejemplo,
(f g)(x) =
f (x y) g(y) dy =
(7.13.4)
(f g, ) =
}
f (x y) g(y) dy
(x) dx ,
(7.13.5)
donde (x) K. Como esta funcion es acotada, la integral doble existe; entonces
se puede cambiar el orden de las integrales y la variable de integracion x x + y,
para obtener
(f g, ) =
f (x y) g(y) (x) dx dy =
f (x) g(y) (x + y) dx dy =
(7.13.6)
f (x) (g(y), (x + y)) dx ,
(7.13.7)
(7.13.8)
puede interpretarse como el valor que la distribucion f toma sobre una funcion del
espacio K.
Por ejemplo, supongamos que la funcion g(y) sea de soporte compacto en la recta
y. Como (x + y) tambien lo es, y su soporte se desplaza a medida que se vara x,
se ve que para |x| sucientemente grande la interseccion de ambos soportes es vaca.
En esas condiciones, (x) C0 (R) y
(f g, ) = (f, ) .
(7.13.9)
EN L1 (R)
7.13. PRODUCTO DE CONVOLUCION
213
Supongamos ahora que el soporte de g(y) solo este acotado de un lado, digamos
por abajo. Como el soporte de (x + y) se desplaza hacia la izquierda cuando x
crece, para x sucientemente grande la interseccion de ambos soportes es vaca. En
consecuencia, existe un a[] tal que si x a[], entonces la funcion (x) = 0. Es
decir, en este caso (x) C (R), y su soporte esta acotado por arriba.
Ahora bien, si el soporte de la funcion f (x) tambien esta acotado por abajo, la
(f g, ) =
f (x) (x) dx =
f (x) (x)
dx = (f, )
.
(7.13.10)
(7.13.11)
Similares conclusiones se obtienen para el caso en que los soportes de f (x) y g(x)
esten ambos acotados por arriba.
Vemos entonces que, al menos cuando
una de las funciones f (x) o g(x) tiene soporte compacto,
ambas funciones tienen soporte acotado del mismo lado,
la distribucion regular denida por el producto de convolucion f g puede describirse
como
(f g, ) = (f, )
(o (g, ))
,
(7.13.12)
donde (x)
K es tal que
(x)
(7.13.13)
(7.13.14)
(7.13.16)
7. TEORIA DE DISTRIBUCIONES
214
Producto de convoluci
on en K
7.14.
Teniendo en cuenta que para mostrar que (x) = (g(y), (x + y)) C (R)
solo hemos recurrido a la continuidad de la funcional g, vemos que las mismas
consideraciones hechas en la Seccion anterior valen para todo par de distribuciones
f, g K .
Entonces, cuando la interseccion de los soportes Sop(f (x)g(y))Sop((x+y))
es un compacto en el plano, lo que ocurre al menos cuando
f o g es de soporte compacto,
f y g tienen soporte acotado del mismo lado,
podemos denir el producto de convoluci
on de esas distribuciones como un producto directo: (x) K,
((f g)(x), (x)) := (f (x) g(y), (x,
y)) ,
(7.14.1)
donde (x,
y) C0 (R2 ) tal que
(x,
y) = (x + y), x, y Sop(f (x) g(y)) .
(7.14.2)
En esas condiciones, se puede demostrar que el producto de convolucion de distribuciones tiene las mismas propiedades de asociatividad y conmutatividad que la
convolucion de funciones en L1 (R), ecuacion (7.13.3).
Ejemplo 7.15. Si f y g son distribuciones regulares denidas por funciones
localmente sumables, f (x) y g(x), que tienen su soporte contenido en la semirrecta
x 0, tenemos
(
)
(f g, ) = f (x), (g(y),\
(x + y)) =
f (x)
a[]
f (x)
a[]
g(y x) (y) dy dx =
g(y) (x + y) dy dx =
a[]
=
0
}
f (x) g(y x) dx (y) dy =
(
=
0
)
f (x) g(y x) dx, (y) ,
(7.14.3)
EN K
7.14. PRODUCTO DE CONVOLUCION
215
(f g)(x) =
f () g(x ) d =
0
f (x ) g() d .
(7.14.4)
(7.14.6)
(x a) f (x) = f (x) (x a) = f (x a) .
(7.14.7)
vemos que
En particular, para a = 0,
(x) f (x) = f (x) (x) = f (x) ,
(7.14.8)
(7.14.9)
(7.14.10)
Ademas,
(Dx (f g)(x), (x)) = ((f g)(x), Dx (x)) =
(
)
)) (
\
\
= f (x), g(y), Dx+y (x + y) = f (x), (Dy g(y), (x + y)) =
(
(7.14.11)
(7.14.12)
7. TEORIA DE DISTRIBUCIONES
216
Entonces, un operador diferencial a coecientes constantes aplicado sobre un producto de convolucion act
ua sobre uno cualquiera de los factores.
Lema 7.1. De la convergencia fn f en K se deduce la convergencia de
fn g f g en, al menos, las siguientes condiciones:
los soportes de las distribuciones {fn } estan contenidos en un mismo conjunto compacto,
g es de soporte compacto,
los soportes de {fn } y g est
an acotados del mismo lado y de manera independiente de n.
En esos casos, el producto de convolucion es continuo en K ,
(
)
lm (fn g) = lm fn g .
n
(7.14.13)
(t ft (x), (x)) := lm
)
ft+ (x) ft (x)
, (x) ,
(7.14.14)
entonces
t (ft g) = t ft g
(7.14.15)
sus transformadas de Fourier, F[f1 f2 ]() = 2 F[f1 ]() F[f2 ](). Veremos que
esta propiedad se extiende al producto de convolucion de distribuciones sobre el
espacio K cuando uno de los factores es una funcional de soporte compacto.
En efecto, si f1 , f2 K y f2 es de soporte compacto, el producto de convolucion
f1 f2 esta denido por
(f1 f2 , ) = (f1 , ) ,
(7.14.16)
(7.14.17)
donde
7.15. APLICACIONES DEL PRODUCTO DE CONVOLUCION
217
Ya sabemos que la transformada de Fourier de una distribucion de soporte compacto puede ser representada como una distribucion regular sobre el espacio Z, denida por una funcion analtica entera de crecimiento polinomial (ver ec. (7.10.23)),
F[f2 ]() = g2 (). En esas condiciones,
(x) = (f2 (y), (x + y))K = (F[f2 (y)], F[(x + y)])Z =
= (g2 (), ei x ())Z =
=
ei x g2 () () d =
(7.14.18)
)
)
(
2 g2 () F[f1 ], () Z =
F[f1 ], 2 g2 () () Z =
(7.14.19)
= (F[f1 f2 ], )Z , () Z .
Por lo tanto,
F[f1 f2 ] =
2 F[f1 ] F[f2 ] ,
(7.14.20)
(7.15.1)
cuya solucion es una funcion con derivadas continuas de segundo orden dada por la
integral
1
v(x) =
4
R3
(y)
d3 y .
xy
(7.15.2)
Ahora bien, esa expresion tiene el aspecto de una convolucion (en tres dimensiones):
v = G ,
(7.15.3)
7. TEORIA DE DISTRIBUCIONES
218
1
con r = x,
4r
G(x) = (x) .
(7.15.4)
(
v =
4r
)
(
1
= = .
=
4r
(7.15.5)
(7.15.6)
ella puede ser estudiada en el espacio de distribuciones (tomando por inhomogeneidad f a una distribucion de soporte compacto).
La funcion de Green de L es una distribucion que satisface
LG = .
(7.15.7)
(7.15.8)
r2n
, n > 2,
(2 n) n
(7.15.9)
2 n/2
es la supercie de la esfera de radio 1 en dicho espacio.
(n/2)
En efecto, como r2n es una distribucion regular (respecto de la medida de
donde n =
( 2n ) ( 2n
)
r , = r , = lm+
r2n (x) dn x =
0
= lm+
0
}
]
{
[ 2n
(x) (x) r2n + (x)r2n dn x .
r
(7.15.10)
7.15. APLICACIONES DEL PRODUCTO DE CONVOLUCION
219
Teniendo en cuenta que r2n , funcion homogenea de grado (2 n), verica r2n =
0, tenemos que
(
2n
, = lm+
0
r=
{
= lm+
0
}
{ 2n
r (x) + (x) (n 2) 1n n1 dn
}
r (x) dn + (n 2)
r=
(x) dn
(7.15.11)
r=
r2n
(2 n)
)
= (x) ,
(7.15.12)
= (x) .
(7.15.13)
2
7.15.2.
Ecuaciones parab
olicas. En la teora de la transmision del calor, la
(7.15.14)
donde u(x, t) tiene una derivada primera respecto de t y una derivada segunda
respecto de x continuas para t > 0. Si la distribucion inicial de temperatura en la
barra esta dada por la funcion u(x, t = 0) = (x), la solucion de (7.15.14) para t > 0
es
1
u(x, t) =
4t
(x y)2
4t (y) dy .
(7.15.15)
Si (x) L1 (R), esta integral (que existe para una clase mas amplia de funciones)
puede ser escrita como la convolucion
x2
e 4t
u(x, t) =
(x) .
4t
(7.15.16)
7. TEORIA DE DISTRIBUCIONES
220
x2
x2
e 4t
e 4t
t u(x, t) = t
(x) = t
(7.15.17)
(x) ,
4t
4t
en razon de las propiedades de continuidad de la convolucion antes mencionadas.
Por otra parte,
x2
x2
4t
4t
2 e
2
2 e
x u(x, t) = x
(x) = x
(x) .
4t
4t
x2
e 4t
4t
(7.15.18)
sus derivadas como distribucion y derivada debil coinciden con las distribuciones
regulares denidas por las respectivas derivadas parciales como funcion de ambas
variables10, y dado que
x2
2 e 4t
2
= 0,
t x
4t
vemos que u(x, t) satisface la ecuacion diferencial
{
}
u(x, t) = 0 .
t x2
{
(7.15.20)
(7.15.21)
x2
x2
e 4t
e 4t
lm+
(x) = lm+
(x) = (x) (x) = (x)
t0
t0 4t
4t
(7.15.22)
u
=P
u,
(7.15.23)
t
x
donde u(x, t) es una distribucion en la variable x que depende ademas del parametro
t, el problema de Cauchy consiste en hallar una solucion que se reduzca a una
distribucion dada (x) para t 0+ .
10En
efecto,
(
t
x2
e 4t
, (x)
4t
a[]
=
a[]
x2
e 4t
4t
)
(x) dx ,
(7.15.19)
7.15. APLICACIONES DEL PRODUCTO DE CONVOLUCION
221
(7.15.24)
u(x, t) =
P
t
x
{
=
P
t
(7.15.25)
)}
G(x, t) (x) = 0 (x) = 0 ,
mientras que
lm u(x, t) = lm+ G(x, t) (x) = (x) (x) = (x) .
t0+
7.15.3.
(7.15.26)
t0
Ecuaciones hiperb
olicas. Una soluci
on fundamental de la ecua-
(7.15.27)
2G 2G
= 0.
t2
x2
(7.15.28)
(7.15.31)
t0+
(7.15.32)
1
lm+ t G(x, t) = lm+ {(x + t) + (x t)} = (x) .
t0
t0 2
11La
(7.15.29)
(7.15.30)
7. TEORIA DE DISTRIBUCIONES
222
Llamemos G(x,
t) a la derivada debil de G(x, t) respecto de t,
1
G(x,
t) := t G(x, t) = {(x + t) + (x t)} .
(7.15.33)
2
Ella constituye una segunda solucion fundamental, que diere de la primera en las
condiciones iniciales que satisface.
En efecto, tambien resulta inmediato vericar que
2 G
2 G
= 0.
t2
x2
(7.15.34)
lm G(x,
t) = lm+ t G(x, t) = (x) ,
t0+
t0
(7.15.35)
lm t G(x,
t) = lm+ t2 G(x, t) = lm+ x2 G(x, t) = 0 ,
t0+
ya que
t0
t0
(
)
(
)
lm+ x2 G(x, t), (x) = lm+ G(x, t), x2 (x) = 0
t0
(7.15.36)
t0
por (7.15.32).
En esas condiciones, la solucion de (7.15.27) que satisface las condiciones iniciales
u(x, t = 0) = u0 (x), t u(x, t = 0) = u1 (x), esta dada por
(7.15.37)
u(x, t) =
t2 x2
{
=
2
2
t
x
{
G(x, t) u1 (x) +
2
2
t
x
(7.15.38)
G(x,
t) u0 (x) = 0 .
1
{(x + t) + (x t)} u0 (x) =
2
(7.15.40)
1
= G(x, t) u1 (x) + {u0 (x + t) + u0 (x t)} ,
2
7.15. APLICACIONES DEL PRODUCTO DE CONVOLUCION
223
x+t
u1 (y) dy .
(7.15.42)
xt
(7.15.43)
(
P
,
x t
(7.15.45)
)
t G0 (x, t) = 0 ,
(7.15.46)
(7.15.47)
,
x t
G0 (x, t) ,
u1 regular tenemos
(G(x, t) u1 (x), (x)) = (u1 (y), (G(x, t), (x + y))) =
u (y)
1
(
1 y+t
2
yt
)
(x) dx dy =
( 1 x+t
u (y) dy
xt 1
(7.15.41)
)
(x) dx .
7. TEORIA DE DISTRIBUCIONES
224
m1
t t G0 (x, t = 0) = Am1
(x) .
x
(7.15.48)
Derivaci
on e integraci
on de orden arbitrario
g(y) (x y)n1 dy ,
(7.16.1)
(7.16.2)
dado que ambas funcionales tienen soporte contenido en R+ (ver ec. (7.14.4)).
Pero el miembro de la derecha de (7.16.2) tiene sentido, no solo para distribuciones regulares, sino para toda distribucion con soporte en R+ . En particular, para
n = 1 tenemos
g(1) (x) = g(x)
x0+
= g(x) (x) ,
(1)
(7.16.3)
g(1)
(x) =
d
((x) g(x)) = (x) g(x) = (x) g(x) = g(x) .
dx
(7.16.4)
E INTEGRACION
DE ORDEN ARBITRARIO
7.16. DERIVACION
225
( )
Notese que Sop g(1) R+ . En efecto, si Sop((x)) R+ = entonces
(x) := ((y), (x + y)) =
(y) dy = 0, x 0
(7.16.5)
(g(x), (x))
(7.16.7)
(7.16.8)
(7.16.9)
y
(x +
()
0
y) dy = 0, x 0, () > 0 y, por extension analtica, tambien C. En consecuencia,
(
)
(g(x), (x))
7. TEORIA DE DISTRIBUCIONES
226
x1
x1
+
+ .
(7.16.10)
() ()
Para () > 0 y () > 0, se trata de la convolucion de distribuciones regulares
=
( ) (x) =
0
+1
x
()()
(x y)1 y 1
dy =
()
()
(7.16.11)
(1 z)1 z 1 dz
0
(7.16.12)
x+1
+
= + .
( + )
(7.16.13)
(7.16.14)
En particular, si = ,
(g ) = g 0 = g (x) = g ,
(7.16.15)
(7.16.16)
(7.16.17)
E INTEGRACION
DE ORDEN ARBITRARIO
7.16. DERIVACION
227
1
mv(z)2 = mg(x z) |v(z)| = 2g(x z) .
2
(7.16.18)
dz
= 2g(x z) sin (z) ,
dt
(7.16.19)
donde (z) es el angulo que forma la tangente a la curva en ese punto con una recta
horizontal.
Si la forma de la curva fuese conocida, digamos y = y(z), tendramos que
cot (z) = dy/dz, y la solucion estara dada por
x
dz
t(x) =
.
2g(x z) sin (z)
0
(7.16.20)
por ejemplo,
7. TEORIA DE DISTRIBUCIONES
228
(z)
dz = t(x) .
(7.16.21)
2g(x z)
Notese que se trata de una ecuacion integral de primera especie, del tipo de Volterra,
0
cuyo n
ucleo no es de cuadrado sumable.
Mas generalmente, se llama ecuaci
on de Abel generalizada a
x
(x z)
(z) dz = f (x) ,
0 (1 )
(7.16.22)
donde 0 < < 1, (z) es la incognita y f (x) es una funcion dada. En particular,
para 1/2 el n
ucleo de ese operador integral de Volterra no es de cuadrado
integrable.
Ahora bien, esta ecuacion tambien puede interpretarse como
x
+
= 1 = f ,
(1 )
(7.16.23)
(7.16.24)
Supongamos ahora que f sea una distribucion regular denida por una funcion
f (x) diferenciable para x = 0 y nula para x < 0. Entonces, su derivada como
distribucion es
df (x)
+ f (0+ ) (x) ,
dx
y la solucion de (7.16.23) se reduce a
f (x) =
df (x)
+ f (0+ ) (x) .
dx
En particular, para > 0 (lo que hace a regular) se tiene
x
1
(x z)1 df (z)
+ x
+
dz ,
(x) = f (0 )
()
()
dz
0
(x) = (x)
(7.16.25)
(7.16.26)
(7.16.27)
para x > 0.
Volviendo al problema original (donde = 1/2), si tomamos, por ejemplo,
(x)
= 0 y obtenemos
f (x) = T 2g/ constante, entonces dfdx
1
T 2g
(x) =
= ,
(7.16.28)
sin (x)
x
lo que conduce a una cicloide (tautocrona) para la trayectoria de la partcula.
EN DISTRIBUCIONES PROPIAS
7.17. DESCOMPOSICION
7.17.
229
Descomposici
on en distribuciones propias
(7.17.1)
(7.17.2)
(7.17.3)
1 (x), 2 (x) S ,
(7.17.4)
lm An (x) = A(x) en S,
n (x) (x) en S .
(7.17.5)
dada la continuidad de f y de A.
(7.17.6)
7. TEORIA DE DISTRIBUCIONES
230
(7.17.7)
(7.17.8)
(7.17.9)
(7.17.10)
( , )S
(7.17.11)
( , )S ( , )S .
(7.17.12)
17Recordemos
distribucion regular definida por una funcion continua en la recta, cuyo crecimiento es a lo sumo
polinomial.
EN DISTRIBUCIONES PROPIAS
7.17. DESCOMPOSICION
231
|( , )S |2 .
(7.17.13)
Esta ecuacion es una generalizacion de la igualdad de Parseval (que, a su vez, generaliza el teorema de Pitagoras), lo que justica el termino ortogonal.
Estos resultados se extienden a todo el espacio de Hilbert L2 (R) = S en el
siguiente sentido: si f (x) es una funcion de cuadrado sumable en la recta, entonces
la distribucion regular que ella dene es el lmite debil de un desarrollo de la forma
f=
fe() ,
(7.17.14)
(7.17.15)
d
Ejemplo 7.18. El operador impulso, denido como P = i dx
sobre D(P ) = S,
(7.17.16)
(x) =
eix
()
e
d
2
()
e
= , (x) =
(x) dx .
2
2
(7.17.17)
(7.17.18)
7. TEORIA DE DISTRIBUCIONES
232
2
|()|
e
d =
e 2 2 .
(7.17.19)
Por otra parte, dada f (x) L2 (R), la funcional regular que ella dene es el
lmite debil de una integral de la forma
f (x) = lm
N
eix
fe()
d ,
2
N
N
(7.17.20)
(7.17.21)
f () (x ), (x) d =
(7.17.22)
(7.17.23)
El resultado del Teorema 7.1 (Ec. (7.17.11)) queda entonces expresado como
| =
(( , )S , )S =
( , )S ( , )S =
( , )S | , (7.17.24)
( , )S = | ,
| =
| | .
(7.17.25)
(7.17.26)
EN DISTRIBUCIONES PROPIAS
7.17. DESCOMPOSICION
233
| | .
(7.17.27)
A | = (A , )S = (, A)S =
( , )S ( , A)S
( , )S (A , )S =
( , )S ( , )S =
| | ,
(7.17.28)
de modo que concluimos que
| A := A | =
| | ,
(7.17.29)
| | .
(7.17.30)
A=
Bibliografa:
I. M. Guelfand y G. E. Shilov, Les distributions, Vol. I - III, Dunod, Pars,
1964 - 1968.
A.N. Kolmogorov y S.V. Fomin, Elementos de la Teora de Funciones y del
Analisis Funcional. Editorial MIR, Mosc
u, 1975.
L. Schwartz, Theorie des Distributions, Hermann & Cie, Paris, 1966.
V.S. Vladimirov, Methods of the theory of generalized functions, Analytical
Methods and Special Functions, Vol. 6, Taylor & Francis Inc., New York,
2002. ISBN: 0-415-27356-0
Bogoljub Stankovic, Generalized functions and their applications, Novi Sad
J. Math. Vol. 28, 1998, 145.
Apendice A
EJERCICIOS PROPUESTOS
A.1.
Espacios Eucldeos
a1
b1
.
.. , y = ... Rn .
a) xt y = a1 b1 + + an bn , para x =
an
bn
t
nn
b) (A, B) = tr(A B) con A, B R , matrices reales de n n.
b
c) (f, g) = a f (t) g(t) dt con f, g funciones reales y continuas en el intervalo
[a, b].
d ) Extender las anteriores deniciones al caso complejo.
e) Decir si el producto de las normas de dos vectores dene un producto
escalar.
3. Sea E un espacio eucldeo. Probar que la suma de dos productos escalares
denidos sobre el espacio E, denen un nuevo producto escalar sobre E.
Puede decirse lo mismo de la diferencia?
4. Considerar una forma sesquilineal 1 f (x, y) denida sobre un espacio eucldeo
complejo.
ormula de polarizaci
on:
a) Mostrar que f satisface la f
f (x, y) =
1
f (x + y, x + y)
4 =1,i
1
x + y2
4 =1,i
f (z, y), y antilineal respecto del argumento de la izquierda, f (x + y, z) = f (x, z) + f (y, z).
235
236
A. EJERCICIOS PROPUESTOS
5. Encontrar los angulos internos del triangulo formado por los siguientes vectores del espacio de funciones reales continuas C2 (a, b): x1 (t) = 1, x2 (t) = t,
x3 (t) = 1 t (recordar que, por denicion, el angulo entre dos vectores x, y
viene dado por cos =
(x,y)
).
||x|| ||y||
237
Operadores acotados
AB AB
238
A. EJERCICIOS PROPUESTOS
(A + B) = A + B
(A) = A
(AB) = B A
A.3.
239
26. Que forma tiene la matriz asociada a un operador lineal A denido sobre
un espacio eucldeo n-dimensional (con n < ), si los primeros k vectores
de la base ortonormal del espacio generan un subespacio invariante? Y si el
complemento ortogonal de ese espacio tambien es invariante?
27. Mostrar que si un subespacio F de un espacio eucldeo E es dejado invariante por la accion del operador lineal acotado A, entonces su complemento
ortogonal F es invariante frente a A .
28. Sean A y B dos operadores lineales que conmutan entre s. Mostrar que
a) la imagen por B de todo subespacio invariante de A es tambien invariante
frente a A,
b) todo subespacio caracterstico de A es invariante frente a B.
29. Un operador lineal A es una homotecia si A = I, con en el cuerpo del
espacio eucldeo E. Mostrar que todo vector de E es un autovector de A si y
solo si A es una homotecia.
30. Mostrar que el cuadrado de la norma de un operador A denido en un espacio
eucldeo de dimension nita, A2 , es igual al maximo autovalor del operador
A A (Sugerencia: ver Ejercicio 25).
31. Un operador se dice isom
etrico si conserva los productos escalares,
(U x, U y) = (x, y) , x, y E
(si el espacio E esta construido sobre el cuerpo de los reales, tal operador se
dice ortogonal, mientras que si E es complejo se dice unitario).
a) Mostrar que U = 1, y que U U = I.
b) Si un operador lineal A se descompone como producto de un operador
isometrico U y otro simetrico S, A = U S, mostrar que A A = S 2 .
c) Mostrar que todo operador A denido sobre un espacio de dimension
nita que tenga asociada una matriz de determinante no nulo puede ser
descompuesto como producto de un operador isometrico y otro simetrico
positivo, y que esta descomposicion es u
nica.
32. Considerar el operador de Sturm-Liouville L denido por las funciones p(t)
1 y q(t) 0, simetrico en el espacio de funciones continuas en [0, ] y
dos veces diferenciables en el intervalo (0, ) que satisfacen las condiciones de contorno de Dirichlet, x(0) = 0 = x(). Encontrar sus autofunciones
y autovalores. Hacer lo propio para condiciones de contorno de Neumann,
x (0) = 0 = x (), y comparar. Observar que los autovalores crecen sin lmite
(se trata de un operadores no acotados!).
240
A. EJERCICIOS PROPUESTOS
A.4.
1
k
1 kt , 0 t k ,
0, t > k,
37. Mostrar que las siguientes formas denen distancias sobre el espacio de las
funciones continuas C(a, b):
a) (x, y) = supatb |x(t) y(t)|.
b
b) (x, y) = a |x(t) y(t)|dt.
b
c) 2 (x, y) = a |x(t) y(t)|2 dt.
38. Dadas dos secuencias convergentes en un espacio eucldeo E, {xk } x y
{yk } y, mostrar que {xk + yk } es tambien una secuencia convergente y
hallar su lmite.
A.5.
241
A.6.
Espacios completos
44. Mostrar que el conjunto de las funciones continuas C([a, b]) es completo respecto de la distancia denida en el punto 37a.
45. Considerar el espacio lineal formado por las funciones continuas y acotadas
sobre el eje real, estructurado con las operaciones usuales de suma y producto
por reales. Mostrar que la forma
(f, g) = sup |f (t) g(t)|
tR
dene una distancia sobre ese espacio. Decir si ese espacio metrico es completo
(Sugerencia: considerar una secuencia fundamental y mostrar que converge
a una funcion continua y acotada en toda la recta).
46. Dada f (t) L2 (a, b), con (b a) < , demostrar la desigualdad
[
]2
|f (t)| dt
a
(b a)
|f (t)|2 dt
a
242
A. EJERCICIOS PROPUESTOS
(k)
(k)
(k)
fi (t) =
1 (i 1)/k t i/k
0 en todo otro caso.
(1)
(2)
(2)
(3)
(3)
Integral de Lebesgue
49. Mostrar que una funcion que toma valores no negativos y es continua salvo
por una discontinuidad aislada de altura nita es sumable y que su integral
de Lebesgue coincide con su integral impropia de Riemann. Mostrar que lo
mismo ocurre cuando la funcion tiene un n
umero nito o innito numerable
de discontinuidades aisladas.
50. Mostrar que la funcion f (t) = t1 con t [0, 1] es medible pero no sumable,
de modo que tampoco tiene una integral de Lebesgue.
A.8.
243
d ) Muestre que la variedad lineal generada por las funciones {e1 (t), e2 (t),
e3 (t), . . . } no es densa en L2 (a, b) (Sugerencia: recuerde que no hay vectores no nulos ortogonales a subespacios densos).
Nota: este ejemplo muestra la necesidad de considerar sistemas ortonormales
que resulten completos en un espacio eucldeo completo.
54. Mostrar que el conjunto de los polinomios de Legendre es completo en
L2 (1, 1) (Ver Ejercicio 17).
55. Mostrar que todo espacio de Hilbert construido sobre el cuerpo de los complejos es isomorfo a la extension compleja del espacio L2 .
A.9.
56. El espacio lineal formado por las funcionales lineales y continuas denidas
sobre un espacio lineal E se llama espacio dual y se denota por E . Mostrar
que todo espacio eucldeo completo es (como espacio lineal) isomorfo a su
espacio dual.
A.10.
Operadores compactos
57. Mostrar que si A y B son operadores completamente continuos (o compactos), entonces A + B es completamente continuo.
58. Mostrar que el conjunto de operadores compactos sobre un espacio de Hilbert
E es un subespacio cerrado del espacio de Banach de los operadores acotados
sobre E (Sugerencia: recordar el Lema 3.2).
59. Mostrar que si A completamente continuo y B es acotado, entonces AB y BA
son completamente continuos (Sugerencia: muestre que un operador acotado
B aplica una secuencia fundamental en otra secuencia fundamental).
A.11.
y(t) =
K(t, s)x(s)ds
a
244
A. EJERCICIOS PROPUESTOS
a)
A1 (s) =
)
cos2 s cos 2t + cos 3s cos3 t (t)dt
b)
A2 (s) =
0
c)
A3 (s) =
(t s s t) (t)dt
A.12.
El m
etodo de Rayleigh-Ritz
A(x) =
K(s, t)(t)dt ,
0
donde
K(s, t) =
cos s sin t 0 s t
cos t sin s t < s
245
c) Dada una funcion u(t) L2 (0, ) tal que u (t) es continua y satisface las
condiciones u (0) = 0 y u() = 0, decir en que sentido converge su serie
de Fourier generalizada respecto del sistema de autovectores de A.
(Sugerencia: determinar si el n
ucleo K(t, s) es simetrico y, en ese caso, determinar si el operador A tiene por inversa un operador de Sturm-Liouville,
lo que permitira reducir el problema de autovalores de A a ecuaciones diferenciales con condiciones de contorno).
67. Resolver las siguientes ecuaciones integrales de n
ucleo simetrico y continuo
a)
(s)
K(s, t) (t) dt = s ,
0
con
{
K(s, t) =
b)
s(t 1) 0 s t ,
t(s 1) t < s 1 ,
(s)
con
{
K(s, t) =
(s + 1)t 0 s t ,
(t + 1)s t < s 1 .
Ecuaciones integrales de n
ucleo de cuadrado sumable
(t)
)
t cos s + s2 sin t + cos t sin s (s) ds = t ,
b)
/2
(t) 4
(s)
b)
(s)
sin(ln s) (t) dt = 2s ,
0
246
A. EJERCICIOS PROPUESTOS
A.15.
0 t, s 2
b)
K(t, s) = t s ,
c)
{
K(t, s) =
0 t, s 1
t + s, 0 t s
t s, s < t 1
{
K(t, s) =
b)
{
K(t, s) =
1, t s
0, t < s
exp(t s) , t s
0,
t<s
DE FOURIER
A.17. LA TRANSFORMACION
247
K(t, s) = t exp(s) ,
en [0, 1] [0, 1]
A.16.
El espacio L1
75. Sean el intervalo cerrado [a, b], con < a < b < . Mostrar mediante un
ejemplo que, si bien L2 (a, b) L1 (a, b) (ver Ejercicio 46), no toda funcion
f (x) L1 (a, b) es de cuadrado sumable en ese intervalo.
76. Mostrar (mediante ejemplos) que, a diferencia de lo que ocurre en intervalos
compactos, L2 (R) no esta contenido en L1 (R).
77. Mostrar que si f (t) es sumable en un intervalo [a, b], entonces
b
f (t) sin(N t) dt 0
a
La Transformaci
on de Fourier
2 /2
, n = 0, 1, 2, . . . , forman un
248
A. EJERCICIOS PROPUESTOS
x2
81. Mostrar que las funciones de Hermite n (x) = Hn (x) e 2 , donde los po2 ( d )n x2
linomios de Hermite se expresan como Hn (x) = (1)n ex dx
e , son
autovectores del operador F (transformacion de Fourier) correspondientes a
autovalores (i)n .
A.18.
Operadores no acotados
249
de extensiones autoadjuntas dependientes de un parametro continuo. Especicar sus dominios. Mostrar que esas extensiones autoadjuntas pueden ser
caracterizadas mediante condiciones de contorno (es decir, mediante una relacion entre los valores que la funcion toma en los extremos del intervalo
[0, 1]) y determinar sus espectros (puntuales).
86. Considerar el operador con dominio
D(A) = {(x) AC(0, 1) | (x) L2 (0, 1), (0) = 0 = (1)} ,
sobre el cual esta denido como A(x) = i (x).
a) Determinar el adjunto A .
b) Mostrar que A es cerrado.
c) Denir adecuadamente las composiciones de operadores A A y AA , y
mostrar que se trata de operadores autoadjuntos.
d ) Determinar a que extensiones autoadjuntas del operador denido como
d
L = dx
2 sobre el dominio C0 (0, 1) corresponden esas composiciones.
2
87. Denir el operador momento lineal de una partcula cuantica libre connada
a una recta a la que le falta un punto. Construir el operador Hamiltoniano
como el cuadrado del momento lineal (Sugerencia: considerar el operador
simetrico P = ix , denido sobre el dominio D(P) = C0 (R\{0}), determinar su adjunto y sus extensiones auto-adjuntas).
88. Denir el operador Hamiltoniano de una partcula cuantica libre connada a
una recta a la que le falta un punto; construir sus extensiones autoadjuntas
y determinar bajo que condiciones resultan ser el cuadrado del operador momento lineal del ejercicio anterior (Sugerencia: considerar el operador simetrico H = x2 , denido sobre el dominio D(H) = C0 (R\{0}), determinar su
adjunto y sus extensiones auto-adjuntas).
89. Caracterizar las extensiones autoadjuntas del Ejercicio anterior en terminos
de los valores de borde de las funciones a ambos lados del origen. Para ello
denir el operador H(x) = (x) con dominio D(H) C 1 (R\{0})
L2 (R\{0}), con (x) L2 (R) y considerar la diferencia (, H) (H, )
para establecer las condiciones adicionales sobre las funciones que determinen
los dominios de las extensiones.
90. Sea T un operador autoadjunto. Mostrar que su transformado de Cayley,
V := (T i)(T + i)1 con dominio D(V ) = Rank(T + i), es un operador
unitario. Para ello,
a) tener en cuenta que T es cerrado con dominio denso en H y espectro
(T ) R,
250
A. EJERCICIOS PROPUESTOS
Teora de Distribuciones
f (x) =
0 (x) .
2
( + x2 )
92. Mostrar que x VP x1 = 1 (distribucion regular denida por la funcion identicamente igual a 1).
93. Considerar la distribucion regular denida por la funcion
{
log x , x > 0 ,
log x+ =
0,
x 0.
Recurrir a la denicion de derivada de una distribucion para determinar
(log x+ ) y mostrar que no se trata de una distribucion regular.
94. a) Calcular la derivada de la distribucion denida por el lmite debil
log(x i0) := lm+ log(x iy) .
y0
b) Mostrar que
1
(x i0)
:= lm+ (x iy)
y0
( )
1
i(x).
=VP
x
k > 0.
251
cos(2k 1)x
k=1
k=1
cos(2k1)x
(2k1)2
[
2
]
|x| - Ver Table
1
(x)
VP
, (x) =
dx
x
x
|x|1
{(
lm+
1)
{(
+ lm+
0
}
[(x) (0) x (0)]
dx +
x
1)
+
1
}
[(0) x (0)]
dx .
x
99. Dada una distribucion f : K C de soporte compacto contenido en el intervalo [a, a], mostrar que su transformada de Fourier es una distribucion
regular g : Z C denida por una funcion analtica entera de crecimiento
polinomial en la direccion de eje real. (Sugerencia: tener en cuenta que toda
distribucion es la derivada de cierto orden de una distribucion regular denida por una funcion continua y que si h (x) C0 [(a + ), a + ] tal que
h (x) = 1 para x [a, a] entonces (f, (x)) = (f, h (x)(x))).
100. Mostrar que si n () () en Z, tambien converge la secuencia de funciones desplazadas, n ( h) ( h), con h C.
101. Teniendo en cuenta que el Laplaciano en coordenadas esfericas en Rn esta dado por
n1
1
r + 2 ,
r
r
donde es el Laplaciano sobre la esfera de radio 1 de ese espacio, mostrar
= r 2 +
2 n/2
con n =
(n/2)
para n 3 y
G2 =
para n = 2.
log r
,
2
252
A. EJERCICIOS PROPUESTOS
A.20.
Soluci
on de ejercicios seleccionados
Ejercicio 87: Denimos P (x) := i (x) sobre el dominio D(P ) := C0 (R+ \{0}).
Entonces, el operador adjunto esta densamente denido en el conjunto
{
D(P ) = (x) = 1 (x) + 2 (x)
1 (x) AC (R+ ) L2 (R+ ) ; 1 (x < 0) = 0; 1 (x) L2 (R+ ) ;
2 (x) AC (R ) L2 (R ) ; 2 (x > 0) = 0; 1 (x) L2 (R ) } ,
con P (x) = i (x) para x = 0. Similarmente, para la clausura del operador resulta que
{
D(P ) = (x) = 1 (x) + 2 (x)
1 (x) AC (R+ ) L2 (R+ ) ; 1 (x 0) = 0; 1 (x) L2 (R+ ) ;
2 (x) AC (R ) L2 (R ) ; 2 (x 0) = 0; 1 (x) L2 (R ) } ,
con P (x) = i (x).
Como P no coincide con P , el operador P no es esencialmente autoadjunto. Para determinar sus ndices de deciencia consideramos el problema
de autovalores
(x) = i (x)
P (x) = i
DE EJERCICIOS SELECCIONADOS
A.20. SOLUCION
253
{
(x) =
ex ,
x0
0,
x > 0.
(0 ) = 0 + A (0 + e 1) = Ae
}
(0+ ) = ei (0 ).
254
H. Falomir
H (x) =
(x) = i (x)
{
(
(2)
(x) =
0, ) x > 0,
1i
x 0,
con = = 21/4 .
(1)
(2)
Entonces, n (H) = 2 y H admite toda una familia de extensiones autoadjuntas que estan en correspondencia uno a uno con las isometras (aplicaciones que preservan la norma) entre los espacios bidimensionales K+ y
K .
(
(x) =
1i
)(
(1)
(x)
)
K . Notese ademas
(2)
(x)
)
0 1
(x).
[(
1i
) ]
1+i
12 +
U
2
1 0
0
)
,
DE EJERCICIOS SELECCIONADOS
A.20. SOLUCION
255
= ((0+ ) (0 )) [12 + U ]
[(
1i
(
12 +
1+i
) ]
U
1 0
0
)
,
{
0
+
(
=
(
+
}
0
d
dx
(0+ )
(0+ )
(0 )
(0 )
)(
(0+ )
1 0
) (
)(
1 0
(0+ )
(0 )
(0 )
)
+
)
= 0.
con detM = 1,
256
H. Falomir
A C
)(
B D
A B
C D
)(
1 0
)
+
A B
C D
(
=
1 0
)
.
1
v(y)2 v(y) = 2g (z y)1/2 ,
2
donde hemos despreciado la velocidad del agua en la supercie. El ujo de
gz = gy +
donde C = 2 2g (3/2). En esas condiciones, podemos despejar la distribucion f por convolucion de ambos miembros con 3/2 ,
f (y) = C 1 3/2 (y) Q(y) = C 1 2 (y) 1/2 (y) Q(y) =
C 1
=
(1/2)
y
0
Q(z)
dz
yz
}(2)
C 1
=
(1/2)
Q(2) (z)
dz .
yz
DE EJERCICIOS SELECCIONADOS
A.20. SOLUCION
257
A1/2 (y) y+
Indice alfab
etico
a.e., 69
locales, 40
periodicas, 41
Abel
conjunto
acotado, 15
cerrado, 49
autofunciones
de operadores de Fredholm, 95
clausura de, 49
compacto, 85
autovalor, 34
denso, 50
autovalores, 22
localmente compacto, 85
numerable, 52
de operadores de Fredholm, 95
resolvente, 156
continuidad
autovector, 34
convergencia, 42
autovectores
de operadores con inversa compacta, 105
debil, 183
en Z, 203
degenerados, 38
en K, 180
en espacios eucldeos, 42
en media, 43
Banach
uniforme, 43
espacio de, 31
derivada
Bessel
debil, 216
desigualdad de, 75
secuencia de, 54
convergencia de, 75
clausura
descomposicion
espectral, 233
polar, 176
desigualdad
de Bessel, 75
condiciones de contorno
de Cauchy - Schwarz, 16
de Dirichlet, 107
triangular, 18, 42
de Neumann, 107
Dirac
de Robin, 107
Indice alfabetico
260
Dirichlet
de Hilbert, 61
de Schwartz, 144
distancia, 41
dual, 183
distribucion, 181
eucldeo, 13
x+ ,
198
metrico, 41
continuidad de la derivaci
on, 187
normado, 31
separable, 54, 61
espacios
isomorfos, 20
espectro, 156
continuo, 157
propia, 230
regular, 181
singular, 181
sobre K, 181
puntual, 157
sobre Z, 204
residual, 157
extension
temperada, 210
autoadjunta, 164
trasladada, 207
distribuciones
derivaci
on de series de, 187
producto directo de, 210
formula
de polarizacion, 235
ecuacion
forma
diferencial en K , 193
elptica, 217
funcional, 20
Fourier
hiperbolica, 221
parabolica, 219
ecuacion integral, 97
ecuaciones integrales
de n
ucleo hermtico, 97
Fredholm
de n
ucleo no hermtico, 116
elemento de matriz, 24
espacio
n
ucleo de operador de, 84
L2 (a, b), 68
Lp (a, b), 139
L2 , 57
Z, 201
K, 180
completamiento de, 64
completo, 56
de cuadrado sumable, 68
Indice alfabetico
de Green, 110
de Green de ecuaciones elpticas, 218
261
medida, 65
nula, 65
generalizada, 181
localmente sumable, 104
medible, 65
sumable, 66
funcional
acotada, 21, 45
continua, 44
n
ucleo
(kernel), 23
n
ucleos iterados, 128
Neumann
condiciones de contorno de, 107
notacion de Dirac, 232
lineal, 20
orden de, 180
funciones
de Hermite, 146
de Laguerre, 151
de prueba, 180, 201
operador
acotado, 28, 30
adjunto, 32, 157
adjunto en S , 230
autoadjunto, 33, 163, 165
cerrado, 154
grafica
de operadores, 155
clausurable, 155
compacto, 86
completamente continuo, 86
Hermite
funciones de, 146
Hilbert
espacio de, 61
Hilbert - Schmidt
condicion de, 96
homotecia, 239
continuo, 46
contractivo, 122
de n
ucleo degenerado, 88
de proyeccion, 22
de Sturm - Liouville, 39, 106
de Volterra, 132
diagonal, 22
esencialmente autoadjunto, 164, 166
igualdad
de Parseval, 76
integral de Fredholm, 39
integral de Lebesgue, 64
inverso, 26
linealidad, 68
isometrico, 239
lineal, 22
kernel, 23
no acotado, 103
norma de, 28
lmite, 42
normal, 176
Laguerre
positivo, 238
Parseval
igualdad de, 76
Indice alfabetico
262
Plancherel
teorema de, 149
producto de convoluci
on
Sturm - Liouville
en L1 (R), 211
en K , 214
producto escalar, 13
continuidad de, 46
punto esencial, 182
punto fijo, 122, 123
punto lmite, 49
rango, 23
(rank), 23
Rayleigh y Ritz
metodo de, 101
regularizacion, 197, 198
de integrales divergentes, 200
Riemann - Lebesgue
lema de, 139
Riesz
teorema de representaci
on de, 83
Riesz y Fischer
teorema de, 70
Robin
condiciones de contorno de, 107
subespacio
caracterstico, 35
de deficiencia, 171
invariante, 33
subespacios
densos, 143
teorema
de Fubini, 71
de la alternativa de Fredholm, 118
de Pitagoras, 18
de Plancherel, 149
de representacion de Riesz, 83
de Riesz y Fischer, 70, 139
del complemento ortogonal, 74
transformacion de Cayley, 249
transformacion de Fourier
de x+ , 208
de producto de convolucion, 216
en L1 (R), 139
en L2 (R), 149
en K , 205
Schwartz
espacio de, 144
en S, 144
inversa, 141
secuencia
acotada, 56
valor
convergente, 42
regular, 118
de Cauchy, 54
singular, 118
fundamental, 54
secuencias
coterminales, 61
sesquilineal, 13
sistema
completo, 38, 74
trigonometrico, 17, 78
sistemas
vector
maximo, 28
norma de, 15
vectores
ortogonales, 16
Bibliografa
[1] Georgi Ye. Shilov, An Introduction To The Theory of Linear Spaces. Prentice-Hall International, London, 1961.
[2] Georgi Ye. Shilov, Mathematical Analysis, A Special Course. Pergamon Press, Oxford, 1965.
[3] A.N. Kolmogorov y S.V. Fomin, Elementos de la Teora de Funciones y del An
alisis Funcional.
Editorial MIR, Mosc
u, 1975.
[4] R. Courant y D. Hilbert, Methods of Mathematical Physics, Vol. I y II. John Wiley & Sons,
New York, 1953.
[5] Michael Reed y Barry Simon, Methods of Modern Mathematical Physics, Vol. I, Functional
Analysis, y Vol. II, Fourier Analysis, Self-Adjointness. Academic Press, San Diego, 1975.
[6] M. Krasnov, A. Kiseliov, G. Macarenko, Ecuaciones Integrales. Editorial MIR, Mosc
u, 1977.
[7] Carlos Mara Naon, Ra
ul Dante Rossignoli y Eve Mariel Santangelo, Ecuaciones Diferenciales
En Fsica. Editorial de la Universidad Nacional de La Plata, 2014. E-Book. ISBN 978-950-341074-5.
[8] Robert D. Richtmyer, Principles of advanced mathematical physics, Vol. I. New YorkHeidelberg-Berlin: Springer, 1981.
[9] I. M. Guelfand y G. E. Shilov, Les distributions, Vol. I - III, Dunod, Pars, 1964 - 1968.
[10] L. Schwartz, Theorie des Distributions, Hermann & Cie, Paris, 1966.
[11] V.S. Vladimirov, Methods of the theory of generalized functions, Analytical Methods and
Special Functions, Vol. 6, Taylor & Francis Inc., New York, 2002. ISBN: 0-415-27356-0
[12] Bogoljub Stankovic, Generalized functions and their applications, Novi Sad J. Math. Vol. 28,
1998, 145.
263