Val de Bessel

Convergencia en norma L
p
de
desarrollos en funciones de Bessel
Jose Valderrama
Tesis de Licenciatura
August 20, 2004
UNIVERSIDAD CENTRAL DE VENEZUELA
FACULTAD DE CIENCIAS
ESCUELA DE MATEM
ATICA
Convergencia en norma L
p
de desarrollos en funciones
de Bessel
Trabajo Especial de Grado presentado ante
la ilustre Universidad Central de Venezuela
por el Br. Jose Valderrama para optar al
ttulo de Licenciado en Matematica.
Tutor: Wilfredo Urbina.
Caracas, Venezuela
Julio 2004
Nosotros, los abajo rmantes, designados por la Universidad Cen-
tral de Venezuela como integrantes del Jurado Examinador del
Trabajo Especial de Grado titulado Convergencias en normas
L
p
de desarrollos en funciones de Bessel, presentado por el Br.
Jose Antonio Valderrama Moreno, titular de la Cedula de
Identidad V-12094057, certicamos que este trabajo cumple con
los requisitos exigidos por nuestra Magna Casa de Estudios para
optar al ttulo de Licenciado en Matematicas.
Dra. Mara Dolores Moran
Jurado
Dr. Ventura Echanda
Jurado
Dr. Wilfredo Urbina
Tutor
iv
A la memoria de mi padre, Antonio Jose Valderrama
y a la de mi hermana, Maryuri Yelitza Valderrama Moreno. Dios
los bendiga donde quiera que esten.
En tiempos de extrema pobreza el cojo monta sobre los hombros
del ciego para continuar su camino...
Mario Bunge.
Agradecimientos
A Dios, por haberme dado la fuerza de voluntad para culminar este trabajo.
A mi madre Alesia Moreno, a ella le debo mucho mas de lo que sera capaz
de expresar en estas lneas.
A mi tutor, el Dr. Wilfredo Urbina por su dedicaci on y su gran ayuda a lo
largo de este tiempo. Para mi fue un honor y una muy grata experiencia haber
trabajado bajo su direcci on.
A mi hermanito Dilan Samuel Sarmiento Blanco y a mi sobrinita Waleska
Gabriela Zambrano Valderrama, por brindarme su amor y su cari no incondi-
cionalmente.
A mis hermanas: Margaret, Alejandra y Lilian por todo su amor y com-
prensi on.
A mi cu nado David Zambrano por su gran solidaridad
A mi primo Hugo Jose Barroso por sus consejos.
A mi amiga Alejandra Renick por su amistad y alegra.
A mi gran amiga, Yamilet Vicky Quintana por su aliento y sus oportunos
consejos. El cielo me bendijo con su presencia.
A todos los amigos que de una u otra forma estuvieron relacionados conmigo
a lo largo de la Licenciatura: Jose Caldern, Johnny S anchez, Hugo Villarroel,
Roberto comadreja Ruggeiro, Ram on Sarmiento e Irlanda M arquez...
v
vi
Indice
1 Introducci on 1
1.1 Planteamiento general . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Preliminares sobre las funciones de Bessel 5
2.1 Denicion de las funciones de Bessel . . . . . . . . . . . . . . . . 5
2.2 Propiedades de las funciones de Bessel . . . . . . . . . . . . . . . 10
2.2.1 Formulas Asint oticas de las funciones de Bessel . . . . . . 12
2.2.2 Ceros de las funciones de Bessel . . . . . . . . . . . . . . . 13
2.2.3 Funci on Generatriz de las funciones de Bessel . . . . . . . 15
2.2.4 Representacion integral de las funciones de Bessel . . . . 17
2.3 Problemas de Sturm-Liouville para la ecuaci on de Bessel. . . . . 18
3 Convergencia L
p
de desarrollos en funciones de Bessel. 23
3.1 Introduccion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.2 Series de Fourier-Bessel y series de Dini. . . . . . . . . . . . . . . 25
3.3 Convergencia en L
p
[0, 1] de los desarrollos de Fourier-Bessel. . . . 30
p
[0, 1] de los desarrollos de Fourier-Bessel. . . 34

p
de los desarrollos de Dini. . . . . . . . . . . . 39
A La funcion Gamma y funciones relacionadas 43
B Demostracion del lema de MacRobert 45
C La Transformada de Hilbert 53
vii
viii

INDICE
Captulo 1
Introduccion
1.1 Planteamiento general
El problema del desarrollo de una funci on en un sistema ortogonal es un prob-
lema que se inicia con las investigaciones de J.B. Fourier sobre la conduccion
del calor publicadas en su celebre memoria de 1822 La Theorie Analytique de
la chaleur.
Pero antes de los trabajos de Fourier, la necesidad de desarrollar una funci on
de est a manera surgi o en los estudios de Daniel Bernoulli sobre una cadena
oscilando en presencia de la gravedad y as como en los problemas de Leonard
Euler de la vibraci on de una membrana circular con una condicion inicial.
El estudio de la convergencia en norma L
p
de estos desarrollos ortogonales
se desarrolla a todo lo largo del siglo XX luego de la introduccion de la integral
de Lebesgue. El planteamiento general del problema es el siguiente. Dada una
medida real , consideremos, 1 < p < , L
p
() el espacio de funciones a valores
reales p-integrables, es decir funciones medibles tal que
_
|f (x)|
p
(dx) < . (1.1. 1)
Sea {
n
}
n0
un sistema ortogonal en L
2
(). Decimos que {
n
} forma una base
en L
p
() (o tiene la propiedad de la convergencia en media-p) si para cualquier
f L
p
() la serie
n
_
f(y)
n
(y)(dy)
_
|
n
(y)|
2
(dy)

n
(1.1. 2)
converge a f en norma L
p
(), es decir,
lim
N
_
f (x)
N
0
_
f(y)
n
(y)(dy)
_
|
n
(y)|
2
(dy)

n
(x)
p
(dx) = 0. (1.1. 3)
Recuerdese que en el caso de los desarrollos trigonometricos, dada una
1
2 CAP
ITULO 1. INTRODUCCI
ON
funci on f L
p
[, ] para probar la convergencia media-p de su serie de Fourier
1
2
a
0
+
n=1
(a
n
cos nx +b
n
sen nx),
siendo
a
n
=
1
f(t) cos nt dt (1.1. 4)

y
b
n
=
1
f(t)sen nt dt, (1.1. 5)

sus coecientes de Fourier, hay que probar que
lim
N
_

f (x) [
1
2
a
0
+
N
n=1
(a
n
cos nx +b
n
sennx)]
p
dx
= lim
N
_

f (x)
1
2
_

sen (N +
1
2
)(x t)
sen
1
2
(x t)
f(t) dt
p
dx = 0.
Este resultado es el famoso teorema de M. Riesz (1927) [15] (vease tambien
[20]). As pues Riesz demuestra que el sistema trigonometrico es una base
en L
p
[, ] para todo p, 1 < p < . Posteriormente J. Schauder (1928) prob o
que el sistema de las funciones de Haar eran una base en L
p
[0, 1] para todo
p, 1 < p < y posteriormente R. E. A. C. Paley (1932) [11] prueba lo mismo
para el sistema de las funciones de Walsh.
En el caso de los polinomios ortogonales clasicos la medida es abso-
lutamente continua, es decir existe una funci on no negativa, tal que (dx) =
(x)dx. La funci on se llama funci on peso. El rango de los valores de p para
los cuales el sistema de polinomios ortogonales es una base en L
p
depende de
los par ametros de la funci on peso.
Para el caso de los polinomios de Legendre {P
n
}
n
, sop() = [1, 1],
1, H. Pollard (1947) [12] prob o que eran una base en L
p
[1, 1] para todo p, 4/3 <
p < 4. Para el caso de los polinomios de Gegenbauer o ultraesfericos
{C
n
}
n
, sop() = [1, 1], = (1 x
2
)
1/2
, tambien H. Pollard (1948) [13]
prob o que eran una base en L
p
[1, 1] para todo p, 2

1
< p < 2+
1
. Ademas en
ese artculo el demuestra, mediante un contraejemplo, que para los polinomios
de Laguerre y los polinomios de Hermite s olo el caso p = 2 es posible, es
decir el caso en que estamos en un espacio de Hilbert.
Para el caso de los polinomios de Jacobi {P
(,)
n
}
n
sop() = [1, 1], =
(1 x)
(1 + x)
H. Pollard (1949) [13] prob o que eran una base en L

p
[1, 1]
para todo p, M(, ) < p < m(, ), para ciertas funciones M(, ), m(, ).
En el caso de los funciones especiales M. Wing (1950) [19], aparte de hacer
algunas adiciones al resultado de Pollard, usando metodos similares prueba que
las funciones de Bessel {J
(
n
)}
n
son una base en L
p
x
[0, 1] para 1/2
y 4/3 < p < 4.
1.1. PLANTEAMIENTO GENERAL 3
El objetivo de este trabajo es precisamente estudiar en detalle la convergencia
en L
p
de los desarrollos con funciones de Bessel basados en los resultados de M.
Wing [19].
Las motivaciones para estudiar desarrollos en fuciones de Bessel son muy
naturales ya que las series trigonometricas son un caso especial del desarrollo de
las series de Fourier-Bessel, cuando =
1
2
. Pero ademas la ecuaci on de Bessel
es una de las mas importantes ecuaciones diferenciales en la Fsica Matem atica
y los desarrollos en funciones de Bessel aparecen entonces de forma natural, de
hecho J. B. Fourier fue el primero en considerar desarrollos de Fourier-Bessel de
funciones de Bessel de orden cero de primer tipo.
En el caso de desarrollos de Fourier-Bessel, para estudiar la convergencia en
L
p
tenemos que considerar el lmite, cuando n tiende a innito, en L
p
de
n
k=1
2
J
+1
2
(
k
)
_
1
0
tf(t)J
(
k
t)J
(
k
x) dt. (1.1. 6)
donde
k
son los ceros positivos de la funci on de Bessel J
, ordenados en forma
creciente. En el caso de los desarrollos de Dini, tenemos que estudiar el lmite,
cuando n tiende a innito, en L
p
de
n
k=1
2
k
2
J
(
k
z)J
(
k
t)
(
k
2
2
)J
2
(
k
) +
k
2
J
2
(
k
)
(1.1. 7)
donde
k
son los ceros positivos de xJ
(x) + HJ
(x), ordenados de forma cre-

ciente.
El trabajo est a organizado como sigue. En el segundo captulo estudiaremos
las funciones de Bessel y daremos algunas de sus propiedades b asicas, tales como
diferenciabilidad, la formula de recurrencia, formulas asint oticas, ceros, funci on
generatriz y representacion integral que son necesarias para el trabajo, de forma
de hacer este trabajo lo mas autocontenido posible.
El tercer captulo es el captulo central y tiene como objetivo principal es-
tudiar la convergencia en norma L
p
de los desarrollos de Fourier-Bessel y de
desarrollos de Dini. Para ello utiliza la famosa desigualdad de Riesz para la
Transformada de Hilbert, vease el Apendice (C.0. 4).
4 CAP
ITULO 1. INTRODUCCI
ON
Captulo 2
Preliminares sobre las
funciones de Bessel
2.1 Denicion de las funciones de Bessel
Consideremos la siguiente ecuaci on diferencial de segundo orden, la ecuaci on de
Bessel de orden
x
2
y
+xy
+ (x
2
2
)y = 0, (2.1. 1)
o en su forma equivalente
y
+
1
x
y
+
_
1

2
x
2
_
y = 0,
donde p es una constante real.
Este tipo de ecuaciones surgen en el estudio de problemas con valor en la
frontera referente a la ecuaci on de Laplace y la ecuaci on de onda en dominios
con ciertas simetras.
Como la ecuaci on de Bessel es lineal, tiene entonces una solucion general de
la forma
y = C
1
y
1
+C
2
y
2
,
donde y
1
y y
2
son dos soluciones particulares linealmente independientes, y C
1
,
C
2
son constantes.
Ahora bien, para hallar soluciones de la ecuaci on de Bessel, dado que es una
ecuaci on a coecientes variables con una singularidad en x = 0, utilizaremos el
siguiente Teorema de Frobenius (para detalles de su demostracion remitimos a
[6], p ag 594)
Teorema 2.1 Sea
x
2
y
+xq(x)y
+r(x)y = 0
5
6 CAP
ITULO 2. PRELIMINARES SOBRE LAS FUNCIONES DE BESSEL

una ecuaci on diferencial lineal homogenea de segundo orden, cuyos coecientes
son analticos en el intervalo |x| < R
0
, (R
0
> 0), sean
1
y
2
las races de la
ecuaci on indicial
( 1) +q(0) +r(0) = 0
y sup ongase que
1
y
2
se han designado de tal forma que Re(
1
) Re(
2
).
Entonces la ecuaci on diferencial de segundo orden tiene dos soluciones lineal-
mente independientes y
1
y y
2
, v alidas para 0 < |x| < R
0
, que dependen de
1
y
2
de la siguiente manera:
Caso 1.
1
2
no es un entero, entonces
y
1
(x) = |x|
1
k=0
a
k
x
k
, a
0
= 1,
y
2
(x) = |x|
2
k=0
b
k
x
k
, b
0
= 1.
Caso 2.
1
=
2
= , entonces
y
1
(x) = |x|
k=0
a
k
x
k
, a
0
= 1,
y
2
(x) = |x|
k=1
b
k
x
k
+ y
1
(x) ln |x|.
Caso 3.
1
2
es un entero positivo. Entonces
y
1
(x) = |x|
1
k=0
a
k
x
k
, a
0
= 1,
y
2
(x) = |x|
2
k=0
b
k
x
k
+cy
1
(x) ln |x|, b
0
= 1,
donde c es una constante ja.
Observese que la ecuaci on indicial asociada con la ecuaci on de Bessel de orden
es
2
= ( +)( ) = 0,
que tiene raices = y = .
Supongamos entonces que 0, el teorema anterior garantiza que la
ecuaci on de Bessel de orden tiene una solucion de la forma
y
1
(x) = x
k=0
a
k
x
k
(2.1. 2)
2.1. DEFINICI
ON DE LAS FUNCIONES DE BESSEL 7

