Corrección Página 14, Ejercicio 2

Hans Müller Santa Cruz

9 de mayo de 2008

8. Sea E un espacio de Banach, se considera la aplicación exp : L(E) → L(E), dada por la serie siguiente
∞
X 1 k
exp(X) = X . (1)
k!
k=0

(a) Mostrar que la aplicación exp está bien definida.

Mostrar que exp está bien definida, significa mostrar que para toda X ∈ L(E), existe una única
Y ∈ L(E), tal que exp(X) = Y . Esto se hará mostrando que la para todo X ∈ L(E), la serie (1)
es convergente en L(E) y como el lı́mite es único, la existencia e unicidad de Y está comprobada.
Puesto que E es un espacio de Banach, L(E) también lo es. Sea X ∈ L(E) y consideremos la
sucesión de sumas parciales
n
X 1 k
Sn (X) = X . (2)
k!
k=0

Sn (X) es una combinación lineal de elementos de L(E); en efecto X k ∈ L(E) y 1/k! ∈ R. Por
consiguiente, para todo Sn (X) ∈ L(E) y la sucesión {Sn (X)} es una sucesión en L(E).
Ahora mostremos que {Sn (X)} es una sucesión de Cauchy. Para m ≥ n, se tiene
m m
X 1 k X 1
kSm (X) − Sn (X)k = || X || ≤ ||X k ||
n+1
k! n+1
k!
m m
X 1 X 1
≤ ||X||k = ||X||n+1 ||X||k−n−1
n+1
k! k!
k=n+1
∞
X 1 k
≤ ||X||n+1 X = ||X||n+1 e||X|| −→ 0,
k!
k=0

cuando m ≥ n → ∞.
Como L(E) es un espacio de Banach, la sucesión {Sn (X)} es convergente y su lı́mite está en L(E).
(b) Calcular la derivada, exp0 de la aplicación exp.
De acuerdo a lo requerido por el enunciado, podrı́amos suponer que exp es diferenciable; sin
embargo, el cálculo de la derivada, puede hacerse ya sea aplicando reglas de cálculo o la definición.
Como estamos ante una serie, cuyos términos son aplicaciones lineales, no tenemos de antemano
reglas de cálculo que puedan aplicarse. Por lo tanto, la aplicación de la definición conduce a
demostrar que efectivamente es derivable.
Recordamos que para X ∈ L(E) dado, exp es diferenciable en X, si existe una aplicación exp0 (X) ∈
L(L(E)) tal que
exp(X + H) = exp(X) + exp0 (X)H + kHk r(H) (3)
donde H ∈ L(E) y r(H) → 0 cuando H → 0.
Comencemos calculando
 
∞ ∞ k
X 1 X 1 X
exp(X + H) = (X + H)k =  T (k, j, H, X) ,
k! k! j=0
k=0 k=0

1
donde T (k, j, H, X) es la suma de todos los productos (composiciones de aplicaciones lineales),
cuyos factores son H que se repite j veces, y X que se repite k − j veces. Por ejemplo
T (4, 2, H, X) = HHXX + HXHX + HXXH + XHHX + XHXH + XXHH.
 
La cantidad de términos que tiene T (k, j, X, X) es el coeficiente binomial kj , cuya confirmación
es un simple ejercicio de combinatoria.
Por lo tanto, exp(X + H) podemos escribir como
 
∞ k
X 1 X
exp(X + H) = T (k, j, H, X)
k! j=0
k=0
 
∞ k
X 1  X
= T (k, 0, H, X) + T (k, 1, H, X) + T (k, j, H, X)
k! j=2
k=0
 
∞ ∞ ∞ k
X 1 X 1 X 1 X
= T (k, 0, H, X) + T (k, 1, H, X) + T (k, j, H, X)
k! | {z } k! k! j=2
k=0 k=1 k=2
Xk
 
∞ ∞ k
X 1 X 1 X
= exp(X) + T (k, 1, H, X) + T (k, j, H, X) . (4)
k! k! j=2
k=1 k=2

A partir de (4) podemos conjeturar que:

