JDG logo
View paper:
pdf dvi ps
View abstract:
pdf gif
Graphical interface
Volume 55
Other volumes
JDG home
Journal of Differential Geometry 55 (2000), 145-191.

Analysis on groups of diffeomorphisms of manifolds with boundary and the averaged motion of a fluid

Steve Shkoller

Abstract:

We establish the existence of three new subgroups of the group of volume-preserving diffeomorphisms of a compact $n$-dimensional ($n\ge 2$) Riemannian manifold which are associated with the Dirichlet, Neumann, and Mixed type boundary conditions that arise in second-order elliptic PDEs. We prove that when endowed with the $H^s$ Hilbert-class topologies for $s>(n/2)+1$, these subgroups are $C^\infty$ differential manifolds. We consider these new diffeomorphism groups with an $H^1$-equivalent right invariant metric, and prove the existence of unique smooth geodesics $\eta(t,\cdot)$ of this metric, as well as existence and uniqueness of the Jacobi equations associated to this metric. Geodesics on these subgroups are, in fact, the flows of a time-dependent velocity vector field $u(t,x)$, so that $\partial_t\eta(t,\cdot) = u(t,\eta(t,\cdot))$ with $\eta(0,x)=x$, and remarkably the vector field $u(t,x)$ solves the so-called Lagrangian averaged Euler (LAE-$\alpha$) equations on $M$. These equations, and their viscous counterparts, the Lagrangian averaged Navier-Stokes (LANS-$\alpha$) equations, model the motion of a fluid at scales larger than an a priori fixed parameter $\alpha >0$, while averaging (or filtering-out) the small scale motion, and this is achieved without the use of artificial viscosity. We prove that for divergence-free initial data satisfying $u=0$ on $\partial M$, the LAE-$\alpha$ equations are well-posed, globally when $n=2$. We also find the boundary conditions that make the LANS-$\alpha$ equations well-posed, globally when $n=3$, and prove that solutions of the LANS-$\alpha$ equations converge when $n=2,3$ for almost all $t$ in some fixed time interval $(0,T)$ in $H^s$, $s\in (n/2+1,3)$ to solutions of the LAE-$\alpha$ equations, thus confirming the scaling arguments of Barenblatt \&{} Chorin.