Revv.,;(:a Co.

omb-iana

de Ma:temli.:Ue-a-6

VoL

pag-6.

XXIV

(1990),

15-23

SOBRE LA TRANSFORMACION INTEGRAL DE

HANKEL-SCHWARTZ DE FUNCIONES GENERALIZADAS
par

Jorge

BETANCOR

J.

Abstract.
In this paper we study the Hankel-Schwartz
transformations on certain spaces of testing functions denoted by
T(A,~). Moreover, we define the generalized Hankel-Schwartz
transforms on the spaces T'(A,~) (duals of T(A,~)) of distributions.

l.
bien

Introduccion.
llamada
Bv

donde

[1 OJ,

ro

2v+1

z-V]v(z),

siendo

esta

de Hankel-Schwartz,

definida

especie
ILl cual

esta

sion para
dez

de Bessel,

1(6)(Y)

bv(z)

primera

La transformacion

por
v > _ 1
2

(xY)ncx.)dx,

]v la funcion

y de orden

v. Una primera

transformacion

integral

ha sido

recientemente

tam-

de Bessel

formula

se debe

modificada

( 1)

de

de inver-

a A.L.Schwartz
por J .M.

Men-

[6].
Al parecer

los primeros

que estudiaron

la transforma-

Palabras claves: Transformacion

integral de Hankel-Schwartz,
funciones generalizadas,
igualdad de Parseval.
Clasificacion

A.M.S.

(1980):

Bessel,

45F12.

15

cion B
J.N.

1 en un espacio de distribuciones
v,
Pandey [3]. Mas tarde, W.Y. Lee [4J

macion

fueron

L.S. Dube y

d e f i.ni o la transfor-

mente

B' 1 generalizada
empleando un procedimiento
esencialv,
diferente al seguido por Dube y Pandey [3]. Los resul-

tados

de Lee han sido considerablemente

Schuitman
chez

[8], G. Altenburg

mejorados

[1], J.M. M~ndez

En este trabajo
prueba

por B.L.J.

1 sobre
v '.

es un isomorfismo

que

es, as! mismo,

[Z], siendo

espacios.
1

2'

v +

<

ZV+1Joo

la igualdad

mixta

sobre

siempre

que

E:

<B~

como

<6,Bv

<B~

Bv Z definida

E:

nes de la igualdad

, Z>,

v, 1 Y Bv, Z satis-

1(tl)(y)g(y)dy

(3)

'

B~ 16

V<jJ

<6,Bv

con A < vtt

de

E:

T(A-2v-1

E:

T' (1-~,
B

es

(4)

B'

v,2

de

por
V

E:

T(A,~)

(4) y (5) representan

(5)

extensio-

(3)

en el desarrollo

de la funci6n

v,

1-A)

<~,

Z' esto es

,~-2v-1)

generalizada

, 1<P>'

de Parseval

Sera de inter~s

T(A,~).

T(A-Zv-1,~-Zv-1)

se define

, 26,<jJ>

por

(Z)

de la transformacion

que las dcfiniciones

te propiedad

JcoBv

la tra~sformacion

T' (2v+Z-~,ZV+Z-A)

transforrnaciones

los espacios

generalizada

Por otra parte,

16

T(A,~),

la adjunta

, 16,<jJ>

[5J

bv(xy)6(x)dx

la transformaci6n
definida

en

de Parseval

2(g)(x)dx

J0'COneX)BV

entre
1

por M~ndez

Tras pro bar que las transformaciones

facen

la

y v > - 2' Bv, 1

la transformacion

estudiada

estudiada

Se prueba,

las correspondientes

z(6)(Y)

de

T(A,~)

a los introducidos

desarrolladas

de Bessel,
Bv

N6tese

San-

en T(Z+Zv-~,Z+ZV-A).

las ideas

de definir

generalizadas

tales
A < v +

Sl

de T(A,~)

Siguiendo

los espacios

similar

y A. Sc hu i t man

resultados,

con objeto

consideramos

de naturaleza

Braaksma

transformacion
otros

E:

[5] y A.M.

[7].

funciones

por A.

bv(z),

posterior

la siguien-

(6)

Asi mismo,

resultan

cerca

bv(z)

utiles

b (z)

- z

2.

E 1 espacio
< II y

a)

