On a horizontal structure on differentiable manifolds
A proof of the Chekanov theorem is discussed from a geometric point of view. Similar results in the context of projectivized cotangent bundles are proved. Some applications are given.
See Summary in Note I. First, on the basis of some results in [2] or [5]-such as Lemmas 8.1 and 10.1-the general (mathematical) theorems on controllizability proved in Note I are quickly applied to (mechanic) Lagrangian systems. Second, in case , and satisfy conditions (11.7) when is a polynomial in , conditions (C)-i.e. (11.8) and (11.7) with -are proved to be necessary for treating satisfactorily 's hyper-impulsive motions (in which positions can suffer first order discontinuities)....
In [1] I and II various equivalence theorems are proved; e.g. an ODE with a scalar control is linear w.r.t. iff its solution with given initial conditions (chosen arbitrarily) is continuous w.r.t. in a certain sense, or iff
In applying control (or feedback) theory to (mechanic) Lagrangian systems, so far forces have been generally used as values of the control . However these values are those of a Lagrangian co-ordinate in various interesting problems with a scalar control , where this control is carried out physically by adding some frictionless constraints. This pushed the author to consider a typical Lagrangian system , referred to a system of Lagrangian co-ordinates, and to try and write some handy conditions,...
In the existing stability theory of steady flows of an ideal incompressible fluid, formulated by V. Arnold, the stability is understood as a stability with respect to perturbations with small in vorticity. Nothing has been known about the stability under perturbation with small energy, without any restrictions on vorticity; it was clear that existing methods do not work for this (the most physically reasonable) class of perturbations. We prove that in fact, every nontrivial steady flow is unstable...
The Euler-Lagrange equations are given in a geometrized framework using a differential form related to the Poincare-Cartan form. This new differential form is intrinsically characterized; the present approach does not suppose a distinction between the field and the space-time variables (i.e. a fibration). In connection with this problem we give another proof describing the most general Lagrangian leading to identically vanishing Euler-Lagrange equations. This gives the possibility to have a geometric...
In this paper we consider the well-known implicit Lagrange problem: find a trajectory solution of an underdetermined implicit differential equation, satisfying some boundary conditions and which is a minimum of the integral of a Lagrangian. In the tangent bundle of the surrounding manifold X, we define the geometric framework of q-pi- submanifold. This is an extension of the geometric framework of pi- submanifold, defined by Rabier and Rheinboldt for determined implicit differential equations,...