F Marcell An

Una incursion en la obra matematica de Luis Vigil
Francisco Marcell
an
Instituto de Ciencias Matem
aticas (ICMAT) y Departamento of Matem
aticas, Universidad
Carlos III de Madrid
Research Meeting on Approximation Theory, E.I.T.A. 2014

En el centenario del nacimiento de D. Luis Vigil y Vazquez (1914-2003)
Alquezar, 17-19 de Octubre de 2014.
F. Marcell
an (U. Carlos III, Madrid)
Luis Vigil y Polinomios ortogonales
October 18, 2014
1 / 39
Outline
1
Luis Vigil y polinomios ortogonales
Proyecto/Programa de trabajo de L. Vigil para PO sobre curvas

algebraicas
Curvas algebraicas arm

onicas
Curvas equipotenciales polin

omicas
Curvas equipotenciales racionales
Extensiones de productos escalares sobre curvas.
Problemas inversos y recurrencias
Conexion con PO matriciales
Polinomios ortogonales sobre la circunferencia unidad
F. Marcell
October 18, 2014
2 / 39
Outline
1

algebraicas

onicas

omicas
F. Marcell
October 18, 2014
3 / 39

Articulos L. Vigil (MathSciNet): 29
Polinomios ortogonales en la circunferencia unidad.
Polinomios ortogonales respecto a medidas soportadas sobre curvas
del plano complejo.
17 artculos sobre estos topicos.
Primeros articulos
1
2
A functional identity in the theory of orthogonal polynomialsa

On formal properties of orthogonal polynomials.
1
2
Summation and recurrence

Zeros and Christoffel constantsb
Colaboradores: M. P. Alfaro (9), M. Alfaro (1), J.J. Guadalupe (1).

a
b
Rev. Acad. Ciencias Madrid 60, 1966

Rev. Acad. Ciencias Madrid 63, 1969
F. Marcell
October 18, 2014
4 / 39
Mis artculos favoritos
Orthogonal polynomials on real algebraic curves, Proc XI Annual

Conference of Spanish Mathematicians (Murcia 1970). Universidad
Complutense de Madrid 1973.
Correspondance entre suites de polyn

omes orthogonaux et fonctions
de la boule unite de H0 . In Proceedings Bar-le-Duc 1984. Lect.

Notes in Math. 1171, Springer-Verlag Berlin 1985. (Con M. Alfaro,
M. P. Alfaro, J. J. Guadalupe).
Solution of a problem of P. Turan on zeros of orthogonal polynomials

on the unit circle, J. Approx. Theory 53(1988) (Reviewer: W. Van
Assche)
F. Marcell
October 18, 2014
5 / 39
Outline
1

algebraicas

onicas

omicas
F. Marcell
October 18, 2014
6 / 39
Proyecto/Programa de trabajo de L. Vigil (1970)
Matriz de momentos como matriz estructurada.
Problema de momentos como un problema inverso (determinar la

medida y su curva soporte).
Propiedades estructurales de polinomios ortogonales (formulas de

recurrencia y sumacion).
Problema inverso.
Localizacion de ceros de polinomios ortogonales.
Extension tpica: Interpolaci

on y cuadratura.
F. Marcell
October 18, 2014
7 / 39
Polinomios ortogonales sobre curvas algebraicas

X
= {z C :
ak,j z k zj = 0}
0k,jN
= {z C : D(z, z) = 0},
donde
X
D(z, w) =
ak,j z k wj .
0k,jN
Sea una medida de probabilidad soportada en

X
ak,j ck+l,j+i = 0,
0k,jN
donde
Z
cl,i =
z l zi d
F. Marcell
October 18, 2014
8 / 39
La matriz de Gram respecto a la base can

onica {z n }nN se denomina
matriz D-estructurada o matriz relativa a la curva .
Ejemplo

D=
1 0
0 1

0 1
D=
1 0
0 1 0
D = 1 0 1
0 1 0
0 0 1
D = 0 0 0
1 0 1
Circunferencia unidad.
F. Marcell
Recta real.
Uni
on de circunferencia unidad y recta real.
Lemniscata de Bernoulli.
October 18, 2014
9 / 39
Sea a(z) = aN z N + aN 1 z N 1 + + a1 z + a0 , aN 6= 0.
onicas Ima(z) = 0. (J. Vinuesa, Diciembre
1973)
D = ae1 e1 a
omicas |a(z)| = 1. (F. Marcellan,
Diciembre 1976).
D = aa e1 e1
En todos los casos anteriores, RankD = 2 !!
Curvas equipotenciales racionales |a(z)| = |b(z)|. (L. Moral, Mayo
1983).
F. Marcell
October 18, 2014
10 / 39
definicion
Se dice que una sucesion de polinomios ortogonales (SPO) (Pn )nN
satisface una relacion de recurrencia si existe un n
umero natural h tal que
Pn+h (z) =
h1
X
h,j (z)Ph+j (z)
j=0
donde los h,j (z) son polinomios de grado independiente de n y, a lo mas

