Notas CIMPA

Semigrupos de Polinomios Cl
asicos y
Desigualdades Funcionales
Wilfredo Urbina
ticas, Facultad
Profesor Titular, Escuela de Matema
de Ciencias UCV Apt. 47195 Los Chaguaramos, Caracas
DC 1041-A Venezuela
actualmente Profesor Visitante en el Departmento de
ticas y Estadstica University of New Mexico,
Matema
Albuquerque, N.M. 87131 EE.UU.
1991 Mathematics Subject Classification. 42B25, 47D03, 42C10, Secondary

60H99, 42A99
Key words and phrases. Teora de Semigrupos, Desarrollos en polinomios
ortogonales, Analisis Armonico, Hipercontractividad, Desigualdades
funcionales.
Indice
Captulo 1.
Introduccion
Captulo 2. Semigrupos de Markov.

1. Definiciones Basicas
2. Tensorizacion.
3. Semigrupos de Markov asociados con polinomios ortogonales.
7
7
14
14
Captulo 3. Semigrupos de Markov de polinomios ortogonales clasicos.

1. El semigrupo de Ornstein-Uhlenbeck.
2. Semigrupo de Laguerre.
3. Semigrupo de Jacobi.
17
17
37
41
Captulo 4.
1.
2.
3.
4.
5.
6.
7.
La propiedad Hipercontractiva y las desigualdades

funcionales.
La propiedad hipercontractiva del semigupo de OrnsteinUhlenbeck y la desigualdad logartmica de Sobolev.
Aplicacion de la propiedad hipercontractiva a la Teora de
Multiplicadores de Hermite.
Las Desigualdades Funcionales.
La desigualdad de Sobolev implica la desigualdad logarmica de
Sobolev.
Desigualdades de curvatura-dimension.
La propiedad Hipercontractiva del semigrupo de Laguerre.
Desigualdad de Sobolev para el semigrupo de Jacobi y algunas
consecuencias.
Apendice A.
La funcion Gamma y funciones relacionadas.
Apendice B. Polinomios ortogonales clasicos.

1. Polinomios de Hermite.
2. Polinomios de Laguerre.
3. Polinomios de Jacobi.
Apendice C.
1.
2.
51
51
57
63
70
72
75
76
83
85
85
88
90
Los Semigrupos Clasicos del Analisis: el semigrupo del

Calor y el semigrupo de Poisson.
95
El semigrupo del Calor.
95
El semigrupo de Poisson.
100
3
Bibliografa
INDICE
105
CAPTULO 1
Introducci
on
La Teora de Semigrupos de operadores es un punto de confluencia de diversas areas de las Matematicas, entre las que podemos mencionar el Analisis
Funcional, el Analisis Armonico, la Teora de Polinomios Ortogonales, las
Ecuaciones Diferenciales y la Teora de Control.
En el presente trabajo vamos a estudiar semigrupos de operadores que
estan asociados con los polinomios ortogonales clasicos (polinomios de Hermite, polinomios de Laguerre y polinomios de Jacobi): el semigrupo de
Ornstein-Uhlembeck, el semigrupo de Laguerre y el semigrupo de Jacobi,
y que para abreviar llamaremos semigrupos clasicos, aunque lo correcto
sera llamarlos semigrupos asociados con polinomios ortogonales clasicos.
Las presentes notas estan fuertemente influenciadas en los trabajos de Dominique Bakry ([9], [10], [11] y [13]), en especial sus notas para el curso
en la Escuela CIMPA, en el Tata Institute, Bombay [11], y por ello vamos a utilizar un desarrollo desde la Teora de Probabilidades desarrollando
nuestro analisis basicamente sobre los semigrupos de Markov en un espacio
de probabilidades (E, B, ). Posteriormente estudiaremos varias desigualdades funcionales como son las desigualdades de Sobolev, las desigualdades
logartmicas de Sobolev, las desigualdades de grieta espectral as como las
desigualdades de curvatura-dimension. Dichas desigualdades nos permitiran estudiar una propiedad muy importante para estos semigrupos que es
la propiedad hipercontractiva y que como veremos permite establecer un
teorema de multiplicadores, el famoso Teorema de multiplicadores de P.
A. Meyer, para desarrollos en cada uno de estas familias de polinomios
ortogonales.
Estas notas estan divididas en cuatro captulos. El captulo 1 es la
presente introduccion. En el captulo 2 damos una introduccion al estudio
de los semigrupos de Markov, sus propiedades basicas y varios resultados
sobre ellos, en particular estudiaremos los semigrupos de Markov asociados a una familia de polinomios ortogonales, discutiendo sus propiedades
generales. En el captulo 3 estudiaremos en detalle el caso de los semigrupos
de Markov asociados con los polinomios ortogonales clasicos: el semigrupo
de Ornstein-Uhlenbeck, el semigrupo de Laguerre y el semigrupo de Jacobi.
Dada su importancia y por el hecho que historicamente el semigrupo de
Ornstein-Uhlenbeck ha sido, entre los tres, el semigrupo que ha recibido
mas atencion, vamos a hacer un estudio muy detallado de el as como de su
semigrupo subordinado el semigrupo de Poisson-Hermite. En el captulo 4
5
1. INTRODUCCION
comenzaremos por demostrar que el semigrupo de Ornstein-Uhlenbeck no

solo es contractivo sino hipercontractivo, para ello vamos a probar, tal y
como lo hizo Leonard Gross [39], que el operador de Ornstein-Uhlenbeck
satisface una desigualdad logartmica y luego que ello es equivalente a la
propiedad hipercontractiva del semigrupo. Posteriormente estudiaremos en
detalle las desigualdades funcionales, que son aquellas desigualdades donde
se relaciona la norma Lp () de una funcion con la norma Lq () de su gradiente en un sentido general, ellas son: las desigualdades de Sobolev, las
desigualdades logartmicas de Sobolev, las desigualdades de grieta espectral;
analizaremos en detalle sus caractersticas, sus propiedades y las relaciones
entre ellas. Ademas estudiaremos las desigualdades de curvatura-dimension,
que son un desarrollo del famoso criterio para hipercontractividad de BakryEmery [12], que permite analizar la estructura local de operadores diferenciales y que tiene importantes aplicaciones en Geometra Diferencial. Como
veremos la relacion entre las desigualdades de curvatura-dimension y las desigualdades funcionales sera clave en los resultados que se obtiene en la parte
final de estas notas.
En un afan de hacer estas notas lo mas autocontenidas posible, hemos
incluido un apendice sobre la funcion Gamma y funciones relaciondas , otro
donde se listan las principales propiedades y formulas de los polinomios
ortogonales clasicos y finalmente un apendice donde se estudian detalladamente los semigrupos clasicos del Analisis: el semigrupo del calor y su semigrupo subordinado el semigrupo de Poisson, de forma de poder compararlos
con los semigrupos que son objetos de estudios de estas notas.
El origen de estas notas se remonta a un seminario que durante el
semestre 2004-1, se realizo en la Escuela de Matematicas de la Facultad de
Ciencias de la UCV sobre la monografa de D. Bakry [11]. Quiero agradecer
a todos los asistentes del mismo por su entusiasmo y perseverancia. Ademas
las charlas dadas en los seminarios de Analisis de la Universidad Central de
Venezuela, de la Universidad de los Andes, de la Universite de Angers, de
la University of Kansas y de la University of Missouri, Columbia, le comenzaron a dar su forma actual. Quiero agradecer a Piotr Graczyk por m
ultiples
conversaciones que sobre hipercontractividad tuvimos que me ayudaron mucho a profundizar la compresion de este tema, as como tambien a Cristina
Balderrama y a Ebner Pineda por su lectura y cuidadosa correccion de versiones previas de estas notas, debo decir que sus correcciones y observaciones
mejoraron de manera notable la calidad y claridad de las mismas; todos los
errores que quedan son de mi entera responsabilidad.
La redaccion final de estas notas se realizo siendo profesor visitante en
la Universidad de Nuevo Mexico, Albuquerque. Quiero agradecer al Departamento de Matematicas de esa Universidad por el apoyo que se me brindo
y muy especialmente a Cristina Pereyra. Finalmente mi agradecimiento y
mi amor a mi esposa Luisela Alvaray por su infinita paciencia y compresion
durante las largas noches que le dedique a la redaccion de las mismas.
Albuquerque, Enero 2006.
CAPTULO 2
Semigrupos de Markov.
1. Definiciones B
asicas
Vamos a considerar el desarrollo de la Teora de Semigrupos de operadores desde el punto de vista de la Teora de Probabilidades y por ello
vamos a desarrollar nuestro analisis sobre los Semigrupos Markovianos en
un espacio de probabilidades (E, B, ).
n 2.1. Una familia de n
Definicio
ucleos de probabilidades de transici
on
{Pt (x, dy)} es una familia de n
ucleos Pt (x, dy) tal que para todo t 0
i) Pt (, B) es una funci
on medible, para cualquier B B.
ii) Pt (x, ) es una medida positiva de probabilidad sobre (E, B), para
cada x E.
n 2.2. Un semigrupo de Markov en E es una familia de n
Definicio
ucleos
de probabilidades de transici
on {Pt (x, dy)} que satisfacen las siguientes propiedades:
i) Si x es la delta de Dirac en x,
(2.1)
P0 (x, dy) = x (dy).
ii) La ecuaci
on de Chapman-Kolmogorov
Z
(2.2)
Ps (x, dy)Pt (y, dz) = Ps+t (x, dz).
E
A partir de un semigrupo de Markov en E se puede construir un proceso

de Markov {Xt } en E, definiendo sus distribuciones finito-dimensionales
mediante la formula
x {Xt1 B1 , Xt2 B1 ,
Z
Z Z
(2.3)
Bk
B2
, Xtk Bk } =
Pt1 (x, dy1 )Pt2 t1 (y1 , dy2 ) Ptk tk1 (yk1 , dyk )
B1
Sin embargo en estas notas no vamos a considerar este aspecto y remitimos

para los detalles a cualquier libro de Probabilidades que trate procesos de
Markov, vease por ejemplo [18] o [48], o al curso del Prof. P. Graczyk.
El objeto principal de nuestro interes es la familia de operadores de
Markov {Tt }t0 definidos sobre las funciones en E, Borel-medibles que son
positivas o acotadas, de la siguiente forma,
Z
(2.4)
Tt f (x) =
f (y) Pt (x, dy).
E
7
2. SEMIGRUPOS DE MARKOV.
Esta familia esta identificada entonces con el semigrupo de Markov {Pt (x, dy)}
de manera natural. Vamos a pedir ademas que, para cada funcion f L2 (),
lim Tt f = f,
t0+
donde el lmite es en sentido L2 ().

Por la ecuacion de Chapman-Kolmogorov, es claro que la familia {Tt }
es un semigrupo de operadores sobre E, ya que
Z Z
Z
f (y)Ps (y 0 , dy)Pt (x, dy 0 )
(Tt Ts )f (x) = Tt ( f (y)Ps (x, dy)) =
E E
Z
Z E Z
0
f (y)Pt+s (x, dy) = Tt+s f (x).
Ps (y , dy)Pt (x, dy 0 ) =
f (y)
=
E
Ademas, por la propiedad ii) de los n

ucleos de probabilidades de transicion, el operador Tt claramente preserva la positividad, es decir si f 0,
entonces
Z
f (y)Pt (x, dy) 0,
Tt f (x) =
E
ya que Pt (x, dy) es una probabilidad, y por la misma razon es conservativo

Tt 1 = 1.
En general, diremos que un semigrupo de operadores {Tt }t0 satisface
la propiedad de Markov y por tanto que es un semigrupo de Markov, si
es conservativo y preserva la positividad.
Dado que Tt esta dado en terminos de una medida de probabilidad, por
la desigualdad de Jensen, tenemos que para cualquier funcion convexa ,
(2.5)
Tt ( f ) (Tt f ).
Como ya hemos mencionado, asociado a un semigrupo de Markov {Pt }

hay un proceso de Markov {Xt } en el espacio E. Entonces el semigrupo se
puede representar mediante el proceso, por la formula,
(2.6)
Tt f (x) = E[f (Xt )|X0 = x].
n 2.3. Decimos que la medida de probabilidad es una meDefinicio

dida invariante (o estacionaria) para el semigrupo {Tt }, si
Z
Z
(2.7)
Tt f d =
f d,
E
para toda funci

on positiva f L1 () .
En la mayora de los casos, dado el semigrupo {Tt }t0 la medida invariante es u
nica, salvo una constante multiplicativa. Si la medida es finita
siempre la normalizamos de forma que sea una medida de probabilidad.

1. DEFINICIONES BASICAS
Observese que si es una medida invariante para el semigrupo {Tt },

entonces para cualquier f L1 (), tenemos
Z
Z
Z
+
Tt (f f ) d = (Tt f + Tt f ) d
Tt f d =
E
Z E
ZE
+
f d.
(f f ) d =
=
E
Luego es equivalente definir la condicion de invariancia para todo f L1 (),

como lo definen en [2].
Por otra parte, si es una medida invariante para el semigrupo {Tt } se
tiene que para cada t 0, Tt es un operador de contraccion en L1 () ya
que,
Z
Z
Z
|Tt f | d =
|Tt (f + f )| d (Tt f + + Tt f ) d
||Tt f ||1, =
E
E
ZE
Z
+
=
(f + f ) d =
|f | d = ||f ||1, .
E
Ademas es tambien es un operador de contraccion en L (), ya que

Z
|Tt f |
|f (y)| Pt (x, dy) ||f || .
E
Entonces por el argumento de interpolacion de Marcinkiewicz, vease

[85], Tt se puede extender como un operador de contraccion en Lp (), para
1 p ,
(2.8)
||Tt f ||p, ||f ||p, ,
con 1 0. Luego {Tt }t0 es un semigrupo de operadores de

contraccion en Lp (), 1 < p < , y por el Teorema de Hille-Yosida (ver
[101]) existe el generador infinitesimal L de {Tt }, definido como
Tt f f
(2.9)
Lf = lim
,
t
t0+
en un subconjunto denso Dp (L) de Lp ().
La descripcion de L y de Dp (L) caracteriza entonces completamente al
semigrupo {Tt }t0 , por el hecho que, dado f Dp , la funcion u(x, t) =
Tt f (x) es la u
nica solucion de la ecuacion del calor
u
(x, t) = Lu(x, t),
t
que esta en Dp , para todo t > 0, tomando la derivada en sentido Lp .
En general no es facil de describir el dominio Dp . Por ello es usual
suponer que existe una subalgebra A de Dp que es densa en el dominio con
la topologa determinada por la norma
||f ||Dp = ||f ||p + ||Lf ||p .
Para simplificar vamos a suponer condiciones bastantes restrictivas sobre A.
Supondremos que es un algebra, estable bajo la accion de L, de {Tt } y la
10
composicion con funciones de C que valen 0 en 0 y que tienen a los mas

crecimiento polinomial en infinito junto con sus derivadas. Mas a
un vamos
a pedir que las funciones constantes pertenezcan a A. Un algebra A que
verifique estas propiedades diremos que es una
algebra est
andard.
En terminos de L, la propiedad de invariancia de la medida de probabilidad se puede describir, como la solucion positiva de
L () = 0,
siendo L el adjunto del operador L actuando sobre las medida. En otras
palabras,
Z
(2.10)
Lf d = 0,
E
para toda f A, ya que

Z
Z
Z
f L (d) =
Lf d =
E
1
Tt f f
d = lim
lim
+
+
t
t0 t
E t0
Z
[Tt f f ] d = 0.
E
No es facil describir condiciones generales en L para que tal solucion sea

u
nica.
De la desigualdad (2.5) obtenemos,
L( f ) 0 (f )Lf,
(2.11)
valida para cualquier funcion convexa y f A. En efecto, informalmente1

(Tt f ) (f )
Tt (f ) (f )
lim
+
t
t
t0
(Tt f ) (f ) Tt f f
= lim [
][
] = 0 (f )Lf.
+
Tt f f
t
t0
L((f )) =
lim
t0+
Esta desigualdad es caracterstica de los generadores de semigrupos de

Markov. De hecho si (2.11) se cumple, dado convexa y invariante,
tenemos,
Z
Z
Z
0
(Tt f ) d =
(Tt f )LTt f d
L((Tt f )) d = 0.
t E
E
E
R
Luego E (Tt f ) d es una funcion decreciente en t y por tanto
Z
Z
(Tt f ) d
(f ) d.
E
Observese que esta desigualdad implica la no-negatividad de Tt ya que si se

la aplicamos a una funcion f no negativa y (x) = |x|, obtenemos,
Z
Z
Z
|Tt f | d
f d =
Tt f d.
E
Mas a
un, si L1 = 0, entonces Tt 1 es constante y Tt 1 = 1.
1Para dar un argumento formal tendramos que considerar una funci
on auxiliar
an
aloga a la que se considera en la demostraci
on de la regla de la cadena.

11
n 2.4. Sobre la sub

Definicio
algebra A definimos el operador cuadrado
de campo como
1
(f, g) = [L(f g) f Lg gLf ].
2
Observese que es una aplicacion bilineal, simetrica y que si 1 A, y
si L1 = 0, se tiene entonces que
(2.12)
(f, 1) = 0,
para todo f A.
Por otra parte, de la desigualdad (2.11) tomando (x) = x2 , tenemos
(2.13)
(f ) = (f, f ) 0,
para todo f A, y por tanto (f ) puede ser interpretado como la longitud de f , como veremos mas adelante en estas notas. Ademas de la
positividad se tiene
(f, g)2 (f )(g).
Otra manera de probar la positividad del (f ) se puede obtener de la
fomula
1
2(f ) = lim [Tt (f 2 ) (Tt f )2 ] d,
+
t0 t
y esta la u
ltima cantidad es positiva por (2.5), tomando (x) = x2 .
As pues la positividad del operador cuadrado de campo es consecuencia
de la positividad del semigrupo usando la desigualdad de Jensen, es decir
que la positividad del semigrupo es condicion necesaria para la positividad
de . O. Mazet [59] demostro que el recproco tambien es cierto, es decir,
que la positividad del operador cuadrado de campo es condicion suficiente
para la positividad del semigrupo y mas a
un para la propiedad de Markov.
Observese ademas que por (2.10), tenemos
Z
Z
Z
1
(2.14)
(f ) d =
[L(f 2 ) 2f Lf ] d =
f Lf d,
2 E
E
E
y por tanto
Z
f Lf d 0.
E
El operador cuadrado de campo fue introducido por J. P. Roth [78] como

una herramienta analtica para estudiar semigrupos de Markov.
Para las desigualdades que vamos a estudiar posteriormente, tenemos
que considerar tambien el siguiente operador,
n 2.5. Sobre la sub
Definicio
algebra A definimos el operador cuadrado
de campo iterado como
(2.15)
1
2 (f, g) = [L(f, g) (f, Lg) (g, Lf )].
2
12
Observese que 2 es tambien una aplicacion bilineal, simetrica. Ademas

2 se obtiene de reemplazando en su definicion el producto por . Se
podra, de la misma manera, obtener operadores de orden superior k , con
k 3, sin embargo hasta ahora no esta claro que puedan tener la utilidad
que, como veremos, tienen y 2 .
Consideremos las siguientes hipotesis adicionales sobre el semigrupo {Tt }t0 ,
1) Propiedad de simetra: Vamos a pedir que los operadores Tt sean
autoadjuntos o simetricos en L2 (), es decir, para todo f, g L2 (),
Z
Z
f Tt g d,
Tt f g d =
(2.16)
E
para todo t 0, lo que es equivalente a pedir

Z
Z
(2.17)
Lf g d =
f Lg d.
E
Si esta propiedad se verifica diremos que la media es sim

etrica (o reversible). Observese ademas que, tomando g = 1, la propiedad de simetra
implica trivialmente la invariancia de , por ser Tt conservativo, Tt 1 = 1.
Si (2.17) se verifica L tiene una extension autoadjunta en L2 () y por
tanto el espectro de (L) esta incluido en [0, ) ya que por (2.13) si f es
una autofuncion de L asociada al autovalor , Lf = f entonces
Z
Z
0 (f ) =
f (L)f d =
f ()f d = ||f ||2 ,
E
lo implica que 0. Por lo tanto L tiene una descomposicion espectral

Z
dE ,
(2.18)
L=
0
y por tanto Tt tiene entonces una descomposicion espectral

Z
(2.19)
Tt =
et dE .
0
Luego podemos considerar (formalmente) que Tt = etL = et(L) .

Observese que 0 es un autovalor de (L), con autofucion cualquier
funcion f no nula.
El operador L, y por tanto el semigrupo, esta entonces totalmente determinado por la medida de probabilidad y el operador cuadrado de campo
, ya que por la simetra,
Z
Z
(2.20)
(f, g) d =
gLf d,
E

dado que
Z
(f, g) d =
E
1
2
13
[L(f g) f Lg gLf ] d
Z
Z
Z
1
1
gLf d.
=
f Lg d
gLf d =
2 E
2 E
E
E
2) Propiedad de difusi
on: Suponemos que L es una difusion, es decir
operador diferencial de segundo orden sin termino constante. Esto se puede
expresar de la siguiente forma,
(2.21)
(f g, h) = f (g, h) + g(f, h)
para f, g, h A. Esto dice que es una operador diferencial de primer orden

en cada uno de sus argumentos.
Si tenemos esta propiedad (2.21), entonces tenemos tambien la formula
de la regla de la cadena,
(2.22)
L((f )) = 0 (f )Lf + 00 (f )(f, f )
para todo f A, por lo menos para polinomios y esto se puede extender

para cualquier funcion suave por aproximacion.(Ejercicio).
Podemos considerar tambien esta u
ltima formula como la definicion de
difusion.
La version multidimensional de la regla de la cadena es la siguiente,
X
X
2
(2.23)
L((f )) =
i (f )Lfi +
i,j
(f )(fi , fj ),
i
i,j
donde : Rd R y f = (f1 , f2 , , fd ) Ad .
De la version multidimensional de la regla de la cadena (2.23) se puede
obtener la formula (2.21). (Ejercicio).
Dado que el operador puede ser interpretado como el cuadrado de la
longitud del gradiente de la funcion, hay una (pseudo-)distancia natural
asociada al operador y al algebra A, definida como
(2.24)
d(x, y) =
sup
{f (x) f (y)}.
f A,(f )1
Esta distancia esta bien adaptada en el caso de difusiones. Puede ocurrir

que esta distancia sea infinita casi-siempre, pero en situaciones razonables
esta bien definida y da mucha informacion sobre la estructura del semigrupo.
Por tanto el diametro de E esta definido como
=
sup
{ess-sup(f ) ess-inf(f )}.
f A,(f )1
Si las funciones en A estan solo definidas casi-siempre, una distancia

mas natural entre conjuntos de medida positiva se puede definir como
(2.25)
d(A, B) = supf A,(f )1 {ess-supA (f ) ess-supB (f )}.
14
La mayora de las desigualdades funcionales en que estamos interesados

son desigualdades que comparan las normas Lp de una funcion en A a la
norma L1 de (f ), y por ello necesitamos la siguiente definicion,
n 2.6. Definimos la forma de Dirichlet asociada al operador
Definicio
L, respecto a la medida , como
Z
< f Tt f, f >
(2.26)
E (f ) = lim
=< Lf, f > =
f Lf d,
t0
t
E
para f L2 ().
Observemos que, por (2.20), tenemos,
Z
(2.27)
E (f ) =
(f ) d.
E
2. Tensorizaci
on.
Por otra parte, observemos que si tenemos dos semigrupos de Markov
Tt1 (x1 , dy1 ) y Tt2 (x2 , dy2 ), actuando en (E1 , 1 ) y en (E2 , 2 ) respectivamente, podemos entonces considerar el semigrupo
Tt = Tt1 (x1 , dy1 ) Tt2 (x2 , dy2 )
que act
ua en el espacio producto (E1 E2 , 1 2 ). Este es de nuevo un
semigrupo de Markov, con medida invariante 1 2 .
Denotaremos por L1 +L2 su generador y su operador cuadrado de campo
por 1 + 2 . La notacion L1 + L2 se debe entender de la siguiente manera:
si f (x1 , x2 ) es una funcion definida en E1 E2 , entonces L1 act
ua en la
variable x1 , considerando x2 fija y de forma analoga para L2 .
Este argumento que se llama usualmente de tensorizaci
on se puede
extender a d terminos, d N, lo que nos permitira definir los semigrupos de
Markov para los polinomios ortogonales clasicos en Rd .
Mas a
un, el argumento de tensorizacion se puede extender incluso a
productos infinitos, pero ese caso no sera considerado en las presentes notas.
3. Semigrupos de Markov asociados con polinomios ortogonales.
Una importante familia de semigrupos de Markov, que va a ser muy
importante para el desarrollo que nosotros vamos a hacer en estas notas y
de la nos vamos a ocupar en el siguiente captulo, son aquellas asociadas a
polinomios ortogonales clasicos.
Supongamos que la medida , definida en R, tiene momentos exponenciales, es decir, existe > 0 tal que
Z
e|x| (dx) < .
R
Entonces los polinomios estan contenidos en L2 () y mas a

un son densos
all. Por el proceso de ortogonalizacion de Gram-Schimidt existe una u
nica
familia de polinomios {Pn }, tal que
3. SEMIGRUPOS DE MARKOV ASOCIADOS CON POLINOMIOS ORTOGONALES. 15
i) RPn tiene grado n y su coeficiente principal es positivo.

ii) R Pn Pm d = n,m ,
Estos son los polinomios ortogonales respecto a la medida .
Una pregunta natural es que operadores diferenciales L tiene como autofunciones a una familia de polinomios ortogonales, es decir existe una
sucesion {n } de n
umeros reales positivos tal que
(2.28)
LPn = n Pn ,
para todo n N. Este problema fue planteado por S. Bochner en 1929

[19] para operadores de segundo orden y en dicho artculo el prueba que
esta propiedad la verifican solamente los llamados polinomios ortogonales
clasicos (salvo translaciones y dilataciones), es decir los polinomios de Hermite, Laguerre y Jacobi, vease [46]. Posteriormente, en 1938 L. Krall [53]
planteo el problema general para un operador de cualquier orden y probo
que el operador debe ser de orden par. A partir de all se conoce como polinomios de Bochner-Krall a aquellos polinomios ortogonales que son autofunciones de operadores diferenciales, para un detallado recuento historico
de este problema de clasificacion vease [30].
Siguiendo la notacion de D. Bakry y O. Mazet [13], consideremos T un
operador de Markov, definido por un n
ucleo de probabilidad de transicion
K(x, dy), sobre las funciones positivas o acotadas en R
Z
(2.29)
T f (x) =
f (y)K(x, dy).
R
L2 ().
Supongamos que T es acotado en

Markov asociada a la familia {Pn } si
(2.30)
Decimos que {cn } es sucesi

on de
T Pn = cn Pn .
Luego T es un operador simetrico en L2 () y tiene a la familia {Pn } como

descomposicion espectral.
Una sucesion de n
umeros reales positivos {n } es una sucesi
on generadora de Markov si para cada t > 0 la sucesion {en t } es una sucesion
de Markov,
(2.31)
Tt Pn = en t Pn ,
Es decir que {n } es la sucesion de autovalores del generador de un semigrupo de Markov. 2

En el captulo siguiente veremos en detalle que en el caso de estas familias de polinomios ortogonales, es posible dar una caracterizacion de las
sucesiones generadoras de Markov {n }. Observese que este problema esta
relacionado pero es distinto al problema de Bochner-Krall.
2Es decir para cada t > 0 existe un operador de Markov T tal que T P = en t P .
t
t n
n
En este caso la familia {Tt } es un semigrupo de Markov y {n } son los autovalores de su
generador infinitesimal L, LPn = n Pn .
16
Para el caso de los semigrupos de Markov asociados con polinomios

ortogonales, el algebra A se puede tormar como el algebra de los polinomios
(que en este caso no es estable bajo la composicion con funciones suaves sino
solo con polinomios). Mas a
un, el semigrupo de Markov {Pt (x, dy)} puede
en este contexto ser escrito como
X
(2.32)
Pt (x, dy) =
en t Pn (x)Pn (y)(dy),
n
P
suponiendo por supuesto que, para cada t la serie n en t es convergente,
lo que asegura la convergencia de (2.32) en L2 ( ). Esto se puede probar
tomando f A, que se puede escribir como
X
f (x) =
f(n)Pn (x),
n
donde f(n) =
R f (y)Pn (y) (dy);
y por tanto
X
XZ
Tt f (x) =
f(n)Tt Pn (x) =
f (y)Pn (y) (dy)en t Pn (x)
Zn
=
f (y)
R
en t Pn (x)Pn (y) (dy).
Ademas, en este caso la medida es invariante, ya que de nuevo tomando

