xx

CONTENIDO

VISITA GUIADA
PT3.1 Motivacin PT3.2 Antecedentes matemticos PT3.3 Orientacin 9.2 Eliminacin de Gauss simple 9.3 Dificultades

Para ofrecer un panorama de los mtodos numricos, hemos organizado el texto en partes, y presentamos informacin unificadora a travs de elementos de Motivacin, Antecedentes Matemticos, Orientacin y Eplogo.

PT3.6 Mtodos avanzados

PT3.5 Frmulas importantes

PARTE 3 Ecuaciones algebraicas lineales

9.1 Sistemas pequeos

9.4 Soluciones

EPLOGO
PT3.4 Alternativas

CAPTULO 9 Eliminacin de Gauss

9.5 Sistemas complejos 9.6 Sistemas no lineales

9.7 Gauss-Jordan

12.4 Ingeniera mecnica

10.1 Descomposicin LU

12.3 Ingeniera elctrica

CAPTULO 12 Estudio de casos CAPTULO 11 Matrices especiales y el mtodo de Gauss-Seidel

11.3 Bibliotecas y paquetes 11.2 Gauss-Seidel 11.1 Matrices especiales

CAPTULO 10 Descomposicin LU e inversin de matrices

10.2 La matriz inversa

12.2 Ingeniera civil

12.1 Ingeniera qumica

10.3 Anlisis del error y condicin del sistema

PROBLEMAS

339

PROBLEMAS
Ingeniera Qumica/Bioingeniera 12.1 Lleve a cabo el mismo clculo que en la seccin 12.1, pero cambie c01 a 40 y c03 a 10. Tambin cambie los flujos siguientes: Q01 = 6, Q12 = 4, Q24 = 2 y Q44 = 12. 12.2 Si la entrada al reactor 3 de la seccin 12.1, disminuye 25 por ciento, utilice la matriz inversa para calcular el cambio porcentual en la concentracin de los reactores 1 y 4. 12.3 Debido a que el sistema que se muestra en la figura 12.3 est en estado estacionario (estable), qu se puede afirmar respecto de los cuatro flujos: Q01, Q03, Q44 y Q55? 12.4 Vuelva a calcular las concentraciones para los cinco reactores que se muestran en la figura 12.3, si los flujos cambian como sigue: Q01 = 5 Q15 = 4 Q12 = 4 Q31 = 3 Q55 = 3 Q03 = 8 Q25 = 2 Q54 = 3 Q24 = 0 Q23 = 2 Q34 = 7 Q44 = 10 donde el vector del lado derecho consiste en las cargas de cloruro hacia cada uno de los cuatro lagos y c1, c2, c3 y c4 = las concentraciones de cloruro resultantes en los lagos Powell, Mead, Mohave y Havasu, respectivamente. a) Use la matriz inversa para resolver cules son las concentraciones en cada uno de los cuatro lagos. b) En cunto debe reducirse la carga del lago Powell para que la concentracin de cloruro en el lago Havasu sea de 75? c) Con el uso de la norma columna-suma, calcule el nmero de condicin y diga cuntos dgitos sospechosos se generaran al resolver este sistema. 12.7 Con el empleo del mismo enfoque que en la seccin 12.1, determine la concentracin de cloruro en cada uno de los Grandes Lagos con el uso de la informacin que se muestra en la figura P12.7. 12.8 La parte baja del ro Colorado consiste en una serie de cuatro almacenamientos como se ilustra en la figura P12.8. Puede escribirse los balances de masa para cada uno de ellos, lo que da por resultado el conjunto siguiente de ecuaciones algebraicas lineales simultneas: 0 0 0 13.42 13.422 12.252 0 0 0 12.252 12.377 0 0 0 12.377 11.797 c1 750.5 c 300 2 = c3 102 30 c4

Cada captulo contiene problemas de tarea nuevos y revisados. El ochenta por ciento de los problemas son nuevos o se han modificado. El texto incluye problemas de desafo de todas las disciplinas de la ingeniera.

12.5 Resuelva el mismo sistema que se especifica en el problema 12.4, pero haga Q12 = Q54 = 0 y Q15 = Q34 = 3. Suponga que las entradas (Q01, Q03) y las salidas (Q44, Q55) son las mismas. Use la conservacin del flujo para volver a calcular los valores de los dems flujos. 12.6 En la figura P12.6 se muestran tres reactores conectados por tubos. Como se indica, la tasa de transferencia de productos qumicos a travs de cada tubo es igual a la tasa de flujo (Q, en unidades de metros cbicos por segundo) multiplicada por la concentracin del reactor desde el que se origina el flujo (c, en unidades de miligramos por metro cbico). Si el sistema se

7.7

LOCALIZACIN DE RACES CON BIBLIOTECAS Y PAQUETES DE SOFTWARE

191

Se debe observar que Solver puede fallar. Su xito depende de 1. la condicin del sistema de ecuaciones y/o 2. la calidad de los valores iniciales. El resultado satisfactorio del ejemplo anterior no est garantizado. A pesar de esto, se puede encontrar a Solver bastante til para hacer de l una buena opcin en la obtencin rpida de races para un amplio rango de aplicaciones a la ingeniera. 7.7.2 MATLAB MATLAB es capaz de localizar races en ecuaciones algebraicas y trascendentes, como se muestra en la tabla 7.1. Siendo excelente para la manipulacin y localizacin de races en los polinomios. La funcin fzero est diseada para localizar la raz de una funcin. Una representacin simplificada de su sintaxis es
fzero (f, X0, opciones)

