SONG Chuanjing

School of Mathematics and Physics，Suzhou University of Science and Technology，Suzhou 215009，P.R.China

Abstract: Perturbation to Noether symmetry and adiabatic invariants for Birkhoffian system，Hamiltonian system and Lagrangian system with delta derivative are investigated，respectively. Firstly，the definition and some related properties of time scale calculus are listed simply as preliminaries. Secondly，the Birkhoffian system with delta derivative is studied. Based on the differential equation of motion as well as Noether symmetry and conserved quantity，perturbation to Noether symmetry and adiabatic invariant are investigated. Thirdly，adiabatic invariants for the Hamiltonian system and the Lagrangian system are presented through some transformations. And finally，an example is given to illustrate the methods and results.

Key words: perturbation to Noether symmetry;adiabatic invariant;dynamic system;time scale

0 Introduction

Adiabatic invariant means a physical quantity，which varies more slowly than the changing parameter. The adiabatic invariant is closely related to the integrable property of the mechanic system. Because one of the important tasks of analytical mechanics is to find the solutions of the differential equations of motion，it is significant to study the adiabatic invariant. The adiabatic invariant was first introduced by Burgers in 1917［1］. Since then，many results about perturbation to symmetry and adiabatic invariant have been obtained［2-7］.

Time scale，which means an arbitrary nonempty closed subset of the real number set，was first proposed by Stefan Hilger in 1988［8］. Because the integer number set Z and the real number set R are both examples of time scale，the theory of time scale can harmonize the continuous analysis and the discrete analysis. A lot of results for dynamic system on time scale have been obtained，for example，dynamic equations on time scale［9-10］，calculus of variations on time scale［11-12］，Noether symmetry and conserved quantity on time scale［13-16］，and so on. There are two derivatives used commonly on time scale，namely delta derivative and nabla derivative. In this paper，the adiabatic invariant for dynamic systems with delta derivative is only presented.

1 Preliminaries

Here some properties and definitions about time scale calculus are reviewed［9］.

Let T be a time scale，the forward jump operator σ：T →T and the graininess function θ：T →[0，∞) are defined as

where t ∈T，inf?=supT，sup?=infT.

Let f：T →R，if for all ε ＞0，there exists δ ＞0 such that for all ω ∈(t-δ，t+δ) ∩T，| f (σ(t) )-f (ω)-fΔ(t) [σ(t)-ω] | ≤ε|σ(t)-ω|holds，then fΔ(t) is called delta derivative of f at point t.fΔ(t) can also be denoted as

Remark 1When T=R，σ(t) =t，θ(t) =0，fΔ(t) =f′(t). When T=Z，σ(t) =t+1，θ(t) =1，fΔ(t) =Δdf=f (t+1) -f (t).

Supposing that f，g：T →R are differentiable，then for any constants α and β，we have

A function f：T →R is called rd-continuous if it is continuous at right-dense points and its left-sided limits exist at left-dense points. The set of rd-continuous functions is denoted by Crd. C1rddenotes the set of these functions whose derivatives are still rd-continuous.

A function F：T →R is called an antiderivative of f：T →R provided FΔ(t) =f (t) holds.

It is noted that every rd-continuous function has an antiderivative. In particular，if t0∈T，then F defined byΔτ for t ∈T is an antiderivative of f.

2 Adiabatic Invariant for Birkhoffian System on Time Scale

2.1 Differential equation of motion

From the following functional

the Birkhoff equation on time scale［15］is given as

2.2 Noether symmetry and conserved quantity

Definition 1Quantity C is said to be a conserved quantity if and only if0 along the differential equation of motion on time scale.

Theorem 1［15］If I(aμ(·)) in Eq.（4）is invariant under the infinitesimal transformations

holds，then a conserved quantity exists as

where ε is an infinitesimal parameter，and ξ0Bμthe infinitesimal generator of the infinitesimal transformation（Eq.（6））.

Theorem 2［15］If I(aμ(·)) in Eq.（4）is invariant under the infinitesimal transformations

holds，then the conserved quantity can be obtained as

where ε is an infinitesimal parameter，ξ0B0and ξ0Bμare the infinitesimal generators of the infinitesimal transformation（Eq.（9））.

Assume that the Birkhoffian system（Eq.（5））is disturbed by small forces εWBρ(t，aσμ)，ρ=1，2，…，2n，then we have

Under the small disturbance，conserved quantity may change. It is supposed that this change is a small perturbation on the basis of the undisturbed system. Therefore，the infinitesimal generators of the disturbed system can be expressed as

Definition 2If a quantity Izsatisfies that the highest power of ε is z and ΔIz/Δt is in direct proportion to εz+1，then Izis a z-th order adiabatic invariant on time scale.

