1
$\begingroup$

I am just beginning to learn ordinary differential equation. My question:

Let : $t \in \mathbb{R}$, $x_0 \in \mathbb{R}$,

Let $f:\mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R}: (t,x) \mapsto f(t,x)$.

Let $x:I \rightarrow \mathbb{R}:t \mapsto x(t)$, where $I \subseteq \mathbb{R}$ is the maximal interval of existence such that the solution of the following ordinary differential equation initial value problem:

$\frac{d}{dt}x = f(t,x), x(0)=x_0$

exists and is unique on $I$ (well-posed in the sense of Hadamard).

Is it possible that the solution $x$ has infinitely jump discontinuities?

Any comments, feedbacks, or inputs are very welcome. Thanks in advance.

Note: I have removed $d$ as to make things clearer.

  • 1
    On $I$, $x$ is differentiable, hence continuous, hence it has ZERO jump discontinuity.2012-02-13
  • 0
    May this is what you want $y'=y^2+1$, $y(0)=0$ . Its, solution is $\tan x$.2012-02-13
  • 0
    @Didier, thanks for your answer... since my example is general enough, does it mean that mostly every solutions of ode has no jump discontinuty on its interval of existence?2012-02-13
  • 0
    @Nobert... is the maximal interval of existence includes $\frac{\pi}{2}$? But even so, it's more like asymptotic discontinuity for me2012-02-13
  • 0
    do you mean that $d:\mathbb{R}\to F$? Your assumption that $d:\mathbb{R}\to\mathbb{R}$ is not entirely compatible with the second assertion that $d\in F$.2012-02-13
  • 0
    @Willie Wong... I mean that $d$ is any real valued function (can be discontinuous)2012-02-13
  • 1
    Given the final question you asked, the function $d$ is just a red-herring. You are just asking about (dis)continuity of the ordinary differential equation $x' = f(t,x)$. So as long as on $I$, the function $f$ is everywhere finite (not necessarily bounded uniformly), the assumption that $x' = f$ implies that $x$ is differentiable, and so like Didier said, must be continuous.2012-02-13
  • 0
    Thanks for your feedback... I guess I will just remove $d$ to make things clearer...2012-02-13
  • 0
    @netsurfer: Yes, this comes from the very definition of the maximal interval of existence (and you can omit *mostly* here).2012-02-13

1 Answers 1