Skip to main content

Theory and Modern Applications

Curvature of curves parameterized by a time scale

Abstract

Curvature is a fundamental characteristic of curves in differential geometry, as well as in discrete geometry. In this paper we present time scales analogy of the curvature defined by the concept of symmetric derivative on time scales. The goal of our paper is to define this intrinsic characteristic accurately. For this purpose, we consider tangent spaces via symmetric differentiation.

1 Introduction

Curvature of a curve measures how sharply a curve bends; that is the second order amount by which a curve deviates from being a straight line. In classical differential geometry, curvature of an arc-length parameterized curve \(\alpha: I \to\mathbb{R}^{3}\) can be computed by \(\kappa(s)=\|\alpha''(s)\|\) [1]. However, in a discrete case there are several approaches to define the curvature of a discrete curve. A discrete curve \(\alpha_{d}\) is composed of a series of sequential discrete points, see [2], or can be defined as the line segments \(|v_{i-1}v_{i}|\) given by an ordered list of points \(v_{0}, \ldots, v_{N} \in\mathbb{R}^{2}\), i.e., polygons [3]. The most direct definition of the curvature of a discrete curve as a polygon is the turning angle curvature. Turning angle curvature \(\kappa_{a}\) can be computed by

$$\kappa_{a}(t)=\operatorname{sgn}\frac{2|\angle(\vec{v}_{i-1},\vec{v}_{i})|}{\|\vec {v}_{i-1}\|+\|\vec{v}_{i}\|}, $$

where the vertice vector \(\vec{v}_{i}=\vec{v}_{i+1}-\vec{v}_{i}\), \(i \in\{ 0,\ldots,N\}\), see [3]. A curvature model for a discrete curve as a composition of a series of sequential discrete points can be computed as

$$\kappa_{s}(s)=\operatorname{sgn}\frac{\Vert \alpha(s)-2\alpha(s-\varepsilon)+\alpha (s-2\varepsilon)\Vert }{\varepsilon^{2}}, $$

where ε is the sampling parameter on underlying continuous curve to determine the sequential discrete points. This approach is mostly concerned with second order finite differences.

The time scales calculus, which is introduced by Hilger [4], is the theory to unify discrete and continuous calculus. Geometric aspect of the theory of time scales has been extensively studied after the introduction of partial derivatives on time scales [59]. However, an intrinsic characteristic such as curvature of a curve parameterized by a time scale is still an open question. In this paper, we present the concept of curvature via symmetric derivative on time scales. This approach involves both characteristics of discrete and classical differential geometry, and it is accurately applicable to globally discrete settings.

In [10], authors briefly introduced the symmetric derivative on time scales and its relation to forward and backward dynamic derivatives. The main purpose of that study is to aim differentiability of the functions such as \(f(t)=|t|\) at \(t=0\). Beside the differentiability, this calculus comes up with a more accurate definition for tangent lines of curves parameterized by time scales. As it is stated in [11], delta (and respectively nabla) derivatives of functions lead us to the concept of ‘complete differentiability’. To speak of one variable case, σ-complete differentiability needs the equality of right- and left-hand side derivatives, which makes the strong geometric restrictions for curves involving left dense-right scattered or right dense-left scattered points. Besides, tangent lines are not well defined at isolated points. The main disadvantage of this approach can be seen in [12], where the curvature can only be defined at dense and scattered points separately.

This paper is organized as follows. In Section 2, we introduce symmetric partial differentiation on time scales. We also present the relationship between symmetric differentiation and delta-nabla differentiation. Since the change of tangent spaces is a fundamental characteristic to define curvature, we present tangent lines and tangent planes of curves and surfaces parameterized by time scales in Section 3. In this section, the accuracy of a new tangent space definition via symmetric differentiation can be seen throughout the illustrative examples. Finally, in Section 4, we study the curvature of curves parameterized by an arbitrary time scale. Throughout the study we use the notion such as \(f^{\sigma}(t)=f(\sigma (t))\) and \(f^{\sigma\sigma}(t)=f(\sigma(\sigma(t)))\) to increase the readability of the paper.

