Are there alternative proofs for existence/uniqueness of ODE solutions? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T20:07:28Z http://mathoverflow.net/feeds/question/36784 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36784/are-there-alternative-proofs-for-existence-uniqueness-of-ode-solutions Are there alternative proofs for existence/uniqueness of ODE solutions? Sujit_Nair 2010-08-26T17:42:41Z 2010-09-24T14:26:30Z <p>Consider the differential equation $\dot x = f(x)$. The standard proofs are </p> <ol> <li><p>The Picard iteration based proof of existence/uniqueness for Lipschitz $f$. </p></li> <li><p>The Peano existence theorem for continuous $f$.</p></li> <li><p>The Caratheodory existence theorem for measurable $f$.</p></li> </ol> <p>My question is as follows. Assuming a Lipschitz $f(x)$, are there any other proofs out there for existence of solutions (in some reasonable sense) for ODEs?</p> http://mathoverflow.net/questions/36784/are-there-alternative-proofs-for-existence-uniqueness-of-ode-solutions/36785#36785 Answer by Pietro Majer for Are there alternative proofs for existence/uniqueness of ODE solutions? Pietro Majer 2010-08-26T17:54:27Z 2010-08-26T18:07:10Z <p><a href="http://en.wikipedia.org/wiki/Numerical_ordinary_differential_equations" rel="nofollow">Numerical methods</a> like Euler or Runge-Kutta, consisting in approximating a solution of an ODE with solutions of suitable discrete difference equations, in particular give proofs of existence. </p> http://mathoverflow.net/questions/36784/are-there-alternative-proofs-for-existence-uniqueness-of-ode-solutions/36794#36794 Answer by Johannes Hahn for Are there alternative proofs for existence/uniqueness of ODE solutions? Johannes Hahn 2010-08-26T18:49:18Z 2010-08-26T18:56:35Z <p>A very interesting kind of existence (though not uniqueness) proofs are proofs that use one of the various fixed point theorems and the tools from fixed point theory: The Schauder fixed point theorem can be used to prove Peano's existence theorem or simple existence theorems for boundary value problems. The theory of Brouwer-degree of certain mappings (not just between manifolds but also between banach spaces) can be used to prove several existence theorems, for example existence of periodic solutions for certain ODEs.</p> <p>Granas / Dugundji - Fixed point theory is a very good (and very densely written) book about all kinds of fixed point theorems and one of the main application that frequently occurs throughout the book are existence theorems for differential equations.</p> <p>Then there is the variational approach: Finding minima of functionals often is the same thing as finding solutions of PDEs (Euler-Lagrange-equations !). So very much of functional analysis can be applied to prove various existence theorems for PDEs. For example have a look at Guisti - Direct methods in the calculus of variations. Any book on the finite element method (Braess comes to mind, but I'm not sure at the moment if it is in english or in german... may be there are two versions?) will show you how Hilbert space methods can be applied to prove existence theorems.</p> <p>The whole theory of distributions was invented for dealing with (linear) PDEs, their (weak) solutions and the regularity theory of these solutions. The Ehrenpreis-Malgrange-theorem is a very strong existence theorem that says that all linear PDEs with constant coefficient have distributional solutions. In Fact there exist (tempered) Green's functions for every such PDE.</p> <p>And there is of course a more heavy machinery too: Morse theory and generalizations of it were used for (invented for?) the proof of the Arnol'd conjecture which also shows the existence of certain periodic solutions of differential equations.</p> http://mathoverflow.net/questions/36784/are-there-alternative-proofs-for-existence-uniqueness-of-ode-solutions/39863#39863 Answer by Bob Terrell for Are there alternative proofs for existence/uniqueness of ODE solutions? Bob Terrell 2010-09-24T14:26:30Z 2010-09-24T14:26:30Z <p>The simplest proof (though 1 variable is probably not what you want) is in Peter Lax's Calculus book, Springer, 1976, page 442. It uses only the fundamental theorem of calculus. Existence, uniqueness, and asymptotics are proved for the case there.</p>