Академический Документы
Профессиональный Документы
Культура Документы
ECUACIONES DIFERENCIALES
DE PRIMER ORDEN
2.1 Curvas solucin sin una solucin
2.1.1 Campos direccionales
2.1.2 ED de primer orden autnomas
2.2 Variables separables
2.3 Ecuaciones lineales
2.4 Ecuaciones exactas
2.5 Soluciones por sustitucin
2.6 Un mtodo numrico
REPASO DEL CAPTULO 2
La historia de las matemticas tiene muchos relatos de personas que han dedicado
gran parte de su vida a la solucin de ecuaciones, al principio de ecuaciones
algebraicas y despus de ecuaciones diferenciales. En las secciones 2.2 a 2.5
estudiaremos algunos de los mtodos analticos ms importantes para resolver
ED de primer orden. Sin embargo, antes de que empecemos a resolverlas,
debemos considerar dos hechos: es posible que una ecuacin diferencial no tenga
soluciones y que una ecuacin diferencial tenga una solucin que con los
mtodos existentes actuales no se puede determinar. En las secciones 2.1 y 2.6
no resolveremos ninguna ED pero mostraremos cmo obtener informacin
directamente de la misma ecuacin. En la seccin 2.1 podemos ver cmo, a partir
de la ED, obtenemos informacin cualitativa de la misma respecto a sus grcas,
lo que nos permite interpretar los dibujos de las curvas solucin. En la seccin 2.6
usamos ecuaciones diferenciales para construir un procedimiento numrico para
soluciones aproximadas.
34
www.FreeLibros.me
08367_02_ch02_p034-081-ok.indd 34
6/4/09 12:15:44 PM
2.1
35
2.1
REPASO DE MATERIAL
O La primera derivada como pendiente de una recta tangente.
O El signo algebraico de la primera derivada indica crecimiento o decrecimiento.
INTRODUCCIN Imaginemos por un momento que nos enfrentamos con una ecuacin diferencial
de primer orden dydx f (x, y), y que adems no podemos encontrar ni inventar un mtodo para
resolverla analticamente. Esto no es tan malo como se podra pensar, ya que la ecuacin diferencial
en s misma a veces puede decirnos concretamente cmo se comportan sus soluciones.
Iniciaremos nuestro estudio de las ecuaciones diferenciales de primer orden con dos formas
cualitativas de analizar una ED. Estas dos formas nos permiten determinar, de una manera aproximada,
cmo es una curva solucin sin resolver realmente la ecuacin.
2.1.1
CAMPOS DIRECCIONALES
y
pendiente = 1.2
(2, 3)
curva
solucin
(2, 3)
tangente
CAMPO DIRECCIONAL Si evaluamos sistemticamente a f en una malla rectangular de puntos en el plano xy y se dibuja un elemento lineal en cada punto (x, y) de la
malla con pendiente f (x, y), entonces al conjunto de todos estos elementos lineales se
le llama campo direccional o campo de pendientes de la ecuacin diferencial dydx
f (x, y). Visualmente, la direccin del campo indica el aspecto o forma de una familia
de curvas solucin de la ecuacin diferencial dada y, en consecuencia, se pueden ver
a simple vista aspectos cualitativos de la solucin, por ejemplo, regiones en el plano
www.FreeLibros.me
08367_02_ch02_p034-081-ok.indd 35
6/4/09 12:15:44 PM
36
CAPTULO 2
en las que una solucin presenta un comportamiento poco comn. Una sola curva
solucin que pasa por un campo direccional debe seguir el patrn de ujo del campo:
el elemento lineal es tangente a la curva cuando intercepta un punto de la malla. La
gura 2.1.2 muestra un campo direccional generado por computadora de la ecuacin
diferencial dydx sen(x y) en una regin del plano xy. Observe cmo las tres curvas solucin que se muestran a colores siguen el ujo del campo.
_2
c>0
2
c=0 x
c<0
_2
El campo direccional para la ecuacin diferencial dydx 0.2xy que se muestra en la gura
2.1.3a se obtuvo usando un paquete computacional en el que se deni una malla 5 5 (mh,
nh) con m y n enteros, haciendo 5 m 5, 5 n 5, y h 1. Observe en la gura
2.1.3a que en cualquier punto del eje de las x (y 0) y del eje y (x 0), las pendientes son
f (x, 0) 0 y f (0, y) 0, respectivamente, por lo que los elementos lineales son horizontales.
Adems observe que en el primer cuadrante para un valor jo de x los valores de f (x, y)
0.2xy aumentan conforme crece y; anlogamente, para una y los valores de f (x, y)
0.2xy aumentan conforme x aumenta. Esto signica que conforme x y y crecen, los elementos lineales sern casi verticales y tendrn pendiente positiva ( f (x, y) 0.2xy 0 para
x 0, y 0). En el segundo cuadrante, f (x, y) aumenta conforme crecen x y y crecen,
por lo que nuevamente los elementos lineales sern casi verticales pero esta vez tendrn
pendiente negativa ( f (x, y) 0.2xy 0 para x 0, y 0). Leyendo de izquierda a derecha, imaginemos una curva solucin que inicia en un punto del segundo cuadrante, se
mueve abruptamente hacia abajo, se hace plana conforme pasa por el eje y y despus,
conforme entra al primer cuadrante, se mueve abruptamente hacia arriba; en otras palabras,
su forma sera cncava hacia arriba y similar a una herradura. A partir de esto se podra
inferir que y : conforme x :
. Ahora en el tercer y el cuarto cuadrantes, puesto que
f (x, y) 0.2xy 0 y f (x, y) 0.2xy 0, respectivamente, la situacin se invierte: una
curva solucin crece y despus decrece conforme nos movamos de izquierda a derecha.
2
Vimos en la ecuacin (1) de la seccin 1.1 que y e0.1x es una solucin explcita de
dydx 0.2xy; usted debera comprobar que una familia uniparamtrica de soluciones
2
de la misma ecuacin est dada por: y ce0.1x . Con objeto de comparar con la gura 2.1.3a,
en la gura 2.1.3b se muestran algunos miembros representativos de esta familia.
_4
_4
_2
www.FreeLibros.me
08367_02_ch02_p034-081-ok.indd 36
6/4/09 12:15:46 PM
2.1
37
COMENTARIOS
4
2
x
_2
_4
_4
_2
Dibujar a mano un campo direccional es directo pero tardado; por eso es probable que en la vida solo una o dos veces se realice esta tarea, pero generalmente
es ms eciente realizarlo usando un paquete computacional. Antes de las calculadoras, de las computadoras personales y de los programas se utilizaba el mtodo de las isoclinas para facilitar el dibujo a mano de un campo direccional.
Para la ED dydx f (x, y), cualquier miembro de la familia de curvas f (x, y)
c, donde c es una constante, se llama isoclina. Se dibujan elementos lineales
que pasen por los puntos en una isoclina dada, digamos, f (x, y) c1 todos con la
misma pendiente c1. En el problema 15 de los ejercicios 2.1 tiene dos oportunidades para dibujar un campo direccional a mano.
del ejemplo 2.
2.1.2
dy
1 y2
dx
f (x, y)
p
dy
0.2xy
dx
www.FreeLibros.me
08367_02_ch02_p034-081-ok.indd 37
6/4/09 12:15:47 PM
38
CAPTULO 2
eje P
a
b
0
Intervalo
(, 0)
(0, a b)
(a b, )
(x0, y0)
a) regin R.
y(x) = c2
y(x) = c1
menos
ms
menos
P(t)
decreciente
creciente
decreciente
Flecha
apunta hacia abajo
apunta hacia arriba
apunta hacia abajo
Signo de f (P)
R3
(x0, y0)
R2
R1
CURVAS SOLUCIN Sin resolver una ecuacin diferencial autnoma, normalmente podemos decir gran cantidad de detalles respecto a su curva solucin. Puesto que
la funcin f en la ecuacin (2) es independiente de la variable x, podemos suponer
que f est denida para x o para 0 x . Tambin, puesto que f y su
derivada f son funciones continuas de y en algn intervalo I del eje y, los resultados
principales del teorema 1.2.1 valen en alguna franja o regin R en el plano xy correspondiente a I, y as pasa por algn punto (x0, y0) en R por el que pasa una curva solucin
de la ecuacin (2). Vase la gura 2.1.6a. Para realizar nuestro anlisis, supongamos
que la ecuacin (2) tiene exactamente dos puntos crticos c1 y c2 y que c1 c2. Las grcas de las soluciones y(x) c1 y y(x) c2 son rectas horizontales y estas rectas dividen
la regin R en tres subregiones R1, R2 y R3, como se muestra en la gura 2.1.6b. Aqu se
presentan sin prueba alguna de nuestras conclusiones respecto a una solucin no constante y(x) de la ecuacin (2):
Si (x0, y0) es una subregin Ri , i 1, 2, 3, y y(x) es una solucin cuya grca
pasa a travs de este punto, entonces y(x) permanece en la subregin Ri para
toda x. Como se muestra en la gura 2.1.6b, la solucin y(x) en R2 est acotada
por debajo con c1 y por arriba con c2, es decir, c1 y(x) c2 para toda x. La
curva solucin est dentro de R2 para toda x porque la grca de una solucin no
constante de la ecuacin (2) no puede cruzar la grca de cualquier solucin de
equilibrio y(x) c1 o y(x) c2. Vase el problema 33 de los ejercicios 2.1.
Por continuidad de f debe ser f (y) 0 o f (y) 0 para toda x en una
subregin Ri , i 1, 2, 3. En otras palabras, f (y) no puede cambiar de signo
en una subregin. Vase el problema 33 de los ejercicios 2.1.
www.FreeLibros.me
08367_02_ch02_p034-081-ok.indd 38
6/4/09 12:15:48 PM
2.1
39
EJEMPLO 4
Los tres intervalos determinados en el eje P o recta de fase con los puntos crticos P
0 y P ab ahora corresponden en el plano tP a tres subregiones denidas por:
R1: P 0,
P
R3
i)
a
b
P0
R2
ii)
t
decreciente P0
recta de fase
R1
Plano tP
R 3: a b P ,
donde t . El esquema de fase de la gura 2.1.7 nos dice que P(t) est decreciendo en R1, creciendo en R2 y decreciendo en R3. Si P(0) P0 es un valor inicial,
entonces en R1, R2 y R3 tenemos, respectivamente, que:
decreciente P
0
creciente
R 2: 0 P a b,
iii)
Para P0 0, P(t) est acotada por arriba. Puesto que P(t) est decreciendo
sin lmite conforme aumenta t, y as P(t) : 0 conforme t : . Lo que
signica que en el eje t negativo, la grca de la solucin de equilibrio P(t)
0, es una asntota horizontal para una curva solucin.
Para 0 P0 ab, P(t) est acotada. Puesto que P(t) est creciendo,
P(t) : ab conforme t : y P(t) : 0 conforme t : . Las grcas
de las dos soluciones de equilibrio, P(t) 0 y P(t) ab, son rectas
horizontales que son asntotas horizontales para cualquier curva solucin
que comienza en esta subregin.
Para P0 ab, P(t) est acotada por debajo. Puesto que P(t) est
decreciendo, P(t) : ab conforme t : . La grca de la solucin de
equilibrio P(t) ab es una asntota horizontal para una curva solucin.
En la gura 2.1.7 la recta de fase es el eje P en el plano tP. Por claridad la recta de
fase original de la gura 2.1.5 se ha reproducido a la izquierda del plano en el cual se
han sombreado las regiones R1, R2 y R3. En la gura se muestran las grcas de las
soluciones de equilibrio P(t) ab y P(t) 0 (el eje t) como las rectas punteadas
azules; las grcas slidas representan las grcas tpicas de P(t) mostrando los tres
casos que acabamos de analizar.
En una subregin tal como R1 en el ejemplo 4, donde P(t) est decreciendo y no
est acotada por debajo, no se debe tener necesariamente que P(t) : . No interprete que este ltimo enunciado signica que P(t) : conforme t : ; podramos
tener que P(t) : conforme t : T, donde T 0 es un nmero nito que depende
de la condicin inicial P(t0) P0. Considerando trminos dinmicos, P(t) explota
en un tiempo nito; considerando la grca, P(t) podra tener una asntota vertical en
t T 0. Para la subregin R3 vale una observacin similar.
La ecuacin diferencial dydx sen y en el ejemplo 2 es autnoma y tiene un nmero innito de puntos crticos, ya que sen y 0 en y np, con n entero. Adems, sabe-
www.FreeLibros.me
08367_02_ch02_p034-081-ok.indd 39
6/4/09 12:15:48 PM
40
CAPTULO 2
mos que debido a que la solucin y(x) pasa por (0, 32) est acotada por arriba y por debajo
por dos puntos crticos consecutivos (p y(x) 0) y decrece (sen y 0 para p
y 0), la grca de y(x) debe tender a las grcas de las soluciones de equilibrio como
asntotas horizontales: y(x) : p conforme x : y y(x) : 0 conforme x : .
EJEMPLO 5
La ecuacin autnoma dydx (y 1)2 tiene un solo punto crtico 1. Del esquema
de fase de la gura 2.1.8a concluimos que una solucin y(x) es una funcin creciente
en las subregiones denidas por y 1 y 1 y , donde x . Para
una condicin inicial y(0) y0 1, una solucin y(x) est creciendo y est acotada
por arriba por 1 y as y(x) : 1 conforme x : ; para y(0) y0 1, una solucin y(x)
est creciendo y est acotada.
Ahora y(x) 1 1(x c) es una familia uniparamtrica de soluciones de la
ecuacin diferencial (vea el problema 4 de los ejercicios 2.2). Una condicin inicial dada determina un valor para c. Para las condiciones inciales, y(0) 1 1
y y(0) 2 1, encontramos, respectivamente, que y(x)1 1/(x 12), y(x)1 1/(x
1). Como se muestra en las guras 2.1.8b y 2.1.8c, la grca de cada una de estas
y
y
x =1
creciente
(0, 2)
y=1
y =1
x
(0, 1)
creciente
x=
a) recta de fase
1
2
b) plano xy
y(0) 1
c) plano xy
y(0) 1