valida para toda x. Para evaluar los coecientes a
k
observemos que
(x
2
2
)y
1
(x) = x
k=2
a
k2
x
k
x
k=0
2
a
k
x
k
xy
1
(x) = x
k=0
(k +)a
k
x
k
x
2
y
1
(x) = x
k=0
(k +)(k + 1)a
k
x
k
,
sustituyendo en la ecuaci on y simplicando, obtenemos
(2 + 1)a
1
x +
k=2
[k(2 +k)a
k
+a
k2
]x
k
0
y por tanto, los coecientes a
k
para k = 0, 1, . . . tienen la forma
a
1
= 0,
a
k
=
a
k2
k(2 +k)
, k 2,
de esto se sigue entonces que todos los coecientes de subndice impar son cero
y hemos obtenido una relacion de recurrencia para los coecientes de subndice
par,
a
1
= a
3
= a
5
= = 0,
a
2
=
a
0
2(2 + 2)
.
.
.
a
2k
= (1)
k
a
0
2
2k
k!( + 1)( + 2) . . . ( +k)
. (2.1. 3)
Luego reemplazando los coecientes (2.1. 3) en la solucion (2.1. 2), obtenemos
y
1
(x) = a
0
k=0
(1)
k
2
2k
k!( + 1)( + 2) . . . ( +k)
x
2k+
, (2.1. 4)
donde el coeciente a
0
= 0 es una constante arbitraria.
Tomando
a
0
=
1
2
( + 1)
, (2.1. 5)
donde (x) es la funci on gamma.
1
1
Las propiedades de la funci on gamma ser an discutidas en el apendice.
8 CAP

Sustituyendo (2.1. 5) en (2.1. 4) obtenemos la primera de las dos soluciones
linealmente independientes de la ecuaci on de Bessel,
J
(x) =
k=0
(1)
k
(k + 1)(k + + 1)
_
x
2
_
2k+
. (2.1. 6)
Esta solucion se denomina la funcion de Bessel de primer tipo de orden
.
En particular, cuando = 0, se tiene
J
0
(x) =
k=0
(1)
k
(k!)
2
_
x
2
_
2k
,
y cuando es un entero no negativo n, tenemos funcion de Bessel de primer
tipo de orden entero,
J
n
(x) =
k=0
(1)
k
k!(n +k)!
_
x
2
_
2k+n
.
Para completar la discusi on de la ecuaci on de Bessel, queda por encontrar
una segunda solucion linealmente independiente de J
(x) que ser a discutida en

lo que sigue.
Hemos obtenido una solucion particular (2.1. 6) de la ecuaci on de Bessel
para > 0, falta hallar una segunda solucion de modo que ellas sean lineal-
mente independientes para ello usaremos el Teorema 1 y por ello dividiremos el
argumento en casos dependiendo del valor de :
- Caso #1 Si > 0 tal que 2 no es un entero, el Teorema 1 sugiere consid-
erar, por an alogos argumentos a los dados anteriormente, la funcion de Bessel
de primer tipo de orden negativo , J
(x),
J
(x) =
k=0
(1)
k
(k + 1)(k + 1)
_
x
2
_
2k
, x > 0
y es facil de ver que {J
, J
} son linealmente independientes (para ver esto,

observe que cuando x tiende 0, la funci on J
(x) tiende 0, mientras que la funci on

J
(x) tiende ). Luego la solucion general de la ecuaci on de Bessel (2.1. 1)

tiene la forma
y(x) = C
1
J
(x) +C
2
J
(x),
donde C
1
y C
2
son constantes.
- Caso #2 Supongamos ahora que = 0, la ecuaci on de Bessel (2.1. 1) nos
queda entonces,
xy
+y
+xy = 0, (2.1. 7)
2.1. DEFINICI
ON DE LAS FUNCIONES DE BESSEL 9

y su ecuaci on indicial tiene a cero como una raz doble. En consecuencia, por el
Teorema 1, puede encontrarse una segunda solucion de la forma
K
0
(x) =
k=1
b
k
x
k
+J
0
(x) ln x, (2.1. 8)
donde J
0
(x) es la solucion de Bessel de primer tipo de orden cero ya discutida.
Para obtener los coecientes b
k
en (2.1. 8) se observa que
xK
0
(x) =
k=3
b
k2
x
k1
+xJ
0
(x) ln x
K
0
(x) =
k=1
kb
k
x
k1
+J
0
(x) ln x +
J
0
(x)
x
xK
0
(x) =
k=1
k(k 1)b
k
x
k1
+xJ
0
(x) ln x + 2J
0
(x)
J
0
(x)
x
,
sustituyendo en la ecuaci on y simplicando, obtenemos
b
1
x +
k=1
[(2k + 1)
2
b
2k+1
+b
2k1
]x
2k+1
+ 4b
2
x
2
+
k=2
[(2k)
2
b
2k
+b
2k2
]x
2k
x
2
+
k=2
(1)
k+1
4k
2
2k
(k!)
2
x
2k
de aqui se sigue inmediatamente que los coecientes de subndice impar son cero
b
1
= b
3
= b
5
= = 0,
mientras que para los coecientes de subndice par encontramos una relacion de
recurrencia
b
2k
= (1)
k+1
1
2
2k
(k!)
2
_
1 +
1
2
+ +
1
k
_
,
luego la segunda solucion particular de la ecuaci on de Bessel para = 0 es
K
0
(x) =
k=1
(1)
k+1
(k!)
2
_
1 +
1
2
+ +
1
k
_
_
x
2
_
2k
+J
0
(x) ln x
Es com un reemplazar K
0
(x) por una cierta combinaci on lineal de J
0
(x) y
K
0
(x), denida por la formula
Y
0
(x) =
2
k=1
(1)
k
(k!)
2
_
1 +
1
2
+ +
1
k
_
_
x
2
_
2k
+
2
J
0
(x)
_
ln
x
2
+
_
donde = 0.57721566 . . . , es la constante de Euler.
10CAP

Hemos obtenido una segunda solucion particular de la ecuaci on de Bessel
para = 0, esta funci on se denomina la funcion de Bessel de orden cero
de segundo tipo.
- Caso #3 = n un entero. En este caso las raices de la ecuaci on indicial
dieren en 2n > 0 y por tanto el Teorema 1 arma que la segunda solucion de
la ecuaci on de Bessel es de la forma
K
n
(x) =
k=1
b
k
x
k+n
+cJ
n
(x) ln x, (2.1. 9)
donde c es una constante. Aca los b
k
y c podran ser evaluados por el metodo de
coecientes indeterminados, pero el argumento es excepcionalmente complicado
por lo que lo omitiremos. Obtenemos entonces,
K
n
(x) =
1
2
n1
k=0
(n k 1)!
k!
_
x
2
_
2kn
H
n
2n!
_
x
2
_
n
1
2
k=1
(1)
k
[H
k
+H
k+n
]
k!(n +k)!
_
x
2
_
2k+n
+J
n
(x) ln x.
donde H
n
= 1 +
1
2
+ +
1
n
.
Finalmente, remplazamos K
n
por una combinaci on lineal de J
n
y K
n
, de-
notada por Y
n
que llamaremos funcion de Bessel de orden n de segundo
tipo, que est a denida por la formula
Y
n
(x) =
1
n1
k=0
(n k 1)!
k!
_
x
2
_
2kn
H
n
(n!)
_
x
2
_
n
k=1
(1)
k
[H
k
+H
k+n
]
k!(n +k)!
_
x
2
_
2k+n
+
2
J
n
(x)
_
ln
x
2
+
_
.
2.2 Propiedades de las funciones de Bessel
Dado que tenemos los desarrollos en serie de J
y Y
podemos obtener impor-

tentes formulas para las funciones de Bessel y sus derivadas. Las dos primeras
son las siguientes formulas diferenciales:
Proposici on 2.1 Para cualquier , positivo, negativo o cero, tenemos
d
dx
[x
(x)] = x
J
1
(x) (2.2. 10)
d
dx
_
x
(x)
= x
J
+1
(x) (2.2. 11)
2.2. PROPIEDADES DE LAS FUNCIONES DE BESSEL 11
Demostracion
Probemos la primera identidad (2.2. 10), usando que la serie es uniforme-
mente convergente y la identidad (k + + 1) = ( +k)( +k), tenemos
d
dx
[x
(x)] =
d
dx
_

k=0
(1)
k
2
2k+
(k + 1)(k + + 1)
x
2k+2
_
=
k=0
(1)
k
2(k +)
2
2k+
(k + 1)(k + + 1)
x
2k+21
= x
k=0
(1)
k
2
2k+(1)
(k + 1)(k + ( 1) + 1)
x
2k+(1)
= x
J
1
(x).
An alogamente, para la segunda identidad (2.2. 11), tenemos
d
dx
_
x
(x)
=
d
dx
_

k=0
(1)
k
2
2k+
(k + 1)(k + + 1)
x
2k
_
=
k=0
(1)
k
2k
2
2k+
(k + 1)(k + + 1)
x
2k1
= x
n=0
(1)
n
2
2n+(+1)
(n + 1)(n + ( + 1) + 1)
x
2n+(+1)
= x
J
+1
(x).
Formulas similares se cumple para las correspondientes funciones de Bessel
de segundo tipo Y
(x).
d
dx
[x
(x)] = x
Y
1
(x),
d
dx
_
x
(x)
= x
Y
+1
(x).
Cuando las derivadas que aparecen en (2.2. 10) y (2.2. 11), se desarrollan,
se obtiene
Corolario 2.1
xJ
(x) +J
(x) = xJ
1
(x), (2.2. 12)
xJ
(x) J
(x) = xJ
+1
(x). (2.2. 13)
y de estas ecuaciones se obtiene inmediatamente el siguiente resultado,
Teorema 2.2 Las funciones de Bessel de primer tipo satisfacen las relaciones
de recurrencia
xJ
+1
(x) 2J
(x) +xJ
1
(x) = 0,
J
+1
(x) 2J
(x) +J
1
(x) = 0.
12CAP

2.2.1 Formulas Asintoticas de las funciones de Bessel
Se puede probar que todas las funciones de Bessel de primer tipo de orden semi-
entero (de orden n+
1
2
) se puede expresar como combinaci on nita de funciones
elementales y ellas son las unicas que tiene esta propiedad especial, por ejemplo
tenemos
J
1/2
(x) =
_
2
x
senx,
J
1/2
(x) =
_
2
x
cos x,
J
3/2
(x) = J
1/2
+
1
x
J
1/2
(x) =
_
2
x
_
sen x
x
cos x
_
,
J
5/2
(x) = J
1/2
+
3
x
J
3/2
(x) =
_
2
x
_
3senx
x
2

3 cos x
x
senx
_
.
Todas las otras funciones de Bessel, siendo funciones transcendentes no se
pueden escribir en forma cerrada en termino de funciones elementales. Para
ellas podemos obtener formulas asint oticas.
Haciendo el cambio de variable y =
u
x
, en la ecuaci on de Bessel (2.1. 1)
nos que da
u
+
_
1
1
4
x
2
_
u = 0,
o equivalentemente
u
+
_
1 +
1 4
2
4x
2
_
u = 0.
tomando (x) =
14
2
4x
2
, obtenemos
u
+ (1 +(x))u = 0 (2.2. 14)

Para valores grandes de x, los valores de la funci on (x) tiende a ser muy
peque nos. Por lo tanto, para valores grandes de x la solucion de la ecuaci on de
Bessel (2.1. 1) no diere mucho de la solucion de la ecuaci on
u
+u = 0 (2.2. 15)
es decir, la solucion de la ecuaci on (2.1. 1) no dieren mucho de la funci on
u = Asen(x +),
donde A es constante, y es constante.
Supongamos que u es una solucion de la ecuaci on (2.2. 14) el cual no es
identicamente cero. Entonces, existen funciones (x) y (x) tal que
u = (x)sen (x +(x))
donde (x) y (x) convergen a un lmite nito cuando x .
As J
(x) y J
(x) (y Y
tambien) son funciones oscilatorias y, mas a un,

por el teorema de Sonin-Polya (ver [6], p ag 238) se puede asegurar que la mag-
nitud de sus oscilaciones decrece cuando x . Entonces se puede demostrar
que cada solucion de la ecuaci on de Bessel de orden puede expresarse en la
forma
y =
A
x
sen (x +
) +
r
(x)
x
x
donde A
v
,
son constantes cuyos valores dependen de y r
(x) es una funci on

dependiente de , que es acotada cuando x .
En el plano complejo, las fomulas asint oticas para las ecuaci on de Bessel de
primer tipo de orden n son:
y =
_
2
z
cos
_
z

4

n
2
_
para
1
2
argz
1
2
(2.2. 16)
y = ie
in
_
2
z
cos
_
z +

4
+
n
2
_
para
1
2
argz
3
2
(2.2. 17)
2.2.2 Ceros de las funciones de Bessel
Se ha demostrado anteriormente, que para valores grandes de x la funci on de
Bessel diere muy poco de la funci on sinusoidal amortiguada,
A
x
sen(x +),
de este hecho se sigue que cualquier funci on de Bessel tiene una innidad de
ceros en el eje x positivo y que la distancia entre ceros sucesivos se aproxima a
cuando x tiende a innito. M as a un, se tienen los siguientes dos resultados
sobre los ceros de las funciones de Bessel,
Lema 2.1 Los ceros de J
(x) y J
+1
(x) son diferentes, y se alternan en el eje
x positivo.
Demostracion
Despejando xJ
(x) de la ecuaci on (2.2. 13), tenemos,

