Ecuaciones diferenciales de variables separables: separar, integrar y despejar
Una ecuación diferencial de primer orden es de variables separables cuando puede escribirse en la forma es decir, cuando la derivada es el producto de una función de por una función de . Es el tipo más sencillo de resolver y el punto de partida de otros: las ecuaciones homogéneas, por ejemplo, se reducen a una separable con el cambio . Este artículo expone el método, lo justifica, explica qué ocurre con la constante de integración y señala las soluciones que el procedimiento puede perder.
El método. Donde , se divide por y se escribe la ecuación con diferenciales, de modo que cada lado dependa de una sola variable: Después se integra cada lado por separado: La relación que se obtiene, , es la solución general en forma implícita; si se puede invertir, se despeja . Por ejemplo, en se tiene y, al integrar, .
Por qué funciona. Separar y como si fueran números es una notación cómoda; la justificación está en la regla de la cadena. Si es una primitiva de y es una solución, entonces Así, y tienen la misma derivada y difieren en una constante: . El razonamiento solo exige que no se anule a lo largo de la solución.
La constante al despejar. Al despejar , la constante cambia de forma, y conviene renombrarla. En el ejemplo, ; como toma cualquier valor positivo y el valor absoluto añade el signo, con arbitraria, que se vuelve a llamar : Escribir la solución como no es incorrecto, pero oculta que la familia es la de los múltiplos de y deja fuera las soluciones negativas y la nula.
Las soluciones que se pierden al dividir. Al dividir por se descartan los valores con , y cada uno de ellos da una solución constante, , porque entonces . A veces esa solución está dentro de la familia general: en , la solución corresponde a . Otras veces no lo está: en , la separación da , es decir, , y la solución no se obtiene para ningún valor de . Por eso, al terminar, hay que revisar los ceros de .
Soluciones implícitas. No siempre se puede despejar con funciones elementales. En , la separación da una relación entre e que define la solución sin expresarla como . Es una solución igualmente válida, y en ese caso se deja en forma implícita.
El problema de valor inicial. Una condición fija la constante. En con , se obtiene , luego e . Si es continua y tiene derivada continua, la solución que pasa por cada punto es única (teorema de Picard). Sin esa hipótesis puede no serlo: admite, con , tanto como , porque no es derivable en .
Dónde aparecen. Muchos modelos elementales son separables: el crecimiento y el decaimiento exponencial, , con solución (poblaciones, desintegración radiactiva, interés compuesto continuo); la ley de enfriamiento de Newton, ; o la ecuación logística, , que se integra con fracciones simples.
Con la calculadora. La calculadora de ecuaciones diferenciales reconoce las ecuaciones separables, separa las variables, desarrolla cada integral y despeja cuando es posible, renombrando la constante. Pueden probarse y' = x*y, y' = y*cos(x) o y' = x*(1+y^2).