h j.
Problema
Todas las SPO relativas a curvas algebraicas reales poseen formulas de
recurrencia?
F. Marcell
October 18, 2014
11 / 39
definicion
Una SPO (Pn (z))nN posee una f
ormula de sumaci
on si existe un n
umero
natural k tal que
Pk1
Kn+k (z, y) =
i=0
Qn+i (y)Pn+i (z)

R(z, y)
siendo Qn+i (z), R(z, y) polinomios en una y dos variables,

respectivamente, y Kn (x, y) es el n-n
ucleo reproductor.
Problema
Todos las SPO relativas a curvas algebraicas poseen formulas de
sumacion?
Interpretaci
on matricial de las formulas de sumaci
on: Inversion de matrices
D-estructuradas cuya inversa es D-Bezoutiana (G. Heinig 1991)
F. Marcell
October 18, 2014
12 / 39
Outline
1

algebraicas

onicas

omicas
F. Marcell
October 18, 2014
13 / 39
Curvas algebraicas armonicas

1
Extension natural de la recta real. El operador de multiplicacion por

a(z) es simetrico
Relaci
on de recurrencia.
F
ormula de sumaci
on
Equivalencia entre ambas.
(i)
i+1 Ani Pni (z)
PN
(i)
i=0 An Pn+i (z)
PN
(0)
con An R
a(z)Pn (z) =
-matriz de Jacobi de orden N i.e. matriz hermitiana (2N+1) banda.
Kn(z,y) =
PN
i=1
Pn
l=ni+1
(i)
(i)
Al Pl (y)Pl+i (z)Al Pl (z)Pl+i (y)
a(z)a(y)
Ejemplo
Hiperbolas equilateras.
Recta del plano complejo.
F. Marcell
October 18, 2014
14 / 39
Outline
1

algebraicas

onicas

omicas
F. Marcell
October 18, 2014
15 / 39
Curvas equipotenciales polinomicas
Extension natural de la circunferencia unidad. El operador de

multiplicacion por a(z) es unitario.
Relaci
on de recurrencia.
F
ormula de sumaci
on
Equivalencia entre ambas.
PN
k=1 n,k Kn1 (z, k ),
a(z)Pn (z) = aN Pn+N (z) +

Q
a(z) = aN N
j=1 (z j )
Matriz de Hessenberg de orden N .

formula de sumacion
Kn(z,y) =
a(z)a(y)
F. Marcell
Pn
j=nN +1
donde
P (n)
Pj (y)Pj (z)
Mk,k Kn (z, k )Kn (y, k )
a(z)a(y) 1
October 18, 2014
16 / 39
Outline
1

algebraicas

onicas

omicas
F. Marcell
October 18, 2014
17 / 39
Curvas equipotenciales racionales |a(z)| = |b(z)|

Idea clave:
Perturbacion de medidas
Pn (z) d
Qn (z; s) |s(z)|2 d
Q
con deg s(z) = h y s(z) = sh hj=1 (z j ).
Proposicion (Extension de la formula de Christoffel)

s(z)Qn (z; s) = sh Pn+h (z) +
h
X
n,j Kn+h1 (z, j )
j=1
considerar
s(z) = a(z)
s(z) = b(z)
F. Marcell
con Qn (z; a) = Qn (z; b)
October 18, 2014
18 / 39
Outline
1

algebraicas

onicas

omicas
F. Marcell
October 18, 2014
19 / 39
definicion
Dada una matriz HDP mn1 = [cp,q ]n1
p,q=0 a toda matriz HDP mn
obtenida orlando la matriz mn1 con fila y columna n-esimas se llama
extension de mn1 .
definicion
Si mn1 es una matriz relativa a y mn es una extension tambien relativa
a se dice que mn es una -extensi
on de mn1 .
F. Marcell
October 18, 2014
20 / 39
definicion
Dada una n-upla {1 , 2 . . . , n } con i 6= k y {p1 , p2 . . . , pn } reales
positivos, se llama tpico el producto escalar definido en Pn mediante
z ,z
n
X
pj jh kj
(h, k) 6= (n, n)
j=1
hz n , z n i = en +
n
X
pj jn nj
j=1
Proposicion
1 Pn (z) =
Qn
k=1 (z
k ).
2 Las races de Pk (z) (1 k n 1) se encuentran en el

