- Research
- Open Access

# Surfaces on time scales and their metric properties

- Sibel Paşalı Atmaca
^{1}Email author and - Ömer Akgüller
^{1}

**2013**:170

https://doi.org/10.1186/1687-1847-2013-170

© Atmaca and Akgüller; licensee Springer 2013

**Received:**15 November 2012**Accepted:**28 May 2013**Published:**17 June 2013

## Abstract

We present a theoretical framework for surfaces parameterized by the product of two arbitrary time scales. We also study surfaces by delta regular curves lying on them and give their metric tensor known as the first fundamental form with respect to partial delta derivatives.

## Keywords

- time scales
- delta derivatives
- vector fields
- delta covariant
- first fundamental form

## 1 Introduction

The theory of time scales, which has recently received a lot of attention, was introduced by Hilger [1] to unify continuous and discrete analysis. In the study [2], Bohner and Guseinov introduced the concepts such as curves, delta tangent lines, surfaces and delta tangent planes on time scales. Due to this significant paper, time scale calculus has attracted researchers of differential geometry [3–6]. In the paper [7], Bohner and Guseinov also gave a brief introduction to surfaces on time scales and discussed integrals on surfaces elaborately.

In this paper, we first study surfaces parameterized by the product of two arbitrary time scales. Since the parametrization lets us obtain a dynamic structure which involves discrete or continuous geometric data, we give the theoretical framework to surfaces in the viewpoint of manifolds. While studying, we only give the results with the delta differential operator, it is straightforward to obtain similar results for a backward differential operator. In [2], authors briefly introduced that partial delta tangential vectors help us to construct a tangent plane. We also deal with this idea by the surfaces which have less conditions like ${\sigma}_{i}$-complete differentiability. Throughout this paper, we use the chain rule that Bohner and Guseinov presented as follows.

**Theorem 1**

*Let the function*

*f*

*be*${\sigma}_{1}$-

*completely delta differentiable at the point*$({t}^{0},{s}^{0})$.

*If the functions*

*φ*

*and*

*ψ*

*have delta derivatives at*${\xi}^{0}$,

*then the composite function*

*has a delta derivative at the point*${\xi}^{0}$,

*which is expressed by the formula*

*where* $\phi (\mathbb{T})={\mathbb{T}}_{1}$ *and* $\psi (\mathbb{T})={\mathbb{T}}_{2}$.

**Theorem 2**

*Let the function*

*f*

*be*${\sigma}_{2}$-

*completely delta differentiable at the point*$({t}^{0},{s}^{0})$.

*If the functions*

*φ*

*and*

*ψ*

*have delta derivatives at*${\xi}^{0}$,

*then the composite function defined by*(1)

*has a delta derivative at the point*${\xi}^{0}$,

*which is expressed by the formula*

*where* $\phi (\mathbb{T})={\mathbb{T}}_{1}$ *and* $\psi (\mathbb{T})={\mathbb{T}}_{2}$.

Detailed proofs of chain rule theorems and significant remarks can be found in [2]. In [4], vector fields and covariant delta derivatives on time scales are studied for higher dimensional time scales. In Section 3, we present a delta covariant derivative by considering curves lying on the surface. We also study delta integral curves of a vector field which can be derived by a system of dynamic equations on a surface. Finally, in Section 4, we introduce a metric tensor which involves partial delta differentials. By using this tensor, we are able to calculate the length of a delta regular curve lying on the surface with the condition of increasing transformation.

We refer the reader to resources such as [8–11] for more detailed studies on the calculus of time scales and [12, 13] for details on the differential geometry of surfaces.

## 2 Surfaces on time scales

We may consider a surface $\mathcal{S}$ as a closed subset ${\mathrm{\Lambda}}^{3}={\mathbb{T}}_{1}\times {\mathbb{T}}_{2}\times {\mathbb{T}}_{3}$ of ${\mathbb{R}}^{3}$, where ${\mathbb{T}}_{i}$, $i=1,2,3$, are arbitrary time scales. However, any closed subset of ${\mathbb{R}}^{3}$ may not be a surface. A theoretical study for any $\mathcal{S}\subset {\mathbb{R}}^{3}$ to be a surface is given in this section.