f A, por la ortogonalidad de {Pn } y por el hecho que el primer autovalor
de L es cero, tenemos
Z
Z X
f(n)en t Pn (x) (dx)
Tt f (x) (dx) =
R
R n
X
n
f(n)en t
Z
R
Pn (x) (dx) = f(0) =
Z
f (x) (dx).
R
En el siguiente captulo vamos a estudiar entonces de manera detallada

los semigrupos de Markov para los polinomios ortogonales clasicos, es decir
para el caso de los polinomios de Hermite, de los polinomos de Laguerre y
de los polinomios de Jacobi.
CAPTULO 3
Semigrupos de Markov de polinomios ortogonales

cl
asicos.
1. El semigrupo de Ornstein-Uhlenbeck.
Consideremos el espacio de probabilidades (R, B(R), 1 ) siendo
1
2
1 (dx) = ex dx,
(3.1)
la medida Gaussiana en R, 1 definida sobre B(R), los Borelianos de R

n }2 que son
Consideremos los polinomios de Hermite (normalizados) {h
los polinomios ortogonales respecto a 1 ,
Z
n (x)h
m (x)1 (dx) = n,m ,
(3.2)
h
R
Ademas los polinomios de Hermite {hn } son soluciones polinomiales de

la ecuaci
on de Hermite (B.5),
00 (x) 2xh
0 (x) + 2nh
n (x) = 0,
h
n
n
o equivalentemente, para cada n N, hn es autofuncion del operador de
Ornstein Uhlenbeck (unidimensional) u operador oscilador armonico,
1 d2
d
x ,
2 dx2
dx
asociada al autovalor n = n. Ademas L es una difusion dado que es un
operador diferencial de segundo ordensin termino constante.
Usando la formula de Mehler (B.12), por (2.32) tenemos entonces que
en este caso el semigrupo de Markov tiene la forma
X
n (x)h
n (y)1 (dy)
(3.4)
Pt (x, dy) =
ent h
(3.3)
L=
e2t (x2 +y 2 )2et xy

1
2
1e2t
e
ey dy
1/2
2t
(1 e )
1En Probabilidades lo usual es trabajar con la medida Gaussiana standard, que se

2
define como 1 (dx) = 12 ex /2 , sin embargo en el contexto de la Teora de Polinomios

Ortogonales es m
as usual trabajar con (3.1) y nosotros seguiremos esta notaci
on. En todo
caso las f
ormulas entre un caso y el otro difieren en una constante.
2Obs
ervese que estos polinomios difieren de los polinomios normalizados {hn }, considerados en el Apendice B, en una constante debido a la normalizaci
on de la medida.
17
18
3. SEMIGRUPOS DE MARKOV DE POLINOMIOS.
As pues el semigrupo de operadores definido sobre las funciones Borelmedibles en R, positivas o acotadas, que denominaremos semigrupo de
Orsntein-Uhlenbeck se define como
Z
e2t (|x|2 +|y|2 )2et hx,yi
1
1e2t
(3.5)
Tt f (x) =
e
f (y)1 (dy).
(1 e2t )1/2 R
Observese que en este caso el operador cuadrado de campo (2.12) es,
(f, g)(x) =
1 1 d2 f g
df g
1
d2 g
[
(x)
x
(x)
f
(x)
(x)
2 2 dx2
dx
2
dx2
df
dg
1
d2 f
+xf (x) (x) g(x) 2 (x) + xg(x) (x)]
dx
2
dx
dx
dg
1 df
(x) (x),
2 dx
dx
y por tanto
1 df
(f )(x) = (f, f )(x) = ( )2 (x).
2 dx
Ademas, el operador cuadrado de campo iterado (2.15) es
(3.6)
(3.7)
2 (f, g)(x) =
1 d2 f
d2 g
1 df
dg
(x)
(x) +
(x) (x).
4 dx2
dx2
2 dx
dx
(Ejercicio)
En el caso de los polinomios de Hermite tenemos que las posibles sucesiones de Markov {ck } estan dadas por la formula
Z 1
xk (dx),
(3.8)
ck =
1
donde es una medida de probabilidad en [1, 1] y las posibles sucesiones

generadoras de Markov {k } estan dadas por la formula
Z 1
1 xk
(3.9)
k = k +
(dx),
1 1 x
donde , son constantes positivas y es una medida de probabilidad en
[1, 1]. Para los detalles de la demostracion vease [81] o [13].
Por el argumento de tensorizacion tenemos entonces que el semigrupo
de Ornstein-Uhlenbeck en Rd , por la formula de Mehler d-dimensional
(B.15), esta definido, como
Z
e2t (|x|2 +|y|2 )2et hx,yi
1
1e2t
Tt f (x) =
f (y)d (dy)
e
(1 e2t )d/2 Rd
Z
|yet x|2
1
1e2t f (y)dy,
(3.10)
=
e
t > 0.
d/2 (1 e2t )d/2 Rd
1. EL SEMIGRUPO DE ORNSTEIN-UHLENBECK.
19
Al n
ucleo
(3.11)
Mt (x, y) =
|yet x|2
1
1e2t ,
e
d/2 (1 e2t )d/2
lo llamaremos tambien n
ucleo de Mehler.
Observese que
Tt f (x) = (K(1e2t )/4 f )(et x) = et [K(1e2t )/4 f ](x)
= et T(1e2t )/4 f (x),
donde a es el operador dilataci
on por a, definido por
(3.12)
a f (x) = f (ax),
y
(3.13)
Kt (x, y) =
1
2
e|xy| /4t ,
d/2
(4t)
es el n
ucleo del calor y {Tt }t representa el semigrupo del calor, que
tiene como generador infinitesimal el operador Laplaciano, vease Apendice
C.
Luego, el semigrupo de Ornstein-Uhlenbeck es una reparametrizacion
del semigrupo del calor precedida de una dilatacion en la variable y, por lo
tanto, no es un semigrupo de convolucion, ya que antes de convolucionar
con n
ucleos Kt , debidamente reparametrizados, se toma una dilatacion por
et en la variable x. Es por esta dilatacion que ninguno de los metodos
utilizados para el estudio de semigrupos clasicos son, en forma inmediata,
aplicables para este semigrupo. Sin embargo, F. Weissler [100] que denota
es este semigrupo, como semigrupo de Hermite 3 establece la relacion
mas detallada entre ambos semigrupos:
Para 1 p, q , t 0 y cualquier 0 4
(3.14)
donde
(p)
(q)
Tt = (et )d/2 (1/2p1/2q)d (d )1 M T(1e2t )/4et M d

1
et
1

,
2t
1e
p (1 e2t )
1
1
et
=
,
1 e2t q 0 1 e2t
(p)
d : Lp (d ) Lp (Rd ) es el isomorfismo isometrico definido, para cualquier

1 < p < , como
(3.15)
(p)
d f (x) = f (x) d/2p e|x|
2 /p
M el operador multiplicaci
on definido por
2
M f (x) = e|x| f (x),

3Denotaremos como semigrupo de Hermite a otro semigrupo, v
ease p
ag 32.
4En realidad Weissler lo define para z C tal que Rez 0 y Re(ez ) 0.
20
y finalmente a es el operador dilatacion, definido en (3.12).

Mediante esta relacion Weissler no solo extiende analticamente al semiplano Rez 0 el semigrupo de Ornstein-Uhlenbeck, dado que el semigrupo
del calor lo es, sino que obtiene informacion adicional sobre continuidad, en
ambos sentidos.
t x
Por otra parte, haciendo el cambio de variable u = ye
, tenemos
1e2t
(3.16)
Tt f (x) =
1
d/2
p
2
f ( 1 e2t u + et x)e|u| du.
Rd
Mediante esta u
ltima expresion se ve que el semigrupo de OrnsteinUhlenbeck tiene una extension natural en infinitas dimensiones, debido a
que la medida de Gauss, a diferencia de la medida de Lebesgue, puede ser
definida en espacios de dimension infinita (vease Meyer [60]).
Por el desarrollo dado en el Captulo 1 para semigrupos de Markov,
sabemos que {Tt } el semigrupo de Ornstein-Uhlenbeck en Rd es un semigrupo de difusion conservativo, simetrico, fuertememente Lp -continuo de
contracciones positivas en Lp (d ), 1 p , con generador infinitesimal el
operador de Ornstein-Uhlenbeck
d
(3.17)
f
1
1 X 2f
[
(x) xi
(x)] = f (x) x f (x).
Lf (x) =
2
xi
xi
2
i=1
Sin embargo, por ser el semigrupo de Ornstein-Uhlenbeck de gran importancia y siendo el modelo de los semigrupos de Markov asociados a polinomios
ortogonales, vamos a dar demostraciones analticas de cada una de estas
propiedades a partir de la definicion del semigrupo (3.10). Ademas haremos
tambien una discusion analtica de otras propiedades de este semigrupo.
Teorema 3.1. La familia de operadores {Tt : t 0} satisface las siguientes propiedades:
i) Propiedad de semigrupo: Para todo t1 , t2 0, Tt1 +t2 = Tt1 Tt2 .
ii) Propiedad conservativa y de positividad: Tt 1 = 1 y si f 0 entonces
Tt f 0 para todo t 0.
iii) Propiedad de contractividad: Para todo t 0 y 1 p ,
||Tt f ||p,d ||f ||p,d .
iv) Propiedad de Lp -continuidad fuerte: Para todo 1 p < y todo
f Lp (d ) la aplicaci
on t Tt f es continua de [0, ) en Lp (d ).
v) Propiedad de simetra: para todo t 0, Tt es un operador autoadjunto en L2 (d ), es decir:
Z
Z
(3.18)
Tt f (x)g(x)d (dx) =
f (x)Tt g(x)d (dx).
Rd
Rd
(3.19)
21
En particular tenemos que la medida gaussiana d es la medida

invariante para {Tt },
Z
Z
f (x)d (dx),
Tt f (x)d (dx) =
Rd
Rd
vi) Generador infinitesimal: el operador de Ornstein-Uhlenbeck L es el

generador infinitesimal de {Tt : t 0}, es decir:
Tt f f
= Lf.
t0
t
(3.20)
lim
Demostraci
on
i) Por la densidad de los polinomios en LP (d ) la manera mas sencilla
de probar la propiedad de semigrupo es mediante la representacion
(3.26)
(Tt1 Tt2 )f
X
X
t2 k
e(t1 +t2 )k Jk f
= Tt1 (
e
Jk f ) =
k=0
k=0
= Tt1 +t2 f.
Alternativamente se podra probar la propiedad de semigrupo directamente de la representacion (3.10) mediante un cambio de variable
adecuado (Ejercicio).5
ii) La primera igualdad, que es la propiedad conservativa, se sigue de
manera inmediata por un simple cambio de variable, de la invariancia por traslacion de la medida de Lebesgue y del hecho que d
es una medida de probabilidad:
Z
Z
t x
|yet x|2
|2
|y e 2t
1
1
2t
1e
1e
e
1dy
=
e
dy
d/2 (1 e2t )d/2 Rd
d/2 Rd
Z
1
2
=
e|y| dy = 1.
d/2
Rd
La positividad es clara ya que el n
ucleo es positivo.
iii) Dado que el semigrupo de Ornstein-Uhlenbeck no es un semigrupo
de convolucion, esta propiedad no se obtiene, como en el caso del
semigrupo el calor o de Poisson clasicos, por la teora general de
aproximaciones de la identidad. Sin embargo, ella se puede obtener
de manera directa usando la desigualdad de Jensen y la propiedad
5Una prueba an
aloga a la hecha para el semigrupo del calor, en el Apendice C, usan-do
la Transformada de Fourier es posible en este caso. Esto probara la propiedad para S(Rd ),
el espacio de las funciones de prueba de Schwartz, que es denso en Lp (d ), 1 p .
(Ejercicio)
22
iv):
1
d/2
(1 e2t )d/2
Tt (|f |p )(x),
|Tt f (x)|
e2t (|x|2 +|y|2 )2et hx,yi

1e2t
|f (y)|p e|y| dy
Rd
luego por v),

||Tt f ||pp,d
1
d/2
Z
ZR
|Tt f (x)|p e|x| dx

d
1
2
Tt (|f |p )(x)e|x| dx
d/2 Rd
= ||f ||pp,d .
Luego, para todo t > 0, Tt es una contraccion en Lp (d ), 1

p < . El caso p = es inmediato, ya que Tt 1 = 1, por ii).
iv) Hay que probar que Tt f Tt0 f en Lp (d ) si t t0 . Por la
propiedad de semigrupo basta probar que Tt f f en Lp (d ) si
t 0. De nuevo, esto no es consecuencia de la teora general de
aproximaciones de la identidad como en el caso clasico. Por otra
parte, se puede verificar facilmente que Lp (d ) no es cerrado por
traslaciones 6 por lo cual no tiene sentido hablar de continuidad en
la norma Lp (d ) y por tanto, este tipo de argumento no se puede
usar. La prueba alternativa esta tomada de [63]:
|Tt f (x) f (x)|
e2t (|x|2 +|y|2 )2et hx,yi
1
2
1e2t
|f (y) f (x)|e|y| dy
e
d/2
d/2
2t
(1 e )
Rd
Z
e2t (|x|2 +|y|2 )2et hx,yi
1
2
1e2t
e
|f (y) f (x)|e|y| dy
d/2
d/2
2t
(1 e )
|xy|<
Z
e2t (|x|2 +|y|2 )2et hx,yi
1
2
1e2t
|f (y) f (x)|e|y| dy.
e
d/2
d/2
2t
(1 e )
|xy|
=
+
Sea f una funcion definida en Rd , continua a soporte compacto

y sea > 0 y > 0 tal que si |x y| < entonces |f (x) f (y)| < .
Luego, es claro por iii), que la primera integral es menor que . Por
otra parte, si y esta en el soporte de f , |x y| > y 0 1 et <
t
e 2 (max{ysopf } |y|), entonces
(
|et (xy)y(1et )|2

+|y|2 )
1e2t
e2t 2
+max{ysopf }
4(1e2t )
|y|2 )
y por tanto la segunda integral es menor que

Z
2||f ||,d
e2t 2
2
exp(
+ max |y|2 )e|y| dy,
2t
d/2
d/2
2t
4(1 e ) {ysopf }
(1 e )
{ysopf }
6Consider
erese, para n = 1, f (x) =
e|x|/2
B(0,1) (x)
|x|
y sus traslaciones.
23
la cual tiende a cero si t t0 . Luego Tt f f uniformemente en x

si t 0. El caso general se obtiene por el hecho de la densidad de
las funciones continuas a soporte compacto en Lp (d ),1 p < y
por iii).
v) Para probar (3.18), usando el Teorema de Fubini, tenemos
Z
Tt f (x)g(x)d (dx)
Rd
Z Z
(|y|2 +|x|2 )2et hx,yi
1
1
2
2
(
)
1e2t
e
=
(
f (y)e|y| dy)g(x) d/2 e|x| dx
d/2
d/2
2t
(1 e )
Rd Rd
Z Z
(|y|2 +|x|2 )2et hx,yi
1
1
2
2
)
1e2t
(
e(
=
g(x)e|x| dx)f (y) d/2 e|y| dy
d/2
d/2
2t
(1 e )
Rd Rd
Z
=
f (y)Tt g(y)d (dy).
Rd
La propiedad de simetra se obtiene entonces de manera inmediata

de (3.18) tomando g 1 y usando la propiedad conservativa.
vi) Sea f Cb2 (Rd ), una funcion con dos derivadas continuas, usando
la representacion (3.16), tenemos
Z
p
Tt f f
1
2
(
)(x) Lf (x) =
1 e2t y + et x) f (x)]e|y| dy
[f
(
d/2
t
t
Rd
d
d
X
f
1 X 2f
(x) +
xj
(x)
2
2
xj
xk
j=1
k=1
d
d
p
X
t X 2f
f
t
|y|2
2t
[f ( 1 e y + e x) f (x)
(x)]e
dy +
xj
(x)
2
2
x
xk
j
Rd
1
t d/2
1
t d/2
1
t d/2
k=1
p
[f ( 1 e2t y + et x) f (x) t
Rd
d
X
k=1
j=1
d
X
2f
f
2 |y|2
dy +
xj
(x)yk ]e
(x)
2
xj
xk
j=1
d
p
X
2f
2
t
t
2t
(x)yk2 ]e|y| dy
[f ( 1 e y + e x) f (e x) t
2
xk
Rd
k=1
+(
f (et x) f (x)
+
t
d
X
j=1
xj
f
)(x).
xj
Ahora bien, por la expansion de Taylor de orden 2 de f , tenemos

para alg
un , con 0 1
p
f ( 1 e2t y + et x) f (et x) =
d p
X
k=1
1 e2t yk
d
p
f t
1 X
2f
(e x)+
(1e2t )yi yj
(et x+(1) 1 e2t y).
xk
2
xi xj
i,j=1
24

2
Luego, por la simetra de e|y| tenemos,

(
1
t d/2
Tt f f
)(x) Lf (x) =
t
d p
X
f t
[
1 e2t yk
(e x)
xk
Rd
k=1
d
p
1 X
2f
+
(et x + (1 ) 1 e2t y)
(1 e2t )yi yj
2
xi xj
i,j=1
2 |y|
dy + (
2 (x)yk ]e
k=1
d
X
2f
xk
f (et x) f (x) X f
+
xj
(x))
t
xj
j=1
d
p
X
1 1 e2t 2 f
2f
2
[ (
) 2 (et x + (1 ) 1 e2t y) 2 (x)]yk2 e|y| dy
2
t
xk
xk
Rd
1
d/2
k=1
f (et x) f (x) X f
+(
+
xj
(x)).
t
xj
j=1
Por lo tanto,
|(
1
d/2
Tt f f
)(x) Lf (x)|
t
d
p
X
1 1 e2t 2 f
2f
2
[ (
)|| 2 (et x + (1 ) 1 e2t y) 2 (x)|e|y| dy
2
t
xk
xk
Rd
k=1
f (et x) f (x) X f
|
+
xj
(x)|,
t
xj
j=1
y usando el teorema de la convergencia dominada de Lebesgue tenemos que estos terminos tienden a cero si t 0.
Como ya hemos visto la medida de Gauss d es la medida invariante
para el semigrupo de Ornstein-Uhlenbeck {Tt }, es decir
Z
Z
(3.21)
Tt f (x)d (dx) =
f (x)d (dx),
Rd
Rd
o equivalentemente
Z
Z
(3.22)
Lf (x)g(x)d (dx) =
Rd
f (x)Lg(x)d (dx);
Rd
as pues L es el Laplaciano simetrico en este contexto. Por tanto d es la

medida natural para estudiar los operadores asociados a L.
25
Por otra parte, dado f L2 (d ) definimos, su desarrollo de Hermite

como
X
X
(3.23)
f=
hf, ~h id~h ,
k=0 ||=k
donde
hf, ~h id =
f (y)~h (y)d (dy),
Rd
son los coeficientes de Fourier-Hermite.

Ahora bien, denotaremos por Ck al subespacio cerrado de L2 (d ) gener
ado por {~h : || = k}. Ck es un subespacio de dimnesion k+n1
. Entonces,
k
por la ortogonalidad de los polinomios de Hermite, tenemos que {Ck } constituyen una descomposicion ortogonal de L2 (d ) que se llama desarrollo en
Caos de Wiener o descomposici
on de Ito-Wiener de L2 (d ). Dicha
descomposicion tiene una interpretacion probabilstica muy interesante en
terminos de integrales estocasticas.
Considerando Jk : L2 (d ) Ck la proyeccion ortogonal de L2 (d ) sobre
Ck , que, para cada k, es continua y autoadjunta en L2 (d ), podemos expresar
el desarrollo de f L2 (d ) como
f=
Jk f.
k=0
Ademas, mas adelante probaremos, como consecuencia de la hipercontractividad del semigrupo de Ornstein-Uhlenbeck, que Jk tiene una extension
(restriccion) que es continua en Lp (d ) para 1 < p < .
Sabemos que el polinomio ~h es una autofuncion de dicho operador,
P
asociado al autovalor = || = di=1 i , y por tanto el espectro L2 de
L es { , 2, 1, 0}. Este coincide con el Lp -espectro para 1 < p < . 7
Por otra parte, si consideramos el dominio de L,
X
D(L) = {f L2 (d ) :
k 2 ||Jk f ||22,d < },
k=0
tenemos que la descomposicion espectral de L,
X
Lf =
(k)Jk f,
k=0
para f D(L).
Observese, ademas, que entonces el operador cuadrado de campo en Rd
es
d
1 X f
g
1
(3.24)
(f, g) =
(x)
(x) = f (x) g(x),
2
xi
xi
2
i=1
7El L1 -espectro de L es el semiplano izquierdo cerrado (v

ease Davies [26]).
26
y por tanto la forma de Dirichlet (2.27), en este caso es

Z
Z
1
(f )(x) d (dx) =
(3.25)
E (f )(x) =
|f (x)|2 d (dx),
2 Rd
Rd
cosa que por cierto, se puede probar directamente utilizando integracion por
partes.
Esta relacion dice que N = 2(L) = + 2hx, i, conocido como el
Operador de N
umero para el Oscilador Armonico de la Mecanica Cuantica,
es la forma de Dirichlet asociada a la medida Gaussiana d . 8
Dado que
Tt~h = et||~h ,
tenemos entonces la representiacion de Tt actuando en una funcion f
L1 (d )
(3.26)
Tt f =
etk Jk f.
k=0
Observese que (3.26) es equivalente a la sumabilidad Abel del desarrollo

de Hermite de f , con r = et . B. Muckenhoupt [63] y C. Calderon [22]
definieron, ambos en 1969, lo que llamaron la integral de Poisson-Hermite
de esta forma, para el caso n = 1 y n 1 respectivamente. En esa direccion
tenemos el siguiente resultado
n 3.1. (C. Calder
Proposicio
on- B. Mukenhoupt)
P
i) Si f tiene un desarrollo de Hermite f =
k=0 Jk f, entonces para
todo t 0, Tt f tiene desarrollo de Hermite
Tt f (x) =
etk Jk f (x).
k=0
ii) Si f L2 (d ) entonces k=0 etk Jk f (x) converge absolutamente a

Tt f (x) para casi todo x-d .
iii) Para
1 p < 2 existe una funci
on en Lp (d ) y t 0 tal que
P todo
tk J f (x) diverge para todo x.
k
k=0 e
Demostraci
on
i) Para x Rd fijo se tiene (vease Szego [90], pag 198) que
~ (x)| C,x !
|H
8En general, un operador H se dice que es la forma de Dirichlet para una medida
R
si verifica hHf, gi =
Rd
f (x) g(x)(dx), vease Gross [40].
27
donde C,x depende de por medio de producto de funciones

Gamma evaluadas en i y por tanto, por la desigualdad de CauchySchwartz y la formula de Stirling, obtenemos
Z
Rd
et ~
~ (y)H
~ (x)|d (dy)
|H (y)H
2 !
et 1/2 1/2 ~
(2 !) (2 !) |H (x)|
2 !
et
~ ||2, C,x !
||H
d
(2 !)1/2
~ ||2, .
C,x et ||H
d
Usando esto y el teorema de convergencia dominada de Lebesgue,

se tiene
Z
e2t (|x|2 +|y|2 )2et hx,yi
1
~ (y)d (dy)|
1e2t
|
e
H
(1 e2t )d/2 Rd
Z
X et
~ (x)H
~ (y)et ||H
~ (y)|d (dy)
|
H
!
2
Rd
X Z et
~ (y)H
~ (y)H
~ (x)|d (dy)
|H
Rd 2 !
X
~ ||2, = C||H
~ ||2, .
C
et ||H
d
d
Utilizando ahora la formula de Mehler d-dimensional podemos intencambiar entonces la serie con la integral y usar la ortogonalidad
Z
e2t (|x|2 +|y|2 )2et hx,yi
1
~ (y)d (dy)|
1e2t
|
e
H
(1 e2t )d/2 Rd
Z X ~
~ (y)
H (x)H
~ (y)d (dy)
=
(
et )H
2
!
d
R
X et Z
~ (y)H
~ (y)d (dy)H
~ (x)
H
=
!
2
d
R
~ (x).
= et H
As pues, tenemos finalmente
Z Z
1
~
~ (x)d (dx)
Met (x, y)f (y)d (dy)H
Tt f (x)h (x)d (dx) =
d
d
d
2
!
R
ZR ZR
1
~ (x)d (dx)f (y)d (dy)
=
Met (x, y)H
2 ! Rd Rd
Z
1
~ (y)d (dy)
=
et f (y)H
2 ! Rd
Z
t
= e
f (y)~h (y)d (dy)
Rd
t
= e
hf, ~h id .
28
ii) Observese que para cada multi-ndice, || > 0, tenemos

1
C,x !||f ||2,d
2 !
C ||f ||2,d .
hf, ~h id~h (x)|
Luego la sucesion {hf, ~h id~h (x)} es acotada para cada x y por

P
tk J f (x)
tanto por el Teorema M de Weierstrass, la serie
k
k=0 e
converge absolutamente para cada x. P
Dado que L2 (d ) L1 (d )
tk J f (x), luego
este
entonces por i) Tt f (x) tiene expansion
k
k=0 e
debe ser el lmite c.s.
iii) Dado el caracter multiplicativo de la medida de Gauss d , basta
verlo para el caso d = 1.Usando el contraejemplo de Pollard [76],
podemos hallar, para 1 < p < 2 una funcion, definida en Lp (1 ) y
2
tal que lim supk (hf, ~hk id |Hk (x)|p ex dx)1/n es un n
umero fijo,
mayor que 1, para cada x. Luego para r suficientemente cerca de
1, el desarrollo en serie de Tt f diverge para cada x.
La funcion maximal del semigrupo, se define como,
T f (x) = sup |Tt f (x)| .
(3.27)
t>0
Por argumentos generales para una clase muy amplia de semigrupos, vease
E. Stein [86], pag 73, se puede probar que T es Lp (d ) continuo para
1 < p . Ademas T satisface la desigualdad debil (1, 1) con respecto a
la medida d , 9 vease [83]. En consecuencia,
(3.28)
T0 f (x) = lim Tt f (x) = f (x) c.s. x Rd ,

t0+
y
Z
(3.29)
lim Tt f (x) =
Rd
f (y) dd (y) c.s. x Rd ,
para todo f L1 (Rd , d ), y por tanto para todo f Lp (Rd , d ), 1 p ,

ya que Lq (Rd , d ) Lp (Rd , d ) para p q.
Es decir, a diferencia del caso clasico del semigrupo del calor, el semigrupo de Ornstein-Uhlenbeck no decae en infinito. Esta propiedad expresa
la ergodicidad del semigrupo.
Por otra parte, tenemos
9Tambi
en se puede obtener la siguiente desigualdad puntual, [41]:
2
T f (x) Cd Md f (x) + (2 |x|)d e|x| ||f ||1,d ,

donde Md f es la funci
on maximal de Hardy-Littlewood, respecto a la medida d que
si bien s
olo da la desigualdad debil en el caso d = 1; sin embargo permite obtener los
resultados lmites, no s
olo radiales sino tambien tangenciales, vease piu
29
n 3.2. Si f Lp (d ) u(x, t) = Tt f (x) es una funci

Proposicio
on
R+ ) y es soluci
on de la ecuaci
on parab
olica
C (Rd
u
(x, t) = Lu,
t
(3.30)
(x, t) Rd R+ ,
con condici
on de frontera u(x, 0) = f (x), x Rd .
Demostraci
on
Por la teora general de semigrupos, dado que L es el generador infinitesimal
de {Tt : t 0}, se tiene que
Tt f (x)
u(x, t)
=
= LTt f (x) = Lu(x, t).
t
t
Esto tambien se puede probar haciendo los calculos directamente:
Lu(x, t) =
2et
d/2 (1 e2t )d/2+1
Z
[
Rd
det et |y et x|2
+
(y et x) x]
2
1 e2t
exp(
|y et x|2
)f (y)dy
1 e2t
u(x, t)
.
t
La condicion de frontera se verifica por (3.28).
Observaciones
i) Siguiendo los argumentos de S. Bochner [20], se puede introducir
formalmente el semigrupo de Ornstein-Uhlenbeck como solucion
de la ecuacion (3.30), de la siguiente manera. Sea f L2 (d ), con
desarrollo de Hermite
X
~ ,
a H
||0
y por tanto,
desarrollo
2
||0 (a )
< . Entonces, formalmente, Lf tiene
~ ,
||a H
||0
si ||0 ||2 (a )2 < .