2 Symmetric partial derivative on time scales

Let n be fixed and for all \(\mathbb{T}_{i}\) be time scales where \(i \in I=\{1,2,\ldots,n \}\). An n-dimensional time scale can be defined by the Cartesian product as follows:

$$\Lambda^{n}=\mathbb{T}_{1} \times\cdots\times \mathbb{T}_{n}=\bigl\{ (t_{1},\ldots, t_{n}) \mid t_{i} \in\mathbb{T}_{i}, \forall i \in I \bigr\} . $$

For \(u \in\mathbb{T}_{i}\), the forward and backward jump operators can be defined as \(\sigma_{i}(u)=\inf\{v \in\mathbb{T}_{i} \mid v>u\}\) and \(\rho_{i}(u)=\sup\{v \in\mathbb{T} \mid v< u\}\), respectively. If \(\mathbb{T}_{i}\) has a left scattered maximum M and right scattered minimum m, then \((\mathbb{T}_{i} )^{\kappa}_{\kappa}=\mathbb{T}_{i} \backslash\{M,m\}\), \((\mathbb{T}_{i} )^{\kappa}_{\kappa}=\mathbb {T}_{i}\); otherwise, see [11].

Let \(f: \Lambda^{n} \to\mathbb{R}\) be a real-valued function. The symmetric partial derivative of f can be defined as

$$\mathop{\mathop{\lim_{s_{i} \to t_{i}}}_{\rho_{i}(t_{i}) \neq s_{i}}}_{\sigma_{i}(t_{i}) \neq s_{i}} \frac{f^{\sigma_{i}}(s_{i})-f(t_{1},\ldots,t_{i},\ldots ,t_{n})+f(t_{1},\ldots,2s_{i}-t_{i},\ldots,t_{n})-f^{\rho_{i}}(s_{i})}{\sigma (t_{i})+2s_{i}-2t_{i}-\rho(t_{i})} $$

existing as a finite number, and is denoted by \(f^{\Diamond_{i}}(t)\) or \(\frac{\partial f(t)}{\Diamond_{i} t_{i}}\), where \(f^{\sigma_{i}}(s_{i})=f(t_{1},\ldots,\sigma_{i}(s_{i}), \ldots,t_{n})\), \(f^{\rho _{i}}(s_{i})=f(t_{1},\ldots,\rho_{i}(s_{i}),\ldots,t_{n})\), and \(t = (t_{1},\ldots,t_{n}) \in (\mathbb{T}_{1} )^{\kappa}_{\kappa }\times\cdots\times (\mathbb{T}_{n} )^{\kappa}_{\kappa}\).

Definition 1

A function \(f : \Lambda^{n} \to\mathbb{R}\) is symmetric differentiable at a point \(t^{0}=(t^{0}_{1},\ldots,t^{0}_{n})\in (\mathbb{T}_{1} )^{\kappa}_{\kappa}\times\cdots\times (\mathbb{T}_{n} )^{\kappa }_{\kappa}\) if there exist numbers \(A_{1},\ldots,A_{n}\) independent of \(t=(t_{1},\ldots,t_{n})\in\Lambda^{n}\) such that for all \(t \in U_{\delta}(t^{0})\) and \(i \in\{1,\ldots,n\}\),

