Tangent Space and Derivative Mapping on Time Scale

Similar documents
Dynamic Systems and Applications 13 (2004) PARTIAL DIFFERENTIATION ON TIME SCALES

MATHEMATICAL COMBINATORICS

Research Article Normal and Osculating Planes of Δ-Regular Curves

Dynamic Systems and Applications xx (2005) pp-pp MULTIPLE INTEGRATION ON TIME SCALES

Solving Third Order Three-Point Boundary Value Problem on Time Scales by Solution Matching Using Differential Inequalities

Submitted Version to CAMWA, September 30, 2009 THE LAPLACE TRANSFORM ON ISOLATED TIME SCALES

COMPLETENESS THEOREM FOR THE DISSIPATIVE STURM-LIOUVILLE OPERATOR ON BOUNDED TIME SCALES. Hüseyin Tuna

MULTIPLE POSITIVE SOLUTIONS FOR DYNAMIC m-point BOUNDARY VALUE PROBLEMS

International Publications (USA) PanAmerican Mathematical Journal

Boundary Value Problems For A Differential Equation On A Measure Chain

Periodic Solutions in Shifts δ ± for a Dynamic Equation on Time Scales

A Mean Value Theorem for the Conformable Fractional Calculus on Arbitrary Time Scales

arxiv: v1 [math.ap] 4 Sep 2007

EXISTENCE OF POSITIVE SOLUTIONS FOR NON LOCAL p-laplacian THERMISTOR PROBLEMS ON TIME SCALES

Archivum Mathematicum

Regulated Solutions and Periodicity for Nonlinear Integral Equations on Time Scales in Banach Spaces

Equations with Separated Variables on Time Scales

Even Number of Positive Solutions for 3n th Order Three-Point Boundary Value Problems on Time Scales K. R. Prasad 1 and N.

Riemannian geometry of surfaces

1. Tangent Vectors to R n ; Vector Fields and One Forms All the vector spaces in this note are all real vector spaces.

POLYNOMIAL AND SERIES SOLUTIONS OF DYNAMIC. Maryville, MO , USA.

Some nonlinear dynamic inequalities on time scales

EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018

Research Article Existence of at Least Two Periodic Solutions for a Competition System of Plankton Allelopathy on Time Scales

APPLICATIONS OF DIFFERENTIABILITY IN R n.

Math Advanced Calculus II

BOUNDEDNESS AND EXPONENTIAL STABILITY OF SOLUTIONS TO DYNAMIC EQUATIONS ON TIME SCALES

Research Article On the Existence of Solutions for Dynamic Boundary Value Problems under Barrier Strips Condition

25. Chain Rule. Now, f is a function of t only. Expand by multiplication:

UNIQUENESS OF SOLUTIONS TO MATRIX EQUATIONS ON TIME SCALES

Lie-point symmetries of the Lagrangian system on time scales

Course 212: Academic Year Section 1: Metric Spaces

Stability and Instability for Dynamic Equations on Time Scales

EXISTENCE OF POSITIVE SOLUTIONS FOR p-laplacian THREE-POINT BOUNDARY-VALUE PROBLEMS ON TIME SCALES

Extremal Solutions of Differential Inclusions via Baire Category: a Dual Approach

Integrable equations on time scales

Oscillation Theorems for Second-Order Nonlinear Dynamic Equation on Time Scales

SPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction

MATH 423/ Note that the algebraic operations on the right hand side are vector subtraction and scalar multiplication.

Mathematical Economics: Lecture 9

A SIMPLIFIED APPROACH TO GRONWALL S INEQUALITY ON TIME SCALES WITH APPLICATIONS TO NEW BOUNDS FOR SOLUTIONS TO LINEAR DYNAMIC EQUATIONS

DIFFERENTIAL FORMS AND COHOMOLOGY

The Wiener Itô Chaos Expansion

Higher Order Averaging : periodic solutions, linear systems and an application

Problem Set 4. f(a + h) = P k (h) + o( h k ). (3)

Newtonian Mechanics. Chapter Classical space-time

Vector Fields and Line Integrals The Fundamental Theorem for Line Integrals

Chapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves

Exercises for Multivariable Differential Calculus XM521