Hay secciones del texto, as como problemas de tarea, dedicadas a implantar mtodos numricos con el software de Microsoft Excel y con el de The MathWorks, Inc. MATLAB.
EJEMPLO 7.6

donde f es la tensin que se va a analizar, x0 es el valor inicial y opciones son los parmetros de optimizacin (stos pueden cambiarse al usar la funcin optimset). Si no se anotan las opciones se emplean los valores por omisin. Observe que se pueden emplear uno o dos valores iniciales, asumiendo que la raz est dentro del intervalo. El siguiente ejemplo ilustra cmo se usa la funcin fzero. Uso de MATLAB para localizar races Planteamiento del problema. las races de f (x) = x10 1 Utilice la funcin fzero de MATLAB para encontrar

xx

11.1

MATRICES ESPECIALES

307

EJEMPLO 11.1

Solucin tridiagonal con el algoritmo de Thomas Planteamiento del problema. Resuelva el siguiente sistema tridiagonal con el algoritmo de Thomas. T1 40.8 2.04 1 T 0.8 1 2.04 1 2 = 1 2.04 1 T3 0.8 T 1 2.04 4 200.8 Solucin. Primero, la descomposicin se realiza as:

El texto presenta numerosos ejemplos resueltos que dan a los estudiantes ilustraciones paso a paso acerca de cmo implantar los mtodos numricos.

e2 = 1/2.04 = 0.49 f2 = 2.04 (0.49)(1) = 1.550 e3 = 1/1.550 = 0.645 f3 = 2.04 (0.645)(1) = 1.395 e4 = 1/1.395 = 0.717 f4 = 2.04 (0.717)(1) = 1.323 As, la matriz se transforma en 1 2.04 0.49 1.550 1 0.645 1.395 1 0717 1.323

CAPTULO 32 Estudio de casos: ecuaciones diferenciales parciales

El propsito de este captulo es aplicar los mtodos de la parte ocho a problemas prcticos de ingeniera. En la seccin 32.1 se utiliza una EDP parablica para calcular la distribucin de una sustancia qumica, dependiente del tiempo a lo largo del eje longitudinal de un reactor rectangular. Este ejemplo ilustra cmo la inestabilidad de una solucin puede deberse a la naturaleza de la EDP, ms que a las propiedades del mtodo numrico. Las secciones 32.2 y 32.3 presentan aplicaciones de las ecuaciones de Poisson y Laplace a problemas de ingeniera civil y elctrica. Entre otras cuestiones, esto le permitir distinguir tanto las similitudes como las diferencias entre los problemas en esas reas de la ingeniera. Adems, se pueden comparar con el problema de la placa calentada que ha servido como sistema prototipo en esta parte del libro. La seccin 32.2 trata de la deflexin de una placa cuadrada; mientras que la seccin 32.3 se dedica al clculo de la distribucin del voltaje y el flujo de carga en una superficie bidimensional con un extremo curvado. La seccin 32.4 presenta un anlisis del elemento finito aplicado a una serie de resortes. Este problema de mecnica y estructuras ilustra mejor las aplicaciones del elemento finito, que al problema de temperatura usado para analizar el mtodo en el captulo 31.

Existen 28 estudios de caso de la ingeniera para ayudar a los estudiantes a relacionar los mtodos numricos con los campos principales de la ingeniera.

32.1

BALANCE DE MASA UNIDIMENSIONAL DE UN REACTOR (INGENIERA QUMICA/BIOINGENIERA)

Antecedentes. Los ingenieros qumicos utilizan mucho los reactores idealizados en su trabajo de diseo. En las secciones 12.1 y 28.1 nos concentramos en reactores simples o acoplados bien mezclados, los cuales constituyen ejemplos de sistemas de parmetros localizados (recuerde la seccin PT3.1.2).

FIGURA 32.1 Reactor alargado con un solo punto de entrada y salida Un balance

MATERIALES DE APOYO Esta obra cuenta con interesantes complementos que fortalecen los procesos de enseanza-aprendizaje, as como la evaluacin de los mismos, los cuales se otorgan a profesores que adoptan este texto para sus cursos. Para obtener ms informacin y conocer la poltica de entrega de estos materiales, contacte a su representante McGraw-Hill.
xxi

ACERCA DE LOS AUTORES

Steve Chapra es profesor en el Departamento de Ingeniera Civil y Ambiental de la Universidad de Tufts. Entre sus obras publicadas se encuentran Surface Water-Quality Modeling e Introduction to Computing for Engineers. El Dr. Chapra obtuvo el grado de Ingeniero por las universidades de Manhattan y de Michigan. Antes de incorporarse a la facultad de Tufts trabaj para la Agencia de Proteccin Ambiental y la Administracin Nacional del Ocano y la Atmsfera, fue profesor asociado en las universidades de Texas A&M y de Colorado. En general, sus investigaciones estn relacionadas con la modelacin de la calidad del agua superficial y la aplicacin de computacin avanzada en la ingeniera ambiental. Tambin ha recibido gran cantidad de reconocimientos por sus destacadas contribuciones acadmicas, incluyendo la medalla Rudolph Hering (ASCE en 1993) y el premio al autor distinguido Meriam-Wiley (1987), por parte de la Sociedad Americana para la Educacin en Ingeniera. Se ha reconocido como profesor emrito en las facultades de ingeniera de las universidades de Texas A&M (premio Tenneco, 1986) y de Colorado (premio Hitchinson, 1992). Raymond P. Canale es profesor emrito de la Universidad de Michigan. En sus ms de 20 aos de carrera en la universidad ha impartido numerosos cursos en la reas de computacin, mtodos numricos e ingeniera ambiental. Tambin ha dirigido extensos programas de investigacin en el rea de modelacin matemtica y por computadora de ecosistemas acuticos. Es autor y coautor de varios libros, ha publicado ms de 100 artculos e informes cientficos. Tambin ha diseado y desarrollado software para computadoras personales, con la finalidad de facilitar la educacin en ingeniera y la solucin de problemas en ingeniera. Ha recibido el premio al autor distinguido MeriamWiley de la Sociedad Americana para la Educacin en Ingeniera por sus libros y el software desarrollado, as como otros reconocimientos por sus publicaciones tcnicas. Actualmente, el profesor Canale se dedica a resolver problemas de aplicacin, trabajando como consultor y perito en empresas de ingeniera, en la industria e instituciones gubernamentales.

