MARGARITA MATHEMATICA EN MEMORIA DE

JAVIER (CHICHO) GUADALUPE HERNANDEZ

JOSE
(Luis Espa
nol y Juan L. Varona, editores),
Servicio de Publicaciones, Universidad de La Rioja,
Logro
no, Spain, 2001.

FUNCIONES DE HERMITE, DERIVACION

FRACCIONARIA Y
CIERTAS FAMILIAS DE OPERADORES
PEDRO J. MIANA
En homenaje al Prof. Jos
e Javier Guadalupe Hern
andez, Chicho
Abstract. In this paper, we study the connection between Weyl fractional
calculus of the gaussian function and Hermite functions. This relationship
appears in a natural way to treat integrated families. Some particular cases are
considered.

d
Es bien conocido ([Go], p
ag. 121) que el operador Laplaciano en R, = dx
2 , es
1
on coseno (C(t))t0 uniformemente
el generador innitesimal en L (R) de una funci
acotada:
1
C(t)f(s) = (f(s + t) + f(s t))
2
con f L1 (R), y de un semigrupo holomorfo (T (z))z>0 de operadores acotados,
el semigrupo gaussiano,

+
t2
1
z
e 4z f(s t) dt
T (z)f(s) = g f(s) =
4z

con f L1 (R).
La relacion entre estas dos familias de operadores viene expresada a traves de la
f
ormula abstracta de Weierstrass, (ver por ejemplo, p
ag. 120 de [Go] o [KV]):

+
2
t
1
T (z)f =
e 4z C(t)f dt
z 0
con z > 0 y f L1 (R).
Este planteamiento es f
acilmente ampliado al contexto de espacios de Banach X
y operadores lineales y acotados, B(X) (ver [Go], [Vi]).
En 1997, V. Keyantuo [Ke] prob
o que si A es el generador innitesimal de una
funci
on coseno n-veces integrada, (Cn (t))t0 , en un espacio de Banach X, con n N,
entonces A es el generador innitesimal de un semigrupo holomorfo (T (z))z>0 cuya
expresion explcita es:

+
 t  t2
1
Hn e 4z Cn (t)x dt
T (z)x = (n+1)
2 z
0
2n z 2
con z > 0, x X, y Hn es el polinomio de Hermite de grado n.
2000 Mathematics Subject Classication. Primary 47D62; Secondary 33E30, 26A33.
Key words and phrases. Integrated families, Hermite functions, Weyl fractional calculus.
Esta investigaci
on ha sido subvencionada por el proyecto PB97-0094 de la DGES.
191

192

PEDRO J. MIANA

Ademas V. Keyantuo comenta en su trabajo [Ke], pag. 146, el resultado puede tomar una forma m
as precisa en este contexto si uno encuentra un analogo al
Lema 2.3 que relacione el semigrupo T (t) con la funci
on coseno -veces integrada
t
C (s) = 1/() o (t s)1 C(s) ds generada por A.
En particular, el Laplaciano en Rn es el generador innitesimal de una funci
on
coseno -veces integrada en Lp (Rn ), 1 p < +, con
1 1


> (n 1) .
2 p
El c
alculo fraccionario se ha revelado como una de las mejores herramientas
analticas para tratar las familias -veces integradas, [Mi]. En especial la f
ormula
de integraci
on por partes (6) permite utilizar a las familias -veces integradas como
n
ucleos de expresiones integrales.
En el contexto particular de este trabajo, se hace necesario poder calcular de2
rivadas de Weyl de orden > 0 de la funci
on et y relacionarlas con funciones
especiales conocidas en la literatura matematica dando lugar a f
ormulas de Rodrigues generalizadas.
Esta idea de unir el c
alculo fraccionario de funciones elementales y familias de
funciones especiales se ha desarrollado trabajando o bien en el contexto de c
alculo
fraccionario de Riemann-Liouville ([LTO], [LOT]) o bien en el contexto de c
alculo
fraccionario complejo ([Ca], [GR]) y algunas veces en el contexto del c
alculo fraccionario de Weyl ([Sr]).
En la primera secci
on de este trabajo consideramos las ecuaciones cl
asicas de Hermite y de Weber y se
nalamos propiedades conocidas de sus soluciones: las funciones
de Hermite y las funciones cilndricas parab
olicas respectivamente.
Una vez introducidas la integral y derivaci
on fraccionaria de Weyl, se calculan
2
2
explcitamente las integrales y derivadas de las funciones et y et /2 y se establece la relacion con las funciones de Hermite y las funciones cilndricas parab
olicas
respectivamente.
En la segunda secci
on, extendemos el resultado obtenido por V. Keyantuo a
generadores innitesimales, A, de funciones coseno -veces integradas con > 0.
Obtenemos una nueva versi
on de la f
ormula abstracta de Weierstrass que relaciona
estas familias de operadores con los semigrupos holomorfos generados por A.
Para terminar consideramos el caso del Laplaciano en los espacios Lp (Rn ) con
1 p < + y C0 (Rn ), y relacionamos los resultados conocidos con los hallados en
la segunda secci
on.
Se que a Chicho este trabajo le habra gustado y se que habra tenido valiosas
oportaciones que hacer a este humilde nota.
1.

