Showing 1–16 of 16 results for author: Saunders, D J

Lepage Equivalents and the Variational Bicomplex

Authors: David Saunders

Abstract: We show how to construct, for a Lagrangian of arbitrary order, a Lepage equivalent satisfying the closure property: that the Lepage equivalent vanishes precisely when the Lagrangian is null. The construction uses a homotopy operator for the horizontal differential of the variational bicomplex. A choice of symmetric linear connection on the manifold of independent variables, and a global homotopy o… ▽ More We show how to construct, for a Lagrangian of arbitrary order, a Lepage equivalent satisfying the closure property: that the Lepage equivalent vanishes precisely when the Lagrangian is null. The construction uses a homotopy operator for the horizontal differential of the variational bicomplex. A choice of symmetric linear connection on the manifold of independent variables, and a global homotopy operator constructed using that connection, may then be used to extend any global Lepage equivalent to one satisfying the closure property. In the second part of the paper we investigate the rôle of vertical endomorphisms in constructing such Lepage equivalents. These endomorphisms may be used directly to construct local homotopy operators. Together with a symmetric linear connection they may also be used to construct global vertical tensors, and these define infinitesimal nonholonomic projections which in turn may be used to construct Lepage equivalents. We conjecture that these global vertical tensors may also be used to define global homotopy operators. △ Less

Submitted 9 February, 2024; v1 submitted 4 September, 2023; originally announced September 2023.

MSC Class: 58A10; 58A20; 83D05

Journal ref: SIGMA 20 (2024), 013, 18 pages

Covariant derivatives for Ehresmann connections

Authors: G. E. Prince, D. J. Saunders

Abstract: We deal with the construction of covariant derivatives for some quite general Ehresmann connections on fibre bundles. We show how the introduction of a vertical endomorphism allows construction of covariant derivatives separately on both the vertical and horizontal distributions of the connection which can then be glued together on the total space. We give applications across an important class of… ▽ More We deal with the construction of covariant derivatives for some quite general Ehresmann connections on fibre bundles. We show how the introduction of a vertical endomorphism allows construction of covariant derivatives separately on both the vertical and horizontal distributions of the connection which can then be glued together on the total space. We give applications across an important class of tangent bundle cases, frame bundles and the Hopf bundle. △ Less

Submitted 5 April, 2022; v1 submitted 14 October, 2021; originally announced October 2021.

MSC Class: Primary 53C05; 53B05 Secondary 34A26

Linear connections and shape maps for second order ODEs with and without constraints

Authors: G. E. Prince, M. Farré Puiggalí, D. J. Saunders, D. Martín de Diego

Abstract: We deal with the construction of linear connections associated with second order ordinary differential equations with and without first order constraints. We use a novel method allowing glueing of submodule covariant derivatives to produce new, closed form expressions for the Massa-Pagani connection and our extension of it to the constrained case. We deal with the construction of linear connections associated with second order ordinary differential equations with and without first order constraints. We use a novel method allowing glueing of submodule covariant derivatives to produce new, closed form expressions for the Massa-Pagani connection and our extension of it to the constrained case. △ Less

Submitted 22 September, 2021; v1 submitted 5 July, 2021; originally announced July 2021.

MSC Class: Primary 34A26; 53C05; 70G45 Secondary 34C40; 53B05

On Lagrangians with Reduced-Order Euler-Lagrange Equations

Authors: David Saunders

Abstract: If a Lagrangian defining a variational problem has order $k$ then its Euler-Lagrange equations generically have order $2k$. This paper considers the case where the Euler-Lagrange equations have order strictly less than $2k$, and shows that in such a case the Lagrangian must be a polynomial in the highest-order derivative variables, with a specific upper bound on the degree of the polynomial. The p… ▽ More If a Lagrangian defining a variational problem has order $k$ then its Euler-Lagrange equations generically have order $2k$. This paper considers the case where the Euler-Lagrange equations have order strictly less than $2k$, and shows that in such a case the Lagrangian must be a polynomial in the highest-order derivative variables, with a specific upper bound on the degree of the polynomial. The paper also provides an explicit formulation, derived from a geometrical construction, of a family of such $k$-th order Lagrangians, and it is conjectured that all such Lagrangians arise in this way. △ Less

