Está en la página 1de 196

SECRETARIA DE AGRICULTURA Y RECURSOS HIDRULICOS

SUBSECRETARA DE INFRAESTRUCTURA HIDRULICA

Introduccin a los mtodos


numricos aplicados a la
hidrulica

IMTA
INSTITUTO MEXICANO D TECNOLOGA DELAGUA
COORDINACIN DE

INVESTIGACIN

SECRETARIA DE AGRICULTURA Y RECURSOS HIDRULICOS


SUBSECRETARA DE INFRAESTRUCTURA HIDRULICA

Introduccin a los mtodos


numricosaplicadosala
hidrulica
\

' *. " * '" C .*

-n ' - . - # ( - . 4 * ,

IMTA
INSTITUTO MEXICANO DE TECNOLOGA DELAGUA

Coordinacin de Investigacin
Osear A. FuentesMariles
PolloptroMartnez Austria
Septlembre, 1988

41

C O N T E N I D O

1. INTRODUCCIN

2. SOLUCIN DE ECUACIONES ALGEBRAICAS EN UNA VARIABLE


2.1. Introduccin
2.2. Mtodo de biseccin
2.3. Mtodo de falsa posicin
2.4. Mtodo de Newton-Raphson
2.5. Mtodo de la s e c a n t e

3 . SOLUCIN DE SISTEMAS DE ECUACIONES LINEALES


3.1. Introduccin
3.2. Solucin analtica de s i s t e m a s lineales
3.3. Mtodo de eliminacin de Gauss
3.4. Mtodo de Jacobi
3.5. Mtodo de Gauss-Seidel
3.6. Mtodo de s b r e m e l a j a c i n

4. ECUACIONES DIFERENCIALES ORDINARIAS


4.1. Mtodo de Euler
4.2. Mtodo de Euler modificado o de Heun
4 . 3 . Mtodo de Nystrom
4.4. Mtodo basado en la s e r i e de Taylor
4.5. Mtodos de Runge-Kutta
4.6. Frmulas de Adams
4.7. Mtodo P r e d i c t o r - C o r r e c t o r
4 . 8 . Mtodo de p a r m e t r o s indeterminados
4.8.1. Mtodo de Ritz
4.8.2. Mtodo de Galerkin
4.9. Ecuaciones diferenciales de orden mayor a uno
4.10.

E r r o r e s en los mtodos numricos


resolver ecuaciones diferenciales

4.11. Ejemplos

para

M r

5. ECUACIONES DIFERENCIALES PARCIALES


5.1. Diferencias finitas
5.2. Convergencia, estabilidad y consistencia

112
131

5.2.1. Convergencia

132

5.2.2. Estabilidad

136

5.2.3. Consistencia

143

5.3. Mtodo de las caractersticas

150

5.3.1. Ecuacin de segundo orden

152

5.3.2. Dos ecuaciones diferenciales

164

5.4. Mtodo del elemento finito


BIBLIOGRAFA

173
191

NDICE DE FIGURAS
2.1. Flujo sobre un escaln en un canal.
2.2. Races x , x , x , x de una funcin f(x)
. 1'

4
6

2.3. Representacin grfica de una iteracin del mtodo de biseccin

2.4. Diagrama de flujo para el mtodo de biseccin

2.5. Listado del programa del mtodo de biseccin.

12

2.6. Representacin grfica del mtodo de falsa posicin

14

2.7. Diagrama de flujo del mtodo de falsa posicin

17

2.8. Programa del mtodo de falsa posicin


2.10 Diagrama de flujo para el mtodo de Newton-Raphson
2.9. Esquematizacin de una iteracin del mtodo de Newton-Raphson
2.11. Programa para el clculo del tirante normal en un canal
trapecial con el mtodo de Newton-Raphson

18
23
20
24

2.12. Funcin para ejemplificar el mtodo de la secante

25

2.13. Diagrama de bloques del mtodo de la secante

28

2.14. Programa para el clculo del tirante crtico con el mtodo de

29

la secante
3.1. Diagrama de flujo del procedimiento "vuelta atrs"

36

3.2. Listado del programa del mtodo de Gauss

44

3.3. Programa del mtodo de Gauss-Seidel

54

4.1. Intervalos de integracin


4.2. Area de integracin del mtodo de Euler

59
60

4.3. Area de integracin del mtodo de Heun

61

4.4. Area de integracin del mtodo de Nystrom

64

4.5. Area de integracin del mtodo de la serie de Taylor

66

4.6. Diagrama de bloques del mtodo Predictor-Corrector

81

4.7. Diagrama de bloques del mtodo Predictor-Modificador-Corrector

82

4.8. Comportamiento del error total


4.9. Depsito con orificio

94
99

5.1. Aproximaciones a la derivada

116

5.2. Problema de flujo entre drenes

120

5.3. "Molcula de calculo" de la ec. 5.31

121

5.4. Variacin dei nivel entre drenes


5.5. Molcula de clculo del esquema de promedios pesados
5.6. Regin de integracin del ejemplo 5.11
5.7. Diagrama de bloques del mtodo de las caractersticas para

131
153
156

una ecuacin lineal de segundo orden


5.8. Curvas caractersticas

157

5.9. Canal del ejemplo 5.12

160

5.10- Curvas caractersticas del ejemplo 5.12

163

5.11. Curvas caractersticas segn el tipo de flujo


5.12. Plano de las caractersticas
5.13. Mallas de elemento finito sobre un rea irregular
5.14. Canal del ejemplo 5.15

168
172
174
177

5.14.a. Malla del flujo del ejemplo 5.15

178

5.15. Tringulo de nomenclatura de elemento finito.

179

4 TatnLcia
Oncan, q.Seto

A'Sora.
y ^ " " i dndnea

1. INTRODUCCIN
El empleo de tcnicas computacionales,

conjuntamente con mtodos numricos,

es cada vez ms frecuente en la solucin de problemas en


facilidad de disponer de computadoras
capacidad a menores precios,

personales,

ingeniera.

La

con cada vez mayor

ha hecho que estos instrumentos dejen de ser

una opcin aplicable solamente a casos especiales,

para convertirse en una

herramienta de uso casi cotidiano.


En
ser

este momento,

y cada vez ms en el

futuro,

los

capaces de incorporar a su prctica profesional

ingenieros debern
el uso de tcnicas

computacionales. No obstante, su empleo ptimo no requiere solamente del


conocimiento

de

especiales,

que facilitarn el plantear

inteligente,

lenguajes

haciendo

de

uso

computacin,
de

sino

tambin

de

tcnicas

soluciones de una manera ms

procedimientos

lgicos

matemticos

(algoritmos) ms adecuados.
La mayor parte de los fenmenos que estudia la ingeniera, y en particular la
hidrulica,
ecuaciones:

se representan por medio de

modelos matemticos,

esto es por

algebraicas, diferenciales ordinarias o parciales, sistemas de

ecuaciones, etc.
En numerosas ocasiones,

estas ecuaciones son de difcil solucin con mtodos

analticos, o bien stas no se conocen. En condiciones as, se pueden emplear


mtodos numricos de anlisis.
Las presentes notas han sido elaboradas como una introduccin a los mtodos
numricos aplicados a la ingeniera hidrulica, se ha intentado

establecer

un equilibrio entre la presentacin de los mtodos y sus aplicaciones.


Una

vez mostrados los fundamentos de

cada mtodo

numrico,

se hace

nfasis en su aplicacin a ingeniera hidrulica; con la intencin de que el


lector sea capaz, en problemas de

su prctica profesional cotidiana, de

lograr aplicaciones semejantes. Para el lector interesado en profundizar en


1

algn mtodo especfico, al final de las notas se incluye bibliografa.


Dada su naturaleza didctica, los algoritmos mostrados se han simplificado,
de manera que puedan comprenderse con mayor facilidad, aunque necesariamente
se sacrifica generalidad. Se incluyen algunos programas que tambin han sido
diseados para una sencilla comprensin y que por lo tanto, en su mayora, no
son de uso general, sino especficos para ilustrar la aplicacin de algn
mtodo o algoritmo.
Dentro del amplio campo de los mtodos numricos, se han tocado solamente los
de mayor importancia. En el captulo 2 se discute el problema de la solucin
numrica de ecuaciones algebraicas en una variable.
presentan mtodos de solucin de sistemas
captulo 4 se dedica a
ordinarias. En

de

En

el captulo 3 se

ecuaciones lineales. El

la solucin numrica de ecuaciones diferenciales

el captulo

5 se presentan los mtodos de diferencias

finitas, de las caractersticas y una introduccin al del elemento finito,


todos ellos para la solucin de ecuaciones diferenciales parciales.

2. SOLUCIN DE ECUACIONES ALGEBRAICAS EN UNA VARIABLE


2.1. Introduccin
En hidrulica ocurre en ocasiones que, despus del desarrollo algebraico de
un problema, se obtiene una ecuacin en la que la variable dependiente no se
puede despejar.

Ejemplo 2.1'
Se desea calcular el tirante en un escaln en un canal, por medio de
aplicacin de la ecuacin de la

energa

especifica.

el que se indica en la figura 2.1, del que se conoce


el tirante en la seccin 1

(y

= 0.15 m),

el

Se tiene un flujo como


gasto (Q=.5 m / s ) y

aguas arriba del escaln, y se

desea conocer el correspondiente tirante sobre el escaln,


La

la

en la seccin 2.

altura del escaln es de .05 m y el ancho del canal,

de seccin

rectangular, de 1.5 m.
Aplicando el principio de conservacin de la energa entre ambas secciones,
se obtiene:
E = E + Az
i

(2.1)

donde E y E son las energas especficas en la secciones 1 y 2, y Az es la


altura del escaln.
La energa especfica se define como
V2
E = y +- r -

(2.2)
2g

Aplicando

el

principio de continuidad,

y definiendo

el

gasto unitario

como
3

Q
(2.31

q=

donde b es el ancho del canal, la energa especfica para un canal de seccin


rectangular se puede expresar de la siguiente manera

(2.4)

E =y+
2gy

Con esta ecuacin, conocido el tirante en cualquier seccin, se calcular la


correspondiente energa especfica.
Escribiendo la ecuacin 2.4 en lugar de E en la ecuacin 2.1, se obtiene

(2.5)

+ Az

E =y +
2gy'

Haciendo operaciones y agrupando se obtiene finalmente

A + [Az - Ei> y + 27

(2.6)

=o

La solucin de la ecuacin anterior proporciona el tirante y


conocen Az y q, y E se puede calcular, dado y

buscado. Se

, por medio de la ecuacin

2.4.

9
y.= O.iS m
Q

"^e=
Figura 2.1. Flujo sobre un escaln en un canal.

IA Z

^P

ED casos como ste, el mtodo mas evidente, pero que tambin puede resultar
ineficiente, consiste en asignar valores a la variable mediante

tanteos,

hasta que se satisfaga la igualdad a cero en la ecuacin


Por otra parte, el problema de resolver una ecuacin en una sola variable,
cuando sta es implcita, ha sido atacado desde hace mucho tiempo, y existen
diversos mtodos numricos de solucin.
El problema puede plantearse sencillamente, en su forma general, de la
siguiente manera. Dada una funcin de la forma
f(x) = 0

encontrar los valores x , x , x ,


i

(2.7)

,x que la satisfacen
3

n ^

Estos valores se denominan races de la ecuacin,

y en la figura 2.2 se

muestra una interpretacin geomtrica.


El numero de races (multiplicidad) que posee una ecuacin depende de la
propia ecuacin,

pudiendo incluso ser infinito,

tal es el caso de funciones

peridicas como f(x) = sen x = 0, que tiene por races x = 0, II, 271, 311,...
A continucin se procede a presentar algunos de los mtodos ms usuales para
la solucin de este problema.

2.2. Mtodo de biseccin


Considrese el problema de encontrar una raz de una ecuacin con la forma
mostrada en la figura 2.3.a.
Supngase que se eligen dos valores de x;

denominados "a " y "b ", a ambos

lados de la raz , es decir, que f(a ) f(b )< 0, y se toma el promedio de


ellos P = (a +b )/2.
i
o o

En general, el promedio estar ms cercano a la raz que a y que b , aunque


casi nunca ser, de primer intento, su valor exacto. Estando

ms cerca

de la raz, puede sustituir a cualquiera de los valores de a o b , y de esta


manera cerrar an ms el intervalo en el que se encuentra la solucin.
En

la figura 2.3.a,

si f(P ) > 0,

entonces "b" ser sustituida por "P ";

y si f(P ) < 0 entonces "a" ser sustituida por "P ". El nuevo intervalo se
muestra en la figura 2.3.b.

En general, si P

intervalo ser:
(P ,b
k

k-l

) si

f(P )f(a

si

f(P )f(a

= (a

+ b

k-l

)/2, el
k-I

) >0

k-l

k v

(a

k-l

,P )
k

) <0

k~l

El siguiente promedio, P , del nuevo intervalo, se acerca mucho ms a la


k

raz, como puede observarse.

* fix)

Figura 2.2. Rafees x , x , x , x de una funcin f(x)

Si se efectan

los pasos anteriores repetidamente,

los valores de los

promedios P se acercarn paulatinamente a la raz y, con un cierto nmero de


iteraciones, se encontrar un valor suficientemente cercano
la prctica' no
cero,
funcin

se

pueden

obtener valores

por lo que se acostumbra


con

una cierta

aceptar

tolerancia.

Es

al exacto.

En

de f(x) exactamente iguales a


como

solucin un valor de la

decir, que se acepta que la

raz

ocurre cuando:
|fix) | < T
donde T es un nmero pequeo, por ejemplo 0.00001.
El procedimiento descrito se puede organizar de manera sencilla como se
muestra a continuacin.

ALGORITMO DEL MTODO DE BISECCIN.


1. Proponga dos valores de x, que se denominarn a y b, tales que
f(a)f(b) < 0. Defina una tolerancia T.
2. Calcule el promedio P = (a+b)/2
3. Si jf(P)| < T entonces vaya al paso 5, en caso contrario contine.
4. Si f(a)f{P) > 0 haga a = P
Si f(a)f(P) < 0 haga b = P
Regrese al paso 2.
5. La raz buscada es P. El proceso termina.
Una vez planteado

el

algoritmo,

programa para computadora.

es

relativamente

sencillo

escribir

un

El propio algoritmo es casi un diagrama de

bloques.
7

En la figura 2.4 se presenta un diagrama de flujo para el mtodo de


biseccin. En ste, en lugar de escribir en cada lnea donde se requiere la
funcin f(x), se utiliz la posibilidad que tiene el usuario de definir una
funcin. El' empleo de la instruccin DEF FNF, para un programa escrito en
lenguaje Basic, permite adems

una mayor flexibilidad en el uso del

programa, dado que bastar cambiar la funcin en esta lnea para que se pueda
resolver un problema diferente.

En la figura 2.5 se presenta el listado del programa para el mtodo de


biseccin, escrito en Basic, con comentarios suficientes para su uso.

. . f (K )

. f (X >

'

'

o, i /

i b)
Pi

Figura 2.3. Representacin grfica de una iteracin del mtodo de biseccin

LEE DATOS

A.B.T

D E F I N E FUNCIN
DEF F N F t X ) r

SI

"V

P r

RAIZ

P
'

NO

TT>J
Figura 2.4. Diagrama de flujo para el mtodo de biseccin

Para el caso del ejemplo 2.1, se tienen los siguientes datos:


b = 1.5 m, y = 0.15 m

Az = 0.10 m

Con estos datos, el gasto unitario vale


q = Q / b = 0.5 / 1.5 = 0.3333 m V s

y, por la ecuacin 2.4, la energa especfica en la seccin 1 es


0.3332
E = 0.15 +
1

= 0.402
19.62(.15) Z

sustituyendo estos valores en la ecuacin 2.5, y haciendo operaciones se


obtiene finalmente:
y 3 - .352 y 2 + .00566 = 0

(2.6)

una de cuyas soluciones es el tirante buscado.


Para ilustrar el funcionamiento del mtodo de biseccin, se proceder a
operar el algoritmo inicialmente sin auxilio del programa.
En primer trmino, es necesario establecer un intervalo dentro del cual se
encuentre la solucin.
El tirante en la seccin 1, aguas arriba del escaln, es supercrtico, por lo
que el tirante sobre el escaln lo ser tambin.
El tirante crtico, siendo el canal de seccin rectangular, es

3 / q

y =
c

= 0.224 m
g

Entonces, el tirante buscado estar en el intervalo


0.15 < y < 0.224
por lo que se puede escoger a = 0.16, b = 0.224.
En
10

la tabla 2.1 se resumen los clculos efectuados con el mtodo de

biseccin. Si se considera aceptable uitffr t o l e r a n c i a de 0.0001, con el t e r c e r


clculo se o b t e n d r a la solucin:
ITERACIN

y = 0.184.

b
k

p
k

f(p )

*k

0.16

0.224

0.192

0.16

0.192

0.176

0.176

0.192

0.184

*k

- . 0002382
0.0002082
-.0000278

Tabla 2.1. Ejemplo del mtodo de biseccin.

Utilizando el p r o g r a m a se sigue ta secuencia:

1. Antes de e j e c u t a r el p r o g r a m a se escribe en la lnea 140 ia funcin f(x),


a la que se busca r a z en el intervalo a, b.

2. El p r o g r a m a pide d a t o s al usuario:
INTRODUZCA INTERVALO DE BSQUEDA
VALOR MNIMO DE BSQUEDA?
VALOR MAXIMO DE BSQUEDA?
TOLERANCIA ?

0.16
0.224
0.0001

3. Se inicia el proceso de clculo e, i n s t a n t e s despus, el p r o g r a m a informa


del r e s u l t a d o . En e s t e caso
*** SE ENCONTR SOLUCIN
LA RAZ ES:
X = 0.184

Como en el mtodo de biseccin, si se cumple la r e s t r i c c i n

de que f(a) y

f(b) sean de signos c o n t r a r i o s , el mtodo es siempre convergente, es decir


que s e a p r o x i m a s i e m p r e a la solucin.

Un mtodo de bsqueda de r a c e s no converge cuando se aleja,


aproxima

a la solucin conforme aumenta el nmero de

o no se

iteraciones.
11

La convergencia es una caractenstiA* importante del mtodo de biseccin, sin


embargo, es comparativamente lento; es decir, que se obtiene

la solucin con

un numero mayor de iteraciones que con los mtodos de orden superior, como
se ver despus

5 CLS
10REM *PROGRAMA PARA SOLUCIN DEECUACIONES ALGEBRAICAS*
20REM
MTODO DE BISECCIN
30REM
40CLEAR:PRINT "
MTODO DE BISECCIN
"
50PRINT "ECUACINARESOLVER SEANOTA ENLA LINEA140"
60REM
70REM SEPIDEN DATOS
80REM
90PRINT "VALORMNIMO DE BSQUEDA"; :INPUTA
100PRINT "VALORMAXIMO DEBSQUEDA"; :INPUT B
110PRINT "TOLERANCIA "; :INPUT T
120REM
130REM
SE DEFINEECUACINA RESOLVER
140DEF FNF(X)=X"3-.352*X"2+.00566
150REM
160REM SE INICIA CALCULO
170 P=(A+B)/2
180 IFABS(FNF(P))<T THENGOTO 230
190 S=FNF(A)*FNF(P)
200IFS>0THENA=PELSE B=P
210GOTO 170
220REM IMPRESIN DE RESULTADO
230CLS:PRINT "LARAZ ES:";P
240END
Figura 2 5. Listado del programa del mtodo de biseccin

2.3. Mtodo de falsa posicin


El mtodo de falsa posicin, o de Regula Falsi, es similar a! de biseccin,
aunque en lugar de utilizar un promedio aritmtico de ios

lmites del

intervalo de bsqueda para evaluar la

siguiente aproximacin

se emplea una relacin de tringulos semejantes,


en cuenta la forma de la funcin.
12

con

la raz,

lo que se puede tomar

Considrese que se desea calcular una r a z de una funcin como la que se


m u e s t r a en la figura 2.6, donde se han elegido
elegi
dos valores de la variable, a^
y b T , t a l e s que se cumple que f(a b ) f(b v ) < 0.

El punto en que la r e c t a que une a f(a ) y f(b ) c r u z a e eje x, se denota


como c , y es una aproximacin a la r a z .

En la f i g u r a

se pueden definir

dos t r i n g u l o s ; el mayor con v r t i c e s en

f(a ), d y f(b ); y el menor con v r t i c e s en c , b


t r i n g u l o s son s e m e j a n t e s ,

Estos

de m a n e r a que se puede e s c r i b i r la relacin:

f(b )

f(b ) -f(a. )

b - c
k

y f(b ).

b
k

(2.7)

- a
k

y despejando el valor de c , se obtiene:

f(b )(b -a )
k

c =bk
k

- , . , r<
T
f(b. )-f(a. )

(2-8)

Calculado c , se sigue un procedimiento i t e r a t i v o similar al del mtodo de


k

biseccin,

es

d e c i r , se

cierra

el

intervalo

de

bsqueda

paulatinamente,

cuidando conservar la condicin de que f(a ) f | b ] < 0.


M

Si f(c ) es negativa, entonces a

se s u s t i t u y e por c , en

b la que adopta el valor de c p a r a continuar

caso c o n t r a r i o es

el proceso.

ALGORITMO DEL MTODO DE FALSA POSICIN.

1.

Proponga

dos valores de x,

que s e denominarn a y b,

tales

que

f(a)f(b) < 0.
Defina una t o l e r a n c i a T.

13

2. Calcule f(a) y f(b)


calcule c con la ecuacin 2.8.
4. Calcule f(c)
5. Si |f(c) < T vaya al paso 7
Si |f(c)| > T contine
6. Si f(c)f(a) > 0 haga a = c
Si f(c)f(a) < 0 haga b = c
Regrese al paso 3
7. La raz buscada es c

f (X)

f>k-|)

t
f (b,-,)
f(b)+lf(o)

ir
fta,-,)
T

fan-i
i

. i -

1*.
^T^
C(t-<lk-|

- 1

bt.,-cu

-+S

Hb

k-|-l-l

Figura 2.6. Representacin grfica del mtodo de falsa posicin

14

P a r a i l u s t r a r la aplicacin de e s t e mtodo,

s e u t i l i z a r una vez ms el

ejemplo 2.1.

La ecuacin' a resolver es la 2.6

y 3 - 0.352 y 3 + .00566 = 0
J

(2.6)

y los valores iniciales de clculo, como se obtuvo a n t e r i o r m e n t e , son

a = 0.16

b = 0.224

En la t a b l a 2.2 se resumen los clculos efectuados.

Si se a c e p t a

una

t o l e r a n c i a de 0.0001, en la segunda iteracin se h a b r encontrado la r a z

ITERACIN

0.1842

fe)

0.16

0.224

0.1946

-.000229

0.16

0.1916

0.1842

-.0000325

Tabla 2.2. Ejemplo del mtodo de falsa posicin

El

algoritmo de f a l s a posicin es tambin de sencilla

f i g u r a 2.7 s e p r e s e n t a un d i a g r a m a de flujo, y en la 2.8


listado.

Como p a r a el mtodo de

funcin por el u s u a r i o .

biseccin

programacin.

En la

el c o r r r e s p o n d i e n t e

se ha utilizado definicin de

Una c o r r i d a tpica s e r i a como sigue:

PROGRAMA MTODO DE FALSA POSICIN

FUNCIN EN LINEA 130


INTERVALO DE BSQUEDA
15

VALOR MNIMO DE BSQUEDA ?


0.16
VALOR MAXIMO DE BSQUEDA ?
0.224
TOLERANCIA ?
0.0001
Se realizan clculos:

SE ENCONTR RAZ
X = 0.184188

El

mtodo de falsa posicin,

al igual que el de

biseccin,

es convergente

siempre que se cumpla la condicin de que f(a) f(b)<0. Su velocidad de


convergencia es similar a la del mtodo de biseccin.
2.4. Mtodo de Newton-Raphson
Un mtodo muy conocido de solucin de ecuaciones en una

variable es

el de

Newton-Raphson, en el que se utiliza la interpretacin geomtrica de la


derivada de una funcin.
Considrese

la funcin que se muestra en la figura 2.9.a;

propuesto un valor x, para la raz.


eleccin no ser la solucin,
f(x ) diferente de cero.
define la pendiente de

En

en la que

En trminos generales esta primera

es decir que en x,
este punto (x ,

la funcin tendr un valor


f(x )),

I a derivada,

que

la funcin, valdr f'(x ), y la recta tangente a la

funcin que pasa por este punto cruzar el eje X en el punto x

16

se ha

LEE DATOS 1
A.8.T

D E F I N E FUNCIN:
FNF(X) =

Al = F N F | A )
A2=FNF(B)

CALCULE C
ECUACIN

2.8

