Quiero resolver la ecuación diferencial$$\begin{cases}x''=\frac{2x}{x^2-1}\\x'(0)=0\\x(0)=x_0\end{cases}$$
Esto es lo que he hecho hasta ahora. No he estudiado la ecuación diferencial mucho, y la introducción de la función de $s$ a continuación es sólo un truco que he aprendido, pero no estoy seguro de por qué/si funciona.
Deje $s:=x'$. Entonces $$\frac{d^2x}{dt^2}=\frac{ds}{dt}=\frac{ds}{dx}\frac{dx}{dt}=\frac{ds}{dx}s$$ por lo que la ecuación anterior se convierte en $$s\frac{ds}{dx}=\frac{2x}{x^2-1}$$ $$s\,ds=\frac{2x}{x^2-1}\,dx$$$$\int s\,ds=\int\frac{2x}{x^2-1}\,dx+C$$ $$s^2=\log\lvert x^2-1\rvert+C$$$$x'=\omega\sqrt{\log\lvert x^2-1\rvert+C},\,\omega:\mathbb R_+\mapsto\{-1,1\}$$ y con $x'(0)=0$, $x(0)=x_0$ tenemos $$x'=\omega\sqrt{\log\bigg\lvert\frac{x^2-1}{x_0^2-1}\bigg\rvert}$$ ¿Cómo puedo seguir resolver para $x(t)$? Y estoy justificado en la introducción de $s$ y el tratamiento de la notación como yo lo hice para obtener el $x'$?