interior de la envoltura convexa de {1 , 2 . . . , n }.
F. Marcell
October 18, 2014
21 / 39
3 Dado un producto escalar en Pn1 mediante una matriz de

Gram HDP y dados n n
umeros complejos distintos
{1 , 2 . . . , n } y un en > 0,Qla condici
on necesaria y
suficiente para que Pn (z) = nk=1 (z k ) sea el nesimo
polinomio ortogonal de grado n en una extension tpica de
Pn1 a Pn es que los polinomios de la base de Lagrange
asociada a {1 , 2 . . . , n } constituyan un sistema ortogonal
en Pn1 .
4 Dado un producto escalar en Pn1 , a cada C con
Pn1 () 6= 0 y cada en > 0 le corresponde una extension
tpica
Kn1 (z; )
.
Pn (z; ) = (z )
Pn1 ()
F. Marcell
October 18, 2014
22 / 39
Teorema (J. Vinuesa ,1984)

mn = [cp,q ]np,q=0 , n 2N 1, es una extensi
on -tpica de su submatriz
principal de orden n 1 si y solo si las races de dicha extension
pertenecen a la curva
F
ormulas de cuadratura en la recta real y la circunferencia unidad.
Generalizacion al caso de ceros m
ultiples. Su conexi
on con discretizaciones
de productos de Sobolev. (A. Cachafeiro, F. Marcellan, 1990)
F. Marcell
October 18, 2014
23 / 39
Outline
1

algebraicas

onicas

omicas
F. Marcell
October 18, 2014
24 / 39

Si una familia de polinomios satisface una relaci
on de recurrencia, Existe
un producto escalar respecto al que estos polinomios son ortogonales.?
Que se puede decir de las medidas de ortogonalidad y de su soporte?
Favard: xpn (x) = an+1 pn+1 (x) + bn pn (x) + an pn1 (x), n 1, bn R,
an > 0 existe una medida de probabilidad no trivial soportada en la
recta real tal que
Z
pn (x)pm (x)d = n,m .
R
P. L. Duren (1965): Sea una curva analtica de Jordan en el plano

complejo y w una funcion continua y positiva en . Sea (Pn (z))nN una
sucesi
on de polinomios ortonormales sobre la curva respecto al peso w i.e.
R
on de recurrencia
Pn (z)Pm (z)w(z)|dz| = n,m satisfaciendo una relaci
n Pn1 (z) + (n z)Pn (z) + n Pn+1 (z) = 0
F. Marcell
October 18, 2014
25 / 39
Pn (z) = kn z n +terminos de grado menor, kn > 0.

Entonces es una elipse y las sucesiones {n }nN , {n }nN y {n }nN ,
estan acotadas
Ingrediente basico: G. Szego

lm
Pn+1 (z)
= (z),
Pn (z)
z en el exterior de ,
donde (z) es la aplicacion conforme del exterior de en el exterior del

disco unidad.
F. Marcell
October 18, 2014
26 / 39
A. J. Duran (1993)
Determinacion de un producto escalar tal que la sucesion de polinomios
ortonormales satisfaga una relaci
on de recurrencia
xN pn (x) = cn,0 pn (x) +
N
X
[cn,l pnl (x) + cn+l,l pn+l (x)] con cn,N 6= 0.
l=1
Proposicion
Existen funciones 0 y m,m0 , 1 m, m0 N 1, con m,m0 = m0 ,m tal
que los polinomios (pn (x))nN son ortogonales respecto a la forma bilineal
Z
Z
B(f, g) = f (t)g(t)d0 + Vn (f )dM Vn (g)T
donde
d0,0
...
.
..
dM =
dN 1,0 . . .
F. Marcell
d0,N 1
..
,
.
dN 1,N 1
October 18, 2014
27 / 39
VN (f ) = (T0,N , T1,N (f ), . . . TN 1,N (f ))

P
donde para f (x) = i ai xi ,
X
Tm,N (f )(x) =
aiN +m xiN +m .
i
Proposicion
Son equivalentes los siguientes enunciados
1
El operador xN es simetrico respecto a B y ademas

B(xN f, xg) = B(xf, xN g).
Existe una funcion y una matriz M R(N 1)(N 1) tales que
(1)
g
(0)
Z