JB=C { - M o

Figura 2.7. Diagrama de flujo del mtodo de falsa posicin

17

5CLS
10CLSPRINT "PROGRAMA FALSA POSICIN "
20PRINT "********************":BEEP
30PRINT "FUNCIN EN LINEA 130"
40REM SEPIDEN DATOS
50PRINT :PRINT "INTERVALO DE BSQUEDA"
60PRINT "VALORMNIMO DEBSQUEDA";:INPUT A
70PRINT "VALORMAXIMO DE BSQUEDA ";:INPUT B
80PRINT "TOLERANCIA";:INPUT T
90CLS
100REM
110REM EN LA LINEA SIGUIENTE DEFINICIN DE FUNCIN *
120DEF FNF (X)=X"3-.352*X"2+.00566
130Al= FNF(A):B1=FNF(B)
140 C=B-{B1*(B-A))/(Bl-Al)
150 C1=FNF(C)
160IFABS(C1)<T THEN GOTO 190
170IFA1*C1>0 THENA=C ELSE B=C
180GOTO 130
190CLS:PRINT "**********************"
200PRINT "LASOLUCIN ES :";C
210PRINT "**********************"
220END
Figura 2.8. Programa del mtodo de falsa posicin

IS

Los vrtices x

y f(x ) forman un tringulo, y la tangente del ngulo

k+l

a indicado en la figura vale


f(x )
k

tan a =

x - x
k

(2.9)
k*l

y como tan a = f'(x ); se puede escribir

f(x )
k

- X
k

- = f'(x )

(2.10)

k*l

Despejando a x se obtiene
f(x )
k
X

k*l

(2.11)

f'X )
k

Si en la siguiente iteracin se sustituye el valor de x , por el de


calculado, el valor de la funcin se aproximar ms

k-l

a cero, como se observa

en la figura 2.9.b, y con un nmero suficiente de repeticiones de este


procedimiento se obtendr la solucin, dada' una tolerancia.
El algoritmo del mtodo de Newton-Raphson, puesto en forma de diagrama de
bloques, se muestra en la figura 2.10.
Debe observarse que en este mtodo, slo se requiere un valor inicial para
comenzar el clculo.
Para

ilustrar

la

aplicacin

de

este

mtodo,

considrese

el

siguiente

problema, tpico en hidrulica de canales.

Ejemplo 2.2.
Calcular el tirante normal de un canal trapecial; para un gasto de Q = 0.75
19

m /s,

que tiene un ancho de plantilla b = 1.70

S = 0.0001 y coeficiente de rugosidad

m, talud

= 2, pendiente

n = 0.10.

Figura 2.9. Esquematizadn de una iteracin del mtodo de Newton-Raphson

20

SOLUCIN:
De la ecuacin de Manning
1
R2/3 Sl/2

V-

(2.12)

n
donde R es el radio hidrulico y V la velocidad media del flujo.
De la ecuacin de continuidad
0
V = r-

(2.13.a)

y el radio hidrulico se define como


A
R =-rdonde

A es el rea hidrulica y P el permetro

(2.13.b)
mojado.

Para un canal

seccin trapecial:
A = (b + ky) y

(2.14.a)

P = b + 2y 1 + k

(2.14.b)

Sustituyendo las ecuaciones 2.13 en la 2.12 y ordenando


Qn
s

./2
0

p2/3

es decir, que la funcin a resolver es

Qn

f( y ) m

=0
p

2/3

l/2

(2.15)

en la cual A y P son funciones del tirante "y". Para la aplicacin del mtodo
de Newton-Raphson se requiere obtener la derivada de la funcin, que en este
caso es
r

dP,

f(y) - A * " [ - P - ] P -

dA,

[ - A*" -

5 dA

dP -.

(246,

y ordenando
Az/3

Por otra parte, de las expresiones para el rea hidrulica y permetro mojado
para una seccin transversal trapecial resultan
dP
= 2 V 1 + k2
dy

(2.18.a)

dA
= b + 2ky
dy

(2.l8.b)
J

Entonces, en la aplicacin del mtodo se utilizar la ecuacin recursiva


f(y)
y

donde

i+i

= y

i ~

f'(y)

f(y) se calcula con la ecuacin 2.15 y f'(y) con las ecuaciones 2.17 y

2.18.
En la figura 2.11 se presenta un programa en lenguaje Basic

para el clculo

del tirante normal con el mtodo de Newton-Raphson.


La secuencia de ejecucin del programa sera como se indica a continuacin.
PROGRAMA PARA EL CALCULO DEL TIRANTE NORMAL
MTODO DE NEWTON-RAPHSON.
*************************
22

GASTO(m3/s)?
0.75
ANCHODEPLANTILLA(m)?
1.70
TALUD?
2
COEFICIENTE DE MANNING ?
0.10
PROPONGA UN TIRANTE (m) ?
0-45
PENDIENTE DEL CANAL ?
0.001
TOLERANCIA ?
0.000001

TIRANTE NORMAL (m)


y = 0.9513742

LEE DATOS

CALCULE

X.T

fix)

CALCULE

x=x-H

NO

f'lx)

SI

X = RAZ

F i g u r a 2.10. Diagrama de flujo p a r a el mtodo de Newton-Raphson

5 CLS
10 CLS :PRINT "PROGRAMA CALCULO DEL TIRANTE NORMAL
20 PRINT :PRINT"METOD0 DE NEWTON RAPHSON
30 PRINT "***************#***********"PRINT
40 REM
- ENTRADA DE DATOS 50 PRINT "GASTO (M"3/S)";:INPUT Q
60 PRINT '"ANCHO DE PLANTILLA (M)";:INPUT B
70 PRINT "TALUD ";:INPUT K
80 PRINT "COEFICIENTE DE MANNING";:INPUT N
90 PRINT "PROPONGA UN TIRANTE ";:INPUT YO
100 PRINT "PENDIENTE DEL CANAL";:INPUT S
110 PRINT "TOLERANCIA ";:INPUT T
120 REM - SE DEFINEN FUNCIONES A=AREA P= PERMETRO
130 REM F= FUNCIN A RESOLVER :D= DERIVADA 140 DEF FNA (X)=(B+K*X)*X
150 DEF FNP (X)=B+2*X*SQR(1+K"2)
160 DEF FNF (Y)=(FNA(Y)"5/FNP(Y)"2)"(l/3)-Q*N/SQR(S)
170 DEF FND (Y)=(FNA(Y)/FNP(Y))~(2/3)*(5/3*(B+2*K*Y))
+2/3*(FNA(Y)/FNP(Y))*2*SQR(l+K"2)
180 REM SE INICIA EL ALGORITMO 190 H= FNF(Y0)/FND(Y0)
200 IF ABS (HXT THEN GOTO 240
210 YO =YO-H
220 GOTO 190
230 REM -SE ENCONTR RAZ
240 CLS :BEEP :PRINT "****************"
250 PRINT "TIRANTE NORMAL (M)=",YO:PRINT"******************"
260 END
Figura 2.11. P r o g r a m a p a r a el clculo del t i r a n t e normal en un canal
t r a p e c i a l con el mtodo de Newton-Raphson.

El mtodo de Newton-Raphson es mucho ms rpido que los de biseccin y f a l s a


posicin, sin embargo, no siempre es convergente.

2.5. Mtodo de la s e c a n t e

El mtodo de la s e c a n t e es una v a r i a n t e del mtodo de Newton-Raphson, til en


casos en los que la derivada de la funcin a resolver e s complicada.

En la f i g u r a 2.12 s e p r e s e n t a la g r f i c a de una funcin


desea c a l c u l a r la r a z . Se han elegido dos valores x
corresponden

valores

de

la funcin

f(x ) y f(x
k

r e s t r i c c i n de que f ( x )f(x
k

f a l s a posicin.
24

) < 0,
k+I

f(x),
y x

). Estos

a la que se
;

a los que
no tienen

la

k+i

como p a r a los mtodos de biseccin y

El arco que une a f(x ) y f(x

) corta al eje x en un valor x

y, como

kl

se

k+ 2

observa en la figura, se pueden formar dos tringulos semejantes con vrtices


en x , x , f(x ) y f(x
), c, f(x ).
J
k+2

k+i

k+i

k +i

fU^

* " x k+2

Figura 2.12. Funcin para ejemplificar el mtodo de la secante

Entonces se puede escribir la siguiente relacin


f(x ) - f(x

f(x

k+ l

x - x
k

y depejando a x

k+l

k+2

k+2

f(x

,>
k+ l

k+2

k+l

f(x)-f(X
k

Si

el valor de x

(2.20)

k+l

k+l

no se aproxima suficientemente a la

raz,

se sustituye
25

x
k+i

por
x , yJ x
K
k

procedimiento x

por x
k+2

, y se
calcula una nueva iteracin.
J

Con este

k+i

se aproximar gradualmente a la solucin.

En la figura 2.13 se presenta un diagrama de bloques del

mtodo de

la

secante.
Ejemplo 2.3
Calcular el tirante crtico en un canal de seccin trapecial.
El tirante crtico ocurre cuando el nmero de Froude es igual a la unidad,
condicin que puede escribirse como:
Q2

=1

(2.21)

A3
g "
T
donde T es el ancho de la superficie libre,

que para un canal de seccin

trapecial est determinada por la ecuacin:


T = b + 2ky

(2.22)

La ecuacin 2.21 se puede escribir en la siguiente forma:


A3Q2

r~g-o
y sustituyendo las expresiones para A y T:
(b+ky)y]3
f(y)

Q2

= b - ^ r

Esta ecuacin es la que debe resolverse para encontrar

(2 23)

el tirante crtico.

En la figura 2.14 se presenta un programa para la solucin de este problema.


26

Utilizando los mismos d a t o s que p a r a el ejemplo

anterior,

aplicando el

p r o g a m a se obtendran los siguientes r e s u l t a d o s :

PROGRAMA CALCULO DE TIRANTE CRITICO


MTODO DE LA SECANTE
***********#******

GASTO ?
0.75
ANCHO DE PLANTILLA ?
1.70 ?
TALUD ?
2
PROPONGA DOS TIRANTES ?
0.20,0.40
TOLERANCIA ?
0.0001

**#**************
TIRANTE CRITICO
y 0.2445
******************

Las c a r a c t e r s t i c a s del mtodo de la s e c a n t e son similares a l a s del mtodo


de Newton-Raphson. No siempre es convergente, y su velocidad de convergencia
es l i g e r a m e n t e menor.

27

Lee datos
1 2

CALCULE

fix,)

>'
CALCULE

f IX2)

i'

f IXZX|-X2 )
f IX| ) - f I X 2 )

11

3 *

f (X,)=f(Xz)

xa=xs

NO

^"""^ IAx - X J c T ^"""""^s


<^^
i 5 *a ^ '
^ ^ "

Sl

x,= xB

Figura 2.13. Diagrama de bloques del mtodo de la secante

28

<x

v-

RAZ

FIN

5 CLS
10CLS:PRINT "PROGRAMA CALCULO DELTIRANTE CRITICO "
20PRINT "MTODO DE LASECANTE ":PRINT "*******"
30PRINT :PRINT "GASTO (M*3/S)";:INPUTQ
40PRINT "ANCHO DE PLANTILLA";:INPUT B
50PRINT "TALUD";:INPUT K
60PRINT "PROPONGA DOS TIRANTES Yl,Y2(M)";:INPUT Y1,Y2
70PRINT "TOLERANCIA ";:INPUT T
80DEF FNF(X)=((B+K*X)*X)"3/(B+2*K*X)-Q*2/9.810001
90 F2=FNF(Y2)
100Fl= FNF(Yl)
110 H=F2*(Y2-Y1)/(F2-F1)
120Y3=Y2-H
130IFABS (Y3-Y1)<T THEN GOTO 150
140Yl= Y3:GOTO 100
150CLS ;PRINT"*********"
160PRINT "TIRANTE CRITICO ":PRINT "YC=";Y3
170PRINT "************"
180END
190CLS:PRINT "*************************"
200PRINT "LASOLUCIN ES :";C
210
PRINT "*************************"
220END
Figura 2.14. Programa para el clculo del tirante crtico con el mtodo de
la secante

29

3. SOLUCIN DE SISTEMAS DE ECUACIONES LINEALES

3.1. Introduccin
La solucin numrica de sistemas de ecuaciones lineales es uno de los campos
de estudio fundamentales del anlisis numrico, no solamente porque existen
muchos problemas cuyo planteamiento matemtico conduce por si mismo a un
sistema de este tipo, sino tambin porque otros mtodos numricos, como los
esquemas

implcitos

de

diferencias

finitas

para

resolver

ecuaciones

diferenciales, quedan expresados como sistemas de ecuaciones lineales.


Los sistemas de ecuaciones lineales tienen

solucin

analtica, como

se

recordar ms adelante. Sin embargo, existen tambin varios mtodos numricos


de solucin, y se producen continuamente otros. La razn de esta situacin es
que, dada la magnitud de los sistemas

a resolver en problemas reales y su

variedad, debe elegirse entre los diversos mtodos el ms eficiente para un


problema dado, con el fin de minimizar el tiempo de clculo.
En este captulo se presentarn algunos de los mtodos

numricos ms tiles

de solucin de sistemas de ecuaciones lineales.

3.2. Solucin analtica de sistemas lineales


Un sistema lineal es un sistema de ecuaciones de la forma:

a x + a x +
11 1

12 2

a x+a x +
21 1

22 2

+a x = b
ln n

+a x = b
2n n

(3.1)
a

x +a x +
mi

m2 2

+a x = b
mn n

La solucin del sistema son los valores de las variables x , donde i= 1, 2,


3,

n, que cumplen con cada una de las ecuaciones lineales. Un


31

sistema de ecuaciones lineales puede tener como

solucin un conjunto nico

de valores x , un nmero infinito de conjuntos x solucin, o bien puede no


existir ningn conjunto de valores x

que satisfagan

las ecuaciones del

sistema.
El sistema tiene solucin nica en el caso que el nmero de renglones (n) sea
igual al de columnas (m), y las ecuaciones sean linelamente

independientes.

Se dice entonces que el sistema es compatible determinado. Un sistema de este


tipo, en forma matricial, se puede escribir como

a
ii

a
a

21

a
12

a
a

31

22
32

a
13

a
a

ln

23

b
2

2n

33

3n

(3.2)

.= .

a
ni

n2

n3

nn

b
n

o bien de modo abreviado

[A| x = b

(3.2.a)

En notacin tensorial
a x= b
U

donde
a

Para
32

ij

elemento de la matriz A en el rengln i,columna j

x.
J

elemento en la columna j del vector x

elemento en el rengln i del vector b

obtener

la solucin analtica de un sistema de

ecuaciones lineales se

requiere recordar previamente algunos conceptos.


Dada una matriz A(m,n); con elementos a , su transpuesta A (n,m) se obtiene
realizando la operacin

ij

=a

Es decir intercambiando renglones por columnas.


Considrese una matriz cuadrada A(n,n). Dentese por M

la submatriz
ij

cuadrada que se obtiene quitando a A el i-simo rengln y la j-sima columna.


El determinante de esta submatriz,

j M I. se denomina "el menor" del


1

elemento a

i J1

de A; v se define "el cofactor" de a , denotado A , como el


U
U
'
menor con el signo dado por la operacin
A

lj

= (-1)'

i J+ J

|M
'

(3.3)

A cada elemento de la matriz A le corresponde un cofactor A


que los cofactores integran una nueva matriz,

, de manera

la "matriz de cofactores", que

se denotar por A .
Se

define la matriz adjunta como la transpuesta de la de

cofactores, es

decir: (A ) .
Si A es una matriz cuadrada, su inversa se denota A ; tal que se cumple con
A A _1 = I
donde I es la matriz identidad, y se puede demostrar que la inversa puede
calcularse con la expresin
1
A"1 = y^y (AC)T

(3.4)

33

Entonces, si se tiene un sistema lineal A x =

b, ste tiene solucin ( si A

es invertible, IAI * 0) para cualquier b, de acuerdo con la ecuacin


x-= A"1 b

(3.5)

o bien, por la ecuacin 3.4


1
x = 777 (AC)T b

(3.5.a)

Esta es la solucin del sistema de ecuaciones lineales 3.2. Sin embargo, no es


factible en

la prctica para sistemas grandes de ecuaciones, debido al

elevado nmero de operaciones que es necesario efectuar

(del orden de

n(n-l)!). Por esta razn, se han desarrollado otros mtodos que, teniendo sus
propias limitaciones, requieren un nmero menor de clculos para obtener la
solucin.

3.3. Mtodo de eliminacin de Gauss


Los mtodos numricos de solucin de sistemas de ecuaciones lineales se
clasifican en directos e indirectos. Los primeros son aquellos en los que la
solucin se obtiene basndose en las propiedades del algebra lineal, es decir,
que la solucin se encuentra mediante una sola iteracin, mientras que

en

los segundos se requieren varias.


Algunos mtodos directos aprovechan para la solucin las propiedades de un
sistema que posee matriz de coeficientes triangular.
Supngase, en un caso muy sencillo (forzando el ejemplo para la explicacin),
que se tiene un sitema de ecuaciones A x = b, tal que la matriz de
coeficientes es diagonal ( a

= 0 si i * j).

Entonces, la solucin del sistema es fcil de obtener y est dada por

34

(3.6)

x =
i
con i= 1,2,3,...

iJ

,n.

Si se tiene un sistema

de ecuaciones con una matriz de

coeficientes

triangular superior el procedimiento de solucin seria igualmente inmediato,


aunque un poco ms laborioso. Por ejemplo

a
II

a
12

a
22

a .
13

ln

14

a ..
23

2n

24

3n

..

33

34

4n

0 a . . .
44

0 a

La solucin para la variable x sera


n

(3.7.a)
a

conocido este valor, se puede despejar, para la variable x

de la penltima

ecuacin

n-i

ib
n-l

-a

x1

(3.7.b)

n - l,n n

y as sucesivamente. En general, para la i-sima variable

35

1
X =
i

b - a
1i

x
i,I+l

1*1

... ~a x

I,l+2i+2

(3.8)

I n n

Este procedimiento se denomina de "vuelta atrs" y, como puede verse, posee


caractersticas de sencillez y eficiencia que lo hacen muy atractivo. S un
sistema cualquiera de ecuaciones se redujera a la forma triangular superior,
entonces

la

solucin

podra

obtenerse

con

facilidad

aplicando

este

procedimiento. Esta es la dea fundamenta! del mtodo de Gauss.


En la figura 3.1 se muestra un diagrama de flujo para el procedimiento de
"vuelta atrs".

Figura 3.1. Diagrama de flujo del procedimiento "vuelta atrs"

La primera etapa del mtodo de Gauss, como se ha dicho, consiste en modificar


el sistema de ecuaciones de manera que la matriz de coeficientes se convierta
en

triangular

fundamentales.
36

superior.

Esto

se'

logra

utilizando

tres

principios

1. La ecuacin i-sima puede multiplicarse por cualquier constante distinta


de cero, y usar el resultado en su lugar. Denotando E la i-sima ecuacin, y
"c" una constante no cero
c E = E
i

2. Puede multiplicarse

la j-esima ecuacin por una constante c, y el

resultado sumarlo a la i-sima,

sustituyendo el resultado

en la ecuacin

i-sima:
( c E+ E ) * E
3 Las ecuaciones E y E pueden intercambiarse
i

E <= E
i
J

Para evitar escribir todo el sistema de ecuaciones se acostumbra trabajar


con la matriz de coeficientes, a la que se aumenta el vector de trminos
independientes, obtenindose la "matriz ampliada"

i
a
21

12 13
a a
22 23

Si

ni

32

n2

a
...

...

33

a
n3

...

b
ln

2n
3n

a
nn

b
n

Se denotar R el rengln i-simo de la matriz ampliada.


El procedimiento de Gauss, utilizando las operaciones citadas, hace cero los
elementos de cada columna situados bajo la diagonal principal. Se

utiliza

como pivote precisamente el elemento de esta diagonal, es decir, se efecta


repetidamente la operacin:

37

]R siendo a

R 1 = R

(3.10)

l elemento que se desea anular, en el rengln j y la columna i.

En algunas ocasiones, sin proponrselo, se anula uno de los elementos de la


diagonal principal y,

para continuar el procedimiento se

intercambian

renglones, bajo la diagonal principal, eligiendo alguno que no tenga elemento


nulo en la columna en que se present la dificultad. Si toda columna, de la
diagonal principal hacia abajo, se ha anulado,

entonces el sistema no tiene

solucin nica (las ecuaciones no son linealmente independientes).


El algoritmo del mtodo de Gauss se puede resumir como sigue
ALGORITMO DE GAUSS
Para resolver el sitema de ecuaciones lineales:

a x +a x +
11 1

+a x = b

12 2

ln 1

a x +a x +
21 1

22 2

2n 2

a x +a x +
ni 1

nn n

1. Construya la matriz aumentada:

a
11

a
21

13

a
22

a
ni

38

a
12

a
n2

ln

2n
23

n3

+a x =b

n2 2

+a x = b

2.Seai=l

3.Sia = 0 vayaalpaso5.

4.Seapelnmerodeunrenglntalque

a = a
11

. . . . = a . = 0 pero

1+1,1

a *O

p-l.l

p,i

Si existe este rengln p, efecte ia operacin R = R

y contine.

Si p no existe, el sistema no tiene solucin nica y el procedimiento debe


detenerse.
5. Sea m =a / a . Para j= i+1, i+2, ....

, n. Haga las operaciones

( R =*m R ) R
J
ji i
J
6. Haga i = i + 1. Si i < n regrese al paso 3. Si i = n contine.
7. Si a = 0 el sistema no tiene solucin nica.
Si

nn

nn

0 aplique el procedimiento

de

vuelta

atrs

para encontrar

la solucin
b
a.

x =

nn

b. x = (b '

'

J=i+1

x
U

) /

i=n-i,n-2,...i

En la figura 3.2 se presenta un listado en lenguaje BASIC para resolver un


sistema de ecuaciones con el mtodo de Gauss.
Para

ejemplificar

claramente

el

mtodo

de

eliminacin

de

Gauss,

continuacin se aplicar paso a paso , siguiendo el algoritmo, al siguiente


sistema sencillo de ecuaciones:
39

3 x + 1.5 x + 4 x
1

.21 x + .23 x +
I

x = .83

- 2

2x +

=8

8 x + 10x = 47

Paso 1. La matriz aumentada quedara:


'3

1.5

.21

.23

.83

10

47

Paso 2. Sea i = 1
Paso 3. a = a = 3 , entonces se contina en paso 5
11

11

Paso 5. a) Para j = i + 1 =2 se tiene m = m =

=a

0.21
m = = 0.07
21

La operacin

( R - m R ) =* R es entonces
j

Ji i

numricamente es:
R :

|3

m R : 0.07
21 1

- m R :
21 i

R:
2

-m R +R :
21 1

|3

1.5

|-.2

-.105

|,21

.23

|o

0.125

Entonces el nuevo rengln 2 es


40

1.5

-.28

.72

2:

0.125

0.72

0.27|

b) Para j = i + 2 = 3 se tiene:
a
m"JI = rn
""3i =

a
Jl

31

li

= 0.6667

li

y la operacin (R - m R ) =R
es entonces

(R - m R ) =*R
3

31 1

Numricamente
m R : 0.6667
31 l

1.5

'

-m R :
31 l

| -2

-1

-2.667

|2

R:

-5.333j

10

47

7.333

41.6667]

-m R + R :
31 l

Entonces, el nuevo rengln R es

7.333

3=

41.66671

La nueva matriz aumentada es:


8

1.5
0

,125

.72

.27

7.333

41.6667

Paso 6. Se hace = i + 1 = 2

y como i < n se regresa al paso 3

Paso 3. a = a = -.125 * 0. Una vez ms, se contina al paso 5.


11

Z2

41

Paso 5. Para j= +1 = 3

32

m j i = m 32=

= 56

0,125
22

La operacin (R -m R ) => R
1
ji i
J
es entonces: (R -m R ) =* R
Numricamente

31 2

m R : 56

.125

.271

.72

32 2

-m R .

-7

-40.32

-I5.12|

7.333

41.6671

32 2

R:

|0
Paso 6. Se hace i= i + 1 = 3

-32.98

26.5467|

y como i = n se contina al paso 7.

La matriz aumentada final es

1.5
.125

Paso

7.

.72

.27

-32-98

26.5467

La aplicacin del procedimiento de vuelta atrs permite calcular la

solucin:
26.5467
X =

3 " S a ^ T = -- 8 0 5

42

0.27-.72(-.805)
x

z=

6 797

o77i

'