∞
X 1
exp0 (X)H = T (k, 1, H, X), (5)
k!
k=1
 
∞ k
X 1 X
kHk r(H) = T (k, j, H, X) . (6)
k! j=2
k=2

(5) porque en cada término T (k, 1, H, X) de la serie, H interviene como factor de multiplicidad
simple.
Mostremos que exp0 (X) es efectivamente una aplicación lineal continua; para tal efecto, conside-
1
ramos la sucesión de aplicaciones fn : L(E) → L(E), definida por fn (H) = k! T (k, 1, H, X). fn es
lineal porque T (k, 1, H, X) es la adición de aplicaciones multilineales, con H que aparece una vez
en cada término. fn es continua porque es linealmente acotada; en efecto,

1
T (k, 1, H, X) ≤ 1 (k kXkk−1 kHk) = 1 k−1

kXk kHk . (7)
k! k! (k − 1)!
1 k−1
Más todavı́a, se tiene que kfn k ≤ (k−1)! kXk . Consideramos la serie,
∞
X
fn ,
k=1

que es absolutamente convergente, ya que la serie

∞ ∞
X X 1 k
kfn k ≤ kXk = ekxk .
k!
k=1 k=0

La demostración que la convergencia absoluta, es decir la serie real cuyos términos son las normas
de los términos de la serie en el espacio de Banach, es similar a la del caso de series reales.
Como L(L(E)) es tambien un espacio de Banach, porque L(E) lo es, se tiene que
∞
X
exp0 (X) = fn ∈ L(L(E)).
k=1

2
 Además
∞
0
X 1
exp (X)H = T (k, 1, H, X),
k!
k=1
porque
n n

0
X 1
0
X
exp (X)H − T (k, 1, H, X) ≤ exp (X) − fk · kHk −→ 0,

k!
k=1 k=1
cuando n → ∞.
Solo faltarı́a mostrar que r(H) → 0, cuando kHk → 0. Utilizando (6), pasando a las normas y
aplicando desigualdades triangulares, se obtiene
∞ k ∞ k
1 X 1 X 1 X 1 X k
j k−j
kr(H)k ≤ kT (k, j, H, X)k ≤ kHk · kXk .
kHk k! j=2 kHk k! j=2 j
k=2 k=2

La ultima serie doble, tiene todos sus términos no negativos y es convergente, por lo tanto se
puede cambiar el orden de las sumas. Se tiene
∞ k ∞ ∞
X 1 X k
j k−j
X j
X 1 k
k−j
kHk · kXk = kHk kXk
k! j=2 j j=2
k! j
k=2 k=j
∞ ∞
X j
X 1 k−j
= kHk kXk
j=2
j!(k − j)!
k=j
∞ ∞
X 1 j
X 1 k−j
= kHk kXk
j=2
j! (k − j)!
k=j
∞ ∞ ∞
X 1 j
X 1 k
X 1 j
= kHk kXk = kHk ekXk
j=2
j! (k)! j=2
j!
k=0
∞
2
X 1 j 2
= ekXk kHk kHk ≤ ekXk kHk ekHk .
j=0
(j + 2)!

Por consiguiente
kr(H)k ≤ kHk ekXk+kHk → 0,
cuando H → 0.
(c) Mostrar con ejemplos que en general exp0 (X) 6= exp(X).
Tomamos E = R2 , por lo tanto R∈ es el espacio de Banach de las matrices reales de 2 × 2.
Consideramos  
0 1
X= .
0 0
Un cálculo nos dá que
      
a b 1 1 a b a+c b+d
exp(X) = = .
c d 0 1 c d c d
Determinemos exp0 (X) aplicando (5). Se tiene
         
0 a b a b 1 a b 0 1 1 0 1 a b
exp (X) = + +
c d c d 2 c d 0 0 2 0 0 c d
   
1 0 1 a b 0 1
+
6 0 0 c d 0 0
a
 c d
0 6c
     
a b 0 2
= + + 2 2 +
c d 0 2c 0 0 0 0
c a d c
 
a+ 2 b+ 2 + 2 + 6
=
c d + 2c