**Definition 3**Let $\mathcal{S}$ be a closed subset of ${\mathbb{R}}^{3}$. $\mathcal{S}$ is a surface if for each point

*P*in $\mathcal{S}$, there is a neighborhood

*A*of

*P*and a function $\phi :U\to \mathcal{S}$, where

*U*is a closed set in ${\mathbb{R}}^{2}$ and an open set in time scale topology, satisfying the following conditions:

- i.$\phi :U\to {\mathbb{R}}^{3}$ is Δ-differentiable and for all $(t,s)\in U$$\frac{\partial \phi (t,s)}{{\mathrm{\Delta}}_{1}t}\times \frac{\partial \phi (t,s)}{{\mathrm{\Delta}}_{2}s}\ne 0$

*i.e.*,

*φ*is Δ-regular.

- ii.
$\phi (U)=\mathcal{S}\cap A$ and $\phi :U\to \phi (U)$ is a homeomorphism.

The function $\phi :U\to \mathcal{S}$ is called a surface patch. $\mathcal{S}$ is called a smooth surface if for all points *P* in $\mathcal{S}$, there exists a surface patch such that $P\in \phi (U)$.

Speaking about time scale topology, we consider the opens as the sets whose closures are open in the standard real topology. We refer the readers who want to go further into the topic to [14]. Since *φ* is Δ-regular, one can also conclude that *φ* belongs to the class ${C}_{\mathrm{rd}}^{\mathrm{\infty}}$.

**Proposition 4**

*Let*$U\subset {\mathbb{T}}_{1}\times {\mathbb{T}}_{2}$

*and let*

*f*

*be a*Δ-

*differentiable function*.

*Then the set*

*determines a surface*.

*Proof*Assume that the Euclidean coordinate system on a parameter set is $\{t,s\}$. Since coordinate functions

*t*and

*s*are Δ-differentiable and

*f*is also Δ-differentiable, we may conclude that

*φ*is Δ-differentiable. The Jacobian matrix of

*φ*with respect to delta differentiation is

and since for all $P=({p}_{1},{p}_{2})\in U$, $rankJ(\phi )=2$, the function *φ* is Δ-regular. It is also trivial that *φ* is homeomorphism. □

**Theorem 5**

*Let*

*U*

*and*$\tilde{U}$

*be nonempty closed subsets of*${\mathbb{R}}^{2}$

*and let*$\phi :U\to \mathcal{S}$

*be a*Δ-

*regular surface patch*.

*If*$\varphi :\tilde{U}\to U$

*is diffeomorphism*,

*then the function*

*is a* Δ-*regular surface patch*.

*Proof* For the function *ϕ*, let $\varphi (\tilde{t},\tilde{s})=(t,s)$, where $(t,s)\in U$ and $(\tilde{t},\tilde{s})\in \tilde{U}$.

The constant on the right-hand side of equation (3) is equal to the determinant of the Jacobian matrix $J(\varphi )$.

Since *φ* is a Δ-regular surface patch, one can say that Jacobian $J(\varphi )$ never vanishes. Therefore, by equations (2) and (3), $\tilde{\phi}$ is Δ-regular. □

**Example 6**Let ${\mathbb{T}}_{1}=\{{t}^{2}\mid t\in {\mathbb{Z}}^{+}\}$ and ${\mathbb{T}}_{2}=\{\sqrt{s}\mid s\in {\mathbb{Z}}^{+}\}$. Since ${\phi}^{1}(t,s)=({t}^{2},3ts,{s}^{2})$ is Δ-regular, the image of ${\phi}^{1}:{\mathbb{T}}_{1}\times {\mathbb{T}}_{2}\to {\mathbb{R}}^{3}$ defines a surface, and its graph will be as in Figure 1.

**Example 7**Let ${\mathbb{T}}_{1}=\{\frac{1}{2}t\mid t\in {\mathbb{Z}}^{+}\}$ and ${\mathbb{T}}_{2}=\{{2}^{s}\mid s\in {\mathbb{N}}_{0}\}$. It is easy to see ${\phi}^{2}(t,s)=(2t,{e}_{1}(t,0),{e}_{\frac{1-s}{{s}^{2}}}(s,1))$ is Δ-regular. Therefore the image of ${\phi}^{2}:{\mathbb{T}}_{1}\times {\mathbb{T}}_{2}\to {\mathbb{R}}^{3}$ defines a surface, and its graph will be as in Figure 2.

