Finite difference scheme for u'=u^2, u0=1, 0<t<2

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
8 replies · 5K views
feynman1
Messages
435
Reaction score
29
u'(t)=u(t)^2, u(0)=1, 0<t<2
What finite difference scheme can overcome the difficulty when t->1+ and help the solution jump to the negative branch?
 
Last edited:
Physics news on Phys.org
[tex]\frac{du}{u^2}=dt[/tex]
[tex]\frac{1}{u}+t=const.=1[/tex]
Negative branch ?
 
anuttarasammyak said:
[tex]\frac{du}{u^2}=dt[/tex]
[tex]\frac{1}{u}+t=const.=1[/tex]
Negative branch ?
when t>1, u<0
 
Yes.
[tex]u=\frac{1}{1-t}[/tex]
What's wrong with it ?
 
anuttarasammyak said:
[tex]u=\frac{1}{1-t}[/tex]
What's wrong with it ?
Starting from t=0, when t->1+, finite differences fail.
 
Yes, but why do you estimate it fails ?
2021-09-14 13.49.46.jpg
 
Last edited:
just try numerics yourself and you'll see.
 
The solution says
[tex]|u|>1[/tex]
, or
[tex]|1/u|<1[/tex]
if you do not like divergence to ##\pm## infinity. {1/u} (0) = 0.
 
feynman1 said:
Starting from t=0, when t->1+, finite differences fail.

The domain of the initial value problem at [itex]t = 0[/itex] does not extend past [itex]t \to 1^{-}[/itex].

An antiderivative of [itex]1/(t-1)^2[/itex] looks like [tex] f: t \mapsto \begin{cases} 1/(1- t) + c_1 & t < 1 \\<br /> 1/(1 - t) + c_2 & t > 1.\end{cases}[/tex] The arbitrary constants [itex]c_1[/itex] and [itex]c_2[/itex] don't have to be equal, and the constraint that [itex]u(0) = 1[/itex] only fixes [itex]c_1 = 0[/itex].

If you want to look at [itex]t > 1[/itex] then you must start from an initial [itex]t_0 > 1[/itex] - for example [itex]u = -1[/itex] when [itex]t = 2[/itex].
 
  • Like
Likes   Reactions: feynman1