Skip to main content

Trouble solving a simple differential equation analytically (requires gluing two of the solutions together)


EDIT: Solution can be found by hand quite easily. Don't know how to get Mathematica to do it though. Solution found by hand will give the curve, but with other curves too, which are not part of the actual solution.


I'm having a problem solving a 1st order nonlinear ODE analytically. DSolve finds all the solutions to the equation, however the actual solution -- which can be seen using NDSolve -- is made up of two of the solutions that were given by DSolve. When 'glued' together, these two solutions form a smooth curve which is the actual solution. I need to how to tell Mathematica to somehow obtain this solution.


I've simplified the equation a lot to remove unnecessary variables. Here's the equation now:


$$ y'(t) = \sqrt{\frac{1+y(t)}{y(t)^2}}$$


$$y(0)=1$$


eqn = y'[t] == Sqrt[(1 + y[t])/y[t]^2];


Here's my code for analytically solving and plotting the equation:


solE = DSolve[{eqn, y[0] == c1}, y, t];

Plot[Evaluate[y[t] /. solE /. c1 -> 1], {t, -3, 3}]

Here's the code for numerically solving and plotting the equation (Used ListLinePlot to avoid extrapolation due to division by 0 at around t = -0.4):


solN = NDSolve[{eqn, y[0] == 1}, y, {t, -5, 5}];

Show[ListLinePlot[y /. solN], PlotRange -> {{-3, 3}, {-1, 4}}]


As you can see from the plots below, the correct analytical solution (the positive curve that starts between $t=-1$ and $t=0$ at $y = 0$) is made up of two separate solutions (starts with the green curve, then transitions to red), glued together. How do I get Mathematica to return this 'composite curve' as the final solution?


Analytical solutions (left) and numerical solution (right):


Analytical and numerical plot


I would prefer a mathematical method of doing this, instead of just visually inspecting the two plots like I have. Previously, when I had multiple solutions, I successfully found the correct solution by verifying it using {eqn, initial condition} /. sol. However, it doesn't seem to work on this equation. For the original equation, the first solution returned true only for the initial condition, but the second solution returned false for both, so my method must be wrong.



Answer



The goal of this question is to reproduce the numerically determined curve,


eqn = y'[t] == Sqrt[(1 + y[t])/y[t]^2];
solN = NDSolve[{eqn, y[0] == 1}, y, {t, -5, 5}];
ListLinePlot[y /. solN, PlotRange -> {{-3, 3}, Automatic}, ImageSize -> Large,

AxesLabel -> {t, y}, LabelStyle -> {Bold, Black, Medium}]

enter image description here


by means of DSolve. The obvious solution is to try something like


First[y /. solN][1/2];
solE2 = (DSolve[{eqn, y[1/2] == %}, y[t], t])

but DSolve returns solutions for both y'[t] == Sqrt[(1 + y[t])/y[t]^2] and y'[t] == - Sqrt[(1 + y[t])/y[t]^2]. Therefore, a brute force approach is necessary. Following the code in the question,


solE = (DSolve[{eqn, y[0] == c1}, y[t], t, Assumptions -> c1 > 0] /. c1 -> 1) 
// Values // Flatten;

Plot[Evaluate@solE, {t, -3, 3}, ImageSize -> Large, AxesLabel -> {t, y},
LabelStyle -> {Bold, Black, Medium}, PlotLabels -> Placed[Range[6], Above]]

enter image description here


we see that combining the right side of curve 1 and the left side of curve 2 will reproduce the numerical result. This is accomplished by ploting only the segments of these two curves for which the slope is positive.


Off[Greater::nord]
Plot[{If[(Chop[N[D[solE[[1]], t]] /. t -> t0]) > 0, Chop[N[solE[[1]] /. t -> t0]]],
If[(Chop[N[D[solE[[2]], t]] /. t -> t0]) > 0, Chop[N[solE[[2]] /. t -> t0]]]},
{t0, -3, 3}, ImageSize -> Large, AxesLabel -> {t, y},
LabelStyle -> {Bold, Black, Medium}]


enter image description here


which produces the desired result.


Addendum


In response to a comment below, the appropriate parts of the DSolve solution, as defined above, can be packaged in a function by


