Introduccin a los operadores diferenciales

Jess Armando Baldenebro Obeso

17 de marzo de 2012
Abstract. Se estudian las propiedades elementales de los operadores lineales y sus
adjuntos..
1. Propiedades elementales de los Operadores diferenciales lineales
formales
Tomado del Dunford y Schwartz, vol. 2, pag. 1278
Del punto de vista de aplicaciones, una de las clase mas importantes de operadores son
los operadores diferenciales. El estudio de esos operadores es complicado por el hecho de que
necesariamente son no acotados. Por lo tanto, el problema de escoger un dominio para el operador
diferencial no es de ningn modo trivial; el estudio de operadores simtricos no acotados indica
que, para un operador no acotado, la eleccin del dominio es crucial.
En ms detalle, la situacin es esta. Un operador diferencial formal es una expresin de la
forma
1 = c
n
(t)
_
d
dt
_
n
+ c
n1
(t)
_
d
dt
_
n1
+ + c
1
(t)
d
dt
+ c
0
(t) .
Hay un sentido obvio en el cual una expresin como la anterior puede ser aplicada a una
funcin ,. por ejemplo, si , C
n
. Entonces podemos denir un operador cuyo dominio es C
n
pero su recorrido no es C
n
. sino slo C. Sin embargo, podramos aplicar el operador diferencial
formal a una clase ms grande o ms pequea de funciones, para empezar, y eso dene operadores
con dominios ms grandes o ms pequeos. Como saber cual denicin es mas ventajosa?
Hay algunos principios que nos pueden guiar. Primero, en orden de ser capaces de aplicar
la teora de espacios de Hilbert, es necesario relacionar todos los operadores a un espacio de
Hilbert de funciones de cuadrado integrable. Una vez hecho esto, esperamos que la cuestin
de los operadores adjuntos adquiera fundamental importancia. Esto es, al establecer cualquier
dominio particular de funciones en el cual el operador diferencial formal 1 pueda aplicarse,
debemos intentar descubrir el adjunto del operador no acotado resultante en ese espacio de
Hilbert. Pronto se ver que todos esos problemas permiten soluciones satisfactorias.
En estas notas, la letra 1 denotar un intervalo de la recta real. El intervalo 1 puede ser
abierto, cerrado o semiabierto. El intervalo [c. ) se considera semiabierto, y el intervalo
(. +) se considera abierto. As, un intervalo cerrado es un conjunto compacto. Un punto
extremo t de 1 que no est en 1 se denomina un punto extremo libre de 1. En la denicin se
permite que t sea . Un punto extremo de 1 que pertenece a 1 se le llama un punto extremo
jo.
Los espacios C
n
(J) . donde J es un intervalo compacto, son las funciones escalares denidas
en J. tales que las primeras : derivadas son continuas y acotadas en J. La norma en C
n
(J) es
1
|,|
n
=

n
i=0
sup
t2J

,
(i)
(t)

. El espacio
C
1
(J) =
1

n=0
C
n
(J)
de funciones innitamente diferenciables jugar un papel en lo que se ver despus. Si ponemos
|,|
1
=
1

