Anlisis numrico

El anlisis numrico o clculo numrico es la rama de 1 Problemas

las matemticas encargada de disear algoritmos para, a
travs de nmeros y reglas matemticas simples, simular Los problemas de esta disciplina se pueden dividir en dos
procesos matemticos ms complejos aplicados a proce- grupos fundamentales:
sos del mundo real.
El anlisis numrico cobra especial importancia con la Problemas de dimensin nita: aquellos cuya res-
llegada de los ordenadores. Los ordenadores son tiles puesta son un conjunto nito de nmeros, como las
para clculos matemticos extremadamente complejos, ecuaciones algebraicas, los determinantes, los pro-
pero en ltima instancia operan con nmeros binarios y blemas de valores propios, etc.
operaciones matemticas simples.
Desde este punto de vista, el anlisis numrico proporcio- Problemas de dimensin innita: problemas en
nar todo el andamiaje necesario para llevar a cabo todos cuya solucin o planteamiento intervienen elemen-
aquellos procedimientos matemticos susceptibles de ex- tos descritos por una cantidad innita de nmeros,
presarse algortmicamente, basndose en algoritmos que como integracin y derivacin numricas, clculo de
permitan su simulacin o clculo en procesos ms senci- ecuaciones diferenciales, interpolacin, etc.
llos empleando nmeros.
Denido el error, junto con el error admisible, pasamos al
concepto de estabilidad de los algoritmos. Muchas de las 1.1 Clasicacin atendiendo a su naturale-
operaciones matemticas pueden llevarse adelante a tra- za o motivacin
vs de la generacin de una serie de nmeros que a su vez
alimentan de nuevo el algoritmo (feedback). Esto propor- Asimismo, existe una subclasicacin de estos dos gran-
ciona un poder de clculo y renamiento importantsimo des apartados en tres categoras de problemas, atendiendo
a la mquina que a medida que va completando un ciclo a su naturaleza o motivacin para el empleo del clculo
va llegando a la solucin. El problema ocurre en determi- numrico:
nar hasta cundo deber continuar con el ciclo, o si nos
estamos alejando de la solucin del problema. Problemas de tal complejidad que no poseen solu-
Finalmente, otro concepto paralelo al anlisis numri- cin analtica.
co es el de la representacin, tanto de los nmeros co-
Problemas en los cuales existe una solucin analti-
mo de otros conceptos matemticos como los vectores,
ca, pero sta, por complejidad u otros motivos, no
polinomios, etc. Por ejemplo, para la representacin en
puede explotarse de forma sencilla en la prctica.
ordenadores de nmeros reales, se emplea el concepto de
coma otante que dista mucho del empleado por la ma- Problemas para los cuales existen mtodos sencillos
temtica convencional. pero que, para elementos que se emplean en la prc-
En general, estos mtodos se aplican cuando se necesi- tica, requieren una cantidad de clculos excesiva;
ta un valor numrico como solucin a un problema ma- mayor que la necesaria para un mtodo numrico.
temtico, y los procedimientos exactos o analticos
(manipulaciones algebraicas, teora de ecuaciones dife-
renciales, mtodos de integracin, etc.) son incapaces de 2 reas de estudio
dar una respuesta. Debido a ello, son procedimientos de
uso frecuente por fsicos e ingenieros, y cuyo desarrollo
El anlisis numrico se divide en diferentes disciplinas de
se ha visto favorecido por la necesidad de stos de obte-
acuerdo con el problema que resolver.
ner soluciones, aunque la precisin no sea completa. Debe
recordarse que la fsica experimental, por ejemplo, nun-
ca arroja valores exactos sino intervalos que engloban la
2.1 Clculo de los valores de una funcin
gran mayora de resultados experimentales obtenidos, ya
que no es habitual que dos medidas del mismo fenmeno
Uno de los problemas ms sencillos es la evaluacin de
arrojen valores exactamente iguales.
una funcin en un punto dado. Para polinomios, uno de
los mtodos ms utilizados es el algoritmo de Horner, ya

1
2 2 REAS DE ESTUDIO

que reduce el nmero de operaciones a realizar. En ge- Mtodo de Horner

neral, es importante estimar y controlar los errores de re-
dondeo que se producen por el uso de la aritmtica de Mtodo de Householder
punto otante.
La extrapolacin es muy similar a la interpolacin, excep- Mtodo de Newton-Raphson especializado para po-
to que ahora queremos encontrar el valor de la funcin linomios
desconocida en un punto que no est comprendido entre
los puntos dados. Mtodo de Richmond especializado para polino-
La regresin es tambin similar, pero tiene en cuenta que mios
los datos son imprecisos. Dados algunos puntos, y una
medida del valor de la funcin en los mismos (con un error Mtodo modicado de Richmond
debido a la medicin), queremos determinar la funcin
desconocida. El mtodo de los mnimos cuadrados es una
Mtodo de Newton-Horner
forma popular de conseguirlo.

