arXiv subjects

Darryl D. Holm

Publications and source records attributed to Darryl D. Holm.

At least 91 records · Page 5Linked to original sources

arXiv2012

Collisionless kinetic theory of rolling molecules

We derive a collisionless kinetic theory for an ensemble of molecules undergoing nonholonomic rolling dynamics. We demonstrate that the existence of nonholonomic constraints leads to problems in generalizing the standard methods of statistical physics. In particular, we show that even though the energy of the system is conserved, and the system is closed in the thermodynamic sense, some fundamental features of statistical physics such as invariant measure do not hold for such nonholonomic systems. Nevertheless, we are able to construct a consistent kinetic theory using Hamilton's variational principle in Lagrangian variables, by regarding the kinetic solution as being concentrated on the constraint distribution. A cold fluid closure for the kinetic system is also presented, along with a particular class of exact solutions of the kinetic equations.

nlin.CD↗

arXiv2012

Euler-Poincaré equations for anelastic fluid flows

We show that the ideal (nondissipative) form of the dynamical equations for the Lipps-Hemler formulation of the anelastic fluid model follow as Euler-Poincaré equations, obtained from a constrained Hamilton's principle expressed in the Eulerian fluid description. This establishes the mathematical framework for the following properties of these anelastic equations: the Kelvin-Noether circulation theorem, conservation of potential vorticity on fluid parcels, and the Lie-Poisson Hamiltonian formulation possessing conserved Casimirs, conserved domain integrated energy and an associated variational principle satisfied by the equilibrium solutions. We then introduce a modified set of anelastic equations that represent the mean anelastic motion, averaged over subgrid scale rapid fluctuations, while preserving the mathematical properties of the Euler-Poincaré framework.

physics.flu-dyn↗

arXiv2012

Quantum splines

A quantum spline is a smooth curve parameterised by time in the space of unitary transformations, whose associated orbit on the space of pure states traverses a designated set of quantum states at designated times, such that the trace norm of the time rate of change of the associated Hamiltonian is minimised. The solution to the quantum spline problem is obtained, and is applied in an example that illustrates quantum control of coherent states. An efficient numerical scheme for computing quantum splines is discussed and implemented in the examples.

quant-ph↗

arXiv2012

$G$-Strands

A $G$-strand is a map $g(t,{s}):\,\mathbb{R}\times\mathbb{R}\to G$ for a Lie group $G$ that follows from Hamilton's principle for a certain class of $G$-invariant Lagrangians. The SO(3)-strand is the $G$-strand version of the rigid body equation and it may be regarded physically as a continuous spin chain. Here, $SO(3)_K$-strand dynamics for ellipsoidal rotations is derived as an Euler-Poincaré system for a certain class of variations and recast as a Lie-Poisson system for coadjoint flow with the same Hamiltonian structure as for a perfect complex fluid. For a special Hamiltonian, the $SO(3)_K$-strand is mapped into a completely integrable generalization of the classical chiral model for the SO(3)-strand. Analogous results are obtained for the $Sp(2)$-strand. The $Sp(2)$-strand is the $G$-strand version of the $Sp(2)$ Bloch-Iserles ordinary differential equation, whose solutions exhibit dynamical sorting. Numerical solutions show nonlinear interactions of coherent wave-like solutions in both cases. ${\rm Diff}(\mathbb{R})$-strand equations on the diffeomorphism group $G={\rm Diff}(\mathbb{R})$ are also introduced and shown to admit solutions with singular support (e.g., peakons).

nlin.CD↗

arXiv2012

Multiscale Turbulence Models Based on Convected Fluid Microstructure

The Euler-Poincaré approach to complex fluids is used to derive multiscale equations for computationally modelling Euler flows as a basis for modelling turbulence. The model is based on a \emph{kinematic sweeping ansatz} (KSA) which assumes that the mean fluid flow serves as a Lagrangian frame of motion for the fluctuation dynamics. Thus, we regard the motion of a fluid parcel on the computationally resolvable length scales as a moving Lagrange coordinate for the fluctuating (zero-mean) motion of fluid parcels at the unresolved scales. Even in the simplest 2-scale version on which we concentrate here, the contributions of the fluctuating motion under the KSA to the mean motion yields a system of equations that extends known results and appears to be suitable for modelling nonlinear backscatter (energy transfer from smaller to larger scales) in turbulence using multiscale methods.

physics.flu-dyn↗

arXiv2011

Invariant higher-order variational problems II

Motivated by applications in computational anatomy, we consider a second-order problem in the calculus of variations on object manifolds that are acted upon by Lie groups of smooth invertible transformations. This problem leads to solution curves known as Riemannian cubics on object manifolds that are endowed with normal metrics. The prime examples of such object manifolds are the symmetric spaces. We characterize the class of cubics on object manifolds that can be lifted horizontally to cubics on the group of transformations. Conversely, we show that certain types of non-horizontal geodesics on the group of transformations project to cubics. Finally, we apply second-order Lagrange--Poincaré reduction to the problem of Riemannian cubics on the group of transformations. This leads to a reduced form of the equations that reveals the obstruction for the projection of a cubic on a transformation group to again be a cubic on its object manifold.

