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

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[ ...

equation solving - Invert and fit implicitly defined curve

I need to fit an implicitly defined curve. I thought I could get some data out of Solve , and then using FindFit . Therefore, I would like to find the relation the parametric curve defined by $F(x,y)=0$: Solve[-(1/2) + 1/2 (0.41202 BesselK[0, 0.1 Sqrt[x^2 + y^2]] + (0.101483 x BesselK[1, 0.1 Sqrt[x^2 + y^2]])/Sqrt[x^2 + y^2]) == 0, y] But I can't get an output: Solve was unable to solve the system with inexact coefficients or the system obtained by direct rationalization of inexact numbers present in the system. Since many of the methods used by Solve require exact input, providing Solve with an exact version of the system may help. >> Edit: In particular, I would like to fit the data coming from the curve with the expression of another curve, and not with a function $f(x)$. In particular, since this clearly looks like a cardioid , I would like it to fit to something like it. What other strategies could I try?

dynamic - How can I make a clickable ArrayPlot that returns input?

I would like to create a dynamic ArrayPlot so that the rectangles, when clicked, provide the input. Can I use ArrayPlot for this? Or is there something else I should have to use? Answer ArrayPlot is much more than just a simple array like Grid : it represents a ranged 2D dataset, and its visualization can be finetuned by options like DataReversed and DataRange . These features make it quite complicated to reproduce the same layout and order with Grid . Here I offer AnnotatedArrayPlot which comes in handy when your dataset is more than just a flat 2D array. The dynamic interface allows highlighting individual cells and possibly interacting with them. AnnotatedArrayPlot works the same way as ArrayPlot and accepts the same options plus Enabled , HighlightCoordinates , HighlightStyle and HighlightElementFunction . data = {{Missing["HasSomeMoreData"], GrayLevel[ 1], {RGBColor[0, 1, 1], RGBColor[0, 0, 1], GrayLevel[1]}, RGBColor[0, 1, 0]}, {GrayLevel[0], GrayLevel...