Mtodos numricos para ingenieros

PARTE UNO

MODELOS, COMPUTADORAS Y ANLISIS DEL ERROR

PT1.1 MOTIVACIN
Los mtodos numricos constituyen tcnicas mediante las cuales es posible formular problemas matemticos, de tal forma que puedan resolverse utilizando operaciones aritmticas. Aunque existen muchos tipos de mtodos numricos, stos comparten una caracterstica comn: invariablemente requieren de un buen nmero de tediosos clculos aritmticos. No es raro que con el desarrollo de computadoras digitales eficientes y rpidas, el papel de los mtodos numricos en la solucin de problemas en ingeniera haya aumentado de forma considerable en los ltimos aos. PT1.1.1 Mtodos sin computadora Adems de proporcionar un aumento en la potencia de clculo, la disponibilidad creciente de las computadoras (en especial de las personales) y su asociacin con los mtodos numricos han influido de manera muy significativa en el proceso de la solucin actual de los problemas en ingeniera. Antes de la era de la computadora los ingenieros slo contaban con tres mtodos para la solucin de problemas: 1. Se encontraban las soluciones de algunos problemas usando mtodos exactos o analticos. Dichas soluciones resultaban tiles y proporcionaban una comprensin excelente del comportamiento de algunos sistemas. No obstante, las soluciones analticas slo pueden encontrarse para una clase limitada de problemas. stos incluyen aquellos que pueden aproximarse mediante modelos lineales y tambin aquellos que tienen una geometra simple y de baja dimensin. En consecuencia, las soluciones analticas tienen un valor prctico limitado porque la mayora de los problemas reales son no lineales, e implican formas y procesos complejos. Para analizar el comportamiento de los sistemas se usaban soluciones grficas, las cuales tomaban la forma de grficas o nomogramas; aunque las tcnicas grficas se utilizan a menudo para resolver problemas complejos, los resultados no son muy precisos. Adems, las soluciones grficas (sin la ayuda de una computadora) son en extremo tediosas y difciles de implementar. Finalmente, las tcnicas grficas estn limitadas a los problemas que puedan describirse usando tres dimensiones o menos. Para implementar los mtodos numricos se utilizaban calculadoras y reglas de clculo. Aunque en teora dichas aproximaciones deberan ser perfectamente adecuadas para resolver problemas complicados, en la prctica se presentan varias dificultades debido a que los clculos manuales son lentos y tediosos. Adems, los resultados no son consistentes, ya que surgen equivocaciones cuando se efectan los numerosos clculos de esta manera.

2.

3.

Antes del uso de la computadora se gastaba bastante energa en la tcnica misma de solucin, en lugar de usarla en la definicin del problema y su interpretacin (figura PT1.1a). Esta situacin desafortunada se deba al tiempo y trabajo montono que se requera para obtener resultados numricos con tcnicas que no utilizaban la computadora.

MODELOS, COMPUTADORAS Y ANLISIS DEL ERROR

FORMULACIN Leyes fundamentales explicadas brevemente

FORMULACIN Exposicin profunda de la relacin del problema con las leyes fundamentales

FIGURA PT1.1 Las tres fases en la solucin de problemas en ingeniera en a) la era anterior a las computadoras y b) la era de las computadoras. Los tamaos de los recuadros indican el nivel de importancia que se presenta en cada fase. Las computadoras facilitan la implementacin de tcnicas de solucin y, as, permiten un mayor inters sobre los aspectos creativos en la formulacin de problemas y la interpretacin de los resultados.

SOLUCIN Mtodos muy elaborados y con frecuencia complicados para hacer manejable el problema

SOLUCIN Mtodo de la computadora fcil de usar

INTERPRETACIN Anlisis profundo limitado por una solucin que consume tiempo

INTERPRETACIN La facilidad de calcular permite pensar holsticamente y desarrollar la intuicin; es factible estudiar la sensibilidad y el comportamiento del sistema

a)

b)

En la actualidad, las computadoras y los mtodos numricos ofrecen una alternativa para los clculos complicados. Al usar la potencia de la computadora se obtienen soluciones directamente, de esta manera se pueden aproximar los clculos sin tener que recurrir a consideraciones de simplificacin o a tcnicas muy lentas. Aunque las soluciones analticas an son muy valiosas, tanto para resolver problemas como para brindar una mayor comprensin, los mtodos numricos representan opciones que aumentan, en forma considerable, la capacidad para enfrentar y resolver los problemas; como resultado, se dispone de ms tiempo para aprovechar las habilidades creativas personales. En consecuencia, es posible dar ms importancia a la formulacin de un problema y a la interpretacin de la solucin, as como a su incorporacin al sistema total, o conciencia holstica (figura PT1.1b). PT1.1.2 Los mtodos numricos y la prctica en ingeniera Desde finales de la dcada de los cuarenta, la amplia disponibilidad de las computadoras digitales han llevado a una verdadera explosin en el uso y desarrollo de los mtodos numricos. Al principio, este crecimiento estaba limitado por el costo de procesamiento de las grandes computadoras (mainframes) , por lo que muchos ingenieros seguan usando simples procedimientos analticos en una buena parte de su trabajo. Vale la pena

