Professional Documents
Culture Documents
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/39143452
READS
3,699
1 author:
Jaime Puig-Pey
Universidad de Cantabria
37 PUBLICATIONS 233 CITATIONS
SEE PROFILE
PA = LU,
E ( x ) = f ( x ) p( x )
A = QR
f (x ) d p(x ) d
METODOS NUMERICOS:
EJERCICIOS RESUELTOS DE EXAMEN
Leer x, a i , i = 0,..., n
p = an
Desde i = n 1 hasta 0, de 1 en 1
p = p * x + ai
Sigte i
Escribir x, p
INDICE
Indice ......................................................................................................
Prefacio y Bibliografa ............................................................................
pgina
i
iv
1
6
12
17
21
26
31
35
39
43
48
53
57
61
67
72
77
83
89
94
100
105
pg i
PROGRAMACIN LINEAL
Sep96 p103, Sep93 p15 (Combinatorio)
Dim4: Feb93 p5, Sep95 p70
Dim3: Feb94 p33, Sep94 p41, Par Dic94 p51, Feb96 p92
Paramtricos: Par Dic9 p24, Feb95 p60, Par Dic95 p81, Feb96 p93
pg ii
DERIVACIN NUMRICA
Feb93 p9, Sep93 p17, Feb94 p35, Par Ene96 p83
Error: Feb93 p9, Sep93 p17
Deriv. Parcial: Par Feb94, Feb95 p65
Error deriv. parcial: Par Feb94 p27, Par Ene95 p54, Par Ene96 p83
Error Taylor: Feb94 p36, Par Ene95 p54
Error Diferencias divididas: Feb94 p36, Par Ene95 p53
INTEGRACIN NUMRICA
Gauss-Legendre: Feb93 p6, Par Ene95 p55, Par Ene96 p85
Integral triple Gauss-Legendre: Par Feb94 p28
Integral doble: Feb95 p62
Integral curvilnea: Sep94 p43
Error: Sep94 p43
Error en integral doble: Sep95 p73, Feb96 p95
Integral en tringulo: Sep95 p73, Feb96 p94, Sep96 p105
Error en integral en tringulo: Sep96 p105
Extrapolacin al lmite: Sep96 p106
pg iii
PREFACIO
Esta publicacin ha nacido con la idea de ayudar a comprender mejor los fundamentos y los modos de
aplicacin de los Mtodos Numricos, de gran relevancia como instrumentos de trabajo en los diversos mbitos
de la Tecnologa y de la Ciencia.
La idea se fragu tras la iniciativa de la E.T.S. de Ingenieros de Caminos de Santander de que los profesores
dieran difusin a las soluciones de los ejercicios propuestos en examen. La recopilacin aqu contenida
responde a evaluaciones sobre los temas desarrollados en las clases de la asignatura Mtodos Numricos en el
plan de estudios de Ingeniero de Caminos, Canales y Puertos en los perodos indicados. En un curso de Mtodos
Numricos de orientacin general se abordan problemas matemticos clsicos pero desde la perspectiva de
trabajar numricamente con el computador. Por eso es conveniente estar familiarizado con los conceptos
estudiados en Algebra, Geometra, Clculo Diferencial e Integral y Programacin de Computadores. Un
atractivo especial de los Mtodos Numricos es que pueden ser objeto de experimentacin en computador, con
un gran campo abierto a nuestra creatividad. Es muy provechoso realizar prcticas sobre una mquina para ver
en directo tanto la potencia en la resolucin de problemas numricos complejos, como las dificultades y
limitaciones que surgen. Existe cada vez ms software accesible y de calidad, que asimismo conviene habituarse
a utilizar.
Un estudio ms sistemtico de los Mtodos Numricos exige participar activamente en un curso reglado y/o
trabajar algn libro. Se incluyen varios en la Bibliografa. Ellos y otros son fuentes e inspiracin de ideas para
esta obra.
El autor desea a los lectores un entretenido recorrido por estos ejercicios, confiando en que les sean sugerentes y
clarificadores. Se agradecern los comentarios y las crticas, para que desde esa participacin activa tratemos
todos de mejorar en nuestra labor de cada da.
Jaime Puig-Pey Echebeste
Santander, Septiembre de 1995
ALGUNA BIBLIOGRAFA
- Burden, R. L., Faires, J.D. Anlisis numrico. 7a ed. Edit. Thompson. Mxico. 2002
- Chapra, S.C., Canale, R.P. Mtodos numricos para ingenieros con aplicaciones en computadoras
personales. 4a ed. Edit. Mc Graw Hill, 2003.
- Gasca, M. Clculo Numrico I y Clculo Numrico II. Edita UNED (Univ. a Distancia). Madrid. 1993.
- Kincaid, D., Cheney, W. "Anlisis Numrico. Las Matemticas del Clculo Cientfico". Ed. Addison -Wesley
Iberoamericana. 1994.
- Aubanell, A. Benseny, A. Delshams, A. Utiles Bsicos de Clculo Numrico. Ed. Labor Barcelona, 1993.
- Scheid, F., Di Costanzo,R.E."Mtodos Numricos"(Schaum). Ed. McGraw Hill Interamericana. Mxico.1991.
- Conte S.D., de Boor, C. Elementary Numerical Analysis. An Algorithmic Approach. 3a. Ed. 1981. Mc Graw
Hill. Hay versin en castellano de la 2a. edicin de 1972.
- Dahlquist, G., Bjorck, A. "Numerical Methods". Ed. Prentice-Hall. 1974.
- Stoer, J., Bulirsch, R. "Introduction to Numerical Analysis". Ed. Springer Verlag. 2nd ed. 1992.
- Quarteroni, A., Sacco, R., Saleri, F. Numerical Mathematics, Ed. Springer Verlag, 2nd ed 2007
. Obras que junto a la teora ofrecen software numrico:
- Quarteroni, A., Saleri, F. "Clculo Cientfico con MATLAB y Octave". Springer Verlag. 2006.
- Press W.H. Teukolsky, S.A., Vetterling, W.T., Flannery, B.P. NUMERICAL RECIPES. The Art of
Scientific Computing, 1 ed.1985, 2 ed,1992. Hay versiones para Pascal, Fortran y C. Ed. Cambridge
University Press. Se complementa con NUMERICAL RECIPES. Example Book, en Pascal, Fortran o C. Se
pueden adquirir aparte los cdigos. Disponibles con libre acceso libro y cdigos: http://www.nr.com/
- Kahaner D., Moler C., Nash. S. "Numerical Methods and Software". Ed. Prentice Hall. 1989. Incluye disquete
con software en Fortran 77.
- Puy, J. "Algoritmos numricos en Pascal. Teora y Aplicacin del Anlisis Numrico". Serv. Publicac. ETSI
Caminos. Madrid. 1985. Existen disquetes con el software.
. Software: Matlab, NAG, IMSL, (numricos), Mathematica, Maple, Derive (simblicos, numricos).
. A travs de Internet: NA-Net (Numerical Analysis Net). Es una red de dominio pblico accesible desde
Internet donde pueden acudir los interesados en el Anlisis Numrico. En ella hay disponible informacin
especializada y software de dominio pblico. Direccin Internet: http://www.netlib.org
pg iv
1992-93
Final. Feb 93. 1 Parte.
ETSICCP. SANTANDER. METODOS NUMERICOS. Curso 3. Final, 1a. parte. 9 Feb 1993
Se desea construir un depsito cilndrico de modo que el valor de su volumen quede garantizado con un error
relativo menor o igual que 0.001.
SE PIDE:
1.- Calcular el mximo error relativo Cr admisible tanto para el radio R del depsito como para su altura h, de
modo que se garantice el error relativo citado para el volumen. Se trabajar con la misma cota de error relativo
admisible Cr para las magnitudes de R y de h. El nmero se tomar con valor 3.1415927, que tiene un error
relativo menor que 0.5 10-7. (1 p.)
2.- Supuesto que el depsito debe tener una altura nominal de 3 metros y que su volumen nominal es 1000 litros,
calcular las cotas de error absoluto admisibles para h y R, como consecuencia de los resultados del apartado
anterior. (1 p.)
Solucin
1.- V= R2h
Teniendo en cuenta que aproximadamente la cota de eror relativo de un producto es la suma
de las cotas de error relativo de los factores
CEr(V) = CEr()+CEr(R2)+CEr(h) = CEr()+CEr(R)+CEr(R)+CEr(h) = 0.5 10-7 + 3Cr
Una cota de error relativo ms desfavorable en este esquema se deduce de
0.5 10-7 + 3Cr 0.001 , Cr (0.001- 0.5 10-7)/3,
despreciando 0.5 10-7 frente a 0.001 , se tiene la cota Cr 0.001/3 = 3.3333333 10-4
Sin despreciarlo: 3.333166710-4.
2.- R2h = 1000 , R= 1000 /( 30) = 3.2573501 dm.
Cr= CE(R) / 3.2573501... , CE (R) = 3.2573501 Cr = 3.25735013.333333310-4 =
= 1.086 10-3 dm. = 0.1086 mm.
Cr= CE(h) / 30
ETSICCP. SANTANDER. METODOS NUMERICOS. Curso 3. Final, 1a. parte. 9 Feb 1993
Sea la matriz
A=
1
1/2
1/3
1/2
1/3
1/4
1/3
1/4
1/5
SE PIDE:
1.- Obtener una factorizacin LU asociada a la matriz A a partir del proceso de eliminacin de Gauss con
mximo pivote parcial. Calcular su determinante a partir del proceso anterior. (1.5 p.)
2.- Obtener la factorizacin de Cholesky de A.Qu se puede decir de los signos de los autovalores de A? (1.5
p.) A partir de esta factorizacin resolver el sistema Ax=b, con A la matriz dada y bT=(1,0,0) (1 p.)
Solucin
1.- Operando con mximo pivote parcial sin escalado:
_________________________________________________________________________________________
ETSI Caminos, C. y P. Santander. Mtodos Numricos. Curso 3. Final 1a Parte. 9 Feb 93
pg 1
1
A = A0 = 1/2
1/3
1/2
1/3
1/4
1/3
1/4
1/5
1 1/2 1/3
1
1/2 1/12 1/12 = A
1/3 1/12 4/45
1 1/2 1/3
1/2 1/12 1/12 = U
1/3 1 1/180
1
1/2
1/3
0
1
1
0
0
1
1
0
0
1/2 1/3
1/12 1/12
0 1/180
Si se hubiera operado por pivoteo parcial con escalado, se habra calculado el vector d de
tamaos de filas de la matriz A , resultando (norma del mximo para los vectores filas): d=
[1,1/2, 1/3]
En la 1 etapa, se podra haber tomado el mismo elemento pivote: (1/1=1, (1/2)/(1/2)=1,
(1/3)/(1/3)=1 ). En la segunda etapa: como (1/12)/(1/2)=1/6, (1/12)/(1/3)=1/4, se habra
tomado como fila pivote la tercera, obtenindose la siguiente factorizacin PA=LU :
l112 = 1,
l11 l21= 1/2,
l11 l31= 1/3,
1
1/2
1/3
1
1/2
1/3
1/2
1/3
1/4
1/3
1/4
1/5
0
0
1/(2 3
0
1/(2 3 1/(6 5)
1
0
0
1/2
1/3
1/(2 3) 1/(2 3 =
1/(6 5)
0
1
1/2
1/3
1/2
1/3
1/4
1/3
1/4
1/5
Puesto que la matriz admite la factorizacin de Cholesky, se puede afirmar que es definida
positiva, y por tanto todos los autovalores de A son positivos estrictamente.
Para resolver Ax=b, se plantea LLT x = b, que se trata en dos fases: llamando LT x=y, se
resuelve Ly=b; obtenido y, se resuelve LT x=y, que da la solucin x buscada. En la primera
_________________________________________________________________________________________
ETSI Caminos, C. y P. Santander. Mtodos Numricos. Curso 3. Final 1a Parte. 9 Feb 93
pg 2
fase se tiene un sistema triangular inferior y en la segunda uno triangular superior. Se opera:
1
1/2
1/3
1
0
0
y1
1
y2 = 0
y3
0
0
0
0
1/(2 3
1/(2 3 1/(6 5)
1/2
1/3
1/(2 3) 1/(2 3
1/(6 5)
0
x1
x2 =
x3
1
- 3
5
, resulta: y =
1
- 3
5
9
-36
30
, finalmente: x =
ETSICCP. SANTANDER. METODOS NUMERICOS. Curso 3. Final, 1a. parte. 9 Feb 1993
Entre las tcnicas numricas de trabajo con valores y vectores propios destaca el mtodo de las potencias o de la
potencia iterada. Demostrar la convergencia de dicha tcnica iterativa. (Hiptesis previas y tesis: 1 p.
Demostracin: 1 p.)
Solucin
El mtodo de las potencias se puede enunciar como sigue:
Hiptesis:
- Sea una matriz A con n autovalores |1| > |2| ... |n| y n autovectores asociados ui,
i=1,...,n, respectivamente, y que son linealmente independientes (L.I.)
- Considrese la siguiente sucesin de vectores a partir de un y0 arbitrario (la nica
condicin para y0 es que su 1a. componente, si se expresa y0 en la base de los autovectores ui
sea no nula):
xq+1=A yq ,
yq+1=xq+1/||xq+1||, q=0,1,2,...
Tesis:
- Entonces, se tiene que lim (q ) de yq = u1, direccin propia asociada al autovalor de
mdulo mximo.
Demostracin:
n
i =1
a i u i , suponiendo que a1
0,
y q= x q/||x q|| = Ay q-1/ ||x q|| = Ax q-1/( ||x q|| ||x q-1||) = A2 y q-2/( ||x q|| ||x q-1||) =
q
A2
= a1 u1 +
=Aq y
ai ( i / 1 )
i=2
||x i || = ai
i=1
i=1
0/
Aq u
/ ||x i || =
i=1
ui 1 / ||x i ||
q
i=1
se observa que yq tiende a la direccin de u1, ya que (i/1)q , i<>1, tiende a cero al tender q
a infinito.
Por otro lado,
_________________________________________________________________________________________
ETSI Caminos, C. y P. Santander. Mtodos Numricos. Curso 3. Final 1a Parte. 9 Feb 93
pg 3
x q+1 = Ay q =
Aq+1
y 0 / ||x i || = ai
i=1
= a1 u1 +
Aq+1
i=1
ai ( i / 1 )
i=2
q+1
ui / ||x i || =
i=1
ui 1
/ ||x i ||
q+1
i=1
y eligiendo una componente, la k por ejemplo, de yq, que no sea nula, de modo que tampoco
sea nula la componente k de u1, construyamos el cociente entre las componentes sub-k de
xq+1 y de yq:
n
a1 (u1 )k +
s q+1,k = (x q+1)k / (y q)k = 1
ai ( i / 1 )
i=2
q+1
a1 (u1 )k +
ai ( i / 1 )
i=2
(ui )k
(ui )k
Solucin
1.- Los vectores factibles bsicos, que son vrtices del politopo convexo que limita la regin
admisible se pueden obtener mediante el mtodo combinatorio de 5 ecuaciones tomadas de 4
en 4 (5 sistemas) asocadas a las restriciones del problema.
As se tiene:
Sistema 1: x1=0, x2=0, x3=0 , x1 - 2x2 + x3 - x4 = 2 con solucin (0,0,0,-2), no vlido como
vrtice pues no se cumple la no negatividad para x4.
Sistema 2: x1=0, x3=0, x4=0 , x1 - 2x2 + x3 - x4 = 2 con solucin (0,-1,0,0), no vlido como
vrtice pues no se cumple la no negatividad para x2.
Sistema 3: x1 =0, x2=0, x3=0, x4=0 , con solucin (0,0,0,0), vlida como vrtice pues se
cumplen las 5 restricciones. Valor en el vrtice de la Funcin 0bjetivo: 0-0+0+20=0
Sistema 4: x2=0, x3=0, x4=0 , x1 - 2x2 + x3 - x4 = 2 con solucin (2,0,0,0), vlida como
_________________________________________________________________________________________
ETSI Caminos, C. y P. Santander. Mtodos Numricos. Curso 3. Final 1a Parte. 9 Feb 93
pg 4
_________________________________________________________________________________________
ETSI Caminos, C. y P. Santander. Mtodos Numricos. Curso 3. Final 1a Parte. 9 Feb 93
pg 5
1992-93
Final. Feb 93. 2 Parte.
ETSICCP. SANTANDER. METODOS NUMERICOS. 3er.curso. Final, 2a. parte. 9 Feb 1993
Tabla de abscisas xi y pesos wi para la integracin de Gauss-Legendre unidimensional en (-1,1)
N de puntos base
xi
wi
1
0
2
2
+1/ 3
- 1/ 3
+1
+1
0
+ 15 /5
- 15 /5
8/9
5/9
5/9
+0.861 136 31
-0.861 136 31
+0.339 981 04
-0.339 981 04
0.347 854 85
0.347 854 85
0.652 145 15
0.652 145 15
1.- Dada la tabla adjunta de pesos y abscisas base para la integracin unidimensional simple de Gauss-Legendre en
(-1,1), y apoyndose en reglas simples unidimensionales de Gauss-Legendre, deducir una regla simple de integracin
bidimensional en un rectngulo de vrtices (a, b), (a+h, b), (a+h, b+k), (a, b+k), (1p.) que se pueda aplicar adecuadamente
para integrar la funcin f(x,y) = x3y - xy + 1 en el recinto de la figura, de modo que no se produzca ningn error en la
integracin. Se debern elegir necesariamente los menores nmeros posibles de puntos base en las reglas simples
unidimensionales de integracin en que se base la regla bidimensional deducida.(1 p.) Deber calcularse la integral de la
f(x,y) anterior extendida al recinto de la figura. (1 p.) aplicando la regla obtenida.
2.- Indicar en qu abscisas se basaran las reglas simples unidimensionales para integrar exactamente en un rectngulo de
lados paralelos a los ejes la funcin f(x,y) = x3y5 - xy4 + 7 con un nmero mnimo de puntos base. Sealar en el rectngulo
(a,b), (a+h,b), (a+h, b+k), (a, b+k) los puntos del plano XY en que se realizara la evaluacin de f(x,y) en este caso.(1 p.)
Solucin
1.- Cuando se tiene un integrando polinmico en x,y y un dominio rectangular de lados
paralelos a los ejes, las integrales iteradas se separan en integrales unidimensionales, siendo
sus lmites de integracin unas constantes asociadas a las coordenadas de los vrtices del
rectngulo. En este caso, el nmero de puntos base de integracin de Gauss-Legendre a
utilizar se decide, para la direccin x, fijndose en el mximo grado de polinomio en x
presente en el integrando, y para la direccin y fijndose en el mximo grado de polinomio
en y presente en el integrando.
De este modo, puesto que se tiene grado 3 en x: 2nx-1=3, nx=2, esto es 2 puntos base en la
direccin x. Para el intervalo [-1,1], los abscisas de Gauss son +1/ 3 y -1/ 3 y 1 es el
peso para ambos puntos.
Como el grado 1 en y es 1: 2ny-1=1, se tiene ny=1, esto es , 1 punto base en la direccin
_______________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Final 2a Parte. 9 Feb 93
pg 6
b+k
f(x,y) dx dy
f(x,y) dx dy =
a+h
f(x,b+ k ) dx
2
3
3
Integral cuadrado chico1 3 + 1 3 - 3 + 1 3 +1+ 3 - 1 3 - 3 - 1 3 + 1 = 35
2 2 2 3 2 2 2 3 2
2 2 3 2 2 2 3 2
8
+1 , +1 respec.
, b + k + k 15 pesos
2 2 5
+5 , 8 , - 5 respec.
9
9
9
Al considerar la funcin de dos variables f(x,y) los puntos del plano XY en que se evala con
este tipo de integral son los 6 sealados en la figura.
_______________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Final 2a Parte. 9 Feb 93
pg 7
Y
(a+h,b+k)
b + k + k 15
2 2 5
b+k
2
b + k - k 15
2 2 5
(a,b)
O
a+h -h 1
2 2 3
a+h +h 1
2 2 3
ETSICCP. SANTANDER. METODOS NUMERICOS. 3er.curso. Final, 2a. parte. 9 Feb 1993
Se considera el problema de interpolacin osculatoria de una funcin f(x) en dos abscisas 0 , h:
f(0)=f0 , df(x=0)/dx=f0 , f(h)=f1 , donde f0, f0, f1 son valores conocidos.
SE PIDE:
1) Demostrar la existencia y unicidad de solucin de este problema de interpolacin dentro del conjunto de polinomios de
grado k, (siendo k el n natural menor posible y no siendo los polinomios a trozos), dando el valor de k. (1 p.)
2) Construir las funciones bsicas de Lagrange para este problema de interpolacin, y la expresin en esta base del
polinomio interpolador. (1 p.)
3) Obtener una expresin aproximada para la derivada segunda de f(x) en x=0, a partir de la expresin obtenida del
polinomio interpolador. (0.5 p.) Obtener el error de dicha frmula de derivacin aproximada. (1 p.)
Solucin
1) Puesto que hay 3 coacciones en la interpolacin, se estudiar un polinomio interpolador de
grado k2 (3 coeficientes o grados de libertad a determinar con las 3 coacciones)
Existencia y unicidad de la solucin:
p2(x)= a + bx + cx2 , que debe cumplir: p2(0)=f0 , p20)=f0 , p2(h)=f1 que se puede escribir
matricialmente:
f0
1 0 0
a
,
0 1 0
b = f0
c
f1
1 h h2
La existencia y unicidad de la solucin del problema de interpolacin equivale a que las tenga
este sistema de ecuaciones lineales. Por ser un sistema de 3 ecuaciones y 3 incgnitas cuya
matriz de coeficientes tiene un determinante de valor h2 , se puede afirmar que el problema
planteado con un polinomio de grado k2 tiene solucin nica.
2) Funciones de Lagrange y polinomio interpolador
Se deducirn 3 funciones de Lagrange, cada una asociada a cada una de las coacciones:
- Asociada a f(0)=f0 , la funcin l0(x), que debe verificar:
l0(0)=1;
[dl0(x) / dx ] x=0 =0;
l0(h)=0;
Resulta: l0(x) = 1 - (x2 / h2)
que se obtiene de un sistema anlogo al anterior pero con vector independiente (1,0,0)T.
- Asociada a f(0)=f0, la funcin l01(x), que debe verificar:
_______________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Final 2a Parte. 9 Feb 93
pg 8
l01(0)=0;
[dl01(x) / dx ] x=0 =1;
Resulta: l01(x) = x - (x2 / h)
l01(h)=0;
a0
b0
c0
a01
b01
c01
a1
b1
c1
1 0 0
= 0 1 0
0 0 1
_______________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Final 2a Parte. 9 Feb 93
pg 9
ETSICCP. SANTANDER. METODOS NUMERICOS. 3er.curso. Final, 2a. parte. 9 Feb 1993
En un laboratorio de Hidrulica se experimenta con un tubo en U como el de la figura, relleno en su parte inferior de un
material permeable isotrpico, enrasado hasta las lneas A...A y B...B. El sistema se alimenta de agua por la rama izquierda
mantenindose el nivel en una altura de valor 2 unidades sobre la lnea A...A, y en la rama derecha se mantiene el nivel de
agua en 1 unidad por encima de la lnea B...B, de manera que la situacin se mantiene en estado estacionario.
= 0
Se supone la discretizacin de la figura, con cuadrados de igual lado, para estudiar la distribucin del potencial en los nodos
de la malla. Las paredes del tubo en U se suponen impermeables. En todos los puntos sobre A...A, incluyendo esquinas, se
tomar P=2 , y en los de BB, incluyendo esquinas, se considerar que el potencial vale 1. Se supondr que la normal al
contorno en los nodos 3 y 7 es paralela al eje OY.
Realizando las derivaciones aproximadas a partir de la frmulas unidimensionales:
f(a) (f(a+h)-f(a))/h , f(a) (f(a)-f(a-h))/h , f(a) (f(a+h)-2f(a)+f(a-h))/h2 ,
SE PIDE:
1.- Obtener el sistema de ecuaciones que teniendo en cuenta las condiciones de contorno (1 p.) y la discretizacin adecuada
de la ecuacin diferencial (1 p.) permite aproximar la distribucin del potencial en la malla.
2.- Obtener el potencial aproximado en los nodos (0.5 p.)
Solucin
1.- Se trata de obtener el valor de la funcin incgnita, el potencial P(x,y) en los puntos de la
malla en que se ha discretizado el medio poroso donde se plantea la ecuacin de Laplace. En
concreto, se desconoce el valor de P en lo 9 nodos numerados.
Las ecuaciones que se pueden plantear son:
. La ecuacin diferencial particularizada en los puntos del medio.
. Las ecuaciones representativas de las condiciones de contorno, que son de dos tipos:
- En los bordes A...A y B...B de tipo Dirichlet, con el potencial de valor P=2 en
A...A y P=1 en B...B .
- De tipo Neumann, que afectan a las derivadas, y que consisten que el flujo normal a
la superficie del borde es nulo, por ser impermeable, es decir, que el vector velocidad del
fluido normalmente al contorno es nulo; lo que se expresa mediante la ecuacin
grad P n=0 , grad P = (P/x , P/ y)
donde grad P es el vector gradiente de la funcin potencial P, y n es el vector normal al
contorno en el punto que se considere. En concreto esta condicin se puede plantear en los
nodos 1,3,6,7,9,5.
Es conveniente hacer un balance de ecuaciones y de incgnitas en el problema con la
discretizacn sealada. Hay 9 incgnitas: los valores de P en los nodos numerados. Por otro
lado hay 6 ecuaciones, que resultan de imponer la condicin de impermeabilidad en el borde
en los nodos 1,3,6,7,9,5. Son necesarias 3 ecuaciones ms, que se pueden construir
particularizando la ecuacin diferencial en los nodos 2, 4, 8 del interior de la zona porosa.
_______________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Final 2a Parte. 9 Feb 93
pg 10
1
-4
1
1
0
0
0
0
0
0
1
-1
0
0
0
0
0
0
0
1
0
-4
1
1
0
1
0
0
0
0
1
-1
0
0
0
0
0
0
0
1
0
-1
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
1
0
0
-1
-4
1
0
0
0
0
0
0
0
1
-2
P1
P2
P3
P4
P5
P6
P7
P8
P9
-2
-2
0
0
0
0
0
-1
-1
observndose que la matriz de coeficientes es una matriz dispersa o hueca, esto es, con
muchos ceros, y que adems se puede ver en ella una estructura en banda. Obsrvese tambin
que la numeracin de los nodos puede cambiar el patrn de ceros de la matriz de coeficientes.
2.- Las 3 igualdades: P2 = P3
,
P4 = P6 ,
P8 = P7 reducen a 5 el nmero de
ecuaciones, y operando sobre ellas, se obtiene finalmente:
P1 =1.9 , P2 = P3 = 1.8 , P4 = P5 = P6 = 1.5 , P7 = P8 = 1.2 , P9 = 1.1
_______________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Final 2a Parte. 9 Feb 93
pg 11
1992-93
Septiembre 93. 1 Parte.
ETSICCP. Santander. METODOS NUMERICOS.Curso 3. Examen Extraord.Parte 1. 13 Sep 1993
Considrense dos secciones S1 y S2 de diferente rea de una misma tubera, por la que circula agua sin que se produzcan prdidas, es
decir, el caudal de agua es el mismo en ambas secciones. Las reas de las secciones S1 y S2 se conocen con errores relativos no mayores
que rs1 y rs2 respectivamente.
Se ha medido con error relativo no mayor que rv1 la velocidad v1 en un punto de S1 tal que permite calcular el caudal C=v1 s1 . Se
supone que la velocidad del agua es uniforme en toda la seccin. Con la informacin disponible se desea calcular una cota del error
relativo de la velocidad correspondiente a la seccin S2. Hacerlo empleando:
1) Una formulacin aproximada (0.5 p.).
2) Una frmula exacta (1 p.).
Solucin
Igualando caudales: v1 s1 = v2 s2
v2 = (v1 s1) / s2
1) Procedimiento aproximado:
Llamando v2 a la magnitud aproximada de v2, empleando esa notacin para el resto de magnitudes, se
puede escribir como cota de error relativo de v2:
CEr(v2) CEr(v1 s1) + CEr(s2) CEr(v1) + CEr(s1) + CEr(v2) = rv1+ rs1+ rs2
2) Procedimiento exacto:
Hay que aplicar la expresion para una cota de error relativo de un cociente, en el que el dividendo es un
producto:
CEr(v2) =CEr( (v1 s1) / s2) = [CEr(v1 s1) + CEr(s2)] / [1-CEr(s2)] =
= [CEr(v1) + CEr(s1) + CEr(v1) CEr(s1) + CEr(s2)] / [1-CEr(s2)] =
= ( rv1+ rs1+ rv1 rs1+ rs2 ) / (1 - rs2)
ETSICCP. Santander. METODOS NUMERICOS.Curso 3. Examen Extraord.Parte 1. 13 Sep 1993
Sea la matriz de smbolos
a11
a12
a13
A=
a21
a22
a23
SE PIDE:
a31
a32
a33
1) Construir su factorizacin LU suponiendo que no se hace pivoteo, y empleando la tcnica de eliminacin de Gauss. Se debern
escribir las matrices manipuladoras que posibilitan el proceso (1 p.), y se obtendr la factorizacin a partir de operar con esas matrices
manipuladoras (1.5 p.), llamadas matrices de Frobenius.
2) Calcular el determinante de A a partir de la factorizacin (0.5 p.).
Solucin
1) En la primera etapa de eliminacin, mediante la matriz F1, resultar :
F1A = F1A0 = A1, que en detalle se representa:
1
- aa21
0
a11
a21
a31
a12
a22
a32
a13
a23
a33
a11
a12
a13
_____________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Septiembre. 1a Parte. 13 Sep 93
pg 12
a12
a13
-a21 a +a
a11 12 22
-a31 a +a
a11 12 32
-a21 a +a
a11 13 23
-a31 a +a
a11 13 33
a11
0
-a31 a +a
a 12 32
- -a11
21 a +a
a11 12 22
0
0
1
a11
0
0
a12
a13
-a21 a +a
-a21 a +a
a11 12 22 a11 13 23
=U
e33
-a31 a +a
12 32
-a
a
a
+ a 31 a13 +a33
e33 = - -a21 a13 +a23 a11
11
21 a +a
11
a11 12 22
En resumen, se ha obtenido: F2 F1 A = U . Despejando A = F1-1 F2-1 U .
Las inversas F1-1 y F2-1 y el producto F1-1 F2-1 se obtienen fcilmente:
F1-1 =
a21
a11
a31
a11
F1-1 F2-1 =
F2-1 =
-a31
a11 a12 +a32
-a21
a11 a12 +a22
a21
a11
a31
a11
-a31 a +a
a11 12 32
-a21 a +a
a11 12 22
=L
Solucin
a.- Puesto que el vector w = (1/ 3 ,1/ 3 ,1/ 3 ) tiene norma eucldea unidad, la matriz de Householder a
l asociada es: H= I - 2 w wT , es decir:
1
H=I-2wwT= 0
0
1 0 0
= 0 1 0 -2
0 0 1
0 0
1 0
0 1
1/3
1/3
1/3
1/ 3
- 2 1/ 3
1/ 3
1/3 1/3
1/3 1/3
1/3 1/3
1/ 3 1/ 3 1/ 3 =
1/3 -2/3 -2/3
= -2/3 1/3 -2/3
-2/3 -2/3 1/3
Aplicando la semejanza, resulta la matriz N= H-1MH= HMH con los mismos autovalores que M:
c.- Recordando la definicin de norma subinfinito de ua matriz A, y que todos sus autovalores estn en
un crculo de centro el origen y radio una norma matricial de A, todos los autovalores de la siguiente
matriz A estn en un crculo de radio 8, pues su norma matricial subinfinito es 8.
_____________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Septiembre. 1a Parte. 13 Sep 93
pg 14
A =
4
1
2
3
-1
1
2
0
2
1
2
-1
0
1
2
-3
1) Escribir TODAS las inecuaciones que reflejan las restricciones del problema (0.5 p.).
2) Inventar una funcin objetivo que alcance su mnimo valor para infinitos puntos de la regin A. Se indicar dicho conjunto de
infinitos puntos y el valor mnimo alcanzado por la funcin inventada (1 p.).
3) Empleando el mtodo combinatorio de restricciones, obtener la solucin del problema de minimizar
z(x1 , x2 ) = 2x1 + 7x2 (1 p.). (No vale dar la solucin por clculo geomtrico)
Solucin
1) Adems de las restricciones primarias: x1 =0 , x2 = 0
las restantes restricciones se deducen de la geometra del contorno de la regin admisible A:
. recta por (0,6), (1,3): x2-6= (x1-0) (6-3)/(0-1) , y de aqu
. recta por (1,3), (3,1): x2-3= (x1-1) (3-1)/(1-3) , y de aqu
. recta por (3,1), (6,0): x2-1= (x1-3) (0-1)/(6-3) , y de aqu
2) La funcin objetivo z = x1 + x2 alcanza el mnimo valor en todos los puntos del segmento que une
los puntos (1,3) y (3,1), tomando el valor z=4 .
La funcin z= x2 alcanza el mnimo en todos los puntos del eje x1 desde (6,0) hacia la derecha,
tomando el valor z=0 .
3) Nmero de sistemas posibles: combinaciones de 5 ecuaciones (del nmero de restricciones totales)
tomados de 2 en 2 (hay dos variables independientes) = 54 / (2) = 10
1.2.3.4.5.6.7.-
x1 =0
x1 =0
x1 =0
x1 =0
x2 =0
x2 =0
x2 =0
,
,
,
,
,
,
,
_____________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Septiembre. 1a Parte. 13 Sep 93
pg 15
_____________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Septiembre. 1a Parte. 13 Sep 93
pg 16
1992-93
Septiembre 93. 2 Parte.
ETSICCP. Santander. METODOS NUMERICOS.Curso 3. Examen Extraord. Parte 2. 13 Sep 1993
Se conoce la siguiente informacin de una funcin f(x), genrica y suficientemente suave:
En x= x0 ,
f(x0)=f0
En x= x1= x0 +h , f(x1)=f1 , f(x1)=f1
En x= x2= x1 +h , f(x2)=f2
SE PIDE:
1.- Construir la tabla de diferencias divididas y la expresin del polinomio interpolador en la forma de Newton para este problema de
interpolacin osculatoria con un polinomio de grado menor o igual que tres, que se puede demostrar que es nico para h no nulo (1.5
p.).
2.- Construir una frmula aproximada para la derivada tercera de f(x) en x= x1= x0+h (1 p.).
3.- Deducir el error de la frmula de derivacin anterior (1 p.).
Solucin
1.- La expresin del polinomio interpolador de este problema con la formulacin de Newton se puede
escribir:
p(x) = f0 + f[x0,x1](x-x0) + f[x0,x1,x1](x-x0)(x-x1)+ f[x0,x1,x1,x2](x-x0)(x-x1)2 =
Tabla de diferencias divididas de este problema de interpolacin osculatoria:
Puesto que en x1= x0 +h la interpolacin alcanza al valor de la funcin y sus derivada 1a. , la tabla se
construye tomando x0 +h como un punto doble.
x
f[]
f[ , ]
f[ , , ]
x0
f0
f[x0,x1] = (f0 - f1 )/(-h)
x1= x0+h
f1
f[x0,x1,x1]= (f0 - f1 + hf1) / h2
f[x1,x1] = f1
x1= x0+h
f1
f[x1,x1,x2] = (- hf1 - f1 + f2) / h2
f[x1,x2] = (f1- f2 )/(-h)
x2= x0+2h
f2
f[x0,x1,x1,x2] = ( f0 +2hf1 - f2 ) / (-2h3)
Quedando la representacin de Newton:
p(x) = f0 - (x-x0)(f0 - f1 )/h + (x-x0)(x-x1)(f0 - f1 + hf1) / h2 - (x-x0)(x-x1)2 ( f0 +2hf1 - f2 ) / (2h3)
2.- Derivada tercera en x= x0+h a partir de p(x) (en este caso es 3! por el coeficiente de x3 en la
expresin de p(x), resultando una constante independiente de x):
f(x0+h) p(x0+h) = - (3/ h3 )( f0 +2hf1 - f2 )
3.- El error de la frmula de derivacin anterior se deducir empleando la tcnica del desarrollo de
Taylor:
. Se desarrollar en el entorno de x=x1 (Se puede hacer en el entorno de otro punto; conviene algo
cmodo)
. Representacin en serie de Taylor de la aproximacin dada por p(x1):
faprox (x1) = p(x1) =
_____________________________________________________________________________________________________
ETSI Caminos, C.P. Santander. Mtodos Numricos.Curso 3. Septiembre. 2a Parte. 13 Sep 93
pg 17
- (3/ h3 )[f(x1) - f(x1) h + f(x1) (h2/2) - f(x1) (h3/6) + fiv(x1) (h4/24) - fv(x1) (h5/120)+ ... +...
+ 2hf(x1) - f(x1) - f(x1) h - f(x1) ( h2/2) - f(x1) (h3/6) - fiv(x1) (h4/24) - fv(x1) (h5/120) - ... ] =
= - (3/ h3 )[- f(x1) (h3/3) - fv(x1) (h5/60) -...] = f(x1) + fv(x1) (h2/20) + ...
Error = f(x1) - faprox (x1) = - fv(x1) (h2/20) +... = - fv() (h2/20) , [x0,x2]
ETSICCP. Santander. METODOS NUMERICOS.Curso 3. Examen Extraord. Parte 2. 13 Sep 1993
El problema de valor inicial y=f(x,y), x [a,b] , y (a) = y0 , se puede tratar numricamente como sigue.
Considrese una discretizacin en abscisas x0=a, x1, ..., xi, xi+1, ..., xn=b , de modo que entre cada pareja de abscisas consecutivas de
la discretizacin se mantiene una distancia constante h.
Si se integran entre xi y xi+1 los 2 miembros de la ecuacin diferencial resulta:
xi+1
xi+1
y' dx =
xi
xi+1
f(x,y) dx
xi
1.- El integrando del segundo miembro se puede aproximar interpolando en x la funcin f(x,y) en tres puntos (xi+1,yi+1), (xi,yi), (xi1,yi-1), mediante un polinomio en x , que para xi+1, xi, xi-1, toma los valores f(xi+1, yi+1), f (xi, yi), f(xi-1, yi-1), respectivamente,
con lo que ya es posible integrar el segundo miembro. De este modo se construye un mtodo de integracin del problema de valor
inicial , de tipo multipaso implcito, cuya formulacin se pide obtener. (2 p.)
La frmulacin que se pide corresponde al denominado mtodo de Adams-Moulton implcito de 2 pasos. Resulta la expresin:
yi+1 = yi + (h / 12) (5 f(xi+1, yi+1) + 8 f (xi, yi) - f(xi-1, yi-1))
2.- Recordando que el mtodo de Adams-Bashforth explcito de 3 pasos es:
yi+1 = yi + (h / 12) (23 f(xi, yi) - 16 f (xi-1, yi-1) + 5 f(xi-2, yi-2)) ,
explicar cmo se formula y se aplica el mtodo predictor-corrector basado en el mtodo de Adams -Moulton implcito de 2 pasos y el
mtodo Adams-Bashforth explcito de 3 pasos citado (0.5 p.).
Cuntas evaluaciones adicionales de la funcin f(x,y) hay que hacer para pasar de yi a yi+1 , respecto de las ya hechas en el paso
anterior, de yi-1 a yi ? (0.5 p.)
Es preciso combinar un mtodo multipaso con uno monopaso ? Justificarlo. (0.5 p.)
3.- Teniendo en cuenta que yk = f(xk, yk) , k = 0, 1, 2, ... y aplicando adecuadamente el desarrollo de Taylor como tcnica de trabajo,
se puede puede deducir fcilmente el error de truncatura local de estos mtodos paso a paso. Deducir el error de truncatura local del
mtodo de Adams-Moulton implcito de 2 pasos y el del Adams-Bashforth explcito de 3 pasos (2 p.).
4.-Deducir para qu valor natural de n se podra integrar exactamente y = xn , x [a,b] , y (a) = y0 con el mtodo predictor-corrector
anterior, y qu valor mnimo del orden de un mtodo de Taylor monopaso se debera utilizar (1 p.)
Solucin
1.- El polinomio interpolador del que se habla en el enunciado se puede escribir en la base de
Lagrange como sigue:
p2 (x)= f(xi-1 ,yi-1 )
(x-xi )(x-xi+1 )
(x-xi-1 )(x-xi+1 )
(x-xi-1 )(x-xi )
+f(xi ,yi )
+f(xi+1 ,yi+1 )
(xi-1 -xi )(xi-1 -xi+1 )
(xi -xi-1 )(xi -xi+1 )
(xi+1 -xi-1 )(xi+1 -xi )
Integrando este polinomio interpolador en x que interpola los valores sealados de f(x,y), resultar la
frmula pedida. Hay que hacer las integrales de las funciones de Lagrange de la expresin anterior en
el intervalo (xi, xi+1). No conviene hacer las integrales desarollando los polinomios que aparecen en
los numeradores en la base cannica 1, x, x2 porque las operaciones estn ms sujetas a errores y son
ms laboriosas. Conviene, bien emplear la regla de Simpson, que es exacta para este caso, o bien
integrar por partes manteniendo la estructura de los polinomios como producto de binomios. Se
actuar aqu por Simpson:
{ debe tenerse presente para que se simplifiquen los clculos que (xi - xi-1) = h = (xi+1-xi) }
_____________________________________________________________________________________________________
ETSI Caminos, C.P. Santander. Mtodos Numricos.Curso 3. Septiembre. 2a Parte. 13 Sep 93
pg 18
xi+1
xi
xi+1
xi
xi+1
xi
(x-xi )(x-xi+1 )
x +x
dx= 1 h [0+0+4( i i+1 - xi )(xi +xi+1 - xi+1 )]= - h
2
(-h) (-2h)
2
12
2h2 6
(x-xi-1 )(x-xi+1 )
dx= -1 h [0+h(-h)+4(xi +xi+1 - xi-1 )(xi +xi+1 - xi+1 )]= 2h
2
2
h(-h)
3
h2 6
(x-xi-1 )(x-xi )
x +x
+x
dx= 1 h [0+2hh+4(xi i+1 - xi-1 )( i i+1 - xi )]= 5h
2
2
2hh
6
2
12
2h
resultando entonces:
xi+1
xi+1
f(x,y) dx
y (xi+1 ) - y (xi ) =
xi
xi
yexacto
i+1 = yi + h y i + 2 y i + 6 y i + 24 y i +...
Se analiza primero el mtodo de Adams Moulton de 2 pasos (A.M.2), estudiando el desarrollo de
Taylor en el entorno de xi de cada uno de los trminos que intervienen en su formulacin:
_____________________________________________________________________________________________________
ETSI Caminos, C.P. Santander. Mtodos Numricos.Curso 3. Septiembre. 2a Parte. 13 Sep 93
pg 20
1993-94
1er. Examen Parcial
ETSI CAMINOS. SANTANDER. METODOS NUMERICOS, 3er Curso. 1a. Eval 2 Dic 1993
- Determinar por un procedimiento aproximado qu cota de error relativo se debe garantizar en la medicin del radio de un crculo para
garantizar que el rea del mismo se obtiene con error relativo menor que 0.001. Qu pasa si el valor que se toma para tiene une error
relativo mayor que 0.001? (1 p.)
- Dar un valor aproximado de con el menor nmero de dgitos de modo que el error relativo en su aproximacin sea menor que 10-4.
(0.5 p.)
( El valor de con 15 dgitos significativos por redondeo es 3.14159265358979)
Solucin:
- Puesto que A = R2. CEr(A) | CEr() 2 CEr(R) | 0.001 , analizando las diversas opciones
asociadas a los posibles signos , la ms desfavorable, que lleva a un menor valor para la cota a exigir
en la valoracin de R, es
CEr() + 2 CEr(R) 0.001 , luego
CEr(R) (0.001-CEr()) / 2
Si se toma con error relativo mayor que 0.001, no se puede resolver el problema en las condiciones
indicadas.
- Para estudiar el valor de a elegir con el menor nmero de dgitos, podemos actuar:
Si se toman 4 decimales "exactos" por redondeo, esto es 3.1416, se tiene:
Ea 0.5 10-4 , Er 0.5 10-4 / < 0.5 10-4 < 1 10-4
Si se toman 3 decimales "exactos" por redondeo, esto es 3.142, se tiene:
Ea 0.5 10-3, Er 0.5 10-3 / > 0.1 10-3 = 110-4 , no se puede garantizar Er < 10-4
Con 3.142:
Ea= |3.142-3.14159265358979...| = 0.0004073464102..., Er = 0.0004073464102.../ > 10-4
Con 3.1416:
Ea=|3.1416-3.14159265358979...| = 0.0001073464102..., Er = 0.0001673464102.../ < 10-4
ETSI CAMINOS. SANTANDER. METODOS NUMERICOS. 1a. Parte. 2 de Diciembre de 1993
Dada la matriz
2
4
6
A=
8
10
12
14
16
10
SE PIDE:
-Obtener la factorizacin LU de una matriz posiblemente permutada de A en filas, por la tcnica del mximo pivote parcial con escalado.
(1p)
- Aplicar la factorizacin anterior para calcular la matriz inversa de A, resolviendo adecuadamente las diversas secuencias de sistemas
triangulares que se pueden establecer. (No vale hacerlo por inversin de las matrices triangulares ni por Gauss-Jordan) (1p.)
- Calcular los nmeros de condicionamiento de la matriz A con la norma sub-infinito y la sub-uno. (1p.)
Se deber dejar reflejado cada paso operativo realizado, y no se admitir dar slo los resultados finales.
Solucin:
Vector de tamaos: (6,12,16)
max(2/6, 8/12, 14/16) = max (16/48, 32/48, 42/48) pivote fila 3 para la 1 etapa
____________________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. 3er. Curso 1er Parcial. 2 Dic 93
pg 21
16
12
6
pivote 2 etapa ?
16
6
12
14 16 10
8 10 12
2 4 6
3
2
1
14 16 10
+4/7 6/7 44/7
+1/7 12/7 32/7
m21 = -8/14
m31 = -2/14
14 16 10
+1/7 12/7 32/7
+4/7 6/7 44/7
0 0 1
P= 1 0 0
0 1 0
1
1/7
4/7
L=
PA=
0
0
1
U =
14 16 10
+1/7 12/7 32/7
+4/7 +1/2 4
14 16 10
0 12/7 32/7
4
0
0
14 16 10
2 4 6 = LU
8 10 12
- Proceso de inversin:
A A-1 = I ; P A A-1= P ; L U A-1= P
LU
i2
0 0 1
1 0 0
0 1 0
i3
Identificando por columnas, se tienen 3 sistemas de ecuaciones, cada uno de las cuales supone la
resolucin de dos sistemas triangulares.
1er. sistema:
1
1/7
4/7
0
0
1
0
1
1/2
14 16 10
0
0 12/7 32/7 i1 = 1
0
0
4
0
llamando a = U i1
1
1/7
4/7
0
1
1/2
0
0
1
0
a= 1
0
y resulta, a =
0
1
-1/2
i11
0
-23/24
i21 = 1 , con lo que i1 = 11/12
-1/2
-1/8
i31
Anlogamente,
LU i2 = (0,0,1)T, llamando, b = U i2, se tiene L b=(0,0,1)T obtenindose b = (0,0,1)T
continuando con U i2 = b, se tiene la segunda columna de la inversa i2 = (7/12, -2/3, 1/4)T.
____________________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. 3er. Curso 1er Parcial. 2 Dic 93
pg 22
|| A || = max(12,30,40) = 40
|| A-1 || = max((23+14+3)/24,(11+8+3)/12,(1+2+1)/8) = 44/24=11/6
N de condicionamiento sub-: || A || || A-1|| = 4044/24 = 220/3 = 73.33...
|| A ||1 = max(24,30,28) = 30
|| A-1||1 = max((23+22+3)/24,(7+8+3)/12,(1+2+1)/8) = 2
N de condicionamiento sub-1: || A ||1 || A-1||1 = 302 = 60
sub-1:
ETSI CAMINOS. SANTANDER. METODOS NUMERICOS. 3er. Curso. 1 Evaluacin. 2 Dic 1993
- Demostrar que el vector u asociado a toda matriz de Householder H (H=I-2uuT, uTu=1), es un autovector de H. Calcular el autovalor
asociado. Demostrar que todo vector v ortogonal al u anterior para la norma eucldea (vTu=0) es autovector de H. Obtener el
correspondiente autovalor. Dado un vector n-dimensional x arbitrario, cunto vale la norma eucldea ||Hx||2 en relacin con la ||x||2 ?
(1 p.)
- Calcular la matriz H0 que permite obtener el punto xs del espacio tridimensional que sea simtrico de uno dado x, respecto al plano
x/ 2 + y 2 = 0 mediante xs = H0x. Aplicarla al clculo del simtrico del punto (0,4,0)T. (1p.)
- Escribir la descomposicin espectral de la matriz H0 anterior, deduciendo autovectores ortogonales al vector u asociado a H0 por
observacin de la situacin geomtrica. Tendra sentido calcular autovectores y autovalores de una matriz de este tipo empleando el
mtodo de las potencias? Justificar la respuesta. (1.5 p.)
Solucin:
. H u = (I-2uuT) u = u - 2 (uT u ) u = u - 2 (1) u = - u . El autovalor asociado es -1.
. Sea v tal que vT u = 0. H v= (I-2uuT) v = v - 2 (uT v ) u = v - 2 (0) u = v . El autovalor asociado es 1.
. ||Hx||22 = (H x)T(H x) = xT HT H x = xT I x = xTx = || x ||22. Es decir, la norma sub-2 no se
modifica. Ello es bueno, ya que el no aumentar el tamao del vector tras la operacin, hace que las
condiciones de estabilidad numrica sean ms favorables.
. Recordando la interpretacin geomtrica de la matriz de Householder, que permite obtener mediante
H0x el vector simtrico del x respecto del plano que pasa por el origen y tiene como vector normal el u
asociado a H0, se debe elegir u = (1/ 2 , 1/ 2 , 0)T. Calculando H0,
1 0 0
0 -1 0
1/ 2
H0 = 0 1 0 - 2 1/ 2 1/ 2 1/ 2 0 = -1 0 0
0
0 0 1
0 0 1
T
el simtrico de (0,4,0) resulta ser :
0 -1 0
0
-4
x s = H0 x = -1 0 0
4 = 0
0 0 1
0
0
. Para la descomposicin espectral de H0, har falta conocer los autovalores y autovectores de la matriz
H0.
Ya se sabe que u=u1=(1/ 2 ,1/ 2 ,0)T es autovector,ya normalizado, y que su autovalor asociado es (-1).
____________________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. 3er. Curso 1er Parcial. 2 Dic 93
pg 23
Por tratarse de una matriz simtrica, las tres direcciones propias son ortogonales. Observando la
situacin geomtrica, se pueden tomar los otros dos autovectores ortogonales (y normalizados con
norma eucldea),
u2 = (-1/ 2 , 1/ 2 , 0)T y el u3 = (0, 0, 1)T , que tienen ambos como autovalores a 1.
La descomposicin espectral resulta:
H0 = 1u1 u1T + 2u2 u2T + 3u3 u3T=
-1/ 2
1/ 2
0
= - 1 1/ 2 1/ 2 1/ 22 0 + 1 1/ 2 -1/ 2 1/ 2 0 + 1 0 0 0 1 =
1
0
0
= -1
1/2
1/2
0
1/2
1/2
0
0
0
0
1/2 -1/2
+ 1 -1/2 1/2
0
0
0
0
0
0 0 0
+ 1 0 0 0
0 0 1
0 -1 0
-1 0 0
0 0 1
- No tiene sentido calcular los autovectores de H0 por potencia iterada ya que no hay un nico
autovalor de mdulo mximo.
ETSI CAMINOS. SANTANDER. METODOS NUMERICOS. 1a. Parte. 2 de Diciembre de 1993
Se tiene el problema de programacin lineal con tres variables x, y, z, definido por la funcin objetivo: f = x + z ,
con las restricciones:
x0, 0y2,
z 0 , z - 2 - x 0.
En este problema interviene el parmetro , que vara entre - y +. Se pide:
- Construir una tabla en la que se indique, para valores o intervalos significativos de dentro de su dominio de variacin, en qu puntos
del espacio tridimensional se alcanzan los valores mximo y mnimo de f, expresando asimismo dichos valores extremos de f. (2 p.)
Solucin
____________________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. 3er. Curso 1er Parcial. 2 Dic 93
pg 24
z
Caso 1: (-, -1)
Caso 3: (-1,0)
z=2
2
2
x+z=2
x+z=2
O
(-, -1)
= -1
(-1, 0)
[0,)
z=2
Max
segmento
(0,0,2) a (0,2,2)
rectngulo
(0,0,2), (2,0,0)
(2,2,0), (0,2,2)
segmento
(-2/,0,0) a (-2/, 2,0)
Ilimitado
f puede crecer ilim.
2
f
2
2
-2/
Caso 4: [0, )
x
O
Min
segmento
(0,0,0) a (0,2,0)
segmento
(0,0,0) a (0,2,0)
f
0
segmento
(0,0,0), a (0,2,0)
segmento
(0,0,0) a (0,2,0)
____________________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. 3er. Curso 1er Parcial. 2 Dic 93
pg 25
1993-94
2 Examen Parcial
E.T.S.I. Caminos. Santander.Curso 3 . METODOS NUMERICOS. 2a. Eval.4 Feb 1994
Considrese la retcula de 9 puntos de la figura, de estructura paralela a los ejes coordenados X,Y, construda en torno al punto (a,b) con
el entramado que tiene lado de tamao h.
a-h
a a+h
h
b-h
b+h
Y
Se desea interpolar una funcin f(x,y), de valor conocido en esos 9 puntos, mediante un polinomio interpolador p(x,y) que, si se
expresase en la base cannica tendra la estructura
2
cij x i y j
i,j=0
es decir, que los exponentes de x e y en los diversos trminos seran no mayores que dos.
Debido a esta especial estructura del dominio en XY y del polinomio interpolador, las funciones de Lagrange bidimensionales
se pueden construir muy fcilmente a partir de las unidimensionales. SE PIDE:
a) Escribir las funciones de Lagrange de este problema de interpolacin bidimensional (1 p.). Escribir la expresin del polinomio
interpolador en esa base de Lagrange. (0.5 p.)
b) Construir una frmula aproximada para 2f/x2 en (a,b), basndose en la interpolacin bidimensional anterior (0.5 p.) Calcular el
error de dicha frmula de derivacin aproximada (1p.)
c) Construir una frmula aproximada para 2f/xy en (a,b), tambin basada en el polinomio interpolador citado (0.5 p.)
NOTA: Las operaciones resultan muy simples si se mantienen presentes en el proceso operativo la funciones de Lagrange
unidimensionales y se consideran sus propiedades.
Solucin
a) Los puntos de la retcula son (a + ih, b+jh), de modo que i, j toman valores -1, 0, 1
Las funciones de Lagrange unidimensionales son (es til pintarlas):
(y-b)(y-b-h)
(y-b)(y-b-h)
(x-a)(x-a-h)
(x-a)(x-a-h)
=
l-1,x (x) =
=
l-1,y (y) =
2
(b-h-b)(b-h-b-h)
(a-h-a)(a-h-a-h)
2h2
2h
(y-b-h)(y-b+h) (y-b-h)(y-b+h)
(x-a-h)(x-a+h) (x-a-h)(x-a+h)
=
l0,y (y) =
l0,x (x) =
=
2
(b-b+h)(b-b-h)
(a-a+h)(a-a-h)
-h2
-h
(y-b)(y-b-h)
(y-b)(y-b+h)
(x-a)(x-a+h)
(x-a)(x-a+h)
=
l1,y (y) =
l1,x (x) =
=
(b+h-b)(b+h-b+h)
(a+h-a)(a+h-a+h)
2h2
2h2
y las funciones de Lagrange bidimensionales para el problema planteado son :
l i j (x,y) = li,x (x) lj,y (y) , i, j= -1, 0, 1.
Que verifican:
l i j (a + m h, b+n h) = 1 si i=m y j=n
l i j (a + m h, b+n h) = 0 si i <> m j <> n
Con lo que el polinomio interpolador en la base de Lagrange se expresa:
p(x,y)=
i , j= 1, 0 ,1
____________________________________________________________________________________________________________
_
ETSI CCP. Santander. Mtodos Numricos. Curso 3. 2 Eval 04.02.94.
pg 26
b)
2 p
x2
= f (a -h,
(a,b)
i,j= -1,0,1
2
d l-1,x (x)
b)
+
d x2 x=a
f (a, b)
d2 l0,x (x)
d x2
d2 li,x (x)
d x2
+ f (a+h, b)
x=a
(a,b)
d2 l1,x (x)
d x2
x=a
En la expresin anterior se ha utilizado que lj,y (b) = 0 si j =-1, 1 , y l0,y (b)=1, por ser polinomios
de Lagrange. Por otro lado:
d2 l-1,x (x)
d x2
d2 l0,x (x)
= 1 ;
2
d x2
x=a h
= -2 ;
2
x=a h
d2 l1,x (x)
d x2
= 1
2
x=a h
luego,
2 f
x2
(a,b)
2 p
x2
=
(a,b)
Haciendo referencia con los ndices i, j a los puntos (a + ih, b+jh), de modo que i, j toman valores -1,
0, 1:
(f)-10 = (f)00 - h (f/x)00 + h2/2 (2f/x2)00 - h3/6 (3f/x3)00 + h4/24 (4f/x4)00 + ...
-2 (f) 00 = -2 (f)00
(f) 10 = (f)00 + h (f/x)00 + h2/2 (2f/x2)00 + h3/6 (3f/x3)00 + h4/24 (4f/x4)00 +...
(a,b)
2 p
xy
=
(a,b)
S
i,j= -1,0,1
f (a + ih, b+jh)
dx
dy
(a,b)
como [d l0,x (x)/d x ] x=a = 0 = [d l0,y (y)/d y ] y=b y adems se tiene que:
[d l1,x (x)/d x ] x=a = 1/(2h) = [d l1,y (y)/d y ] y=b
[d l -1,x (x)/d x] x=a = - 1/(2h) = [d l -1,y (y)/d y ] y=b resulta finalmente:
2 f
xy
(a,b)
2 p
xy
=
(a,b)
____________________________________________________________________________________________________________
_
ETSI CCP. Santander. Mtodos Numricos. Curso 3. 2 Eval 04.02.94.
pg 27
a2
b2
c2
xm yn zp dx dy dz
c1
a1
b1
con m, n, p, enteros no negativos menores o iguales que 3, y (a1, a2), (b1, b2), (c1, c2), intervalos reales finitos, permitan su clculo sin
error. (1 p.)
b) Escribir la regla de integracin resultante para esa integral (1p.)
c) Aplicarla al clculo de la integral
x3 y2 z dx dy dz
D
donde D es el dominio de la figura, una rosquilla cuadrada formada por un paraleleppedo de aristas ortogonales, base cuadrada de
lado 3, con altura 1, que tiene un agujero pasante en el centro de caras laterales paralelas a las del paraleleppedo. La seccin del hueco
es cuadrada de lado 1 ( 1 p.)
1
1
1
1
O
3
(3,3,1)
1
3
Y
Solucin
a) Clculo de puntos base y pesos . Puesto que
a2
b2
a1
b1
a1
c1
zp dz
yn dy
xm dx
xm yn zp dx dy dz =
c2
b2
a2
c2
b1
c1
la integral triple se estudia como tres integrales simples. Como el grado de los integrandos polinmicos
es <= 3, hacen falta: 2n+1=3, n=1, n+1=2 puntos base. Puesto que los intervalos son finitos podemos
mediante cambio de variable transformarlos en el [-1,1]
Los puntos base se calculan como ceros del polinomio ortogonal de grado 2 en [-1,1]
Se utilizar el producto escalar de polinomios:
1
Pi (x) Pj (x) dx
-1
-1
-1
-1
-1
-1
l1 (x))dx
l0 (x)dx + f(x1 )
p(x) dx =
Luego los pesos son justamente las integrales de las funciones de Lagrange asociadas a los puntos
base. As:
1
x- 1
3 dx= 1
w0 = l0 (x) dx =
1
- - 1
-1
3 3
-1
l1 (x) dx =
w1 =
-1
-1
x+ 1
3 dx= 1
1+ 1
3 3
b2
a1
b1
a1
c1
zp dz =
yn dy
xm dx
xm yn zp dx dy dz =
c2
b2
a2
c2
b1
c1
a2 -a1
2
b2 -b1
2
c2 -c1
2
____________________________________________________________________________________________________________
_
ETSI CCP. Santander. Mtodos Numricos. Curso 3. 2 Eval 04.02.94.
pg 29
Solucin
a) Error de truncatura local
. Representacin exacta en forma de desarrollo en serie en el entorno de (xi, yi) de lo que pasa en i+1
supuesto exacto lo que ocurre en i:
yi+1 = yi + h yi+h2/2 yi + h3/6 yi + ...=
= yi + h f(xi, yi)+ h2/2 [fx(xi, yi) + fy(xi, yi) f(xi, yi)] + h3/6 [fxx(xi, yi) +
+ 2 fxy(xi, yi) f(xi, yi)+ fyy(xi, yi)f(xi, yi)2 + fy(xi, yi)fx(xi, yi) +
+ fy(xi, yi)2f(xi, yi)] + O(h4)
. Representacin en forma de desarrollo en serie de la aproximacin dada por el mtodo de Heun de lo
que pasa en i+1 supuesto exacto lo que ocurre en i (se hace el desarrollo en serie en dos variables de
f(x,y)) :
yi+1 = yi + (h / 4) [ f(xi, yi) + 3 f ( xi + 2h/3 , yi+ 2h/3 f(xi, yi) ) ] =
= yi + (h / 4) f(xi, yi) + (3h/4 )[ f(xi, yi) + (2h/3) fx(xi, yi) + 2h/3 f(xi, yi)fy(xi, yi) +
+ (2h/3)2fxx(xi,yi)/2 + (2h/3 f(xi,yi) )2fyy(xi, yi)/2 + 2 (2h/3)(2h/3) f(xi,yi) fxy(xi,yi) /2] +
+ O(h4) =
= yi + (h / 4) f(xi, yi) +(3h/4 ) f(xi, yi) + (h2/2)fx(xi, yi) + (h2/2) f(xi, yi) fy(xi, yi) +
+(h3/6)fxx(xi, yi)+(h3/6) f(xi, yi)2 fyy(xi, yi)+(h3/3) f(xi, yi) fxy(xi, yi) + O(h4)
Obsrvese que la diferencia entre la representacin exacta y la aproximada viene dada por :
h3/6 [fy(xi, yi) fx(xi, yi) + fy(xi, yi)2 f(xi, yi)] + O(h4)
Luego el error de truncatura local es del orden de h3. Lo anterior recoge su parte principal.
b) Mtodo de Taylor de orden 2 para la ecuacin dada:
. Se pasa la ecuacin de orden 2 a un sistema de 2 ecuaciones de primer orden:
y1=y2 y2= exp (-x2) ,
y1(0)=1
y2(0)=1
(y1 hace el papel de y , y2 hace el papel de y )
y1, i+1 = y1,i + h y1,i+h2/2 y1,i = y1,i + h y2,i+h2/2 exp (-xi 2)
y2, i+1 = y2,i + h y2,i+h2/2 y2,i = y2,i + h exp (-xi 2) - h2 xi exp (-xi 2)
adems se consideran las condiciones iniciales y1,0=1
y2,0=1
( para la expresin de y2, i+1 se ha aplicado que y2,i = -2xi exp(-xi 2))
. Para x=h, se busca y2,1, luego y(h) y2,1 = 1 + h exp(0) - 0 = 1+h
c) Mtodo de Heun para la ecuacin anterior:
El problema en forma de sistema, como se ha hecho antes, tiene a y como vector de componentes
escalares y1, y2; por otra parte f(x,y) es una funcin vectorial de componentes escalares f1(x,y1,y2),
f2(x,y1,y2).Se tiene que :
y1=f1(x,y1,y2)= y2
y2= f2(x,y1,y2) = exp (-x2) , y1(0)=1
y2(0)=1
En el mtodo de Heun se consideran y y f (x,y) como entidades vectoriales. As:
y1, i+1 = y1,i + h/4 [ f1(xi,y1,i,y2,i) + 3 f1(xi+2h/3 ,
y1,i+ 2h/3 f1(xi,y1,i,y2,i),
y2,i+ 2h/3 f2(xi,y1,i,y2,i)) ]
y2, i+1 = y2,i + h/4 [ f2(xi,y1,i,y2,i) + 3 f2(xi+2h/3 , y1,i+ 2h/3 f1(xi,y1,i,y2,i),
y2,i+ 2h/3 f2(xi,y1,i,y2,i)) ]
Que para el caso del problema resultan:
y1, i+1 = y1,i + h/4 [ y2,i + 3 (y2,i+ 2h/3 exp (-xi 2)) ]
____________________________________________________________________________________________________________
_
ETSI CCP. Santander. Mtodos Numricos. Curso 3. 2 Eval 04.02.94.
pg 30
____________________________________________________________________________________________________________
_
ETSI CCP. Santander. Mtodos Numricos. Curso 3. 2 Eval 04.02.94.
pg 31
1993-94
Final. Febrero 94. Parte 1
E.T.S.I. Caminos. Santander. METODOS NUMERICOS. Curso 3. Final.1a. Parte. 19 Feb 1994
a) Demostrar que una cota del error relativo de la suma de k nmeros positivos, que se sabe tienen todos ellos un error
relativo menor que m, cota conocida, es el propio valor m. (0.5 p.)
b) Se tienen dos vectores u y v de igual dimensin, ambos con todas sus k componentes positivas. Se sabe que todas las
componentes de u tienen una cota comn de error relativo ru de valor conocido, y todas las componentes de v tambin
tienen una cota de error relativo rv de valor conocido.
Se desea obtener una cota del error relativo del valor del producto escalar uTv. Obtener una cota por un procedimiento
aproximado (0.5 p.). Obtener una cota por un procedimiento exacto (0.5 p.)
Solucin
a) Supuesto que los k nmeros xi son positivos,
k
CEr(x1 +...+ xk ) =
CE(x1 +...+ xk )
=
|x1 +...+ xk |
b) u = {ui } , i=1,..,n
i=1
CE(xi )
k
i=1
xi
i=1
m xi
xi CEr(xi )
k
xi
i=1
v = {vj } , j=1,..,n
i=1
k
=m
xi
i=1
, ui, vj > 0,
uTv = ui vi
i=1
Solucin
a) Matriz de Householder:
1 0 0
1/ 3
2
0 1 0
1/ 3
0 0 1
1/ 3
1/ 3 1/ 3 1/ 3
M=
3 0 0
0 2 0
0 0 1
5/3 -2/3 0
-2/3 2 2/3
0 2/3 7/3
c) Al ser simtrica la matriz M, los autovalores son reales y los crculos de Gerschgorin se
reducen a intervalos sobre el eje real, el de abscisas:
|c1- 5/3| 2/3 , |c2- 2| 4/3 , |c3- 7/3| 2/3 ; todos los autovalores estn en la unin
conjuntista de estos intervalos, es decir , en [2/3, 10/3]. No se puede hablar de intervalos
para los autovalores individualmente considerados, sino del conjunto de ellos, ya que no hay
crculos de Gerschgorin disjuntos.
d) Factorizacin de Cholesky de M:
M = L LT =
5/3
-2/ 15
0
0
26/15
10/39
0
0
27/13
5/3
0
0
-2/ 15
26/15
0
0
10/39
27/13
Solucin
- Si A tiene autovalores i entonces A-1 tiene autovalores 1/i . A y A-1 tienen los mismos
__________________________________________________________________________________________________
_
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Final,1a. Parte. 19 Feb 94.
pg 32
1
1/2
4
0
0
1
3
3/2
= 4 3 =A
2 3
Etapa q=0:
1
1/2
1
1/2
0
1
0
1
t11
4
0
= 1 ,
1
1
t2
3
3/2
t11
t12
1
1/2
4
0
3
3/2
x1 =
1
1/2
, x1 =
0
1/3
4
0
0
1
0
1
t21
= 0
2
1
t2
3
3/2
,
t21
t22
= 0
1
4
0
3
3/2
x2 = 0
1
, x2 = -1/2
2/3
__________________________________________________________________________________________________
_
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Final,1a. Parte. 19 Feb 94.
pg 33
Solucin
a) Por ejemplo, O1= x + y + z , cuyo mximo se alcanza en V3 (0,0,4), con O1(0,0,4) = 4,ya
que O1(0,0,0) = 0 < 4, O1(2,0,0) = 2 < 4, O1(0,3,0) = 3 < 4
b) Mtodo combinatorio: Se combinan restricciones tomando en todas signo de igualdad . Se
considera el nmero de combinaciones con 4 elementos (el nmero de restricciones, contando
tanto las de no negatividad de las variables como las otras) tomados de 3 en 3 (dimensin del
problema, es decir, el nmero de variables independientes. Aqu: C43 = (432) / (32) = 4 .
Del conjunto de soluciones de estos sistemas salen los candidatos a vrtices, que para serlo
realmente del politopo convexo (vectores factibles bsicos), deben verificar todas las
restricciones existentes. De estos vrtices efectivos se elegir el que optimice la funcin
objetivo.
Sistema 1:
Sistema 2:
Sistema 3:
Sistema 4:
V0= (0,0,0)
V3= (0,0,4)
V2= (0,3,0)
V1= (2,0,0)
;
;
;
;
O1(0,0,0) = 0
O1(0,0,4) = 4
O1(0,3,0) = 3
O1(2,0,0) = 2
__________________________________________________________________________________________________
_
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Final,1a. Parte. 19 Feb 94.
pg 34
1993-94
Final. Febrero 94. Parte 2
E.T.S.I. Caminos. Santander. METODOS NUMERICOS.Curso 3. Final.2Parte. 19 Feb 1994
Se desea construir el polinomio interpolador p(x) con el menor grado posible que interpole los valores de una funcin f(x) en
x=0 y x=h, as como los valores de la primera y segunda derivada de f(x) en x=0. Todos estos valores f0 , fh , f0, f0 son
conocidos.
Se deducir dicho polinomio mediante:
a) La representacin de Lagrange (0.5 p.), calculando antes las funciones de Lagrange del problema. ( 1 p.)
b) La representacin de Newton, calculando antes la tabla de diferencias divididas adecuada , que utiliza la definicin
generalizada de diferencias divididas que pueden tener argumentos repetidos.(1 p.)
El polinomio en cuestin se puede expresar:
p(x)= f0 + f0 x + f0 x2/2 + ( fh - f0 - h f0 - h2 f0 /2 ) x3/ h3
c) Deducir una expresin aproximada para la derivada segunda de f(x) en x=h/2, a partir del polinomio interpolador (0.5 p.),
y:
- Obtener el error de dicha frmula de derivacin aproximada usando el desarrollo de Taylor como herramienta. (1 p.)
- Obtener el error de dicha frmula de derivacin aproximada basndose en la formulacin del error de interpolacin mediante
diferencias divididas. (0.5 p.)
d) Deducir una regla de integracin simple de f(x) en (0,h) de tipo interpolatorio (0.5 p.) basada en el polinomio interpolador
de este ejercicio, y obtener el error de dicha frmula de integracin aproximada. (1 p.)
Solucin
a) Puesto que se imponen 4 coacciones, se plantea el polinomio de grado menor o igual que 3
(4 coeficientes). Las 4 funciones de Lagrange li(x) , i=0,1,2,3 , se construirn en el conjunto de
polinomios de ese grado, determinando los 4 coeficientes de cada li(x) con sus coacciones
asociadas, que se recogen a continuacin:
l0(x): l0(0)=1; [dl0(x) / dx ] x=0 =0; d2l0(x) / dx2 ] x=0 =0; l0(h)=0;
Resulta: l0(x) = 1 - (x3 / h3 )
l1(x): l1(0)=0; [dl1(x) / dx ] x=0 =1;
Resulta: l1(x) = x( 1 - (x2 / h2) )
l1(h)=0;
l2(h)=0;
l3(h)=1;
Representacin de Lagrange:
p(x) = f0[1 - (x3 / h3 )] + f0[x( 1 - (x2 / h2) )] + f0[( x2 / 2)( 1 - (x / h) ] + fhx3 / h3
b) Tabla de diferencias divididas de este problema de interpolacin osculatoria:
Puesto que en x=0 la interpolacin alcanza al valor de la funcin y sus derivadas sucesivas
hasta la 2a. , la tabla se construye tomando x=0 como un punto triple.
x
f[]
f[ , ]
f[ , , ]
0
f0
f[0,0] = f0
0
f0
f[0,0,0] = f0 / 2!
f[0,0] = f0
0
f0
f[0,0,h] = (((fh - f0 )/h) - f0 ) / h = (fh - f0 - hf0) / h2
___________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Final 2a. Parte. 19.02.94.
pg 35
fh
f[0,0,0,h] =( (f0/ 2) - (fh - f0 - hf0) / h2 ) / (0-h) = (fh - f0 - hf0 - f0h2 / 2 ) / h3
I
0
2
3
p(x) dx = 3h f0 + h f0 + h f0 + h fh
4
4
24
4
- Error de la frmula:
. Representacin en desarrollo en serie de Taylor en el entorno de x=0 de la integral exacta
(se desarrolla en serie en torno a x=0 el integrando, y se integra trmino a trmino, suponiendo
que f(x) cumple las condiciones para poder hacerlo):
___________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Final 2a. Parte. 19.02.94.
pg 36
I=
f(x) dx=
0
f(0+x) dx=
0
2 3
4
5
2
3
4
5
6
= hf0 +h f0 +h f0 + h f0 + h f0iv + h f0v + ...
2
6
24
120
720
5
4
3
2
2 3
p(x) dx = 3h f0 + h f0 + h f0 + h (f0 +hf0 +h f0 +h f0 + h f0iv + h f0v ...) =
120
24
6
2
24
4
4
4
6
5
4
3
2
= hf0 +h f0+h f0 + h f0 + h f0iv + h f0v +...)
480
96
24
6
2
Solucin
Hay que tratar dos problemas de valor inicial:
Prob1: y1 + y1 = 0 x [0,1]
, y1(0) = 0 , y1(0) = 0
Prob2: y2 + y2 = 0 x [0,1]
, y2(0) = 0 , y2(0) = 1
Para ambos problemas se puede considerar la ecuacin diferencial en w(x):
w + w = 0
w = - w, variando las condiciones auxiliares del Prob1 al Prob2
Lo primero a hacer es, puesto que es UNA ECUACIN DE 2 ORDEN , se pasa a UN SISTEMA DE
2 ECUACIONES DE 1ER. ORDEN . Para ello se hace un cambio de variables dependientes:
w w1
w w2
quedando el sistema de 1er. orden explcito:
w1 = w2
x[0,1]
w2 = -w1
y las condiciones iniciales
Prob1: w1(0)= 0 , w2(0)= 0
Prob2: w1(0)= 0 , w2(0)= 1
___________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Final 2a. Parte. 19.02.94.
pg 37
Valores aproximados
x
y
y
0.5
0.885 1.623
1
1.555 1
Errores relativos
x
y
y
0.5
0.23% 0.06%
1
0.135 0%
___________________________________________________________________________________________________
ETSI CCP. Santander. Mtodos Numricos. Curso 3. Final 2a. Parte. 19.02.94.
pg 38
1993-94
Septiembre 94. 1 Parte.
ETSICCP. Santander. METODOS NUMERICOS. Curso 3. Examen Extraord. Parte 1. 7 Sep 1994
1.- Un pilar vertical transmite una carga vertical descendente sobre un terreno horizontal, y se sabe que la valoracin de la carga
vertical tiene como cota de error relativo el valor crc.
Por otro lado, el pilar acaba inferiormente en una zapata cuya zona de apoyo en el terreno es horizontal y rectangular, sabindose
las dimensiones de los lados del rectngulo con unas cotas de error relativos cra y crl para el ancho y el largo del rectngulo
respectivamente.
Calcular una cota de error relativo para la presin que la base de la zapata ejerce sobre el terreno, empleando: a) Un
procedimiento aproximado (0.5 p.) b) Un procedimiento exacto (1 p.).
Solucin
Presin sobre terreno = Carga/Superficie zapata ; Superficie zapata= Ancho Largo
a) Proc. aprox.:
CEr(Superficie) cra + crl
CEr (Presin) CEr (Carga) + CEr(Superficie) = crc + cra + crl
a) Proc. exacto.:
Solucin
En 15 bits se representan: 215 = 32 768 nmero diferentes, en binario puro (215 = Variaciones
con repeticin de 2 elementos tomados de 15 en 15).
Luego el computador puede representar:
Enteros positivos: desde 1 a 32 767
El cero: 0 , se representa dos veces, con bit de signo + -.
Enteros negativos: desde -1 a -32 767
ETSICCP. Santander. METODOS NUMERICOS.Curso 3. Examen Extraord. Parte 1. 7 Sep 1994
3.- Sea una matriz de Householder H=I -2 v vT /(vTv), con v cualquier vector columna no nulo. Demostrar (1 p.) que eligiendo
v = a-r ,
con a r y ambos con la misma norma eucldea, (esto es, norma al cuadrado: (|| a ||2)2= aTa = rTr = (|| r ||2)2 )
se consigue que:
Ha=r.
Esta importante propiedad sirve para transformar un vector dado a de modo que el transformado r sea uno con una cierta
estructura de inters, como por ejemplo un cierto patrn de ceros en sus componentes.
As, dado el vector a=[2,6,3] T obtener (1 p.) la matriz de Householder H tal que H a = r , donde r es un vector columna con su
segunda y su tercera componentes nulas (la 1 componente de r se deduce de la condicin que se exige a a y r).
Solucin
T
T
T
T
T
T
H a =(I- 2 v v ) a = a - 2 (a - r) (a - r) a = a - 2 (a - r) (a a - r a) = a - 2 (a-r) (a a - r a) = a - (a - r) = r
vTv
(aT - rT) (a - r)
(aTa - rTa - aTr + rTr)
(aTa - rTa - rTa + aTa)
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Examen Extraord. 1a. Parte. 7 Sept. 94.
pg 39
3/ 7
1 0 0
5
1 0 0
25 30 15 2 / 7 6 / 7
H = 0 1 0 2 6 ( 5 6 3) = 0 1 0 1 30 36 18 = 6 / 7 1 / 35 18 / 35
0 0 1 70 3
0 0 1 35 15 18
9 3 / 7 18 / 35 26 / 35
4
1
2
1
8
6
SE PIDE:
2
6
9
a) Deducir a partir de sus crculos de Greschgorin que se trata de una matriz definida positiva. Indicar un intervalo que contenga
a todos los autovalores de A, a partir de dichos crculos.(1 p.)
b) Construir la factorizacin de Cholesky de A (1 p.)
A=
Solucin
a) Como se trata de una matriz simtrica, todos los autovalores son reales, y entonces los
crculos de Gerschgorin se reducen a intervalos.
C1: | - 4| 3
C2: | - 8| 7
C3: | - 9| 8
que equivalen a
C1:1 7
C2: 1 15
C3: 1 17 ,
Segn el teorema de Gerschgorin, todos los autovalores estn en la unin conjuntista de los
crculos (intervalos en esta caso), es decir, pertenecen a [1,17]. Luego A es definida positiva
pues todos sus autovalores son positivos.
b) Cholesky: A = L LT , e identificando elemento a elemento en la igualdad matricial,
l11 0 0
l21 l22 0
l31 l32 l33
l112 = 4,
l11 l21= 1,
l11 l31= 2,
1/2
1/2
31/2
31/2 11/ 31
11/ 31
127
31
, es decir,
127
31
4 1 2
= 1 8 6
2 6 9
pg 40
Solucin
Descomponiendo A = M - N, con |M| 0 Para el sistema Ax = b, los mtodo iterativos en
general se plantean: xm+1= Bxm+c , con B = M-1 N , c = M-1 b.
A=
a b
0 0
=D-L-U= a 0 - 0 -b
c d
-c
0
0 d
0 0
0 -b/a
-c/d 0
, autovalores de B de Jacobi:
-b/a
-c/d
=0
0
0
-b/a
bc/(da)
-b/a
bc/(da)
=0
(bc/(ad) - )= 0: = 0, = bc/(ad); la condicin || < 1 implica |bc/(ad)| < 1, esto es, |bc| < |ad|
ETSICCP. Santander. METODOS NUMERICOS.Curso 3. Examen Extraord. Parte 1. 7 Sep 1994
6.- Dada la funcin objetivo z(x1, x2, x3) = x1 + x2 + 3x3 ,
sometida a las restricciones x1, x2, x3 0,
x1 + x2 + x3 = 1 ,
SE PIDE: Obtener dnde alcanza su valor mnimo, indicando asimismo dicho valor mnimo. El problema se estudiar por 2
mtodos: a) Geomtrico (0.5 p.) b) Combinatorio de restricciones (1 p.)
x3
B (0,0,1)
(0,0,0)
C (0,1,0)
x2
x1 A (1,0,0)
a) Geomtricamente:
Se deduce que el conjunto de soluciones factibles est formado por todos los puntos de la
superficie del tringulo de vrtices A, B, C. En algn vrtice se debe alcanzar el mnimo de z. Al
evaluar la funcin objetivo: z(A) = 1, z(B) = 3 , z(C) = 1 . El que se alcance el mnimo en los
extremos del lado AC implica que se alcanza en todos lo puntos intermedios del lado AC. Luego,
MINIMO de z : z=1 que se alcanza en todos los puntos del lado AC.
b) Combinando restricciones:
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Examen Extraord. 1a. Parte. 7 Sept. 94.
pg 41
Hay 4 restricciones con las que determinar los vrtices que son vectores o soluciones factibles
bsicas, y que son puntos en 3D. El nmero de combinaciones de restricciones a considerar es
C43 = (432)/ (123) = 4.
1 restriccin: x1 0 ,
2 restriccin: x2 0 ,
3 restr.: x3 0 ,
4 restr.: x1 + x2 + x3 = 1
En los sistemas de ecuaciones asociados a las restricciones, se toman igualdades donde hay
.
Sistema 1:
Sistema 2:
Sistema 3:
Sistema 4:
Al haber empate de mnimos en 2 vrtices, la conclusin es la misma que en a). El empate en dos
vrtices implica que tambin se da el ptimo en cualquier combinacin lineal convexa de ambos
vrtices. Caso de ser 2, la citada combinacin es el segmento que los une. Si fuesen 3 sera la
superficie del tringulo que determinan.
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Examen Extraord. 1a. Parte. 7 Sept. 94.
pg 42
1993-94
Septiembre 94. 2 Parte.
ETSICCP. Santander. METODOS NUMERICOS. Curso 3. Examen Extraord. Parte 2. 7 Sep 1994
1.1) Obtener el error de la regla simple de integracin del trapecio, aplicada a una funcin genrica f(x) que se integra entre dos
abscisas separadas una distancia h. (1 p.)
1.2) Se desea construir una frmula numrica de integracin para hacer integrales curvilneas a lo largo de poligonales en el
espacio.
Considrese un segmento rectilneo rAB en tres dimensiones, uniendo los puntos A (a1,a2,a3) y B (b1,b2,b3) dado por
las ecuaciones paramtricas:
x1(u)= a1+u (b1-a1)
x2(u)= a2+u (b2-a2)
u [0,1]
x3(u)= a3+u (b3-a3)
Se desea calcular
Solucin
1.1 La regla simple del trapecio es:
a+h
f(u) du
a
f(a) + f(a+h)
h
2
f(a+t) dt=
f(u) du=
I exacta =
a+h
= hf(a) +
3
4
f(a) + h f(a) + h f(a) + ...
6
24
2
h2
4
3
2
I aprox = h f(a) + h f(a+h) = h f(a) + h f(a) + h f(a) + h f(a)+ h f(a) +... =
12
4
2
2
2
2
2
4
3
2
h
h
h
f(a) +
f(a)+...
= h f(a) +
f(a) +
12
4
2
(f(x)-p(x))dx =
p(x)dx =
f(x)dx -
Error integracin =
a+h
a+h
a+h
a+h
E(x)dx =
a
a+h
a+h
f[x0 ,x1 ,..., xn ,x] P n (x)dx={f suave, P n (x) 1 solo signo}=f[x0 ,x1 ,..., xn , ]
P n (x)dx=
a
a
a+h
1.2 En rAB :
dl = (dx1 (u))2 +(dx2 (u))2 +(dx3 (u))2 = du (b1 -a1 )2 +(b2 -a2 )2 (b3 -a3 )2 =
= DAB du , DAB = longitud segmento AB
luego la frmula simple queda:
1
rAB
rAB
DAB
f(Pi ) + f(Pi+1 )
, con Di = (xi+1,1 -xi,1 )2 +(xi+1,2 -xi,2 )2 +(xi+1,3 -xi,3 )2
2
De modo que
n
n-1
Ipoligonal = S Ii S Di
i=1
i=0
f(Pi ) + f(Pi+1 )
f(P ) + f(P1 )
f(P ) + f(P2 )
= D1 0
+ D2 1
+
2
2
2
+ ... + Dn-1
f(Pn-2 ) + f(Pn-1 )
f(P ) + f(Pn )
+ Dn n-1
2
2
_____________________________________________________________________________________________________
ETSI Caminos. Santander. Mtodos Numricos. Curso 3. Sep. 2a. Parte. 07.09.94.
pg 44
f(c)
2
1 f(c-h) - 1+ 1 f(c) + f(c+h)
2
(1+) h
Calcular el error de esta frmula de derivacin . Cunto vale el error para = 1? (1 p.)
Esta frmula de derivacin aproximada se aplicar para resolucin del siguiente ejercicio: (2 p.)
Una lmina semicircular de radio 2h y conductividad calorfica uniforme tiene en su dimetro una temperatura
constante de 0, y en el borde semicircular 100.
Empleando el mtodo de diferencias finitas aproximar la solucin en los puntos de la malla de la figura.
Nota: El sistema de ecuaciones para aproximar las incgnitas bsicas TA, TB se obtendr particularizando la ecuacin diferencial
de Laplace ( 2T/x2 + 2T/y2=0), que representa el fenmeno, en los puntos A y B, basndose para escribir las frmulas de
derivacin aproximada en la frmula de derivacin antes indicada.
100
= 3 -1
100
100
h
100
h A
h
h
h
0
0
h
B
h
100
h
0
Solucin
- Frmula de derivacin:
Polinomio interpolador en las tres abscisas : x0= c-h , x1=c, x2=c+h
p2(x) = f[x0] + f[x0,x1] (x-x0) + f[x0,x1,x2] (x-x0) (x-x1) , y su derivada segunda:
f(x0 )-f(x1 ) f(x1 )-f(x2 )
p2 (x) = 2 f[x0 ,x1 ,x2 ] = -2
, es decir,
x0 -x1 - x1 -x2
(+1) h
f (c) p2 (c) =
(+1) h
(I)
Z
Y
(2h,2h,h)
(0,0,0)
X
h
h
(2h,0,0)
(2h,2h,0)
En los 18 citados puntos gordos se conoce el valor de una funcin f(x,y,z) cuyo valor se desea extender mediante interpolacin
polinmica a todos los del dominio citado, mediante un polinomio interpolador p(x,y,z) que, si se expresase en la base cannica
tendra la estructura
cijk x i y j zk
i,j=0 a 2, k=0 a 1
es decir, en los diversos trminos, los exponentes de x e y seran no mayores que dos, y el de z menor o igual que uno.
_____________________________________________________________________________________________________
ETSI Caminos. Santander. Mtodos Numricos. Curso 3. Sep. 2a. Parte. 07.09.94.
pg 46
Debido a esta estructura del dominio espacial y del polinomio, susceptibles de representarse como producto tensorial, las
funciones de Lagrange de este problema tridimensional se escriben fcilmente a partir de las unidimensionales.
Escribir las funciones de Lagrange asociadas a los puntos del dominio, de coordenadas (2h,2h,h) (1 p.) y (2h,h,0) (1 p.).
Solucin
Las funciones de Lagrange se pueden obtener mediante producto de las unidimensionales
adecuadas.
Punto (2h,2h,h): Su funcin de Lagrange asociada , l (2h,2h,h) (x,y,z) vale 1 en el punto y cero en
los otros 17 puntos gordos. La figura siguiente recoge las unidimensionales que permiten
construirla. Obsrvese que son de grado 2 en x e y , grado 1 en z, por la estructura del polinomio
interpolador que se emplea.
1
h
O
2h
x (x-h)
2h2
1
x
1
y
h
O
2h
y (y-2h)
-h2
z
h
O
z-h
-h
_____________________________________________________________________________________________________
ETSI Caminos. Santander. Mtodos Numricos. Curso 3. Sep. 2a. Parte. 07.09.94.
pg 47
1994-95
1er. Examen Parcial
ETSI CAMINOS. SANTANDER. METODOS NUMERICOS. Curso 3. 1er. Examen Parcial. 7 Dic 1994
1.- Considrese la ecuacin de 2 grado: x2 - 12.4 x + 0.494 = 0
Calcular sus races empleando una aritmtica de coma flotante normalizada en base 10 con mantisa de tres dgitos con redondeo, de las
dos maneras siguientes:
a) Empleando la frmula clsica para las dos races de una ecuacin de 2 grado (0.25 p.)
b) Calculando las races mediante tcnicas que reduzcan la prdida de precisin por cancelacin (1 p.).
Todas las operaciones intermedias se realizarn utilizando la aritmtica sealada, y dejando constancia de esa representacin en todos
los nmeros y clculos.
Las races, redondeadas a 6 dgitos, valen x1 = 12.3600 = 0.123600 102 , x2= 0.0399675 = 0.399675 10-1 .
c) Obtener los errores absolutos y relativos de las races calculadas en a) y b) tomando como referencia de valores exactos los que se
acaban de citar (0.25 p.).
Solucin
a)
.124 e2 +
x1 =
x2 =
.124 e2 -
0.200e2
0.200e2
0.200e1
0.124e2 + 0.123e2 0.123e2 bien 0.124e2
0.200e1
0.3000 101
x3
101
101
-0.4143 101
SE PIDE:
a) Operando con aritmtica de coma flotante normalizada con mantisa en base 10 de 4 dgitos con redondeo, resolver el sistema
anterior (0.75 p.)mediante la tcnica de eliminacin de Gauss sin pivoteo (se supondr que se obtienen como ceros exactos los que se
provocan en el proceso de eliminacin) , obteniendo previamente la factorizacin LU (1 p.) de la matriz de coeficientes A. En los
clculos intermedios de eliminacin, factores, etc., se mantendr esa misma representacin. As, por ejemplo:
- 0.4143 101 +
+ 0.1500 104 0.7998 101 + 0.1500 101 (-0.8002 104) (- 0.4143 101 + 0.1200 105 ) - 0.1200 105 0.1200 105 - 0.1200 105 =
= 0.0000 100 .
b) Calcular los errores absolutos y relativos que resultan en las componentes de la solucin aproximada obtenida, en relacin con la
solucin exacta, que es el vector (1, 1, 1)T (0.25 p.).
__________________________________________________________________________________________________________
E.T.S. de Ingenieros de Caminos. Santander. Mtodos Numricos. Curso 3. 1er. Examen Parcial 7.12.94
pg 48
Solucin
a) Coeficientes de eliminacin en la etapa 1 (primera columna):
m21= -(-.2000e1) / (-.2000e-2) = -.1000e4
m31= -(.3000e1) / (-.2000e-2) = .1500e4
Coeficientes de la matriz de coeficientes que se modifican en la primera etapa :
a21(1) = a31(1) = .0000e0
a22(1) = (-.1000e4) .4000e1 + .2906e1 -.3997e4
a23(1) = (-.1000e4) .4000e1 - .5387e1 -.4005e4
a32(1) = .1500e4 .4000e1 - .4031e1 .5996e4
a33(1 )= .1500e4 .4000e1 - .3112e1 .5997e4
Si se modifican en el proceso de eliminacin los trminos independientes, b1 =b1(0 ) = b1(1 )
b2(1 )= (-.1000e4) .7998e1 - .4481e1 -.8002e4
b3(1) = .1500e4 .7998e1 - .4143e1 .1200e5 - .4143e1 .1200e5
Coeficientes de eliminacin en la etapa 2 (segunda columna):
m32= -(.5996e4) / (-.3997e4) .1500e1
Coeficientes de la matriz de coeficientes que se modifican en la segunda etapa : a32(2) = .0000e0
a33(2)= .1500e1 (-.4005e4) +.5997e4 {si se redondea -6007.5 a -6007} -.6007e4 +.5997e4
-.1000e2
{ si se redondease -6007.5 a -6008 saldra -11. Aqu se seguir con -10 }.
Si se modifican en el proceso de eliminacin los trminos independientes, b1 = b1(2 ) , b2(1 ) = b2(2 )
b3(2)= .1500e1 ( -.8002e4) + .1200e5 -.1200e5 + .1200e5 .0000e0
Por un lado resulta la factorizacin LU de A:
.1000e1 .0000e0 .0000e0
L * U = .1000e4 .1000e1 .0000e0
-.1500e4 -.1500e1 .1000e1
-.2000e-2 .4000e1
.0000e0 -.3997e4
.0000e0 .0000e0
.4000e1
-.4005e4
-.1000e2
Para resolver el sistema aprovechando que se tienen los trminos independientes modificados por la
eliminacin, se resuelve el sistema triangular equivalente al Ax = b:
x1
.7998e1
.4000e1
-.2000e-2 .4000e1
=
x
-.8002e4
2
.0000e0 -.3997e4 -.4005e4
x3
.0000e0
.0000e0
.0000e0 -.1000e2
del que resulta,
x3 = .0000e0
y1 = .7998e1
.0000e0
.1000e1
-.1500e1
.0000e0
.0000e0
.1000e1
y1
y2 =
y3
.7998e1
-.4481e1
-.4143e1
obsrvese que es el obtenido en la eliminacin de los trminos independientes, antes resuelto, que da:
x3 .0000e0
x2 .2002e1
x1 .5000e1
Si se hubiera tomado y3= -.4143e1 se tendra: x3= -.4143e1 , x2= .1587e1 , x1= .3500e1 .
b) Sol. exacta: (1, 1, 1)
Sol. aprox.: (5, 2.002, 0)
Vector de errores absolutos de las componentes: (4, 1.002, 1)
Vector de errores relativos de las componentes: (4, 1.002, 1) = (400%, 100.2 %, 100%)
Trabajando con la aritmtica del ejercicio y operando con pivoteo parcial con escalado se obtiene la
solucin exacta.
ETSI CAMINOS. SANTANDER. METODOS NUMERICOS. Curso 3. 1er. Examen Parcial. 7 Dic 1994
(Manteniendo las races cuadradas sin evaluar sale cmodo)
3.- Recordando que con una matriz de Householder H(v)=I -2 v vT /(vTv), eligiendo un vector no nulo v = a-r , con a r y ambos con
la misma norma eucldea, (esto es : (|| a ||2)2= aTa = rTr = (|| r ||2)2 ), se consigue que H a = r , SE PIDE:
a) Obtener una factorizacin Q R (1 p.), Q ortogonal y R triangular superior, de la matriz
A= 4 3
2 3
b) A partir de la factorizacin, resolver el sistema Ax = b, con la A anterior y con b= (1 , 1)T (0.5 p.).
c) Obtener las normas || ||2 de las columnas de A consideradas como vectores, y tambin las normas ||
Comparar los resultados justificando debidamente la respuesta (0.5 p.).
Solucin
a) Como la matriz A es de dimension 2, basta una etapa de matriz de Householder H1(u1) tal que:
H1(u1) A = R , matriz triangular superior. Adems por ser H1(u1) ortogonal y simtrica, ser:
A = H1(u1) R, y se tendr la factorizacin QR de A, con Q = H1(u1).
El vector v resulta de la intencin de tranformar la 1 columna de A: (4 2)T en la 1 de R: (r11, 0)T,
debiendo ocurrir que |r11|2 = 42 + 22 = 20 ; se tomar aqu r11 = 20 = 2 5.
Entonces u1 = (4-2 5 , 2)T .
La matriz de Householder se obtiene, teniendo en cuenta que
u1Tu1= 40 -16 5 ,
2- 5
u1 uT1 = 4 9-4 5
2- 5
1
2- 5 = 1 2 1 = Q
2
4 9-4 5
H1 (u1 ) = 1 0 5 1 -2
2- 5
1
0 1 40-16 5
resultando,
2
1
4
3
10
9
1
1
H1 (u1 ) A=
=
=R
5 1 -2 2 3
5 0 -3
y la factorizacin QR de A es:
A=
4 3 = 1
2 3
5
b) de Q R x = b, R x = Q-1 b = QT b ,
de donde,
c)
x2 = 1/3
2 1 1 10 9 = Q R
1 -2 5 0 -3
R x = H1(u1) b, es decir,
1 10 9 x1 = 1 3
5 0 -3 x2
5 -1
x1 = 0
__________________________________________________________________________________________________________
E.T.S. de Ingenieros de Caminos. Santander. Mtodos Numricos. Curso 3. 1er. Examen Parcial 7.12.94
pg 50
Valen lo mismo porque las matrices de Householder premultiplicando a un vector, dan otro vector
con igual norma eucldea que el primero: (|| H x ||2)2 = (Hx)T(Hx) = xT HTH x = xT H-1H x = xTx=
= (|| x ||2)2 . Esto es vlido para cualquier matriz premultiplicadora ortogonal.
ETSI CAMINOS. SANTANDER. METODOS NUMERICOS. Curso 3. 1er. Examen Parcial. 7 Dic 1994
4.- Dada la matriz
A= 1 2
2 1
SE PIDE:
a) Aplicar tres iteraciones del mtodo de la potencia iterada, empezando con el vector (1, 0) , normalizando con la norma eucldea,
para aproximar el autovector asociado al autovalor mximo en mdulo(1 p.).
b) Con el autovector aproximado obtenido, aproximar su autovalor mediante el cociente de Rayleigh (0.75 p.).
c) Obtener una cota del error absoluto de ese autovalor (0.75 p.) empleando el siguiente Teorema:
" Si A es una matriz simtrica n x n, con autovalores i, i=1,...,n, y se verifica que ||A x-Kx||2 , para algn vector x con ||x||2=1 y
algn nmero real K, se tiene: min (i=1,...,n) |i -K| "
Solucin
a) 1 iteracin:
x 1= 1 2
2 1
2 iteracin:
x 2= A y 1= 1 2 1
2 1 5
3 iteracin:
x 3= A y 2= 1 2 1
2 1 41
b)
1 = 1
0
2
1 =1
5
2
5
4
, ||x 1 ||2 = 5 , y 1 = 1 1
5 2
, ||x 2 ||2 =
5 = 1 13 , ||x || =
3 2
4
41 14
41 , y 2 = x 2 = 1
||x 2 ||2
5
41
5
4
365 , y = x 3 = 1 13
3
41
||x 3 ||2
365 14
1 13 14 1 2
1 13
y T3 A y 3
365
2
1
365
14 = 1093 2.995
=
aprox = T
1
365
y3 y3
c) El teorema sirve para acotar el error absoluto de un autovalor conociendo un aproximacin K del
mismo y una aproximacin del autovector asociado. En este caso, el papel de x lo juega y3 y el de K
756
1 41 - 1093 13 =
1
0.14795
365 40 363 365 14
365 365 -702
es decir,
E(exacto) = | exacto - aprox | 0.1495. Obsrvese que el autovalor exacto que se aproxima en
este ejercicio es exacto = 3, con lo que el error absoluto de la aproximacin, | 3 - 2.995 | = 0.005,
queda por debajo de la cota dada por el teorema.
ETSI CAMINOS. SANTANDER. METODOS NUMERICOS. Curso 3. 1er. Examen Parcial. 7 Dic 1994
5.- Considrese un problema de programacin lineal en el que el conjunto de soluciones admisibles est formado por los puntos del
interior y sobre la superficie de la pirmide que tiene como base el cuadrado formado por los puntos (2, 0, 0) ,
(4, 2, 0), (2, 4, 0), (0, 2, 0) y como vrtice el punto (2, 2, 2). Con esa regin admisible, SE PIDE:
a) Supuesto que la funcin objetivo es: f = 5x + 2y + 5z, obtener en dnde se alcanza su valor mximo, indicando adems dicho valor
(0.5 p.).
b) Supuesto que la funcin objetivo es: f = -x + y - z, obtener en dnde se alcanza su valor mnimo, indicando adems dicho valor (0.5
p.).
c) Construir un conjunto de restricciones que den como regin admisible los puntos de la citada pirmide (0.5 p.).
d) Cuntos sistemas habra que analizar para obtener los vectores factibles bsicos a partir del conjunto de restricciones anterior?
Justificar la respuesta (0.5 p.).
Solucin
__________________________________________________________________________________________________________
E.T.S. de Ingenieros de Caminos. Santander. Mtodos Numricos. Curso 3. 1er. Examen Parcial 7.12.94
pg 51
z
(2,2,2)
(0,2,0)
(0,0,0)
(2,0,0)
(2,4,0)
x
(4,2,0)
dan
dan
dan
dan
x+y-z-2=0;
-x + y - z + 2 = 0 ;
x-y-z+2=0;
x+y+z-6=0;
la restriccin es
la restriccin es
la restriccin es
la restriccin es
x + y - z -2 0
-x + y - z + 2 0
x-y-z+20
x-y-z-60
__________________________________________________________________________________________________________
E.T.S. de Ingenieros de Caminos. Santander. Mtodos Numricos. Curso 3. 1er. Examen Parcial 7.12.94
pg 52
1994-95
2 Examen Parcial
ETSI CAMINOS. SANTANDER. METODOS NUMERICOS. Curso 3. 2 Examen Parcial. 24 Ene 95
1.- Se desea construir el polinomio interpolador p(x) con el menor grado posible que interpole los valores de una funcin f(x) y su
primera derivada f(x) en x=0 y x=h. Los valores f0 , fh , f0 , fh son conocidos. Este ejemplo de interpolacin de Hermite es
asimismo de interpolacin osculatoria.
a) Deducir dicho polinomio mediante la representacin de Newton (0.5 p.), calculando antes la tabla de diferencias divididas adecuada
(1 p.) .
b) Deducir una expresin aproximada para la derivada primera de f(x) en x=h/2, a partir del polinomio interpolador (0.5 p.). Resulta la
frmula: f (h/2) (fh - f0 )3 / (2h) - (f0 + fh )/4
c) Obtener el error de dicha frmula de derivacin aproximada basndose en la formulacin del error de interpolacin mediante
diferencias divididas. (1 p.)
d) Obtener el error de dicha frmula de derivacin aproximada usando el desarrollo de Taylor como herramienta. (1 p.)
e) Dado un rectngulo de lados paralelos a los ejes XY, el paralelo a X de tamao h y el paralelo a Y de tamao k, y una funcin
(x,y) de valores conocidos en el contorno del rectngulo, se desea aproximar el valor de la expresin ( /x + /y ) en el centro
del rectngulo, en funcin de los valores de , /x , /y en puntos sobre el borde del mismo. Escribir la frmula que da dicha
aproximacin basndose en la frmula de derivacin del apartado b). Indicar con un esquema los puntos que intervienen en la
expresin deducida. (1 p.)
f) Supuesto que la funcin (x,y) ya citada es un polinomio en x, y , indicar qu trminos puede tener (x,y) de modo que la frmula
escrita para la expresin del apartado e) sea exacta. (1 p.)
Solucin
a) Tabla de diferencias divididas de este problema de interpolacin osculatoria:
En x=0 y en x=1 la interpolacin alcanza al valor de la funcin y su derivada 1a.; la tabla se
construye tomando x=0 y x=h como puntos dobles.
x
f[]
f[ , ]
f[ , , ]
0
f0
f[0,0] = f0
f[0,0,h] = (f[0,0] - f[0,h] )/ (0-h) = (-f0 / h) + (fh - f0 ) / h2
0
f0
f[0,h] = (fh - f0 )/h
h
fh
f[0,h,h] = (f[0,h] - f[h,h] )/ (0-h)= - (fh - f0 ) / h2 + fh / h
f[h,h] = fh
h
fh
f[0,0,h,h] = (f[0,0,h] - f[0,h,h] ) / (0-h) = - (fh - f0 )2 / h3 + (f0 + fh) / h2
Quedando la representacin de Newton:
p(x) = f0 + f[0,0](x-0) + f[0,0,h](x-0)2 + f[0,0,h,h](x-0)2 (x-h) =
= f0 + x f0 + x2 ((-f0 / h) + (fh - f0 ) / h2) + x2 (x-h) (- (fh - f0 )2 / h3 + (f0 + fh) / h2)
b) Derivada del polinomio:
p(x) = f0 + 2x [ (fh - f0 )3 / h2 - (2f0 + fh) / h ] + 3x2 [-(fh - f0 )2 / h3 + (f0 + fh) / h 2 ]
Haciendo x=h/2:
f (h/2) p(h/2) = (fh - f0 )3 / (2h) - (f0 + fh )/4
c) Tratamiento del error por diferencias divididas (E(x): error de interpolacin):
E(x) = f(x) -p(x) = d E(x) / dx = d {f[x0,x1,x2,x3,x] 3(x) } / dx =
= d {f[0,0,h,h,x]x2(x-h)2 }/ dx =
= f[0,0,h,h,x,x]x2(x-h)2 + f[0,0,h,h,x][2x(x-h)2 + x22(x-h)]
__________________________________________________________________________________________________________
_
ETS ICCP. Santander. Mtodos Numricos. Curso 3. 2 Examen Parcial. 24 Ene 1995.
pg 53
Y
X
A
k/2
P
h/2
(/x + /y )P
(/x)P = 3(C - A) / (2h) - [(/x)C+ (/x)A ] / 4
(/y)P = 3(D - B) / (2k) - [(/y)B+ (/y)D ] / 4
, y por tanto:
x, y,
x2, xy , y2,
x3, x2y, xy2, y3,
x4y, x3y2, x2y3, xy4,
x4y2, x3y3, x2y4,
__________________________________________________________________________________________________________
_
ETS ICCP. Santander. Mtodos Numricos. Curso 3. 2 Examen Parcial. 24 Ene 1995.
pg 54
f() d
I(x) =
0
tambin se puede plantear como la solucin de la ecuacin diferencial I(x) = f(x) , con la condicin auxiliar I(0) = 0.
Dada la funcin f(x) = x4 , SE PIDE:
a) Obtener su integral en el intervalo (0,1) , es decir, hallar I(1), empleando la regla simple de Gauss-Legendre con 3 puntos base (1 p.)
. Los pesos y abscisas correspondientes al intervalo (-1,1) son : 5/9 , 8/9 , 5/9 , y - 15 / 5 , 0 , 15 / 5 , respectivamente. Deducir
estos pesos y abscisas (1 p.)
b) Obtener I(1) a partir de la ecuacin diferencial, empleando para su resolucin el mtodo de Taylor de orden 5, con un nico paso
h=1. Obtener I(1) con ese mtodo de Taylor pero empleando un paso h=0.5 . (1 p.)
c) Comparar los resultados anteriores entre s y con el resultado exacto, justificndolos debidamente. (1 p.)
Solucin:
a) Clculo de los pesos y ceros de Gauss-Legendre para 3 puntos base de integracin.
Polinomios ortogonales en el intervalo (-1,1):
. Pk (x) tiene grado k, se emplea el producto escalar de funciones:
1
Pi (x) Pj (x) dx
P0 (x)=1
P1(x)=x+b; la cte b se obtiene de [P0(x),P1(x)] = 0, resultando b=0, P1(x)=x
P2(x)=x2+bx+c; las ctes b y c se obtienen de [P0(x),P2(x)] = 0, [P1(x),P2(x)] = 0,
resultando b=0, c= -1/3, P2(x)= x2 - 1/3
P3(x)=x3+bx2+cx+d; las ctes b, c y d se obtienen de [P0(x),P3(x)] = 0, [P1(x),P3(x)] = 0,
[P2(x),P3(x)] = 0, resultando: P3(x)= x3 - 3 x/5 , cuyas races son: - 15 / 5 , 0 , 15 / 5 , que son las
abscisas base x0, x1, x2, respectivamente para la interpolacin.
Como la integracin de Gauss-Legendre corresponde a la integracin del polinomio de interpolacin
en los puntos base:
1
f(x) dx
-1
p(x) dx =
-1
= f(x0 )
l0 (x)dx + f(x1 )
-1
l1 (x)dx + f(x2 )
-1
l2 (x)dx
-1
Luego los pesos son las integrales de las funciones de Lagrange asociadas a los puntos base. As:
1
x- 15 / 5 x+ 15 / 5
x- 0 x- 15 / 5
dx= 8/9 ;
dx = 5/9 ; w1 =
w0 =
0 - 15 / 5 0 + 15 / 5
- 15 / 5 - 0 - 15 / 5 - 15 / 5
-1
-1
1
w2 =
-1
x x+ 15 / 5
dx= 5/9
15 / 5 - 0 15 / 5 + 15 / 5
Para realizar la integral en el intervalo dado (0,1), se hace el cambio de variable que transforma el
mismo en el (-1,1). As se tiene: x= 1/2 + /2 , dx = d/2 , y
__________________________________________________________________________________________________________
_
ETS ICCP. Santander. Mtodos Numricos. Curso 3. 2 Examen Parcial. 24 Ene 1995.
pg 55
f(1/2 + /2) d
f(x) dx = 1/2
I(1) =
-1
+ 8 1
9 2
+ 5 1 + 1 15
9 2 2 5
= 1 = 0.2
5
__________________________________________________________________________________________________________
_
ETS ICCP. Santander. Mtodos Numricos. Curso 3. 2 Examen Parcial. 24 Ene 1995.
pg 56
1994-95
Final. Febrero de 1995. Parte 1
ETSI Caminos. Santander. Curso 3.METODOS NUMERICOS. Examen Final.Parte 1. 11 Feb 95
1.- Dar una formulacin para calcular la expresin: seno (x) - tangente (x) , cuando x es un valor real prximo a cero, de modo que se
controle el problema de la cancelacin (1 p.)
Solucin
Se trata de eliminar la resta, esto es, el problema de la prdida de precisin de dgitos significativos
por la cancelacin que genera la diferencia de dos cantidades pequeas y prximas.
sen(x) - tan(x)=sen(x) - sen(x) / cos(x)=sen(x) (cos(x)-1)/cos(x) = -2sen2(x/2) sen(x) / cos(x)
cos(x) -1 = cos2(x/2) - sen2(x/2)-1 = 1-2sen2(x/2)-1 = -2sen2(x/2)
Otro modo:
cos (x) -1= -(1-cos(x))(1+cos(x)/(1+cos(x)= - (1-cos2(x)) / (1+cos(x))= - sen2(x) / (1+cos(x))
con lo que:
sen(x) - tan(x) = - sen3(x) / [cos(x)(1+cos(x))]
Solucin
- El nmero de condicin de f(x) da la proporcin entre el error relativo, |(f(x+x)-f(x))/f(x)|, que se
produce en el valor de la funcin f(x) cuando se produce un error relativo |((x+x)-x)/x| en el valor de
la variable independiente x, considerando que x tiende a cero. As:
f ( x + x ) f ( x )
f ( x + x ) f ( x ) x
f (x)
f ' ( x )x
n cond (f(x))= lim x 0
= lim x 0
=
x + x x
x
f (x)
f (x)
x
- Para f(x) = x el nmero de condicionamiento resulta:
n cond (x) = xx1 / x = , es decir, toma un valor constante igual al exponente para
cualquier valor de x. Luego el problema de la evaluacin de x est bien condicionado, no hay
valores particulares de x que lo compliquen. Si es grande, naturalmente el condicionamiento es
peor, para cualquier valor de x.
M=
1 1+
1- 1
en la que el parmetro es un nmero real no negativo, calcular para qu valores de el nmero de condicin de la matriz M,
calculado con la norma matricial sub-infinito, es mayor que 10.000 (1.5 p.)
Solucin
__________________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final . Parte 1a. 11.02.1995
pg 57
1
M-1 = 1
2
-(1-)
-(1+)
1
A= 4 2
2 6
a) Escribir la formulacin que permite aproximar el autovalor ms prximo a k=2 y autovector asociado mediante la tcnica de la
potencia inversa iterada o iteraciones inversas. (1p.)
b) Se deducirn las siguientes factorizaciones de la matriz (A-k I) (k=2, I matriz identidad) para el proceso:
b.1) Doolittle ( en este caso se obtendr la factorizacin por eliminacin de Gauss) (0.5 p.)
b.2) Crout (0.5 p.)
b.3) Cholesky (0.5 p.)
b.4) QR (0.5 p.)
c) Se realizar la primera iteracin del proceso de aproximacin del autovector con cada una de las 4 factorizaciones de A obtenidas en
b): c.1) con la de Doolittle (0.25 p.); c.2) con la de Crout (0.25 p.); c.3) con la de Cholesky (0.5 p.); c.4) con la QR (0.5 p.). En todas
ellas se emplear como vector inicial el (1,0)T.
Solucin
a) El proceso algortmico de la aproximacin del autovector asociado al autovalor de A ms prximo
a k, se plantea como sigue: desde un y0 inicial, se construye la sucesin de vectores {xq}q=1,2,3,...,
{yq}, q=1,2,3,...:
xq+1 = (A-k I)-1 yq , yq+1 = xq+1 / ||xq+1|| pudindose contrastar la
convergencia, entre otros mtodos, mediante una medida de error relativo del vector yq que se va
obteniendo, parando el proceso cuando se tiene un vector yn+1 tal que || yn+1-yn || / || yn+1 || , con
un valor suficientemente pequeo. El autovalor ms prximo a k en A se puede aproximar mediante
el cociente de Rayleigh: aprox= (yn+1TAyn) / (yn+1T yn+1).
Desde el punto de vista operativo, se recomienda no realizar la inversin de la matriz A-kI, sino
resolver en cada iteracin el sistema (A-k I) xq+1 = yq , en el que se mantiene constantemente como
matriz de coeficientes (A-kI). De modo que se procede a factorizar la matriz (A-kI) al comienzo del
proceso, y en cada etapa se resuelven los sistemas simplificados que corresponden a la factorizacin.
b.1) La factorizacin de Doolittle es la LU con unos en la diagonal de L, y equivale a la de
eliminacin de Gauss. Es mediante este proceso de eliminacin como se pide realizarla. Se tiene:
2 2
, m21 = -1 , 2 2
0 2
2 4
L= 1 0 ,U= 2 2
1 1
0 2
b.2) La factorizacin de Crout es la LU con unos en la diagonal de U. Se puede actuar por
identificacin de elementos correspondientes en la igualdad matricial.
a 0 1 d = 2 2 , a=2; ad=2, luego d=1 ; b=2 ; bd+c = 4, c= 2;
b c
0 1
2 4
LU= 2 0 1 1 = 2 2
2 2
0 1
2 4
b.3) La factorizacin de Cholesky se puede realizar por identificacin:
__________________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final . Parte 1a. 11.02.1995
pg 58
2 2 = L LT =
2 4
a11
a21
0
a22
a21
,
a22
a11
0
a11 =2, a11 = 2 ; a21 a11 =2, a21 =a2 = 2; a221 +a222 =4 , a22 = 2;
11
L=
2 0 ;
2 2
2 0 2 2 =
2 2
0 2
2 2
2 4
1 1 2 2
1 -1
2 4
= 2 2 3 =R
0 -1
Puesto que H es ortogonal e igual a su inversa, de aqu se deduce directamente la factorizacin QR,
siendo Q=H:
H-1 R = HR = QR = 1 1 1 2 2 3 = 2 2 = A
2 4
0 -1
2 1 -1
c.1) A partir de factorizacin de Doolittle (los 4 procesos deben dar el mismo resultado):
2 2 x = 1 0 2 2 x = 1
1
1
2 4
1 1
0 2
0
z
llamando z 1 = 2 2 x 1 , 1 0 11 = 1 , z11 =1
z21
z21 =-1
0 2
1 1
0
2 2
0 2
y finalmente, se resuelve
x11
1
=
, dando x 1 = 1 , normalizado con la norma sub-
x21
-1
-1/2
1
0
1 , z11 =1/2
z21 =-1/2
0
y finalmente, se resuelve
1 1 x11 = 1/2 , dando x = 1
1
x21
-1/2
-1/2
0 1
c.3) A partir de factorizacin de Cholesky:
2 2 x =
1
2 4
llamando z 1 =
2 2 x ,
1
0 2
2 0 2 2 x = 1
1
2 2
0
0 2
2 0 z11 = 1 , z11 = 1/ 2
z21
z21 =-1/ 2
0
2 2
y finalmente, se resuelve
2 2 x11 = 1/ 2 , dando x = 1
1
x21
-1/2
-1/ 2
0 2
__________________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final . Parte 1a. 11.02.1995
pg 59
1
0
, es decir,
1
1
Solucin
C
X2
X1
a) La funcin objetivo no puede hacerse crecer sin lmite para ningn valor finito del parmetro m, ya
que la regin admisible es acotada, y Z siempre alcanzar su valor extremo finito en algn punto
vrtice de la regin admisible.
b) Para que Z alcance su valor mximo en infinitos puntos de la regin admisible, debe ocurrir que el
parmetro m coincida con la pendiente de alguna de las rectas que delimitan la regin admisible, es
decir, que la familia de rectas mx1-x2 = cte, sea paralela alguna de las rectas del borde de la regin
admisible. De modo que los valores candidatos para m son:
. m=1: Z=x1-x2 =, Z(A)= 1/2-3/2=-1, Z(B)=2-0= 2, Z(C)= (7/2-9/2)=-1 ,
es decir, en este caso se alcanza un mnimo de Z=-1, y no un mximo, en los infinitos puntos del
segmento AC. No es vlido para la pregunta del ejercicio.
. m=-1 : Z=-x1-x2 =, Z(A)= -1/2-3/2=-2, Z(B)=-2-0=- 2, Z(C)= (-7/2-9/2)=-8 ,
es decir, en este caso se alcanza un mximo de Z=-2 en los infinitos puntos del segmento AB.
. m=3 : Z=3x1-x2 =, Z(A)= 3 1/2-3/2=-0,
Z(B)=32-0= 6,
Z(C)= (3 7/2-9/2)=6 ,
__________________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final . Parte 1a. 11.02.1995
pg 60
es decir, en este caso se alcanza un mximo de Z= 6 en los infinitos puntos del segmento BC.
__________________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final . Parte 1a. 11.02.1995
pg 61
1994-95
Final. Febrero de 1995. Parte 2
E.T.S.I. Caminos. Santander.Curso 3. METODOS NUMERICOS. Final. Parte 2. 11 Feb 1995
1.a) Construir el polinomio interpolador p(x,y) de una funcin f(x,y) en los 6 puntos siguientes del rectngulo de vrtices (0,0), (h,0),
(0,k), (h,k) :
(0, 0) , (h/2 , 0) , (h , 0), (0 , k), (h/2 , k) , (h , k)
en los que se conoce el valor de f(x,y).
El polinomio expresado en la base monomial cannica ser de la forma:
i=0,1,2
cij xi yj
j=0,1
Se debe construir el polinomio en la base de Lagrange, para lo que se deben deducir las funciones de Lagrange de este problema de
interpolacin. (1 p.)
b) Construir la regla simple de integracin bidimensional de tipo interpolatorio sobre el rectngulo citado que se basa en la
interpolacin del apartado a). (1 p.) Resulta ser:
I hk [( f00 + f0k + fh0 + fhk )/12 + ( fh/2 0 + fh/2 k ) / 3 ]
c) Aplicar la frmula anterior a la integral, en el rectngulo citado, de la funcin f(x,y) = yx3. Comparar el resultado con la integral
exacta y explicar razonadamente la coincidencia. (0.5 p.)
d) Por qu se puede aplicar una frmula anloga a la de b) cuando se considera cualquier rectngulo de lados de tamaos h y k
paralelos a los ejes con los puntos base correspondientes? Escribir dicha frmula para el rectngulo que tiene el punto (a,b) como
vrtice inferior izquierdo y los lados de tamaos h y k.(1 p.)
e) Aplicar la regla simple anterior al clculo de la integral de f(x,y) = yx3 en el recinto de la figura adjunta.(1 p.)
(h/2,2k)
(h/2, k)
(0,0)
(3h/2,2k)
(h,k)
(3h/2,k)
(h,0)
f) Comparar el resultado con la integral exacta, que vale 2h4k2, justificando debidamente lo observado en la comparacin.(0.5 p.)
Solucin
a) Se trata de una situacin en que la funcin polinmica interpoladora de dos variables x e y es
producto tensorial de las funciones polinmicas de una variable, la de x y la de y. En efecto, se puede
factorizar el polinomio en x e y como producto de polinomios de las variables separadas:
i=0,1,2
j=0,1
cij xi yj =
i=0,1,2
ai xi
bi yj
j=0,1
y por otro lado, el conjunto de puntos bsicos forma una malla rectangular obtenible por producto
cartesiano de las mallas unidimensionales correspondientes.
Por todo ello, las funciones bsicas de Lagrange bidimensionales se pueden obtener por producto de
las unidimensionales.
Las unidimensionales son:
__________________________________________________________________________________________________________
ETSI Caminos, C. y P. Santander. Curso 3. Mtodos Numricos. Examen Final 2a Parte. 11.02.95.
pg 61
- Para x, de 2 grado:
(x-h/2)(x-h)
= 2 (x-h/2)(x-h)
(0-h/2) (0-h) h2
(x-0)(x-h)
lx,h/2 (x)=
= -4 x (x-h)
(h/2-0) (h/2-h) h2
(x-0)(x-h/2) 2
lx,h (x)=
=
x (x-h/2)
(h-0) (h-h/2) h2
lx,0 (x)=
(y-k) y-k
=
ly,0 (y)=
-k
(0-k)
(y-0) y
ly,k (y)=
= )
(k-0) k
p(x,y) dx dy
0
h
3
(x- h ) (x-h) dx = h ; Ix,h/2 =
12
2
3
x (x-h) dx = -h ; Ix,h =
6
2
(y - k) dy = -k ; Iy,k =
2
Iy,0 =
3
x (x- h ) dx = h ;
12
2
y dy = k ;
2
dx dy = -2
h2 k
h
0
h
0
h
3 2
(y-k) dy = -2 Ix,0 Iy,0 = -2 h k = hk ;
h2 k 12 2 12
h2 k
3
2
lh/2,0 dx dy = 4 Ix,h/2 Iy,0 = 4 -h -k = hk ;
3
h2 k
h2 k 6 2
h
dx dy = -2 Ix,h Iy,0 = hk
12
h2 k
l0,k dx dy =
;
0
0
h
lh/2,k
0
(x- h ) (x-h) dx
2
lh,0
0
dx dy = -4 Ix,h/2 Iy,k = hk ;
3
h2 k
2 Ix,0 Iy,k = hk ;
12
k
h2
resultando la frmula pedida: I hk [( f00 + f0k + fh0 + fhk )/12 + ( fh/2 0 + fh/2 k ) / 3 ]
__________________________________________________________________________________________________________
ETSI Caminos, C. y P. Santander. Curso 3. Mtodos Numricos. Examen Final 2a Parte. 11.02.95.
pg 62
c) Integral exacta:
h
y
0
x3
x3
dx dy =
dx
0
4 2
y dy = x4 /4 h0 y2 /2 k0 = h k ;
8
f(x,y) dx dy =
I=
0
f(x,y) dy /* trapecio */
dx
0
dx k
0
f(x,0)+f(x,k)
=
2
=k
2
que es la frmula del enunciado. Si se aplica antes la iterada en x, sale el mismo resultado.
Este proceso de deduccin de la frmula a partir de las iteradas pone de manifiesto ms claramente
que la integracin de xiyj es exacta para i=0,1,2,3 , j=0,1, pues lo es cada integracin unidimensional
realizada en cada iterada sobre los factores, Trapecio sobre yj, Simpson sobre xi. Obsrvese que la
estructura rectangular del dominio de integracin es bsica para el proceso. Obsrvese tambin que la
precisin de la frmula se analiza para el exponente de cada variable por separado, de modo que la
regla anterior no da el resultado exacto sobre f(x,y) = x2 y2 , y s lo da sobre x3 y , a pesar de que
2+2 = 3+1=4.
d) La frmula de b) se puede aplicar a cualquier rectngulo de lados de tamaos h y k paralelos a los
ejes con los puntos base correspondientes por lo siguiente:
Si en la integral
a+h
b+k
f(x,y) dx dy
I=
a
a+h
b+k
f(a+u,b+v) du dv
f(x,y) dx dy =
I=
a
hk
f(a,b)+f(a,b+k) + f(a+h,b)+f(a+h,b+k)
f(a+h/2,b)+f(a+h/2,b+k)
+
12
3
e) Se puede descomponer el dominio en dos rectngulos, uno R1 de vrtices (0,0), (h,0), (0,k), (h,k) y
otro R2 de vrtices ((h/2,k) , (3h/2,k), (h/2,2k) (3h/2,2k) . Ambos rectngulos de lados de tamaos h y
k paralelos a los ejes .
La integral extendida al dominio es la suma de dos integrales de f(x,y) , una extendida a R1, que vale
h4 k2 /8 segn se obtuvo en c) y la siguiente, extendida a R2:
h
x3
f(a+u,b+v) du dv
dx dy =
R2
hk
y0=
SE PIDE:
a) Escribir la formulacin del mtodo para la ecuacin de 2 orden (2 p.):
y y = y 2 + 6 x y 2 ,
x [0,1] ,
y(0)= 1, y(0)=0
b) Obtener las expresiones aproximadas de y e y tras dar un paso h=0.5 desde x=0. (1 p.)
Solucin
a) Lo primero a hacer, puesto que se trata de una ecuacin de 2 orden en un problema de valor
inicial, es transformar el problema en un sistema de 2 ecuaciones de 1er. orden, mediante el cambio
de variables dependientes adecuado. As se pasa de y = f(x,y,y), x[a,b] , y(a) =y0 , y(a) = y0 al
sistema siguiente en el que se introducen las variables dependientes nuevas y1 e y2, mantenindose la
misma y nica variable independiente x:
La relacin entre las nuevas variables y la antigua es: y1 y , y2 y
y1 =y2
x [a,b] , quedando las condiciones iniciales: y1(a) = y0 , y2(a) = y0
y2 = f(x,y1,y2)
__________________________________________________________________________________________________________
ETSI Caminos, C. y P. Santander. Curso 3. Mtodos Numricos. Examen Final 2a Parte. 11.02.95.
pg 64
La formulacin del mtodo de Runge Kutta de orden 4 para un sistema general de 2 ecuaciones
explcitas de 1er. orden :
y1 = f1(x,y1,y2)
x [a,b] , y1(a) = y0 , y2(a) = y0
y2 = f2(x,y1,y2)
se escribe fcilmente a partir de la formulacin para la ecuacin escalar y=f(x,y), sin ms que dar
dimensin de vector de dos componentes a y , as como a la funcin f, desdoblando tambin en dos
componentes K's y L's las funciones K's que intervienen, de modo que se puede escribir:
Para n=0,1,2,...
y2 = y22 / y1+ 6 x y1
Para n=0,1,2,...
(en x=0 es n=0)
Puesto que:
partiendo de y1,0= 1
y2,0= 0
f1(x,y1,y2) = y2
K1= hy2n
__________________________________________________________________________________________________________
ETSI Caminos, C. y P. Santander. Curso 3. Mtodos Numricos. Examen Final 2a Parte. 11.02.95.
pg 65
b) Obtener la ecuacin antes indicada (1 p.) y representar grficamente los vrtices de la malla implicados en la ecuacin, indicando
junto a cada uno de esos vrtices el valor del coeficiente que afecta en la ecuacin al correspondiente valor de . (0.5 p)
X
...
...
...
...
...
...
h
...
...
(a,b)
30
...
...
60
Si representase un potencial hidrulico, la ecuacin pedida representara aproximadamente que en (a,b) el contorno es impermeable .
Solucin
a) [grad ()](a,b) = {[/x](a,b) , [/y](a,b)}
[/x](a,b) = [-(a-2h,b) + 4 (a-h,b) - 3 (a,b)] / (-2h)
[/y](a,b) = [-(a,b-2k) + 4 (a,b-k) - 3 (a,b)] / (-2k)
b) Normal unitaria al contorno en (a,b) : n(a,b)=(cos 30, sen 30) = ( 3 /2 , 1/2)
Ecuacin pedida:
[grad ()](a,b) n(a,b) = 0
( 3 /2)[-(a-2h,b) + 4 (a-h,b) - 3 (a,b)] / (-2h)] +
+ (1/2) [-(a,b-2k) + 4 (a,b-k) - 3 (a,b)] / (-2k) = 0 , y agrupando:
- 3 (a-2h,b) + 4 3 (a-h,b) - 3 3 + 3 (a,b) - 1 (a,b-2k) + 4 (a,b-k) = 0 .
h
h
h
k
k
k
Representacin grfica:
k
h
(a,b-2k)
-1
k
(a,b-k)
4
k
(a-h,b)
(a-2h,b)
- 3
h
(a,b)
4 3
h
-3 3 -3
h k
__________________________________________________________________________________________________________
ETSI Caminos, C. y P. Santander. Curso 3. Mtodos Numricos. Examen Final 2a Parte. 11.02.95.
pg 66
1994-95
Septiembre 95. 1 Parte.
Solucin
A partir de la expresin del desarrollo en serie de Taylor de V(D,) en 2 variables, se obtiene,
tomando slo los trminos lineales, esta aproximacin para una cota del errror absoluto de V:
CE(V) |V/D| CE(D) + |V/| CE() = CE(D) D2 / 2 + CE()D3 / 6 =
= 0.013.142 + 0.0024/3 = 0.06547 metros
Se han tomado como aproximacin de D y los valores 2 y 3.14, centrados en su intervalo de
variacin.
V 3.148/6 4.1867. Este valor aproximado se usa para calcular la cota de error relativo:
CEr(V) 0.06547/4.1867 = 1.5637 E-02 =1.5637 %
Sera ms estricto poner en el denominador el valor exacto de V, o una aproximacin por defecto,
para mantener la cota. Aproximacin de V por defecto: 3.1381.993/6 = 4.1215. As se tendra:
CEr(V) 0.06547/4.1215 = 1.5884 E-02 =1.5884 % , no siendo muy relevante la diferencia.
Otro modo de estudiar las cotas de error para V consiste en partir de los errores relativos, recordando
que una cota aproximada del error relativo de un producto, se obtiene sumando las cotas de error
relativo de los factores:
CEr(V) = 3CEr(D) + CEr() 30.01/2 + 0.002/3.14 = 1.5636 E-02 = 1.5636 %
Y de aqu CE(V)=CEr(V)V 1.5636 E-02 4.1867 0.06546 metros.
De nuevo se han tomado los valores aproximados centrados para V y .
ETSICCP, Santander. METODOS NUMERICOS. Curso 3. Septiembre, Parte 1. 13 Sep 1995
2.- Se tiene un computador que representa los nmeros en simple precisin en coma (punto) flotante utilizando un espacio en memoria
de 32 bits, repartidos como sigue: 23 bits para la mantisa; 1 bit par el signo de la mantisa; 7 bits para el exponente; 1 bit para el signo
del exponente. Suponiendo que el exponente se representa como un entero en cdigo binario puro y que el computador emplea la base
2 asociada al exponente, es decir, que interpreta la parte exponencial de un nmero en punto flotante como 2exponente, indicar a
partir de qu valores de la parte exponencial de la representacin se producir desbordamiento (overflow o underflow), escribiendo
asimismo en base 10 esos valores de la parte exponencial. Ello ayudar al usuario de ese computador a tener una idea del orden de
magnitud de los nmeros representables en base 10 en punto flotante en su mquina. (0.7 p.)
Solucin
El valor mayor que puede almacenar el exponente en base 2 es : 11111112 = 12710 .
La parte exponencial variara entonces para la mquina en el intervalo
[ (2-1111111 )2, (2+1111111)2 ]
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Septiembre 1a Parte 13.09.95.
____________
pg 67
Se producir overflow (desbordamiento superior) con nmeros que al ser codificados en binario den
una parte exponencial mayor que (2+1111111)2 , producindose underflow (desbordamiento inferior)
con nmeros que al ser codificados en binario den una parte exponencial menor que (2-1111111)2 .
Debe recordarse que la parte exponencial siempre es una cantidad no negativa.
Para hacerse una mejor idea de esos valores en la base 10 habitual, el intervalo de la parte
exponencial que la mquina puede representar es:
[(2-1111111 )2 , (2+1111111)2] = [(2-127 )10 , (2+127)10 ] [(5.9 10-39 )10 , (1.7 10+38)10 ]
De modo que la representacin en el computador ser posible para nmeros cuyo valor absoluto en
base 10 est entre 10-38 y 10+38 .
ETSICCP, Santander. METODOS NUMERICOS. Curso 3. Septiembre, Parte 1. 13 Sep 1995
3.- Dada la matriz ,
A=
9 -1 2
2 10 -1
3 2 -4
a) Es convergente el mtodo de Jacobi aplicado a un sistema de ecuaciones que tenga A como matriz de coeficientes? Emplear las
normas sub-uno y sub-infinito para analizar la situacin. (1 p.)
b) Escribir la formulacin matricial del mtodo iterativo de relajacin para resolver un sistema de n ecuaciones lineales con n
incgnitas. (1 p.) Aplicar el mtodo al sistema A x = b, realizando una sola iteracin, y tomando como parmetro de relajacin w=0.5,
con A la matriz dada y b=(2,3,5)T. Tomar como vector inicial (1,1,1)T .(1 p.)
Solucin
a) El mtodo iterativo de Jacobi para el sistema de ecuaciones lineales Ax=b plantea , desde un x0
inicial, ir construyendo la sucesin xm+1 con m=0,1,2,... como se explica a continuacin.
En general, los mtodo iterativos se plantean construyendo la sucesin de vectores xm+1=Bxm+c ,
con B=M-1N , c=M-1b , o tambin Mxm+1= Nxm+b , obtenindose M y N de lo siguiente. M
y N se eligen en los mtodos iterativos en relacin con una particin de A: A=M-N, con |M| 0. Si
se descompone A en la forma A=D-L-U, el mtodo de Jacobi resulta de tomar M=D, N=L+U.
Obsrvese que de Ax=b, por simple sustitucin de las matrices anteriores se deduce:
(M-N)x=b , Mx=Nx+b, , x= M-1Nx+ M-1b , y aqu se plantea el proceso iterativo.
En resumen, en trminos de D, L, U el mtodo de Jacobi, matricialmente, se puede escribir:
xm+1=D-1(L+U)xm +D-1b , siendo su matiz B asociada: B= D-1(L+U)
La convergencia del mtodo de Jacobi est garantizada si para alguna norma matricial se tiene que
||B|| 1.
Para el ejercicio, la particin A=D-L-U es:
9 -1 2
9 0 0
0 0 0
0 1 -2
A = 2 10 -1 = 0 10 0 - -2 0 0 - 0 0 1
3 2 -4
0 0 -4
-3 -2 0
0 0 0
y se deduce que su matriz B es:
B=
1/9 0
0
0 1/10 0
0
0 -1/4
0 0 0
0 1 -2
-2 0 0 + 0 0 1
-3 -2 0
0 0 0
0 1/9 -2/9
= -2/10 0 1/10
3/4 1/2 0
____________
pg 68
18 0 0
= 2 20 0
3 2 -8
9 1 -2
1 -2
=
0 10 1
0 1
0 0 -4
0 0
Con lo que la 1 etapa de las iteraciones se plantea como el siguiente sistema de ecuaciones, con
matriz de coeficientes triangular inferior:
18 0 0
2 20 0 x 1 =
3 2 -8
9 1 -2
1
2
10
0 10 1 1 + 3 = 14
0 0 -4
1
5
1
Que da: x11 = 10/18 = 5/9, x21 = (14-2x11 )/20 = 29/45, x31 = -(1-35/9-229/45)/8 = 11/45
ETSICCP, Santander. METODOS NUMERICOS. Curso 3. Septiembre, Parte 1. 13 Sep 1995
4.1.- Deducir, a partir de sus propiedades generales, la matriz H de Householder que pre-multiplicando a
A= 3 3
4 5
produzca una matriz HA cuya primera columna tiene su primer elemento no nulo y el segundo nulo (1 p.)
( Resulta: H =
0.6
0.8
0.8
-0.6
Solucin
4.1.- Se debe recordar que dados 2 vectores a y r, con ||a||2 = ||r||2 hay una matriz de Householder
H de vector asociado (a-r) que transforma a en r mediante premultiplicacin, esto es: Ha=r
La primera columna de la matriz HA resulta de H(3,4)T , y se desea que tenga la estructura (?,0)T
Esto equivale a tomar a= (3,4)T, y un vector r con esa estructura y la misma norma eucldea que a.
Puesto que ||a||2 =5, r= (5,0)T, y habr que construir la matriz H asociada a a-r=(-2,4)T.
H(u) = I - 2 uuT /(uTu) , es decir:
2
H(-2,4) = 1 0 -2 -2 4 =
-2
0 1
4
-2 4
4
4.2.- Se comprueba que efectivamente:
1 0 - 2 4 -8 =
0 1 20 -8 16
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Septiembre 1a Parte 13.09.95.
0.6 0.8
0.8 -0.6
____________
pg 69
HA =
0.6 0.8 3 3 =
0.8 -0.6
4 5
5
0
5.8 = R
-0.6
0.6 0.8 = H
0.8 -0.6
Solucin
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Septiembre 1a Parte 13.09.95.
____________
pg 70
740
0.5
9
-x1
-x1
-2x3
-2x2
-x2
-x2
+x3
-x3
-y1
+7 x4
-2 x4
-x4
-y2
+y3
De los coeficientes de la estructura anterior se deduce la matriz a introducir como dato al programa :
0
1
1
3
-0.5
740 -1
0
-2
0
0
0
-2
0
7
0.5
0
-1
1
2
9
-1
-1
-1
-1
0
0
0
0
0
b) La interpretacin de resultados se hace observando simplemente en el enunciado la columna
referencia textual de la izquierda y la primera columna numrica junto a ella en la tabla de salida.
El valor ptimo para z es 17.02, que se alcanza para x1 = 0 , x2 = 3.33 , x3 = 4.73 , x4 = 0.95
Se interpreta x1=0 porque no aparece x1 en la primera columna , sino y1 . El que aparezca y1 en la
primera columna indica que la restriccin asociada a y1 , esto es x1 + 2x3 740 , se verifica
como desigualdad estricta para la solucin del problema, siendo adems el valor junto a y1, 730.55, la
cantidad que le falta a la restriccin citada para ser una igualdad, si se particulariza la solucin. En
efecto: 0 + 24.73 + 730.55 = 740.
Por otro lado, no parecen otras ys, en las referencias de la 1 columna, lo que significa que las otras
tres restriciones no primarias se verifican como igualdades en la solucin del problema. En efecto,
salvo errores de redondeo en la representacin:
23.33 - 70.95 = 0 ; 3.33 - 4.73 + 20.95 = 0.5 ; 0 + 3.33+ 4.73 +0.95 = 9
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Septiembre 1a Parte 13.09.95.
____________
pg 71
1994-95
Septiembre 95. 2 Parte.
ETSICCP, Santander. METODOS NUMERICOS. Curso 3. Septiembre, Parte 2. 13 Sep 1995
1.- Sea una funcin f(x), suficientemente suave, definida en un intervalo [a,b]. Se desea interpolar f(x) en (n+1) puntos, asociados a
abscisas equidistantes h=(b-a)/n, mediante una poligonal que va uniendo los sucesivos puntos (xi,f(xi)) , i=0,1,2,...,n. (x0,=a ,
xn=b)
a) Demostrar que el error de interpolacin se controla eligiendo adecuadamente el valor de h. Para ello se estudiar el error de
interpolacin en el intervalo genrico x (xi,xi+1). (1p.)
b) Qu valor de h hay que tomar para garantizar un error absoluto en la interpolacin menor que un valor dado e, sabiendo que la
derivada segunda de f(x) se mantiene siempre menor que un valor c2 conocido? (1p.)
c) Dibujar las funciones de Lagrange de este problema de interpolacin a trozos. (1p.)
Solucin
a) El error de interpolacin en x(xi,xi+1) de una funcin f(x) mediante un polinomio de grado 1
(recta) que la interpola en los puntos (xi,f(xi)), (xi+1,f(xi+1)), se puede escribir, apoyndose en las
diferencias divididas:
Ei(x)= f[xi,xi+1,x] (x - xi) (x - xi+1) = (x - xi) (x - xi+1) f () / 2! , con [xi,xi+1] que
depende de x.
Por tanto, para x (xi,xi+1)
max | Ei(x) | max |f ()| max |(x - xi) (x - xi+1)| / 2
El 2 factor es una parbola de 2 grado que alcanza su mximo en (xi+xi+1)/2, en donde vale h2/4
(Recurdese que h = xi+1 - xi ). Luego para x (xi,xi+1) se tiene que :
| Ei(x) | max |f ()| h2/8.
Entonces, si la funcin f(x) es suficientemente suave, su derivada 2 estar acotada, y por tanto el
primer factor de la cota de error ser finito. Eligiendo h adecuadamente, se puede controlar el error
de la interpolacin de f(x) mediante un trozo de recta en el intervalo (xi,xi+1). Si el error se
mantiene controlado en el intervalo genrico, y la funcin es suave en todo [a,b], el error de
interpolacin de f(x) mediante la poligonal est controlado en todo [a,b] .
b) De | Ei(x) | c2 h2/8< e , se deduce que hay que tomar h < 8e / c2
c) Las funciones de Lagrange se recogen en la figura. La funcin de Lagrange li(x) est asociada a la
coaccin sub-i, consistente en que en xi el polinomio interpolador vale f(xi).
l (x)
i= 1,2,...,n-1
...
x i-1
x i-2
1
x0
xi
...
x i+1
x i+2
l n (x)
l 0 (x)
x
1
x2
... ...
x3
n-3
x n-2
x n-1
xn
Solucin
Y
(0,k)
y = -kx/h + k
O (0,0)
(h,0)
a) Primero hay que construir el plano que interpola a la funcin en los 3 vrtices del tringulo. Se
llamar f0 , fh, y fk a los valores de la funcin en (0,0), (h,0), (0,k) respectivamente.
Planteando el plano z=a+bx+cy que interpole en las condiciones indicadas a f(x,y), se obtendrn
sus 3 coeficientes a, b, c:
a+b0+c0 = f0
a+bh+c0 = fh
a+b0+ck = fk
y el plano es:
c = (fk - f0 )/k ;
Iaprox =
k-xk/h
dx
0
kh f0 +fh +fk kh
=
(f0 +fh +fk )
3
2
6
b) Para estudiar el error de integracin con esta frmula, se emplear la tcnica del desarrollo en
serie de Taylor. Se obtendr una expresin en forma de desarrollo en serie de la integral exacta de
f(x,y) en el tringulo, y una expresin en forma de desarrollo en serie de la integral aproximada
anterior. Para que ambos desarrollos sean comparables, se harn los dos en el entorno del mismo
punto (0,0). La diferencia de ambas representaciones, exacta y aproximada, dar el error.
=
Integral exacta:
f(0+x,0+y) dx dy =
Iexacta =
2xy
2
y2
fxy (0,0)+trm. ord. 3]dxdy=
[f(0,0)+xfx (0,0)+yfy (0,0)+ x fxx (0,0)+ fyy (0,0)+
2!
2!
2!
2 2
3
2
3
2
=f(0,0) kh +fx (0,0) kh +fy (0,0) hk +fxx (0,0) kh +fyy (0,0) hk + fxy (0,0) h k +trm. orden 5
24
24
6
24
6
2
_________________________________________________________________________________________________________
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Sep 2a Parte 13.09.95.
pg 73
Integral aproximada:
Iaprox =
=
kh
(f0 +fh +fk ) =
6
2
2
kh
[f(0,0) + f(0,0)+h fx (0,0)+ h fxx (0,0) + f(0,0) + k fy (0,0)+ fyy (0,0) k + trm. ord. 3]=
2
2
6
3
3
2
2
3 kh
f(0,0) + kh fx (0,0) + fy (0,0) hk + kh fxx (0,0) + hk fyy (0,0) + trm. ord. 5
=
12
12
6
6
6
Solucin
a) Para obtener el error de truncatura local se procede como sigue. Se supone que se conoce
exactamente la informacin de lo que ocurre en xn , es decir, el valor de y(xn) (simplificadamente
yn) , yn, yn, yn...(de ah proviene la denominacin local, diferente del error de truncatura
acumulado). Se compararn las representaciones de y(xn+1), valor exacto, y de yn+1 que aproxima a
la anterior mediante la frmula dada, que es un mtodo de Runge-Kutta de orden 2 llamado mtodo
de la tangente en el punto medio. Se realizan ambas representaciones en forma de desarrollo en serie
de Taylor en el entorno de xn.
Representacin de y(xn+1), interviniendo el valor del paso h:
2
3
y(xn+1 )=y(xn ) + y(xn )h + y(xn )h + y(xn )h + ...=
2!
3!
{teniendo en cuenta la ecuacin diferencial y=f(x,y), las derivadas sucesivas de y(x) son:
y(xn )=yn =fx (xn ,yn ) +fy (xn ,yn ) f(xn ,yn )=fx,n +fy,n fn ,
_________________________________________________________________________________________________________
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Sep 2a Parte 13.09.95.
pg 74
, con lo que: }
3
3
3
3
3
2
2
y(xn+1 )=yn + hfn +h fx,n +h fy,n fn +h fxx,n +h fxy,n fn +h fyy,n f2n +h fy,n fx,n +h f2y,n fn +...
6
6
6
3
6
2
2
Representacin de yn+1:
yn+1 = yn + h f (xn + h , yn + h f(xn ,yn ) ) =
2
2
(h/2)(hfn )/2
(hf /2)2
(h/2)2
fxy,n + ... =
fyy,n + 2
fxx,n + n
=yn + h fn +h fx,n +h fn fy,n +
2!
2!
2!
2
2
3
2
2
h3 f )
h3 f 2
=yn + hfn +h fx,n +h fn fy,n +h fxx,n + n fyy,n + n fxy,n + ...
4
8
8
2
2
con lo que el error, comparando ambos desarrollos, resulta:
3
3
Error=y(xn+1 )-yn+1 =(1 -1 )h3 fxx,n +(2 -1 )h3 fxy,n fn +(1 -1 )h3 fyy,n f2n +h fy,n fx,n +h f2y,n fn +...=
6
6
6 8
6 4
6 8
3
= h3 1 fxx,n + 1 fxy,n fn + 1 fyy,n f2n +1 fy,n fx,n +1 f2y,n fn + O(h4 ) = h (yn + 3yn fy,n ) + O(h4 )
24
6
6
24
12
24
b) Puesto que se va a emplear un mtodo de tiro, habr que expresar el planteamiento del proceso
paso a paso para el problema de valor inicial asociado al problema de contorno dado.
Para resolver y = y , x [0,1] , y(0) = 0, y(1) = 1 se plantear el de valor inicial
y = y , x [0,1] , y(0) = 0, y(0) = p ,
y a base de tanteos adecuadamente conducidos sobre el parmetro p, pendiente inicial, se procurar
alcanzar la solucin obligando a que se verifique la segunda condicin de contorno y(1)=1 .
Puesto que se trata de una ecuacin de 2 orden en un problema de valor inicial, hay que transformar
la ecuacin en un sistema de ecuaciones de 1er. orden, mediante el cambio de variables
dependientes adecuado. Se pasa a un sistema de 2 ecuaciones de 1er orden, introduciendo las
variables dependientes nuevas y1 e y2 , mantenindose la misma y nica variable independiente x.
La relacin entre las nuevas variables y la antigua es: y1 y, y2 y, quedando el sistema:
y1 = y2
x [0,1],
condiciones iniciales:
y1(0) = 0
y2 = y1
y2(0) = p
La formulacin del mtodo para un sistema general de ecuaciones explcitas de 1er. orden:
y1 = f1(x,y1,y2)
x [a,b],
y1(a) = y0 ,
y2(a) = y0
y2 = f2(x,y1,y2)
se escribe fcilmente a partir de la formulacin para la ecuacin escalar y=f(x,y), sin ms que dar
dimensin de vector de dos componentes a y y a la funcin f,
y n+1 = y n + h f (xn + h , y n + h f(xn ,y n ) ) , esto es, por componentes:
2
2
y1,n+1 = y1,n + h f1 (xn + h , y1,n + h f1 (xn ,y1,n ,y2,n ), y2,n + h f2 (xn ,y1,n ,y2,n )
2
2
2
y2,n+1 = y2,n + h f2 (xn + h , y1,n + h f1 (xn ,y1,n ,y2,n ), y2,n + h f2 (xn ,y1,n ,y2,n )
2
2
2
_________________________________________________________________________________________________________
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Sep 2a Parte 13.09.95.
pg 75
f1(x,y1,y2) = y2 , f2(x,y1,y2) = y1
Para n=0,1,2,...
partiendo de
y1,0= 0 ,
y2,0= p
_________________________________________________________________________________________________________
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Sep 2a Parte 13.09.95.
pg 76
1995-96
1a Evaluacin. METODOS NUMERICOS.
ETSI CAMINOS. Santander. METODOS NUMERICOS. Curso 3. 1a. Eval. 5 Dic 1995
Se desea construir un depsito con la forma de cono de revolucin, en el que el radio de la base y la altura sean de igual
tamao, de modo que la capacidad nominal de este depsito sea 20 m3.
Con qu cota de error relativo (1 p.) y de error absoluto (0.5 p.) se debe trabajar en la valoracin del radio y la altura
(de igual valor), para garantizar que el error absoluto de la capacidad real del depsito sea menor que 10 dm3?
Notas:
. Se recuerda que el volumen del cono es V= r2 a / 3 , r =radio de la base, a =altura.
. Para se utilizar el valor aproximado 3.1416. A efectos de valorar el error relativo de esta aproximacin se tomar
como valor exacto para , su representacin con 8 dgitos exactos y redondeo, =3.1415927
. Se tomarn como representativos de las magnitudes exactas sus valores en punto flotante normalizados con 8 dgitos de
mantisa y redondeo.
Solucin
Cota de error relativo a garantizar para el volumen: 1010-3 / 20 = 0.510-3
Se llamar cer a la cota de error relativo para la medida de radio y altura.
Se va a utilizar la formulacin aproximada para la cota de error relativo de un producto, igual a a la
suma de las cotas de error relativo de los factores.
CEr(V) CEr()+ 2CEr(r) + Cer(a) = CEr()+ 3cer 0.510-3
Por otro lado, CEr () = |3.1415927 - 3.1416| / 3.1415927 = 2.323610-6
Resultando:
cer (0.510-3 - 2.323610-6 ) / 3 = 1.6589 10-4 . Se tomar: cer 1.6589 10-4
Teniendo en cuenta que a exacto = r exacto = 3 320 / = 2.6730072 metros ,
Las cotas de error absoluto para radio de la base y altura son:
.CE(a) = CE (r) = CEr(r)r exacto = 2.6730072 1.6589 10-4 = 4.4342 10-4 m. = 0.443423 mm.
ETSI CAMINOS. Santander. METODOS NUMERICOS. Curso 3. 1a. Eval. 5 Dic 1995
Llamando, de una manera global, operacin elemental a una suma, resta, multiplicacin o divisin entre 2 nmeros,
SE PIDE:
1.- Calcular el nmero de operaciones elementales necesarias para multiplicar una matriz cuadrada (nn) genrica por
un vector columna arbitrario (n1). (0.5 p.)
2.- Calcular el nmero de operaciones elementales necesarias para multiplicar una matriz de Householder H(u) asociada
al vector u (n 1), por un vector columna arbitrario (n1), aprovechando la estructura de definicin de una matriz de
Householder. (0.5 p.)
Se recuerda que H(u) = I - (2/ (uT u)) (u uT) .
3.- Escribir una tabla comparativa del nmero de operaciones en ambos casos, para n= 3, 10, 50, 100. (0.5 p.)
Solucin
1.- Cada una de las n componentes del vector resultado se obtiene mediante n multiplicaciones y (n1) sumas, es decir, 2n-1 operaciones elementales. Todo el vector se obtiene en :
2 n2 - n operaciones elementales
2.- Llamando v al vector por el que se va a premultilicar la matriz H(u) = I - (2/ (uT u)) (u uT),
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. 1a Evaluacin. 5.12.95.
____
pg 77
n
3
10
50
100
2
15
190 4950 19900
Matriz genrica vector: (2 n - n)
Matriz de Householder vector: (6 n)
18
60
300 600
No se han considerado las operaciones de incremento de contadores para los diversos ciclos, ni las
de control de los mismos.
ETSI CAMINOS. Santander. METODOS NUMERICOS. Curso 3. 1a. Eval. 5 Dic 1995
Dada la matriz
A=
2
6
3
2
5
1
3
0
0
SE PIDE:
Solucin
1.Etapa 1:
se busca H1 de tipo Householder tal que H1 A tenga su primera columna con sus 2
ltimas componentes nulas. Interpretando el producto de matrices a partir de los bloques formados
por las columnas de A, esto equivale a buscar H1 que tranforme a1 = (2,6,3)T en b1= (?,0, 0)T. Si
||a1||2 = ||b1||2 la matriz de Householder H1(a1-b1) verifica : H1(a1-b1)a1=b1
Se puede tomar la primera componente de b1 = ||a1||2 = 7. Aqu se tomar b1= (7,0,0)T.
(Aunque lo recomendable es tomar el valor con signo contrario a la primera componente de a1, para
as reducir los problemas de cancelacin si se presenta el caso).
De modo que se contruye la matriz de Householder de 3 componentes asociada a
(2,6,3) - (7,0,0) = (-5,6,3)
H1 =
1 0 0
-5
2
0 1 0 70 6 -5 6 3 =
0 0 1
3
7
0
0
5.2857
1.0571
-0.97143
0.85714
2.5714
1.2857
Etapa 2:
Se tomar una matriz de Householder
____
pg 78
WT
h2
H2 =
donde:
. I es la matriz identidad, en esta segunda etapa de dimensin 2-1 = 1, y por tanto es la constante 1 ,
. es una matriz (n-1) 1 de ceros ,
. h2 es una matriz de Householder de tamao (n-1) (n-1) que transforma el vector (n-1) 1 formado
por la segunda columna de H1A (excluyendo la primera componente), en un vector (n-1) 1 con
sus (n-2) ltimas componentes nulas. (Aqu n vale 3).
En este caso, h2 debe transformar a2= (1.0571,-0.97143) en b2 = (?, 0)
Para que ||a2||2 = ||b2||2 , se toma b2= ( 1.4357 , 0) ; aqu se va a elegir 1.4357, y la matriz h2
asociada a (a2-b2) ser:
h2= 1 0 - 2
(-0.37855,-0.97143)
0 1 1.0879
-0.37855
-0.97143
0.73633
-0.67660
-0.67660
-0.73626
0
-0.67660
-0.73626
Esta matriz tambin se puede construir a partir de un vector asociado (3x1) cuya primera
componente es nula y las otras dos constituyen el vector (a2-b2) asociado a h2.
Entonces,
7
5.2857 0.85714
H2H1A =
0
1.4356 1.0235 = R
0
0
-2.6864
Y despejando A = H1H2R = QR , resulta que Q de la factorizacin QR pedida es:
Q=H1H2 =
0.28571
0.85714
0 .42857
0 .34117
0.32693
-0.88131
-0.89548
0.39798
-0.19897
2.- Para resolver el sistema Ax=b, utilizando A=QR, QRx= b, Rx=Q-1 b= QT b, es decir,
como:
QTb=
0.28571
0 .34117
-0.89548
0.85714
0.32693
0.39798
0 .42857
-0.88131
-0.19897
0
0 =
1
x1
x2 =
x3
0 .42857
-0.88131
-0.19897
0 .42857
-0.88131
-0.19897
4
1
2
3
1.- Acotar sus autovalores mediante los crculos de Gerschgorin de filas y de columnas.(0.5 p.)
____
pg 79
2.- Aproximar su menor autovalor en valor absoluto (1 p.) y autovector asociado (1 p.) aplicando la tcnica de la
potencia iterada inversa. En cada etapa el autovalor citado se aproximar utilizando el cociente de Rayleigh. Como
vector inicial del proceso se tomar el (-0.5, 1)T.
El proceso iterativo se detendr controlando el error relativo en el autovalor, de modo que el cociente entre el valor
absoluto de la diferencia entre las 2 aproximaciones ms recientes y el valor absoluto de la ltima sea menor que 0.01.
Solucin
1.. Crculos de Gerschgorin de filas: | z - 4 | 2, | z - 3 | 1. Todos los autovalores estn en la unin
conjuntista de estos crculos, es decir , en el crculo de centro 4 y radio 2.
. Crculos de Gerschgorin de columnas: | z - 4 | 1, | z - 3 | 2 . Todos los autovalores estn en la
unin conjuntista de estos crculos, es decir , en el crculo de centro 3 y radio 2.
CIRCULOS DE FILAS
CIRCULOS DE COLUM NAS
Se puede afirmar que todos los autovalores estn en la interseccin (la zona rayada de la figura,
entre 2 y 5) del recinto determinado por los crculos de filas y el recinto determinado por los
crculos de columnas.
2.- Los autovectores de A-1 son los inversos de los de A, y los autovectores son los mismos. Para
aproximar el menor autovalor en valor absoluto de A, se aplicar potencia iterada a la matriz A-1.
Aqu se va aplicar este proceso directamente, por lo fcil que es calcular la inversa de A, (2x2). En
general para una matriz de tamao grande se recomienda realizar el proceso mediante la secuencia
de sistemas de ecuaciones LUxm+1 = Pym tras haber realizado la factorizacin PA=LU.
A-1 = 0.3 -0.2
-0.1 0.4
La normalizacin en el proceso de potencia iterada se va a realizar con la norma subinfinito o del
mximo, aunque se podra elegir otra.
x1 = A-1 y0 =
max aprox =
0.3 -0.2
-0.1 0.4
-0.5 = -0.35
1
0.45
min aprox =
1
=2
max aprox
____
pg 80
y1 =
x2 = A-1 y1 =
max
aprox
x1 = -0.35/0.45
||x1 ||
1
0.3 -0.2
-0.1 0.4
y2 =
0.3 -0.2
-0.1 0.4
-0.77778
1
-0.43333
0.47778
min aprox =
1
= 1.9696
max aprox
, se sigue aproximando
x2 = -0.43333/0.47778
||x2 ||
1
x3 = A-1 y2 =
aprox
-0.77778
1
yT1 A-1 y1
yT x
= 1 2 = 0.81482 = 0.50771
1.6049
1.6049
yT1 y1
|1.9696-2|/1.9696 = 0.0154
max
-0.90697
1
yT2 A-1 y2
yT2 x3
= 0.91887 = 0.50415
=
T
1.8226
1.8226
y2 y2
-0.90697
1
-0.47209
0.49070
min aprox =
1
= 1.9835
max aprox
x1 / 2 - x2 / 2 1,
x2 -1 p(x1 - 3)
Solucin
1.- Para p = 1/3, se alcanza el mnimo en los infinitos puntos de la semirrecta perpendicular al
vector grad(z)= (1/3, -1) :
x2 - 1 = (x1 - 3) / 3 , 3x2 = x1 , con x1 3 ; (ver figura)
tomando por ejemplo sobre ella el punto (3,1), el valor del mnimo es: z=3/3 - 1 = 0
____
pg 81
x2
z=cte
z decrece
p=1/3
z=cte
(3,1)
p=-1
x1
(0,-2)
2.- Para p= -1, el mnimo se alcanza en (3,1), en que se tiene z=0. Se ve grficamente, o bien,
evaluando en los 3 puntos factibles bsicos se tiene:
z(4,0) = 4/3, z(2,0) = 2/3, z(3,1) = 0
3.- Para introducir en SIMPLX, como min z = -max (-z) , alcanzndose en el mismo conjunto de
puntos, se ha de partir de :
max z* = -x1/3 + x2 con las restricciones:
(a)
x1 + x2 4
(b)
x1 /2 - x2 /2 1
x1 0 ,
x2 0
Para pasar el problema a la forma normal restringida, primero se introducen las variables de holgura
en las restricciones (a) y (b), resultando:
x1 + x2 + y1 = 4 , x1 /2 - x2 /2 - y2 = 1 , y finalmente en la forma normal restringida:
mx
z* =
z1 =
z2 =
4
1
-x1/3 + x2
-x1
-x2
-y1
-x1/2 +x2/2 +y2
0
-1/3 1
4
-1
-1
1
-1/2 1/2
0
0
0
y la tabla de resultados del programa debe tener el aspecto en su parte izquierda:
0
...
3
...
x1
x2
1
...
que se interpreta: El mx de z* es 0, luego min z = -max(-z*) = 0 , en x1=3,
x2=1. Las
restricciones (a) y (b) se cumplen como igualdades. Al ser las holguras nulas, no aparecen
variables de holgura en los resultados finales, ya que y1 = y2 = 0 .
____
pg 82
1995-96
2a Evaluacin. METODOS NUMERICOS.
ETSI CAMINOS. SANTANDER. METODOS NUMERICOS. 2a. Eval. 22 de Enero de 1996
Se estn realizando mediciones sobre el comportamiento de una funcin escalar F(x,y), en puntos del plano cartesiano. En
particular se desea analizar el gradiente de F(x,y) en el origen O (0,0), para lo que se aproximar su valor en O (0,0)
mediante frmulas de derivacin aproximadas, de tipo unilateral. Se tomarn nx puntos equiespaciados una distancia h
sobre el eje OX: xi= 0+ih, i=0,1,...,nx, y ny puntos equiespaciados una distancia h sobre el eje OY, yj= 0+jh, j=0,1,...,ny,
eligindose nx y ny de modo que el error de las frmulas de derivacin utilizadas en el gradiente sea del orden de h3.
1.1.- Deducir la frmula de derivacin unilateral unidimensional para resolver el problema, apoyndose en el mtodo que
utiliza el desarrollo en serie de Taylor en el proceso. Se deber justificar la eleccin del nmero de puntos de apoyo. (1 p.)
1.2.- Resulta la frmula f(0) [2f(3h) - 9f(2h) + 18f(h) -11f(0)] / (6h) . Demostrar que esta frmula es de tipo
interpolatorio.(0.5 p.)
1.3.- Escribir la expresin aproximada para el gradiente de F(x,y) en O (0,0). (0.5 p.)
1.4.- Si F(x,y) fuera polinmica, qu estructura debe tener para garantizar que si se le aplica la formulacin anterior para
calcular su gradiente el resultado es exacto? (1 p.)
2.1.- Se desea escribir una aproximacin de tipo interpolatorio para F(x,y) mediante un polinomio P(x,y) . Se exige que que
P(x,y) interpole a F(x,y) en los puntos del cuadrante OXY que resultan de hacer el producto cartesiano de los empleados
sobre OX y OY en 1.3 para la obtencin del gradiente de F(x,y) en O (0,0). Dibujar los citados puntos del cuadrante OXY.
(0.5 p.)
Supuesto que se va a obtener P(x,y) como producto tensorial de polinomios unidimensionales y empleando la retcula
anterior,
2.2.- Dibujar un bosquejo de las funciones de Lagrange unidimensionales que permiten resolver la interpolacin citada.
Escribir su expresin analtica. (1 p.)
2.3.- En la representacin de Lagrange de P(x,y) escribir justificadamente la funcin de Lagrange que acompaa a F(h,2h),
haciendo referencia a las funciones de Lagrange unidimensionales del apartado 2.2. (1 p.)
Solucin
1.1.- El nmero de puntos base a tomar se puede deducir del error de la frmula para la derivada ksima en un punto c de una funcin f(x) cuando se toman n abscisas (c+ih, i entero no nulo), distintas
de la propia abscisa c en la que se buscan las derivadas, y en torno a la cual se obtienen los desarrollos
de Taylor de f(c+ih).
Se puede demostrar que dicho error es al menos del orden de hn+1-k. ( O(hn+1-k) ). Si se desea obtener
una frmula para la derivada primera (k=1) del orden de h3, de n+1-k=3, n+1-1=3, se deduce que n=3,
que por la exigencia del enunciado sern, h, 2h, 3h.
f(h)= f(0) + f(0) h + f(0) ( h2/2) + f(0) (h3/6) + fiv(1) (h4/24)
f(2h)= f(0) + f(0) 2h + f(0) ( 4h2/2) + f(0) (8h3/6) + fiv(2) (16h4/24)
f(3h)= f(0) + f(0) 3h + f(0) ( 9h2/2) + f(0) (27h3/6) + fiv(3) (81h4/24)
con las i , comprendidas entre 0 e ih .
Se pueden obtener frmulas para f0 , f0 , f0 , aproximaciones de las 3 primeras derivadas de f(x)
en x=0, despreciando el trmino de error en fiv , y planteando el siguiente sistema de 3 ecuaciones con
3 incgnitas compatible y determinado, en el que h, f(0), f(h), f(2h), f(3h) se suponen conocidos:
f(h) - f(0) = f0 h + f0 ( h2/2) + f0 (h3/6)
f(2h) - f(0) = f0 2h + f0 ( 4h2/2) + f0 (8h3/6)
f(3h) - f(0) = f0 3h + f0 ( 9h2/2) + f0 (27h3/6)
____________
pg 83
Para el ejercicio se busca nicamente una frmula para f0 , por lo que se puede despejar de dicho
sistema por un proceso adecuado (hacerlo), resultando la frmula de derivacin pedida:
f0 = [2f(3h) - 9f(2h) + 18f(h) -11f(0)] / (6h)
1.2.- Se puede aplicar la propiedad que, en este caso, dice que si una frmula de la estructura anterior
es exacta para todo polinomio de grado menor o igual que 3, es de tipo interpolatorio. Si se introducen
como funciones f(x) en la frmula de derivacin polinomios de ese tipo, el error que se comete al
escribir el proceso anterior basado en el desarrollo de Taylor es nulo, por serlo para estas funciones los
trminos de error despreciados en los desarrollos al hacer la aproximacin. Comprobmoslo. Tomando
como polinomios representativos 1, x, x2, x3:
Polinomio
1
x
x2
x3
x4
(y-h)(y-2h)(y-3h)
-6h3
y(y-2h)(y-3h)
(x-0)(x-2h)(x-3h) x(x-2h)(x-3h)
; lh (y) = =
=
lh (x) =
3
(h-0)(h-2h)(h-3h)
2h3
2h
y(y-h)(y-3h)
x(x-h)(x-3h)
(x-0)(x-h)(x-3h)
; l2h (y) = =
=
l2h (x) =
3
(2h-0)(2h-h)(2h-3h)
-2h3
-2h
y(y-h)(y-2h)
x(x-h)(x-2h)
(x-0)(x-h)(x-2h)
; l3h (y) = =
=
l3h (x) =
3
(3h-0)(3h-h)(3h-2h)
6h3
6h
l0 (x) =
(x-h)(x-2h)(x-3h) (x-h)(x-2h)(x-3h)
=
(0-h)(0-2h)(0-3h)
-6h3
; l0 (y) =
____________
pg 84
2.1.- Los puntos del plano XY que resultan como producto cartesiano de los de la frmula para el
gradiente de F(x,y) en (0,0) son los de la retcula adjunta, remarcados en la figura:
Y
h
h
O (0,0)
h
X
lh (x)l2h (y) =
=
-4h3
2h3
-2h3
que debido a cmo estn construdas las funciones de Lagrange unidimensionales que la generan
mediante producto, vale 1 en el punto (h,2h) y 0 en todos los dems de la retcula base de la
interpolacin en el plano XY.
____________
pg 85
Qu dos momentos habr que elegir, en segundos desde el comienzo de la hora, para que la frmula de clculo del
volumen de agua obtenido como integral del caudal (m3/seg.) a lo largo de la hora, sea lo ms precisa posible, suponiendo
que se quiere emplear una frmula de integracin de tipo interpolatorio, apoyada en las mediciones de caudal en esos dos
momentos, y que permita integrar exactamente polinomios de grado menor o igual que algn n natural k, con k >1 ? (0.5
p.) Deducir igualmente la expresin de la frmula a emplear para el clculo del volumen de agua que fluye en la hora.(1 p.)
En qu casos de leyes polinmicas de caudal generadas por la compuerta, el sistema de medicin de la prueba anterior
proporcionar el valor exacto del volumen fluyente durante la hora en que se hace la prueba?. (0.5 p.)
Solucin
Puesto que se dice que la frmula de integracin debe ser de tipo interpolatorio con dos puntos base, y
que debe integrar exactamente polinomios de grado k, con k > 1, debe pensarse en frmulas de
integracin de tipo gaussiano, ya que con 2 puntos base, sin ms exigencias, se integran polinomios de
grado 1, y con la regla de Gauss-Legendre con 2 puntos base a emplear aqu, se integran exactamente
polinomios de grado 3 .
La integracin que permite calcular el volumen fluyente se expresa, llamando Q(t) a la ley
representativa del caudal como funcin del tiempo t , y pasando al intervalo [-1,1] mediante el cambio
t=(0+3600)/2 + (3600-0)/3:
1
3600
Q(t) dt = 3 600
2
-1
Q(3600 + 3600 ) d
2
2
Los puntos base , en [-1,1] , se calculan como ceros del polinomio ortogonal de grado 2 en [-1,1]
Se utiliza el producto escalar de polinomios:
1
Pi () Pj () d
-1
Pk () tiene grado k
P0 ()=1
P1()=+b; la cte b se obtiene de [P0(),P1()] = 0, resultando b=0, P1()=
P2()=2+b +c; las ctes b y c se obtienen de [P0(),P2()] = 0, [P1(),P2()] = 0,
resultando b=0, c= -1/3, P2()= 2 - 1/3; luego: Puntos base: 0=1/ 3 , 1= -1/ 3
La integracin de Gauss-Legendre corresponde a una interpolacin polinmica en los puntos base, y
empleando la representacin de Lagrange con sus polinomios bsicos asociados l0(), l1() :
1
Q(1800+1800) d 1800
1800
-1
-1
1
l1 ()d
-1
Los instantes dentro de la hora en que se han de realizar las mediciones de caudal, son por tanto:
t0 = 1800-1800/ 3 = 760.77 segundos
t1 = 1800+1800/ 3 = 2 839. 23 segundos
Los pesos son justamente las integrales de las funciones de Lagrange asociadas a los puntos base. As:
____________
pg 86
1
1
w0 =
l0 (x) dx =
-1
-1
x- 1
3 dx= 1
1
- 1
3 3
w1 =
l1 (x) dx =
-1
-1
x+ 1
3 dx= 1
1 + 1
3
3
y la frmula de integracin a emplear para calcular el volumen de agua fluyente en la hora de prueba ,
midiendo el tiempo en segundos, es:
V 1800 [ Q(1800-1800/ 3) + Q(1800+1800/ 3) ]
Esta frmula proporcionar el valor exacto del volumen fluyente durante la hora de prueba siempre
que la ley del caudal sea polinmica de grado menor o igual que 3, ya que con n+1 puntos base la regla
de Gauss-Legendre integra exactamente polinomios de grado 2n+1. Aqu, como n+1 = 2, se tiene
que 2n+1 = 3 .
ETSI CAMINOS. SANTANDER. METODOS NUMERICOS. 2a. Eval. 22 de Enero de 1996
La ecuacin que recoge el desplazamiento u(x) por deformacin vertical de los puntos situados en una seccin a distancia x
del techo, en una pieza elstica recta de seccin posiblemente variable, pero tal que empotrada en su extremo superior en el
techo y suspendida verticalmente slo sufre esfuerzos axiles debido a su peso propio, se puede escribir:
- d (E du ) = DA(x)g
dx
dx
donde E es el mdulo de elasticidad longitudinal del material, D la densidad, g la aceleracin de la gravedad, A(x) el rea
de la seccin tranversal de la barra en el punto x del eje, todas estas magnitudes conocidas. Aqu se supondr que E y D son
constantes.
Las condiciones auxiliares que determinan la solucin del problema anterior son:
. Desplazamiento nulo en el empotramiento: u(0)=0
. Deformacin unitaria nula en el extremo libre: (du/dx)(L)=0 , siendo L la longitud de la barra.
SE PIDE:
Suponiendo que la pieza tiene una longitud L=5, y forma troncocnica de revolucin, con un seccin de radio 2 en el
empotramiento y 1 en el extremo libre, plantear las ecuaciones que permiten obtener por diferencias finitas una solucin
aproximada del desplazamiento en 6 puntos equidistantes a lo largo del eje, incluyendo x=0, x=L. (1.5 p.)
Se dan las siguientes frmulas de derivacin aproximada, con su errores, para elegir las que se consideren ms adecuadas
para el problema, justificando la eleccin.
f(c) [f(c+h)-f(c-h)]/2h, |Err| =h2 |f()| /6
f(c) [f(c+h)-f(c)]/h,
f(c) [f(c)-f(c-h)]/h,
ambas con |Err| = h |f()| /2
f(c) [-f(c+2h)+4f(c+h)-3f(c)]/2h, f(c)[-f(c-2h)+4f(c-h)-3f(c)]/(- 2h), ambas con |Err| = h2 |f()| /3
f(c) [f(c+h)-2f(c)+f(c-h)]/h2, |Err| = h2 |fIV()| /12
f(c) [f(c+2h)-2f(c+h)+f(c)]/h2, f(c) [f(c-2h)-2f(c-h)+f(c)]/h2, ambas con |Err| =h |f()|
con en cada caso un punto intermedio entre los bsicos considerados.
Se podra elegir alguna geometra para la forma de la pieza, distinta de la troncocnica sealada, tal que los
desplazamientos en los 6 puntos obtenidos mediante un proceso como el anterior se calculasen exactamente ? Y en el caso
de la forma troncocnica de revolucin, se podra plantear el proceso numrico de clculo con esta metodologa para
obtener la solucin exacta en los puntos de la discretizacin? Justificar las respuestas. (1 p.)
____________
pg 87
Solucin
Es un problema de contorno, que para ser tratado por diferencias finitas , precisa de una discretizacin
del dominio de la variable independiente x, en este caso en 6 puntos equidistantes una distancia h=1.
Mediante la particularizacin en algunos de esos puntos de la ecuacin diferencial, el uso de las
condiciones auxiliares, y la sustitucin de las derivadas exactas de u(x) en dichos puntos por valores
aproximados que se apoyan justamente en valores de u en los puntos de la discretizacin, se plantear
el sistema de ecuaciones para la solucin.
Hay 6 incgnitas, los valores de u para x=0,1,2,3,4,5. La condicin u(0)=0 reduce a 5 el nmero de
incgnitas. Se pueden escribir las siguientes 5 ecuaciones, las 4 primeras de la ecuacin diferencial
particularizada para x=1, 2, 3, 4, y la 5 teniendo en cuenta la condicn auxiliar en x=5:
u(1)=-DgA(1)/E
u(2)=-DgA(2)/E
u(3)=-DgA(3)/E
u(4)=-DgA(4)/E
u(5)=0
De entre las frmulas dadas, f(c) [f(c+h)-2f(c)+f(c-h)]/h2, f(c)[-f(c-2h)+4f(c-h)-3f(c)]/(- 2h) son
las ms adecuadas, por poderse utilizar ambas en las ecuaciones anteriores, ya que son compatibles con
los puntos de discretizacin considerados, y adems por presentar ambas unos errores del mismo
orden, O(h2). Aplicndolas a las ecuaciones resulta, con la notacin ui u(i), i=0,1,2,3,4,5 :
u0 - 2u1 + u2 = -DgA(1)/E , con u0=0
u1 - 2u2 + u3 = -DgA(2)/E
u2 - 2u3 + u4 = -DgA(3)/E
u3 - 2u4 + u5 = -DgA(4)/E
-u3 + 4u4 - 3u5 = 0
Como por otro lado A(i) = ri2 , con ri = 2-i/5 , i=1,2,3,4,
se puede escribir matricialmente:
-2
1
0
0
0
1
-2
1
0
0
0
1
-2
1
-1
0
0
1
-2
4
0
0
0
1
-3
u1
81
u2
64
u3
Dg
= 49 - p
u4
25E
36
u5
0
____________
pg 88
1995-96
Final. Febrero de 1996. Parte 1
4
M= 2
0
0
2
6
3
0
0
3
8
1
0
0
1
2
1.1.- Obtener su factorizacin de Cholesky. Qu se puede decir de la estructura de las matrices resultantes en la factorizacin en el
caso de que M sea tambin una matriz tridiagonal simtrica pero de dimensin (nxn)? (1 p.)
1.2.- Obtener su factorizacin LU mediante eliminacin de Gauss. Qu se puede decir de la estructura de las matrices resultantes en
la factorizacin en el caso de que M sea una matriz tridiagonal simtrica pero de dimensin (nxn)? (1 p.)
1.3.- Dada la matriz M tridiagonal simtrica de dimensin (nxn)
M=
a1
b1
0
...
0
0
...
0
0
b1
a2
b2
...
0
0
...
0
0
0
b2
a3
...
...
...
...
...
...
...
0
b3
...
0
...
...
...
...
...
...
0
...
bi-1
0
...
...
...
...
...
...
...
ai
bi
...
...
...
...
...
...
...
bi
ai+1
...
...
...
...
...
...
...
0
bi+1
...
0
...
...
...
...
...
...
0
...
bn-2
0
...
...
...
...
...
...
...
an-1
bn-1
0
0
0
...
0
0
...
bn-1
an
y supuesto que se dan las circunstancias que permiten obtener su factorizacin de Cholesky, escribir el algoritmo para realizar dicha
factorizacin, indicando la estructura de las matrices implicadas. (1 p.) (Sugerencia: identificar los elementos (i,i-1) as como los
(i,i) en ambos miembros de la expresin matricial global que representa la factorizacin, observando que la matriz triangular
implicada en la factorizacin tiene no nulos solamente los elementos de su diagonal y subdiagonal).
Solucin
1.1.- La factorizacin de Cholesky M=LLT, se debe realizar en el computador mediante el
correspondiente algoritmo basado en la formulacin que resulta de la identificacin elemento a
elemento en esta expresin matricial. Para hacerlo manualmente es cmodo realizar directamente
esa identificacin
l11 0 0 0 l11 l21 l31 l41
4 2 0 0
l
0 l22 l32 l42
l
M = 2 6 3 0 = 21 22 0 0
= LLT
l31 l32 l33 0
0 3 8 1
0 0 l33 l43
l41 l42 l43 l44 0 0 0 l44
0 0 1 2
se pude ir identificando por columnas, desde la primera
l21 l11= 2, l21= 1; l31 l11= 0, l31= 0;
l112 = 4, l11 = 2;
se detecta que los elementos l31 y l41 correspondientes con los elementos nulos de la 1a. columna
de M, salen tambin nulos.
2 columna:
l212 + l222 = 6, l22 = 5 ;
l31l21 + l32l22 = 3, 0+l32l22 = 3, l32 = 3/ 5 ; l42l22 = 0, l42= 0;
se confirma la nulidad del elemento correspondiente al cero en la 2 columna de M.
______________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final . Parte 1a. 13.02.1996
pg 89
3 columna:
l312+ l322+ l332 = 8, l322+ l332 = 8, l33 = 31/5 ; l43l33 = 1, l43 = 5/31
l432+ l442 = 2, l44= 57/31 ;
es decir,
4 2 0 0
0
2
0
0
2 1
0
0
1
5
0
M= 2 6 3 0 =
0 5 3/ 5
0 3 8 1
0
3/ 5 31/5
0
0 0 31/5
0 0 1 2
0
0
5/31
57/31
0 0
0
0
0
5/31
57/31
= LLT
pudiendo afirmarse para el caso general n n que la matriz L consta de su diagonal principal y la
subdiagonal inmediata a ella con elementos no necesariamente nulos, siendo nulos los restantes. La
estructura de ceros del tringulo inferior de L es la misma que la de M.
1.2.- Factorizacin LU por eliminacin de Gauss. No se efectuar pivoteo. Para la 1 columna,
4
2
0
0
2
6
3
0
0
3
8
1
0
0
1
2
4
0
0
0
2
5
3
0
0
3
8
1
0
0
1
2
siendo suficiente para completar ceros en la 1 columna dicho factor. Para la 2 columna,
4 2 0
0
0
factor de eliminacin e32 = - 3 , que lleva a 0 5 3
5
0 0 31/5 1
0 0 1
2
Para la 3 columna,
factor de eliminacin e43 = - 5 , que lleva a
31
4
0
0
0
0
2 0
5 3
0
0 31/5 1
0 0 57/31
Se observa que basta calcular un solo factor de eliminacin en cada etapa. Resulta en resumen
4
M= 2
0
0
2
6
3
0
0
3
8
1
1
0
0 = 1/2
0
1
0
2
0
0
1
0
3/5 1
0 5/31
0
0
0
1
4
0
0
0
2 0
0
5 3
0 =LU
0 31/5 1
0 0 57/31
Se puede afirmar para el caso general n n que la matriz L slo tiene una subdiagonal no nula, y que
en la matriz U aparece como sobrediagonal la misma que en la matriz M, que no se modifica. En
los casos como ste, en que la matriz a factorizar es definida positiva, se puede demostrar que no es
necesario emplear tcnicas de pivoteo para mantener la estabilidad del proceso.
1.3.-
Siendo i 1,
La identificacin de los elementos (i,i-1) conduce a :
La identificacin de los elementos (i,i) conduce a :
Se ha llamado li,i , i=1,..., n , a los elementos de la diagonal principal de L, y li,i-1 , i=2,..., n , los
elementos de la subdiagonal principal. Todos los elementos restantes de L son nulos.
Empezando con l1,12 = a1 ,
desde i=2 a n, de 1 en 1:
li,i-1 = bi-1 / li-1,i-1
li,i= ai - li,i-12
sigte i
______________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final . Parte 1a. 13.02.1996
pg 90
8 6 0
A= 6 9 2
0 2 3
demostrar que es definida positiva sin hallar sus autovalores ni realizando factorizaciones. (1 p.)
2.3.- Recordando la propiedad: Si A es una matriz simtrica, definida positiva y tridiagonal, la eleccin ptima del parmetro w de
relajacin para el mtodo iterativo de relajacin aplicado al sistema Ax=b es:
w=
2
1+ 1- 2J
donde J es el radio espectral de la matriz BJ = D-1 (L + U), (A=D-L-U) , asociada al mtodo iterativo de Jacobi para Ax=b,
calcular el valor ptimo de w para el sistema Ax=b, con la matriz A de 2.2, calculndolo analticamente ( es decir, sin emplear un
mtodo numrico aproximado) (1 p.)
2.4.- Supngase que se quiere obtener J , radio espectral de la matriz BJ , empleando la tcnica numrica aproximada de la
potencia iterada. Es adecuada la aplicacin de este mtodo, en cuanto a su convergencia, en este caso particular? Justificar la
respuesta. Si hubiera dificultades de convergencia, qu se podra hacer para aplicar en este caso la potencia iterada garantizando la
convergencia del proceso? (1 p.)
2.5.- Escribir la expresin concreta de la formulacin matricial de paso entre dos aproximaciones consecutivas en el proceso
iterativo de relajacin aplicado al sistema Ax=b, con A del apartado 2.2 y bT= (3,2,1), con el parmetro w obtenido en 2.3. (0.5 p.)
Solucin
2.1.- Para el mtodo de relajacin, se efecta la descomposicin de la matriz A en una suma de
matrices, haciendo intervenir una matriz diagonal que es la de A, una matriz triangular inferior L
con diagonal nula, que es como el tringulo inferior de A, con sus elementos cambiados de signo, y
una matriz U triangular superior con su diagonal nula, con los elementos como los del tringulo
superior de A cambiados de signo. Se hace intervenir un parmetro escalar w de relajacin para
control del proceso de convergencia: A=D-L-U= (1/w)D - ((1-w)/w)D - L - U , quedando el
sistema:
1 D - 1-w D - L - U x = b
w
w
que tambin se puede escribir:
1
1-w
w D - L x = w D + U x + b
y ya se plantea el mtodo iterativo de relajacin como sigue:
1 D - L xm+1 = 1-w D + U xm + b , m=0,1,2,...
w
w
quedando un sistema triangular a resolver en cada etapa, debindose iniciar las iteraciones con un
vector inicial x0.
2.2.- Puesto que la matriz es simtrica , todos sus autovalores son reales. Entonces los crculos de
Gerschgorin se reducen a intervalos sobre el eje XX. Los intervalos asociados a cada fila son:
.a la 1: |-8| 6, 2 14; .a la 2: |-9| 8, 1 17; .a la 3: |-3| 2 , 1 5
Como todos los autovalores estn en la unin de estos intervalos, que es el [1,17], se puede afirmar
que todos los autovalores son positivos, y por tanto la matriz considerada es definida positiva.
2.3.- Se puede escribir
______________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final . Parte 1a. 13.02.1996
pg 91
0 0 0
8 0 0
8 6 0
A= 6 9 2 = 0 9 0 - -6 0 0 0 -2 0
0 0 3
0 2 3
0 -3/4
BJ = D-1 (L+U)= -2/3 0
0 -2/3
-3/4
0 -6 0
0 0 -2 = D-L-U
0 0 0
0
-2/9
0
2 35
-2/9 = 0 ; (- +34 ) = 0;
-2/3 -
luego el radio espectral de BJ , mdulo del mayor en mdulo de sus autovalores es: J = 35/54
resultando w = 2 54/ (1+ 19) = 1.255
2.4.- La aplicacin de la potencia iterada para hallar el radio espectral de BJ , no es adecuada , ya
que dicha matriz tiene 2 autovalores de igual mdulo que es el mximo, 0.80508 , y la potencia
iterada tiene problemas de convergencia cuando hay ms de un autovalor de mdulo mximo.
Para deshacer ese empate en el mdulo de los autovalores, se puede hacer lo siguiente. Si se
suma una cantidad k a los elementos diagonales de una matriz M, sus autovalores son los de la
matriz M incrementados en el valor k. Por lo tanto, si en el caso anterior, si se incrementan los
elementos diagonales de BJ en k=1, sus autovalores pasarn a ser: (-0.80508+1=0.19492),
(0+1=1), (0.80508+1= 1.80508), es decir, se podra aplicar la potencia iterada sin problemas a la
matriz BJ+kI. El autovalor mayor en valor absoluto de BJ resulta restando k al obtenido en BJ+kI.
2.5.- Siendo w= 2 54 / (1+ 19 ) = 1.255, cada iteracin se formula para el sistema dado:
8
w 0 0
xm+1
1
9 0 xm+1 =
6 w
2
xm+1
3
3
0 2 w
81-w
w
-6
91-w
w
-2
31-w
w
xm
3
1
xm
+
2
2
xm
1
3
; con m=0,1,2,...
Solucin
3.1.- Representando geomtricamente las restricciones dadas,
______________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final . Parte 1a. 13.02.1996
pg 92
X3
C
D
A
X2
F
B
X1
En B: 68
En E: 18
En C: 18+9
En F: 17
Para que el mximo se alcance en infinitos puntos, debe alcanzarse al menos en 2 vrtices de la
regin admisible. Estos no pueden ser C y D, pues siempre es mayor el valor de f en C que en D. En
los restantes vrtices, el mayor valor se alcanza en A (0,12,0), con f=72.
Obligando a que se cumpla 72= 18+9, se despeja = 6 , de modo que efectivamente, se puede
hacer quer f alcance un mximo en infinitos puntos de la regin admisible.
En concreto , tomando = 6, f alcanza el mximo valor f=72 en los infinitos puntos de la arista de
la regin admisible cuyos vrtices extremos son los puntos A (0,12,0) y C (0,3,9).
______________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final . Parte 1a. 13.02.1996
pg 93
1995-96
Final. Febrero de 1996. Parte 2
E.T.S.I. Caminos. Santander. METODOS NUMERICOS. Parte 2. Final. 13 Feb 1996
1.1- Dados los valores de una funcin f(x,y) en los vrtices y el centro de gravedad del tringulo de vrtices (0,0),
(h,0), (0,k), con h,k > 0, deducir una frmula de integracin de tipo interpolatorio para f(x,y) sobre el tringulo citado,
empleando los valores de f en los 4 puntos citados, de modo que el polinomio interpolador tenga los trminos:
constante, x, y, xy. (2 p.) .
1.2.- Demostrar tambin que el problema de interpolacin asociado tiene solucin nica.(0.5 p.).
1.3.- Aplicar la regla de integracin al clculo de la integral de f(x,y) = 9+3x+5y-6xy. (0.5 p.)
1.4.- Deducir qu valores de m, n intervienen en los trminos de la forma hmkn que representan el orden del error de la
frmula de integracin obenida en 1.1. (1 p.)
Solucin
1.1.- El polinomio buscado se puede expresar:
p(x,y)= a+bx+cy+dxy
interpolacin.
a
a+
a+
a+
= f00
= fh0,
= f0k,
= fcg,
bh
+ck
bh/3 +ck/3 + dhk/9
c= (f0k-f00)/k ;
f(x,y) d
p(x,y) d
Obsrvese que para integrar el polinomio anterior en el dominio triangular de vrtices (0,0),
(h,0), (0,k), , hay que calcular la integral en dicho dominio de 1, de x, de y, de xy.
1d =
hk
2
_______________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final. Parte 2a. 13.02.1996
pg 94
x d =
k(1-x/h)
x dx 0
0
dy =
h
0
x y
x ) dx = k x2 - x3
xk(10
h
2 3h
k(1-x/h)
0
dx =
kh2
6
y anlogamente,
k2 h
6
y d =
xy d =
k2 h2
24
f(x,y) d
p(x,y) d =
hk
(f00 +fh0 +f0k + 9fcg )
24
1.2.- El problema de interpolacin asociado que interviene en el ejercicio tiene solucin nica, ya
que la matriz de coeficientes del sistema que permiti obtener el polinomio en 1.1. es triangular,
siendo no nulos todos sus elementos diagonales.
1.3.- La regla se aplica a la funcin f(x,y) = 9+3x+5y-6xy como sigue:
hk
f(x,y) d
[(9+0+0-0)+(9+3h+0-0)+(9+0+5k-0)+ 9(9+h+5 k - 6h k )]) =
24
3
3 3
hk
=
(54+6h+10k - 3hk)
12
resultado que es el exacto, como por otro lado debe ocurrir, puesto que la frmula de integracin de
tipo interpolatorio se ha construido precisamente sobre polinomios en x,y de esta estructura, a los
que integra exactamente en el dominio triangular considerado.
1.4.- Para la valoracin de error de integracin se puede aplicar el siguiente proceso, basado en el
desarrollo en serie de Taylor de f(x,y) en 2 variables, en torno al punto (0,0), suponiendo que el
operador integral exacta es aplicable trmino a trmino a la serie representativa de f(x,y):
I exacta [f(x,y)] =
f(x,y) d =
= f(0,0)
+
'''
fxxx
(0,0)
+
3!
''
fxx
(0,0)
2!
x3 d
d+ fx' (0,0)
x2 d + 2
'''
fxxy
(0,0)
+ 3
3!
''
fxy
(0,0)
2!
x2 y
x d + fy' (0,0)
xy d +
'''
fxyy
(0,0)
d+ 3
3!
y d +
''
fyy
(0,0)
2!
y2 d +
'''
fyyy
(0,0)
+
3!
xy2 d
y3 d +...
Por otra parte, se puede comprobar que cualquier regla de de integracin numrica que se expresa
como una combinacin lineal de valores del integrando r , es un operador lineal . Es decir:
Si
Iaprox[r(x,y)] = ci r(xi , yi )
i
entonces, para dos constantes arbitrarias k1 y k2, y dos funciones cualesquiera r1(x,y), r2(x,y) se
tiene:
Iaprox[k1r1(x,y)+ k2r2(x,y)] = k1 Iaprox[r1(x,y)] + k2 I aprox[r2(x,y)]
_______________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final. Parte 2a. 13.02.1996
pg 95
Entonces, la integral aproximada aplicando la regla considerada a la funcin f(x,y) escrita en forma
de desarrollo en serie en torno al punto (0,0) se tiene:
Iaprox[f(x,y)] =
'' (0,0)
'' (0,0)
fyy
f '' (0,0)
fxx
Iaprox[ y2 ] +
Iaprox [x2 ] + 2 xy
Iaprox[xy] +
2!
2!
2!
''' (0,0)
f ''' (0,0)
f ''' (0,0)
f ''' (0,0)
fxxx
Iaprox[y3 ]+ ...
Iaprox[xy2 ]+ yyy
Iaprox[x2 y]+3 xyy
Iaprox[x3 ]+3 xxy
3!
3!
3!
3!
Comparando estas dos expresiones, la de la integral exacta y la de la aproximada, que tienen forma
de serie, y analizando a partir de qu trminos de las series empiezan a discrepar ambas
representaciones, se deducir la expresin del error.
Por el proceso constructivo de la frmula de integracin numrica aproximada, se sabe que integra
exactamente a las funciones, 1, x, y, xy.
Veamos qu ocurre al aplicar la frmula a las funciones polinmicas x2 , y2. y comparando los
resultados con las integrales exactas.
Iaprox[x2 ] =
2
3
hk
(0+h2 +0+9h ) = h k
24
9
12
Iexacta[x2 ] =
x2 d =
h3 k
12
hk3
12
Es decir, la frmula integra exactamente polinomios con los trminos: cte, x, y, xy, x2 , y2 .
Considrense ahora las integrales exactas y aproximadas de los monomios polinmicos de grado
inmediatamente superior, x3 , y3, xy2, x2y. Basta calcular las integrales de x3 , x2y, pues las
otras se obtienen por simetra. Resulta:
hk 3 h3 h4 k
h4 k
(h + )=
Iaprox[ x3 ] =
, Iexacta[x3 ] =
24
3
20
18
Iaprox[ y3 ] =
hk4
hk4
, Iexacta[y3 ] =
18
20
Iexacta[x2y]= h3k2/60
Iexacta[xy2]= h2k3/60
Luego la parte principal del error de la frmula de integracin tiene la estructura c1h4k+c2hk4+
c3h2k3+c4h3k2 +... pues procede de la integral de los trminos x3 , y3, xy2, x2y.
Con ms precisin:
Error = Iexacta-Iaprox= -
_______________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final. Parte 2a. 13.02.1996
pg 96
Solucin
h = 1/3
x=1
h = 1/3
x=4/3
h = 1/3
x=5/3
x=2
2.1.- Se trata de un problema de contorno, con 4 incgnitas, los valores aproximados de y en las
abscisas sealadas. Se tienen 2 ecuaciones , que son las condiciones de contorno, y(1) =0, y(2)=1.
Hacen falta 2 ecuaciones ms, que se pueden obtener particularizando la ecuacin diferencial en
x=4/3 y en x= 5/3.
Es decir, se considerarn las 4 ecuaciones:
y(1) =0,
y (4/3) + (2/(4/3)) y (4/3) = 0,
y (5/3) + (2/(5/3)) y (5/3) = 0,
y(2)=1,
en las que se sustituirn las derivadas por expresiones numricas aproximadas que se apoyan en
valores aproximados de y en las abscisas de la discretizacin: x= 0, x= 4/3, x= 5/3, x= 2.
Se sabe que si se plantea el mtodo de construccin de frmulas de derivacin aproximada a partir
de la tcnica del desarrollo de Taylor tomando n abscisas base distintas de aquella en que se buscan
las frmulas, se tiene garantizado un orden de error no peor que hn+1-k para la frmula de la
derivada k-sima. En esta caso se desea n+1-k=2, con k=1, luego, n=2 abscisas base distintas de la
de derivacin.
En este ejercicio, para las derivadas en x=4/3, x=5/3, se puede emplear una frmula bilateral
simtrica. Para la derivada en x=2, se debe empler una frmula unilateral con puntos a la izquierda
de x=2, pues es la zona en que se define la ecuacin diferencial.
Para la frmula bilateral se plantea el sistema de ecuaciones con incgnitas yc, yc
que
aproximan a y(c), y(c). Cada ecuacin del sistema se construye truncando el desarrollo de Taylor
de y en (c+h) y (c-h), en el entorno de c:
yc+h = yc + hyc + h2yc /2
yc-h = yc - hyc + h2yc /2
_______________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final. Parte 2a. 13.02.1996
pg 97
Resuelto este sistema en la incgnita yc, que es la que aqu interesa, se obtiene:
yc = ( yc+h - yc-h) / (2h)
Para la frmula unilateral por la izquierda se plantea el sistema de ecuaciones con incgnitas yc,
yc que aproximan a y(c), y(c) :
yc-h = yc - hyc + h2yc /2
yc-2h = yc - 2hyc + 4h2yc /2
Resuelto este sistema en la incgnita yc, que es la que aqu interesa, se obtiene:
yc = ( 3yc - 4 yc - h + yc - 2h) / (2h)
Con las ecuaciones dadas por las condiciones de contorno en x=1 , x= 2, y las ecuaciones
resultantes de la ecuacin diferencial particularizada en x= 4/3, x= 5/3, introduciendo las frmulas
de derivacin aproximada anteriores donde corresponda, se obtiene el sistema de ecuaciones:
y1 =0
y1 -2y4/3 +y5/3 3 y5/3 -y1
=0
+
2 2h
h2
y21 -2y5/3 +y4/3 6 y2 -y4/3
=0
+
5 2h
h2
y4/3 - 4 y5/3 + 3y2
=1
2h
que , con h=1/3, equivale al sistema:
-8
5
4 -10
-1
4
0
6
-3
y4/3
y5/3
y2
0
0
-2/3
y(2) = 2
3.1.- El sistema de 2 ecuaciones diferenciales de 1er. orden que equivale a la ecuacin dada es, con
el cambio de variables dependientes y1=y, y2=y , en el que y1 = y, y2 = y,
con las condiciones iniciales: y1(1) = 0, y2(1) = 4
y1 = y2
y2 = - 2 y2 /x
El mtodo de Taylor de orden 2 se formula:
y1,n+1 = y1,n + h y1,n + h2y1,n / 2
y2,n+1 = y2,n + h y2,n + h2y2,n / 2, que en este caso se expresa:
y1,n+1 = y1,n + h y2,n + h2(-2y2,n/xn) / 2 = y1,n + hy2,n (1 - h/xn)
y2,n+1 = y2,n + h (-2y2,n/xn) + h2(6y2,n/xn2) / 2 = y2,n (1 - 2 h/xn + 3h2/xn2)
con y1,0 = 0
con y2,0 = 4
_______________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final. Parte 2a. 13.02.1996
pg 98
3.2.Errores en y en el Problema 2:
Error en (x=1) : y(1) - y1 = 0,
Error en (x=5/3) : 8/5 - 16/9 = - 0.177...,
Errores en y en el Problema 3:
Error en (x=1) : y(1) - y1 = 0,
Error en (x=5/3) : 8/5 - 14/9 = 0.044...,
_______________________________________________________________________________________________________
ETS Ingenieros de Caminos. Santander. Curso 3. Mtodos Numricos. Examen Final. Parte 2a. 13.02.1996
pg 99
1995-96
Septiembre 96. 1 Parte.
Solucin
El desarrrollo en serie en el entorno de x=0 de seno(x) es;
seno(x) = 0+1x/1!-0x2/2! -1x3/3!+0x4/4!+1x5/5! +...
La aproximacin de grado 1 es p1(x) = x, y la de grado 3: p3(x) = x-x3/3!
Resulta la tabla siguiente, debiendo tenerse en cuenta que hay que utilizar los valores de x en
radianes haciendo la conversin: xradian= xgrad2Pi /360
xgrad
3
xradian
.0523599
exacto
.0523360
Err Absol
Err Relat
p1(x)
.0523599
.0000239
.0004570
p3(x)
.0523360
.0000000
.0000001
15
.2617994
.2588190
Err Absol
Err Relat
.2617994
.0029804
.0115152
.2588088
.0000102
.0000395
50
.8726646
.7660444
Err Absol
Err Relat
.8726646
.1066202
.1391828
.7619026
.0041419
.0054068
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Septiembre 1a Parte 18.09.96.
___
pg 100
Resulta la tabla:
xgrad
50
x(radian)
.8726646
exacto
.7660444
Err Absol
Err Relat
q1(x)
.7787590
.0127146
.0165977
q3(x)
.7660117
.0000327
.0000427
65
1.1344640
.9063078
Err Absol
Err Relat
.9096587
.0033509
.0036973
.9063057
.0000020
.0000022
70
1.2217310
.9396927
Err Absol
Err Relat
.9532920
.0135993
.0144720
.9396586
.0000341
.0000363
B= 4 2
2 10
A= 4 3
3 6
Resolver para ellas el problema generalizado de autovalores y autovectores, obteniendo los escalares y vectores x asociados,
empleando el procedimiento antes descrito.
Para la resolucin del correspondiente problema simple de autovalores y autovectores se emplear el mtodo de Jacobi, que se
recuerda a continuacin.
El mtodo de Jacobi de aproximacin de autovalores en matrices simtricas, se basa en efectuar una sucesin de semejanzas
matriciales, apoyndose en matrices llamadas de rotacin, que tienen una estructura igual que la matriz identidad I, salvo los
siguientes elementos:
elem i,k = -sen = - elem k,i. elem i,i = elem k,k = cos ,
i < k,
|| /2
con un ngulo tal que tg (2) = 2 cik / (cii - ckk) , tomndose los ndices i y k adecuadamente, siendo cik , cii, ckk, elementos de la
matriz C que se transforma por semejanza.
La inversin de la matriz L de la factorizacin de Cholesky de B se har por el mtodo de Gauss Jordan .
Puntos: Construccin del problema simple de autovalores y autovectores: 2 p. Resolucin del problema anterior por Jacobi: 2 p;
Obtencin de los autovectores del problema generalizado: 2 p.
Solucin
La factorizacin de Cholesky de B resulta:
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Septiembre 1a Parte 18.09.96.
___
pg 101
B= 4 2 = 2 0 2 1 = L LT siendo L = 2 0
2 10
1 3
0 3
1 3
Para construir la matriz C hace falta calcular L-1, que ser triangular por serlo L. Por Gauss-Jordan,
escribiendo juntas la matriz dada y la identidad, y empleando el factor de eliminacin
(-1/2) se transforma
2 0 1 0
2 0
1
0
en
1 3 0 1
0 3 -1/2 1
en donde ya la matriz de la parte izquierda tiene estructura diagonal, por lo que dividiendo por 2 la
1. fila y por 3 la 2, se tiene la matriz inversa de L en la parte derecha:
1 0
0 1
1/2
0
-1/6 1/3
1/2
0
-1/6 1/3
4 3
3 6
1/2 -1/6 =
0 1/3
1
1/6
1/6
4/9
cos j
- sen j
sen j
cos j
1
1/6
1/6
4/9
cos j
sen j
- sen j
cos j
0
= 1.0461639
0
0.3982804
CO = C o1 |
o2
= O
1 0
0 2
1 o1 |
2 o2
lo que hace ver que las columnas de O son autovectores de C. Resumiendo, para la matriz C, los
autovalores y autovectores son:
1 = 1.0461639 u1 = 0.9637149
2 = 0.3982804 u2 = -0.2669336
0.2669336
0.9637149
Los autovalores son tambin los del problema generalizado. Para hallar los autovectores del
problema generalizado, hay que recordar que si x es autovector del problema simple, le
corresponde x en el problema generalizado, verificando LTx = x.
Por lo que hay que resolver 2 sistemas triangulares, uno tomando x=u1 y otro con x=u2 .
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Septiembre 1a Parte 18.09.96.
___
pg 102
2 1 x = 0.9637149
1
0 3
0.2669336
2 1 x = -0.2669336
2
0 3
0.9637149
x2 = -0.2940859
0.3212383
Solucin
i) Se trata de obtener las cantidades x, y , de manera que se minimice el coste total diario del
transporte, que se expresa:
min (3x + 1x + 6y) = min (4x + 6y)
siendo x la cantidad en Ton/da que se suministra a C1 y C2 e y la suministrada a C3.
Con las restricciones:
. x, y son cantidades no negativas: x 0 , y 0
. La operatividad de suministros mnimo y mximo exige que: 2x+y 2 ,
. Las limitaciones de volumen en almacenado: 600x + 1000x 3200y
2x+y 10
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Septiembre 1a Parte 18.09.96.
___
pg 103
P3
2x+y=10
4x+6y = cte
P2
P4
2x+y=2
x=2y
P1
O
ii) El problema, puesto que la rutina SIMPLX halla mximos y el problema actual es de mnimos, y
ya que min z(x,y) = -max(-z(x,y)), debe abordarse buscando el mx - (4x+6y).
Ordenando las inecuaciones (desigualdades 0, 0 , = 0) , e introduciendo las variables de holgura
h1, h2, h3:
2x+y 10 ,
2x+y + h1 = 10
x 2y ,
x - 2y + h2 = 0
2x+y 2
,
2x+y - h3 = 2
la forma normal restringida , con las variables artificiales z1, z2, z3, resulta:
max z =
-4x -6y
z1 = 10
- 2x - y
- h1
z2 =
-x
+ 2y
- h2
z3 = 2
- 2x - y
+ h3
De los coeficientes de la estructura anterior se deduce la matriz a introducir como dato al programa
(N=2 var., M1() = 2, M2 () = 1, M3 (=) = 0, M = M1+M2+M3 = 3, NP=N+1=3, MP=M+2 = 5,
0
-4
-6
10
-2
-1
0
-1
2
2
-2
-1
Debe salir h3=0, h2=0, pues la 2 y la 3 inecuaciones ordenadas se cumplen como igualdades;
h1= 10-24/5-2/5 = 8 es lo que le falta a la 1 inecuacin para cumplirse como igualdad;
x = 0.8, y=0.4, z= - 28/5 = - 5.6, y el mnimo es (-(-5.6)) = 5.6
La salida que produce la ejecucin del programa es:
h2
h3
-5.60 -1.60 -2.80
h1
8.00
0.00 -1.00
x
0.80 -0.20
0.40
y
0.40
0.40
0.20
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Septiembre 1a Parte 18.09.96.
___
pg 104
1995-96
Septiembre 96. 2 Parte.
Solucin
El polinomio ms general de 2 grado en los trminos indicados es:
p(x,y)=a+bx+cy+dxy+ex2+y2.
Para demostrar que la frmula es exacta, puesto que la integral es un operador lineal, basta
comprobar la exactitud de la frmula para las funciones 1, x, y, xy, x2, y2. En el tringulo T
de vrtices P1(0,0), P2(1,0), P3 (0,1), las integrales exactas resultan:
1dx dy = 1 ;
xdx dy = T xdx dy = 1 ;
T
T
2
6
x2 dx dy = y2 dx dy = 1 ; xy dx dy = 1 ;
T
T
T
12
24
Y las aproximadas, empleando la frmula y teniendo en cuenta que el rea del tringulo dado
es A = 1/2, y que (P1+P2)/2 = (1/2, 0) , (P2+P3)/2 = (1/2, 1/2) , (P1+P3)/2 = (0, 1/2) ,
Iaprox de 1 = (1+1+1)/6 = 1/2;
Iaprox de x = (1/6) [1/2 + 1/2 + 0/2] = 1/6 ; Iaprox de y = (1/6) [0/2 + 1/2 + 1/2] = 1/6
Iaprox de x2 = (1/6) [(1/2)2 + (1/2)2 + (0/2)2] = 1/12 ;
Iaprox de y2 = (1/6) [(0/2)2 + (1/2)2 + (1/2)2 ] = 1/12
Iaprox de xy = (1/6) [(1/2)0 + (1/2)(1/2) + 0(1/2)] = 1/24
Siendo por tanto exactas las integrales dadas por la frmula.
Para aprovechar la propiedad de la aditividad del dominio de integracin, se puede
descomponer el interior del cuadriltero en dos tringulos, el OBC de vrtices O(0,0), B(1,2),
C (0,1) y rea A1= 1/2, el OAB de vrtices O(0,0), A(2,0), B(1,2), y rea A2=2,
Los puntos medios de sus lados son:
Para OBC: (1/2,0), (1/2,1/2), (0,1/2)
Para OAB: (3/2,0), (3/2,1), (1,1)
__________________________________________________________________________________________________
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Sep 2a Parte 18.09.96.
pg 105
B (1,2)
Y
C (0,1)
A (2,0)
O (0,0)
ex dx
0
Para cada realizacin de la integracin aproximada, se emplearn subintervalos de ancho constante, con tamaos
respectivos h=1, h=0.5, h=0.25. (1 p.) . Efectuar primero la integracin con h=1, luego con h=0.5 y por fin con h=0.25,
atendiendo las consideraciones que siguen.
Por los valores que se toman para h, los sucesivos procesos de integracin aproximada comparten ciertas abscisas sobre
XX, de modo que se pueden aprovechar las evaluaciones de f(x) = ex realizadas en una integracin basada en un cierto h,
para calcular la siguiente integracin con tamao de h la mitad del anterior. En el proceso de clculo sucesivo de las 3
integrales citadas se aprovecharn, indicndolo expresamente, los clculos realizados en la discretizacin anterior a la
considerada, excepto en la primera en que h=1.
Con los 3 resultados aproximados obtenidos, se puede mejorar la aproximacin realizando la llamada extrapolacin al
lmite, que atiende a la siguiente idea bsica: La integral exacta corresponde al lmite de la integral con la regla del
trapecio compuesta cuando h tiende a cero. Los tres resultados aproximados de la integracin anteriormente obtenidos se
pueden interpolar con un polinomio en h, y se puede realizar una extrapolacin al lmite tomando como valor mejorado de
la integral el valor de dicho polinomio para h=0. Obtener ese valor por extrapolacin al lmite para este ejercicio. (1 p.)
Por comparacin directa con la integral exacta, obtener los errores absolutos y relativos de las tres aproximaciones
realizadas con la regla del trapecio y los de la integral aproximada por extrapolacin al lmite. (0.5 p.)
Solucin
La solucin exacta es :
2
ex dx = ex
2
0
= e2 - 1 = 6.3890561
0
0
0
0.25
0.5
0.5
0.75
1
1
1
1.25
1.5
1.5
1.75
2
2
2
__________________________________________________________________________________________________
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Sep 2a Parte 18.09.96.
pg 106
Representando grficamente las abscisas de las evaluaciones al realizar las sucesivas reglas
del trapecio compuestas:
1.5
0.5
1
2
0
X
X'
h=1
h=0.5
h=0.25
La primera aproximacin se obtiene:
Ih=1 = h f0 +f1 + h f1 +f2 = h f0 + 2f1 + f2 = h Sh=1 = 1 13.82562 = 6.912810
2
2
2
2
2
Siendo Sh=1= 13.82562 la suma de valores de f(x) evaluada en las abscisas en esta
aproximacin.
Para la siguiente aproximacin con h=0.5 (f1.5 representa f(1.5)):
Ih=0.5 = h f0 + 2f0.5 +2f1 + 2f1.5 + f2 = h Sh=0.5 =
2
2
h
0.5
= Sh=1 +2f0.5 + 2f1.5 =
26.08644 = 6.521610
2
2
obtenindose Sh=0.5 aadiendo a la Sh=1 antes obtenida el valor de 2(f0.5+f1.5)
Para el tercer caso con h=0.25:
Ih=0.25 = h f0 + 2f0.25 + 2f0.5 + 2f0.75 + 2f1 + 2f1.25 + 2f1.5 + 2f1.75 +f2 =
2
= h Sh=0.25 = h Sh=0.5 +2f0.25 +2f0.75 +2f1.25 +2f1.75 = 0.25 51.378383 = 6.422298
2
2
2
obtenindose Sh=0.25 aadiendo a partir de la Sh=0.5 anterior aadindole el valor de
2(f0.25+0.75+f1.25+f1.75).
Se construir ahora el polinomio interpolador P(h) de 2 grado que interpola los tres valores
anteriores de la integral aproximada (1, 6.912810) , (0.5, 6.521610), (0.25, 6.422298). Se
aplicar la expresin de Newton del polinomio interpolador:
P(h) = f[1] + f[1,0.5] (h-1) + f[1,0.5,0.25] (h-1)(h-0.5).
Calculando la tabla de diferencias divididas:
x=1
f[1] = 6.912810
f[1,0.5] = (f[1] - f[0.5] )/(1-0.5) = 0.7824
x=0.5
f[0.5] = 6.521610
f[0.5,0.25] = (f[0.5] - f[0.25] )/(0.5-0.25) = 0.397248
x=0.25
f[0.25] = 6.422298
f[1,0.5,0.25] = (f[1,0.5] - f[0.5,0.25] )/(1-0.25) = 0.513536
Evaluando el polinomio interpolador P(h) para h=0, resulta P(0)= 6.387178
Se puede elaborar la siguiente tabla con los errores:
h
1
0.5
0.25
I extrapolada
I(h)
6.912810
6.521610
6.422298
6.387178
I Exacta
6.389056
''
''
''
Error Abs
0.52375
0.13255
0.033242
1.87810-3
Error Relat
8.2 %
2.07 %
0.52 %
0.0294 %
__________________________________________________________________________________________________
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Sep 2a Parte 18.09.96.
pg 107
Solucin
i) Puesto que se trata de una ecuacin de 3er. orden en un problema de valor inicial, hay que
transformar la ecuacin en un sistema de ecuaciones de 1er. orden, mediante el cambio de
variables dependientes adecuado. Se pasa a un sistema de 3 ecuaciones de 1er orden,
introduciendo las variables dependientes nuevas y1 , y2 e y3 , mantenindose la misma y
nica variable independiente x. La relacin entre las nuevas variables y la antigua es: y1+ z,
y2+ z, y3+ z, quedando el sistema:
y1 = y2
x [0,1],
condiciones iniciales:
y1(0) = 0
y2 = y3
y2(0) = 0
y3 = - y1 y3 /2
y3(0) = 0.5
La formulacin del mtodo para un sistema general de ecuaciones explcitas de 1er. orden:
y1 = f1(x,y1,y2,y3) = y2
x [a,b],
y1(a) = y0 ,
y2 = f2(x,y1,y2,y3) = y3
y2(a) = y0
y3 = f3(x,y1,y2,y3) = - y1 y3 /2
y3(a) = y0
se escribe fcilmente a partir de la formulacin para la ecuacin escalar y=f(x,y), sin ms
que dar dimensin de vector de dos componentes a y y a la funcin f,
y n+1 = y n + h f xn + h , y n + h f(xn ,y n ) , esto es, por componentes:
2
2
y1,n+1 = y1,n + h y2,n + h y3,n
2
-y1,n y3,n
y2,n+1 = y2,n + h y3,n + h
2
2
-y1,n y3,n
y3,n+1 = y3,n + h - 1 y1,n + h y2,n y3,n + h
2
2
2
2
para n=0,1,2,... partiendo de la situacin inicial: y1,0 = 0 , y2,0 = 0 , y3,0 = 0.5
ii) Con paso de tamao h=0.5, se tendrn 2 etapas, para llegar a x=0.5, x=1.
__________________________________________________________________________________________________
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Sep 2a Parte 18.09.96.
pg 108
y2,1 = 0 + 1 1 - 1 01 = 1
2 4
2 2 8
00.5 1
=
y3,1 = 1 - 1 0 + 0 0.5+ 1
2
4 2
2 4
La segunda etapa lleva a x=1 :
y1,2 = 1 +1 1 + 1 1 = 1 = 0.25
16 2 4 4 2 4
y2,2 = 1 + 1 1 - 1 1 1 = 255 = 0.49804
4 2 2 8 16 2 512
-(1/16)(1/2) 3969
y3,2 = 1 - 1 1 + 1 1 1 + 1
=
= 0.48449
2 4 16 4 4 2 4
2
8192
iii) Para z se construir el polinomio interpolador Pz(x) de 2 grado que interpola los tres
puntos (0, 0) , (0.5, 1/16), (1, 1/4). Se aplicar la expresin de Newton del polinomio
interpolador,
Pz(x) = z[0] + z[0,0.5] (x-0) + z[0,0.5,1] (x-0)(x-0.5).
Calculando la tabla de diferencias divididas:
x=0
z[0] = 0
z[0,0.5] = (z[0] - z[0.5] )/(0-0.5) = 1/8 = 0.125
x=0.5
z[0.5] = 1/16
z[0.5,1] = (z[0.5] - z[1] )/(0.5-1) = 3/8 = 0.375
x=1
z[1] = 1/4
z[0,0.5,1] = (z[0,0.5] - z[0.5,1] )/(0-1) = 1/4 = 0.25
Evaluando el polinomio interpolador de las z, Pz(x) en x=0.8 resulta Pz(0.8)= 0.16
Para z se puede construir el polinomio interpolador Pz1(x) de 2 grado que interpola los 3
puntos (0, 0), (0.5, 1/4), (1, 255/512). La expresin de Newton del polinomio interpolador
es:
Pz1(x) = z[0] + z[0,0.5] (x-0) + z[0,0.5,1] (x-0)(x-0.5).
Calculando la tabla de diferencias divididas:
x=0
z[0] = 0
x=0.5
z[0.5] = 1/4
x=1
z[1] = 255/512
P5'(0.8)=0.40016
__________________________________________________________________________________________________
ETSI Caminos. Santander. Curso 3. Mtodos Numricos. Exam. Extraord. Sep 2a Parte 18.09.96.
pg 109