← Blog

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 y′=g(x) h(y),y'=g(x)\,h(y), es decir, cuando la derivada es el producto de una función de xx por una función de yy. 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 v=y/xv=y/x. 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 h(y)≠0h(y)\neq0, se divide por h(y)h(y) y se escribe la ecuación con diferenciales, de modo que cada lado dependa de una sola variable: dyh(y)=g(x) dx.\frac{dy}{h(y)}=g(x)\,dx. Después se integra cada lado por separado: ∫dyh(y)=∫g(x) dx+C.\int\frac{dy}{h(y)}=\int g(x)\,dx+C. La relación que se obtiene, H(y)=G(x)+CH(y)=G(x)+C, es la solución general en forma implícita; si HH se puede invertir, se despeja yy. Por ejemplo, en y′=x yy'=x\,y se tiene dyy=x dx\tfrac{dy}{y}=x\,dx y, al integrar, ln⁡∣y∣=x22+C\ln|y|=\tfrac{x^{2}}{2}+C.

Por qué funciona. Separar dydy y dxdx como si fueran números es una notación cómoda; la justificación está en la regla de la cadena. Si HH es una primitiva de 1/h1/h y y(x)y(x) es una solución, entonces ddxH(y(x))=H′(y(x)) y′(x)=y′(x)h(y(x))=g(x).\frac{d}{dx}H\big(y(x)\big)=H'\big(y(x)\big)\,y'(x)=\frac{y'(x)}{h\big(y(x)\big)}=g(x). Así, H(y(x))H(y(x)) y G(x)G(x) tienen la misma derivada y difieren en una constante: H(y)=G(x)+CH(y)=G(x)+C. El razonamiento solo exige que hh no se anule a lo largo de la solución.

La constante al despejar. Al despejar yy, la constante cambia de forma, y conviene renombrarla. En el ejemplo, ∣y∣=eCex2/2|y|=e^{C}e^{x^{2}/2}; como eCe^{C} toma cualquier valor positivo y el valor absoluto añade el signo, y=K ex2/2y=K\,e^{x^{2}/2} con K≠0K\neq0 arbitraria, que se vuelve a llamar CC: y=C ex2/2.y=C\,e^{x^{2}/2}. Escribir la solución como eC+x2/2e^{C+x^{2}/2} no es incorrecto, pero oculta que la familia es la de los múltiplos de ex2/2e^{x^{2}/2} y deja fuera las soluciones negativas y la nula.

Las soluciones que se pierden al dividir. Al dividir por h(y)h(y) se descartan los valores y0y_0 con h(y0)=0h(y_0)=0, y cada uno de ellos da una solución constante, y≡y0y\equiv y_0, porque entonces y′=0=g(x) h(y0)y'=0=g(x)\,h(y_0). A veces esa solución está dentro de la familia general: en y′=x yy'=x\,y, la solución y=0y=0 corresponde a C=0C=0. Otras veces no lo está: en y′=y2y'=y^{2}, la separación da −1y=x+C-\tfrac{1}{y}=x+C, es decir, y=1C−xy=\tfrac{1}{C-x}, y la solución y≡0y\equiv0 no se obtiene para ningún valor de CC. Por eso, al terminar, hay que revisar los ceros de hh.

Soluciones implícitas. No siempre se puede despejar yy con funciones elementales. En y′=xy+cos⁡yy'=\tfrac{x}{y+\cos y}, la separación da y22+sen⁡y=x22+C,\frac{y^{2}}{2}+\operatorname{sen}y=\frac{x^{2}}{2}+C, una relación entre xx e yy que define la solución sin expresarla como y=f(x)y=f(x). 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 y(x0)=y0y(x_0)=y_0 fija la constante. En y′=x yy'=x\,y con y(0)=2y(0)=2, se obtiene 2=C e02=C\,e^{0}, luego C=2C=2 e y=2 ex2/2y=2\,e^{x^{2}/2}. Si gg es continua y hh tiene derivada continua, la solución que pasa por cada punto es única (teorema de Picard). Sin esa hipótesis puede no serlo: y′=3 y2/3y'=3\,y^{2/3} admite, con y(0)=0y(0)=0, tanto y≡0y\equiv0 como y=x3y=x^{3}, porque y2/3y^{2/3} no es derivable en 00.

Dónde aparecen. Muchos modelos elementales son separables: el crecimiento y el decaimiento exponencial, y′=k yy'=k\,y, con solución y=C ekxy=C\,e^{kx} (poblaciones, desintegración radiactiva, interés compuesto continuo); la ley de enfriamiento de Newton, T′=−k (T−Ta)T'=-k\,(T-T_a); o la ecuación logística, y′=r y(1−yK)y'=r\,y\left(1-\tfrac{y}{K}\right), 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 yy cuando es posible, renombrando la constante. Pueden probarse y' = x*y, y' = y*cos(x) o y' = x*(1+y^2).

Otros artículos