A new approach to the vakonomic mechanics

The aim of this paper was to show that the Lagrange–d’Alembert and its equivalent the Gauss and Appel principle are not the only way to deduce the equations of motion of the nonholonomic systems. Instead of them we consider the generalization of the Hamiltonian principle for nonholonomic systems with non-zero transpositional relations. We apply this variational principle, which takes into the account transpositional relations different from the classical ones, and we deduce the equations of motion for the nonholonomic systems with constraints that in general are nonlinear in the velocity. These equations of motion coincide, except perhaps in a zero Lebesgue measure set, with the classical differential equations deduced with the d’Alembert–Lagrange principle. We provide a new point of view on the transpositional relations for the constrained mechanical systems: the virtual variations can produce zero or non-zero transpositional relations. In particular, the independent virtual variations can produce non-zero transpositional relations. For the unconstrained mechanical systems, the virtual variations always produce zero transpositional relations. We conjecture that the existence of the nonlinear constraints in the velocity must be sought outside of the Newtonian mechanics. We illustrate our results with examples.     

非完整约束系统几何动力学研究进展:Lagrange理论及其它

近10年来, 非完整力学的发展主要集中在两个相互关联的方向上, 一个是非完整运动规划, 另一个则是非完整约束系统的几何动力学, 这两个研究方向都充分地利用了现代几何学, 如纤维丛理论、辛流形和Poisson流形结构等等.本文主要综述非完整约束系统几何动力学的外附型和内禀型Lagrange理论, 包括非定常力学系统所需要的射丛几何学的基本概念、射丛按约束的直和分解、约束流形上的水平分布、D'Alembert-Lagrange方程与Chaplygin方程的整体描述、以及Riemann-Cartan流形上的非完整力学, 文中对Chetaev条件和d-δ交换关系的几何意义作了深入讨论.除此之外, 简要评述非完整力学的Hamilton理论与赝Poisson结构、Noether对称性和Lie对称性、动量映射与对称约化、Vakonomic动力学等几个非常重要专题的研究进展.      

用具有负定非对称矩阵的梯度系统构造稳定的广义Birkhoff系统1）

Birkhoff系统是一类比Hamilton系统更广泛的约束力学系统,可在原子与分子物理,强子物理中找到应用.非定常约束力学系统的稳定性研究是重要而又困难的课题,用构造Lyapunov函数的直接方法来研究稳定性问题有很大难度,其中如何构造Lyapunov函数是永远的开放问题.本文给出一种间接方法,即梯度系统方法.提出一类梯度系统,其矩阵是负定非对称的,这类梯度系统的解可以是稳定的或渐近稳定的.梯度系统特别适合用Lyapunov函数来研究,其中的函数V通常取为Lyapunov函数.列出广义Birkhoff系统的运动方程,广义Birkhoff系统是一类广泛约束力学系统.当其中的附加项取为零时,它成为Birkhoff系统,完整约束系统和非完整约束系统都可纳入该系统.给出广义Birkhoff系统的解可以是稳定的或渐近稳定的条件,进一步利用矩阵为负定非对称的梯度系统构造出一些解为稳定或渐近稳定的广义Birkhoff系统.该方法也适合其他约束力学系统.最后用算例说明结果的应用.     

Forward and inverse dynamics of nonholonomic mechanical systems

This paper deals with the forward and the inverse dynamic problems of mechanical systems subjected to nonholonomic constraints. The intrinsically dual nature of these two problems is identified and utilised to develop a systematic approach to formulate and solve them according to an unified framework. The proposed methodology is based on the fundamental equations of constrained motion which derive from Gauss’s principle of least constraint. The main advantage arising from using the fundamental equations of constrained motion is that they represent an effective method capable to derive the generalised acceleration of a mechanical system, constrained in general by a set of nonholonomic constraints, together with the generalized constraint forces (forward dynamics). When the constraint equations are used to represent the desired behaviour of the mechanical system under study, the generalised constraint forces deriving from the fundamental equations of constrained motion provide the control actions which reproduce the specified motion for the system (inverse dynamics). This approach is systematically extended to underactuated mechanical systems introducing a new method named underactuation equivalence principle. The underactuation equivalence principle is founded on the key idea that the underactuation property of a mechanical system can be mathematically represented using a particular set of nonholonomic constraint equations. Two simple case-studies are reported to exemplify the proposed methodology. In the first case-study the computation of the generalised constraint forces relative to the revolute joint constraints of a physical pendulum is illustrated. In the second case-study the calculation of the control action which solves the swing-up problem for an inverted pendulum is described.     