y su dual.

+ '"

(8)

Sean Ay u scR,
de numeros

rea-

condiciones

(Ayt)~=l

es monotona

decreciente

(11)'"

es monotona

creciente

a A,

y converge

yt
b)

do yt

(7 )

dos sucesiones

Y (11)'"

"
yt yt=l
"yt yt=l
las siguientes
les que satisfacen

cuando

z +'0

cuando

TO.,J.I)

de la funcion

que siguen

cuando

-v- (1/2)

de funciones
(A)'"

infinito

0(1 ) ,

con A

los comportamientos

y del

del origen

"yt yt=l

y converge

all, cuan"

"'.

c)

Ayt

<

llyt , para

Una funcion
e s t a en T(A,Il)

cada

definida

e: N.

yt

sobre

(0,"')

el intervalo

si

I xcco

sup
xe::l

R( x) I

CCE:(Ayt,llyt)
existe

para

Este conjunto

cada

yt,R

e:

dotado

N. Aqui,

con la topologia

lia de seminormas

{nA,~}

logico

localmente

convexo

usuales

permiten

que contiene
compacta
viene,

as! mismo,

es independiente
das,

siempre

n,

~ N es un espacio

probar

y Hausdorff.
que T(A,Il)

senalar

vectorial

Ademas,

que

esta

inclusion

la topologia

satisfagan

(Ayt)~=l

topo-

argumentos

es un espacio

de las sucesiones

que estas

por la fami-

V(l) ([9J) de funciones

en 1, siendo

d
xdx

el operador

generada

n , r<.E:

J<.

al conjunto

contenido

Ox denota

de Frechet
de soporte

continua.

del espacio
Y (llyt)~=l

las condiciones

Con-

T(A,Il)

escogi(a),(b)

(c) .

Como es usual,

T' (1...,11)denota

el espacio

dual de T(A,0,

el cual esta dot ado con la topologia debil.

Espacios de funciones de similar estructura

a T(A,Il)

17

pueden
man

ser encontrados

en los trabajos

[8] y Zemanian

[2], Schuitman

y Schuit-

de Braaksma

[13J, entre

otros.

3. El espacio T(A,~)
y las transformaciones
de HankelSchwartz.
La transformaci6n
integral Bv,l de Hankel-Schwartz
viene

dada por

que la integral
cuando

cjJ

que define

TCA,f.!),

E:

la regIa

2v+1

garantizar

(1) es absolutamente

siempre

Por otra parte,

aplicando

de (7) y (8) cabe

(1). En virtud

que v

haciendo

convergente

< u , A < 2v+2

+ ~

Y A < u

uso de la propiedad

de integraci6n

par partes,

(6) y

se sigue

bv(xy)cjJ(x)dx

b
2v+2

(xy)

bV+1 (xy)y

-2V-2]

b
-2V-2J
cjJ(x) a - y

0 < a < b <

para cada
A < 2v+2

para cada

A <

cjJ

2v+2

(xy)

bV+1 (xy)VcjJ(x)dx

De aq u i se deduce

00.

que si v

<

+ ~

)J

)J,

Bv

, 1 (cjJ)

E:

T(A,)J).

Reiterando

(y)

oo

2v+1

bv+1(xy)0cjJ(x)dx

el proceso

puede

probarse

T(A,)J),

que si cjJe:

oo

= (-1) nl

Bv,l()(y)

para

cada

N,

E:

En virtud

)J

oyBv
= (-1)

1 ( cjJ)(y)

que A <

siempre

Sea, entonces,
A <

x 2v+1 bv+n(xy)(0-2n-2)

cjJ

