Professional Documents
Culture Documents
Dada la definicin anterior podemos decir: que una ecuacin diferencial es aquella ecuacin en la que
se encuentra la derivada o el diferencial de la funcin incgnita. Una ecuacin diferencial puede
tambin representarse en simboles como los siguientes:
dy
(a) p ( x) y q ( x) y 2 f ( x) Jacopo Francesco Riccati
dx
dy
(b) P ( x ) y Q( x ) y n Jakob Bernolli
dx
dy
(c ) p ( x) y 2 q ( x) y R( x) 0 Jacopo Francesco Riccati
dx
(d ) y xy ' f ( y ') Alexis Claude Clairaut
d2y dy
( f ) x2 2
x ( x 2 n2 ) y 0 Friedrich Wilhelm Bessel
dx dx
d2y dy
( g ) (1 x 2 ) 2
2 x n(n 1) y 0 Joseph Louis de Lagrange
dx dx
(h) y '' 2 xy ' y 0 Charles Hermite
2u 2 2u
(a) c La ecuacin de onda unidimensional
t 2 x 2
2u 2 u 2u
2
(b) c 2 2 La ecuacin de onda bidimensional
t 2 x y
u 2 2u
(c ) c La ecuacin de calor unidimensional
t x 2
u 2 2u 2u
(d ) c 2 2 La ecuacin de calor bidimensional
t x y
2u 2u
( e) 0 La ecuacin de Laplace
x 2 y 2
2u 2u
(f) f ( x, y ) La ecuacin de Poisson
x 2 y 2
2u 2 2u u
(g) c 2 B Au D La ecuacin de telegrafista
t 2
x 2
t
2
2
( h) i V ( x) La ecuacin de Schdinger
t 2m x 2
1
El smbolo para denotar la derivada parcial fue usado en 1770 por Antoine-Nicolas Caritat, Marques de Condorcet en Memoire sur les
Equations aux diffrence partielles. Jacobi us este smbolo extensamente, por ello se le suele llamar la d de Jacobi.
2
La calcificacin de las ecuaciones diferenciales parciales y sus mtodos de solucin quedan fuera del alcance de este documento. Se deja su estudio para
el curso de Ecuaciones Diferenciales Parciales ubicado en el sexto semestre de la carrera de Ingeniera Geofsica.
El orden de una ecuacin diferencial, sea esta ordinaria o parcial, es la derivada de mayor orden
presente en la ecuacin diferencial.
( n 1)
Se dice que una ecuacin diferencial ordinaria del tipo y f ( x, y, y ', y '',..., y ) es lineal de orden
(n)
dny d n1 y dy
an ( x) an 1 ( x ) a1 ( x) a0 ( x) y g ( x)
dx n dx n1 dx
Cuando una ecuacin diferencial no es lineal se dice que es no lineal. Las ecuaciones diferenciales
ordinarias tienen dos propiedades que las caracterizan: la variable dependiente y todas sus derivadas
son de primer grado, es decir, la potencia de la variable independiente y todas sus derivadas es 1
adems todos los coeficientes de la variable dependiente y sus derivadas son funciones solamente de la
variable independiente.
Ejemplo E1.1
Establecer: el tipo, el orden y si la ecuacin es lineal o no lineal. De cada una de
las ecuaciones diferenciales dadas:
dy
(a) p ( x) y q ( x) y 2 f ( x) Ordinaria, primer orden, no lineal
dx
dy
(b) P ( x ) y Q( x ) y n Ordinaria, primer orden, no lineal
dx
dy
(c ) p ( x) y 2 q ( x) y R( x) 0 Ordinaria, primer orden, no lineal
dx
(d ) y xy ' f ( y ') Ordinaria, primer orden, no lineal
d2y dy
( f ) x2 2
x ( x 2 n2 ) y 0 Ordinaria, segundo orden, lineal
dx dx
d2y dy
( g ) (1 x ) 2 2 x n(n 1) y 0
2
Ordinaria, segundo orden, lineal
dx dx
(h) y '' 2 xy ' y 0 Ordinaria, segundo orden, lineal
dX
(l ) k ( X ) ( X ) Ordinaria, primer orden, lineal
dt
Ejemplo E1.2
Comprobar que la ecuacin diferencial (1 x2 ) y ' xy 2 x, tiene como solucin a la
funcin y 2 C 1 x 2 y dar adems un intervalo de validez, C es una constante:
2 x Cx
y' C
2 1 x 1 x2
2
Cx
(1 x 2 ) y ' xy (1 x 2 )
1 x
2
x 2 C 1 x
2
Cx 1 x 2 2 x Cx 1 x 2
2x
2x 2x
La ltima expresin implica que la ecuacin propuesta si es una solucin para la ecuacin diferencial
dada. Un intervalo de validez sera: (1,1) .
Ejemplo E1.3
Comprobar que la ecuacin diferencial yy ' x 2 x3 , tiene como solucin a la
funcin y x 1 x 2 y dar adems un intervalo de validez:
Queremos saber si y x 1 x
2
es solucin de la ecuacin diferencial dada, para esto derivamos explcitamente:
3
Este intervalo puede ser abierto, ( a, b) , cerrado, [ a, b] , infinito, ( a, ) ,o de otro tipo.
2 x x2
y' x 1 x 2
(1) 1 x2
2 1 x 1 x
2 2
x2
yy ' x 1 x
2
1 x2
1 x
2
x x(1 x )
3 2
x3 x x3
x 2 x3
La ltima expresin implica que la ecuacin propuesta si es una solucin para la ecuacin diferencial dada.
Un intervalo de validez sera: (1,1) .
Ejemplo E1.4
Comprobar que la ecuacin diferencial yy ' y cos x, tiene como solucin a la
senx
funcin y y dar adems un intervalo de validez:
x
xcosx senx
Derivando explcitamente: y ' y sustituyendo esta derivada en la ecuacin diferencial:
x2
si es una solucin para la ecuacin diferencial dada. Un intervalo de validez sera: (0, ) .
Ejemplo E1.5
Comprobar que la ecuacin diferencial yy ' x 0, tiene como solucin a las
ecuaciones paramtricas x cos t , y sent y dar adems un intervalo de validez:
dy
cos t
Derivando en forma paramtrica: y ' dt y sustituyendo esta derivada en la ecuacin
dx sent
dt
diferencial:
cos t
yy ' x sent cos t
sent
cos t cos t
0
si es una solucin para la ecuacin diferencial dada. Un intervalo de validez para t sera: (0, ) .
Ejemplo E1.6
y
Comprobar que la ecuacin diferencial y ' , tiene como solucin a la
x(ln x ln y)
funcin x yeCy 1 y dar adems un intervalo de validez, C es una constante:
Derivando explcitamente: x yeCy 1 x ' CyeCy 1 eCy 1 eCy1 (Cy 1) , Sustituyendo esta
derivada en la ecuacin diferencial que se ha transformado:
x(ln x ln y )
x'
y
Cy 1 yeCy 1 (ln( yeCy 1 ) ln y )
e (Cy 1)
y
eCy 1 (ln y ln eCy 1 ln y )
eCy 1 (Cy 1) ln e
eCy 1 (Cy 1)
si es una solucin para la ecuacin diferencial dada. Un intervalo de validez para y sera:
(, ) .
Ejemplo E1.7
Comprobar que la ecuacin diferencial x2 y( y 1) y '' x 2 ( y ')2 y 2 0, tiene como
solucin a la funcin implcita y ln( xy) y dar adems un intervalo de validez:
1 y'
Derivando implcitamente: y ln( xy) ln x ln y y ' . A partir de esta expresin se
x y
obtiene derivando implcitamente a y '' :
2 2
Igualando a cero la expresin anterior, y multiplicando por ambos lados de la expresin por x y :
1 y '' ( y ') 2
y '' 2 0
x2 y y
x 2 y 2 y '' y 2 x 2 yy '' x 2 ( y ')2 0
x 2 y ( y 1) y '' x 2 ( y ') 2 y 2 0
si es una solucin para la ecuacin diferencial dada. Un intervalo de validez sera: x, y (0, ) .
Ejemplo E1.8
Comprobar que la ecuacin diferencial
(3x2 8xy 2 y 2 )dx (4 x 2 4 xy 3 y 2 )dy 0,
tiene como solucin a la expresin dada en forma implcita x3 4 x 2 y 2 xy 2 y 3 0 y
dar adems un intervalo de validez:
Ejemplo E1.9
Comprobar que la ecuacin diferencial yy '2 2 xy ' y, tiene como solucin a la
ecuacin dada implcitamente y 2 2Cx C 2 y dar adems un intervalo de validez, C
es una constante:
C
y'
y
yy '2 2 xy ' y
2
C C
y 2x y
y y
C 2 2 xC
y
y y
C 2 2Cx y 2
C 2 y 2 2Cx
Ejemplo E1.10
Comprobar que la ecuacin diferencial ( x y)dx ( x y)dy 0, tiene como
y
solucin a la ecuacin dada implcitamente tan 1 ln(C x 2 y 2 ) 0 y dar adems
x
un intervalo de validez, C es una constante:
Derivando implcitamente:
y y 1
tan 1 ln(C x 2 y 2 ) tan 1 lnC ln( x 2 y 2 ) 0
x x 2
1 xy ' y 1 2 x 2 yy ' x 2
xy ' y x yy '
2 2 0
y 2
x 2
2 x y
2 2
x y 2
x2 x y2
1 2
x
1
2 ( xy ' y x yy ') 0
x y2
( x y ) y ' x y 0
dy
( x y) x y 0
dx
( x y )dy ( x y )dx 0
Ejemplo E1.11
Comprobar que la ecuacin diferencial (1 x2 ) y ' xy 2 x, tiene o no como
solucin a la funcin y x 1 x 2 y de ser solucin dar adems un intervalo de validez:
2 x x2
y' x 1 x 2
(1) 1 x2
2 1 x 1 x
2 2
(1 x 2 ) y ' xy (1 x 2 )
x2
1 x
2
1 x2 x x 1 x2
x 2 1 x 2 (1 x 2 )3/ 2 x 2 1 x 2
(1 x 2 )3/ 2
(1 x 2 )3/ 2 2 x
La ltima expresin implica que la ecuacin propuesta no es una solucin para la ecuacin
diferencial dada.
Ejemplo E1.12
y'
Comprobar que la ecuacin diferencial y 'ln 4 x, tiene como solucin a las
4
ecuaciones paramtricas x t ln t , y t 2 (2ln t 1) y dar adems un intervalo de
validez:
dy t 2 2 2t (2 ln t 1)
2t (2 ln t 2)
Derivando en forma paramtrica: y ' dt t 4t y sustituyendo
dx 1 1 ln t
t ln t
dt t
esta derivada en la ecuacin diferencial:
y'
y 'ln 4 x
4
4t
4t ln 4(t ln t )
4
4t ln t 4t ln t
si es una solucin para la ecuacin diferencial dada. Un intervalo de validez para t sera: (0, ) .
Ejemplo E1.13
Comprobar que la ecuacin diferencial y '2 e y ' x, tiene como solucin a las
2
ecuaciones paramtricas x t 2 et , y t 3 (t 1)et y dar adems un intervalo de
3
validez:
dy
dt 2t 2 (t 1)et et 2t 2 tet t (2t et )
Derivando en forma paramtrica: y ' t y sustituyendo
dx 2t et 2t et 2t et
dt
esta derivada en la ecuacin diferencial:
y '2 e y ' x
t 2 et t 2 et
Ejemplo E1.14
Comprobar que la ecuacin diferencial y ' 2 xy 1, tiene como solucin a la
x
ecuacin dada implcitamente y e x et dt Ce x y dar adems un intervalo de
2 2 2
x
y e x et dt Ce x
2 2 2
0
x
y ' e x (e x ) 2 xe x et dt 2Cxe x
2 2 2 2 2
y ' 1 2 xe x
2
e dt C
0
x
t 2
y ' 2 xy 1
1 2 xe x
2
e dt C 2x e
x
0
t2 x2
x
0
et dt Ce x
2 2
1
x x
1 2 xe x et dt 2Cxe x 2 xe x et dt 2Cxe x 1
2 2 2 2 2 2
0 0
11
Donde y0 , y1 , ..., yn1 son constantes reales arbitrarias y y( x0 ), y '( x0 ), ..., y ( n1) ( x0 ) son los
valores de la funcin desconocida y el valor de sus derivadas en un solo valor de x0 .
Los problemas de valor inicial de primer y segundo orden tienen una interpretacin geomtrica
sencilla. Cul podra ser?
Para darnos a la tarea de resolver ecuaciones diferenciales ordinarias de primer orden como el
problema de valor inicial, debemos primero saber si tales soluciones existen y si estas soluciones son
nicas o no lo son. A continuacin se enunciar el teorema de existencia y unicidad sin demostracin
para el PVI de primer orden.
Ejemplo E1.15
Determinar mediante el teorema de existencia y unicidad la regin del plano para
dy
la cual la ecuacin diferencial xy tiene una solucin nica para cada uno
dx
de los puntos que pertenecen a regin:
f 1 x
Como f ( x, y) xy entonces la derivada parcial de f con respecto a y es:
y 2 y
Estas son continuas en las regiones del plano donde el producto y el cociente de los valores de x y y
son positivos. Esta regin se compone de los cuadrantes I y III del plano xy sin incluir los ejes
coordenados. Los puntos en esta regin satisfacen las condiciones del teorema de existencia y unicidad
y por lo tanto para cada punto existe una solucin nica que satisface a la ecuacin diferencial dada.
Ejemplo E1.16
Determinar mediante el teorema de existencia y unicidad la regin del plano para
dy
la cual la ecuacin diferencial ( x y 2 ) y 2 tiene una solucin nica para cada
dx
uno de los puntos que pertenecen a regin:
y2 f 2 xy
f ( x, y ) y
x y2 y ( x y 2 )2
Estas son continuas en la regin del plano donde x y 2 0 , esta curva es una parbola con eje
horizontal que se abre hacia la izquierda. Los puntos que pertenecen a esta parbola son los nicos que
no satisfacen las condiciones del PVI. Entonces existe una solucin nica para todos los puntos en el
plano xy excepto los puntos de la parbola x y 2 0 .
Ejemplo E1.17
Determinar mediante el teorema de existencia y unicidad la regin del plano para
dy
la cual la ecuacin diferencial x 2 y x tiene una solucin nica para
dx
cada uno de los puntos que pertenecen a regin:
f 1
f ( x, y) x 2 y x y
y 2 x2 y
Estas son continuas en la regin del plano donde x 2 y 0 , esta curva es una parbola con eje vertical
que se abre hacia arriba y pasa por el origen de coordenadas. Los puntos que pertenecen y se
encuentran en el interior de esta parbola son los nicos que no satisfacen las condiciones del PVI.
Entonces existe una solucin nica para todos los puntos en el plano xy excepto los puntos de la
parbola y x 2 y su interior.
y
18.- y ' , x yeCy 1
8.- (1 x ) y ' xy 2 x,
2
y x 1 x 2
x(ln x ln y)
y
20.- xy ' 1 e , e Cx 1 x t 2 et
y
36.- 2 3 t
, y '2 e y ' x
dx 1 C y t (t 1)e
21.- xy 2 dy y 3dx , y3 3
x x x3
x
37.- y ' y e
x x2
, y e x et dt Ce x
2
x sent
38.- xy ' y xsenx, y x dt
23.- yy ' 2 xy ' y, y 2Cx C
2 2 2 0 t
1 y 2
26.- y ' 0, x 1 y 2 y 1 x 2 C x sent
1 x 2 41.- xy ' x ln y xsenx y ln y, y ln y x dt
0 t
27.- 1 y 2 dx y 1 x2 dy 0, 1 y 2 sen1 x C
42.- y ' 2 y, yx x
ds
28.- e s 1 1, e C (1 e )
t s x
43.- y ' 2 xy 1, y e x et dt Ce x
2 2 2
dt 0
x y
29.- y ' 10 , 10x 10 y C dP aCeat
44.- P(a bP), P
dt 1 bCeat
30.- y ' sen x y sen x y , ln tan y C 2sen x
2 2 4 2 dX 2 X
45.- (2 X )(1 X ), ln t
dt 1 X
x tet
31.- t
, (1 xy ) y ' y 2 0
ye En los problemas del 46 al 66, determinar
mediante el teorema de existencia y unicidad la
1
x e tan regin del plano para la cual la ecuacin
t
2 dy
48.- x y
dx
IEDO Evidencia 01 Agosto-Diciembre-2013
Universidad Autnoma de Nuevo Len Facultad de Ciencias de la Tierra
dy dy
49.- (4 y )
2
x2 58.- y 33 y
dx dx
dy dy
50.- ( x y 2 ) y2 59.- x2 y x
dx dx
dy dy y 1
51.- x3 cos y 60.-
dx dx x y
dy dy
52.- yx 61.- 1 cot y
dx dx
dy dy x
53.- (1 y 3 ) x2 62.-
dx dx y
dy
54.- ( y x) yx dy
dx 63.- x y
dx
dy
55.- ( x 1)e y /( x 1) dy
dx 64.- 1 y2
dx
dy 4 y2 dy
56.- 65.- seny cos x
dx 4 x2 dx
dy dy 3
57.- x2 y 2 66.- 3x y 1
dx dx