Considerem una EDO de primer ordre,$$y'=f(x,y)$$ amb $$y=y(x)$$. Direm que la EDO és separable si podem aconseguir reescriure-la com $$h(y) \cdot y'=g(x)$$, és a dir si podem passar tot el que depèn de $$y$$ a un costat de la igualtat i tot el que depèn de $$x$$ a l'altre.
Un exemple d'EDO separable seria $$y'=2xy$$, ja que podem posar tot el que depèn de la variable $$y$$ a un costat de la igualtat i tot el que depèn de $$x$$ a l'altre dividint tota l'equació per $$y$$: $$$\displaystyle y'=2xy \Longrightarrow \frac{1}{y}y'=2x$$$ En el nostre cas, doncs $$$\displaystyle h(y)=\frac{1}{y}, \ g(x)=2x$$$
Llavors integrem als dos costats de la igualtat i obtenim la solució: $$$\displaystyle h(y) \cdot y'=g(x) \Longrightarrow h(y)\cdot \frac{dy}{dx}=g(x) \Longrightarrow h(y)dy=g(x)dx \Longrightarrow$$$ $$$\int h(y) dy=\int g(x)dx+C$$$ Notem que hem d'afegir una constant additiva, ja que en integrar sempre ens en surt una. Ara intentem aïllar $$y$$ en funció de $$x$$ i obtenim la solució.
Per exemple, en el cas mostrat anteriorment: $$$\displaystyle \frac{1}{y}y'=2x \Rightarrow \frac{1}{y}\cdot \frac{dy}{dx}=2x \Rightarrow \frac{dy}{y}=2x \cdot dx \Rightarrow \int \frac{dy}{y}=\int 2x \cdot dx+C \Rightarrow \\ \Rightarrow \ln |y|=x^2+C \Rightarrow |y|= e^{x^2+C}=e^{x^2} \cdot e^C=K\cdot e^{x^2}, \ k>0 \Rightarrow$$$ $$$\Rightarrow y(x)=k \cdot e^{x^2}, \ k > 0$$$
Un concepte que és important destacar és que, de vegades, en separar les variables, podem perdre solucions pel camí. Per aconseguir tenir la $$y$$ estem suposant que $$y \neq 0$$. Ara bé, si ens fixem en l'EDO ens adonem que $$y=0$$ és també una solució, en la que $$k$$ val zero.
De vegades haurem de resoldre un PVI. En l'exemple hem trobat totes les solucions de l'EDO. Per trobar la solució que verifica un PVI n'hi ha prou amb imposar les condicions inicials i trobar la constant concreta que fa que es compleixi la condició.
Considerem, per exemple el PVI: $$$\left\{\begin{matrix} y'=2xy \\ y(0)=1 \end{matrix}\right.$$$ Per l'exemple anterior sabem que les solucions són: $$y(x)=k\cdot e^{x^2} k \in \mathbb{R}$$.
Busquem, doncs, el valor de $$k$$ de manera que es compleixi $$y(0)=1$$: $$$y(0)=1 \Rightarrow 1= y(0)=k\cdot e^0 \Rightarrow k=1$$$ Per tant, la solució del nostre PVI és: $$y(x)=e^{x^2}$$.
Anem a veure uns quants exemples:
Resoldre l'EDO: $$$y'=4xe^-y$$$ Es tracta d'una EDO separable ja que podem posar tot el que depèn de $$x$$ a una banda i tot el que depèn de $$y$$ a l'altre.
En efecte: $$$y'\cdot e^y=4x $$$ Ara procedim com hem descrit: $$$\displaystyle y'=\cdot e^y=4x \Rightarrow \frac{dy}{dx}e^y=4x \Rightarrow e^y\cdot dy= 4x \cdot dx \Rightarrow \int e^y \cdot dy= \int 4x \cdot dx \Rightarrow$$$ $$$\Rightarrow e^y=2x^2+C \Rightarrow y(x)= \ln\Big(2x^2+C\Big)$$$ on $$C$$ és la constant que es determinaria en cas que tinguem condicions inicials.
Resoldre l'EDO: $$$2x+5=y' \cdot \sin y$$$ Observem que, en aquest cas, l'equació ja té les variables separades.
Així doncs, procedim a fer les integrals: $$$2x+5 = y'\sin y \Rightarrow 2x+5= \sin y \cdot \frac{dy}{dx} \Rightarrow \int (2x+5) \ dx = \int \sin y \ dy \Rightarrow$$$ $$$ \Rightarrow x^2+5x+C= -\cos y \Rightarrow y(x)=\arccos (-x^2-5x-C) $$$
Resoldre l'EDO: $$$y'=x \cdot (y^2+1)$$$ Es tracta, una altra vegada, d'una EDO separable, n'hi ha prou a dividir els termes per $$y^2+1$$. Així doncs la seva solució s'obté de la següent manera:
$$$\displaystyle \frac{y'}{y^2+1}=x \Rightarrow \frac{dy}{dx} \cdot \frac{1}{y^2+1}=x \Rightarrow \frac{dy}{y^2+1}=x \cdot dx \Rightarrow \int \frac{dy}{y^2+1}=\int x \cdot dx \Rightarrow $$$ $$$ \Rightarrow \arctan y=x+C \Rightarrow y(x)=\tan (x+C)$$$