licas y
Funciones de Hermite, funciones cilndricas parabo
n fraccionaria de Weyl
derivacio

En esta secci
on introduciremos las dos familias de funciones mencionadas: las
funciones de Hermite y las funciones cilndricas parab
olicas y expresaremos las relaciones entre ellas. El calculo fraccionario de Weyl es utilizado para probar nuevos
resultados y algunos ya conocidos.

 FRACCIONARIA Y OPERADORES
FUNCIONES DE HERMITE, DERIVACION

193

1.1. Funciones de Hermite y funciones cilndricas parab

olicas.
En los textos tradicionales (ver por ejemplo [Da], p
ag. 344, o [Vi], p
ag. 554) de
ecuaciones diferenciales, la ecuacion diferencial de Hermite es la siguiente:
w  (z) 2zw  (z) + 2w(z) = 0
con C. Se dicen funciones de Hermite de orden a la soluciones de esta ecuacion
diferencial. Trivialmente, si H (z) es una soluci
on de la ecuacion anterior entonces
H (z) es tambien solucion, y como

2+1 z2
W (H (z), H (z)) =
e ,
()
esto es, el wronskiano es no nulo, entonces H (z) y H (z) son soluciones linealmente independientes siempre y cuando N {0}.
Entre las representaciones que admite la funci
on de Hermite consideramos la
representacion integral

w2 +2zw
e
H (z) = A
dw,
w +1

donde A es una constante arbitraria y es el camino en el plano complejo que consta

de las semirrectas (, a), (a, +) y la semicircunferencia |w| = a > 0, w 0.
Ademas H (z) es una funci
on entera en las variables z y .
En el caso = n N, entonces Hn es el llamado polinomio de Hermite y es
n!
tomado A = 2i
para seguir el convenio de normalizar el polinomio de Hermite de
forma que el coeciente de z n sea 2n . As, se tiene la f
ormula de Rodrigues

w2 +2zw
2

2
n
2 d
2
e
eu
n!
n!ez
dw =
du = (1)n ez
ez .
(1) Hn (z) =
n+1
n+1
n
2i w
2i (u + z)
dz
Son conocidas otras representaciones integrales; entre ellas destacamos

+ t2 2zt
e
1
(2)
H (z) =
dt
() 0
t+1
con  < 0. Tambien es conocido el desarrollo asintotico de las funciones de Hermite
([Da], p
ag. 350). As, se tiene para N {0} que
H (z) (2z)


k=0

(1)k (2k )
,
(k + 1)()(2z)2k

z ,

con 34 < arg(z) < 34 . Por tanto |H (z)| C(1 + |z| ) con C > 0 y z > 0.
Por u
ltimo, dos relaciones conocidas de las funciones de Hermite son, la llamada
relacion de recurrencia a tres terminos
H+1 (z) 2zH (z) + 2H1(z) = 0
y la igualdad de la derivada H (z) = 2H1(z).
Si en la ecuaci
on de Hermite, realizamos la sustitucion de la funci
on inc
ognita
z2
w(z) = e 2 u(z), obtenemos la igualdad
u (z) + (1 + 2 z 2 )u(z) = 0.

194

PEDRO J. MIANA

Y si ahora cambiamos la variable

2z = v, obtenemos la llamada ecuaci

