EJEMPLO DE GENERADORES INFINITESIMALES DE C0SEMIGRUPOS

1. Sea H un espacio de Hilbert con base ortonormal completa (e m) y sea (  m )

divirgiendo para   .
Definamos

T (t ) x   e  mt  x,e m e m , x  H , t  0
m 1

Demostremos que T(t) es un C0semigrupo de operadores, y que su generador

infinitesimal es

Ax    m  x,e m e m ; x  D( A)
m 1

En efecto:
Empecemos demostrando que T(t), así definido, es un C0semigrupo de operadores.
 
i) T (0) x   e  m0
 x,e m e m    x,e m e m  x1 e1  x 2 e 2 ...  x n e n ...
m 1 m 1

T (0) x  ( x1 , x 2 ,..., x n ...)  x; x  H

ii) T (t  s) x  T (t )T (s) x
En efecto

T (t  s) x   e  m(t  s )  x,e m e m (*)
m 1

Por otro lado, tenemos

  
T (t )T ( s) x  T (t ) e  ms
 x,e m e m   e   e  ms  x,e m e m ,e n e n
nt

m 1 n 1 m 1

 
T (t )T ( s) x  e
m 1
 nt
e  ns
 x,e n e n   e
n 1
n(t  s )
 x,e n e n (**)

entonces de (*) y (**), se cocluye

T(t+s)x=T(t)T(s)x.

Por tanto T(t) es un C0semigrupo.

Ahora veamos su generador infinitesimal.

1
  

T (t ) x  x
 e  x,e m e m    x,e m e m
 mt

Ax  lim  lim m 1 m 1
t 0 t t 0 t

(e  mt 1) 
Ax  lim   x,e m e m    m  x,e m e m ; x  D( A)
t 0 t
m 1 m 1
donde
T (t ) x  x
D( A)  {x  H / lim }ó
t 0 t

D( A)  {x  H / Ax 2   }  {x  H /  ( m  x,e m e m ) 2    }
m 1

2. Sea el intervalo abierto y acotado (a,b)  R y el espacio

b 1
H  L 2 (a, b)  {x : (a, b)  R / x es continua , x 2  ( x( ) 2 d ) 2  }
a

d
Sea A  un operador lineal, veremos que A es el generador infinitesimal del
d
semigrupo de operadores definido por
 x(t   ), si (t   )  (a, b)
T (t ) x( )  
0, si (t   )  (a, b)
Veamos primero que T(t) es un C0semigrupo de operadores.
 x( ), si   (a, b)
i) T (0) x( )    T (0) x( )  x( );   (a, b) .
0, si   (a, b)

ii) T (t  s) x( )  T (t )T (s) x( )

En efecto:
 x(t  s   ), si(t  s   )  (a, b)
T (t  s) x( )  
0, si (t  s   )  (a, b)

Por otro lado, para ( s   )  (a, b) tenemos

 x(t  s   ), si(t  s   )  (a, b)

T (t )T ( s) x( )  T (t ) x( s   )  
0, si (t  s   )  (a, b)

para ( s   )  (a, b) tenemos

T (t )T (s) x( )  T (t )0  0 , puesto que T(t) es un operador lineal.

2
Por lo tanto

T (t  s) x( )  T (t )T (s) x( ) .

Ahora, demostraremos que el operador lineal A es el generador infinitesimal del

semigrupo de operadores T(t).
T (t ) x( )  x( ) x(t   )  x( )
Ax ( )  lim  lim ; (t   ),   (a, b)
t 0 t t 0 t

d
Ax ( )  x( )
d

T (t ) x( )  x( ) 00

Ax ( )  lim  lim  0; (t   ),   (a, b)
t 0 t t 0 t

Por lo tanto el generador infinitesimal del semigrupo de operadores es:

d
A
d