Curvature of Digital Curves

Multivariable Calculus Notes. Faraad Armwood. Fall: Chapter 1: Vectors, Dot Product, Cross Product, Planes, Cylindrical & Spherical Coordinates

Two chain rules for divided differences

MATH The Chain Rule Fall 2016 A vector function of a vector variable is a function F: R n R m. In practice, if x 1, x n is the input,

EXISTENCE OF NEUTRAL STOCHASTIC FUNCTIONAL DIFFERENTIAL EQUATIONS WITH ABSTRACT VOLTERRA OPERATORS

A CHARACTERIZATION OF STRICT LOCAL MINIMIZERS OF ORDER ONE FOR STATIC MINMAX PROBLEMS IN THE PARAMETRIC CONSTRAINT CASE

MA102: Multivariable Calculus

Controlling Mechanical Systems by Active Constraints. Alberto Bressan. Department of Mathematics, Penn State University

Outline of the course

ANALYTIC FUNCTIONS ON TIME SCALES

Bounded Generalized Random Linear Operators

The heat equation in time dependent domains with Neumann boundary conditions

On Stability of Dynamic Equations on Time Scales Via Dichotomic Maps

ON SOME GEOMETRIC PROPERTIES OF QUASI-SUM PRODUCTION MODELS. 1. Introduction

Errata for Vector and Geometric Calculus Printings 1-4

Nonlocal problems for the generalized Bagley-Torvik fractional differential equation

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

Math 361: Homework 1 Solutions

Hyers Ulam stability of first-order linear dynamic equations on time scales

arxiv: v1 [math.ca] 12 Feb 2010

Chap. 1. Some Differential Geometric Tools

Nonlinear equations. Norms for R n. Convergence orders for iterative methods

ON WEAK SOLUTION OF A HYPERBOLIC DIFFERENTIAL INCLUSION WITH NONMONOTONE DISCONTINUOUS NONLINEAR TERM

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

Information geometry for bivariate distribution control

Asymptotic behaviour of solutions of third order nonlinear differential equations

Chapter 4. The First Fundamental Form (Induced Metric)

Impulse functions over curves and surfaces and their applications to diffraction

DEVELOPMENT OF MORSE THEORY

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5

THEOREMS, ETC., FOR MATH 515

Lecture two. January 17, 2019

Properties of the Generalized Laplace Transform and Transport Partial Dynamic Equation on Time Scales

Closed-Loop Impulse Control of Oscillating Systems

4.7 The Levi-Civita connection and parallel transport

Solution formula and time periodicity for the motion of relativistic strings in the Minkowski space R 1+n

Defn 3.1: An n-manifold, M, is a topological space with the following properties:

Half of Final Exam Name: Practice Problems October 28, 2014

A METHOD OF THE DETERMINATION OF A GEODESIC CURVE ON RULED SURFACE WITH TIME-LIKE RULINGS

Transformations from R m to R n.

Discrete Population Models with Asymptotically Constant or Periodic Solutions

Journal of Inequalities in Pure and Applied Mathematics

THE BACKWARD BEHAVIOR OF THE RICCI AND CROSS CURVATURE FLOWS ON SL(2, R)

Course Summary Math 211

A CAUCHY PROBLEM ON TIME SCALES WITH APPLICATIONS

Vector Derivatives and the Gradient

DIEUDONNE AGBOR AND JAN BOMAN

VANDERBILT UNIVERSITY. MATH 2300 MULTIVARIABLE CALCULUS Practice Test 1 Solutions

HYPERBOLIC SETS WITH NONEMPTY INTERIOR

for all f satisfying E[ f(x) ] <.

Before you begin read these instructions carefully.

Transcription:

