# Noether Theorem for Nonholonomic Systems with Time Delay

Authors: Shi-Xin Jin; Yi Zhang
Journal: Mathematical Problems in Engineering
 (2015)

---

## Abstract

The paper focuses on studying the Noether theorem for nonholonomic systems with time delay. Firstly, the differential equations of motion for nonholonomic systems with time delay are established, which is based on the Hamilton principle with time delay and the Lagrange multiplier rules. Secondly, based upon the generalized quasi-symmetric transformations for nonconservative systems with time delay, the Noether theorem for corresponding holonomic systems is given. Finally, we obtain the Noether theorem for the nonholonomic nonconservative systems with time delay. At the end of the paper, an example is given to illustrate the application of the results.


---

## Body

## 1. Introduction

Time delay is a lag phenomenon of time which is commonly found in nature and engineering practice. It is a more essential and realistic description of a mechanical system. Once we consider the influence of time delay, even a very simple problem, its dynamical behavior may become very complex [1–3]. The variational problem with time delay was first studied and discussed by El’sgol’c [4]. In 1968, Hughes [5] discussed the variational and optimal control problems with time delay and obtained the analog of Euler-Lagrange equations with time delay. In addition, the variational problems with time delay were also discussed by Palm and Schmitendorf [6], Rosenblueth [7], Chan and Yung [8], Lee and Yung [9], and so on. A Bliss-type multiplier rule for constrained variational problems with time delay was discussed by Agrawal et al. [10].The concept of symmetry plays an important role in both science and engineering. The importance of symmetry ranges from fundamental and theoretical aspects to concrete applications [11–21]. The symmetry is described by the invariance under an infinitesimal transformation. The symmetry of a mechanical system has great influence on its dynamical behavior. For example, the symmetry of time translation will lead to the conservation of energy of the system, the symmetry of space translation or the homogeneous of space will cause the conservation of momentum of the system, the symmetry of space rotation or the isotropy of space will result in the conservation of angular momentum of the system, and the conjugate symmetry of electric charge will lead to the conservation of electric quantity [22]. The influence on dynamical behavior for the symmetry is not limited to mechanical systems. For example, in crystallization kinetics of polymers, the higher the symmetry is and the better the regularity of the chain of molecular is, the easier the highly ordered regularly arranged lattice is formed [23]. Therefore, the study of the symmetries and the conserved quantities for mechanical systems with time delay is of great significance for in-depth understanding of the complex dynamics behavior and inherent physics nature. In 2012, the Noether symmetry theorems for variational and optimal control problems with time delay were first discussed by Frederico and Torres [24]. In 2013, the Noether symmetries for dynamics of nonconservative Lagrange system, nonconservative Hamilton system, and Birkhoffian system with time delay were studied by Zhang and his coworkers [25–27], and the relationship between the Noether symmetries and the conserved quantities was established. Up to now, more and more dynamical problems with time delay and its relevant mathematical theories are presented. However, the Noether theorem for nonholonomic systems with time delay has not been investigated yet in the literature.It is well known that a nonholonomic constraint is a differential constraint which is nonintegrable. The nonholonomic constraint is different from the holonomic constraint. The mathematical representation of nonholonomic constraint equations can correspond to a variety of realizations for constraint forces. Several models are allowed for the dynamics of nonholonomic systems such as the Chetaev model started from the d’Alembert-Lagrange principle [28, 29] and the Vacco model started from the Hamiltonian principle [30]. The differences between a nonholonomic system and a holonomic system are that the motion of a holonomic system can be described by the Lagrange equations, while the motion of a nonholonomic system is presented by more complex differential equations [28–32].In this paper, we further extend the Noether theorem of nonconservative systems with time delay to nonholonomic nonconservative systems with time delay. The structure of this paper is organized as follows. In Section2, we establish the differential equations of motion with time delay. In Section 3, we obtain the two formulae of variation for Hamilton action with time delay. In Section 4, the generalized Noether quasi-symmetric transformations are defined. In Section 5, the Noether theorem for corresponding holonomic system is given. In Section 6, we also obtain the Noether theorem for nonholonomic system with time delay. In Section 7, an example is given to illustrate the application of the results.


## 2. Differential Equations of Motion for Nonholonomic Systems with Time Delay

