Mtodos Numricos Archivo de

problemas: Spline
Paul Bosch, Patricio Cumsille, Sergio Plaza
June 5, 2008
1
Problema 0.1. Sea s(x) la siguiente funcin polinomial a trozos
s(x) =
_

_
A
11
3
x +
5
3
x
3
si 0 x < 1
B
56
3
x + 15x
2

10
3
x
3
si 1 x < 2
33 +
124
3
x + Cx
2
+ Dx
3
si 2 x 3
(a) Encuentre las condiciones sobre A, B, C y D de modo que s(x) represente el spline cbico
natural con respecto a la malla { 0, 1, 2, 3} .
(b) Clcule los valores de A, B, C y D Qu puntos (x
i
, y
i
) interpola dicha spline?
Solucin. (Responderemos inmediamente los item a) y b)). Tenemos la siguiente funcin
polinomial a trozos
s(x) =
_

_
A
11
3
x +
5
3
x
3
si 0 x < 1
B
56
3
x + 15x
2

10
3
x
3
si 1 x < 2
33 +
124
3
x + Cx
2
+ Dx
3
si 2 x 3
Sean
s
0
(x) = A
11
3
x +
5
3
x
3
si 0 x < 1,
s
1
(x) = B
56
3
x + 15x
2

10
3
x
3
si 1 x < 2,
s
2
(x) = 33 +
124
3
x + Cx
2
+ Dx
3
si 2 x 3.
Derivando nos queda
s

0
(x) =
11
3
+ 5x
2
si 0 x < 1,
s

1
(x) =
56
3
+ 30x 10x
2
si 1 x < 2,
s

2
(x) =
124
3
+ 2Cx + 3Dx
2
si 2 x 3.
Derivando nuevamente, obtenemos
s

0
(x) = 10x si 0 x < 1,
s

1
(x) = 30 20x si 1 x < 2,
s

2
(x) = 2C + 6Dx si 2 x 3.
2
Para que s(x) sea un spline cbico, debe ser una funcin de clase C
2
(en este caso, en el intervalo
[0, 3]), es decir, s(x) debe ser continua, s

(x) debe ser tambin continua y por ltimo, s

(x)
debe tambin serlo. Es decir
s
0
(1) = s
1
(1), s
1
(2) = s
2
(2) (continuidad de s(x)),
s

0
(1) = s

1
(1), s

1
(2) = s

2
(2) (continuidad de s

(x)),
s

0
(1) = s

1
(1), s

1
(2) = s

2
(2) (continuidad de s

(x)).
A continuacin imponemos la continuidad de s(x). Primero
s
0
(1) = s
1
(1)
es decir, A
11
3
+
5
3
= B
56
3
+ 15
10
3
, de donde A 2 = B 7 , osea
A = B 5 (1)
Segundo
s
1
(2) = s
2
(2)
es decir, B
56
3
2 + 15 4
10
3
8 = 33 +
124
3
2 + 4C + 8D, de donde
B =
161
3
+ 4C + 8D (2)
Ahora imponemos la continuidad de s

(x).
Primero, notemos que la condicin s

0
(1) = s

1
(1) nos da slo una identidad. Segundo
s

1
(2) = s

2
(2)
nos queda
56
3
+ 30 2 10 4 =
124
3
+ 4C + 12D, y de aqu obtenemos la ecuacin
C + 3D = 10 (3)
Finalmente, imponemos la continuidad de s

(x).
Primero, al igual que antes, la ecuacin s

0
(1) = s

1
(1) nos da slo una identidad. Por ltimo,
de la ecuacin
s

1
(2) = s

2
(2)
obtenemos que
C + 6D = 5 (4)
Ordenando las ecuaciones obtenemos el siguiente sistema lineal
A = B 5
B = 161/3 + 4C + 8D
C + 3D = 10
C + 6D = 5
De las dos ltimas ecuaciones, resolvemos para C y D, obteniendo
D = 5/3
C = 15
3
Reemplazando estos valores en la ecuacin para B , obtenemos B = 7 , y por lo tanto,
A = 2 . Con estos valores, nos queda
s(x) =
_

_
2
11
3
x +
5
3
x
3
si 0 x < 1,
7
56
3
x + 15x
2

10
3
x
3
si 1 x < 2,
33 +
124
3
x 15x
2
+
5
3
x
3
si 2 x 3.
Evaluando s(x) en los nodos de la malla, obtenemos
_

_
s(0) = 2
s(1) = 0
s(2) = 3
s(3) = 1
a) Como nos piden el spline natural, esto quiere decir que tenemos las condiciones de frontera
S

(x
0
) = S