### 2.1 Tangents and Δ-derivatives

The forward tangent line of a Δ-regular curve Γ on time scales is the straight line passing from the point *P* of the curve through the point ${P}^{\sigma}$, and it has the vector ${\mathrm{\Gamma}}^{\mathrm{\Delta}}(P)$ as its direction vector [3]. The same idea can also be extended to the surfaces parameterized by time scales to obtain delta tangent planes [2].

A natural way to study a surface $\mathcal{S}$ is via the Δ-regular curves Γ that lie on $\mathcal{S}$.

**Definition 8** A tangent vector to a surface $\mathcal{S}$ at a point $P\in \mathcal{S}$ is the tangent vector at *P* of a curve in $\mathcal{S}$ passing through *P*. The set of all tangent vectors at *P* is called a tangent space ${T}_{P}(\mathcal{S})$.

**Theorem 9**

*Let*$\phi :U\to \mathcal{S}$

*be a surface patch of*$\mathcal{S}$

*which contains*$P\in \mathcal{S}$,

*let*$(t,s)$

*be the coordinates of*

*U*

*and let*Γ

*be the*Δ-

*regular curve passing*

*P*.

*Then*:

- i.
*If*Γ*is*${\sigma}_{1}$-*completely*Δ-*differentiable*,*then the tangent space at**P**is spanned by the vectors*$\frac{\partial \phi ({t}_{0},{s}_{0})}{{\mathrm{\Delta}}_{1}t}$*and*$\frac{\partial \phi ({\sigma}_{1}({t}_{0}),{s}_{0})}{{\mathrm{\Delta}}_{2}s}$. - ii.
*If*Γ*is*${\sigma}_{2}$-*completely*Δ-*differentiable*,*then the tangent space at**P**is spanned by the vectors*$\frac{\partial \phi ({t}_{0},{\sigma}_{2}({s}_{0}))}{{\mathrm{\Delta}}_{1}t}$*and*$\frac{\partial \phi ({t}_{0},{s}_{0})}{{\mathrm{\Delta}}_{2}s}$,

*where* $\phi ({t}_{0},{s}_{0})=P$.

*Proof*Let Γ be a Δ-regular curve lying on $\mathcal{S}$ and $\mathrm{\Gamma}(\xi )=\phi (u(\xi ),v(\xi ))$ for $\xi \in \mathbb{T}$.

- i.Suppose that Γ is ${\sigma}_{1}$-completely Δ-differentiable. Then, by the chain rule, we obtain${\mathrm{\Gamma}}^{\mathrm{\Delta}}=\frac{\partial \phi}{{\mathrm{\Delta}}_{1}t}{t}^{\mathrm{\Delta}}+\frac{\partial {\phi}^{{\sigma}_{1}}}{{\mathrm{\Delta}}_{2}s}{s}^{\mathrm{\Delta}}.$

Therefore, the tangent vector ${\mathrm{\Gamma}}^{\mathrm{\Delta}}$ is the linear combination of the vectors $\frac{\partial \phi}{{\mathrm{\Delta}}_{1}t}$ and $\frac{\partial {\phi}^{{\sigma}_{1}}}{{\mathrm{\Delta}}_{1}t}$.

Conversely, every vector on ${\mathrm{\Lambda}}^{3}\subset {\mathbb{R}}^{3}$ can be written in the form of $\lambda \frac{\partial \phi}{{\mathrm{\Delta}}_{1}t}+\mu \frac{\partial {\phi}^{{\sigma}_{1}}}{{\mathrm{\Delta}}_{2}s}$ for such constants *λ* and *μ*.

*i.e.*, at $P\in \mathcal{S}$, the curve Γ is a smooth curve. Therefore, we obtain

*P*.

- ii.Similarly, assume that Γ is ${\sigma}_{2}$-completely Δ-differentiable. By the chain rule, we get${\mathrm{\Gamma}}^{\mathrm{\Delta}}=\frac{\partial {\phi}^{{\sigma}_{2}}}{{\mathrm{\Delta}}_{1}t}{t}^{\mathrm{\Delta}}+\frac{\partial \phi}{{\mathrm{\Delta}}_{2}s}{s}^{\mathrm{\Delta}}.$