math.OC↗

arXiv2011

Geometric integrators for higher-order mechanics on Lie groups

This paper develops a structure-preserving numerical integration scheme for a class of higher-order mechanical systems. The dynamics of these systems are governed by invariant variational principles defined on higher-order tangent bundles of Lie groups. The variational principles admit Lagrangians that depend on acceleration, for example. The symmetry reduction method used in the Hamilton--Pontryagin approach for developing variational integrators of first-order mechanics is extended here to higher order. The paper discusses the general approach and then focuses on the primary example of Riemannian cubics. Higher-order variational integrators are developed both for the discrete-time integration of the initial value problem and for a particular type of trajectory-planning problem. The solution of the discrete trajectory-planning problem for higher-order interpolation among points on the sphere illustrates the approach.

math.DS↗

arXiv2011

Euler-Poincaré formulation of hybrid plasma models

Three different hybrid Vlasov-fluid systems are derived by applying reduction by symmetry to Hamilton's variational principle. In particular, the discussion focuses on the Euler-Poincaré formulation of three major hybrid MHD models, which are compared in the same framework. These are the current-coupling scheme and two different variants of the pressure-coupling scheme. The Kelvin-Noether theorem is presented explicitly for each scheme, together with the Poincaré invariants for its hot particle trajectories. Extensions of Ertel's relation for the potential vorticity and for its gradient are also found in each case, as well as new expressions of cross helicity invariants.

nlin.CD↗

arXiv2011

The n:m resonance dual pair

In this paper we build dual pairs of Poisson maps \[ \RR\stackrel{R_\pm}{\longleftarrow}(D,\om_\pm) \stackrel{Π_\pm}{\longrightarrow} B \] associated to $n:m$ resonance, as well as to $n:-m$ resonance. Except for the above mentioned cases $1:\pm1$, these are not pairs of momentum maps. Here $D$ is an open subset of $\CC^2$ with the above mentioned symplectic forms $\om_\pm$, and $B$ an open subset of $\RR^3$. The Poisson structure on $B$, which depends on the natural numbers $n$ and $m$, is not Lie-Poisson. Instead, its symplectic leaves are the Kummer shapes: bounded surfaces for $n:m$ resonance, and unbounded surfaces for $n:-m$ resonance

math.DS↗

arXiv2010

The effect of subfilter-scale physics on regularization models

The subfilter-scale (SFS) physics of regularization models are investigated to understand the regularizations' performance as SFS models. The strong suppression of spectrally local SFS interactions and the conservation of small-scale circulation in the Lagrangian-averaged Navier-Stokes alpha-model (LANS-alpha) is found to lead to the formation of rigid bodies. These contaminate the superfilter-scale energy spectrum with a scaling that approaches k^1 as the SFS spectra is resolved. The Clark-alpha and Leray-alpha models, truncations of LANS-alpha, do not conserve small-scale circulation and do not develop rigid bodies. LANS-alpha, however, is closest to Navier-Stokes in intermittency properties. All three models are found to be stable at high Reynolds number. Differences between L^2 and H^1 norm models are clarified. For magnetohydrodynamics (MHD), the presence of the Lorentz force as a source (or sink) for circulation and as a facilitator of both spectrally nonlocal large to small scale interactions as well as local SFS interactions prevents the formation of rigid bodies in Lagrangian-averaged MHD (LAMHD-alpha). We find LAMHD-alpha performs well as a predictor of superfilter-scale energy spectra and of intermittent current sheets at high Reynolds numbers. We expect it may prove to be a generally applicable MHD-LES.

physics.flu-dyn↗

arXiv2010

Helical states of nonlocally interacting molecules and their linear stability: geometric approach

The equations for strands of rigid charge configurations interacting nonlocally are formulated on the special Euclidean group, SE(3), which naturally generates helical conformations. Helical stationary shapes are found by minimizing the energy for rigid charge configurations positioned along an infinitely long molecule with charges that are off-axis. The classical energy landscape for such a molecule is complex with a large number of energy minima, even when limited to helical shapes. The question of linear stability and selection of stationary shapes is studied using an SE(3) method that naturally accounts for the helical geometry. We investigate the linear stability of a general helical polymer that possesses torque-inducing non-local self-interactions and find the exact dispersion relation for the stability of the helical shapes with an arbitrary interaction potential. We explicitly determine the linearization operators and compute the numerical stability for the particular example of a linear polymer comprising a flexible rod with a repeated configuration of two equal and opposite off-axis charges, thereby showing that even in this simple case the non-local terms can induce instability that leads to the rod assuming helical shapes.

math-ph↗

arXiv2010

Exact geometric theory of dendronized polymer dynamics

Dendronized polymers consist of an elastic backbone with a set of iterated branch structures (dendrimers)attached at every base point of the backbone. The conformations of such molecules depend on the elastic deformation of the backbone and the branches, as well as on nonlocal (e.g., electrostatic, or Lennard-Jones) interactions between the elementary molecular units comprising the dendrimers and/or backbone. We develop a geometrically exact theory for the dynamics of such polymers, taking into account both local (elastic) and nonlocal interactions. The theory is based on applying symmetry reduction of Hamilton's principle for a Lagrangian defined on the tangent bundle of iterated semidirect products of the rotation groups that represent the relative orientations of the dendritic branches of the polymer. The resulting symmetry-reduced equations of motion are written in conservative form.