..
B(f, g) = f gd + f (1) (0) f (N 1) (0) M
.
.
(N
1)
g
(0)
Si, ademas B(xk , xm ) = B(1, xk+m ) 1 k, m N 1, entonces M

esan diagonal.
F. Marcell
(U. Carlos III, Madrid)
October 18, 2014
28 / 39
Sea h(x) un polinomio de grado N . Considerese la base de P

Bh = {xk hn (x); k = 0, 1, . . . , N 1, n N}. Si p P
p(x) =
N
1 X
X
am,k xm hk (x).
m=0 k0
(Tesis de L. Vigil Sobre series de Jacobi1950)
Teorema
Son equivalentes los siguientes enunciados
1
2
B(hf, g) = B(f, hg) para todo polinomio f, g.

Existen funciones 0 y m,m0 , 1 m, m0 N 1, con
m,m0 = m0 ,m tales que
Z
Z
X
B(f, g) = f gd0 +
Tm,h (f )(x)Tm0 ,h (g)(x)dm,m0 .
1mm0 N 1
F. Marcell
October 18, 2014
29 / 39
Outline
1

algebraicas

onicas

omicas
F. Marcell
October 18, 2014
30 / 39
Sea Rn,h (p)(x) =

definamos
k0 an,k x
R0,h (pnN )
R0,h (pnN +1 )
Sn (x) =
..
.
R0,h (pnN +N 1 )
k.
Dado que p(x) =
R1,h (pnN )
R1,h (pnN +1 )
..
.
R1,h (pnN +N 1 )
1
x
..
.
PN 1
n=0
xn Rn,h (p)[h(x)]
RN 1,h (pnN )
RN 1,h (pnN +1 )
,
..
.
RN 1,h (pnN +N 1 )
PnN (x)
PnN +1 (x)
..
.
Sn [h(x)]
=
N
1
x
PnN +N 1 (x)
F. Marcell
October 18, 2014
31 / 39

onicas: {Sn (x)}nN define una sucesion de
polinomios ortogonales matriciales sobre la recta real (F. Marcellan, G.
Sansigre, 1993).
omicas: {Sn (x)}nN define una sucesion
de polinomios ortogonales matriciales sobre la circunferencia unidad (F.
Marcellan, I. Rodrguez, 1989).
Polinomios ortogonales tipo Sobolev: {Sn (x)}nN define una sucesion
de polinomios ortogonales matriciales sobre la recta real perturbando la
medida con una masa matricial (A. J. Duran, W. Van Assche, 1995).
F. Marcell
October 18, 2014
32 / 39
Outline
1

algebraicas

onicas

omicas
F. Marcell
October 18, 2014
33 / 39
Medida de
probabilidad
no trivial
Matriz de
momentos
(Toeplitz)
Funcion de Caratheodory
F (z) = 1 + 2
X
n=1
cn z n
Coeficientes
de Schur
Funcion de Schur
(1+F (z))(1+f (z)) = 2
F
ormulas de recurrencia para SPOM sobre la circunferencia unidad.
n+1 (z) = zn (z) + n+1 (0)n (z)
n+1 (z) = (1 |n (0)|2 )zn (z) + n+1 (0)n+1 (z)
Teorema de Favard. Dada (n )nN con |n | < 1 existe una medida de
probabilidad no trivial soportada en la circunferencia unidad tal que
n (0) = n , n 1, siendo (n )nN la SPOM respecto a .
F. Marcell
October 18, 2014
34 / 39
Z
n (z) =
0

ei + z
i
(e
)
(z)
d(ei )
n
n
ei z
Caracterizacion de la SPOM sobre la circunferencia unidadOPUC F.

Peherstorfer, R. Steinbauer, 1995
n (z)F (z) + n (z) = O(z n )
n (z)F (z) n (z) = O(z n+1 )
1. F es analtica en D con ReF (z) > 0 en D.
2. f es analtica en D con f (0) = 0 y |f (z)| < 1 en D.
0 = ReF (ei ) =
F. Marcell
1 |f (ei )|2
|1 + f (ei )|2
October 18, 2014
35 / 39
Proposicion (M. Alfaro, M. P. Alfaro, J. J. Guadalupe, L.

Vigil, 1985)
Sea f B(H0 ). (n (0))nN l2 si y solo si ln(1 |f |) L1 ().
es singular si y solo si f es una funci

on interior i.e. |f (ei )| = 1 a.e.
es absolutamente continua si y solo si