Submitted 25 August, 2018; v1 submitted 21 January, 2018; originally announced January 2018.

Journal ref: SIGMA 14 (2018), 089, 13 pages

Shape maps for second order partial differential equations

Authors: O. Rossi, D. J. Saunders, G. E. Prince

Abstract: We analyse the singularity formation of congruences of solutions of systems of second order PDEs via the construction of \emph{shape maps}. The trace of such maps represents a congruence volume whose collapse we study through an appropriate evolution equation, akin to Raychaudhuri's equation. We develop the necessary geometric framework on a suitable jet space in which the shape maps appear natura… ▽ More We analyse the singularity formation of congruences of solutions of systems of second order PDEs via the construction of \emph{shape maps}. The trace of such maps represents a congruence volume whose collapse we study through an appropriate evolution equation, akin to Raychaudhuri's equation. We develop the necessary geometric framework on a suitable jet space in which the shape maps appear naturally associated with certain linear connections. Explicit computations are given, along with a nontrivial example. △ Less

Submitted 15 December, 2015; originally announced December 2015.

MSC Class: 58J47; 58J60; 58A20; 35G50; 35N99

Tangent bundle geometry induced by second order partial differential equations

Authors: D. J. Saunders, O. Rossi, G. E. Prince

Abstract: We show how the tangent bundle decomposition generated by a system of ordinary differential equations may be generalized to the case of a system of second order PDEs `of connection type'. Whereas for ODEs the decomposition is intrinsic, for PDEs it is necessary to specify a closed 1-form on the manifold of independent variables, together with a transverse local vector field. The resulting decompos… ▽ More We show how the tangent bundle decomposition generated by a system of ordinary differential equations may be generalized to the case of a system of second order PDEs `of connection type'. Whereas for ODEs the decomposition is intrinsic, for PDEs it is necessary to specify a closed 1-form on the manifold of independent variables, together with a transverse local vector field. The resulting decomposition provides several natural curvature operators. The harmonic map equation is examined, and in this case both the 1-form and the vector field arise naturally. △ Less

Submitted 16 December, 2015; v1 submitted 7 December, 2014; originally announced December 2014.

MSC Class: 58J60 58A20 35G50 35N99

Hilbert forms for a Finsler metrizable projective class of sprays

Authors: M. Crampin, T. Mestdag, D. J. Saunders

Abstract: The projective Finsler metrizability problem deals with the question whether a projective-equivalence class of sprays is the geodesic class of a (locally or globally defined) Finsler function. In this paper we use Hilbert-type forms to state a number of different ways of specifying necessary and sufficient conditions for this to be the case, and we show that they are equivalent. We also address se… ▽ More The projective Finsler metrizability problem deals with the question whether a projective-equivalence class of sprays is the geodesic class of a (locally or globally defined) Finsler function. In this paper we use Hilbert-type forms to state a number of different ways of specifying necessary and sufficient conditions for this to be the case, and we show that they are equivalent. We also address several related issues of interest including path spaces, Jacobi fields, totally-geodesic submanifolds of a spray space, and the equivalence of path geometries and projective-equivalence classes of sprays. △ Less

Submitted 11 January, 2013; v1 submitted 29 June, 2012; originally announced June 2012.

Comments: 23 pages

MSC Class: 53C60

Journal ref: Diff. Geom. Appl. 31 (2013) 63-79

The multiplier approach to the projective Finsler metrizability problem

Authors: M. Crampin, T. Mestdag, D. J. Saunders