Nonparabolic Asymptotic Limits of Solutions of the Heat Equation on $${\mathbb{R}}^N$$

In this paper, we construct solutions u(t,x) of the heat equation on such that has nontrivial limit points in as t → ∞ for certain values of μ > 0 and β > 1/2. We also show the existence of solutions of this type for nonlinear heat equations.      

Quasi-momentum theorem in Riemann-Cartan space

The geometric formulation of motion of the first-order linear homogenous scleronomous nonholonomic system subjected to active forces is studied with the nonholonomic mapping theory. The quasi-Newton law, the quasi-momentum theorem, and the second kind Lagrange equation of dynamical systems are obtained in the Riemann-Cartan configuration spaces. By the nonholonomic mapping, a Euclidean configuration space or a Riemann configuration space of a dynamical system can be mapped into a Riemann-Cartan configuration space with torsion. The differential equations of motion of the dynamical system can be obtained in its Riemann-Cartan configuration space by the quasi-Newton law or the quasi-momentum theorem. For a constrained system, the differential equations of motion in its Riemann-Cartan configuration space may be simpler than the equations in its Euclidean configuration space or its Riemann configuration space. Therefore, the nonholonomic mapping theory can solve some constrained problems, which are difficult to be solved by the traditional analytical mechanics method. Three examples are given to illustrate the effectiveness of the method.     

INTEGRATION METHOD FOR THE DYNAMICS EQUATION OF RELATIVE MOTION OF VARIABLE MASS NONLINEAR NONHOLONOMIC SYSTEM

1.IntroductionMoreandmoreattentionhasbeenpaidtothestudyofdynamicsofcomplicatedsystemwiththedevelopmentofmodernscienceandtechnology.Thestudyoftherelativemotionofvariablemasssystembyusingthetheoryandmethodofanalyticalmechanicsnotonlycanunifytheexpressionformbutalsocandisplayitssuperioritytothecomplicatedsystem.In1961,thedynamicsofrelativemotionofholonomicsystemwasderivedbyLur'ell].Inrecehtyears,LiulZIandLuol3'4]havegiventhedynamicsequationsofrelativemotionofvariablemassnonholonomicsystem.Howe…     

用具有负定矩阵的梯度系统构造稳定的变质量力学系统

随着科学技术的发展,对喷气飞机、火箭等变质量系统动力学的研究显得越来越重要, 并且总是希望变质量系统的解是稳定的或渐近稳定的. 而通用的研究稳定性的Lyapunov直接法有很大难度, 因为直接从微分方程出发构造Lyapunov函数往往很难实现. 本文给出一种研究稳定性的间接方法, 即梯度系统方法. 该方法不但能揭示动力学系统的内在结构, 而且有助于探索系统的稳定性、渐进性和分岔等动力学行为. 梯度系统的函数V通常取为Lyapunov函数, 因此梯度系统比较适合用Lyapunov函数来研究. 列写出变质量完整力学系统的运动方程,在系统非奇异情形下,求得所有广义加速度. 提出一类具有负定矩阵的梯度系统, 并研究该梯度系统解的稳定性. 把这类梯度系统和变质量力学系统有机结合,给出变质量力学系统的解可以是稳定的或渐近稳定的条件, 进一步利用矩阵为负定非对称的梯度系统构造出一些解为稳定或渐近稳定的变质量力学系统. 通过具体例子,研究了变质量系统的单自由度运动,在怎样的质量变化规律、微粒分离速度和加力下,其解是稳定的或渐近稳定的. 本文的构造方法也适合其它类型的动力学系统.      

On the stability of equilibria of nonholonomic systems with nonlinear constraints

