You are on page 1of 30

Ecuaciones Diferenciales

Ordinarias III
Problemas de valores de contorno (P.V.C.). El m etodo de shooting.
El m etodo de diferencias nitas.
El m etodo de elementos nitos.
521230 - 1 - DIM Universidad de Concepci on
Problemas de valores de contorno (P.V.C.)
El m etodo de shooting
Consideremos el problema de valores de contorno (P.V.C.)
_
_
_
y

(x) = f(x, y, y

), x (a, b),
y(a) = , y(b) = .
Para resolver este problema, el primer m etodo que veremos es el m etodo de shooting
(o del disparo): Dado z R consideremos el P.V.I. asociado
_
_
_
y

(x) = f(x, y, y

), x (a, b),
y(a) = , y

(a) = z.
y denotemos por y
z
su soluci on.
521230 - 2 - DIM Universidad de Concepci on
La idea del m etodo de shooting es en-
contrar z tal que y
z
(b) = .
Para esto, si denimos la funci on
E(z) := y
z
(b) , z R,
vemos que
E(z) = 0 y
z
(b) = .
Se trata entonces de encontrar z tal
que E( z) = 0. Es decir, encontrar
una raz para la ecuaci on (en general
no lineal) E(z) = 0.
b
a
y (b)

z
y (x)
y (x)
z E(z)=y (b)

z
521230 - 3 - DIM Universidad de Concepci on
Ejemplo. Se lanza una piedra de masa 1kg verticalmente hacia arriba. Sobre la piedra
act uan la fuerza de gravedad y una fuerza de roce igual a 0.1kg/s por la velocidad de la
piedra. Determinar la altura de la piedra como funci on del tiempo, sabiendo que al cabo de
3s la piedra est a exactamente a 50m del punto de partida.
Soluci on. Sea h(t) la altura de la piedra en el instante t 0. El P.V.C. a resolver es:
_
_
_

h = g 0.1

h, t (0, 3),
h(0) = 0, h(3) = 50,
donde g = 9.8m/s
2
.
521230 - 4 - DIM Universidad de Concepci on
Para ello debemos averiguar cu al es la velocidad inicial z para que al cabo de 3s la altura
de la piedra sea exactamente de 50m. Esto conduce al P.V.I. asociado:
_
_
_

h = g 0.1

h, t [0, 3],
h(0) = 0,

h(0) = z,
cuya soluci on analtica puede calcularse en funci on de z, a saber:
h
z
(t) = (10z + 100g)e
0.1t
+ 10z + 100g 10gt.
Al resolver la ecuaci on h
z
(3) = 50, se obtiene z = 34.7 y sustituyendo este valor en la
expresi on de h
z
(t) se tiene que la altura de la piedra como funci on del tiempo est a dada
por
h
z
(t) = (347 + 100g)e
0.1t
+ 347 + 100g 10gt = 1327
_
1 e
0.1t
_
98t.
521230 - 5 - DIM Universidad de Concepci on
En general no se tiene una expresi on analtica de la funci on E(z), pero, dado z R,
puede usarse cualquiera de los m etodos num ericos estudiados para calcular la soluci on y
z
del P.V.I. asociado
_
_
_
y

(x) = f(x, y, y

), x (a, b),
y(a) = , y

(a) = z,
y con ella evaluar E(z) = y
z
(b) .
Para resolver la ecuaci on E(z) = 0 puede utilizarse cualquiera de los siguientes m etodos:
El m etodo de bisecci on, para lo cual deberamos encontrar previamente dos valores
z
0
y z
1
tales que E(z
0
) < 0 < E(z
1
).
521230 - 6 - DIM Universidad de Concepci on
El m etodo de Newton-Raphson:
z
0
: aproximaci on inicial,
z
k+1
= z
k

E(z
k
)
E

(z
k
)
, k = 1, 2, . . .
Usar el m etodo de Newton-Raphson es m as complejo, pues requiere evaluar
E

(z) =

z
[y
z
(b) ] =
y
z
z
(b).
En general no se tiene una expresi on analtica de la funci on y
z
para calcular esa
derivada, pero derivando implcitamente respecto de z en el P.V.I. asociado se obtiene
que u
z
:=
y
z
z
es la soluci on del siguiente P.V.I.:
_
_
_
u

=
f
y
(x, y, y

)u +
f
y