Sea ahora u(x, t) una solucion de (3.30), con desarrollo de Hermite
X
~ ,
a (t)H
P
||0
30
P
y por tanto, ||0 (a (t))2 < , entonces Lu y
rollos de Hermite
X
~ ,
||a (t)H
u
t
tienen desar-
||0
y
X
~ ,
a0 (t)H
||0
P
respectivamente, y supongamos que ||0 ||2 (a (t))2 < y
P
0
2
||0 (a (t)) < .
Finalmente, por la unicidad del desarrollo de Hermite, concluimos que
||a (t) = a0 (t),
lo que es equivalente a
a (t) = a e||t .
As pues, obtenemos el desarrollo (3.1) de la Proposicion 3.1, por
lo que se concluye, de nuevo por unicidad, que necesariamente
u(x, t) = Tt f (x).
ii) Por otra parte, como se
nala S. Perez [72], otra forma de ver que
u(x, t) = Tt f (x) es solucion de (3.30) es buscando una dilatacion
apropiada que mediante la transformada de Fourier nos proporcione
u como solucion de una ecuacion diferencial de sencilla resolucion.
Sea w(x, t) = u(et x, t), se tiene entonces
wt (x, t) = et hx, x u(et x, t)i + ut (et x, t),
y
x w(x, t) = et x u(et x, t), w(x, t) = e2t u(et x, t).
De este modo w satisface la ecuacion del calor
1
wt (x, t) = e2t w(x, t).
2
Aplicando entonces la Transformada de Fourier en la variable x
obtenemos que w
cumple la ecuacion diferencial ordinaria
w
0 (, t) = 2 2 e2t |y|2 w(,
t),
de lo que se obtiene que
w(,
t) = e
2 (1e2t )|y|2
f()
y tomando Transformada de Fourier inversa concluimos que

Z
w(x, t) = Cd
Rd
|yet x|2
e 1e2t
f (y)dy.
(1 e2t )d/2
31
iii) De manera analoga a que el movimiento Browniano esta asociado al

semigrupo del calor, el proceso de Ornstein-Uhlenbeck {Xt }t0
esta asociado a {Tt }t0 . El proceso de Ornstein-Uhlenbeck es un
proceso gausssiano estacionario con covariancia (s, t) = rea|ts| ,
donde X0 es una variable aleatoria gaussiana N (0, r). Este proceso
describe el movimiento de una partcula en un medio viscoso, donde
hay una fuerza de resistencia a su desplazamiento proporcional a
su velocidad (vease Breiman [18], Cap 6). Sabemos que el proceso
se puede obtener del semigrupo utilizando (2.3) y, de acuerdo a
(2.6) el semigrupo se puede representar en trminos del proceso,
para funciones f L2 L (d ), como
(3.31)
Tt f (x) = E[f (Xt )|X0 = x].
A partir de esta representacion se pueden dar pruebas probabilisticas de las propiedades del semigrupo. Ademas (3.29) expresa la
estacionariedad y ergodicidad del proceso.
Ademas, se pueden considerar semigrupos trasladados de Ornstein()
Uhlenbeck, {Tt }t0 , para 0, que son, en efecto, trasladados del
semigrupo de Ornstein-Uhlenbeck {Tt }t0 , en el sentido que, se definen como
()
(3.32)
Tt
= et Tt .
Observese que, por tanto,

()
Tt ~h = et(||+)~h .
Ademas, su generador infinitesimal es L (Ejercicio) y si f 0, es claro

que
()
Tt f Tt f,
para todo t 0.
Estos semigrupos y sus subordinados son de utilidad para el estudio de
las funciones de Littlewood-Paley-Stein.
Finalmente, como ya hemos mencionado, por el hecho que los desarrollos
de polinomios de Hermite, en dimension uno, solo convergen en norma para
el caso p = 2 y en cambio los desarrollos en funciones de Hermite convergen
en norma p para 43 1
0
n (x) = (1)n e
x2
x2
2
dn x2
(e
).
dxn
Es claro entonces que n (x) = Hn (x)e 2 y por tanto {n } es un sistema ortogonal en

~ se definen como el
L2 (R). Adem
as, las funciones de Hermite en d variables de
producto tensorial de funciones de Hermite unidimensionales.
32
Rd , que son autofunciones del operador de Hermite

H = + |x|2 ,
asociadas al autovalor = (2|| + d).
Tenemos entonces asociado el semigrupo de Hermite , {etH } definido
en Lp (Rd ). Sin embargo, dicho desarrollo conduce a nociones del Analisis
Armonico clasico respecto a la medida de Lebesgue que se sale del ambito
de consideracion del presente trabajo.
1.1. Semigrupo de Poisson-Hermite. Estudiaremos ahora el semigrupo subordinado al semigrupo de Ornstein-Uhlenbeck. Recordemos que
en el caso clasico el semigrupo de Poisson se obtiene por subordinacion del
semigrupo del calor (vease el Apendice C) y dado que en el caso Gaussiano el
semigrupo de Ornstein- Uhlenbeck hace las veces del semigrupo del calor,
entonces resulta natural definir el semigrupo de Poisson-Hermite como
el semigrupo subordinado del semigrupo de Ornstein-Uhlenbeck . Es decir,
mediante la f
ormula de subordinaci
on de Bochner, vease E. Stein [85],
Z u
e
1
2
e /4u du,
(3.33)
e =
0
u
definimos entonces
Z u
e
1
Tt2 /4u f (x)du
Pt f (x) =
0
u
t2 /4u
=
(3.34)
(n+1)/2
1
2 (n+1)/2
t2 /4u
tomando r = e
(3.35)
Rd
Rd
eu
u (1
1e
et2 /2u )d/2
duf (y)dy
|yrx|2
exp(t2 /4 log r) exp( 1r2 ) dr

f (y)dy,
t
( log r)3/2 (1 r2 )d/2 r
. Escribimos
Z
Pt f (x) =
P (t, x, y)f (y)dy,
Rd
con
Z
P (t, x, y) =
(3.36)
exp( |ye t2 /2ux| )
|yrx|2
exp(t2 /4 log r) exp( 1r2 ) dr

t
( log r)3/2 (1 r2 )d/2 r
2 (n+1)/2 0
Z 1
=
T (t, r)M( log r) (x, y)dr
0
donde Mt (x, y) es el n
ucleo de Mehler considerado en (3.11) y
1 t exp(t2 /4logr) 1
.
2 1/2 (logr)3/2 r
Luego, tenemos que Pt se puede representar tambien como
Z 1
(3.37)
Pt f (x) =
T (t, r)T( log r) f (x)dr.
T (t, r) =
33
Vale la pena notar que la definicion que hemos dado del semigrupo de
Poisson- Hermite difiere en una constante de la definida por Muckenhoupt
[63] para d = 1, dado que en ese caso
T (t, r) =
t exp(t2 /2logr)
1
,
(2)1/2 r(logr)3/2
lo que implica relaciones esencialmente analogas pero con diferentes constantes.

La subordinacion del semigrupo de Poisson-Hermite se puede expresar,
1/2
en forma alternativa, de la siguiente manera. Sea t la medida de Borel
en [0, ) tal que su transformada de Laplace verifica
Z
1/2
1/2
es t (ds) = e t .
0
1/2
Es facil ver que las medidas {t } forman un semigrupo bajo la operacion de convolucion de medidas [32]. Adema
s, mediante la formula de
subordinacion de Bochner (3.33) (tomando = t y el cambio de variable
1/2
t2
s = 4u
), se puede hallar la expresion explcita de la medida t :
t
2
1/2
t (du) = et /4u u3/2 du.
2
Entonces {Pt } se puede definir, en forma totalmente analoga, como
Z
1/2
(3.38)
Pt f (x) =
Ts f (x)t (ds).
0
El semigrupo de Poisson-Hermite {Pt } es un semigrupo conservativo,

simetrico, fuertemente continuo de contracciones positivas en Lp (d ),1
p < , cuyo generador infinitesimal es (L)1/2 . Mas precisamente
Teorema 3.2. La familia de operadores {Pt : t 0} satisface las siguientes propiedades:
i) Propiedad de semigrupo: Para todo t1 , t2 0, Pt1 +t2 = Pt1 Pt2 .
ii) Propiedad de conservaci
on y positividad: Pt 1 = 1 y si f 0 entonces para todo t 0, Pt f 0.
||Pt f ||p,d ||f ||p,d .
f Lp (d ) la aplicaci
on t Pt f es continua de [0, ) en Lp (d ).
v) Para todo t 0, Pt es un operador autoadjunto en L2 (d ), es decir:
Z
Z
Pt f (x)g(x)d (dx) =
f (x)Pt g(x)d (dx).
Rd
Rd
vi) Generador infinitesimal: (L)1/2 es el generador infinitesimal de

{Pt : t 0}, es decir:
34
(3.39)
lim
t0
Pt f f
= (L)1/2 f.
t
Demostraci
on
Estos resultados son immediatos de los obtenidos en el Teorema 3.1 para
{Tt : t 0} debido a la formula de subordinacion.
Observese que debido a que el semigrupo de Poisson-Hermite es el subordinado del semigrupo de Ornstein-Uhlenbeck entonces, del hecho que
(L)1/2 es el generador infinitesimal , tenemos que Pt puede ser definido
1/2
en sentido espectral como et(L) y, por tanto, es claro que
(3.40)
Pt~h = et ||~h ,
por tanto, tenemos
n 3.3. (B. Muckenhoupt)
Proposicio
P
i) Si f tiene un desarrollo de Hermite f =
k=0 Jk f, entonces para
todo t 0, Pt f tiene desarrollo de Hermite
(3.41)
Pt f =
et
Jk f.
k=0
t k J f (x)
k
k=0 e
ii) Si f L2 (d ) entonces
a Pt f (x) casi siempre x.
converge absolutamente
Demostraci
on
i) Tenemos, por analogos argumentos a los dados en la Proposicion
3.1, y la formula de subordinacion (3.33)
Z
Z Z 1
~
Pt f (x)h (x)d (dx) =
(
T (t, r)T( log r) f (x)dr)~h (x)d (dx)
Rd
Rd 0
Z 1Z
=
T( log r) f (x)~h (x)d (dx)T (t, r)dr
0
Rd
Z 1
~
= hf, h id
r T (t, r)dr
= et
hf, ~h id .
ii) De nuevo, como la sucesion {hf, ~h id~h (x)} es acotada para

cada
P tk
x, por el Teorema M de Weierstrass la serie
Jk f (x)
k=0 e
2 ( ) L1 ( )
converge absolutamente para cada x. Dado que L
d
d
P tk
entonces por i) Pt f (x) tiene expansion
Jk f (x), luego
k=0 e
este debe ser el lmite c.s .
35
B. Muckenhoupt obtuvo este resultado para el caso d = 1, vease [63].

El operador maximal del semigrupo
P f (x) = sup |Pt f (x)|
(3.42)
t>0
satisface la desigualdad debil (1, 1) con respecto a la medida d , cosa que

se deduce de manera inmediata del hecho de ser el semigrupo de PoissonHermite un semigrupo subordinado, vease [43].
En consecuencia,
(3.43)
P0 f (x) = lim Pt f (x) = f (x) c.s. x Rd ,

t0+
y
Z
(3.44)
lim Pt f (x) =
Rd
f (y) dd (y) c.s. x Rd ,
para todo f Lp (Rd , d ), 1 p .

Es decir, de nuevo, a diferencia del caso clasico del semigrupo del calor,
el semigrupo de Poisson-Hermite no decae en infinito.
n 3.4. Si f Lp (d ) u(x, t) = Pt f (x) es una funci
Proposicio
on
d
C (R+ R ) y es soluci
on de la ecuaci
on elptica
2u
(x, t) + Lu = 0, (x, t) Rd R+ ,
t2
con condici
(3.45)
Es decir, u(x, t) = Pt f (x) satisface la ecuacion:

(3.46)
2u
(x, t) + x u(x, t) 2x 5x u(x, t) = 0,
t2
diremos entonces que u es
2
t2
+ L-arm
onica.
Demostraci
on
Por la teora general de semigrupos, dado que (L)1/2 es el generador infinitesimal de {Pt : t 0}, se tiene que
2u
(x, t) =
t2
Pt f (x)
[
]
t
t
[(L)1/2 Pt f (x)] = (L)1/2 [ Pt f (x)]

=
t
t
= (L)1/2 [(L)1/2 Pt f (x)]
= Lu(x, t).
De forma alternativa, suponiendo en primer lugar que f L2 (d ), como la

sucesion {hf, ~h id~h (x)} es acotada para cada x, sabemos que
Pt f (x) =
X
k=0
t k
Jk f (x) =
X
k=0
et
X
||=k
fH ()~h (x)
36
converge absolutamente para cada x y por tanto podemos derivar termino

