Welcome Guest ( Log In | Register )

Outline · [ Standard ] · Linear+

> World's cleverest man, Russian Grigory Perelman

views
     
feynman
post Mar 30 2010, 02:02 AM

Look at all my stars!!
Group Icon
Elite
4,781 posts

Joined: Dec 2004
QUOTE(bgeh @ Mar 27 2010, 12:09 PM)
Well for mathematicians, we tend to think of ODEs/PDEs in terms of:

Given a system of ODEs/PDEs, and a set of Initial/Boundary conditions, does a solution exist? If it exists, is this solution unique? Is it possible to characterise this solution in some way, e.g. is it differentiable, or is it a smooth (infinitely differentiable) solution?

Example: You may remember in engineering maths classes (assuming you did it) that some boundary value problems for some simple ODEs did not have a unique solution.

Back to the Navier-Stokes equation: The challenge (in the Clay Math prize) is, given the Navier-Stokes PDEs, and a set of quite general initial conditions, show that a smooth solution exists globally (not locally), or show otherwise, that no such solution exists.

Interestingly enough, Perelman's proof of the Poincare Conjecture also uses a PDE, the Ricci flow, in which he showed that the singularities of the Ricci flow were 'well behaved' and disappeared in a finite time, giving the 'answer' to Thurston's geometrisation conjecture, which then implies Poincare's conjecture. [I'm only describing approximately what he did here, this is as far as my understanding goes]
*
Indeed they do. They are also fascinated about the completeness of the solutions..........

What's the whole idea of completeness, uniqueness, well-behavedness when all it matters is that it can solve an equation. That's why I'm in physics, I don't care what the mathematicians say. All silly talk to me.

Bump Topic Add ReplyOptions New Topic
 

Change to:
| Lo-Fi Version
0.0120sec    0.30    7 queries    GZIP Disabled
Time is now: 25th November 2025 - 10:01 PM