T(A,)J)

E:

de (9)

nfoo

= (-1)

2v+1

)0

oo

n+1i

Por tanto,

2v+1

<

l
2

<

(9)

> v+l

)J

)J

< 2v+2

2
Y

que

(0-2)8cjJ(x)]0

(0+2v+1)

(0-2)0cjJ(x)dx

2v+2

v +

0x(bv+n(xy))(0-2n-2)

...

bv+n(xy)

donde

se tiene

n 2v+2
x
bv+n(xy)(0-2n-2)

+ (-1)

)J

...

(0-2n-2)

...

(0-2)ocjJ(x)dx

00

...

(0-2) ocjJ(x)dx

atendiendo

a las restricciones

impuestas

a los

parametros,
oo

0yBv,l(cjJ)(y)

y,

18

= (-1)

en general,

n+1i

para

2v+1

cada

bv+n(xy)(8+2v+1)(0-2n-2)

n,Q

E:

N,

...

(0-2)ocjJ(x)dx

oo

6 I<-B 1 ()(y)
y v,

= (-1) rt+I<-I x Z\!+ 1 b + (xy)(o+Z\!+l)

0
v rt

Consideremos
m :No

ahora

b--(6-Zrt-Z)

... (6-Z)6ep(x)dx.

(Z-~m+Z\!,Z-Am+Z\!),

para

cierto

Se tiene,

y~6/BV,
(-1)

1 () (0')

rt+l<-foo
2v + 1 -~
x
(xy) c bv+rt(xy) (6+Zv+1)
o

Recordando,

de nuevo,

I y~6

~1

I<-B

v,

~1
x

que existe

(~m+1'~m+Z)

I<(6-Zrt-Z)

1(6+ZV+1)

yescribimos,

1<-(6-Zrt-Z)

I<(6-Zrt-2).

I (6+2v+1)

Q2

deducirse

I (6+Zv+1)

ZV+1-~-~1

y ~Z

KJoo xZv+1-~

oo Zv+1-~-~2
x

+K
teniendo

I ~

(y)

... (6-Z)6(x)dx

0, tal que

>

(Am+Z,Am+1)

1 ()

~ K

(7) y (8), puede

K = K(rt,m)

una constante

Si tomamos

I<(6-2rt-Z)

<

..

6 (>..)Idx

.6ep(x)ldx

.. o6(x)ldx

en cuenta

que

se infiere:
nZ+~v-~,Z+Zv-A(B

1())

m,r<

anteriores

pueden

TEOREMA 1. La t~art~no~ma~~6rt

rteal y ~Orttirtua

de
1

v > - 2"

Mendez
para

.:.

resumirse

en el siguiente

v ,

Los resultados

A < ZV+Z,

I<-=rt
nA~].Jz
-<'=0 rt
,-<.

M(rt,m).L

T(A,].J)

ert

].J > v +

[6J establecio

Bv

la transformacion
TEOREMA 2.

Sea

v,

T(Z+2v-~,2+ZV-A),
3

e~ urta apl~~a~~6rt
~iemp~e

~que

2"

el siguiente

teorema

de inversion

,1

v :::- 2"1

tOrt~e~:
,

fA

A -+00

11m

u Zv+1 bv(xu)du

foo

y 2v+1 bv(uY)n(y)dy

(n(x+O)+n(x-O))

19

todo

en

punta

En virtud

de este

cido

2 es valida

del Teorema

TEOREMA

6oftmac.ion

s ce.n.do

B-

v,

1 = B

s:

v,

deducir

f o rrnaci on B

v,

recogida

Ademas,

<

en el

puede

ser dedu-

v+~

< u Y v
T(A,~)

de

>-;-,

la

tftan-6-

en T(2+2v-~,2+2v-A),

dado

que la transformacion

v,

2 satis-

4.

a) B 2
v ,

1J-2v-l)
> -

2'

T(l-~,l-A)
-1
s ce.n do Bv,2