Assume that the configuration of a mechanical systems is determined byn generalized coordinates qs(s=1,2,…,n). The motion of the system is subjected to g bilateral ideal nonholonomic constraints of Chetaev type(1)fβt,qs,q˙s=0β=1,2,…,g.The restriction of constraints (1) exerted on the virtual displacements is(2)∂fβ∂q˙sδqs=0.The Hamilton principle for nonconservative systems is [14](3)∫t1t2δL+Qs′′δqsdt=0,where L is the Lagrangian and Qs′′ are the generalized nonpotential forces. Considering that the time delay exists, the Lagrangian is L=L(t,qs,q˙s,qs(t-τ),q˙s(t-τ))=L(t,qs,q˙s,qsτ,q˙sτ) and the generalized nonpotential forces are Qs′′=Qs′′(t,qs,q˙s,qsτ,q˙sτ). The boundary conditions(4)qst=Ωst,t∈t1-τ,t1,(5)qst=qst2,t=t2are satisfied, where τ is a given positive real number such that τ<t2-t1, Ωst are given piecewise smooth functions in [t1-τ,t1], and qs(t2) are certain values. From formulae (2) and (3), we have(6)∫t1t2∂L∂qstδqs+∂L∂q˙stδq˙s+∂L∂qsτtδqsτ+∂L∂q˙sτtδq˙sτQs′′tδqs+λβ∂fβ∂q˙stδqskkkl+Qs′′tδqs+λβ∂fβ∂q˙stδqsdt=0,where λβ is the Lagrange multiplier. By the change of variable t=θ+τ in the third and fourth terms in formula (6) and considering condition (4), we have(7)∫t1t2∂L∂qsτtδqsτ+∂L∂q˙sτtδq˙sτdt=∫t1t2-τ∂L∂qsτθ+τδqs+∂L∂q˙sτθ+τδq˙sdθ.Substituting (7) into (6), we have(8)∫t1t2-τ∂L∂qstδqs+∂L∂q˙stδq˙s+∂L∂qsτt+τδqs∂L∂q˙sτt+τδq˙s+Qs′′tδqs+λβ∂fβ∂q˙stδqskkkkkl+∂L∂q˙sτt+τδq˙s+Qs′′tδqs+λβ∂fβ∂q˙stδqsdt+∫t2-τt2∂L∂qstδqs+∂L∂q˙stδq˙s+Qs′′tδqsλβ∂fβ∂q˙stδqskkkkkkllkll+λβ∂fβ∂q˙stδqsdt=0.Integrating by parts and taking use of boundary conditions (4) and (5), we have(9)∫t1t2-τ∂L∂qst+∂L∂qsτt+τQs′′t+λβ∂fβ∂q˙stkkkkkll+Qs′′t+λβ∂fβ∂q˙stδqsdt=-δqs∫tt2-τ∂L∂qsθ+∂L∂qsτθ+τ+Qs′′θλβ∂fβ∂q˙sθ+λβ∂fβ∂q˙sθdθkkkkkkkkkkkkkkk+λβ∂fβ∂q˙sθdθt1t2-τ+∫t1t2-τδq˙s∫tt2-τ∂L∂qsθ+∂L∂qsτθ+τ+Qs′′θλβ∂fβ∂q˙sθλβ∂fβ∂q˙sθdθkkkkkkkkkkkkkkkkkkkl+λβ∂fβ∂q˙sθdθdt=∫t1t2-τδq˙s∫tt2-τ∂L∂qsθ+∂L∂qsτθ+τ+Qs′′θλβ∂fβ∂q˙sθλβ∂fβ∂q˙sθdθkkkkkkkkkkkkkkkkkk+λβ∂fβ∂q˙sθdθdt,∫t2-τt2∂L∂qst+Qs′′t+λβ∂fβ∂qstδqsdt=δqs∫t2-τt∂L∂qsθ+Qs′′θλβ∂fβ∂q˙sθλβ∂fβ∂q˙sθdθkkkkkkkkkkkkkl+λβ∂fβ∂q˙sθdθt2-τt2-∫t2-τt2δq˙s∫t2-τt∂L∂qsθ+Qs′′θλβ∂fβ∂q˙sθλβ∂fβ∂q˙sθdθkkkkkkkkkkkkkkkkkkl+λβ∂fβ∂q˙sθdθdt=-∫t2-τt2δq˙s∫t2-τt∂L∂qsθ+Qs′′θλβ∂fβ∂q˙sθλβ∂fβ∂q˙sθdθkkkkkkkkkkkkkkkkkkll+λβ∂fβ∂q˙sθdθdt.Substituting (9) into (8), we have(10)∫t1t2-τδq˙s∫tt2-τ∂L∂qsθ+∂L∂qsτθ+τ+Qs′′θλβ∂fβ∂q˙sθkkkkllllllllllkkkkk+λβ∂fβ∂q˙sθdθ+∂L∂q˙sτt+τkkkkkkkkkkklll+∫tt2-τ∂L∂qsθ+∂L∂qsτθ+τ+Qs′′θλβ∂fβ∂q˙sθ∂L∂q˙stdt+∫t2-τt2-∫t2-τt∂L∂qsθ+Qs′′θ+λβ∂fβ∂q˙sθdθkkkkkkllkklkllkll+∫t2-τt∂L∂qsθ+Q′′sθ+λβ∂fβ∂q˙sθdθ∂L∂q˙sδq˙sdt=0.Considering the arbitrariness of the integral interval and taking use of the Lagrange multipliers rules, we have(11)∫tt2-τ∂L∂qsθ+∂L∂qsτθ+τ+Qs′′θ+λβ∂fβ∂q˙sθdθ+∂L∂q˙st+∂L∂q˙sτt+τ=0,t∈t1,t2-τ,-∫t2-τt∂L∂qsθ+Qs′′θ+λβ∂fβ∂q˙sθdθ+∂L∂q˙st=0,kkkkkkkkkkkkkkkkkkkkklkkkkkllllkkkkt∈t2-τ,t2.Taking derivative of (11) with respect to t, we have(12)ddt∂L∂q˙st+ddt∂L∂q˙sτt+τ-∂L∂qst-∂L∂qsτt+τ=Qs′′t+λβ∂fβ∂q˙st,t∈t1,t2-τ,ddt∂L∂q˙st-∂L∂qst=Qs′′t+λβ∂fβ∂q˙st,lllkkkklt∈t2-τ,t2,s=1,2,…,n.Equations in (12) are called the differential equations of motion for nonholonomic systems with time delay. Before integrating the differential equations of motion, by using (1) and (12) one can find λβ as the functions of t, qs, q˙s, qsτ, and q˙sτ. Therefore, (12) can be written in the form(13)ddt∂L∂q˙st+ddt∂L∂q˙sτt+τ-∂L∂qst-∂L∂qsτt+τ=Q′′ts+Λst,t∈t1,t2-τ,ddt∂L∂q˙st-∂L∂qst=Qs′′t+Λst,kkkt∈t2-τ,t2,s=1,2,…,n,where(14)Λs=λβ∂fβ∂q˙s,s=1,2,…,n.Equations in (13) are called the differential equations for corresponding holonomic systems with time delay. If the initial conditions satisfy the equations of nonholonomic constraints (1), then the solution of the corresponding holonomic systems (13) will give the motion of the nonholonomic systems. If τ=0, then equations in (12) are reduced to the differential equations of motion for the standard nonholonomic systems.