8-4(-.8051-1.5(6.797)
X =

= 0.3415

La programacin del algoritmo el mtodo de Gauss es relativamente sencilla.


En la figura 3.2 se presenta el listado de un programa en Basic.
Utilizando este programa los resultados del ejemplo anterior
x = .3419
1

x = 6.795
2

seran:

x = -.8047
3

Como puede verse, existe una ligera diferencia respecto al resultado

antes

obtenido, el cual se debe a que la computadora opera con un nmero mayor de


cifras decimales. El error cometido al eliminar algunas cifras decimales se
denomina "de redondeo ", y est presente en todos los mtodos numricos.

3.4. Mtodo de Jacobi.


El procedimiento de Gauss, siendo en general ms eficiente que los

mtodos

analticos, puede an dar origen a prdidas de eficiencia en determinados


casos; por ejemplo, cuando la matriz de coeficientes tiene muchos trminos
nulos, en cuyo caso se realizan muchas operaciones innecesarias (el programa
hace operaciones para anular trminos que ya son cero).

En situaciones como la anterior se puede utilizar algn mtodo indirecto, que


son de naturaleza iterativa, es decir, probando a partir de un vector inicial
propuesto x
43

5 CLS
10PRINT "ESTEPROGRAMA RESUELVEUN SISTEMA DENECUACIONES"
12PRINT "CONELMTODO DEGAUSS"
15PRINT *************************************************"
20PRINT :PRINT
30PRINT "RANGO DELAMATRIZ DECOEFICIENTES";:INPUT N
40DIM A(20,21),X(20),C(1,21),M(21)
70FOR1=1TO N
80PRINT "TECLEE LOS COEFICIENTES DELRENGLN M ,I
85PRINT "DELAMATRIZ AUMENTADA "
90FORJ=lTON+l
100PRINT"A(;I;",";J;")-";:INPUT A(I,J)
110NEXTJ
120NEXT I
1301=1
140IFA(I,I)00 THENGOTO 260
150P=I+1
160IFA(I,P)<>0 THEN GOTO 190
170IFP>=NTHEN GOTO 410
180P=P+l:GOTO 160
190FORJ=lTO N+l
200 C(I,J)=A(I,0!J)
210NEXTJ
220FORJ=lTO N+l
230 A(I,J)=A(P,J)
240A(P,J)=C(I,J)
250NEXTJ
260FORJ=I+1TO N
270M(J)=A(J,I)/A(I,I)
280NEXTJ
285FORJ=I+1TO N
290FOR P=lTO N+l
292 A(J,P)=A(J,P}-M(J)*A(I,P)
296NEXTP
298NEXTJ
300 1=1+1
310IF K N THEN GOTO 140
320IFA(I,I)=0 THEN GOTO 410
330 X(N)=A(N,N+1)/A(N,N)
335FOR I=N-1TO 1STEP-1
340S=0
350FORJ=I+1TO N
360S=S+A(I,J)*X(J)
370NEXTJ
380 X(I)=(A(I,N+1)-S)/A(I,I)
390NEXT I
400GOTO 420
410CLS :LPRINT "ELSISTEMANO TIENESOLUCINNICA ***:GOTO460
420CLS : LPRINT "*************************":LPRINT "LA SOLUCIN
ESM:LPRINT
430FOR 1=1TO N
440LPRINT ,,X(";I;W)=W,X(I)
450NEXT I
460LPRINT I^mT"************************-**":END
Figura 3.2. listado del programa del mtodo de Gauss.
44

La idea fundamental de la mayora de los mtodos iterativos


transformar el sistema original:

Ax = b
en otro sistema de la forma
(3.11)

x =Tx +c
i

que escrito ide manera recursiva quedara

k+1

= Tx

k
+

(3.12)

siendo k el nmero de iteracin.


Considrese por ejemplo el sistema

lOx - 7x + x
i

=73

(3.13)

x + 8x - 3 x = 23
1

x + 3x -9x = 57
1

Entonces se tiene

10
A=

73

-7

-3

-9

b=

23

57

Si en c a d a ecuacin i se despeja la i-sima variable,

= 7.3 + 0.7 x - 0 . 1 x
-

X = 2.875 -.125 x

s e obtienen

(3.14)

+ .375 x

x = - . 6 3 3 3 + 0.111 x + 0.3333 x
3

Es decir, que en t r m i n o s de 3.12, el sistema 3.14 t i e n e T y c :

.7

T =

-.125

.111

.333

7.3

-.1

.375

2.875

c=

-6.333

y se pueden e s c r i b i r l a s ecuaciones r e c u r s i v a s

xk

m 7.3 + 0.7 x k " ' - 0.1 x k _ 1

xk

= 2.875 -.125 x k _ 1 + .375 x k _ 1

xk

(3.14.a)
3

= - . 6 3 3 3 + 0.111 x k _ 1 + 0.333 x k _ 1

El clculo puede o r g a n i z a r s e como se indica en la t a b l a de la

siguiente

pgina, donde se ha tomado como solucin inicial p r o p u e s t a un vector u n i t a r i o .

Puede o b s e r v a r s e que los r e s u l t a d o s de l a s i t e r a c i o n e s 9 y 10 son y a muy


s i m i l a r e s ; por lo que puede d e t e n e r s e el procedimiento, y a c e p t a r que la
solucin a p r o x i m a d a e s x

46

= 7.7367, x = -.1662 y x = - 5 . 5 3 0

Iteracin

x
1

7.9

3.125

10.076

-.3209

-4.4155

7.5169

-.4031

-6.6849

7.9403

-.5714

-5.5121

7.45123

-.1846

-5.6419

7.7350

-.1721

-5.5674

7.7326

-.1797

-5.5317

7.7274

-.1664

-5.5341

7.7369

-.1662

-5.5308

10

7.7367

-.1662

-5.530

-5.889

El procedimiento descrito hasta aqu se denomina "mtodo de Jacobi", y su


algoritmo es como sigue

ALGORITMO DEL MTODO DE JACOBI

Para resolver el sistema A x = b

1. Proponga una solucin inicial x = (x , x ,


0

1 2

x)
n

2. Sea k = 1.
3. Para i = 1, 2, 3,

n ; calcule

b - Y a1J xJ
xk =
i

' i

ii

47

4.

Si x

es suficientemente aproximada,

vaya al paso 5; en caso contrario

haga k = k + 1 y vaya al paso 3.


_

5 . El vector solucin es x
Un criterio para establecer que el resultado ya es suficientemente exacto
puede ser utilizar alguna medida de la "distancia" entre los vectores de las
iteraciones k y k + 1, utilizando la norma
_ *

|| x

' i

- x

|| <c

(3.15)

donde e es una tolerancia, y el smbolo | | . | | representa la norma del vector.


Una medida adecuada puede obtenerse utilizando la "norma

infinita"

definida

como:
| | x | | = max X
lSISn

El mtodo de Jacobi, como todos los iterativos, no es siempre convergente, es


decir, que puede alejarse

de

la

solucin

a partir

del vector

inicial

propuesto, en vez de acercarse. Ms adelante se da un criterio

para

establecer la convergencia.

3.3. Mtodo de Gauss-Seidel

En el algoritmo de Jacobi puede verse que para calcular x , es decir, las


soluciones de la k-sima iteracin, se usan exclusivamente las

de la

iteracin anterior, a pesar de que algunos x estn ya calculados,


ij

El mtodo podra plantearse en forma distinta si para calcular x se utilizan


los x

48

ya obtenidos.

La ecuacin i t e r a t i v a del mtodo se modificara a la siguiente:

k-l

i.

- S (a- x k ) -

j=,

lj

xk~J) + b

(a

j = i +.

(3.16)

,j

E s t e mtodo es conocido como de Gauss-Seidel, y su algoritmo s e r a similar al


del mtodo de Jacobi, excepto que se modifica la ecuacin r e c u r s i v a .

P a r a ejemplificar

la aplicacin de este mtodo, considrese el s i s t e m a

de

e c u a c i o n e s a n t e s r e s u e l t o con el mtodo de Jacobi, y que en la forma:

k ~ k-r~
x =Tx
+ c, e s t dado por las ecuaciones 3.14.a
k

1E-1

X - 7.3 + 0.7 x

-0.1 x

L-l

x " = 2.785 -.125 x k _ I + .375 x k


2

(3.14.a)
3

x k = ' - 6 . 3 3 3 + 0.111 x k _ 1 + .333 x k '


3

El clculo se o r g a n i z a en la siguiente tabla:

Iteracin

k
i

k
2

k
3

k
0

7.9

2.2625

-4.7027

9.354

-.0578

-5.314

7.7809

-.0914

-5.4998

7.9599

-.1824

-5.5102

7.7233

-.1567

-5.5279

7.7431

-.1659

-5.5288

7.7368

-.1654

-5.5293

Se e n c u e n t r a la siguiente solucin aproximada:


49

x = 7.7368
1

x = -.1654
2

x = -5.5293
3

y como puede verse, en este caso se reduce el nmero de iteraciones.


Antes de seguir adelante, es conveniente establecer criterios para determinar
cundo un mtodo ser convergente.
Una secuencia de vectores {x )

se dice que converge a X, con respecto a


k=l

la norma, si dado cualquier e > O existe un entero N(e) tal que


x

-x

para todo k a N(e)

<e

Puede demostrarse que cualquier norma cumple esta definicin.


La norma infinita de una matriz A est definida como:

*ll.-1/7\.

E|a

(3.17)

u!

j= l

Es decir, que la norma infinita de una matriz es la mxima suma de los


valores absolutos de los elementos de cada rengln. Por ejemplo, la norma
infinita de la matriz del sistema de ecuaciones del ejemplo anterior:

10

-7

1
-3

A=

-9
se calcula como

50

suma en rengln 1:

10 + 7 + 1 = 18

suma en rengln 2:

1 + 8 + 3 = 12

suma en rengln 3:

1 + 3 + 9 = 13

entonces:
IIAl | = 18
Se puede demostrar la validez del siguiente teorema:

La secuencia {x }

, definida por x = T x

+ c ; para todo c * 0 y k > 1,

k=l

converge al vector x para cualquier vectop inicial x ; si I| T | | < I, para


cualquier norma.
En el ejemplo anterior:

-.1

.7

T =

-.125
.111

.375

.333

es decir, que su norma infinita es

II T 1 1 , - 0 . 8

<1

y por lo tanto el mtodo de Jacobi o Gauss-Seidel convergen para el sistema


de ecuaciones.
Es interesante enfatizar que el teorema anterior de
que,

convergencia establece

de cumplirse | | T | |<1, el mtodo converge independientemente del vector

inicial propuesto.

La revisin de convergencia

en un programa del mtodo

puede

fcilmente incluirse

de Gauss-Seidel, como el que se presenta en la

figura 3.3.
51

3.6. Mtodo de sobrerrelajacin


Tanto en el mtodo de Jacobi como en el de Gauss-Seidel,
existe un 'vector residual,

diferencia entre el

en cada iteracin

vector solucin real y el

vector de aproximacin.
Dentese:
e k = ( e k ,e k ,

,e k )

1 1 2 1

(3.18)
ni

el vector residual del mtodo tie Gauss-Seidel, correspondiente al vector de


la k-sima aproximacin
, k
(

k-l

VX2* - - V i - * ,

k-l

k-l,

,_ . . .

'

{3 19)

'x,+1' - \

la i-sima componente de e es :
I-l

k
11

= b - Va
' j=i

n
k

lJ

x J

V a
,,

1J

xk_1- a
J

xk_1

(3.20)

Entonces, se puede demostrar que la ecuacin del mtodo de Gauss-Seidel puede


tambin escribirse de la siguiente forma
r
xk = x k _ 1 +
i

El

k
ii

(3.21)

11

procedimiento puede hacerse ms eficiente si se introduce

un factor

peso ( b) ) aplicado a los sumandos del trmino a la derecha de la igualdad:


r
x k = (1-u) x k _ 1 + w
i
i

k
11

(3.22)
i i

y para algunos valores de u la convergencia ser mucho ms rpida. En efecto


si w = I se obtienen mtodos de relajacin (Gauss-Seidel)
52

de

si w < 1 se obtienen mtodos de infrarrelajacin.


si w >1 se obtienen mtodos de sobrerrelajacin.
Los mtodos de sobrerrelajacin pueden acelerar la convergencia de

sistemas

que convergen para el mtodo de Gauss-Seidel.

ALGORITMO DEL MTODO DE SOBRERRELAJACIN.


1. Proponga una solucin inicial x =( x ,x ,x , ... , x ) y un valor de u.
1 2

2. Sea k = 1.
3.Para i = 1, 2, 3

n; calcule

., . k-l
x = (1-w) x +

tJ r
1-1
r
_,
k
b - T a x -

u L'

i5 J

n
v,
F a

J= ui

1J J

i
k-l
x

-1

'4. Si x es suficientemente aproximada, contine al paso 5, en caso contrario


haga k = k + 1 y regrese al paso 3.
5. La solucin aproximada es el vector x .

53

2 CLS :PRINT :PRINT "PROGRAMA PARA SOLUCIN DE SISTEMA "


5 PRINT "DEECUACIONES LINEALES
GAUSS-SEIDEL
7 PRINT "*******************************"
10DIM X(50),A(50,50),B(50),T(50),X1(50),H(50),H1(50)
20PRINT :PRINT "RANGO DELSISTEMA ";
30INPUT'N
40PRINT "ELEMENTOS DE LAMATRIZ DECOEFICIENTES";
50PRINT "POR RENGLONES "
60FOR 1= 1TON
70FORJ=lTO N
80 INPUTA(I,J)
90NEXTJ
100NEXT I
110PRINT "TRMINOS DELVECTOR DE T. INDEPENDIENTES "
120FOR 1=1TON
130INPUTB(I)
140NEXT I
150PRINT "VALORES PROPUESTOS DESOLUCIN X(I)";
160FOR 1=1TO N
170INPUT X(I)
180NEXT I
190PRINT "TOLERANCIA";
200 INPUTE
210CLS:BEEP:PRINT"SE VERIFICA CONVERGENCIA":PRINT
220FOR 1=1TO N
230S=0
240FORJ=lTO N
250IFJ=I THEN GOTO 270
260S=S+ABS (A(I,J)/A(I,I))
270NEXTJ
280T(I)=S
290NEXTI
300 L1=T(1)
310FOR1=2TO N
320 F=L1-T(I)
330IFF>0THEN GOTO 350
340Ll= T(I)
350NEXT I
360IFL1>1THEN GOTO 780
370CLS:PRINT "********************":PRINT "EL
SISTEMA CONVERGE"
380PRINT .-PRINT"LANORMA ES :";L1
390PRINT :PRINT "SE INICIA GAUSS-SEIDEL":PRINT
n*********************

ESPERE"

400FOR 1=1TO 1000


Figura 3.3. Programa mtodo de Gauss-Seidel

54

410NEXTI
420K=l
430FOR 1=1TON
440S=0
450IF3>ITHEN GOTO 490
460FORJ=l TO 1-1
470 S=S-A(I,J)*X1(J)
480NEXTJ
490S1=0
500IF I=NTHEN GOTO 540
510FOR J=I+1TO N
520 S1=S1-A(I,J)*X(J)
530NEXTJ
540X1(I,)=(S+S1+B(I))/A(I,I)
550NEXT I
560 C=ABS(X1(1)-X(1))
570C1=ABS(X1(1))
580FOR 1=2TON
590 H(I)=ABS(X1(I)-X(I))
600 H1(I)=ABS(X1(I))
610NEXT I
620FORJ=2 TON
630G=H(J)-C
640IFG<0THEN GOTO 660
650C=H(J)
660NEXTJ
670FOR K=2TO N
680 G1=H1(K)-C1
690IFG K O THEN GOTO 710
700 C1=H1(K)
710NEXT K
720 D=C/C1
730IFD<ETHEN GOTO 790
740FOR 1=1TON
750 X(I)=X1(I)
760NEXT I
770K=K+l:GOTO 430
780PRINT "**********************":PRINT "EL SISTEMA
NO CONVERGE":GOTO 840
790PRINT :PRINT :PRINT "***********************"-.PRINT
"LASOLUCIN ES:"
800FOR 1=1TON
810PRINT "X(";l;")=";Xl(I)
820NEXT I
830PRINT "***************************"
840END
Figura 3.3.

... continuacin del programa del mtodo de Gauss-Seidel

55

4 ECUACIONES DIFERENCIALES ORDINARIAS


Una ecuacin diferencial ordinaria es una ecuacin que contiene al menos una
derivada ordinaria. Una ecuacin de este tipo puede escribirse en trminos de
diferenciales pero generalmente no es conveniente a menos que la ecuacin
contenga solamente la primera derivada.
Se dice que

se ha resuelto o integrado una ecuacin diferencial de x, y, y

derivadas de y respecto a x, cuando se ha encontrado una funcin de x y y que


no contiene derivadas, y que ai ser sustituida en la ecuacin diferencial, la
reduce a una identidad.
Si n es el nmero mayor de veces que se ha derivado la funcin y respecto a x
en uno de los trminos de la ecuacin diferencial, entonces se dice que n es
su orden.
Una ecuacin diferencial

ordinaria es lineal si contiene x

y y y las

derivadas respecto a x aparecen a la primera potencia. La forma general de


una ecuacin diferencial ordinaria lineal de orden n es
,n
b ( x P - - + b ix)
o , n
i
dx

H n y_ 1
+...+ b (x)-Qt- + b (x)y J= R(x)
, n-i
n-i
,
n
dx
dx

(4.1)

Por ejemplo, es lineal


7

dy

dy

, 2

..

+ x -1 + (x - 4)y = 5x
dx
dx

,.4

y no es lineal

2 d y i
x

\-*zr\

dy

+x

--

, 2 ,.
+

<*- vy =

,.4
5x

Para encontrar la solucin de las ecuaciones diferenciales ordinarias existen


procedimentos analticos, como son los de separacin de variables, factor
57

integrante, variacin de parmetros.


Desafortunadamente,

muchas,

acaso

la

mayora,

de las

ecuaciones

diferenciales que se presentan en la prctica ngenieril no pueden

ser

integradas por mtodos analticos o cuando lo son, el obtener su integral es


muy complicado. Sin embargo,

las

ecuaciones diferenciales,

pueden

ser

integradas numricamente. Considrese por ejemplo,


dy
-~
dx = f(x.y) . y = y en x = x

(4.2)

Para conocer la solucin de esta ecuacin en el intervalo x s x X , se


a

puede dividir tal intervalo en N subintervalos de ancho Ax (fig 4.1), y al


considerar que x = Ax n + x , x = x , y = y(x ) se planteap la solucin de
^
n
s N
b' -'n
n
4.2 como

f(x,y)dx

dy

lo cual es equivalente a

>= y * f '
I

f(x,y)dx

Jx

y =y * f2
J

2
y

= y

=y

f(x,y)dx

JX
+

n+i 'n J x

^ Vi +

flx

i-

f(x,y)dx(4.3)

nx

-y)dx

jC"
J

58

^y)dx

N-l

b'

VV

fu.y)

fixN.yNi

Figura 4.1. Intervalos de integracin

De manera que, si se logra valuar las integrales del desarrollo anterior, el


problema se habr resuelto. Aunque no se tiene la ecuacin que permita
calcular y para cualquier x en el intervalo (x , x ), si se dispone de una
a

coleccin de valores de y en trminos de x, lo cual puede ser tan til como


la ecuacin de y en trminos de x.
Para encontrar cualquiera de las integrales escritas antes, se proponen
algunos mtodos basados en obtener con la mayor precisin posible a la
integral.

4.1 Mtodo de Euler


Sea la fig. 4.2 donde la integral n-esima se ha representado por el rea
sombreada. As
pn+i
f(x) dx s f(x ,y )

59

por lo que
y

-'n+i

= yJ

+ f(x

,y

(4.4)

)Ax

n ' 'n

f|,yl

Ax
Figura 4.2. Area de integracin del mtodo de Euler

La ecuacin 4.4 permite conocer cualquier y

(n = 0,1,...) del desarrollo 4.3

y por lo tanto, una solucin aproximada de la ecuacin diferencial.


Ntese que el rea no cubre toda la integral por lo que la superficie no
considerada corresponde a un error.
4.2 Mtodo de Euler modificado o de Heun
Tratando de reducir el rea de error del mtodo de Euler se puede representar
la integral por el trapecio de la fig. 4.3. El mejor trapecio resultara al
tener como lado vertical mayor
la y

, pero esta es funcin precisamente de

que se desea obtener. Sin embargo, se propone una estimacin de y

representada
60

a f

como y

( valuada a partir del mtodo de Euler, (ec. 4.4 ))

p a r a t e n e r despus una aproximacin con menos e r r o r a la i n t e g r a l , que con el


mtodo de Euler, es decir

ix.y I

Figura 4 . 3 . Area de integracin del mtodo de Heun

n+i

.,
.,
f(x,y)dx s

f ( x ,y ) + f ( x
,y
)
n 'n
n+i 'n+i
^

Ax

n
En e s t e caso, la ecuacin del mtodo s e escribe como

y
= y + t f ( x , yJ ) + f ( x
'n+i
'n
n n

,y
),
n+i'-'n+i

Ax
2

(4.5)

donde
y
= y + f ( x ,y J) Ax
'n+i
''n
n a
61

Ejemplo 4.1
Para encontrar el hidrograma de salida del vaso de una presa cuando a ste
entra el

gasto I dado por un

hidrograma

se requiere resolver la ecuacin

de continuidad

dV

dt

-=i-o

donde V es, almacenamiento del vaso, t es el tiempo y O e I son los gastos de


salida y de entrada del vaso, respectivamente.
Para

llevar

cabo

el

trnsito

se

requiere

de

las

elevaciones-capacidades y elevaciones-gastos de salida y de la

curvas
condicin

inicial del agua en el vaso y del gasto I.


Si se acepta que la curva elevaciones-capacidades se representa como V = kh ,
siendo k y N constantes y h la elevacin del vaso y si el
est dado como 0 = c ( h - h )

si h i h
C

gasto de salida

yO = O s i h h
c

para h igual
c

al nivel de la cresta del vertedor por donde sale 0, se tiene que

d
dt

, .N
kh

= 1 - 0

dh

I - 0

dt

k N h""1

= f(h,t)

Para resolver la ecuacin diferencial anterior mediante el mtodo de Heun se


propone

62

I- o
=h +

n+l

.1 , N - 1
n

At

k Nh

siendo
c(h - h )
0 = ^
n

si h > h

si h i h
n c

iI

v
- O
n* 1
n+l
, , t N - l

kN h

Ii n
,

0 n + l=

n+l

, .

k Nh

n +l

f c(h

-- O\J

n
N-l

, -i

h )
c

si h

>h
n+l

si h

ib
n+l

Conocidas k ,N, h , c. At y h ; as como I para n =0,1,2,... las ecuaciones


c
o
n
se manejan de la siguiente manera
a) Para n = 0 la carga es conocida por lo que a p a r t i r de h se deduce 0 .
n

b) Con h , 0 en I se calcula K
n

c) Para h

n+l

se determina el gasto 0
n*l

n+l

d) Con h , O , I , h
n

,6
n+I

el

se obtiene h

n+l

n+l

n+l

e) En caso de interesar ms valores se incrementea en uno el valor de n y se


va al inciso a.
4.3 Mtodo de Nystrom
Otra forma de estimar el rea bajo la curva f(x,y) en el intervalo de

63

inters, consiste en escoger como rea a un rectngulo de base 2Dx y de


altura f(x ,y ), (fig 4.4).

Entonces

-X

n+l

f i x ,y )dx s f ( x ,y ) 2Ax
x

n-i

como la integral abarca dos intervalos Dx, ahora se tiene

^n+i

= yJ

n-i

Se observa que esta frmula


no cubierta con el

+ 2f(x ,y )Ax
n'-'n

(4.6)

compensa el rea bajo la curva entre x

yy

rectngulo (rea identificada con 1) con el rea del

rectngulo donde f(x,y) es menor a f(x ,y ) (rea sealada con 2) por lo que
parece una ms adecuada representacin de la integral.

|*-x-^- ax-*|
Figura 4.4. Area de integracin del mtodo de Nystrom

64

Este mtodo tiene el inconveniente de que no se puede valuar y ya que no se


conoce y , pero si y ,y

etc. Para estimar y se recomienda utilizar la

ec. 4.5. Una vez conocida y y con la condicin

inicial y , con la ec. 4.6

se calculan y , y ,..., etc.

4.4 Mtodo basado en la serie de Taylor


El mtodo de Heun hace pensar que una estimacin

de f(x

,y

) permite

representar la integral de una mejor manera. En efecto, considrese que la


fig.4.3 ahora se representa como en la fig 4.5.
Sea el desarrollo en serie de Taylor

, 2

y(x + Ax) = y(x) + Ax y'(x) + - | ^ _ y" (x) * ~ - y"'(x) + ...

six =x ,

Ax = x

- x ,
entonces
n+i
n

^ n + i ] = * * > + ^ *'<V + 4 r '"<*>+ -5T- y " ' ( V + (4.7)


De acuerdo con la ec 4.2 se tiene
y' = f ( x , y )

(p) _
y

df(p-2)
dx

(p-1)
~l
65

Sustituyendo estas ecuaciones en la 4.7


y(x n + i ) = y(x n ) Axf(x n ,y n )- + - f f * ( x n , y n )

- ^

f (VV+""

1
+_Ax^ f<P-i)

P !

^
n n
(4.8)

S se considera que

T,P,
.

W = f V n , + 4 - f ' V n ) + 4 f " ( V V +"-+

p-i

_,_ AxK

pip-n.

-pl~

(4.9)

<W

Si en la ec 4.8 se desprecian los trminos con derivadas de f de orden


superior a p-1 se tiene al tomar en cuenta la ec 4.9

y(xnii)=y(xn)+AxTtpl(xn,yn)

(4.10)

La ecuacin anterior corresponde al llamado mtodo de Taylor de orden p.


Ntese que en el caso particular en que p = 1 resulta el mtodo de Euler. En
la fig 4.5 se muestra a T p (x ,y) como

una estimacin de la ordenada del

rea sombreada.

Figura 4.5. Area de integracin del mtodo de la serie de Taylor


66

El mtodo de Taylor tiene el inconveniente del clculo de las derivadas

f,

f", f"*,... ,que pueden ser difciles de obtener o complicadas de calcular.


4.5 Mtodos de Runge-Kutta
La

dificultad

para

el

clculo

del

valor

de

las

derivadas

fl^jJ-

f " ( x ,y ), f*"(x ,y ) , .... del mtodo de Taylor, ha sido salvada por Runge
n n
n n
(1895) y Kutta (1901) a travs de un procedimiento basado en valuar varias
veces la funcin f(x,y) para obtener una precisin equivalente al mtodo de
Taylor. Aparte d ello, los mtodos de Runge-Kutta tienen la ventaja de usar
una frmula de suma pesada, similar a la utilizada en integracin

numrica,

con lo cual se logra una adecuada aproximacin del rea bajo la curva f(x,y)
entre x y y
n J J n+i
A continuacin

se har

la derivacin

del procedimiento

conocido

como

Runge-Kutta de tercer orden.


El problema consiste en plantear como ecuacin del mtodo a

= y + Axak + bk + ck )
n+l

''n

(4.11)
3

donde
k = f ( x ,y )
i
n n

(4.12)