Z
f (ei )
Re
d = 0.
i
1 + f (e )
i0
(re )|
({ei0 }) > 0 si y solo si lmr1 (1 r) 1|f
> 0. Ademas
|1+f (rei0 )|2
1r
r1 1 + f (rei )
({ei0 }) = 2 lm
F. Marcell
October 18, 2014
36 / 39
Ceros
n () = 0 = || < 1.
Existe una correspondencia biunvoca entre los parametros de Schur y
los ceros de (n )nN . De hecho, si n+1 (zn+1 ) = 0, entonces
n+1 (0) =
zn+1 n (zn+1 )
.
n (zn+1 )
Ceros como valores propios de submatrices principales de matrices

infinitas asociadas al operador de multiplicaci
on
GGT ortogonalizaci
on de {z n }nN
CMV ortogonalizaci
on de {1, z, z 1 , z 2 , z 2 . . .}.
F. Marcell
October 18, 2014
37 / 39
Polinomios para-ortogonales (W. Jones, O. Njastad, W.

Thron, 1989)
Dado |n+1 | = 1 se define
n+1 (z; n+1 ) = zn (z) + n+1 n (z)
1
2

n+1 (z; n+1 ), z k = 0 para 1 k n.
Si n+1 (; n+1 ) = 0 entonces || = 1. Los ceros de n+1 (z; n+1 )
son unitarios y simples y se entrelazan con los ceros de n (z; n ).
f (ei )d() =
n
X
f (zn,k ; n )n,k
k=1
para toda f n,n (Extensi

on tpica en la circunferencia unidad).
4
n
X
n,k (z zn,k ) d.
k=1
F. Marcell
October 18, 2014
38 / 39

GRACIAS POR VUESTRA ATENCION
F. Marcell
October 18, 2014
39 / 39

F Marcell An

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

F Marcell An

Cargado por

Copyright:

Formatos disponibles

Una incursion en la obra matematica de Luis Vigil

Research Meeting on Approximation Theory, E.I.T.A. 2014

Luis Vigil y Polinomios ortogonales

October 18, 2014

Luis Vigil y polinomios ortogonales

Proyecto/Programa de trabajo de L. Vigil para PO sobre curvas

Curvas algebraicas arm

Curvas equipotenciales polin

Curvas equipotenciales racionales

Extensiones de productos escalares sobre curvas.

Problemas inversos y recurrencias

Conexion con PO matriciales

Polinomios ortogonales sobre la circunferencia unidad

Luis Vigil y Polinomios ortogonales

October 18, 2014

Luis Vigil y polinomios ortogonales

Proyecto/Programa de trabajo de L. Vigil para PO sobre curvas

Curvas algebraicas arm

Curvas equipotenciales polin

Curvas equipotenciales racionales

Extensiones de productos escalares sobre curvas.

Problemas inversos y recurrencias

Conexion con PO matriciales

Polinomios ortogonales sobre la circunferencia unidad

Luis Vigil y Polinomios ortogonales

October 18, 2014

Luis Vigil y polinomios ortogonales

A functional identity in the theory of orthogonal polynomialsa

Summation and recurrence

Colaboradores: M. P. Alfaro (9), M. Alfaro (1), J.J. Guadalupe (1).

Rev. Acad. Ciencias Madrid 60, 1966

Luis Vigil y Polinomios ortogonales

October 18, 2014

Mis artculos favoritos

Orthogonal polynomials on real algebraic curves, Proc XI Annual

Correspondance entre suites de polyn

de la boule unite de H0 . In Proceedings Bar-le-Duc 1984. Lect.

Solution of a problem of P. Turan on zeros of orthogonal polynomials

Luis Vigil y Polinomios ortogonales

October 18, 2014

Luis Vigil y polinomios ortogonales

Proyecto/Programa de trabajo de L. Vigil para PO sobre curvas

Curvas algebraicas arm

Curvas equipotenciales polin

Curvas equipotenciales racionales

Extensiones de productos escalares sobre curvas.

Problemas inversos y recurrencias

Conexion con PO matriciales

Polinomios ortogonales sobre la circunferencia unidad

Luis Vigil y Polinomios ortogonales

October 18, 2014

Proyecto/Programa de trabajo de L. Vigil (1970)

Matriz de momentos como matriz estructurada.

Problema de momentos como un problema inverso (determinar la

Propiedades estructurales de polinomios ortogonales (formulas de

Localizacion de ceros de polinomios ortogonales.

Extension tpica: Interpolaci

Luis Vigil y Polinomios ortogonales

October 18, 2014

Polinomios ortogonales sobre curvas algebraicas

Sea una medida de probabilidad soportada en

Luis Vigil y Polinomios ortogonales

October 18, 2014