## 3. Variation of Hamilton Actions with Time Delay

The Hamilton action with time delay is(15)Sγ=∫t1t2Lt,qst,q˙st,qst-τ,q˙st-τdt≜∫t1t2Lt,qs,q˙s,qsτ,q˙sτdt,where γ is a curve. Introduce the infinitesimal transformations of r parameter finite transformations of group(16)t-=t+Δt,q-st-=qst+Δqsor their expansion formulae(17)t-=t+εσξ0σt,qk,q˙k,q-st-=qst+εσξsσt,qk,q˙kkkkkkkkkkkkkkkkkkkkkkkkkkkkllllks,k=1,2,…,n,where εσ(σ=1,2,…,r) are the infinitesimal parameters and ξ0σ, ξsσ are the generators or generating functions for the infinitesimal transformations. Under the infinitesimal transformations (16), the Hamilton action (15) can be expressed as(18)Sγ=∫t-1t-2Lt-,q-st-,q-˙st-,q-st--τ,q-˙st--τdt-,where γ- is a neighbor curve of γ. Then, the main linear part relative to ε in the difference S(γ-)-S(γ) is(19)ΔS=∫t1t2∂L∂tΔt+∂L∂qsΔqs+∂L∂q˙sΔq˙s+∂L∂qsτΔqsτ∂L∂q˙sτΔq˙sτ+LddtΔtkkkkkl+∂L∂q˙sτΔq˙sτ+LddtΔtdt.By making a linear change of variable t=θ+τ in the fourth and fifth terms under formula (19) and considering the boundary conditions (4), we have(20)∫t1t2∂L∂qsτtΔqsτ+∂L∂q˙sτtΔq˙sτdt=∫t1t2-τ∂L∂qsτθ+τΔqsθ+∂L∂q˙sτθ+τΔq˙sθdθ.Substituting formula (20) into (19), we have(21)ΔS=∫t1t2-τ∂L∂ttΔt+∂L∂qstΔqs+∂L∂q˙stΔq˙s∂L∂q˙sτt+τΔq˙s+LddtΔtkkkkkklll+∂L∂qsτt+τΔqs+∂L∂q˙sτt+τΔq˙skkkkkklll+LddtΔtdt+∫t2-τt2∂L∂ttΔt+∂L∂qstΔqs+∂L∂q˙stΔq˙skkkkkkkkl+LddtΔtdt.Noticing that(22)Δq˙s=ddtΔqs-q˙sddtΔt,δqs=Δqs-q˙sΔtand transformations (16), we can express formula (21) as(23)ΔS=∫t1t2-τεσddtLξ0σ+∂L∂q˙st+∂L∂q˙sτt+τξ-sσkkkkkllkkkk+∂L∂qst+∂L∂qsτt+τ-ddt∂L∂q˙st+∂L∂q˙sτt+τkkkkkkkkkkkkl·∂L∂q˙st+∂L∂q˙sτt+τξ-sσdt+∫t2-τt2εσddtLξ0σ+∂L∂q˙stξ-sσ∂L∂qst-ddt∂L∂q˙stξ-sσkkkkkkkkkkll+∂L∂qst-ddt∂L∂q˙stξ-sσdt,where(24)ξ-sσ=ξsσ-q˙sξ0σ.Formulae (21) and (23) are basic formulae for the variation of Hamilton action with time delay.