on de Weber
1
2
v
u(v) = 0
u (v) +
+
2
4
con C. Esta ecuaci
on diferencial ordinaria lineal de segundo orden tambien se
obtiene ([MOS], p
ag. 489) separando las variables en la ecuaci
on de ondas u = k 2 u
en coordenadas cilndricas parab
olicas. Las soluciones de esta ecuacion diferencial
se denominan funciones de un cilindro parab
olico o funciones de Weber-Hermite.
Tambien es claro que si D (v) es solucion de la ecuacion de Weber D (v) tambien
es solucion.
Estas funciones han sido objeto de un estudio m
as profundo que las funciones de
Hermite, ver por ejemplo [WW], [AS]. Se conocen diversas representaciones de estas
funciones. Tal vez la m
as conocida es
1 
1
n
1
D (z) = 2 2 + 4 z 2 W n + 1 , 1
z2 ,
2
4
4
2
donde W es la funci
on de Whitakker, ver [WW], p
ag. 347, y por tanto D (z) es
expresada a partir de las funciones hipergeometricas degeneradas, ver [Vi], pag. 560.
D (z) es un funci
on entera en z y real si z y son reales.
En el caso = n N, se prueba la f
ormula de Rodrigues
 z 
n z2
2
2
z
d
n/2 z
2
4 H
.
(3)
Dn (z) = (1)n e 4
e
=
2
e
n
dz n
2
En el caso n = 0 entonces D0 (z) = e
([MOS], p
ag. 327) son

z 2
4

. Otras f
ormulas de diferenciaci
on conocidas

z2
dn z42
n
4 D
(e
D
)(z)
=
(1)
()
e

n
n (z),
dz n
n
2
2
z
z
d
(e 4 D )(z) = (1)n e 4 D+n (z),
dz n
donde ()n = ()( + 1) ( + n 1).
El desarrollo asint
otico de las funciones cilndricas parab
olicas ([WW], p
ag. 347)
para N {0} es

D (z) e

z2
4


k=0

(1)k (2k )
,
(k + 1)()2k z 2k
z2

z ,

con 34 < arg(z) < 34 . Por tanto |D (z)| M |e 4 |(1 + |z|) con M > 0 y
z > 0. Las relaciones de recurrencia siguientes son conocidas:
D+1 (z) zD (z) + D1(z) = 0,
z
D (z) + D (z) D1(z) = 0,
2
z

D (z) D (z) + D1 (z) = 0,
2
2D (z) D1(z) + D+1 (z) = 0.

 FRACCIONARIA Y OPERADORES
FUNCIONES DE HERMITE, DERIVACION

195

Ademas, en [GrR] se tabulan varias representaciones integrales de estas funciones.

Entre ellas se
nalamos la enumerada con 3.642, (1), p
ag. 337,

+
 
2
2

(4)
x1 ex x dx = (2) 2 ()e 8 D
2
0
con  > 0 y  > 0. De entre las que son combinaciones de funciones cilndricas
parab
olicas y funciones exponenciales, (p
ag. 885 y ss.) necesitaremos la enumerada
con 7.728, p
ag. 887,

+
 q 
  12

q 2
(5)
dt =
(2t) 2 ept e 8t D1
p 2 1 eq p .
2
2t
0
1.2. Derivaci
on fraccionaria de Weyl.
Con ayuda de la derivaci
on fraccionaria en sentido Weyl vamos a conseguir establecer relaciones entre las funciones de Hermite y las funciones cilndricas parab
olicas
de igual orden extendiendo la igualdad (3) a cualquier orden C.
El factor (1)n y la derivada de orden n que aparecen en las formulas (1) y (3)
hace pensar que para considerar una extension de estas igualdades a ordenes C,
deberemos trabajar con la derivada fraccionaria de Weyl.
()
Recordemos que dada f D = Cc (R), o mas generalmente f S (funciones
de la clase de Schwartz sobre R) se dene ([MR], [SKM]) la integral fraccionaria de
Weyl de orden con > 0 mediante la expresi
on

+
1
W f(u) :=
(t u)1 f(t) dt
() u
con u R. Para denir la derivada de Weyl de orden con > 0 se toma n = []+1
y se considera

+
(1)n dn

W f(u) :=
(t u)n1f(t) dt.
(n ) dun u
Notar que si N entonces W f = (1) f () , W + = W W con , R y
W 0 = Id, el operador identidad.
F
acilmente se prueba que dadas f, g S y > 0 entonces

+