Mtodo de Richomnd-Horner
2.2 Resolucin de ecuaciones y sistemas de
ecuaciones Mtodo de Birge-Bite

Otro problema fundamental es calcular la solucin de Mtodo de Jenkins-Traub

una ecuacin o sistema de ecuaciones dado. Se distin-
guen dos casos dependiendo de si la ecuacin o sistema
de ecuaciones es o no lineal. Por ejemplo, la ecuacin 2.3 Descomposicin espectral y en valores
2x + 5 = 3 es lineal mientras que la ecuacin de segundo singulares
grado 2x2 + 5 = 3 no lo es.
Mucho esfuerzo se ha puesto en el desarrollo de mto- Bastantes problemas importantes pueden ser expresa-
dos para la resolucin de sistemas de ecuaciones linea- dos en trminos de descomposicin espectral (el clcu-
les. Mtodos directos, i.e., mtodos que utilizan alguna lo de los vectores y valores propios de una matriz) o
factorizacin de la matriz son el mtodo de eliminacin de de descomposicin en valores singulares. Por ejemplo, el
Gauss, la descomposicin LU, la descomposicin de Cho- anlisis de componentes principales utiliza la descompo-
lesky para matrices simtricas (o hermticas) denidas sicin en vectores y valores propios.
positivas, y la descomposicin QR. Mtodos iterativos
como el mtodo de Jacobi, el mtodo de Gauss-Seidel,
el mtodo de las aproximaciones sucesivas y el mtodo
2.4 Optimizacin
del gradiente conjugado se utilizan frecuentemente para
Los problemas de optimizacin buscan el punto para el
grandes sistemas.
cual una funcin dada alcanza su mximo o mnimo. A
En la resolucin numrica de ecuaciones no lineales al- menudo, el punto tambin satisface cierta restriccin.
gunos de los mtodos ms conocidos son los mtodos de
Ejemplos de, problemas de optimizacin son la
biseccin, de la secante y de la falsa posicin. Si la funcin
programacin lineal en que tanto la funcin objetivo
es adems derivable y la derivada se conoce, el mtodo de
como las restricciones son lineales. Un mtodo famoso
Newton es muy utilizado. Este mtodo es un mtodo de
de programacin lineal es el mtodo simplex.
iteracin de punto jo. La linealizacin es otra tcnica
para resolver ecuaciones no lineales. El mtodo de los multiplicadores de Lagrange puede
usarse para reducir los problemas de optimizacin con
Las ecuaciones algebraicas polinomiales poseen una gran
restricciones a problemas sin restricciones.
cantidad de mtodos numricos para enumerar :

Mtodo de Gree (o mtodo de Lobachevsky o de 2.5 Evaluacin de integrales

Lobachevsky-Dandelin-Gree o del cuadrado de
las races) La integracin numrica, tambin conocida como cua-
dratura numrica, busca calcular el valor de una integral
Mtodo de Laguerre denida. Mtodos populares utilizan alguna de las frmu-
las de NewtonCotes (como la regla del rectngulo o la
regla de Simpson) o de cuadratura gaussiana. Estos m-
Mtodo de Bairstow (o mtodo de Lin-Bairstow) todos se basan en una estrategia de divide y vencers,
dividiendo el intervalo de integracin en subintervalos y
Mtodo de Bernoulli calculando la integral como la suma de las integrales en
 3