Abstract: This paper is concerned with the problem of determining whether a projective-equivalence class of sprays is the geodesic class of a Finsler function. We address both the local and the global aspects of this problem. We present our results entirely in terms of a multiplier, that is, a type (0,2) tensor field along the tangent bundle projection. In the course of the analysis we consider several rela… ▽ More This paper is concerned with the problem of determining whether a projective-equivalence class of sprays is the geodesic class of a Finsler function. We address both the local and the global aspects of this problem. We present our results entirely in terms of a multiplier, that is, a type (0,2) tensor field along the tangent bundle projection. In the course of the analysis we consider several related issues of interest including the positivity and strong convexity of positively-homogeneous functions, the relation to the so-called Rapcsák conditions, some peculiarities of the two-dimensional case, and geodesic convexity for sprays. △ Less

Submitted 14 March, 2012; originally announced March 2012.

Comments: 25 pages

MSC Class: 53C60

Journal ref: Diff. Geom. Appl. 30 (2012) 604 - 621

Homogeneity and projective equivalence of differential equation fields

Authors: M. Crampin, D. J. Saunders

Abstract: We propose definitions of homogeneity and projective equivalence for systems of ordinary differential equations of order greater than two, which allow us to generalize the concept of a spray (for systems of order two). We show that the Euler-Lagrange fields of parametric Lagrangians of order greater than one which are regular (in a natural sense that we define) form a projective equivalence class… ▽ More We propose definitions of homogeneity and projective equivalence for systems of ordinary differential equations of order greater than two, which allow us to generalize the concept of a spray (for systems of order two). We show that the Euler-Lagrange fields of parametric Lagrangians of order greater than one which are regular (in a natural sense that we define) form a projective equivalence class of homogeneous systems. We show further that the geodesics, or base integral curves, of projectively equivalent homogeneous differential equation fields are the same apart from orientation-preserving reparametrization; that is, homogeneous differential equation fields determine systems of paths. △ Less

Submitted 16 September, 2011; originally announced September 2011.

MSC Class: 34A26; 70H03; 70H50

Double structures and jets

Authors: D. J. Saunders

Abstract: We show how the double vector bundle structure of the manifold of double velocities, with its submanifolds of holonomic and semiholonomic double velocities, is mirrored by a structure of holonomic and semiholonomic subgroups in the principal prolongation of the first jet group. We use the actions of these groups to construct holonomic and semiholonomic submanifolds in the manifold of double contac… ▽ More We show how the double vector bundle structure of the manifold of double velocities, with its submanifolds of holonomic and semiholonomic double velocities, is mirrored by a structure of holonomic and semiholonomic subgroups in the principal prolongation of the first jet group. We use the actions of these groups to construct holonomic and semiholonomic submanifolds in the manifold of double contact elements, and show that these give rise to affine bundles where a semiholonomic element has well-defined holonomic and curvature components. △ Less

Submitted 30 August, 2011; originally announced August 2011.

Comments: Based on a talk given at a meeting in Krakow for the eightieth birthday of W. M. Tulczyjew

MSC Class: 58A20; 53C05

Homogeneous variational problems: a minicourse

Authors: D. J. Saunders

Abstract: A Finsler geometry may be understood as a homogeneous variational problem, where the Finsler function is the Lagrangian. The extremals in Finsler geometry are curves, but in more general variational problems we might consider extremal submanifolds of dimension $m$. In this minicourse we discuss these problems from a geometric point of view. A Finsler geometry may be understood as a homogeneous variational problem, where the Finsler function is the Lagrangian. The extremals in Finsler geometry are curves, but in more general variational problems we might consider extremal submanifolds of dimension $m$. In this minicourse we discuss these problems from a geometric point of view. △ Less

Submitted 30 August, 2011; originally announced August 2011.

Comments: This paper is a written-up version of the major part of a minicourse given at the sixth Bilateral Workshop on Differential Geometry and its Applications, held in Ostrava in May 2011

MSC Class: 35A15; 58A10; 58A20

Holonomy of a class of bundles with fibre metrics

Authors: M. Crampin, D. J. Saunders