(x, y, y

)u

, x (a, b),
u(a) = 0, u

(a) = 1.
521230 - 7 - DIM Universidad de Concepci on
Entonces, si se quiere aplicar el m etodo de Newton, en cada paso debe resolverse
num ericamente el sistema de E.D.O. de segundo orden
_

_
y

(x) = f(x, y, y

), x (a, b),
u

=
f
y
(x, y, y

)u +
f
y

(x, y, y

)u

, x (a, b),
y(a) = , y

(a) = z, u(a) = 0, u

(a) = 1,
para as evaluar E(z) = y
z
(b) y E

(z) = u
z
(b), con (y
z
, u
z
) la soluci on calculada
de este sistema.
521230 - 8 - DIM Universidad de Concepci on
El m etodo de la secante:
z
0
, z
1
: aproximaciones iniciales,
z
k+1
= z
k

E(z
k
)
E(z
k
) E(z
k1
)
z
k
z
k1
, k = 1, 2, . . .
El m etodo de shooting aplicando el m etodo de la secante se puede resumir mediante
el siguiente algoritmo:
521230 - 9 - DIM Universidad de Concepci on
1. Dar un par de estimaciones iniciales para z, z
0
y z
1
, y resolver los P.V.I. asociados con
z = z
0
y z = z
1
para calcular E(z
0
) y E(z
1
).
2. Para k = 1, 2, . . .
(a) z
k+1
= z
k

E(z
k
)
E(z
k
) E(z
k1
)
z
k
z
k1
.
(b) Resolver num ericamente el P.V.I. asociado con z = z
k+1
:
_
_
_
y

(x) = f(x, y, y

), x (a, b),
y(a) = , y

(a) = z
k+1
.
(c) Utilizar la soluci on num erica obtenida y
z
k+1
para calcular
E(z
k+1
) = y
z
k+1
(b) .
(d) Si |E(z
k+1
)| es sucientemente peque no, entonces terminar: la soluci on y
z
k+1
es
la correcta. Si no, volver a (2).
521230 - 10- DIM Universidad de Concepci on
Ejemplo. Consideremos un problema como el anterior pero en el que la fuerza de roce
es no lineal, por ejemplo:
_
_
_

h = g 0.01

h
2
, t [0, 3],
h(0) = 0, h(3) = 50.
Aplicamos el algoritmo anterior con z
0
= 10 y z
1
= 20.
Utilizamos el comando ode45 para resolver el P.V.I.
Iteramos el procedimiento hasta que |E(z
k+1
)| < 10
3
.
521230 - 11- DIM Universidad de Concepci on
k z
k
h
z
k
(3)
0 10.0000 16.4545
1 20.0000 10.0826
2 35.0421 40.1375
3 39.9782 48.3124
4 40.9972 49.9199
5 41.0480 49.9993
0 0.5 1 1.5 2 2.5 3
20
10
0
10
20
30
40
50
60
Z0
Z1
Z2
Z3
Z4
Z5
521230 - 12- DIM Universidad de Concepci on
M etodo de Diferencias Finitas
Supongamos que queremos resolver el P.V.C.
_
_
_
y

+ ry

+ ky = f(x), x (a, b),


y(a) = , y(b) = ,
donde k y r son constantes positivas. Supondremos que el problema tiene una unica
soluci on, la cual es al menos cuatro veces diferenciable.
El m etodo de diferencias nitas se basa en las siguientes aproximaciones para las
derivadas de y:
y

(x)
y(x + h) y(x h)
2h
,
y

(x)
y(x + h) 2y(x) + y(x h)
h
2
,
las cuales son v alidas si h es sucientemente peque no.
521230 - 13- DIM Universidad de Concepci on
En efecto. Consideremos los siguientes desarrollos de Taylor:
y(x + h) = y(x) + y

(x)h +
h
2
2!
y

(x) +
h
3
3!
y

(x) + O(h
4
),
y(x h) = y(x) y

(x)h +
h
2
2!
y

(x)
h
3
3!
y

(x) + O(h
4
).
Sum andolos se tiene
y(x + h) + y(x h) = 2y(x) + h
2
y

(x) + O(h
4
),
de donde
y

(x) =
y(x + h) 2y(x) + y(x h)
h
2
+ O(h
2
).
521230 - 14- DIM Universidad de Concepci on
Por otra parte, restando los desarrollos de Taylor anteriores,
y(x + h) = y(x) + y

