Вы находитесь на странице: 1из 29

Prof: Norberto Oviedo Ugalde.

Leccin:
Elementos bsicos y teorema de existencia
unicidad en Ecuaciones Diferenciales
Ordinarias.
ndice general

1 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en


EDO1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.0.1 Objetivos Especficos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.0.2 Contenidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1 Conceptos Bsicos en Ecuaciones Diferenciales 5
1.1.1 Definicin de Ecuacin Diferencial Ordinaria (EDO) . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.2 Orden y grado de las ecuaciones diferenciales ordinarias . . . . . . . . . . . . . . . . . . . . . . 6
1.1.3 Clasificacin de las ecuaciones diferenciales ordinarias . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.4 Solucin de una ecuacin diferencial ordinaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.5 Tipos de soluciones en ecuaciones diferenciales ordinarias . . . . . . . . . . . . . . . . . . . . . 13
1.1.6 Ejercicios de Retroalimentacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.1.7 El problema de valor inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.2 Teorema de existencia y unicidad en E.D.O.1 25
1.2.1 Ejercicios de Retroalimentacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

1.0.1 Objetivos Especficos


Comprender los elementos bsicos asociados al tpico de ecuaciones diferenciales de primer orden.
Estudiar mediante ejemplos concretos e ilustrativos el teorema de existencia y unicidad.

1.0.2 Contenidos
Definicin de ecuacin diferencial.
Orden y grado de una ecuacin diferencial.
Clasificacin de ecuaciones diferenciales ordinarias.
Solucin y tipos de solucin en una ecuacin diferencial ordinaria.
Problema de valor inicial.
Teorema de existencia y unicidad en ecuaciones diferenciales ordinarias de primer orden.

1.1 Conceptos Bsicos en Ecuaciones Diferenciales

A continuacin se muestran los aspectos tericos relacionados con los elementos bsicos en las ecuaciones
diferenciales.

1.1.1 Definicin de Ecuacin Diferencial Ordinaria (EDO)

Definicin 1.1
Una ecuacin diferencial es una ecuacin que relaciona una funcin desconocida (la variable
dependiente), las variables de las que depende (variables independientes) y sus derivadas respecto de
estas variables independientes.

En particular si dicha ecuacin contiene derivadas respecto a una sola variable independiente se le
denomina Ecuacin Diferencial Ordinaria (EDO) y si contienen derivadas respecto a dos o ms
variables independientes se le llama Ecuaciones diferenciales en derivadas parciales (EDP).
6 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

1.1

Algunos ejemplos de ecuaciones diferenciales ordinarias.

dy
a) + 5y = ex .
dx
00
b) y + y 2x = 0.
dx dy
c) + = 2x + y.
dt dt

Una ecuacin diferencial ordinaria (EDO) puede contener ms de una variable dependiente como en el
ejemplo anterior c).

1.2

Algunos ejemplos de ecuaciones diferenciales en derivadas parciales .

u u
a) = .
y x
2u 2u
b) + = 0.
x 2 y2
2u 2u u
c) 2
= 2 2 .
x t t

1.1.2 Orden y grado de las ecuaciones diferenciales ordinarias

Definicin 1.2
El orden de una EDO se define por el orden de la ms alta derivada en la ecuacin dada. En general,
el nsimo orden de una EDO puede simbolizarse por

F(x, y, y0 , y00 , . . . , y(n) ) = 0, (1.1)

donde F es una funcin conocida.

1.3

Considere las siguientes ecuaciones diferenciales ordinarias y determinar que orden tienen cada una
de ellas.
00
a) y 5y0 + 3y3 = 0.
d3y d2y
b) 3
+ 2 2 + y = x.
dx dx
dy
c) M (x, y) + N (x, y) = 0.
dx
1.1 Conceptos Bsicos en Ecuaciones Diferenciales 7

De acuerdo a cada ecuacin diferencial dada se tiene lo siguiente:


00
(a) la ecuacin diferencial y 5y0 + 3y3 = 0 es de orden 2.
d3y d2y
(b) la ecuacin diferencial + 2 + y = x es de orden 3.
dx3 dx2
dy
(c) toda ecuacin de la forma M (x, y) + N (x, y) = 0 es de orden 1.
dx

Definicin 1.3
El grado de una ecuacin diferencial ordinaria se define por la potencia sobre y(i) , i = 1, . . . , n,
que tiene la ms alta derivada en la ecuacin dada.

1.4

Considere las siguientes ecuaciones diferenciales y determine su grado.

a) y0 + 2 = y es una EDO de primer grado pues solo aparece y0 y su grado es uno.


b) xy00 + 6x = (y0 )2 es una EDO de primer grado pues la expresin de mayor orden es y00 y su
grado es uno.
c) (y0 )3 = x(y00 )5 + (y(iv) )3 es una EDO de tercer grado ya que la expresin de mayor orden es
y(iv) y su potencia asociada es 3.

1.1.3 Clasificacin de las ecuaciones diferenciales ordinarias

Definicin 1.4
Una ecuacin diferencial ordinaria de orden n es lineal siy solo si puede escribirse de la siguiente
forma :

an (x) yn + an1 (x)yn1 + ... + a1 (x) y0 + a0 (x) y = g (x) (1.2)

donde a0 (x) , a1 (x) , ..., an (x) , g (x) son funciones reales continuas que dependen slo de la
variable independiente x y definidas en un intervalo abierto comn I, con an 6= 0 para toda x I.
Una ecuacin diferencial que no puede escribirse de la forma 1.2 es No lineal.

