## Navier-Stokes equations in riemannian geometry

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Hello,

The Navier-Stokes equations can be written on a riemannian manifold: $$\dot{u}+\nabla_u u+ \Delta u=(df)^*$$ $$d^* u=0$$ where $\nabla$ is the Levi-Civita connection, $u$ is a vector fields, $\Delta$ is the laplacian, $df$ is the differential of $f$, $(df)^*$ is the dual of $df$ by the metric, $d^*u$ is the divergence of $u$.

The problem is due to Antoine Balan.

Do you have references ?

Thanks in advance.

-

4
Have you looked at the work of Marsden and Weinstein? – Deane Yang Sep 25 2011 at 14:05

2
Moreover, googling "Navier-Stokes Riemannian manifold" produces a lot of hits. – Deane Yang Sep 25 2011 at 19:27
From the point of view of extending the results from flat space to compact manifolds, there is no difficulty at all: arxiv.org/abs/0901.4412 – timur Apr 3 2012 at 22:55

## 5 Answers

The answer and comments about Arnold and Marsden papers are a little off side. They concern the equation of inviscid fluids, called Euler equation. This differs from Navier-Stokes by the highest-order derivatives $\Delta u$. This changes completely the functional analysis background. Also, Euler equation has a geometrical interpretation (geodesics on the group of measure-preserving diffeomorphisms), whereas Navier-Stokes has not.

I am not aware of references for Navier-Stokes on manifolds. However, I don't think that this is a real problem. What has been important so far for Navier-Stokes is the space dimension and the embedding theorems we have between functional spaces like Sobolev, Besov and others. For instance, the Cauchy problem must be globally well-posed on every compact surface, and locally well-posed on $3$-manifolds.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

You are missing a $\dot u$ in your equation! We want a dynamic vector field. The sign of your $\nabla_u u$ and $\Delta u$ are usually taken to be opposite, as with the sign of your $df^*$ and $\nabla_u u$. See p. 63 of Arnol'd-Khesin's book `Topological Methods in Fluid Mechanics'. Arnol'd and Khesin definitely knew how to do this. Khesin is still alive!

-

Dear Richard Montgomery, I would add a link to the text "Topological Methods in Hydrodynamics" by Arnol'd and Khesin. books.google.com/… – Giuseppe Sep 26 2011 at 5:24

You could look at the paper: Groups of Diffeomorphisms and the motion of an incompressible fluid, by Ebin and Marsden.

About two centuries after Euler, in 1966 Arnold gave a geometric reformulation of the classical equations for an imcompressible fluid in terms of the geodesic spray of left invariant metric on an infinite dimensional Lie Group.

Ebin and Marsden promptly employed this reformulation to obtain existence and uniqueness results for these equations on compact oriented riemannian manifolds.

This circle of ideas is one of the first important application of infinite dimensional manifolds as remarked by Stephen Smale.

By the way, should not the equation contain the time derivative of the unknown $u$?

-

For what it's worth, the Navier-Stokes equation on manifolds is also mentioned in this recent paper http://arxiv.org/pdf/1107.2698, see (1.16) there, in connection with another flow for vector fields that the authors define.

-

Do you think it would be possible to extend the results of Arnol'd to the Navier-Stokes equation ?

-

For instance, considering the Navier-Stokes equation as a small perturbation of the Euler equations, just as it was done by Cruzeiro et al., but on a stochastic point of view – Claire Oct 31 2011 at 20:34
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 17, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.924092710018158, "perplexity_flag": "middle"}