Cuando veo este problema, lo primero que me viene a la mente es que si consideramos [matemáticas] x [/ matemáticas] en función de [matemáticas] y [/ matemáticas] en lugar de viceversa, la ecuación se convierte en:
[matemáticas] \ frac {dx} {dy} = x + y + 1 [/ matemáticas]
Esa es una ecuación bastante fácil de resolver, ya que es lineal y tiene un coeficiente constante. Un enfoque es combinar la solución al problema homogéneo asociado (que se da inmediatamente por [matemáticas] x_h (y) = ke ^ {y} [/ matemáticas]) con una solución particular. La solución particular debe ser un polinomio lineal ya que la función de forzamiento (es decir, [math] y + 1 [/ math] es un polinomio lineal).
Suponemos una solución de la forma
[matemáticas] x_p (y) = \ alpha y + \ beta [/ matemáticas]
Conectar esto a la ecuación diferencial implica que
[matemáticas] \ alpha = \ alpha y + \ beta + y + 1 [/ matemáticas]
Vemos que esta ecuación se cumple para todas [matemáticas] y [/ matemáticas] si y solo si [matemáticas] \ alpha = -1 [/ matemáticas] y [matemáticas] \ beta = -2 [/ matemáticas].
Entonces la solución general viene dada por
[matemáticas] x (y) = ke ^ {y} -y-2 [/ matemáticas]
Esta es una solución implícitamente definida para [math] y (x) [/ math]. Para hacerlo explícito, debemos resolver [math] y [/ math]. Este paso no es simple y requiere el uso de la función Lambert W.
Te lo demostraré.
Comenzamos con:
[matemáticas] x = ke ^ {y} -y-2 [/ matemáticas]
[matemáticas] y + x + 2 = ke ^ {y} [/ matemáticas]
[matemáticas] y + x + 2 = ke ^ {- x-2} e ^ {y + x + 2} [/ matemáticas]
[matemáticas] (y + x + 2) e ^ {- (y + x + 2)} = ke ^ {- x-2} [/ matemáticas]
[matemáticas] – (y + x + 2) e ^ {- (y + x + 2)} = -ke ^ {- x-2} [/ matemáticas]
Todo ese álgebra se hizo para hacer que el lado izquierdo de la ecuación de la forma [math] ue ^ u [/ math] porque cuando está en la forma, podemos aplicar el inverso de [math] ue ^ u [/ math ], que es la función Lambert W (denotada [math] W (u) [/ math]). La aplicación de esta función a ambos lados de la ecuación da:
[matemáticas] – (y + x + 2) = W \ left (-ke ^ {- x-2} \ right) [/ math]
Y finalmente:
[matemática] y = -W \ left (-ke ^ {- x-2} \ right) -x-2 [/ math]
Tenga en cuenta que el Lambert W no está definido para todos los argumentos y tiene varios valores para otros argumentos, lo que indica que la solución para algunas condiciones iniciales puede no existir y ser única para todos [math] x [/ math], pero eso difícilmente debería venir como un shock ya que la ecuación diferencial original tiene un campo de pendiente discontinuo cuando [math] y = -x-1 [/ math].
(* Nota: no verifiqué esto cuidadosamente, así que hágalo antes de decidir creerlo. El enfoque es correcto, pero hay muchos lugares para cometer un pequeño error de cálculo. Espero que si hay un error, alguien lo hará sugiera una edición o dígame en un comentario.)