n=0
2
n
|,|
n
1 +|,|
n
.
entonces C
1
(J) se convierte en un 1-espacio
1
Si 1 es un intervalo que no es compacto, denimos
el espacio C
n
(1) . donde : = est permitido, como el conjunto de todas las funciones ,
denidas en 1 cuya restriccin , [
J
a cualquier subintervalo compacto J _ 1 pertenece a C
n
(J) .
Si J
k
es una subsucesin creciente de intervalos compactos de 1 cuya unin es 1. entonces
ponemos
|,|
n
=
1

k=0
2
k
|, [
J
k
|
n
1 +|, [
J
k
|
n
.
Con esa denicin, C
n
(1) es un 1-espacio en general, y un espacio de Banach en el caso : < .
e 1 compacto. La norma as introducida dene una topologa en C
n
(1) . a la cual nos referiremos
como la topolga para C
n
(1) . Se puede ver que esta topologa para C
n
(1) es independiente de
la sucesin particular (J
k
) de subintervalos compactos de 1 utilizados en la denicin.
Denition 1. Un operador diferencial formal de orden : en el intervalo 1 es una expresin
1 = c
n
(t)
_
d
dt
_
n
+ c
n1
(t)
_
d
dt
_
n1
+ + c
1
(t)
d
dt
+ c
0
(t)
=
n

i=0
c
i
(t)
_
d
dt
_
i
.
donde las funciones de valor complejo c
i
. llamadas las funciones coecientes, pertenecen a C
1
(1) .
y tal que la funcin c
n
. denominado el coeciente principal, es diferente de cero en todo punto
de 1.
Si los coecientes de 1 estn en C
1
(1) . pero se permite que el coeciente principal c
n
se
anule en algn punto en 1. a 1 se le llama un operador diferencial formal irregular. Si desamos
enfatizar la disticin entre el caso en el cual c
n
se anula y el caso opuesto, nos referiremos a un
operador diferencial formal como un operador diferencial formal regular.
1
Un F-espacio es un espacio vectorial V sobre los reales o los complejos, con una mtrica d tal que: i) la
multiplicacin por escalares (; u) : F V V dada por '(; u) = u es una operacin continua, ii) La suma
es una operacin continua, iii) la mtrica es imvariante ante traslaciones, i.e., d (u +w; v +w) = d (u; v) ; y iv) el
espacio V es Cauchy completo, con la mtrica d:
2
La razn de que c
n
(t) ,= 0 en la denicin de un operador diferencial formal (regular) se
aclarar en la demostracin del teorema 8 abajo.
Por
n
(1) denotaremos el espacio de todas las funciones , que tienen :1 derivadas continuas
en 1. y para la cual ,
(n1)
no solo es continua sino absolutamente continua en cada subintervalo
compacto de 1. Si un punto c es un extremo jo de 1. la armacin de que , tiene una derivada
continua en 1. o (en caso de que 1 sea compacto) pertenece a C
1
(1) . signica que ,
0
es continua
a la izquierda (o derecha) en c. Debe sealarse que si 1 es un operador diferencial formal de
orden : en el intervalo 1. y ,
n
(1) . entonces la expresin 1, tiene un signicado denido,
en un sentido muy natural: ponemos
(1,) (t) = c
n
(t)
_
d
dt
_
n
,(t) + c
n1
(t)
_
d
dt
_
n1
,(t) + + c
1
(t)
d
dt
,(t) + c
0
(t) ,(t)
La funcin 1, est denida en casi todo punto, y es integrable en cada subintervalo cerrado de
1.
Cuando el operador 1 se escribe en trminos de la notacin clsica como d
n
,dt
n
seguiremos
la costumbre, y escribimos (d
n
,dt
n
) , (t) o (d,dt)
n
, (t) . en lugar de (d
n
,dt
n
) ,(t).
Informacin analtica bsica sobre la existencia y unicidad de soluciones de ecuaciones difer-
enciales se establece en el siguiente teorema.
Theorem 2. Sea 1 un operador diferencial formal de orden : en el intervalo 1. Supngase que q
es una funcin medible de valor complejo integrable sobre cada subintervalo compacto de 1. Sea
t
0
1. y sea c
0
. c
1
. .... c
n1
un conjunto de : constantes complejas arbitrarias. Entonces existe
una funcin ,
n
(1) nica tal que
1, = q (1)
_
d
dt
_
i
, (t
0
) = c
i
. i = 0. 1. .... : 1.
Demostracin. Daremos la parte formal de la prueba, dejando algunos aspectos analticos
para ser llenados por el el lector. Primero que nada, considrese el caso donde 1 es un intervalo
cerrado. Introduciremos el espacio de funciones 1 (t) = (,
1
(t) . ,
2
(t) . .... ,
n
(t)) con valores en
C
n
. Entonces reemplazamos la ecuacin (1) por el sistema de ecuaciones
d
dt
,
0
(t) ,
1
(t) = 0. (2)
d
dt
,
1
(t) ,
2
(t) = 0
...
d
dt
,
n1
(t) +
1
c
n
(t)
c
n1
(t) ,
n1
(t) + + c
0
(t) ,
0
(t) =
1
c
n
(t)
q (t) .
Un momento de reexin muestra que existe una correspondencia uno-uno entre soluciones de
la ecuacin (1) de orden :. y las soluciones del sistema de ecuaciones (2). El sistema (2) puede
3
escribirse en forma condensada como
d
dt
1 (t) + (t) 1 (t) = G(t) .
donde 1 (t) = (,
0
(t) . .... ,
n1
(t)) . G(t) =
_
0. .... 0. [c
n
(t)]
1
q (t)
_
y (t) es la transformacin
lineal en C
n
denida por la matriz
ij
(t) dada por

