Abstract and Applied Analysis

Volume 2012 (2012), Article ID 303706, 12 pages

doi:10.1155/2012/303706

Research Article

The Lie Brackets on Time Scales

H. Kusak and A. Caliskan

Department of Mathematics, Faculty of Sciences, Ege University, 35100 Izmir, Turkey

Received 7 May 2012; Accepted 26 June 2012

Academic Editor: Natig Atakishiyev

Copyright © 2012 H. Kusak and A. Caliskan. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The Lie derivative, which has a wide range of application in physics and geometry, is trying to be examined on time scales. Firstly, nabla Lie bracket is defined on two-dimensional time scales. Secondly, the nabla Lie multiplication and some properties are given on the time scales. Lastly, for analyzing the differences between the real Lie multiplication and the nabla Lie multiplication, a numerical example is given.

1. Introduction

By unifying continuous and discrete calculus a different kind of calculus was exposed which recently takes the attentions as time scale theory has been introduced by Hilger in 1988 with his doctoral dissertation. The time scale theory by means of calculus every passing day lots of new theories and different implementation parts are quickly composed. Time scale is really very important and has an useful role at a great deal of sciences which are studying with dynamical systems. Differential geometry is one of these sciences. In [1–4] some geometric notions are trying to research on the time scale. In the paper [5] the curve and surface description were made for the first time. The reference [6] direction nabla derivative and its properties were investigated. The properties of vector field, derivative mapping, and delta connection were investigated in [7, 8]. In [6] nabla covariant derivative definition was given. Also some fundamental properties about time scale can be obtained in the references [9–12].

In physics, the use of Lie derivative is based on very old time. Especially the use of the Lie brackets is quite important in nonlinear control system and field of neural networks domains. Lie derivative studies, maintained until today, always show their effects in continuous space; however, in discrete space Lie multiplication is not studied. In this study in order to eliminate this problem, we will try to survey the Lie brackets which combines discrete space and continuous space on time scale. Thus, defined nabla Lie operator simultaneously in real terms and in different time scales, their reciprocities will be able to find easily. Additionally, for analyzing the differences between the reel Lie multiplication and the nabla Lie multiplication a numerical example is given.

2. Preliminaries

The following definitions and theorems will serve as a short primer on time scale calculus; they can be found in [6, 10, 11]. A time scale is any nonempty closed subset of . Within that set, define the jump operators by , where , and , where denotes the empty set. Also the graininess function is defined by . If is a function, then we define the function by for , that is, .

Theorem 2.1. If are -differentiable at , then

(i) is -differentiable at and

(ii) for any constant , is -differentiable at and

(iii) is -differentiable at and

(iv) if , then is -differentiable at and

Definition 2.2. Let two vector fields and be given. The covariant nabla differentiation with respect to at the point is defined as the vector

provided it exists, where for .

Theorem 2.3. Let two vector fields , be given. The covariant nabla differentiation with respect to at the point exits and is expressed by the formula

Theorem 2.4. Let and two vector fields an be given. For any two tangent vectors and , the following properties are proven:

3. Nabla Lie Bracket on Time Scales

Lie multiplication and derivative are indispensable notions for algebra and geometry. Up to now we used them for discrete structures. In this study we have a chance for analyzing both discrete structures and indiscrete structures. Under both circumstances, we will research the structure of time scale. Because of covariant derivative was proved as nabla covariant derivative in the references [7, 8, 11] that is why we are defining our study as Nabla-Lie.

Definition 3.1. Let one has the two-dimensional space which is called on T time scales. As function, that is, on point, the nabla vector field is given with these coordinates

which was introduced in the reference [7].

Definition 3.2. Let one shows all the set of vector fields with on space. By varying the point along the curve on , one can obtain another smooth function which is the nabla derivative of along the vector field. The function

is called the nabla Lie derivative on time scales. It is common to denote the nabla Lie derivative of a function which has vector field along that is shown as . As shown, two-dimensional nabla Lie multiplication is a function from set to set.

Lemma 3.3. function will be the completely nabla differentiable as regarded to be equal the inner multiplication vector field of at point p with the derivative of f function at the same time interval of the nabla Lie derivation. In coordinates,

Theorem 3.4. Let one has the function which is completely nabla differentiable; will be the backward jump operator of taken time scale and area of vector is expressed by notation at point. All smooth vector fields of the time scale space are vector space on a M manifold. and are the two vector fields, given a function with Lie nabla derivative which is defined on . Then both and will help the calculation of nabla Lie bracket. The following equations can be expressed by nabla derivations on time scales:

Proof. and vector fields are written as the following:

because of Definitions 3.1 and 3.2. vector field can be calculated as the following by the help of nabla derivation and the definition of Lie derivation which is used on the time scales:

With the similar idea, the following equation:

can be found. Thus, obtained equations are desired at the theorem.

Definition 3.5. are vector fields. The equation

