Higher order Lagrange-Poincaré and Hamilton-Poincaré reductions

Motivated by the problem of longitudinal data assimilation, e.g., in the registration of a sequence of images, we develop the higher-order framework for Lagrangian and Hamiltonian reduction by symmetry in geometric mechanics. In particular, we obtain the reduced variational principles and the associated Poisson brackets. The special case of higher order Euler-Poincaré and Lie-Poisson reduction is also studied in detail.     

Geometric Integrators for Higher-Order Variational Systems and Their Application to Optimal Control

Numerical methods that preserve geometric invariants of the system, such as energy, momentum or the symplectic form, are called geometric integrators. In this paper we present a method to construct symplectic-momentum integrators for higher-order Lagrangian systems. Given a regular higher-order Lagrangian \(L:T^{(k)}Q\rightarrow {\mathbb {R}}\) with \(k\ge 1\), the resulting discrete equations define a generally implicit numerical integrator algorithm on \(T^{(k-1)}Q\times T^{(k-1)}Q\) that approximates the flow of the higher-order Euler–Lagrange equations for L. The algorithm equations are called higher-order discrete Euler–Lagrange equations and constitute a variational integrator for higher-order mechanical systems. The general idea for those variational integrators is to directly discretize Hamilton’s principle rather than the equations of motion in a way that preserves the invariants of the original system, notably the symplectic form and, via a discrete version of Noether’s theorem, the momentum map. We construct an exact discrete Lagrangian \(L_d^e\) using the locally unique solution of the higher-order Euler–Lagrange equations for L with boundary conditions. By taking the discrete Lagrangian as an approximation of \(L_d^e\), we obtain variational integrators for higher-order mechanical systems. We apply our techniques to optimal control problems since, given a cost function, the optimal control problem is understood as a second-order variational problem.     

Poincare‘—Cartan积分不变量的推广和Dirac猜想

该文将Poincare－Cartan积分不变量推广到显含时间的高阶微商奇异拉氏量系统，研究了该不变量与正则方程、正则变换之间的联系，讨论了广义Poincare－Cartan积分不变量与Dirac猜想的关系，以一个例子说明，对高阶微商奇异拉氏量系统，Dirac猜想是无效的．     

Variational and Geometric Structures of Discrete Dirac Mechanics

In this paper, we develop the theoretical foundations of discrete Dirac mechanics, that is, discrete mechanics of degenerate Lagrangian/Hamiltonian systems with constraints. We first construct discrete analogues of Tulczyjew’s triple and induced Dirac structures by considering the geometry of symplectic maps and their associated generating functions. We demonstrate that this framework provides a means of deriving discrete Lagrange–Dirac and nonholonomic Hamiltonian systems. In particular, this yields nonholonomic Lagrangian and Hamiltonian integrators. We also introduce discrete Lagrange–d’Alembert–Pontryagin and Hamilton–d’Alembert variational principles, which provide an alternative derivation of the same set of integration algorithms. The paper provides a unified treatment of discrete Lagrangian and Hamiltonian mechanics in the more general setting of discrete Dirac mechanics, as well as a generalization of symplectic and Poisson integrators to the broader category of Dirac integrators.     

Newton—Riemann时空中的动力学（Ⅳ）

讨论了Newton-Riemann时空中的Lagrange力学及其与N－R时空中的Newton力学及Hamilton力学的关系。     

Singularities of Lagrangian varieties and related topics

We study the classification problem for generic projections of Lagrangian submanifolds. A classification list for symmetric Lagrangian submanifolds is obtained and the generic evolutions of symmetric caustics are illustrated. We show how the singular Lagrangian varieties appear in the invariant theory of binary forms and we introduce the basic concepts of the desingularization procedure. Applications to differential geometry, geometrical optics, and mechanics are presented.     

Generalized Lagrangians and Spinning Particles

We show that the spin structure of elementary particles can be naturally described by the generalized Ostrogradskii Lagrangians depending on higher-order derivatives. One component of a spin is related to the rotation of a particle and the other one, caused by the dependence of a Lagrangian on the acceleration, is known as a zitterbewegung component of spin.     

Variational Formulations for Viscous Flow