Therefore, the tangent vector ${\mathrm{\Gamma}}^{\mathrm{\Delta}}$ is the linear combination of vectors $\frac{\partial {\phi}^{{\sigma}_{2}}}{{\mathrm{\Delta}}_{1}t}$ and $\frac{\partial \phi}{{\mathrm{\Delta}}_{1}t}$.

It is also possible to find such constants ${\lambda}^{\prime}$ and ${\mu}^{\prime}$, where every vector on ${\mathrm{\Lambda}}^{3}\subset {\mathbb{R}}^{3}$ is in the form of ${\lambda}^{\prime}\frac{\partial {\phi}^{{\sigma}_{2}}}{{\mathrm{\Delta}}_{1}t}+{\mu}^{\prime}\frac{\partial \phi}{{\mathrm{\Delta}}_{2}s}$.

This shows that every vector spanned by $\frac{\partial {\phi}^{{\sigma}_{2}}}{{\mathrm{\Delta}}_{1}t}$ and $\frac{\partial \phi}{{\mathrm{\Delta}}_{2}s}$ is a tangent vector of the curve Γ on $\mathcal{S}$ at *P*.

□

## 3 Vector fields and covariant Δ-derivative

${\mathrm{\Lambda}}^{n}$ is called an *n*-dimensional time scale.

A vector field *X* on ${\mathrm{\Lambda}}^{n}$ is a function that assigns to each point $P\in {\mathrm{\Lambda}}^{n}$ a tangent vector ${v}_{P}$.

**Definition 10**Let

*X*be a vector field and $X(P)\in {T}_{P}({\mathrm{\Lambda}}^{n})$. Generally, a vector field is denoted by

where ${\alpha}_{i}$ are Euclidean coordinate functions and the set $\{\partial /{\mathrm{\Delta}}_{1}{x}_{1},\dots ,\partial /{\mathrm{\Delta}}_{n}{x}_{n}\}$ is the natural basis for ${T}_{P}({\mathrm{\Lambda}}^{n})$.

Relationship between a vector field *X* and its Euclidean coordinate function ${\alpha}_{i}$ can be considered as follows: if each ${\alpha}_{i}$ of *X* is ${\sigma}_{j}$-completely Δ-differentiable, then one can say that *X* is ${\sigma}_{j}$-completely Δ-differentiable.

Suppose that *X* is a vector field on ${\mathrm{\Lambda}}^{n}$ and ${v}_{P}\in {T}_{P}({\mathrm{\Lambda}}^{n})$. Consider the vector field $X\circ \beta $, where $\beta :\mathbb{T}\to {\mathrm{\Lambda}}^{n}$ is defined by $\beta (t)=P+tv$. It is obvious to see that $X\circ \beta $ is a vector field on *β*. Also, $\beta (\mathbb{T})$ is the closed line parallel to the vector *v* and ${(X\circ \beta )}^{\mathrm{\Delta}}\in {T}_{P}({\mathrm{\Lambda}}^{n})$.

**Definition 11** The vector ${(X\circ \beta )}^{\mathrm{\Delta}}(0)$ is called a covariant Δ-derivative of *X* in the direction of ${v}_{P}$ and denoted by ${D}_{{v}_{P}}^{\mathrm{\Delta}}X$.

Now we shall consider Δ-integral curves of vector fields on surfaces. Let $\mathcal{S}$ be a smooth surface and let *X* be a vector field on $\mathcal{S}$. A curve $\mathrm{\Gamma}:[a,b]\to \mathcal{S}$, where $[a,b]$ is a nonempty closed set of ℝ, on $\mathcal{S}$ is called a Δ-integral curve of *X* if the vector ${\mathrm{\Gamma}}^{\mathrm{\Delta}}\in {T}_{\mathrm{\Gamma}(t)}\mathcal{S}$ ($t\in [a,b]$) at each point coincides with the value of *X* at that point.

*P*. Then

*X*is locally expressed as

The condition of passing through the point *P* at $t=0$ is expressed as the initial condition ${x}_{i}(0)={x}_{i}(P)$.

By the way, (4) is a system of ordinary linear dynamic equations of first order. Theorem 5.8 in [8] assures us that this system has a unique solution if a coefficient matrix of the system is regressive.

