Beruflich Dokumente
Kultur Dokumente
EMALCAVENEZUEL A 2015
Teora de hipergrupos,
problemas de Sturm-Liouville
y polinomios ortogonales
Yamilet Quintana
XXVIII ESCUELA VENEZOLANA DE MATEMATICAS
Yamilet Quintana
Universidad Simon Bolvar. Venezuela
yquintana@usb.ve
MERIDA,
VENEZUELA, 30 DE AGOSTO AL 04 DE SEPTIEMBRE
DE 2015
XXVIII ESCUELA VENEZOLANA DE MATEMATICAS
La Escuela Venezolana de Matematicas es una actividad de los postgrados en matem
aticas de las instituciones siguientes: Centro de Estudios
Avanzados del Instituto Venezolano de Investigaciones Cientficas, Facultad de Ciencias de la Universidad Central de Venezuela, Facultad de
Ciencias de la Universidad de Los Andes, Universidad Sim
on Bolvar,
Universidad Centroccidental Lisandro Alvarado y Universidad de Oriente, y se realiza bajo el auspicio de la Asociacion Matematica Venezolana.
La XXVIII Escuela Venezolana de Matematicas recibi
o financiamiento
de la Academia de Ciencias Fsicas, Matematicas y Naturales de Venezuela, el Banco Central de Venezuela, el Fondo Nacional de Ciencia,
Tecnologa e Innovacion (FONACIT), el Instituto Venezolano de Investigaciones Cientficas (Centro de Estudios Avanzados, Departamento
de Matematicas y Ediciones IVIC), la Universidad de los Andes (CEP,
CDCHT, Departamento de Matematicas de la Facultad de Ciencias,
Decanato de Ciencias y Vicerrectorado Administrativo), la Union Matem
atica de America Latina y el Caribe (UMALCA) y Centre International de Mathematiques Pures et Appliquees (CIMPA).
c
Ediciones
IVIC
Instituto Venezolano de Investigaciones Cientficas
Rif: G-20004206-0
Teora de hipergrupos, problemas de Sturm-Liouville
y polinomios ortogonales
Yamilet Quintana
Dise
no y edici
on: Escuela Venezolana de Matem
aticas
Dep
osito legal lfi66020156202236
ISBN 978-980-261-164-5
Caracas, Venezuela
2015
Indice general
PREFACIO
1. ORTOGONALIDAD ESTANDAR
Y ORTOGONALIDAD SOBOLEV
1.1. Ortogonalidad est
andar . . . . . . . . . . . . . . . . . . .
1.2. Ortogonalidad Sobolev . . . . . . . . . . . . . . . . . . . .
1.2.1. Comportamiento asint
otico . . . . . . . . . . . . .
1.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
1
8
14
16
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
21
27
31
34
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
35
36
39
41
44
46
BIBLIOGRAFIA
49
INDICE ALFABETICO
55
PREFACIO
La Teora de hipergrupos fue introducida independientemente por
Dunkl [21], Jewett [32] y Spector [62] en los a
nos 70s. Esta teora permiti
o generalizar los conceptos de grupos localmente compactos con el
proposito de hacer un Analisis Armonico est
andar. Mas tarde, resultados de an
alisis arm
onico sobre hipergrupos pudieron ser utilizados en
diferentes aplicaciones. Por ejemplo, un teorema de Bochner es usado
esencialmente en el contexto de procesos debilmente estacionarios indexados por hipergrupos (cfr. [37] y las referencias all sugeridas), la
estructura de hipergrupo es tambien fuertemente usada en Probabilidad
[6] y en Aproximacion con respecto a sucesiones de polinomios ortogonales (ver [36, 37, 60]).
Este curso de car
acter introductorio, est
a inspirado en una serie de
charlas dictadas por A. L. Schwartz en 1.995 en ocasi
on de la realizaci
on
del congreso Harmonic Analysis and Hypergroups [60], y, a traves de el se
pretende que el participante se familiarice con las conexiones existentes
entre hipergrupos, problemas de Sturm-Liouville y polinomios ortogonales est
andar y de Sobolev. Intentaremos hacer enfasis en las relaciones
entre hipergrupos y polinomios ortogonales de Sobolev, incluyendo algunos resultados que, hasta donde la autora conoce, no est
an disponibles
en la literatura.
El material est
a organizado de la siguiente manera: En el primer
captulo, se desarrollan las nociones b
asicas necesarias sobre ortogonalidad est
andar y ortogonalidad Sobolev. El segundo captulo comprende
una ligera introduci
on de la teora de hipergrupos y su conexion con Problemas de Sturm-Liouville, mientras que el tercer captulo est
a dedicado
a lass relaciones entre polinomios ortogonales e hipergrupos y algunos
VI
problemas abiertos en el contexto de ortogonalidad Sobolev.
Cada uno de los captulos de esta monografa se divide en secciones. La
numeracion de cada resultado (lema, proposici
on, teorema o corolario)
esta en concordancia con la secci
on respectiva. Ademas, la numeracion
de las formulas est
a en correspondencia con el captulo donde se encuentran. Al final de cada captulo, se presenta un grupo de ejercicios
relacionados con sus contenidos. La conclusion de cada demostracion se
indica mediante el smbolo .
Finalmente, quiero agradecer a la Profesora Ajit Iqbal Singh del Indian
Statistical Institute de New Delhi, por su generosidad y por haberme
motivado a estudiar estos temas, y al comite organizador del XXVIII
Escuela Venezolana de Matematicas por la oportunidad de dictar este
curso, espero que este material, sirva de gua, estmulo y referencia, a
todas aquellas personas que tengan la oportunidad de leerlo.
Yamilet Quintana.
NOTACION
NOTACION
n
Z, Z+ , R, C
I
T
P
Pn
X
M (X)
M + (X)
caracteres de un hipergrupo.
nmeros enteros, enteros no negativos, reales y complejos,
respectivamente.
subconjunto no finito de R.
circunferencia unidad.
espacio vectorial de todos los polinomios con coeficientes reales.
subespacio vectorial de todos los polinomios de grado a lo sumo n.
espacio localmente compacto.
medidas regulares de Borel a valores complejos sobre X.
medidas regulares de Borel a valores complejos, no negativas
sobre X.
Mc (X)
Mc+ (X)
C(X)
Cc (X)
Cc (X)
(X, )
supp()
Mx , Mz
operador multiplicaci
on por la variable x, o por la variable z,
respectivamente.
Captulo 1
ORTOGONALIDAD ESTANDAR
Y ORTOGONALIDAD SOBOLEV
Las nociones que presentaremos sobre ortogonalidad est
andar y ortogonalidad Sobolev son las que ciertamente encontraremos en libros
como [10, 24, 40, 44, 63]. Aunque por cuestiones metodol
ogicas, nuestra
exposici
on a lo largo de este captulo ser
a muy similar a la hecha en
[44, 54].
1.1.
Ortogonalidad est
andar
(1.1)
Y. Quintana
para todo n Z+ .
R
No es difcil ver que el producto interno hp, qi = I p(x)q(x)d(x)
es un producto interno est
andar sobre P, que permite definir de
manera unvoca una sucesi
on de polinomios ortogonales m
onicos
{Pn }n0 tal que
Z
k
hPn , x i = Pn (x)xk d(x) = 0, para k = 0, 1, . . . , n 1. (1.3)
I
La sucesi
on {Pn }n0 se denomina sucesi
on est
andar de polinomios ortogonales m
onicos respecto a la medida .
2. Podemos definir sobre Pn un producto interno no est
andar de la
manera siguiente: Sean p, q Pn ,
p(x) =
k
X
i=0
ai x i
q(x) =
m
X
bj x j ,
j=0
ORTOGONALIDAD ESTANDAR
Y ORTOGONALIDAD SOBOLEV
donde xj =
i=1
j
.
N
(Verifquelo).
c) La sucesi
on de polinomios de Tchebycheff de 1er. tipo {Tn }n0 ,
definida mediante la f
ormula de Rodrigues por
o
(1)n dn n
2 n 12
(1 x )
,
Tn (x) := (1 x ) n
2 n! dxn
2
x [1, 1],
f (x)g(x)w(x)dx,
1
donde w(x) =
.
1 x2
n0
o
(1)n dn n
n+
n+
,
(1
x)
(1
+
x)
2n n! dxn
Y. Quintana
para x (1, 1).
Pn(,) (1)
:=
n+
,
n
Pn(,) (1)
:= (1)
n+
,
n
e) La sucesi
on de polinomios de Hermite {Hn }n0 , definida mediante
la f
ormula de tipo Rodrigues por
n
2 d
x2
e
, x R,
Hn (x) := (1)n ex
dxn
es ortogonal con respecto al producto interno
Z
2
f (x)g(x)w(x)dx,
donde w(x) = ex .
hf, giw =
(Verifquelo).
f ) Para > 1, la sucesi
on de polinomios de Laguerre
definida mediante la f
ormula de Rodrigues por
()
Ln
n0
x ex dn n+ x
x
e
, x [0, ),
n! dxn
es ortogonal con respecto al producto interno
Z
f (x)g(x)w(x)dx,
donde w(x) = x ex .
hf, gi =
L()
n (x) :=
(Verifquelo).
En este ejemplo, los items del c) al f) del ejemplo 1.1.2 representan
sucesiones est
andar de polinomios ortogonales.
Si h , i es un producto interno est
andar sobre P y denotamos por n
al momento de orden n asociado a este producto interno, es decir,
n = h1, xn i,
n Z+ .
ORTOGONALIDAD ESTANDAR
Y ORTOGONALIDAD SOBOLEV
Pn (x) =
1
Hn1
0
1
1
2
..
..
.
.
n1 n
1
x
2
Hn = .
.
..
..
..
.
n n+1
..
.
n
n+1
..
.
2n1
xn
Demostraci
on. Consulte, por ejemplo [10, 24, 63].
n =
hxPn , Pn i
, para n 0 y
kPn k2
kPn k2
, para n 1.
kPn1 k2
(1.4)
Y. Quintana
Demostraci
on. (Cfr. [10]).
Expresando xPn en terminos de la base ortogonal {P0 , . . . , Pn }, tenemos
xPn (x) =
n+1
X
cn,k Pk (x),
cn,k =
k=0
hxPn , Pk i
.
kPk k2
n 1,
(1.5)
*
Este resultado es conocido como Teorema de Favard. Apareci
o en J. Favard, Sur
les polyn
omes de Tchebysheff, C. R. Acad. Sci. Paris 200 (1935), 20522055. Consulte,
por ejemplo [40] y las referencias all sugeridas
ORTOGONALIDAD ESTANDAR
Y ORTOGONALIDAD SOBOLEV
P0 (x)
P1 (x)
P2 (x)
..
.
Pn1 (x)
= Jn
P0 (x)
P1 (x)
P2 (x)
..
.
Pn1 (x)
0 1 0
0
1 1 1
0
0 2 2 1
Jn =
..
..
..
..
.
.
.
.
0 0 0
+ Pn (x)
..
.
0
0
0
..
.
n1 n1
0
0
0
..
.
1
(1.6)
0 1 0 0
1 1 1 0
J = 0 1
2
2
..
..
.. ..
.
.
. .
por
..
.
P0 (x)
P1 (x)
P2 (x)
..
.
satisface la relaci
on
P0 (x)
P1 (x)
P2 (x)
..
.
Pn (x)
..
.
= J
Pn (x)
..
.
(1.7)
Y. Quintana
0
0 0 + 1
1
1 0 + 1 1 + 2
2 1 + 2 2 + 3
, (1.8)
.
.
J() = J . =
.
.
.
n1 n1 n2 + n1 n1 + n
..
..
.
.
es decir, i =
matriz J .
j=0 uij j ,
Pn
,
kPn k
en = {0, . . . , 0, 1, 0, . . .}
1.2.
Ortogonalidad Sobolev
ORTOGONALIDAD ESTANDAR
Y ORTOGONALIDAD SOBOLEV
(k = 0, . . . , m).
hp, qiS =
m Z
X
k=0
m
X
hp(k) , q (k) iL2 (k ) ,
(1.9)
k=0
para todo p, q P(C), donde q (k) denota la derivada k -esima del polinomio q.
La norma asociada a (1.9) se llama norma de Sobolev y, como es usual,
se define mediante
!1/2
m
X
1/2
(k) 2
kqkS = hq, qiS =
kq kL2 (k )
.
k=0
De manera an
aloga a la ortogonalidad est
andar, diremos que una su
cesi
on de polinomios {Qn }n=0 es ortogonal con respecto al producto
interno (1.9), si para cada n Z+ se tiene que grad (Qn ) = n y
6= 0, n = m
hQn , Qm iS
= 0, n 6= m
10
Y. Quintana
6= 0, n = m
= 0, n =
6 m
n1
X
i=0
n , z k iS
hQ
ci,n z i , (ci,n C)
= 0 , k = 0 , 1, . . . , n 1.
(1.10)
1
Qn (z) , n = 0 , 1, 2, . . . .
kQn kS
d1 (x) =
10dx , 1 x < 0
dx ,
0 x 1,
ORTOGONALIDAD ESTANDAR
Y ORTOGONALIDAD SOBOLEV
11
m Z
X
k=0
(1.12)
Ik
p(x)q(x)dx +
p (x)q (x)dx,
(1.13)
12
Y. Quintana
Historicamente, el trabajo de P. Althammer fue el primero en considerar como materia de estudio los polinomios ortogonales de Sobolev. La
motivaci
on para la consideracion de estos sistemas de polinomios fue el
problema de la mejor aproximaci
on polinomial por mnimos cuadrados
en la metrica inducida por el producto interno (1.13).
Como sabemos, la soluci
on de este problema es
Pn =
n
X
k=0
hf , qk iS qk ,
F (x)AGt (x)d(x) ,
I
ORTOGONALIDAD ESTANDAR
Y ORTOGONALIDAD SOBOLEV
13
donde I es un intervalo real (acotado o no), es una medida de Borel absolutamente continua con respecto a la medida de Lebesgue
en I , los vectores F y G vienen dados por
F (x) = (f (x), f (x), . . . , f (m) (x)), G(x) = (g(x), g (x), . . . , g (m) (x)) ,
y A es una matriz simetrica semidefinida positiva de orden
(m + 1) (m + 1), [42]. Este caso ha sido ampliamente estudiado
cuando A es una matriz diagonal.
Asmismo se han estudiado polinomios ortogonales respecto a productos internos de la forma
Z
hf, giS = F (z)AGt (z)dz ,
donde es una medida de Borel compleja, positiva y finita (i. e.
z n L1 () para todo n 0), cuyo soporte contiene una cantidad
infinita de puntos, los vectores F y G vienen dados por
F (z) = (f (z), f (z), . . . , f (m) (z)), G(z) = (g(z), g (z), . . . , g(m) (z)) ,
y A es una matriz hermitiana definida positiva de orden
(m + 1) (m + 1).
(b) El caso diagonal ** corresponde al estudio de polinomios ortogonales respecto al producto interno de Sobolev definido en (1.9).
(c) El caso discreto, donde los soportes de cada una de las medidas
k , k = 1 , . . . , m, de (1.9) poseen un n
umero finito de puntos.
Por ejemplo,
hp, qiS =
14
Y. Quintana
(d) Por u
ltimo, la forma introducida por K. H. Kwon considera productos de Sobolev donde la primera medida de ortogonalidad es
discreta
Z
hf, giS = f (c)g(c) +
f (x)g (x)d(x),
1.2.1.
Comportamiento asint
otico
(1.14)
ORTOGONALIDAD ESTANDAR
Y ORTOGONALIDAD SOBOLEV
15
1
,
2
lm bn = 0 .
El objetivo, en este caso, fue comparar los polinomios de Sobolev asociados a (1.14) con los polinomios ortogonales est
andar con respecto a
, y, de esta manera, investigar como influye en la sucesion {pn }n0
la adici
on de derivadas, esto es, cu
an cercanos est
an los polinomios de
Sobolev a los {pn }n0 . Con esta finalidad, asumiendo que es una medida para la que se conoce el comportamiento asintotico de los polinomios
{pn }n0 $ y suponiendo que M (0 , 1) , se estudia el comportamiento
asintotico relativo de los polinomios ortogonales de Sobolev con respecto
a la sucesion {pn }n0 en los casos en que c supp() y c R\supp() .
Este trabajo puso al descubierto la similitud existente entre el comportamiento asint
otico de los polinomios de Sobolev en el caso discreto y
los polinomios ortogonales est
andar con respecto a medidas modificadas
por la adici
on de masas puntuales.
Con respecto al comportamiento asintotico fuerte de polinomios de
Sobolev en el caso continuo, el primer resultado fue dado en [51] para
los polinomios de Gegenbauer-Sobolev. En el se establece la asintotica
relativa de estos polinomios con respecto a los de Gegenbauer. Dado que
el comportamiento asint
otico de estos u
ltimos es conocido, se tiene entonces el comportamiento asint
otico fuerte de los polinomios de Gegenbauer-Sobolev. Tambien se obtiene el comportamiento asintotico de las
normas y los ceros de dichos polinomios.
Otra noci
on introducida por diversos autores con el fin de estudiar
el comportamiento asint
otico de sucesiones de polinomios ortogonales
de Sobolev en el caso no discreto fue la de coherencia de medidas. El
primer resultado m
as o menos general sobre comportamiento asintotico
de sucesiones de polinomios ortogonales de Sobolev para casos no discretos fue obtenido por medio de una tecnica muy simple pero exitosa:
establecer una relaci
on algebraica (con un n
umero finito de terminos)
entre la sucesion de polinomios ortogonales de Sobolev y una sucesion
de polinomios ortogonales est
andar, y luego estudiar el comportamiento
asintotico de los par
ametros involucrados en la relaci
on algebraica para
obtener una asint
otica comparativa, [50].
16
Y. Quintana
1.3.
Ejercicios
P
(x)
P (x)
n n
,
Tn (x) = n+1
n+1
n
n 1.
Muestre que
(a) El vector de medidas (1 , 2 ), donde d1 (x) = d2 (x) =
x ex dx, para x (0, ) y > 1, es un par coherente de
medidas. Sugerencia: utilice el hecho de que los polinomios
()
ortogonales m
onicos de Laguerre Ln , satisfacen la relaci
on
()
(+1)
(+1)
Ln (x) = Ln+1 (x) + nLn1 (x).
(b) El vector de medidas (1 , 2 ), donde d1 (x) = |x |(1
x)1 (1 + x)1 , d2 (x) = (1 x) (1 + x) , x (1, 1),
|| > 1 y , > 0, es un par coherente de medidas.
2. Dado 0, considerese el producto interno de Laguerre-Sobolev
Z
Z
p (x)q (x)d1 (x),
p(x)q(x)d0 (x) +
hp, qiS =
0
> 1.
o
n
()
(a) Muestre que los polinomios m
onicos Qn
n>0
, ortogonales
ORTOGONALIDAD ESTANDAR
Y ORTOGONALIDAD SOBOLEV
17
()
diante Q0 (x) 1,
c0,0
c0,1
..
.
c0,n1
1
()
Qn (x) =
c0,0
c0,1
..
.
c0,n1
c1,0
c1,1
..
.
..
.
c1,n1
x
c1,0
c1,1
..
.
..
.
c1,n1
cn,0
cn,1
..
.
cn,n1
xn
cn1,0
cn1,1
..
.
cn1,n1
n1
R0 (x) = Q0 (x) = 1,
()
()
lm Q()
n (x, ), para n 2.
El polinomio m
onico Rn se conoce como polinomio lmite
asociado, es un polinomio de grado exactamente n e independiente de . Demuestre que
R
(i) 0 Rn (x)x ex dx = 0, para todo n 1.
(ii)
()
n 2.
18
Y. Quintana
()
()
(d) Relaci
on entre Ln y Qn : demuestre que se verifica la siguiente
relaci
on:
()
Ln+1 (x)n
n + 1 ()
()
Ln (x) = Qn+1 (x)n ()Q()
n (x),
n
n 1,
donde
()
n + 1 kLn k20
n () = n
6= 0,
n kQn() k2
S
n 1.
()
()
(x) + Bn Pn1
(x), n 1.
Tn (x) = An Pn+1
(a) El vector de medidas (1 , 2 ), donde d1 (x) = d2 (x) =
(1x2 )1/2 dx, para x (1, 1) y > 12 , es un par simetricamente coherente de medidas. Sugerencia: utilice el hecho de
()
que los polinomios ortogonales de Gegenbauer Gn , satisfacen
()
()
()
d
d
Gn+1 (x) dx
Gn1 (x).
la relaci
on 2(n + )Gn (x) = dx
ORTOGONALIDAD ESTANDAR
Y ORTOGONALIDAD SOBOLEV
19
Captulo 2
TEORIA DE HIPERGRUPOS: LO
BASICO
En este captulo introduciremos el concepto abstracto de hipergrupos
y estudiaremos sus propiedades b
asicas.
Los hipergrupos son una generalizaci
on de los grupos, en donde el producto de dos elementos est
a determinado por una funcion de distribucion. Existe mucha investigaci
on en esta area, sobre todo para generalizar conceptos b
asicos de la teora de grupos, por ejemplo, en hipergrupos
existe el teorema de Lagrange.
La teora general de hipergrupos fue introducida por Dunkl [21], Jewett [32] y Spector [62] de manera independiente. En este captulo nosotros seguiremos principalmente las ideas de Dunkl [21] y Jewett [32].
2.1.
Hipergrupos. Definici
on y ejemplos
Un problema com
un es encontrar una buena nocion de medida sobre
un espacio topol
ogico (X, ) que sea compatible con la topologa en
alg
un sentido. Un camino para hacer esto es definir una medida sobre los
conjuntos de Borel de un espacio topologico. En general, existen varios
problemas con esto: por ejemplo, tal medida podra no tener un soporte
bien definido. Otro enfoque para teora de la medida es restringirnos a
espacios Hausdorff localmente compactos, y s
olo considerar las medidas
21
22
Y. Quintana
TEORIA DE HIPERGRUPOS: LO BASICO
23
(H5) La aplicaci
on (x, y) 7 supp(x y ), X X C(X) es continua
con respecto a una apropiada topologa para el espacio C(X) de
subconjuntos compactos de X.
(H6) La aplicaci
on M1 (X) M1 (X) dada por (, ) 7 es continua
-debil.
La apropiada topologa en el axioma (H5) es la topologa de Michael
[32, 53], la cual tiene una subbase que consiste de los conjuntos
CU (V ) = {K C(X) : K U 6= y K V },
donde U y V son subconjuntos abiertos arbitrarios de X.
Si X tiene una metrica , esta topologa es equivalente a la topologa
dada por la metrica de Hausdorff sobre C(X), la cual es definida para
A, B C(X) por
(A, B) = nf{r : A Vr (B) y B Vr (A)},
donde
Vr (E) = {y X : (x, y) < r, para alg
un x E}.
Una prueba de esta equivalencia est
a contenida en [35, Lemma 4.1].
En el caso en que X sea localmente compacto, debemos a
nadir al
axioma (H5) el requerimiento de que supp(x y ) sea compacto, y
debemos reemplazar en el axioma (H6) la propiedad continua -debil
por continuidad positiva, la cual requiere que para cada funci
R on f
C(X) no negativa y a soporte compacto, la aplicaci
on (, ) 7 X f d(
) sea continua cuando es restricta a las medidas positivas en M (X).
Cuando X es discreto, por ejemplo, X = Z+ , el axioma (H6) puede
ser omitido y (H5) puede ser reemplazado por supp(x y ) es finito.
24
Y. Quintana
d(x y ),
x, y X.
(2.2)
TEORIA DE HIPERGRUPOS: LO BASICO
con
K(x, y, z) =
1
(1
0,
25
x2 y 2 z 2 + 2xyz)1/2 ,
(2.3)
g(x)Pn (x)dx ,
1
1 < x, y < 1,
x 1 := x , y x 1 := x ,
x [1, 1].
26
Y. Quintana
genbauer {Cn }n0 , ortogonales sobre [1, 1] con respecto a la medida (1 x2 )1/2 dx, entonces los polinomios ortogonales dados por
()
Rn (x) =
()
Cn (x)
()
Cn (1)
, satisfacen la siguiente f
ormula producto [28, 30, 31]:
con
K
()
(x, y, z) =
1 < x, y < 1,
0,
1
1
(2.4)
1
1
2 1/2
(f g)(x)Pn (x)(1 x )
dx =
Z
1
Z 1
1
2 1/2
f (x)Pn (x)(1 x )
dx
2 1/2
g(x)Pn (x)(1 x )
dx ,
La operaci
on puede extenderse a masas puntuales definiendo:
d(x y )(z) := K () (x, y, z)(1 z 2 )1/2 dz,
1 < x, y < 1,
TEORIA DE HIPERGRUPOS: LO BASICO
x 1 := x , y x 1 := x ,
27
x [1, 1].
2.1.1.
Conexi
on con problemas de Sturm-Liouville
(2.5)
y () = (sen ) .
Esta observaci
on, entre otros ejemplos similares, llevo a A. Schwartz
[60] a hacer los siguientes cuestionamientos:
(1) Condiciones suficientes. Cuales problemas de Sturm-Liouville tienen autofunciones asociadas que son caracteres de un hipergrupo?
En tales casos, la estructura de hipergrupos completa est
a disponible para aclarar desarrollos en terminos de las auto-funciones.
(2) Condiciones necesarias. Cuales hipergrupos sobre intervalos reales
tienen caracteres que son autofunciones de problemas de SturmLiouville? En tales casos, la ecuaci
on diferencial asociada produce
informaci
on detallada acerca de esos caracteres.
28
Y. Quintana
(s)
(s)
es no creciente en (0, ).
(2.6)
Entonces existe un hipergrupo hermitiano (J, ) con caracteres {yk }, medida de Haar 2 (s)ds, e = 0 y convoluci
on de dos medidas , M (J)
definida por su acci
on sobre f C(J):
Z Z Z
Z
f ds,t d(s)d(t).
d( ) =
J
En particular, s t = s,t.
TEORIA DE HIPERGRUPOS: LO BASICO
29
Lema 2.2. Si
f (s) =
n
X
k=0
entonces
f (s, t) =
n
X
k=0
ck yk (s) 0,
ck yk (s)yk (t) 0,
s J,
(2.7)
(s, t) J J.
(2.8)
Demostraci
on. Para 0 a b 2 sea (a, b) el tri
angulo con vertices
(a, b), (a b, 0) y (a + b, 0). Supongamos que la desigualdad (2.7) es
estrictamente positiva,
entonces mostraremos que (2.8) es estrictamente
positiva en 2 , 2 .
2, 2
en J J.
30
Y. Quintana
2, 2
tal que
Consideremos W (s, t) = 2 (s)2 (t), entonces f (s, t) satisface el siguiente problema de Cauchy hiperb
olico:
(W fs )s (W ft )t = 0,
f (s, 0) = f (s),
ft (s, 0) = 0.
(2.9)
CP
(,)
f (Wt + Ws )dt
CP
DP
TEORIA DE HIPERGRUPOS: LO BASICO
31
2.2.
En esta secci
on nos enfocaremos en el caso en que X es un intervalo compacto, sin perdida de generalidad consideraremos X = [0, ] y
mostraremos las condiciones suficientes conocidas sobre un hipergrupo
(X, ) de manera que sus caracteres sean exactamente las autofunciones
32
Y. Quintana
Cuando k es finito,
M (s, t) = A (t)sk + o(skk ).
n 2.6. (X, ) es un hipergrupo de Jacobi de tipo (, ) si
Definicio
(i) k1 = k2 = 2.
(ii) (sen t)A1 (t) es derivable sobre X.
(iii) A2 (t) es una constante positiva a2 .
(iv) Los par
ametros y satisfacen
1
sen t
A1 (t) = +
lm
+
a2
2
t0
sen t
1
lm
A1 (t) = +
.
2
t a2
TEORIA DE HIPERGRUPOS: LO BASICO
33
Pn
(t)
lm (sen t) 2 (t) = a ,
t0+
lm (sen t) 2 (t) = a .
E
E ,
entonces es
34
Y. Quintana
(v) lmk
k
k
= 1.
s+ 2
k (s) = a
J (sk ) + Ik (s),
(s)
donde J es la funcion de Bessel modificada y Ik satisface:
(
Ck1 , 0 s k1 ,
k
|Ik (s)| =
C ln +
k 1 s .
1 ,
k(sk)
Una estimaci
on similar es cierta en .
Estas propiedades facilitan un estudio del an
alisis arm
onico de (X, ),
de manera en que se puede obtener, por ejemplo, un an
alogo de la desigualdad maximal de Hardy-Littlewood [16].
2.3.
Ejercicios
Pn
(t)
(,)
Pn
(1)
Captulo 3
POLINOMIOS ORTOGONALES E
HIPERGRUPOS
.
3.1.
n+m
X
()
ckn,m Rk (x).
(3.1)
k=|nm|
ckn,m an bm ,
n=0 m=0
X
X
X
()
()
bm Rm
(x) .
an Rn() (x)
(a b)k Rk (x) =
k=0
m=0
n=0
35
36
Y. Quintana
3.2.
Pn (x)
,
Pn (x0 )
as que
Rn (x0 ) = 1.
n+m
X
ckn,m Rk (x),
k=0
donde
ckn,m
hRn Rm , Rk i
=
=
hRk , Rk i
37
Rn (x)Rm (x) =
ckn,m Rk (x).
(3.2)
k=|nm|
ckn,m = 1.
(3.3)
k=|nm|
Si, en efecto
ckn,m 0,
(3.4)
ckn,m an bm ,
n=0 m=0
o equivalentemente,
# "
#"
"
#
X
X
X
bm Rm (x) =
an Rn (x)
a b = c
ck Rk (x) ,
m=0
n=0
k=0
an Rn (z),
38
Y. Quintana
Si kx,y k est
an uniformemente acotadas, es posible definir un producto
continuo sobre M (H) mediante la formula
Z Z Z
Z
f dx,y d(x)d(y),
f d( ) :=
X
39
3.2.1.
Polinomios de Jacobi
x)
(1
+
x)
2 n! dxn
para x (1, 1).
Pn(,) (1) :=
n+
,
n
n+
,
n
donde , > 1.
Desde su aparici
on hasta la fecha existe una gran cantidad de literatura asociada a diversas propiedades de estos polinomios (ver por ejemplo,
[2, 4, 7, 10, 13, 16, 19, 24, 25, 26, 27, 28, 30, 31, 33, 34, 36, 37, 40, 44,
45, 54, 63] y las referencias all sugeridas).
Historicamente, una de las razones fundamentales para el estudio de
(,)
(,)
es el hecho de que sus ceros xn,k , k =
los polinomios de Jacobi Pn
1, . . . , n, tienen una interpretacion electrost
atica muy interesante: ellos
son los puntos de equilibrio n cargas en (1, 1) en el campo genera+1
do por las cargas +1
2 en 1 y 2 en 1, donde las cargas se repelen de
acuerdo a una ley de interacci
on bajo un potencial logartmico. Tambien
los polinomios de Jacobi constituyen un sistema ortogonal completo en
L2 ([1, 1], w(,) (x)dx) y una representacion explcita para ellos est
a dada por funciones hipergeometricas del modo siguiente:
n
x1 k
1 X n
(,)
, (3.6)
(n + + + 1)k (k + + 1)nk
Pn
(x) =
k
n!
2
k=0
(3.7)
40
Y. Quintana
(,)
(,)
Pn(,) (x) = (2n++1)(n(,) x2 2 )Pn1 (x)n(,) Pn2 (x),
n
(3.8)
(,)
(,)
donde n 2, n
= 2n(n + + )(2n + + 2), n
= 2(n +
(,)
1)(n + 1)(2n + + ), n
= (2n + + )(2n + + 2) y
(,)
P0
(x) = 1,
(,)
P1
(x) =
+ +2
x+
.
2
2
Las derivadas de los polinomios de Jacobi son, salvo un factor constante, polinomios de Jacobi traslados una unidad en los par
ametros , .
De hecho, de (3.6) obtenemos
d (,)
1
(+1,+1)
Pn
(x) = (n + + + 1)Pn1
(x)
(3.9)
dx
2
Otro rasgo importante de los polinomios de Jacobi proviene del hecho
(,)
de que Pn
es la u
nica soluci
on polinomial (salvo un factor constante
[63, p. 61, Theorem 4.2.2]) de la ecuaci
on diferencial de segundo orden
(1x2 )y (x)+((++2)x)y (x)+n(n+++1)y(x) = 0. (3.10)
(,)
aximo de Pn
Cuando > 12 y , el m
explcitamente calculado, (ver [63], p
ag. 168):
( + 1)n
,
sup Pn(,) (x) = Pn(,) (1) =
n!
1x1
1
> ,
2
. (3.11)
(,)
Y la norma L2 de Pn
con respecto a la medida w(,) (x) dx en
[1, 1] est
a dada por
Z 1
2
(,)
Pn(,) (x) w(,) (x) dx
hn
:=
1
(n + + 1)(n + + 1)
2++1
. (3.12)
(2n + + + 1) (n + 1)(n + + + 1)
41
}n0 , si y s
olo si, el
sucesion {Rn
conjunto:
}n0 , si y s
olo si, el par (, ) pertenece al siguiente
3.3.
Demostraci
on. Primero observemos que
Z
(x)(y) =
(z) d(x y ),
X
42
Y. Quintana
(3.13)
43
n+m
X
ckn,m Pk
k=|nm|
con ckn,m 0.
No incluiremos la prueba completa de este resultado, pero si haremos
algunos comentarios. El metodo de demostracion de Szwarc est
a basado
en una versi
on discreta del problema de Cauchy hiperb
olico descrito en
(2.9). La idea proviene del hecho de el resultado anterior es un an
alogo
discreto para un problema de Sturm-Liouville, ya que la relaci
on de
recurrencia (3.13) puede ser reformulada como la siguiente ecuaci
on en
diferencias:
44
Y. Quintana
3.4.
Demostraci
on. Daremos un esquema de la demostracion.
(3.15)
k=0
y
Z
#
Z "X
n
1 (k)
k
Rn (t)(r t) d(s t )(r)
Rn (r) d(s t )(r) =
X k=0 k!
X
Z
n
X
1 (k)
=
R (t) (r t)k d(s t )(r)
k! n
X
k=0
n
X
1
=
Mk (s, t)Rn(k) (t),
k!
k=0
(3.16)
45
donde Mk (s, t) =
k
X (r t)
n
n
X
X
1 (k)
1
Rn (e)(s e)k Rn (t) =
Mk (s, t)Rn(k) (t).
k!
k!
k=0
(3.17)
k=0
(y = Rn ,
n = Rn (e)).
46
Y. Quintana
3.5.
supp(0 )
f (x)g(x) d0 (x) +
supp(1 )
con 0.
Una cuesti
on interesante, sera poder generar estructuras de hipergrupo en el caso de la ortogonalidad Sobolev. Por ejemplo, es conocido que
cuando se considera el siguiente producto interno de Sobolev
hf, giS =
f (x)g(x)w
(,)
(x) dx +
(3.19)
donde w(,) (x) = (1 x) (1 + x) es el peso de Jacobi, entonces usando
(,)
(3.9) y (3.12), los polinomios {Rn }n0 satisfacen la siguiente relaci
on
de ortogonalidad Sobolev
(,)
hRn(,) , Rm
iS
"
(,)
hn
(,)
Pn
(,)
(1)Pm
(+1,+1)
hn1
(1)
(n + + + 1)(m + + + 1)
(,)
4Pn
(,)
(1)Pm
(1)
n m ,
Rn, Rm, =
ckn,m ()Rk, ,
47
(3.20)
k=|nm|n+m
donde
ckn,m () =
El problema de encontrar hipergrupos polinomiales discretos asociados con la sucesion {Rn, }n0 se reducira a:
(i) Garantizar que un tal x0 con la propiedad de que Qn, (x0 ) 6= 0
para n 0, puede ser elegido.
(ii) Garantizar que el par de medidas (d0 , d1 ) es tal que ckn,m () 0.
Con respecto a la condici
on (i), un resultado de L
opez Lagomasino y
Pijeira [41] dice que si el operador multiplicaci
on por x Mx est
a acotado,
entonces los ceros de los polinomios {Rn, }n0 est
an contenidos en el
disco D = {z : |z| kMx k}, con kMx k la norma del operador. As pues
si Mx est
a acotado, basta elegir x0
/ D.
La condici
on (ii) es m
as complicada y hasta donde la autora conoce
no es un problema que se haya abordado en la literatura actual.
Para garantizar la existencia de hipergrupos polinomiales continuos
asociados a la sucesion {Rn, }n0 , habra que encontrar condiciones sobre el par de medidas (d0 , d1 ) que garanticen la existencia de una
tercera medida no-negativa x,y M (supp(x,y )) con kx,y k uniformemente acotada y tal que se satisfaga la formula producto
Z
Rn, (z) dx,y (z).
Rn, (x)Rn, (y) =
supp(x,y )
Bibliografa
[1] P. Althammer, Eine Erweiterung des Orthogonalit
atsbegriffes bei
Polynomen und deren Anwendung auf die beste Approximation, J.
Reine Angew. Math. 211 (1962), 192204.
[2] R. Askey, Orthogonal Polynomials and Special Functions, Regional
Conference Series in Applied Mathematics. SIAM. Bristol 3, England. J. W. Arrowsmith Ltd. 1975.
[3] R. Askey, Linearization of the product of orthogonal polynomials.
En Problems in Analysis. Princenton, NJ . R. Gunning, editor.
Princenton University Press, 1970, 223228.
[4] R. Askey, G. Gasper, Linearization of the product of Jacobi polynomials, III, Canad. J. Math. 23 (1971), 332338.
50
BIBLIOGRAFIA
BIBLIOGRAFIA
51
[20] W. C. Connett, A. L. Schwartz, Subsets of R which support hypergroups with polynomial characters, J. Comput. Appl. Math. 65
(1995), 7384.
[21] C. F. Dunkl, The measure algebra of a locally compact hypergroup,
Trans. Amer. Math. Soc. 22 (1973), 331348.
[22] W. D. Evans, L. L. Littlejohn, F. Marcellan, C. Markett y A. Ronveaux, On recurrence relations for Sobolev orthogonal polynomials,
SIAM J. Math. Anal. 26 (1995), 446467.
[23] J. Favard, Sur les polynomes de Tchebicheff, C. R. Acad. Sci. Paris,
200 Ser. AB (1935), 20522053.
[24] G. Freud, Orthogonal Polynomials, Akademiai Kiado/Pergamon
Press, Budapest (1971).
[25] G. Gasper, Linearization of the product of Jacobi polynomials, I,
Canad. J. Math. 22 (1970), 171175.
[26] G. Gasper, Linearization of the product of Jacobi polynomials, II,
Canad. J. Math. 22 (1970), 582593.
[27] G. Gasper, Banach algebras for Jacobi series and positivity of a
kernel, Ann. of Math. 95 (1972), 261280.
52
BIBLIOGRAFIA
BIBLIOGRAFIA
53
54
BIBLIOGRAFIA
Indice alfab
etico
autofunciones, 27
de Hermite, 4
de Jacobi, 3
caracter del hipergrupo, 24
de Laguerre, 4
clase de Nevai, 14
de Tchebycheff de 1er. tipo, 3
polinomios
determinante
de Gegenbauer, 26
de Hankel, 5
de Legendre, 24
polinomios
ortogonales
Formula
de
Sobolev,
10
de recurrencia a tres terminos,
m
onicos
5, 6
de Sobolev, 10
formula producto
ortonormales, 14
de hipergrupo, 40
ortonormales de Sobolev, 12
funci
on
polinomio lmite asociado, 17
delta de Dirac, 13
problema de Sturm-Liouville, 27
producto de Sobolev
hipergrupo, 22
forma de K. H. Kwon , 14
hipergrupo polinomial
no diagonal, 12
discreto, 39
diagonal o caso continuo, 13
continuo, 40
discreto, 13
medida
producto interno de Sobolev, 9, 18
de Borel, 2
Gegenbauer-Sobolev, 18
espectral, 8
Laguerre-Sobolev, 16
de Haar, 24
propiedades asint
oticas, 14
operador multiplicaci
on, 1, 11
par coherente de medidas, 16
simetricamente coherente, 18
Polinomios
sucesion est
andar, 2
de polinomios ortogonales m
onicos, 2, 16
Teorema de Favard, 6
Asociaci
on Matem
atica Venezolana
Presidente: Pedro Berrizbeitia
Alexander Carrasco
Captulo de Centro Occidente
Oswaldo Araujo
Captulo de Los Andes
Said Kas-Danouche
Captulo de Oriente
Oswaldo Larreal
Captulo Zuliano
La Asociaci
on Matematica Venezolana fue fundada en 1990 como una
organizaci
on civil sin fines de lucro cuya finalidad es trabajar por el
desarrollo de las matem
aticas en Venezuela.
Asociaci
on Matematica Venezolana
Apartado 47.898, Caracas 1041-A, Venezuela
http://amv.ivic.gob.ve
Consejo Directivo
Instituto Venezolano de Investigaciones Cientficas (IVIC)
Director
Eloy Sira
Subdirector
Alexander Brice
no
Representantes del Ministerio del Poder Popular para Educacion
Universitaria, Ciencia y Tecnologa
Guillermo Barreto
Juan Luis Cabrera
Jes
us Manzanilla
Gerencia General
Martha Vel
asquez
Comision Editorial
Eloy Sira (coordinador)
Luca Antillano
Horacio Biord
Jes
us Eloy Conde
Mara Teresa Curcio
Rafael Gasson
Pamela Navarro
Hector Su
arez
Erika Wagner