## 4. Generalized Noether Quasi-Symmetric Transformations with Time Delay

The Noether symmetry is an invariance of Hamilton action under the group of infinitesimal transformations. Therefore, we have the following.Definition 1.
If the Hamilton action with time delay is invariant under the group of infinitesimal transformations, that is, for each of the infinitesimal transformations the formula(25)ΔS=0holds, then the infinitesimal transformations are called the Noether symmetric transformations of dynamics systems with time delay.Definition 2.
If the Hamilton action with time delay is quasi-invariant under the group of infinitesimal transformations, that is, for each of the infinitesimal transformations the formula(26)ΔS=-∫t1t2ddtΔGdtholds, where G=G(t,qst,q˙st,qst-τ,q˙st-τ) is a gauge function, then the infinitesimal transformations are called the Noether quasi-symmetric transformations of dynamics systems with time delay.Definition 3.
If the Hamilton action with time delay is generalized quasi-invariant under the group of infinitesimal transformations, that is, for each of the infinitesimal transformations the formula(27)ΔS=-∫t1t2ddtΔG+Qs′′δqsdtholds, then the infinitesimal transformations are called the generalized Noether quasi-symmetric transformations of dynamics systems with time delay.From Definition3 and the formula (21), we obtain the following.Theorem 4.
If the infinitesimal transformations (16) satisfy the conditions(28)∂L∂ttΔt+∂L∂qst+∂L∂qsτt+τΔqs+∂L∂q˙st+∂L∂q˙sτt+τΔq˙s+Qs′′tΔqs-q˙sΔt+LddtΔt=-ddtΔG,for t1≤t≤t2-τ, and(29)∂L∂ttΔt+∂L∂qstΔqs+∂L∂q˙stΔq˙s+Qs′′tΔqs-q˙sΔt+LddtΔt=-ddtΔG,for t2-τ<t≤t2, then the infinitesimal transformations are the generalized Noether quasi-symmetric transformations in the sense of Definition 3.Theorem4 can also be expressed as the following theorem.Theorem 5.
If the infinitesimal transformations (17) satisfy the conditions(30)∂L∂ttξ0σ+∂L∂qst+∂L∂qsτt+τξsσ+∂L∂q˙st+∂L∂q˙sτt+τξ˙sσ-q˙sξ˙0σ+Qs′′tξ-sσ+Lξ˙0σ=-G˙σ,σ=1,2,…,r,for t1≤t≤t2-τ, and(31)∂L∂ttξ0σ+∂L∂qstξsσ+∂L∂q˙stξ˙sσ-q˙sξ˙0σ+Qs′′tξ-sσ+Lξ˙0σ=-G˙σ,σ=1,2,…,rfor t2-τ<t≤t2, where ΔG=εσGσ, then the infinitesimal transformations are the generalized Noether quasi-symmetric transformations in the sense of Definition 3.
Whenr=1, formulae (30) and (31) are called the Noether identity of dynamics systems with time delay. By using Theorem 4 or Theorem 5, we can verify the generalized Noether quasi-symmetry with time delay.


