Driven cofactor systems and Hamilton-Jacobi separability

This is a continuation of the work initiated in a previous paper on so-called driven cofactor systems, which are partially decoupling second-order differential equations of a special kind. The main purpose in that paper was to obtain an intrinsic, geometrical characterization of such systems, and to explain the basic underlying concepts in a brief note. In the present paper we address the more intricate part of the theory. It involves in the first place understanding all details of an algorithmic construction of quadratic integrals and their involutivity. It secondly requires explaining the subtle way in which suitably constructed canonical transformations reduce the Hamilton-Jacobi problem of the (a priori time-dependent) driven part of the system into that of an equivalent autonomous system of St\"ackel type

The inverse problem for Lagrangian systems with certain non-conservative forces

We discuss two generalizations of the inverse problem of the calculus of variations, one in which a given mechanical system can be brought into the form of Lagrangian equations with non-conservative forces of a generalized Rayleigh dissipation type, the other leading to Lagrangian equations with so-called gyroscopic forces. Our approach focusses primarily on obtaining coordinate-free conditions for the existence of a suitable non-singular multiplier matrix, which will lead to an equivalent representation of a given system of second-order equations as one of these Lagrangian systems with non-conservative forces.Comment: 28 page

A Recursive Scheme of First Integrals of the Geodesic Flow of a Finsler Manifold

We review properties of so-called special conformal Killing tensors on a Riemannian manifold $(Q,g)$ and the way they give rise to a Poisson-Nijenhuis structure on the tangent bundle $TQ$. We then address the question of generalizing this concept to a Finsler space, where the metric tensor field comes from a regular Lagrangian function $E$, homogeneous of degree two in the fibre coordinates on $TQ$. It is shown that when a symmetric type (1,1) tensor field $K$ along the tangent bundle projection $\tau: TQ\to Q$ satisfies a differential condition which is similar to the defining relation of special conformal Killing tensors, there exists a direct recursive scheme again for first integrals of the geodesic spray. Involutivity of such integrals, unfortunately, remains an open problem.Comment: This is a contribution to the Proc. of workshop on Geometric Aspects of Integrable Systems (July 17-19, 2006; Coimbra, Portugal), published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA

Comment on 'Conservation laws of higher order nonlinear PDEs and the variational conservation laws in the class with mixed derivatives'

In a recent paper (R Narain and A H Kara 2010 J. Phys. A: Math. Theor. 43 085205), the authors claim to be applying Noether's theorem to higher-order partial differential equations and state that in a large class of examples 'the resultant conserved flows display some previously unknown interesting 'divergence properties' owing to the presence of the mixed derivatives' (citation from their abstract). It turns out that what this obscure sentence is meant to say is that the vector whose divergence must be zero (according to Noether's theorem), turns out to have non-zero divergence and subsequently must be modified to obtain a true conservation law. Clearly this cannot be right: we explain in detail the main source of the error

Alternative kinetic energy metrics for Lagrangian systems

We examine Lagrangian systems on R-n with standard kinetic energy terms for the possibility of additional, alternative Lagrangians with kinetic energy metrics different to the Euclidean one. Using the techniques of the inverse problem in the calculus of variations we find necessary and sufficient conditions for the existence of such Lagrangians. We illustrate the problem in two and three dimensions with quadratic and cubic potentials. As an aside we show that the well-known anomalous Lagrangians for the Coulomb problem can be removed by switching on a magnetic field, providing an appealing resolution of the ambiguous quantizations of the hydrogen atom

Lifting geometric objects to the dual of the first jet bundle of a bundle fibred over R

We study natural lifting operations from a bundle E over R to the dual bundle of its first-jet bundle. The main purpose is to define a complete lift of a type (1,1) tensor field on E and to understand all features of its construction. Various other lifting operations of tensorial objects on E are needed for that purpose. We prove that the complete lift of a type (1,1) tensor with vanishing Nijenhuis torsion gives rise to a Poisson-Nijenhuis structure on the dual of the first-jet bundle, and discuss in detail how the construction of associated Darboux-Nijenhuis coordinates can be carried out

Lifted tensors and Hamilton-Jacobi separability

Starting from a bundle E over R, the dual of the first jet bundle, which is a co-dimension 1 sub-bundle of the cotangent bundle of E, is the appropriate manifold for the geometric description of time-dependent Hamiltonian systems. Based on previous work, we recall properties of the complete lifts of a type (1,1) tensor R on E to both of these manifolds. We discuss how an interplay between these lifted tensors leads to the identification of related distributions on both manifolds. The integrability of these distributions, a coordinate free condition, is shown to produce exactly Forbat's conditions for separability of the time-dependent Hamilton-Jacobi equation in appropriate coordinates