t

+
1

(6)
f(t)g(t) dt =
W f(t)
(t s)1 g(s) ds dt.
() 0
0
0
En [SKM], p
ag. 96, se encuentran formulaciones equivalentes de esta igualdad. Otra
propiedad del c
alculo fraccionario de Weyl es la siguiente.
Proposici
on 1.1. Dada f S y a > 0, consideramos fa (t) := f(at). Entonces
W fa (t) = a W f(at)
con , t R.
En esta secci
on estamos interesados en estudiar la funcion
G (t) := et W (et )(t)
2

con , t R. A posteriori probaremos, Teorema 1.4, que G (t) = H (t).

196

PEDRO J. MIANA
2

Proposici
on 1.2. Sea R y G (t) := et W (et )(t) entonces se cumple:
G (t) = 2tG (t) G+1 (t), con t R, y
G (t) = G+2 (t) 4tG+1 (t) + (2 + 4t2 )G (t), con t R.
Por tanto es inmediato que
G (t) 2tG (t) + 2G (t) = G+2 (t) 2tG+1 (t) + 2( + 1)G (t)
con t R.
d
Demostraci
on. Aplicar la denici
on de G , dt
W (et ) = W +1 (et ) y obtenemos la primera igualdad. Para la segunda, utilizar la primera igualdad y agrupar.

2

Lema 1.3. Sea R y G (t) := et W (et )(t). Si se cumple que

G+1 (t) 2tG (t) + 2G1 (t) = 0
para todo t R, entonces
G+2 (t) 2tG+1 (t) + 2( + 1)G (t) = 0
para todo t R.
Demostraci
on. Basta aplicar derivaci
on y la primera igualdad de la Proposici
on 1.2.


En el siguiente teorema se da la formula de Rodrigues para el calculo fraccionario
de Weyl de la funci
on gaussiana.
Teorema 1.4. Dada R, se cumple W (et )(t) = et H (t).
2

Demostraci
on. Si < 0 entonces

+
2
2
1
W (et )(t) =
(u t)1 eu du
() t

+ (s+t)2

+ s2 2ts
2
e
e
et
1
ds =
ds.
=
() 0
s+1
() 0
s+1
Ahora aplicamos la f
ormula (2) y obtenemos W (et )(t) = et H (t). Si = 0,
sabemos H0 (t) = 1 y por tanto se cumple la igualdad. En el caso en que > 0,
tomar n N y tal que n > 0, y = n < 0. Entonces se cumple que
G (t) = H (t), y por tanto
2

G+2 (t) 2tG+1 (t) + 2( + 1)G (t) = 0

para todo t R. Reiterando el Lema 1.3, n veces, y aplicando la Proposici
on 1.2,
obtenemos que
0 = G+n+2 (t) 2tG+n+1 (t) + 2( + n + 1)G+n (t)
= G+2 (t) 2tG+1 (t) + 2( + 1)G (t) = G (t) 2tG (t) + 2G (t).
Y por tanto se concluye que G (t) = H (t) con t R.

 FRACCIONARIA Y OPERADORES
FUNCIONES DE HERMITE, DERIVACION

197

Notas. Otro planteamiento que se puede seguir en esta secci

on a la vista del Teorema 1.4 es trabajar con el concepto de derivaci
on fraccionaria holomorfa de Weyl
(ver por ejemplo [Ca], [GaR]).
El teorema anterior tiene una inmediata aplicaci
on: estimar el m
odulo de H sin
necesidad de desarrollos asint
oticos. As, obtenemos
Teorema 1.5. Dada R, se cumple
|H (t)| (2t) con < 0 y t > 0, y
|H (t)| C (1 + t ) con > 0 y t 0.
Demostraci
on. Si < 0, sabemos por el Teorema 1.4 que

+
2
2
2
2
2
et
s1 es 2st ds et (2t) .
et H (t) = W (et )(t) =
() 0
Si > 0, tomamos n > ; entonces
2

et |H(t)| = |W (et )(t)| = |W (n)W n (et )(t)|

+
2
2
et
un1 |Hn(t + u)eu 2ut | du.

(n ) 0
Por tanto, sabiendo Hn es un polinomio de grado n, se tiene que

+
2
un1 (1 + (t + u)n )eu 2ut du
|H (t)| C


C

0
+

n1 u2 2ut

du + C