PT1.2

ANTECEDENTES MATEMTICOS

mencionar que la reciente evolucin de computadoras personales de bajo costo ha permitido el acceso, de mucha gente, a las poderosas capacidades de cmputo. Adems, existen diversas razones por las cuales se deben estudiar los mtodos numricos: 1. Los mtodos numricos son herramientas muy poderosas para la solucin de problemas. Son capaces de manipular sistemas de ecuaciones grandes, manejar no linealidades y resolver geometras complicadas, comunes en la prctica de la ingeniera y, a menudo, imposibles de resolver en forma analtica. Por lo tanto, aumentan la habilidad de quien los estudia para resolver problemas. En el transcurso de su carrera, es posible que el lector tenga la oportunidad de utilizar paquetes disponibles comercialmente, o programas enlatados que contengan mtodos numricos. El uso eficiente de estos programas depende del buen entendimiento de la teora bsica en que se basan tales mtodos. Hay muchos problemas que no pueden resolverse con programas enlatados. Si usted es conocedor de los mtodos numricos y es hbil en la programacin de computadoras, entonces tiene la capacidad de disear sus propios programas para resolver los problemas, sin tener que comprar un software costoso. Los mtodos numricos son un vehculo eficiente para aprender a servirse de las computadoras. Es bien sabido que una forma efectiva de aprender programacin consiste en escribir programas para computadora. Debido a que la mayora de los mtodos numricos estn diseados para usarlos en las computadoras, son ideales para tal propsito. Adems, son especialmente adecuados para ilustrar el poder y las limitaciones de las computadoras. Cuando usted desarrolle en forma satisfactoria los mtodos numricos en computadora y los aplique para resolver los problemas que de otra manera resultaran inaccesibles, usted dispondr de una excelente demostracin de cmo las computadoras sirven para su desarrollo profesional. Al mismo tiempo, aprender a reconocer y controlar los errores de aproximacin que son inseparables de los clculos numricos a gran escala. Los mtodos numricos son un medio para reforzar su comprensin de las matemticas, ya que una de sus funciones es convertir las matemticas superiores en operaciones aritmticas bsicas, de esta manera se puede profundizar en los temas que de otro modo resultaran oscuros. Esta perspectiva dar como resultado un aumento de su capacidad de comprensin y entendimiento en la materia.

2.

3.

4.

5.

PT1.2

ANTECEDENTES MATEMTICOS
Cada parte de este libro requiere de algunos conocimientos matemticos, por lo que el material introductorio de cada parte comprende una seccin que incluye los fundamentos matemticos. Como la parte uno, que est dedicada a aspectos bsicos sobre las matemticas y la computacin, en esta seccin no se revisar ningn tema matemtico especfico. En vez de ello se presentan los temas del contenido matemtico que se cubren en este libro. stos se resumen en la figura PT1.2 y son: 1. Races de ecuaciones (figura PT1.2a). Estos problemas se relacionan con el valor de una variable o de un parmetro que satisface una ecuacin no lineal. Son especialmente valiosos en proyectos de ingeniera, donde con frecuencia resulta imposible despejar de manera analtica los parmetros de las ecuaciones de diseo.

MODELOS, COMPUTADORAS Y ANLISIS DEL ERROR

2.

Sistemas de ecuaciones algebraicas lineales (figura PT1.2b). En esencia, se trata de problemas similares a los de races de ecuaciones, en el sentido de que estn relacionados con valores que satisfacen ecuaciones. Sin embargo, en lugar de satisfacer una sola ecuacin, se busca un conjunto de valores que satisfaga simultneamente un conjunto de ecuaciones algebraicas lineales, las cuales surgen en el contexto de

FIGURA PT1.2 Resumen de los mtodos numricos que se consideran en este libro.

a) Parte 2: Races de ecuaciones

Resuelva f (x) = 0 para x.

f (x)

Raz x

b) Parte 3: Sistema de ecuaciones

algebraicas lineales Dadas las as y las cs, resolver a11x1 + a12x2 = c1 a21x1 + a22x2 = c2 para las xs. x2

Solucin

c) Parte 4: Optimizacin
Determine la x que da el ptimo de f(x). f (x)

x1

Mnimo x

d ) Parte 5: Ajuste de curvas

f (x) f (x) Interpolacin

Regresin x x f (x)

e) Parte 6: Integracin
b I = a f (x) dx Encuentre el rea bajo la curva.

I x

PT1.2

ANTECEDENTES MATEMTICOS

f ) Parte 7: Ecuaciones diferenciales ordinarias

Dada dy y = f (t, y) dt t resolver para y como funcin de t. yi + 1 = yi + f (ti , yi ) t y

Pendiente = f ( t i, y i) t ti y ti + 1 t

g) Parte 8: Ecuaciones diferenciales parciales

Dada 2u + 2u = f (x, y) x2 y2 determine u como funcin de xyy

FIGURA PT1.2 (Conclusin)

3.

4.

5.

