Related papers: On a Order Reduction Theorem in the Lagrangian For…
We prove necessary optimality conditions for problems of the calculus of variations on time scales with a Lagrangian depending on the free end-point.
We introduce a discrete-time fractional calculus of variations. First and second order necessary optimality conditions are established. Examples illustrating the use of the new Euler-Lagrange and Legendre type conditions are given. They…
A set of linear second-order differential equations is converted into a semigroup, whose algebraic structure is used to generate many novel equations. Two independent methods that can be used to derive the equations of the semigroup are…
In this paper, we study the Lagrangian functions for a class of second-order differential systems arising from physics. For such systems, we present necessary and sufficient conditions for the existence of Lagrangian functions. Based on the…
In this manuscript, we consider a control system governed by a general ordinary differential equation on a Riemannian manifold, with its endpoints satisfying some inequalities and equalities, and its control constrained to a closed convex…
We present a simpler way than usual to deduce the completeness theorem for the second-oder classical logic from the first-order one. We also extend our method to the case of second-order intuitionistic logic.
We discuss the problem of the existence of a regular invariant Lagrangian for a given system of invariant second-order differential equations on a Lie group $G$, using approaches based on the Helmholtz conditions. Although we deal with the…
Onsager and Machlup proposed a second order variational-principle in order to include inertial effects into the Langevin-equation, giving a Lagrangian with second order derivatives in time. This but violates Ostrogradysky's theorem, which…
A second order family of special Lagrangian submanifolds of complex m-space is a family characterized by the satisfaction of a set of pointwise conditions on the second fundamental form. For example, the set of ruled special Lagrangian…
A second-order generalization of the fundamental Lepage form of geometric calculus of variations over fibered manifolds with 2-dimensional base is described by means of insisting on (i) equivalence relation "Lepage differential 2-form is…
It is shown that a given non-autonomous system of two first-order ordinary differential equations can be expressed in Hamiltonian form. The derivation presented here allow us to obtain previously known results such as the infinite number of…
Geoffrion's theorem is a fundamental result from mathematical programming assessing the quality of Lagrangian relaxation, a standard technique to get bounds for integer programs. An often implicit condition is that the set of feasible…
This paper provides a description of an algebraic setting for the Lagrangian formalism over graded algebras and is intended as the necessary first step towards the noncommutative C-spectral sequence (variational bicomplex). A noncommutative…
We prove an extension of Yuan's Lemma to more than two matrices, as long as the set of matrices has rank at most 2. This is used to generalize the main result of [A. Baccari and A. Trad. On the classical necessary second-order optimality…
We consider the description of second-class constraints in a Lagrangian path integral associated with a higher-order $\Delta$-operator. Based on two conjugate higher-order $\Delta$-operators, we also propose a Lagrangian path integral with…
The present paper is devoted to a new criterion for disconjugacy of a second order linear differential equation. Unlike most of the classical sufficient conditions for disconjugacy, our criterion does not involve assumptions on the…
We generalize the Lagrangian-Hamiltonian formalism of Skinner and Rusk to higher order field theories on fiber bundles. As a byproduct we solve the long standing problem of defining, in a coordinate free manner, a Hamiltonian formalism for…
A general theorem on conservation laws for arbitrary difference equations is proved. The theorem is based on an introduction of an adjoint system related with a given difference system, and it does not require the existence of a difference…
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…
We prove a necessary optimality condition of Euler-Lagrange type for quantum variational problems involving Hahn's derivatives of higher-order.