Lifting geometric objects to a cotangent bundle, and the geometry of the cotangent bundle of a tangent bundle

We show that the cotangent bundle T^*T of the tangent bundle of any differentiable manifold carries an integrable almost tangent structure which is generated by a natural lifting procedure from the canonical almost tangent structure (vertical endomorphism) of T . Using this almost tangent structure we show that T^*T is diffeomorphic to a tangent bundle, namely TT^* . This provides a new and geometrically instructive proof of a result of Tulczyjew, which has applications in Lagrangian and Hamiltonian dynamics and in field theory The requisite general definitions and results concerning liftings of geometric objects from a manifold to its cotangent bundle are given. As an application, we shed new light on the meaning of so-called adjoint symmetries of second-order differential equations.     

Spacetimeb-boundaries

It is shown that Schmidt'sb-boundary for a spacetime can be analyzed using a submanifold of the tangent bundle, rather than the principal bundle or the bundle of orthogonal frames.     

Tangent Euler Top in General Relativity

We define the tangent Euler top in General Relativity through a constrained Lagrangian on the orthonormal frame bundle. The corresponding motions are studied to various degrees of approximation, the lowest of which is shown to yield the Mathisson-Papapetrou equations.     

The Hamiltonian formulation of regular rth-order Lagrangian field theories

A Hamiltonian formulation of regular rth-order Lagrangian field theories over an m-dimensional manifold is presented in terms of the Hamilton-Cartan formalism. It is demonstrated that a uniquely determined Cartan m-form may be associated to an rth-order Lagrangian by imposing conditions of congruence modulo a suitably defined system of contact m-forms. A geometric regularity condition is given and it is shown that, for a regular Lagrangian, the momenta defined by the Hamilton-Cartan formalism, together with the coordinates on the (r−1)st-order jet bundle, are a minimal set of local coordinates needed to express the Euler-Lagrange equations. When r is greater than one, the number of variables required is strictly less than the dimension of the (2r−1)st order jet bundle. It is shown that, in these coordinates, the Euler-Lagrange equations take the first-order Hamiltonian form given by de Donder. It is also shown that the geometrically natural generalization of the Hamilton-Jacobi procedure for finding extremals is equivalent to de Donder's Hamilton-Jacobi equation. Research supported by the Natural Sciences and Engineering Research Council.     

A Note on the Equivalence of Post-Newtonian Lagrangian and Hamiltonian Formulations

Recently,it has been generally claimed that a low order post-Newtonian(PN)Lagrangian formulation,whose Euler-Lagrange equations are up to an infinite PN order,can be identical to a PN Hamiltonian formulation at the infinite order from a theoretical point of view.In general,this result is difficult to check because the detailed expressions of the Euler-Lagrange equations and the equivalent Hamiltonian at the infinite order are clearly unknown.However,there is no difficulty in some cases.In fact,this claim is shown analytically by means of a special first-order post-Newtonian(1PN)Lagrangian formulation of relativistic circular restricted three-body problem,where both the Euler-Lagrange equations and the equivalent Hamiltonian are not only expanded to all PN orders,but have converged functions.It is also shown numerically that both the Euler-Lagrange equations of the low order Lagrangian and the Hamiltonian are equivalent only at high enough finite orders.     

Dirac operators on Lagrangian submanifolds

We study a natural Dirac operator on a Lagrangian submanifold of a Kähler manifold. We first show that its square coincides with the Hodge–de Rham Laplacian provided the complex structure identifies the spin structures of the tangent and normal bundles of the submanifold. We then give extrinsic estimates for the eigenvalues of that operator and discuss some examples.     

Gravitational energy-momentum: The Einstein pseudotensor reexamined