seccion

v,

-6iempfte

Una igualdad

A<

2v+2,

1
v ~-2'

5.

A < v+j,

v+-f

de T(A-2v-l,
< u

de Hankel-Schwartz.

al estudio

de las transformaciosabre

los espacios

generalizadas.
mixta

sz 6

de Parseval

adoptadas

en cuestion

TEOREMA

que

de Hankel-Schwartz

tan las definiciones

to n c e s

que

2 e-6 un i-6omoft6i-6mo

generalizadas

dedicada

de funciones

neralizadas

-6iempfte

y c.ontinua

lineal

Bv , 2 .

esta

nes generalizadas
T' (A,~)

a la trans-

A<~.

Las transformaciones

Esta

1 y 3 relativos

aplic.ac.ion

T(l-~,l-A)

en

en

e-6 una

La tftan-66oftmac.ion

b)

(x-2v-11jJ)(Y)

+ B ,1

de los teoremas

TCA-2v-l,~-2v-1)

lJ>v+l

2V 1

1 ' el que sigue.

TEOREMA

20

que si A

asegurar

la relacion

es posible

4.

T(A,~).

ac.otada.

i-6omoft6i-6mo

B ,2(IjJ)(y)

de

cabe

de inversion

< v+;-,

Por otra parte,

face

resultado

formula

para

e-6 un

-6eade vaftiac.i6n

1, el siguiente

3.

6 (y)

que

el

t ' la

< u y v > -

Teorema

en

en la que se fundamen-

para

las trans formaciones

es la que a continuaci6n

T(A,~)

TCA-2v-l

ge-

se prueba.
,~-2v-l),

en-

f00o (X)B
J.>.-tempJt{'. que

'

e: T(A,~)
-v-(l/Z)

puestas

lZ

;\ < v +

Para probar
x

(10)

Z(g)(x)dx

< ~

(10) es suficiente

y 9 e: T(A-Zv-l,~-Zv-l)

bajo

en cuenta

que,

xv+(1/Z)6(x)

entonces

a L1 (0,00),

p~rtenecen

g(x)

tener

las condiciones

im-

a los parametros.
Motivados

por la igualdad

mac i dn B' 1 generalizada

v,
de Bv Z en T(;\-Zv-l,~-Zv-l),

sobre

(10) definimos

la transfor-

T' (1-~, 1-;\) como

la adjunta

esto

es:
(11 )

<B'v, 16,> = <6,B v, Z>

para

Sl

cada

e: T'(l-~,l-;\)

No t e se que

y e: T(A-Zv-l,~-Zv-l)

(11) es una extension

de

(10) a funciones

generalizadas.
En virtuo
piedades

del Teorema

de los operadores

ble establecer

4, haciendo

uso de conocidas

en espacios

de Frechet,

el siguiente

TEOREMA

sz x

6.

< v +

t,

v +

< u

Ij v

> -

-i,

erttoYlc.eJ.>

B' 1 eJ.> Uvt .-t-6omoIL6.-tJ.>mo de T'(l-~,l-;\)

eYl T'(A-Zv-l,~-Zv-1)
v ,
POlL o~ILa paIL~e,
J.>.-t 6 e: T(;\,~),
evt~Ovtc.eJ.> 6 de6.-tYle uvta
buc..-tOvt

ILegufaIL

<6,>

evt T' (1-~,

1-;\),

med.-tavt~e
palLa

f"'6(X)(X)dX,

pro-

es posi-

fa

c.ada

d.-tJ.>~IL.-t-

expILe-6.-toYl:

e: T(l-~,l-;\)

o
En efecto,

basta

observar

que existe

una constante

> 0 tal que

se n t i d o ,

En este

Por tanto,
transformaciones
neralizada,

por

T(;\,~)

si

c T'(l-~,l-A).
e: T(;\,~)

distintas,

~-Zv-l)

definir

una clasica,

(11). En adecuadas

tas en el Teorerna (6)) cabe