Dentro de las ecuaciones diferenciales ordinarias lineales se distinguen:


ecuacin diferencial lineal homognea cuando el trmino independiente g(x) = 0.

ecuaciones diferenciales lineales con coeficientes constantes, cuando todos las funciones
ai (x) i = 1, ..., n son funciones constantes.

ecuaciones diferenciales lineales con coeficientes variables si alguna funcin ai (x) no es


una funcin constante, sino una dependiente solo de x.
8 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

1.5

Considere las siguientes ecuaciones diferenciales ordinarias y clasificarlas en EDO lineal (con
coeficientes contantes o variables) y no lineal.
00
(a) y 2y0 + y = 0
d2y dy
(b) 2 + 3 = ex .
dx dx
(c) x3 y000 x2 y00 + 3xy0 + 5y = x.
d2y dy
(d) 2 + (x + 1) + 2 = 0.
dx dx
(e) ex y00 + 2xy = 0.
(f) yy00 2y0 = x.
d2y
(g) 2 + sin y = 0.
dx
(h) y000 + y2 = cos x.

De acuerdo a las definiciones dadas anteriormente, se tiene que las ecuaciones diferenciales (a) y
(b) son lineales con coeficientes constantes. Las ecuaciones diferenciales (c), (d) y (e) son lineales
con coeficientes variables. Las ecuaciones diferenciales ( f ), (g) y (h) son no lineales.

Definicin 1.5
Si una ecuacin diferencial de orden n dada en la forma F x, y, y0 , ..., yn = 0 puede expresarse de


manera que la derivada de orden n aparezca despejada, es decir:

yn = G x, y, y0 , ..., yn1

(1.3)

entonces esta expresin recibe el nombre forma normal de la ecuacin diferencial.

1.6

Para cada una de las ecuaciones diferenciales ordinarias dadas, escribir en forma normal las ecuacio-
nes diferenciales:
a) yy00 2y0 = x.

d2y
b) + sen x = 0.
dx2
c) y000 + y2 = cos x.

Se despeja la derivada ms alta en cada una de las ecuaciones diferenciales del ejemplo y obtenemos
su forma normal:
1.1 Conceptos Bsicos en Ecuaciones Diferenciales 9

y0 x
(a) yy00 2y0 = x, por tanto y00 = 2 + con y 6= 0.
y y
d2y d2y
(b) + sen x = 0, por tanto = sen x.
dx2 dx2
(c) y000 + y2 = cos x, por tanto y000 = y2 + cos x.

1.1.4 Solucin de una ecuacin diferencial ordinaria

 00

Resolver una ecuacin diferencial ordinaria, F x, y0 , y , y000 , ... = 0, es hallar una expresin para la funcin
y(x) que satisfaga la relacin de igualdad que determina dicha ecuacin, x I un intervalo comn.

Definicin 1.6
Se llama solucin de una ecuacin diferencial ordinaria en un intervalo J a una funcin (x)
definida en J que, sustituida en la ecuacin junto con sus derivadas, la verifica en dicho intervalo, es
decir:

F(x, (x), (x)0 , ..., (x)n ) = 0, x J (1.4)