## 5. Noether Theorem of Corresponding Holonomic Systems with Time Delay

For the corresponding holonomic systems (13) with time delay, if we can find a generalized Noether quasi-symmetric transformation, then we can get a corresponding conserved quantity. So we have the following.Theorem 6.
For the corresponding holonomic systems (13) with time delay, if the infinitesimal transformations (17) are the generalized quasi-symmetric transformations in the sense of Definition 3, that is, the transformations satisfy the conditions(32)∂L∂ttξ0σ+∂L∂qst+∂L∂qsτt+τξsσ+L-∂L∂q˙st+∂L∂q˙sτt+τq˙sξ˙0σ+∂L∂q˙st+∂L∂q˙sτt+τξ˙sσ+Qs′′t+Λstξ-sσ=-G˙σfor t1≤t≤t2-τ and(33)∂L∂ttξ0σ+∂L∂qstξsσ+∂L∂q˙stξ˙sσ+L-∂L∂q˙stq˙sξ˙0σ+Qs′′t+Λstξ-sσ=-G˙σ,σ=1,2,…,rfor t2-τ<t≤t2, then there exists a system of r linear independent conserved quantities(34)Iσ=Lξ0σ+∂L∂q˙st+∂L∂q˙sτt+τξ-sσ+Gσ=const.,for t1≤t≤t2-τ, and(35)Iσ=Lξ0σ+∂L∂q˙stξ-sσ+Gσ=const.,σ=1,2,…,r,for t2-τ<t≤t2.Proof.
From formulae (32) and (33), we have(36)ddtLξ0σ+∂L∂q˙st+∂L∂q˙sτt+τξ-sσ+Gσ+ξ-sσ∂L∂qst+∂L∂qsτt+τ-ddt∂L∂q˙stkkkkkllll-ddt∂L∂q˙sτt+τ+Qs′′t+Λst=0,for t1≤t≤t2-τ, and(37)ddtLξ0σ+∂L∂q˙stξ-sσ+Gσ+∂L∂qst-ddt∂L∂q˙st+Qs′′t+Λst=0,kkkkkkkkkkkkkkkkkkkkkkkkkllσ=1,2,…,rfor t2-τ<t≤t2. Substituting (13) into formulae (36) and (37), we obtain(38)ddtLξ0σ+∂L∂q˙st+∂L∂q˙sτt+τξ-sσ+Gσ=0for t1≤t≤t2-τ and(39)ddtLξ0σ+∂L∂q˙stξ-sσ+Gσ=0,σ=1,2,…,rfor t2-τ<t≤t2. Integrating formulae (38) and (39), we get the results.
Theorem6 can be called the Noether theorem for corresponding holonomic systems (13).


## 6. Noether Theorem of Nonholonomic Systems with Time Delay