Theorem 3Under the infinitesimal transformations when the Birkhoffian system（Eq.（5））is disturbed，if the infinitesimal generator ξjBρ，j=0，1，2，…，z satisfies then a z-th order adiabatic invariant exists as

ProofFrom Eqs.（12，15）we can get

This proof is completed.

Theorem 4Under the infinitesimal transformations

when the Birkhoffian system（Eq.（5））is disturbed，a z-th order adiabatic invariant exists as

ProofConsider

When s(t) =t，we have

i.e.

Making use of Theorem 3，we obtain that when s(t) =t

where

where ?1B and ?1Rνdenote the partial derivative of B and Rνwith respect to their first variables，respectively. Substituting Eqs.（24，25）into Eq.（23），the intended result can be obtained.

This proof is completed.

Remark 2Theorem 3 and Theorem 4 reduce to Theorem 1 and Theorem 2 when z=0 respectively. That is，when the Birkhoffian system is undisturbed，a conserved quantity can be got. When the Birkhoffian system is disturbed，a z-th order adiabatic invariant can be got.

Remark 3When T=R，from Eq.（18）we have

Eq.（26）is the classical adiabatic invariant for the classical Birkhoffian system［17］.

Remark 4When T=Z，from Eq.（18）we have

Eq.（27）is the adiabatic invariant for the discrete Birkhoffian system.

Considering that T has many other special values，Theorem 3 and Theorem 4 have the universal significance.

3 Adiabatic Invariants for Hamiltonian System and Lagrangian System on Time Scale

3.1 Adiabatic invariant for Hamiltonian system

From the following transformations

disturbed Hamilton equation can be obtained from Eq.（12），that is

Theorem 5For the disturbed Hamiltonian system（Eq.（29）），if the infinitesimal generator ξjHi，j=0，1，2，…，z satisfiesi

then a z-th order adiabatic invariant exists as

ProofFrom Eqs.（29，30），we get

This proof is completed.

Theorem 6Under the infinitesimal transformations with the time and the coordinates both changing，the disturbed Hamiltonian system（Eq.（29））has an adiabatic invariant

Remark 5Adiabatic invariant for the Hamiltonian system can be obtained through transformation（Eq.（28）），and they can also be obtained through the similar method used for the Birkhoffian system.

Remark 6From Remark 2，put z=0 in Eqs.（31，32），conserved quantities for the undisturbed Hamiltonian system can be got，which are consistent with the results in Refs.［16，18］.

3.2 Adiabatic invariant for Lagrangian system

From the following transformations

disturbed Lagrange equation can be obtained from Eq.（29），that is

Theorem 7For the disturbed Lagrangian system（Eq.（34）），if the infinitesimal generator ξjLi，j =0，1，2，…，z satisfies

then a z-th order adiabatic invariant exists as

Proof From Eqs.（34，35），we can get

This proof is completed.

Theorem 8Under the infinitesimal transformations with the time and the coordinates both changing，the disturbed Lagrangian system （Eq.（34））has an adiabatic invariant

Remark 7Adiabatic invariant for the Lagrangian system can be obtained through transformation（Eq.（33）），and they can also be achieved through the similar method used for the Birkhoffian system.

Remark 8The results of the adiabatic invariant for Lagrangian system are consistent with those obtained in Ref.［19］.

Remark 9From Remark 2，put z=0 in Eq.（37），a conserved quantity for the undisturbed Lagrangian system can be got，which is consistent with the result in Ref.［13］.

4 Illustrative Example

Try to find out the adiabatic invariant for the following Birkhoffian system

on the time scale T={2n：n ∈N ∪{0}}.

From the given time scale，we get σ(t) =2t，θ(t) =t.

When the system is undisturbed，that is，let j=0 in Eq.（15），we get

Taking calculation，we have

Theorem 3 gives

When the system is disturbed by

Let j=1 in Eq.（15），we get

Taking calculation，we have

Theorem 3 gives

Furthermore，the higher order adiabatic invariant can be got.

5 Conclusions

Perturbation to Noether symmetry and adiabatic invariant for dynamic systems on time scale are presented in this paper. Theorem 3-Theorem 6 are new work. Theorem 1，Theorem 2，Theorem 7 and Theorem 8 are consistent with the existing results. Several special cases are given in the form of Remark simply.

As mentioned in Introduction，nabla derivative and delta derivative have equal importance for dynamic system. In fact，adiabatic invariant for dynamic system with nabla derivative can be obtained through the similar method used in this paper. Besides，duality principle is an important and elegant method used on time scale. Therefore，adiabatic invariant for dynamic system with nabla derivative can also be studied through duality principle，which is not mentioned here.