Clear[f];
f[t0_?NumericQ] := Module[
{tm1 = Chop[N[D[solE[[1]], t] /. t -> t0]],
tm2 = Chop[N[D[solE[[2]], t] /. t -> t0]]},
Piecewise[{{Chop[N[solE[[1]] /. t -> t0]], Im[tm1] == 0 && Re[tm1] > 0},

{Chop[N[solE[[2]] /. t -> t0]], Im[tm2] == 0 && Re[tm2] > 0}}, Null]]

Comments

Popular posts from this blog

front end - keyboard shortcut to invoke Insert new matrix

I frequently need to type in some matrices, and the menu command Insert > Table/Matrix > New... allows matrices with lines drawn between columns and rows, which is very helpful. I would like to make a keyboard shortcut for it, but cannot find the relevant frontend token command (4209405) for it. Since the FullForm[] and InputForm[] of matrices with lines drawn between rows and columns is the same as those without lines, it's hard to do this via 3rd party system-wide text expanders (e.g. autohotkey or atext on mac). How does one assign a keyboard shortcut for the menu item Insert > Table/Matrix > New... , preferably using only mathematica? Thanks! Answer In the MenuSetup.tr (for linux located in the $InstallationDirectory/SystemFiles/FrontEnd/TextResources/X/ directory), I changed the line MenuItem["&New...", "CreateGridBoxDialog"] to read MenuItem["&New...", "CreateGridBoxDialog", MenuKey["m", Modifiers-...

How to thread a list

I have data in format data = {{a1, a2}, {b1, b2}, {c1, c2}, {d1, d2}} Tableform: I want to thread it to : tdata = {{{a1, b1}, {a2, b2}}, {{a1, c1}, {a2, c2}}, {{a1, d1}, {a2, d2}}} Tableform: And I would like to do better then pseudofunction[n_] := Transpose[{data2[[1]], data2[[n]]}]; SetAttributes[pseudofunction, Listable]; Range[2, 4] // pseudofunction Here is my benchmark data, where data3 is normal sample of real data. data3 = Drop[ExcelWorkBook[[Column1 ;; Column4]], None, 1]; data2 = {a #, b #, c #, d #} & /@ Range[1, 10^5]; data = RandomReal[{0, 1}, {10^6, 4}]; Here is my benchmark code kptnw[list_] := Transpose[{Table[First@#, {Length@# - 1}], Rest@#}, {3, 1, 2}] &@list kptnw2[list_] := Transpose[{ConstantArray[First@#, Length@# - 1], Rest@#}, {3, 1, 2}] &@list OleksandrR[list_] := Flatten[Outer[List, List@First[list], Rest[list], 1], {{2}, {1, 4}}] paradox2[list_] := Partition[Riffle[list[[1]], #], 2] & /@ Drop[list, 1] RM[list_] := FoldList[Transpose[{First@li...

plotting - How to draw lines between specified dots on ListPlot?

I would like to create a plot where I have unconnected dots and some connected. So far, I have figured out how to draw the dots. My code is the following: ListPlot[{{1, 1}, {2, 2}, {3, 3}, {4, 4}, {1, 4}, {2, 5}, {3, 6}, {4, 7}, {1, 7}, {2, 8}, {3, 9}, {4, 10}, {1, 10}, {2, 11}, {3, 12}, {4,13}, {2.5, 7}}, Ticks -> {{1, 2, 3, 4}, None}, AxesStyle -> Thin, TicksStyle -> Directive[Black, Bold, 12], Mesh -> Full] I have thought using ListLinePlot command, but I don't know how to specify to the command to draw only selected lines between the dots. Do have any suggestions/hints on how to do that? Thank you. Answer One possibility would be to use Epilog with Line : ListPlot[ {{1, 1}, {2, 2}, {3, 3}, {4, 4}, {1, 4}, {2, 5}, {3, 6}, {4, 7}, {1, 7}, {2, 8}, {3, 9}, {4, 10}, {1, 10}, {2, 11}, {3, 12}, {4, 13}, {2.5, 7}}, Ticks -> {{1, 2, 3, 4}, None}, AxesStyle -> Thin, TicksStyle -> Directive[Black, Bold, 12], Mesh -> Full, Epilog -> { Line[ ...