n


t

nj

un+j1eu

2ut

du.

j=0

Aplicamos la formula (2) a cada una de las integrales y obtenemos

n

tnj H(n+j)(t).
|H (t)| C H(n)(t) + C
j=0

Por el primer apartado, deducimos que

|H(t)| C tn + C

n


t2j .

j=0

on continua en 0, es claro que |H (t)| C (1 + t ) con

Como H es una funci
t 0.


1.3. De nuevo, funciones cilndricas parab
olicas.
De igual forma que se ha trabajado con las funciones de Hermite, las funciones
parab
olicas cilndricas admiten un tratamiento an
alogo. En el siguiente teorema
presentamos los resultados obtenidos.
Teorema 1.6. Dada R, se tiene
t2
2

t2
4

D (t) con t R,

W (e )(t) = 2 e D ( 2t) con t R,

z2
H (z) = 2 2 e 2 D ( 2z) con z C,
W (e

t2

)(t) = e

t2
2

198

PEDRO J. MIANA
t2

|D (t)| e 4 t con < 0 y t > 0,

t2
|D (t)| M e 4 (1 + t ) con > 0 y t 0.
2.

Funciones coseno -veces integradas y semigrupos holomorfos

En esta secci
on queremos probar directamente que los generadores de funciones
coseno -veces integradas con > 0 generan semigrupos holomorfos de angulo 2 .
Una funci
on coseno (C(t))t0 esta formada por operadores lineales y acotados,
fuertemente continuous sobre un espacio de Banach X que satisfacen la ecuacion
funcional
2C(s)C(t) = C(s + t) + C(s t)
para s, t > 0 y C(0) = I, ver [Go], p
ag. 120. Se dene el generador innitesimal
(posiblemente un operador no acotado) de (C(t))t0 como la derivada de segundo
orden de esta funci
on en el cero para aquellos x X que exista, esto es, A(x) :=
C  (0)x para x D(A).
Un C0 -semigrupo de operadores (T (t))t0 esta formado por operadores lineales
y acotados, fuertemente continuos sobre un espacio de Banach X que satisfacen la
ecuacion funcional
T (s + t) = T (t)T (s)
para s, t > 0 y T (0) = I, ver [Go]. Tambien se dene el generador innitesimal
(posiblemente un operador no acotado) de (T (t))t0 como la derivada, en este caso,
de primer orden de esta familia en el cero para aquellos x X que exista, esto es,
A(x) := T  (0)x para x D(A).
Impropiamente hablado, los C0 -semigrupos son las funciones exponenciales y
las funciones coseno son los cosenos trigonometricos de los operadores lineales y
acotados sobre un espacio de Banach X. Y de igual forma que en variable real, se
cumple que si A genera una funci
on coseno entonces la expresion conocida como
f
ormula abstracta de Weierstrass o de Poisson

+
s2
1

T (t)x :=
e 4t C(s)x ds
t 0
con x X y t > 0 dene un C0 -semigrupo de operadores cuyo generador innitesimal es A.
Esta lnea de investigaci
on ha sido tratada en varios artculos y se ha considerado su generalizaci
on, primero para funciones coseno 1-vez integradas, ver [AK],
Theorem 5.2, y despues para funciones coseno n-veces integradas, ver [Ke], Proposition 2.5.
Denici
on 2.1. Dada > 0, una familia de operadores fuertemente continuos
C : R+ B(X) se dice que es una funci
on coseno -veces integrada generada por
A si existe , M > 0 tal que C (t) M et , para > , 2 (A) y

+
R(2 , A) = 1
et C (t) dt.
0

 FRACCIONARIA Y OPERADORES
FUNCIONES DE HERMITE, DERIVACION

199

Es inmediato probar que si (C (t))t>0 es una funci

on coseno -veces integrada
generada por A, entonces

t
1
(t s)1 C (s) ds,
(7)
C (t) :=
( ) 0
con > y t > 0, dene una funci
on coseno -veces integrada generada tambien
por A, para m
as detalles ver [Ya].
Denotaremos por () = {z C : 0 < | arg(z)| < }.
Denici
on 2.2. Un operador cerrado y densamente denido A es el generador de
un semigrupo holomorfo de a
ngulo si existe T : () B(X) holomorfa tal que
T (z + z  ) = T (z)T (z  ) con z, z  ().
Teorema 2.3 (Proposition 2.5 y Theorem 2.6 de [Ke]). Sea A un operador lineal
densamente denido y generador de una funci
on coseno n-veces integrada (Cn (t))t>0
con n N. Entonces A genera un semigrupo holomorfo de a
ngulo /2 dado por