By using a suitable two-point scalar field, a covariant formulation of the Einstein pseudotensor is given. A unique choice of scalar field is made possible by examining the role of linear and angular momentum in their correct geometric context. It is shown that, contrary to many text-book statements, linear momentum is not generated by infinitesimal coordinate transformations on space-time. Use is made of the nonintersecting lifted geodesies on the tangent bundle,T M, to space-time, to define a globally regular three-dimensional Lagrangian submanifold ofT M, relative to an observer at some pointz in space-time. By integrating over this submanifold rather than a necessarily singular spacelike hypersurface, gravitational linear and angular momentum, relative toz, are defined, and shown to have sensible physical properties.This essay received an honorable mention from the Gravity Research Foundation for the year 1979-Ed.     

The neutrino energy-momentum tensor and the Weyl equations in curved space-time

In general, a first order Lagrangian gives rise to second order Euler-Lagrange equations. However, there are important examples where the associated Euler-Lagrange equations are of first order only, the Weyl neutrino equations being of this type. In this paper we therefore consider first order spinor Lagrangians which give rise to firstorder Euler-Lagrange equations. Specifically, the most general first order spinor field equations of rank one in curved space-time which are derivable from a first order Lagrangian of the same type are explicitly constructed. Subject to a certain restriction, the Weyl neutrino equation is the only possibility. Furthermore, if the spinor field satisfies the Weyl neutrino equation, then the associated energy momentum tensor is the conventional neutrino energymomentum tensor.     

Defining Euler-Lagrange fields in terms of almost tangent structures

It is shown that a differentiable manifold with an almost tangent structure provides a suitably general setting for lagrangian dynamics, in analogy to the way that a symplectic manifold provides a suitably general setting for hamiltonian dynamics; and it is shown how a closed 1-form on a manifold with almost tangent structure determines a vector field, its Euler-Lagrange field, whose integral curves are solutions of the Euler-Lagrange equations for a suitable lagrangian function.     

On Symplectic and Multisymplectic Structures and Their Discrete Versions in Lagrangian Formalism

We introduce the Euler-Lagrange cohomology to study the symplectic and multisymplectic structures and their preserving properties in finite and infinite dimensional Lagrangian systems respectively.We also explore their certain difference discrete counterparts in the relevant regularly discretized finite and infinite dimensional Lagrangian systems by means of the difference discrete variational principle with the difference being regarded as an entire grometric object and the noncommutative differential calculus on regular lattice.In order to show that in all these cases the symplectic and multisymplectic preserving properties do not necessarily depend on the relevant Euler-Lagrange equations,the Euler-Lagrange cohomological concepts and content in the configuration space are employed.     

Difference Discrete Variational Principles,Euler—Lagrange Cohomology and Symplectic,Multisymplectic Structures Ⅲ：Application to Symplectic and Multisymplectic Algorithms

In the previous papers I and II,we have studied the difference discrete variational principle and the Euler-Lagrange cohomology in the framework of multi-parameter differential approach.We have gotten the difference discrete Euler-Lagrange equations and canonical ones for the difference discrete versions of classical mechanics and field theory as well as the difference discrete versions for the Euler-Lagrange cohomology and applied them to get the necessary and sufficient condition for the symplectic or multisymplectic geometry preserving properties in both the lagrangian and Hamiltonian formalisms.In this paper,we apply the difference discrete variational principle and Euler-Lagrange cohomological approach directly to the symplectic and multisymplectic algorithms.We will show that either Hamiltonian schemes of Lagrangian ones in both the symplectic and multisymplectic algorithms are variational integrators and their difference discrete symplectic structure-preserving properties can always be established not only in the solution space but also in the function space if and only if the related closed Euler-Lagrange cohomological conditions are satisfied.     

The Dual Action of Fractional Multi Time Hamilton Equations

The fractional multi time Lagrangian equations has been derived for dynamical systems within Riemann-Liouville derivatives. The fractional multi time Hamiltonian is introduced as Legendre transformation of multi time Lagrangian. The corresponding fractional Euler-Lagrange and the Hamilton equations are obtained and the fractional multi time constant of motion are discussed.     

Higher-Order Lagrangian Equations of Higher-Order Motive Mechanical System