una gran variedad de problemas y en todas las disciplinas de la ingeniera. En particular, se originan a partir de modelos matemticos de grandes sistemas de elementos interrelacionados, tal como estructuras, circuitos elctricos y redes de flujo; aunque tambin se llegan a encontrar en otras reas de los mtodos numricos como el ajuste de curvas y las ecuaciones diferenciales. Optimizacin (figura PT1.2c). En estos problemas se trata de determinar el valor o los valores de una variable independiente que corresponden al mejor o al valor ptimo de una funcin. De manera que, como se observa en la figura PT1.2c, la optimizacin considera la identificacin de mximos y mnimos. Tales problemas se presentan comnmente en el contexto del diseo en ingeniera. Tambin surgen en otros mtodos numricos. Nosotros nos ocuparemos de la optimizacin tanto para una sola variable sin restricciones como para varias variables sin restricciones. Tambin describiremos la optimizacin restringida dando especial nfasis a la programacin lineal. Ajuste de curvas (figura PT1.2d). A menudo se tendr que ajustar curvas a un conjunto de datos representados por puntos. Las tcnicas desarrolladas para tal propsito se dividen en dos categoras generales: regresin e interpolacin. La primera se emplea cuando hay un significativo grado de error asociado con los datos; con frecuencia los datos experimentales son de este tipo. Para estas situaciones, la estrategia es encontrar una curva que represente la tendencia general de los datos, sin necesidad de tocar los puntos individuales. En contraste, la interpolacin se utiliza cuando el objetivo es determinar valores intermedios entre datos que estn, relativamente, libres de error. Tal es el caso de la informacin tabulada. En dichas situaciones, la estrategia consiste en ajustar una curva directamente mediante los puntos obtenidos como datos y usar la curva para predecir valores intermedios. Integracin (figura PT1.2e). Como hemos representado grficamente, la interpretacin de la integracin numrica es la determinacin del rea bajo la curva. La inte-

MODELOS, COMPUTADORAS Y ANLISIS DEL ERROR

6.

7.

gracin tiene diversas aplicaciones en la prctica de la ingeniera, que van desde la determinacin de los centroides de objetos con formas extraas, hasta el clculo de cantidades totales basadas en conjuntos de medidas discretas. Adems, las frmulas de integracin numrica desempean un papel importante en la solucin de ecuaciones diferenciales. Ecuaciones diferenciales ordinarias (figura PT1.2f). stas tienen una enorme importancia en la prctica de la ingeniera, lo cual se debe a que muchas leyes fsicas estn expresadas en trminos de la razn de cambio de una cantidad, ms que en trminos de la cantidad misma. Entre los ejemplos tenemos desde los modelos de prediccin demogrfica (razn de cambio de la poblacin), hasta la aceleracin de un cuerpo que cae (razn de cambio de la velocidad). Se tratan dos tipos de problemas: problemas con valor inicial y problemas con valores en la frontera. Adems veremos el clculo de valores propios. Ecuaciones diferenciales parciales (figura PT1.2g). Las ecuaciones diferenciales parciales sirven para caracterizar sistemas de ingeniera, en los que el comportamiento de una cantidad fsica se expresa en trminos de su razn de cambio con respecto a dos o ms variables independientes. Entre los ejemplos tenemos la distribucin de temperatura en estado estacionario sobre una placa caliente (espacio bidimensional) o la temperatura variable con el tiempo de una barra caliente (tiempo y una dimensin espacial). Para resolver numricamente las ecuaciones diferenciales parciales se emplean dos mtodos bastante diferentes. En el presente texto haremos nfasis en los mtodos de las diferencias finitas que aproximan la solucin usando puntos discretos (figura PT1.2g). No obstante, tambin presentaremos una introduccin a los mtodos de elementos finitos, los cuales usan una aproximacin con piezas discretas.

PT1.3

ORIENTACIN
Resulta til esta orientacin antes de proceder a la introduccin de los mtodos numricos. Lo que sigue est pensado como una vista general del material contenido en la parte uno. Se incluyen, adems, algunos objetivos como ayuda para concentrar el esfuerzo del lector en el estudio de los temas. PT1.3.1 Alcance y presentacin preliminar La figura PT1.3 es una representacin esquemtica del material contenido en la parte uno. Este diagrama se elabor para ofrecer un panorama global de esta parte del libro. Se considera que un sentido de imagen global resulta importante para desarrollar una verdadera comprensin de los mtodos numricos. Al leer un texto es posible que se pierda uno en los detalles tcnicos. Siempre que el lector perciba que est perdiendo la imagen global vuelva a la figura PT1.3 para orientarse nuevamente. Cada parte de este libro contiene una figura similar. La figura PT1.3 tambin sirve como una breve revisin inicial del material que se cubre en la parte uno. El captulo 1 est diseado para orientarle en los mtodos numricos y para motivarlo mostrndole cmo se utilizan dichas tcnicas, en el proceso de elaborar modelos matemticos aplicados a la ingeniera. El captulo 2 es una introduccin

PT1.3

ORIENTACIN

PT1.1 Motivacin

PT1.2 Antecedentes matemticos

PT1.3 Orientacin

PT1.6 Mtodos avanzados

PARTE 1 Modelos, computadoras y anlisis del error

1.1 Un modelo simple

PT1.5 Frmulas importantes

EPLOGO
PT1.4 Alternativas

CAPTULO 1 Modelos matemticos y solucin de problemas en ingeniera

1.2 Leyes de conservacin

2.1 Paquetes y programacin 2.2 Programacin estructurada

4.4 Varios tipos de error

4.3 Error numrico total

CAPTULO 4 Errores de truncamiento y la serie de Taylor

CAPTULO 2 Programacin y software

2.3 Programacin modular

4.2 Propagacin del error 4.1 La serie de Taylor 3.4 Errores de redondeo

CAPTULO 3 Aproximaciones y errores de redondeo

2.4 Excel

2.6 Otros lenguajes y bibliotecas

2.5 MATLAB