ij
(t) = o
i+1;j
. 0 _ i < : 1. 0 _ , _ : 1.

ij
(t) = c
n
(t)
1
c
j
(t) . 0 _ , _ : 1.
Similarmente, la condicion en la frontera (??) es equivalente a la condicin
1(t
0
) = C (3)
donde C es el vector C = (c
0
. c
1
. .... c
n1
) . Ahora, (2) y (3) juntos son equivalentes a la ecuacin
integral
1 (t) +
_
t
t
0
(:) 1 (:) d: = C +
_
t
t
0
G(:) d:. (4)
Si denimos H (t) = C +
_
t
t
0
G(:) d:. e introducimos el operador en el espacio (1
1
(1))
n
de
las funciones 1 (t) = (
0
(t) . ....
n1
(t)) cuyas componentes
i
(t) son funciones integrables en 1
mediante la denicin
(1 ) (t) =
_
t
t
0
(:) 1 (:) d:.
la ecuacin (4) puede escribirse en la forma
(1 + )1 = H.
Se puede ver por induccin que
_
_
_

k
1
_
(t)
_
_
=
_
_
_
_
_
t
t
0
(:)
_

k1
1
_
(:) d:
_
_
_
_
_
1
k1
|1 |
(/ 1)!
_
t
t
0
|(:)| [: t
0
[
k1
d:
_
1
k
|1 |
/!
[t t
0
[
k
.
donde usamos la notacin || para la norma de un vector en C
n
. y || denota la norma de un
operador en C
n
. y 1 = max
t2I
|(t)| . As, si usamos la norma
|1 | =
_
I
|1 (t)| dt
4
en el espacio de Banach (1
1
(1))
n
. se tiene que
_
_

k
_
_
_ 1
n
1
,/!. donde 1
1
= 1 max
t2I
[t t
0
[ .
Entonces la ecuacin (??) tiene la solucin nica
1 = (1 + )
1
H =
1

j=0
(1)
j

j
H.
Como todos los trminos en la ecuacin (4) excepto el primero son absolutamente continuas, se
sigue que 1 es absolutamente continua. As, el teorema queda demostrado para el caso especial
de que 1 es un intervalo cerrado.
Supongamos ahora que 1 no es necesariamente cerrado. Se sigue de la demostracin anterior
que si J es un subintervalo cerrado de 1 que contiene el punto t
0
. existe una nica funcin
continua ,
J

n
(J) tal que
,
J
(t) = q (t) . en casi todo punto en J. (5)
_
d
dt
_
i
,
J
(t) = c
i
. i = 0. 1. .... : 1 (6)
De la unicidad de ,
J
se sigue que ,
J
1
(t) = ,
J
2
(t) para toda t J
1
J
2
. As, poniendo
,(t) = ,
J
(t) .
donde J es un subintervalo cerrado de 1. hemos denido una funcin univaluada ,
n
(1) que
satisface (5) y (6). El hecho de que , es nica se sigue de los resultados correspondientes para
subintervalos cerrados J de 1.
Corollary 3. Si q tiene / derivadas continuas en 1. entonces , tiene : + / derivadas continuas
en 1.
Demostracin. Podemos suponer sin prdida de generalidad que 1 es acotado y cerrado.
Entonces
_
d
dt
_
n
,(t) = c
n
(t)
1
n1

i=0
c
i
(t)
_
d
dt
_
i
,(t) + q(t).
Como ,
n
(1) . todos los trminos de la derecha pertenecen a C (1) . y se sigue que , C
n
(1) .
Entonces todos los trminos de la derecha pertenecen a C
1
(1) . de modo que , C
n+1
(1) . Es
claro que este argumento puede continuarse por induccin, de modo que nalmente obtenemos
que , C
n+k
(1) .
Corollary 4. Supongamos que las funciones coecientes c
i
del operador diferencial formal 1. la
funcin q. y los valores iniciales c
i
dependen continuamente (o analticamente) de una o mas de
los siguientes parmetros:
c
i
= c
i
(t. `) . q = q (t. `) . c
i
= c
i
(`) .
Entonces la solucin , = , (t. `) y las primeras : 1 derivadas dependen continuamente (o
analticamente) de los parmetros ` uniformemente para t en cualquier subintervalo compacto
de 1.
5
Demostracin. Consideraremos nicamente el caso en el cual 1 es cerrado, dejando los otros
casos de ejercicios. Usaremos la notacin del teorema 3. Se sigue de las hiptesis que el elemento
H = H (`) de 1
1
(1)
n
y el operador = (`) depende continuamente (analticamente) en los
parmetros `. As, el vector 1 (`) 1
1
(1)
n
la cual est denida por la ecuacin
1 (`) = (1 + (`))
1
H (`)
=
1

j=0
(1)
j
((`))
j
H (`)
es tambin una funcin continua (analtica) de `. Como
1 (t. `) =
_
t
t
0
(:. `) 1 (:. `) d: + H(t. `).
se sigue que 1 (t. `) depende continuamente (analticamente) de `. uniformemente para t 1.
Sea 1 (t. `) = (,
0
(t. `) . .... ,
n1
(t. `)) . Como ,
i
(t. `) = (d
i
,dt
i
) , (t. `) . i = 0. 1. .... : 1.
se sigue que , (t. `) y sus primeras : 1 derivadas son funciones continuas (analticas) de `.
uniformemente para t 1.
Si estudiamos la ecuacin homognea 1, = 0. entonces es claro que la correspondencia uno-
uno entre la :-tupla (c
0
. c
1
. .... c
n1
) de nmeros complejos y la solucin de 1, = 0 tal que
,
(i)
(t
0
) = c
i
. i = 0. 1. .... :1. es lineal. Entonces se tiene lo siguiente: el conjunto de soluciones
de una ecuacin diferencial lineal homognea de orden : forma un espacio vectorial de dimensin
:.
2. Adjuntos y operadores lineales con valores en la frontera
A lo largo de esta seccin 1 ser un operador diferencial formal de orden : en unitervalo 1. A
menos que se especique lo contrario, supondremos que 1 es regular. Nuestro objetivo ser denir
operadores lineales en el espacio 1
2
(1) la cual se corresponda con 1. y estudiar sus adjuntos y
extensiones. Sin embargo, antes de hacer esto, ser necesario formular la nocin del adjunto
1

del operador diferencial formal 1 (regular o irregular), y probar una frmula fundamental,
conocida como la frmula de Green, que relaciona 1 y 1

.
Por simplicidad supondremos que 1 es un intervalo cerrado [c. /] y que ,. q C
n
(1) . Con-
sidera la integral
_
b
a
(1,) (t) q (t)dt =
n

k=0
_
b
a
c
k
(t)
_
_
d
dt
_
k
, (t)
_
q (t)dt.
6
Integrando por partes el trmino /-simo de la derecha / veces se ve que
_
b
a
_
_
d
dt
_
k
, (t)
_
c
k
(t) q (t)dt
=
_
b
a
_
_
d
dt
_
k1
, (t)
_
__
d
dt
_
_
c
k
(t) q (t)
_
_
dt + c
k
(t) q (t)
_
d
dt
_
k1
, (t)

b
a
=
= (1)
k
_
b
a
,(t)
_
d
dt
_
k _
c
k
(t) q (t)
_
dt +
k

i=1
(1)
i1
_
_
d
dt
_
i1 _
c
k
(t) q (t)
_
_
_
d
dt
_
ki
, (t)

b
a
Entonces
_
b
a
(1,) (t) q (t)dt =
_
b
a
, (t)
n

k=0
(1)
k
_
d
dt
_
k _
c
k
(t) q (t)
_
dt + 1
b
(,. q) 1
a
(,. q)
donde
1
t
(,. q) =
n

k=1
k

i=1
(1)
i1
_
_
d
dt
_
i1 _
c
k
(t) q (t)
_
_
d
dt
_
ki
, (t)
_
.
Sin embargo, usando la regla de Leibniz
_
d
dt
_
j _
c
k
(t) q (t)
_
=
j

l=0
_
,
|
_
_
_
d
dt
_
jl
c
k
(t)
__
_
d
dt
_
l
q (t)
_
. (7)
se ve que la integral de la derecha en (7) puede escribirse en la forma
_
b
a
, (t) 1

q (t)dt. donde 1

es el operador
1

=
n

j=0
/
j
(t)
_
d
dt
_
j
.
con
/
j
(t) =
n

k=j
(1)
k
_
/
,
__
d
dt
_
kj
c
k
(t).
Obsrvese que si 1 es un operador diferencial formal (regular), entonces /
n
(t) = (1)
n
c
n
(t) ,= 0.
y as, 1

es un operador diferencial formal (regular). Aplicando la frmula de Leibniz al trmino

de la frontera obtenemos la frmula
1
t
(,. q) =

0j<ikn
(1)
i1
_
i 1
,
_
_
_
d
dt
_
k1
, (t)
__
_
d
dt
_
j
q (t)
__
_
d
dt
_
ij1
c
k
(t)
_
=

0j<in
0ln1
(1)
i1
_
i 1
,
_
_
_
d
dt
_
ij1
c
l+j
(t)
_
,
(l)
(t) q
(j)
(t)
=
n1

j=0
nj1

l=0
nl1

i=j
(1)
i
_
i
,
_
_
_
d
dt
_
ij
c
l+i+1
(t)
_
,
(l)
(t) q
(j)
(t).
7
Si la matriz cuadrada : :
_
1
lj
t
(t)
_
est denida para 0 _ |. , _ : 1 por las ecuaciones
1
lj
t
(1) =
nl1

i=j
(1)
i
_
i
,
__
d
dt
_
ij
c
l+i+1
(t) . , + | _ : 1.
1
lj
t
(1) = 0. , + 1 : 1.
entonces el trmino de la frontera puede escribirse como
1
t
(,. q) =
n1

j;l=0
1
lj
t
(1) ,
(l)
(t) q
(j)
(t).
Habiendo hecho estos comentarios preliminares, podemos hacer las siguientes deniciones bsicas.
Denition 5. Sea 1 un operador diferencial formal (regulae o irregular) en un intervalo 1 (el
cual no es necesariamente cerrado). A la matriz 1
lj
t
(1) se le llama la matriz frontera para 1 en
el punto t 1. La expresin bilineal
1
t
(,. q) =
n1

j;l=0
1
lj
t
(1) ,
(i)
(t) q
(j)
(t)
se denomina la forma frontera para 1 en el punto t. El operador diferencial formal
1

=
n

j=0
/
j
(t)
_
d
dt
_
j
donde
/
j
(t) =
n

k=j
(1)
k
_
/
,
__
d
dt
_
kj
c
k
(t).
se denomina el adjunto formal de 1. Si 1 = 1

se dice que 1 es formalmente autoadjunto, o

fromalmente simtrico. Si todos los coecientes c
j
de 1 son de valor real, decimos que 1 es real.
Lemma 6. Si 1 es un operador diferencial formal (regular), la matriz frontera de 1 es no
singular.
Demostracin. Esto se sigue del hecho que
1
lj
t
(1) = 0. , + | : 1
1
lj
t
(1) = (1)
l
c
n
(t) , + | = : 1.
y esto muestra que el determinante de
_
1
lj
t
(1)
_
es (1) c
n
(t)
n
. y asi, nunca se anula.
8
Denition 7. Sea 1 un operador diferencial formal regular o irregular de orden : en el intervalo
1. Sea H
n
r
(1) el conjunto de las funciones en
n
(1) tales que , y 1, pertenece a 1
2
(1) y sea
H
n
(1) las funciones ,
n
(1) tales que , y ,
(n)
estn en 1
2
(1) .
Si 1 es un intervalo cerrado, y c C
1
(1) . , 1
2
(1) . entonces c, 1
2
(1) . Por lo tanto,
si , H
n
(1) . entonces 1, =

n
i=0
c
i
,
(i)
1
2
. esto es, H
n
(1) _ H
n
r
(1) . Si 1 es regular, y
, H
n
r
(1) . entonces ,
(n)
= c
1
n
_
1,

n1
i=0
c
i
,
(i)
_
est en 1
2
. y por lo tanto H
n
r
(1) y H
n
(1)
coinciden.
Theorem 8. (Frmula de Green) Sea 1 un operador diferencial formal regular o irregular de
orden : en el intervalo cerrado 1 = [c. /] . Si ,. q H
n
r
(1) . entonces
_
b
a
(1,) (t) q (t)dt =
_
b
a
, (t) (1

q) (t)dt + 1
b
(,. q) 1
a
(,. q) .
Demostracin. En la discusin anterior, esta frmula se estableci para el caso ,. q C
n
(1) .
Sin embargo, los argumentos son igualmente vlidos para ,. q H
n
r
(1) .
Ser conveniente en lo que sigue llevar registro de otras situaciones en la cual no suponemos
que 1 es cerrado.
Corollary 9. Si 1 es un intervalo arbitrario, la frmula de Green es vlida para cada par de
funciones ,. q H
n
r
(1) (o an , H
n
(1) . q
n
(1)), suponiendo que o , o q se anula fuera
de un intervalo compacto de 1.
Demostracin. Como en el teorema 4, la demostracin depende solamente de la posibilidad
de integrar por partes, la cual es vlida bajo las hiptesis establecidas.
Theorem 10. Sea 1 un operador diferencial formal (regular o irregular) en el intervalo 1. En-
tonces 1 = (1

.
Demostracin. Si 1 es de orden :. el coeciente de (d,dt)
i
en (1

es
c
i
(t) =
n

k=i
(1)
k
_
/
i
__
d
dt
_
ki
_
n

j=k
(1)
j
_
,
/
__
d
dt
_
jk
c
j
(t)
_
=

j;k
ikjn
(1)
j
(1)
k
_
/
i
__
,
/
__
d
dt
_
ji
c
j
(t)
=
n

j=1
_
j

k=i
(1)
k
_
,
/
__
/
i
_
_
(1)
j
_
d
dt
_
ji
c
j
(t) .
Si hacemos la expansin r
j
= 1 (1 r)
j
haciendo dos aplicaciones del teorema binomial se
ve que
j

k=i
(1)
k
_
,
/
__
/
i
_
=
_
0. , ,= i
(1)
i
. , = i.
9
Entonces c
i
(t) = c
i
(t) . lo cual demuestra que (1

= 1.
Vale la pena mencionar otros principios pertenecientes al lgebra formal de operadores difer-
enciales formales, aunque no haremos mucho uso de ellos. Por esa razn no sern numerados
como lemas o teoremas. Esos principios sern vlidos para operadores diferenciales formales
regulares e irregulares.
Si 1
1
=

n
i=0
c
i
(t) (d,dt)
i
y 1
2
=

n
i=0
/
i
(t) (d,dt)
i
son dos operadores diferenciales formales,
podemos denir la suma como el operador diferencial formal
1
1
+ 1
2
=
n

i=0
(c
i
(t) + /
i
(t)) (d,dt)
i
.
Como queremos denir el producto de 1
1
y 1
2
de tal manera que 1
1
(1
2
,) = (1
1
1
2
) ,. la regla de
Leibniz nos obliga a poner
1
1
1
2
=
n

i=0
n

j=0
i

k=0
_
i
/
_
c
i
(t) /
(ik)
j
(t)
_
d
dt
_
j+k
.
Se puede ver fcilmente que esta multiplicacin es asociativa y distributiva, pero no es conmu-
tativa. Adems, podemos ver que las siguientes leyes son vlidas:
(1
1
+ 1
2
)

= 1

1
+ 1

2
. (1
1
1
2
)

= 1

2
1

1
.
Entonces, como (d,dt)

= (d,dt) . se tiene que

_
(d,dt)
i
_

= (1)
i
(d,dt)
i
. Como el adjunto
del operador diferencial formal de orden cero 1
0
= c (t) es 1

0
= c (t). se tiene que
1

1
=
_
n

i=0
c
i
(t)
_
d
dt
_
i
_

=
n

i=0
(1)
i
_
d
dt
_
i
c
i
(t).
La frmula dada en la denicin para 1

1
es evidentemente la forma expandida del trmino del
lado derecho de esta ecuacin obtenido por la regla de Leibniz. Haciendo uso del concepto del
producto y suma de operadores diferenciales formales, podemos escribir operadores diferenciales
formales de las siguientes formas como
_
d
dt
_
j (t)
_
d
dt
_
+ (t) .
n

i=0
(1)
i
_
d
dt
_
i
j
i
(t)
_
d
dt
_
j
.
etc. Ntese que, como 1

1
1

2
= (1
2
1
1
)

. el operador
n

i=0
(1)
i
_
d
dt
_
i
j
i
(t)
_
d
dt
_
i
es formalmente autoadjunto, siempre que los j
i
(t) sean de valor real. Del mismo modo, el
operador diferencial formal
_
i
2
__
d
dt
_
n
_
j (t)
_
d
dt
_
+
_
d
dt
_
j (t)
__
d
dt
_
n
10
es formalmente autoadjunto, siempre que j (t) sea una funcin real. Si usamos estas observaciones
inductivamente, podemos dar una forma cerrada para el operador diferencial formal simtrico
mas general de orden :. En efecto, sea 1 un operador diferencial formal autoadjunto de orden
:. y sea c
n
su coeciente principal. Entonces el coeciente principal de 1

es (1)
n
c
n
. As, si :
es par, c
n
es real, mientras que si c
n
es impar, c
n
es imaginario puro. Si : es par, entonces
1
1
=
_
d
dt
_
n=2
c
n
(t)
_
d
dt
_
n=2
es un operador diferencial formal formalmente autoadjunto con el mismo coeciente principal
que 1. Si : es impar, entonces
1
2
=
_
i
2
__
d
dt
_
(n1)=2
__
d
dt
_
c
n
(t) + c
n
(t)
_
d
dt
__
(n1)=2
es un operador formalmente autoadjunto con el mismo coeciente principal que 1. Entonces, o
1 1
1
. o 1 1
2
es un operacin diferencial formalmente autoadjunto de orden :1. Continuando
este proceso de reduccin por induccin, se tiene el siguiente resultado:
Theorem 11. Todo operador diferencial formalmente autoadjunto 1 de orden : puede escribirse
en la forma
1 =
[n=2]

j=0
(1)
j
_
d
dt
_
j
c
j
(t)
_
d
dt
_
j
+ i
[(n1)=2]

j=0
_
d
dt
_
j
__
d
dt
_
/
j
(t) + /
j
(t)
_
d
dt
__ _
d
dt
_
j
.
donde los coecientes c
j
y /
j
son de valor real. Recprocamente, todo operador formal de esa
forma es formalmente autoadjunto. Se puede demostrar que dicha representacin es nica.
Se puede ver fcilmente que si el operador diferencial formal es real, entonces el segundo
trmino complejo del operador anterior se anula. Entonces un operador diferencial formal real
autoadjunto es de orden par : = 2:. y la forma general de dicho operador es
1 =
m

j=0
(1)
j
_
d
dt
_
j
c
j
(t)
_
d
dt
_
j
.
y los coecientes c
j
son reales. Si : = 2. tenemos el operador denominado operador de Sturm-
Liouville
1 =
_
d
dt
_
j (t)
_
d
dt
_
+ (t).
donde los coecientes j y son reales.
11
3. Teora espectral de operadores compactos autoadjuntos en espacios de
Hilbert
Tomado de Larsen, "Functional analysis, an introduction".
Estamos casi preparados para extender los resultados del lgebra lineal a ciertas clases de
transformaciones lineales en espacios de Hilbert: los operadores lineales acotados compactos
autoadjuntos.
Denition 12. Sea (\. . ) un espacio de Hilbert sobre C. Decimos que la transformacin
1 1(\ ) es compacta si, para cada 1 _ \ acotado en norma, 1 (1) es compacto en la
topologa de \.
Entonces 1 1(\ ) es compacto si, y slo si, la imagen de un conjunto acotado en la norma
bajo 1. tiene cerradura compacta. Se puede ver fcilmente que 1 1(\ ) es compacto si, y slo
si, 1 (1
1
) es compacto, donde 1
1
= r \ : |r| _ 1 .
Sea 1 1(\ ) tal que el recorrido de 1 es un subespacio lineal de \ de dimensin nita. Como
todo conjunto cerrado y acotado en un espacio de dimensin nita, entonces 1 es compacto. En
particular, cualquier transformacin lineal de C
n
a C
n
es compacto.
Sin embargo, o todas las transformaciones compactas tienen recorrido de dimension nita.
Otra clase importante de transformaciones lineales compactas es cierta clase de operadores in-
tegrales. Por ejemplo, sea \ = 1
2
([0. 1] . dt) y supngase que 1 C ([0. 1] [0. 1]) . Denimos
1 1(1
2
([0. 1] . dt)) por
(1,) (:) =
_
1
0
1 (:. t) ,(t) dt. , 1
2
([0. 1] . dt) .
Se puede ver que 1 es un operador acotado en 1
2
([0. 1] . dt) . Para ver que 1 es compacto,
probaremos que 1 (1
1
) es compacto en 1
2
([0. 1] . dt) . Para esto, supngase que , 1
2
([0. 1] . dt) .
y |,| _ 1. Al ser 1 continua, esto implica que 1 (,) C ([0. 1]) . y que
|1 (,)|
1
_ |1|
1
_
1
0
[, (t)[ dt
_ |1|
1
|,|
2
_ |1|
1
.
Entonces 1 (1
1
) es un subconjunto acotado de (C ([0. 1]) . ||
1
) . Ms an, armamos que 1 (1
1
)
es un conjunto equicontinuo. En efecto, supngase que 0. y sea o 0 tal que, si :
1
. :
2
[0. 1]
y [:
1
:
2
[ < o. entonces [1 (:
1
. t) 1 (:
2
. t)[ < . para todo t [0. 1] . Esto es posible, desde
luego, porque 1 es continua, y por lo tanto uniformemente continua en [0. 1] [0. 1] . As, si
12
:
1
. :
2
[0. 1] y [:
1
:
2
[ < o. entonces
[(1,) (:
1
) (1,) (:
2
)[ _
_
1
0
[1 (:
1
. t) 1 (:
2
. t)[ [,(t)[ dt
_
_
1
0
[,(t)[ dt
_ |,|
2
_ (, 1
1
).
esto es, 1 (1
1
) es equicontinua. Por el teorema de Arzel-Ascoli se sigue que 1 (1
1
) tiene
cerradura compacta en (C ([0. 1]) . ||
1
) .
Por lo tanto
13