In this paper, if the condition of variation δt=0 is satisfied, the higher-order Lagrangian equations and higher-order Hamilton's equations, which show the consistency with the results of traditional analytical mechanics, are obtained from the higher-order Lagrangian equations and higher-order Hamilton's equations. The results can enrich the theory of analytical mechanics.     

Variational derivation of KdV-type models for surface water waves

Using the Hamiltonian formulation of surface waves, we approximate the kinetic energy and restrict the governing generalized action principle to a submanifold of uni-directional waves. Different from the usual method of using a series expansion in parameters related to wave height and wavelength, the variational methods retains the Hamiltonian structure (with consequent energy and momentum conservation) and makes it possible to derive equations for any dispersive approximation. Consequentially, the procedure is valid for waves above finite and above infinite depth, and for any approximation of dispersion, while quadratic terms in the wave height are modeled correctly. For finite depth this leads to higher-order KdV type of equations with terms of different spatial order. For waves above infinite depth, the pseudo-differential operators cannot be approximated by finite differential operators and all quadratic terms are of the same spatial order.     

Integrable systems of partial differential equations determined by structure equations and Lax pair

It is shown how a system of evolution equations can be developed both from the structure equations of a submanifold embedded in three-space as well as from a matrix SO(6) Lax pair. The two systems obtained this way correspond exactly when a constraint equation is selected and imposed on the system of equations. This allows for the possibility of selecting the coefficients in the second fundamental form in a general way.     

A geometric approach to Noether's Second Theorem in time-dependent lagrangian mechanics

We analyse Noether's Second Theorem from a geometric viewpoint using the concepts of vector fields and forms along tangent bundle projections.     

An algebraic approach to discrete mechanics

Using basic ideas from algebraic geometry, we extend the methods of Lagrangian and symplectic mechanics to treat a large class of discrete mechanical systems, that is, systems such as cellular automata in which time proceeds in integer steps and the configuration space is discrete. In particular, we derive an analog of the Euler-Lagrange equation from a variational principle, and prove an analog of Noether's theorem. We also construct a symplectic structure on the analog of the phase space, and prove that it is preserved by time evolution.     

Invariant Higher-Order Variational Problems

We investigate higher-order geometric k-splines for template matching on Lie groups. This is motivated by the need to apply diffeomorphic template matching to a series of images, e.g., in longitudinal studies of Computational Anatomy. Our approach formulates Euler-Poincaré theory in higher-order tangent spaces on Lie groups. In particular, we develop the Euler-Poincaré formalism for higher-order variational problems that are invariant under Lie group transformations. The theory is then applied to higher-order template matching and the corresponding curves on the Lie group of transformations are shown to satisfy higher-order Euler-Poincaré equations. The example of SO(3) for template matching on the sphere is presented explicitly. Various cotangent bundle momentum maps emerge naturally that help organize the formulas. We also present Hamiltonian and Hamilton-Ostrogradsky Lie-Poisson formulations of the higher-order Euler-Poincaré theory for applications on the Hamiltonian side.     

Projective Invariance and Einstein's Equations

It is shown that a projectively invariant Lagrangian field theory based on linear non-symmetric connections in space-time and arbitrary source fields is equivalent to Einstein's standard theory of gravitation coupled to a source Lagrangian depending solely on the original source fields. A key point is that, as in the case of Lagrangian field theories based on symmetric connections in space-time, the Euler-Lagrange field equations uniquely determine the projective invariant part of the linear connection in terms of the metric, their first-order derivatives, the source fields, and their conjugate momenta.     

Lagrangian Form of the Self-Dual Equations for SU(N) Gauge Fields on Four-Dimensional Euclidean Space

By compactifying the four-dimensional Euclidean space into S₂×S₂ manifold and introducing two topological relevant Wess-Zumino terms to H_n≡SL(n, c)/SU(n) nonlinear sigma model, we construct a Lagrangian form for SU(n) self-dual Yang-Mills field, from which the self-dual equations follow as the Euler-Lagrange equations.