a termino. Ahora bien como los polinomios de Hermite son autofunciones
de L tenemos
X
2 Pt f
et k X
~ (x) k H
~ (x)] = 0.
fH ()[k H
(x) + LPt f (x) =
t2
(2k k!)1/2
||=k
k=0
Esto implica que el n

ucleo P (t, x, y) verifica tambien la ecuacion y, por tanto,
para cualquier f en general. La diferenciacion bajo el signo de integral estan
justificadas mostrando que las derivadas del n
ucleo estan acotadas en y para
t y x en un entorno de (t0 , x0 ) y esto es facil de verificar estimando las
derivadas de T (t, r)M( log r) (x, y) e integrando respecto a r.
La condicion de frontera se verifica por (3.43).
As pues u(x, t) = Pt f (x), a la que llamaremos tambien Integral de
2
Poisson-Hermite, se puede pensar como la extension t
onica
2 + L-arm
(n+1)
de una funcion f en Rd al semiplano R+

. Como en el caso clasico, de
las funciones armonicas del disco o del semiplano Rd+1
+ , se puede plantear
tambien en este contexto el problema de la caracterizacion de funciones
(d+1)
2
+ L-armonicas en el semiplano R+ , que son integrales de Poissont2
Hermite de funciones en Rd . El resultado es esencialmente analogo al caso
clasico, vease [33].
El caso del semigrupo de Poisson-Hermite puede ser generalizado a una
familia de semigrupos obtenidos del semigrupo de Ornstein-Uhlenbeck, por
una f
ormula generalizada de subordinaci
on. Sea t la medida de Borel
en [0, ) tal que su transformada de Laplace verifica,
Z
(3.47)
es t (ds) = e t ,
0
con 0 < < 1.

Las medidas t son medidas de probabilidad, que se llaman medidas
estables en [0, ) (unilaterales) de orden y forman un semigrupo, indiciado en , bajo la operacion de convolucion de medidas, vease [32]. Definimos
entonces el semigrupo de Poisson-Hermite generalizado de orden ,
{Qt } mediante la formula
Z
(3.48)
Pt f (x) =
Ts f (x)t (ds).
0
Analogamente al caso = 1/2, se puede probar que, en general, {Pt }t es

un semigrupo conservativo, simetrico, fuertemente continuo de contracciones
positivas en Lp (d ),1 p < , cuyo generador infinitesimal es (L) . Se
tiene
(3.49)
Pt~h = et|| ~h ,
P
P tk
por tanto, si f =
Jk f.
k=0 Jk f entonces Pt f =
k=0 e
2. SEMIGRUPO DE LAGUERRE.
37
(k)
Finalmente, asociados a la familia de semigrupos trasladados {Tt }

(k)
definidos en (3.32), tenemos asociados sus semigrupos subordinados {Pt },
definidos mediante la formula de subordinacion de Bochner, que llamaremos
Semigrupos de Poisson-Hermite trasladados. Por lo tanto
(k)
Pt ~h = et ||+k~h ,
(k)
ademas, si f 0, es claro que Pt f Pt f para todo t 0.

2. Semigrupo de Laguerre.
Consideremos el espacio de probabilidades (R+ , B(R+ ), ) siendo R+ =
(0, ) y
(3.50)
(dx) =
(x) x ex dx,
( + 1) (0,)
la medida gamma en R+ , definida sobre B(0, ), los Borelianos de (0, ).11

Consideremos los polinomios de Laguerre (normalizados) {ln } 12 que son
los polinomios ortogonales respecto a , ,
Z
l (x)l (x) (dx) = n,m .
n
m
(0,)
on
Los polinomios de Laguerre {ln } son soluciones polinomiales de la ecuaci
de Laguerre,
x(ln (x))00 + ( + 1 x)(ln (x))0 + nln (x) = 0,
o equivalentemente, para cada n N, ln es autofuncion del operador de
Laguerre (unidimensional)
d2
d
+ ( + 1 x) ,
dx2
dx
asociada al autovalor n = n. Ademas L es una difusion dado que es un
operador diferencial de segundo orden con termino constante cero.
Usando la formula de Hille-Hardy (B.26), tenemos entonces que el semigrupo de Markov en este caso tiene la forma
X
Pt (x, dy) =
ent ln (x)ln (y) (dy)
L = x
p
(x+y)et
C
2
xyet
1
t
/2
1et (xye
e
)
J
(
)
y ey dy.
1 et
1 et ( + 1)
11Consideramos normalizada adecuadamente de forma que sea una probabilidad
sobre R+ , esta normalizacion no es usual en la Teora de Polinomios Ortogonales.

12Obs
ervese que estos polinomios difieren de los polinomios normalizados {ln }, considerados en el Apendice B, en una constante debido a la normalizaci
on de la medida.
38
El semigrupo de operadores definido sobre las funciones Borel-medibles

en (0, ), positivas o acotadas, que denominaremos semigrupo de Laguerre se define entonces como
(3.51)
p
Z (x+y)et
C
2
xyet
t
/2
t
1e
Tt f (x) =
e
(xye
)
J
(
)f (y) (dy).
1 et 0
1 et
1 d2 (f g)
d(f g)
d2 g
(x)
+
(
+
1
x)
(x)
[x
(x)
xf
(x)
2
dx2
dx
dx2
dg
d2 f
df
( + 1 x)f (x) (x) xg(x) 2 (x) ( + 1 x)g(x) (x)]
dx
dx
dx
dg
df
= x (x) (x),
dx
dx
(f, g)(x) =
y por tanto
df
(x))2 .
dx
(3.53)
1 d2 f
dg
df
d2 g
d2 f
d2 g
df
dg
2 (f, g)(x) = [x 2 (x) (x)+x (x) 2 (x)+2x2 2 (x) 2 (x)+(+1+x) (x) (x)].
2 dx
dx
dx
dx
dx
dx
dx
dx
(Ejercicio)
En el caso de los polinomios de Laguerre tenemos que las posibles sucesiones de Markov {ck } estan dadas por la formula
Z 1
(3.54)
ck =
xk (dx),
(3.52)
(f )(x) = (f, f )(x) = x(
donde es una medida de probabilidad en [0, 1] y las posibles sucesiones

Z 1
1 xk
(dx),
(3.55)
k = k +
0 1x
[0, 1). Para los detalles de la demostracion vease [13].
De nuevo, por el argumento de tensorizacion y usando la formula de
Hille-Hardy d-dimensional13, tenemos que para = (1 , 2 , , d ), i >
1 el semigrupo de Laguerre {T }t0 en Rd+ = (0, )d esta definido como,
(3.56)
Tt f (x)
13V
ease Apendice B.
Z
=
Rd+
Gt (x, y)f (y) d (dy),
2. SEMIGRUPO DE LAGUERRE.
39
donde
Gt (x, y) =
d
Y
i=1

C
et
exp
(xi + yi ) (et xi yi ) i /2 Ji
1 et
1 et
!
p
2 et xi yi
,
1 et
y
d (dx)
(3.57)
d
Y
i=1
xi i exi
dx,
(0,) (xi )
(i + 1)
Rd+ ,
es la medida gamma en
que por tanto es la medida invariante para este
semigrupo.
El n
ucleo Gt (x, y) es suave y estrictamente positivo para (t, x, y)
2n+1
R+ . Usando las estimaciones de B. Muckenhoupt [63] para J es facil
probar que la integral en (3.56) es absolutamente convergente.
De nuevo, por el desarrollo dado en el Captulo 1 para semigrupos de
Markov, tenemos que el semigrupo de Laguerre {Tt } es un semigrupo de
difusion, conservativo, simetrico, fuertemente Lp continuo de contracciones
positivas en Lp (d ), con generador infinitesimal el operador diferencial
de Laguerre en Rd+ .

d
X
2
(3.58)
L =
xi 2 + (i + 1 xi )
,
xi
xi
i=1
que por tanto es simetrico en L2 (Rn+ , d ).

En particular, tenemos que Tt 1 = 1 y
kTt f kp,d kf kp,d ,
1 p .
La funcion maximal del semigrupo, se define como

T , f (x) = sup |Tt f (x)|
(3.59)
t>0
E. Stein [86], pag 73, se puede probar que T , es Lp (d ) continuo para
1 < p . Ademas T , satisface la desigualdad debil (1, 1) con respecto
a la medida d , vease [27].
En consecuencia,
(3.60)
T0 f (x) = lim Tt f (x) = f (x) c.s. x Rd+ ,

t0+
y
(3.61)
lim
Tt f (x)
Z
=
Rd+
f (y) d (dy) c.s. x Rd+ ,
para todo f L1 (Rd+ , d ), y por tanto para todo f Lp (Rd+ , d ), 1 p

d , d ) para p q. Desde el punto de vista
, ya que Lq (Rd+ , d ) Lp (R+
probabilstico la propiedad de Tt f cuando t reflejan la ergodicidad

del semigrupo de Laguerre.
40
Mas a
un, si f Lp (Rd+ , d ), 1 p , entonces u(x, t) = Tt f (x) es
C (Rd+ R+ ) y satisface la ecuacion parabolica,
u
(x, t) = L u(x, t),
t
(3.62)
con condicion de frontera u(x, 0) = f (x), x Rd+ . Observese que en este

caso la condicion de frontera esta incompleta ya que falta el dato de frontera
u(0, t), t 0.
es
(f, g) =
(3.63)
d
X
i=1
xi
g
f
(x)
(x),
xi
xi

Z
(3.64)
E (f )(x) =
Rd+
d
X
f
(x)|2 ] d (dx).
[
xi |
xi
Rd+
(f )(x)d (dx)
i=1
Cada polinomio de Laguerre ~l es una autofuncion de L con autovalor

||. Mas a
un, {~l : Nd } es una base ortonornal de L2 (Rn+ , ), por tanto
tenemos una descomposicion ortogonal
L2 (Rd+ , d ) =
Ck ,
k=0
donde Ck es el subespacio cerrado generado por {~l : || = k}. Ck es un

. Esta descomposicion se llama descomsubespacio de dimension k+n1
k
posici
on de Wiener-Laguerre. Por tanto, dado f L2 (Rd+ , d ), con
desarrollo
X
f=
hf, ~l i ~l ,
Nd
donde los coeficientes de Fourier-Laguerre estan dados por

Z
~
hf, l i =
f (y)~l (y)d (dy),
Rn
+
considerando Jk : L2 (Rd+ , d ) Ck la proyeccion ortogonal de L2 (Rd+ , d )

sobre Ck , que claramente es, para cada k, continua y autoadjunta en L2 (Rd+ , d ),
podemos expresar entonces el desarrollo de f L2 (Rd+ , d ) como
f=
X
k=0
Jk f.
3. SEMIGRUPO DE JACOBI.
41
Tenemos entonces que el operador de Laguerre L tiene la siguiente

descomposicion espectral
L =
(3.65)
(k)Jk f,
k=0
L2 ((0, )d ,
),
con dominio D(L ) dado por
D(L ) = {f L2 ((0, )d , d ) :
(k)||Jk f ||22,d < },
k=0
y el semigrupo de Laguerre se representa como,

Tt f =
etk Jk f.
k=0
De nuevo, podemos definir el semigrupo de Poisson-Laguerre, {Pt }

como el semigrupo subordinado del semigrupo de Laguerre y semigrupos de
Poisson-Laguerre generalizados de orden . Las propiedades de estos semigrupos son esencialmente analogas a las estudiadas anteriormente en el caso
Hermite, por lo que remitimos a estas para los detalles. B. Muckenhoupt
considero el semigrupo de Laguerre y de Poisson-Laguerre para el caso d = 1,
vease [63].
El proceso de Markov asociado al semigrupo de Laguerre {Tt } se llama
proceso de Laguerre, ha recibido cierta atencion en Probabilidades vease
[49], y recientemente ha resultado de interes por sus aplicaciones in Matematicas
financieras [54]. Ademas (3.61) expresa la estacionariedad y ergodicidad del
proceso [2].
3. Semigrupo de Jacobi.
Consideremos el espacio de probabilidades ((1, 1), B((1, 1)), , ) siendo
(3.66)
, (dx) =
(x)(1 x) (1 + x) dx,
2++1 B( + 1, + 1) (1,1)
la medida de Jacobi en (1, 1), definida sobre B((1, 1)), los Borelianos
de (1, 1), siendo B(z, w) las funcion Beta, vease el Apendice A. 14
(,)
Consideremos los polinomios de Jacobi (normalizados) {
pn } 15 que
son los polinomios ortogonales respecto a , , (vease Apendice B),
Z 1
p(,)
(x)
p(,)
(x), (dx) = n,m .
n
m
1
14Consideramos
, normalizada adecuadamente de forma que sea una probabilidad
sobre (1, 1), esta normalizacion no es usual en la Teora de Polinomios Ortogonales.
(,)
15Obs
ervese que estos polinomios difieren de los polinomios normalizados {pn },
considerados en el Apendice B, en una constante debido a la normalizaci
on de la medida.
42

(,)
Los polinomios de Jacobi {

pn
de Jacobi,
} son soluciones polinomiales de la ecuaci

on
00
0
(1x2 )(
p,
p,
p
n (x)) +(+1(++2)x)(
n (x)) +n(n+++1)
n (x) = 0,
o equivalentemente, para cada n N, p,

on del operador de
n es autofunci
Jacobi (unidimensional)
L, = (1 x2 )
d2
d
+ ( + 1 ( + + 2)x) ,
2
dx
dx
asociada al autovalor n = n(n + + + 1). Ademas L, es una difusion

dado que es un operador diferencial de segundo orden con termino constante
cero.
Tenemos entonces que el semigrupo de Markov en este caso tiene la
forma
X
Pt (x, dy) =
en(n+++1)t p(,)
(x)
p(,)
(y), (dy)
n
n
n
(,)
= p
(t, x, y) , (dy).
Lamentablemente no se conoce una representacion explcita de p(,) (t, x, y).

El principal obstaculo es que los autovalores n no estan linealmente distribuidos. Sin embargo es claro, por el desarrollo dado en el captulo 1 que
p(,) (t, x, y) es un n
ucleo positivo.
As pues el semigrupo de operadores definido sobre las funciones Borelmedibles en (1, 1), positivas o acotadas, que denominaremos semigrupo
de Jacobi se define entonces como
Z 1
(3.67)
Tt, f (x) =
p, (t, x, y)f (y), (dy).
1

d2 (f g)
d(f g)
1
[(1 x2 )
(x) + ( + 1 ( + + 2)x)
(x)
2
2
dx
dx
d2 g
dg
(1 x2 )f (x) 2 (x) ( + 1 ( + + 2)x)f (x) (x)

dx
dx
2f
d
df
(1 x2 )g(x) 2 (x) ( + 1 ( + + 2)x)g(x) (x)]

dx
dx
dg
2 df
= (1 x ) (x) (x),
dx
dx
, (f, g)(x) =
y por tanto
(3.68)
, (f )(x) = , (f, f )(x) = (1 x2 )(
df
(x))2 .
dx
43

d2 f
d2 g
d2 f
dg
df
d2 g
(x) 2 (x) 2x(1 x2 )( 2 (x) (x) +
(x) 2 (x))
2
dx
dx
dx
dx
dx
dx
df
dg
+((1 x2 )(2 + 2 + 3) 2x( + 1 ( + + 2)x) (x) (x).
dx
dx
2 2
,
2 (f, g)(x) = 2(1 x )
(Ejercicio)
En el caso de los polinomios de Jacobi tenemos que las posibles sucesiones
de Markov {ck } estan dadas por la formula
Z 1
1
Pk, (x) (dx),
(3.69)
ck = ,
Pk (1) 1
donde es una medida de probabilidad en (1, 1) y las posibles sucesiones
Z 1 ,
Pk (1) Pk, (x)
(3.70)
k = k(k + + + 1) +
(dx),
1x
1
(1, 1). Esto fue probado por G. Gasper [34] y [35], extendiendo un resultado de Bochner [20], en el caso de los polinomios ultresfericos. Siendo el
caso mas sencillo, por tener los polinomios de Jacobi una buena estructura
de convolucion, vamos a dar una idea de la prueba. Gasper [34] probo,
usando una relacion integral entre funciones de Bessel y las funciones hipergeometricas ([99], p. 413), que para > 1/2 y 1/2, la serie
K , (x, y, z) =
(3.71)
X
p, (x)p, (y)p, (z)
k
k=0
p,
k (1)
16
Por construccion este n
ucleo es
es convergente en L2 (3
, ) y positiva.
simetrico y por ortogonalidad tiene integral 1 respecto a cualquiera de las
variables. Luego tenemos una f
ormula producto para los polinomios de
Jacobi 17
Z 1
,
,
,
Pn (x)Pn (y) = Pn (1)
Pn, (z)K , (x, y, z) , (dz),
1
y
Z
Pk
Pk
,
,
p,
(x, y, z) , (dx) , (dy) = n,k
n (x)pk (y)K
p,
k (z)
p,
k (1)
16Gasper trabaja con otra normalizaci

on de los polinomios de Jacobi, Rk, (x) =
(x)
(1)
, sin embargo la expresi

on del n
ucleo (3.71) que damos es equivalente a la consid-
erada por el.

17A partir de la f
ormula producto se puede definir el operador translaci
on para los
polinomios de Jacobi y con el entonces se define una noci
on de convoluci
on sobre L1 (, )
tal que con esa noci
on de convoluci
on los coeficientes de Fourier-Jacobi verifican:(f
g) (k) = f(k)
g (k), vease R. Askey y S. Wainger [7] y G. Gasper [34].
44
(Ejercicio).
El n
ucleo K , permite definir una convolucion para medidas de probabilidad,
Z Z
1 2 (dz) = (
K , (x, y, z)1 (dx)2 (dy)), (dz).
Esta convolucion es conmutativa y 1 es el elemento identidad
1 = .
Esto se puede ver directamente cuando tiene una L2 (, )-densidad f
respecto de , . El hecho que el resultado es una medida de probabilidad
es consecuencia del hecho que la integral de n
ucleo K , respecto de z es 1.
(Ejercicio)
Podemos tambien definir la convolucion entre una medida y una funcion
integrable f , identificando la funcion f con la medida, no necesariamente
positiva, f (y), (dy),
Z Z
f (dz) = (
K , (x, y, z)(dx)f (y), (dy)), (dz).
Tenemos entonces 1 f = f .
Si es una medida acotada, entonces Pn, = cn Pn, , donde
Z 1
1
cn = ,
Pn, (y)(dy),
Pn (1) 1
ya que
Z Z
,
Pn (dz) = (
K , (x, y, z)(dx)Pn, (y), (dy)), (dz)
Z Z X
,
,
p,
k (x)pk (y)pk (z)
](dx)Pn, (y), (dy)), (dz)
= (
[
,
(1)
p
k
k=0
Z ,
,
pn (x)Pn (z)
= (
(dx)), (dz)
p,
n (1)
Z
1
= ( ,
Pn, (x)(dx))Pn, (z), (dz).
Pk (1)
Si consideramos ahora T un operador de Markov (2.29), simetrico respecto
a , , tal que
(3.72)
T Pk, = ck Pk, ,
entonces podemos definir la accion de T sobre las medidas de probabilidad

y se puede probar que
T (1 2 ) = T (1 ) 2 = 1 T (2 ).
45
Para ver esto podemos restringirnos al caso que 1 y 2 tienen L2 (, )densidades respecto de , ; y en este caso esto es inmediato de verificar
sobre la base {Pk, } de L2 (, ), usando (3.72).
Por lo tanto, dado que
T f = T (1 f ) = T (1 ) f,
tenemos que la medida de probabilidad = T (1 ), nos da entonces la representacion para sucesiones de Markov deseada.
La representacion para las sucesiones generadoras de Markov, es un teorema de representacion de Levy-Kintchine, y es inmediato del resultado de
representacion para sucesiones de Markov, ya que entonces para cada t > 0
existe una medida de probabilidad t tal que
Z
ek t = xk t (dx).
Si definimos la convolucion de medidas en [1, 1] por
Z
1 2 (f ) = f (xy)1 (dx)2 (dy),
entonces {t } es un semigrupo de convolucion de medidas de probabilidad y
el resultado se obtiene de un de un teorema de Analisis Armonico en grupos.
De nuevo, por el argumento de tensorizacion, tenemos que para =
(1 , 2 , , d ), = (1 , 2 , , d ) i , i > 1, el semigrupo de Jacobi
{T , }t0 en (1, 1)d esta definido como,
Z
,
(3.73)
Tt f (x) =
G(,) (t, x, y) d, (dy),
(1,1)d
donde
(3.74)
(,)
(t, x, y) =
d
Y
p(i ,i ) (t, xi , yi ),
i=1
y
(3.75)
d, (dx) =
d
Y
2i +i +1 B(i
i=1
+ 1, i + 1)
(1,1) (xi )(1 xi )i (1 + xi )i dxi .
Por el desarrollo dado en el Captulo 1 para semigrupos de Markov,

tenemos que el semigrupo de Jacobi {Tt, } es un semigrupo de difusion,
conservativo, simetrico, fuertemente Lp continuo de contracciones positivas
en Lp ((1, 1)d , d, ), con generador infinitesimal el operador diferencial
46
de Jacobi en (1, 1)d ,

d
2
X
,
2
(3.76)
L
=
(1 xi ) 2 + (i i (i + i + 2) xi )
,
xi
xi
i=1
que por tanto es simetrico en L2 ((1, 1)d , d, ) y que es un operador con
importantes aplicaciones en Geometra Diferencial.
En particular, tenemos que Tt, 1 = 1 y
kTt, f kLp (d
, )
kf kLp (d
, )
1 p .
La funcion maximal del semigrupo, se define como

(3.77)
T ,, f (x) = sup Tt, f (x)
t>0
E. Stein [86], pag 73, se puede probar que T ,, es Lp (d ) continuo para
1 < p . Por tanto se puede probar que
(3.78)
T0 f (x) = lim Tt, f (x) = f (x) c.s. x (1, 1)d ,

t0+
y
(3.79)
lim T , f (x)
t t
Z
=
(1,1)d
f (y) d (dy) c.s. x (1, 1)d ,
para todo f L1 ((1, 1)d , d, ), y por tanto para todo f Lp ((1, 1)d , d, ), 1
p , ya que Lq ((1, 1)d , d, ) Lp ((1, 1)d , d, ) para p q.
Mas a
un, si f Lp ((1, 1)d , d, ), 1 p , entonces u(x, t) =
Tt, f (x) es C ((1, 1)d R+ ) y satisface la ecuacion parabolica,
(3.80)
u
(x, t) = L, u(x, t),
t
con condicion de frontera u(x, 0) = f (x), x (1, 1)d . Observese que en

este caso la condicion de frontera esta, de nuevo, incompleta ya que falta el
dato de frontera u(1, t), t 0 y u(1, t), t 0
es
(3.81)
, (f, g) =
d
X
i=1
(1 x2i )
g
f
(x)
(x),
xi
xi

(3.82)
Z
Z
d
X
f
E (f )(x) =
(f )(x)d, (dx) =
[ (1x2i )|
(x)|2 ]d, (dx).
x
d
d
i
(1,1)
(1,1)
i=1
47
(,)
Cada polinomio de Jacobi normalizado p~

es una autofuncion de L,
Pd
con autovalor [ i=1 i (i + i + i + 1)].

d
(,)
2 ~ (,)
X
P~
, (,)
2 p
L p~
(x) =
(1 xi )
(x) + (i i (i + i + 2) xi )
(x)
xi
x2i
i=1
d
X
= [
i (i + i + i + 1)]P~(,) (x).
i=1
De nuevo, podemos definir el semigrupo de Poisson-Jacobi, {Pt, }

como el semigrupo subordinado del semigrupo de Jacobi y semigrupos de
Poisson-Jacobi generalizados de orden . Las propiedades de estos semigrupos son esencialmente analogas a las estudiadas anteriormente en el caso
Hermite, por lo que remitimos a estas para los detalles, vease tambien [71].
(,)
Por otra parte, como {~
p
: Nd } es una base ortonormal de
2
d
d
L ((1, 1) , , ), tenemos una descomposicion ortogonal
2
L ((1, 1)
, d, )
Ck, ,
k=0
(,)
: || = k}. Ck,
donde Ck, es el subespacio cerrado generado por {P~

. Esta descomposicion se llama dees un subespacio de dimension k+n1
k
scomposici
on o caos de Wiener-Jacobi. Por tanto, dado f L2 ((1, 1)d , d, ),
con desarrollo
X
hf, p~(,) id p~(,) ,
f=
,
Nd
donde los coeficientes de Fourier-Jacobi estan dados por

Z
(,)
hf, p~
id =
f (y)~
p(,) (y)d, (dy),
,
(1,1)n
considerando Jk, : L2 ((1, 1)d , d, ) Ck la proyeccion ortogonal de

L2 ((1, 1)d , d, ) sobre Ck, , que claramente es, para cada k, continua y
autoadjunta en L2 ((1, 1)d , d, ), podemos expresar entonces el desarrollo
de f L2 ((1, 1)d , d, ) como
(3.83)
f=
Jk, f.
k=0
Tenemos entonces que el operador L, tiene la siguiente descomposicion

espectral
(3.84)
d
X X
f=
[
i (i + i + i + 1)] < f, p~(,) >d
||0 i=1
p~(,) ,
48
f L2 ((1, 1)d , d, ), con dominio D(L, ) dado por

D(L, ) = {f L2 ((1, 1)d , d, ) :
d
X X
[
i (i + i + i + 1)]2 | < f, p~(,) >d
|2 < },
||0 i=1
y el semigrupo de Jacobi se representa entonces como

Pd
X
e[ i=1 i (i +i +i +1)]t < f, p~(,) >d
(3.85)
Tt, f =
p~(,) ,
||0
f L2 ((1, 1)d , d, ), t 0.
Lamentablemente, debido a la no linealidad de los autovalores, ni la
descomposicion de L, ni la representacion de Tt, se pueden escribir en
terminos de las proyecciones Jk, . Sin embargo, se puede consider una
descomposicion de Wiener-Jacobi modificada, vease [16], que si nos permite
escribir L, , Tt, y Pt, en terminos de proyecciones y que esta dada de
la siguiente manera. Sea
(
)
d
X
R, = r R+ : there exists (1 , . . . , n ) Nd , with r =
i (i + i + i + 1) .
i=1
Entonces R, es un subconjunto numerable de R+ , por lo que se puede

escribir como R, = {rn }
n=0 con r0 < r1 < y sea
(
)
d
X
,
d
An = = (1 , . . . , d ) N :
i (i + i + i + 1) = rn ,
i=1
el subespacio cerrado de L2 ([1, 1]d , d, ) generado por

considerando G,
n
las combinaciones lineales {~
p, : A,
n }, tenemos entonces
(3.86)
L ([1, 1]
, d, )
G,
n .
n=0
Denotando Jk, : L2 ((1, 1)d , d, ) Ck la proyeccion ortogonal de L2 ((1, 1)d , d, )

sobre G,
se tiene entonces que
k
(3.87)
f=
Jk, f
k=0
donde
Jk, f =
X
A,
k
f()~
p(,)
49
y por tanto tenemos

L, f =
(3.88)
Tt, f =
(3.89)
(rn )Jn, f,
n=0
ern t Jn, f,
n=0
Pt, f =
(3.90)
rn t
Jn, f.
n=0
Finalmente, en la literatura lo que se ha estudiado con cierto detenimiento es lo que se llama la integral de Poisson-Jacobi, para mas detalles vease [25] o [55]. 18 Definimos la integral de Poisson-Jacobi para
f con desarrollo de Jacobi
,
X
(,) Pk (cos 2)
,
(3.91)
f () =
f (k)k
Pk, (1)
k=0
donde
f(k) =
/2
f ()
0
y
(,)
= k
Pk, (cos 2)
Pk, (1)
, (d)
Pk,
k2
2
,
Pk (1)
= 21
(2k + + + 1)(k + + + 1)(k + + 1)

( + 1)( + 1)(k + + 1)(k + 1)
como
(3.92)
,
(,) Pk (cos 2)
=
f (r, ) =
r f (k)k
Pk, (1)
k=0
2k
/2
f ()P (,) (r, , ), (d),
donde
(3.93)
P (,) (r, , ) =
X
k=0
,
,
(,) Pk (cos 2) Pk (cos 2)
,
Pk, (1)
Pk, (1)
r2k k
es el n
ucleo de Poisson-Jacobi o simplemente n
ucleo de Poisson.
(,)
No existe una expresion sencilla para P
(r, , ). W. N. Bailey ([8],
pag 102) obtuvo la siguiente descripcion,
P (,) (r, , ) =
( + + 2)(1 r2 )
2++2 ( + 1)( + 1)(1 + r2 )++2

1
1
a2 b2
F4
( + + 2), ( + + 3); + 1, + 1; 2 , 2 ,
2
2
k k
18En su tesis de maestra, E. Navas [69] hace un estudio detallado de la integral de
Poisson-Jacobi y de su conjugada.
50
donde a = sin sin , b = cos cos , y k = 12 (r1/2 +r1/2 ), y F4 es la funcion

hipergeometrica de Appell en dos variables,
X X ()m+n ()m+n
(3.94)
F4 (, ; , 0 ; x, y) =
xd y m .
0)
m!n!()
(
m
n
n m
El proceso de Markov asociado al semigrupo de Jacobi {Tt, } se llama
proceso de Jacobi, y ha recibido cierta atencion en Probabilidades, vease
[49]. Ademas (3.79) expresa la estacionariedad y ergodicidad del proceso,
vease [2].
CAPTULO 4
La propiedad Hipercontractiva y las desigualdades

funcionales.
1. La propiedad hipercontractiva del semigupo de
Ornstein-Uhlenbeck y la desigualdad logartmica de Sobolev.
Vamos a discutir ahora en detalle el hecho que el semigrupo de OrnsteinUhlenbeck no es solo contractivo, es decir un semigrupo de contracciones,
sino que es tambien hipercontractivo (vease [70]). La propiedad de hipercontractividad de {Tt } fue probada inicialmente por E. Nelson [70], en el
contexto de la Teora Cuantica de Campos y ha sido extensamente discutida
en la literatura. En primer lugar, tenemos
n 4.1. Dado un semigrupo contractivo de operadores {Tt }
Definicio
definido en Lp (E, ), con 1 p , decimos que el semigrupo {Tt }
verifica la propiedad hipercontractiva si para cualquier condi
on inicial
1 < q(0) < existe una funci
on estrictamente creciente q : R+ [q(0), ),
tal que para toda funci
on f Lp (E, ) y todo t 0,
||Tt f ||q(t), ||f ||q(0), .
La funci
on q se llama funci
on de contracci
on.
Vamos a ver entonces que el semigrupo de Ornstein-Uhlenbeck {Tt } es
hipercontractivo con funcion de contraccion,
q(t) = 1 + e2t (p 1) > p,
es decir, se tiene que para todo f Lp (d ), 1 < p < , y todo t 0,
(4.1)
||Tt f ||q(t),d ||f ||p,d .
Como probo L. Gross [39], y veremos mas adelante, dicha propiedad

resulta equivalente a que el operador de Ornstein-Uhlenbeck satisface la
desigualdad logartmica de Sobolev:
Para cualquier f L2 (d ) con f , en sentido debil, en L2 (d ) se cumple
(4.2)
Z
Z
1
|f (x)|2 d (dx) + ||f ||22,d log ||f ||2,d ,
|f (x)|2 log |f (x)|d (dx)
2
d
d
R
R
en forma equivalente,
Z
Z
2
|f (x)|2 log |f (x)|d (dx)
Rd
|f (x)|2 d (dx) log(
Rd
Z
Rd
51
Z
|f (x)|d (dx))
Rd
|f (x)|2 d (dx).
52
4. DESIGUALDADES FUNCIONALES
La manera en la que vamos a probar que {Tt } verifica la propiedad hipercontractiva, es ver, en primer lugar, que el operador de Ornstein-Uhlenbeck
satisface una desigualdad logartmica (4.2) y luego, que ellas son equivalentes, tal y como hizo L. Gross [39].
Vamos a probar, pues, que (4.2) se verifica. Para ello, seguiremos la
prueba de Adams y Clark [2], que quizas entre las m
ultiples que existen, es
la mas sencilla. Luego probaremos la equivalencia siguiendo esencialmente
el argumento de L. Gross [40].
Comenzamos haciendo una serie de reducciones. En primer lugar, por la
tensorizacion, basta probar la desigualdad logartmica solo en el caso d = 1.
El caso general se obtiene por induccion en d. Por otra parte, observese
que (4.2) es homogenea respecto a rescalamientos de f , por lo que podemos
suponer que ||f ||2,d = 1. Ademas, podemos suponer que ||f 0 ||2,d <
porque, de otro modo, no hay nada que probar. Bajo estas hipotesis, el
cambio de variable f (t) = g(t) exp t2 /2 implica la siguiente formulacion
equivalente de la desigualdad

( R
2
2
1 0
|g
(t)|
|g
(t)|
log
|g
(t)|
dt
2
R 2
(4.3)
R
si R |g (t)|2 dt = .

Como |g|0 |g 0 | c.s., podemos suponer que g es una funcion a valores
reales no negativa. Por razones tecnicas vamos a considerar entonces solo el
caso que g (t) > 0 para todo n
umero real t; esto se justifica por un simple
argumento de densidad. Finalmente, es conveniente dividir (4.3) en dos
problemas sobre semirrectas, cada uno equivalente a

( R
1
0 (t))2 (g (t))2 log |g (t)| dt
(g
2
4
0
(4.4)
2
si 0 (g (t)) dt = 2 .
2

2 2 log s
Para s,
r
>
0
sea
V
(s,
r)
=
vs
+
r
1
v
/2, donde v (s, r) =

1
2
h
r/s , y h esta dada por
Z
2
t2
h (t) = e
e d.
t
0
Es facil verificar que h es estrictamente decreciente en R y que h1 (t) =
1
1
2th (t) 1
. Las derivadas parciales de V se pueden calcular:
Vs = vs,

Vr = v 2 /2 log s.

Si U (s, u) = u2 /2 s2 log s, entonces para s > 0 y u real,
(4.5)
Vs u Vr s2 + U (s, u) =
1
(u + vs)2 0.
2
Por lo tanto, si g verifica
Z
Z
2
(4.6)
g (t) > 0,
(g (t))2 dt =
,
g 0 (t) dt < .
2
0
0
1. LA PROPIEDAD HIPERCONTRACTIVA DE O.U.
53
Tenemos entonces, usando (4.6),

Z

d
2
V g (t) ,
(g ( )) d = Vs g 0 (t) Vr (g (t))2 U g (t) , g 0 (t)
dt
t
y
Z

Z
d
2
V g (t) ,
(g ( )) d dt
dt
0
t
0

Z
2
V g (0) ,
(g ( )) d .
lim inf V g (t) ,
t
2
t
/2s2 = 0 solo para s = 1, tenemos

Como h1 es decreciente y h1
V (s, /2) V (1, /2) = /4 para todo s > 0.

La desigualdad (4.4) estara probada si se cumple la siguiente afirmacion:
Si g satisface (4.6), entonces

Z
2
lim inf V g (t) ,
(g ( )) d 0.
0

U g (t) , g (t) dt
Veamos pues esta afirmacion. Es immediato probar que h ( ) < 1/ para

2
4
todo > 0. Por tanto h1 (t) < 1/t para todo t > 0 , y v (s, r)
ps < s/r.
2
Analogamente, h ( ) < e para 0 implica h1 (t) log (t/ )
para t y por tanto (v (s, ))2 log r log s2 log para s2 .
Evidentemente (v (s, r))2 0 si < s2 y as

1 g 2 log s max 1 + log log , s2 1 log s2

para todo r, s > 0. De all
(4.7) V (s, r)

s4
1
+ max r 1 + log log , s2 1 log s2 .
2r 2
Si g satisface (4.6), entonces s = g (t) ,

Z
Z
2
r=
(g ( )) d, y =
t
2
g 0 ( ) d
tienden ambos a cero si t tiende a infinito. Mas a

un,
Z
2
0

4
4

s = (g ( )) 2
g ( ) g ( ) d
4r,
t
por la desigualdad de Holder. Por tanto, por (4.7), lim inf t V (s, r) 0
como queramos.
Comentarios
i) La desigualdad Logartmica de Sobolev (4.2) generaliza, para la
medida Gaussiana, la clasica desigualdad de Sobolev la cual
afirma que, respecto a la medida de Lebesgue, si una funcion f
54
L2 (Rd ) con f L2 (Rd ), en sentido debil, entonces f Lp (Rd )

para p1 = ( 12 n1 ). Es decir
Z
||f ||p Cd
|f (x)|2 dx.
Rd
Como ya hemos mencionado, a diferencia de la medida de Lebesgue,

la medida de Gauss se puede definir en espacios de dimension infinita y como (4.2) es independiente de la dimension, se extiende
a este contexto. Mas a
un, observese que en la desigualdad clasica
de Sobolev p 2 si n y en consecuencia hay una perdida de
informacion en dicha desigualdad cuando la dimension crece. En
la seccion 3 estudiaremos con mas detenimiento la relacion entre la
desigualdad Logartmica de Sobolev y las desigualdades de Sobolev
generales.
ii) Se sigue de (4.2) que si f, f L2 (d ) entonces f pertenece al
espacio de Orlicz L2 log L(d ). Mas a
un, no es difcil de probar
que existe una funcion f para la cual el lado derecho de (4.2) es
finito, pero ella no esta en L2 log L log log L(d ) (vease [39]). En
ese sentido, dicha desigualdad es optima y las constantes tambien
son optimales.
Veamos ahora el resultado de L. Gross ([39] y [40]), para ello necesitamos, en primer lugar, el siguiente lema tecnico pero clave para la equivalencia. Vamos a darlo en toda generalidad para un espacio de probabilidades
cualquiera (E, B, ), que sera de utilidad en las secciones siguientes; por
supuesto su aplicacion en este caso sera para el espacio de probabilidades
(Rd , B(Rd ), d ).
Lema 4.1. Sea (E, B, ) un espacio de probabilidades. Supongamos 1 0 y q > p. Sea s(t) una funci
on real, continuamente diferenciable
de [0, ) en (1, ) tal que s(0) = p y sea f (t) una funci
on continuamente
diferenciable de [0, ) en Lq () con f (0) = v 6= 0. Entonces ||f (t)||s(t) es
diferenciable en t = 0 y se tiene
(4.8)
Z
d
1p 1 0
||f (t)||s(t) |t=0 = ||v||p [p s (0)( |v|p log |v|d||v||pp log ||v||p )+Rehf 0 (0), vp i ],
dt
E
donde, vp = (sgn v)|v|p1 .
Demostraci
on
Si g : [0, ) C es continuamente diferenciable entonces
d
1
|g(t)|s(t) = [s0 (t) log |g(t)| + s(t)
Reg 0 (t)g(t)]|g(t)|s(t)
dt
|g(t)|2
1
g(t)
Reg 0 (t)
|g(t)|s(t)1 ]
2
|g(t)|
|g(t)|
1
= [s0 (t)|g(t)|s(t) log |g(t)| + s(t)
Reg 0 (t)g(t)s(t) ].
|g(t)|2
= [s0 (t)|g(t)|s(t) log |g(t)| + s(t)
1. LA PROPIEDAD HIPERCONTRACTIVA DE O.U.
55
y esto es valido a
un cuando g(t) = 0 para alg
un t ya que s(t) > 1.
Si, formalmente, sustituimos g(t) = f (t)(x) integramos con respecto a
e intercambiamos la derivacion con la integracion, obtenemos
Z
Z
d
s(t)
s0 (t)|f (t)(x)|s(t) log |f (t)(x)|(dx) + s(t)Rehf 0 (t), fs(t) i .
|f (t)(x)| (dx) =
dt E
E
R
Luego si V (t) = E |f (t)(x)|s(t) (dx) tenemos que
d
||f (t)||s(t) =
dt
=
d
V (t)s(t)
dt
s0 (t)
1 V (t)s(t)1 0
[
]V (t) 2 V (t)s(t)1 log V (t).
s(t)
V (t)
s (t)
Habria que justificar la segunda cadena de igualdades ya que f (t)(x) no es

necesariamente diferenciable en t c.s. x, para ello remitimos a Gross [40].
Teorema 4.1. (L. Gross) La propiedad hipercontractiva del semigrupo
de Ornstein-Uhlenbeck {Tt } es equivalente a la desigualdad Logartmica de
Sobolev (4.2).
Demostraci
on
En primer lugar, considemos el operador de N
umero
N = 2(L) = + 2hx, i
que es la forma de Dirichlet para d , es decir
Z
Z
f (x) g(x)d (dx) =
f (x)N g(x)d (dx),
Rd
Rd
y consideremos el semigrupo generado por N , {etN }t .1

Suponemos que se verifica (4.2). A partir de ella podemos obtener, para
cualquier p > 1, la desigualdad logartmica de Sobolev en Lp2
(4.9)
Z
Rd
|f (x)|p log |f (x)|d (dx) c(p)RehN f (t), fp id + ||f ||pp,d log ||f ||p,d ,
p
con c(p) = 4(p1)
y fp = (sgn f )|f |p1 .
Veamos el esquema de este argumento. Supongamos que p > 1 y sea f
una funcion no negativa y acotada definida en el dominio de N en L2 (d ).
Entonces reemplazando f por f p/2 en (4.2) tenemos
Z
Z
p
1
p
|f (x)| log |f (x)|d (dx)
|f p/2 (x)|2 d (dx)
2 Rd
2 Rd
Z
Z
1
p
+
|f (x)| d (dx) log
|f (x)|p d (dx).
2 Rd
Rd
1Este semigrupo es simplemente {T }, el semigrupo de Ornstein-Uhlenbeck con
2t
par
ametro 2t.
2En la notaci
on de Gross [40] esto dice que N es un generador de Sobolev en
(0, ).
56
Ahora bien, si f es suave y acotada, tenemos, por una parte,

|(f (x)p/2 )|2 = (p/2)2 (f (x)p/21 )2 |f (x)|2 ,
mientras que, por otra parte
hf (x), (f (x)p1 )i = (p 1)f (x)p2 |f (x)|2 ,
luego,
|(f (x)p/2 )|2 = [
(p/2)2
]hf (x), (f (x)p1 )i,
(p 1)
y por tanto,
Z
|f p/2 (x)|2 d (dx) = [
Z
p2
]
hf (x), (f (x)p1 )id (dx)
4(p 1) Rd
p2
]hN f, f p1 id ,
= [
4(p 1)
Rd
con lo que concluimos (4.9).

El dominio de validez de estos calculos puede ser justificado, como lo hace
Stroock, a partir del hecho que etN es un semigrupo positivo y contractivo
en L (d ), vease [40].
Sea ahora g una funcion no-negativa
en C0 (R) con soporte en (0, ) y
R
sea u L (d ). Entonces h := 0 g(s)(esN u)ds existe como integral de

Riemann en Lp (1 ) para cada 1 < p < . Si f (t) = etN h, t 0, entonces
f es una funcion positiva y diferenciable en Lp (d ) para todo 1 < p < , por
el lema 4.1 la funcion (t) = ||f (t)||1+(p1)e4t ,d es diferenciable en (0, ) y
tenemos
d
d(t)
=
||f (t)||1+(p1)e4t ,d
dt
dt
Z
1
= ||f (t)||1p
p,d [c(p) (
Rd
|f (t)|p log |f (t)|dd ||f (t)||pp,d log ||f (t)||p,d )

RehN f (t), f (t)p id ]
0.
Luego
(4.10)
d
dt
log (t) 0 y por tanto log (t) log (0) = log ||h||p,d , es decir,
||etN h||1+(p1)e4t ,d ||h||p,d .
Ahora para cada t y cada funcion g que pertenece a una sucesion gn que
converge a una delta de Dirac (i.e. una aproximacion de la identidad) y tal
que la correspondiente sucesion hn converge a u en norma Lp (d ) mientras
que etN hn , que converge a etN u en Lp (d ), tambien converge casi siempre.
Aplicando la desigualdad anterior (4.10) a hn y usando el Lema de Fatou,
obtenemos
||etN u||1+(p1)e4t ,d ||u||p,d ,
y como L (d ) es denso en Lp (d ) podemos aplicar de nuevo el Lema de
Fatou para concluir que la desigualdad (4.10) se verifica para todo h
Lp (d ).
DE LA PROPIEDAD HIPERCONTRACTIVA.
2. APLICACION
57
Finalmente, dado que, Tt h = etL h = e(t/2)N h, la desigualdad anterior

es equivalente a
||Tt h||1+(p1)e2t ,d = ||etL h||1+(p1)e2t ,d = ||e(t/2)N h||1+(p1)e4(t/2) ,d ||h||p,d ,
lo que prueba {Tt } verifica (4.1).
Recprocamente, suponemos ahora que el semigrupo {Tt }, fuertemente
continuo en Lp (d ), 1 < p < , verifica la propiedad hipercontractiva
(4.1).
R
sN
Sea D la capsula lineal del conjunto de las funciones h := 0 g(s)(e
u)ds,
con g una funcion no-negativa en C0 (R) con soporte en (0, ) y u L (d )
que consideramos en la primera parte de la demostracion. Sea h un elemento
no nulo de D y pongamos f (t) = etN h, t (0, ), entonces, para cada t,
tenemos
||f (t)||1+(p1)e4t ,d ||f (0)||p,d
11
||h||p,d
= 0,
t
t
por la propiedad hipercontractiva (4.1) y porque etN h = T2t h. Por el Lema
4.1 podemos tomar lmite cuando t 0 en la desigualdad anterior para
obtener
Z
1p 1
||h||p,d [p 4(p1)(
|h|p log |h|dd ||h||pp,d log ||h||p,d )RehN h, hp id ] 0
Rd
p
multiplicando por 4(p1)
||h||p1
p,d obtenemos (4.2) en este caso.
Ahora como D es denso en el dominio del generador infinitesimal de
{eN t } en Lp (d ) y por tanto dado f all existe una sucesion hn en D tal
que hn f en la norma del grafico y c.s. d . Como xp log x es una funcion
acotada por debajo en [0, ), podemos usar el Lema de Fatou a la izquierda
de (4.2) mientras que a la derecha observamos que la aplicacion f fp es
0
continua de Lp (d ) en Lp (d ); as el lado derecho es una funcion continua
de f en la norma del grafico y por tanto las validez de (4.2) para cada hn
implica su validez para f .
2. Aplicaci
on de la propiedad hipercontractiva a la Teora de
Multiplicadores de Hermite.
Como consecuencia de la hipercontractividad del semigrupo de OrnsteinUhlenbeck {Tt }, se puede probar que las projecciones ortogonales sobre los
subespacios Ck del Caos de Wiener, Jk , son continuas en Lp (d ) para 1 <
p<:
Corolario 4.1. Para todo k N, Jk |P , la restricci
on de Jk a los polinomios P, tiene una extensi
on, que denotaremos tambien como Jk , a un
operador acotado en Lp (d ), es decir, se cumple
(4.11)
||Jk f ||p,d Cp,k ||f ||p,d .
58
Demostraci
on
Si p > 2 tomando t0 > 0 tal que p = e2t0 + 1, por la propiedad hipercontractiva de {Tt }, tenemos
||Tt0 f ||p,d ||f ||2,d .
En particular, utilizando la desigualdad de Holder tenemos
||Tt0 Jk f ||p,d ||Jk f ||2,d ||f ||2,d ||f ||p,d .
P
t0 k J f tenemos que T J f = et0 k J f y
Ahora bien, como Tt0 f =
t0 k
k
k
k=0 e
por tanto
||Tt0 Jk f ||p,d = et0 k ||Jk f ||p,d .
De todo lo anterior, obtenemos entonces que
||Jk f ||p,d et0 k ||f ||p,d
El caso 1 2. Entonces, dado que
la proyeccion Jk es un operador autoadjunto y usando la desigualdad de
Holder, tenemos
||Jk f ||p =
=

Z

p0

Jk f g dd : g L (R, d ) y ||g||p0 ,d 1
sup

Z

p0

f Jk g dd : g L (R, d ) y ||g||p0 ,d 1
sup
n
o
0
sup ||f ||p,d ||Jk g||p0 ,d : g Lp (R, d ) y ||g||p0 ,d 1
n
o
0
sup ||f ||p,d C||g||p0 ,d : g Lp (R, d ) y ||g||p0 ,d 1
C||f ||p,d ,
donde C = et0 k , con t0 > 0 tal que p0 = e2t0 + 1.
El siguiente es un lema que sera de utilidad en la demostracion del
Teorema de Multiplicadores de P.A. Meyer (vease Teorema 4.2) y que es
tambien una consecuencia de la hipercontractividad.
Lema 4.2. Si 1 2. Sea t0 tal que
p = e2t0 + 1, entonces por la hipercontractividad y la identidad de Parseval
2. APLICACION
59
tenemos, para t > t0 ,

||Tt (I J0 J1 . . . Jm1 )f ||2p,d
= ||Tt0 Ttt0 (I J0 J1 . . . Jm1 )f ||2p,d

||Ttt0 (I J0 J1 . . . Jm1 )f ||22,d
X
X
(tt0 )k
2
= ||
e
Jk f ||2,d
e2(tt0 )k ||Jk f ||22,d
k=m
k=m
e(tt0 )(k+m) ||Jk+m f ||22,d e2(tt0 )m
k=0
2(tt0 )m
||Jk+m f ||22,d
k=0
||f ||22,d
tm
Ce
||f ||2p,d ,
con C = et0 m .
Ahora, si t < t0 , como Tt es contractivo,
||Tt (I J0 J1 . . . Jm1 )f ||p,d
||(I J0 J1 . . . Jm1 )f ||p,d

(1 +
m1
X
ekt0 )||f ||p,d (m + 1)e2mt0 emt0 ||f ||p,d
k=0
mt0
||f ||p,d Cemt ||f ||p,d ,
Ce
con C = (m + 1)e2mt0 .
Ademas, por la representacion de los semigrupos Poisson-Hermite generalizados

{Pt }t (3.48), tenemos por la desigualdad integral de Minkowski que se puede
obtener un resultado analogo al anterior para estos semigrupos,
Lema 4.3. Si 1 < p <
(4.13)
||Pt (I J0 J1 . . . Jm1 )f ||p,d Cetm ||f ||p,d .
Demostraci
on
Por el Lema 4.2, tenemos
||Tt (I J0 J1 . . . Jm1 )f ||p,d Cetm ||f ||p,d .
Ahora bien, usando la la representacion del semigrupo {Pt }t (3.48) y la
desigualdad integral de Minkowski se obtiene
Z
||Pt (I J0 J1 . . . Jm1 )f ||p,d ||

Ts t (ds)(I J0 J1 . . . Jm1 )f ||p,d
0
Z
||Ts (I J0 J1 . . . Jm1 )f ||p,d t (ds)

0
Z
C
ems t (ds)||f ||p,d Cem t ||f ||p,d .
0
Considerando los operadores potenciales,

Z
(4.14)
Um =
Tt (I J0 J1 . . . Jm1 )dt,
0
60
entonces, por el Lema 4.2, se tiene que para 1 < p < ,

C
(4.15)
||Um f ||p,d ||f ||p,d .
m
Considerando ademas los siguientes operadores asociados a Um
Z
1
(4.16)
Um,n =
tn1 Tt (I J0 J1 . . . Jm1 )dt,
(n 1)! 0
tenemos entonces, por la desigualdad integral de Minkowski, y el lema 4.2,
Z
1
tn1 ||Tt (I J0 J1 . . . Jm1 )f ||p,d dt
||Um,n f ||p,d
(n 1)! 0
Z
C
tn1 etm dt||f ||p,d

(n 1)! 0
C
||f ||p,d ,
mn
es decir,
C
(4.17)
||Um,n f ||p,d n ||f ||p,d .
m
Ademas, si f Ck con k m
Z
1
Um f =
Tt Jk f dt = Jk f
k
0
y analogamente,
Z
1
1
Um,n f =
tn1 Tt Jk f dt = n Jk f.
(n 1)! 0
k
De forma analoga, podemos considerar los potenciales asociados a los semigrupos de Poisson-Hermite generalizados {Pt }, en vez de los asociados al
semigrupo de Ornstein-Uhlenbeck {Tt },
Z
(4.18)
Um =
Pt (I J0 J1 . . . Jm1 )dt
0
,
y los operadores asociados a Um
Z
1
(4.19)
Um,n
=
tn1 Pt (I J0 J1 . . . Jm1 )dt,
(n 1)! 0
y obtener similares estimaciones en la norma Lp (d ), usando el lema 4.3,

1
(4.20)
||Um
f ||p,d C ||f ||p,d ,
m
y
1
(4.21)
||Um,n
f ||p,d C n ||f ||p,d .
m
En particular, tenemos que si f Ck con k m
Z
1
Um
f=
Pt Jk f dt = Jk f
k
0
2. APLICACION
Um,n
f
1
=
(n 1)!
tn1 Pt Jk f dt =
61
1
Jk f.
k n
Consideremos ahora los multiplicadores para desarrollos de Hermite. Sea f P(Rd ), el conjunto de los polinomios en d-variables. Luego
f=
Jk f =
X
X
hf, ~h id~h ,
k=0 ||=k
k=0
que, en verdad, es una suma finita. Como ya hemos mencionado, los polinomios son densos en Lp (d ) y por tanto, es suficiente trabajar con ellos
para definir los multiplicadores.
Dada la funcion : N R, definimos el multiplicador asociado a
como:
X
(4.22)
T f =
(k)Jk f,
k=0
donde f = k=0 Jk f. Observese que T esta bien definida en L2 (d ) o en

los polinomios.
Por otra parte, tenemos que si es acotado entones T esta trivialmente
acotada en L2 (d ), asi pues el problema basico es determinar las condiciones
sobre para que T tenga una extension continua en Lp (d ),1 < p < , es
decir,
||T (f )||p,d Cp ||f ||p,d .
Uno de los resultados mas importante de la Teora de Multiplicadores
para desarrollos de Hermite fue el obtenido por P. A. Meyer [62], haciendo uso fundamental de la propiedad hipercontractiva del semigrupo de
Ornstein-Uhlenbeck.
Teorema 4.2. (P.A. Meyer) Si para alg
un n0 tenemos que (k) =
para n n0 y h es una funci
on analtica alrededor de cero, entonces T admite una extensi
on continua en Lp (d ), 1 < p < . M
as a
un
su norma en Lp es independiente de la dimensi
on.
h( k1 ),
Demostraci
on
Por los resultados del Corolario 4.1, del Lema 4.2 y la desigualdad (4.21)
este resultado es practicamente inmediato. Consideremos
T =
nX
0 1
k=0
(k)Jk f +
(k)Jk f = T1 + T2 .
k=n0
Por el Corolario 4.1 el cual establece la Lp (d )-continuidad de las Jk , es claro

que T1 es Lp (d )-continuo
||T1 (f )||p,d Cp ||f ||p,d
62
Luego basta probar que T2 es Lp (d )-continuo,

||T2 (f )||p,d Cp ||f ||p,d
P
n
Por la desigualdad (4.21), tenemos que si h(x) =
n=0 an x
T2 f
(k)Jk f
k=n0
X
an
k=n0 n=0
X
X
an
n=0
X
1
J
f
=
an Un0 ,n Jk f
k
k n
k=n0 n=0
Un0 ,n Jk f =
an Un0 ,n f.
k=1
k=n0
Luego, de la continuidad Lp (d ) de los operadores Um,n

(4.21), obtenemos
||T2 f ||p,d
C(
|an |
n=0
1
)||f ||p,d = C ||f ||p,d .
nn
0
As pues, la relacion entre la Teora de Multiplicadores para desarrollos de Hermite y la propiedad hipercontractiva del semigrupo de OrnsteinUhlenbeck es muy estrecha. El Teorema de Meyer, que como hemos visto
es el resultado mas importante de ella, es consecuencia casi inmediata de la
hipercontractividad. Por otra parte, en su trascendente artculo W. Beckner
[17], demostro entre otras cosas, como la hipercontractividad del semigrupo
de Ornstein-Uhlenbeck es consecuencia de la desigualdad generalizada de
Young que a su vez se obtiene de una desigualdad para multiplicadores de
desarrollos de Hermite. De hecho lo
Lp (d )
que el prueba es la continuidad
3
de los operadores Tt pero con t = i p 1 imaginarios puros , cosa que, por
cierto, esta muy relacionada con la representacion de Weissler [100] dada
en la pagina 20. Ademas de lo interesante de esta prueba, que utiliza de
manera decisiva el Teorema Central del Lmite, Beckner deja claro la ntima
relacion entre el Analisis Armonico Clasico y el Analisis Armonico Gaussiano, dado que, por ejemplo, este resultado de multiplicadores le sirve para
obtener la mejor constante en la desigualdad de Haussdorf-Young para la
Transformada de Fourier.
Diremos que un multiplicador T es un multiplicador de Meyer si
verifica la hipotesis del Teorema 4.2.
El teorema de Meyer admite una extension a operadores de la forma
(4.23)
T f (x) =
(k, x)Jk f (x),
k=0
3En su tesis de maestra, A. Infante [45] hace un estudio detallado de estos resultados
de Beckner.
3. LAS DESIGUALDADES FUNCIONALES.
63
P
donde f =
k=0 Jk f. La misma prueba se puede hacer suponiendo que
admite un desarrolllo de la forma
X
(t, x) =
an (x)tn ,
n
con |an (x)| Mn tal que
1
n=0 |Mn | nn
< .
Los operadores de la forma (4.23), que seran operadores pseudo-diferenciales

en el contexto gaussiano, requieren de mayor analisis y estudio.
3. Las Desigualdades Funcionales.
La desigualdad logartmica de Sobolev estudiada en la seccion anterior para el operador de Ornstein-Uhlenbeck se puede extender, como veremos mas adelante, a otros a los generadores infinitesimales de otros semigrupos de Markov.
Las desigualdades logartmicas de Sobolev pertenecen a una familia de
desigualdades funcionales, donde se relaciona la norma Lp () de una
funcion con la norma Lq () de su gradiente, donde su gradiente se interpreta
como ((f ))1/2 siendo la medida invariante,
||f ||2p, A||f ||22, + CE (f ),
(4.24)
R
para cualquier p [1, 2n/(n 2)], siendo E (f ) = (f ) d, la forma de
Dirichlet asociada a .
Las constantes en dichas desigualdades son optimales y el valor maximo
de p es tambien crtico. El significado de esas desigualdades es muy diferente
cuando p [1, 2) o si p 2. Aparte de las desigualdades logartmicas de
Sobolev, que es el caso lmite p = 2, otras desigualdades funcionales que
vamos a discutir en estas notas son las desigualdades de grieta espectral,
que es el caso p = 1, y las desigualdades de Sobolev, que es el caso p = 2.
3.1. Desigualdades de grieta espectral.
n 4.2. Decimos que el operador L con medida invariante ,
Definicio
satisface una desigualdad de grieta espectral o desigualdad de Poincar
e
con constante C si para todo f A
Z
Z
2
(4.25)
|f | d ( |f |d)2 + CE (f ). GE(C)
E
Esta desigualdad es equivalente a

Z
Z
2
2
(4.26)
(f ) =
|f | d ( |f |d)2 CE (f ),
E
2 (f )
donde
es la varianza de f respecto de .
La mejor constante C para la desigualdad de grieta espectral se llama
la constante de grieta espectral. Observese que

Z
C = inf E (f ) :
f d = 0, ||f ||22, = 1 .
E
64
Si L es un un operador simetrico, la desigualdad de grieta espectral no es

sino el hecho que el espectro de (L) esta incluido en {0}[1/C, ), es decir
que (L) tiene una grieta entre 0 y 1/C. Esto se puede
ver yaRque si 6= 0
R
es un autovalor de (L) con autofuncion f entonces E f d = E f 1d = 0,
y por tanto
Z
Z
Z
1
1
2
f d =
(Lf )f d =
(f )d,
E
E
E
y por tanto 1 C.
Por otra parte, si L es simetrico,R con espectro en {0} [1/C, ) por
la descomposicion espectral de L si E f d = 0 entonces
Z
tdEt
(L)f =
y por tanto
Z
E (f ) =
tdEt (f, f )
Z
dEt (f, f ) =
f 2 d.
Es facil de ver que las desigualdades de grieta espectral son estables

bajo tensorizacion (Ejercicio) y tambien son estables bajo perturbaciones
acotadas, de la medida o del operador cuadrado de campo.
B. Muckenhoupt dio un criterio general que caracteriza las medidas de
probabilidad en R qu satisfacen una desigualdad de grieta espectral con
(f ) = (f 0 )2 . Este resultado y su prueba se pueden consultar en el libro [2],
por ejemplo.
3.2. Desigualdades logartmicas de Sobolev.
n 4.3. Dada un medida de probabilidad definimos la enDefinicio
tropa de una funci
on positiva f , como
Z
Z
Z
(4.27)
Ent (f ) = (f log f ) d
f d log( f d).
E
Como es una medida de probabilidad entonces, dado que x log x es

estrictamente convexa, por la desigualdad de Jensen tenemos que la entropa
es siempre no negativa y entonces solo las funciones constantes tiene entropa
cero. Ademas Ent (cf ) = cEnt (f ). (Ejercicio).
Entonces tenemos,
Definicio
satisface una desigualdad logartmica de Sobolev con constantes A, C,
si verifica una desigualdad de la forma
Z
2
(4.28)
Ent (f ) A
f 2 d + CE (f ), LS(A, C)
E
es decir,
Z
Z
Z
Z
Z
(f 2 log f 2 )d
f 2 d log( f 2 d) A
f 2 d + C
(f )d.
E
65
Una desigualdad logaritmica de Sobolev es ajustada si A = 0.

Ent (f 2 ) CE (f ),
(4.29)
LS(C)
es decir,
Z
E
(f 2 log f 2 )d
Z
E
Z
Z
f 2 d log( f 2 d) C
(f )d.
E
La constante C optimal, es decir la menor constante para la cual (4.28)

se cumple, se llama constante logartmica de Sobolev. Como ya hemos
dicho las desigualdades logartmica de Sobolev correspondo al caso de una
desigualdad funcional cuando p = 2.
Veamos la relacion entre la desigualdad logartmica de Sobolev y la desigualdad de grieta espectral,
n 4.1. Tenemos la siguiente relaci
Proposicio
on entre la desigualdad
logartmica de Sobolev y la desigualdad de grieta espectral:
i) Una desigualdad logartmica de Sobolev ajustada con constante C
implica una desigualdad de grieta espectral con constante C/2.
ii) Recprocamente, si se verifica una desigualdad logartmica de Sobolev
no ajustada y una desigualdad de grieta espectral, entonces se cumple
una desigualdad de Sobolev ajustada.
Por lo tanto en presencia de desigualdad logartmica de Sobolev no ajustada entonces la desigualdad logartmica de Sobolev ajustada es equivalente
a la desigualdad de grieta espectral.
Demostraci
on
i) Consideremos la desigualdad logartmica de Sobolev ajustada para la
funcion (1 + f ),
Z
Z
Z
Z
[(1+f )2 log(1+f )2 ]d (1+f )2 d log( (1+f )2 d) C
(1+f )d,
E
pero como (1 + f ) = 2 (f ), (Ejercicio) tenemos,