(x)h +
h
2
2!
y

(x) +
h
3
3!
y

(x) + O(h
4
),
y(x h) = y(x) y

(x)h +
h
2
2!
y

(x)
h
3
3!
y

(x) + O(h
4
),
se tiene
y(x + h) y(x h) = 2hy

(x) + O(h
3
),
y de aqu
y

(x) =
y(x + h) y(x h)
2h
+ O(h
2
).
Observaci on: Las aproximaciones de las derivadas que se obtuvieron reciben el nombre
de diferencias centradas.
521230 - 15- DIM Universidad de Concepci on
Consideremos una partici on uniforme del intervalo [a, b] en n subintervalos de igual
longitud:
h =
b a
n
, x
i
= a + ih, i = 0, . . . , n.
x x x x x
i
x x
i1 i+1 n1 n 0 1
a
b
Entonces, las aproximaciones de y

e y

en los nodos interiores x


i
, i = 1, . . . , n 1,
pueden escribirse como sigue:
y

(x
i
) =
y(x
i+1
) y(x
i1
)
2h
+ O(h
2
),
y

(x
i
) =
y(x
i+1
) 2y(x
i
) + y(x
i1
)
h
2
+ O(h
2
).
521230 - 16- DIM Universidad de Concepci on
Sustituyendo estas expresiones en el P.V.C.
_
_
_
y

+ ry

+ ky = f(x), x (a, b),


y(a) = , y(b) = ,
para cada uno de los nodos interiores x
i
, i = 1, . . . , n 1, se tiene:
_

y(x
i+1
) 2y(x
i
) + y(x
i1
)
h
2
+ r
y(x
i+1
) y(x
i1
)
2h
+ ky(x
i
) = f(x
i
) +
i
, i = 1, . . . , n 1,
y(x
0
) = , y(x
n
) = ,
donde los t erminos
i
= O(h
2
) provienen de los errores O(h
2
) de la aproximaci on de
las derivadas mediante las diferencias centradas.
521230 - 17- DIM Universidad de Concepci on
Al despreciar los t erminos
i
, que se denominan errores de truncamiento, el m etodo de
diferencias nitas permite aproximar los valores y(x
i
) mediante valores y
i
que satisfacen
_

y
i+1
2y
i
+ y
i1
h
2
+ r
y
i+1
y
i1
2h
+ ky
i
= f(x
i
), i = 1, . . . , n 1,
y
0
= , y
n
= .
De esta forma, la resoluci on num erica del P.V.C. por diferencias nitas se reduce a resolver
un sistema de ecuaciones lineales.
Multiplicando por h
2
, las ecuaciones pueden reescribirse como sigue:
_

_
_
1
rh
2
_
y
i1
+
_
2 + kh
2
_
y
i
+
_
1 +
rh
2
_
y
i+1
= h
2
f(x
i
),
i = 1, . . . , n 1,
y
0
= , y
n
= .
521230 - 18- DIM Universidad de Concepci on
As, deniendo para i = 1, . . . , n 1,
a
i
:= 1
rh
2
, b
i
:= 2 + kh
2
, c
i
:= 1 +
rh
2
, f
i
= f(x
i
),
llegamos a la forma matricial del sistema de ecuaciones:
_
_
_
_
_
_
_
_
_
_
_
b
1
c
1
0 0
a
2
.
.
.
.
.
.
.
.
.
.
.
.
0
.
.
.
.
.
.
.
.
.
0
.
.
.
.
.
.
.
.
.
.
.
.
c
n2
0 0 a
n1
b
n1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
y
1
y
2
.
.
.
y
n2
y
n1
_
_
_
_
_
_
_
_
_
_
= h
2
_
_
_
_
_
_
_
_
_
_
f
1
f
2
.
.
.
f
n2
f
n1
_
_
_
_
_
_
_
_
_
_

_
_
_
_
_
_
_
_
_
_
a
1

0
.
.
.
0
c
n1

