MARGARITA MATHEMATICA EN MEMORIA DE JOSÉ JAVIER (CHICHO) GUADALUPE HERNÁNDEZ (Luis Español yjuan L. Varona, editores), Servicio de Publicaciones, Universidad de La Rioja, Logroño, Spain, 2. ESTUDIO DE UNA SUCESIÓN DE POLINOMIOS: RECURRENCIA Y CEROS MARÍA PILAR ALFARO, MANUEL BELLO Y JESÚS M. MONTANER En recuerdo de J. J. Guadalupe dµ Abstract. We consider the sequence of varying measures dµ n = W n(z) 2, where dµ is a positive Borel measure on the unit circle and {W n(z)} n N is a sequence of polynomials whose zeros lie in { z }. The aim of this paper is to study some properties of the zeros of the sequence of polynomials {Φ n(z)} where Φ n(z) isthen-th orthogonal polynomial with respect the measure dµ n.. Introducción Sea {dµ n } una sucesión de medidas positivas, finitas y de Borel en [, ) con infinitos puntos en su soporte. Para cada n N, denotaremos con ϕ m (dµ n ; z) el m-ésimo polinomio ortonormal respecto de la medida dµ n con coeficiente principal κ m (dµ n ) >. La clase de medidas variantes más estudiadas es la definida por dµ () dµ n = W n (z), 2 donde dµ es una medida positiva y de Borel sobre el intervalo [, ) cuyo soporte tiene infinitos puntos y para cada n, W n (z) es un polinomio a lo sumo de grado n con todos sus ceros en { z }. Los polinomios {ϕ m (dµ n ; z)} aparecen en el estudio de los aproximantes multipuntuales de Padé de las transformadas de Markov de las medidas dµ ([7]) y en dicho trabajo juega un papel importante el comportamiento asintótico de los ϕ n (dµ n ; z). Los resultados sobre asintóticas de los polinomios ϕ m (dµ n ; z) exigen que los ceros de W n (z) se comporten de una manera determinada, lo que puede plasmarse en la llamada condición de admisibilidad (ver, por ejemplo, [9]). Además, los {ϕ m (dµ n ; z)} juegan un papel importante en la extensión de la teoría de Szegő para funciones racionales. Como puede verse en [8] y [], una familia de funciones ortogonales { ϕ n,m } n m= puede expresarse en la forma ϕ n,m = ϕ m(dµ n ; z), W n (z) 2 Mathematics Subject Classification. 42C5; 33C47. Key words and phrases. Orthogonal polynomials, varying measures, zeroes. La investigación del segundo autor está subvencionada por el proyecto BFM2-26-C4-3 de la DGI. 52
522 M. P. ALFARO, M. BELLO Y J. M. MONTANER donde, como indica la notación empleada, ϕ m (dµ n ; z) eselm-ésimo polinomio ortonormal respecto de la medida variante dµ W n(z) 2. En lo que sigue consideraremos la familia de polinomios {ϕ m (dµ n ; z)} m=, n N, asociada a la sucesión de medidas () donde los W n (z) vienen definidos mediante W (z) =, W n (z) =(z ω n )W n (z), n, siendo {ω n } n= una sucesión de números complejos sobre el disco unidad, es decir ω n para todo n. Supondremos, además, que dµ n < para todo n N. Se tiene pues ϕ k (dµ n ; z)ϕ m (dµ n ; z) dµ n (θ) = {, k m, k = m ; z = eiθ, donde ϕ m (dµ n ; z) =κ m (dµ n )z m + ; κ m (dµ n ) >. Como es habitual escribiremos Φ m (dµ n ; z) = κ m (dµ n ) ϕ m(dµ n ; z), m =,,... y p n(z) para el polinomio recíproco de p(z), o sea p n(z) =z n p( z ). Los {Φ m (dµ n ; z)} ysusrecíprocos satisfacen las fórmulas de recurrencia Φ (dµ n ; z) =, Φ m+ (dµ n ; z) =zφ m (dµ n ; z)+φ m+ (dµ n ;)Φ m(dµ n ; z), m, Φ (dµ n ; z) =, Φ m+(dµ n ; z) =Φ m(dµ n ; z)+φ m+ (dµ n ;)zφ m (dµ n ; z), m. El núcleo reproductor K m (dµ n ; z, y) se define, como es usual m K m (dµ n ; z, y) = ϕ j (dµ n ; y)ϕ j (dµ n ; z), y C, j= siendo (2) K m (dµ n ; z, ) = κ m (dµ n )ϕ m(dµ n ; z). Para zȳ,sonválidas la siguientes relaciones de Christoffel-Darboux (3) K m (dµ n ; z, y) = ϕ m(dµ n ; z)ϕ m(dµ n ; y) ϕ m (dµ n ; z)ϕ m (dµ n ; y), zȳ (4) K m (dµ n ; z, y) = ϕ m (dµ n; z)ϕ m (dµ n; y) zȳϕ m (dµ n ; z)ϕ m (dµ n ; y), zȳ las cuales, para y = z, z, se pueden reescribir en la forma (5) K m (dµ n ; z, z) = ϕ m (dµ n; z) 2 ϕ m (dµ n ; z) 2 z 2, (6) K m (dµ n ; z, z)= ϕ m (dµ n; z) 2 z 2 ϕ m (dµ n ; z) 2 z 2.
ESTUDIO DE UNA SUCESIÓN DE POLINOMIOS: RECURRENCIA Y CEROS 523 Por otra parte, dos medidas consecutivas de la sucesión {dµ n } están relacionadas mediante dµ n = dµ n z ω n, n N (dµ 2 dµ). Por ello, los polinomios ortogonales respecto de estas medidas satisfacen la relación (ver [6]): (7) ϕ m (dµ n ; z) = κ m(dµ n ) κ m (dµ n ) (z ω n)ϕ m (dµ n ; z) ó (8) Φ m (dµ n ; z) =(z ω n )Φ m (dµ n ; z) + + ϕ m (dµ n ; ω n ) K m (dµ n ; ω n,ω n ) K m (dµ n ; z, ω n ), n >, Φ m (dµ n ; ω n ) K m (dµ n ; ω n,ω n ) K m (dµ n ; z, ω n ), n >, ambas con la condición K (dµ n ; z, ω n ) K (dµ n ; ω n,ω n ) =. En lo que sigue nos centraremos en el estudio de la sucesión {ϕ n (dµ n ; z)} n= (ó {Φ n (dµ n ; z)} n=) que denotaremos simplemente {ϕ n (z)} n= (ó {Φ n (z)} n=); asimismo escribiremos = (dµ n )paratodon. 2. Fórmulas de Recurrencia Es sabido que los coeficientes conductores de los polinomios {ψ n (z)} n= ortonormales con respecto a una medida fija dµ, verifican la relación κ 2 n+ κ 2 n = ψ n+ () 2 (ver [5], Ch., p. 7). La proposición siguiente, establece la relación análoga a la anterior para los coeficientes de los ϕ n (z): Proposición 2.. Los coeficientes conductores de los polinomios {ϕ n (z)} n= satisfacen la relación (9) κ 2 n+ κ 2 n = κ 2 ϕ n+ (ω n+ ) 2 n K n (dµ n+ ; ω n+,ω n+ ). Demostración. Escribamos la fórmula (7) para m = n eíndice n +: () ϕ n+ (z) = + (z ω n+ )ϕ n (z) ϕ n+ (ω n+ ) + K n (dµ n+ ; ω n+,ω n+ ) K n(dµ n+ ; z, ω n+ ), n >. Multiplicamos ambos miembros de () por W n+ (z), escribimos z = e iθ eintegramos con respecto a dµ n+. Las integrales que resultan se calculan usando la
524M. P. ALFARO, M. BELLO Y J. M. MONTANER ortogonalidad de ϕ n+ (z) con respecto a la familia { zk W n(z) : k =,,...,n} en L 2 (µ): ϕ n+ (z)w n+ (z) dµ n+ = ϕ n+ (z)+ W n+ (z) + W n+ (z) 2 dµ =, + (z ω n+ )ϕ n (z)w n+ (z) dµ n+ = ϕ n (z) W n (z) dµ =, K n (dµ n+ ; z, ω n+ )W n+ (z) dµ n+ = ϕ n+ (ω n+ ). + Finalmente, se obtiene κ 2 n+ ϕ n+ (ω n+ ) 2 () =+ κ 2 n K n (dµ n+ ; ω n+,ω n+ ), o su equivalente (9). Corolario 2.2. { } n= es una sucesión no decreciente de números positivos. Corolario 2.3. Supongamos que lím ω n+, donde Λ es una sucesión de índices n Λ en N. Entonces, + (i) ϕ n+(ω n+ ) n Λ ϕ n+ (ω n+). n Λ (ii) ϕ n+ (ω n+ ) + n Λ ϕ n+ (ω n+). n Λ Demostración. Si escribimos () en la forma κ 2 n+ = K n+(ω n+,ω n+ ) κ 2 n K n (dµ n+ ; ω n+,ω n+ ), para n suficientemente grande podemos utilizar (5) y (6) para obtener κ 2 ϕn+(ωn+) 2 n ϕ κ 2 = n+ (ωn+) n+ ω n+ 2 ϕ n+(ω n+) 2, ϕ n+ (ωn+) de donde se deduce inmediatamente (ii). 2 Además, si ϕ n+ (ω n+ ) ϕ n+ (ω n+), entonces. n Λ + n Λ Recíprocamente, si +, a partir de () y (5), n Λ ϕ n+ (ω n+ ) 2 ( ω n+ 2 2 ) ϕ n+ (ω n+) 2 ϕ n+ (ω n+ ) = ϕ n+ (ω n+ ) 2 ϕ n+ (ω ω n+ 2 n+) ϕn+(ωn+) 2. ϕ n+ (ωn+) Esto implica que ϕ n+ (ω n+ ) ϕ n+ (ω n+) yaque,según (ii), si, entonces n Λ + n Λ ϕ n+ (ω n+ ) ϕ n+ (ω n+) para toda subsucesión Λ de Λ. n Λ
ESTUDIO DE UNA SUCESIÓN DE POLINOMIOS: RECURRENCIA Y CEROS 525 Nota 2.3.. Si ω n =para todo n, ϕ n+ (ω n+ ) ϕ n+ (ω n+) = ψ n+ (). Por ello, el resultado anterior se corresponde con el clásico parap.o. respectode medida fija: + ψ n+ (). En [] se obtienen relaciones de recurrencia para los polinomios Φ n (z) apartir de las correspondientes para los núcleos de funciones racionales ortogonales. Sin embargo, las fórmulas de recurrencia para estos polinomios pueden obtenerse sin salir del espacio de los polinomios. Proposición 2.4. Para la sucesión {ϕ n (z)} n= son válidas las siguientes relaciones: (2) ϕ n+ (z) = κ ( ) ( ) n+ z κ2 n ϕn+ () ϕ n () ω n+ ϕ n (z)+ + ω n+ ϕ κ n(z), n+ (3) ϕ n+(z) = + κ 2 n+ ( ) ( ) κ2 n κ 2 ω n+ z ϕ ϕ n+ () ϕ n () n(z)+ + ω n+ zϕ n (z). n+ + Demostración. Como el polinomio ( κn+ ϕ n+ (z) z κ ) n ω n+ ϕ n (z) + tiene a lo más grado n, podemos escribir ( κn+ ϕ n+ (z) z κ ) n n ω n+ ϕ n (z) = λ n,j ϕ j (dµ n ; z), + j= donde los coeficientes se obtendrán de la manera habitual: (4) ( κn+ λ n,j = ϕ n+ (z) z κ ) n ω n+ ϕ n (z),ϕ j (dµ n ; z) dµn, j n. + Basta, pues, calcular: (i) ϕ n+ (z),ϕ j (dµ n ; z) dµn. (ii) zϕ n (z),ϕ j (dµ n ; z) dµn. (iii) ϕ n (z),ϕ j (dµ n ; z) dµn. (i) Se tiene ϕ n+ (z),ϕ j (dµ n ; z) dµn = (z ω n+ )ϕ n+ (z), (z ω n+ )ϕ j (dµ n ; z) dµn+ = ω n+ zϕ n+ (z),ϕ j (dµ n ; z) dµn+ {, si j<n, ω n+ +, si j = n.
526 M. P. ALFARO, M. BELLO Y J. M. MONTANER Si escribimos entonces ϕ j (dµ n ; z) = j α n,h z h h= con zϕ n+ (z),ϕ j (dµ n ; z) dµn+ = = ϕ j (dµ n ;) { α n,j = κ j (dµ n ), α n, = ϕ j (dµ n ;) zϕ n+ (z)ϕ j (dµ n ;)dµ n+ zϕ n+ (z) dµ n+ = ϕ j (dµ n ;)I n+, donde I n+ = zϕ n+ (z) dµ n+.deaquí, {, si j<n, ϕ n+ (z),ϕ j (dµ n ; z) dµn = ϕ j (dµ n ;)ω n+ I n+ κ ω n n+ +, si j = n. (ii) Utilizando técnicas semejantes: zϕ n (z),ϕ j (dµ n ; z) dµn = ϕ j (dµ n ;)I n. (iii) {, si j<n, ϕ n (z),ϕ j (dµ n ; z) dµn =, si j = n. Con estos resultados, (4) se reduce a ( (5) λ n,j = ϕ j (dµ n ;) ω n+ I n+ + κ ) n+ I n, j n ysólo falta calcular I n.pero + I n = κ n+ zϕ n (z) dµ n = ( ) κn+ (z ω n+ )ϕ n (z) ( zω n+ ) dµ n+ y podemos utilizar (), donde pondremos Entonces, + I n = G n+ G n+ = ϕ n+ (ω n+ ) K n (dµ n+ ; ω n+,ω n+ ). ϕ n+ (z)( zω n+ ) dµ n+ = ω n+ I n+ G n+ ( zω n+ )K n (dµ n+ ; z, ω n+ ) dµ n+ ( zω n+ )K n (dµ n+ ; z, ω n+ ) dµ n+,
ESTUDIO DE UNA SUCESIÓN DE POLINOMIOS: RECURRENCIA Y CEROS 527 donde la integral se calcula haciendo uso de (3), obteniéndose ( zω n+ )K n (dµ n+ ; z, ω n+ ) dµ n+ = + ϕ n+ (ω n+). Sustituyendo κn+ I n en (5) se sigue λ n,j = ϕ j (dµ n ;) ϕ n+ κ (ω n+)g n+ = n+ κ 2 ϕ j (dµ n ;)G n+ K n+ (,ω n+ ) n+ y de nuevo teniendo en cuenta (2), () evaluada en z =, y (), obtenemos λ n,j = ϕ j (dµ n ;) ( ) ϕn+ () ϕ n () + ω n+, + lo que prueba (2). Finalmente, utilizando el operador n en (2), se deduce (3). Corolario 2.5. Las fórmulas de recurrencia para los polinomios mónicos pueden escribirse en la forma (6) (7) donde (8) (9) Φ n+ (z) =(z h n+ )Φ n (z)+a n+ Φ n(z), Φ n+(z) =( h n+ z)φ n(z)+a n+ zφ n (z), h n+ = κ2 n κ 2 n+ ω n+, A n+ =Φ n+ () + h n+ Φ n (). La fórmula de recurrencia a tres términos, se obtiene ahora en la forma usual: Proposición 2.6. Los polinomios {Φ n (z)} n= recurrencia a tres términos: satisfacen la siguiente fórmula de (2) A n Φ n+ (z) = [ ] (z h n+ )A n +( h n z)a n+ Φn (z) + [ z A n 2 ( h n z)(z h n ) ] A n+ Φ n (z), donde los coeficientes A n y h n son los definidos en (8) y (9). Demostración. Eliminando Φ n(z) a partir de (6) y (7) se tiene (2) ( h n+ z)φ n+ (z) =A n+ Φ n+ (z)+( ( h n+ z)(z h n+ ) A n+ 2 z ) Φ n (z). La fórmula (2) se obtiene eliminando Φ n(z) entre (6) y (2) reescritas para grado n. Un primer resultado de las relaciones de recurrencia es el que establece la Proposición 2.7. Si ω n para algún n. Entonces los polinomios {Φ n (z)} n= no son ortogonales con respecto a ninguna medida fija sobre la circunferencia unidad.
528 M. P. ALFARO, M. BELLO Y J. M. MONTANER Demostración. Si la sucesión {Φ n (z)} fuera de polinomios ortogonales respecto a alguna medida fija, tendría que satisfacer Φ n+ (z) =zφ n (z)+φ n+ ()Φ n(z), para todo n N, además de (6). En consecuencia h n+ Φ n (z) =(A n+ Φ n+ ())Φ n(z) es decir, h n+ Φ n (z) =h n+ Φ n ()Φ n (z). Pero esta igualdad implica que h n+ = (ver []) y por tanto ω n+ =. 3. Ceros de los Polinomios Es bien conocido que los ceros de los polinomios Φ n (z) están en {z : z < }. En cuanto a la existencia de ceros comunes, los Φ n (z) se comportan de forma parecida a los polinomios ortogonales respecto de una medida fija. Proposición 3.. Sean Φ n (z) y Φ n+ (z) dos polinomios consecutivos. (i) Si Φ n+ (ω n+ )=,susn ceros restantes son los de Φ n (z). (ii) Si Φ n+ (ω n+ ), Φ n (z) y Φ n+ (z) carecen de ceros comunes. Demostración. (i) Supongamos Φ n+ (ω n+ ) =. Entonces de () se sigue que κ 2 n+ κ 2 n =ylafórmula (6) evaluada en z = ω n+ da A n+ Φ n (ω n+) =ypor tanto A n+ =.Dichafórmula se reduce a Φ n+ (z) =(z ω n+ )Φ n (z), lo que prueba (i). (ii) Supongamos que Φ n+ (ω n+ ) yqueexisteρ, cero común a los polinomios Φ n (z) yφ n+ (z). De (8) escrita para n = m eíndice n +y evaluadaenz = ρ deducimos K n (dµ n+ ; ρ, ω n+ ) Φ n+ (ω n+ ) K n (dµ n+ ; ω n+,ω n+ ) = yademás K n (dµ n+ ; ρ, ω n+ ) =. Utilizando la fórmula de Christoffel-Darboux (4), obtenemos ϕ n(dµ n+ ; ρ)ϕ n(dµ n+ ; ω n+ )=ρω n+ ϕ n (dµ n+ ; ρ)ϕ n (dµ n+ ; ω n+ ). Y de esta y su relación conjugada, ϕ n(dµ n+ ; ρ) 2 ϕ n(dµ n+ ; ω n+ ) 2 = ρ 2 ω n+ 2 ϕ n (dµ n+ ; ρ) 2 ϕ n (dµ n+ ; ω n+ ) 2, es decir, = ρ 2 ω n+ 2 ϕ n (dµ n+ ; ρ) 2 ϕ n (dµ n+ ; ω n+ ) 2 ϕ n(dµ n+ ; ρ) ϕ n(dµ n+ ; ω n+ ). Pero esta igualdad es imposible, ya que el segundo miembro es un producto con dos factores iguales o menores que uno y otros dos son estrictamente menores que.
ESTUDIO DE UNA SUCESIÓN DE POLINOMIOS: RECURRENCIA Y CEROS 529 Corolario 3.2. Supongamos ω n < y Φ n (ω n )=para cada n. EntoncesΦ n (z) = W n (z) y dµ = dθ donde, como es habitual, dθ representa la medida normalizada de Lebesgue sobre [, ). Demostración. Se cumple, para cada n, Φ n (z) =(z ω n )Φ n (z); así que n Φ n (z) = (z ω j )=W n (z). j= Entonces, para cada polinomio Π n (z) de grado no mayor que n se tiene Π n (z) dµ n (θ) = dµ Π n (z) W n (z), 2 mientras que el Teorema 2.2, p.98, de [4], nos lleva a Π n (z) dµ n (θ) = Π n (z) Φ n (z) 2 dθ. La conclusión resulta inmediatamente. Es sabido que para polinomios ortogonales con respecto a una medida fija sobre la circunferencia unidad, es válido el siguiente resultado ([]): Proposición 3.3. Sea {z n } n N una sucesión de puntos en {z : z < }. Entonces, existe una única sucesión de polinomios mónicos {ψ n (z)} n= ortogonales sobre la circunferencia unidad tal que ψ n (z n )=para todo n N. Por tanto, la sucesión {ψ n (z)} n= está completamente determinada si se conoce un cero de cada polinomio. En nuestro caso, disponer de la sucesión de raíces {z n } no es suficiente para construir {Φ n (z)} n=. La correspondiente versión de la proposición 3.3 se recoge en la proposición 3.5, mientras que 3.4 establece un resultado alternativo. Proposición 3.4. Sean las sucesiones { } n=, con > para todo n, y {ρ n } n= C, con ρ n < para todo n N. Entonces,existeunaúnica sucesión de polinomios mónicos {Φ n (z)} n= y una medida positiva µ con infinitos puntos en su soporte, tal que dµ n < y (i) Φ (z) =; Φ n (z) =z n +, n. (ii) Φ n (ρ n )=, n. (iii) Φ n (z) es el (n+)-ésimo término de la sucesión {Φ m (dµ n ; z)} de polinomios ortogonales con respecto a la medida dµ n. Demostración. Construiremos la sucesión {Φ n (z)} n= utilizando un proceso inductivoapartirdelarelación de recurrencia (6). Si n =, obtenemos (22) Φ (z) =(z h )Φ (z)+a Φ (z), donde h = κ2 ω κ 2 es conocido. Por otra parte, Φ (ρ )== A = h ρ,
53 M. P. ALFARO, M. BELLO Y J. M. MONTANER κ2 n ω κ 2 n+,lacon- n+ lo que permite calcular Φ (z) en (22). Construido Φ n (z), volviendo a (6), donde conocemos h n+ = dición Φ n+ (ρ n+ )=,da (23) A n+ =(h n+ ρ n+ ) Φ n(ρ n+ ) Φ n (ρ n+). Por tanto, la misma fórmula (6) determina Φ n+ (z). La conclusión iii) sigue del correspondiente teorema de Favard para fracciones ortogonales demostrado en [3]. Nota 3.4.. Si ω n =para todo n, (23) se reduce a Φ n (ρ n+ ) (24) Φ n+ () = ρ n+ Φ n (ρ n+), que es la relación que permite construir la sucesión de polinomios ortogonales respecto de una medida fija, cuando se conoce una raíz de cada polinomio. Para que la sucesión {Φ n (z)} n= quede determinada en términos de sus ceros, necesitamos conocer dos ceros de cada polinomio. Proposición 3.5. Consideremos dos sucesiones {ρ n } n=, {τ n } n=2 de puntos en {z : z < }. Entonces,existeunaúnica sucesión {Φ n (z)} n= de polinomios mónicos y una medida positiva µ con infinitos puntos en su soporte, tal que dµ n < y (i) Φ (z) =; Φ n (z) =z n +, n. (ii) Φ n (ρ n )=Φ n (τ n )=, n 2; Φ (ρ )=. (iii) Φ n (z) es el (n+)-ésimo término de la sucesión {Φ m (dµ n ; z)} de polinomios ortogonales con respecto a la medida dµ n. Demostración. Se tiene, Φ (z) =z ρ. Supongamos que Φ n (z) hasidoconstruido a partir de (6). La misma relación de recurrencia, evaluada en z = ρ n+ y z = τ n+ sucesivamente, nos permite obtener h n+ y A n+ como soluciones de el sistema lineal Φ n (ρ n+ )h n+ Φ n(ρ n+ )A n+ = ρ n+ Φ n (ρ n+ ), Φ n (τ n+ )h n+ Φ n(τ n+ )A n+ = τ n+ Φ n (τ n+ ), con determinante n+ =Φ n (τ n+ )Φ n(ρ n+ ) Φ n (ρ n+ )Φ n(τ n+ ). Si fuera n+ =, Φ n (τ n+ ) Φ n(τ n+ ) = Φ n(ρ n+ ) = λ, λ <, Φ n(ρ n+ ) el polinomio Φ n (z) λφ n (z) se anularía en ρ n+, τ n+ y en cualquier otro cero de Φ n+ (z). Por consiguiente, tendría n + ceros y en consecuencia Φ n (z) λφ n(z).
ESTUDIO DE UNA SUCESIÓN DE POLINOMIOS: RECURRENCIA Y CEROS 53 En particular, debería ser λφ n () = y como λ <,resulta Φ n () >, lo cual no es posible. Como n+, el sistema anterior tiene solución única (h n+,a n+ ), h n+ = τ n+φ n (τ n+ )Φ n (ρ n+) ρ n+ Φ n (ρ n+ )Φ n (τ n+), n+ (25) A n+ = Φ n(ρ n+ )Φ n (τ n+ ) (τ n+ ρ n+ ). n+ Llevando estos valores a (6), Φ n+ (z) queda construida a partir de Φ n (z). Corolario 3.6. Los coeficientes h n+ y A n+ están relacionados por (26) A n+ = Φ n(τ n+ ) Φ n(τ n+ ) (h n+ τ n+ ), o la correspondiente igualdad con ρ n+ en lugar de τ n+. Demostración. Basta notar que las fórmulas (25) pueden escribirse en la forma h n+ =(τ n+ ρ n+ ) Φ n(τ n+ ) Φ n (τ n+ ) Φ n(τ n+ ) Φ n (τ n+ ) Φ n(ρ n+ ) Φ n (ρ n+ ) + τ n+, τ n+ ρ n+ A n+ = Φ n (τ n+) Φ n (τ n+ ) Φ n (ρ. n+) Φ n (ρ n+ ) La relación (26) vuelve a ser la generalización de (24) para la sucesión {Φ n (z)}. Las Proposiciones 3.4 y 3.5 anteriores establecen, pues, cómo se traslada al caso que nos ocupa el hecho de que una sucesión de P.O. respecto de una medida fija quede determinada al fijar un cero de cada polinomio. Nuestro propósito era obtener, además, información sobre la distribución de ceros de los Φ n (z) mediante algún resultado que pudiera considerarse un análogo del obtenido para el caso de medida fija por J. J. Guadalupe y otros ([2], Th..5). La técnica allí empleada no resulta manejable en este caso. Como herramienta alternativa hemos utilizado la fórmula obtenida por Rakhmanov en ([2], p. 57), con z = ω n+, ωn+ = ω n+, que evaluada en z =da ω n+ ωn+ Φ n() = Φ n+2 (dµ n+ ;)+c n Φ n+ () + d n, donde los coeficientes d n y c n son, ahora, d n = ωn+φ n+ (dµ n ;) κ2 n(dµ n+ ), κ 2 n c n = Φ n+2(dµ n+ ; ω n+) Φ n+ (ω n+ ) d n Φ n(dµ n+ ; ω n+) Φ n+ (ω n+ ).
532 M. P. ALFARO, M. BELLO Y J. M. MONTANER Construyendo la sucesión {Φ n (z)} apartirde({ }, {ρ n }), de acuerdo con la Proposición 3.4, se tiene además h n+ Φ n () + Φ n+ () = Φ n(ρ n+ ) Φ n(ρ n+ ) (h n+ ρ n+ ). Eliminando Φ n () entre estas dos últimas relaciones e imponiendo condiciones de tamaño a y ρ n se llega a resultados parciales en el sentido del Teorema.5 de [2], siempre que Φ n+ (dµ n ;) cuando n. Con este planteamiento, aceptar la validez de los resultados obtenidos exige resolver previamente el siguiente problema: Determinar condiciones para la sucesión {dµ n } (lo que se traducirá en condiciones para los ω n ) para que pueda garantizarse que lím n Φ n+ (dµ n ;)=. Referencias [] M. P. Alfaro y L. Vigil, Solution of a problem of P. Turán on zeros of orthogonal polynomials on the unit circle, J. Approx. Theory 53 (988), 95 97. [2] M. Bello, J. J. Guadalupe y J. L. Varona, The zero distribution of orthogonal polynomials with respect to varying measures on the unit circle (pendiente de publicación). [3] A. Butheel, P. González-Vera, E. Hendriksen y O. Njastad, A Favard theorem for orthogonal rational functions on the unit circle, Numer. Algorithms 3 (992), 8 9. [4] G. Freud, Orthogonal polynomials, Akadémiai Kiadó, Pergamon, Budapest, 97. [5] Ja. L. Geronimus, Orthogonal polynomials, Consultants Bureau, Nueva York, 96. [6] E. Godoy y F. Marcellán, Orthogonal polynomials and rational modifications of measures, Cand. J. Math. 45 (993), 93 943. [7] A. A. Gonchar y G. Lopes [G. López], On Markov s theorem for multipoint Padé approximations, Mat. Sb. (N.S.) 5(47) (978), 52 524. Traducción al inglés: Math. USSR Sb. 34 (978), 449 459. [8] X. Li y K. Pan, Strong and weak convergence of rational functions orthogonal on the unit circle, J. London Math. Soc. (2) 53 (996), 289 3. [9] G. López, Asymptotics of polynomials orthogonal with respect to varying measures, Constr. Approx. 5 (989), 99 29. [] F. Marcellán, Orthogonal polynomials and Toeplitz Matrices: some applications, en Rational approximation and orthogonal polynomials (Zaragoza, 988), Publ. Sem. García de Galdeano, Zaragoza (989), 3 57. [] K. Pan, On orthogonal system of rational functions on the unit circle and polynomials orthogonal with respect to varying measures, J. Comp. Applied Math. 47 (993), 33 322. [2] E. A. Rakhmanov, On the asymptotic properties of polynomials orthogonal on the circle with weights not satisfying Szegő s condition, Mat. Sb. (N.S.) 3(72) (986), 5 69. Traducción al inglés: Math. USSR Sb. 58 (987), 49 67. Departamento de Matemáticas, Universidad de Zaragoza, Edificio de Matemáticas, Ciudad Universitaria s/n, 59 Zaragoza, Spain Correo electrónico: palfaro@posta.unizar.es Departamento de Matemáticas y Computación,Univ ersidad de La Rioja,Edificio Vives, Calle Luis de Ulloa s/n, 264 Logroño, Spain Correo electrónico: mbello@dmc.unirioja.es Departamento de Matemática Aplicada (EUITIZ), Universidad de Zaragoza, Corona de Aragón 35, 59 Zaragoza, Spain Correo electrónico: montaner@posta.unizar.es