Lyapunov＇s first method, extended by V. V. Kozlov to nonlinear mechani- cal systems, is applied to the study of the instability of the position of equilibrium of a mechanical system moving in the field of conservative and dissipative forces. The mo- tion of the system is limited by ideal nonlinear nonholonomic constraints. Five cases determined by the relationship between the degree of the first nontrivial polynomials in Maclaurin＇s series for the potential energy and the functions that can be generated from the equations of nonlinear nonholonomic constraints are analyzed. In the three eases, the theorem on the instability of the position of equilibrium of nonholonomic systems with linear homogeneous constraints （V. V. Kozlov （1986）） is generalized to the case of nonlin- ear nonhomogeneous constraints. In the other two cases, new theorems are set extending the result from V. V. Kozlov （1994） to nonholonomic systems with nonlinear constraints.     

Uniqueness results for some nonlinear initial and boundary value problems

In the first part of this article a uniqueness theorem is presented for nonlinear initial value problems of the type

切塔耶夫型非完整系统的广义梯度表示

非定常非完整力学系统的稳定性研究是重要而又困难的问题,直接从微分方程出发来构造李雅普诺夫函数往往很难实现.本文给出了一种间接方法.提出了10类广义梯度系统的定义,并分别给出了10类广义梯度系统的微分方程.进一步研究一般切塔耶夫型非完整系统的广义梯度表示,给出该系统分别成为这10类广义梯度系统的条件,从而将切塔耶夫型非完整系统化成各类广义梯度系统.最后利用广义梯度系统的性质来研究切塔耶夫型非完整系统零解的稳定性.这种方法在直接构造李雅普诺夫函数发生困难时,显得更为有效.举例说明结果的应用.     

Stability of equilibrium states in a simple system with unilateral contact and Coulomb friction

The aim of this paper is to study the stability of equilibrium states in a mechanical system involving unilateral contact with Coulomb friction. Since the assumptions made in classical stability theorems are not satisfied with this class of systems, we return to the basic definitions of stability by studying the time evolution of the distance between a given equilibrium and the solution of a Cauchy problem where the initial conditions are in a neighborhood of the equilibrium. It was recently established that the dynamics is well posed in the case of analytical data. In the present study, we focus in particular on the stability of the equilibrium states under a constant force and deal only with a simple mass-spring system in .     

Energy integrals for mechanical systems with nonlinear nonholonomic constraints

The work analyzes energy relations for nonholonomic systems, whose motion is restricted by nonlinear nonholonomic constraints. For the mechanical systems with linear constraints, the analysis of energy relations was carried out in [1], [2], [3], [4], [5], [6] …. On the basis of corresponding Lagrange’s equations, a general law of the change in energy dε/dt is formulated for mentioned systems by the help of which it is shown that there are two types of the laws of conservation of energy, depending on the structure of elementary work of the forces of constraint reactions. Also, the condition for existing the second type of the law of conservation of energy is formulated in the form of the system of partial differential equations. The obtained results are illustrated by a model of nonholonomic mechanical system.     

Global Well-Posedness for Navier–Stokes Equations with Small Initial Value in $${B^{0}_{n,\infty}(\Omega)}$$

We prove global well-posedness for instationary Navier–Stokes equations with initial data in Besov space \({B^{0}_{n,\infty}(\Omega)}\) in whole and half space, and bounded domains of \({{\mathbb R}^{n}}\), \({n \geq 3}\). To this end, we prove maximal \({L^{\infty}_{\gamma}}\) -regularity of the sectorial operators in some Banach spaces and, in particular, maximal \({L^{\infty}_{\gamma}}\) -regularity of the Stokes operator in little Nikolskii spaces \({b^{s}_{q,\infty}(\Omega)}\), \({s \in (-1, 2)}\), which are of independent significance. Then, based on the maximal regularity results and \({b^{s_{1}}_{q_{1},\infty}-B^{s_{2}}_{q_{2,1}}}\) estimates of the Stokes semigroups, we prove global well-posedness for Navier–Stokes equations under smallness condition on \({\|u_{0}\|_{B^{0}_{n,\infty}(\Omega)}}\) via a fixed point argument using Banach fixed point theorem.     