Z
Z
Z
Z
1
1
2
2
2
2
[(1+f ) log(1+f ) ]d 2
(1+f ) d log( (1+f ) d) C
(f )d,
2 E
E
E
E
desarrollando los cuadrados,
Z
Z
1
1
2
2 2
2
[log(1 + f ) + (2f + f ) log(1 + f ) ]d 2 log( (1 + f )2 d)
2 E
E
Z
Z
Z
1
2 2
2
2
(2f + f )d log( (1+f ) d) C
(f )d.
E
E
E
reagrupando
Z
Z
Z
1
1
1
2
2
log(1 + f ) d 2 log( (1 + f ) d) + (2f + f 2 ) log(1 + f )2 d
2
E
E
E
Z
Z
Z
1
(2f + f 2 )d log( (1 + f )2 d) C
(f )d.
E
E
E
66
Usando la regla de LHopital tenemos que cuando 0,

1
log(1 + f )2 2f,
y
Z
Z
1
2
log( (1 + f ) d) 2
f d.
E
E
Para el primer termino tenemos, usando la regla de LHopital dos veces, que
cuando 0,
Z
Z
Z
Z
1
1
2
2
2
f 2 d,
log(1 + f ) d 2 log( (1 + f ) d) 2( f d) 2
2 E
E
E
E
y por tanto obtenemos
Z
Z
Z
2
2
2
f d 2( f d) C
(f )d.
E
ii) Para probar esta implicacion se necesita la desigualdad de Rothaus [79],

si f L2 (),
Z
2
2
Ent (f ) 2 (f ) + Ent ((f
f d)2 ).
E
R
Entonces se aplica la desigualdad logartmica de Sobolev a (f E f d) en
vez de a f .
Si se cambia f por f p/2 en la desigualdad logartmica de Sobolev, gracias
a la propiedad de difusion de L, se obtiene una desigualdad Lp ,
Z
Z
p2
p
p
f d + C
f p2 (f )d
Ent (f ) A
4
E
E
Z
Z
2
p
p
= A
f d C
(4.30)
f p1 Lf d.
4(p
1)
E
E
En el caso de p = 1 la funcion f p1 /(p 1) hay que remplazarla por la
funcion log f.
En la desigualdad anterior hemos usado que por la propiedad de difusion
(2.22)
p2
(f p/2 , f p/2 ) = f p2 (f ),
4
y la identidad
Z
(f )Lf d = 0 (f )(f )d.
(Ejercicio.)
Como ya hemos mencionado, la desigualdad logartmica de Sobolev fue
introducida por Leonard Gross [39] para probar el resultado de hipercontractividad de Nelson [70] del semigrupo de Ornstein-Uhlenbeck. Luego
resulto que esta desigualdad es valida en contextos muchos mas generales e
incluso en infinitas dimensiones.
67
Recuerdese la desigualdad (4.2), probada en la seccion 1 de este captulo,

Z
Z
Z
2
|f |2 log |f |2 dd
|f |2 dd log(
|f |2 log |f |dd )
d
d
d
R
R
R
Z
|f |2 dd ,
Rd
lo que implica que el operador de Ornstein-Uhlenbeck L, que tiene como medida invariante la medida gaussiana d , satisface una desigualdad logartmica
de Sobolev ajustada con constante 1. No tenemos, por ahora, un argumento
directo para justificar que la constante logartmica de Sobolev para L es 2.
Observese que 2 es optimal ya que, como hemos visto en la proposicion anterior, una desigualdad logartmica de Sobolev con constante C implica una
desigualdad de grieta espectral con constante C/2 y sabemos que la grieta
espectral para el operador de Ornstein-Uhlenbeck (L) es 1 ya que 1 es su
primer autovalor no nulo.
Ademas, la desigualdad logartmica de Sobolev ajustada implica una
decaida exponencial de la entropa para t tendiendo a infinito.
El resultado mas importante de la desigualdad logartmica de Sobolev
es el teorema de L. Gross [39], que establece la equivalencia de dicha desigualdad con la propiedad hipercontractiva para un semigrupo Markoviano
{Tt }, con medida invariante esencialmente por los mismos argumentos dados en la seccion anterior en el Teorema 4.1, en el caso del semigrupo de
Ornstein-Uhlenbeck y la medida gaussiana; mas generalmente tenemos,
Teorema 4.3. (Gross) Dado un semigrupo Markoviano {Tt }t0 con medida invariante y generador infinitesimal L, sean A y C dos constantes
positiva, p (1, ) y sean las funciones q(t) y m(t) definidas por
(4.31)
q(t) 1
= e4t/C y
p1
m(t) =
A 1
1
(
),
16 p q(t)
Entonces las siguientes afirmaciones son equivalentes,

i) El operador L y la medida satisfacen una desigualdad logartmica
de Sobolev con constantes A, C, LS(A, C).
ii) El semigrupo {Tt }t0 verifica la desigualdad
(4.32)
||Tt f ||q(t), em(t) ||f ||p, ,

para 1 0.
En otras palabras, la desigualdad logartmica de Sobolev es equivalente

al hecho que el semigrupo es continuo entre Lp () y Lq(t) (), con norma
controlada a traves de la constante A. En particular cuando A = 0 tenemos
entonces la propiedad hipercontractiva,
Corolario 4.2. Dado un semigrupo Markoviano {Tt }t0 con medida
invariante y generador infinitesimal L, entonces las siguientes afirmaciones son equivalentes,
68
i) El operador L y la medida satisfacen una desigualdad logartmica

de Sobolev ajustada con constante C, LS(C).
ii) El semigrupo {Tt }t0 es hipercontractivo con funci
on de contracci
on
4t/C
q(t) = 1 + (p 1)e
, es decir, para todo para 1 0
y f Lp (),
||Tt f ||q(t), ||f ||p, .
(4.33)
No daremos los detalles de la prueba del teorema de Gross aca, vease

[2] o [10], pero basta decir que, analogo al caso del semigrupo de OrnsteinUhlnbeck, la demostracion se basa en probar que la version Lp de la desigualdad logartmica de Sobolev (4.30) implica, usando el lema 4.1, que la
derivada de em(t) ||f ||p, es negativa. La desigualdad logartmica de Sobolev
es la derivada en t = 0 de la propiedad hipercontractiva.
En el caso simetrico es suficiente saber para alg
un t > 0 y para alg
un q >
p
q
p, el operador Tt es acotado de L () en L () para obtener la desigualdad
logartmica de Sobolev. Mas a
un si la norma en este caso es 1, se obtiene
una desigualdad logartmica de Sobolev ajustada, para mas detalles vease
[10].
Las desigualdades logartmicas de Sobolev tienen las mismas propiedades
que las desigualdades de grieta espectral: son estables por tensorizacion y
por el perturbaciones acotadas, de la medida o del operador cuadrado de
campo, vease [2].
3.3. Desigualdades de Sobolev.
Definicio
satisface una desigualdad de Sobolev, si verifica una desigualdad de la
forma
(4.34)
||f ||2p, A||f ||22, + CE (f ).
S(A, C)
2n
En general, tomaremos p = n2
, y diremos que la desigualdad de Sobolev
es de dimensi
on n, S(n, A, C).
El principal ejemplo donde una desigualdad este tipo se cumple es en el
caso de una variedad Riemanniana n-dimendional compacta, con la medida
2n
de Riemann siendo p = (n2)
el mejor exponente. Los ejemplo basicos,
donde la mejor constante en la desigualdad de Sobolev, se conoce son:
(1) En la esfera S,
||f ||22n/(n2),
||f ||22,
4
+
n(n 2)
Z
S (f )dS ,
E
(2) En el espacio eucldeo E,

||f ||22n/(n2),
4
n(n 2)
Z
E (f )dE ,
E
69
(3) En el espacio hiperbolico H,

||f ||22n/(n2),
||f ||22,
4
+
n(n 2)
Z
H (f )dH ,
E
En la recta real R la desigualdad de Sobolev actuando sobre funciones

radiales en la esfera da la desigualdad de Sobolev para el operador de Jacobi,
con la misma constante. La desigualdad permanece cierta para n > 2. En
secciones siguientes estudiaremos el caso de la desigualdad de Sobolev para
el operador de Jacobi con mas detalle.
Si es una medida de probabilidad, la desigualdad de Sobolev se dice
ajustada cuando A = 1, S(n, C).
Como en el caso de la desigualdad logartmica de Sobolev, cuando se
cumple una desigualdad de Sobolev para una probabilidad , con constante
C, entonces la condicion de ser ajustada es equivalente a una desigualdad
de grieta espectral, con constante C/(p 1). Este resultado se obtiene de
nuevo considerando 1 + f y tomando tendiendo a cero.
Las familia de desigualdades de Gagliardo-Niremberg
2
/2
||f ||r, ||f ||1
,
s, (A||f ||2, + CE (f ))
[0, 1], r, s y
1
r
(n2)
2n
(1)
s
y la desigualdad de Nash,
2
/2
,
||f ||2, ||f ||1
1, (A||f ||2, + CE (f ))
son casos particulares de la desigualdad de Sobolev, vease [13]. Ademas el

caso lmite r = s = 2 si ||f ||2 = 1 entonces
Ent (f 2 )
n
log[A||f ||22, + CE (f )],
2
que luce como una desigualdad logartmica pero que comparte propiedades
con las desigualdades de Sobolev. Esta desigualdad se llama desigualdad
logaritmica de entropa-energia y pertenece a una clase muy amplia de
desigualdades de entropa-energia.
Definicio
satisface una desigualdad de Sobolev d
ebil si verifica una desigualdad
de la forma,
Z
2
||f ||r (A||f ||2 + B
(f )d) 2 ||f ||1
Sd(r, s)
s ,
E
r 1, s 1, 0 < 1,
1
r
1
s
yp=
2n
n2 .
En verdad estas desigualdades dependen de los parametros r, s, k y y