For physical systems, the dynamics of which is formulated within the framework of Lagrange formalism the dynamics is completely defined by only one function, namely the Lagrangian. As well-known the whole conservative Newtonian mechanics has been successfully embedded into this methodical concept. Different from this, in continuum theories many open questions remain up to date, especially when considering dissipative processes. The viscous flow of a fluid, given by the Navier-Stokes equations is a typical example for this. In this contribution a special approach for finding a Lagrangian for viscous flow is suggested and discussed. The equations of motion resulting from the respective Lagrangian are compared to the Navier-Stokes equations and differences are discussed. For a simple flow example their solution is compared to the one resulting from Navier-Stokes equations. (© 2014 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Seeking (and finding) Lagrangians

It is well known that for any second-order ordinary differential equation (ODE), a Lagrangian always exists, and the key to its construction is the Jacobi last multiplier. Is it possible to find Lagrangians for first-order systems of ODEs or for higher-order ODEs? We show that the Jacobi last multiplier can also play a major role in this case.     

On the Construction of K-Operators in Field Theories as Sections Along Legendre Maps

The time-evolution K-operator (or relative Hamiltonian vector field) in mechanics is a powerful tool which can be geometrically defined as a vector field along the Legendre map. It has been extensively used by several authors for studying the structure and properties of the dynamical systems (mainly the nonregular ones), such as the relation between the Lagrangian and Hamiltonian formalisms, constraints, and higher-order mechanics. This paper is devoted to defining a generalization of this operator for field theories, in a covariant formulation. In order to do this, we use sections along maps, in particular multivector fields (skew-symmetric contravariant tensor fields of order greater than 1), jet fields and connection forms along the Legendre map. As a relevant result, we use these geometrical objects to obtain the solutions of the Lagrangian and Hamiltonian field equations, and the equivalence among them (specially for nonregular field theories).     

一类不可微规划的高阶对称对偶性

本文我们利用一个可微函数给出了一对高阶对称规划问题 ,其中目标函数包含了Rn 中一紧凸集的支撑函数 .在引入高阶F 凸性 (F 伪凸性 ,F 拟凸性 )后 ,证明了高阶弱、高阶强及高阶逆对称对偶性质 .     

A theoretical and empirical investigation on the Lagrangian capacities of the 0-1 multidimensional knapsack problem

We present a novel Lagrangian method to find good feasible solutions in theoretical and empirical aspects. After investigating the concept of Lagrangian capacity, which is the value of the capacity constraint that Lagrangian relaxation can find an optimal solution, we formally reintroduce Lagrangian capacity suitable to the 0-1 multidimensional knapsack problem and present its new geometric equivalent condition including a new associated property. Based on the property, we propose a new Lagrangian heuristic that finds high-quality feasible solutions of the 0-1 multidimensional knapsack problem. We verify the advantage of the proposed heuristic by experiments. We make comparisons with existing Lagrangian approaches on benchmark data and show that the proposed method performs well on large-scale data.     

On a Deformation-Driven Continuum-Related Parrinello-Rahman Molecular Dynamics

Investigations into the atomistic-to-continuum coupling are recently pursued in literature. A hierarchical modelling in terms of a macroscale treated by continuum mechanics and the microscale governed by statistical mechanics may be a very fruitful combination. If the microscale is simulated with the help of molecular dynamics, the isostress-isoenthalpic ensemble as proposed by Parrinello and Rahman presents a beneficial choice. This statistical ensemble is remarkable as the equations of motion are derived from a Lagrangian. Recently, this Lagrangian was situated into a continuum mechanics setting. This paper investigates the behavior of this continuum-related Lagrangian in a kinetics-driven setting (by imposing an external stress) and a kinematics-driven setting (by imposing the shape of the molecular dynamics cell) in terms of a numerical example. (© 2013 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Fractional variational problems depending on indefinite integrals

We obtain necessary optimality conditions for variational problems with a Lagrangian depending on a Caputo fractional derivative, a fractional and an indefinite integral. Main results give fractional Euler-Lagrange type equations and natural boundary conditions, which provide a generalization of the previous results found in the literature. Isoperimetric problems, problems with holonomic constraints and depending on higher-order Caputo derivatives, as well as fractional Lagrange problems, are considered.     

Optimal general inequalities for Lagrangian submanifolds in complex space forms

Lagrangian submanifolds appear naturally in the context of classical mechanics. Moreover, they play some important roles in supersymmetric field theories as well as in string theory. In this paper we establish general inequalities for Lagrangian submanifolds in complex space forms. We also provide examples showing that these inequalities are the best possible. Moreover, we provide simple non-minimal examples which satisfy the equality case of the improved inequalities.     

Duality Theory in Fuzzy Optimization Problems

A solution concept of fuzzy optimization problems, which is essentially similar to the notion of Pareto optimal solution (nondominated solution) in multiobjective programming problems, is introduced by imposing a partial ordering on the set of all fuzzy numbers. We also introduce a concept of fuzzy scalar (inner) product based on the positive and negative parts of fuzzy numbers. Then the fuzzy-valued Lagrangian function and the fuzzy-valued Lagrangian dual function for the fuzzy optimization problem are proposed via the concept of fuzzy scalar product. Under these settings, the weak and strong duality theorems for fuzzy optimization problems can be elicited. We show that there is no duality gap between the primal and dual fuzzy optimization problems under suitable assumptions for fuzzy-valued functions.