Equivalence of Dynamics for Nonholonomic Systems with Transverse Constraints

This paper is concerned with the dynamics of a mechanical system subject to nonintegrable constraints. In the first part, we prove the equivalence between the classical nonholonomic equations and those derived from the nonholonomic variational formulation, proposed by Kozlov in [10–12], for a class of constrained systems with constraints transverse to a foliation. This result extends the equivalence between the two formulations, proved for holonomic constraints, to a class of linear nonintegrable ones. In the second part, we derive the nonholonomic variational reduced equations for a constrained system with symmetry and constraint transverse to a principal bundle fibration, using a reduction procedure similar to the one developed in [5]. The resulting equations are compared with the nonholonomic reduced ones through mechanical examples.     

Stability of elastic systems under a stochastic parametric excitation

An efficient method to investigate the stability of elastic systems subjected to the parametric force in the form of a random stationary colored noise is suggested. The method is based on the simulation of stochastic processes, numerical solution of differential equations, describing the perturbed motion of the system, and the calculation of top Liapunov exponents. The method results in the estimation of the almost sure stability and the stability with respect to statistical moments of different orders. Since the closed system of equations for moments of desired quantities y _j (t) cannot be obtained, the statistical data processing is applied. The estimation of moments at the instant t _n is obtained by statistical average of derived from the solution of equations for the large number of realizations. This approach allows us to evaluate the influence of different characteristics of random stationary loads on top Liapunov exponents and on the stability of system. The important point is that results found for filtered processes, are principally different from those corresponding to stochastic processes in the form of Gaussian white noises.     

Two-Phase Inertial Flow in Homogeneous Porous Media: A Theoretical Derivation of a Macroscopic Model

The purpose of this article is to derive a macroscopic model for a certain class of inertial two-phase, incompressible, Newtonian fluid flow through homogenous porous media. Starting from the continuity and Navier–Stokes equations in each phase β and γ, the method of volume averaging is employed subjected to constraints that are explicitly provided to obtain the macroscopic mass and momentum balance equations. These constraints are on the length- and time-scales, as well as, on some quantities involving capillary, Weber and Reynolds numbers that define the class of two-phase flow under consideration. The resulting macroscopic momentum equation relates the phase-averaged pressure gradient to the filtration or Darcy velocity in a coupled nonlinear form explicitly given by

Refined Jacobian Estimates and Gross–Pitaevsky Vortex Dynamics

We study the dynamics of vortices in solutions of the Gross–Pitaevsky equation in a bounded, simply connected domain with natural boundary conditions on ∂Ω. Previous rigorous results have shown that for sequences of solutions with suitable well-prepared initial data, one can determine limiting vortex trajectories, and moreover that these trajectories satisfy the classical ODE for point vortices in an ideal incompressible fluid. We prove that the same motion law holds for a small, but fixed , and we give estimates of the rate of convergence and the time interval for which the result remains valid. The refined Jacobian estimates mentioned in the title relate the Jacobian J(u) of an arbitrary function to its Ginzburg–Landau energy. In the analysis of the Gross–Pitaevsky equation, they allow us to use the Jacobian to locate vortices with great precision, and they also provide a sort of dynamic stability of the set of multi-vortex configurations.     

Stability of motion of quasiperiodic systems in critical cases

A method of setting up a matrix-valued Lyapunov function for a system of differential equations with quasiperiodic coefficients is proposed. This function is used to establish asymptotic-stability conditions for some class of mechanical systems described by nonlinear systems of equations. The stability of motion of these systems in critical cases is analyzed     

Global exponential stability of switched systems

This paper proposes a method for the stability analysis of deterministic switched systems. Two motivational examples are introduced (nonholonomic system and constrained pendulum). The finite collection of models consists of nonlinear models, and a switching sequence is arbitrary. It is supposed that there is no jump in the state at switching instants, and there is no Zeno behavior, i.e., there is a finite number of switches on every bounded interval. For the analysis of deterministic switched systems, the multiple Lyapunov functions are used, and the global exponential stability is proved. The exponentially stable equilibrium of systems is relevant for practice because such systems are robust to perturbations.