k2= f ( x

+ mAx.y t m A x k ^

(4.13)

k3= f [ x

+ pAx.y +Ax(qk +(p-q)k 2 )l

(4.14)

e interesa conocer los valores de a, b, c, m, p, y q. Los cuales son nicos e


independientes de la ecuacin diferencial por resolver.
Sea el desarrollo de la serie de Taylor 4.7 que incluye hasta trminos de
tercer orden.
67

4 15)

Vi-'n^V-T^n^-t^r

Segn lo planteado en el subcaptulo 4.4 se tiene


y' =f

y = <L_ = _|t_
dx

,,,

+ _|L. f. f +f f

3x

3x

dfj_ + d ( f+ ff = f
dx
dx x y

+ 2 ff + f f 2 + f ( f+ f f )

x x x y yy yxy

si

A = fx + f y f

(4.16)

+ 2f
+f f2
xx
x yy y

B =f

(4.17)

entonces
y"= A
y ' " = B +f A
y
y por lo tanto la ec. 4.15 tambin se escribe como

*n+i = *n + **

-T-

A+

-T 5 -

B+

-T 5 -V

t4 18)

'

En esta ltima ecuacin se entiende que f,f ,A y B se calculan para x = xy


y =y

n.

Por otra parte, el desarrollo en serie de Taylor de una funcin de variables


x y y hasta los trminos de orden dos es

68

,2

f(x+h,y+k) = f ( x , y ) + t y x , y ) +kf y (x,y) + - ^XJX.Y^


( x , y ) + - f

hkf^ y +

(x,y)

(4.19)

As, al desarrollar 4.13 (siendo h = mAx y k = mAxf) se tiene

k = f + (mAx)f
(mAxf)2
2

+ (mAx)f

(m

^x)

+ (mAxl(mAxf)f

yy

k = f + (mAx)(f +f f ) + - . . ^ mAxf
- ^ ( )f
2
x y
2

,
+,f . f , 2 ,
+ 2 f x y f
xx
yy

considerando 4.16 y 4.17

(mAx) 2 D
y B

i
, A ,
F
k = f + (mAx)A +

(4.20)

Si ahora se desarrolla 4.14 (siendo h = pAx y k = Axqk^ (p-q)k ]) resulta

k3 = f + (pAx)f x + tqk 2 + p-qlkjAxfy + | L f^ +

(pAx2)Iqk2+

f
( p - q l k ^ f ^ Ax 2 [qk 2 + ( p - q ) ^ ] 2 \ f -

al sustituir el tercer trmino en la ec 4.20 y dado que k= f se encuentra

k = f = + (pA*)f x + [q<f+(mAx)A+
[21]

[i]
tP

2Xl

V
[4]

[7]

(m

^ x } B) + (p-q)f]Axf +
[3]

tpA3c2)tqk2+ ( p - q ) f l f x y + [qk^p-qjkj 2 J 2 U)

\b\

69

Agrupando t r m i n o s
k

= f + (pAx)(f

+ f f) +
x
y

(p

^x)

(f

+ 2f
xx

f +f
xy

2 - 3

f2) +
yy
6

mqAx f A +
7

tomando en cuenta 4.16 y 4.17

k 3 = f + (pAx) A +

lp x)

B + mqAx 2 f A

(4.21)

Sustituyendo 4.12, 4.20 y 4.21 en 4.11 se obtiene

= y + Ax (af+(bf+b(mAx)A+bH^l B) + (cf+ c(pAx)A+ c


n +1

(p

^ x ) -B

+cmqAx f A ))

o bien

=y
n+i

+ Axf (a+b+c) + Ax A(bm+cp) + =

(bm +cp ) + Ax f A cmq


y
(4.22)

Al c o m p a r a r 4.18 y 4.22 se encuentra:

a +b +c = 1
bm + ' c p = 1/2

(4.23a)

bm 2 + cp 2 = 1/3

(4.23b)

cmq = 1/6

(4.23c)

como s e tiene un s i s t e m a incompatible indeterminado con


70

-6 incgnitas y

cuatro ecuaciones independientes, se puede dar valor arbitrario a dos de las


incgnitas; un conjunto de valores usual es ir. = 1/2 y p = L As 4.23b y
4.23c.

l/2b + c = 1/2
l/4b + c = 1/3

restando y despejando a b

l/4b = 1/6
b = 2/3
y por tanto

c = 1/2 - b/2 = 1/2 - (1/2) (2/3) = 1/6

considerando los valores de m y c en 4.23d

q = (1/6) (6)(2) = 2

y por ltimo segn los valores de b y c y la ec. 4.23a

a = 1 - (2/3) - (1/6) = 1/6


De acuerdo a los valores calculados de a, b, c, m, p y q, las ees. 4.11 a
4.14 resultan ser
y =y + _
J
n+i 3
6
donde

(k + 2k + k )
i
2 3

A1A \

(4.24a)

t4 24b)

k- fte y )

'

*n'V

k = fte +AX/2, y + -==-k )


2
n
n
2
i
k = f te + Ax, y + 2Dxk -Axk )
J
3
n
n
2

(4.25c)

(4.24d)
i
71

Las ees. 4.24 corresponden al mtodo de Runge-Kutta de orden tres.


De manera semejante se pueden deducir las ecuaciones del mtodo de Runge
-Kutta de orden cuatro:
Ax

y n+i
, = y J n +

(4.25a)

!k + 2k + 2k +k
i
2
3
4

donde
K = f(x
i
,
.
k = f(x
2

,y )
n ^n

(4.25b)

Axk
Ax
i
+ ^, yJ + ^
n
2
n
2

<
ei
k = f x +
3
n

Axk

Ax
_ -, y
2
'n

k = f(x+Ax,
4
n

yJ

(4.25c)
(4.25d)
(4.25e)

+ Axk ;
3

y Runge - K u t t a de q u i n t o o r d e n :
y
J

n+i

'n

k_ = f (

k = f(

125 ,

81

1 9 2 ki + rrr=r
192 k2 -

125 ,

192k

s+ 192
k
6

V ~ h

Ax
LX

' VT
'

"25

(4.26c)

iXk

~2-

(4.26d)

Axk ]

(4.26e)

k = f ( x +Ax , y + A Axk - 3Axk + - ^ - Axk )


4
.

n
ei

= f (

(4.26a)

(4.26b)

V ' n>

V --

= f

23

= y + Ax

* -'n
3 K

V -T-**-

4
y +

i
. ,

I r T ^ V

2
4
10 . ,

3
50 . ,

" 9 x k 2 ~ " S T ^ V "81

-Axk )
4

(4.26f)
Ejemplo 4.2.
El flujo permanente gradualmente variado en un canal con pendientes pequeas
es descrito por la ecuacin

72

s - s

dy _
o
f
d
" " ! _ _Q 2 B
gA3
donde y es el tirante, Q el gasto, B el ancho de superficie libre, A el area
hidrulica, g la aceleracin de la gravedad, S la pendiente del fondo, S la
pendiente de friccin y x la distancia a lo largo del canal.
Si se considera la frmula de Manning para definir a S se tiene que
4/3

Q2 N 2 P

A4'3

dy
dx

1 -

Q2B
gA3

donde N es el coeficiente de rugosidad de Manning y P es el permetro mojado.


Para un canal se seccin tranversal trapecial, con b de ancho de plantilla y
k designacin de talud se tiene que
A = y( b + ky )
P = b + 2y / 1+k2
B = b + 2ky
de manera que la ecuacin diferencial queda

S -

Q 2 N 2 I b * 2y / l + k 2

|4/3

'*[*> * ky ) ]

dy

= f(x,y)
dX

i -

Q2 tb + 2 k y ]
g [y( b + ky ) ] '

,3

El tirante a lo largo del canal puede ser calculado integrando la ecuacin


73

anterior con un mtodo numrico, si se usa Runge-Kutta la funcin f(x,y) que


aparece en las frmulas de este mtodo resulta ser

Q 2 N 2 ( x ) t b ( x ) + 2y / l + k Z ( x )

dy

[ y ( b ( x ) + k ( x ) y )]

dx

]"/3

4 / 3

= f(x,y)

Q2 [ b ( x ) + 2 k ( x ) y

1 -

g Iy( b ( x ) + k ( x ) y ) ] 3

donde b = b(x), k = k(x), N = N(x) para tomar en cuenta el ancho, designacin


del talud y coeficiente de rugosidad en el canal a la distancia x.
4.6 Frmulas de Adams
El desarrollo de Taylor planteado en 4.8

permite tambin un enfoque distinto

para resolver numricamente la ecuacin diferencial ordinaria 4.2. Se ocurre


ahora tomar como base la idea de integracin

numrica. En este subcaptulo

se propondrn dos clases distintas de ecuaciones, unas donde es explcito el


clculo de y

(se llaman cerradas), y las otras en las que se requiere de

un mtodo iterativo (se denominan abiertas). Ambos casos corresponden a las


frmulas de Adams.

4.6.1 Frmulas abiertas de Adams


Considere la expresin 4.8
2

Vi

yn

*fn+ -ST" ^

3
+

-TV-

"" "

(4 8)

"

o bien
V i - V

**(fn

"if

~lf

^ +->

Si la serie incluye hasta tminos de derivadas de primer orden:


74

(4.27)

y
= y + Ax (f + - ^ - f' )
J
n+i ' n
n
2
n

(4.28)

Ahora, si f* se aproxima como una diferencia hacia atrs (cap 6)

f= J L _ =
n

fn

"f"-'

dx

_ * _ f- +T (Ax)2

Dx

(4.29)

Sustituyendo 4.29 (sin sus trminos de segundo orden) en 4.28

y
J

= y + Ax {-J- f - K- f
J

n+i

(4.30)

n-i

la cual es la frmula abierta de Adams de segundo orden


Cuando en la expresin 4.27 se considera hasta la derivada de segundo orden:

= y + Ax f +-- f' +-^-

n+i

'n

f" )
6

(4.31)
n

considerando la ec. 4.29 como

df'
dx

f" =
n

f -f
n n-i
Ax

(4.32)

Segn 4.-29

f
i-i

n-i

n- 2

Ax

(4.33)

Sustituyendo 4.29 y 4.33 en 4.32

f = _ ?

f -2f
+f
Eli
L2_
2
Ax

(4.34)

Siahora,en laec.4.29 seconsidera laderivada de segundo orden y estase


75

sustituye por 4.34 :

f. _
f
n

f - f
n
n-i
Ax

.
, f -2f
+f
.
Ax
n n-i
n-2 )
"2
-T"I
11
Ax

+ T

(2
(Ax

Despus de simplificar

f' = ~ f - -fn
3 n
J

r
n

, + - ^ "
n-i
2

T (Ax) 2

(4.35)

Si se desprecia el trmino T(AX) de 4.35 y se sustituye en 4.35 y 4.34 en


4.31 se obtiene
f

y..
J +Ax | f > t-Jn+i = y
n ' *** l ' n ' l 4 f 'n- 4 "4 r' n.- -i ' ^ H
4 '<
' - l "6
2f

o bien

'... ' 'n* " R- < -- i rf-, *V f - 2 | <"6>


la cual es la frmula abierta de Adams de tercer orden.
De manera similar se obtiene la frmula abierta de Adams de cuarto orden:

y
= y + Ax |_5=_ f - _59_ f
y
n+i y n + JC l 24 ' n ^2T V i

+ _3]_
+

^ T

_ 9
n-2 " 2 4 " f n-3
(4.37)

76

Estas expresiones abiertas tambin se conocen con el nombre de frmulas de


Adams-Bashforth. Ellas tienen la desventaja de no iniciarse por s mismas, es
decir, al comenzar el calculo. Por ejemplo, la ec. 4.30 se conoce f

de las

condiciones' iniciales y = y(x ) pero no a f , se recomienda utilizarlo a


partir de n = 1. En este caso no se sabe e valor de f , por lo que se
sugiere aplicar la ec. 4.5 para conocer y y luego con este valor y x +tx
valuar f , definidas f
i

v f ya J no habr dificultad de utilizar la ec. 4.30

o '

para n = 2, 3, ...
La ecuacin 4.36 se aplica a partir de n = 2 y pero ello implica valuar
previamente a f y f partiendo de

y y y obtenida por medio de las ees.

4.24. Al igual para usar 4.37 es conveniente empezar con n = 3 y calcular y ,


y y Y por medio de las ees 4.25, con ellas se obtiene f , f , f .
J

J J

3 ^

1 * 2 3

4.6.2 Frmulas cerradas de Adams


Sea el desarrollo de la serie de Taylor

yte-Ax) = y(x) - Axy'te) + - | * - y " ( x ) - ^

six =x

,
n+i

Ax = x

y'"(x)*...

- x , entonces
n+i n

" V =*Vl>-^ V i 1

Como en el subcaptulo

-2T^'(n-+l >"t - *"'ni >+"

4.4; y '

= f
n+i

, y " = f'
n+i
n+i

y'"=
n+i Jn+l

f" ...etc
n+l

y resolviendo para y

, se encuentra

77

2
y

+ i x

Vi ~ n

|Vi

Ax

'n+i

' 3!

3
f(

'n+i

, _ x j . , , ,

4!

'n+i

(4.38)

Como antes, si se considera hasta la primera derivada

n+i

Ax
- -=P f'
n+i 2
n+i

= yJ + Ax f
n

(4.39)

Despreciando los trminos de segundo orden, de 4.29 se tiene


f

r n+i

n+i

- f

(4.40)

Ax

Al s u s t i t u i r 4.40 en 4.39 y simplificando

n+i

= y + Ax|_Lf
+Lf
'n
I 2 n+i 2 n

(4.41)

esta ecuacin corresponde a la frmula cerrada de Adams de segundo orden.


Siguiendo un razonamiento semejante a los del inciso 4.6.1 se obtienen las
frmulas cerradas de Adams de tercer orden (4.42) y cuarto orden (4.43).

y
= y + Ax
'n+i
n

y
= y + Ax
J
n+i
'n

_5_ f
[

12

24

+
n+i

n+l

_ ^ f _JLr
12

24

(4.42)

n-i

24

n-i

24

n-2
(4.43)

Se observa que en las ecuaciones cerradas* aparte de la dificultad de no


iniciarse por s

mismas, no se conoce f

, por lo que se propone

resolverlas por iteraciones, y una vez que ya no haya problema con el

78

principio

(ver

inciso

4.6.1),

se resuelvan

por

aproximaciones

sucesivas

proponiendo
un valor de yJ
con el cual se vala f
y al sustituir en la
^ K
n.i
n+i
frmula cerrada en cuestin se obtiene y , si este es suficientemente
J

aproximado' al supuesto se ha encontrado y

n+i

y se contina con el siguiente

Ax; en caso contrario se necesita escoger otro valor de y

y se repite el

proceso.
4.7 Mtodo Predictor-Corrector
Una ventaja de las frmulas cerradas de Adams es su precisin, sin embargo,
en ocasiones el proceso iterativo se hace largo y se contrarresta
ventaja. Cuando el valor propuesto a y

esta

no es muy diferente del correcto ,

el nmero de iteraciones se reduce en forma importante, lo que hace til la


frmula cerrada.

De esto se desprende la idea de escoger un valor inicial de y

adecuado.

Para ello se sugiere utilizar una ecuacin abierta. Esta ecuacin


para "predecir" el valor de y

servira

con el cual se comienzan las iteraciones.


n+i

Luego con ste se emplea la frmula cerrada. Como en cada iteracin se mejora
el valor de y

se dice que se est "corrigiendo". Por esto, a esta clase de

procedimientos se les conoce con el nombre de "mtodos predictor-corrector".


En la fig 4.6 se muestra la forma de utilizar estos mtodos.
Tambin se ha observado que incluyendo una ecuacin que modifique la
estimacin del predictor, el

nmero de iteraciones se reduce. Para esta

variante, el diagrama del mtodo predictor-corrector queda como se muestra en


la fig 4.7.

Entre los mtodos predictor-corrector se anotan los siguientes:


Mtodo de Adams
Predictor:

79

;o)

,
= y +Ax

f 55 .
--^,24
-f

59 ,
n ^-r-24f

37 r
+
f
n - i- . - 24

n-2

24

n-3
(4.44)

Corrector:
t j* i >
, 9
= y
V l
n + AX[-2A-

.
f

...
n+i(j)

19 _
~2T V

5
. ^ 1 ~
~2T fn-i+ ST

n-2
(4.45)

(Estas ecuaciones ya fueron discutidas en el subcaptulo 4.6, corresponden a


las 4.37 y 4.43).

Mtodo de Milne
Predictor:
y

= y +Ax sf f +
3
n 3
n
'n

n+

(4.46)

n-i

Corrector:
(j+l)

( ! *

y
'n+i

, -i

=y

+Ax(-=- f
j + -= f + - ^ - f
J
n
3
n+i J
3
n 3

)
n-i

(4.47)

Mtodo de Hamming
Predictor:
(0)

Vi

= yJ

+Ax|-^- f n-3
3
n

n-,+ 4 - f n- 2 )

(4.48)

Modificado r :
(o)
V i

~(0)

n+i

112
121

(0)

(4.49)

y - y
J
J
n
n

Corrector:
J+ i )
+1

1
08

(9yJn -yJ n - 2)+ Ax(-5_


f n+i(j)+
J -%- f " - - f
8
8
n
8

n-i
(4.50)

80

Se observa que las formulas predictor no se inician por si mismas ( ver


comentarios a las formulas 4.36 y 4.37)

Para disponer de los valores

iniciales necesarios para su aplicacin se recomienda utilizar el mtodo de


Runge-Kutta de cuarto orden.

PREDECIR
(O)
*n + l

CALCULAR
,10 1 , ,
(O) .
f
n + i s f l " n +l .yn + , '

J= 0

CORREGIR
<j + I )
y

r>+I

CALCULAR
(J + I ) -

n+

(J )

-" M x n + | . * + , )

NO
y

y
n

n+ l - y n + |

,
+l*~~

I <

J+-J+I

[J+D
' n H

CONTINUAR CON EL SIGUIENTE INTERVALO x


SE USAN L A S F O R M U L A S PREDICTOR - CORRECTOR

Figura 4 6 Diagrama de bloques del mtodo Predictor-Corrector

81

MODIFICAR Ay n ' + V
P A R A OBTENER *y ^ + \

CALCULAR

fioi_
r

t l x
l

n +i

n +t

-y

-10),
n 4I

J = O

CORREGR
( j + I1

V i
CALCULAR

n+l

NO
y

n +l

J- j + I

n +I '

(J+l)

CONTINUAR CON EL SIGUIENTE INTERVALO Ax


SE USAN LAS FORMULAS PREDICTOR, MODIFI CADOR CORRECTOR

Figura 4.7. Diagrama de bloques del mtodo Predictor-Modificador-Corrector

82

Una de las ventajas de los mtodos predictor-corrector estriba en el hecho de


que casi siempre se requiere una iteracin
menos clculos que en los mtodos

y que, por lo tanto, se requieren

de Runge-Kutta (ntese que para el mtodo

de Adams se requiere calcular y J (0) y con este f (0) mientras que para
^
n+i
n+i
las ees, 4.25 se necesita valuar k , k , y k , lo que implica ms operaciones
aritmticas).
Tambin los mtodos predictor-corrector tienen un aspecto a su favor en lo
referente al clculo de error que se comete con ellas, pues la forma de
determinar este error es simple.
4.8 Mtodo de parmetros indeterminados
Dentro de esta categora de procedimentos se agrupa el mtodo basado en el
clculo de variaciones (Ritz) y el de Galerkin.
4.8.1 Mtodo de Ritz
Cuando un alambre doblado en forma de una circunferencia se introduce en una
solucin jabonosa y se extrae, se observa que se produce una delgada pelcula
de jabn

formando una superficie. Este experimento inspira el siguiete

problema:
Dada una curva cerrada encontrar la superficie limitada por la misma de modo
tal que su rea sea mnima cumpliendo con ciertas condiciones.
En clculo diferencial se estudia cmo encontrar un punto donde la funcin es
mxima o mnima. Ahora no se desea definir un punto, sino una funcin que
cumpla con ciertas condiciones que haga mxima o mnima una propiedad; esto
ltimo se estudia por medio del clculo de variaciones.
Algunos de los problemas del clculo de variaciones consisten en encontrar la
funcin (curva) que une dos puntos dados y que minimiza o maximiza una
integral.
83

Ejemplo 4.3.
Encontrar el arco y(x) que pasa a travs de los puntos (0,1) y (1,2), que
minimiza
-i

,2

i + y -dx

J =

Generalizando, se desea encontrar una funcin yte) tal que y

y (x ) de manera que para una funcin dada F(x,y,y') la integral

F ( x , y , y ' ) dx

j =

(4.51)

sea mxima o mnima. La integra! que toma un valor numrico para


ciertas funciones y(x) se llama funcional.
Para encontrar la funcin y(x) se propone que forme parte de la
familia de funciones

Y(x)

= y(x)

+ CT)(X)

(4.52)

= 0

(4.53)

+ ETI(X)

(4.54)

donde
Ttx^ =

TJ(X2)

entonces
Yte)

= y(x)

Y ' ( X ) = y ' ( x ) + e-n'(x)

(4.55)

se tiene que para e = 0 se tiene la funcin que hace mnima a 4.51 si se


reemplaza y y y' en 4.51 respectivamente por Y y Y', se forma la integral:

84

y^) y

- x.
J(e) =

(4.56)

f(x,Y,r')dx

P a r a e n c o n t r a r un e x t r e m o (mximo o mnimo) de J(e), se deriva r e s p e c t o a


se iguala a cero, t a l como sucede en el clculo diferencial, asi:
rX-

dJ(c)
de

d
dY

dY
de

3F
dY'

dY'
de

)dx = 0

(4.57)

y el mnimo e s p r e c i s a m e n t e cuando:

dJ(O)
de

(4.58)

= 0

segn 4.54 y 4.55

dY
de

ute)

(4.59)

3Y'
de

)'(X)

(4.60)

considerando 4.59, 4.60, 4.54 y 4.55 p a r a e = O, se tiene:

aj(o)
de

, 3F

r*,

SF

,,,

_9F_
i} d x +
dy

integrando por p a r t e s la segunda integral

(4.61)

3F
- i' dx
dy

~x

_3F

T} ' d x =

dy

3F

3F
fly*

5F
dy'

3F

dx

dx

[-SH

dx

dx

por 4.53

dy

, 7)'dx = -

dx

dx

(4.62)

s u s t u t u y e n d o 4 . 6 2 en 4 . 6 1
f

J ( 0 )=

- ,

3F
dy

dx

KH

)dx

por un teorema del clculo diferencial que dice "Si


para x > x , siendo (x) continua entre x

y x, y

i)(x) G(x) dx = 0
vjte )= 0, TJ(X )= 0;

entonces Gte) = 0 entre x y x "


3T
dy

dx

<-r>= 0
dy'

Esta es la llamada "ecuacin diferencial de Euler-Lagrange".


Lo anterior es muy importante porque se afirma que cada funcional tiene
asociada una ecuacin diferencial de Euler-Lagrange, de tal manera que la
funcin y(x) que hace mxima o mnima a la integral tambin es la solucin
de la ecuacin

de Euler-Lagrange!. En otras palabras, para resolver una

ecuacin diferecial se puede buscar su funcional y al hacerlo mximo o mnimo


se encuentra la solucin de la ecuacin diferencial. Esto ltimo precisamente
proporciona un mtodo de solucin de la ecuacin diferencial.

86

Ejemplo 4.4.
Resolver la ecuacin -yy" = 1+y' , donde y es tal que y(0) = 1 y y(2) = 1.
Para obtener su solucin se puede hacer mnimo su funcional
i
J=

LJ1 u

"o
El mtodo de Ritz se resume en los siguientes pasos:
1.- Proponer el funcional asociado a la ecuacin diferencial,
y' = f ( x , y ) ,

sea este

J=

F(xy,y')dx

(4.63)

x
donde

y(x 1

2.

y*x2*=

Escoger

un

t 4 - 6 4 )

conjunto

de funciones

llnealmente

u (x)
u (x) tales que u (x) satisface
i
n
o
u (x),...u (x) se anulan en te ,y ) y (x ,y ).
2

las

independientes

condiciones

4.64

u te),

y u (x),
i

3. Formar la ecuacin aproximada

y = u (x) + a u (x) + a u te) + ... +a u (x)


0

11

2 2

(4.65)
n n

4. Sustituir 4.65 en 4.63 e integrar. El funcional queda entonces en trminos


de a , a ,...,a .
1 2

5. Encontrar a , a
1 2

a que hace mnimo el funcional.


n

6. Sustituir los valores obtenidos en la ec. 4.65, con lo cual

queda
87

definida la solucin aproximada.


4.8.2 Mtodo de Galerkin
Como no siempre se dispone del funcional se ha propuesto otro mtodo basado
en el principio de ortogonalidad de funciones, el cual dice que dos funciones
linealmente independientes p(x) y q(x) tales que cumplen con :

^ 2

p(x) q(x) dx = 0
x
-

son ortogonales en el intervalo x x x


i

El mtodo de Galekin consite en los siguientes pasos:


1. Sean la ecuacin diferencial
L(y) - f(x) = 0

(4.66)

y
y ( * ) = y1

y(-*2) = y 2

(4.67)

2. Escoger un conjunto de funciones linealmente independientes u (x), u (x),


u (x),...u (x)
2

donde

u (x)

satiface

las

condiciones

de ,4.67

u (x),

u te),..., u (x) se anulan en (x ,y ) y (x ,y ).


3. Se forma la solucin
y = u (x) + a u (x) + a u (x) +.... + a u (x)
0

II

2 2

(4.68)
n n

4. Sustituyendo 4.68 en 4.66

L tu (x)+a u (x)+ a u (x)+...+ a u te)] - f(x) = R(x)


0

11

2 2

n n