+


s2
s
1
T (t)x := n+1
Hn e 4t Cn (s)x ds,
n
2 t
2 t 2 0
con t > 0, y la integral existe en sentido de Bochner con x X. Adem
as si Cn (t)
M tn , entonces
 |z| n+ 12
T (z) C
.
z
Este resultado obtenido por V. Keyantuo es parcial ya que existen funciones
coseno -veces integradas con > 0 (ver ejemplos en el tercer parrafo) y no son
consideradas directamente. Mediante las funciones de Hermite H podemos extender
este resultado a tales valores encontrando la subyacente naturaleza de la f
ormula
abstracta de Weierstrass.
Teorema 2.4. Sea A un operador lineal densamente denido y generador de una
funci
on coseno -veces integrada (C (t))t>0 . Entonces A genera un semigrupo holomorfo de a
ngulo /2 dado por

+
 s  s2
1
T (z)x := +1
H e 4z C (s)x ds
2 z
2 z 2 0
con z (/2), la integral existe en sentido de Bochner y x X. Adem
as si
C (t) M t , entonces
 |z| + 12
T (z) C
.
z
Demostraci
on. Tomemos z (/2); sabemos que C (t) Cewt con C, > 0.
Entonces se tiene que

+  
1
s  s2 

T (z)x
H e 4z C (s)x ds
+1
2 z
2 |z| 2 0

+ 
 s2 z

s
C
1 + e 4|z|2 es ds

+1
2 |z| 2
|z| 2 0

200

PEDRO J. MIANA

y T (z) dene un operador acotado en B(X) con z (/2). Claramente T :

(/2) B(X) es holomorfa.
Tomemos n > con n N, es inmediato que A genera una funci
on coseno n-veces
integrada (Cn (t))t>0 denido por la igualdad (7). Por el Teorema 2.3, A genera un
semigrupo holomorfo dado por

+
 s  s2
1
T (t)x := n+1
Hn e 4t Cn (s)x ds
2 t
2n t 2 0
con t > 0. Como se cumple que
  s  s2 
 s  s2
1
1
n
H e 4t (s) = n+1 Hn e 4t ,

+1 W
2 t
2 t
2 t 2
2n t 2
es inmediato que T (t) = T (t) y por holomorfa T(z) = T (z) con z (/2). As,
(T (z))z>0 es un semigrupo holomorfo.
Si C (t) M t entonces, se tiene que

+  
2 z
s  s
1


T (z)x
H
e 4|z|2 s ds

+1
2 z
2 |z| 2 0

+ 
 s2 z
s
C
1 + e 4|z|2 s ds

+1
2 z2
|z| 2 0

+ s2 z

+ s2 z
C
C

2
4|z|

e
s ds + + 1
e 4|z|2 s2 ds
+1
2
2
|z|
|z|
0
0
(+1)
(2+1)



 |z| + 12
z
z  2
2
C
C
+

C
.

1
+1
z
|z|+ 2 4|z|2
|z| 2 4|z|2
Notar que en este caso (T (z))z>0 es un C0 -semigrupo holomorfo, ver Corollary 2.7
de [Ke].


Notas. La demostraci
on del anterior teorema puede hacerse directamente sin necesidad de utilizar los resultados de V. Keyantuo. Es m
as, a traves de este camino
mas largo se aprecia el papel que desempe
nan las funciones de Hermite como puente
entre los funciones coseno -veces integradas y los semigrupos holomorfos. Un ejemplo de este hecho se aprecia al calcular directamente la transformada de Laplace del
semigrupo holomorfo. As, tomando x D(An ) y R con > 2 , se tiene que

+
et T (t)x dt < +;
0

y por el Teorema de Fubini, con > 2 ,

+

+ t
+
 s  s2
e
1
t
e T (t)x dt =
H e 4t C (s)x ds dt
+1
2 0
2 t
t 2 0
0

+

+ t
 s  s2
e
1
e 4t dt ds.
=
C (s)x
+1 H
2 0
2 t
t 2
0

 FRACCIONARIA Y OPERADORES
