Professional Documents
Culture Documents
V A R I A B L E S S E P AR A B L E S
Se llaman as a las ecuaciones diferenciales de la forma:
y ' f x g y
1
, no slo existe en l sino que
g
es continua. Por lo tanto, por el teorema fundamental del clculo integral, sabemos que
1
tiene primitiva. Llammosle H a dicha primitiva.
g
Por otro lado, y tambin por el teorema fundamental del clculo, sabemos que f tiene
primitiva en el intervalo en el que es continua. Llammosle F a dicha primitiva.
Como g ( y) 0 en cierto intervalo, entonces la funcin
H ( y ) F ( x) k
1
y esta ltima es continua en un intervalo, no puede tener races y
g
entonces su signo es constante. Por lo tanto, G es montona estrictamente en un
intervalo y entonces tiene funcin inversa H 1 .
Como H '
Por lo cual,
y( x) H 1 F ( x) k
Con esto, estamos en condiciones de deducir que las ecuaciones diferenciales de
variables separables tienen solucin, aunque debemos considerar que encontrarla
depende de si podemos o no encontrar dos primitivas, lo que, si bien sabemos que
existen, podran no ser expresables en trminos de funciones elementales1.
Es decir, que pueda escribirse como composiciones y operaciones finitas de funciones elementales.
dy
, y a pesar de que no es un
dx
cociente y tan slo una notacin que indica que y es una funcin derivada respecto de su
variable x, procedemos como si fuese un cociente, es decir:
En los procedimientos prcticos, se suele escribir y '
dy
f x
dx g y
dy
f x dx
gy
g y f x dx k
dy
Ejemplo:
y ' y2
dy
y 2 de donde,
dx
1
x k . Entonces
y
1
xk
(solucin general).
1
1.
0k
1
1 x
es la solucin particular.
2
El cometer esta serie de desprolijidades oculta en cierta manera el hecho de que estamos integrando de
ambos lados de la igualdad respecto de la misma variable y que en el primer miembro, para hacerlo,
usamos el teorema de sustitucin.
Es preciso remarcar que y no puede ser cero, por lo cual, los intervalos a los que puede
pertenecer son o bien ,0 o bien 0,.
Como la condicin inicial es y(0) 1, debemos considerar como dominio de la solucin
1
al intervalo ,1
f : f ( x)
1 x
Notemos que, de hecho, en el intervalo 1, cualquier funcin de la forma
1
g : g( x )
, si x 1 , con k > -1 satisface la ecuacin diferencial, sin embargo,
kx
en este caso no puede ser considerada.
Verificacin:
Si y
1
1
, entonces y '
.
1 x
1 x 2
2
1 x 1 x
1
Otro ejemplo:
y ' y x3
dy
x 3 y entonces
dx
y dy x
dx por lo que
y2 x4
k
2
4
Entonces
y
x4
k
4
Ejercicios