cada subintervalo, pudindose mejorar posteriormente el Las fallas en los clculos intermedios realizados por una
valor de la integral obtenido mediante el mtodo de Rom- computadora para arrojar un resultado nal son, con fre-
berg. Para el clculo de integrales mltiples estos mtodoscuencia, desconocidos para los programadores y muy di-
requieren demasiado esfuerzo computacional, siendo til fciles de detectar: la suma y el producto de nmeros de
el mtodo de Monte Carlo. punto otante son operaciones conmutativas, pero no son
asociativas y tampoco distributivas. Al no vericar estas
dos propiedades de los nmeros reales, el manejo de las
2.6 Ecuaciones diferenciales operaciones realizadas con nmeros de punto otante re-
sulta una tarea complicada. Por otra parte, el orden de las
El anlisis numrico tambin puede calcular solu- operaciones puede incidir en la precisin de los resulta-
ciones aproximadas de ecuaciones diferenciales, bien dos devueltos por la mquina, pues dos expresiones equi-
ecuaciones diferenciales ordinarias, bien ecuaciones en valentes en un sentido algebraico pueden dar resultados
derivadas parciales. Los mtodos utilizados suelen basar- distintos en el contexto de los nmeros de mquina.
se en discretizar la ecuacin correspondiente. Es til ver Afortunadamente, existen algunas tcnicas para prevenir
la derivacin numrica. y atacar el error de redondeo. En[2] se discuten algunas de
Para la resolucin de ecuaciones diferenciales ordinarias las implicaciones de estas estrategias para las operaciones
los mtodos ms utilizados son el mtodo de Euler y los bsicas de suma, resta, multiplicacin y divisin. Tambin
mtodos de Runge-Kutta. en[2] se discuten algunos estndares de punto otante de
la IEEE y las conexiones entre el punto otante y el diseo
Las ecuaciones en derivadas parciales se resuelven pri- de sistemas computacionales.
mero discretizando la ecuacin, llevndola a un subespa-
cio de dimensin nita. Esto puede hacerse mediante un El mejoramiento en la precisin de los nmeros de punto
mtodo de los elementos nitos. otante sigue siendo motivo de estudio en nuestros das.
En 2015, investigadores de la Universidad de Washington
desarrollaron una herramienta computacional a la que lla-
maron Herbie y que detecta automticamente las trans-
3 Fuentes de error y su impacto formaciones necesarias para que un programa mejore su
precisin .[3] Herbie evala el error de una expresin de
Los algoritmos de los mtodos numricos suelen imple- punto otante e identica qu operaciones contribuyen de
mentarse por medio de computadoras. Estas poseen al- forma ms signicativa a la acumulacin de errores, luego
gunas propiedades que causan fallas al emplearlas para genera alternativas para realizar estas operaciones y hace
hallar la solucin numrica de problemas matemticos, un comparativo para nalmente determinar la expresin
entre las que se encuentran las siguientes:[1] equivalente ptima (aquella que minimiza el error) para
corregir el programa.

1. Las computadoras son capaces de almacenar un n- El inters en asegurar cierto nivel de precisin en los re-
mero nito de dgitos, por lo que no pueden almace- sultados numricos provistos una computadora se debe a
nar el conjunto de los nmeros reales en su totalidad sus posibles repercusiones en la prctica. Por ejemplo, en
para realizar operaciones numricas con estos. En el mbito acadmico se han dado casos de artculos de in-
cambio, cuentan con un subconjunto de los nme- vestigacin en los que el error de redondeo ha impedido
ros reales al cual se conoce como nmeros de punto que los resultados sean reproducibles y, en ocasiones, ste
otante o nmeros de mquina. Al error al que con- ha sido incluso motivo de rechazo para su publicacin ([4]
lleva esta limitante se le llama error de redondeo. y[5] ). Este tipo de error tambin ha permeado la regula-
cin legal nanciera de algunos pases[3] y distorsionado
[6]
2. Existen problemas que involucran muchos clculos ndices del mercado burstil.
para su solucin. En ocasiones, las soluciones son La limitante en la representacin de nmeros reales me-
sensibles a la precisin de los clculos intermedios, diante el punto otante tambin tiene repercusiones en
en cuyo caso se dice que las soluciones pueden haber las grcas generadas por medio de una computadora.
sido perturbadas por los datos. Cuando un nmero es menor a lo que se conoce como el
psilon de mquina, la computadora es incapaz de repre-
3. A mayor nmero de operaciones realizadas se ten- sentarlo. Esto puede provocar que las grcas asociadas
dr un error de redondeo mayor. La velocidad que a valores numricos menores al psilon presenten falsos
proveen las computadoras para el procesamiento ha comportamientos y afectar la toma de decisiones basadas
agilizado signicativamente la rapidez con la que se en ellas, con consecuencias insospechadas, por ejemplo,
calculan operaciones. Sin embargo, la propagacin al realizar pronsticos, rea en la que la precisin juega
de errores de redondeo por los clculos realizados un papel crucial.[7]
por computadoras puede derivar en la inestabilidad
Existen otros tipos de error en el contexto de los mtodos
de los resultados arrojados por los algoritmos pro-
numricos que merecen igual atencin y cuidado. Errores
gramados en ellas.
4 6 ENLACES EXTERNOS

