Local structure of the set of steady-state solutions to the 2D incompressible Euler equations

It is well known that the incompressible Euler equations can be formulated in a very geometric language. The geometric structures provide very valuable insights into the properties of the solutions. Analogies with the finite-dimensional model of geodesics on a Lie group with left-invariant metric can be very instructive, but it is often difficult to prove analogues of finite-dimensional results in the infinite-dimensional setting of Euler's equations. In this paper we establish a result in this direction in the simple case of steady-state solutions in two dimensions, under some non-degeneracy assumptions. In particular, we establish, in a non-degenerate situation, a local one-to-one correspondence between steady-states and co-adjoint orbits.Comment: 81 page

Geodesics in the space of measure-preserving maps and plans

We study Brenier's variational models for incompressible Euler equations. These models give rise to a relaxation of the Arnold distance in the space of measure-preserving maps and, more generally, measure-preserving plans. We analyze the properties of the relaxed distance, we show a close link between the Lagrangian and the Eulerian model, and we derive necessary and sufficient optimality conditions for minimizers. These conditions take into account a modified Lagrangian induced by the pressure field. Moreover, adapting some ideas of Shnirelman, we show that, even for non-deterministic final conditions, generalized flows can be approximated in energy by flows associated to measure-preserving maps

Discrete exterior calculus (DEC) for the surface Navier-Stokes equation

We consider a numerical approach for the incompressible surface Navier-Stokes equation. The approach is based on the covariant form and uses discrete exterior calculus (DEC) in space and a semi-implicit discretization in time. The discretization is described in detail and related to finite difference schemes on staggered grids in flat space for which we demonstrate second order convergence. We compare computational results with a vorticity-stream function approach for surfaces with genus 0 and demonstrate the interplay between topology, geometry and flow properties. Our discretization also allows to handle harmonic vector fields, which we demonstrate on a torus.Comment: 21 pages, 9 figure

The energy functional on the Virasoro-Bott group with the L2L^2-metric has no local minima

The geodesic equation for the right invariant $L^2$-metric (which is a weak Riemannian metric) on each Virasoro-Bott group is equivalent to the KdV-equation. We prove that the corresponding energy functional, when restricted to paths with fixed endpoints, has no local minima. In particular solutions of KdV don't define locally length-minimizing paths.Comment: 12 pages, revised versio

The Degasperis-Procesi equation as a non-metric Euler equation

In this paper we present a geometric interpretation of the periodic Degasperis-Procesi equation as the geodesic flow of a right invariant symmetric linear connection on the diffeomorphism group of the circle. We also show that for any evolution in the family of $b$-equations there is neither gain nor loss of the spatial regularity of solutions. This in turn allows us to view the Degasperis-Procesi and the Camassa-Holm equation as an ODE on the Fr\'echet space of all smooth functions on the circle.Comment: 17 page

Completeness of the Trajectories of Particles Coupled to a General Force Field

We analyze the extendability of the solutions to a certain second order differential equation on a Riemannian manifold $(M,g)$, which is defined by a general class of forces (both prescribed on $M$ or depending on the velocity). The results include the general time-dependent anholonomic case, and further refinements for autonomous systems or forces derived from a potential are obtained. These extend classical results for Lagrangian and Hamiltonian systems. Several examples show the optimality of the assumptions as well as the applicability of the results, including an application to relativistic pp-waves.Comment: Archive for Rational Mechanics and Analysis (to appear

Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group

We study Sobolev-type metrics of fractional order $s\geq0$ on the group \Diff_c(M) of compactly supported diffeomorphisms of a manifold $M$. We show that for the important special case $M=S^1$ the geodesic distance on \Diff_c(S^1) vanishes if and only if $s\leq\frac12$. For other manifolds we obtain a partial characterization: the geodesic distance on \Diff_c(M) vanishes for $M=\R\times N, s<\frac12$ and for $M=S^1\times N, s\leq\frac12$, with $N$ being a compact Riemannian manifold. On the other hand the geodesic distance on \Diff_c(M) is positive for $\dim(M)=1, s>\frac12$ and $\dim(M)\geq2, s\geq1$. For $M=\R^n$ we discuss the geodesic equations for these metrics. For $n=1$ we obtain some well known PDEs of hydrodynamics: Burgers' equation for $s=0$, the modified Constantin-Lax-Majda equation for $s=\frac 12$ and the Camassa-Holm equation for $s=1$.Comment: 16 pages. Final versio

Toeplitz Quantization of K\"ahler Manifolds and gl(N)gl(N) N→∞N\to\infty

For general compact K\"ahler manifolds it is shown that both Toeplitz quantization and geometric quantization lead to a well-defined (by operator norm estimates) classical limit. This generalizes earlier results of the authors and Klimek and Lesniewski obtained for the torus and higher genus Riemann surfaces, respectively. We thereby arrive at an approximation of the Poisson algebra by a sequence of finite-dimensional matrix algebras $gl(N)$, $N\to\infty$.Comment: 17 pages, AmsTeX 2.1, Sept. 93 (rev: only typos are corrected

Controllability of 2D Euler and Navier-Stokes equations by degenerate forcing

We study controllability issues for the 2D Euler and Navier- Stokes (NS) systems under periodic boundary conditions. These systems describe motion of homogeneous ideal or viscous incompressible fluid on a two-dimensional torus T^2. We assume the system to be controlled by a degenerate forcing applied to fixed number of modes. In our previous work [3, 5, 4] we studied global controllability by means of degenerate forcing for Navier-Stokes (NS) systems with nonvanishing viscosity (\nu > 0). Methods of dfferential geometric/Lie algebraic control theory have been used for that study. In [3] criteria for global controllability of nite-dimensional Galerkin approximations of 2D and 3D NS systems have been established. It is almost immediate to see that these criteria are also valid for the Galerkin approximations of the Euler systems. In [5, 4] we established a much more intricate suf- cient criteria for global controllability in finite-dimensional observed component and for L2-approximate controllability for 2D NS system. The justication of these criteria was based on a Lyapunov-Schmidt reduction to a finite-dimensional system. Possibility of such a reduction rested upon the dissipativity of NS system, and hence the previous approach can not be adapted for Euler system. In the present contribution we improve and extend the controllability results in several aspects: 1) we obtain a stronger sufficient condition for controllability of 2D NS system in an observed component and for L2- approximate controllability; 2) we prove that these criteria are valid for the case of ideal incompressible uid (\nu = 0); 3) we study solid controllability in projection on any finite-dimensional subspace and establish a sufficient criterion for such controllability