xJ
(x) = J
(x) xJ
+1
(x).
Supongamos que existe un punto x
0
> 0, tal que J
(x
0
) = J
+1
(x
0
) = 0,
entonces tambien se anulara J
(x
0
), y por el teorema de existencia y unicidad
14CAP

para problemas de valores inicial de ecuaciones diferenciales lineales tendramos
necesariamente que J
(x) 0 lo que es una contradicci on, ya que sabemos que

J
(x) no es identicamente cero. Por lo tanto, se sigue que los ceros de J
(x) y
J
+1
(x) son distintos.
Para terminar la demostracion veamos que los ceros de J
(x) y J
+1
(x) se
alternan. Supongamos que
1
<
2
son ceros positivos consecutivos de J
(x),
de la ecuaci on (2.2. 12) tenemos
J
+1
(
1
) = J
(
1
) J
+1
(
2
) = J
(
2
)
pero, como
1
y
2
son ceros consecutivos de J
(x), se tiene que J
(
1
) y J
(
2
)
tienen signos opuestos y usando el teorema de Bolzano, se sigue que J
+1
(x)
debe anularse por lo menos una vez entre
1
y
2
. Un argumento semejante,
usando la ecuaci on de recurrencia se muestra que J
(x) debe anularse entre dos

ceros consecutivos de J
+1
(x), con lo que se ha demostrado el lema.
Lema 2.2 La funci on
F(x) = J
(x) +xJ
(x)
tiene innitos ceros en el eje positivo de x para todos los valores de y para
cualquier y constantes.
Demostracion
Si = = 0 es inmediato.
Si = 0 o = 0 la funci on F tiene una innidad de ceros, porque lo
discutido anteriormente para las funciones J
(x) y J
(x).
As, s olo se necesita considerar el caso donde = 0 y = 0. Sean
1
<
2
< son los ceros positivos de J
(x).
Veamos que la funci on J
(x) es positiva en el intervalo (0,

1
), por el teorema
de Rolle existe un punto c
0
en el intervalo (0,
1
) tal que J
(c
0
) = 0, luego
tomando el intervalo (0, c
0
) y por el teorema del valor medio, tenemos
J
(c
0
) J
(0) = J
(c)(c
0
0),
como J
(0) = 0 y J
(c
0
) > 0, tenemos
J
(c) > 0
para todo c en el intervalo (0, c
0
), es decir, J
(x) es estrictamente creciente en

el intervalo (0, c
0
). Luego, tomando el intervalo (c
0
,
1
) y por el teorema del
valor medio, tenemos
J
(
1
) J
(c
0
) = J
(c)(
1
c
0
),
como
1
es un cero de J
(x) y J
(c
0
) > 0, tenemos
J
(c) < 0
para todo c en el intervalo (c
0
,
1
). Por lo tanto, J
(x) es positiva en el intervalo

(0,
1
). Ahora probemos que J
(x) es negativa en el intervalo (

1
,
2
), por el
teorema de Rolle existe un punto c
1
en el intervalo (
1
,
2
) tal que J
(c
1
) = 0,
luego tomando el intervalo (
1
, c
1
) y por el teorema del valor medio, tenemos
J
(c) < 0, entonces la funci on J
(x) es estrictamente decreciente en el intervalo

(
1
, c
1
) y an alogamente se observa que J
(x) es creciente en el intervalo (c

1
,
2
).
Por lo tanto J
(x) es negativa en el intervalo (

1
,
2
), an alogamente se ve que
J
(x) es positiva en el intervalo (

2
,
3
) y asi sucesivamente. De aqui se deduce
J
(
1
) < 0, J
(
2
) > 0, J
(
3
) < 0, . . .
Lo que implica que J
es positiva en (0,
1
), negativa en (
1
,
2
), . . . En
consecuencia, F(x) alterna sus signos en los puntos
1
,
2
, . . . y por tanto, se
anula en alg un lugar entre cada uno de ellos.
2.2.3 Funcion Generatriz de las funciones de Bessel
Se ha denido la funci on de Bessel J
(x), n un entero no negativo, como la

solucion de la ecuaci on de Bessel de orden n, cuyo desarrollo en serie en torno al
origen converge para toda x y tiene a
1
2
!
como coeciente principal. Aunque
ciertamente esta es la forma mas natural de estudiar las funciones de Bessel de
orden entero, tambien es posible denir estas funciones por medio de una funci on
generatriz G(x, t), en cuyo caso, J
(x) aparece como el coeciente enesimo en

el desarrollo en serie de G(x, t) en potencias de t.
Teorema 2.3 La funci on e
(x/2)(t
1
t
)
es la funci on generatriz de las funciones
de Bessel de orden entero, es decir
e
(x/2)(t
1
t
)
=
=
J
(x)t
, (2.2. 18)
para todo x y todo t = 0.
Demostracion
Sea
G(x, t) = e
(x/2)(t
1
t
)
, t = 0, (2.2. 19)
usando el desarrollo en serie de potencia de la funci on exponencial, desarrollare-
mos la funci on
e
(x/2)(t
1
t
)
= e
(
xt
2
)
e
(
x
2t
)
,
entonces
G(x, t) =
_

k=0
x
k
2
k
k!
t
k
__

n=0
(1)
n
x
n
2
n
n!
t
n
_
=
n=0
c
n
.
16CAP

Cada una de las series involucradas en ese producto de Cauchy son absoluta-
mente convergente para toda x y toda t = 0, por el criterio de la raz on, y por
la formula del producto de Cauchy tenemos,
c
n
=
n
k=0
a
k
b
nk
=
n
k=0
_
x
k
2
k
k!
t
k
__
(1)
nk
x
nk
2
nk
(n k)!
t
n+k
_
=
n
k=0
(1)
nk
k!(n k)!
_
x
2
_
n
t
2kn
Denotando
a
{k,n}
=
(1)
nk
k!(n k)!
_
x
2
_
n
,
tenemos que
c
n
=
n
k=0
a
{k,n}
t
2kn
.
Desarrollando en k y reagrupando con respecto a la variable t, obtenemos
n=1
n
k=0
a
{k,2k+n}
t
n
+
n=0
n
k=0
a
{k,2kn}
t
n
,
luego
n
k=0
a
{k,2k+n}
=
n
k=0
(1)
k+n
k!(k +n)!
_
x
2
_
2k+n
= (1)
n
n
k=0
(1)
k
k!(k +n)!
_
x
2
_
2k+n
= (1)
n
J
n
(x)
= J
n
(x)
y de forma an aloga
n
k=0
a
{k,2kn}
=
n
k=0
(1)
kn
k!(k n)!
_
x
2
_
2kn
= (1)
n
n
k=0
(1)
k
k!(k n)!
_
x
2
_
2kn
= (1)
n
J
n
(x)
= J
n
(x)
Entonces
G(x, t) =
n=1
J
n
(x)t
n
+
n=0
J
n
(x)t
n
=
n=
J
n
(x)t
n
.
Por cierto este resultado motiva la escogencia del coeciente a
0
en el desar-
rollo de J
n
(x).
2.2.4 Representacion integral de las funciones de Bessel
El Teorema anterior nos proporciona una representaci on integral de las fun-
ciones de Bessel de ndice entero J
n
(x).
Teorema 2.4 Si n es un entero no negativo
J
n
(x) =
1
_

0
cos(n xsen ) d. (2.2. 20)
Demostracion
Haciendo el cambio de variable t = e
i
en funci on generatriz, tenemos
e
(
x
2
)(e
i
1
e
i
)
= e
ixsen
= cos(xsen ) +isen(xsen ),
se sigue de la formula de Moivre,
cos(xsen ) +isen(xsen ) =
n=
J
n
(x)(cos n +isen n),
igualando las partes reales e imaginarias, se tiene
cos(xsen ) =
n=
J
n
(x) cos(n),
sen (xsen ) =
n=
J
n
(x)sen (n),
desarrollando y usando la identidad J
n
(x) = (1)
n
J
n
(x) se obtiene,
cos(xsen ) = J
0
(x) + 2
n=1
J
2n
(x) cos 2n,
sen (xsen ) = 2
n=1
J
2n+1
(x)sen (2n + 1),
ahora se multiplica la primera ecuaci on por cos 2k y la segunda por sen2k,
integrando sobre el intervalo [0, ] y usando la ortogonalidad de la funciones
cos 2k y sen 2k en dicho intervalo, tenemos
J
2k
(x) =
1
_

0
cos(xsen ) cos 2k d,
0 =
1
_

0
sen (xsen )sen 2k d.
18CAP

An alogamente, multiplicando ahora la primera ecuaci on por cos(2k + 1) y la
segunda por sen(2k + 1), integrando sobre el intervalo [0, ] obtenemos
0 =
1
_

0
cos(xsen ) cos(2k + 1) d,
J
2k+1
(x) =
1
_

0
sen(xsen )sen (2k + 1) d.
Finalmente, sumando estos resultado y usando la identidad
cos(n xsen ) = cos n cos(xsen ) + sen nsen (xsen ),
obtenemos (2.2. 20).
El argumento anterior, permite probar mas, por ejemplo tenemos el siguiente
resultado,
Teorema 2.5 Para cada x 0 jo, J
n
(x) tiende a cero, cuando n .
Demostracion
Sea x jo, y consideremos las representaciones
J
2k
(x) =
1
_

0
cos(xsen ) cos 2k d,
J
2k+1
(x) =
1
_

0
sen(xsen )sen (2k + 1) d.
Denotemos por a
k
, b
k
los coecientes de Fourier de las funciones cos(xcos ) y
sen (xsen ) en el intervalo [0, ], entonces
J
2k
(x) =
a
2k
2
J
2k+1
(x) =
b
2k+1
2
,
y por el lema de Riemann-Lebesgue para los coecientes de Fourier, tenemos
lim
k
a
2k
= 0
lim
k
b
2k+1
= 0,
luego J
n
(x) tiende a cero, cuando n .
2.3 Problemas de Sturm-Liouville para la ecuacion
de Bessel.
En aplicaciones fsicas, la ecuaci on de Bessel generalmente surge en la forma
parametrica, con una constante,
x
2
y
+xy
+ (
2
x
2
2
)y = 0,
2.3. PROBLEMAS DE STURM-LIOUVILLE PARA LA ECUACI
ONDE BESSEL.19
equivalentemente tenemos su versi on autoadjunta,
d
dx
_
x
dy
dx
_
+
_
2
x

2
x
_
= 0.
Esta ecuaci on se obtiene de la ecuaci on de Bessel, haciendo el cambio de variable
s = x en s
2
y
+sy
+ (s
2
2
)y = 0.
El espacio de soluciones de la ecuaci on de Bessel est a generado por las fun-
ciones J
(x) y J
(x) si no es un entero, o J
(x) y Y
(x) si es un
entero. En esta secci on estableceremos la existencia y ortogonalidad de las fun-
ciones propias para varios problemas de valor en la frontera que implican a la
ecuaci on de Bessel en forma parametrica en el intervalo [0, 1] siendo un n umero
real no negativo.
El siguiente resultado prueba la ortogonalidad de las funciones {J
()},
para ciertos valores de 0, n umeros no negativos distintos, que son o bien
ceros de la funci on J
, o de su derivada J
o mas generalmente de la funci on

xJ
(x) HJ
(x)
Teorema 2.6 Las funciones {J
()} son ortogonales respecto al peso (x) = x

en [0, 1] para n umeros no negativos distintos, que son o bien ceros de la funci on
J
o m as generalmente de la funci on xJ
(x) HJ
(x); es
decir
_
1
0
J
(x)J
(x)xdx = 0,
si y son dos n umeros no negativos distintos, que son o bien ceros de la
funci on J
o m as generalmente de la funci on xJ
(x)
HJ
(x).
Demostracion
Consideremos las funciones y = J
(x) y z = J
(x), > 1 dos soluciones

de la ecuaciones de Bessel con par ametros , ,
x
2
y
+xy
+ (
2
x
2
2
)y = 0
x
2
z
+xz
+ (
2
x
2
2
)z = 0,
dividiendo por x, multiplicando la primera ecuaci on por z y la segunda por y y
tomando la diferencia, obtenemos
x(yz
zy
) + (yz
zy
) = (
2
2
)yzx,
lo que es equivalente a
{x(yz
zy
)}
= (
2
2
)xyz.
Integrado sobre el intervalo [0, 1], obtenemos
(yz
zy
)|
x=1
x=0
= (
2
2
)
_
1
0
yzxdx,
20CAP

o equivalentemente
J
()J
() J
()J
() = (
2
2
)
_
1
0
J
(x)J
(x)xdx. (2.3. 21)

El termino a la izquierda se anula cuando x = 0, s olo se necesita imponer una
condicion en el punto x = 1, se tiene entonces tres casos:
1. Si , son n umeros distintos, no-negativos y ceros de la funci on J
, en-
tonces el lado derecho de (2.3. 21) se anula,
(
2
2
)
_
1
0
J
(x)J
(x)xdx = 0,
es decir que si , son ceros distintos de la funci on J
, las funciones
J
(x) y J
(x) son ortogonales respecto al peso (x) = x en [0, 1].