3.1 Cifras significativas 3.3 Definiciones de error 3.2 Exactitud y precisin

FIGURA PT1.3 Esquema de la organizacin del material en la parte uno: Modelos, computadoras y anlisis del error.

y un repaso de los aspectos de computacin que estn relacionados con los mtodos numricos y presenta las habilidades de programacin que se deben adquirir para explotar de manera eficiente la siguiente informacin. Los captulos 3 y 4 se ocupan del importante tema del anlisis del error, que debe entenderse bien para el uso efectivo de los mtodos numricos. Adems, se incluye un eplogo que presenta los elementos de juicio que tienen una gran importancia para el uso efectivo de los mtodos numricos.

10

MODELOS, COMPUTADORAS Y ANLISIS DEL ERROR

TABLA PT1.1 Objetivos especcos de estudio de la parte uno.

1. Reconocer la diferencia entre soluciones analticas y numricas. 2. Entender cmo las leyes de la conservacin se emplean para desarrollar modelos matemticos de sistemas fsicos. 3. Denir diseo modular y top-down. 4. Denir las reglas para la programacin estructurada. 5. Ser capaz de elaborar programas estructurados y modulares en un lenguaje de alto nivel. 6. Saber cmo se traducen los diagramas de ujo estructurado y el seudocdigo al cdigo en un lenguaje de alto nivel. 7. Empezar a familiarizarse con cualquier software que usar junto con este texto. 8. Reconocer la diferencia entre error de truncamiento y error de redondeo. 9. Comprender los conceptos de cifras signicativas, exactitud y precisin. 10. Conocer la diferencia entre error relativo verdadero ev, error relativo aproximado ea y error aceptable es y entender cmo ea y es sirven para terminar un clculo iterativo. 11. Entender cmo se representan los nmeros en las computadoras y cmo tal representacin induce errores de redondeo. En particular, conocer la diferencia entre precisin simple y extendida. 12. Reconocer cmo la aritmtica de la computadora llega a presentar y amplicar el error de redondeo en los clculos. En particular, apreciar el problema de la cancelacin por sustraccin. 13. Saber cmo la serie de Taylor y su residuo se emplean para representar funciones continuas. 14. Conocer la relacin entre diferencias nitas divididas y derivadas. 15. Ser capaz de analizar cmo los errores se propagan a travs de las relaciones funcionales. 16. Estar familiarizado con los conceptos de estabilidad y condicin. 17. Familiarizarse con las consideraciones que se describen en el eplogo de la parte uno.

PT1.3.2 Metas y objetivos Objetivos de estudio. Al terminar la parte uno el lector deber estar preparado para aventurarse en los mtodos numricos. En general, habr adquirido una comprensin fundamental de la importancia de las computadoras y del papel que desempean las aproximaciones y los errores en el uso y desarrollo de los mtodos numricos. Adems de estas metas generales, deber dominar cada uno de los objetivos de estudio especficos que se muestran en la tabla PT1.1. Objetivos de cmputo. Al terminar de estudiar la parte uno, usted deber tener suficientes habilidades en computacin para desarrollar su propio software para los mtodos numricos de este texto. Tambin ser capaz de desarrollar programas de computadora bien estructurados y confiables basndose en seudocdigos, diagramas de flujo u otras formas de algoritmo. Usted deber desarrollar la capacidad de documentar sus programas de manera que sean utilizados en forma eficiente por otros usuarios. Por ltimo, adems de sus propios programas, usted deber usar paquetes de software junto con este libro. Paquetes como MATLAB y Excel son los ejemplos de dicho software. Usted deber estar familiarizado con ellos, ya que ser ms cmodo utilizarlos para resolver despus los problemas numricos de este texto.

CAPTULO 1 Modelos matemticos y solucin de problemas en ingeniera

El conocimiento y la comprensin son prerrequisitos para la aplicacin eficaz de cualquier herramienta. Si no sabemos cmo funcionan las herramientas, por ejemplo, tendremos serios problemas para reparar un automvil, aunque la caja de herramientas sea de lo ms completa. sta es una realidad, particularmente cuando se utilizan computadoras para resolver problemas de ingeniera. Aunque las computadoras tienen una gran utilidad, son prcticamente intiles si no se comprende el funcionamiento de los sistemas de ingeniera. Esta comprensin inicialmente es emprica es decir, se adquiere por observacin y experimentacin. Sin embargo, aunque esta informacin obtenida de manera emprica resulta esencial, slo estamos a la mitad del camino. Durante muchos aos de observacin y experimentacin, los ingenieros y los cientficos han advertido que ciertos aspectos de sus estudios empricos ocurren una y otra vez. Este comportamiento general puede expresarse como las leyes fundamentales que engloba, en esencia, el conocimiento acumulado de la experiencia pasada. As, muchos problemas de ingeniera se resuelven con el empleo de un doble enfoque: el empirismo y el anlisis terico (figura 1.1). Debe destacarse que ambos estn estrechamente relacionados. Conforme se obtienen nuevas mediciones, las generalizaciones llegan a modificarse o aun a descubrirse otras nuevas. De igual manera, las generalizaciones tienen una gran influencia en la experimentacin y en las observaciones. En lo particular, las generalizaciones sirven para organizar principios que se utilizan para sintetizar los resultados de observaciones y experimentos en un sistema coherente y comprensible, del que se pueden obtener conclusiones. Desde la perspectiva de la solucin de un problema de ingeniera, el sistema es an ms til cuando el problema se expresa por medio de un modelo matemtico. El primer objetivo de este captulo consiste en introducir al lector a la modelacin matemtica y su papel en la solucin de problemas en ingeniera. Se mostrar tambin la forma en que los mtodos numricos figuran en el proceso.