$$\begin{aligned} &f\bigl(t^{0}_{1},\ldots,\sigma_{i} \bigl(t^{0}_{i}\bigr),\ldots,t^{0}_{n} \bigr)-f(t_{1},\ldots ,t_{n})+f\bigl(2t^{0}_{1}-t_{1}, \ldots,2t^{0}_{i}-t_{i},\ldots,2t^{0}_{n}-t_{n} \bigr) \\ &\qquad{}-f\bigl(t^{0}_{1},\ldots,\rho_{i} \bigl(t^{0}_{i}\bigr),\ldots,t^{0}_{n} \bigr) \\ &\quad= \sum_{i=1}^{n} A_{i} \bigl[\sigma_{i}\bigl(t^{0}_{i} \bigr)+2t^{0}_{i}-2t_{i}-\rho _{i} \bigl(t^{0}_{i}\bigr)\bigr]+\sum _{i=1}^{n} \alpha_{i} \bigl[ \sigma_{i}\bigl(t^{0}_{i}\bigr)+2t^{0}_{i}-2t_{i}- \rho_{i}\bigl(t^{0}_{i}\bigr)\bigr], \end{aligned}$$

where δ is a sufficiently small positive number, \(U_{\delta}(t^{0})\) is the δ-neighborhood of \(t^{0}\), and \(\alpha_{i}=\alpha_{i}(t^{0},t)\) are defined on \(U_{\delta}(t^{0})\) such that it is equal to zero for \(t=t^{0}\) and \(\lim_{t \to t^{0}}\alpha_{i} = 0\) for all \(i \in \{1,\ldots,n\}\).

If \(\mathbb{T}_{1}=\cdots=\mathbb{T}_{n}=\mathbb{R}\), then Definition 1 coincides with the classical symmetric differentiability, see [13, 14]. To point out why we do not need a restriction such as ‘complete’ in the definition of symmetric differentiation, let us consider a one-dimensional case. If \(t_{0}\) is left dense and right scattered, i.e., \(\sigma(t_{0})>t_{0}\) and \(\rho(t_{0})=t_{0}\), then

$$f\bigl(\sigma(t_{0})\bigr)-f(t)+f(2t_{0}-t)-f(t_{0})=A \bigl[\sigma(t_{0})+t_{0}-2t\bigr]+\alpha\bigl[\sigma (t_{0})+t_{0}-2t\bigr]. $$

This equation leads us to

$$A=f^{\Diamond}=\gamma(t)f^{\Delta}(t)+\bigl(1-\gamma(t) \bigr)f'_{-}(t), $$

where \(\lim_{t \to t^{0}}\alpha= 0\) and \(\gamma (t)=\lim_{t \to t_{0}} \frac{\sigma(t_{0})-t}{\sigma(t_{0})+t_{0}-2t}\) as in [10, Proposition 4.2]. For right dense and left scattered and isolated points, the A values become

$$A=f^{\Diamond}=\gamma(t)f'_{+}+\bigl(1-\gamma(t) \bigr)f^{\nabla}(t) $$

and

$$A=f^{\Diamond}=\gamma(t)f^{\Delta}(t)+\bigl(1-\gamma(t) \bigr)f^{\nabla}(t), $$

respectively.

Since we restrict our interest to curves and surfaces on time scales, we will consider a two-dimensional case, i.e., \(n=2\), throughout the study. Interested readers can simply extend this idea to a higher-dimensional case.

Definition 2

Let \(f : \mathbb{T}_{1} \times\mathbb{T}_{2} \to\mathbb{R}\) be a real-valued function and \((t_{0},s_{0}) \in (\mathbb{T}_{1} )^{\kappa}_{\kappa}\times (\mathbb{T}_{2} )^{\kappa}_{\kappa}\). For all \(\varepsilon_{1} > 0\), there is an open (relative to the topology of \(\mathbb{T}_{1} \times\mathbb{T}_{2}\)) neighborhood \(U_{1}\) of \((t_{0},s)\) such that for all \((t,s) \in U_{1}\),

$$\begin{aligned} &\bigl\vert \bigl[f\bigl(\sigma_{1}(t_{0}),s \bigr)-f(t,s)+f(2t_{0}-t,s)-f\bigl(\rho _{1}(t_{0}),s \bigr) \bigr]-f^{\Diamond_{1}} \bigl[\sigma_{1}(t_{0})+2t_{0}-2t- \rho_{1}(t_{0}) \bigr] \bigr\vert \\ &\quad\leq\varepsilon_{1} \bigl\vert \sigma_{1}(t_{0})+2t_{0}-2t- \rho _{1}(t_{0}) \bigr\vert . \end{aligned}$$