_
_
_
_
_
_
_
_
_
_
.
Observaci on: Es f acil de vericar que si h es sucientemente peque no (h < 2/r),
entonces la matriz del sistema es de diagonal dominante. Por lo tanto, puede utilizarse el
algoritmo de Thomas para resolver el sistema.
521230 - 19- DIM Universidad de Concepci on
Llamemos A a la matriz tridiagonal del sistema anterior, y := (y
1
, . . . , y
n1
)
t
al vector
de inc ognitas y z al segundo miembro. Es decir,
Ay = z.
Sea y
ex
:= (y(x
1
), . . . , y(x
n1
))
t
el vector de valores de la soluci on exacta.
Si no se desprecian los errores de truncamiento se tiene
Ay
ex
= z + , donde =
_
_
(
1
, . . . ,
n1
)
t
_
_
= O(h
2
).
Entonces el vector de errores y
ex
y satisface
A(y
ex
y) = Ay
ex
Ay = y, por lo tanto, y
ex
y = A
1
.
Se demuestra que
_
_
A
1
_
_
C, con C una constante independiente de h. Por lo tanto,
se tiene que
y
ex
y
_
_
A
1
_
_
= O(h
2
).
521230 - 20- DIM Universidad de Concepci on
M etodos de Elementos Finitos
Supongamos que queremos resolver el P.V.C.
_
_
_
u

+ u = f, en (a, b),
u(a) = 0, u(b) = 0.
Para poder aplicar el m etodo de elementos nitos (M.E.F.) primero debemos obtener la
formulaci on d ebil del problema. Para ello, multiplicamos la E.D.O. por una funci on v tal
que v(a) = v(b) = 0, e integramos sobre el intervalo (a, b):

_
b
a
u

(x)v(x) dx +
_
b
a
u(x)v(x) dx =
_
b
a
f(x)v(x) dx.
521230 - 21- DIM Universidad de Concepci on
Integrando por partes el primer t ermino vemos que

_
b
a
u

(x)v(x) dx =
_
b
a
u

(x)v

(x) dx u

(x)v(x)

b
a
=
_
b
a
u

(x)v

(x) dx,
con lo que sustituyendo en la expresi on anterior se tiene que la soluci on u del P.V.C.
satisface
_
b
a
u

(x)v

(x) dx +
_
b
a
u(x)v(x) dx =
_
b
a
f(x)v(x) dx.
Esto conduce a la formulaci on d ebil del P.V.C.:
Hallar u : (a, b) R tal que u(a) = u(b) = 0 y que satisfaga
_
b
a
u

(x)v

(x) dx +
_
b
a
u(x)v(x) dx =
_
b
a
f(x)v(x) dx
para toda v : (a, b) R tal que v(a) = v(b) = 0.
521230 - 22- DIM Universidad de Concepci on
El objetivo del m etodo de elementos nitos (M.E.F.) es buscar una aproximaci on de la
funci on u en un espacio de dimensi on nita V
h
(llamado espacio discreto) que satisfaga
la formulaci on d ebil con todas las funciones v
h
del mismo espacio V
h
:
Hallar u
h
V
h
tal que
_
b
a
u

h
(x)v

h
(x) dx +
_
b
a
u
h
(x)v
h
(x) dx =
_
b
a
f(x)v
h
(x) dx v
h
V
h
.

Esta se denomina la formulaci on d ebil discreta del P.V.C.


521230 - 23- DIM Universidad de Concepci on
El ejemplo m as sencillo de espacio discreto V
h
(y el m as usado) es el de las funciones
continuas y lineales a trozos en una partici on arbitraria del intervalo
a = x
0
< x
1
< < x
n
= b, que se anulan en los extremos a y b:
V
h
:=
_
v
h
C(a, b) : v
h
|
[x
i1
,x
i
]
P
1
, i = 1, . . . , n, y v
h
(a) = v
h
(b) = 0
_
.
h = max
1in
(x
i
x
i1
) denota la norma de la partici on.
x x a=x
0 1
x =b
n
x x
2 n1
521230 - 24- DIM Universidad de Concepci on
La dimensi on de V
h
es n 1.
En efecto, la base natural de este espa-
cio est a formada por las llamadas fun-
ciones techo,
1
, . . . ,
n1
, que sa-
tisfacen

i
(x
j
) =
_
_
_
1, si i = j,
0, si i = j.
1
a=x
0
x x x x =b x
(x)
i1 i i+1 n
i
Estas funciones est an denidas por

i
(x) :=
_