Because(40)δqs=Δqs-q˙sΔt=εσξ-sσ,by considering the independent of δq˙s, formula (2) can be expressed as(41)∂fβ∂q˙sξ-sσ=0,β=1,2,…,g;σ=1,2,…,r.This is the restriction of the nonholonomic constraints on the generating functions of the infinitesimal transformations, and formula (41) can be called the Appell-Chetaev condition.Theorem 7.
For the given nonholonomic systems (1) and (12) with time delay, if the infinitesimal transformations (16) are the generalized Noether quasi-symmetrical transformations and satisfy the Appell-Chetaev condition (41), then there exists a systems of r linear independent conserved quantities (34) and (35).Proof.
From Definition3 and formula (23), we obtain(42)∫t1t2-τεσddtLξ0σ+∂L∂q˙st+∂L∂q˙sτt+τξ-sσ+Gσkkkkkkkll+ξ-sσ∂L∂qst+∂L∂qsτt+τ-ddt∂L∂q˙stddt∂L∂q˙sτt+τ+Q′′stkkkkkkkkkkkkddtLξ0σ+∂L∂q˙st+∂L∂q˙sτt+τξ-sσ+Gσ-ddt∂L∂q˙sτt+τ+Qs′′tdt+∫t2-τt2εσddtLξ0σ+∂L∂q˙stξ-sσ+Gσ∂L∂qst-ddt∂L∂q˙st+Q′′stkkkkkkkkkkl+ξ-sσ∂L∂qst-ddt∂L∂q˙st+Qs′′tdt=0.From the Appell-Chetaev condition (41), we have(43)∫t1t2εσλβ∂fβ∂q˙sξ-sσdt=0.Adding (43) to (42), we obtain(44)∫t1t2-τεσddtLξ0σ+∂L∂q˙st+∂L∂q˙sτt+τξ-sσ+Gσkkkkkkkl+ξ-sσ∂L∂qst+∂L∂qsτt+τ-ddt∂L∂q˙st-ddt∂L∂q˙sτt+τ+Qs′′t+λβ∂fβ∂q˙skkkkkkkkkkkklddtLξ0σ+∂L∂q˙st+∂L∂q˙sτt+τξ-sσ+Gσ-ddt∂L∂q˙sτt+τ+Qs′′t+λβ∂fβ∂q˙sdt+∫t2-τt2εσddtLξ0σ+∂L∂q˙stξ-sσ+Gσkkkkkkkiiiiiiklk+ξ-sσ∂L∂qst-ddt∂L∂q˙stQs′′t+λβ∂fβ∂q˙skkkkkkkkkkkiiiiiiikkkl+Qs′′t+λβ∂fβ∂q˙sdt=0.Substituting (12) into formula (44) and considering the independence of εσ and the arbitrariness of integration interval, we obtain(45)ddtLξ0σ+∂L∂q˙st+∂L∂q˙sτt+τξ-sσ+Gσ=0for t1≤t≤t2-τ and(46)ddtLξ0σ+∂L∂q˙sξ-sσ+Gσ=0,σ=1,2,…,rfor t2-τ<t≤t2. Integrating formulae (45) and (46), we get the results.Theorem7 is called the Noether theorem for nonholonomic systems (1) and (12) with time delay. According to Theorem 7, if we can find a generalized Noether quasi-symmetric transformation for nonholonomic systems with time delay, then we can get a conserved quantity of the systems.


## 7. Illustrative Example