Definition 3

Let \(f : \mathbb{T}_{1} \times\mathbb{T}_{2} \to\mathbb{R}\) be a real-valued function and \((t_{0},s_{0}) \in (\mathbb{T}_{1} )^{\kappa}_{\kappa}\times (\mathbb{T}_{2} )^{\kappa}_{\kappa}\). For all \(\varepsilon_{2} > 0\), there is an open (relative to the topology of \(\mathbb{T}_{1} \times\mathbb{T}_{2}\)) neighborhood \(U_{2}\) of \((t,s_{0})\) such that for all \((t,s) \in U_{2}\),

$$\begin{aligned} &\bigl\vert \bigl[f\bigl(t,\sigma_{2}(s_{0}) \bigr)-f(t,s)+f(t,2s_{0}-s)-f\bigl(t,\rho_{2}(s_{0}) \bigr) \bigr]-f^{\Diamond_{2}} \bigl[\sigma_{2}(s_{0})+2s_{0}-2s- \rho_{2}(s_{0}) \bigr] \bigr\vert \\ &\quad\leq\varepsilon_{2} \bigl\vert \sigma_{2}(s_{0})+2s_{0}-2s- \rho_{2}(s_{0}) \bigr\vert . \end{aligned}$$

Note that higher order or mixed symmetric partial derivatives of a function defined on \(\mathbb{T}_{1} \times\mathbb{T}_{2}\) can be defined in the same sense as

$$\frac{\partial^{2} f(t_{0},s_{0})}{\Diamond_{1} t^{2}}=\frac{\partial}{\Diamond _{1} t} \biggl( \frac{\partial f(t_{0},s_{0})}{\Diamond_{1} t} \biggr),\qquad \frac{\partial^{2} f(t_{0},s_{0})}{\Diamond_{2} s^{2}}=\frac{\partial}{\Diamond _{2} s} \biggl( \frac{\partial f(t_{0},s_{0})}{\Diamond_{2} s} \biggr) $$

and

$$\frac{\partial^{2} f(t_{0},s_{0})}{\Diamond_{1} t \Diamond_{2} s}=\frac{\partial }{\Diamond_{2} s} \biggl( \frac{\partial f(t_{0},s_{0})}{\Diamond_{1} t} \biggr),\qquad \frac{\partial^{2} f(t_{0},s_{0})}{\Diamond_{2} s\Diamond_{1} t}=\frac{\partial }{\Diamond_{1} t} \biggl( \frac{\partial f(t_{0},s_{0})}{\Diamond_{2} s} \biggr) . $$

Proposition 4

If \(f: \mathbb{T}_{1}\times\mathbb{T}_{2} \to\mathbb{R}\) is delta and nabla differentiable, then f is symmetric differentiable for each \((t,s) \in (\mathbb{T}_{1} )^{\kappa}_{\kappa}\times (\mathbb{T}_{2} )^{\kappa}_{\kappa}\) with

$$\frac{\partial f(t,s)}{\Diamond_{1} t}=\gamma_{1}(t_{0}) \frac{\partial f(t_{0},s_{0})}{\Delta_{1} t}+ \bigl(1-\gamma_{1}(t_{0})\bigr)\frac{\partial f(t_{0},s_{0})}{\nabla_{1} t} $$

and

$$\frac{\partial f(t,s)}{\Diamond_{2} s}=\gamma_{2}(s_{0}) \frac{\partial f(t_{0},s_{0})}{\Delta_{2} s}+ \bigl(1-\gamma_{2}(s_{0})\bigr)\frac{\partial f(t_{0},s_{0})}{\nabla_{2} s}, $$

where