International J.Math. Combin. Vol.2 (2009, 01-10 Tangent Space and Derivative Mapping on Time Scale Emin ÖZYILMAZ (Department of Mathematics,University of Ege, 35100, İzmir, Turkey E-mail: emin.ozyilmaz@ege.edu.tr Abstract: A pseudo-euclidean space, or Smarandache space is a pair (R n, ω O. In this paper, considering the time scale concept on Smarandache space with ω O (u 0 for u E, i.e., the Euclidean space, we introduce the tangent vector and some properties according to directional derivative, the delta differentiable vector fields on regular curve parameterized by time scales and the Jacobian matrix of -completely delta differentiable two variables function. Key Words: Pseudo-Euclidean space, Smarandache space, time scale, regular curve, derivative mapping. AMS(2000: 53B30, 51B20. 1. Introduction A pseudo-euclidean space, or Smarandache space is a pair (R n, ω O, where ω O : R n O is a continuous function, i.e., a straight line with an orientation O will has an orientation O+ω O (u after it passing through a point u E. It is obvious that (E, ω O E the Euclidean space if and only if ω O (u 0 for u E, on which calculus of time scales was introduced by Aulbach and Hilger [1,2]. This theory has proved to be useful in the mathematical modeling of several important dynamic processes [3,4,5]. We know that the directional derivative concept is based on for some geometric and physical investigations. It is used at the motion according to direction of particle at the physics [6]. Then, Bohner and Guseinov has been published a paper about the partial differentiation on time scale [7]. Here, authors introduced partial delta and nabla derivative and the chain rule for multivariable functions on time scale and also the concept of the directional derivative. Then, the directional derivative according to the vector field has defined [8]. The general idea in this paper is to investigate some properties of directional derivative. Then, using the directional derivative, we define tangent vector space and delta derivative on vector fields. Finally, we write Jacobian matrix and the -derivative mapping of the -completely delta differentiable two variables functions. So our intention is to use several new concepts, which are defined in differential geometry [7]. 1 Received Feb.25, 2009. Accepted April 10, 2009.

2 Emin ÖZYILMAZ 2. Partial differentiation on time scale Let n N be fixed. Further, for each i {1, 2,, n} let T i denote a time scale, that is, T i is a nonempty closed subset of the real number R. Let us set Λ n T 1 xt 2 x xt n {t (t 1, t 2,, t n for t i T i, 1 i n} We call Λ n an n-dimensional time scale. The set Λ n is a complete metric space with the metric d defined by d(t, s n t i s i 2, for t, s Λ n. Let σ i and ρ i denote, respectively, the forward and backward jump operators in T i. Remember that for u T i the forward jump operator σ i : T i T i is defined by σ i (µ inf{ν T i : ν > µ} and the backward jump operator ρ i : T i T i by ρ i (µ inf{ν T i : ν < µ}. In this definition we put σ i (maxt i maxt i if T i has a finite maximum, and ρ i (mint i mint i if T i has a finite minimum. If σ i (µ > µ, then we say that µ is right-scattered ( in T i, while any µ with is left-scattered ( in T i. Also, if u < maxt i and σ i (µ µ, then µ is called right-dense ( in T i, and if µ > mint i and ρ i (µ µ, then µ is called left- dense ( in T i. If T i has a left-scattered minimum m, then we define Ti k T i {m}, otherwise Ti k T i. If T i has a right-scattered maximum M, then we define (T i k T i {M}, otherwise (T i k T i. Let f : Λ n R be a function. The partial delta derivative of f with respect to t i T k i is defined as the it f(t 1,, t i 1, σ i (t i, t i+1,, t n f(t 1,, t i 1, s i, t i+1,, t n f(t. s i t i σ i (t i s i i t i s i σ i(t i Definition 2.1 We say a function f : Λ n R is completely delta differentiable at a point t 0 (t 0 1, t0 2,, t0 n T k 1 xt k 2 x xt k n if there exist numbers A 1, A 2,, A n independent of t (t 1, t 2,, t n Λ n (but in general, dependent on t 0 such that for all t U δ (t 0, f(t 0 1, t0 2,, t0 n f(t 1, t 2,, t n and, for each j {1, 2,, n} and all t U δ (t 0, A i (t 0 i t i + α i (t 0 i t i

Tangent Space and Derivative Mapping on Time Scale 3 f(t 0 1,, t0 j 1, σ j(t 0 j, t0 j+1,, t0 n f(t 1,, t j 1, t j, t j+1,, t n A j (σ j (t 0 j t j + A i (t 0 i t i + β jj (σ j (t 0 j t j + β ij (t 0 i t i, (2 1 i j where δ is a sufficiently small positive number, U δ (t 0 is the δ-neighborhood of t 0 in Λ n, α i α i (t 0, t and β ij β ij (t 0, t are defined on U δ (t 0 such that they are equal to zero at t t 0 and such that i j t t 0 α i(t 0, t 0 and t t 0 β ij(t 0, t 0 for all i, j {1, 2,, n}. Definition 2.2 We say that a function f : T 1 xt R is σ 1 -completely delta differentiable at a point (t 0, s 0 T 1 xt if it is completely delta differentiable at that point in the sense of conditions (2.5-(2.7(see in [7] and moreover, along with the numbers A 1 and A 2 presented in (2.5-(2.7 (see in [7] there exists also a number B independent of (t, s T 1 xt (but, generally dependent on (t 0, s 0 such that f(σ 1 (t 0, σ 2 (s 0 f(t, s A 1 (σ 1 (t 0 t + B(σ 2 (s 0 s + γ 1 (σ 1 (t 0 t + γ 2 (σ 2 (s 0 s (2 2 for all (t, s V σ1 (t 0, s 0, a neighborhood of the point (t 0, s 0 containing the point (σ 1 (t 0, s 0, and the functions γ 1 γ 1 (t 0, s 0, t, s and γ 2 γ 2 (t 0, s 0, t, s are equal to zero for (t, s (t 0, s 0 and γ 1 γ 1 (t 0, s 0, t, s and γ 2(t 0, s 0, s 0. (2 3 (t,s (t 0,s 0 s s 0 Note that in (2 1 the function γ 2 depends only on the variable s. Setting s σ 1 (s 0 in (2 2 yields Furthermore, let two functions B f(σ 1(t 0, s 0. ϕ : T R and ψ : T R be given and let us set ϕ(t T 1 and ψ(t T 2. We will assume that T 1 and T 2 are time scales. Denote by σ 1, 1 and σ 2, 2 the forward jump operators and delta operators for T 1 and T 2, respectively. Take a point ξ 0 T k and put t 0 ϕ(ξ 0 and s 0 ψ(ξ 0.

4 Emin ÖZYILMAZ We will also assume that ϕ(σ(ξ 0 σ 1 (ϕ(ξ 0 and ψ(σ(ξ 0 σ 2 (ψ(ξ 0. Under the above assumptions let a function f : T 1 xt 2 R be given. Theorem 2.1 Let the function f be σ 1 -completely delta differentiable at the point (t 0, s 0. If the functions ϕ and ψ have delta derivative at the point ξ 0, then the composite function F(ξ f(ϕ(ξ, ψ(ξ for ξ T has a delta derivative at that point which is expressed by the formula F (ξ 0 f(t0, s 0 ϕ (ξ 0 + f(σ 1(t 0, s 0 ψ (ξ 0. Proof The proof can be seen in the reference [7]. Theorem 2.2 Let the function f be σ 1 -completely delta differentiable at the point (t 0, s 0. If the functions ϕ and ψ have first order partial delta derivative at the point (ξ 0, η 0, then the composite function F(ξ, η f(ϕ(ξ, η, ψ(ξ, η for (ξ, η T (1 xt (2 has the first order partial delta derivatives at (ξ 0, η 0 which are expressed by the formulas and F(ξ 0, η 0 (1 ξ f(t0, s 0 ϕ(ξ 0, η 0 (1 ξ + f(σ 1(t 0, s 0 ψ(ξ 0, η 0 (1 ξ F(ξ 0, η 0 (2 ξ f(t0, s 0 ϕ(ξ 0, η 0 (2 η + f(σ 1(t 0, s 0 ψ(ξ 0, η 0 (2 ξ Proof The proof can be also seen in the reference [7]. 3. The directional derivative Let T be a time scale with the forward jump operator σ and the delta operator. We will assume that 0 T. Further, let w (w 1, w 2 R 2 be a unit vector and let (t 0, s 0 be a fixed point in R 2. Let us set T 1 {t t 0 + ξw 1 : ξ T } and T 2 {s s 0 + ξw 2 : ξ T }. Then T 1 and T 2 are time scales and t 0 T 1, s 0 T 2. Denote the forward jump operators of T 1 and the delta operators by 1.

Tangent Space and Derivative Mapping on Time Scale 5 Definition 3.1 Let a function f : T 1 xt 2 R be given. The directional delta derivative of the function f at the point (t 0, s 0 in the direction of the vector w (along w is defined as the number provided it exists, where f(t 0, s 0 w F (0 F(ξ f(t 0 + ξw 1, s 0 + ξw 2 for ξ T. Theorem 3.1 Suppose that the function f is σ 1 -completely delta differentiable at the point (t 0, s 0. Then the directional delta derivative of f at (t 0, s 0 in the direction of the w exists and is expressed by the formula f(t 0, s 0 w f(t0, s 0 w 1 + f(σ 1(t 0, s 0 w 2. Proof The proof can be found in the reference [7]. 4. The tangent vector in Λ n and some properties Let us consider the Cartesian product Λ n T 1 xt 2 x xt n {P (x 1, x 2,, x n for x i T i } where T i are defined time scale for all 1 i n, n N. We call Λ n an n-dimensional Euclidean space on time scale. Let x i : Λ n T i be Euclidean coordinate functions on time scale for all 1 i n, n N, denoted by the set {x 1, x 2,, x n }. Let f : Λ n Λ m be a function described by f(p (f 1 (P, f 2 (P,, f m (P at a point P Λ n. The function f is called σ 1 -completely delta differentiable function at the point P provided that, all f i, i 1, 2,, m functions are σ 1 - completely delta differentiable at the point P. All this kind of functions set will denoted by C σ 1. Let P Λ n and {(P, v v P, P Λ n } be the set of tangent vectors at the point P denoted by V P (Λ n. Now, we find following properties on this set. Theorem 4.1 Let a, b R, f, g C σ 1 and v P, w P, z P V P (Λ 2. Then, the following properties are proven on the directional derivative. (i f(t 0, s 0 (av P + bw P, s 0 af(t0 + b f(t0, s 0, v P w P (ii (af + bg(t 0, s 0 v P a f(t0, s 0 v P + b g(t0, s 0 v P,

6 Emin ÖZYILMAZ (iii (fg(t 0, s 0 g(σ 1 (t 0, s 0 f(t0, s 0 + f(σ 1 (t 0, σ 2 (s 0 g(t0, s 0 v P v P v P µ 1 (t 0 f(t0, s 0 g(t 0, s 0 v 1 µ 2 (s 0 g(t0, s 0 f(σ 1 (t 0, s 0 v 1. Proof Considering Definition 3.1 and Theorem 3.1, we get easily (i and (ii. Then by Theorem 3.1, we have (fg(t 0, s 0 (fg(t0, s 0 v 1 + (fg(σ 1(t 0, s 0 v 2 v P ( f(t 0, s 0 g(t 0, s 0 + f(σ 1 (t 0, s 0 g(t0, s 0 ( f(σ1 (t 0, s 0 + f(t0, s 0 f(t0, s 0 v 1 g(σ 1 (t 0, s 0 + f(σ 1 (t 0, σ 2 (s 0 g(σ 1(t 0, s 0 g(t 0, s 0 v 1 + f(t0, s 0 g(σ 1 (t 0, s 0 v 1 +f(σ 1 (t 0, s 0 g(t0, s 0 f(σ 1 (t 0, σ 2 (s 0 g(t0, s 0 ( f(t g(σ 1 (t 0, s 0 0, s 0 g(σ 1 (t 0, s 0 v 1 + f(σ 1(t 0, s 0 g(σ 1 (t 0, s 0 v 2 v 1 + f(σ 1 (t 0, σ 2 (s 0 g(t0, s 0 v 1 v 2 v 1 + f(σ 1 (t 0, σ 2 (s 0 g(σ 1(t 0, s 0 v 2 v 1 + f(σ 1(t 0, s 0 v 2 + f(t0, s 0 v 1 (g(t 0, s 0 g(σ 1 (t 0, s 0 ( g(t +f(σ 1 (t 0, σ 2 (s 0 0, s 0 v 1 + g(σ 1(t 0, s 0 v 2 g(t0, s 0 v 1 (f(σ 1 (t 0, σ 2 (s 0 f(σ 1 (t 0, s 0 ( f(t g(σ 1 (t 0, s 0 0, s 0 ( g(t + f(σ 1 (t 0, σ 2 (s 0 0, s 0 v P v P µ 1 (t 0 f(t0, s 0 g(t 0, s 0 v 1 µ 2 (s 0 g(t0, s 0 f(σ 1 (t 0, s 0 v 1 5. The parameter mapping and delta derivative of vector field along a regular curve Definition 5.1 A -regular curve (or an arc of a -regular curve f is defined as a mapping x 1 f 1 (t, x 2 f 2 (t,, x n f n (t, t [a, b]

Tangent Space and Derivative Mapping on Time Scale 7 of the segment [a, b] T, a < b, to the space R n, where f 1, f 2,, f n are real-valued functions defined on [a, b] that are -differentiable on [a, b] k with rd-continuous -derivatives and f 1 (t 2 + f 2 (t 2 + + f n (t 2 0, t [a, b] k. Definition 5.2 Let f : T Λ n be a -differentiable regular curve on [a, b] k. Let T and T be a time scales. A parameter mapping h : T T of the curve f is defined as t h(s when h and h 1 are -differentiable functions. Thus, according to this new parameter, f can be written as follows: g : T Λ n, g(s f(h(s. Theorem 5.1 Let f : T Λ n be a -differentiable regular curve. Let the function h : T T be parameter map of f and be g f h. The -derivative of g is expressed by the formula g (s df(h(s h (s. Proof Let f(t (f 1 (t, f 2 (t,, f n (t be a regular curve given by the vectorial form in Euclidean space Λ n. Let h be a parameter mapping of f. Considering chain rule for all f i, we get g (s ( d(f 1 h (s ( df 1(h(s ( df 1(h(s, d(f 2 h (s h (s, df 2(h(s, df 2(h(s df(h(s h (s.,, d(f n h (s h (s,, df n(h(s h (s,, df n(h(s h (s Definition 5.3 A vector field Z is a function which is associated a tangent vector to each point of Λ n and so Z(P belongs to the set of tangent vector space V P (Λ n at the point P. Generally, a vector field is denoted by Z(P g i (t P where g i (t are real valued functions defined on T [a, b], that are -differentiable on [a, b] k with rd-continuous -derivative. Let a function f : T Λ n, f(t (f 1 (t, f 2 (t,, f n (t be a -differentiable curve and Z(P be a vector field along it. Thus, we define -derivative of vector fields as follows:

8 Emin ÖZYILMAZ Definition 5.4 Let Z(P n g i (t P be a vector field given along the curve f. The -derivative of the function with respect to the parameter is defined as Z (P dz t P g i (σ(t g i (s P g i P. Theorem 5.2 Let f be a curve given by f : T Λ n and h : T T be a parameter mapping of f. Let Z(P n g i (t P f(t be a vector field given along the curve f. The -derivative of the function Z(P according to the new parameter s can be written as: ( dz s ( dz s ( dh. s Proof When we consider the chain rule on the real valued function for all the -differentiable functions g i (t, we prove Theorem 5.2. Definition 5.5 Let a vector field Z(P n dz t 0, Z(P is called constant vector field along the curve f. g i (t P f(t be given along a curve f. If Theorem 5.3 Let Y and Z be two vector fields along the curve f(t and h : T R be a -differentiable function. Then, (i (Y + Z (t (Y (t + (Z (t; (ii (hz (t (h(σ(t(z (t + h (tz(t; (iii Y, Z (t Y (t, Z(σ(t + Y (t, Z (t. where, is the inner product between the vector fields Y and Z. Proof The (i is obvious. Let Y (t n vector fields. Then k i (t and Z(t n g i (t be two (hz (t (hg i (σ(t (hg i (s h(σ(tg i (σ(t h(sg i (s h(σ(tg i (σ(t h(σ(tg i (s + h(σ(tg i (s h(sg i (s h(σ(t[g i (σ(t g i (s] + [h(σ(t h(s]g i (s x i g i (σ(t g i (s h(σ(t h(s h(σ(t + g i (s (h(σ(t(z (t + h (tz(t.

Tangent Space and Derivative Mapping on Time Scale 9 That is the formula (ii. For (iii, we have Y, Z (t + (k i g i (σ(t (k i g i (s k i (σ(tg i (σ(t k i (sg i (s k i (σ(tg i (σ(t k i (sg i (σ(t + k i (sg i (σ(t k i (sg i (s k i (σ(tg i (σ(t k i (sg i (σ(t k i (sg i (σ(t k i (sg i (s k i (σ(t k i (s g i (σ(t + Y (t, Z(σ(t + Y (t, Z (t. k g i (σ(t g i (s i(s This completes the proof. Definition 5.6 Let f : Λ 2 Λ m, f(x 1, x 2 (f 1 (x 1, x 2, f 2 (x 1, x 2,, f n (x 1, x 2 be a σ 1 -completely delta differentiable function at the point P(t 0, s 0 Λ 2. For any tangent vector v p V P (Λ 2, the -derivative mapping at the point P(t 0, s 0 of f is defined by f P(v P ( f 1(x 1, x 2 v p, f 2(x 1, x 2 v p,, f m(x 1, x 2 v p f(x1,x 2. f P (v P is a function from the tangent vector space V P (Λ 2 to tangent vector space V P (Λ m. Theorem 5.4 The function f P is linear mapping. Proof Let us prove the linearity for any a R and for any two tangent vectors v P, w P V P (Λ 2. In fact, ( f P(av f1 (x 1, x 2 P + bw P (av p + bw P, f 2 (x 1, x 2 (av p + bw P,, f m (x 1, x 2 (av p + bw P f(x 1,x 2 ( a f 1(x 1, x 2 + b f 1(x 1, x 2,, a f m(x 1, x 2 + b f m(x 1, x 2 v p w P v p w P ( f1 (x 1, x 2 a,, f m(x 1, x 2 v p v p f(x 1,x 2 ( f1 (x 1, x 2 +b,, f m(x 1, x 2 w P w P af P (v P + bf P (w P. f(x 1,x 2 f(x 1,x 2 Thus the proof is completed.

10 Emin ÖZYILMAZ Definition 5.7 Let f(x 1, x 2 (f 1 (x 1, x 2, f 2 (x 1, x 2,, f n (x 1, x 2 be a σ 1 -completely delta differentiable function at the point P(x 1, x 2 Λ 2. The Jacobian matrix of f is defined by J(f, P f 1(x 1,x 2 f 1(σ 1(x 1,x 2 1x 1 1x 1 f f 2(x 1,x 2 1x 1 2(σ 1(x 1,x 2 1x 1 f m(x 1,x 2 1x 1 f m(σ 1(x 1,x 2 1x 1 m 2 Theorem 5.5 Let f : Λ 2 Λ n be a σ 1 -completely delta differentiable function. The - derivative mapping for any P Λ 2 and w P w 1 w 2 f P (w P (J(f, P, w P T. V P (Λ 2 is expressed by the formula Proof Theorem 5.5 is proven considering Definitions 5.6, 5.7 and Theorem 3.1. References [1] Aulbach B. and Hilger S., Linear dynamic processes with inhomogeneous time scale, In Nonlinear Dynamics and Quantum Dynamical Systems, Berlin, Akademie Verlag, 1990, page 9-20. [2] S.Hilger, Analysis on measure chains-a unified approach to continuous and discrete calculus, Results Math.. 18(1990, 18-56. [3] C.D.Ahlbrandt, M.Bohner and J.Ridenhour, Hamiltonian systems on time scales, J.Math. Anal. Appl., 250(2000,561-578. [4] J.Hoffacker, Basic partial dynamic equations on time scales, J.Difference Equ.Appl.,8(4 (2002, 307-319(in honor of Professor Lynn Erbe. [5] M.Bohner and A.Peterson, Dynamic Equations on Time Scales- An Introduction with Applications, Boston, Birkhauser, 2001. [6] B.O Neill. Semi-Riemannian Geometry With Application to Relativity, Volume 1, Academic Press, New York, 1983. [7] M.Bohner and G.Guseinov, Partial Differentiation On Time scales, Dynamic Systems and Applications, 12(2003, 351-379. [8] E.Özyilmaz, Directional Derivative Of Vector Field And Regular Curves On Time Scales, Applied Mathematics and Mechanics 27(10(2006, 1349-1360.