de truncamiento y de conversin, entre otros, han dado
origen a mltiples catstrofes: la falla del misil Patriot, la
explosin del cohete Ariane 5, el hundimiento de la pla-
taforma petrolera Sleipner son slo algunos ejemplos de
ello.[8] De ah la importancia de reconocer estas fuentes
de error para anticiparse a ellas y, en su caso, detectarlas
y corregirlas.
4 Otros temas de anlisis numrico
Error de aproximacin, error absoluto y error rela-
tivo
Orden de convergencia
Redondeo
Sistema de numeracin
Truncamiento
[7] McCullough, B. D. (2000). Is it safe to assume that soft-
ware is accurate?. International Journal of Forecasting
16 (3): 349-357.
[8] Computer Arithmetic Tragedies page of Kees Vuik.
ta.twi.tudelft.nl. Consultado el 2 de marzo de 2016.
6 Enlaces externos
Wikimedia Commons alberga contenido multi-
media sobre Anlisis numrico. Commons
6.1 En espaol
Artculo sobre anlisis numrico en la Enciclopedia
libre universal en espaol
http://docencia.udea.edu.co/ingenieria/
analisis-numerico/
http://mat21.etsii.upm.es/matesp/index.htm

Grupo de mtodos numricos en ingeniera (ETS In-

5 Referencias genieros de Caminos de la Universidad de A Coru-
a)
[1] Forsythe, George E. (1 de enero de 1970). Pitfalls
in Computation, or why a Math Book isn't Enough. Notas sobre mtodos numricos bsicos para inge-
The American Mathematical Monthly 77 (9): 931-956. niera
doi:10.2307/2318109. Consultado el 2 de marzo de 2016.

[2] Goldberg, David (1 de marzo de 1991). What Every 6.2 En ingls

Computer Scientist Should Know About Floating-
point Arithmetic. ACM Comput. Surv. 23 (1): 5-48. wikibooks:Numerical Methods
doi:10.1145/103162.103163. ISSN 0360-0300. Consul-
tado el 2 de marzo de 2016. Numerical analysis DMOZ category

[3] Panchekha, Pavel; Sanchez-Stern, Alex; Wilcox, Numerical Recipes Homepage - with free, complete
James R.; Tatlock, Zachary (1 de enero de 2015). downloadable books
Automatically Improving Accuracy for Floating
Point Expressions. Proceedings of the 36th ACM Numerical Analysis Project by John H. Mathews
SIGPLAN Conference on Programming Language De-
Alternatives to Numerical Recipes
sign and Implementation. PLDI 2015 (ACM): 1-11.
doi:10.1145/2737924.2737959. ISBN 9781450334686. The denition of numerical analysis
Consultado el 2 de marzo de 2016.

[4] Altman, Micah; Gill, Je; McDonald, Michael P. (15 de

febrero de 2004). Numerical Issues in Statistical Compu-
ting for the Social Scientist (en ingls). John Wiley &
Sons. ISBN 9780471475743. Consultado el 2 de marzo
de 2016.

[5] Altman, Micah; McDonald, Michael P. (1 de agosto de

2003). Replication with Attention to Numerical Ac-
curacy. Political Analysis (en ingls) 11 (3): 302-307.
doi:10.1093/pan/mpg016. ISSN 1047-1987. Consultado
el 2 de marzo de 2016.

[6] McCullough, B. D.; Vinod, H. D. (1 de enero de 1999).

The Numerical Reliability of Econometric Software.
Journal of Economic Literature 37 (2): 633-665. Consul-
tado el 2 de marzo de 2016.
 5

7 Origen del texto y las imgenes, colaboradores y licencias

7.1 Texto
Anlisis numrico Fuente: https://es.wikipedia.org/wiki/An%C3%A1lisis_num%C3%A9rico?oldid=94641722 Colaboradores: Mave-
ric149, Kristobal, Moriel, JorgeGG, Zwobot, Paz.ar, Sms, Elwikipedista, Jsanchezes, Melocoton, Xenoforme, Cinabrium, Pati, Rembiapo
pohyiete (bot), Magister Mathematicae, OmegaSephirot, BOT-Superzerocool, GermanX, Wewe, Maldoror, BOTpolicia, Rdaneel, CEM-
bot, Laura Fiorucci, JMCC1, Jjvaca, Rastrojo, Thijs!bot, Cratn, Segedano, Ignacioerrico, Pececito, Matdrodes, Muro Bot, Jmvgpartner,
SieBot, Ensada, Imrathor, Drinibot, Correogsk, Nicop, Quijav, Juan Mayordomo, -antonio-, Raulshc, AVBOT, Geronime, Bethan 182,
LordboT, Jkbw, Rubinbot, Mcanet, Igna, Botarel, RedBot, AnselmiJuan, Jembot, PatruBOT, KamikazeBot, TjBot, EmausBot, AVIA-
DOR, Cornelhac1, Tot12, Albertojuanse, Alexander04014, MerlIwBot, Leibniz Newton, Invadibot, Acratta, Elvisor, Addbot, BenjaBot,
4lextintor, Marochj, Ks-M9, Malodi1982 y Annimos: 49

7.2 Imgenes
Archivo:Commons-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public do-
main Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used
to be slightly warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version,
created by Reidab.

7.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0