$$\gamma_{1}(t_{0})=\lim_{t \to t_{0}} \frac{\sigma _{1}(t_{0})-t}{\sigma_{1}(t_{0})+2t_{0}-2t-\rho_{1}(t_{0})} \quad\textit{and}\quad \gamma_{2}(s_{0})=\lim _{s \to s_{0}}\frac{\sigma _{2}(s_{0})-s}{\sigma_{1}(s_{0})+2s_{0}-2s-\rho_{1}(s_{0})}. $$

Proof

$$\begin{aligned} \frac{\partial f}{\Diamond_{1} t} =&\lim_{(t,s)\to(t_{0},s)} \frac{f(\sigma _{1}(t_{0}),s)-f(t,s)+f(2t_{0}-t,s)-f(\rho_{1}(t_{0}),s)}{\sigma _{1}(t_{0})+2t_{0}-2t-\rho_{1}(t_{0})} \\ =& \lim_{(t,s)\to(t_{0},s)} \frac{\sigma_{1}(t_{0})-t}{\sigma _{1}(t_{0})+2t_{0}-2t-\rho_{1}(t_{0})}\frac{f(\sigma_{1}(t_{0}),s)-f(t,s)}{\sigma _{1}(t_{0})-t} \\ &{} + \lim_{(t,s)\to(t_{0},s)} \frac{2t_{0}-t-\rho_{1}(t_{0})}{\sigma _{1}(t_{0})+2t_{0}-2t-\rho_{1}(t_{0})}\frac{f(2t_{0}-t,s)-f(\rho _{1}(t_{0}),s)}{2t_{0}-t-\rho_{1}(t_{0})} \\ =& \lim_{(t,s)\to(t_{0},s)} \frac{\sigma_{1}(t_{0})-t}{\sigma _{1}(t_{0})+2t_{0}-2t-\rho_{1}(t_{0})} \frac{\partial f(t_{0},s_{0})}{\Delta_{1} t} \\ &{} + \lim_{(t,s)\to(t_{0},s)}\frac{2t_{0}-t-\rho_{1}(t_{0})}{\sigma _{1}(t_{0})+2t_{0}-2t-\rho_{1}(t_{0})} + \frac{\partial f(t_{0},s_{0})}{\nabla_{1} t} \\ =& \gamma_{1}(t_{0}) \frac{\partial f(t_{0},s_{0})}{\Delta_{1} t} + \bar{\gamma }_{1}(t_{0}) + \frac{\partial f(t_{0},s_{0})}{\nabla_{1} t}, \end{aligned}$$

where \(\gamma_{1}(t_{0})=\lim_{t\to t_{0}} \frac{\sigma_{1}(t_{0})-t}{\sigma _{1}(t_{0})+2t_{0}-2t-\rho_{1}(t_{0})}\) and \(\bar{\gamma}_{1}(t_{0})=\lim_{t\to t_{0}}\frac{2t_{0}-t-\rho_{1}(t_{0})}{\sigma_{1}(t_{0})+2t_{0}-2t-\rho_{1}(t_{0})}\) for all \(t_{0} \in\mathbb{T}_{1}\). It is straightforward that \(\gamma_{1} + \bar {\gamma}_{1} := 1\).

If \(t_{0}\) is left dense and right scattered, then \(\gamma_{1}(t_{0}) = \frac {\sigma_{1}(t_{0})-t_{0}}{\sigma_{1}(t_{0})-t_{0}}=1 \) and \(f^{\Diamond _{1}}(t_{0},s_{0})=f^{\Delta_{1}}(t_{0},s_{0})\).

If \(t_{0}\) is right dense and left scattered, then \(\sigma_{1}(t_{0})=t_{0}\) implies \(\gamma_{1}(t_{0})=0\) and therefore \(f^{\Diamond _{1}}(t_{0},s_{0})=f^{\nabla_{1}}(t_{0},s_{0})\). Also if \(t_{0}\) is dense \(\gamma_{1}(t_{0})= \lim_{t \to t_{0}}\frac {t_{0}-t}{2t_{0}-t}=\frac{1}{2}\) and \(f^{\Diamond_{1}}(t_{0},s_{0})=\frac {1}{2}f^{\Delta_{1}}(t_{0},s_{0})+\frac{1}{2}f^{\nabla_{1}}(t_{0},s_{0})\).