Es importante rescatar que una solucin puede ser definida en alguno de los siguientes intervalos J: ], [,
], ], [, [, [, ], [, [, ], [, ] , ], ] , [ y ] , [= R; donde , R y < .

1.7

Se puede comprobar que la funcin (x) = e5x es solucin de la ecuacin diferencial ordinaria de
primer orden y0 = 5y en el intervalo ] , [.

En efecto, derivando (x) = e5x respecto de x, se obtiene (x)0 = 5e5x , luego sustituyendo en la
ecuacin diferencial, se verifica la ecuacin diferencial: (x)0 = 5e5x = 5 (x) , x R.

1.8

1
Considere la funcin (x) = x2 y verificar es solucin de la ecuacin diferencial ordinaria de
x
00 2
segundo orden y 2 y = 0, x 6= 0.
x
1
Derivando dos veces la funcin (x) = x2 respecto de x, se tiene:
x
10 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

1 2
(x)0 = 2x + , (x)00 = 2 3 .
x2 x

Sustituyendo en la ecuacin comprobamos que si se verifica:

 
2 2 2 1 2 2
2 3 2 x = 2 3 2 + 3 = 0, x 6= 0.
x x x x x

1
Por tanto, (x) = x2 es solucin en el intervalo ], 0 [ ] 0, +[.
x

1.9

Se puede comprobar que toda funcin de la forma (x) = C1 ex +C2 e2x es solucin de la ecuacin
diferencial y00 y0 2y = 0 para cualquier valor de las constantes C1 y C2 .

En efecto, derivando dos veces (x) = C1 ex +C2 e2x , se tiene que:

(x)0 = C1 ex + 2C2 e2x ,

(x)00 = C1 ex + 4C2 e2x ,

y sustituyendo se verifica la ecuacin diferencial:

C1 ex + 4C2 e2x +C1 ex 2C2 e2x C1 e2x 2C2 e2x = 0. x R.

1.10

La ecuacin diferencial (y0 )2 + 1 = 0 no tiene solucin real, pues no existe una funcin real y
derivable que la satisfaga, es decir, no es posible se cumpla que exista y(x) tal que (y0 )2 sea -1.
1.1 Conceptos Bsicos en Ecuaciones Diferenciales 11

1.11

Compruebe que si se deriva implcitamente la relacin x2 + y2 = 4 y si se sustituye en la ecuacin


x
diferencial y0 = , esta se verifica para 2 < x < 2.
y

Derivando implcitamente con respecto a x la relacin x2 + y2 = 4, se tiene:

2x + 2yy0 = 0,

es decir,
dy
2x + 2y = 0.
dx
dy x
Por tanto = (y 6= 0) y de esta forma se verifica la ecuacin diferencial para 2 < x < 2,
dx
y
pues y = 4 x2 .

Como se observa en los ejemplos, las soluciones de una ecuacin diferencial pueden venir dadas como
una funcin o una expresin que verifica la ecuacin. Por ello, las llamamos soluciones explcitas si la
solucin es una expresin de la forma y = y(x) y llamamos soluciones implcitas si la solucin es una
expresin de la forma g(x, y) = 0.

Definicin 1.7 Solucin Explcita de una EDO de Primer Orden


Sea F(x, y, y0 ) = 0 una EDO de primer orden. La funcin y = (x) es llamada una solucin explcita
si se satisface que F(x, (x), 0 (x)) = 0 en intervalo comn J.

1.12

8 6 2
La funcin y(x) = A + Be3x + xe3x + cos x sen x es una solucin explcita de la ecuacin
3 5 5
y00 3y0 = 8e3x + 4 sen x, ya que satisface dicha EDO para toda x en R.

En efecto,
 00  0
3x 8 3x 6 2 3x 8 3x 6 2
A + Be + xe + cos x sen x 3 A + Be + xe + cos x sen x =
3 5 5 3 5 5

   
2 6 8 6 2
9Be3x + 16e3x + 24e3x x + sen x cos x 3 3Be3x + e3x + 8e3x x sen x cos x =
5 5 3 5 5

2 6 18 6
9Be3x + 16e3x + 24e3x x + sen x cos x 9Be3x 8e3x 24e3x x + sen x + cos x =
5 5 5 5

8e3x + 4 sen x.
12 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

y
2

-4 -3 -2 -1 1 x
-1

-2

8 6 2
Figura 1.1: soluciones explcitas representadas por y(x) = A + Be3x + xe3x + cos x sen x para A y B R.
3 5 5
Fuente: elaboracin propia con M ATHEMATICA 9.0.

Definicin 1.8 Solucin Implcita de una EDO de Primer Orden


Una relacin de la forma (x, y) = 0 se dice que es una solucin implcita de F(x, y, y0 ) = 0 si
determina una o ms funciones y = (x) que satisfacen F(x, (x), 0 (x)) = 0.

ejemplo 1.11, la relacin x2 + y2 4 = 0 define dos funciones en el intervalo 2 < x < 2:


En el
y = 4 x2 . Tambin obsrvese que cualquier relacin x2 + y2 C = 0 con C R satisface la ecuacin
dy x
= para cualquier constante C.
dx y

1.13

2xy
La relacin y ln y = x2 + 1 es una solucin implcita de la EDO y0 = para y > 0 y x R,
y1
y0
pues, derivando la relacin dada con respecto a x, se tiene y0 = 2x, es decir, y0 y y0 = 2xy.
y
2xy
Luego como y0 = y sustituyendo en y0 y y0 = 2xy se verifica dicha igualdad para y > 0 y
y1
x R.

1.14

3x2
Se puede verificar que y2 x3 + 8 = 0 es solucin implcita de la ecuacin diferencial y0 =
2y
en ]2, +[ .

Observe que al derivar la expresin y2 x3 + 8 = 0 respecto de la variable x se tiene 2yy0 3x2 = 0


1.1 Conceptos Bsicos en Ecuaciones Diferenciales 13

de donde al despejar y0

3x2
y0 =
2y
y sustituyendo en la ecuacin diferencial, se tiene

3x2 3x2
=
2y 2y
y estose verifica x ]2, +[ , pues si despejamos y en la expresin de la solucin implcita,
y = x3 8, vemos que esta definida para x 2.

1.15
Z x
sen(t)
Considere la funcin definida por y = x dt y comprobar es solucin de la ecuacin
0 t
diferencial xy0 = y + x sen(x).

Para calcular y0 se usa teorema fundamental de clculoa de donde


Z x
0 sen(t)
y = dt + sen(x).
0 t
Sustituyendo en la ecuacin diferencial se tiene
Z x 
sen(t)
xy0 = x dt + sen(x) = y + x sen(x).
0 t
Rx
a Si f : [a, b] R es una funcin continua en [a, b] entonces ( 0 f (t)dt)0 = f (x)

Ejercicio de clase:

Compruebe que (x2 2x + 2)(y2 + 1)e2 arctan(y) = C, donde C es una constante arbitraria, es solucin
general de la ecuacin (xy2 y2 + x 1)dx + (x2 y 2xy + x2 + 2y 2x + 2)dy = 0.

1.1.5 Tipos de soluciones en ecuaciones diferenciales ordinarias

 
Familia n-paramtrica de soluciones: Dada una ecuacin diferencial de la forma F x, y, y0 , ..., y(n) = 0
la solucin de dicha ecuacin diferencial que contiene n constantes arbitrarias, es decir, de la forma
g (x, y,C1 ,C2 , ...Cn ) = 0 se le conoce como familia n-paramtrica de soluciones. A este tipo de soluciones
tambin se le llama solucin general.
14 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

1.16

Por ejemplo y(x) = C1 ex + C2 e2x es solucin 2-paramtrica de la ecuacin diferencial ordinaria


y00 y0 2y = 0 para C1 y C2 constantes arbitrarias.

1.17

x2
La familia de curvas solucin y = +C es una solucin 1-paramtrica de la ecuacin diferencial
2
y0 = x, las cuales se muestran en la figura 1.2 para ciertos valores de C.

y
3

2
C=-2

1 C=-1

C=0

-2 -1 1 2 x
C=1

-1 C=2

-2

-3

x2
Figura 1.2: grficas de la familia 1-paramtrica y = +C, para y0 (x) = x.
2
Fuente: elaboracin propia con M ATHEMATICA 9.0.

Solucin particular: es una solucin de la ecuacin diferencial que no contiene constantes arbitrarias y
que se obtiene dando valores numricos a las constantes de la familia n-paramtrica de soluciones. Por
x2
ejemplo para y = +C solucin 1-paramtrica de la ecuacin diferencial y0 = x, si asignamos C = 0,
2
x2 x2
C = 1 se obtienen las soluciones particulares y = , y = 1 respectivamente y mostradas en la
2 2
figura 1.3.  
Solucin General: Una familia n-paramtrica de soluciones de la ecuacin diferencial F x, y, y0 , ..., y(n) = 0
se llama solucin general si contiene a todas las soluciones particulares. De aqu en adelante entenderemos
por solucin n paramtrica, como la solucin general.

Solucin singular: es una solucin de la ecuacin diferencial que no contiene constantes arbitrarias y
no esta contenida en la familia n-paramtrica. No siempre existen; si existe, se trata de la curva llamada
envolvente de la familia de curvas integrales definida por la familia n-paramtrica de soluciones.

1.18

x2
La funcin y(x) = es una solucin singular de la ecuacin (y0 )2 xy0 + y = 0 en J = R, ya
4
que satisface dicha EDO y no puede obtenerse de sustituir C por algn valor numrico de la solucin
1.1 Conceptos Bsicos en Ecuaciones Diferenciales 15

y
3 2
y= x
2

-2 -1 1 2 x
2
-1 y= x -1
2

-2

a -3

Figura 1.3: grficas de soluciones particulares y = 2x , y y = 2x 1.


Fuente: elaboracin propia con M ATHEMATICA 9.0.

general y(x) = Cx C2 .

En efecto, note que


 2 0 !2  2 0  2   x 2  x  x2
x x x
x + = x +
4 4 4 2 2 4
x2 x2 x2
= +
4 2 4
x 2 x 2
= +
4 4
= 0.
x2
Por otro lado, al igualar y(x) = Cx C2 con y(x) = para encontrar un C en comn, se determina
4
que
x2
Cx C2 = 0 = x2 4Cx +C2 .
4
Sin embargo, al cambiar C por cualquier valor numrico se determina que x debe ser fija, lo cual
x2
contradice el hecho de que x es variable. Note como en la figura 1.4 y(x) = es envolvente de las
4
curvas solucin de la familia 1-paramtrica y(x) = Cx C2 .

1.19

La relacin x2 + y2 = 1 es una solucin singular de la ecuacin y = xy0 + 1 + (y0 )2 , ya que


p

satisface dicha EDO yno puede obtenerse de sustituir C por algn valor numrico de la solucin
general y(x) = xC + 1 +C2 .
16 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

y
2
Solucin 1-Paramtrica

1
y = C x-C 2

-2 -1 1 2 x
-1 Solucin Singular

y HxL=
-2 x2
4

-3

x2
Figura 1.4: grfica de la solucin singular y(x) = 4 y familia 1-paramtrica y(x) = Cx C2 .
Fuente: elaboracin propia con M ATHEMATICA 9.0.

1.19 x
En efecto, note que al derivar implcitamente y con respecto a x se obtiene 2x + 2yy0 = 0 y0 = .
y
Luego al sustituir este resultado en la ecuacin diferencial se verifica que

 s  2 s
x2 x2

x x
y=x + 1+ y= + 1+ 2
y y y y
s
x2 x 2 + y2
y= +
y y2
s
x2 1
y= +
y y2
x2 1
y= +p ; y>0
y y2
x2 1
y= +
y y
2
x + 1
y=
y
y2
y=
y
y = y.

Por otro lado, al sustituir y(x) = xC + 1 +C2 en x2 + y2 = 1 para encontrar un C en comn, se
determina que

p p
x2 + (xC + 1 +C2 )2 = 1 (xC + 1 +C2 )2 = 1 x2
p
x2C2 + 2xC 1 +C2 + 1 +C2 = 1 x2 .

Sin embargo, al cambiar C por cualquier valor numrico se determina que x debe ser fija,
lo cual
contradice el hecho de que x es variable. En la figura 1.5 se muestra como y = 1 x2 es
1.1 Conceptos Bsicos en Ecuaciones Diferenciales 17


envolvente de la familia 1-paramtrica y(x) = xC + 1 +C2 .

y
2
Solucin 1-Paramtrica

1
y = Cx+ 1 + C2

-2 -1 1 2 x
-1 Solucin Singular

-2
1 - x2

-3


Figura 1.5: grfica de la solucin singular x2 + y2 = 1 y la solucin general y(x) = xC + 1 +C2 .
Fuente: elaboracin propia con M ATHEMATICA 9.0.

Observacin 1.1 En este caso, la solucin singular est restringida al dominio [1, 1]. De esta manera,
J [1, 1] donde J es cualquier subconjunto de restriccin del dominio.

Solucin Total de una ecuacin diferencial ordinaria de orden n : es la que contiene todas las soluciones
de la ecuacin. Esta formada por la solucin general mas las soluciones singulares en caso de que se tengan.

Definicin 1.9
La grfica de una solucin de una ecuacin diferencial se denomina curva integral de la ecuacin
diferencial.

1.20

Estudiar los distintos tipos de soluciones que admite la ecuacin diferencial



y0 = y.

Esta ecuacin es sencilla de resolver por el mtodo de variables separables que se ver ms adelante
en apartado de mtodos de resolucin para EDO1. Por ahora se admite como la solucin general

y = 12 (x +C), la cual representa una familia de funciones definidas en [C, +[. De donde dando
valores a C se obtiene soluciones particulares. Por ejemplo, para C = 0 se obtiene la solucin
x
particular y = definida en [0, +[.
2
18 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

Observe que la funcin y = 0 tambin es solucin de esta ecuacin diferencial ya que la verifica;
sin embargo, no est incluida en la solucin general que hemos obtenido. Se trata de una solucin
singular, dichas curvas integrales se muestran en la figura 1.6.

De acuerdo a lo anterior, se tiene que la Solucin Total de la ecuacin diferencial y0 (x) =


p
y(x)
esta dada por el conjunto de solucin

 
x +C
S= y= ,C R {y = 0} .
2

Grfica Familia de Curvas Solucin

Hx + 2L
5
1
C = -2 C = -1 y =
2

C = -1,5 C =-0.5
4
C=0 C = 0.5

C=1 C = 1.5
3
C=2

y = 1 Hx - 2L
Soluci n particular

2
0
Soluci n singular y = 0

-1

-2
-4 -2 0 2 4

Figura 1.6: Grficas de la familia de curvas solucin para y0 (x) =


p
y(x).
Fuente: elaboracin propia con M ATHEMATICA 9.0.

1.1.6 Ejercicios de Retroalimentacin

1. Clasificar las siguientes ecuaciones diferenciales segn el orden y la linealidad:

(a) x2 + exy + xy dx + y2 + x dy = 0.
 

(b) 3x2 y00 +5yx0 8y = ex cos x.


(c) x2 + y2 dx + (3ex 2y) dy = 0.
 4   2 
d y d y dy
(d) + tan x ex xy = e3x .
dx4 dx2 dx
x ln x
(e) 4yvi 5y000 + 8y00 + 3yy0 = .
x+1
1.1 Conceptos Bsicos en Ecuaciones Diferenciales 19

Respuestas: (a) Orden 1, no lineal. (b) Orden 2, lineal. (c) Orden 1, no lineal. (d) Orden 4, lineal. (e)
Orden 6, no lineal.

2. Escribir en forma normal las ecuaciones diferenciales del ejercicio anterior.

Respuestas
dy x2 + exy + xy
(a) = .
dx x2 + y
5 0 8 ex cos x
(b) y00 = y + 2y+ .
3x 3x x2
dy x2 + y2
(c) = x .
dx 3e 2y
 4 
d y d2y dy
(d) 4
= tan x 2
ex + xy + e3x .
dx dx dx

5 3 x ln x
(e) yvi = y000 2y00 yy0 + .
4 4 4 (x + 1)

3. Indicar el orden de las siguientes ecuaciones diferenciales e indica si son lineales o no:

(a) y0 y3 = y000 .
 30
dy
(b) = y5 .
dx

(c) x3 + 7 cos y dx 8 ln xdy = 0.




3
d2x

dx
(d) =3 4et .
dt 2 dy
Respuestas: (a) Orden 3, no lineal. (b) Orden 1, no lineal. (c) Orden 1, no
lineal. (d) Orden 2, no lineal.

4. Comprobar si las siguientes funciones o relaciones son solucin de la ecuacin diferencial dada:

(a) La funcin (x) = ex es solucin de y00 y = 0 en ] , +[.


x4 1
(b) La funcin y = solucin de y0 yx 2 = 0 en ] , +[.
16
(c) Las funciones (x)1 = sen 2xy y (x)2 = cos 2x son soluciones de la ecuacin diferencial
y00 + 4y = 0.

(d) La relacin x + y + exy = 0 es solucin implcita de (1 + xexy ) y0 + yexy = 0.

Respuestas : (a) S. (b) S. (c) (x)1 . s, (x)2 s. (d) S.


20 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

5. Verificar si las siguientes funciones o expresiones son solucin de la ecuacin diferencial dada,
indicando si son solucin implcita o explcita:

(a) La funciones (x)1 = cos 2x y (x)2 = 4 cos x, para la ecuacin y00 + 4y = 0.

x 1 ln x ln2
(b) La funcin (x) = + + , para la ecuacin diferencial x3 y000 + 6x2 y00 + 7xy0 + y = x.
8 x x x
r
3 2 1
x + 2 para la ecuacin diferencial 3x2 4y2 dx 4xydy = 0.

(c) La funcin (x) =
8 x
(d) La relacin x2 2y2 = 3, para la ecuacin x 2yy0 = 0.

(e) Las relaciones x + 2y exy = 1 y 2x 2y exy = 0 para la ecuacin (1 yexy ) + (2 xexy ) y0 = 0.

Respuestas: (a) (x)1 s. (x)2 no. (b) S. (c) S. (d) S . (e) La primera s, la segunda no.

6. Sustituir y = erx en la ecuacin diferencial 5y00 3y y determina todos los valores de r para los que
(x) = erx es solucin de dicha ecuacin.
q
Respuesta: r = 35

7. Considerar la relacin y 3 ln (y + 4) = x2 +C, luego determinar


(a) Es solucin implcita de la ecuacin diferencial,
dy 2x (y + 4)
=
dx y+1

(b) Comprobar que y = 4 es solucin de dicha ecuacin diferencial indica de qu tipo es.

(c) Determinar el valor de C para que y(1) = 3.

Respuestas: (a) S. (b) Solucin singular. (c) C = 4.

1
8. La expresin y(x) = define una familia 1-paramtrica de soluciones de la ecuacin diferencial
C 3x
y0 = 3y2 Hay algn valor de C para el que y(0) = 0?

Respuesta
No

9. Dada la ecuacin diferencial 3 (y000 )4 + y2 = 0 existe alguna familia 2 paramtrica de soluciones de


dicha ecuacin? Tiene alguna solucin?

Respuestas

No; Si y(x) = 0.
1.1 Conceptos Bsicos en Ecuaciones Diferenciales 21

1.1.7 El problema de valor inicial

Con frecuencia se pueden encontrar problemas en los que se busca una solucin y(x) de una ecuacin
diferencial de modo que y(x) satisfaga condiciones adicionales prescritas, es decir, condiciones impuestas
en la y(x) desconocida o sus derivadas. Para ello, se expone la siguiente definicin.

Definicin 1.10 Problema de Valores Iniciales (PVI)


Si I es un intervalo que contiene a x0 , el problema de resolver

dny
= f (x, y, y0 , , y(n1) ) con , y(x0 ) = y0 , y0 (x0 ) = y1 , , y(n1) (x0 ) = yn1 (1.5)
dxn
donde y0 , y1 , , yn1 son constantes reales especificadas de manera arbitraria, se llama problema
de valores iniciales (PVI). Los valores de y(x) y sus primeras n 1 derivadas en un solo punto x0 :
y(x0 ) = y0 , y0 (x0 ) = y1 , , y(n1) (x0 ) = yn1 se llaman condiciones iniciales.

El problema que se expone en 1.5 se llama tambin problema de valores iniciales de n-simo orden. Por
ejemplo, resolver
dy
= f (x, y) sujeta a y(x0 ) = y0 (1.6)
dx
y
d2y
= f (x, y, y0 ) sujeta a y(x0 ) = y0 , y0 (x0 ) = y1 (1.7)
dx2
son problemas de valores iniciales de primer y segundo orden, respectivamente. En el caso de la ecuacin
1.6, se busca una solucin y(x) de la ecuacin diferencial y0 = f (x, y) en el intervalo I que contiene a x0 de
modo que su grfica pase por el punto (x0 , y0 ), como se muestra en la figura 1.7.

Figura 1.7: solucin del PVI de primer orden.


Fuente: elaboracin propia con I NKSCAPE 0.47.

En el caso de 1.7 se desea encontrar una solucin y(x) de la ecuacin diferencial y00 = f (x, y, y0 ) en un
intervalo I que contiene a x0 , de manera que su grfica pase no solo por (x0 , y0 ), sino que la pendiente de la
curva en este punto sea el nmero y1 , como se muestra en la figura 1.8.
22 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

Figura 1.8: solucin del PVI de segundo orden.


Fuente: elaboracin propia con I NKSCAPE 0.47.

Las palabras condiciones iniciales derivan de sistemas fsicos donde la variable independiente es el tiempo
t y donde y(t0 ) = y0 y y0 (t0 ) = y1 representan la posicin y la velocidad, respectivamente, de un objeto en
algn tiempo inicial t0 .

La estrategia para resolver un PVI para una EDO se resume, (como se muestra en la ecuacin 1.5) por
lo general, en hallar primero una familia de soluciones n paramtricas (solucin general) de la ecuacin
diferencial dada y luego usar las n condiciones iniciales en x0 , para determinar valores numricos de las n
constantes en la familia. La solucin particular resultante se define en algn intervalo I que contiene al
punto inicial x0 .

Para efectos de este estudio, se har nfasis en los PVI para EDO de primer orden. Por ende, la estrategia
del prrafo anterior se resume en resolver la ecuacin diferencial en trminos de un parmetro, despejando
luego este con la condicin inicial dada.

1.21

Al resolver el problema de valor inicial: y0 (x) = y(x), y (0) = 3, es fcil comprobar que y(x) = Cex ,
con C una constante arbitraria, representa la solucin general de la ecuacin diferencial y0 (x) = y(x)
en el intervalo ] , +[.

La figura 1.9, muestra la grfica de la familia de curvas solucin generadas a partir de dicha solucin
general. Luego para hallar la solucin particular cuya curva integral pasa por el punto (0, 3), se
sustituye la condicin inicial y (0) = 3 en la solucin general, de donde:

3 = Ce0 C = 3,

y as de esta forma la solucin particular buscada es y = 3ex , la cual se muestra en la figura 1.10.
1.1 Conceptos Bsicos en Ecuaciones Diferenciales 23

y
y = 3 x
4

-4 -2 2 4
x

-2

-4

Figura 1.9: grfica de familia de curvas solucin de y0 (x) = y(x).


Fuente: elaboracin propia con M ATHEMATICA 9.0.
y
y = 3 x
4

(0,3)

-4 -2 2 4
x

-2

-4

Figura 1.10: Grfica de solucin del P.V.I y0 = y, y (0) = 3.


Fuente: elaboracin propia con M ATHEMATICA 9.0.

1.22

Se puede comprobar que la funcin (x) = senx cosx es solucin del problema de valor inicial:
y00 + y = 0 con y (0) = 1, y0 (0) = 1.

En efecto, note que para (x) = sen x cos x, se tiene que 0 (x) = cos x + sen x y que
00 (x) = sen x + cos x. Luego, sustituyendo en la ecuacin diferencial se comprueba que
sen x + cos x + sen x cos x = 0; por tanto, (x) es solucin de la ecuacin diferencial. Pero
adems: (0) = sen 0 cos 0 = 1 y 0 (0) = cos 0 + sen 0 = 1, as por tanto, se verifican las
condiciones iniciales dadas al P.V.I, su representacin grfica se muestran en figuras 1.11.
24 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

y y
2 2

1 1

-4 -2 2 4
x -4 -2 2 4
x
-1 -1

-2 -2

Figura 1.11: grfica de familia curvas solucin y = A cos(x) + B sen(x) y grfica de solucin del P.V.I :y00 + y = 0
con y (0) = 1, y0 (0) = 1.
Fuente: elaboracin propia con M ATHEMATICA 9.0.

1.23

x4
Un PVI puede tener varias soluciones. Por ejemplo, las funciones y = 0; y= satisfacen la
16
ecuacin diferencial
dy 1
= xy 2 ,
dx
y la condicin inicial y(0) = 0, por lo cual, el problema de valor inicial

dy 1
= xy 2 , y(0) = 0,
dx
tiene al menos dos soluciones, como se ilustra en la figura 1.12, donde las grficas de ambas
funciones pasan por el mismo punto (0, 0).

Figura 1.12: dos soluciones del mismo PVI.


Fuente: elaboracin propia con M ATHEMATICA 9.0.

Este ejemplo nos manifiesta que al tratar de resolver un problema de valores iniciales es posible que
existan ms de una solucin que satisfaga la condicin inicial dada. En consecuencia, es deseable saber por
adelantado si existe una solucin y , cuando es as, si la solucin es nica. Para ello, es necesario establecer
un teorema que d las condiciones suficientes de existencia y unicidad de una solucin de un problema de
valor inicial de primer orden, como se muestra en el siguiente apartado.
1.2 Teorema de existencia y unicidad en E.D.O.1 25

1.2 Teorema de existencia y unicidad en E.D.O.1

Ante un problema de valor inicial surgen dos cuestiones fundamentales, existe solucin al problema?, es
nica?. Antes de resolver un problema es interesante saber si tiene solucin y si es nica. Geometricamente,
equivale a preguntarse si de toda la familia de curvas integrales existe alguna que pase por el punto definido
por la condicin inicial y si por dicho punto pasa una nica curva.

Poder asegurar la existencia de una solucin no implica que se sea capaz de hallarla, aunque s es importante
conocer su existencia y unicidad; para ello se utilizar el siguiente teorema que nos garantiza la existencia
y unicidad de soluciones en un P.V.I para una ecuacin diferencial ordinaria de primer orden.

Teorema 1.1 Existencia de una solucin nica


Sea R un regin rectangular en el plano xy definida por a x b, c y d que contiene el punto
f
(x0 , y0 ) en su interior. Si f (x, y) y son continuas en la regin R, entonces existe algn intervalo
y
I0 =]x0 h, x0 + h[ con h > 0 contenido en [a, b], y una funcin nica y(x), definida en I0 que es una
solucin del problema de valores iniciales.

dy
= f (x, y), y(x0 ) = y0 . (1.8)
dx

Figura 1.13: regin Rectangular R.


Fuente: elaboracin propia con I NKSCAPE 0.47.

1.24

Considere el problema de valor inicial y0 (x) = y(x) con y (0) = 3. Se quiere determinar mediante el
teorema de existencia y unicidad para EDO1 si existe solucin nica?.

f
Para ello, observe que tanto f (x, y) = y como = 1 son funciones continuas en R2 , por tanto
y
son continuas en un entorno de (0, 3), luego por el Teorema de existencia y unicidad (TEU) se puede
asegurar que existe un entorno de x0 = 0 donde existe solucin y adems cumple ser nica. De hecho,
en ejemplo 3.19 se determin que dicha solucin es y = 3ex y tambin mostrada en la figura 1.10.
26 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1

1.25

Al considerar el problema de valor inicial, y0 (x) = y(x) con y(0) = 0, se puede verificar que no
p

satisface las condiciones del teorema de existencia y unicidad para EDO1.

En efecto,
p en el ejemplo 3.20, se determin que la solucin total de la ecuacin diferencial
0
p
y (x) = y(x) esta formada por la solucin general y(x) = 12 (x + C) y la solucin singular
y(x) = 0. Asimismo mediante la figura 1.6 se observa que por el punto (0, 0) pasan dos curvas
solucin, y por tanto no hay unicidad.

Ahora se puede comprobar existencia y unicidad del problema y0 (x) =


p
y(x) con y(0) = 0 mediante
teorema de existencia y unicidad para (x0 , y0 ) = (0, 0) . De donde:

1 f 1
y0 =
p
y, es decir, f (x, y) = y(x) = y(x) 2 , y derivando se tiene = p .
y 2 y(x)
f
Las funciones f (x, y) y son continuas en el semiplano y > 0, pero no son continuas en un
y
rectngulo que contenga a (0, 0). En cambio, s podramos asegurar que (x0 , y0 ) con y0 > 0 existe
un intervalo centrado en x0 en el que el problema dado tiene solucin nica.

Lo obtenido anteriormente se puede apreciar mediante la pgina interactiva elaborada en software Mathema-

tica 9.0 Teorema de existencia y unicidad en y0 = y con y(0) = 0. La figura 1.14 ilustra graficamente
lo obtenido en este ejemplo.


Figura 1.14: regin Rectangular R, para y0 = y con y(0) = 0.
Fuente: elaboracin propia con Mathematica 9.0.
1.2 Teorema de existencia y unicidad en E.D.O.1 27

1.26

Considere el problema de valor inicial y0 = 3 + 3x + y con y(a) = b; a, b R.

a) Determinar la regin R del plano real xy para la cual la ecuacin diferencial dada admite solucin
nica que pase por el punto de la regin R.

x +C 2
 
b) Sabiendo que la solucin general de la ecuacin diferencial propuesta es y = 3x se
2
puede hallar una solucin para y(1) = 3? En caso afirmativo, es esta solucin nica? Justifique.

Solucin

a) Buscando la regin R del plano real:



La funcin f (x, y) = y + 3x 3 es continua sii y 3x.
f 1
La funcin = es continua sii y > 3x.
y 2 y + 3x
Se concluye que la regin del plano xy en la cual se garantiza solucin nica para el problema de
valor inicial propuesto, est dada por R = {(x, y) R2 /y > 3x}.
 2
x +C
b) Como la solucin general de la ecuacin diferencial es y = 3x entonces para
2
y(1) = 3 se tiene que
 2
1 +C
3= 3(1), sii C = 1.
2

Por lo tanto, s hay solucin para el punto (1, 3), la cual est dada por

x+1 2
 
y= 3x.
2

Dicha solucin NO es nica, pues en y0 = 3 + 3x + y se puede verificar que tiene otra solucin
que pasa por el punto (1, 3) ; a saber, la funcin y(x) = 3x, la cual es una solucin singular. De

donde finalmente, se determina que la ecuacin diferencial y0 = 3 + 3x + y tiene al menos dos
soluciones que satisfacen la condicin inicial y(1) = 3, a saber
 2
x+1
y= 3x y = 3x.
2


Por otra parte, usando la pgina interactiva Teorema existencia y unicidad en y0 = 3 + 3x + y con
y(a) = b, se puede mostrar de manera grfica los resultados obtenidos en dicho ejemplo, como se aprecia
en la figura 1.15.
28 CONTENIDO 1: Elementos bsicos y Teorema de existencia y unicidad en EDO1


Figura 1.15: regin Rectangular R, para y0 = 3 + 3x + y con y(1) = 3.
Fuente: elaboracin propia con Mathematica 9.0.

1.2.1 Ejercicios de Retroalimentacin

y2 (x)
1. Realizar un estudio de existencia y unicidad para el problema de valor inicial y0 (x) = con
x2
y(0) = 0.

2. Considere la ecuacin diferencial y0 = x y con y(a) = b y mediante pgina interactiva Teorema

existencia y unicidad en y0 = x y con y(a) = b, ingrese diferentes valores para a y b asimismo la regin
R del plano xy en donde se cumplen las hiptesis del TEU para visualizar y comprobar lo que sucede en
puntos del plano xy que estn dentro y fuera dicha regin R. Adems verifique lo reflejado en el ejemplo
3.21.

3. Verificar que y = 3e2x + e2x 3x es solucin del problema de valor inicial:

y00 4y = 12x, con y (0) = 4, y0 (0) = 1

4. Comprobar que la funcin (x) = 14 sin 4x es solucin del problema de valor inicial:

y00 + 16y = 0 con y (0) = 0, y0 (0) = 1


5. Dado el problema de valor inicial y0 = x2 xy3 , y (1) = 6. Estudiar la existencia y unicidad de su
solucin.

6. Determinar si se verifica el teorema de existencia y unicidad en los siguientes casos:



(a) y0 = xy, y (1) = 1.
1.2 Teorema de existencia y unicidad en E.D.O.1 29

(b) y0 = x y, y (1) = 1.
1
(c) y0 = (x y) 2 , y (2) = 2
2x
(d) y0 = , y (1) = 0.
y1
(e) y0 = x2 + y2 xy, y (0) = 2.

Respuestas: (a) No. (b) S. (c) No. (d) S. (e) S.

7. Demostrar que en el intervalo 0 x , las funciones y1 (x) = 2 e y2 (x) = 2 cos x satisfacen el problema
de valor inicial
1
y0 + 4 y2 2 = 0, y (0) = 2

(Sugerencia: Comprobar que no se verifican las hiptesis del teorema de existencia y unicidad).

Ejercicios complementarios sobre Teorema de Existencia y Unicidad

q
1. Considere la ecuacin diferencial y0 = 4 (x2 + y2 ) + ln (x2 + y2 ).

a) Determine y grfique la mayor regin del plano xy en donde el teorema de existencia y unicidad
(T.E.U) garantiza solucin nica.


b) Justifique si T.E.U garantiza que existe una solucin que pase por el punto (1, 3).

p
2. Considere la ecuacin diferencial y0 = 2 y x2 + 2x.

a) Determine y grfique la mayor regin del plano xy en donde el teorema de existencia y unicidad
(T.E.U) garantiza solucin nica.

b) Compruebe que y = x2 es solucin singular.

3. Considere el problema de valor inicial y0 = 2 +


p
2x y; y(x0 ) = y0 .

a) Determine y grfique la mayor regin del plano xy para la cual la ecuacin diferencial admite
solucin nica por el punto (x0 , y0 ) de la regin R.

x +C 2

b) Sabiendo que la solucin general en su forma explcita esta dada por y = 2x .
2
Se puede hallar una solucin para y(1) = 2?. En caso afirmativo Es esta solucin nica?.
Justifique.