5. Las constantes a ( , a^,.. .a


1

88

se encuentran al considerar que R(x) es

"n

ortogonal con las funciones u (x), u (x),...u (x).


1

Esto es
2

R ( x ) u (x) dx = 0

r
X

R ( x ) u (x) dx = 0

(4.69)

R ( x ) u (x) d x = 0
x

6. Al resolver el sistema de ecuaciones 4.69 se encuentra a , a ,... a .


1

TI

7. Sustituir los valores de a , a .... a en 4.68, con lo cual queda definada


1

la solucin aproximada.
4.9 Ecuaciones diferenciales de orden mayor a uno
Una ecuacin diferencial de orden mayor a uno o un sistema de ecuaciones
diferenciales
reducirse

que

involucran

algunas

derivadas

de

orden

alto,

puede

a un conjunto de ecuaciones de primer orden haciendo un cambio de

variables simple. La ecuacin de orden n:


y <n) = f ( x , y , y , y " , . . . y ( n - 1 ) )

(4.70)

se transforma haciendo
y=

* "o
c

y ' = g .1
(4.71)
y

*i

=*2

89

y " ' = g"


= g*6 = g

(ni

-,

, ,

= -..= g = tx.y.y

(n-l)

,y',..-,y

n-l

Las ecuaciones

4.71 constituyen

un sistema

de ecuaciones

diferenciales

ordinarias de primer orden y de cada una de ellas se puede resolver con


cualquiera de los mtodos descritos- El clculo se hace en paralelo, es decir,
se realiza el clculo para el primer Ax para todas las ecuaciones antes de
pasar al siguiente, y as sucesivamente.
Asi por ejemplo, en lugar de manejar la ecuacin

b (x) - 1 ^ 1 + b ( x ) - ^ + b (x) - ^ - + b (x) y = R(x)


0
, 3 1
. 2 2
,
3
dx
dx
dx
se proponen l a s t r e s e c u a c i o n e s
dy

-35T

= g

dgt
dx
dg

dx

bQ(x)

RxJ - M x l g , , - b 2 ( x ) g i - b 3 ( x ) y 1

y si se utiliza el mtodo de Euler para cada una de ellas, se tendra

Vi =

+
n

iA*
n

Vi

= g

n+l

90

+ g

" g2

2 **
n

V>[ Rt v-v^-v^i-w y ]
O n

En el caso especial del mtodo de Runge-Kutta de cuarto orden, para el caso


de dos ecuaciones ordinarias de primer orden, se obtiene el conjunto de
ecuaciones siguientes cuarto.
Sea - g - = f ( x , y , u )
du

dx

(4.72)

= h(x,y,u)

(4.73)

donde y y u son conocidas para x = x . En particular, las frmulasde


Runge-Kutta se generalizan como se presenta a continuacin

con

y
= y + A x ( - i - k + - - k +-4- k +-^- k )
J
n + i Jn
6 i 3 2 3
3 6 4

(4.74)

(4.75)

= u +i)f(r- m + = m += m +7 m )
n + i n
6
i 3
2 3
3 6
4

k = f ( x ,y , u )
1
n n n

(4.76a)

k = f ( x + -^-,
2
n
2

y + - 4 - &xk ,
n
2
1

u + - J - Axm )
n 2
1

(4.76b)

k = f ( x + -^-,
3
n
2

y + - 4 - Axk ,
J
n
2
2

u + - 4 - Axm )
n 2
2

(4.76c)

k = f ( x + Ax, y; +Axk , u + Axm )


4
n
' n
3 n
3

(4.76d)

m = h(x ,y , u )
1
n ^n n

V
m

3=

h (

h t

V - r V "2^,yn

(4.77a)
y

n+4-Ajcki- " n + - ^ A x m 1 )
~T

txk

z'

n+ 4 "

m = h ( x + Ax, y * Axk , u + Axm )


4
n
' ;n
3
n
3

Xm

2 '

(4 77b)

(4 77c)

(4.77d)

91

De manera semejante puede usarse cualquiera de las otras frmulas de los


otros mtodos.
Ejemplo 4.5.
Para conocer el funcionamiento de un pozo de oscilacin se utilizan las
ecuaciones dinmica y de continuidad que respectivamente son
dQ.

gA.

( z- c Q j O j )

dt
dz
dt

:Q - o )
t

En la siguiente figura se incluye el significado de las literales a excepcin


de c que es un coeficiente que incluye las prdidas de carga por entrada al
tanque h , friccin h y entre el tnel y el tanque h , y t es el tiempo.
Para una maniobra de cierre instantneo se considera que Q , el gasto en la
vlvula, es igual a Q si t i O e igual a cero si t> 0

Variables del problema de un pozo de oscilacin

92

con Q = 0 si t> 0 y Q = 0
V

Las ees 4.76 y 4.77

si t 0.
0

se aplican considerando como funciones de f y h a las

anteriores, 'en la inteligencia que para n = O, Q =Q y que para n = I, 2,-..


Q = O, Para demostrar como se hace esto supngase que se quiere calcular k
y m para n > 0, de modo que
BA
Atm
+
Atk
k 2 = r^~
I" IC (Q. + 4t - " k )I(Q
L | f(z
^ +n4 2"
1 (' "t4 " , ' l l * J

m
2

-x- [Qt *4-At k,- ]

Se aprecia que Q corresponde a y, z a f i y t a x e n

las ecuaciones del

mtodo.

4.10 Errores en tos mtodos numricos para resolver ecuaciones diferenciales


En

la

solucin

de

las

ecuaciones

diferenciales

se

entender

diferencia entre la solucin exacta de la ecuacin diferencial

que

la

( aquella

obtenida por mtodos analticos con todas las cifras dicimaies ) menos la
solucin obtenida con un mtodo numrico con un nmero limitado de cifras
corresponde al error total Ete).

Ete) = S(x) - P(x)

(4.78)

donde
Ste) es la solucin exacta
P(x) es la solucin mediante el mtodo numrico con un
nmero limitado de cifras.
Introduciendo Q(x), la solucin mediante el mtodo numrico con todas las

93

cifras necesarias en la ec. 4.78:

Ete) = Ste) - Q(x) + Qte) - Pte)


Llamado error de truncado o discretizacin a D(x) = S(x) - Q(x) y error de
redondeo a R(x) = Qte) - P(x) se tiene

(4.79)

E(x) = D(x) + R(x)

P AxMg ERROR
"A7+ 2 TOTAL,
AxMg ERRORDE
2 TRUNCADO
P ERRORDE
xREDONDEO

AxPTIMO
Figura 4.8. Comportamiento del error total

En la eleccin del
94

tamao del

intervalo

de integracin

Ax

aparecen

involucrados estos errores, ya que por un lado , al asignar un valor "grande"


a Ax se comete un error de truncado grande (a continuacin se discute porqu)
y si por otra parte se escoge, uno muy pequeo puede haber error mayor, por
despreciar ' cifras decimales significativas para nmeros pequeos (error de
redondeo), fig. 4.9.
La eleccin del valor ptimo de Ax no es sencilla, lo ms usado en la
prctica es escoger un Ax relativamente pequeo y aplicar el procedimiento
numrico, luego se toma otro Ax menor y se utiliza el mtodo otra vez; si los
resultados no difieren mucho, se acepta alguno de los clculos como bueno; en
caso contrario, se escogen
resultado adecuado

otros dos valores de Ax; s no se llega a un

se suspende el clculo y se evala si conviene probar

otro mtodo numrico diferente.

En atencin al error de truncado, la ec. 4.8 dice:

n+. = y n + ^ ' U n ' +^y"

{x +

' f" y "V > + "

Al compararla con la ec. del mtodo de Euler, se observa que sta no toma en
cuenta los trminos de segundo orden en adelante de la serie, es decir, la ec.
4.8 se ha truncado y ello implica un error de ese tipo.
Segn la serie de Taylor, el error de truncado es tal que:

Dte)

Ax

d y(g)
dx

max

(4.80)

con
X sX
n
n+i
Suponiendo que:

95

d y(g)

- M

dx2

En el primer intervalo de integracin el error de truncado es


, _ w(i)
dt = M

Ax
^

En el segundo intervalo vuelve a aparecer un error de truncado. Sea

2> DX-^dj 2_ - wM

suponiendo que M = M

Ax

di = M
,
d

+ d

= M para cualquier iteracin se tiene que

..
=

Ax

.,
+

"I-

"

Ax

S -

= M Ax

tambin
3

d + d +d
1 2

M4x

y as sucesivamente, hasta que en la iteracin N (N >3) el error acumulado


vale

d+d +d +...+d = N - ^ - Ax 2
1 2

Por otra parte:

96

(4.81)

x = x + Ax
i
o
x = x +Ax-=x
.2

x =x

+ 2Ax
o

+ Ax = x + NAx

N-l

de esta ltima ecuacin

N=

A
Ax

(4.82)

Sustituyendo 4.82 en 4.81


d +d
1

+ d +...+ d = ( x - x )

MAx
0

si

d =d +d
T

+...+d
2

M = (x - x ) M
2

entonces el error acumulado de redondeo es

" 2 M2

(4.83)

Y se afirma que en el mtodo de Euler el error

acumulado de truncado es

proporcional al tamao del intervalo de integracin Ax. En general, se ha


notado que este error, tratndose de ecuaciones diferenciales ordinarias es
ms importante.
Se puede demostrar

o encontrar

en textos especializados

los

errores

acumulados de truncado para cada uno de los mtodos aqu descritos. Segn la
potencia a la que aparece Ax en la expresin del error se dice el "orden del
mtodo", que tendr un menor error de truncado mientras mayor sea el orden
(Ax , si Ax es menor que 1 es mejor que Ax). En la tabla 4.1 se reporta el
orden de algunos mtodos.
97

**

Mtodo

Orden

Euler

Euler "Modificado

Heun

Nystrom

Serie de Taylor

2,3,4,..segn el nmero de trminos

Runge-Kutta

2,3,4,5

Adams

2,3,4,5 segn se especifique

Pred icto r - C o r r e c t o r

2,3,4,5

Tabla 4.1. Orden de algunos mtodos


4.11. Ejemplos
Ejemplo 4.6.
Calcular el transito de una avenida a travs del almacenamiento mostrado en
la fig. 4.9. Se sabe que el gasto de la avenida es constante e igual I = 10
m / s y que el gasto que sale del almacenamiento est dado por la ecuacin:

(4.84)

Q = C a / 2 g h = 5h (mVs)

El rea de la base del almacenamiento es de 100 m . El nivel en el


almacenamiento al tiempo t = 0 s es de h = 16 m.
Solucin:

Se t r a t a de resolver la ecuacin de continuidad:


dV
dt

= I

como
V= A(h + 6)
as
dV = A dh
dh
I - Q
dt
A
sustituyendo valores y la ecuacin del gasto de descarga.
98

sustituyendo valores y la ecuacin del gasto de descarga.

1: I0m 3 /S

Figura 4.9. Depsito con orificio

dh
dt

= 0.1 - 0.05 /

La solucin consiste en resolver esta ecuacin diferencial

(5.85)

ordinaria no

lineal

99

A) Obtencin de la solucin exacta de la ecuacin diferncial;


dh
dt

= 0.1 - 0.05 V

Por separacin de variables:


dh

= dt

0 . 1 - 0 . 0 5 Y\
integrando
dh
i.l - 0 . 0 5

= dt + c
Y:

si

x / h
x2 = h

2x dx = dh
asi:

dh

2xdx
0.1 - 0.05x

i.l - 0 . 0 5 / :

como
x dx
ax + b

entonces

100

b
a

ln (ax + b)

= -2

xdx
0.05x - .01

x dx

0.05x - 0.1

[ x

L -

05

0. 1 ln (0.05X-0.1)]

0.0025

= - 40x + 80 ln ( .05x- 0.1)


por lo tanto
d 1

_ . = _4o / h

- 80 ln ( 0 . 0 5 / h

0.1 - 0 . 0 5 / h
= t +c
como h = 16 para t = 0

c = 0 - 40 / l 6

- 80 ln (0.05 / l 6 - 0.1) = 24.20287

la solucin es:

t = - 24.206807 - 40 / h

- 80 ln (0.05 / h - 0.1 )

- 0.1) =

B) Comparacin de los resultados del Mtodo de Euler en distintos intervalos


de tiempo y la solucin exacta.

t iempo

At=l

15.9

15.80063

15.70188

15.60375

15.50624

15.40835

15.31308

15.21742

15.12237

10

15.02793

11

14.93410

12

14.84088

13

14.74826

14

14.65624

15

14.56483

16

14.47401

17

14.38378

18

14.29415

19

14.20511

20

14.11667

21

102

t=2

t=3

At=4

EXACTA

15.90031
15.8

15.80125
15.7

15.60251

15.70280
15 6

15.60498
15.50777

15.40751

15.4H18
15.31520

15.21498

15 21006

15.11690

15.21983
15.12507

15.02492

15.03092
14.93738

14.83730

14.83369

14 83006

14.84443
14.75209

14.65211

14.66035
14.55598

14.46933

14.56920
1 4 . 45987

14.47865
14.38869

14.28894

14.28369

14.29933
14.21055

14.11093

14.01679
14.01679

1 4 . 1223

14.12236

C) Comparacin de los resultados del mtodo de Euler mejorado y la


solucin exacta. Valores de h .
n

tiempo

A,t=l

15.90031

15.80125

15.70281

15.60498

15.50778

15.41118

15.31521

15.21984

15.12508

10

15.03095

11

14.93738

12

14.84444

13

14.75210

14

14.66036

15

14.56921

16

14.47866

17

14.38871

18

14.29934

19

14.21056

20

14. 1 2 2 3 7

21

At=2

At=3

At=4

Exacta
15.9003
15.80125

14.80125
15.70283

15.70280
15.60503

15.60499

15.60498
15.50777

15.41120

15.41122

15.41118
15.31520

15.21986

15.21994 .
15.12514

15.21983
15.12507

15.03095

15.03092
14.93738

14.84447

14.84452

14.84459

14.84443
14.75209

14.66039

14.66035
14.56931

14.56920
14.47885

14.47870

14.47865
14.38869

14.29938

14.29945

14.29933
14.21055

14.12242

14.12260

14.12236

14.03489

103

Ejemplo 4.7.
Encontrar una solucin aproximada de la ecuacin y"+y = x la cual pasa por
(0,0) y (1,0) sabiendo que tiene asociado el funcional

J=

(y' -y +2xy)dx.

(Mtodo de Ritz, inciso 4.8.1)

Solucin:

Sea la solucin del tipo y = u (x) + a u (x), donde u (x ) = 0 y


u (x) = x - x , ya que u (x) satisface las condiciones y(0) = 0 y y(l)
la funcin u(x) se anula en (0,0) y (1,0), es decir u ( 0 ) = 0 - 0 = 0 y
u (l) = 1 - 12= 0.

cu

y =. a ( x - x
El problema consiste en encontrar el valor de a con base en la ec a

y' =

3i(l-2x)

y" = a 2 ( l - 2 x ) 2 = a 2 ( l - 4x + 4x 2 )
2

2,

_ 3

4,

... 0

= a ( x - 2 x + x )

2xy= 2a ( x 2 - x 3 )
sustituyendo las ees. 0 en el funcional
-i

J=

Integrando

104

[ a 2 ( l - 4 x + 4 x 2 ) - a Z ( x 2 - 2x 3 + 4 x 4 ) + 2a ( x 2 - x 3 ) ] d x

= 0, y

2.

_ 2

J = 3iEx-2x
j

2
= a

J=a

[i-2+

3 ]_

2 , 1 ,

3,1

2, 1

-g- x ]o- a ^ - g - x - -g-x

2
a

[4

i 3

2/1

i ' " i ^

4_]+

2
,

2 a

, 1

4,1

* i

il 3

, 1 ,

)+a t

5,1

- g - x 10 ^ a j ^ - x - ^ - x ] o

4
2

a +

i -5- - - n r i " s - i

-r

t6)

,_,

Para hacer mnimo el funcional

aj

=0
"

3a

as, con base en la ec. (5)

3J

3 _
l 10

= 2 a

da

+
T

3
a

1
6

= 0

3
18

- -

entonces una solucin aproximada de la ec. diferencial es:

2,

Ejemplo 4.8.
Encontrar una solucin aproximada de la ecuacin y " + x = 0 de manera que
y(l) = 0 y y(2) = - 1 .

105

Solucin: (Mtodo de Galerkin, inciso 4.8.2)


Como no se dispone del funcional se proceder mediante al mtodo de Galerkin.
Se supone una solucin del tipo y = u (x)+a u (x) siendo u (x)= 1-x y
u (x) = x 2 - 3 x +2 pues u (1) = 0 y u (2)= - 1; y tambin u (0) = 0 y u (2)= 0
de modo que
y = (1 - x) + a te - 3x+2)

...(a)

con base en la ec. a


y' = -1 + a (2x - 3)

...O)

y" = 2 a
al sustituir la ec. 3 en la ec diferencial
2a + x * 0
2a + x = R(x)
Por lo que

Rtxlu^xJdx =

(2a + x ) ( x -3x+2)dx

2a ( x 2 - 3 x + 2 ) +( x 3 - 3 x 2 + 2 x ) d x = 0

106

de modo que
r

< > -

3x2
2

-,

1
6

.+4 - -

= 2a (a

,2

3
2
- X + X

-j--

3
a

"

por lo que la solucin aproximada es

y = (1 - x ) + - | ( x 2 - 3x + 2)

107

5 ECUACIONES DIFERENCIALES PARCIALES


Una ecuacin diferencial parcial es aquella en la cual aparecen derivadas
parciales d una funcin desconocida con respecto a dos o ms variables
independientes. Un ejemplo de una ecuacin de este tipo es:

at

ax 2

La solucin. de una ecuacin diferencial parcial en una regin R es una


funcin definida en esta regin R, al igual que todas sus derivadas parciales
y la funcin reduce la ecuacin diferencial a una identidad en cada punto de
la regin R. Se dice que esta funcin satisface la ecuacin en R.
El orden de una ecuacin diferencial parcial corresponde al mayor nmero de
veces que se ha reiterado la derivacin de uno de sus trminos.
Una importante propiedad de las ecuaciones diferenciales parciales es la
linealidad. Por definicin, una ecuacin diferencial parcial es lineal para
ute.y) si tiene la forma:

V
L

rLi

n = 0 m

donde a

_n*m

U
(x,y) -2 _ 3 n _ =
g(x,y)
nm
m
dx

,(5.2)

dy

(x,y) y gte.y) son funciones conocidas de x y y; N, M son constantes

enteras positivas. (Se acepta que d u

) cuando g(x,y) = 0 se dice que

3xdy
tambin la ec. 5.2 es homognea. Como en el caso de ecuaciones diferenciales
ordinarias, el principio de superposicin rige para 5.2. Sea el conjunto de
funciones

u (x,y),
i

u (x,y),...,u (x,y),
2

soluciones

tambin

de

5.2

para

cualquiera de ellas as:

109

_ n +m

n = 0

m = 0

entonces

si

a ix,y)

j = 1,2,. .,p

- =0

n_ m

3x

a,

a ,...,a
1

dy

son

constantes

cualesquiera,

por

sustitucin

directa en 5.2 se demuestra que

u = u + a u + a u +....+a u
11

2 2

p p

tambin es solucin de 5.2.


Sean las siguientes ecuaciones diferenciales parciales
x u + u

-TTU

xx

xy

+ 3 u - u = ex+y

yy

-*!*- A

=0

dy

f t t - kf = 0

- u
xyy

(5.5)

- (x+y)2u = e x

(5.6)

- (x+y)u 2 = e x

(5.7)

- u
xyy

xx

t t

=0

- (f )2 = f

f
xx

(5.4)

dx

(5.3)

(5.8)

(5.9)
y

Son ecuaciones diferenciales parciales lineales, 5.3, 5.4, 5.5, 5.6 y 5.8 de
estas, son homogneas 5.4, 5.5 y 5.8. Ntese

110

que 5.7 es no lineal porque la

funcin u(x,y) aparece a una potencia diferente de la unidad y que la 5.9 es


no lineal porque tiene una derivada al cuadrado.
Raras veces se puede hacer un proceso formal en ecuaciones no lineales,
afortunadamente, muchas de las ecuaciones de inters prctico son lineales o
casi lineales.
Una clase de ecuaciones que es frecuente encontrar son del tipo

A-illax2

+ B-

CJ^S-

dxdy

dyz

D-L.+ E JL.
dx

Ff + G= 0
dy

[5AQ)

Cuando A, B, C, D, F y G son funciones de x e y, corresponde al caso de una


ecuacin diferencial parcial lineal de segundo orden, como se dijo antes.
Pero si estas funciones dependen de x , y, f, se dice cuasi-lineal.
2

La ec. 5.10 se dice que puede ser de tres tipos segn resulten ser B - 4AC
respecto a cero, esto es, si
B 2 - 4AC < 0

es elptica

es parablica

es hiperblica

B - 4AC = 0
B - 4AC > 0

en atencin a esta clasificacin la bsqueda de la solucin puede ser con


mtodos diferentes, como se ver adelante.
De acuerdo con esto, la e a 5.4 es elptica (es la ecuacin de Laplace), la ec.
5.1 es parablica (ec. de calor o difusin) y la 5.8 es hiperblica (ec. de
la onda).
En la ingeniera

muchas

de las ecuaciones diferenciales

parciales

son

difciles de resolver o bien no estn resueltas por mtodos analticos.


Algunas veces se ha encontrado su solucin para condiciones iniciales o de

111

frontera particulares; sin embargo, algunas de estas soluciones no son tiles


en la prctica Para resolver las ecuaciones diferenciales parciales se puede
recurrir a varios mtodos numricos
5.1 Diferencias finitas
El sustituir las derivadas por cocientes de diferencias en las ecuaciones
diferenciales hace posible, en muchas ocasiones, encontrar una "solucin"
que si bien

no cumple exactamente con la ecuacin diferencial, desde un

punto de vista prctico se toma como tal.


Los cocientes de diferencias de valores de la funcin que sustituyen a las
derivadas se llaman diferencias finitas.
Considrese la serie de Taylor de una funcin f en la variable z

2
.3
f(z+Az)=f(z)+f'(z)Az+f"(z)-=^r'(z)-p-- + 0(Az 4 )
Z

(5.11)

siendo 0 (Az") el "error de truncado en la serie de Taylor de orden n"; por


haber despreciado los trminos que involucran derivadas de orden n en
adelante. Por otro lado Az es un incremento del valor de z.
Si en la ec. 5.11 se considera primero z = x y Az = Ax y luego, z = x

Az = - Ax se obtienen las ecuaciones:

f ( x + Ax) = f ( x ) + f (x)Ax+rn[x)-=-

+f"[x)-=x-+

0 (Ax 4 )
6

(5.12)
2

f ( x - Ax) = f ( x ) - f ' ( x ) A x + f " ( x ) 4 P - - f " ' x ) - = | - t - 0 Ax 4 )


2

(5.13)
Si en las ecuaciones 5.12 y 5.13 no se toman en cuenta los trminos de
112

segundoordenenadelanteysedespejaaladerivadaseobtiene

0 (Ax 2 )
i
Ax

.,
,f ,
A ,
H x + Ax) - f ( x )
Ax

f( ) =

f U) = fU) - f U 'AX)

(5.14)

ZT)

Ax

(5.15)

Ax

Cuando se eliminan los trminos de orden 3 en adelante en las ees. 5.12 y


5.13, se resta la ec. 5.13 a la 5.12 y se despeja a la derivada de primer
orden, se llega a:

r{x)

n x + AX) - f ( x - A X )

__2

2Ax

{5U6)

2Ax

Sean los errores de truncado de las ees. 5.14, 5.15 y 5.16 pequeos, por los
que al despreciarlos se tiene:

f(x)

f ( x *tx)

- fix)

{5tl4>)

Ax

f'(x) =
f'(x) =

f ( x ) - f (x x ax- Ax)
^Xl
- \\ - '
Ax

l f

( x T + Ax) - f ( x - A x )
""
"" " '
2Ax

(5.15')
(5.16')

Los numeradores de las ees. 5.14', 5.15' y 5.16' constituyen las llamadas
diferencias derecha, izquierda y central respectivamente; lo anterior tambin
se presenta como

113

Af ( x )
Ax
Vf ( x )
Ax
of ( x )
Ax

f ( x f Ax) - f i x )
Ax

(5 I7)

f i x ) - f ( x -Ax)
Ax

(5 lg)

f ( x + A x j - f ( x - Ax)
2Ax

{ S 19)

Los simbolos A, V, 8 tambin corresponden a operadores sobre f(x).


Ejemplo 5.1
Calcular la derivada de f(x) = x

en x = 2 por las aproximaciones de

diferencias finitas a las derivadas para a) Ax = 0.5 y b) Ax = O.


Solucin:
f(x) = x3
f ( x + Ax) = (x+Ax)
f ( x - Ax) = ( x - Ax) 3
x =2
f ( x ) = f(2) = 2 3 - 8

a) Para Ax = 0.5
f ( x + Ax) = f(2+0.5) = (2.5) 3 = 15.625
f ( x - Ax) = f ( 2 - 0.5) = (1.5) 3 = 3.375

b) Para Ax = 0.1
f ( x + Ax) = f (2+0.1) = ( 2 . 1 ) 3 = 9-261
f ( x - Ax) = f(2 - 0.1) = ( I . 9 ) 3 = 6.859
1. Diferencias hacia adelante:

fte) _

n * + *x) - f(x)
Ax

1.a) Ax = 0.5
114

f.t2>

Jl-625-8

= l 5 2 5

Lb) x = 0.1

^261^6.859

f l [ 2 ) =

= 1 2 6 1

2. Diferencia hacia atrs.


f ( x ) - f ( x - Ax)
Ax

f'(x) =
2.a) x = 0.5
f>( 2 )

8-^375

= 9 2 5

2.b) Ax = 0.1
fl(2)=

_8_-_6_859_=1L41

3. Diferencia central
f ( x + Ax) - f ( x - A x )

fix) =

3.a)

2Dx

Ax = 0 . 5
f ( 2 ) = 15.625 -- 3.375

3.b) Ax = 0.1
f'(2) i i)

'261 - ^8
2(0.1)

5 9

- 12101
U1
2

La derivada exacta corresponde a f'(x) = 3x en x = 2,