Moreover, if \(t_{0}\) is an isolated point, then \(\gamma_{1}(t_{0})=\frac {\sigma_{1}(t_{0})-t_{0}}{\sigma_{1}(t_{0})-\rho_{1}(t_{0})}\) and \(f^{\Diamond _{1}}(t_{0},s_{0})=\frac{\sigma_{1}(t_{0})-t_{0}}{\sigma_{1}(t_{0})-\rho_{1}(t_{0})} f^{\Delta _{1}}(t_{0},s_{0})+\frac{t_{0}-\rho_{1}(t_{0})}{\sigma_{1}(t_{0})-\rho_{1}(t_{0})}f^{\nabla _{1}}(t_{0},s_{0})\).

The same procedure can be followed to obtain a similar result \(\frac {\partial f(t,s)}{\Diamond_{2} s}=\gamma_{2}(s_{0}) \frac{\partial f(t_{0},s_{0})}{\Delta_{2} s}+(1-\gamma_{2}(s_{0}))\frac{\partial f(t_{0},s_{0})}{\nabla_{2} s}\). □

3 Tangent spaces

The geometric theory of the curves and surfaces parameterized by time scales and their analysis with the delta derivative can be found in [8, 9, 15]. It is possible to define curves and surfaces with the idea of symmetric differentiation in the same fashion. One can also extend the previous results to the symmetric differentiation.

Definition 5

A -regular curve α is defined as a vector-valued mapping from \([a,b] \subset\mathbb{T}\) to \(\mathbb{R}^{3}\) with the non-zero norm \(\|\alpha^{\Diamond}(t_{0})\|\) for all \(t_{0} \in[a,b]\). Moreover, if \(\|\alpha^{\Delta}(t_{0})\|=1\) for all \(t_{0} \in[a,b]\), then α is called ‘arc length parameterized curve’.