is called nabla Lie bracket on time scales. Here and are nabla Lie derivations.

Lemma 3.6. Let one has the two completely nabla-differentiable vector fields of f functions and vector fields. Due to the definitions of and , nabla Lie is equal to the substraction of the following equation:

Theorem 3.7. Let one has the two completely nabla differentiable vector fields as and . Nabla Lie multiplication can be defined as nabla covariant derivation because of the definition of nabla covariant derivative at [8] regarding N graininess function on time scales. The above representation gives a different geometrical dimension to Lie bracket. Lie parenthesis operator has an expression

which is like that in the nabla covariant defined with Definition 2.2.

Proof. Let us briefly write the substraction equations of nabla lie derivations by the help of equations that take place at Lemma 3.6. Then, we will, respectively, add and remove the expressions in brackets. In the next step, we will try to reach nabla covariant derivations from the nabla derivation definition by multiplying and dividing with :

Thus, it has been proven that may be thinking of the substraction of nabla covariant vectors which are belonging to two vector fields of nabla Lie derivatives. When the time scale is , the grannies function is zero, so it is seen that nabla Lie bracket is transformed to Lie bracket at real. Thus, as a result of the equation it was proved to achieve with nabla lie bracket for both different time scales and its equivalents at real.

Theorem 3.8. The vector fields are completely nabla differentiable. From the following equations, it is seen that the nabla Lie bracket is a Lie bracket operator:

Proof. The following proofs are obtained by the definition of Lie bracket and the results of nabla covariant derivation.

(i) Here we will proof that the nabla Lie bracket is not commutative:

(ii) Let us denote the sum with in the following equations:

(iii) From the definition of nabla Lie derivative we can obtain the following equations:

It is easy to see that by the addition of three equations above, we can obtain the result as zero:

4. A Numeric Example

Let us give a function and the vector fields on as the following:

Here we will calculate the nabla Lie multiplication, then we will try to obtain with using different time scales:

Let us firstly identify the situation that obtained for nabla Lie bracket:

From these equations, when the time scale is , we have seen that we could obtain Lie brackets which are known from the geometry, see in Figure 1.

Figure 1: The graph of the vector fields on .

When the time scale is as an example, we have obtained a different equation from to have known Lie bracket at real:

This is seen as a difference of natural consequence of the continuous and discrete structures, see in Figure 2.

Figure 2: The graph of the vector fields on .

5. Conclusion

In this study, it is seen that the Lie derivative which is frequently used in physics handles instead of continuous derivative in the way that the nabla Lie multiplication which is created by using time scale both continuous and discrete spaces that are obtained at the same time. This is possible to observe. This is the way to perform the easier and smoother transmission from the continuous space to discrete space. If we consider that the Lie multiplication cannot be analyzed yet in differential geometry discrete space and we can understand how important practice transmission to discrete space with nabla Lie multiplication. It is possible to use nabla Lie multiplication theoretically and practically in many fields of physics with this study.

For instance, with the leading of our work it will be possible to use nabla Lie derivative in nonlinear control systems, field of neural networks, and periodic orbits of a dynamical system, which are important fields.

References

A. Goetz, Introduction to Dierential Geometry, Notre Dame, Indiana, Ind, USA, 1970.

G. Heinrich, Dierential Geometry, New York, NY, USA, 1963.

Lelong, Element de Geometri Dierentielle, Les Cours de Sorbonne, Paris, France, 1966.

O. N. Barett, Elementary Geometry Dierential, New York, NY, USA, 1966.

M. Bohner and G. Sh. Guseinov, “Partial dierentiation on time scale,” Dynamic Systems & Applications, vol. 12, pp. 351–379, 2003.

N. Aktan, M. Z. Sarıkaya, K. İlarslan, and H. Yıldırım, “Directional -derivative and curves on -dimensional time scales,” Acta Applicandae Mathematicae, vol. 105, no. 1, pp. 45–63, 2009.

H. Kusak and A. Caliskan, “Application of vector field and derivative mapping on time scale,” Hadronic Journal, vol. 31, no. 6, pp. 617–633, 2008.

H. Kusak and A. Caliskan, “The delta nature connection on time scale,” Journal of Mathematical Analysis and Applications, vol. 375, no. 1, pp. 323–330, 2011.

B. Aulbach and S. Hilger, “Linear dynamic processes with inhomogeneous time scale,” in Nonlinear Dynamics and Quantum Dynamical Systems, pp. 9–20, BerlinAkademie, 1990.

M. Bohner and A. Peterson, Advances in Dynamic Equations on Time Scales, Birkhäauser, Boston, Mass, USA, 2003.

M. Bohner and A. Peterson, Dynamic Equations on Time Scales, An Introduction with Applications, Birkhäauser, Boston, Mass, USA, 2001.

S. Hilger, “Analysis on measure chains—a unified approach to continuous and discrete calculus,” Results in Mathematics, vol. 18, no. 1-2, pp. 18–56, 1990.