By the existence of the solution, we see that there exists a Δ-integral curve through an arbitrary point *P* when $t=0$. We shall consider extending the domain of the integral curve as long as possible to assure the maximality. Since the solution of the system is unique, if two Δ-integral curves pass through the same point at the same time, then they are connected as a single integral curve. So, the way of extending is unique. From this point of view, for each $P\in \mathcal{S}$, there exists a Δ-integral curve $\mathrm{\Gamma}(P)$ through the point when $t=0$, and it cannot be extended any more. This kind of Δ-integral curves are called maximal, and we can conclude that $\mathcal{S}$ is covered by all the maximal Δ-integral curves which are pairwise disjoint.

## 4 Metric properties of surfaces on time scales

*φ*. Assuming that ${\phi}_{t}^{{\mathrm{\Delta}}_{1}}\times {\phi}_{s}^{{\mathrm{\Delta}}_{2}}\ne 0$, the tangent plane to $\mathcal{S}$ is spanned by the two tangent vectors ${\phi}_{t}^{{\mathrm{\Delta}}_{1}}$ and ${\phi}_{s}^{{\mathrm{\Delta}}_{2}}$. The surface normal vector is orthogonal to both tangent vectors and can be computed as

### 4.1 First fundamental form

The Jacobian matrix encodes the metric of the surface in a way that it allows measuring transformation of angles, distances and areas by the mapping from the parameter domain to the surface.

Therefore, the matrix product ${J}^{T}J$ induces the metric on a surface on time scales.

**Definition 12**Let $\mathcal{S}$ be a surface on time scales. The first fundamental form of $\mathcal{S}$ is the assignment to each $P\in \mathcal{S}$ of the inner product,

*i.e.*, the restriction of the Euclidean dot product to the Δ-tangent space of $\mathcal{S}$, and can be shown by I.

where $E={\phi}_{t}^{{\mathrm{\Delta}}_{1}}{\phi}_{t}^{{\mathrm{\Delta}}_{1}}$, $F={\phi}_{t}^{{\mathrm{\Delta}}_{1}}{\phi}_{s}^{{\mathrm{\Delta}}_{2}}$ and $G={\phi}_{s}^{{\mathrm{\Delta}}_{2}}{\phi}_{s}^{{\mathrm{\Delta}}_{2}}$.

### 4.2 Length measurement

Since the first fundamental form I defines a metric on a surface, we can measure the length of a Δ-regular curve $\phi (x)=\phi (\mathrm{\Gamma}(x))$, defined as the image of a Δ-regular curve $\mathrm{\Gamma}(x)=(t(x),s(x))$ in the parameter domain, where $x\in \tilde{\mathbb{T}}$ for an arbitrary time scale.

**Definition 13** Let $\mathbb{T}$ be a time scale. The function Γ is called a path on ${\mathbb{T}}_{1}\times {\mathbb{T}}_{2}$ if it is increasing. Moreover, the composite function $\phi \circ \mathrm{\Gamma}:\mathbb{T}\to \mathcal{S}$ is called a path on the surface, where *φ* is a Δ-regular surface patch.

**Theorem 14** *Let* $\mathrm{\Gamma}:[a,b]\to \mathcal{S}$ *be a path on the surface* $\mathcal{S}$ *and let* $\phi :U\to \mathcal{S}$ *be a proper patch in* $\mathcal{S}$, *and suppose that* Γ *is contained in this patch*.

*For the coordinate functions*${t}^{\prime}:\tilde{\mathbb{T}}\to \mathbb{R}$

*and*${s}^{\prime}:\tilde{\mathbb{T}}\to \mathbb{R}$

*of the path*Γ,

*the length of*Γ

*is*

*where* $x\in [a,b]\subset \tilde{\mathbb{T}}$ *and* $\tilde{\mathrm{\Delta}}$ *is the corresponding delta*-*differential operator*.

