#### 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.

#### 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 Section 2, 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 by generalized coordinates . The motion of the system is subjected to bilateral ideal nonholonomic constraints of Chetaev typeThe restriction of constraints (1) exerted on the virtual displacements isThe Hamilton principle for nonconservative systems is [14]where is the Lagrangian and are the generalized nonpotential forces. Considering that the time delay exists, the Lagrangian is and the generalized nonpotential forces are . The boundary conditionsare satisfied, where is a given positive real number such that , are given piecewise smooth functions in , and are certain values. From formulae (2) and (3), we havewhere is the Lagrange multiplier. By the change of variable in the third and fourth terms in formula (6) and considering condition (4), we haveSubstituting (7) into (6), we haveIntegrating by parts and taking use of boundary conditions (4) and (5), we haveSubstituting (9) into (8), we haveConsidering the arbitrariness of the integral interval and taking use of the Lagrange multipliers rules, we haveTaking derivative of (11) with respect to , we haveEquations 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 , , , , and . Therefore, (12) can be written in the formwhereEquations 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 , 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 iswhere is a curve. Introduce the infinitesimal transformations of parameter finite transformations of groupor their expansion formulaewhere are the infinitesimal parameters and , are the generators or generating functions for the infinitesimal transformations. Under the infinitesimal transformations (16), the Hamilton action (15) can be expressed aswhere is a neighbor curve of . Then, the main linear part relative to in the difference isBy making a linear change of variable in the fourth and fifth terms under formula (19) and considering the boundary conditions (4), we haveSubstituting formula (20) into (19), we haveNoticing thatand transformations (16), we can express formula (21) aswhereFormulae (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 formulaholds, 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 formulaholds, where 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 formulaholds, then the infinitesimal transformations are called the generalized Noether quasi-symmetric transformations of dynamics systems with time delay.

From Definition 3 and the formula (21), we obtain the following.

Theorem 4. *If the infinitesimal transformations (16) satisfy the conditions**for , and**for , then the infinitesimal transformations are the generalized Noether quasi-symmetric transformations in the sense of Definition 3.*

Theorem 4 can also be expressed as the following theorem.

Theorem 5. *If the infinitesimal transformations (17) satisfy the conditions**for , and**for , where , then the infinitesimal transformations are the generalized Noether quasi-symmetric transformations in the sense of Definition 3.**When , 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**for and**for , then there exists a system of linear independent conserved quantities**for , and**for .*

*Proof. *From formulae (32) and (33), we havefor , andfor . Substituting (13) into formulae (36) and (37), we obtainfor andfor . Integrating formulae (38) and (39), we get the results.

Theorem 6 can be called the Noether theorem for corresponding holonomic systems (13).

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

Becauseby considering the independent of , formula (2) can be expressed asThis 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 linear independent conserved quantities (34) and (35).*

*Proof. *From Definition 3 and formula (23), we obtainFrom the Appell-Chetaev condition (41), we haveAdding (43) to (42), we obtainSubstituting (12) into formula (44) and considering the independence of and the arbitrariness of integration interval, we obtainfor andfor . Integrating formulae (45) and (46), we get the results.

Theorem 7 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 isThe nonholonomic constraint is [14]and the boundary conditions are satisfied: when , , is a given piecewise smooth function in , where is a given real number, and when , , are certain values.

The differential equations of motion can be expressed asTaking derivative of (48) with respect to , we haveFrom formulae (49) and (50), we haveConditions (32) and (33) giveEquations in (52) have the following solutions: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) givesFormulae (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: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 Theorems 6 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 , 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.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgment

This paper is supported by the National Natural Science Foundation of China under Grants nos. 10972151 and 11272227.