Corrección ejercicio M22

Hans Müller Santa Cruz

9 de mayo de 2008

n
Y (x − xj )
M22 Sean x0 < x1 < · · · < xn y li (x) = .
j=0
(x i − xj )
j6=i
Verificar que la función
n
X
λn (x) = |li (x)|
i=0

tiene un solo máximo local sobre cada [xi−1 , xi ].

n
X
Indicación: Sobre [xj−1 , xj ] se tiene a λn (x) = i li (x) con  = ±1.
i=0
Denotemos por Ij = [xj−1 , xj ] el intervalo de estudio. Puesto que cada uno de los li (x) tiene sus n
ceros diferentes y éstos son los nudos de la subdivisión, li (x) no cambia de signo en cada uno de los
subintervalos [xk−1 , xk ], en particular sobre Ij . En consecuencia, sobre Ij , se tiene, ya sea |li (x)| = li (x),
o ya sea |li (x)| = −li (x), con lo que se justifica la validez de la indicación.
Para i ∈ {0, 1, . . . , n} determinemos el valor de i en el subintervalo Ij . Separando los i, en aquellos
que son menores o iguales a j − 1 y aquellos que son mayores o iguales a j, se obtiene:

(−1)j−1−i si i ≤ j − 1,

i = (1)
(−1)i−j si i ≥ j.

Por consiguiente, λn (x) es igual sobre el intervalo Ij a

j−1
X n
X
ln (x) = (−1)j−1−i li (x) + (−1)i−j li (x). (2)
i=0 i=j

La identidad (2), muestra claramente que sobre Ij , λn (x) es un polinomio de grado menor o igual a n.
Por consiguiente, prolongamos λn (x) dado por (2) a todo R, denotando la prolongación por T (x).
Remplazando en los xi , el polinomio T (x) de grado menor o igual a n, da los siguientes valores:

(−1)j−1−i si i ≤ j − 1,

T (xi ) = (3)
(−1)i−j si i ≥ j.

Ahora mostremos que T (x) admite un único máximo local so-

bre Ij . Para tal efecto, suficiente mostrar que sobre (xj−1,xj )
existe un único ξ, tal que T 0 (ξ) = 0, además T 0 (x) > 0 sobre
(xj−1 , ξ) y T 0 (x) < 0 sobre (ξ, xj ), (condiciones suficientes pa- 1
ra la existencia y unicidad de máximo local, cf. Cálculo I).
Remarcamos que T (xj−1 ) = T (xj ) = 1, aplicando el Teorema
de Rolle, deducimos la existencia de c ∈ (xj−1 , xj ), con lo que
T (x) tiene al menos un punto crı́tico sobre Ij , mostraremos
que es el único y que no hay otro más en este intervalo.
xj−1 ξ xj
Aplicando la relación (3), el polinomio T (x) cambia de signo en los intervalos [xi−1 , xi ] para 1 ≤ i ≤ i−1

1
y j + 1 ≤ i ≤ n. Como T (x) es una función continua, existen ζi ∈ (xi−1 , xi ) tales que T (ζi ) = 0, para
1 ≤ i ≤ i − 1 y j + 1 ≤ i ≤ n. Por lo tanto existen al menos j − 1 ceros de T (x) menores a xj−1 y
n − j ceros de T (x) mayores a xj , lo que hacen n − 1 ceros; con lo que T (x) es un polinomio de grado
mayor o igual a n − 1. Sabemos que T (x) es un polinomio de grado menor o igual a n. Tenemos dos
posibilidades, que T (x) sea de grado n − 1 o T (x) sea de grado n.
Supongamos que el grado de T (x) es n−1. Para los intervalos [ζi−1 , ζi ], para 2 ≤ i ≤ j−1 y j+1 ≤ i ≤ n,
se tiene T (ζi−1 ) = T (ζi ) = 0, podemos aplicar el Teorema de Roller, con lo que existe al menos un
ci ∈ (ζi−1 , ζi ) con T (ci ). Por lo tanto existen al menos n − 3 ceros de T 0 (x) fuera de Ij , incluyendo
c ∈ Ij , se tiene al menos n − 2 ceros de T 0 (x), como el grado de T 0 (x) es n − 2, se tiene necesariamente
que c ∈ Ij con T 0 (c) es el único número con esta propiedad.
Si el grado de T (x) es n, faltarı́a encontran un cero. Ubiquemos el cero que falta. Utilizando (3), se
obtiene
−1 si n par,

T (x0 )T (xn ) = (−1) (−1)
j−1 n−j
= (−1) n−1
= (4)
1 si n impar.
Ahora bien, como T (x) es un polinomio de grado n, se tiene

1 si n par,

lı́m signo(T (x)) · signo(T (−x)) = (5)
x→+∞ −1 si n impar.

Comparando (4) y (5), se deduce que existe un cero ζ de T (x) que es menor a x0 o mayor a xn .
Aplicando el mismo razonamiento que el caso en que T (x) era de grado n − 1, obtenemos que T 0 (x)
tiene n − 2 ceros fuera de Ij , agregando c de Ij , tenemos exactamente los n − 1 ceros de T 0 (x). Con lo
que está demostrado que c es el único punto crı́tico de T (x) en el intervalo Ij .

cj−1 ζj cj
ζj−1 xj−1 c xj

Solo faltarı́a mostrar que T (x) presenta un máximo local en c y para este efecto, tomamos en cuenta que
T 0 (x) tiene raices simples y consecuencia T 0 (x) no cambia de signo entre dos ceros sucesivos. Además
en la aplicación del Teorema de Rolle, tanto en la determinación de ceros de T (x), como de T 0 (x), se
puede remarcar que entre el primer ci menor a c o el primer ci mayor a c, existe un ζi , cero de T (x).
Por lo tanto si, ζi ∈ (ci , c), ζi < xj−1 , T (x) es creciente y T 0 (x) > 0 o si ζi ∈ (c, ci ), xj < ζi , T (x) es
decreciente y T 0 (x) < 0.