FUNCIONES DE HERMITE, DERIVACION

201

z2

Aplicando que H (z) = e 2 2 2 D ( 2z), obtenemos

+ t

+ t
 s  s2
 s  s2
e

e
4t
2
e

e 8t dt.
dt = 2
+1 H
+1 D
2 t
2t
t 2
t 2
0
0
Por la ecuaci
on (5), se sigue que

+ t
 s  s2

e
22
e 8t dt = 2 2 es
D

+1
2t
t 2
0
y por tanto

+

+

et T (t)x dt = ( )1
C (s)xes ds = R(, A)x
0

para todo x D(An ).

En el caso 0 < 1, la suposici
on de que A sea densamente denido no es
necesaria debido al hecho de que H1 (s) = 2s y se puede aplicar Fubini directamente
(ver la demostraci
on de Theorem 5.2 en [AK]).
Otra conexion entre polinomios de Hermite y semigrupos holomorfos puede ser
encontrado en [TO].
3.

Un ejemplo

En este u
ltimo p
arrafo consideraremos los espacios X = Lp (Rn ) y C0 (Rn ) y el
2
2
2
operador laplaciano A = p = x
2 + x2 + + x2 con dominio distribucional
n
1
2
maximo.
A priori, sabemos que 1 genera en L1 (Rn ) un C0 -semigrupo holomorfo (gz )z>0
llamado gaussiano o de Weierstrass:
|s|2
1
4z
n e
(4z) 2
 |z|  n2
con s Rn y z > 0. Ademas gz 1 = z
, ver [Si], p
ag. 25. Este semigrupo
holomorfo act
ua en X = Lp (Rn ) y C0 (Rn ) con 1 p < + por convoluci
on. Y as,
es conocido (ver por ejemplo [dLP])
 |z| n| p1 12 |
gz B(Lp (Rn ))
z
 |z|  n2
z
y g B(C0(Rn )) z .
Por otro lado es conocido en la literatura matem
atica que p genera en algunos
casos funciones cosenos acotadas o funciones coseno -veces integradas.
Buscamos en este parrafo se
nalar primero las estimaciones conocidas para las
funciones coseno -veces integradas generadas por p en los espacios X ya mencionados. Aplicamos el Teorema 2.4 probado en el p
arrafo anterior y calculamos la
norma del semigrupo holomorfo generado por p en X y lo comparamos con el valor
conocido a priori.

gz (s) =

202

PEDRO J. MIANA

3.1. X = Lp (R), C0 (R) con 1 p < +.

p genera una funci
on coseno uniformemente acotada (C(t))t>0 denida mediante la igualdad
1
C(t)f(x) = (f(x + t) f(x t))
2
d2
con x R y f X. Por el Teorema 2.3, su generador innitesimal p = dx
2 genera
un semigrupo holomorfo que verica la estimaci
on
 |z|  12
gz B(X)
.
z
Notar en este caso que
1  1 1 
 
2
p 2
y se da la igualdad en el caso p = 1 y en C0 (R).
3.2. X = Lp (Rn ) con 1 p < +.
Por la Proposition 3.2 de [EK], p genera una funci
on coseno -veces integrada
para > (n 1)| 21 p1 |. Por tanto, el Teorema 2.4 implica que p genera un
semigrupo holomorfo para + 12 con > (n 1)| 21 1p |.
Es inmediato probar que
1 1 1
1 1




(n 1)  + n 
2 p
2
p 2
y se da la igualdad si y solo si p = 1. Por tanto la estimaci
on obtenida a traves del
Teorema 2.4 es siempre peor que la conocida a priori.
3.3. X = C0 (Rn ).
De igual manera que la Proposition 3.2 de [EK], se prueba que 0 genera una
funci
on coseno -veces integrada para > (n1)
2 . El Teorema 2.4 implica que 0
genera un semigrupo holomorfo para > n2 y por tanto la obtenida es peor que la
conocida a priori.
Nota. El hecho de no obtener mediante el Teorema 2.4 la cota predicha intuimos que
es debido a las acotaciones conocidas para las funciones coseno -veces integradas
(que son obtenidas como valores fronteras de semigrupos holomorfos).
Referencias
[AS]

M. Abramowitz y I. A. Segun, Handbook of mathematical functions, Dover Publications,

