Skip to main content
edited tags
Link
Artes
  • 57.9k
  • 13
  • 159
  • 247
edited tags
Link
Artes
  • 57.9k
  • 13
  • 159
  • 247
Became Hot Network Question
Tweeted twitter.com/StackMma/status/1582476622837551109
Source Link
user64494
  • 29.1k
  • 4
  • 29
  • 56

A fraught with incorrect results ODE

I mean the following ODE $$y''(x)+y'(x)=\exp (-2 x) y(x)^3.$$

Trying to solve it in version 13.1 on Windows 10 by

DSolve[y''[x] + y'[x] == Exp[-2 x]*y[x]^3, y[x], x]

, I obtain a huge incorrect result

{{y[x] -> 1/4 (-(E^( 1/2 (C[2] - Inactive[Integrate][(E^(-2 K[3]) (y[K[3]]^5 + 2 C[1] y[K[3]]^5 + 2 y[K[3]]^5 Inactive[Integrate][( E^(-2 K[1]) (y[K[1]] - Derivative[1][y][K[1]]) (-y[K[1]]^4 + E^(2 K[1]) y[K[1]] Derivative[1][y][K[1]] + E^(2 K[1]) Derivative[1][y][K[1]]^2))/( 2 y[K[1]]^3), {K[1], 1, K[3]}] + 8 E^(2 K[3]) C[1]^2 y[K[3]]^3 Sqrt[ 1 + 4 C[1] + ...

Pay your attention to Inactive[ Integrate][(E^(-2 K[1]) (y[K[1]] - Derivative[1][y][K[1]]) (-y[K[1]]^4 + E^(2 K[1]) y[K[1]] Derivative[1][y][K[1]] + E^(2 K[1]) Derivative[1][y][K[1]]^2))/(2 y[K[1]]^3), {K[1], 1, K[3]}]

in the above, where the function y[x] is expressed through itself and its derivative y'[x].

Next, the command

DSolve[{y''[x] + y'[x] == Exp[-2 x]*y[x]^3, y[0] == 1, y'[0] == -1},  y[x], x]

is running without any response for hours. Likely an infinite loop is created since the resourсes of my comp are not exhausted.

The change of the independent variable x by

DSolveChangeVariables[ Inactive[DSolve][{y''[x] + y'[x] == Exp[-2 x]*y[x]^3, y[0] == 1, 
y'[0] == -1}, y[x], x], u, t, t == Exp[-x]]

Inactive[DSolve][{t u[t]^3 == t u''[t], u[0] == 1, DSolve'DSolveChangeVariablesDump'd$18576[0][u[0]] == -1}, u[t], t]

produces at least two bugs: u[0]==1 instead of u[1]==1 and DSolve'DSolveChangeVariablesDump'd$18576[0][u[0]] == -1.

The questions arise: how to correctly solve this ODE? are there workarounds?