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
llegada de los ordenadores. Los ordenadores son tiles
para clculos matemticos extremadamente complejos,
pero en ltima instancia operan con nmeros binarios y
operaciones matemticas simples.

Problemas de dimensin nita: aquellos cuya respuesta son un conjunto nito de nmeros, como las
ecuaciones algebraicas, los determinantes, los problemas de valores propios, etc.

Desde este punto de vista, el anlisis numrico proporcionar todo el andamiaje necesario para llevar a cabo todos
aquellos procedimientos matemticos susceptibles de expresarse algortmicamente, basndose en algoritmos que
permitan su simulacin o clculo en procesos ms sencillos empleando nmeros.

Problemas de dimensin innita: problemas en

cuya solucin o planteamiento intervienen elementos descritos por una cantidad innita de nmeros,
como integracin y derivacin numricas, clculo de
ecuaciones diferenciales, interpolacin, etc.

Denido el error, junto con el error admisible, pasamos al

concepto de estabilidad de los algoritmos. Muchas de las
operaciones matemticas pueden llevarse adelante a travs de la generacin de una serie de nmeros que a su vez
alimentan de nuevo el algoritmo (feedback). Esto proporciona un poder de clculo y renamiento importantsimo
a la mquina que a medida que va completando un ciclo
va llegando a la solucin. El problema ocurre en determinar hasta cundo deber continuar con el ciclo, o si nos
estamos alejando de la solucin del problema.

1.1 Clasicacin atendiendo a su naturaleza o motivacin

Asimismo, existe una subclasicacin de estos dos grandes apartados en tres categoras de problemas, atendiendo
a su naturaleza o motivacin para el empleo del clculo
numrico:
Problemas de tal complejidad que no poseen solucin analtica.

Finalmente, otro concepto paralelo al anlisis numrico es el de la representacin, tanto de los nmeros como de otros conceptos matemticos como los vectores,
polinomios, etc. Por ejemplo, para la representacin en
ordenadores de nmeros reales, se emplea el concepto de
coma otante que dista mucho del empleado por la matemtica convencional.

Problemas en los cuales existe una solucin analtica, pero sta, por complejidad u otros motivos, no
puede explotarse de forma sencilla en la prctica.
Problemas para los cuales existen mtodos sencillos
pero que, para elementos que se emplean en la prctica, requieren una cantidad de clculos excesiva;
mayor que la necesaria para un mtodo numrico.

En general, estos mtodos se aplican cuando se necesita un valor numrico como solucin a un problema matemtico, y los procedimientos exactos o analticos
(manipulaciones algebraicas, teora de ecuaciones diferenciales, mtodos de integracin, etc.) son incapaces de
dar una respuesta. Debido a ello, son procedimientos de
uso frecuente por fsicos e ingenieros, y cuyo desarrollo
se ha visto favorecido por la necesidad de stos de obtener soluciones, aunque la precisin no sea completa. Debe
recordarse que la fsica experimental, por ejemplo, nunca arroja valores exactos sino intervalos que engloban la
gran mayora de resultados experimentales obtenidos, ya
que no es habitual que dos medidas del mismo fenmeno
arrojen valores exactamente iguales.

2 reas de estudio
El anlisis numrico se divide en diferentes disciplinas de
acuerdo con el problema que resolver.

2.1 Clculo de los valores de una funcin

Uno de los problemas ms sencillos es la evaluacin de
una funcin en un punto dado. Para polinomios, uno de
los mtodos ms utilizados es el algoritmo de Horner, ya
1

2 REAS DE ESTUDIO

que reduce el nmero de operaciones a realizar. En general, es importante estimar y controlar los errores de redondeo que se producen por el uso de la aritmtica de
punto otante.

Mtodo de Horner

La extrapolacin es muy similar a la interpolacin, excepto que ahora queremos encontrar el valor de la funcin
desconocida en un punto que no est comprendido entre
los puntos dados.

Mtodo de Newton-Raphson especializado para polinomios

La regresin es tambin similar, pero tiene en cuenta que

los datos son imprecisos. Dados algunos puntos, y una
medida del valor de la funcin en los mismos (con un error
debido a la medicin), queremos determinar la funcin
desconocida. El mtodo de los mnimos cuadrados es una
forma popular de conseguirlo.

Mtodo de Householder

Mtodo de Richmond especializado para polinomios