bas definiciones

podemos

establecer

en el sentido

par

condiciones

para

dos

(1), Y otra

ge

(las irnpues-

la coincidencia

de la igualdad

de arn-

en T' (A- Zv-l

21

Ciertamente, atendiendo a la igualdad mixta de Parseval

(10), se tiene:
00
<B'v , 16,>

<6,B

v,

2> =

CBv,1(6)(Y)(Y)dY

J0 6(X)B

v,

2()(x)dx

= <Bv,l6,>,

para cada e: T(;\-2v-l,lJ-2v-l)

.
De forma analoga, la transformaci6n generalizada B'
v, 26,
de 6 e: T'(2v+2-lJ,2v+2-A),
se define por
para cada

e: T(A,

u) .

Pueden establecerse para B~ , 2 propiedades similares a las

presentadas para la transformaci6n B~ , 1

BIBLIOGRAFIA

[lJ

[ 2]

[ 3J
[4]
[ 5]
[6 ]

[ 7J
[ 8]

[ 9]
[ 1 OJ

22

Altenburg, G., Behhel ~~ah60~ma~ioe i Raume vo

G~ud6uQ~ioe
Ube~ dem i~e~vall Q = (0,00)
ud
de~em dual Raume, Math. Nachr. 108, (1982), 197218.
Braaksma, B.L.J. y Schuitman, A., Some Qlahheh 06 Wa~o
~~ah60~mh ad ~ela~ed i~eg~al equa~ioh 60~ gee~alized 6uQ~ioh, SIAM J. Math. Anal., 7,(1976),
771-798.
Dube, L.S. y Pandey, J.N., 0 ~he Hakel ~~ah6o~mh 06
dih~~ibu~ioh, Tohoku Math. J., (1975),337-354.
Lee, W.Y., 0 SQhWa~~Z'h Hakel ~~ah60~ma~io 06 Qe~~ai hpaQeh 06 dih~~ibu~ioh, SIAM J. Math. Anal.
6, (1975), 427-432.
Mendez, J.M., A mixed Pa~heval equatio ad the gee~alized Hakel t~ah60~matio, Proc. Amer. Math.
Soc., 102 (3) (1988), 619-624.
Mendez, J.M., 0 the Behhel ~~ah60~mh 06 a~bit~a~y o~de~, Math. Nachr., 136 (1988),233-239.
Sanchez, A.M., "La transformaci6n integral de HankelSchwartz en espacios de funciones generalizadas",
Tesis Doctoral, Dept. de Analisis Matematico,
Univ. de La Laguna, La Laguna, 1988.
Schuitman, A., "A class of integral transforms and associated function spaces", Tesis Doctoral, Technische Wetenschapten, Technische Hogeschool Delft,
1985.
Schwartz, L., Theo~ie de.s diht~ibuWM,
Hermann, Paris,
1966.
Schwartz, A.L., A iV~~hio ~heo~em 60~ Hakel t~ah-

601Lml.>,Proc. Amer. Math. Soc., 22, (1969) ,713-717.

E.C., l~tlLodu~tio~
to the theolLY 06 FOUlLielL
i~teglLail.>, Oxford Univ. Press, Oxford, 1948.
[1 2 J Watson, G.N., A tlLeatil.>e O~ the theolLy 06 Bel.>l.>ei 6u~~tio~l.>, Cambridge Univ. Press, Cambridge, 1958.
i~teglLai tlLa~1.>6olLmatio~,
[13] Zemanian, A.H., Ge~elLaiized
[11] Titchmarsh,

Interscience

Publishers,

New York,

1968.

*
VepaJLtame~o de A~~iI.> Matemati~o
Fawitad de Matemati~aI.>
U~veJLl.>idadde La Lagu~a
La Lagu~ (Te~elLi6e)
Ca~alLY 1I.>ia~d!.>,Spai~.

(Recibido
1989) .

en junio

de 1988, la version

revisada

en mayo

de