2. Si , son n umeros distintos, no-negativos y ceros de la funci on J
(x) ,
en este caso el lado derecho de (2.3. 21) tambien se anula. As, de nuevo
si , son ceros distintos de la funci on J
, las funciones J
(x) y J
(x)
son ortogonales respecto al peso (x) = x en [0, 1].
3. Si , son n umeros distintos, no-negativos y ceros de la funci on xJ
(x)
HJ
(x), es decir
J
() HJ
() = 0
J
() HJ
() = 0
multiplicando la primera ecuaci on por J
() y la segunda ecuaci on por

J
() y tomando la diferencia de las dos ecuaciones, tenemos

J
()J
() J
()J
() = 0
por lo tanto, en este caso el lado derecho de (2.3. 21) tambien se anula.
Luego las funciones J
(x) y J
(x) son ortogonales respecto al peso

(x) = x en [0, 1] si , son ceros distintos de la funci on xJ
(x)HJ
(x).
Concluiremos esta secci on evaluando la norma L
2
[0, 1] de J
(),
Teorema 2.7 Para todo los n umeros reales no negativo y , se tiene
_
1
0
[J
(x)]
2
xdx =
1
2
[J
()]
2
+

2
2
2
2
[J
()]
2
.
Demostracion
Sea y = J
(x), multiplicando la ecuaci on de Bessel (2.1. 1) por 2y
se tiene
2xy
+ 2x(y
)
2
+ 2(x
2

2
)y
y = 0,
2.3. PROBLEMAS DE STURM-LIOUVILLE PARA LA ECUACI
ONDE BESSEL.21
o equivalentemente
_
x
2
(y
)
2
+
_
(x
2
2
)y
2
2xy
2
= 0,
despejando,
2x[J
(x)]
2
=
d
dx
{x
2
[J
(x)]
2
+ (x
2
2
)[J
(x)]
2
}.
Luego, integrando en [0, ]
2
_

0
[J
(x)]
2
xdx =
2
[J
()]
2
+ (
2
2
)[J
()]
2
Luego, tomando el cambio de variable x = t, t [0, 1], obtenemos la igualdad
deseada.
Este resultado se puede expresar en terminos de la norma L
2
[0, 1]
J
()
2
=
1
2
[J
()]
2
+

2
2
2
2
[J
()]
2
que da las siguientes importantes formulas.
Corolario 2.2 1.
k
es el k-esimo cero de J
positivo,
J
(
k
)
2
=
1
2
[J
(
k
)]
2
,
y por la ecuaci on (2.2. 13)
J
(
k
)
2
=
1
2
[J
+1
(
k
)]
2
.
2.
k
es el k-esimo cero de J
positivo,
J
(
k
)
2
=

2
k
2
2
2
k
[J
(
k
)]
2
.
En particular, cuando = 0, se tiene
J
0
(
k
)
2
=
1
2
[J
0
(
k
)]
2
3.
k
es el k-esimo n umero positivo tal que J
() HJ
() se anula.
J
(
k
)
2
=
H
2
+
2
k
2
2
2
k
[J
(
k
)]
2
22CAP

Captulo 3
Convergencia L
p
de
desarrollos en funciones de
Bessel.
3.1 Introduccion.
Los desarrollos en funciones de Bessel aparecen de manera natural en la resolucion
de ecuaciones diferenciales parciales donde hay simetra circular. Los casos mas
famosos son la ecuaci on de Laplace en un cilindro circular y la ecuaci on de la
membrana circular vibrante.
Ya en sus investigaciones sobre la conduccion del calor, J. B. Fourier, con-
sider o el desarrollo de una funci on f en la forma,
f(x) =
n=1
a
n
J
0
(
n
x), (3.1. 1)
siendo
a
n
=
2
J
2
1
(
n
)
_
1
0
tf(t)J
0
(
n
t) dt
y
1
,
2
,
3
, . . . son los ceros positivos, ordenados en forma creciente, de la
funci on de Bessel de primer tipo de orden cero J
0
.
A partir de este desarrollo es natural considerar, como lo hizo E. C. Lommel
(1868), desarrollos formales con funciones de Bessel de primer tipo de orden
1,
f(x) =
n=1
a
n
J
(
n
x) (3.1. 2)
donde
a
n
=
2
J
2
+1
(
n
)
_
1
0
tf(t)J
(
n
t) dt
23
24CAP
ITULO3. CONVERGENCIAL
P
DE DESARROLLOS ENFUNCIONES DE BESSEL.
y
1
,
2
,
3
, . . . son los ceros positivos, ordenados en forma creciente, de la
funci on de Bessel de orden , J
.
Por supuesto, el sentido de esta convergencia es un problema tan espinoso
como en el caso de series de Fourier por lo cual, tanto en el caso general como
en el caso especial = 0 los desarrollos anteriores son formales, simplemente
indican como son determinados los coecientes bajo la hipotesis que el desarrollo
existe y sea uniformemente convergente.
Posteriormente, las investigaciones de H. Hankel (1875), P. Schlai (1876) y
A. Harnack (1887) intentan dar pruebas rigurosas sobre la convergencia de los
desarrollos con funciones de Bessel, como hizo P.G. Dirichlet en el caso de series
de Fourier.
Por otra parte, U. Dini(1880) investiga desarrollos mas generales de la forma
f(x) =
n=1
c
n
J
(
n
x) (3.1. 3)
donde
1
,
2
,
3
, . . . son los ceros positivos de la funci on
z
{zJ
(z) +HJ
(z)},
siendo
1
2
y H es una constante. Los coecientes en este desarrollo est an
dados por la formula
c
n
=
2
n
2
{(
n
2
2
)J
2
(
n
) +
n
2
J
2
(
n
)}
_
1
0
tf(t)J
(
n
t) dt.
Aunque los desarrollos (3.1. 3) ya haban sido considerados por Fourier en el
caso = 0, para el problema de la propagaci on del calor en un cilindro, ellos
estan asociados al nombre de Dini.
En las investigaciones hechas por J. C. Kneser (1903 y 1907) y por E. W.
Hobson (1909) usaron la teora de las ecuaciones integrales como base, abando-
nando el uso tradicional de variable compleja. Ello era natural ya que el uso
de variable compleja en el estudio esencialmente de teoremas concerniente a
funciones de variable real en alg un sentido era poco natural.
Con los resultados de W. H. Young (1920) la teora se desarroll o todava
mas, Young usa la teora de funciones de variable real junto con el c alculo de
residuos.
C. N. Moore (1909), estudia la sumabilidad Cesaro de estos desarrollos e
investiga la convergencia uniforme de los desarrollos en el entorno del origen,
as como tambien la covergencia uniforme de la sumabilidad Cesaro de estos
(cuando no es necesariamente convergente) en ese entorno.
Para un extenso estudio de los desarrollos en funciones de Bessel se puede
consultar el captulo XVIII del libro de Watson [18].
3.2. SERIES DE FOURIER-BESSEL Y SERIES DE DINI. 25
3.2 Series de Fourier-Bessel y series de Dini.
En lo que sigue consideramos dos espacios, para 1 < p < ,
L
p
[0, 1] = {f medible :
_
1
0
|f(x)|
p
dx < }
los clasicos espacios de Lebesgue, en [0, 1] y
L
p
[0, 1] = {f medible :
_
1
0
|f(x)|
p
xdx < }
los espacios de Lebesgue con peso (x) = x en [0, 1].
En el Teorema 2.6 y el Corolario 2.2 hemos visto que las funciones {J
p
()}
son ortogonales en el espacio L
2
[0, 1], para n umeros no negativos distintos,

que son o bien ceros de la funci on J
p
p
o mas generalmente
ceros de la funci on xJ
p
(x) HJ
p
(x).
M as precisamente,
- Si
1
y
2
son dos n umeros no negativos, ceros de la funci on J
, tenemos
_
1
0
J
(
1
x)J
(
2
x)xdx = 0,
si
1
=
2
y
_
1
0
[J
(x)]
2
xdx =
1
2
[J
()]
2
=
1
2
[J
+1
()]
2
.
- Si
1
y
2
son dos n umeros no negativos, ceros de la derivada J
de la
funci on J
, tenemos
_
1
0
J
(
1
x)J
(
2
x)xdx = 0,
si
1
=
2
y
_
1
0
[J
(x)]
2
xdx =

2
2
2
2
[J
()]
2
.
Finalmente si
1
y
2
son dos n umeros no negativos distintos, que son ceros
de la funci on xJ
(x) HJ
(x),
_
1
0
J
(
1
x)J
(
2
x)xdx = 0,
si
1
=
2
y
_
1
0
[J
(x)]
2
xdx =
1
2
[J
()]
2
+

2
2
2
2
[J
()]
2
.
26CAP
P
Sea > 1 y sean
1
,
2
, los ceros positivos, ordenados en forma cre-
ciente, de J
(x), entonces dada una funci on f L

1
[0, 1], consideramos el de-

sarrollo
n=1
a
n
J
(
n
x),
donde
a
n
=
2
[J
+1
(
n
)]
2
_
1
0
f(t)J
(
n
t) t dt. (3.2. 4)
Estos desarrollos se llaman series de Fourier-Bessel de primer tipo de la
funci on f.
Si consideramos la sucesion de funciones de Bessel normalizadas,
n
(x) =
2J
(
n
x)
J
+1
(
n
)
,
la familia {
n
} constituyen un sistema ortonormal en L
2
[0, 1]. Sea f L

p
[0, 1],
y consideremos su desarrollo respecto a {
n
},
n=1
a
n
n
(x) =
n=1
a
n
2
J
(
n
x)
J
+1
(
n
)
,
siendo a
n
los coecientes de Fourier-Bessel de f respecto a {
n
},
a
n
=
_
1
0
f(t)
n
(t) tdt =
2
J
+1
(
n
)
_
1
0
f(t)J
(
n
t) t dt. (3.2. 5)
Consideremos S
N
f la N-esima suma parcial de la serie de Fourier-Bessel de f
respecto a {
n
},
S
N
(f, x) =
N
n=1
a
n
n
(x) =
N
n=1
a
n
2
J
(
n
x)
J
+1
(
n
)
.
Sustituyendo los coecientes de Fourier-Bessel a
n
en la suma parcial S
N
f, esta
se puede rescribir como
S
N
(f, x) =
_
1
0
f(t)K
N
(t, x) t dt, (3.2. 6)
siendo
K
N
(t, x) = 2
N
n=1
J
(
n
x)J
(
n
t)
{J
+1
(
n
)}
2
, (3.2. 7)
el n ucleo de Dirichlet-Bessel, tambien conocido como n ucleo de Hankel.
Ademas, vamos a considerar desarrollos respecto a la sucesion de funciones
n
(x) =
2x
J
+1
(
n
)
J
(
n
x), n = 1, 2, . . . (3.2. 8)
La ventaja de las funciones {
n
} es que ellas constituyen un sistema ortonormal
en L
2
[0, 1], es decir, respecto a la medida de Lebesgue, por lo que los c alculos
se simplican de manera sustancial.
Sea f L
p
[0, 1], y consideramos la serie de Fourier-Bessel asociada a f,
respecto a {
n
}

n=1
b
n
n
(x) =
n=1
b
n
2x
J
(
n
x)
J
+1
(
n
)
,
donde b
n
son los coecientes de Fourier-Bessel de f respecto a {
n
},
b
n
=
_
1
0
n
(t)f(t) dt =
2
J
+1
(
n
)
_
1
0
J
(
n
t)f(t)
t dt, n = 1, 2, . . .
(3.2. 9)
Denimos S
N
(f) la N-esima suma parcial de la serie de Fourier-Bessel de f
S
N
(f, x) =
N
n=1
b
n
n
(x) =
N
n=1
b
n
2x
J
(
n
x)
J
+1
(
n
)
, (3.2. 10)
de nuevo, sustituyendo los coecientes de Fourier-Bessel b
n
en la suma parcial
S
N
f, obtenemos
S
N
(f, x) =
_
1
0
xtK
N
(t, x)f(t) dt. (3.2. 11)
Finalmente, sea 1/2 y sean
1
,
2
, los ceros positivos, ordenados
en forma creciente, de la funci on xJ
(x) HJ
(x), entonces dada una funci on

f L
1
[0, 1], consideramos el desarrollo
n=1
c
n
J
(
n
x)
donde
c
n
=
2
2
n
n
[J
(
n
)]
2
+ (
2
n
2
) [J
(
n
)]
2
_
1
0
f(x)J
(
n
x)xdx. (3.2. 12)
Estos desarrollos se llaman desarrollo de Dini en funciones de Bessel de
la funci on f.
28CAP
P
El caso que
1
,
2
, son los ceros positivos, ordenados en forma creciente,
de la funci on J
, es un caso particular del anterior, H = 0, que a veces se llama

