The Lie Brackets on Time Scales

and Applied Analysis 3 Theorem 2.4. Let a, b ∈ R and two vector fields X an Y be given. For any two tangent vectors Vp and Wp, the following properties are proven: i ∂X ∇ aV bW a ∂X ∇V b ∂X ∇W , ii ∂ aX bY ∇V a ∂X ∇V b ∂Y ∇V . 2.7 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 Λ2 T × T on T time scales. As f : M ⊂ Λ2 → R function, that is, on P point, the nabla vector field Vp f is given with these coordinates


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

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 Λ 2 T × T on T time scales. As f : M ⊂ Λ 2 → R function, that is, on P point, the nabla vector field V p f is given with these coordinates which was introduced in the reference 7 .
is called the nabla Lie derivative on time scales. It is common to denote the nabla Lie derivative of a f function which has vector field along V that is shown as V f ∇ . As shown, twodimensional nabla Lie multiplication is a function from Ψ Λ 2 × Ψ Λ 2 set to Ψ Λ 2 set.

Lemma 3.3. f function will be the completely nabla differentiable as regarded to be equal the inner multiplication vector field of V at point p with the derivative of f function at the same time interval of the nabla Lie derivation. In coordinates,
3.5 Proof. V 1 and V 2 vector fields are written as the following: because of Definitions 3.1 and 3.2. V 1 V 2 f ∇ 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: Abstract and Applied Analysis

3.8
With the similar idea, the following equation: can be found. Thus, obtained equations are desired at the theorem.
Definition 3.5. V 1 , V 2 ∈ Ψ Λ 2 are vector fields. The equation is called nabla Lie bracket on time scales. Here V 1 V 2 ∇ and V 2 V 1 ∇ are nabla Lie derivations.

6
Abstract and Applied Analysis Lemma 3.6. Let one has the two completely nabla-differentiable vector fields of f functions and V 1 , V 2 ∈ Ψ Λ 2 vector fields. Due to the definitions of V 1 V 2 f ∇ and V 2 V 1 ∇ , nabla Lie is equal to the substraction of the following equation:

3.11
Theorem 3.7. Let one has the two completely nabla differentiable vector fields as V 1 and V 2 . 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 ρ x 1 − x 1 : Abstract and Applied Analysis 7 Abstract and Applied Analysis

3.13
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 R, 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 V 1 , V 2 , V 3 ∈ Ξ Λ 2 are completely nabla differentiable. From the following equations, it is seen that the nabla Lie bracket is a Lie bracket operator: 3.14 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:

3.15
Abstract and Applied Analysis 9 ii Let us denote the sum αV 1 βV 2 with W in the following equations:

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

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

A Numeric Example
Let us give a function f x 1 , x 2 x 1 x 2 3x 2 ∂/∇x 1 2x 1 − x 2 ∂/∇x 2 and the vector fields on Λ 2 as the following:

4.4
Abstract and Applied Analysis

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

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.