Corrección Primer Parcial, Teoría y Práctica, Análisis Numérico I, Semestre I08
Corrección Primer Parcial, Teoría y Práctica, Análisis Numérico I, Semestre I08
Corrección Primer Parcial, Teoría y Práctica, Análisis Numérico I, Semestre I08
Indicaciones: En hojas en blanco, escriba con letra clara el desarrollo de las preguntas que está respondiendo, indicando claramente
a que pregunta corrresponde.
8. ¿Cuando se interpola una función f , utilizando un polinomio de grado menor o igual a n, la diferencia
dividida de orden n es igual a qué?
f (n) (ξ)
y[x0 , x1 , . . . , xn ] = ,
n!
donde ξ ∈ (mı́n{xi }, máx{xi }).
9. Enuncie el teorema del error de un polinomio de interpolación.
Sea f : [a, b] → R lo suficientemente lisa, {x0 , x1 , . . . , xn } ⊂ [a, b] una colección de puntos diferentes
entre si, p(x) el polinomio de interpolación que satisface p(xi ) = f (xi ), i = 0, . . . , n. Entonces, para
todo x ∈ [a, b], existe ξ ∈ (mı́n{x, xi }, máx{x, xi }) tal que
f (n+1) (ξ)
f (x) − p(x) = (x − x0 )(x − x1 ) · · · (x − xn ).
(n + 1)!
10. Defina los polinomios de Chebichef.
El n-simo polinomio de Chebichef, Pn (x), es el polinomio de grado n, que sobre el intervalo [−1, 1]
satisface:
Pn (x) = cos(n arc cos(x)).
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.
2
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.
3
0 1
&
% −1
&
1 0 % 2
& &
% 1 % − 23
& &
1 0 % −1 %
3
4
& & &
% 0 % 0 % 0
& &
2 0 % −1 %
3
4
& &
% −1 %
3
2
&
2 0 % 2
&
% 1
3 1
Mostrar que para p > 0, grande, y q ≥ 0, muy pequeño, la segunda fórmula es numéricamente inestable.
Utilizando la relación λ1 λ2 = q, encontrar un algoritmo que sea numéricamente estable
En el cálculo de la segunda fórmula observamos que
p
p ≈ p2 + q,