tambien series de Fourier-Bessel de segundo tipo para la funci on f,
f(x) =
n=1
c
n
J
(
n
x)
donde
c
n
=
2
2
n
(
2
n
2
) [J
(
n
)]
2
_
1
0
f(x)J
(
n
x)xdx. (3.2. 13)
Por otra parte, los desarrollo de Fourier-Bessel se pueden considerar un caso
lmite (tomando H ) de los desarrollos de Dini. Sin embargo existen
ciertos fen omenos peculiares de los desarrollos de Dini, que veremos en lo que
sigue, que hacen este punto de vista un poco enga noso.
Explicaremos un fen omeno peculiar para los desarrollos de Dini, que fue
notado por el propio Dini, el cual no tiene un an alogo en la teora del desarrollo
de Fourier-Bessel. Resulta que el estudio de la convergencia puntual el desarrollo
en series de Dini no siempre es la forma correcta, sino que hay que agregar un
termino inicial. Ello se debe a que la investigaciones de los desarrollos de Dini es
basado en propiedades de una funci on que tiene polos en los ceros de la funci on
x
{xJ
(x) +HJ
(x)}
y cuando H + = 0 esta funci on tiene un cero en el origen, y mas a un si H +
es negativo, la funci on tiene ceros imaginarios puros.
Por lo tanto es de esperar que estos ceros contribuyan a la serie y esto se
hace en la siguiente forma:
- Si H + es positivo, el termino inicial a considerar es cero.
- Si H + = 0 el termino incial a considerar es
2( + 1)x
_
1
0
t
+1
f(t) dt, (3.2. 14)
que debe incluirse por la presencia del cero en el origen.
- Si H + es negativo, la funci on tiene dos ceros imaginarios puros i
0
,
entonces el termino inicial que debe ser incluido es
2
0
2
I
(
0
x)
(
0
2
+
2
)I
2
(
0
)
0
2
I
2
(
0
)
_
1
0
tf(t)I
(
0
t) dt (3.2. 15)
donde I
(z) = e
1
2
i
J
(ze
1
2
i
), es la llamada funci on de Bessel modicada
de orden de primer tipo.
Este termino inicial ser a denotado como B
0
(x), y as la serie a considerar es
B
0
(x) +
n=1
c
n
J
(
n
x) (3.2. 16)
donde B
0
(z) es cero cuando H + es positivo y est a denido como la expresi on
(B.0. 2) o (B.0. 3) en los casos H + = 0, H + < 0 respectivamente.
Denotaremos la suma parcial de la serie (B.0. 4) por
N
f, entonces por
argumentos ya conocidos, tenemos la representacion integral,
N
(f, x) =
_
1
0
(xt)
1
2
k
N
(t, x)f(t) dt (3.2. 17)
donde
k
N
(t, x) = A
0
(x, t) +
N
n=1
2
n
2
J
(
n
x)J
(
n
t)
(
n
2
2
)J
2
(
n
) +J
2
(
n
)
(3.2. 18)
donde si H + es positivo A
0
(x, t) = 0, si H + = 0, entonces A
0
(x, t) =
2( + 1)x
y si H + es negativo, A
0
(x, t) =
20
2
I(0x)I(0t)
(0
2
+
2
)I
2
(0)0
2
I
2
(0)
.
De nuevo por simplicidad, para trabajar con la medida de Lebesgue, vamos
a considerar las funciones
n
(x) =
n
x
1/2
J
(
n
x),
donde
1
,
2
,
3
, . . . son los ceros positivos, ordenados en orden creciente de
magnitud, de la funci on
zJ
(z) +HJ
(z)
con H y constantes reales, +
1
2
0 y
2
2
n
= (1

2
n
)J
2
(
n
) +J
(
n
).
La familia {
n
} forma un sistema ortonormal en L
2
[0, 1] cuando 1.
Dada una funci on f L
p
[0, 1], el desarrollo de Dini de la funci on f a con-
siderar es
B
0
(x) +
n=1
d
n
n
x
1/2
J
(
n
x) (3.2. 19)
donde B
0
(x) es cero si H + es positivo,
2( + 1)x
+1/2
_
1
0
t
+1/2
f(t) dt, (3.2. 20)
si H + = 0 y
2
0
2
I
(
0
x)
(
0
2
+
2
)I
2
(
0
)
0
2
I
2
(
0
)
_
1
0
t
1/2
f(t)I
(
0
t) dt (3.2. 21)
donde I
(x), es la funci on de Bessel modicada de orden de primer tipo si