_
x x
i1
x
i
x
i1
si x [x
i1
, x
i
],
x
i+1
x
x
i+1
x
i
si x [x
i
, x
i+1
],
0 si x [x
i1
, x
i+1
].
521230 - 25- DIM Universidad de Concepci on
Con respecto a esta base, la soluci on discreta u
h
V
h
puede representarse como
u
h
(x) =
n1

j=1

j
(x), con
j
= u
h
(x
j
).
Usando esta expresi on de u
h
en la formulaci on d ebil discreta
_
b
a
u

h
(x)v

h
(x) dx +
_
b
a
u
h
(x)v
h
(x) dx =
_
b
a
f(x)v
h
(x) dx v
h
V
h
y tomando v
h
=
i
, i = 1, . . . , n 1, por la linealidad del problema se llega a
n1

i=1
_
_
b
a

j
(x)

i
(x) dx +
_
b
a

j
(x)
i
(x) dx
_

i
=
_
b
a
f(x)
i
(x) dx, i = 1, . . . , n 1.

Este es un sistema de (n 1) ecuaciones con (n 1) inc ognitas


i
= u
h
(x
i
).
521230 - 26- DIM Universidad de Concepci on
x
1
x x a=x
(x)
i
(x)
j
0 j i
x =b
N
Como se ve en la gura, si j / {i 1, i, i + 1}, entonces
_
b
a

j
(x)

i
(x) dx = 0 y
_
b
a

j
(x)
i
(x) dx = 0.
As, vemos que la formulaci on d ebil discreta se reduce a resolver un sistema de ecuaciones
con matriz tridiagonal y sim etrica, que adem as se demuestra es denida positiva (en ese
caso tambi en puede usarse el algoritmo de Thomas para resolver el sistema):
521230 - 27- DIM Universidad de Concepci on
_
_
_
_
_
_
_
_
_
_
_
a
1
b
2
0 0
b
2
.
.
.
.
.
.
.
.
.
.
.
.
0
.
.
.
.
.
.
.
.
.
0
.
.
.
.
.
.
.
.
.
.
.
.
b
n1
0 0 b
n1
a
n1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_

2
.
.
.

n2

n1
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
f
1
f
2
.
.
.
f
n2
f
n1
_
_
_
_
_
_
_
_
_
_
,
donde
a
i
=
_
b
a
[

i
(x)]
2
dx +
_
b
a
[
i
(x)]
2
dx, i = 1, . . . , n 1,
b
i
=
_
b
a

i1
(x)

i
(x) dx +
_
b
a

i1
(x)
i
(x) dx, i = 2, . . . , n 1,
f
i
=
_
b
a
f(x)
i
(x) dx, i = 1, . . . , n 1.
521230 - 28- DIM Universidad de Concepci on
Para estimar el error, consideramos la siguiente norma:
v :=
_
_
b
a
|v(x)|
2
dx
_
1/2
.
Teorema: Sea u la soluci on del P.V.C. y u
h
la soluci on calculada por el m etodo de
elementos nitos y supongamos que u tiene derivada segunda acotada en [a, b].
Entonces se tiene la siguiente estimaci on del error:
u u
h
Ch
2
max
0x1
|u

(x)|,
u

h
Ch max
0x1
|u

(x)|,
donde C es una constante positiva independiente de h.
521230 - 29- DIM Universidad de Concepci on
Observaciones:
Si se aplica el m etodo de elementos nitos en una particion uniforme y se calculan las
integrales que denen los coecientes a
i
, b
i
y f
i
por el m etodo de los trapecios, se
llega exactamente al mismo sistema de ecuaciones lineales que con el m etodo de
diferencias nitas.
Ambos m etodos, diferencias nitas y elementos nitos, se extienden a Ecuaciones en
Derivadas Parciales (E.D.P.), que es donde se maniesta la mayor ecacia del m etodo
de elementos nitos.
El m etodo de shooting, en cambio, es muy eciente para resolver P.V.C. para E.D.O.,
pero no se extiende a E.D.P.
Para mayor informaci on acerca del m etodo de elementos nitos, y de su aplicaci on a la
resoluci on de E.D.P., se sugiere el siguiente texto:
E.B. BECKER, G.F. CAREY, J.T. ODEN. Finite Elements. An Introduction. Prentice
Hall, 1981.
521230 - 30- DIM Universidad de Concepci on

You might also like