Mtodo modicado de Richmond
Mtodo de Newton-Horner
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 distinguen 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 expresados para la resolucin de sistemas de ecuaciones linea- dos en trminos de descomposicin espectral (el clcules. 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 descompolesky 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,
2.4 Optimizacin
el mtodo de las aproximaciones sucesivas y el mtodo
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
El mtodo de los multiplicadores de Lagrange puede
para resolver ecuaciones no lineales.
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 cuadratura numrica, busca calcular el valor de una integral
denida. Mtodos populares utilizan alguna de las frmu Mtodo de Laguerre
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
valor de la integral obtenido mediante el mtodo de Romberg. Para el clculo de integrales mltiples estos mtodos
requieren demasiado esfuerzo computacional, siendo til
el mtodo de Monte Carlo.

Las fallas en los clculos intermedios realizados por una

computadora para arrojar un resultado nal son, con frecuencia, desconocidos para los programadores y muy difciles de detectar: la suma y el producto de nmeros de
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
operaciones realizadas con nmeros de punto otante re2.6 Ecuaciones diferenciales
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 resultaciones aproximadas de ecuaciones diferenciales, bien dos devueltos por la mquina, pues dos expresiones equiecuaciones 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
en[2] se discuten algunos estndares de punto otante de
mtodos de Runge-Kutta.
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 subespacio de dimensin nita. Esto puede hacerse mediante un El mejoramiento en la precisin de los nmeros de punto
otante sigue siendo motivo de estudio en nuestros das.
mtodo de los elementos nitos.
En 2015, investigadores de la Universidad de Washington
desarrollaron una herramienta computacional a la que llamaron Herbie y que detecta automticamente las trans3 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
equivalente ptima (aquella que minimiza el error) para
entre las que se encuentran las siguientes:[1]
corregir el programa.
El inters en asegurar cierto nivel de precisin en los resultados numricos provistos una computadora se debe a
sus posibles repercusiones en la prctica. Por ejemplo, en
el mbito acadmico se han dado casos de artculos de investigacin en los que el error de redondeo ha impedido
que los resultados sean reproducibles y, en ocasiones, ste
ha sido incluso motivo de rechazo para su publicacin ([4]
y[5] ). Este tipo de error tambin ha permeado la regulacin 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 mesensibles 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 repre3. 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 pronumricos que merecen igual atencin y cuidado. Errores
gramados en ellas.
1. Las computadoras son capaces de almacenar un nmero nito de dgitos, por lo que no pueden almacenar el conjunto de los nmeros reales en su totalidad
para realizar operaciones numricas con estos. En
cambio, cuentan con un subconjunto de los nmeros reales al cual se conoce como nmeros de punto
otante o nmeros de mquina. Al error al que conlleva esta limitante se le llama error de redondeo.

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 plataforma 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.

ENLACES EXTERNOS

[7] McCullough, B. D. (2000). Is it safe to assume that software 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
4

Otros temas de anlisis numrico

Error de aproximacin, error absoluto y error relativo
Orden de convergencia
Redondeo
Sistema de numeracin
Truncamiento

Referencias

[1] Forsythe, George E. (1 de enero de 1970). Pitfalls

in Computation, or why a Math Book isn't Enough.
The American Mathematical Monthly 77 (9): 931-956.
doi:10.2307/2318109. Consultado el 2 de marzo de 2016.
[2] Goldberg, David (1 de marzo de 1991). What Every
Computer Scientist Should Know About Floatingpoint Arithmetic. ACM Comput. Surv. 23 (1): 5-48.
doi:10.1145/103162.103163. ISSN 0360-0300. Consultado el 2 de marzo de 2016.
[3] Panchekha, Pavel; Sanchez-Stern, Alex; Wilcox,
James R.; Tatlock, Zachary (1 de enero de 2015).
Automatically Improving Accuracy for Floating
Point Expressions. Proceedings of the 36th ACM
SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2015 (ACM): 1-11.
doi:10.1145/2737924.2737959. ISBN 9781450334686.
Consultado el 2 de marzo de 2016.
[4] Altman, Micah; Gill, Je; McDonald, Michael P. (15 de
febrero de 2004). Numerical Issues in Statistical Computing 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 Accuracy. 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. Consultado el 2 de marzo de 2016.

Wikimedia Commons alberga contenido multimedia 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 Ingenieros de Caminos de la Universidad de A Corua)
Notas sobre mtodos numricos bsicos para ingeniera

6.2 En ingls
wikibooks:Numerical Methods
Numerical analysis DMOZ category
Numerical Recipes Homepage - with free, complete
downloadable books
Numerical Analysis Project by John H. Mathews
Alternatives to Numerical Recipes
The denition of numerical analysis

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: Maveric149, 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, CEMbot, 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, AVIADOR, 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 domain 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