H + < 0, y los coecientes d
n
estan denidos como
d
n
=
n
_
1
0
t
1/2
f(t)J
(
n
t) dt. (3.2. 22)
30CAP
P
Denimos la n-esima suma parcial
N
(f, x) = B
0
(x) +
N
n=0
d
n
n
x
1/2
J
(
n
x), (3.2. 23)
y de nuevo tenemos que
N
(f, x) =
_
1
0
(xt)
1/2
k
N
(t, x)f(t)dt, (3.2. 24)
donde
k
N
(t, x) = A
0
(x, t) +
n=1
c
n
2
n
J
(
n
x)J
(
n
t),
siendo A
0
(x, t) = 0 H + es positivo, A
0
(x, t) = 2( + 1)x
si H + = 0 y
A
0
(x, t) =
2
0
2
I
(
0
x)I
(
0
t)
(
0
2
+
2
)I
2
(
0
)
0
2
I
2
(
0
)
,
si H + < 0.
El problema de la convergencia de las series de Fourier-Bessel y de Dini se
trata de manera an aloga al caso de las series de Fourier. Si por ejemplo, uno
supone alguna regularidad sobre f, por ejemplo si f es suave por trozos, la serie
de Fourier-Bessel converge puntualmente a
1
2
[f(x
+
0
) +f(x
0
)]
para cada x
0
en el intervalo (0, 1) y la convergencia es uniforme en cada subin-
tervalo cerrado de (0, 1) que no contenga un punto de discontinuidad (vease por
ejempo los teoremas 15-6 y 15-7 de Kreider, Kuller, Ostberg y Perkins [6]. M as
a un, si x
1/2
f L
1
[0, 1] y si > 1/2 entonces las series de Fourier-Bessel y de
Dini se comportan de la misma manera que las series de Fourier.
Nuestro interes fundamental en este trabajo es estudiar la convergencia en
L
p
de los desarrollos de Fourier-Bessel y de Dini, que comenzaremos a realizar
a partir de la proxima secci on.
p
[0, 1] de los desarrollos de
Fourier-Bessel.
Consideremos entonces, en primer lugar desarrollos respecto a la familia
n
(x) =
2x
J
+1
(
n
)
J
(
n
x), n = 1, 2, . . .
donde
1
,
2
, son los ceros de J
, ordenados en forma creciente.

3.3. CONVERGENCIAENL
P
[0, 1] DE LOS DESARROLLOS DE FOURIER-BESSEL.31
Sea f L
p
[0, 1], y consideramos la serie de Fourier-Bessel asociada a f
respecto de {
n
},
n=1
b
n
2x
J
(
n
x)
J
+1
(
n
)
,
con b
n
denido como en (3.2. 9). Para estudiar su convergencia en L
p
consid-
eramos S
N
(f) la N-esima suma parcial de la serie de Fourier-Bessel de f, que
por (3.2. 11) se puede escribir como
S
N
(f, x) =
_
1
0
xtK
N
(t, x)f(t) dt.
Lamentablemente el n ucleo de Dirichlet-Bessel no tiene una expresi on cerrada,
sin embargo el Lema de MacRobert
1
, nos permite estimarlo,
Lema 3.1 (MacRobert) Si
1
2
y A
N
=
_
N +
1
2
+
1
4
_
, entonces
K
N
(t, x)
1
2
A
N
_
J
(A
N
x)J
+1
(A
N
t) J
(A
N
t)J
+1
(A
N
x)
x t
_
< C(xt)
1
2
_
(x +t)
1
+ (2 x t)
1
_
(3.3. 25)
para todo x y para todo t en [0, 1]
Con este resultado podemos obtener nuestro primer teorema concerniente a
la convergencia en L
p
de las series de Fourier-Bessel.
Teorema 3.1 Si
1
2
y f pertenece a L
p
[0, 1] para p > 1 entonces
lim
N
||f S
N
(f)||
p
= lim
N
__
1
0
|f(x) S
N
f(x)|
p
dx
_1/p
= 0 (3.3. 26)
Observese que dado que J
1/2
(x) = (
2
x
)
1/2
sen x y J
1/2
(x) = (
2
x
)
1/2
cos x,
entonces cuando = 1/2, 1/2 las series de Fourier-Bessel se convierten en
series de Fourier (trigonometricas), y por tanto este teorema incluye el resultado
clasico de M. Riesz.
Demostracion
En primer lugar, usando el Teorema de Banach-Steinhaus
2
se puede ver que
(3.3. 26) se cumple si, y s olo si, existe una constante C
p
, independiente de n tal
que
||S
N
(f)||
p
C
p
||f||
p
. (3.3. 27)
Por otra parte, dado que la funci on x
(x) tiene un desarrollo en serie de

potencias,
k=0
(1)
k
2
2k+
(k + 1)(k + + 1)
x
2k
,
1
Para la prueba del Teorema puede consultar el Apendice B.
2
Vease, por ejemplo, Duoandikoetxea [4], p ag 18.
32CAP
P
por el criterio de la raz on, se obtiene que el radio de convergencia de esta funci on
es innito y por lo tanto concluimos que la funci on x
(x) es entera.
Ahora bien, como la funci on x
1
2
J
(
n
x), tiene un desarrollo en serie de
potencias
k=0
(1)
k
(k + 1)(k + + 1)
_
n
2
_
2k+
x
2k++
1
2
si
1
2
, entonces
1
2
+ + 2k 0 k = 0, 1, 2, . . .; por tanto esta funci on es
continua y por tanto acotada en el intervalo [0, 1].
Tomando p, q ndices conjugados,
1
p
+
1
q
= 1, por la desigualdad de H older,tenemos
|b
n
| =
2
J
+1
(
n
)
_
1
0
t
1
2
J
(
n
t)f(t) dt
_
1
0
|t
1
2
J
(
n
t)f(t)| dt
__
1
0
|f(t)|
p
dt
_
1
p
__
1
0
|t
1
2
J
(
n
t)|
q
dt
_
1
q
concluimos que los coecientes de Fourier-Bessel b
n
esta bien denidos, ya que
f L
p
[0, 1] y la funci on
tJ
(
n
t) es acotada en el intervalo [0, 1].
El lema de MacRobert sugiere que la suma parcial de Fourier-Bessel S
N
f se
escriba como
S
N
(f, x) =
_
1
0
_
K
N
(t, x)
1
2
A
N
[J
(A
N
x)J
+1
(A
N
t) J
(A
N
t)J
+1
(A
N
x)]
(x t)
+
1
2
A
N
[J
(A
N
x)J
+1
(A
N
t) J
(A
N
t)J
+1
(A
N
x)]
(x t)
_
xtf(t) dt,
luego, usando el lema de MacRobert, obtenemos
|S
N
(f, x)| C
_
1
0
|f(t)|
x +t
dt +C
_
1
0
|f(t)|
2 x t
dt
+
1
2
_
1
0
(A
N
x)
1
2
J
(A
N
x)(A
N
t)
1
2
J
+1
(A
N
t)
x t
f(t) dt
+
1
2
_
1
0
(A
N
x)
1
2
J
+1
(A
N
x)(A
N
t)
1
2
J
(A
N
t)
x t
f(t) dt
(3.3. 28)
Ahora probaremos (3.3. 27), es decir
||S
N
(f)||
p
C
p
||f||
p
.
Por la desigualdad de M. Riesz para la Transformada de Hilbert
3
, haciendo
el cambio de variable y = x y tomando en cuenta que el soporte de f est a en
3
vease Apendice C.
P
[0, 1], tenemos
_
_
_
_
_
1
0
|f(t)|
x +t
dt
_
_
_
_
p
p
=
_

|
_
1
0
|f(t)|
x +t
dt|
p
dx =
_

|
_
1
0
|f(t)|
y t
dt|
p
dy C
p
_
1
0
|f(t)|
p
dt.
An alogamente, haciendo el cambio de variable y = 2 x, tenemos
_
_
_
_
_
1
0
|f(t)|
(2 x t)
dt
_
_
_
_
p
p
=
_

|
_
1
0
|f(t)|
2 x t
dt|
p
dx =
_

|
_
1
0
|f(t)|
y t
dt|
p
dy C
p
_
1
0
|f(t)|
p
dt.
Escribimos
I
N
(x) =
_
1
0
(A
N
x)
1
2
J
(A
N
x)(A
N
t)
1
2
J
+1
(A
N
t)
x t
f(t) dt
= B
N
(x)
_
1
0
C
N
(t)f(t)
x t
dt,
II
N
(x) =
_
1
0
(A
N
x)
1
2
J
+1
(A
N
x)(A
N
t)
1
2
J
(A
N
t)
x t
f(t) dt
= C
N
(x)
_
1
0
B
N
(t)f(t)
x t
dt.
siendo B
N
(x) = (A
N
x)
1
2
J
(A
N
x) y C
N
(t) = (A
N
t)
1
2
J
+1
(A
N
t).
Como I
N
y II
N
son an alogas, s olo necesitaremos examinar una de ellas. De
la formula asint otica de la funci on de Bessel de primer tipo, (ver por ejemplo
[1] o [17])
J
()
__
2
cos
_

1
4

2
__
para
1
2
arg
1
2
y sucientemente grande, se concluye que B
N
(x) y
C
N
(t) son acotadas para N y t, x [0, 1]. Por lo tanto como C
N
f L
p
y B
N
(x)
es acotada, de nuevo por la desigualdad de M. Riesz para la Transformada de
Hilbert, obtenemos
I
N
(x)
p
p
=
_
1
0
|B
N
(x)
_
1
0
C
N
(t)f(t)
x t
|
p
dt|
p
dx C
p
_
1
0
|f(t)|
p
dt.
As pues, aplicando la desigualdad de Minkowski a (3.3. 28), se tiene, de lo
anterior,
S
N
(f, )
p
C
_
_
_
_
_
1
0
|f(t)|
+t
dt
_
_
_
_
p
+C
_
_
_
_
_
1
0
|f(t)|
(2 t)
dt
_
_
_
_
p
+
1
2
_
_
_
_
_
_
1
0
(A
N
x)
1
2
J
(A
N
x)(A
N
t)
1
2
J
+1
(A
N
t)
x t
f(t) dt
_
_
_
_
_
p
+
1
2
_
_
_
_
_
_
1
0
(A
N
x)
1
2
J
+1
(A
N
x)(A
N
t)
1
2
J
(A
N
t)
x t
f(t) dt
_
_
_
_
_
p
C
p
f
p
34CAP
P
Por lo tanto, (3.3. 27) se cumple.
p
[0, 1] de los desarrollos de

Fourier-Bessel.
Consideremos entonces, en segundo lugar desarrollos respecto a la sucesion de
funciones de Bessel normalizadas
n
(x) =
2J
(
n
x)
J
+1
(
n
)
Sea f L
p
[0, 1], y consideramos la serie de Fourier-Bessel asociada a f respecto

a {
n
}

n=1
a
n
2J
(
n
x)
J
+1
(
n
)
.
Para estudiar su convergencia en L
p
debemos considerar S
N
(f) la N-esima suma
parcial de la serie de Fourier-Bessel de f, que, por lo discutido en la secci on
anterior, se puede representar como
S
N
(f, x) =
_
1
0
xtK
N
(t, x)f(t) dt
Probaremos entonces el siguiente teorema,
Teorema 3.2 Si
1
2
y f L
p
[0, 1],
4
3
< p < 4. Entonces
lim
N
||f S
N
(f)||
,p
=
_
lim
N
_
1
0
|f(x) S
N
(f, x)|
p
xdx
_1/p
= 0
Demostracion
El coeciente de la serie de Fourier-Bessel
a
n
=
2
J
+1
(
n
)
_
1
0
tf(t)J
(
n
t) dt =
2
J
+1
(
n
)
_
1
0
tf(t)
tJ
(
n
t) dt,
existe, probando
t|f(t)| pertenece a L
1
[0, 1], dado que, de nuevo por el desarrollo
asint otico,
tJ
(
n
t) es acotada en el intervalo [0, 1]. Ahora, si p y q son indices
conjugados,
1
p
+
1
p
= 1 se deduce de la desigualdad de H older,
_
1
0
t
1
2
|f(t)| dt
__
1
0
t
(
1
2
1
p
)q
dt
_
1
q
__
1
0
t|f(t)|
p
dt
_
1
p
dado que f L
p
la segunda integral del lado derecho converge, mientras que

la primera integral del lado derecho de la desigualdad converge si
_
1
2

1
p
_
q =
P

_
1
q

1
2
_
q > 1 o lo que es equivalente q < 4, que es consescuencia de la
hipotesis.
De nuevo, por el Teorema de Banach-Steinhaus, basta probar que
S
N
(f)
,p
C
p
f
,p
(3.4. 29)
Procediendo an alogamente como en el teorema anterior, tenemos
|S
N
(f, x)| Cx
1
2
_
1
0
t
1
2
|f(t)|
x +t
dt +Cx
1
2
_
1
0
t
1
2
|f(t)|
2 x t
dt
+
1
2
_
1
0
A
N
J
(A
N
x)J
+1
(A
N
t)tf(t)
x t
dt
+
1
2
_
1
0
A
N
J
(A
N
t)J
+1
(A
N
x)tf(t)
x t
dt
= g
1
(x) +g
2
(x) +G
N
(x) +H
N
(x), (3.4. 30)
siendo,
g
1
(x) = x
1
p
1
2
_
1
0
t
1
2
|f(t)|
x +t
dt
g
2
(x) = x
1
p
1
2
_
1
0
t
1
2
|f(t)|
2 x t
dt
G
N
(x) = x
1
p
_
1
0
A
N
J
(A
N
x)J
+1
(A
N
t)tf(t)
x t
dt
H
N
(x) = x
1
p
_
1
0
A
N
J
(A
N
t)J
+1
(A
N
x)tf(t)
x t
dt
Esta expresi on es an aloga a la de |S
N
(f, x)|, (3.3. 28) pero hay que tratarla mas
cuidadosamente.
Consideremos, en primer lugar,
g
1
(x) =x
1
p
1
2
_
1
0
t
1
2
|f(t)|
x +t
dt
=
_
1
0
t
1
p
|f(t)|
x +t
dt +
_
1
0
t
1
p
|f(t)|
_
_
t
x
_1
2
1
p
1
_
x +t
dt,
simplemente escribiendo
x
1
p
1
2
t
1
2
= t
1
p
+x
1
p
1
2
t
1
2
t
1
p
= t
1
p
+
t
1
2
x
1
2
1
p
t
1
p
= t
1
p
+t
1
p
_
_
t
x
_1
2
1
p
1
_
.
Denotemos
I
1
(x) =
_
1
0
t
1
p
|f(t)|
x +t
dt,
I
2
(x) =
_
1
0
t
1
p
|f(t)|
_
_
t
x
_1
2
1
p
1
_
x +t
dt.
36CAP
P
Entonces, por la desigualdad de M. Riesz para la Transformada de Hilbert,
haciendo un cambio de variable adecuado y tomando en cuenta que el soporte
de f est a en [0, 1], se tiene
I
1
p
=
_
_

(
_
1
0
t
1
p
|f(t)|
x +t
dt)
p
dx
_
1/p
C
p
__
1
0
t|f(t)|
p
dt
_1/p
= C
p
f
,p
.
Por dualidad, I
2
pertenece a L
p
[0, 1] si la doble integral
I =
_
1
0
h(x)
_
1
0
t
1
p
|f(t)|
_
_
t
x
_1
2
1
p
1
_
x +t
dt dx, (3.4. 31)
est a acotada para toda h L
q
[0, 1].
Dado que p y q son indices conjugados,
t
1
p
_
_
_
[
_
t
x
_1
2
1
p
1]
x +t
_
_
_
=t
1
p
_
_
_
[
_
t
x
_1
2
1
p
1]
x +t
_
_
_
1
p
+
1
q
=
_
_
_
[
_
t
x
_1
2
1
p
1]
x +t
_
_
_
1
q
_
t
x
_
1
pq
t
1
p
_
_
_
[
_
t
x
_1
2
1
p
1]
x +t
_
_
_
1
p
_
t
x
_ 1
pq
,
aplicando entonces la desigualdad de H older, se tiene,
|I| =
_
1
0
h(x)
_
1
0
_
_
_
[
_
t
x
_1
2
1
p
1]
x +t
_
_
_
1
q
_
t
x
_
1
pq
t
1
p
|f(t)|
_
_
_
[
_
t
x
_1
2
1
p
1]
x +t
_
_
_
1
p
_
t
x
_ 1
pq
dt dx
_
_
_
_
1
0
|h(x)|
q
_
1
0
_
t
x
_1
2
1
p
1
_
t
x
_
1
p
x +t
dt dx
_
_
_
1
q
_
_
_
_
1
0
t|f(t)|
p
_
1
0
_
t
x
_1
2
1
p
1
_
t
x
_1
q
x +t
dt dx
_
_
_
1
p
.
Por la condicion para
4
3
< p < 4, basta demostrar que I es acotado para todo
x [0, 1] y para ella basta considerar
J
1
(x) =
_
1
0
_
t
x
_
a
_
t
x
_
b
x + t
dt,
con 1 < a < 0, 1 < b < 0 y probar que J
1
(x) es acotada para todo x [0, 1].
Realizando el cambio de variable y =
t
x
en J
1
(x), tenemos
J
1
(x) =
_ 1
x
0
|y
a
y
b
|
1 +y
dy
_

0
|y
a
y
b
|
1 +y
dy.
P

La ultima integral es nita y por lo tanto I acotada por
|I| C
__
1
0
|h(x)|
q
dx
_
1
q
__
1
0
t|f(t)|
p
dt
_
1
p
y entonces g
1
(x) pertenece a L
p
[0, 1] y mas a un,
g
1
p
C
p
f
,p
.
An alogamente se prueba que,
g
2
(x) = x
1
p
1
2
_
1
0
t
1
2
|f(t)|
2 x t
dt
pertenece a L
p
[0, 1] y
g
2
p
C
p
f
,p
.
Por ultimo estudiaremos las dos integrales restantes G
N
(x) y H
N
(x). Dado
que son an alogas, es suciente considerar s olo G
N
(x).
G
N
(x) = x
1
p
_
1
0
A
N
J
(A
N
x)J
+1
(A
N
t)tf(t)
x t
dt
= x
1
p
1
2
B
N
(x)
_
1
0
C
N
(t)t
1
2
f(t)
x t
dt,
siendo, como en el teorema anterior B
N
(x) = (A
N
x)
1
2
J
(A
N
x) y C
N
(t) =
(A
N
t)
1
2
J
+1
(A
N
t).
Sin perdida de la generalidad supongamos que f(t) 0, escribimos
G
N
(x) = B
N
(x)
_
1
0
C
N
(t)t
1
p
f(t)
x t
dt +B
N
(x)
_
1
0
C
N
(t)t
1
p
_
_
t
x
_1
2
1
p
1
_
x t
dt.
Para la primera integral utilizamos de nuevo la desigualdad de M. Riesz y el
hecho que B
N
es acotada para concluir
_
_
_
_
_
B
n
_
1
0
C
N
(t)t
1
p
f(t)
t
dt
_
_
_
_
_
p
=
_
_
1
0
|B
N
(x)
_
1
0
C
N
(t)t
1
p
f(t)
x t
|
p
dt|dx
_
1/p
C
p
__
1
0
t|f(t)|
p
dt
_1/p
.
Para la segunda integral usamos el hecho que C
N
es acotada y denimos
J
2
(x) =
_
1
0
|
_
t
x
_
a
_
t
x
_
b
|
x t
dt.
Por an alogo argumento que en el estudio de I
2
, concluimos que J
2
(x) es nita
para todo x [0, 1]. Por lo tanto
G
N
p
C
p
__
1
0
t|f(t)|
p
dt
_1/p
= f
,p
.
38CAP
P
De las estimaciones para g
1
, g
2
, G
N
y H
N
obtenemos (3.5. 33) y con ello se
concluye la prueba del teorema.
Ahora veamos que la condicion p > 4/3 es necesaria para asegurar la existencia
de los coecientes a
n
, si el orden de las funciones de Bessel es mayor o igual que
1/2. Nuestro argumento depende del hecho que
tJ
(
n
t) est a acotada [0, 1],
para 1/2 y mas generalmente, t
(
n
t) est a acotada en [0, 1]. Uno
podra esperar que la condicion en p realmente dependa de pero el siguiente
resultado muestra que este no es el caso. Por dualidad es suciente considerar
el caso 1 p < 4/3.
Teorema 3.3 Existe una funci on que pertenece a L
p
[0, 1], 1 p < 4/3, tal que

la serie de Fourier-Bessel no converge en L
p
[0, 1].
Demostracion
Consideremos la funci on h(t) = t
3/2
> 0 en toda la semirecta (0, ), luego
h
p
p
=
_
1
0
t
3
2
p
t dt =
_
1
0
t
1
3
2
p
dt < ,
ya que |1 (3p/2)| < 1 para p < 4/3 y por lo tanto h L
p
[0, 1] para p < 4/3.

Para probar que la serie de Fourier-Bessel no converge en media es suciente
probar que
lim
n
|a
n
|
__
1
0
t|J
(
n
t)|
p
dt
_
1
p
> 0,
donde
J
2
+1
(
n
)a
n
= 2
_
1
0
t
1
2
J
(
n
t) dt.
Podemos concentrar nuestra atenci on para el caso > 1/2, ya que los coe-
cientes a
n
ni siquiera existen cuando = 1/2, porque
J
2
1
2
(
n
)a
n
=2
_
1
0
t
1
2
J
1
2
(
n
t) dt
=2
_
1
0
k=0
(1)
k
(k + 1)(k
1
2
)
_
n
2
_
2k
1
2
t
2k1
dt,
y la integral del primer termino no existe.
Haciendo el cambio de variable x =
n
t obtenemos, usando la formula
(11.4.16) de [1] con = 1/2,
lim
n
a
n
1
2
n
J
2
+1
(
n
) =2
_

0
x
1
2
J
(x) dx
=2
1
2
(
1
2
+
1
4
)
(
1
2
+
3
4
)
.
3.5. CONVERGENCIA EN L
P
DE LOS DESARROLLOS DE DINI. 39
Ahora, integrando por partes,
_
1
0
t|J
(
n
t)|
p
dt =
2
n
_
n
0
x|J
(x)|
p
dx
=
2
n
_
n
0
x
1
1
2p
_
2
cos
_
x
1
2

1
4
p
dx
=
2
n
C
_
n
0
x
1
1
2p
cos
p
_
x
1
2

1
4
_
dx
>
2
n
C
_
n
0
x
1
2
cos
p
_
x
1
2

1
4
_
dx
=
2
n
C
_
3
2
n
p cos
p1
_
1
2

1
4
_
sen
_
1
2

1
4
_
p
_
n
0
x
3
2
cos
p1
_
x
1
2

1
4
_
sen
_
x
1
2

1
4
_
dx
_
=B
p
p
2
n
.
Por lo tanto,
lim
n
|a
n
|
__
1
0
t|J
(
n
t)|
p
dt
_
1
p
> lim
n
2AB
p
n
J
2
+1
(
n
)
> 0.
Es interesante observar que el intervalo de convergencia en media, 4/3 <
p < 4, es el mismo que para las series de Legendre y para series de tipos mas
generales de polinomios.
p
de los desarrollos de Dini.
Como ya hemos mencionado, por simplicidad para trabajar con la medida de
Lebesgue, vamos a comenzar por trabajar con las funciones
n
(x) =
n
x
1/2
J
(
n
x),
siendo
1
,
2
,
3
, . . . los ceros positivos, ordenados en orden creciente de magni-
tud, de la funci on
zJ
(z) +HJ
(z)
con H y constantes reales, +
1
2
0 y
2
2
n
= (1

2
n
)J
2
(
n
) + J
(
n
). La
familia {
n
} forma un sistema ortonormal en L
2
[0, 1] cuando 1.
Dada una funci on f L
p
[0, 1], como ya hemos discutido, en la secci on 3.2,
consideramos la N-esima suma parcial de su desarrollo de Dini
N
(f, x) = B
0
(x) +
N
n=0
d
n
n
x
1/2
J
(
n
x) =
_
1
0
(xt)
1/2
k
N
(t, x)f(t)dt,
40CAP
P
donde
k
N
(t, x) = A
0
(x, t) +
n=1
c
n
2
n
J
(
n
x)J
(
n
t),
siendo A
0
(x, t) = 0 H + es positivo, A
0
(x, t) = 2( + 1)x
si H + = 0 y
A
0
(x, t) =
2
0
2
I
(
0
x)I
(
0
t)
(
0
2
+
2
)I
2
(
0
)
0
2
I
2
(
0
)
,
si H + < 0.
Probaremos el siguiente teorema.
Teorema 3.4 Si
1
2
y f L
p
[0, 1], p > 1, entonces
lim
N
||f
N
(f)||
p
= lim
N
__
1
0
|f(x)
N
(f, x)|
p
dx
_1/p
= 0. (3.5. 32)
Demostracion
De nuevo, por el Teorema de Banach-Steinhaus, basta probar que
N
(f)
p
C
p
f
p
. (3.5. 33)
Sea
n
el mayor cero de J
que es menor que

N+1
N+1-esimo cero xJ
+HJ
.
Entonces por el Lema de MacRobert para el n ucleo de Dirichelt para las series
de Dini
4
se tiene
|k
N
(t, x) K
m
(t, x)| <
C
(xt)
1
2
(2 x t)
para todo x y t en [0, 1].
Entonces
|
N
(f, x)| =
_
1
0
(xt)
1
2
f(t){k
N
(t, x) K
m
(t, x) +K
m
(t, x)} dt
C
_
1
0
|f(t)|
2 x t
dt +|S
m
(f, x)|,
usando de nuevo la desigualdad de M. Riesz para la Transformada de Hilbert,
en el primer termino y por los argumentos dados la secci on 3.3 tenemos
N
(f)
p
< C||
_
1
0
|f(t)|
2 x t
dt||
p
+S
m
(f)
p
< A
p
< C
p
||f||
p
.
Finalmente, si queremos considerar ahora desarrollos de Dini respecto a
n
J
, que son ortonormales en L

2
[0, 1].
4
Vease Apendice B
3.5. CONVERGENCIA EN L
P
DE LOS DESARROLLOS DE DINI. 41
Dada f L
p
[0, 1] consideramos su N-esima suma parcial
N
(f, x) = B
0
(x) +
N
n=0
c
n
n
J
(
n
x) =
_
1
0
(xt)
1
2
k
N
(t, x)f(t) dt
donde
k
N
(t, x) = A
0
(x, t) +
N
n=1
2
n
2
J
(
n
x)J
(
n
t)
(
n
2
2
)J
2
(
n
) +J
2
(
n
)
donde si H + es positivo A
0
(x, t) = 0, si H + = 0, entonces A
0
(x, t) =
2(+1)x
y si H+ es negativo, A
0
(x, t) =
20
2
I(0x)I(0t)
(0
2
+
2
)I
2
(0)0
2
I
2
(0)
, entonces
con an alogos argumentos a los que se desarrollan en la seccon 3.4 se puede
obtener el siguiente teorema
Teorema 3.5 Si
1
2
y f L
p
[0, 1], 4/3 < p < 4, entonces

lim
N
||f
N
(f)||
,p
= lim
N
__
1
0
|f(x)
N
(f, x)|
p
xdx
_1/p
= 0. (3.5. 34)
M as a un existe una funci on en L
p
[0, 1], 1 p < 4/3 o p > 4 tal que (3.5.34)

no se cumple.
42CAP
P
Apendice A
La funcion Gamma y
funciones relacionadas
Denicion A.1 La funci on Gamma denotada con , se dene como
(z) =
_

0
x
z1
e
x
dx, (A.0. 1)
para Re z > 0.
Por la formula de integraci on por partes es facil probar que la funci on Gamma
satisface la relacion recursiva
(z + 1) = z(z) , (A.0. 2)
en particular
(n + 1) = n!
y
(1) = 1.
Ademas tenemos las formula de Stirling
(z) (2)
1/2
z
z1/2
e
z
, z . (A.0. 3)
Estrechamente ligada a la funci on Gamma est a la funci on Beta.
Denicion A.2 La funci on Beta se dene como
B(z, w) =
_
1
0
t
z1
(1 t)
w1
dt =
_

0
t
z1
(1 +t)
z+w
dt, (A.0. 4)
Re z > 0, Re w > 0.
43
44AP
ENDICE A. LA FUNCI
ON GAMMA Y FUNCIONES RELACIONADAS

Por un cambio de variable adecuado se obtiene la siguiente relacion entre la
funcion Gamma y la funcion Beta,
B(z, w) =
(z)(w)
(z +w)
= B(w, z) (A.0. 5)
Denicion A.3 El coeciente de Pochhammer, o factorial generalizado, ()
n
,
se dene para cualquier = 0 n umero real, como
()
n
= ( + 1) ( + 2) ... ( +n 1) , (A.0. 6)
para n 1 y
()
0
= 1.
Tenemos la relaci on del coeciente de Pochhammer con la funcion
Gamma
()
n
=
( +n)
()
. (A.0. 7)
Ademas mediante el coeciente de Pochhammer podemos denir los coe-
cientes binomiales para cualquier > 0,
_
n
_
=
( n + 1)
n
n!
=
( + 1)
( n + 1) (n + 1)
. (A.0. 8)
Otra aplicaci on del coeciente de Pochhammer, tenemos una extensi on del
desarollo de Newton,
(1 x)
n=0
()
n
x
n
n!
. (A.0. 9)
Apendice B
Demostracion del lema de
MacRobert
Como ya hemos mencionado lamentablemente el n ucleo de Dirichlet-Bessel no
tiene una expresi on cerrada, sin embargo el Lema de MacRobert nos permite
estimarlo, as para la completitud de la prueba de la convergencia en L
p
de los
desarrollos de Fourier-Bessel vamos a probar ahora ese lema, vease [8] y [18],
Lema B.1 (MacRobert) Si
1
2
y A
N
=
_
N +
1
2
+
1
4
_
, entonces
K
N
(t, x)
1
2
A
N
_
J
(A
N
x)J
+1
(A
N
t) J
(A
N
t)J
+1
(A
N
x)
x t
_
< C(xt)
1
2
_
(x +t)
1
+ (2 x t)
1
_
para todo x y para todo t en [0, 1]
Demostracion
La demostracion se realizara por medio de integrales de contorno. Recuerdese
que
K
N
(t, x) = 2
N
n=1
J
(
n
x)J
(
n
t)
{J
+1
(
n
)}
2
,
es el n ucleo de Dirichlet-Bessel o de Hankel, es el n ucleo de la N-esima suma
parcial S
N
f de la serie de Fourier-Bessel,
S
N
(f, x) =
N
n=1
a
n
2
J
(
n
x)
J
+1
(
n
)
=
_
1
0
f(t)K
N
(t, x) t dt.
A n de obtener el n ucleo K
N
(t, z), consideremos la funci on
G
()J
(x)J
(z)
J
()
.
45
46 AP
ENDICE B. DEMOSTRACI
ON DEL LEMA DE MACROBERT

Esta funci on tierne polos en {
1
,
2
, } los ceros de J
y K
N
(t, z) ser a un
residuo de ella.
Consideremos la integral
_
()J
(x)J
(z)
J
()
d
donde G
(z) =
1
2
iH
(1)
(z), siendo H
(1)
() la funci on de Bessel de tercer tipo o

funciones de Hankel de orden , que es una funci on holomorfa en en el plano
complejo menos el eje real negativo y que para = 0 es una funci on enteraa
de la variable (vease [18]) y es el contorno cerrado simple que consiste en
tomar el eje desde M hasta M exceptuando = 0 y los ceros de J
(), y
las rectas = M, = L y = M, donde M y L son n umeros positivos y M
es escogido entre los ceros
N
y
N+1
; recorrida en sentido contrario al de las
agujas del reloj. El integrando es holomorfo dentro de ese contorno y por tanto
por el teorema de Cauchy,
_
()J
(x)J
(z)
J
()
d = 0.
_
()J
(z)J
(t)
J
()
d =
_
c0
G
()J
(z)J
(t)
J
()
d (B.0. 1)
+
_
11
0
G
()J
(z)J
(t)
J
()
d (B.0. 2)
+
1
k=1
_

k+1
k+1
k
+
k
G
()J
(z)J
(t)
J
()
d (B.0. 3)
+
_
M
+
G
()J
(z)J
(t)
J
()
d (B.0. 4)
+
k=1
_
c
k
G
()J
(z)J
(t)
J
()
d (B.0. 5)
+ i
_
L
0
(M +i)G
(M +i)J
({M +i}z)J
({M +i}t)
J
(M +i)
d(B.0. 6)
+
_
M
M
( +iL)G
( +iL)J
({ +iL}z)J
({ +iL}t)
J
( +iL)
d (B.0. 7)
+ i
_
0
L
(M +i)G
(M +i)J
({M +i}z)J
({M +i}t)
J
(M +i)
d (B.0. 8)
+
_
0
M
G
()J
(z)J
(t)
J
()
d (B.0. 9)
donde c
0
es la semicircunferencia de centro cero y radio
0
, y los c
k
son semicir-
cunferencias de centro
k
y radio
k
.
47
Calcularemos la integral (B.0. 1),
_
c0
G
()J
(x)J
(z)
J
()
d,
en el semi-plano Im 0. Puesto que la funci on G
() es analtica en la region
|| > 0 y 0 < arg , se sigue que la funci on G
() es analtica en la region
del semi-plano Im 0 y || > 0; si = 0, usando la forma polar de =
0
e
i
y por continuidad, para todo > 0 existe un > 0 tal que |
0
| < implica
0
e
i
G
0
(
0
e
i
)J
0
(
0
e
i
x)J
0
(
0
e
i
z)
J
0
(
0
e
i
)
<
luego, para la integral sobre la semi-circunferencia de centro cero y radio
0
tenemos que
_

0
0
e
i
G
0
(
0
e
i
)J
0
(
0
e
i
x)J
0
(
0
e
i
z)
J
0
(
0
e
i
)
d 0 cuando
0
0,
si = 0, tomando el lmite
0
0 por la regla de LH opital, obtenemos
_

0
0
e
i
G
(
0
e
i
)J
(
0
e
i
x)J
(
0
e
i
z)
J
(
0
e
i
)
d 0 cuando
0
0
Calculemos la integral (B.0. 5), sobre el punto de singularidad
k
,
_
c
k
G
()J
(x)J
(z)
J
()
d
donde c
k
es la semi-circunferencia de centro
k
y radio
k
. Usando la forma
polar =
k
e
i
+
k
obtenemos,
=
_

0
(
k
e
i
+
k
)G
(
k
e
i
+
k
)J
([
k
e
i
+
k
]x)J
([
k
e
i
+
k
]z)
J
(
k
e
i
+
k
)
d
ahora, tomando
k
0,
= lim
k
0
_

0
(
k
e
i
+
k
)G
(
k
e
i
+
k
)J
([
k
e
i
+
k
]x)J
([
k
e
i
+
k
]z)
_
(
k
e
i
+
k
)
k
(
k
e
i
+
k
)
k
_
{J
(
k
e
i
+
k
) J
(
k
)}
d
= lim
k
0
_

0
(
k
e
i
+
k
)G
(
k
e
i
+
k
)J
([
k
e
i
+
k
]x)J
([
k
e
i
+
k
]z)
[(
k
e
i
+
k
)
k
]
_
J(
k
e
i
+
k
)J(
k
)
(
k
e
i
+
k
)
k
_ d,
como el integrado es uniformemente continuo, entonces
= 2i
k
G
(
k
)J
(
k
x)J
(
k
z)
J
(
k
)
(B.0. 10)
48 AP

Usando la siguiente formula, que se puede probar usando el desarrollo asint otico
de las funciones de Bessel (vease Watson [18]),
G
()J
() J
()G
() =
1
si tomamos, =
k
un cero de J
() se sigue que
k
G
(
k
) =
1
J
(
k
)
Sustituimos en (B.0. 10), as el valor de la integral sobre la semi-circunferencia
de centro
k
y radio
k
es,
_
c
k
G
()J
(x)J
(z)
J
()
d = 2i
J
(
k
x)J
(
k
z)
{J
(
k
)}
2
Como existen 1, , N puntos de singularidad, tenemos
N
k=1
_
c
k
G
()J
(x)J
(z)
J
()
d = 2i
N
k=1
J
(
k
x)J
(
k
z)
{J
(
k
)}
2
Calcularemos ahora las integrales de los segmentos de rectas sobre el eje ,
es decir calcularemos las integrales (B.0. 2), (B.0. 3), (B.0. 4) y (B.0. 9),
_
0
M
G
()J
(x)J
(z)
J
()
d +
_
11
0
G
()J
(x)J
(z)
J
()
d
+
1
k=1
_

k+1
k+1
k
+
k
G
()J
(x)J
(z)
J
()
d +
_
M
+
G
()J
(x)J
0
(z)
J
()
d
Tomando el lmite cuando
k
0, para k = 0, 1, , N se tiene
_
M
0
G
()J
(x)J
(z)
J
()
d +
_
0
M
G
()J
(x)J
(z)
J
()
d
Puesto que G
() =
1
2
Y
() +
1
2
iJ
(), tenemos
_
M
M
G
()J
(x)J
(z)
J
()
d
=
1
2
_
M
M
Y
()J
(x)J
(z)
J
()
d +
1
2
i
_
M
M
J
(x)J
(z) d,
dado que a lo largo del eje , el integrando de la parte real es uniforme e impar,
por el segundo teorema del valor medio para integrales se sigue que
_
M
M
Y
()J
(x)J
(z)
J
()
d = 0.
49
Por otro lado, consideremos la parte imaginaria
1
2
i
_
M
0
J
(x)J
(z) d +
1
2
i
_
0
M
J
(x)J
(z) d
=
1
2
i
_
M
0
J
(x)J
(z) d
_
1
2
i
_
0
M
J
(x)J
(z) d
_
= i
_
M
0
J
(x)J
(z) d,
usando que = 2iIm. Pero
_
M
0
J
(x)J
(z) d =
M
x
2
z
2
{zJ
(Mx)J
(Mz) xJ
(Mz)J
(Mx)} ,
usando la relacion de recurrencia 2J
() = J
1
() J
+1
()
=
M
2(x
2
z
2
)
{zJ
(Mx)[J
1
(Mz) J
+1
(Mz)]} .
{xJ
(Mz)[J
1
(Mx) J
+1
(Mx)]}
=
M
2(x
2
z
2
)
{zJ
(Mx)J
1
(Mz) zJ
(Mx)J
+1
(Mz)
xJ
(Mz)J
1
(Mx) +xJ
(Mz)J
+1
(Mx)} . (B.0. 11)
Usando ahora la formula asint otica de las funciones de Bessel de primer tipo
de orden en
1
2
arg
1
2
,
_
2
_
cos
_

1
4

2
_
para reemplazar las funciones de Bessel en (B.0. 11) obtenemos,
=
1
(x
2
z
2
)
xz
_
z cos
_
Mx
1
4

2
_
cos
_
Mz +
1
4

2
_
z cos
_
Mx
1
4

2
_
cos
_
Mz
3
4

2
_
xcos
_
Mz
1
4

2
_
cos
_
Mx +
1
4

2
_
+xcos
_
Mz
1
4

2
_
cos
_
Mx
3
4

2
__
+
P
M
=
2
(x
2
z
2
)
xz
_
z cos
_
Mx
1
4

2
_
cos
_
Mz +
1
4

2
_
xcos
_
Mz
1
4

2
_
cos
_
Mx +
1
4

2
__
+
P
M
,
50 AP

ya que por la identidad del coseno,
cos
_

3
4

2
_
= cos
_
+
1
4

2
_
.
Desarrollando el primer producto y agrupando los terminos, obtenemos el sigu-
iente resultado
t cos
_
Mz
1
4

2
_
cos
_
Mt +
1
4

2
_
=
(1)
z
2
cos{M(z +t)} +
z
2
sen{M(z t)} (B.0. 12)
y desarrollando el segundo producto y agrupando los terminos, obtenemos
z cos
_
Mt
1
4

2
_
cos
_
Mz +
1
4

2
_
=
(1)
+1
x
2
cos{M(z +t)} +
x
2
sen{M(z t)}, (B.0. 13)
sumando las ecuaciones (B.0. 12) y (B.0. 13), tenemos
x +z
2
sen{M(x z)} (1)
x z
2
cos{M(x +z)}
Finalmente sustituyendo en la integral,
_
M
0
J
(x)J
(z) d
=
1
xz
_
sen {M(x z)}
x z
(1)
cos{M(x +z)}
x +z
_
+
P
M
,
donde P es nito para todos los valores de M.
Calcularemos la integral (B.0. 7)
_
M
M
( +iL)G
( +iL)J
({ +iL}z)J
({ +iL}t)
J
( +iL)
d,
si |z +t| < 2, esta integral, a lo largo de = L, tiende a cero si N .
Calculemos la integral (B.0. 6),
i
_
N
0
(M +i)G
(M + i)J
({M +i}x)J
({M +i}z)
J
(M +i)
d
Reemplazando por la formula asint otica de la funci on G
() para la region
1
2
arg
3
2
,
_

2
e
{
1
2
i+i(+
1
4
)}
51
y la de las funciones de Bessel, consideramos
I
1
=
i
xr
_

0
e
{
1
2
i+i(M+i+
1
4
)}
cos
_
x(M +i)
1
4

2
_
cos
_
z(M +i)
1
4

2
_
cos
_
M +i
1
4

2
_ d+
Q
M
=
1
2
xz
_

0
e
i(M+i
1
4
2
)
[cos {(x z)(M +i)} + (1)
sen {(x +z)(M +i)}]

cos
_
M +i
1
4

2
_ d+
Q
M
.
Puesto que
e
i(M+i
1
4
2
)
cos
_
M +i
1
4

2
2e
i(M+i
1
4
2
)
e
i(M+i
1
4
2
)
+e
i(M+i
1
4
2
)
2e
2i(M
1
4
2
)2
1 +e
2i(M
1
4
2
)2
2Ke
2
y usando las identidades trigonometricas, tenemos que
1
2
xr
_

0
[sen{M(x +z)}V
1
+ cos{M(x +z)}V
2
+ cos{M(x z)}V
3
+ sen{M(x z)}V
4
] d +
Q
M
.
Pero
|V
1
| 2K
_

0
e
2
cosh{(x +z)} d
K
_
1
2 +x +z
+
1
2 x z
_
si |z +t| < 2, es decir que V
1
es suave para z = t, 0 < z +t < 2. An alogamente
se concluye lo mismo para V
2
, V
3
y V
4
.
La integral (B.0. 8),
i
_
0
N
(M +i)G
(M +i)J
({M +i}x)J
({M +i}z)
J
(M +i)
d
tambien puede expresarse como la suma de cuatro expresiones an alogas.
Luego ya tenemos estimadas las integrales a lo largo de = M cuando
M .
52 AP

Por tanto si 0 z < 1, y 0 x 1, obtenemos
N
k=1
J
(
k
x)J
(
k
z)
{J
(
k
)}
2
=
1
2
xz
_
sen {M(x z)}
x z
(1)
cos{M(x +z)}
x +z
_
+
P
2M
16
k=1
sen
cos
_
M(x z)
_
W
k
+
Q
M
+
R
,
donde W
k
= O
_
1
2(xz)
_
.
Apendice C
La Transformada de Hilbert
Denicion C.1 La transformada de Hilbert de una funci on f se dene como
H (f) =
1
v.p.
_

f (y)
x y
dy
=
1
lim
0
_
|y|<
f (x y)
y
dy (C.0. 1)
=
1
lim
0
_

f (x +y) f (x y)
y
dy
El resultado mas importante la Transformada de Hilbert, es el siguiente:
Teorema C.1 :
i) (Kolmogorov) La Transformada de Hilbert H es debil (1,1) es decir, si
f L
1
,
|{x : |Hf(x)| > }| C ||f||
1
. (C.0. 2)
ii) (M. Riesz) La Transformada de Hilbert H es fuerte (p,p), 1 < p < , es
decir, si f L
p
,
||H (f)||
p
C
p
||f||
p
, (C.0. 3)
donde A
p
depende solamente de p.
Para los detalles de la prueba remitimos a Duoandikoetxea [4], p ag 58-61. El
resultado necesario en este trabajo es ii), la desigualdad de Riesz , observese
que esta desigualdad dice explcitamente que
_