f'(2) = 3 (2) 2 = 12
Se puede observar

que en este caso particular la mejor aproximacin

es la

diferencia central. Al comparar los resultados para los intervalos Ax, se


aprecia que conviene utilizar el intervalo menor, como era lgico suponer.
US

En la fig 5.1 se representa a la funcin fte). En ella se pueden ver t r e s


rectas cuyas pendientes corresponden

a las aproximaciones de las derivadas

anteriores; es decir, las pendientes de las rectas AB, BC y AC son las


aproximaciones con diferencia izquierda, derecha y central. Obsrvese que la
aproximacin con diferencia central se acerca ms a la exacta, que aparece
con lnea punteada.
Cuando se t r a t a

con derivadas parciales,

las aproximaciones

anteriores

tambin tienen vigencia, salvo que hay que tener cuidado en modificar a las
variables requeridas, esto significa, por ejemplo, para

una funcin de dos

variables, las diferencias hacia adelante respecto a x y t seran:

ox

-2-) =
1

dx x

f ( x + Ax.t) - f ( x , t )
At

(5.20)

f ( x , t t- At) - f ( x , t )
At

(5.2i;

de igual manera se podra obtener las diferecias central o hacia atrs.

f (x)

Figura 5.1. Aproximaciones a la derivada

116

DERIVADAS DE ORDEN DOS EN ADELANTE


En funcin de los operadores involucrados en las ees. 5.17,5.18 y5.19
pueden plantearse las aproximaciones a las derivadas de orden dosen
adelante, sin embargo, espreferible utilizar la serie deTaylor.
Para mostrar como se obtienen las aproximaciones de las derivadas se
plantear encontrar expresiones aproximadas para

*2f

dx2

d3f
dx3

Si sesuman las ees. 5.12 y 51.3 se tiene:

f(x+Ax)+f(x-Ax) =2f(x)+f"(x)Ax +O^Ax )"

(5.22)
donde
0 (Ax4) =0 (Ax4) *0 (Ax4)
3

(5.23)

De la 5.12 setiene :
f(x) =f t x -Ax) - 2f(x) +f(x +Ax)

Ax

si se desprecia el error 0 (Ax) y se considera quef(x,t> conbase

enla

ec. 5.24 se tiene:

32f
2

dx

_ f(x-Ax,t) -2f(x,t)+ f(x+Ax,t)

Jt

Ax

( 5 25)

Por loque serefiere a la otra derivada deinters.


Al restar la ec.5.13 a la 5.12 setiene:

117

f ( x +Ax) - f ( x -Ax) = 2 f ' ( x ) A x + f " , ( x } = ^

+ 0 (Ax 4 )

(5.26)

con
0 (Ax 4 ) = 0 (Ax)
4

- 0 (Ax")

(5.27)

Si se sustituye en la ec.5.14 en la ec 5.26


3

f ( x +Ax) - f ( x -Ax) = 2 f i x +Ax) - 2f(x)+ f ' " ( x ) = ^ - + 0 (Ax")


3

- O^Ax 2 )
Al despejar f ' " ( x )

- - f ( x -Ax) + - f ( x l - i f i x +Ax)
3
f'"(x) = ^
?
. 3
Ax

O (Ax 2 ) - O (Ax")
i
+ ^
3Ax 3
(5.28)

si se desprecian los errores

U )

- I H x -Ax) + I f ( x ) - 1 f ( x +Ax)

(529)

Ax 3
Las ecs 5.25 y 5.29 son las aproximaciones buscadas. Ntese que al igual que
con las derivadas de primer orden, pueden plantearse varias aproximaciones a
las derivadas, como hubiese sido si en lugar de sustituir la ec. 5.14 en la ec.
5.26 se sustituye la ec. 5.15 en la ec. 5.26. Desde luego, aqu tambin habr
mejores aproximaciones que otras, dado que mientras ms chico sea el error de
truncado la diferencia entre la derivada y el cociente de diferencias ser
menor y se har una ms adecuada aproximacin (desde el punto de vista de
discretizacin, como se discutir despus).

118

Ecuaciones diferenciales parciales parablicas.


Sea el problema de flujo con potencial mostrado en la fig 6.2. Se desea
calcular l- posicin de la lnea de saturacin

Q'PQ en el transcurso del

tiempo.
La ecuacin diferencial que describe el problema es:
2 32h
=a
. 2
dx

3h
at

/con
(5.30)

siendo
2
a

= JEL

(5.31)

donde
k coeficiente de permeabilidad
s rendimiento especfico (cociente, del volumen que puede
drenar entre el volumen total de,la.muestra).
h nivel promedio- en el espacio y el tiempo de h.

Se puede ver que se t r a t a de una ecuacin diferencial lineal' de segundo orden


parablica, ya que al comparar la ec. 5.30 con la ec. 5.10 se tiene:
A = a2
B= 0
C= 0
B 2 - 4AC = 0 2 -4a 2 (0) = 0
Se ocurre sustituir las derivadas de la ec. 5.30 por diferencias finitas. Si
2

se representa a 3h en funcin de una derivada hacia adelante y

3 h por

una ecuacin similar a la 5.24, se obtiene:


119


->

Figura 5.2. Problema de flujo entre drenes

h(x,t+Ax) - h ( x , t ) _ 2 h(x-Ax.t) -2h(x,y)+ h(x+Ax,t)


At

, 2
Ax

Con objeto de simplificar la escritura se propone la siguiente notacin:


x = mAx

x + Ax= (m+l)Ax

t = pAt

x-Ax = (m-l)Ax

t +At = (p+l)At

h(x,t) = h(mAx,pAt) = h
m,p

de modo que la ec.5.32 se puede escribir:


h

-h
m,p+l
At

h
m,p

m-1 ,p

-2b
m,p
, 2

Ax
o bien:

120

+h
m+l,p

(5 3 3 )

= Ah
m,pl

+(l-2A)h
m-l,p

+ Ah
m,p

(5.34)
m+1> p

siendo:
A= - i ! * Ax 2

(5.35)

Para clculos con calculadora o para la escritura de un programa de cmputo


es til representar la ec. 5.31 por la "molcula" de la fig. 5.3. En la
molcula aparecen en los "tomos" los coeficientes de distintos valores de la
funcin.

m-l, p

m, p

m+l, p

Figura 5.3. "Molcula de clculo" de la ec. 5.31

Ejemplo 5.2
Para la aplicacin de la ec. 5.34 considrese que en la fig. 5.2 la longitud
L se divide en cuatro tramos de longitud Ax,

en x= 0 y x = L la carga h es

nula en todo tiempo y las cargas en el tiempo t = O son en x = Ax, h = 1.5;


en x = 2Ax, h = 2 y en x = 3At h = 1.5, At = 1 s

a 2 /Ax 2 = 0.5 1/s.

121

As se tiene A = 0.5

y
h

= 0.5 h

+ 0.5h

m,p+l

m-l,p

m+l,p

Para m =1 ; p = I
h = 0.5h +0.5h = 0(0.5)+(0.5)2 = 1
1,2

0,1

2,1

Para m = 2, p = 1
h = 0.5h + 0.5h = 0.5(1.5)+0.5(1.5) = 1.5
2,2

1,1

3,1

Para m = 3, p = 1
h 2 3 = 0.5h 2 i + 0.5h 4 = 0.5(2) +0.5(0) = 1
De esta manera, se han obtenido los valores consignados en la siguiente
tabla:

m=0

m=l

m=2

m=3

m=4

I .5

'1

1 .5

1.0

0.75

1.0

0.750

0.50

0.75

0.500

0.375

0.5

0.375

As, en el tiempo t = 4 s, las cargas seran

AX

2AX

3AX

Figura 5.4. Variacin del nivel entre drenes

122

1.5

Hasta aqu todo parece sencillo, sin embargo, cuando se escoge un intervalo
de tiempo At = 2s a efecto de llegar con menos clculos al tiempo t = 8s,
sucede que A = 1 y entonces:
h

=h

m,p+l

-h

m,p-l

+h

m,p

m.p+1

y por tanto
t

m=0

m=l

m=2

m=3

m=4

1.5

1 .5

0.5

0.5

0.5

0.5

-0.5

0. 5

-0.5

- 1 .5

Se aprecia que las cargas suben y bajan, y no corresponden al problema


fsico. Por lo que se destaca la importancia de la seleccin del intervalo de
'tiempo, pues a veces no se est encontrando una solucin aproximada a la
ecuacin diferencial.
La e a 5.34 recibe el nombre de esquema de diferencias explcito, en la
ecuacin slo aparece una incgnita y para valuarla no se necesita resolver
sistema de ecuaciones alguno.
Siguiendo con la solucin de la ec. 5.30, si ahora la segunda derivada
respecto a la distancia se representa como:

f1

i dx2 Jt=t+

- 2h
m-l,p+l

Dt

+h
m , p+1

m+l,p+l

(5.36)

Ax2

y la derivada respecto al tiempo se aproxima como antes, otra versin en


123

diferencias finita;, de 5.30 es:

-h
m.ptl
At

h
m,p

+ 2 h + h

m-l,p+l

. 2

m,p+l

m+l.p+1

Ax

o bien:
Ah

- (l+2A)h

m-l,p+l

+ Ah
m , p +l

=- h
m+l,p+l

(5.37)
m,P

siendo:

A=

a 2 At

(5.38)

Ax 2

Ejemplo 5.3
Para

la fig 5.4, tambin con L = 4Ax y las mismas condiciones de frontera

del ejemplo 5.2; el esquema 5.37 se plantea de la siguiente manera:


Para p = 0
m=1

Ah -(1 + 2A)h + Ah = -h
0,1

1,1

2,1

1,0

(5.39)
m=2

Ah -(1 + 2A)h + Ah = -h
1,1

m =3

2,1

3,1

2,0

Ah -(1 + 2A)h + Ah = -h
2,1

3,1

4,1

3,0

como por las condiciones de frontera, h =h = O, las ees. 5.39 forman un


0,1

4,1

sistema de ecuaciones lineales con incognitas h ,h

y h , para conocer

su valor se necesita resolver tal sistema en cada tiempo.


Los esquemas de diferencias finitas como el de ees. 5.39 se llaman implcitos
porque en ellos aparecen ms de una incgnita y por lo tanto para conocer su
valor se necesita resolver un sistema de ecuaciones.
124

P a r a la ec 5.37 la molcula de clculo a p a r e c e en la f i g u r a siguiente

-1(1 - 2A)

m - l.p + 1

m,p + 1

m + l,p + 1

-1

m,p

Molcula de clculo de la ec. 5.37

La ec. 5.39 se puede e s c r i b i r en f o r m a m a t r i c i a l como:

:i-2A)

-(1-2A)

-(1-2A)

i, i

2,1
L

-h

-K2 , 1
-h

3,1

1i , 0

3,0

o en f o r m a abreviada:

[A) (h I = - l h ]
i

resolver el sistema a n t e r i o r se conoce [h ]; p a r a el siguiente

intervalo

d' tiempo.

IA] [h 2 ] = - [ h j

n levamente al resolver el sistema, se obtiene [h 1, y as se puede p r o s e g u i r

125

hasta el tiempo de inters.


Dos comentarios adicionales sobre este esquema son:
a) Este problema se puede simplificar si se toma en cuenta la simetra y se
resuelve solo la mitad de x = 0 a x =

con lo cual se reducen las


2

incognitas (aunque requiere cambiar la condicin de frontera derecha)


b) El sistema de ecuaciones anteriores se puede resolver mediante el mtodo
de la matriz inversa, as:

h = fA]"l[-hoI

