2
$\begingroup$

Here's a simple ODE \begin{align} &\frac{d}{dx}h(x)=a(h(x))\\ &h(0)=x_0 \end{align} I want the solution $h(x)$ to be (at least) continuous with its first and second order derivative exist only in the sense of distribution. What condition should $a$ satisfy?

The only result in this direction I'm aware is the DiPerna-Lions theory considering $a\in W^{1,1}$, it gives $C$ solutions in the renormalised sense..

I would like some ideas on how to deal with this problem..

Many thanks!!

  • 0
    Just to clarify: do you want both existence and uniqueness of solutions for every initial value?2012-09-12
  • 0
    Yes that'd be good, but it's been a day I'm just not making much progress at all..2012-09-12
  • 1
    As DiPerna and Lions remark in their groundbreaking paper, "It has been a permanent question to extend any part of this elementary theory to less regular vector fields... Various (somewhat limited) extensions have been proposed but seemed to be of restricted applicability in view of standard examples." [This book](http://books.google.com/books?id=q4OkW4H8BCUC) has a catalog of such extensions, only slighly beyond Lipschitz in practical terms. By the way, why not impose the Lipschitz condition? It allows solutions that are not $C^2$ in general, but are necessarily in $C^{1,1}=W^{2,\infty}$.2012-09-12
  • 0
    Thanks so much for your suggestion. This ODE is actually related to a SDE problem I'm working on, and in that problem $a\in W^{1,2}$ is ideal. I'll definitely look into it and get back to you perhaps tomorrow. Many thanks!2012-09-12

0 Answers 0