(x
n
) = 0 , y la matriz A es la matriz (n + 1) (n + 1) dada por
A =
_
_
_
_
_
_
_
_
_
_
1 0 0 0 0 0 0
h
0
2(h
0
+ h
1
) h
1
0 0 0 0
0 h
1
2(h
1
+ h
2
) h
2
0 0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 0 h
n2
2(h
n2
+ h
n1
) h
n1
0 0 0 0 0 0 1
_
_
_
_
_
_
_
_
_
_
y los vectores b y x son dados por
b =
_
_
_
_
_
_
_
_
_
_
_
0
3
h1
(a
2
a
1
)
3
h0
(a
1
a
0
)
.
.
.
.
.
.
3
hn1
(a
n
a
n1
)
3
hn2
(a
n1
a
n2
)
0
_
_
_
_
_
_
_
_
_
_
_
y x =
_
_
_
_
_
_
_
_
_
c
0
c
1
.
.
.
.
.
.
c
n
_
_
_
_
_
_
_
_
_
En nuestro caso, tenemos x
0
= 1 , x
1
= 2 , x
2
= 5/2 , x
3
= 3 (n = 3) y sus correspon-
dientes imgenes a
0
= f(x
0
) = 2 , a
1
= f(x
1
) = 5 , a
2
= f(x
2
) = 6 y a
3
= f(x
3
) = 3 .
Adems, h
0
= x 1 x
0
= 1 , h
1
= x
2
x
1
=
1
2
y h
2
= x
3
x
2
=
1
2
. Luego, la matriz
A es dada por
A =
_
_
_
_
1 0 0 0
1 3
1
2
0
0
1
2
2
1
2
0 0 0 1
_
_
_
_
4
y el vector b es dado por
b =
_
_
_
_
1
3
24
1
_
_
_
_
b) Como indicamos, vamos a obtener la descomposicin de Doolittle de A, es decir, escribi-
mos
_
_
_
_
1 0 0 0
1 3
1
2
0
0
1
2
2
1
2
0 0 0 1
_
_
_
_
=
_
_
_
_
1 0 0 0
l
21
1 0 0
l
31
l
32
1 0
l
41
l
42
l
43
1
_
_
_
_
_
_
_
_
u
11
u
12
u
13
u
14
0 u
22
u
23
u
24
0 0 u
33
u
34
0 0 0 u
44
_
_
_
_
De aqu, nos queda u
11
= 1 , u
12
= 0 , u
13
= 0 , u
14
= 0 ; l
21
u
11
= 1 , luego l
21
= 1 ;
l
21
u
11
+ u
22
= 3 nos da u
22
= 3 , l
21
u
13
+ u
23
=
1
2
nos da u
23
=
1
2
; l
21
u
14
+ u
24
= 0
nos da u
24
= 0 ; l
31
u
11
= 0 nos da l
31
= 0 ; l
31
u
12
+ l
32
u
22
=
1
2
nos da l
32
=
1
6
;
l
31
u
13
+ l
32
u
32
+ u
33
= 2 nos da u
33
=
23
12
; l
31
u
14
+ l
23
u
24
+ u
34
=
1
2
nos da u
34
=
1
2
;
l
41
u
11
= 0 nos da l
41
= 0 , l
41
u
12
+l
42
u
22
= 0 nos da l
42
= 0 ; l
41
u
13
l
42
u
23
+l
43
u
33
= 0
nos da l
43
= 0 ; l
41
u
14
+ l
42
u
24
+ l
43
u
43
+ u
44
= 1 nos da u
44
= 1 . Luego,
L =
_
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0
1
6
1 0
0 0 0 1
_
_
_
_
_
_
_
y U =
_
_
_
_
_
_
_
_
_
1 0 0 0
0 3
1
2
0
0 0
23
12
1
2
0 0 0 1
_
_
_
_
_
_
_
_
_
.
Ahora debemos resolver el sistema LUx = b , esto equivale a resolver los sistemas
_
Lz = b
Ux = z .
La solucin de Lz = b es z
T
=
_
1, 4,
70
3
, 1
_
y la solucin de Ux = z es dada por
C = (c
0
, c
1
, c
2
, c
3
) =
_
1,
17
23
,
286
23
, 1
_
. Para calcular b
j
y d
j
, j = 0, 1, . . . , n 1 , usamos
las frmulas
b
j
=
1
h
j
(a
j+1
a
j
)
h
j
3
(2c
j
+ c
j+1
) y d
j
=
c
j+1
c
j
3h
j
.
Recuerde que en nuestro caso n = 3 , luego debemos calcular b
0
, b
1
, b
2
y d
0
, d
1
, d
2
.
Reemplazando los correspondientes valores, obtenemos
5
b
0
=
1
h
0
(a
1
a
0
)
h
0
3
(2c
0
+ c
1
) =
48
23
b
1
=
1
h
1
(a
2
a
1
)
h
1
3
(2c
1
+ c
2
) =
88
23
b
2
=
1
h
2
(a
3
a
2
)
h
2
3
(2c
2
+ c
3
) =
93
46
y
d
0
=
c
1
c
0
3h
0
=
2
23
d
1
=
c
2
c
1
3h
1
=
202
23
d
2
=
c
3
c
2
3h
2
=
206
23
.
Ahora, como los spline cbicos que queremos son de la forma
S
j
(x) = a
j
+ b
j
(x x
j
) + c
j
(x x
j
)
2
+ d
j
(x x
j
)
3
, j = 0, 1, . . . , n 1 .
Tenemos
S
0
(x) = a
0
+ b
0
(x x
0
) + c
0
(x x
0
)
2
+ d
0
(x x
0
)
3
=
2
23
+
48 x
23
+ (x 1)
2

2 (x 1)
3
23
= 1
4
23
x +
29
23
x
2

2
23
x
3
S
1
(x) = a
1
+ b
1
(x x
1
) + c
1
(x x
1
)
2
+ d
1
(x x
1
)
3
=
61
23
+
88 x
23
+
17 (x 2)
2
23

202 (x 2)
3
23
=
1623
23

2404
23
x +
1229
23
x
2

202
23
x
3
S
2
(x) = a
2
+ b
2
(x x
2
) + c
2
(x x
2
)
2
+ d
2
(x x
2
)
3
=
1017
92

93 x
46

286 (x
5
2
)
2
23
+
206 (x
5
2
)
3
23
=
4752
23
+
5246
23
x
1831
23
x
2
+
206
23
x
3