Averaged Template Matching Equations

By exploiting an analogy with averaging procedures in fluid dynamics, we present a set of averaged template matching equations. These equations are analogs of the exact template matching equations that retain all the geometric properties associated with the diffeomorphismgrou p, and which are expected to average out small scale features and so should, as in hydrodynamics, be more computationally efficient for resolving the larger scale features. Froma geometric point of view, the new equations may be viewed as coming from a change in norm that is used to measure the distance between images. The results in this paper represent first steps in a longer termpro gram: what is here is only for binary images and an algorithm for numerical computation is not yet operational. Some suggestions for further steps to develop the results given in this paper are suggested

Generalized Euler-Poincar\'e equations on Lie groups and homogeneous spaces, orbit invariants and applications

We develop the necessary tools, including a notion of logarithmic derivative for curves in homogeneous spaces, for deriving a general class of equations including Euler-Poincar\'e equations on Lie groups and homogeneous spaces. Orbit invariants play an important role in this context and we use these invariants to prove global existence and uniqueness results for a class of PDE. This class includes Euler-Poincar\'e equations that have not yet been considered in the literature as well as integrable equations like Camassa-Holm, Degasperis-Procesi, $\mu$CH and $\mu$DP equations, and the geodesic equations with respect to right invariant Sobolev metrics on the group of diffeomorphisms of the circle

What is the Geometry of Superspace ?

We investigate certain properties of the Wheeler-DeWitt metric (for constant lapse) in canonical General Relativity associated with its non-definite nature. Contribution to the conference on Mach's principle: "From Newtons Bucket to Quantum Gravity", July 26-30 1993, Tuebingen, GermanyComment: 10 pages, Plain Te

Geodesic Flow on the Diffeomorphism Group of the circle

We show that certain right-invariant metrics endow the infinite-dimensional Lie group of all smooth orientation-preserving diffeomorphisms of the circle with a Riemannian structure. The study of the Riemannian exponential map allows us to prove infinite-dimensional counterparts of results from classical Riemannian geometry: the Riemannian exponential map is a smooth local diffeomorphism and the length-minimizing property of the geodesics holds.Comment: 15 page

The Newtonian Limit for Asymptotically Flat Solutions of the Vlasov-Einstein System

It is shown that there exist families of asymptotically flat solutions of the Einstein equations coupled to the Vlasov equation describing a collisionless gas which have a Newtonian limit. These are sufficiently general to confirm that for this matter model as many families of this type exist as would be expected on the basis of physical intuition. A central role in the proof is played by energy estimates in unweighted Sobolev spaces for a wave equation satisfied by the second fundamental form of a maximal foliation.Comment: 24 pages, plain TE

Elastic shape matching of parameterized surfaces using square root normal fields.

In this paper we define a new methodology for shape analysis of parameterized surfaces, where the main issues are: (1) choice of metric for shape comparisons and (2) invariance to reparameterization. We begin by defining a general elastic metric on the space of parameterized surfaces. The main advantages of this metric are twofold. First, it provides a natural interpretation of elastic shape deformations that are being quantified. Second, this metric is invariant under the action of the reparameterization group. We also introduce a novel representation of surfaces termed square root normal fields or SRNFs. This representation is convenient for shape analysis because, under this representation, a reduced version of the general elastic metric becomes the simple \ensuremathL2\ensuremathL2 metric. Thus, this transformation greatly simplifies the implementation of our framework. We validate our approach using multiple shape analysis examples for quadrilateral and spherical surfaces. We also compare the current results with those of Kurtek et al. [1]. We show that the proposed method results in more natural shape matchings, and furthermore, has some theoretical advantages over previous methods

Dynamical stability and instability of Ricci-flat metrics

In this short article, we improve the dynamical stability and instability results for Ricci-flat metrics under Ricci flow proved by Sesum and Haslhofer, getting rid of the integrability assumption.Comment: 6 page

The Navier-Stokes-alpha model of fluid turbulence

We review the properties of the nonlinearly dispersive Navier-Stokes-alpha (NS-alpha) model of incompressible fluid turbulence -- also called the viscous Camassa-Holm equations and the LANS equations in the literature. We first re-derive the NS-alpha model by filtering the velocity of the fluid loop in Kelvin's circulation theorem for the Navier-Stokes equations. Then we show that this filtering causes the wavenumber spectrum of the translational kinetic energy for the NS-alpha model to roll off as k^{-3} for k \alpha > 1 in three dimensions, instead of continuing along the slower Kolmogorov scaling law, k^{-5/3}, that it follows for k \alpha < 1. This rolloff at higher wavenumbers shortens the inertial range for the NS-alpha model and thereby makes it more computable. We also explain how the NS-alpha model is related to large eddy simulation (LES) turbulence modeling and to the stress tensor for second-grade fluids. We close by surveying recent results in the literature for the NS-alpha model and its inviscid limit (the Euler-alpha model).Comment: 22 pages, 1 figure. Dedicated to V. E. Zakharov on the occasion of his 60th birthday. To appear in Physica

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