nlin.CD↗

arXiv2010

Extreme events in solutions of hydrostatic and non-hydrostatic climate models

Initially this paper reviews the mathematical issues surrounding the hydrostatic (HPE) and non-hydrostatic (NPE) primitive equations that have been used extensively in numerical weather prediction and climate modelling. Cao and Titi (2005, 2007) have provided a new impetus to this by proving existence and uniqueness of solutions of viscous HPE on a cylinder with Neumann-like boundary conditions on the top and bottom. In contrast, the regularity of solutions of NPE remains an open question. With this HPE regularity result in mind, the second issue examined in this paper is whether extreme events are allowed to arise spontaneously in their solutions. Such events could include, for example, the sudden appearance and disappearance of locally intense fronts that do not involve deep convection. Analytical methods are used to show that for viscous HPE, the creation of small-scale structures is allowed locally in space and time at sizes that scale inversely with the Reynolds number.

nlin.CD↗

arXiv2010

Double bracket dissipation in kinetic theory for particles with anisotropic interactions

We derive equations of motion for the dynamics of anisotropic particles directly from the dissipative Vlasov kinetic equations, with the dissipation given by the double bracket approach (Double Bracket Vlasov, or DBV). The moments of the DBV equation lead to a nonlocal form of Darcy's law for the mass density. Next, kinetic equations for particles with anisotropic interaction are considered and also cast into the DBV form. The moment dynamics for these double bracket kinetic equations is expressed as Lie-Darcy continuum equations for densities of mass and orientation. We also show how to obtain a Smoluchowski model from a cold plasma-like moment closure of DBV. Thus, the double bracket kinetic framework serves as a unifying method for deriving different types of dynamics, from density--orientation to Smoluchowski equations. Extensions for more general physical systems are also discussed.

nlin.AO↗

arXiv2010

Smooth and Peaked Solitons of the CH equation

The relations between smooth and peaked soliton solutions are reviewed for the Camassa-Holm (CH) shallow water wave equation in one spatial dimension. The canonical Hamiltonian formulation of the CH equation in action-angle variables is expressed for solitons by using the scattering data for its associated isospectral eigenvalue problem, rephrased as a Riemann-Hilbert problem. The momentum map from the action-angle scattering variables $T^*({\mathbb{T}^N})$ to the flow momentum ($\mathfrak{X}^*$) provides the Eulerian representation of the $N$-soliton solution of CH in terms of the scattering data and squared eigenfunctions of its isospectral eigenvalue problem. The dispersionless limit of the CH equation and its resulting peakon solutions are examined by using an asymptotic expansion in the dispersion parameter. The peakon solutions of the dispersionless CH equation in one dimension are shown to generalize in higher dimensions to peakon wave-front solutions of the EPDiff equation whose associated momentum is supported on smoothly embedded subspaces. The Eulerian representations of the singular solutions of both CH and EPDiff are given by the (cotangent-lift) momentum maps arising from the left action of the diffeomorphisms on smoothly embedded subspaces.

nlin.CD↗

arXiv2009

The Square Root Depth Wave Equations

We introduce a set of coupled equations for multilayer water waves that removes the ill-posedness of the multilayer Green-Naghdi (MGN) equations in the presence of shear. The new well-posed equations are Hamiltonian and in the absence of imposed background shear they retain the same travelling wave solutions as MGN. We call the new model the Square Root Depth equations, from the modified form of their kinetic energy of vertical motion. Our numerical results show how the Square Root Depth equations model the effects of multilayer wave propagation and interaction, with and without shear.

physics.flu-dyn↗

arXiv2009

Lagrange-Poincare field equations

The Lagrange-Poincare equations of classical mechanics are cast into a field theoretic context together with their associated constrained variational principle. An integrability/reconstruction condition is established that relates solutions of the original problem with those of the reduced problem. The Kelvin-Noether theorem is formulated in this context. Applications to the isoperimetric problem, the Skyrme model for meson interaction, metamorphosis image dynamics, and molecular strands illustrate various aspects of the theory.

nlin.CD↗

arXiv2009

Euler's fluid equations: Optimal Control vs Optimization

An optimization method used in image-processing (metamorphosis) is found to imply Euler's equations for incompressible flow of an inviscid fluid, without requiring that the Lagrangian particle labels exactly follow the flow lines of the Eulerian velocity vector field. Thus, an optimal control problem and an optimization problem for incompressible ideal fluid flow both yield the \emph {same} Euler fluid equations, although their Lagrangian parcel dynamics are \emph{different}. This is a result of the \emph{gauge freedom} in the definition of the fluid pressure for an incompressible flow, in combination with the symmetry of fluid dynamics under relabeling of their Lagrangian coordinates. Similar ideas are also illustrated for SO(N) rigid body motion.

nlin.CD↗