|
_

f(y)
x y
dy|
p
dx C
p
_

|f(y)|
p
dy. (C.0. 4)
53
54 AP
ENDICE C. LA TRANSFORMADA DE HILBERT

Bibliografa
[1] Abramowitz, M. & Stegun, I. Handbook of Mathematical Functions. Dover.
N.Y. (1972).
[2] Apostol, T. An alisis Matem atico. Editorial Reverte. Madrid. (1977).
[3] Churchill, R. Teora de Funciones Complejas. Mc Graw-Hill. N.Y. (1965).
[4] Duoandikoetxea, J. An alisis de Fourier. Ediciones de la Universidad
Autonoma de Madrid. Madrid. (1991).
[5] Jackson, D. Fourier Analysis and orthogonal polynomials. Carus Mono-
graph MAA, Menasha, Wis. (1941)
[6] Kreider, D., Krugel, R., Ostberg, D. y Perkins F. An Introduction to Linear
Analysis. Addison-Wesley. Reading, Mass. (1966).
[7] Lebedev, N. Special functions and their applications. Dover, Inc. N. Y.
(1972). Soc. 34 (1932) 241-279.
[8] MacRobert, T. M. Asymptotic expressions for the Bessel fuctions and the
Fourier-Bessel expansions. Proc. Edinburgh Math. Soc. 39, 13-20 (1921).
[9] Muckenhoupt, B. Mean convergence of Jacobi series. Proc. Am. Math. Soc.
23, 306-310 (1969).
[10] Muckenhoupt, B. Mean convergence of Hermite and Laguerre series II.
Trans. Amer. Math. Soc. 147 (1970) 433-436.
[11] Paley, R. E. A. C. A remarkable system of orthogonal functions. Proc.
London Math. Soc. 34 (1932) 241-279.
[12] Pollard, H. The mean convergence of orthogonal series I. Trans. Amer.
Math. Soc. 62 (1947), 387-403.
[13] Pollard, H. The mean convergence of orthogonal series II. Trans. Amer.
Math. Soc. 63 (1948), 355-367.
[14] Pollard, H. The mean convergence of orthogonal series III. Duke Math J.
16 (1949), 189-191.
55
56 BIBLIOGRAF
IA
[15] Riesz, M.Sur les fontions conjugues. Math. Zeit. 27 (1927) 218-244.
[16] Szeg o, E. Orthogonal Polinomials. Amer. Math. Soc. Colloq. Publ. 23.
Amer. Math. Soc. Providence, R.I. (1959).
[17] Tolstov, G. Fourier Series. Dover. N.Y. (1962).
[18] Watson, G. N. A Treatise on the Theory of Bessel Functions, 2nd ed. Cam-
bridge Univ. Press. Cambridge (1980).
[19] Wing, G.M. The mean convergence of orthogonal series. Amer. J. Math.
72 (1950), 792-807.
[20] Zygmund, A. Trigonometric Series. 2 ed. Cambridgr Univ. Press. New York
(1959).