tambien de A y B y por ello las vamos a denotar Sd(r, s, n, , A, B).
70
4. La desigualdad de Sobolev implica la desigualdad logarmica

de Sobolev.
Para ver que la desigualdad de Sobolev implica la desigualdad logarmica
de Sobolev4 es necesario discutir un par de proposiciones previas,
n 4.2. Una desigualdad de Sobolev S(n, A, C) implica una
Proposicio
desigualdad (mas bien a la familia de desigualdades) de Sobolev debil Sd(r, 2, n, , A, C)
para r 1, 0 < 1. r = r(, n).
Demostraci
on
Por hipotesis tenemos que se satisface una desigualdad de Sobolev S(n, A, C),
Z
2
2
||f || 2n A||f ||2 + C
(f )d.
n2
Por la desigualdad de Holder tenemos que

||f ||r ||f ||t ||f ||s1 ,
para [0, 1], t, s > 1 y 1r = t + 1
s . Entonces tomando s = 2 y t =
1
1
=
+
en
esta
desigualdad
y
usando
S(n, A, C), tenemos
r
p
2
Z
2(1)
2(1)
2
2
2
||f ||r ||f ||p ||f ||2
(A||f ||2 + C
(f )d) ||f ||2
,
2n
n2 ,
es decir, obtenemos Sd(r, 2, n, , A, C) .

n 4.3. Si es una medida que satisface la desigualdad de
Proposicio
Sobolev tensa de dimensi
on n y constante C, S(n, 1, C) y m > n, entonces
satisface una desigualdad de Sobolev tensa de dimensi
on m con constante
n
n
, S(m, 1, C m
).
Cm
Demostraci
on
Por hipotesis tenemos que se satisface una desigualdad de Sobolev S(n, 1, C),
por la proposicion anterior para 1r = p + 1
2 con [0, 1], se tiene que
||f ||2r
(||f ||22
2(1)
(f )d) ||f ||2
+C
E
R
||f ||2
2 (1
Para =
1
r
+C
(f )d
2(1)
) ||f ||2
= ||f ||22 (1 + C
||f ||22
R
E
(f )d
) .
||f ||22
n
m,
=
=
2k
(2 k2
) 1
1
(2 rk ) + rk
+
=
=
+
4k
rk
2
2rk
2
k2
4
( k2
)
4k
k2
1
1
1
1
m2
= + = + =
2
k 2
m 2
2m
4Varias de las siguientes secciones que vamos a discutir en lo que sigue, forman parte
de la Tesis de Maestra de C. Balderrama [?].
4. DESIGUALDADES DE SOBOLEV
es decir, r =
2m
m2 ,
71
y dado que
(1 + x) 1 + x
tenemos,
R
||f ||
2m
m2
(f )d
)
||f ||22
R
Z
2
2
E (f )d
||f ||2 (1 + C
) = ||f ||2 + C
(f )d,
||f ||22
E
||f ||22 (1
+C
y por tanto obtenemos

Z
n
n
(f )d
S(m, 1, C ).
m E
m
Ahora si veamos que una desigualdad de Sobolev implica una desigualdad logartmica de Sobolev,
||f ||
2m
m2
||f ||22 + C
Teorema 4.4. Sea una medida que verifica una desigualdad de Sobolev
tensa con constante C y dimensi
on n,
Z
||f ||22n ||f ||22 + C
(f )d,
S(n, 1, C)
n2
entonces verifica una desigualdad logartmica de Sobolev ajustada con constante C n2 ,

Z
Z
Z
Z
n
n
f 2 log f 2 d
f d log
f d C
(f )d.
LS(C )
2
2
E
E
E
E
Demostraci
on
n
), es decir
Por la proposicion anterior, para m > n se satisface S(m, 1, C m
Z
n
||f ||22m ||f ||22 + C
(f )d
m2
m E
o, equivalentemente
Z
Z
||f ||2rm ||f ||22
n
1
Cn(m 2)
(f
)d
=
C
(f )d
2m
rm 2
m m2
4m
2 E
E
Estudiemos que pasa cuando se hace m tender a infinito en la desigualdad
anterior. En la parte derecha, esto es equivalente a estudiar

||f ||2p ||f ||22
d
=
||f ||2p |p=2 ,
p2
p2
dp
lo que es esencialmente el argumento de Gross (vease el lema 4.1). Sea
Z
Z
2
2
2
p
h(p) = ||f ||p = ( f d) p = ( ep log f d) p
(4.35)
lim
de donde
log h(p) =
2
log
p
Z
E

ep log f d .
72
Derivando con respecto a p tenemos

R
Z

h0 (p)
2 E log(f )f p d
2
p
R
f d +
= 2 log
h(p)
p
p
f p d
E
"R
#E
2 E log(f )f p d
log ||f ||pp ,
=
p
1
p
||f ||p p
de donde
0
h (p) =
=
Z
Z
Z
Z
2
2
2
1
1
p
p
p
p
p
[ f log f d( f d)
( f d) log( f p d)]]
p E
p E
E
E

Z
2
1
||f ||2p
f p log f d ||f ||2p log ||f ||pp .
p
p
p
E
As pues (4.35) es
Z

Z
Z
Z
1
1
2
2
2 2
2
2
0
2
log(f )f d ||f ||2 log( f d) .
h (2) =
f log f d ||f ||2 log( f d) =
2
2 E
E
E
E
Luego, tomando lmite cuando m tiende a infinito en (4.35), tenemos
Z

Z
Z
1
Cn
log(f 2 )f 2 d ||f ||22 log
f 2 d
(f )d;
2 E
4 E
E
es decir, se satisface la desigualdad logartmica de Sobolev ajustada LS( Cn
2 ).
5. Desigualdades de curvatura-dimensi
on.
En 1984 D. Bakry y M. Emery [12] desarrollaron un criterio (condicion
suficiente) para que un semigrupo de difusion verifique la propiedad hipercontractiva, es el famoso criterio de Bakry-Emery que esta dado en
terminos del operador cuadrado de campo iterado 2 (2.15), definido
en el Captulo 1,
1
2 (f, g) = [L(f, g) (f, Lg) (f, Lg)],
2
para todo f, g A, el algebra estandard.
El criterio de Bakry-Emery ha evolucionado a lo que ahora se llaman desigualdades de curvatura-dimensi
on, que permite estudiar la estructura
local del generador L y que tienen importantes aplicaciones en la Geometra
Diferencial.
n 4.7. Decimos que un operador L satisface una desigualdad
Definicio
de curvatura-dimensi
on CD(, n) si para todo f A,
(4.36)
R y n [1, ].
2 (f ) (f ) +
1
(Lf )2 ,
n
CD(, n)

5. DESIGUALDADES DE CURVATURA-DIMENSION.
73
n 4.4. Si L es un operador sobre un intervalo real I que se

Proposicio
puede escribir como
L(f )(x) = f 00 (x) a(x)f 0 (x),
(4.37)
entonces L satisface la desigualdad CD(, n) si, y s

olo si, para todo x I,
a0 (x) +
(4.38)
a2 (x)
.
n1
Demostraci
on
Si el operador L se puede escribir como (4.37), entonces el operador cuadrado
de campo es
1
[L(f g) f Lg gLf ]
(f, g) =
2
1 00
=
[f g + 2f 0 g 0 + f g 00 af 0 g af g 0 (f g 00 af g 0 ) (f 00 g af 0 g)]
2
= f 0g0.
Ademas, como
L(f, g) = f 000 g 0 + 2f 00 g 00 + f 0 g 000 af 00 g 0 af 0 g 00
(f, Lg) = f 0 g 000 a0 f 0 g 0 af 0 g 00 y (g, Lf ) = f 000 g 0 a0 f 0 g 0 af 00 g 0 ,
tenemos que el operador cuadrado de campo es
1
2 (f, g) = [L(f, g) (f, Lg) (g, Lf )] = f 00 g 00 + a0 f 0 g 0 .
2
Entonces, se verifica una desigualdad de curvatura-dimension CD(, n),
1
2 (f ) (f ) + (Lf )2
n
si y solo si,
(f 00 )2 + a0 (f 0 )2 (f 0 )2 +
1 00 2
a
a2
(f ) 2 f 00 f 0 + (f 0 )2
n
n
n
es decir,
a2
a
1
)(f 00 )2 + (a0
)(f 0 )2 + 2 f 00 f 0
n
n
n
2
Llamando A = 1 n1 , B = 2 na y C = a0 an , tenemos un polinomio de
segundo grado en (f 00 )2
0 (1
B 0 2
B2
f ) + (C
)(f 0 )2 .
2A
4A
0, ya que n 1, esta expresion es positiva si, y
0 A(f 00 )2 + Bf 00 f 0 + C(f 0 )2 = A(f 00 +

Como A = 1
solo si,
1
n
n1
n
0C
B2
4AC B 2
=
4A
4A
a0 +
a2
.
n1
74
Los casos extremos, que son los casos donde hay igualdad en la desigualdad (4.38), tenemos los siguientes casos, salvo traslaciones, que llamamos
modelos de la desigualdad CD(, n):
i.) CD((n1), n) entonces a(x) = (n1) tan x en (/2, /2). Cuando
n es un entero, esto es la parte radial del Laplaciano esferico. Cambiando la variable de x a y = cos x se obtiene el operador ultraesferico. (Ejercicio).
ii.) CD(0, n) entonces a(x) = (n 1)/x (Ejercicio). Esta es la parte
radial del Laplaciano Euclideo, cuando nes un entero. El operador
asociado se conoce como el operador de Bessel.
iii.) CD((n 1), n). Hay muchas soluciones a(x) = (n 1)cotanhx
en (0, ), a(x) = (n 1) en R y a(x) = (n 1) tan x en
R. Estas soluciones corresponden a distintos casos del Laplaciano
hiperbolico.
iv.) CD(1, ) entonces a(x) = 2x (Ejercicio), que representa un m
ultiplo
del operador de Ornstein-Uhlenbeck,
es
la
parte
radial
del
Lapla
ciano esferico en una esfera de radio n 1 en dimension n cuando
n tienede a infinito. Observese que esta esfera satisface CD(1, n) y
que esta desigualdad CD(1, n) tiende al lmite CD(1, ).
De lo anterior queda claro entonces que a
un en el caso unidimensional las
desigualdades de curvatura-dimension CD(, n) captura informacion del espacio de donde el operador proviene. Veamos entonces las relaciones entre las desigualdades de curvatura-dimension CD(, n) y las desiguadades
funcionales, la prueba de este resultado es tecnicamente complicada, para
detalles vease [10]:
Teorema 4.5. Tenemos las siguientes relaciones entre las desigualdades
de curvatura-dimensi
on CD(, n) y las desigualdades funcionales:
i) Si se verifica una desigualdad CD(, n) para alg
un > 0 y n > 2
entonces la medida invariante tiene que ser finita y si la medida
es adem
as simetrica, se cumple para la probabilidad invariante
4(n1)
.
una desigualdad de Sobolev ajustada S(n, C) con C = n(n2)
ii) Si se verifica una desigualdad CD(, ) para alg
un > 0 entonces
entonces la medida invariante tiene que ser finita y para la probabilidad invariante se cumple una desigualdad logartmica de Sobolev
ajustada con constante C acotada por arriba por 2 .
Corolario 4.3. El semigrupo de Ornstein-Uhlenbeck satisface una desigualdad curvatura dimensi
on CD(, ) para 1.
Demostraci
on
Dado que, como hemos visto en el captulo anterior, en el caso del semigrupo
de Ornstein-Uhlenbeck tenemos que
1
1
1
(f )(x) = (f 0 (x))2 , y 2 (f )(x) = (f 00 (x))2 + (f 0 (x))2 ,
2
4
2
6. LA PROPIEDAD HIPERCONTRACTIVA DEL SEMIGRUPO DE LAGUERRE.
75
tenemos entonces una desigualdad de curvatura-dimension con constantes

y n = ,
1 00
1
(f (x))2 + (f 0 (x))2 (f 0 (x))2 ,

4
2
2
si y solo si 1.
Observese que el resultado ii) del teorema anterior es optimal para la
medida Gaussiana y el operador de Ornstein-Uhlenbeck. As pues, el operador de Ornstein-Uhlenbeck es el modelo de operador que satisface una
desigualdad CD(1, ) y por tanto satisface una desigualdad logartmica de
Sobolev, que se puede pensar como la desigualdad de Sobolev para infinitas
dimesiones. Por lo tanto, por el resultado de Gross, Corolario 4.2, obtenemos
otra prueba de que el semigrupo de Ornstein-Uhlenbeck es hipercontractivo.
- Como veremos en la seccion siguiente, los operadores de Laguerre satisfacen una desigualdad CD(1/2, ) y por tanto son hipercontractivos, vease
por ejemplo [51] y [38].
- Los operadores de Jacobi simetricos (vease [9]) son los modelos de
operadores que satisfacen CD(, n) y por tanto satisfacen una desigualdad de Sobolev d-dimensional. Ademas vamos a probar (vease [2]) que la
desigualdad de Sobolev de los operadores de Jacobi simetricos implica una
desigualdad logartmica de Sobolev y por tanto los semigrupos de Jacobi son
tambien hipercontractivos. Mas a
un de dada las relaciones asintoticas de los
polinomios de Jacobi con los polinomios de Hermite y Laguerre, vease (B.46)
y (B.49) en el Apendice B, vamos a probar que de la desigualdad de Sobolev
para los operadores de Jacobi se pueden obtener tambien las desigualdades
logartmicas de Sobolev para los operadores de Ornstein-Uhlenbeck y de
Laguerre.
Para una discusion mas amplia de las desigualdades de curvatura-dimension
puede consultarse [11], seccion 3.
6. La propiedad Hipercontractiva del semigrupo de Laguerre.

Como ya hemos mencionado anterior vamos a probar una desigualdad
curvatura-dimension CD(1/2, ), para el operador de Laguerre L ,
Teorema 4.6. Para todo > 1 el operador de Laguerre L satisface
una desigualdad curvatura-dimensi
on CD(1/2, ).
Demostraci
on
Por el argumento de tensorizacion basta considerar el caso unidimensional
y en ese caso, recordemos que, por lo visto en el captulo anterior, tenemos
que

1 (f 0 )2
f0 2
+ x++
,
(f ) = x(f 0 )2 , y 2 (f ) = xf 00 +
2
2
2
76
por lo tanto,

xf 00 +
f0
2
2

1 (f 0 )2
1
+ x++
x(f 0 )2 ,
2
2
2
si [1/2, ), es decir, para [1/2, ) se verifica una desigualdad

de curvatura dimension C( 21 , ). Cuando (1, 1/2) Korzeniowski
obtiene el resultado explotando la formula explcita del n
ucleo Gt (x, y),
vease la estimacion (8) en [51] y el Teorema 4.
Por lo tanto, por el resultado de Gross, Corolario 4.2, obtenemos
Corolario 4.4. El semigrupo de Laguerre {Tt } es hipercontractivo,
para todo > 1.
Por tanto, de forma analoga a la hecha en la seccion 2 de este captulo, en
el caso del semigrupo de Ornstein-Uhlenbeck, podemos obtener una version
del teorema de Meyer para multiplicadores de desarrollos de Laguerre, vease
[38],
Teorema 4.7. Si para alg
un n0 tenemos que (n) = h( n1 ) para n n0 ,
(0, 1] y h es una funci
on analtica en un entorno del origen, entonces el
operador
X
X
T f =
(k)J f,
f=
J f,
k=0
definido inicialmente en L2 (Rd+ , ),
tensi
on continua en Lp (Rd+ , d ), 1
k=0
o en los polinomios, tiene una en< p < . Mas a

un, su Lp norma
es independiente de la dimensi
on y del multi-ndice .
7. Desigualdad de Sobolev para el semigrupo de Jacobi y
algunas consecuencias.
Vamos a probar que el semigrupo de Jacobi satisface una desigualdad

de Sobolev ajustada S(n, C), siguiendo artculo [9] de D. Bakry vamos a
ver que para ello basta probar, por el Teorema 4.5 i), que el satisface una
desigualdad de curvatura-dimension CD(, n).
7.1. Desigualdad de curvatura-dimensi
on para el operador de
Jacobi. Siguiendo [9] en esta seccion vamos a trabajar con el operador de
p2
Jacobi y el semigrupo de Jacobi con parametros = q2
2 , = 2 , para
p, q > 1, luego , > 1/2.
Consideramos entonces el operador de Jacobi,
1
(4.39)
Lp,q f (x) = (1 x2 )f 00 (x) {(p + q)x + q p}f 0 (x).
2
Por medio del cambio de x a x, se ve que el operador Lp,q se transforma
en Lq,p , luego, basta considerar el caso p q.
La medida invariante y simetrica para este operador es,
q2
p2
1
(4.40)
p,q (dx) =
(1 x) 2 (1 + x) 2 dx,
Zp,q
7. DESIGUALDAD DE SOBOLEV PARA EL SEMIGRUPO DE JACOBI
77
en (1, 1) donde
Zp,q = 2
p+q2
2
( p2 )( 2q )
( p+q
2 )
=2
q2
+ p2
+1
2
2
p q
B( , ).
2 2
Recuerdese que en este caso el operador cuadrado de campo viene dado

por
p,q (f, g) = (1 x2 )f 0 (x)g 0 (x).
Entonces tenemos el siguiente resultado,
Teorema 4.8. El operador de Jacobi Lp,q y la medida p,q satisfacen
una desigualdad de Sobolev ajustada S(p, C),
Z 1
2
2
(4.41)
kf k 2p kf k2 + C
(f )p,q (dx),
p2
y la mejor constante C = Cp,q que aparece en esta desigualdad satisface

(
Zp,q p2
16(p 1)
.
) Cp,q
Zp,p
p(p 2)(p + 3q 4)
Demostraci
on
Usando la Proposicion 4.4, debemos rescribir el operador de Jacobi de la
forma (4.37), y para eso vamos a hacer el cambio
x = sin y, y [/2, /2], y = arcsin x,
en el operador de Jacobi
1
Lp,q (f )(x) = (1 x2 )f 00 (x) {(p + q)x + q p}f 0 (x).
2
Por la regla de la cadena tenemos,
1 0
(f (y))0 = y 0 f 0 (y) =
f (y)
cos y
sin y 0
1
(f (y))00 = y 00 f 0 (y) + (y 0 )2 f 00 (x) =
f (y) +
f 00 (y),
cos2 y
cos2 y
Aplicando este cambio al operador de Jacobi obtenemos
(y) = f 00 (y) 1 {(p + q 2) tan y + q p }f 0 (y).
Lf
2
cos y
En este caso
1
qp
a(y) = {(p + q 2) tan y +
},
2
cos y
y entonces la desigualdad (4.38) se convierte en
1
1
(q p) sin y
1
1
((p + q 2) 2 +
)+
((p + q 2) sin y + q p)2 .
2
cos y
cos2 y
n + 1 4 cos2
Devolviendo el cambio de variable,
1
1
((p + q 2)x + q p)2
(p + q 2 + (q p)x) +
2
2
2(1 x )
4(1 x )
n1
78
2(p + q 2 + (q p)x) 4(1 x2 ) +
((p + q 2)x + q p)2

.
n1
Evaluando en x = 1, tenemos que

4(q 1) 4
(q 1)2
,
n1
lo que implica que n q, y evaluando en x = 1,

4(p 1) 4
(1 p)2
n1
lo que implica que

n p.
Entonces, para que la desigualdad (4.42) se satisfaga, debe ocurrir n
sup{p, q} = p. Para el valor extremo n = p, estudiando la ecuacion cuadratica resultante, obtenemos la codicion
p + 3q 4
.
4
Dada la forma de la desigualdad de curvatura-dimension CD(, n), la mejor
constante n es la mas peque
na y la constante es la mas grande. As,
es semigrupo de Jacobi satisface una desigualdad de curvatura-dimension
.
CD(, p), donde la mejor constante esta acotada por p+3q4
4
Ahora, por el Teorema 4.5, tenemos que el semigrupo de Jacobi satisface
una desigualdad de Sobolev ajustada S(p, C) y que la mejor constante C =
Cp,q esta acotada por debajo por
Cp,q =
4(k 1)
16(p 1)
=
.
k(k 2)
p(p 2)(p + 3q 4)
Para la estimacion por abajo remitimos al artculo de Bakry [9], pag 33-34.
Ahora, la desigualdad logartmica de Sobolev para el semigrupo de
Jacobi, por el Teorema 4.4, se deriva directamente de la desigualdad de
Sobolev.
Corolario 4.5. El semigrupo de Jacobi satisface una desigualdad logartmica
de Solovev ajustada LS(C), donde la mejor constante C est
a acotada por
8(p1)
debajo por (p2)(p+3q4) .
Finalmente por el resultado de L.Gross, Corolario 4.2, devolviendo los
cambios hechos en los parametros, q = 2 + 2 y p = 2 + 2, tenemos
que el operador de Jacobi satisface una desigualdad de curvatura-dimension
CD(, n) con = +3+2
y n = 2+2, por lo tanto satisface una desigualdad
2
logartmica de Solovev ajustada LS(C), con mejor constante C acotada por
8(2+1)
2(2+1)
debajo por 2(2+6+8)
= (+3+4)
y tenemos entonces
79
Corolario 4.6. El semigrupo de Jacobi {Tt, } es hipercontractivo, con

funci
on de contracci
on
q(t) = 1 + (q(0) 1)e4t/C ,
con C =
2(2+1)
(+3+4) .
De este hecho se puede obtener entonces resultados similares a los obtenidos

para el semigrupo de Ornstein-Uhlenbeck en la seccion 2 para culminar en
un Teorema de Multiplicadores de Meyer para el caso Jacobi. Debido al
problema de la no linealidad de los aultovalores, para obtener una version
de dicho resultado en toda generalidad hay que considerar la descomposicion
en caos de Wiener-Jacobi modificada, para mas detalles vease [16].
En las siguientes subsecciones vamos a ver que como consecuencia de
las relaciones asintoticas entre los polinomios de Jacobi y los polinomios de
Hermite y Laguerre,5 se pueden obtener las desigualdades logartmicas para
sus respectivos operadores a partir de la desigualdad de Sobolev para el operador de Jacobi.
7.2. Desigualdad Logartmica de Sobolev para el operador de
Ornstein-Uhlenbeck. Por la relacion asintotica (B.49), consideremos el
caso Gegenbauer, es decir el caso p = q. El operador de Jacobi (simetrico)
se escribe entonces
Lp f (x) = Lp,p f (x) = (1 x2 )f 00 (x) pxf 0 (x),
y la medida de Jacobi en (1, 1),
p2
1
(1,1) (x)(1 x2 ) 2 dx.
p (dx) = p,p (dx) =
Zp,p
En este caso la desigualdad de Sobolev que satisface este operador es
Z 1
4
2
2
(4.42)
(f )p (dx).
kf k 2p kf k2 +
p(p 2) 1
p2
q
2 6
p
Si aplicamos el cambio de variable x =
p y, en el operador L /p
obtenemos
2y 2 1 00
Lp f (y) = (1
) f (y) yf 0 (y).
p 2
Cuando p tiende a infinito, este operador converge al operador de OrnsteinUhlenbeck,
1
Lf (y) = f 00 (y) yf 0 (y).
2
5V
ease Apendice B.
p
6por tanto (f (y))0 = y 0 f 0 (y) = p/2f 0 (y),(f (y))00 = y 00 f 0 (y)+(y 0 )2 f 00 (y) = p/2f 00 (y).
80
Aplicando el mismo cambio a la medida p tenemos

1
2y 2 p 1
[p/2,p/2] (y)(1
) 2 dy,
p
Zp
p (dy) =
que converge, al hacer p tender a infinito, a la medida Gaussiana

1
2
1 (dy) = (dy) = ey dy.
Por u
ltimo, al aplicar el cambio a la forma de Dirichlet,
Z 1
Z 1
(1 x2 )(f 0 (x))2 p (dx)
(f )(x)p (dx) =
1
obtenemos
p
2
Z p/2
(1
p/2
2y 2
)(f 0 (y))2
p (dy).
p
Luego, despues de este cambio la desigualdad de Sobolev (4.42) se transforma en

Z p/2
4
2y 2
p
(1
kf k22p kf k22 +
)(f 0 (y))2
p (dy),
p(p 2) 2 p/2
p
p2
lo que implica que,
kf k22p kf k22
p2
2p
p2
Z p/2
(1
p/2
es decir
2p
p2
R
R
( |f (y)| p2
p (dy)) p |f (y)|2
p (dy)
2p
p2
2y 2
)(f 0 (y))2
p (dy),
p
Z
(1
2y 2
)(f 0 (y))2
p (dy).
p
Por un argumento analogo al utilizado en el Teorema 4.4, al tomar lmite

cuando p tiende a infinito obtenemos
Z
Z
Z Z
Z Z
1
1
2
2
2
2
[ f log f 1 (dy) f 1 (dy) log(
f 1 (dy))]
(f 0 (y))2 1 (dy),
2 R
2
R
R
R
que es la desigualdad logartmica de Sobolev para el operador de OrnsteinUhlenbeck.
7.3. Desigualdad Logartmica de Sobolev para el operador de
Laguerre. Para obtener la desigualdad logartmica para el operador de
Laguerre, vamos a proceder de manera analoga que para el caso del operador
de Ornstein-Uhlenbeck, utilizando ahora la relacion asintotica (B.46), por
7
ello consideremos el cambio de variable x = 1 2y
p , en el operador de Jacobi
7por tanto (f (y))0 = y 0 f 0 (y) = p f 0 (y), (f (y))00 = y 00 f 0 (y) + (y 0 )2 f 00 (y) =
2
p2 00
f (y).
4
81
Lp,q , obtenemos
1
y2
y p2
1
y
p
[(4 2 + 4 ) f 00 (y) + ((p + q)(1 ) + q p) f 0 (y)]
p
p
p 4
2
p
2
y 00
1 p+q
= y(1 )f (y) (
y q)f 0 (y),
p
2 p
que al hacer p tender a infinito converge al operador de Laguerre
1
Lq f (y) = yf 00 (y) (y q)f 0 (y),
2
la medida p,q se transforma en
q2
y p2
1
(0,p] (y)y 2 (1 ) 2 dy
p,q (dy) =
p
Zp,q
Lp,q f (y) =
que al tender p hacia infinito, converge a la medida Gamma,

q2
1
q (dy) =
(0,) (y)y 2 ey/2 dy,
Zq
y la forma de Dirichlet,
Z
Z
(f )(x)p,q (dx) = (1 x2 )(f 0 (x))2 p,q (dx),
se transforma en
y
p,q (dy).
y(1 )(f 0 (y))2
p
Por tanto, despues de este cambio, la desigualdad de Sobolev del operador
de Jacobi (4.41) toma la forma
Z
16(p 1)
y
2
2
kf k 2p kf k2 +
p y(1 )(f 0 (y))2
p,q (dy),
p(p 2)(p + 3q + 4)
p
p2
lo que implica que
Z
kf k22p kf k22
4(p 1)
y
p2
y(1 )(f 0 (y))2

p,q (dy),
2p
(p
+
3q
+
4)
p
2
p2
p
o equivalentemente
2p
p2
R
R
( |f (y)| p2
p,q (dy)) p |f (y)|2
p,q (dy)
2p
p2
4(p 1)
(p + 3q + 4)
y
y(1 )(f 0 (y))2
p,q (dy),
p
Tomando lmite cuando p tiende a infinito, y usando de nuevo un argumento

analogo al argumento del Teorema 4.4, tenemos
Z
Z
Z
Z
1
2
2
2
2
[ f log f q (dy) f q (dy) log( f q (dy))] 4 (f 0 (y))2 q (dy),
2
que es la desigualdad logartmica de Sobolev para el operador de Laguerre
con constante 8.

APENDICE
A
La funci
on Gamma y funciones relacionadas.
n A.1. La funci
Definicio
on Gamma denotada con , se define como
Z
(A.1)
(z) =
xz1 ex dx,
para Re z > 0.
Por integracion por partes es facil probar que la funcion Gamma satisface
la relaci
on de recurrencia
(A.2)
(z + 1) = z (z) ,
en particular
(n + 1) = n!,
y ademas
2n
(2n)!
n 2 n!
, (n + 1/2) = (1)
,
(n + 1/2) =
22n n!
(2n)!
(1) = 1, (1/2) = .
Ademas tenemos las f
ormulas de Stirling
(A.3)
(z) (2)1/2 z z1/2 ez ,
z ,
n
2n ( )n , n .
e
Tenemos ademas, estrechamente ligada a la funcion Gamma, la funcion
Beta
(A.4)
n!
n A.2. La funci
Definicio
on Beta se define como
Z 1
(A.5)
B(z, w) =
tz1 (1 t)w1 dt,
0
Re z > 0, Re w > 0.
Observese que, por el cambio de variable t = 1 u, se puede probar que
B(z, w) es simetrica, B(z, w) = B(w, z). Ademas, por el cambio de variable
t = 1+u
2 , tenemos
Z 1
1
B(z, w) = z+w1
(1 + u)z1 (1 u)w1 du.
2
1
83
GAMMA Y FUNCIONES RELACIONADAS.