*Proof*Let ${t}^{\prime}(\tilde{\mathbb{T}}):={\mathbb{T}}_{1}^{\prime}$ and ${s}^{\prime}(\tilde{\mathbb{T}}):={\mathbb{T}}_{2}^{\prime}$, and let their Δ-differential operators be ${\mathrm{\Delta}}_{1}^{\prime}$ and ${\mathrm{\Delta}}_{2}^{\prime}$, respectively. By considering the coordinate changing idea presented in Theorem 5, we can express Γ in terms of coordinates $\tilde{\mathrm{\Gamma}}={\phi}^{-1}\circ \mathrm{\Gamma}:[a,b]\subset \tilde{\mathbb{T}}\to U$, $\tilde{\mathrm{\Gamma}}(x)=({t}^{\prime}(x),{s}^{\prime}(x))$. Then $\mathrm{\Gamma}(x)=\phi (\tilde{\mathrm{\Gamma}}(x))$, hence $\mathrm{\Gamma}(x)=\phi ({t}^{\prime}(x),{s}^{\prime}(x))$. By the chain rule, we can obtain

where ${\phi}_{i}$ is the *i* th component of *φ*. This shows that $d{t}^{\prime}/\tilde{\mathrm{\Delta}}x$ and $d{s}^{\prime}/\tilde{\mathrm{\Delta}}x$ are the components of the Δ-tangential vector with respect to basis $\{\partial \phi /{\mathrm{\Delta}}_{1}^{\prime}{t}^{\prime},\partial \phi /{\mathrm{\Delta}}_{2}^{\prime}{s}^{\prime}\}$.

□

## Declarations

### Acknowledgements

The authors would like to thank the editor and the referees for their useful comments and remarks.

## Authors’ Affiliations

## References

- Hilger S: Analysis on measure chains: a unified approach to continuous and discrete calculus.
*Results Math.*1990, 18(1-2):18-56. 10.1007/BF03323153MATHMathSciNetView ArticleGoogle Scholar - Bohner M, Guseinov GS: Partial differentiation on time scales.
*Dyn. Syst. Appl.*2004, 13(3-4):351-379.MATHMathSciNetGoogle Scholar - Guseinov GS, Ozyilmaz E: Tangent lines of generalized regular curves parametrized by time scales.
*Turk. J. Math.*2001, 25(4):553-562.MATHMathSciNetGoogle Scholar - Ozyilmaz E: Directional derivative of vector field and regular curves on time scales.
*Appl. Math. Mech.*2006, 27(10):1349-1360. 10.1007/s10483-006-1007-1MathSciNetView ArticleGoogle Scholar - Atmaca SP: Normal and osculating planes of Δ-regular curves.
*Abstr. Appl. Anal.*2010., 2010: Article ID 923916. doi:10.1155/2010/923916Google Scholar - Kusak H, Caliskan A: The delta nature connection on time scale.
*J. Math. Anal. Appl.*2011, 375: 323-330. 10.1016/j.jmaa.2010.09.015MATHMathSciNetView ArticleGoogle Scholar - Bohner M, Guseinov GS: Surface areas and surface integrals on time scales.
*Dyn. Syst. Appl.*2010, 19(3-4):435-453.MATHMathSciNetGoogle Scholar - Bohner M, Peterson A:
*Dynamic Equations on Time Scales: An Introduction with Applications*. Birkhäuser, Boston; 2001.View ArticleGoogle Scholar - Bohner M, Peterson A:
*Advances in Dynamic Equations on Time Scales*. Birkhäuser, Boston; 2003.MATHView ArticleGoogle Scholar - Atici FM, Guseinov GS: On Green’s functions and positive solutions for boundary value problems on time scales.
*J. Comput. Appl. Math.*2002, 141(1-2):75-99. 10.1016/S0377-0427(01)00437-XMATHMathSciNetView ArticleGoogle Scholar - Bohner M, Guseinov GS: Line integrals and Green’s formula on time scales.
*J. Math. Anal. Appl.*2007, 326(2):1124-1141. 10.1016/j.jmaa.2006.03.040MATHMathSciNetView ArticleGoogle Scholar - Kreyszig E:
*Differential Geometry*. Dover, New York; 1991.Google Scholar - Do Carmo MP:
*Differential Geometry of Curves and Surfaces*. Prentice Hall, Englewood Cliffs; 1976.MATHGoogle Scholar - Oberste-Vorth RW: The fell topology for dynamic equations on time scales.
*Nonlinear Dyn. Syst. Theory*2009, 9(4):407-414.MATHMathSciNetGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.