Corrección ejercicio M27 y M28

Hans Müller Santa Cruz

9 de mayo de 2008

M27 Sea xi = x0 + ih, i = 0, . . . , n, una división equidistante y lj (x) el spline de tipo Lagrange que satisface

1, si i = j;
lj (xi ) =
0, sino;

y lj0 (x0 ) = 0, lj0 (xn ) = 0. Para las pendientes pi = lj (xi ) mostrar:

− h3 < pj < h3 ;
. . . , pj−3 > 0, pj−2 < 0, pj−1 > 0, pj+1 < 0, pj+2 > 0, . . . .

Para j ∈ {0, 1, . . . , n} dado, el spline lj (x), de tipo Lagrange, satisface las siguientes ecuaciones:
(
y[xi−1 ,xi ]
1 1 1 1
hi pi−1 + 2( hi + hi+1 )pi + hi+1 pi+1 = 3( hi + y[xhii+1
,xi+1 ]
), i = 1, . . . , n − 1;
(1)
p0 = pn = 0.

Puesto que la subdivisión es equidistante (hi = h), multiplicamos las anteriores ecuaciones (1) por h,
remplazamos lj (xi ) en las diferencias divididas, para obtener las siguientes ecuaciones:

pi−1 + 4pi + pi = 0, i = 1, . . . , j − 2; (2)

3
pj−2 + 4pj−1 + pj = ; (3)
h
pj−1 + 4pj + pj+1 = 0; (4)
3
pj + 4pj+1 + pj+2 = − ; (5)
h
pi−1 + 4pi + pi = 0, i = j + 2, . . . , n − 1; (6)
p(0) = p(n) = 0. (7)

Debe remarcarse que estas últimas ecuaciones pueden sufrir alguna modificación, dependiendo si j = 0
o j = 1 o j = n − 1 o j = n, pero en todo caso se tendrá, ya sea la ecuación (3), o ya sea la ecuación (5),
convirtiendo el sistema lineal (1) en uno no homogéneo, por consiguiente con soluciones pi no todas
nulas.
Sea k ∈ {1, . . . , n − 1} tal que |pk | = máx |pi |, como el sistema (1) debe tener soluciones no nulas, se
i=1,...,n
tiene pk 6= 0. Ahora bien, k = j − 1 o k = j + 1, porque sino podrı́amos aplicar una de las ecuaciones
(2), (4) o (6) a k, lo que darı́a

4 |pk | = |pk−1 + pk+1 | ≤ 2 |pk | ⇒ |pk | = 0,

lo que conducirı́a a una contradicción sobre pk .

Estando claro que k = j − 1 o k = j + 1, se tiene |pk | > |pi | para todo i < j − 1, i = j e i > j + 1,
porque sino nuevamente volvemos a aplicar el razonamiento anterior con pi y llegariamos a la misma
contradicción sobre pk .
Pasemos a demostrar que |pj | < h3 . Si k = j − 1, aplicando la desigualda triangular, se tiene:
3 3 3
4 |pj−1 | − |pj | − |pj−2 | ≤ |pj−2 + 4pj−1 + pj | = ⇒ 2 |pj−1 | ≤ ⇒ |pj−1 | ≤ .
h h 2h

1
 Como |pj−1 | > |pj |,se tiene
3 3
|pj | < < . (8)
2h h
Si k = j + 1, por simetrı́a mismo razonamiento.
Ahora pasemos a mostrar la parte de las desigualdades, observamos nuevamente que (8) se cumple
también para i < j − 1 e i > j + 1, teniendo en cuenta siempre que i ∈ {1, . . . , n − 1}. En los casos que
j − 1 ≥ 1 y j + 1 ≤ n − 1, se tiene:
3 3 3 3 3
4pj−1 = − pj−2 − pj ≥ − |pj−2 | − |pj | > − − = 0 ⇒ pj−1 > 0, (9)
h h h 2h 2h
3 3 3 3 3
4pj+1 = − − pj+2 − pj ≤ − + |pj+2 | + |pj | < − + + = 0 ⇒ pj+1 < 0, (10)
h h h 2h 2h
Continuemos mostrando las demás desigualdades. En el caso que j > 2, para i < j − 1, se tiene que
los pi satisfacen las ecuaciones de diferencias finitas homogéneas (2) con las condiciones que p0 = 0 y
pj−1 > 0. La determinación de la solución general de esta ecuación, pasa por la determinación de las
raı́ces del polinomio caracterı́stico
√ √
λ2 + 4λ + 1 = 0 ⇒ λ1 = −(2 + 3), λ2 = −(2 − 3).
√ √
lo que conduce a que pi = (−1)(α(2 + 3)i + β(2 − 3)i ), aplicando la condición p0 = 0, se tiene
α = β = C. La condición sobre pj−1 conduce a que C 6= 0. Por lo tanto
√ √
pi = (−1)i C((2 + 3)i − (2 − 3)i ), i = 1, . . . , j − 1, (11)
| {z }
>0
| {z }
mismo signo y 6=0

muestra el cambio de signo de los pi , 0 < i < j.

En el caso que j < n − 2, para i > j + 1, se tiene que los pi satisfacen las ecuaciones de diferencias
finitas homogéneas (6) con las condiciones que pn = 0 y pj+1 < 0. Aplicando el mismo razonamiento,
se llega √ √
pi = (−1)n−i C((2 + 3)n−i − (2 − 3)n−i ), i = j + 1, . . . , n − 1, (12)
| {z }
>0
| {z }
mismo signo y 6=0
lo que muestra el cambio de signo de los pi para j < i < n.
M27 Mostrar que los splines lj (x) del anterior ejercicio no cambian de signo en ningún intervalo [xi−1 , xi ].
La demostración la haremos para todos los casos posibles. Comencemos con:
(a) lj (x) sobre el intervalo [xj , xj+1 ]. Remarcamos que este caso es posible cuando j < n. Vı́a la
transformación afı́n t = (x − xj−1 )/h, este caso lo convertimos a la determinación del polinomio
q(t)(de Hermite) de grado menor o igual a 3, que satisface q(0) = 1, q 0 (0) = p0 , q(1) = 0 y
q 0 (1) = p1 , con |p0 | < 23 y − 32 < p1 < 0, (con p1 = 0 si j = n − 1). Aplicando la fórmula del spline
cúbico para el intervalo [0, 1], se obtiene

p(t) = 1 − t + (t − 1)t((p1 + 1)t + (p0 + 1)(t − 1))

= (1 − t)(1 − t(−(1 + p0 ) + (p0 + p1 + 2)t))
= (1 − t)(1 + (1 + p0 )t − (2 + p0 + p1 )t2 ). (13)

Por consiguiente, suficiente mostrar que r(t) = (1+(1+p0 )t−(2+p0 +p1 )t2 ≥ 0, sobre el intervalo
[0, 1]. Ahora bien, aplicando la condición 0 ≤ −p1 ≤ 23 , se tiene:

−(2 + p0 + p1 ) = −(2 + p0 ) − p1 ≥ −(2 + p0 ),

2
 de donde, para t ≥ 0
r(t) ≥ 1 + (1 + p0 )t − (2 + p0 )t2 = s(t). (14)
Como 2 + p0 > 21 , s(t) representa una parábola vértical invertida con s(0) = 1 y s(1) = 0 y puesto
que s00 (t) = −2(2 + p0 ) < 0, se tiene

s(t) ≥ 1 − t ≥ 0, para t ∈ [0, 1]. (15)

Con lo que se ha mostrado que q(t) no cambia de signo en el intervalo [0, 1].

r(t)

p(t) s(t)
y =1−t

(b) Por simetrı́a del caso (a), tenemos el mismo resultado para el intervalo [xj−1 , xj ], cuando j > 0.
(c) Caso [x0 , x1 y j > 1, este caso incluye por simetrı́a [xn−1 , xn ] y j < n − 1. De la misma manera
que en el caso (a), nos remitimos a la situación en q(t) polinomio de grado menor o igual a 3,
satisface
q(0) = q 0 (0) = 0, q(1) = 0, q 0 (0) = p1 6= 0.
Como 0 es un cero de multiplicidad 2 se tiene q(t) = Ct2 (t − 1) con C 6= 0. q(t) no cambia de signo
en el intervalo (0, 1), sino tendrı́a un cero en ese intervalo, lo que conducirı́a a una contradicción.
(d) Intervalos [xi , xi+1 ] con 0 < i < n − 1 y j diferente a i e i + 1. Como en el caso (a), nos remitimos a
la situación en que q(t) polinomio de grado menor o igual a 3, satisface q(0) = q(1) = 0, q 0 (0) = p0 ,
p0 (1) = p1 y p0 · p1 < 0. Este polinomio ya tiene dos ceros t = 0 y t = 1, si cambiase de signo,
existirı́a un cero en t = ξ ∈ (0, 1), de donde

q(t) = ct(t − ξ)(t − 1).

Cálculando las derivadas en t = 0 y t = 1, se obtendrı́a

p0 = q 0 (0) = cξ; p1 = q 0 (1) = c(1 − ξ) ⇒ p0 · p1 = c2 ξ(1 − ξ) > 0

lo que contradice la hipótesis p0 · p1 < 0.