Definition 6

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 \(\varphi: 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:

  1. (i)

    \(\varphi: U \to\mathbb{R}^{3}\) is -differentiable and for all \((t,s) \in U\)

    $$\frac{\partial\varphi(t,s)}{\Diamond_{1} t} \times \frac{\partial\varphi(t,s)}{\Diamond_{2} s} \neq0, $$

    i.e., φ is -regular.

  2. (ii)

    \(\varphi(U)=\mathcal{S}\cap A\) and \(\varphi: U \to\varphi (U)\) is a homeomorphism.

The function \(\varphi: 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\varphi(U)\).

Definition 7

Let \(\alpha: \mathbb{T} \to\mathbb{R}^{n}\) be a -regular curve and \(t_{0} \in\mathbb{T}^{\kappa}_{\kappa}\). The line with the slope \(\alpha^{\Diamond}(t_{0})\) passing at the point \(\alpha(t_{0})\) is called the diamond-tangent line of α at \(t_{0}\).

Remark 8

Bythis definition, it is clear that we do not need to have the equality of the left and right side dynamic derivatives. Hence, the tangent line defined with the symmetric derivative on time scales is more sensitive to the geometric change of the curve.In Figure 1 and Figure 2, \(\mathcal{L}_{0}\) is the diamond-tangent line of the α at \(t_{0}\) with the slope \(\alpha^{\Diamond}(t_{0})\). It is clear that the translations on the right or left continuous arcs of the curves will lead to new tangent lines. Hence, geometric changes in the curve affect the tangent line.

Figure 1
figure 1

Diamond-tangent line at the left dense and right scattered point of the curve α . Therefore, \(\gamma(t_{0})=1\) and \(\alpha^{\Diamond}(t_{0})=\alpha^{\Delta}(t_{0})\).

Figure 2
figure 2

Diamond-tangent line at the isolated point of the curve α . Therefore, \(\gamma(t_{0})=\frac{\sigma(t_{0})-t_{0}}{\sigma(t_{0})-\rho(t_{0})}\), and \(\alpha^{\Diamond}(t_{0}) = \frac{\sigma(t_{0})-t_{0}}{\sigma(t_{0})-\rho(t_{0})} \alpha^{\Delta}(t_{0})+\frac{t_{0}-\rho(t_{0})}{\sigma(t_{0}) -\rho(t_{0})}\alpha^{\nabla}(t_{0})\).

Definition 9

Let\(\mathcal{S}\) be a surface with the patch \(\varphi: U \to\mathcal {S}\), where \(U \subset\mathbb{T}_{1} \times\mathbb{T}_{2}\) and \((t_{0},s_{0}) \in{\mathbb{T}_{1}}^{\kappa}_{\kappa}\times{\mathbb{T}_{2}}^{\kappa }_{\kappa}\). The plane with the normal vector \(\varphi^{\Diamond_{1}}\times\varphi ^{\Diamond_{2}}\) passing at the point \(\varphi(t_{0},s_{0})\) is called a diamond-tangent plane of \(\mathcal{S}\) at \((t_{0},s_{0})\).

Remark 10

As in the definition of diamond-tangent line for a curve, diamond-tangent plane for a surface is also defined on isolated points. In Figure 3, \(\Omega_{0}\) is the diamond-tangent plane of the \(\mathcal{S}\) at \((t_{0},s_{0})\) with the normal \(\varphi^{\Diamond _{1}}(t_{0},s_{0})\times\varphi^{\Diamond_{2}}(t_{0},s_{0})\). It is clear that the geometric changes in the surface lead to new tangent planes.

Figure 3
figure 3

Diamond-tangent plane with the normal vector \(\pmb{\varphi^{\Diamond_{1}}(t_{0},s_{0})\times\varphi^{\Diamond_{2}}(t_{0},s_{0})}\) at the point \(\pmb{\varphi(t_{0},s_{0})}\) of the surface \(\pmb{\mathcal{S}}\) .

4 Curvature of curves on time scales

Definition 11

Let \(\alpha: \mathbb{T} \to\mathbb{R}^{n}\) be an arc length parameterized regular curve. The curvature of α at \(t_{0} \in \mathbb{T}^{\kappa}_{\kappa}\) is the norm of the second order symmetric derivative of α, i.e.,

$$\kappa_{\Diamond}(t_{0}) = \bigl\| \alpha^{\Diamond\Diamond}(t_{0}) \bigr\| . $$

Remark 12

If \(\mathbb{T}=\mathbb{R}\), then

$$\kappa_{\Diamond}(t_{0}) = \bigl\| \alpha^{\Diamond\Diamond}(t_{0}) \bigr\| =\bigl\| \alpha ''(t_{0})\bigr\| =\kappa(t_{0}). $$

If the time scale \(\mathbb{T}\) is completely discrete, then

$$\begin{aligned} \alpha^{\Diamond\Diamond}(t_{0}) =&\frac{1}{(\sigma^{2}(t_{0})-t_{0})(\sigma (t_{0})-\rho(t_{0}))}\bigl( \alpha^{\sigma\sigma}(t_{0}) -\alpha(t_{0})\bigr) \\ &{} - \frac{1}{(t_{0}-\rho^{2}(t_{0}))(\sigma(t_{0})-\rho(t_{0}))}\bigl(\alpha(t_{0})-\alpha ^{\rho\rho}(t_{0})\bigr). \end{aligned}$$

Hence \(\kappa_{\Diamond}(t_{0}) = \|\alpha^{\Diamond\Diamond}(t_{0})\|\) can be computed very accurately. Moreover, if \(\mathbb{T}\) is with a nonzero constant graininess h

$$\begin{aligned} \alpha^{\Diamond\Diamond}(t_{0}) =&\frac{1}{4h^{2}} \bigl(\alpha (t+2h)-2\alpha(t)+\alpha(t-2h) \bigr) \\ =& \frac{1}{\varepsilon^{2}} \bigl(\alpha(s)-2\alpha(s-\varepsilon)+\alpha (s-2 \varepsilon) \bigr) \end{aligned}$$

and the norm of the second order symmetric derivative leads us to \(\kappa_{s} (t_{0})\).

References

  1. do Carmo, MP: Differential Geometry of Curves and Surfaces. Prentice Hall, Englewood Cliffs (1976)

    MATH  Google Scholar 

  2. An, Y, Shao, C, Wang, X, Li, Z: Estimating principal curvatures and principal directions from discrete surfaces using discrete curve model. J. Inf. Comput. Sci. 8(2), 296-311 (2011)

    Google Scholar 

  3. Bobenko, AI, Schröder, P, Sullivan, JM, Ziegler, GM (eds): Discrete Differential Geometry. Oberwolfach Seminars, vol. 38, pp. 137-161 (2008)

    Book  Google Scholar 

  4. Hilger, S: Analysis on measure chains - a unified approach to continuous and discrete calculus. Results Math. 18, 18-56 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  5. Özyılmaz, E: Directional derivative of vector field and regular curves on time scales. Appl. Math. Mech. 27(10), 1349-1360 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  6. Cieśliński, JL: Pseudospherical surfaces on time scales: a geometric definition and the spectral approach. J. Phys. A, Math. Theor. 40(42), 12525-12538 (2007)

    Article  MATH  Google Scholar 

  7. Bohner, M, Guseinov, GS: Surface areas and surface integrals on time scales. Dyn. Syst. Appl. 19(3-4), 435-454 (2010)

    MATH  MathSciNet  Google Scholar 

  8. Atmaca, SP: Normal and osculating planes of Δ-regular curves. Abstr. Appl. Anal. 2010, 923916 (2010)

    Google Scholar 

  9. Atmaca, SP, Akgüller, O: Surfaces on time scales and their metric properties. Adv. Differ. Equ. 2013, 170 (2013)

    Article  Google Scholar 

  10. Brito da Cruz, AMC, Martins, N, Torres, DFM: Symmetric differentiation on time scales. Appl. Math. Lett. 26(2), 264-269 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  11. Bohner, M, Guseinov, GS: Partial differentiation on time scales. Dyn. Syst. Appl. 13(3-4), 351-379 (2004)

    MATH  MathSciNet  Google Scholar 

  12. Uçar, D, Seyyidoǧlu, MS, Tunçer, Y, Berktaş, MK, Hatipoǧlu, VF: Forward curvatures on time scales. Abstr. Appl. Anal. 2011, 805948 (2011)

    Google Scholar 

  13. Aull, CE: The first symmetric derivative. Am. Math. Mon. 74(6), 708-711 (1967)

    Article  MathSciNet  Google Scholar 

  14. Colvin, S, Debnath, L: On symmetric partial derivatives and symmetric differentiability. Gac. Mat. 25(3-4), 100-106 (1973)

    MATH  MathSciNet  Google Scholar 

  15. Guseinov, GS, Özyılmaz, E: Tangent lines of generalized regular curves parametrized by time scales. Turk. J. Math. 25(4), 553-562 (2001)

    MATH  Google Scholar 

Download references

Acknowledgements

The authors thank the organizing and scientific committee of the International Congress in Honour of Professor Ravi P Agarwal, Bursa-TURKEY June 23-26, 2014.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sibel Paşalı Atmaca.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

SPA and ÖA worked together in the derivation of the mathematical results. Both authors read and approved the final manuscript.

Rights and permissions

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Paşalı Atmaca, S., Akgüller, Ö. Curvature of curves parameterized by a time scale. Adv Differ Equ 2015, 49 (2015). https://doi.org/10.1186/s13662-015-0384-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-015-0384-z

Keywords