h2= [ A r ' t - h J

p+i

= [Ai_1[-h ]
P

y entonces la matriz inversa se calcula solo una vez, para p = 0, y luego


para p =1,2,3,...ya slo se efecta el producto de ello para el vector
obtenido previamente.
Ejemplo 5.6
Para drenar un terreno de cultivo se han hecho dos canales paralelos a una
distancia de L = 16m. El suelo tiene un rendimiento especfico de 0.10 y un
permeabilidad de 0.2 m/hr. El nivel fretico promedio es de 0.5m. Se sabe que
h = 0 e n x = 0 y x = L y que las condiciones iniciales son h = 4x(l~x)/L si
t = 0.

Obtener el cambio, en el tiempo, de la superficie fretica.

126

Solucin
La ecuacin por resolver es:
2 32h

Sh
3t

s* a

3x2

dividiendo la distancia en 10 tramos de longitud Ax = 1.6m se tiene:


2
a

A=

= t0-5)(0.2)
0.1
a

'

m2
hr

Dt

Ax

escogiendo At = 0 0.42667 hr, A = 1/6.


Por simetra se resolver slo la mitad, as la ec.5.34 resulta:
1 L
= h

m,p+l

2 ,
1 ,
+ -=- h + r- h

m-l,p

m,p

m+l,p

para p = 0
si m = 1
n

,1,1, " - z o- ( 0 ) + A-

(a36) +

"ir- ( 0 6- 6 4 ) = 0-34667

si m = 2
h

2,1

= - i - (0.36)+-?- (0.64) + - 4 - (0.84) = 0.62667


6

si m = 3
h

= -^- (0.64)+ - ? - (0.84) + - i - (0.96) = 0.82667


3,1

y as sucesivamente se obtiene

Tiempo

(horas)

00

0.36

0.427

0.34667 0.62667 0 . 8 2 6 6 7 0 . 6 4 6 6 7 . 0 . 9 8 6 6 7 0.94667

0.353

0.33556 0.61333 0 . 8 1 3 3 3 0 . 9 3 3 3 3

0 . 9 7 3 3 3 0.93333

1.280

0.32593 0.60037 0 . 8 1 0 0 0 0 . 9 2 0 0 0

0 . 9 6 0 0 0 0.92000

15.360

36

00

3
0.64

0.84

0.9 6

0.17653 0.33568 0 . 4 6 1 8 4 0 . S 4 2 7 6

NOTA: h = h , h =h
6
4 7

La ecuacin diferencial

, h =h , h =h
3
8 2
9

del ejemplo

para

6
0.84

0 . 5 7 0 6 1 054276

las condiciones de f r o n t e r a

iniciales tiene como solucin a :

32
h m p=
m,p

* -3

h
1

1

(, ,2. +, ,i 3r

)
r=
L i

h
2

h
3

- ( Z i +n V p
, 2
bm

h
4

p
5

sen

( 2 i+ l ) m A x

Mtodo

0.17665

0.33570

0.46187

0.54278

0.57065

36

1/6

explcito

0.17362

0.3339-8

0.45957

0.54014

0.56700

18

1/3

explcito

0.17480

0.33203

0.45752

0.53711

0.56543

12

1/2

e x p l 1c i t o

0.07684

0.11140

0.20124

0.18005

0.24875

28

0.55 e x p l ( c i t o

0.17793

0.33826

0.46526

0.54664

0.57465

72

1/12 i m p l c i t o

0.17839

0.33911

0.46637

0.54790

0.57596

36

1/6

Impl c l t o

0.17931

0.34079

0.46838

0.55039

0.57853

18

1/3

implcito

0.18073

0.34246

0.47075

0.55282

0.58104

12

1/2

Impl c l t o

0.18093

0.34736

0.47706

0.5S985

0.58858

Imp1 ci t o

0.18824

0.35672

0.48888

0.57284

0.60159

Implcito

0.20682

0.38811

0.52741

0.61462

0.64426

Impl c l t o

0.17655

0-33541

0.46188

0.54230

0.57066

s o l . exacta

128

Se ha resuelto

el ejemplo para diferentes valores de At usando los esquemas

explcito e implcito para un tiempo y = 15.36 horas y se comparan los


resultados con la solucin exacta.
De los resultados anteriores se observa que en el esquema explcito se
requiere que el

intervalo de tiempo sea pequeo y puede dar valores ilgicos

para cierto tamao (A=0.55). El esquema implcito no presenta este ltimo


problema pero tambin a medida que se aumenta At se encuentran resultados ms
apartados de los exactos.

Adelante se ver que el esquema explcito requiere que:


A 0.5
y el implcito que
A> 0
o sea que prcticamente no existe restriccin, aunque si es conveniente que
sea A pequeo a efecto de no tener un diferencia grande respecto a la
solucin exacta (luego se discute el porqu).

APROXIMACIN DE PROMEDIOS PESADOS


Aunque el mtodo explcito es simple de usar tiene el inconveniente de
requerir un paso de tiempo At muy pequeo. A efecto de reducir el volumen de
clculo se sugiere una aproximacin ms general de diferencias finitas a la
ec. 5.1 mediante
r

129

dt

m,p+l

dx

a2h

Ax 2

dx

(5.40)

m, p

At

e(h

- 2h
m
m-- l , p + l

(l-0)(h

+h

m,p+I

-2h

m-l,p

+h

m,p+l

)+

m+I,p+l

m+lj

(5.41)

donde 0 a.fl a 1
Se observa que esta ultima ecuacin

corresponde a un aproximacin a la

derivada segunda respecto a x (ec. 5.24) tanto para t =s pAt como para

t = (p+l)At y que ambas se promedian de acuerdo al valor del factor 9. Si se


desea darle mayor importancia a la aproximacin en t = (p+l)At, B adquiere un
valor mayor a 0.5 y menor o igual a 1,
El esquema de diferencias finitas resulta ser:

- h
m,p+l

=A j0(h
m,p

(_

-2h

+h

m-l,p+l

(l-e)(h

m,p+1

-2h
m-l,p

+h
m, p

)+
m+l,p+l

(5.42)

m+1

siendo
A = a 2 At/Ax 2
El esquema anterior representa tambin t r e s casos de inters, dos de los
cuales ya se comentaron, los cuales son a saber:

a) El mtodo explcito (ec.5.34) cuando e = 0


b) El mtodo implcito ( e c 5.37) cuando 0 = 1
c) El mtodo propuesto por Crank y Nicolson en 1947 s 6=0.5

130

En la fig 5.5.a se muestra la molcula de clculo del esquema dado por 5.42:

Figura 5.5. Molcula de clculo del esquema de promedios pesados

5.2 Convergencia, estabilidad y consistencia


Para que la solucin de las ecuaciones diferenciales
razonable
diferencial

aproximacin
parcial

la

parablica

solucin
o

de

hiperblica

la
se

finitas tenga una

correspondiente
deben

cumplir

ecuacin
algunas

condiciones; stas estn asociadas con dos problemas interrelacionados, el


primero se refiere a la tendencia a parecerse a la solucin del esquema de
diferencias a la solucin exacta, el segundo tiene que ver con el decaimiento
controlado o crecmento desproporcionado de cualquier error asociado con la
solucin de diferencias finitas.

131

5.2.1 Convergencia
Sea H la solucin exacta de la ec. 5.10 y h la

solucin

exacta del esquema

de diferencias finitas usando para aproximar a la ec. 5.10.

La ecuacin de

diferencias finitas se dice convergente cuando h tiende a H en un punto fijo


a lo largo de un nivel y cuando Ax y At ambos tienden a cero.
Lo anterior significa que el error de discretizacin o truncado (ec. 4.78)
tiende a cero a medida que tambin lo hacen Ax y At.

Ejemplo 5.7

Sea

e = H -h

3h
2 a'h
, 3t= a
3x'

0 < x < 1, y

y H es conocida para :
0 < x a 1 cuando t = 0 y e n x = 0 y l cuando t a 0.
Considerando el esquema explcito y que
h = H - e ; h
m,p

m,p

m,p

m+l,p

=H

m+l,p

-e

m+l,p

De acuerdo con la definicin del error de truncado de la serie de Taylor (ec.


5.11) resulta:
n
9{Az

9
=

f<z+8Az)

donde 0 s e s 1

5.43)

az'
lo anterior significa que 9 se debe escoger entre 0 y 1 de modo tal que la
derivada de f de orden n respecto a z sea mxima entre z y z + Az.
Con base en lo anterior se tiene segn la serie de Taylor:

132

H(x,t+At) = H(x,t)+~!?-(x,t+e At)


at

(5.44)

de donde :

H ( x , t + A t ) - H ( x , t ) = - f H ( x , t + 9 At)At
3t

(5,45)

ahora desarrollando en serie de Taylor segn x

H(x+Ax,t) = H(x,t) +- | 5 (x,t) Ax +JLL( X + S Ax,t) -*a t

3x2

H(x-Ax,t) = H(x,t) - 4 ? U , t ) Ax +JL!L( x + eAx,t) -^~


a t

dx2

sumando y arreglando
32

H ( x - A x , t ) - 2 H ( x , t ) + H(x+Ax,t) =

H(x,+9 A x , t )

3x2

(5.46)

Usando la notacin con ndices en 5.45 y 5.46

- H

= - | ? - (mAx ,pAt +6 At)

m,p+l

H
m-l ,p

m,p

-2H

+H

m,p

m + 1 ,p

(5.47)

= H(mAx+e Ax.pAt)

(5.48)

Por otra parte, segn el esquema de diferencias finitas y la definicin

de

error:

133

-e

m , p+1

A(H
en, p+l

A(H

-e
m + l ,p

-e
m-l>P

)+(l-2A)(H
m-l,p

-e

)+

m,p

m,p

)
m+1,p

ordenando

-e

+Ae

+(l-2A)eA

m,p+l

A(H

m-l,p

-2H
m-I ,p

+H

m, p

+Ae
m, p

+A(H

m+l,p

-H
m , p +l

) = 0

)m,p

m+l ,p

- ...
13. *yj

sustituyendo 5.46 y 5.48 en 5.49

= Ae
m,p+l

+ (l-2A)e
m-l,p

+Ae
m,p

+ MAt

(5.50)

m+l,p

donde
U = - | - ~ (mAx,pAt+e AtJ-A- 5 ^-(mDx+6 Ax.pAt)
dx

(5.51)

Para asegurar que los errores tengan signo positivo y continuar con el
control del error en este anlisis, se tomar el valor absoluto de 5.50 y
as:

I s Ale
m.p+l'

I + (l-2A)|e

m - 1 ,p '

|+Ae

' m,p

|+|MAt

'm+l.p

'

(5.52)

'

esta ecuacin es cierta cuando los coeficientes son positivos o iguales a


cero. Si el mayor de los errores para cualquier m en el instante p es Ep, al
asignar:

134

Ep = e
m-l,p

Ep c
m,p

Ed = c
m+l,p

La ec. 5.52 sigue del lado conservador (pues se est considerando mas error
que el real ) y se transforma a :
E p+i a AEp+ (1-2A)E +p AE +M|At
p
E

s E + At|M|
p+i

(5.53)

' i

as si M se considera constante

E a E +At M
i
o '
E E +At|M| , E S E +2At|Ml
2

'

'

'

'

E s E +At|Ml, E S E +3AtlM|
3

'

'

'

s E +(p+l)At|M|
p+l

'

'

como al tiempo cero no existe error E = 0 y por tanto

E
p+l

si At ^ 0,

s (p+l) AtlMl

(5.54)
'

A * O y la ec. 6.51 M = 0

por tanto 5.54 tambin tiende a cero, y la solucin converge a la H. Para estD
se requiere que los coeficientes de 5.52 sean positivos o iguales a cepo como
se apunt antes. Para que lo sean
0 s A s 0.5

lo que constituye la llamada condicin de convergencia.

135

5.2.2 Estabilidad
Si ahora se estudia el comportamiento exclusivamente del error de redondeo
(ec.4.78), se afirma que, si cuando a medida que se utiliza un esquema de
diferencias fintas para una ecuacin del tipo de 4.10 y a medida que se
avanza en "y" el error (de redondeo) acumulado tiende a un valor constante,
el esquema de diferencias finitas es estable.
Los textos sobre este tema, al t r a t a r la estabilidad, se refieren al error de
redondeo y sealan que es difcil estimarlo, ya que depende del tipo de
computadora usada; en realidad el error que se analiza puede ser de un tipo
distinto al de redondeo, como sera aquel debido a una aproximacin o
equivocacin y si tal error llega a estar limitado despus de un gran nmero
de pasos en "y", el esquema de diferencias finitas es estable; cuando e
error crece sin tender a un valor definido se dice inestable, y la mayora de
las veces adquiere valores que oscilan y difieren cada vez ms.
Para t r a t a r la estabilidad se puede aplicar el mtodo de Von Neumann o de
serie de Fourier, el mtodo consiste en expresar el error en un punto fijo
x = mAx y y = pAy como:

= T
m ,p

--

A e i0nmAx e pAt
L _ n

{ 5

- -

n = 0

donde

0 = nn/NAx, NAx

=L

i= /-l

Se considera que analizando un trmino de la serie de Fourier, se conoce el


comportamiento

de

toda

ella,

que

los

coeficientes

pueden
n

despreciados; as el error se toma como

136

ser

= eifimAx

eapAy = e i p m A x ?P

(5.56)

m,p

y se deduce que el error no crecer al aumentar p cuando

|| * 1

(5.57)

Este criterio permite establecer las condiciones que se deben cumplir para
que un esquema sea estable. En la prctica, el representar de este modo el
error es til, aunque no est completamente justificado el mtodo que a
continuacin se enuncia.

Ejemplo 5.8
Realizar el anlisis de estabilidad del esquema explcito (ec. 5.34)
Sea el error (de redondeo)
E = h-N
siendo h la solucin del esquema de diferencias finitas con todas sus cifras
decimales y N la solucin del esquema con un nmero limitado de cifras.
Expresando el error (de redondeo) en trminos de los subndices m y p se
tiene

m,p

=h

-E

m,p

,N

m,p

=h

m+l,p

- E

m+l,p

,N

m+l,p

=h

m-l,p

-E

m-l,p

m-l,p

(5.59)
Segnelesquemadadopor5.34

137

= AN

m,p+l

+(1-2A)N
m-l,p

+ AN
m,p

(5.60)
m+l,p

Al sustituir la ec. 5.59 en 5.60

- E
m,p+l

=A(h
m , p +l

+ A(h

-E
m+l ,p

- E
m-l,p

)+ (1-2A) ( h
m-I,p

- E

)+

m,p

mj>

m+I , p

arreglando trminos

- Ah
m , p +l

- (l-2A)h

m-1 , p

(1-2A)E

- h
m,p

=E
m+l.p

-AE
m,p+l

m-l,p

- AE
m,p

m+l , p

Ya que h es la solucin del esquema de diferencias


h

= Ah

m,p+l

+(l-2A)h

m=l,p

+ Ah

m,p

, y por

m+l,p

lo tanto

finitas,
TODO el

miembro

izquierdo de la ec. 5.61 es nulo. As


E

= AE

m,p+l

+U-2A) E
m-l,p

+ AE
m,p

(5.61)
m+l,p

Ntese que la ec. 5.61 tiene exactamente la forma del esquema de diferencias
finitas.
Ahora se expresan los errores de E como en 5.56

138

ei0mDxcp+1 m A e i 0 ( m - l ) D x , p + {1_2A)e

PmDx^ p +

Xei0(m+l)Dxp

ei0mDx,p

? =Ae-^+(l-2A)

al

d v i d i r e n t r e

+ AeJA*

- ^ , iSAx
-SAX.
, , _. .
= A( e M + e ^
)+(1-2A)
- A ( e l p A a c + e_ipA*-2) + 1

(5.62)

Por otra parte, de las propiedades de las funciones seno y coseno se tiene
que 0.5(e + e

) = cos9

asi

O.5(e i20 + e" 2 B ) = eos 29


tambin

z
sen 8 as
2.
sen 6 =

1 - eos 28
. ^ A
=
, por lo tanto
, c , i29 - i 2 9 ,
1-0.5{e
+e
)
=

o bien
4 sen 2 8 = 2 - e 2 0 - e " i 2 e
si 29 = 0Ax
.
2 0Ax
.
i0Ax
-ifiAx
4 sen ~? = 2 - e
-e M

,_ , .
(5.63)

Al considerar la identidad 5.63 en 5.62


139

= H A 4 sen2 J * * - )

ya que para no aumentar los errores

| < 1 sea - i s

entonces
l a l - M sen 2 - J * * - 1
caso 1
2 SAx
1 - A4 sen s 1
simplificando

.
2 6Ax
- A4 sen '

lo cual se cumple para A a 0, pues sen

e s una cantidad positiva.

caso 2
-1 1 - A4 sen --=
reduciendo

-2 - A4 sen
1 .

140

~~

2 0Ax

como el valor mas grande de sen

= es uno

0.5 A
por lo tanto
0 A 0.5
lo cual constituye la condicin de estabilidad del esquema.
El lector

interesado puede realizar un anlisis de estabilidad para

el

esquema.

- h
' *;
2At

m p

-p''

2
= - ? h , - 2h + h
]
2 m - 1 ,p
m,p m+1,p

(5.64)

el cual es muy parecido al explcito; la diferencia consiste en que se ha


aproximado la parcial respecto al tiempo por una diferencia central.
El anlisis de estabilidad lleva a la condicin
i^i ^ .^
2 BAx
| | > 1 + 4A sen ^ lo cual significa que la ec. 5.64 es siempre inestable. Este resultado
resalta la importancia de atender a las propiedades matemticas de las
ecuaciones de diferencias.

Ejemplo 5.9
Plantear un esquema de diferencias finitas para resolver
141

3 h

3h

at

ax

3h
+' c a t 2

<c

,e.
(5.65)

Escogiendo

,2L
oil

h
- 2h
+ h
m-l,p
m,p
m+1 ,p

(5.66)

dx

Ax

on

m,p+l

3t

m,p-l

(5.67)

2At

Q2.
o n

h
- 2h
+h
m,p-l
m,p
m,p+l

3tZ

(5.67)

At2

Al sustituir 5.66, 5.67 y 5.65 y despus de varios pasos algebraicos se llega


a

(-^~ - --)h
2

At

+A
m,p-l

+ (-2A + - f r - ) h
m-l,p

hm,p+l

At

+Ah
m,p

m+l,p

"At

(5.69)

donde
A= - ^ Ax z

(5.70)

Si por alguna razn se escoge un valor para At igual a 2c la ec. 5.69 deviene
en

142

= Ah
m,p+l

+ (l-2A)h
m-l,p

+ Ah
m,p

(5.71)
m+1,p

Pero la ec. 5.71 es el esquema de diferencias fintas de la ec.

2 32h

3h
at

=a

ax 2

Cuando el esquema resuelve una ecuacin diferencial distinta a la

que se

pretende resolver se dice que el esquema de diferencias es inconsistente.

5.2.3 Consistencia
Para encontrar el error de discretizacin de un paso a otro de Ax se refiere
a la serie de Taylor, para aclarar esto, considere que interesa valuar el
error de discretizacin local del esquema explcito (ec 5.34). Entonces se
requieren estos desarrollos en series de Taylor.

. 2

, n

H(x+Ax,t) = H ( x , t ) + 4 - H ( x , 1t )AA x + - ^ H 1( x , t ) ^ ~ + . . . + -^H(x,t);


3x" """"
. 2 " - ' 2!
""
. n ' n!
3x
dx
as

Hm l,p=Hm,p+ ( - dxi ) m,pAx+t^U^L


2

+..."+' (-?!L,
**"
n m,p n !

143

=H

m-l,p

- ( , Ax+(^!-) J*l +...+(-!)(-!)-*

m,p

OX m,p

m.p

_ n

n!

sumando y ordenando
H

, -2H
+H
m-l,p
m , p m+i , p

2
_ , __ H .

Ax 2

3x2

, 2
., 4
Q4
Q6
. 3 H . Ax
, 3 H .
, Ax

- '

12

3x*

3x*

-.P360(5.72)

Ahora, por lo que se refiere al tiempo

=H +() AUA

m,p+l

m,p

dt

m,p

" ! + ( ->
.^2 m,p 2

*...

, 3

ot

m,p 3 !

3t

De e s t a e x p r e s i n s e 1 lega a
H

m,p+r

4^

, 32H .

m,p _ , 3H,
3 t m.p

, 33fL

At
m,p 2 !

At 2 . 3 4 H ,
3m,p3!

- 4

m,p

(5.73)

Al sustituir 5.72 y 5.73 en 5.33 y despus ordenar

, 8H 2 8 H,
(-=7 - a
-)

dx

+(

m,p

32H .
)

at

At
, 3 3 H,
.. . +(
)

m,p

at

At
, 2 34H ,
_ - _ + . ..-(a
)

m,p

considerando la ecuacin diferencial por resolver

ax

el primer parntesis

nulo, lo que queda se conoce como error de truncado T(H)

,esto es
m,p

144

m,p

rao = ( ^ f )
m,p

g.2

*(-*!) -|...-(a4-^M) - #
m.p

3 m,p 6

4 m.p l

i 6 36H .
Ax*
(a ., 6)m,p 3 6 0

si At- 0 y Ax -> 0 s e observa que T(H)

-> O
m,p

Definicin

Si el e r r o r de t r u n c a d o local tiende a>- c e r o cuando las diferencias

discretas

At y Ax tienden a cero, el esquema de diferencias f i n i t a s es c o n s i s t e n t e .

P o r o t r a p a r t e , la ec. 5.75 s e puede e s c r i b i r como

T(H)

- " <!_ - a * ^ *
mP

gt2

(a6^-)
Qxb

3j .4

+(-*!>

6 D t m.p

a t

"!-

3 m,p 6

-S*-*....

(5.76)

m,p 3 6 0

al c o n s i d e r a r
. 2
Ax
6At

,_ _ , .

r e s u l t a que e l p r i m e r p a r n t e s i s e s

145

a2H

34 H

4
- a

at2

ax 4

como
3H

dt

2^IL

(5_78)

dx

se tiene que al derivarla con respecto al tiempo

L = a2
at2

dZ

"
ax23t

(5.79)

y que al d e r i v a r 5 . 7 8 dos v e c e s respecto de x


^ L _ = a 2 _^L_
stax2
3x4

(5.80)

como se puede intercambiar el orden de derivacin, al igualar 5,79 con 5.80


32H
at2

4 34H
- a

ax 4

=O

as
t
=(

TO!

T(H)
"P

\
At2 , h a 6 H ,
Ax 4
- ) py- -(a
) -viTn *
, . 3 m.p 12
_ 6 m,p 3 6 0
ot
ax

. Ax 2
2
~Zrrr = a
oDt

S1

o sea que se involucran a errores en trminos de At y Ax , es decir, 9(At ,


Ax ), lo que es mejor, pues as

el error de truncado es ms pequeo. Esto

significa que usar A = 1/6 en el esquema explcito es conveniente pues reduce


2

el error de truncado, de otro modo, A * 1/6 implica 9{At,Ax ).


La extencin de diferencias finitas en la hidrulica es muy amplia y asi
puede plantearse la solucin de las ecuaciones de flujo no permanente en
canales, entre otras.

146

Ejemplo 5.10
Para resolver las ecuaciones fundamentales para flujo unidimensional en una
seccin rectangular conocitadas como Saint-Venant

*>

+ V 4 P _ + D _9V

8V

+ V - " + B, - B ( S . - S.)
Sx
dx
o
f

3t

3t

3x

dx

=0

Si las derivadas son remplazadas por las diferencias finitas siguientes


D

3D
3t

At

3D
3x

D
m+1 , p

m - l ,p

2Ax

y si S es remplazada por S

= - L (V

m,p

+V
m+l,p

Al sustituir

m+1 ,p

dx

m,p

At
V

m+i ,p

m - l ,p

2Ax

)
m-l,p

)
m-l,p

=_L ( S

fm,p

'

m, p + 1

fm,p

_J_ (D , +D

m.p

av

V
=.

y se considera que

av
at

m,p

m , p +1

+S
fm+l,p

)
fm-l,p

las ecuaciones anteriores en las ecuaciones diferenciales

despejando a D

yV
m,p+l

se tiene
m,p+l

147

=D

m,p+l

+
m, p

=V

m,p+l

L. _ L f v ( D
-D
)+ D ( V
- V
)]
Ax L m'P m-l,p
m+l,p
m,p
m-l,p
m+l,p J

. 2

+ 4 - -4^- [ v ( V
m.p

Ax

+ gAt ( S n - S r

[_

-V

m,p

m-l,p

) + g ( D
m+l,p

- D ) l

m - I ,p

m + 1 ,p J

fm,p

siendo
n 2 |Vm

.P
4/3
m,p

fm,p

yr

IVm

.P

el radio hidrulico para el tirante D


m,p

m,p

El esquema obtenido introduce trminos

1 Ax2 3D2
2

At

dx2

1 Ax 2 aV2
'

ax2

que no existen en las ecuaciones diferenciales de inters, y como estos


trminos son del tipo de difusin, al esquema explcito obtenido se le conoce
como difusivo.
Las ecuaciones del esquema son vlidas en puntos interiores, en sus extremos
se requiere plantear otras ecuacuaciones con base en las condiciones de
frontera.

Como se ver en el mtodo de las caractersticas, para regimen

subcrtico se necesita una condicin de frontera en el extremo aguas arriba y


otra en el extremo aguas abajo.
148

Un caso particular consiste en tener en x = 0 el gasto en todo tiempo


conocido, por lo que

=bD

0,p+l

0,p+l

0,p+l

siendo b el ancho de plantilla del canal rectangular si se considera que

=D

At
Ax

0,p+l

0,p

V (D
O.p

- D
0,p

)+
l,p

D0,p( V O.p- V l,p


)1

entonces con esta ecuacin y la del gasto se conoce V

0,p+l

S el canal descarga a un almacenamiento con gran capacidad se puede


considerar para el extremo del canal aguas abajo

que en x = L = mAx el

tirante es igual a D y que es constante en el tiempo. Por ello, en x = L se


tiene

=D

m,p+l

V
m,p+l

=V

At
Ax

+
m,p

+ gAt ( S - S
0

[V

(V

[_ m,p

-V
m-l,p

) + g ( D
m+l,p

m-l,p

m+l,p J

)
fm,p

Si se consideran como condiciones iniciales el flujo permanente


variado para el gasto Q

- D ) l

gradualmente

que es dato. Courant ha demostrado que el esquema

difusivo es estable si

At

Ax

|V| c

149

Este requisito es llamado condicin de Courant-Friedrichs-Lewy.


5.3 Mtodo de las caractersticas
Recurdese que la diferencial total de una funcin u(x,y) es

u =

3U

-dir

dx +

3U

-aj~

fcr o,\

sin embargo, se puede pensar en un mtodo que simplifique el clculo de du.


Para ilustrar esto considere el siguiente caso en particular.
Ejemplo 5.11.
Encontrar la funcin u(x,y) que satiface a

au
+

dx

2x -p-

dy

=y

(5.82)

sujeta a la condicin u(0, y) = 1 + y para 1 < y < 2

Sea la derivada total

d" _ du

-dx

8u
+

3x~ ST

comparando 5.83 y 5.82 resultan

150

dy

"d3T

f_

5 83)

2x = -$Z-

(5.84)

dx

y =4 " -

(5.85)

y = x2 +c

(5.86)

dx

De 5.84

Sustituyendo 5.86 en 5.85 e integrando

+ cx +c =u

(5.87)

si a ec. 5.86 p a s a por (x ,y )


y

= x

+ c

as 5.86 queda
y

= x2 + y

- x1

(5.88)

Para encontrar a c , se sabe de la restriccin que


2

u = l +y e n x = 0
as, segn S.88 y 5.87

151

u = 1 + (0 2 + y Q - x 2 ) 2 = - 5 - +MO) + c 2
por lo q u e
c

2=

1+ (

de e s t e modo
U

=-*_

3
X

Z
yQ-X )x+

( 1 + (y o -

2 2
X

))

C
1

como (x ,y ) puede ser punto de la regin sombreada de la fig 5.6, se tiene

1 3 ,
2,
,
2.2
= _JC + {y-X )x + 1 + ( y - x )

u nicamente esta determinada en la zona sombreada, no se sabe nada de ella


fuera de tal rea.
Observaciones sobre el ejemplo
a) En lugar de resolver una ec. diferencial parcial se resolvieron dos ees.
diferenciales ordinarias.
b) La ec. 5.84 permiti conocer una funcin a lo largo de la cual u varia
independientemente de = yJ
8x
dy c) Como u vara segn la ec. 5.84 se pudo determinar u.
5.3.1 Mtodo de caractersticas para una ecuacin de segundo orden
Sea la ec. diferencial parcial lineal de segundo orden

A- ^ f dx

152

+B- ^ - + C- ^ - + E = 0
dxdy
dy

(5.90)

*
y--*+o-*I

Figura 5.6. Regin de integracin del ejemplo 5.11

si se denota
P=

Q. =

s=

flf

(5.91)

dx
8T
dy

(5.92)

32f

32f

dxdy

3y3x

_ 3p _ 3q
dy
dx

(5.93)

Sustituyendo 5.91, 5.92 y 5.93 en 5.90

A - - +B . +C - f S - + E - 0

(5.94)

por otro lado se sabe

153

dp
dx

3p
dx

3p
dy

dq
dy

_ 3q dx^
dx dy

dy
dx
3q
dy

por lo que a l c o n s i d e r a r 5 . 9 3
_ | P _ = _dP_ _
ax
dx
3'q
dy^

*L_
dx

dq
dy^ - s -

(5.95)

dx
dy

Al sustituir 5.95 y 5.96 en 5.94 y ordenado

T-A -JL + B- c -$-l + AJ*E_ + c 4 3 - + E = 0


[

dx

dy J

dx

dy

dy
m u l t i p l i c a n d o por - -

dp d
f-A-^-l!
/ *C ^ dyj*dx+ E Ldx= 0
L l dx J B - C 4*dx - Cl+
J A dx dx

(5.97)

s corresponde a la derivada mixta y para simplificar la ec. anterior conviene


hacer nulo el primer trmino sta ecuacin, de modo que

~A c -3x- ) Z *B-ar " c =


Al resolver esta ecuacin de segundo orden

dy_
dx

154

- B / B -4AC;
-2A

(5 98)

A efecto de garantizar dos races reales distintas

B 2 - 4AC > 0

(5.100)

Llamando

dy
dx

dy
dx

-B

/ B

4AC

-2A

-B - / B 2 "-2A

4AC

=f

(5.101)

=g

(5.102)

(f y g se llaman c a r a c t e r s t i c a s )
La otra parte de la ec. 5.97

P y
A jdx

dx

q
+C -j}dy
ydx +E4 - -dx=0

al multiplicar por dx
A dp jZ- + C dq + Edy = 0

(5.103)

Si se considera la ec. 5.101


A dp f+ C dq + Edy = 0

(5.104)

y si ahora se toma en cuenta 5.103 y 5.102


A dp g + C dq +E dy = 0

(5.105)

Esto significa que la ecuacin diferencial parcial de segundo orden puede


transformarse (cuando es hiperblica,

pues B -4AC > 0 ) a cuatro ecuaciones

diferenciales ordinarias (5.101, 5.102, 5.104 y 5.105).


155

P a r a la solucin de 5.94 se considera


ja

dip .

30

o sea
d0 = pdx + q dy

(5.106)

El mtodo de solucin consiste en


1. Encontrar f y g segn 5.101y5.102
2. Sustituir f y g en 5.104 y 5.105, con lo cual se forma un
sistema de ecuaciones con icgnitas p y q.
3. Conocidas p y q se sustituyen en 5.106 y se integra para
conocer 0.
En la figura 5.7 se ilustra este procedimiento

ECDIF

PARCIAL

SEOBTIENEN

SE RESUELVE EL

SE PLANTEA LA EC.

LINEAL 2 ORDEN

FYG

SISTEMA PE ECS

D I F . TOTAL

(HIPERBLICA
2
B -4AC > 0

(CARACTERIS

5 . 1 0 6 Y5 . 1 0 6

RESUELVE

TICAS)

PARA CONOCER

Y SE

P y q

Figura 5.7. Diagrama de bloques del mtodo de las caractersticas para una
ecuacin lineal de segundo orden

Cuando las ecuaciones diferenciales ordinarias que se obtienen son difciles


de resolver o no tiene solucin mediante mtodos analticos, el planteamiento
anterior se
156

puede realizar en diferencias finitas, para ello considrese las

aproximaciones a las ees. 5.101, 5.102, 5.104, 5.105 y 5.106. Para ello, tome
en cuenta la figura 5.8.

y .

Figura 5.8. Curvas caractersticas

En los puntos P y Q se conoce el valor de x , y, f, g, p y q, mientras que en


el punto R no se conoce en ninguna.
De

las

ees.

5.101

5.102,

al

integrar

se

definen

dos

rectas

caractersticas, cada una de las cuales tiene pendiente f y g. En la


interseccin de ellas

se encuentra el punto R. Cuando ellas se difinen en

trminos de valores conocidost del paso Dy anterior) se tiene, para f

y
R

"

y
P

f = 5
_
p
x - x
^

(5.107)

y para g
y - y
gS = __*
2_
Q
x - x
R

(5.108)

Al resolver simultneamente 5.107 y 5.108 se encuentran x

y y por otra

parte, la ec. 5.104 en diferencias puede ser:


157

A (p - p ) f + C (q - q )+ E (y -y ) = 0
P *R P p
p MR >
p J R Jp

(5.109)

y la ec. 5.105 es:


A (p - p } g

+ C (q - q }+ E (y - y ) = 0

(5.110)

por ltimo, la ec. 5.106 sera apoyndose en P (podra ser en Q)

0 - 0 = p
r

(x-x)+q
p

{y - y )
J

"p

se considera una mejor aproximacin a

(p +pn)

<t>- <t> = V
R p

lx

(q +

> %

R p

<y B - y >
2

t5.u"

R p

El procedimiento de clculo consiste en


a) Calcular f y q

segn 5.101 y 5.102 esto es

-B + /
f =

-B Q
Q

p p

-2A

- 4A C

/ B

- 4A C
Q

Q Q

-2A

b) Encontrar x y y al resolver 5.107 y 5.108


R

c) Definir p
5.109 y 5.110.

158

'R

de la solucin del sistema de ecuaciones formado por

d) Encontrar 0 de la ec. 5.111


Ejemplo 5.12
Escribir las ecuaciones necesarias del mtodo de las caractersticas para
resolver la ecuacin diferencial de onda
7

3h
3t2

, 8 h
L
= g,d
3x2

donde g es la aceleracin de la gravedad, d la profundidad media.


En ella aparece implcita la ec. u +u u = -gh donde u es la velocidad y los
t

ndices sealan respecto a cual variable aparece derivada la funcin.

Se

consideran como condiciones de frontera a u = O e n x = L y h = a sen vrt en


x = 0. Las condiciones iniciales son h(x,0) = m(x). En la fig. 5.9 se muestra
el problema de inters. Se considera un ancho unitario
Para la frontera izquierda con u = - 0 , u = 0 y u # 0
u = -g hx implica que 0 + 0 u

por lo que u +u

= - g h x o sea h = 0

Al comparar la ec. de onda respecto a la 5.90, se tiene (se toma t como "y" y
<> como "h")
A = gd = c
B= 0
C=- 1
E=0
as
B 2 - 4AC = 0 - 4(gd)(-l) = 4gd
como 4dg > 0 se t r a t a de una ec. hiperblica y por ello se puede aplicar el
mtodo de las caractersticas.
159

+ f>

EN t . - 0 , h - - m [ K )

h=ASEN w t + m ( 0 ]

Figura 5.9. Canal del ejemplo 5.12

As!

0 - / o 2 + 4dg
-2g d

dt
dx

1
c

v^d
f - - c
g =

1
"

como es constante, las ees. 5.107 y 5.108 resultan ser

C(t - t ) = x - x
R

160

(5.112)

-C(t - t ) = xn - x
R
Q
R

<c. ,,_,

(5.U3)

por lo tanto, al sumar

C(t - t ) + x +x
x

(5.114)

conocida x, de 5.113

x - x
t = ~-^= + t
R
C
Q

(5.115)

Las ees. 5.109 y 5.110 para los valores A, B, C, y E definidos antes quedan

C (pR - p ) - (q R - q ) = 0

-C2,PR - V e

(5.116)

-( v V =

(5 117)

as al resolver 5.116 a 5.115

q_ " Q + C (p

P = S
R

+q )

F.

(5.118)

2C

una vez valuada p , entonces 5.116

%=v c ( vV
As se tienen definidos los valores de inters para los puntos interiores.
Para la frontera, se tiene

a) frontera izquierda ( en x = 0)
3h
flt

q=

3h
P = - dx

= a w eos wt

(5.119)

=0

(5.120)

por lo tanto

=0

y como a l llega la caracterstica negativa (fig 5.8), al considerar x

= 0

en 5.113, se obtiene

\ = -c9-

(5 123)

'

por 5.120 y 5.121

q = a w eos wt

(5.124)

PR = 0

(5.125)

b) frontera derecha (en x = L) como = = 0 se tiene x , al llegar la


3x
R=L
caracterstica positiva (fig 5.8).Considerando x = L en 5.112

t =
R

L- x
F- +t
C

&

(5.127)
P

ah
como - ^ - = 0,

PR

=0

(5.128)

al sustituir 5.128 en la ec. asociada a la caracterstica positiva (la que


tiene f), la ec. 5.116 se tiene.

162

(5.129)

En la fig 5.10 se resumen las ecuaciones encontradas. Ntese que en este


caso

se pueden usar

escribir las ecuaciones

los ndices i-1 para q, i para R e i+1 para Q: y


de una forma sencilla de manejar en un programa.

Todo ello porque las caractersticas siempre tienen la misma pendiente.


El mtodo consiste en encontrar h en el plano x,t operndose de este modo

T7777T

7777777777777777777777777r777777T777777777777T. '

L
x R -- 0

q R = o C0SWStR

PUNTOS
INTERIORES
FRONTERA IZQUIERDA
FRONTERA DERECHA
PARA CUALQUIER

PUNTO R I INTERIOR 0
FRONTERA

h R - - h p + ^ ( P f ( + p p ) ( x D . x p l t i ( q E ; + q n 1) ( t D . t

z^frv

2C2

l o -" 1 n - C 2 < P p - p n >

R P

Figura 5.10. Curvas caractersticas del ejemplo 5.12

163

a) Calcular x , t , p , q
R

y h

para los puntos interiores (con ello se


R

define h en los puntos 1, 2 y 3 de la fig 5.10).


b) Con la condicin de frontera izquierda, valuar t , q , h

(as se define

h en 4)
R

c) Repetir el paso a para definir h en 5 y 6


d) Usar las ees. de frontera derecha para encontrar t , q

y h

(as se

difine h en 7)
R

Este procedimiento se contina hasta donde se desee.

5.3.2

Mtodo

de

las

caractersticas

para

dos

ecuaciones

diferenciales

parciales.
El mtodo de las caractersticas corresponde a una tcnica donde el problema
de resolver dos ecuaciones diferenciales parciales simultneas es remplazado
por otro donde

se

resuelven cuatro ecuaciones diferenciales ordinarias.

Ello implica una situacin de continuidad y de definicin para

todas las

derivadas.

Sean las ecuaciones de Saint-Venant para canal rectangular.

V- - + D- -

3V
3t

+ v

at

'"

dx

,, 3V
-^zr3x

ax

=0

3D
s
g
-zzr
'
3x = g6(Vs Jo- s jJr'

(5.130)

(5.131)

multiplicando por g la ec. 5.130 y llamando C2= gD (celeridad de aguas


profundas) se tiene
164

at

dx

dx

o sea

K2

vat +

3x+ c 2 4 ^ax= o

al derivar

2C

_ . +V2C - f = + C
St
dx

- ^ =0
dx

al dividir entre C e introducir el 2 en las derivadas

32C +
at

32C
dx

+ C3V

(5_132)

= Q

dx

la ec. 5.131 se puede escribir como

3t

V - - +C-S . , ( . - . . ,
3x

Sx

* o

,5.133,

Al sumar 5.132 y 5.133


32C
av
., 32C _, 3V
_ 3V
_ 32C
,
,
+ C - s dx
= O + g(s - s&)l o
St + _ St_ + V - =dx_ + V - 5
ax+ C ^ Bx
f'
(5.132)
lo anterior se escribe tambin como

^ < v , + vc- + -<L, - - - , - , , . - . , ,


1

o bien

165

-gf- (V+2CJ+ (V+C) ~ -

(V+2C) = g ( s f l - s f )

(5.134)

de manera similar al restar 5.133 a ia 5.132 se llega a

3
a t

(V-2C)+
(V-C)
,. ~ , .
v.
~ , -~
flt

(V-2C)
>.
^ , -= 6g(s
v o-

s )v

(5.135)

Por otra parte, la derivada tota! respecto al tiempo de cualquier cantidad


q(x,t) es
dq _ 3q dx

"dt

3q

(5.136)

dx ~d~T~ + ~aT

al comparar 5.134 con 5.136, se tiene q = V + 2C


dx
dt

= V+C

dq

(5.137)

-dT--g(VV
y de esta ltima
d(V + 2C) = g (S - S ) dt

(5.138)

y al comparar 5.135 con 5.136 se observa que

d(V -2C) = g i s - s ) dt

(5.139)

O f

siempre que
dx
dt

= V- C

(5.140)

Las direcciones en el plano x , t definidas por 5.137 y 5.140 son llamadas


direcciones
166

caractersticas

y las ees. 5.138 y 5.139

se conocen

como

cuasi-invariantes de Riemann. Las ees. 5.137 a 5.140 son cuatro ecuaciones


diferenciales

ordinarias

que

reemplazan

dos

ecuaciones

diferenciales

parciales 5.130 y 5.131.


Dos casos de inters por analizar son
a) Flujo sucrtico (F <1)
V

El nmero de Froude F =

es menor que 1, por ello < 1 y v <C

(si c >O)
de acuerdo con esto
v + c > 0 por lo tanto (segn 5.137)

v - c < 0 por lo tanto (segn 5.139)

dx
>O

dx
-.- < 0

y las pendientes de las caractersticas son positiva y negativa.


b) Flujo supercrtico (F >1)
como F >1 ,

> 1 y v > c (si c> 0)


c

asi

v+c > 0 por lo tanto (segn 5.137)

-~^- > 0

dx
v - c < 0 por lo tanto (segn 5.139) j - - > 0
y las pendientes de las caractersticas son del mismo signo.
En la fig 5.11 se ilustra lo anterior.

167

CUANDO

CUANDO V < O

V >O

Figura 5.11. Curvas c a r a c t e r s t i c a s segn el tipo de flujo

Ejemplo 5.13

E x p r e s a r las ecuaciones de aproximacin p a r a resolver mediante el mtodo de


las c a r a c t e r s t i c a s las ees. 5.130 y 5.131. Considere flujo s u b c r t i c o y que
las condiciones de f r o n t e r a son que en x = 0 el g a s t o G es conocido en todo
el tiempo t y que en x = L el t i r a n t e D es conocido y c o n s t a n t e . En x = 0 se
conoce una curva g a s t o s c o n t r a t i r a n t e s .

Las ecuaciones de i n t e r s son (ees. 5.137 y 5.140 )

dx
r = v + c
dt

d(v+2c) = g ( x - S ) dt
o g

dx
=v- c

d(v-2c) = g(s - s ) dt

por lo t a n t o expresando 5.137 y 5.140 en diferencias

- x
R

- = v+ c
t - t
p
P
168

(5.141)

-X
R

v - c

(5.142)

ai resolver p a r a x

vi

P "

P _ P _ P ,_A___ C _ .__
; " +c ; - v v - r i
P P
C O

=
R

A.

(5.143)

:jnocida
x

=x
P

+ iv -r . i t - '. i
!)

(5.144)

Ahora, al e s c r i b i r 5.138 y 5.139 en diferencias

(v +2c ) - (v + 2c ) = g(s - s ) (t - t )
R

(5.145)

(v - 2 c ) - (v - 2c ) = g ( s - s ) ( t - t )
R

(5.146)
R

al despejar a v se e n c u e n t r a

g [ ( s - s ) (t - t )+(s - s ) (t - t ) ] +(v +2c )+(v +2c )


0

f Q R Q Q

2
(5.147)

conocida v
R

(v +2c )+ g ( s - s ) (t - t ) - v
f p R
c =5
E

-g
R
2

a) F r o n t e r a izquierda (x = O)

(5.148)

x =o

(5 149)

-orno a ella llega a c a r a c t e r s t i c a negativa, 5 142,


0 - x

dx
dt

- t
R

- = v - c
Q
o
Q

asi
t

x
-

= t
R

(5.150)

conocida t

se e n c u e n t r a Q
R

= Q(t ), como se conoce una relacin e n t r e el


R

a a s t o v el t i r a n t e D = Q ) v si la seccin es r e c t a n g u l a r de ancho B
R

to

Q = DB v
R

R R

donde

VR = ^

(5.151)
R

segn a ec diferencial correspondiente a a c a r a c t e r s t i c a negativa (5.146)

c =- '

v - (v - 2 c ) - g i s - s ) ( t - t )
Q
Q
Q
f Q *
-

(5.152)

b) F r o n t e r a derecha (x = L)

=L
R

como ah llega la c a r a c t e r s t i c a positiva de 5.141

170

(5.153)

L - X

''-- + *
v + c
p

(5.154)

ya se conoce el tirarme e, .x - L. si este es D

c = / i)
R

(5.155)

ahora, con la ec. correspondiente a la c a r a c t e r s t i c a positiva, ec. 5.145,


obtiene

v = (, + 2c ' + g(s - s : (I - t ) - 2c
R

(5.156)
R

De e s t a m a n e r a a secuela ce calculo es

a) Con los d a t o s o valores conocidos en los puntos P y Q, c a l c u l a r p a r a


puntos interiores

con la 5.143
R

con la 5.144
R

v con la 5.147
R

c con la 5.148
R

b) Calcular l a s variables en la f r o n t e r a izquierda

con l a 5 . 1 4 9
R

con la 5.150
con l a 5.151

con la 5 . 1 5 2
R

c) Calcular las variables en la frontera derecha


t

con la 5.153
R

x con la 5.154
R

v cor. la 5.155
R

c con la 5.156
R

d) Repetir los incisos anteriores tanto como sea necesario.


El procedimiento anterior tiene la desventaja de que las intersecciones de
las caractersticas (coordenadas del punto R) no quedan igualmente espaciadas
ni en x ni en t, por lo que s interesan conocer algunas propiedades del flujo
a distancias

y tiempos regulares

(fig, 5.12) se necesita hacer

algunas

interpolaciones lineales. Existen mtodos donde se fija la interseccin de


las caractersticas y lo que se determina son los puntos P y Q, con lo cual
se

obtiene

las

propiedades

del

flujo

en mallas

regulares.

En

ambos

procedimentos aparece un error por la interpolacin y depender de las


aproximaciones empleadas para decidir cul de las dos versiones es la mejor.

NO ESTN A L I N E A D A S LAS

INTERSECCIONES

Figura 5.12. Plano de las caractersticas

172

5.4 Mtodo del elemento finito

En el inciso 4.8.1 se coment brevemente sobre el clculo de varaciones

y se

discuti la ec. de E u l e r - L a g r a n g e . Ahora se puede e x t e n d e r e s a idea al caso


de un funcional.

F ( x , y, z, - g j - , - ^ )

J =

dxdy

(5.157)

siendo su ecuacin diferencial asociada

- 4 _ F - 4 _ F =o
dx

dy

(5.158)

donde
P =

3z
dx

dz
dy

(5.159)

Ejemplo 5.14

E n c o n t r a r la ec. de Euler del funcional

.(-*-)% i f n ^ d ,

J =
segn 5.159
~

F =p+q

3F
30

=0

F = 2p
p

; F = 2q
q

asi

173

por lo tanto
-i!*- +
ax

'

ay2

=0

(5.160)

Por otra parte, tratando de aproximar lo mejor posible una rea irregular
como la mostrada en la fig 5.13 se observa que al dividirla en tringulos se
cubre el rea con mayor detalle que con una serie de cuadrados.

(b)

Figura 5.13. Mallas de elemento finito sobre un rea irregular

De una manera similar al mtodo de Ritz se har una introducin al del


elemento finito,
174

por

lo que slo se t r a t a r

el enfoque

del

clculo

varacional y no el de Galerkin. Conviene aclarar que se preferirn los


tringulos nicamente por la razn sealada antes y que en el mtodo del
elemeto finito se pueden t r a t a r tringulos, cuadrados, rectngulos, etctera
De acuerdo con el mtodo de Ritz (subcaptulo 4.8.1) se plantea la siguiente
secuela:
1.Definir la ecuacin diferencial parcial por resolver y sus

condiciones

de frontera.
2.Seleccionar la configuracin de los elementos y dibujarlos sobre el rea
de inters.
3. En contrar el funcional de la ec. diferencial, X.
4. Proponer una funcin que corresponda a la solucin para cada elemento,
para tringulos se tiene

4> P +Qx + Ry

(5.162)

planteada para cada vrtice del tringulo

0 = P+ Q x + R y
r

(5.163)
rv

donde
v = i, j , k
representa al nmero de tringulo
P , 0 , y R son tres coeficientes asociados al tringulo i
x , y representan a las coordenadas del vrtice v del tringulo
S.Sustituir la funcin de aproximacin (paso 4) en el funcional. En i,
considerar en lugar de la integral una suma de elementos.
6.Minimzar el funcional respecto a la 0

175

30

=O

(5.164)

v = i , j , k de cada t r i n g u l o 1
y as se forma un sistema de ecuaciones que tiene como incgnitas a 0

7 Resolver el sistema de ecuaciones del paso 6, con lo cual se encuentra un


solucin aproximada de la ec. diferencial de inters.
Para ilustrar lo anterior se proceder a desarrollar un ejemplo.
Ejemplo 5.15
Encontrar los valores del potencial de velocidades 0 en el punto 1 y 2 para
dibujar a red de flujo, para el flujo de la fig 5.14. Si 0 representa el
valor de 0 en el punto i; se sabe que
0r2 = 0f3 = 0 rA s 0 =
f 5 600
0 = 300

= 0 = 0 = 0 = 0
*8

10

Solucin
1. La ec. por resolver es

^~ + - * ! - = 0
Sx2
dy2

(5.165)

con las condiciones de frontera dadas por los valores conocidos de 0

2. Se considera la fig. 5.15

176

$2 -

*3

*6 -

300

*7

$4 =

$5 - 6 0 0

*8 -

+9 -

4io

10 m

<

fo

yPy/yS/sPsyyyyyy

r;^

Figura 5 14 Canal del ejemplo 5 15

>

10 m

10
10m

I
20m

Figura 5.14.a. Malla del flujo del ejemplo 5.15

178

30m " i

3. Segn el ejemplo 5.12, el funcional de la ec. diferencial es

_30_
)
dx

X=

t-gf-) 1 <*dy

(5.166)

4. Para la fig. 5.15


4> = P + Q x + R yJ

(5.167a)

0 = P + Qx + Ry
j
i
i J
J

(5.167b)

1 1 1

0 = P + Q x + Ry
i

i R

(5.167c)

"W
'W
Figura 5.15. Tringulo de nomenclatura de elemento finito.

5. Al sustituir la ec. 5.162 en 5.166

[Q 2 + R 2 ] dy d x

X=

X=

( Q 2+ R 2 ) A i

(5.168)

i = i

siendo N el nmero de tringulos y A el rea del tringulo i.


179

6. Para minimizar 5.168


3 X
30

3
30
r

^v

,2

<>:*;>*

1 = 1

3Q

1 = 1

3R

*v

al i g u a l a r a c e r o
N

..
(0

3Q

3R

- IL ,l"ST, Vl -30} A
30

3X
30

+R. -

(5169)

lo anterior se puede escribir


N

3X

30
r

= <c(i, v, i)0 t + c(i, v, j)0 + c(i, v, k)0 k= 0


1= 1

(5.170)

Para el caso particular de la fig 5.15 se tiene


Tabla 5.1

Triangulo

Vertices

ApareceV=l

1. J . k
3, 4, 7

4 , 1. 7

4, 5,

5, 2,

5 , 6,

6. 8,

7 , 1,

1, 10 . 9

1, 2 ,

10

10

2 , 11 , 10

11

2 , 8,

180

11

ApareceV2

si 0

= 0 slo se considera en 5.170 a los tringulos en que aparece el


V

vrtice 1, o sea los tringulos 2, 3, 4, 7, 8 y 9.


Si 0 = 0 , se toman en cuenta en la suma de 5.170 a los tringulos donde
r

aparece precisamente 2 o sea en 4, 5, 6, 10 y 11.


De este modo las sumas son

3 X

30 1

= (c(2,l,4)04 + c [ 2 , l , l ) 0 + c(2,l,7)07}+ (c(3,l,4)04+


c(3,1,5)0 + c(3,1,1)0 )+{c(4,l,5)05+ c(4,l,2)02+

c ( 4 , 1 , 1 ) 0 )+ c ( 7 , l , 7 ) 0 7 + 0 ( 7 , 1 , 1 ) 0 ^ c ( 7 , l , 9 ) 0 g > +
(c(8,1,1)0 + c(8,l,lO)0

+ c(8,l,9)0g)+(c(9,1,1)0^

+ c(9,1,2)0 + c(9,1,10)0

=0

(5.171)

4 ^ - = <c(4,2,5)0 + c(4,2,2)0 + c ( 4 , 2 , 1 ) 0 } + <c(5,2,5)0 +


0<J>

c(5,2,6)0 + c(5,2,2)0>+(c(6,2,6)0 + c(6,2,8)0 +


6

c(6,2,2)0 2 >+ < c < 9 , 2 , 1 ) 0 ^ c ( 9 , 2 , 2 ) 0 2 + c(9,2,1O>0 1 O >+


<c(lO,2,2)0 + c ( l O , 2 , l l ) 0
y

+ c(ll,2,8)0 + ctll,2,11)0

+ c(lO,2,lO)0i+(c(ll,2,2)02+
=0

(5.172)

Como en las ecuaciones anteriores slo son incgnitas 0 ( y 0 2 al factorizar


se tiene:
a 0 +a 0
u *1

12*2

=b

(5.171')
i

181

a 0 +a 0 = b
21*1

22*2

(5.172*)
2

De 5.171
Los trminos que multiplican a 0

= c(2,U)+c(3.I,l)+c(4,l,I)+c(7,l,I)+c(8,l,l)+c(9,l,l)
(5.173)

Los coeficientes de 0 son


a

= c (4,1,2) + c (9,1,2)

(5.174)

Los trminos independientes

b = -<c(2,l,4)- c(3,l,4))04-{c(3,l,5)+ c(4,l,5)>0s+


- i c ( 2 , l , 7 ) + c ( 7 , l , 7 ) ) 0 7 - <c(7,l,9)+ c ( 8 , l , 9 ) > 0 9 +
-{c(c,l,10)+ c(9,l,IO)}0io

(5.175)

A partir de la ec. 5.172 se tiene


Coeficientes de 0

= c(4,2,l) + c(9,2,l)

(5.176)

Coeficientes de 0

= c(4,2,2) + c(5,2,2i +c(6,2,2) + c(9,2,2)+ c(10,2,2) + c(ll,2,2)


(5.177)
182

Y los productos donde no aparece ni 0 y 0


b = -<c(4,2,5)+ c(5,2,5})0 -<c(3,2,6)+ c ( 6 , 2 , 6 ) } 0 +
2

-<c(6,2,8)+ c ( l l , 2 , 8 ) ) 0 - <c(9,2,l0)+ c l O . 2 , 1 0 * +
-{c(10,2,ll)+ c ( l l , 2 , l l ) ) 0
Se aprecia que conocidos los coeficientes c

(5.178)
se calculan a

a , b, a ,

a , b y se resuelve el sistema de ecuaciones lineales formado por 5.167' y


5.168' y as se define 0 y 0 , concluyendo el ejercicio.
Sin embargo, surge la pregunta

Cmo calcular los coeficientes c?

Clculo de los coeficientes c(i,v,i)


Como para cada tringulo i se conocen las coordenadas

de los vrtices,

resulta que a travs de las ecuaciones 5.167 se puede obtener P , Q y R . En


efecto, si su solucin se plantea mediante la regla Cramer.
Determinante de la matriz de coeficientes

1 x
A =

1 x

1 xJ

yJ

en geometra analtica se demuestra que

A = 2A

(5.179)

siendo A el rea del tringulo i


Determinante asociado a la incgnita P

183

0
0

0r

x
x
J

y
y I=
J

"'k '

i lx y -x yJ )+ 0 ( x y -J x y )+
0 ( x y -x y )
i r k k j
*J k i i J k
*k r i

* y i

J/J

(5.177')

Determinante asociado a la incgnita 0

1
A =
a

1 0J

- 0l(yJ-yk)+ * / V y i , + V V V

i5-178')

yJ

*k

^k

Determinante asociado a la incgnita R

1 x
1 x
I xj

A =
a

0
0
0j
k

= 0 (x - x )+ 0 (x - x )+ 0 (x - x )
i

^j

*k

(5.179')

Por lo que resulta ser

p = -AP
i

(5.180)

2A

0. i

R =
i

2A

2A

Al sustituir 5.181 en 5.169

184

(5.181)

(5.182)

ax
a0
V

-1

v av

<L
L + I . L_ vA
( 2 A i ) "2 "*v
A )
30 ( 2
r i,2 30_ I1

1= 1

av

I{

av

av

0
Q 30
^

D
R

30

=o

=0

(S.

al sustituir 5.181 en5.169

30

1E

- 1 E W V V ' k - v + v ^ - v wV
V

1= 1

30
+(y

30 A

k- i V

+iy

)
J

V ~4- +
V

30

[0i(xi(-xj)+ 0/^-x k )+ 0 , ( ^ ^ ) 3 [( v ' j - a T +


30

30

A,

WT^V'.'T'T-0
al factorizar 0 , 0 y0

I ,.,..

ax

, .,.

y } +ix
j
k ' * **~
k
j '
- LI < " jv yVi H V
K
V

a#

, I V J

V J

t J
k

1 = 1

[(y

r y k

)(yk-

y j

".

Wj ' ]

30
-g,! +

) +(xk- x j ) ( x j - x k ) ]

30
[ y - y.
)
(
y
y
,
i
+
(
*
*
,
)
(
*
x)]
-]>
j y k ' V J i V TV k
j ' 1j
i'J
30v "

Ky^y^iyj-y,)

( x i - x k ) ( x k - x )]

- ^

30

A
'
4

30t
+
V

30

I (

V'.

, (

W +ixr*k)Urxk)i

+
v

30

" v V ' v V +( v V ( v V 1 " w : 1 ^ *


30
- ^

+ t y . - y ^ - y ^ + U ^ H ^ - x ^ ]

[ ( y

y j H

yk-

y i

E(yi-yj)(y1-yj)

) + ( x r x i ) ( x i - xk)]

x()(xj-

Obsrvese que
30 30

30 k

30 ' 30 ' 30
V

son iguales a cero o a uno segn sea v.


Al comparar 5.184 con 5.170 se tiene
a) si v = i

186

x,)]

30
- ^ 1 +

30
-g^i

A
]^->0

=O

c ( i . l . i ) = ( y - y ) ( y - y ) +{X - x . K x - x ) ] i

A
(5.185)

A
c ( i , i , j ) = [(yk- y ^ y ^ y j + I X - ^ k ) i x k - x^Jl i
A
+ ( x - J f j i t ^ - x )) i

cd.i.it) = i(yt- y ^ t y ^ )

(5.186)

(5.187)

Nota: en 5 . 184 s e c o n s i d e r
30
30 '

30
30J ="

30
30"i = 0

b ) S V = j

A
+

c ( i , j , i ) = ICy^- y k ) ( y k - y j )

i * k " * ) U - x )]

(5.188)
A

c d . j . j ) = ! ( y k - y ^ C y ^ V j ) +ixt-

^ H x ^ x j ] ^

(5.189)

A
c i . j . k ) = [ ( y - y ^ t y ^ V j ) +lx - x ^ i x ^ x k ) I i

(5.190)

N o t a : en 5 . 1 8 4 s e c o n s i d e r
30
J

30

30
1
*
= 1 - a30
r1

30
^ d0 = 0

c) si v = k
A
c d . k . i ) = [ ( 7 j - yk)ty-

y})

+ ( x k - x ) ( x - x ) ] -~

(5.191)
A

c ( i , k , j ) = Ky - y ) ( y K

c(i,k,k) = K y ^

y j

'

'

)(y

) +(x - x )(x- x ) ] i
J

yj

) +UJ-

N o t a : En 5.184 s e c o n s i d e r :
30

30

30

30

=l
30

_Jli30 = o
r

(5.192)
4

A
*)<*- x)] i

(5.193)

Los coeficientes anteriores dependen solamente de las coordenadas de ios


vrtices de os tringulos,

porque conocidas stas (paso 2) ya se pueden

valuar los primeros


Para el caso particular de nteres se calcularn algunos de los coeficientes
c.
a) c(2,l,l) como corresponde al tringulo 2 y ah i = 4, j = 1 y k = 7, se
usar la ec.5.189.
A
c ( 2 , l , l ) = [ ( y 7 - y t ) ( y ? - y j +( * 4 - * 7 H * 4 " * 7 >' \ ~
de la f g 5.14
A
c ( 2 , l , l ) = I(10-10)(10-10) + (IO-OlO-0)] |
A
c ( 2 , l , l ) = 100
b)

c ( 5 , 2 , 6 ) como corresponde a l t r i n g u l o 5 y d e l la tabla kj

i = 5 , j = 6 y k= 2; se u s a r l a ec 5 . 1 9 2 .

c(5,2,6) = [ ( y 2 - y 5 ) (

y j +(x 5 - x 2 ) ( x 6 - x 5 ) l _ J -

de la f i g . 5 . 1 4
A
c ( 5 , 2 , 6 ) = [ ( 1 0 - 2 0 1 ( 2 0 - 2 0 ) + (20-20) ( 3 0 - 2 0 ) ] |
c ( 2 , l , l ) =O
A efecto de disminuir el nmero de clculos se toma en cuenta que segn 5.186
y 5.188, cti.i.i) = c(i,j,i)
de 5.187 y 5.191, c(i,i,k) =c(i,k,i)
de 5.190 y 5.192, c(i,j,ki =cd,k,j)
Como se observa en las ecuaciones anteriores el mtodo de elemento finito

188

implica una cantidad considerable de clculos

pero ellos son simples y

fciles de realizar en un programa de cmputo

189

BIBLIOGRAFA
Abbott, M.B. (1979), Computational Hydraulics, Pitman, London, 326 pp.
Arden B. W.,

Astill

K, N.

(1970), Numerical

Algorithms:

origins

and

applications. U. S. A., Addison-Wesley Publishing Company, 308 pp.


Burden, R. L-, Faires J. D. and Renolds A. C. (1978), Numerical Analysis. U.
S. A.; Prindle, Weber and Schmidt, 579 pp.
Cunge, J. A., Holly. F. J. Jr., Verwey, A. (1980), Practical Aspects of
Computational River Hydraulics, Pitman, London, 420 pp.
Dahlquist G. And Bjorck A. (1974), Numerical Methods. Translated by Anderson
N., U. S. A., Prentice-Hall, Series in Automatic Computation,
573 pp.
Desai, C. S., (1979), Elementary
Prentice-Hall,

Civil

Finite

Elmement Method. U. S. A-,

Engineering

and

Enginnering

Mechanics

Series, 434 pp.


Hornbeck R. W., (1975), Numerical Methods, U. S. A., Quantum Publishers,
QPI Series, 310 pp.
Lai, Chinto (1986), Numerical modeling of

unsteady

open-channel flow.

Advances in Hydrosciences. Vol. 14, pp. 161-344.


Lapidus L., Pinder G. F.

(1982), Numerical solution of partial differential

equations in science and engineering. John Wiley

& Sons, New

York.
Mahmood, K., Yevjevich, V. (1975), Unsteady

Flow in. Open Channels. Water

Res. Publ., Fort Collins.


Milne, W. E. (1970), Numerical Solution of Differential Equations. Second
Edition, U. S. A., Dover Publications, 359 pp.

191

Pinder, G. F., Gray, W. G. (1977), Finite Element

Simulation in Surface and

Subsurface Hydrology. Academic Press, New York.


Ralston A., Introduccin al

anlisis numrico. Traduccin por Cervantes, G.

C. E. (1979), Limusa, Mxico, 629 pp.


Snchez B. J. L. (1972), Mecnica del Medio Continuo. Textos Universitarios,
Universidad Nacional Autnoma de Mxico, Mxico, 151 pp.
Snchez B. J. L. (1978), Doce Algoritmos Para Resolver

Problemas

Hidrulica. Publ. num. 412, Instituto de Ingeniera,

en

Universidad

Nacional Autnoma de Mxico, Mxico, 286 pp.


Smith G. D. (1978), Numerical

Solution of Partial Differential Equations;

finite difference methods. Second Edition, Great Britain, Oxford


University Press, 1978, Oxford Applied Mathematics and Computing
Science Series, 304 pp.

192

Introduccin a los Mtodos Numricos Aplicados


a la Hidrulica, se termindeimprimiren
elmesdeseptiembre de1988enFormularios
Impresos,AmadoervoNo.105-2,Cuernavaca,
Morelos.Laedicinconstade400ejemplares.