1.1

UN MODELO MATEMTICO SIMPLE

Un modelo matemtico se define, de manera general, como una formulacin o una ecuacin que expresa las caractersticas esenciales de un sistema fsico o de un proceso en trminos matemticos. En general, el modelo se representa mediante una relacin funcional de la forma: Variable variables funciones =f , parmetros, dependiente independientes de fuerza

(1.1)

12

MODELOS MATEMTICOS Y SOLUCIN DE PROBLEMAS EN INGENIERA

Definicin del problema

TEORA

Modelo matemtico

DATOS

Herramientas para resolver problemas: computadoras, estadstica, mtodos numricos, grficas, etctera.

Resultados numricos o grficos Relaciones grupales: programacin, optimizacin, comunicacin, interaccin pblica, etctera.

FIGURA 1.1 Proceso de solucin de problemas en ingeniera.

Instauracin

donde la variable dependiente es una caracterstica que generalmente refleja el comportamiento o estado de un sistema; las variables independientes son, por lo comn, dimensiones tales como tiempo y espacio, a travs de las cuales se determina el comportamiento del sistema; los parmetros son el reflejo de las propiedades o la composicin del sistema; y las funciones de fuerza son influencias externas que actan sobre el sistema. La expresin matemtica de la ecuacin (1.1) va desde una simple relacin algebraica hasta un enorme y complicado grupo de ecuaciones diferenciales. Por ejemplo, a travs de sus observaciones, Newton formul su segunda ley del movimiento, la cual establece que la razn de cambio del momentum con respecto al tiempo de un cuerpo, es igual a la fuerza resultante que acta sobre l. La expresin matemtica, o el modelo, de la segunda ley es la ya conocida ecuacin F = ma
(1.2)

donde F es la fuerza neta que acta sobre el objeto (N, o kg m/s2), m es la masa del objeto (kg) y a es su aceleracin (m/s2).

1.1

UN MODELO MATEMTICO SIMPLE

13

FU

La segunda ley puede escribirse en el formato de la ecuacin (1.1), dividiendo, simplemente, ambos lados entre m para obtener a= F m

(1.3)

donde a es la variable dependiente que refleja el comportamiento del sistema, F es la funcin de fuerza y m es un parmetro que representa una propiedad del sistema. Observe que en este caso especfico no existe variable independiente porque an no se predice cmo vara la aceleracin con respecto al tiempo o al espacio. La ecuacin (1.3) posee varias de las caractersticas tpicas de los modelos matemticos del mundo fsico:
FD

1. 2.

FIGURA 1.2 Representacin esquemtica de las fuerzas que actan sobre un paracaidista en descenso. FD es la fuerza hacia abajo debida a la atraccin de la gravedad. FU es la fuerza hacia arriba debida a la resistencia del aire.

3.

Describe un proceso o sistema natural en trminos matemticos. Representa una idealizacin y una simplificacin de la realidad. Es decir, ignora los detalles insignificantes del proceso natural y se concentra en sus manifestaciones esenciales. Por ende, la segunda ley de Newton no incluye los efectos de la relatividad, que tienen una importancia mnima cuando se aplican a objetos y fuerzas que interactan sobre o alrededor de la superficie de la Tierra, a velocidades y en escalas visibles a los seres humanos. Finalmente, conduce a resultados reproducibles y, en consecuencia, llega a emplearse con la finalidad de predecir. Por ejemplo, dada la fuerza aplicada sobre un objeto de masa conocida, la ecuacin (1.3) se emplea para calcular la aceleracin.

Debido a su forma algebraica sencilla, la solucin de la ecuacin (1.2) se obtiene con facilidad. Sin embargo, es posible que otros modelos matemticos de fenmenos fsicos sean mucho ms complejos y no se resuelvan con exactitud, o que requieran para su solucin de tcnicas matemticas ms sofisticadas que la simple lgebra. Para ilustrar un modelo ms complicado de este tipo, se utiliza la segunda ley de Newton para determinar la velocidad final de la cada libre de un cuerpo que se encuentra cerca de la superficie de la Tierra. Nuestro cuerpo en cada libre ser el de un paracaidista (figura 1.2). Un modelo para este caso se obtiene expresando la aceleracin como la razn de cambio de la velocidad con respecto al tiempo (dv /dt), y sustituyendo en la ecuacin (1.3). Se tiene dv F = dt m

(1.4)

donde v es la velocidad (m/s) y t es el tiempo (s). As, la masa multiplicada por la razn de cambio de la velocidad es igual a la fuerza neta que acta sobre el cuerpo. Si la fuerza neta es positiva, el cuerpo se acelerar. Si es negativa, el cuerpo se desacelerar. Si la fuerza neta es igual a cero, la velocidad del cuerpo permanecer constante. Ahora expresemos la fuerza neta en trminos de variables y parmetros mensurables. Para un cuerpo que cae a distancias cercanas a la Tierra (figura 1.2), la fuerza total est compuesta por dos fuerzas contrarias: la atraccin hacia abajo debida a la gravedad FD y la fuerza hacia arriba debida a la resistencia del aire FU. F = FD + FU
(1.5)

14

MODELOS MATEMTICOS Y SOLUCIN DE PROBLEMAS EN INGENIERA

Si a la fuerza hacia abajo se le asigna un signo positivo, se usa la segunda ley de Newton para expresar la fuerza debida a la gravedad como FD = mg
(1.6)

