Aparte de la respuesta de Mateusz Szymański (señalando que este DE es separable), podemos notar que podemos reescribir como [math] y ‘+ P (x) y = Q (x) [/ math] (la forma para un DE lineal general ):
[matemática] y ‘+ \ frac {4x} {x ^ 2 + 1} y = \ frac {x} {x ^ 2 + 1} \ tag * {} [/ matemática]
La solución para tales ecuaciones se puede encontrar en cualquier libro de texto DE:
[matemáticas] y = \ dfrac {\ int \ mu (x) Q (x) \, dx + C} {\ mu (x)} \ tag * {} [/ matemáticas]
donde [math] \ mu (x) = \ exp \ left (\ int P (x) \, dx \ right) [/ math] es el factor integrador (que, cuando se multiplica por el DE original, lo hace exacto). En este caso:
[matemáticas] \ mu (x) = \ exp \ left (2 \ ln (x ^ 2 + 1) \ right) = (x ^ 2 + 1) ^ 2 \ tag * {} [/ math]
entonces
[matemáticas] y = \ dfrac {\ int x (x ^ 2 + 1) \, dx} {(x ^ 2 + 1) ^ 2} = \ dfrac {\ frac14x ^ 4 + \ frac12x ^ 2 + C} { (x ^ 2 + 1) ^ 2} = \ dfrac {x ^ 4 + 2x ^ 2 + C_1} {4 (x ^ 2 + 1) ^ 2} \ tag * {} [/ math]
Nota adicional: También podemos usar métodos numéricos, produciendo gráficos como este (que concuerdan con las soluciones analíticas dadas anteriormente):
¿Cuál es la solución a la ecuación diferencial de primer orden [matemática] (x ^ 2 + 1) dy / dx + 4xy = x [/ matemática] ?