A. LA FUNCION
84
Por otra parte, tenemos la siguiente relaci

on entre la funci
on Gamma
y la funci
on Beta,
(z)(w)
(A.6)
B(z, w) =
.
(z + w)
n A.3. El smbolo de Pochammer ()n , se define como
Definicio
(A.7)
()n = ( + 1) ( + 2) ... ( + n 1) ,
para n 0 y
()0 = 1,
con 6= 0 un n
umero real.
Observese que (1)n = n!.
Tenemos, por la relacion de recurrencia de la funcion Gamma, la relaci
on
del smbolo de Pochammer con la funci
on Gamma
( + n)
.
()
Ademas los coeficientes binomiales se pueden definir para cualquier
R como
(A.8)
(A.9)
()n =

( 1) ( n + 1)
=
,
n
n!
y por tanto,

( n + 1)n
( + 1)
=
=
.
n
n!
( n + 1) (n + 1)

APENDICE
B
Polinomios ortogonales cl
asicos.
La referencia obligatoria para el estudio de los polinomios ortogonales
clasicos es el libro de G. Szego [90]. La bibliografa sobre este tema es muy
extensa, entre otras referencias citaremos T. S. Chihara [24], G. E. Andrews,
R. Askey, & R. Roy [4], N. N. Lebedev [56], M. Abramowitz & I.A. Stegun
[1].
1. Polinomios de Hermite.
Los polinomios de Hermite. {Hn }nN , se definen como los polinomios
ortogonales asociados a la medida Gaussiana en R,
1
2
1 (dx) = ex dx,
y por tanto se pueden obtener de la base canonica de los polinomios {1, x, x2 , , xn , }

mediante el metodo de ortogonalizacion de Gram-Schmidt, respecto al producto interno en L2 (1 ). Por tanto la propiedad de ortogonalidad de los
polinomios de Hermite respecto a 1 , es
Z
(B.1)
Hn (y)Hm (y) 1 (dy) = 2n n!n,m ,
con la normalizaci
on
(2n)!
.
n!
Previo al estudio de C. Hermite (1822-1901), estos polinomios fueron
considerados por P.L. Tchebychev y mas a
un aparecen por primera vez en
la famosa Mec
anica Celeste de Pierre Simon Laplace.
F
ormula de Rodrigues.
n
2 d
2
(B.3)
Hn (x) = (1)n ex
(ex ).
n
dx
La relacion de ortogonalidad se puede obtener, de la formula de Rodrigues,
usando integracion por partes.
Relaciones diferenciales.
(B.2)
H2n+1 (0) = 0,
H2n (0) = (1)n
(B.4)
Hn (x) = 2nHn1 (x),
(B.5)
Hn (x) 2xHn (x) + 2nHn (x) = 0.
00
Es decir, los polinomios de Hermite son soluciones polinomiales de la ecuaci

on
de Hermite de parametro n.
85

B. POLINOMIOS ORTOGONALES CLASICOS.
86
Representaci
on explcita.
[n/2]
(B.6)
Hn (x) = n!
X (1)k (2x)n2k
.
k! (n 2k)!
k=0
Representaci
on integral
(B.7)
Hn (x) =
(2i)n ex
tn et e2ixt dt.
Esta representacion se obtiene de la igualdad,

Z
1
2
x2
et e2ixt dt,
(B.8)
e
=

usando la formula de Rodrigues.
Funci
on Generatriz.
X
Hn (x) n
2
r = e2xrr .
(B.9)
n!
n=0
Debido a que los polinomios de Hermite son los u

nicos polinomios que verifican esta relacion, ella nos sirve para definirlos en forma alternativa. Esta
formula se obtiene, en forma inmediata, considerando el desarrollo de Taylor
2
de la funcion e2xyy alrededor de y = 0 y observando que, por la Formula
de Leibnitz para el producto, tenemos que
Hn (x) =
dn 2xyy2
(e
)|y=0 .
dy n
F
ormula de recurrencia a tres t
erminos.
Hn+1 (x) = 2xHn (x) 2nHn1 (x), n 0,
(B.10)
con H0 (x) = 1, H1 (x) = 2x. Esta formula se puede obtener de la formula de

Rodrigues, para Hn+1 y la formula de Leibnitz para el producto.
F
ormula de Christoffel-Darboux.
n
X
Hk (x)Hk (y)
1 Hn+1 (x)Hn (y) Hn (x)Hn+1 (y)
= n+1
.
(B.11)
k
2
n!
xy
2 k!
k=0
A partir de la Funcion Generatriz y utilizando la relacion (B.8) se puede

probar la F
ormula de Mehler (F. G. Mehler, 1866)
(B.12)
X
Hn (x)Hn (y)
n=0
2n n!
rn =
r 2 (y 2 +x2 )2rxy
1
1r 2
,
e
(1 r2 )1/2
Los polinomios de Hermite forman un sistema completo en L2 (1 ), ya

2
que si f L2 (1 ) es ortogonal a cada Hn , entonces la funcion f (x)ex , que
esta en L1 (R), es ortogonal a cada Hn y por tanto ortogonal a cualquier poli2
nomio, pero entonces, considerando la transformada de Fourier de f (x)ex ,
1. POLINOMIOS DE HERMITE.
tenemos
Z
2ix x2
f (x)e
dx =
XZ
f (x)
87
(2ix)k x2
e dx = 0,
k!
donde el cambio de orden entre la integral y la sumatoria se justifica ya que

se puede acotar la serie por e|x||| . As pues, la transformada de Fourier es
identicamente 0 y por tanto f 0.
Denotaremos por hn al polinomio de Hermite normalizado respecto
a 1 de grado n, es decir:
(B.13)
hn (x) =
Hn (x)
(2n n!)1/2
Es inmediato entonces que, quizas con diferentes constantes, los polinomios

de Hermite normalizados satisfacen relaciones similares que las que satisfacen los polinomios de Hermite, por ejemplo
0
hn (x) = 2nhn1 (x),
y
00
hn (x) 2xhn (x) + 2nhn (x) = 0.

El polinomio de Hermite en d-variables de grado = (1 , 2 , , d )
~ , se define para x = (x1 , x2 , , xd ) Rd ,
Nd , que denotaremos como H
como el producto tensorial de polinomios de Hermite unidimensionales, es
decir,
(B.14)
~ (x) =
H
d
Y
Hi (xi ),
i=1
donde Hi (xi ) es el polinomio de Hermite de grado i en la variable xi ,

Por construccion, es claro que el polinomio de Hermite normalizado ~h
es entonces el producto tensorial de polinomios de Hermite normalizados
unidimensionales,
~h (x) =
d
Y
hi (xi ),
i=1
donde hi (xi ) es el polinomio de Hermite normalizado de grado i en la

variable xi , y por tanto
~h (x) =
~ (x)
H
,
||
(2 !)1/2
donde, como es usual, para cualquier multi-ndice = (1 , 2 , , d ), ! =

Qd
Pd
i=1 i .
i=1 i ! y || =

88
La formula de Mehler en d dimensiones, se expresa como

X H
~ (x)H
~ (y)
r
2|| !
||0
||0
r 2 (|y|2 +|x|2 )2rhx,yi
1
1r 2
e
,
(1 r2 )d/2
(B.15)
~h (x)~h (y)r
2. Polinomios de Laguerre.
Los polinomios de Laguerre (o de Sonine-Laguerre) de tipo > 1,
{Ln }, se definen como los polinomios ortogonales asociados a la medida
Gamma en (0, ),
(dx) = (0,) (x)x ex dx,
y por tanto se pueden obtener de la base canonica de los polinomios {1, x, x2 , , xn , }
mediante el metodo de ortogonalizacion de Gram-Schmidt, respecto al producto interno en L2 ( ). Por tanto la propiedad de ortogonalidad de
los polinomios de Laguerre de tipo respecto a , es
Z
(n + + 1)
(B.16)
Ln (y)Lm (y) (dy) =
n,m ,
n!
0
con la normalizaci
on
Ln (0)
(B.17)

=
n+
n

=
( + 1)n
.
n!
Estos polinomios fueron estudiados originalmente por E. N. Laguerre

(1834-1886), aunque aparecen en trabajos previos de N. K. Abel, J.L. Lagrange y P.L. Tchebychev.
F
1 x dn n+ x
e x
(x
e ),
n!
dxn
(B.18)
Ln (x) =
n N, x > 0.
(B.19)
(Ln (x))0 = L+1

n1 (x).
(B.20)
x(Ln (x))00 + ( + 1 x)(Ln (x))0 + nLn (x) = 0.
Es decir, los polinomios de Laguerre son soluciones polinomiales de la ecuaci

on
de Laguerre, con parametro n.
Representaci
on explcita.

k
d
X
()
k n+ x
(B.21)
Ln (x) =
(1)
.
n k k!
k=0
Representaci
on integral.
(B.22)
Ln (x) =
ex x/2
n!
Z
0
tn+/2 J (2 xt)et dt,
2. POLINOMIOS DE LAGUERRE.
89
siendo J la funcion de Bessel de orden ,1 vease Watson [99],

J (x) =
(1)
x+|| , 6= 1/2.
2+|| ( + 1)(|| + + 1)
2
=0
Esta representacion se obtiene de la identidad

Z
n+ x
( xt)n+ Jn+ (2 xt)et dt,
x
e =
0
usando la formula de Rodrigues.

Funci
on Generatriz.
X
(B.23)
Ln (x)rn =
n=0
xr
1
e 1r .
+1
(1 r)
F
erminos.
(B.24)
(n + 1)Ln+1 (x) = [(2n + + 1) x]Ln (x) (n + )Ln1 (x),
con L0 (x) = 1, L1 (x) = x + + 1.

F
(B.25)
n
X
(n + 1)! Ln+1 (y)Ln (x) Ln+1 (x)Ln (y)
k!
L (x)Lk (y) =
.
(k + + 1) k
(n + + 1)
xy
k=0
F
ormula de Hille-Hardy.
(B.26)
X
n!
1 (x+y)r
2 xyr
n
/2
1r
L (x)Ln (y)r =
e
(xyr)
J (
),
(n + + 1) n
1r
1r
n=0
con |r| < 1, > 1 y J (x) la funcion de Bessel de orden .

Conexi
on entre los polinomios de Laguerre y de Hermite.
(B.27)
H2n = (1)n 22n n!L1/2

(x2 )
n
(B.28)
2
H2n+1 = (1)n 22n+1 n!xL1/2
n (x ).
Los polinomios de Laguerre de tipo se definen como

()
ln (x) =
(B.29)
(n!)1/2 Ln (x)
.
((n + + 1))1/2
Es inmediato entonces que, quizas con diferentes constantes, los polinomios

de Laguerre normalizados satisfacen relaciones similares que las que satisfacen los polinomios de Laguerre.
Dado el multi-ndice = (1 , . . . , d ), (1, )d , el polinomio de
Laguerre en d-variables de tipo y de orden = (1 , 2 , , d ) Nd ,
1J
1/2 (x)
2
x
cos x, J1/2 (x) =
2
x
sin x.

90
~ , se define para x = (x1 , x2 , , xd ) Rd , como

que denotaremos como L
el producto tensorial de polinomios de Laguerre unidimensionales, es decir,
~ (x) =
L
(B.30)
d
Y
Lii (xi ),
i=1
y el polinomio de Laguerre normalizado ~l es entonces el producto tensorial

de polinomios de Laguerre normalizados unidimensionales,
~l (x) =
d
Y
li (xi ),
i=1
donde li (xi )
variable xi , y
es el polinomio de Laguerre normalizado de grado i en la

por tanto
1/2 ~
~l (x) = Q (!) L (x)
.
( di=1 (i + + 1))1/2
La formula de Hille-Hardy en d dimensiones,
X
!
L (x)L (y)r
Qd
(
+
+
1)
i
i=1
||0
=
d
Y
j=1
1
e
1r
(xj +yj )r
1r
(xj yj r)
j /2

2 rxj yj
,
Jj
1r
con |r| < 1 y J (x) la funcion de Bessel de orden .

3. Polinomios de Jacobi.
(,)
Los polinomios de Jacobi, {Pn

}nN , son polinomios ortogonales
respecto a la medida de Jacobi (o medida beta) en (1, 1), , , , > 1,
(B.31)
, (dx) = , (x)dx = (1,1) (x)(1 x) (1 + x) dx.
La funcion , se llama peso de Jacobi.

Por tanto los polinomios de Jacobi se pueden obtener de la base canonica
de los polinomios {1, x, x2 , , xn , } mediante el metodo de ortogonalizacion de Gram-Schmidt, respecto al producto interno en L2 (, ) luego la
propiedad de ortogonalidad de los polinomios de Jacobi respecto a , ,
es
Z
(,)
(B.32)
Pn(,) (y)Pm
(y) , (dy) = h(,)
n,m ,
n
donde
(B.33)
h(,)
=
n
(n + + 1) (n + + 1)
2++1
,
(2n + + + 1) (n + 1) (n + + + 1)
con la normalizaci
on
(B.34)
Pn(,) (1) =
n+
n

=
( + 1)n
(n + + 1)
=
.
n!
(n + 1) ( + 1)
3. POLINOMIOS DE JACOBI.
91
Dado que estamos trabajando en un intervalo simetrico y el peso ,

verifica
(B.35)
, (x) = , (x),
es facil probar entonces que

(B.36)
Pn(,) (x) = (1)d Pn(,) (x)
y por tanto

n+
(n + + 1)
= (1)d
(B.37)
= (1)
n
(n + 1) ( + 1)
Estos polinomios fueron estudiados originalmente por Karl Gustav Jacob
Jacobi (1804-1851), que los introdujo en 1850. Ellos tienen como casos
particulares:
(1) Los polinomios de Legendre, {Pn }, cuando = = 0.
(2) Los polinomios de Tchebychev de primera especie, {Tn }, cuando
= = 1/2.
(3) Los polinomios de Tchebychev de segunda especie, {Un }, cuando
= = 1/2.
(4) Los polinomios de Gegenbauer o ultraesfericos, {Cn }, cuando =
= 1/2 > 1/2.
F
(B.38)
o
dn n
(1)n
(1 x) (1 + x) n (1 x)+n (1 + x)+n .
Pn(,) (x) = n
2 n!
dx
o (n + + + 1)
d n (,)
(+1,+1)
(B.39)
Pn
(x) =
Pn1
(x) .
dx
2

(B.40) 1 x2 y 00 + [ ( + + 2) x] y 0 + n (n + + + 1) y = 0.
Pn(,) (1)
Es decir, los polinomios de Jacobi son soluciones polinomiales de la ecuaci

on
de Jacobi, con parametro n.
Representaci
on explcita.

1 X n+ n+
(,)
Pn
(x) =
(x 1)nk (x + 1)k
2n
k
nk
k=0

n
X
n+ n+++k x1 k
=
(
)
nk
k
2
k=0

n
X
(n)k (n + + + 1)k 1 x k
n+
(B.41)
=
[1 +
(
) ].
n
k! ( + 1)k
2
k=1
Representaci
on integral.

I
1
x + 1 n+
x 1 n+ n1
(B.42) Pn(,) (x) =
1+
z
1+
z
z
dz,
2i
2
2

92
donde suponemos que x 6= 1, y la integral se extiende en sentido positivo a lo largo de la curva cerrada alrededor del origen, tal que el punto
2 (x 1)1 no esta en el interior.
Funci
on Generatriz.

X
1
1
Pn(,) (x) rn = 2+ 1 2xr + r2 2 1 2xr + r2 2 r + 1
n=0
(B.43)
1 2xr + r2
1
+r+1
La funcion generatriz se puede obtener mediante esta representacion

integral. Esta formula nos da una forma alternativa de definirlos ya que
ellos son los u
nicos coeficientes (que dependen de x) que verifican dicha
igualdad.
F
erminos.
(,)
2(n + 1)(n + + + 1) (2n + + ) Pn+1 (x)

= (2n + + + 1) (2n + + + 2) (2n + + ) x + 2 2 Pn(,) (x)
(,)
2 (n + ) (n + ) (2n + + + 2) Pn1 (x) ,
(B.44)
con
1
1
( + + 2) x + ( ) .
2
2
F
n n
o
X
(n + 2) (n + + + 2)
2
(,) 1 (,)
(,)
hk
Pk
(x) Pk
(y) =
2n + + + 2 (n + + 1) (n + + 1)
(,)
P0
(,)
(x) = 1, y P1
(x) =
k=0
(,)
(,)
(,)
(,)
(y) Pn
(x) Pn+1 (y)
.
xy
Relaci
ones asint
oticas con los otros polinomios ortogonales cl
asicos.
(B.45)
(B.46)
Pn+1 (x) Pn
lim Pn(,) (1 2x/) = Ln (x).
Los polinomios de Gegenbauer {Cn } se definen como

(B.47)
Cn (x) =
(2)n
P (1/2,1/2) (x),
( + 1/2)n n
de tal manera que tienen funcion generatriz
X
1
(B.48)
Cn (x)rn =
.
(1 2xr + r2 )
n=0
Se tiene la siguiente relacion asintotica con los polinomios de Hermite,

(B.49)
lim n/2 Cn (x/) =
Hn (x)
.
n!
3. POLINOMIOS DE JACOBI.
93
Los polinomios ortonormales de Jacobi se definen como

(,)
p(,)
(x)
n
(B.50)
Pn
(x)
(,)
(hn )1/2
Es inmediato entonces que, quizas con diferentes constantes, los polinomios de Jacobi normalizados satisfacen relaciones similares que las que
satisfacen los polinomios de Jacobi.
Dados los multi-ndices = (1 , ..., d ), = (1 , ..., d ) Rd , i , i >
1 y = (1 , 2 , , d ) Nd , el polinomio de Jacobi en d-variables
de tipo (, ) y de grado , que denotaremos como P~, , se define para
x = (x1 , x2 , , xd ) Rd , como el producto tensorial de polinomios de
Jacobi unidimensionales, es decir,
P~(,) (x) =
(B.51)
d
Y
P(,)
(xi ),
i
i=1
(,)
Pi (xi )
es el polinomio de Jacobi de grado i en la variable xi .

donde
(,)
Por construccion, es claro que el polinomio de Jacobi normalizado p~
es entonces el producto tensorial de polinomios de Jacobi normalizados unidimensionales,
p~(,)
(x)
(B.52)
)1/2
(h(,)
d
Y
p(,)
(xi ),
i
i=1
donde
(,)
h
(i ,i )
,
i=1 hi
Qd
con
( , )
h i i i
2i +i +1 (i +i +1)(i +i +1)
2i +i +i +1 (i +1)(i +i +i +1) .

APENDICE
C
Los Semigrupos Cl
asicos del An
alisis: el
semigrupo del Calor y el semigrupo de Poisson.
1. El semigrupo del Calor.
Consideremos el n
ucleo del calor (o de Gauss-Weiertrass),
|x|2
1
4
(C.1)
K(x) =
, x Rd ,
e
d/2
(4)
que es una funcion C , integrable, radial, acotada y tal que

Z
K(x)dx = 1,
Rd
y sea
|x|2
x
1
4t .
K(
)
=
e
td/2
(4t)d/2
t
Entonces por las propiedades de K tenemos que {Kt : t > 0} es una aproximacion de la identidad en Rd .1
Dado f Lp (Rd ), 1 p , definimos
Z
|xy|2
1
4t
Tt f (x) = (Kt f )(x) =
e
f (y) dy
(4t)d/2 Rd
Z
|y|2
1
4
ty)e
(C.3)
=
dy, t > 0.
f
(x
+
(4t)d/2 Rd
Observese que, por la desigualdad de Young, Tt f esta bien definida para
f Lp (Rd ) , 1 p . Por otra parte, si f L2 (Rd ), dado que
Z
1
2
2
e42t|| e2x d =
e|x| /4t ,
d/2
(4)
Rd
(C.2)
Kt (x) =
vease [87] Teorema 1.13, se tiene entonces que Tt f se puede escribir como
Z
2
f()e42t|| e2x d.
(C.4)
Tt f (x) =
Rd
El semigrupo del calor {Tt } es un semigrupo de convolucion, conservativo, simetrico, fuertemente continuo de contracciones positivas en Lp (Rd ),
1 p < , de difusion, cuyo generador infinitesimal es el operador Laplaciano . Mas precisamente,
1Para un estudio detallado de las aproximaciones de la identidad en Rd , v
ease por
ejemplo E. Stein[85], J. Duoandikoetxea [29] or A. Torchinsky [94].

95
C. LOS SEMIGRUPOS CLASICOS

DEL ANALISIS
96
Teorema C.1. La familia de operadores {Tt : t 0} satisface las siguientes propiedades:

i) Propiedad de semigrupo: Para todo t1 , t2 0, Tt1 +t2 = Tt1 Tt2 .
ii) Propiedad conservativa y de positividad: Tt 1 = 1 y si f 0 entonces
Tt f 0 para todo t 0.
||Tt f ||p ||f ||p .
f Lp (Rd ) la aplicaci
on t Tt f es continua de [0, ) en Lp (Rd ).
v) Propiedad de simetra: para todo t 0, Tt es un operador autoadjunto en L2 (Rd ), es decir:
Z
Z
(C.5)
Tt f (x)g(x)dx =
f (x)Tt g(x)dx.
Rd
(C.6)
Rd
En particular, tenemos que la medida de Lebesgue es la medida

invariante de {Tt },
Z
Z
Tt f (x)dx =
f (x)dx.
Rd
Rd
vi) Generador infinitesimal: el operador Laplaciano =

el generador infinitesimal de {Tt : t 0}, es decir:
2
i=1 x2i
Pd
es
Tt f f
= f.
t0
t
(C.7)
lim
Demostraci
on
i) Vamos a probarlo primero para el caso de f S(Rd ), el espacio de
las funciones de prueba de Schwartz. Usando las propiedades de
la Transformada de Fourier respecto a la convolucion y las dilataciones, tenemos entonces que:
(Tt1 +t2 ) () = [Kt1 +t2 f ] () = [Kt1 +t2 ] ()f()
2
2
2
2
2
2
= e(4 (t1 +t2 )|| ) f() = e(4 t1 || ) (e(4 t2 )|| ) f())
t ()K
t ()f() = [Kt (Kt f )] ()
= K
1
2
1
2
= (Tt1 (Tt2 f )) ().
Ahora bien, como S(Rd ) es denso en Lp (Rd ), 1 p entonces
existe una extension del semigrupo a Lp (Rd ), 1 p , que
claramente coincide con la definicion dada.
La propiedad de semigrupo se puede obtener tambien directamente completando cuadrado (Ejercicio).
1. EL SEMIGRUPO DEL CALOR.
97
ii) La primera igualdad, que es la propiedad conservativa, se sigue de

manera inmediata por un simple cambio de variable, de la invariancia por traslacion de la medida de Lebesgue,
Z
Z
(yx)
|yx|2
1
1
| |2
4t
4t
1dy =
e
e
dy
d/2
d/2
(4t)
(4t)
Rd
Rd
Z
1
2
e|y| dy = 1.
=
d/2
d
R
La positividad es clara ya que el n
ucleo es positivo.
iii) Dado que el semigrupo del calor es un semigrupo de convolucion,
esta propiedad se obtiene directamene de la desigualdad de Young,
||Tt f ||p = ||Kt f ||p ||f ||p ||Kt ||1 = ||f ||p .
Luego, para cada t > 0, Tt es una contraccion en Lp (Rd ), 1 p <
. El caso p = es inmediato, ya que Tt 1 = 1, por ii).
iv) Hay que probar que Tt f Tt0 f en Lp (d ) si t t0 . Por la
propiedad de semigrupo basta probar que Tt f f en Lp (d ) si
t 0. Esto es consecuencia de la teora general de aproximaciones
de la identidad, vease [85].
v) Para probar (C.5), usando el Teorema de Fubini, tenemos
Z
Z Z
|yx|2
1
4t
Tt f (x)g(x)dx =
f (y)dy)g(x)dx
(
e
(4t)d/2 Rd Rd
Rd
Z Z
|yx|2
1
4t
(
e
=
g(x)dx)f (y)dy
(4t)d/2 Rd Rd
Z
=
f (y)Tt g(y)dy.
Rd
Dado que la medida de Lebesgue es la medida invariante de {Tt } la

simetra se obtiene entonces de manera inmediata por la propiedad
conservativa tomando g 1.
vi) Sea f Cb2 (Rd ), usando la segunda representacion de Tt dada en
(C.3), tenemos
Z
|y|2
1
Tt f f
4
)(x) f (x) =
(
[f
(x
+
ty)
f
(x)]e
dy
t
t(4)d/2 Rd
d
X
2 f (x)
k=1
1
t(4)d/2
1
t(4)d/2
[f (x +
ty) f (x) t
Rd
[f (x +
Rd
ty) f (x)
d
X
2 f (x)
k=1
d
X
t
2
k=1
x2k
yk2
]e
x2k
|y|2
4
dy
2 f (x) |y|2
]e 4 dy
x2k

DEL ANALISIS
98
Ahora bien, por la expansion de Taylor de orden 2, tenemos para

alg
un , con 0 1
d
d
X
t X
2f
f
f (x + ty) f (x) = t
(x + (1 ) ty).
(x) +
yi yj
yk
xk
2
xi xj
i,j=1
k=1
Luego, por la simetra de

Tt f f
)(x) f (x) =
(
t
2
e|y| /4 ,
1
2(4)d/2
Z
[
d
X
yi y j
Rd i,j=1
2f
(x + (1 ) ty)
xi xj
d
X
k=1
1
2(4)d/2
d
X
Rd k=1
yk2 [
yk2
|y|2
2f
4
(x)]e
dy
x2k
|y|2
2f
2f
4
(x
+
(1
)
ty)
(x)]e
dy.
2 xk
x2k
Por lo tanto,
d Z
2
X
|y|2
1
Tt f f
2f
2 f
4
|
y
)(x) f (x)|
(x
+
(1
)
(x)|e
dy,
|(
ty)
k
t
2 xk
x2k
2(4)d/2 k=1 Rd
y usando el teorema de la convergencia dominada de Lebesgue tenemos que este u

ltimo termino tiende a cero si t 0.
1
[(f g)(x) f (x)g(x) f (x)g(x)]
(f, g)(x) =
2
= f (x) g(x),
y por tanto
(C.8)
(f )(x) = (f, f )(x) = |f (x)|2 .
La funcion maximal del semigrupo del calor se define como

T f (x) = sup |Tt f (x)|
(C.9)
t>0
La funcion maximal T es debil (1, 1) y fuerte (p, p) respecto a la medida

de Lebesgue, mas precisamente,
n C.1. La funci
Proposicio
on maximal T verifica
i) Existe una constante C, que depende s
olo de la dimensi
on tal que
para cualquier f L1 (Rd ) tenemos
C
(C.10)
m({x Rd : |T f (x)| > }) ||f ||1 .
para cualquier > 0.
1. EL SEMIGRUPO DEL CALOR.
99
ii) Sea 1 < p y f Lp (Rd ), entonces T f Lp(Rd ) y

||T f ||p Ap ||f ||p ,
(C.11)
donde Ap depende s
olo de p y la dimensi
on d.
Demostraci
on
Estos resultados son inmediatos por el hecho de ser el semigrupo del calor
un semigrupo generado por una aproximacion de la identidad y por tanto
T f (x) = sup |Tt f (x)| = sup |Kt f (x)| M f (x),
t>0
t>0
donde M f es la funcion Maximal de Hardy-Littlewood respecto a la medida

de Lebesgue, vease E. Stein[85].
Las propiedades i) y ii) son entonces consecuencia de las propiedades de
Mf.
Existe un interesante resultado de Gian Carlo Rota [77] que prueba,
para una clase muy amplia de semigrupos, usando resultados probabilsticos
de la Teora de Martingalas, que la constante Ap para la funcion Maximal
del semigrupo en verdad no depende de la dimension, vease tambien Stein
[86].
Observese que, de la segunda representacion del semigrupo del calor
(C.3), se puede probar directamente que
Tt f (x) 0, cuando
t ,
es decir que el semigrupo del calor decae a 0 en infinito.