Val de Bessel

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Val de Bessel

Uploaded by

Copyright:

Available Formats

Convergencia en norma L

[0, 1] de los desarrollos de Fourier-Bessel. . . 34

f(t) cos nt dt (1.1. 4)

f(t)sen nt dt, (1.1. 5)

[1, 1] para todo p, 2

H. Pollard (1949) [13] prob o que eran una base en L

(x), ordenados de forma cre-

ITULO 2. PRELIMINARES SOBRE LAS FUNCIONES DE BESSEL

ON DE LAS FUNCIONES DE BESSEL 7

ITULO 2. PRELIMINARES SOBRE LAS FUNCIONES DE BESSEL

(x) que ser a discutida en

} son linealmente independientes (para ver esto,

(x) tiende 0, mientras que la funci on

(x) tiende ). Luego la solucion general de la ecuaci on de Bessel (2.1. 1)

ON DE LAS FUNCIONES DE BESSEL 9

ITULO 2. PRELIMINARES SOBRE LAS FUNCIONES DE BESSEL

podemos obtener impor-

ITULO 2. PRELIMINARES SOBRE LAS FUNCIONES DE BESSEL

+ (1 +(x))u = 0 (2.2. 14)

tambien) son funciones oscilatorias y, mas a un,

son constantes cuyos valores dependen de y r

(x) es una funci on

(x) de la ecuaci on (2.2. 13), tenemos,

ITULO 2. PRELIMINARES SOBRE LAS FUNCIONES DE BESSEL

(x) 0 lo que es una contradicci on, ya que sabemos que

(x) no es identicamente cero. Por lo tanto, se sigue que los ceros de J

(x), se tiene que J

(x) debe anularse entre dos

(x) es positiva en el intervalo (0,

(x) es estrictamente creciente en

(x) es positiva en el intervalo

(x) es negativa en el intervalo (

(c) < 0, entonces la funci on J

(x) es estrictamente decreciente en el intervalo

(x) es creciente en el intervalo (c

(x) es negativa en el intervalo (

(x) es positiva en el intervalo (

(x), n un entero no negativo, como la

(x) aparece como el coeciente enesimo en

ITULO 2. PRELIMINARES SOBRE LAS FUNCIONES DE BESSEL

ITULO 2. PRELIMINARES SOBRE LAS FUNCIONES DE BESSEL

o mas generalmente de la funci on

()} son ortogonales respecto al peso (x) = x

(x), > 1 dos soluciones

ITULO 2. PRELIMINARES SOBRE LAS FUNCIONES DE BESSEL

(x)xdx. (2.3. 21)

(x) son ortogonales respecto al peso (x) = x en [0, 1].

() y la segunda ecuaci on por

() y tomando la diferencia de las dos ecuaciones, tenemos

(x) son ortogonales respecto al peso

(x), multiplicando la ecuaci on de Bessel (2.1. 1) por 2y

ITULO 2. PRELIMINARES SOBRE LAS FUNCIONES DE BESSEL

[0, 1], para n umeros no negativos distintos,

(x), entonces dada una funci on f L

[0, 1], consideramos el de-

[0, 1]. Sea f L

(x), entonces dada una funci on

[0, 1], consideramos el desarrollo

, es un caso particular del anterior, H = 0, que a veces se llama

(x), es la funci on de Bessel modicada de orden de primer tipo si

, ordenados en forma creciente.

(x) tiene un desarrollo en serie de

[0, 1] de los desarrollos de

[0, 1], y consideramos la serie de Fourier-Bessel asociada a f respecto