donde g es la constante gravitacional, o la aceleracin debida a la gravedad, que es aproximadamente igual a 9.8 m/s2. La resistencia del aire puede expresarse de varias maneras. Una forma sencilla consiste en suponer que es linealmente proporcional a la velocidad,1 y que acta en direccin hacia arriba tal como FU = cv
(1.7)

donde c es una constante de proporcionalidad llamada coeficiente de resistencia o arrastre (kg/s). As, cuanto mayor sea la velocidad de cada, mayor ser la fuerza hacia arriba debida a la resistencia del aire. El parmetro c toma en cuenta las propiedades del objeto que cae, tales como su forma o la aspereza de su superficie, que afectan la resistencia del aire. En este caso, c podra ser funcin del tipo de traje o de la orientacin usada por el paracaidista durante la cada libre. La fuerza total es la diferencia entre las fuerzas hacia abajo y las fuerzas hacia arriba. Por lo tanto, combinando las ecuaciones (1.4) a (1.7), se obtiene dv mg cv = dt m o simplificando el lado derecho de la igualdad, dv c =g v dt m
(1.9) (1.8)

La ecuacin (1.9) es un modelo que relaciona la aceleracin de un cuerpo que cae con las fuerzas que actan sobre l. Se trata de una ecuacin diferencial porque est escrita en trminos de la razn de cambio diferencial (dv /dt) de la variable que nos interesa predecir. Sin embargo, en contraste con la solucin de la segunda ley de Newton en la ecuacin (1.3), la solucin exacta de la ecuacin (1.9) para la velocidad del paracaidista que cae no puede obtenerse mediante simples manipulaciones algebraicas. Siendo necesario emplear tcnicas ms avanzadas, del clculo, para obtener una solucin exacta o analtica. Por ejemplo, si inicialmente el paracaidista est en reposo (v = 0 en t = 0), se utiliza el clculo integral para resolver la ecuacin (1.9), as v(t ) = gm (1 e ( c / m )t ) c
(1.10)

Note que la ecuacin (1.10) es un ejemplo de la forma general de la ecuacin (1.1), donde v (t) es la variable dependiente, t es la variable independiente, c y m son parmetros, y g es la funcin de fuerza.
De hecho, la relacin es realmente no lineal y podra ser representada mejor por una relacin con potencias como FU = cv 2. Al nal de este captulo, investigaremos, en un ejercicio, de qu manera inuyen estas no linealidades en el modelo.
1

1.1

UN MODELO MATEMTICO SIMPLE

15

EJEMPLO 1.1

Solucin analtica del problema del paracaidista que cae Planteamiento del problema. Un paracaidista con una masa de 68.1 kg salta de un globo aerosttico fijo. Aplique la ecuacin (1.10) para calcular la velocidad antes de que se abra el paracadas. Considere que el coeficiente de resistencia es igual a 12.5 kg/s. Solucin. v(t ) = Al sustituir los valores de los parmetros en la ecuacin (1.10) se obtiene 9.8(68.1) (1 e (12.5/ 68.1)t ) = 53.39(1 e 0.18355t ) 12.5

que sirve para calcular la velocidad del paracaidista a diferentes tiempos, tabulando se tiene

t, s 0 2 4 6 8 10 12

v, m/s 0.00 16.40 27.77 35.64 41.10 44.87 47.49 53.39

De acuerdo con el modelo, el paracaidista acelera rpidamente (figura 1.3). Se alcanza una velocidad de 44.87 m/s (100.4 mi/h) despus de 10 s. Observe tambin que, despus de un tiempo suficientemente grande, alcanza una velocidad constante llamada velocidad terminal o velocidad lmite de 53.39 m/s (119.4 mi/h). Esta velocidad es constante porque despus de un tiempo la fuerza de gravedad estar en equilibrio con la resistencia del aire. Entonces, la fuerza total es cero y cesa la aceleracin. A la ecuacin (1.10) se le llama solucin analtica o exacta ya que satisface con exactitud la ecuacin diferencial original. Por desgracia, hay muchos modelos matemticos que no pueden resolverse con exactitud. En muchos de estos casos, la nica alternativa consiste en desarrollar una solucin numrica que se aproxime a la solucin exacta. Como ya se mencion, los mtodos numricos son aquellos en los que se reformula el problema matemtico para lograr resolverlo mediante operaciones aritmticas. Esto puede ilustrarse para el caso de la segunda ley de Newton, observando que a la razn de cambio de la velocidad con respecto al tiempo se puede aproximar mediante (figura 1.4): dv v v(ti +1 ) v(ti ) = dt t ti +1 ti
(1.11)

donde v y t son diferencias en la velocidad y en el tiempo, respectivamente, calculadas sobre intervalos finitos, v (ti) es la velocidad en el tiempo inicial ti, y v (ti +1) es la veloci-

16

MODELOS MATEMTICOS Y SOLUCIN DE PROBLEMAS EN INGENIERA

Velocidad terminal

40
v, m/s

20

FIGURA 1.3 Solucin analtica al problema del paracaidista que cae segn se calcula en el ejemplo 1.1. La velocidad aumenta con el tiempo y tiende asintticamente a una velocidad terminal.

4 t, s

12

dad algn tiempo ms tarde ti + l. Observe que dv /dt v /t es aproximado porque t es finito. Recordando los cursos de clculo tenemos que dv v = lm t 0 dt t La ecuacin (1.11) representa el proceso inverso.
FIGURA 1.4 Uso de una diferencia nita para aproximar la primera derivada de v con respecto a t.

v(ti +1) Pendiente verdadera dv/dt v

v(ti )

Pendiente aproximada v v(ti +1) v(ti ) = t t i +1 i t

ti t

ti +1