Example.  Considering the dynamic system with time delay, the Lagrangian is(47)L=12q˙12t+q˙12t-τ+12q˙22t+q˙22t-τ.The nonholonomic constraint is [14](48)f=q˙1+btq˙2-bq2+t=0,b=const.and the boundary conditions are satisfied: when t∈[t1-τ,t1], qs(t)=Ωs(t)(s=1,2), Ωs(t) is a given piecewise smooth function in [t1-τ,t1], where τ<t2-t1 is a given real number, and when t=t2, qs(t)=qs(t2)(s=1,2), qs(t2) are certain values.The differential equations of motion can be expressed as(49)q¨1t+q¨1τt+τ=λ=Λ1,q¨2t+q¨2τt+τ=λbt=Λ2,kkkkkkkkkkkllt1≤t≤t2-τ,q¨1t=λ=Λ1,q¨2t=λbt=Λ2,kkkkkkkkkkkkkkkkkkllt2-τ<t≤t2.Taking derivative of (48) with respect to t, we have(50)dfdt=q¨1+btq¨2+1=0.From formulae (49) and (50), we have(51)λ=-21+b2t2,t1≤t≤t2-τ,λ=-11+b2t2,t2-τ<t≤t2.Conditions (32) and (33) give(52)q˙1t+q˙1τt+τξ˙1-q˙1ξ˙0+q˙2t+q˙2τt+τ·ξ˙2-q˙2ξ˙0+Lξ˙+Λ1ξ1-q˙1ξ0+Λ2ξ2-q˙2ξ0=-G˙,t1≤t≤t2-τ,q˙1ξ˙1-q˙1ξ˙0+q˙2ξ˙2-q˙2ξ˙0+Lξ˙0+Λ1ξ1-q˙1ξ0+Λ2ξ2-q˙2ξ0=-G˙,t2-τ<t≤t2.Equations in (52) have the following solutions:(53)ξ01=1,ξ11=q˙1t,ξ21=q˙2t,kkkkkkkkkklkllG1=-q˙12t+q˙22t,kkkkkkkkklkklkkkkkkklt1≤t≤t2-τ,ξ01=1,ξ11=q˙1t,ξ21=q˙2t,kkkkkkkllklklG1=-12q˙12t+q˙22t,kkkkkkkkkkkkklllkkkklt2-τ<t≤t2;(54)ξ02=0,ξ12=1,ξ22=0,kkkkkkkkkkllG2=2barctanbt,kkkkkkkkkkklklt1≤t≤t2-τ,ξ02=0,ξ12=1,ξ22=0,kkkkkkkkkklG2=1barctanbt,kkkkkkkkkkklklt2-τ<t≤t2;(55)ξ03=0,ξ13=0,ξ23=1,kkkkkkklG2=1bln⁡1+b2t2,kkkkkkkkkkkllkt1≤t≤t2-τ,ξ03=0,ξ13=0,ξ23=1,kkkkkkkG2=12bln⁡1+b2t2,kkkkkkkkkkllkkt2-τ<t≤t2;(56)ξ04=0,ξ14=-bt,ξ24=1,kkkkkkG4=bqt+qτt+τ,kkkkkkkkkkkkllkkt1≤t≤t2-τ,ξ04=0,ξ14=-bt,ξ24=1,kkkkkkkkkkkkkkkklG4=bqt,kkkkkkkkkkkklkkt2-τ<t≤t2.These generating functions and gauge functions (53), (54), (55), and (56) correspond to the generalized quasi-symmetrical transformations of the corresponding holonomic system with time delay. The Appell-Chetaev condition (41) gives(57)ξ-1+btξ-2=0.Formulae (54) and (55) do not satisfy (57), but formulae (53) and (56) satisfy (57). Therefore, formulae (53) and (56) correspond to the generalized quasi-symmetrical transformations of nonholonomic system with time delay. Theorem 7 gives the conserved quantities as follows:(58)I1=12-q˙12t+q˙12t-τ+12-q˙22t+q˙22t-τ=const.,t1≤t≤t2-τ,I1=12q˙12t-τ+12q˙22t-τ=const.,t2-τ<t≤t2,I4=-btq˙1t+q˙1τt+τ+q˙2t+q˙2τt+τ+bq1t+q1τt+τ=const.,t1≤t≤t2-τ,I4=-btq˙1t+q˙2t+bq1t=const.,t2-τ<t≤t2.Formulae in (58) are the conserved quantities corresponding to the Noether generalized quasi-symmetric transformations (53) and (56) for nonholonomic system with time delay that we discussed.


## 8. Conclusions

In this paper, we focus on studying the Noether theorem for nonholonomic systems with time delay. The differential equations for nonholonomic systems with time delay are established. The Noether theorem for nonholonomic systems with time delay is obtained. According to Theorems6 and 7, the symmetry problems for nonholonomic systems with time delay can be expressed as the symmetry problems for the corresponding holonomic systems with time delay, which are as the classical nonholonomic system. If τ=0, the nonholonomic systems with time delay can be reduced to the classical nonholonomic systems. The results of this paper are of universal significance, which can be further applied to various types of optimal control systems with time delay, constrained Birkhoffian systems with time delay, and so on.



---

*Source: 539276-2015-04-05.xml*