Professional Documents
Culture Documents
TEORA PRELIMINAR
El descubrimiento independiente del clculo por Newton y Leibniz en el siglo 17
proporcion el mpetu para los grandes avances que siguieron en las matemticas,
Figura 1
Las ecuaciones
diferenciales se
clasifican segn su
tipo, orden y
linealidad:
dy
+4 y=5
dx
( x 2 y ) dx +5 sin y dy =0
du
dv
+ v =x
dx
dx
u v
=
x x
2 u
= yx
x y
'
''
'' '
y , y , y ,
dy /dx ,
Realmente, la notacin
prima se usa para denotar slo las primeras tres derivadas: la cuarta derivada se
denota
y(4 ) en lugar de
1
n
escribe como d y /dx
(n)
se
ejemplo, en la ecuacin
(Figura 2)
Figura 2
d s /dt =32
ser
orden
ecuacin diferencial (ya
es el orden de la mayor
'
variable dependiente en ( yx ) dx+ 4 xdy=0 , entonces y =dy /dx , por lo que al
(1)
x , y , y ' , , y (n ) . Por
y(n)
restantes.
La ecuacin diferencial
n
d y (
F x , y , y ' , , y(n1) ) ,
n
dx
(2)
donde F es una funcin continua con valores reales, se conoce como la forma
normal de la ecuacin (1). As que cuando sea adecuado para nuestros propsitos,
usaremos las formas normales
dy
d2 y
'
(
)
=F x , y y 2 F (x , y , y )
dx
dx
para representar en general las ecuaciones diferenciales ordinarias de primer y
segundo orden. Por ejemplo, la forma normal de la ecuacin de primer orden
4 x y ' + y=x
; la
forma normal
y ' ' y+ 6 y=0
es
Ejemplos:
(n)
an ( x ) y +an1 ( x ) y
( n1 )
'
Figura 4
Dos casos especiales importantes de la ecuacin de la figura 4, son las ED lineales
de primer orden (n = 1) y de segundo orden (n = 2) ver la figura 5
Figura 5
En la combinacin de la suma del lado izquierdo de la ecuacin (6) vemos que las
dos propiedades caractersticas de una EDO son las siguientes:
La
variable
dependiente
todas sus
derivadas
dependen a lo ms de
la variable independiente x.
Las ecuaciones
e y ' , no se pueden
Las ecuaciones
''
'
( 2 x y ) dx + 4 xdy=0, y 3 y +2 y=0
d3 y
dy
x
2 x + 6 y=0
3
dx
dx
3
x d y
(
) '
(
)
Las ecuaciones 1+ y y +2 y=e , dx 2 + sen y y=0 y
d4 y 4
+ y =0
dx 4
son
Cualquier funcin
continuas en I, las cuales cuando se sustituyen en una ecuacin diferencial ordinaria de nsimo orden reducen la ecuacin a una identidad, se dice que es una solucin de la
ecuacin en el intervalo.
Decimos que
anlisis de
vimos que
introduccin
0.1x
y=e
es una solucin de
dy /dx=0.2 xy
en el intervalo (- , .
y ( x)
f (x)
y sus derivadas
y=ln x
en el intervalo (0, ).
2. Se puede comprobar que
y=1/( x2 1)
es una solucin de
'
y + 2 xy =0 en el
intervalo (1, 1), pero no en ningn otro intervalo mayor que contenga a ste.
'
3. Se puede probar que toda solucin de la ecuacin y + 2 y =0 es de la forma
y=Ce2 x
7
y '' +5 y ' + 6 y=0 son soluciones todas las funciones que se pueden
expresar de la forma
2x
y=C 1 e +C 2 e
3x
siendo
C1
C2
constantes
cualesquiera.
De la ecuacin
con
y=CxC 2
constante, y tambin lo es
y=
x
4 .
Intervalo de definicin
No podemos pensar en la solucin de una ecuacin diferencial ordinaria sin
simultneamente pensar en un intervalo.
Verificacin
de una solucin
Una
forma
de
verificar que la funcin dada es una solucin, es ver, una vez que se ha sustituido,
si cada lado de la ecuacin es el mismo para toda x en el intervalo.
vemos que cada lado de la ecuacin es el mismo para todo nmero real
Observe que
x .
1 2
1/ 2
y = x
es, por definicin, la raz cuadrada no negativa de
4
1 4
x
16
De las derivadas
nmero real
y ' =x e x + e x
y '' = x e x +2 e x
x ,
es
xy
y=1/ x ,
y=1/ x
racional
y=1/ x no es derivable en
'
x y + y=0
( 12 , 10) , ( , 0 ) ,
y=1/ x para
3< x<1
o ( ,0 ) .
Porque las
1
< x <10
son simplemente
2
respectivamente, esto hace que tenga sentido tomar el intervalo I tan grande
(a)
(b)
Figura 7
soluciones explcitas e implcitas
Usted debe estar familiarizado con los trminos funciones explcitas y funciones implcitas
de su curso de clculo. Una solucin en la cual la variable dependiente se expresa slo en
trminos de la variable independiente y las constantes se dice que es una solucin
explcita. Para nuestros propsitos, consideremos una solucin explcita como una
frmula explcita
10
y '' 2 y + y =0, y
y=
1 4
x
,
16
y=xe x
dy /dx=xy 1 /2 ,
y=0
es una solucin
que
curva integral. Cuando obtenemos una antiderivada o una integral indefinida en clculo,
usamos una sola constante c de integracin. De modo similar, cuando resolvemos una
ecuacin diferencial de primer orden
solucin que contiene una sola constante arbitraria o parmetro c. Una solucin que
contiene una constante arbitraria representa un conjunto
G( x , y , c)=0
de soluciones
c1
c2
y(n) ) = 0,
...,
cn
) _ 0. Esto
significa que una sola ecuacin diferencial puede tener un nmero infinito de soluciones
correspondiendo a un nmero ilimitado de elecciones de los parmetros. Una solucin de
una ecuacin diferencial que est libre de la eleccin de parmetros se llama solucin
particular. Por ejemplo, la familia uniparamtrica y = cx - x cos x es una solucin explcita
de la ecuacin lineal de primer orden xy- y =
solucin
sen x en el intervalo (- , ). La
11
correspondiente a
'
solucin singular.
Por ejemplo,
y=
vemos que
y=0 son soluciones de la ecuacin diferencial
dy /dx =
xy
1/ 2
1 4
x
16
en (- , ).
x0
el problema
(1)
donde
y0
y1
,...,
y n1
problema con valores iniciales (PVI). Los valores de y(x) y de sus primeras n 1
derivadas en un solo punto
y n1
x0
, y(
x0
y0
, y(
x0
)=
y1
,...,
( ni )
(x 0 )
EI problema dado en (1) tambin se llama problema con valores iniciales de n-simo
orden. Por ejemplo,
Son problemas con valores iniciales de primer y segundo orden, respectivamente. Estos
dos problemas son fciles de interpretar en trminos geomtricos. Para la ecuacin (2)
estamos buscando una solucin de la ecuacin diferencial en un intervalo I que contenga
a
x0
x0
y0
x0
y0
x0
. Las palabras condiciones iniciales surgen de los sistemas fsicos donde la variable
t0
)=
y0
y y(
t0
)=
y1
representan la
t0
Con frecuencia,
resolver un
iniciales de n-
(1) implica
determinar primero
una familia n-
paramtrica de
soluciones de la
x0
x0
x0 ,
y0
)?
Unicidad { Cundo podemos estar seguros de que hay precisamente una curva
solucin que pasa a travs del punto (
x0
y0
)?
definida por a
b, c y
y0
I0
:(
x0
I0
x0 ,
xy
- h,
x0
iniciales (2).
Intervalo de existencia y unicidad
Suponga que y(x) representa una solucin del problema con valores iniciales (2). Los
siguientes tres conjuntos de nmeros reales en el eje x pueden no ser iguales: el dominio
de la funcin y(x), el intervalo I en el cual la solucin y(x) est definida o existe, y el
intervalo
I0
x0,
y0
) es un punto en
x0
)=
y0
, definida en algn
x0
en el cual la
solucin y(x) est defi nida y es derivable. El intervalo I depende tanto de f (x, y) como de
la condicin inicial y(
x0
) = y0.
14
x0
I0
que contiene
x0
, sino que
I0
I0
:(
x0
- h,
+ h), podra ser muy pequeo, por lo que es mejor considerar que la solucin y(x) es
nica en un sentido local, esto es, una solucin definida cerca del punto (
x0 ,
y0
).
15
(1)
es una funcin integrable. Para resolverla basta integrar ambos miembros con
respecto a
y as se obtiene
y= f (x )dx +c
(2)
De modo que su solucin general viene dada por (2), y en ella se recogen todas las
soluciones de la ecuacin (1). Ms generalmente, toda ecuacin de primer orden
y =f ( x , y)
en la que y
y , esto
es, de la forma
y =
g ( x)
h( y )
(3)
y=f ( x)
dy
=g(x )
dx
para obtener
(4)
(5)
16
h( y)dy= g( x) dx+ c
(6)
De modo que (6) constituye una familia uniparamtrica de soluciones, que generalmente
vienen expresadas de forma implcita.
El razonamiento anterior nos sugiere un mtodo para resolver la ecuacin (3): De la
ecuacin (3) pasamos a
h( y )dy=g( x ) dx
y = y 24 .
1
dy=dx
. A continuacin integramos ambos
y 4
1
1/4 1/4
dy=
+
y +2 y2
y 4
As se obtendr
1
1
| y+2|+ | y2|=x+ c 1 = | y+ 2|+| y2|=4 x+ 4 c 1
4
4
=e
| y2
y +2 |
4 x+c 2
=c3 e 4 x
y 2
=ce 4 x
= y+ 2
, c
| |
y2
= y +2 =4 x+ c 2 =
Finalmente, despejando
1+ ce 4 x
y=2
4x
1ce
y (0)=2 , al sustituir
x=0, y=2 , en la expresin anterior, llegaramos al absurdo 1=1. Esto nos indica que
17
y 24 . As, se consider
que
y 2, y 2 . Luego en caso de ser
y=2
o bien
diferencial, las podramos haber eliminado. Es fcil comprobar que, en este caso, tanto
y=2
como
de la solucin general
1+ ce 4 x
y=2
1ce 4 x
para el valor
c=0
y=2
Una funcin
cuando verifica:
f ( tx , ty ) =t f ( x , y )
para todos los puntos de un cierto conjunto.
Es fcil comprobar que toda funcin polinmica en las variables
sumandos son monomios de grado total
n .
Por ejemplo:
18
Es inmediato observar que el cociente de dos funciones homogneas del mismo grado es
una funcin homognea de grado cero. Adems, se verifica que toda funcin homognea
f (x , y ) se puede expresar de las siguientes formas:
de grado cero
definicin, podemos decir que toda ecuacin homognea se puede escribir de la forma
y '=f ( x , y )
z= y / x
y '=f (x , y )
se tiene:
y ' =z ' x+ z
por
de
19
y +2 xe y / x
y'=
x
En primer lugar, expresaremos el segundo miembro como funcin de
y/ x .
y
y ' = 2 ey / x
x
Ahora, realizamos el cambio de variables
y '=xz '+ z , la
20
F( x , y)=C
de
que dicha
expresin
es la
solucin
F (x , y )
F (x , y)
, N ( x , y )=
, para alguna funcin F (x , y ) ,
x
y
F( x , y)=C
M (x, y) y N (x , y)
son
(7)
(8)
Demostracin:
21
Supongamos que la ecuacin (7) es exacta en R. Esto significa que existe una funcin
( x , y ) de R, verifica
F( x , y) tal que,
F (x , y)
=M ( x , y ) y
x
As, al ser
F (x , y )
=N (x , y )
y
son continuas, y el
teorema de Schwartz nos afirma que las derivadas cruzadas de segundo orden de
F
coinciden, es decir:
M ( x , y) N ( x , y )
=
y
x
Supongamos ahora que se verifica (8), y queremos comprobar que (7) es exacta. Para
ello debemos encontrar una
F( x , y)
tal que
F (x , y )
=M ( x , y ) y
x
Por tenerse que verifica
F (x , y)
=M ( x , y )
x
F (x , y )
=N ( x , y )
y
entonces
F( x , y)
forma
F( x , y)= M ( x , y )dx+ ( y )
para alguna funcin ( y ) que nicamente dependa de la variable
consistir en encontrar una
y . As todo
F (x , y )
=N (x , y )
y
lo cual supone que
( M ( x , y)dx)
y
+ ' ( y )=N ( x , y )
( M ( x , y )dx )
y
(9)
22
( y ) se
obtendr de (9) por simple integracin. Por otra parte, si comprobamos que
(N (x , y )
( M ( x , y)dx ))=0
x
y
entonces estar claro que el segundo miembro de (9) es efectivamente una funcin
slo de la variable
2
N ( x , y )
( M ( x , y ) dx ) =
M ( x , y ) dx
x
y
x
x y
N (x , y)
2
M ( x , y ) dx
x
y x
N (x , y)
M ( x , y ) dx=0
x
y
As, queda probado que la ecuacin diferencial es exacta.
Ejemplo
La ecuacin diferencial
3
y 3 dx+3 xy 2 dy=0
M ( x , y )= y , N ( x , y)=3 x y
se verifica
M (x , y) N ( x , y )
=
=3 xy 2
y
x
Para resolverla utilizaremos la idea de la demostracin del teorema anterior: Buscamos
una funcin
F( x , y)
tal que
F (x , y)
= y3 y
x
La condicin
F (x , y)
=3 xy 2
y
F (x , y )
= y 3 la verifica la funcin
x
23
F (x , y )
=3 xy 2 3 y 2 x+ 0( y )=3 xy 2
y
0( y )=0
F( x , y)
en las
condiciones exigidas es
F( x , y)= y 3 x
y de ah que la solucin general de la ecuacin diferencial dada es:
3
y x
y 3 dx+3 xy 2 dy=
ydx +3 xdy =0
Esta nueva ecuacin, que tiene las mismas soluciones que la anterior, se puede
comprobar que no es exacta; sin embargo, para resolverla bastara con multiplicarla por
y 2 y resolver la ecuacin exacta que se obtiene. Este hecho nos sugiere que
determinadas ecuaciones que no son exactas se pueden resolver como tales cuando
previamente se las multiplica por un cierto factor
= ( x , y ).
es exacta.
24
Hallar los factores integrantes puede ser un problema difcil. Sin embargo, hay dos clases
de ecuaciones diferenciales cuyos factores integrantes son sencillos: aquellas que poseen
factores integrantes que dependen bien de
solamente o bien de
solamente. Es
Si
1 M N
1 N M
=k ( y )
M x y
(x) .
es una funcin de
solamente, entonces la
( y) .
25
ED LINEALES.
Una ecuacin diferencial de primer orden de la forma
FORMA ESTNDAR
Al dividir ambos lados de la ecuacin (1) entre el primer coeficiente, a1(x), se obtiene una
forma ms til, la forma estndar de una ecuacin lineal:
(2)
Buscamos una solucin de la ecuacin (2) en un intervalo I, en el cual las dos funciones
P y f sean continuas.
LA PROPIEDAD
La ecuacin diferencial (2) tiene la propiedad de que su solucin es la suma de las dos
soluciones, y =
yc
es una solucin
y c + y p , donde
de la ecuacin
homognea
yp
asociada
es una solucin particular de ecuacin no homognea (2). Para ver esto, observe
que
yc
al
26
P ( x ) dx
y c =ce
Por conveniencia escribimos
para determinar
yp
27
ECUACIN DE BERNOULLI
La ecuacin diferencial
donde n es cualquier nmero real, se llama ecuacin de Bernoulli. Observe que para n =
0 y n = 1, la ecuacin es lineal. Para n 0 y n
1 la sustitucin
1n
u= y
reduce
dy
+ y=x 2 y 2
dx
tenemos u= y
Con n = 2
o
y=u
. Entonces sustituimos
Integrando
se obtiene
u=x+
cou
x
y=1/u ,
28
y=1/(x 2 +cx ).
29
2. El modelo de Verhulst
3.
4. jhb
30
BIBLIOGRAFA
https://www.academia.edu/5955554/Ecuaciones_diferenciales_con_aplicaciones_d
e_modelado_9TH
http://www.freelibros.org/matematicas/ecuaciones-diferenciales-una-introduccionfernando-mesa-alejandro-martinez-acosta-y-jose-rodrigo-gonzalez-granada.html
31