Abstract: This paper is concerned with the holonomy of a class of spaces which includes Landsberg spaces of Finsler geometry. The methods used are those of Lie groupoids and algebroids as developed by Mackenzie. We prove a version of the Ambrose-Singer Theorem for such spaces. The paper ends with a discussion of how the results may be extended to Finsler spaces and homogeneous nonlinear connections in gener… ▽ More This paper is concerned with the holonomy of a class of spaces which includes Landsberg spaces of Finsler geometry. The methods used are those of Lie groupoids and algebroids as developed by Mackenzie. We prove a version of the Ambrose-Singer Theorem for such spaces. The paper ends with a discussion of how the results may be extended to Finsler spaces and homogeneous nonlinear connections in general. △ Less

Submitted 29 May, 2010; originally announced May 2010.

The fundamental form of a homogeneous Lagrangian in two independent variables

Authors: D. J. Saunders, M. Crampin

Abstract: We construct, for a homogeneous Lagrangian of arbitrary order in two independent variables, a differential 2-form with the property that it is closed precisely when the Lagrangian is null. This is similar to the property of the `fundamental Lepage equivalent' associated with first-order Lagrangians defined on jets of sections of a fibred manifold. We construct, for a homogeneous Lagrangian of arbitrary order in two independent variables, a differential 2-form with the property that it is closed precisely when the Lagrangian is null. This is similar to the property of the `fundamental Lepage equivalent' associated with first-order Lagrangians defined on jets of sections of a fibred manifold. △ Less

Submitted 19 September, 2007; originally announced September 2007.

MSC Class: 58E99; ;49F99

How to recover a Lagrangian using the homogeneous variational bicomplex

Authors: D. J. Saunders

Abstract: We show how the homogeneous variational bicomplex provides a useful formalism for describing a number of properties of single-integral variational problems, and we introduce a subsequence of one of the rows of the bicomplex which is locally exact with respect to the variational derivative. We are therefore able to recover a Lagrangian from a set of equations given as a variationally-closed diffe… ▽ More We show how the homogeneous variational bicomplex provides a useful formalism for describing a number of properties of single-integral variational problems, and we introduce a subsequence of one of the rows of the bicomplex which is locally exact with respect to the variational derivative. We are therefore able to recover a Lagrangian from a set of equations given as a variationally-closed differential form. As an example, we show how to recover a first-order Lagrangian from a suitable set of second-order equations. △ Less

Submitted 20 December, 2006; originally announced December 2006.

MSC Class: 58E99

The fundamental form of a second-order homogeneous Lagrangian in two variables

Authors: D. J. Saunders

Abstract: We construct, for a second-order homogeneous Lagrangian in two independent variables, a differential 2-form with the property that it is closed precisely when the Lagrangian is null. This is similar to the property of the 'fundamental Lepage equivalent' associated with first-order Lagrangians defined on jets of sections of a fibred manifold. We show that this form may be defined on a fourth-orde… ▽ More We construct, for a second-order homogeneous Lagrangian in two independent variables, a differential 2-form with the property that it is closed precisely when the Lagrangian is null. This is similar to the property of the 'fundamental Lepage equivalent' associated with first-order Lagrangians defined on jets of sections of a fibred manifold. We show that this form may be defined on a fourth-order frame bundle but is not, in general, projectable to a bundle of contact elements △ Less

Submitted 16 December, 2005; originally announced December 2005.

Comments: 20 pages

MSC Class: 58E99

Homogeneous variational complexes and bicomplexes

Authors: D. J. Saunders

Abstract: We present a family of complexes playing the same role, for homogeneous variational problems, that the horizontal parts of the variational bicomplex play for variational problems on a fibred manifold. We show that, modulo certain pullbacks, each of these complexes (apart from the first one) is globally exact. All the complexes may be embedded in bicomplexes, and we show that, again modulo pullba… ▽ More We present a family of complexes playing the same role, for homogeneous variational problems, that the horizontal parts of the variational bicomplex play for variational problems on a fibred manifold. We show that, modulo certain pullbacks, each of these complexes (apart from the first one) is globally exact. All the complexes may be embedded in bicomplexes, and we show that, again modulo pullbacks, the latter are locally exact. The edge sequence is an important part of such a bicomplex, and may be used for the study of homogeneous variational problems. △ Less

Submitted 16 December, 2005; originally announced December 2005.

Comments: 21 pages

MSC Class: 58E99