Nueva York, 1968.
[AK] W. Arendt y H. Kellermann, Integrated solutions of Volterra integrodierential equations
and applications, en Integrodierential equations (Proc. Conf. Trento, 1987), Pitman Res.
Notes in Math. Series 190, Longman Sci. Tech., Harlow (1987), 2151.
[Ca]
L. M. B. C. Campos, On a concept of derivative of complex order with applications to
special functions, IMA J. Appl. Math. 33 (1984),
[Da]
B. Davies, Integral transforms and their applications, 2.a edici
on, Springer-Verlag, Berln,
1985.
[dLP] R. deLaubenfels y S. Piskarev, The growth rate of cosine families, Journal Math. Anal.
Appl. 196 (1995), 442451.

 FRACCIONARIA Y OPERADORES
FUNCIONES DE HERMITE, DERIVACION

[EK]
[GaR]

[Go]
[GrR]
[Ke]
[KV]
[LOT]
[LTO]

[MOS]
[Mi]
[MR]
[SKM]
[Si]
[Sr]
[TO]
[Vi]
[WW]
[Ya]

203

O. El-Mennaoui y V. Keyantuo, Trace theorems for holomorphic semigroups and the second
order Cauchy problem, Proc. Amer. Math. Soc. 124 (1996), 14451458.
M. C. Gaer y L. A. Rubel, The fractional derivative and entire functions, en Fractional
calculus and its applications (Proc. Internat. Conf., Univ. New Haven, West Haven, Conn.,
1974), Lecture Notes in Math. 457, Springer-Verlag, Berln (1975), 171206.
J. A. Goldstein, Semigroups of linear operators and applications, Oxford Mathematical
Monographs, Nueva York, 1985.
I. S. Gradshteyn y I. M. Ryzhik, Tables of integrals, series and products, Academic Press,
Nueva York, 1980.
V. Keyantuo, Integrated semigroups and related partial dierential equations, J. Math.
Anal. Appl. 212 (1997), 135153.
V. Keyantuo y P. Vieten, On analytic semigroups and cosine functions, Studia Math. 129
(1998), 137156.
J. L. Lavoie, T. J. Osler y R. Tremblay, Fractional derivatives and special functions, SIAM
Review 18 (1976), 240268.
J. L. Lavoie, R. Tremblay y T. J. Osler, Fundamental properties of fractional derivatives via
Pochhammer integrals, en Fractional calculus and its applications (Proc. Internat. Conf.,
Univ. New Haven, West Haven, Conn., 1974), Lecture Notes in Math. 457, Springer-Verlag,
Berln (1975), 323356.
W. Magnus, F. Oberhettinger y R. P. Soni, Formulas and theorems for the special functions
of mathematical physics, Springer-Verlag, Berln, 1966.
P. J. Miana, -times integrated semigroups and fractional derivation, Forum Math., en
prensa.
K. S. Miller y B. Ross, An introduction to the fractional calculus and fractional dierential
equations, Wiley, Nueva York, 1993.
S. G. Samko, A. A. Kilbas y O. I. Marichev, Fractional integrals and derivatives, Gordon
and Breach, Amsterdam, 1993.
A. M. Sinclair, Continuous semigroups in Banach algebras, Cambridge Univeristy Press,
Lecture Note Series 63, Cambridge, 1982.
H. M. Srivastava, The Weyl fractional integral of a general class of polynomials, Boll. Un.
Mat. Ital. B (6) 2 (1983), 219228.
T. Takenaka y N. Okazawa, Wellposedness of abstract Cauchy problems for second order
dierential equations, Israel J. Math. 69 (1990), 257288.
I. M. Vinogr
adov, Enciclopedia de las matem
aticas, Editorial MIR, Rubi
nos-1860, Mosc
uMadrid, 1993/94.
E. T. Whittaker y G. N. Watson, A course of modern analysis, Cambridge University Press,
Cambridge, 1962.
G. Yang, -times integrated cosine function, en Recent advances in dierential equations
(Kunming, 1997), Pitman Res. Notes in Math. Series 386, Addison Wesley Longman,
Harlow (1998), 199212.

ticas, Universidad de Zaragoza, Edificio de Matema

ticas,
Departamento de Matema
Ciudad Universitaria s/n, 50009 Zaragoza, Spain
Correo electr
onico: pjmiana@posta.unizar.es