n C.2. Si f Lp (d ) u(x, t) = Tt f (x) es una funci
Proposicio
on
R+ ) y es soluci
on de la ecuaci
on parab
olica
C (Rd
u
(x, t) = u(x, t), (x, t) Rd R+ ,
t
con condici
(C.12)
Demostraci
on
Por la teora general de semigrupos, dado que es el generador infinitesimal de {Tt : t 0}, se tiene que
Tt f
u
(x, t) =
(x) = Tt f (x) = u(x, t).
t
t
u(x, t) = [Kt f ](x) = [Kt f ](x)
Z
|y x|2 n |yx|2
1
=
[
]e 4t f (y)dy
t
2(4t)d/2 Rd 2t2
u
=
(x, t).
t
100

DEL ANALISIS
La condicion de frontera se verifica por las propiedades de las aproximaciones

de la identidad.
De este resultado, decimos que u(x, t) es una extensi
on parab
olica de
d
f al semi-espacio R R+ .
Por otra parte, semigrupo del calor tiene una estrecha relacion con el
movimiento Browniano en Rd . El movimiento Browniano en Rd es un proceso aleatorio con valores en Rd tal que
i) B0 = 0 c.s.
ii) Bt tiene distribucion gaussiana N (0, tId ), con covarianza
cov(Bt , Bs ) = (s t)Id ,
siendo Id la matriz identidad d d.
iii) Si s < t, Bt Bs es independiente de Fs = ({Bu : u s}).
Este proceso describe el movimiento de una partcula en Rd sin roce y se
|xy|2
4t
1
puede construir utilizando pt (x, y) = (4t)
como densidad de trand/2 e
sicion por el metodo usual de construccion de procesos de Markov. De nuevo,
por (2.6), tenemos que el semigrupo del calor ser puede representar por el
proceso mediante la formula
Tt f (x) = E[f (Bt )|B0 = x], f L2 (Rd ) L (Rd ).

2. El semigrupo de Poisson.
El semigrupo de Poisson se obtiene por subordinacion del semigrupo
del calor, es decir, mediante la f
ormula de subordinaci
on de Bochner,
vease E. Stein [85]
Z u
1
e
2
e /4u du,
e =
0
u
definimos
Z u
1
e
Tt2 /4u f (x)du.
(C.13)
Pt f (x) =
0
u
Obtenemos entonces la siguiente representacion explcita
Z u
1
e
Tt2 /4u f (x)du
Pt f (x) =
0
u
Z u
Z
u|xy|2
1
e
ud/2
t2
=
e
f (y) dy du
0
u (t2 )d/2 Rd
Z Z
|xy|2
1
= d (d+1)/2
eu( t2 +1) u(d1)/2 duf (y) dy
t
Rd 0
Z
d+1
( 2 )
1
= d (d+1)/2
f (y) dy
2
|xy|
(d+1)/2
t
Rd (
+
1)
2
t
Z
( d+1
)
1
2
=
f (y) dy = (Ht f )(x),
(d+1)/2
2
2 (d+1)/2
Rd (|x y| + t )
2. EL SEMIGRUPO DE POISSON.
101
donde
(C.14)
con cd =
Ht (x) =
( d+1
1
cd
2 )
=
,
(d+1)/2
(d+1)/2
2
2
2
(|x| + t )
(|x| + t2 )(d+1)/2
( d+1
)
2
.
(d+1)/2
Considerando el n
ucleo de Poisson,
cd
, x Rd ,
(C.15)
H(x) =
(d+1)/2
2
(|x| + 1)
que es una funcion C , integrable, radial, acotada y tal que
Z
Ht (x) = 1,
Rd
vease [87], pag 9-10, entonces

1
x
H( ),
d
t
t
Por las propiedades de H, tenemos que {Ht : t > 0} es una aproximacion de
la identidad en Rd .
Observese que, por la desigualdad de Young, Pt f esta bien definida para
f Lp (Rd ), 1 p . Por otra parte, analogo al caso del semigrupo del
calor, si f L2 (Rd ), dado que
Z
cd
,
e2t|| e2x d =
2 + t2 )(d+1)/2
d
(|x|
R
Ht (x) =
vease [87] Teorema 1.14, se tiene entonces que Pt f se puede escribir como
Z
(C.16)
Pt f (x) =
f()e2t|| e2x d.
Rd
Este resultado se puede obtener tambien de la representacion analoga para

el semigrupo del calor (C.4) y la formula de subordinacion.
El semigrupo de Poisson {Pt } es tambien un semigrupo de convolucion,
que es conservativo, simetrico, fuertemente continuo de contracciones positivas en Lp (Rd ), 1 p < y cuyo generador infinitesimal es ()1/2 . Mas
precisamente,
Teorema C.2. La familia de operadores {Pt : t 0} satisface las siguientes propiedades:
i) Propiedad de semigrupo: Para todo t1 , t2 0, Pt1 +t2 = Pt1 Pt2 .
ii) Propiedad de conservaci
on y positividad: P1 = 1 y si f 0 entonces
para todo t 0, Pt f 0.
iii) Propiedad de contractividad: Para todo 1 p < y todo f
Lp (Rd ) la aplicaci
on t Pt f es continua de [0, ) en Lp (Rd ).
iv) Propiedad de Lp -continuidad fuerte: Para todo t 0 y 1 p ,
||Pt f ||p ||f ||p .

DEL ANALISIS
102
v) Propiedad de simetra: para todo t 0, Pt es un operador autoadjunto en L2 (Rd ), es decir:

Z
Z
f (x)Pt g(x)dx.
Pt f (x)g(x)dx =
Rd
Rd
vi) Generador infinitesimal: ()1/2 es el generador infinitesimal de

{Pt : t 0}, es decir:
(C.17)
Pt f f
= ()1/2 f.
t0
t
lim
Demostraci
on
Estos resultados son immediatos de los obtenidos en el Teorema C.1 para
{Tt : t 0} debido a la formula de subordinacion.
La prueba de que el generador infinitesimal del semigrupo es ()1/2
se puede obtener directamente usando la Transformadade Fourier. (Ejercicio).
La funcion maximal del semigrupo de Poisson se define como
P f (x) = sup |Pt f (x)|
(C.18)
t>0
De nuevo la funcion maximal

es debil (1, 1) y fuerte (p, p) respecto a la
medida de Lebesgue, mas precisamente,
n C.3. La funci
Proposicio
on maximal P verifica
i) Existe una constante C, que depende s
olo de la dimensi
on tal que
para cualquier f L1 (Rd ) tenemos
(C.19)
m({x Rd : |P f (x)| > })
C
||f ||1 .
para cualquier > 0.

ii) Sea 1 < p y f Lp (Rd ), entonces P f Lp(Rd ) y
||P f ||p Ap ||f ||p ,
(C.20)
donde Ap depende s
olo de p y la dimensi
on d.
Demostraci
on
Estos resultados son inmediatos por el hecho de ser el semigrupo de
Poisson un semigrupo generado por una aproximacion de la identidad y por
tanto
P f (x) = sup |Pt f (x)| = sup |Ht f (x)| M f (x),
t>0
t>0
donde M f es la funcion Maximal de Hardy-Littlewood respecto a la medida

de Lebesgue. Las propiedades i) y ii) son entonces consecuencia de las
propiedades de M f .
Sin embargo, como observo Hertz [43] esto se puede obtener tambien por
la subordinacion del semigrupo de Poisson al semigrupo del calor usando el
Teorema maximal ergodico.
2. EL SEMIGRUPO DE POISSON.
103
Observese que, de la representacion del semigrupo de Poisson, tambien

se puede probar directamente que
Pt f (x) 0, cuando
t ,
es decir que el semigrupo de Poisson tambien decae a 0 en infinito.

n C.4. Si f Lp (Rd ), u(x, t) = Pt f (x) es una funci
Proposicio
on
R+ ) y es soluci
on de la ecuaci
on elptica
C (Rd
2u
(x, t) + u(x, t) = 0, (x, t) Rd R+ ,
t2
con condici
(C.21)
Demostraci
on
Por la teora general de semigrupos, dado que ()1/2 es el generador
1/2 P f (x) y por
t
infinitesimal de {Pt : t 0}, se tiene que P
t
t (x) = ()
tanto,
2 Pt f
2u
(x,
t)
=
(x) = ()Pt f (x) = u(x, t).
t2
t2
u(x, t) = [Ht f ](x) = [Ht f ](x)
2u
= 2 (x, t),
t
ya que Ht es armonica en el semiplano superior Rd R+ , es decir,
2 Ht
(x, t) + Ht = 0.
t2
(Ejercicio)
La condicion de frontera se verifica por las propiedades de las aproximaciones de la identidad.
De este resultado, decimos que u(x, t) es una extensi
on arm
onica de
f al semiespacio Rd R+ .
Bibliografa
[1] Abramowitz, M. and Stegun, I. A. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York. Dover (1972).
[2] Adams, R. & Clarke, F. Gross Logarithmic Sobolev inequality: a simple proof. Amer.
J. Math. 101 (1979) 1265-1269.
[3] Ane C., Blachere, D., Chaifa D. , Foug`eres P., Gentil, I. Malrieu F. , Roberto C., G.
Sheffer G. Sur les inegalites de Sobolev logarithmiques. Panoramas et Synth`eses 10,
Societe Mathematique de France. Paris, (2002).
[4] Andrews, G.E., Askey, R., Roy R. Special Functions. Encyclopedia of Mathematics
and its Applications. Cambridge University Press, Cambridge (2000).
[5] Askey, R. Orthogonal Polynomials and Special Functions. Regional Conf in Appied
Math. 21 SIAM (1975).
[6] Askey, R. & Wainger, S. Mean convergence of expansions in Laguerre and Hermite
series. Amer. J. Math. 87 (1965) 695-708.
[7] Askey, R. & Wainger, S. A convolution structure for Jacobi series. Amer. J. Math.
91 (1969) 463-485.
[8] Bailey, W. N.Generalized hypergeometric series. Cambridge Tracs in Mathematics
and Mathematical Physics. New York. (1964).
[9] Bakry, D. Remarques sur les semi-groupes de Jacobi. In Hommage a P.A. Meyer et
J. Neveau, volumen 236, pag 23-40. Asterique, 1996.
[10] Bakry, D. Lhypercontractivite et son utilisation en theorie des semigroupes. Lectures
on Probability Theory, Lec. Notes in Math. 1581. Springer, 1988.
[11] Bakry, D. Functional inequalities for Markov semigroups. Notas del curso en la Escuela CIMPA, en el Tata Institute, Bombay; preprint, Noviembre 2002.
[12] Bakry, D. & Emery, M. Hypercontractivite de semi-groupes de diffusion. C.R. Acad.
Sci. 299 (serie I) (1984) 775-778.
[13] Bakry, D. & Mazet, O. Characterization of Markov semigroups on R associated to
some families of orthogonal polynomials. Sem. Prob. XXXVII. Lec. Notes in Math
1832 Springer-Verlag, Berlin (2003) 60-80.
[14] Balderrama, C. Sobre el Semigrupo de Jacobi. Tesis de Maestra. Facultad de Ciencias
UCV (2006).
[15] Balderrama, C. & Urbina, W.Fractional Integration and Fractional Differentiation
for Jacobi Expansions. Por aparecer en Digulgaciones Matem
aticas. (2006).
[16] Balderrama, C. & Urbina, W.Fractional Integration and Fractional Differentiation
for d-dimensional Jacobi Expansions. Pre-print. Enviado a publicacion. (2006). arXiv:
math.AP/0608639.
[17] Beckner. W Inequalities in Fourier Analysis. Ann. Math. 102 (1975) 159-182.
[18] Breiman, L Probability. Addison-Wesley. Reading (1968).
[19] Bochner, S. Uber Sturm-Liouvillesche Polynomsysteme. Math. Z. 29 (1929)730-736.
[20] Bochner, S. Sturm-Liouville and heat equations whose eigenfunctions are ultraspherical polynomial or associated Bessel functions. Proceedings of the Conference on diferential equations, Univ. Maryland (1955), 23-48.
[21] Bonami, A. tude des coefficients de Fourier des fonctions de Lp (G). Ann. Inst. Fourier
(Grenoble) 20 fasc. 2, (1971) 335-402 .
105
106
BIBLIOGRAFIA
[22] Calder
on, C. Some remarks on the multiple Weierstrass Transform and Abel summability of multiple Fourier-Hermite series. Studia Math. 32 (1969) 119-148.
[23] Calder
on, C. & Vera de Serio V. On Abel summability of Jacobi type series preprint.
[24] Chihara, T. S. An Introduction to Orthogonal Polynomials. Gordon & Breach. New
York (1978).
[25] Connett, W., Schwartz, A.. The Littlewood-Paley theory for Jacobi expansions. Trans.
Amer. Math. Soc. 251. (1979) 219-234.
[26] Davies, E. B. Heat kernels and spectral Theory. Cambridge Tracts in Math. 92 .
Cambridge University Press. Cambridge (1989).
[27] Dinger, U. Weak-type (1, 1) Estimates of the Maximal Function for the Laguerre
Semigroup in Finite Dimensions, Rev. Mat. Iberoamericana 8 (1) (1992), 93120.
[28] Dunford, N. & Schwartz, J.T. Linear Operator. Part I. Interscience. New York (1958)
.
[29] Duoandikoetxea, J. Fourier Analysis. Graduate Studies in Math vol 29. AMS. Providence (2001).
[30] Everitt, W. N., Kwon, K. H., Littlejohn, L. L., & Wellman, R. Orthogonal polynomial
solutions of linear ordinary differential equations. J. Comput. Appl. Math. 133 (2001).
85-109.
[31] Feinsilver, P. Special functions, probability semigroups and Hamiltonian flows. Lec.
Notes in Math 696 Springer-Verlag, Berlin (1978).
[32] Feller, W. Introduction to Probability Theory and its Applications. Vol 2. John Wiley
and sons, New York (1971).
[33] Forzani, L. & Urbina,W. Poisson-Hermite representation of solutions of the equation
2
u(x, t) + x u(x, t) 2x x u(x, t) = 0. Proceedings 5th International Conference
t2
on Approximation and Optimization in the Caribbean. Approximation, Optimization
and Mathematical Economics. Springer-Verlag (2001). 109-115.
[34] Gasper, G. Positivity and convolution structure for Jacobi series. Ann. of Math. (2)
93 (1971), 112-118.
[35] Gasper, G. Banach algebras for Jacobi series and positiviey of a kernel. Ann. of Math.
(2) 95 (1972), 261-280.
[36] Garcia-Cuerva, J.& Rubio de Francia, J.L. Weighted norm inequalities and related
topics. Math. Studies 116, North-Holland. Amsterdam (1985).
[37] G
orlich, E. & Markett, C. A convolution structure for Laguerre series. Indag. Math.
(N.S.) 44 (1982), 161-171.
[38] Graczyck, P., Loeb, J. J., L
opez, I., Nowak, A. & Urbina,W. Higher order Riesz
transforms, Fractional differentiation and Sobolev spaces for Laguerre expansions. J.
Math. Pures Appl. (9). 84 (2005), no. 3, 375-405
[39] Gross, L. Logarithmic Sobolev inequalities. Amer. J. Math. 97 (1976) 1061-1083.
[40] Gross, L. Logarithmic Sobolev Inequalities and Contractivity Properties of Semigroups. Lec. Notes in Math. 1593 (1993) Springer-Verlag 54-88.
[41] Gutierrez, C. & Urbina, W. Estimates for the maximal operator of the OrnsteinUhlenbeck semigroup. Proc. Amer. Math. Soc.113 (1991) 99-104.
[42] Guzman de, M. Real variable methods in Fourier Analysis. North-Holland. Amsterdam (1981).
[43] Herz, C. A Maximal Theorem. Proc. Amer. Math. Soc. 12 (1961) 229-233.
[44] Hille, E. A class of reciprocal functions. Ann. Math. 27 (1926) 426-464.
[45] Infante, A. Sobre Expansiones de Hermite. Tesis de Maestra. Facultad de Ciencias
UCV. (1992)
[46] Jackson, D. Fourier series and orthogonal polynomials. No. 6 Carus Mathematicas
Monographs series. MAA (1941). Hay una reimpresi
on de Dover Publications, Mineola, NY (2004).
[47] Janson, S. On hypercontractivity for multipliers on orthogonal polynomials. Ark.
Math. 21 (1983), 1, 97-110.
BIBLIOGRAFIA
107
[48] Karatzas, I. & Shreve, S. Brownian Motion and Stochastic Calculus. Springer-Verlag,
New York (1988).
[49] Karlin, S. & Mc.Gregor, J. Classical diffusion process and total positivity., J. Matht.
Anal. Appl. 1 (1960), 163-183.
[50] Koornwinder, T. H. The addition formula for Jacobi polynomials. I. Summary of
results. Indag. Math. (N.S.) 34 (1972), 188-191.
[51] Korzeniowski, A. On Logarithmic Sobolev Constant for Diffusion Semigroups, J.
Funct. Anal. 71 (1987), 363-370.
[52] Korzeniowski, A. & Stroock, D. An example in the theory of hypercontractive semigroups, Proc. AMS 94 (1985), 87-90.
[53] Krall, H.L. Certain differential equations for the Tchebycheff polynomials. Duke Math.
J. 4 (1938), 705-718.
[54] Lamberton, D. and Lapeyre B. Introduction au calcul stochastique applique `
a la finance, Mathematiques et Applications, Ellipses, Paris, 1991.
[55] Li, Zh.-K. Conjugated Jacobi Series and Conjugated Functions, J. Approx Theory,
86, 179-196 (1996)
[56] Lebedev, N. N. Special functions and their applications, Dover Publications, Inc.,
New York, 1972.
[57] Markett, C. The Product Formula and Convolution Structure associated with generalized Hermite Polynomials. Journ. of Approx. Theory. 73 (1993), 199-217.
[58] Mazet, O. Classification des demi-groupes de diffusion sur R asocie a une famille de
polynomes orthogonaux. Seminaire de Probabilites, Lecture Notes in Math, vol. 1655,
40-54. Springer-Verlag (1997).
[59] Mazet, O. A characterization of Markov property for semigroups with invariant measure. Potential Analysis 16 (2002) 279-287.
[60] Meyer, P. A. Quelques resultats analytiques sur le semgroupe dOrnstein-Uhlenbeck
en dimension infinie. Lectures Notes in Contr. and Inform. Sci. 49 (1983) SpringerVerlag 201-214.
[61] Meyer, P. A. Demonstration probabiliste de certaines inequalites de Littlewood-Paley.
Lectures Notes in Math 511 (1976) Springer-Verlag 125-183.
[62] Meyer, P. A. Transformations de Riesz pour les lois Gaussiennes. Lectures Notes in
Math 1059 (1984) Springer-Verlag 179-193.
[63] Muckenhoupt, B. Poisson Integrals for Hermite and Laguerre expansion. Trans.
Amer. Math. Soc. 139 (1969) 231-242.
[64] Muckenhoupt, B. Hermite conjugate expansions. Trans. Amer. Math. Soc. 139 (1969)
243-260.
[65] Muckenhoupt, B. Mean Convergence of Hermite and Laguerre Series I. Trans. Amer.
Math. Soc. 147 (1970) 419-431.
[66] Muckenhoupt, B. Mean Convergence of Hermite and Laguerre Series II. Trans. Amer.
Math. Soc. 147 (1970) 433-460.
[67] Muckenhoupt, B. Transplantation theorems and multiplier theorems for Jacobi series.
Memoirs Amer. Math. Soc. 356 Providence (1986).
[68] Muckenhoupt, B. & Stein, E.M. Classical Expansions. Trans. Amer. Math. Soc. 147
(1965) 17-92.
[69] Navas, E. Espacios de Hardy para desarrollos de Jacobi. Tesis de Maestra. IVIC
(2005).
[70] Nelson, E. The free Markoff field. Jour. Funct. Anal. 12 (1973) 211-227.
[71] Nowak, A. & Sj
ogren, P. Riesz Transforms for Jacobi expansions. Pre-print.
[72] Perez, S. Estimaciones puntuales y en la norma para operadores relacionados con el
semigrupo de Ornstein-Uhlenbeck. Tesis Doctoral. Universidad Aut
onoma de Madrid,
1996.
[73] Poiani, E. Mean Cesaro sumability of Laguerre and Hermite Series. Trans. Amer.
Math. Soc. 173 (1972) 1-31.
108
BIBLIOGRAFIA
[74] Pineda, E & Urbina, W. Non Tangential convergnece for the Ornstein-Uhlenbeck
semigroup. Aceptado para publicaci
on a Divulgaciones Matem
aticas. (2006)
[75] Pollard, H. Mean Convergence of Orthogonal Series I. Trans. Amer. Math. Soc. 62
(1947) 433-460.
[76] Pollard, H. Mean Convergence of Orthogonal Series II. Trans. Amer. Math. Soc. 63
(1948) 355-367.
[77] Rota, G. C. An Alternierende Verfahren for general positive operators. Bull. Amer.
Math. Soc. 68 (1962) 95-102.
[78] Roth, J. P. Operateurs carres du champ et formule de Levy-Khinchine sur les spaces
localment compacts. C. R. Acad. Sci. Paris Ser A 277, 1103-1106.
[79] Rothaus, O. Logarithmic Sobolev inequalities and the spectrum of Sturm-Lioville operators. Jour. Funct. Anal. 39 (1980) 42-56.
[80] Sapiro, R. L. Special functions related to representations of the group SU (n) of class
I with respect to SU (n 1)(n 3). Izv Vyssh. Uchebn. Zaved. Mathematika. no. 4
71 (1968) 97-107.
[81] Sarmanov, O. V. & Bratoeva Probabilistic properties of bilinear expasions of Hermite
polynomials. Teor. Verojatnost i Primenen. 12, (1967) 520-531.
[82] Sj
ogren, P. A remark on the maximal function for measures in Rd . Amer. J. Math.
105 (1983) 1231-1233.
[83] Sj
ogren, P. On the maximal function for the Mehler kernel. Lectures Notes in Math
992. Springer-Verlag (1983) 73-82.
[84] Sj
ogren, P. Operators associated with the Hermite semigroup-a survey. Jour. Fourier
Anal. Appl. 3 (1997), 813-823.
[85] Stein, E. M. Singular Integrals and differenciability properties of functions. Princeton
Univ. Press. Princeton (1970) .
[86] Stein, E. M. Topics in Harmonic Analysis related to the Littlewood-Paley Theory.
Princeton Univ. Press. Princeton (1970).
[87] Stein, E. M. & Weiss, G. Introduction to Fourier Analysis on Euclidean Spaces.
Princeton Univ. Press. Princeton (1975).
[88] Stein, E. M. & Weiss, G. On the convergence of Poisson Integrals. Trans. Amer. Math.
Soc.140 (1969) 35-54.
[89] Stempak, K. & Torrea, J.L. Poisson Integrals and Riesz Transforms for Hermite
function expasions with weights. Jour. Funct. Anal. 202 (2003) 443-472.
[90] Szeg
o, G. Orthogonal polinomials. Colloq. Publ. 23. Amer. Math. Soc. Providence
(1959).
[91] Thangavelu, S. Sumability of Hermite Expansions I. Trans. Amer. Math. Soc. 314
(1989) 119-142.
[92] Thangavelu, S. Sumability of Hermite Expansions II. Trans. Amer. Math. Soc. 314
(1989) 143-170.
[93] Thangavelu, S. Lectures on Hermite and Laguerre Expansions. Princeton Univ. Press.
Princeton (1993).
[94] Torchinski, A. Real variable methods in Harmonic Analysis. Acad. Press. Pure and
Applied Math 123. San Diego (1986).
[95] Urbina, W. Elementos de An
alisis Arm
onico Gaussiano. Trabajo de Ascenso. Facultad de Ciencias UCV (1992).
[96] Urbina, W. An
alisis Arm
onico Gaussiano: una visi
on panor
amica. Trabajo de Ascenso. Facultad de Ciencias UCV (1998).
[97] Varopoulus, N. Hardy-Littlewood theory for semigroups. J. Funct. Anal. 63 (1985)
240-260.
[98] Watanabe, S. Lecture on Stochastic Differential Equations and Malliavin Calculus.
Tata Institute. Springer Verlag (1984).
[99] Watson, G. N. A Treatise on the Theory of Bessel Functions, 2nd ed. Cambridge
Univ. Press. Cambridge (1980).
BIBLIOGRAFIA
109
[100] Weissler, F. Two-point Inequalities, the Hermite Semigroup, and the GaussWeierstrass Semigroup. J. Funct. Anal. 32 (1979) 102-121.
[101] Yosida, K. Functional Analysis. Springer Verlag. Berlin (1965).
[102] Zygmund, A. Trigonometric Series. 2nd. ed. Cambridge Univ. Press. Cambridge
(1959).

Notas CIMPA

Caricato da

Informazioni sul documento

Descrizione originale:

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Notas CIMPA

Caricato da

Copyright:

Formati disponibili

Semigrupos de Polinomios Cl

1991 Mathematics Subject Classification. 42B25, 47D03, 42C10, Secondary

Captulo 2. Semigrupos de Markov.

Captulo 3. Semigrupos de Markov de polinomios ortogonales clasicos.

La propiedad Hipercontractiva y las desigualdades

La funcion Gamma y funciones relacionadas.

Apendice B. Polinomios ortogonales clasicos.

Los Semigrupos Clasicos del Analisis: el semigrupo del

comenzaremos por demostrar que el semigrupo de Ornstein-Uhlenbeck no

P0 (x, dy) = x (dy).

A partir de un semigrupo de Markov en E se puede construir un proceso

Sin embargo en estas notas no vamos a considerar este aspecto y remitimos

donde el lmite es en sentido L2 ().

Ademas, por la propiedad ii) de los n

ya que Pt (x, dy) es una probabilidad, y por la misma razon es conservativo

Como ya hemos mencionado, asociado a un semigrupo de Markov {Pt }

Tt f (x) = E[f (Xt )|X0 = x].

n 2.3. Decimos que la medida de probabilidad es una meDefinicio

para toda funci

Observese que si es una medida invariante para el semigrupo {Tt },

Luego es equivalente definir la condicion de invariancia para todo f L1 (),

Ademas es tambien es un operador de contraccion en L (), ya que

Entonces por el argumento de interpolacion de Marcinkiewicz, vease

||Tt f ||p, ||f ||p, ,

con 1 < p < , t > 0. Luego {Tt }t0 es un semigrupo de operadores de

composicion con funciones de C que valen 0 en 0 y que tienen a los mas

para toda f A, ya que

No es facil describir condiciones generales en L para que tal solucion sea

valida para cualquier funcion convexa y f A. En efecto, informalmente1

Esta desigualdad es caracterstica de los generadores de semigrupos de

Observese que esta desigualdad implica la no-negatividad de Tt ya que si se

n 2.4. Sobre la sub

El operador cuadrado de campo fue introducido por J. P. Roth [78] como

Observese que 2 es tambien una aplicacion bilineal, simetrica. Ademas

para todo t 0, lo que es equivalente a pedir

Si esta propiedad se verifica diremos que la media es sim

lo implica que 0. Por lo tanto L tiene una descomposicion espectral

y por tanto Tt tiene entonces una descomposicion espectral

Luego podemos considerar (formalmente) que Tt = etL = et(L) .

para f, g, h A. Esto dice que es una operador diferencial de primer orden

L((f )) = 0 (f )Lf + 00 (f )(f, f )

para todo f A, por lo menos para polinomios y esto se puede extender

Esta distancia esta bien adaptada en el caso de difusiones. Puede ocurrir

{ess-sup(f ) ess-inf(f )}.

Si las funciones en A estan solo definidas casi-siempre, una distancia

d(A, B) = supf A,(f )1 {ess-supA (f ) ess-supB (f )}.

La mayora de las desigualdades funcionales en que estamos interesados

Entonces los polinomios estan contenidos en L2 () y mas a

3. SEMIGRUPOS DE MARKOV ASOCIADOS CON POLINOMIOS ORTOGONALES. 15

i) RPn tiene grado n y su coeficiente principal es positivo.

para todo n N. Este problema fue planteado por S. Bochner en 1929

Supongamos que T es acotado en

Decimos que {cn } es sucesi

Luego T es un operador simetrico en L2 () y tiene a la familia {Pn } como

Es decir que {n } es la sucesion de autovalores del generador de un semigrupo de Markov. 2

Para el caso de los semigrupos de Markov asociados con polinomios

R f (y)Pn (y) (dy);

en t Pn (x)Pn (y) (dy).

Ademas, en este caso la medida es invariante, ya que de nuevo tomando

Pn (x) (dx) = f(0) =

En el siguiente captulo vamos a estudiar entonces de manera detallada

Semigrupos de Markov de polinomios ortogonales