Skip to content

Advertisement

  • Research
  • Open Access

The matrix representation of the delta shape operator on time scales

Advances in Difference Equations20162016:12

https://doi.org/10.1186/s13662-015-0736-8

  • Received: 19 June 2015
  • Accepted: 8 December 2015
  • Published:

Abstract

In this work, we consider the delta shape operator of a surface parameterized by the product of two arbitrary time scales. In particular, we present a matrix representation of the delta shape operators with respect to partial delta derivatives.

Keywords

  • time scales
  • shape operator
  • delta derivative

1 Introduction

The calculus of time scales, which has recently received a lot of attention, was introduced by Hilger in his PhD thesis in 1988 (supervised by Aulbach) in order to create a theory that can unify discrete and continuous analysis [1]. Then Hilger and Aulbach published [1] and [2] in 1990. A time scale is an arbitrary nonempty closed subset of the real numbers. Thus \(\mathbb{R}\), \(\mathbb{Z}\), \(\mathbb{N}\), \(\mathbb{N}_{0}\) are examples of time scales [1, 2]. Linear and nonlinear Hamiltonian systems were studied on time scales by Ahlbrandt et al. in [3]. The authors unify symplectic flow properties of discrete and continuous Hamiltonian systems. An introduction to the study of dynamic equations on time scales was developed in [4] in 2001. A generalization of the notion of regular curve, tangent vector, and natural parametrization were introduced by Guseinov and Ozyilmaz in [5]. The theory of time scales has proved to be useful in the mathematical modeling of several important dynamic processes [68]. In [9], the notion of pseudospherical surfaces in asymptotic coordinates on time scales was presented by Cieslinski. Thus the author extended the well-known notions of discrete and smooth pseudospherical surfaces. Also they presented the Gaussian curvature of the surface. Some applications of a vector field along a curve and a derivative mapping on a time scale were studied by Kusak and Caliskan in [10]. Some properties of directional nabla-derivative according to vector fields and curves on n-dimensional time scales were presented by Aktan et al. in [11]. The normal and osculating planes of the curves on time scales were developed by Pasali Atmaca in [12]. Also the authors defined the concept of vector-valued functions on time scales. A connection of a vector field in the direction of another vector field was accomplished on time scales in [13]. The forward curvature of a curve and some its properties were studied by Seyyidoglu et al. in [14]. Nabla 1-forms for multivariable functions on an n-dimensional time scale were presented Aktan et al. in [15]. In [16, 17], Lie brackets, the parameter map, and the velocity vector are introduced. A theoretical framework for surfaces parametrized by the product of two arbitrary time scales was developed by Pasali Atmaca and Akguller in [18]. The authors studied the metric properties of the surfaces. The surface normal vector, the first fundamental form, and the length measurement were presented in the paper. Also some fundamental properties as regards differential geometry can be obtained in [19, 20].

The general idea in this paper is to investigate the matrix representation of the delta shape operator (delta Weingarten transformation) which was not considered in the literature before. Hence we survey here the Weingarten delta shape operator which combines discrete space and continuous space on time scales.

2 Preliminaries

Let \(n\in\mathbb{N}\) be fixed. Further, for each \(i\in\{1,\ldots,n\}\) let \(\mathbb{T}_{i}\) denote a time scale, that is, \(\mathbb{T}_{i}\) is a nonempty closed subset of the real numbers \(\mathbb{R}\). Let us set \(\Lambda^{n}=\mathbb{T}_{1}\times\cdots\times\mathbb{T}_{n}=\{ t=(t_{1},\ldots,t_{n}):t_{i}\in\mathbb{T}_{i} \mbox{ for all } i\in\{1,\ldots,n\}\}\). We call \(\Lambda^{n}\) an n-dimensional time scale. The set \(\Lambda^{n}\) is a complete metric space with the metric d defined by \(d(t,s)=(\sum_{i=1}^{n}\| t_{i}-s_{i}\|^{2})^{\frac{1}{2}}\) for \(t,s\in\Lambda^{n}\) [7].

Lemma 2.1

The delta derivation of the inner product for the two vector-valued functions \({x}(t)\) and \({y}(t)\) is defined with
$$\begin{aligned} \frac{\partial}{\Delta t}\bigl\langle {x}(t),{y}(t)\bigr\rangle =&\frac{\partial {x}(t)}{\Delta t} \cdot{y}(t)+ {x^{\sigma}}(t)\cdot\frac{\partial {y}(t)}{\Delta t} \\ =&\frac{\partial{x}(t)}{\Delta t}\cdot{y}^{\sigma}(t)+{x}(t)\cdot\frac{\partial{y}(t)}{\Delta t}\quad \mbox{[12]}. \end{aligned}$$

Lemma 2.2

The delta derivation of the vector product for the two vector-valued functions \({x}(t)\) and \({y}(t)\) is [12]
$$\begin{aligned} \frac{\partial}{\Delta t}\bigl({x}(t)\times{y}(t)\bigr) =&\frac{\partial {x}(t)}{\Delta t} \times{y}(t)+{x}^{\sigma}(t)\times\frac{\partial {y}(t)}{\Delta t} \\ =&\frac{\partial{x}(t)}{\Delta t}\times{y}^{\sigma}(t)+{x}(t)\times\frac{\partial{y}(t)}{\Delta t}. \end{aligned}$$

Definition 2.1

Suppose that the function f is \(\sigma_{1}\)-completely delta differentiable at the point \((t^{0},s^{0})\in\Lambda^{2}\). Then the directional delta derivative of f at \((t^{0},s^{0})\) in the direction of the vector \(w(w_{1},w_{2})\) exists and is expressed by the formula [7]
$$ \frac{\partial f(t^{0},s^{0})}{\Delta w}=\frac{\partial f(t^{0},s^{0})}{\Delta _{1} t} w_{1}+\frac{\partial f(\sigma_{1}(t^{0}),s^{0})}{\Delta _{2} s} w_{2}. $$

Definition 2.2

The metric of a surface S is determined by the partial Δ-derivatives of the surface patch φ. Let the cross product on time scales be a binary operation on the time scale spaces \(\Lambda^{2}\) and be denoted by the symbol ×. Assuming that \(\frac{\partial\varphi}{\Delta_{1}t}\times\frac{\partial\varphi }{\Delta_{2} s}\neq0\), the tangent plane to S is spanned by the two tangent vectors \(\frac{\partial\varphi}{\Delta_{1}t}\) and \(\frac{\partial\varphi}{\Delta_{2} s}\). The surface normal vector is orthogonal to both tangent vectors and can be computed as [18]
$$ {N}=\frac{\frac{\partial\varphi}{\Delta_{1}t}\times\frac{\partial \varphi}{\Delta_{2}s}}{\| \frac{\partial \varphi}{\Delta_{1}t}\times\frac{\partial\varphi}{\Delta_{2}s} \|}. $$

Definition 2.3

Let V and W be vector field on the space \(\Lambda^{2}\). By considering the delta covariant derivative of W with respect to V implies the following equation:
$$ (\Delta _{V}W) (p)=\Delta _{V(p)}W, $$
and the following mapping:
$$\begin{aligned} \Delta :{}&T\bigl(\Lambda^{2}\bigr)\times T\bigl(\Lambda^{2} \bigr)\rightarrow T\bigl(\Lambda^{2}\bigr) \\ &(V,W)\rightarrow \Delta _{V}W, \end{aligned}$$
is called ‘the delta nature connection’ on the time scale [13].

\(C_{\sigma_{1}}^{\Delta}\) is the set of continuous functions which are \({\sigma_{1}}\)-completely delta differentiable [5].

Theorem 2.1

Let V, W, Y, Z be vector fields on \(\Lambda^{2}\), and \(f,g \in C_{\sigma_{1}}^{\Delta}\) be given for every \(a,b\in\mathbb{R}\), then we have some properties of the delta nature connection as follows [13]:
$$\begin{aligned} (\mathrm{i})&\quad \Delta_{V}(fY+gZ)=f \Delta_{V}Y+g\Delta_{V}Z ; \\ (\mathrm{ii})&\quad \Delta_{fV+gW}Y=f\Delta_{V}Y+g \Delta_{W}Y ; \\ (\mathrm{iii})&\quad \Delta_{V}(fY)=\frac{ \partial f}{ \Delta V}Y\bigl( \sigma _{1}\bigl(t^{0}\bigr),s^{0}\bigr)+f\bigl( \sigma_{1}\bigl(t^{0}\bigr),\sigma_{1} \bigl(s^{0}\bigr)\bigr)\Delta_{V}Y \\ &\quad\hphantom{\Delta_{V}(fY)={}}{} + \biggl\{ \mu_{1}V_{1} \frac{\partial f}{\Delta_{1}V_{1}}+ \mu_{2}V_{1}\frac{\partial f(\sigma_{1}(t^{0}),s^{0})}{ \Delta_{2}V_{2}} \biggr\} { \sum_{i=1}^{2}}\frac{\partial y_{i}}{\Delta_{1}V_{1}} \frac{\partial}{\partial x_{i}} ; \\ (\mathrm{iv})&\quad \Delta_{V}\langle Y,Z\rangle =\langle \Delta_{V}Y,Z\rangle +\langle \Delta_{V}Z,Y\rangle-\mu_{1}V_{1}{\sum _{i=1}^{2}}\frac{\partial y_{i}}{ \Delta_{1}V_{1}}\frac{\partial z_{i}}{\Delta_{1}V_{1}} \frac {\partial}{\partial x_{i}} \\ &\quad\hphantom{\Delta_{V}\langle Y,Z\rangle ={}}{} -\mu_{2}V_{1}{\sum _{i=1}^{2}}\frac {\partial z_{i}}{\Delta_{1}V_{1}} \frac{\partial y_{i}(\sigma_{1}(t^{0}),s^{0})}{\Delta_{2}V_{2}} \frac {\partial}{\partial x_{i}} . \end{aligned}$$

Definition 2.4

The Lie parenthesis operator has the expression
$$ [V_{1},V_{2}]_{\nabla}(f)=\nabla_{V_{1}}V_{2}- \nabla _{V_{2}}V_{1}+\nu \biggl[\frac{\partial V_{2}}{\nabla x_{1}}V_{1}[f]- \frac{\partial V_{1}}{\nabla x_{1}}V_{2}[f] \biggr]. $$
Similarly if the delta derivation of the Lie parenthesis operator is taken:
$$ [V_{1},V_{2}]_{\Delta}(f)=\Delta_{V_{1}}V_{2}- \Delta _{V_{2}}V_{1}+\mu \biggl[\frac{\partial V_{2}}{\Delta x_{1}}V_{1}[f]- \frac{\partial V_{1}}{\Delta x_{1}}V_{2}[f] \biggr]. $$
Here \(\nu=\rho(x)-x\) and \(\mu=\sigma(x)-x\) [16].

3 Main result

Definition 3.1

Let M is a surface and \({N}=(N_{1}, N_{2},\ldots,N_{n})\) be the normal vector field of M; \(\chi(M)\) be the vector field space of M; \(T_{M}(P)\) be the tangent space of M at the point P; and Δ is the delta nature connection in \(\Lambda^{n}\); the normal vector N is \(\sigma_{1}\)-completely delta differentiable; \(V\in\chi(M)\) is a vector field;
$$\begin{aligned} S_{\Delta}(V) =&-\Delta_{V} N=-\bigl(V[N_{1}], V[N_{2}],\ldots,V[N_{n}]\bigr) \\ =&-\biggl(\frac{\partial N_{1}}{\Delta V},\ldots,\frac{\partial N_{n}}{\Delta V}\biggr) \end{aligned}$$
or we may find the delta shape operator at the point P as follows:
$$\begin{aligned} S_{\Delta p}(V_{p}) =& -\Delta_{V_{p}}N_{p} =-\bigl(V_{p}[N_{1}],\ldots,V_{p}[N_{n}] \bigr) \\ =&-\biggl(\frac{\partial N_{1}}{\Delta V_{p}},\ldots,\frac{\partial N_{n}}{\Delta V_{p}}\biggr) \end{aligned}$$
defined with the above value \(S_{\Delta p}(V_{p})\) transformation the surface M at the P point in \(V_{p}\) direction is called the ‘Delta shape operator’ or the ‘Delta Weingarten transformation’. To facilitate the notation, we will denote the \(S_{\Delta p}(V_{p})\) transformation with \(S_{\Delta}(V)\).

Theorem 3.1

The delta shape operator \(S_{\Delta}(V)\) is linear.

Proof

The proof is obvious. □

Theorem 3.2

Let M be a surface defined with \(\Lambda^{n}\) time scales. The \(\chi(M)\) shows vector fields space of the surface M, and the \(S_{\Delta}\) delta shape operator is the conversion defined by
$$\begin{aligned} S_{\Delta}:{}&\chi(M) \rightarrow \chi(M) \\ &V \rightarrow S_{\Delta}(V)=\Delta_{V}{N}. \end{aligned}$$

Proof

Since the N is the normal vector, the inner product \(\langle{N};{N}\rangle=1\) is obtained. If we take the vector field derivation of both sides of this equation in the direction of V vector field, i.e. by making use of the \(V[\langle N,N\rangle ]=V[1]\) equation, and for the solution, by making use of the properties of the \(\Delta_{V}\) connection, we obtain
$$\begin{aligned} 0 =&\langle \Delta_{V} N,N\rangle +\langle N,\Delta_{V} N \rangle -\mu_{1}V_{1} {\sum_{i=1}^{n}} \frac{\partial N_{i}}{\Delta_{1} V_{1}}\frac{\partial N_{i}}{\Delta_{1} V_{1}}\frac{\partial}{\partial x_{i}} \\ &{}-\mu_{2}V_{1} {\sum_{i=1}^{n}} \frac{\partial N_{i}}{\Delta_{1} V_{1}}\frac{\partial N_{i}(\sigma_{1}(t^{0}),s^{0})}{\Delta_{2} V_{2}}\frac{\partial}{\partial x_{i}}. \end{aligned}$$
Here, to facilitate the equations, let us take the coefficient of \(\mu_{1}\) as \(\delta_{1}\) and the coefficient of \(\mu_{2}\) as \(\delta_{2}\). Then
$$ 2\langle \Delta_{V} N,N\rangle=\mu_{1} \delta_{1}-\mu_{2}\delta_{2} $$
(3.1)
is obtained. If we take \(\mathbb{T}_{1}\times\mathbb{T}_{2}=\mathbb{R}\times\mathbb{R}\), the properties \(\mu_{1}=0\), \(\mu_{2}=0\) and \(\langle \Delta_{V} {N},{N}\rangle=0\) are satisfied. From this, it is observed that \(\Delta_{V}{N} \perp N\), i.e. \(\Delta_{V}{N}\in T_{p}(\Lambda^{2})\). In the case \(\mathbb{T}_{1}\times\mathbb{T}_{2}\neq\mathbb{R}\times\mathbb{R}\) it becomes \(\Delta_{V}{N}\in\chi(M)\). Thus the theorem is proven. □

Theorem 3.3

The delta shape operator \(S_{\Delta}\) is not symmetrical for \(\Lambda^{2}=\mathbb{T}_{1}\times\mathbb{T}_{2}\); however, in the case \(\mathbb{T}_{1}=\mathbb{T}_{2}=\mathbb{R}\), it is symmetrical, i.e. self-adjoint.

Proof

\(\langle S_{\Delta}(X),Y\rangle =\langle X,S_{\Delta}(Y)\rangle \). For \(\forall X,Y\in\chi(M)\), \(\langle X,N\rangle =0\) and \(\langle Y,N\rangle =0\). When the derivation of the inner product of \(\langle X,N\rangle =0\) is taken, and the derivation of the inner product for \(\Delta_{Y}(\langle X,N\rangle )=0\) and \(\langle Y,N\rangle =0\) is taken, subtract these two equations from each other by making use of the properties of the \(\Delta_{X}\langle Y,N\rangle =0\) connections;
$$\begin{aligned}& 0 = \langle \Delta_{Y}X,N\rangle +\langle \Delta_{Y}N,X \rangle -\mu_{1}\overbrace{Y_{1} {\sum _{i=1}^{2}} \frac{\partial X_{i}}{\Delta_{1} Y_{1}} \frac{\partial N_{i}}{\Delta_{1} Y_{1}} \frac{\partial}{\partial x_{i}}} \\& \hphantom{0={}}{}-\mu_{2} \overbrace{Y_{1} {\sum _{i=1}^{2}} \frac{\partial N_{i}}{\Delta_{1} Y_{1}} \frac{\partial X_{i}(\sigma_{1}(t^{0}),s^{0})}{\Delta_{2} Y_{2}} \frac{\partial}{\partial x_{i}}}, \\& 0 = \langle \Delta_{X} Y,{N}\rangle +\langle \Delta_{X}{N},Y \rangle -\mu_{1} \overbrace{X_{1} {\sum _{i=1}^{2}} \frac{\partial Y_{i}}{\Delta_{1} X_{1}}\frac{\partial{N}_{i}}{\Delta_{1} X_{1}} \frac{\partial}{\partial x_{i}}} \\& \hphantom{0={}}{} -\mu_{2}\overbrace{X_{1} {\sum _{i=1}^{2}}\frac{\partial {N}_{i}}{\Delta_{1} X_{1}} \frac{\partial Y_{i}(\sigma_{1}(t^{0}),s^{0})}{\Delta_{2} X_{2}} \frac{\partial}{\partial x_{i}}}. \end{aligned}$$
Here, let us use the letters a, b, c, d to the right side of \(\mu_{1}\), \(\mu_{2}\) to facilitate and abbreviate:
$$\begin{aligned}& \langle \Delta_{Y}X-\Delta_{X}Y,{N}\rangle +\bigl[\bigl\langle S_{\Delta}(Y),X\bigr\rangle -\bigl\langle S_{\Delta}(X),Y \bigr\rangle \bigr]-\mu_{1} (a-c)-\mu_{2}(b-d)=0, \\& {\bigl[\bigl\langle S_{\Delta}(Y),X\bigr\rangle -\bigl\langle S_{\Delta}(X),Y\bigr\rangle \bigr]}=-\langle \Delta_{Y}X - \Delta_{X}Y,{N}\rangle +\mu_{1} (a-c)+\mu_{2}(b-d). \end{aligned}$$
As seen in the above equation, in the case \(\mathbb{T}_{1}\neq\mathbb{R}\) and \(\mathbb{T}_{2}\neq\mathbb{R}\), i.e. on any time scale, the delta shape operator is not symmetrical. However, in \(\mathbb{T}_{1}=\mathbb{R}\) and \(\mathbb{T}_{2}=\mathbb{R}\), \(\mu_{1}=\mu_{2}=0\) and \(\langle \Delta_{Y} X-\Delta_{X} Y, {N}\rangle =0\). It is observed that \(\langle S_{\Delta}(Y),X\rangle =\langle S_{\Delta}(X),Y\rangle \). In other words, the \(S_{\Delta}(V)\) delta shape operator is observed to be symmetrical when the \(\Lambda^{2}=\mathbb{R}\times\mathbb{R}\) time scale is taken. This property coincides with the property that is described by stating that the ‘delta shape operator is symmetrical’ in the surfaces theory in Euclidean space. □

Theorem 3.4

$$\begin{aligned} \varphi:{}&\Lambda^{2} \rightarrow \Lambda^{3} \\ &(t,s) \rightarrow \varphi(t,s), \end{aligned}$$
are differentiable; let the surface \(\varphi(\Lambda^{2})=M\) be given. For the M surface’s N unit vector field, the following equations are obtained:
$$ S_{\Delta}\biggl(\frac{\partial\varphi}{\Delta_{1} t}\biggr)=\frac{\partial {N}}{\Delta_{1} t} \quad \textit{and} \quad S_{\Delta}\biggl(\frac{\partial \varphi}{\Delta_{2} s}\biggr)= \frac{\partial{N}}{\Delta_{2} s}. $$

Proof

t with a variable value, s with a constant value are taken for the \(\varphi(t,s_{0})=\alpha(t)\) curve,
$$\begin{aligned} S_{\Delta}\biggl(\frac{\partial\varphi}{\Delta_{1} t}\biggr) =&S\biggl(\frac{\partial \varphi}{\Delta_{1} t}(t,s_{0}) \biggr) =S_{\Delta}\bigl(\alpha^{\Delta_{1}}(t)\bigr) \\ =&D_{\alpha^{\Delta_{1}}(t)} N \\ =&\bigl({\alpha} (t)[N_{1}],\ldots,{\alpha}(t)[N_{2}] \bigr) \\ =&\frac{\partial N}{\Delta_{1} t}(t); \end{aligned}$$
t with constant value, s with variable value, and \(\varphi(t_{0},s)=B(t)\),
$$\begin{aligned} S_{\Delta}\biggl(\frac{\partial\varphi}{\Delta_{2} s}\biggr) =&S_{\Delta}\biggl( \frac{\partial \varphi}{\Delta_{2} s}(t_{0},s)\biggr)=S_{\Delta}\bigl( \beta^{\Delta_{2}(t)}\bigr) \\ =&D_{\beta^{\Delta_{2}(t)}} N \\ =&\bigl({\beta}(t)[N_{1}],\ldots,{\beta} (t)[N_{2}]\bigr) \\ =&\frac{\partial N}{\Delta_{2} s}(t). \end{aligned}$$
 □

Theorem 3.5

Since the principal normal N of the surface φ is vertical to \(\frac{\partial\varphi}{\Delta_{1}t}\) and \(\frac{\partial\varphi}{\Delta_{2} t}\), the following equations are obtained:
$$\begin{aligned} (\mathrm{i})&\quad \biggl\langle \frac{\partial N}{\Delta_{1} t},\frac{\partial\varphi}{\Delta_{1} t}\biggr\rangle =-\biggl\langle N, \frac{\partial^{2} \varphi^{\sigma_{1}}}{\Delta_{1} t^{2}}\biggr\rangle ; \\ (\mathrm{ii})&\quad\biggl\langle \frac{\partial N}{\Delta_{2} s},\frac{\partial \varphi}{\Delta_{2} s}\biggr\rangle =-\biggl\langle N, \frac{\partial^{2} \varphi^{\sigma_{2}}}{\Delta_{2} s^{2}}\biggr\rangle ; \\ (\mathrm{iii})&\quad\biggl\langle \frac{\partial N}{\Delta_{1} t},\frac{\partial \varphi}{\Delta_{2} s}\biggr\rangle =-\biggl\langle N, \frac{\partial^{2} \varphi^{\sigma_{1}}}{\Delta_{1}t\Delta_{2}s}\biggr\rangle ; \\ (\mathrm{iv})&\quad\biggl\langle \frac{\partial N}{\Delta_{2}s},\frac{\partial \varphi}{\Delta_{1} t}\biggr\rangle =-\biggl\langle N, \frac{\partial^{2} \varphi^{\sigma_{2}}}{\Delta_{2}s\Delta_{1} t}\biggr\rangle . \end{aligned}$$

Proof

(i) When the derivation is taken on both sides of \(\langle N,\frac{\partial\varphi}{\Delta_{1} t}\rangle=0\), we have
$$\begin{aligned}& \frac{\partial}{\Delta_{1} t}\biggl\langle N,\frac{\partial \varphi}{\Delta_{1}t}\biggr\rangle =0, \\& \biggl\langle \frac{\partial N}{\Delta_{1} t} , \frac{\partial \varphi}{\Delta_{1} t}\biggr\rangle +\biggl\langle N,\frac{\partial^{2} \varphi^{\sigma_{1}}}{\Delta_{1} t^{2}}\biggr\rangle =0, \\& \biggl\langle \frac{\partial N}{\Delta_{1} t}, \frac{\partial \varphi}{\Delta_{1} t}\biggr\rangle =-\biggl\langle N,\frac{\partial^{2} \varphi^{\sigma_{1}}}{\Delta_{1} t^{2}}\biggr\rangle . \end{aligned}$$
(ii) \(\langle N,\frac{\partial\varphi}{ \Delta _{1} t}\rangle =0\); let us take the derivation of both sides of the above equation:
$$\begin{aligned}& \frac{\partial}{ \Delta _{2} s}\biggl\langle N,\frac{\partial \varphi}{ \Delta _{2} s}\biggr\rangle =0, \\& \biggl\langle \frac{\partial N}{\Delta_{2} s} , \frac{\partial \varphi}{\Delta_{2} s}\biggr\rangle +\biggl\langle N,\frac{\partial^{2} \varphi^{\sigma_{2}}}{\Delta_{2} s^{2}}\biggr\rangle =0, \\& \biggl\langle \frac{\partial N}{\Delta_{2} s}, \frac{\partial \varphi}{\Delta_{2} s}\biggr\rangle =-\biggl\langle N,\frac{\partial^{2} \varphi^{\sigma_{2}}}{\Delta_{2} s^{2}}\biggr\rangle . \end{aligned}$$
(iii) \(\langle N,\frac{{\partial\varphi}}{{\Delta_{2} s}} \rangle =0\); let us take the derivation of both sides of the above equation:
$$\begin{aligned}& \frac{\partial}{{\Delta_{1} t}} \biggl\langle N,\frac{{\partial \varphi}}{{\Delta_{2}s}} \biggr\rangle = 0, \\& \biggl\langle \frac{{\partial N}}{{\Delta_{1} t}},\frac{{\partial\varphi }}{{\Delta_{2} s}} \biggr\rangle + \biggl\langle N,\frac{{\partial^{2} \varphi^{\sigma_{1} } }}{{\Delta_{1} t\Delta_{2} s}} \biggr\rangle = 0, \\& \biggl\langle \frac{{\partial N}}{{\Delta_{1} t}},\frac{{\partial \varphi}}{{\Delta_{2} s}} \biggr\rangle = - \biggl\langle N,\frac{{\partial^{2} \varphi^{\sigma_{1} } }}{{\Delta_{1} t\Delta_{2} s}} \biggr\rangle =0. \end{aligned}$$
(iv) \(\frac{\partial}{{\Delta_{2} s}} \langle N,\frac{{\partial \varphi}}{{\Delta_{1} t}} \rangle =0\); let us take the derivation of both sides of the above equation:
$$\begin{aligned}& \frac{\partial}{{\Delta_{2} s}} \biggl\langle N,\frac{{\partial\varphi }}{{\Delta_{1} t}} \biggr\rangle = 0, \\& \biggl\langle \frac{{\partial N}}{{\Delta_{2} s}},\frac{{\partial\varphi }}{{\Delta_{1} t}} \biggr\rangle + \biggl\langle N,\frac{{\partial^{2} \varphi^{\sigma_{2} } }}{{\Delta_{2} {{s }}\Delta_{1} t}} \biggr\rangle = 0, \\& \biggl\langle \frac{{\partial N}}{{\Delta_{2} s}},\frac{{\partial \varphi}}{{\Delta_{1} t}} \biggr\rangle = - \biggl\langle N,\frac{{\partial^{2} \varphi^{\sigma_{1} } }}{{\Delta_{2} {{s }}\Delta_{1} t}} \biggr\rangle = 0. \end{aligned}$$
 □

Theorem 3.6

Let the \(\varphi:\mathbb{T} _{1} \times\mathbb{T} _{2}\subset\Lambda ^{2}\to\Lambda^{3}\) surface be given for the completely differentiable function that is defined as \(\varphi(\mathbb{T} _{1} \times \mathbb{T} _{2} )=M\).

If \(T_{M} (P) = sp \{ { {\frac{{\partial\varphi}}{{\Delta_{1} t}}} |_{p} , {\frac{{\partial\varphi}}{{\Delta_{2} s}}} |_{p} } \}\) and \(\chi(M) = sp \{ {\frac{{\partial\varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}}} \}\), \(S_{\Delta}= \chi(M) \to\chi(M)\) the matrix is as follows according to the figure operator basis \(\{ {\frac{{\partial \varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}}} \}\):
$$ S_{\Delta}= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} {\frac{{ - 1}}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{3} \|\frac{{\partial{ {\varphi}}}}{{\Delta_{2} {{s}}}}\|}}\det(\frac{{\partial ^{2} \varphi^{\sigma_{1}}}}{{\Delta_{1} t^{2} }},\frac{{\partial\varphi }}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}})} & {\frac {{ - 1}}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\| ^{{2}} \|\frac{{\partial\varphi}}{{\Delta_{2} {{s}}}}\|^{2} }}\det(\frac{{\partial^{2} \varphi^{\sigma _{2}}}}{{\Delta_{2} s\Delta_{1} {{t}}}},\frac{{\partial \varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}})} \\ {\frac{{ - 1}}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} \|\frac{{\partial{{\varphi}}}}{{\Delta _{2} {{s}}}}\|}}\det(\frac{{\partial^{2} \varphi^{\sigma _{1}}}}{{\Delta_{1} t\Delta_{2} {{s}}}},\frac{{\partial \varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}})} & {\frac{{ - 1}}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\|\frac{{\partial{{\varphi }}}}{{\Delta_{2} {{s}}}}\|^{3} }}\det(\frac{{\partial^{2} \varphi^{\sigma_{2}}}}{{\Delta_{2} s^{2} }},\frac{{\partial\varphi }}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}})} \end{array}\displaystyle \right ]. $$

Proof

The matrix of the delta shape operators \(S_{\Delta}( {\frac{{\partial\varphi}}{{\Delta_{1} t}}} ) = a\frac{{\partial\varphi}}{{\Delta_{1} t}} + b\frac{{\partial \varphi}}{{\Delta_{2} s}} \) and \(S_{\Delta}( {\frac{{\partial \varphi}}{{\Delta_{2} s}}} ) = c\frac{{\partial \varphi}}{{\Delta_{1} t}} + d\frac{{\partial\varphi}}{{\Delta_{2} s}} \) may be written as
$$ \biggl[ {S_{\Delta}\biggl( {\frac{{\partial\varphi}}{{\Delta_{1} t}}} \biggr),S_{\Delta}\biggl( {\frac{{\partial\varphi}}{{\Delta_{2} s}}} \biggr)} \biggr] = \biggl[ {\frac{{\partial\varphi}}{{\Delta_{1} t}} \frac{{\partial\varphi}}{{\Delta_{2} s}}} \biggr]\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} a & b \\ c & d \end{array}\displaystyle \right ]. $$
Then we get
$$ S_{\Delta}= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} a & b \\ c & d \end{array}\displaystyle \right ]. $$
If we take multiplication of \(S_{\Delta}( {\frac{{\partial \varphi}}{{\Delta_{1} t}}} )\) and \(S_{\Delta}( {\frac{{\partial\varphi}}{{\Delta_{2} s}}} )\) by \(\frac{{\partial\varphi}}{{\Delta_{1} t}}\) and \(\frac{{\partial \varphi}}{{\Delta_{2} s}}\), respectively, we find the a, b, c, d components of the S matrix. We have
$$\begin{aligned}& \begin{aligned} \biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}}\biggr), \frac {{\partial\varphi}}{{\Delta_{1} t}} \biggr\rangle &= \biggl\langle a\frac{{\partial\varphi }}{{\Delta_{1} t}} + b \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac {{\partial\varphi}}{{\Delta_{1} t}} \biggr\rangle \\ &= a \biggl\langle \frac{{\partial \varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{1} t}} \biggr\rangle + b \biggl\langle \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac{{\partial \varphi}}{{\Delta_{1} t}} \biggr\rangle , \end{aligned} \\& \begin{aligned} \biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}}\biggr), \frac {{\partial\varphi}}{{\Delta_{2} s}} \biggr\rangle &= \biggl\langle a\frac{{\partial\varphi }}{{\Delta_{1} t}} + b \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac {{\partial\varphi}}{{\Delta_{2} s}} \biggr\rangle \\ &= a \biggl\langle \frac{{\partial \varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}} \biggr\rangle + b \biggl\langle \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac{{\partial \varphi}}{{\Delta_{2} s}} \biggr\rangle , \end{aligned} \\& \begin{aligned} \biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{2} s}}\biggr), \frac {{\partial\varphi}}{{\Delta_{1} t}} \biggr\rangle &= \biggl\langle a\frac{{\partial\varphi }}{{\Delta_{1} t}} + b \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac {{\partial\varphi}}{{\Delta_{1} t}} \biggr\rangle \\ &= a \biggl\langle \frac{{\partial \varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{1} t}} \biggr\rangle + b \biggl\langle \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac{{\partial \varphi}}{{\Delta_{1} t}} \biggr\rangle , \end{aligned} \\& \begin{aligned} \biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{2} s}}\biggr), \frac {{\partial\varphi}}{{\Delta_{2} s}} \biggr\rangle &= \biggl\langle a\frac{{\partial\varphi }}{{\Delta_{1} t}} + b \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac {{\partial\varphi}}{{\Delta_{2} s}} \biggr\rangle \\ &= a \biggl\langle \frac{{\partial \varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}} \biggr\rangle + b \biggl\langle \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac{{\partial \varphi}}{{\Delta_{2} s}} \biggr\rangle . \end{aligned} \end{aligned}$$
Here, from [18], since \(E=\langle \frac{{\partial \varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{1} t}} \rangle \), \(F = \langle \frac{{\partial\varphi}}{{\Delta_{1} t}},\frac{{\partial \varphi}}{{\Delta_{2} s}} \rangle \), \(G = \langle \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac{{\partial \varphi}}{{\Delta_{2} s}}\rangle \) and if the above equations are made use of we have the following results:
$$\begin{aligned}& \biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}}\biggr), \frac {{\partial\varphi}}{{\Delta_{1} t}} \biggr\rangle = aE + bF, \\& \biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}}\biggr), \frac {{\partial\varphi}}{{\Delta_{2} s}} \biggr\rangle = aF + bG, \\& \biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{2} s}}\biggr), \frac {{\partial\varphi}}{{\Delta_{1} t}} \biggr\rangle = cE + dF, \\& \biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{2} s}}\biggr), \frac {{\partial\varphi}}{{\Delta_{2} s}} \biggr\rangle = cF + dG, \end{aligned}$$
are obtained. Then for this linear equation system to have a solution, one needs
$$ \left \vert { \textstyle\begin{array}{@{}c@{\quad}c@{}} E & F \\ F & G \end{array}\displaystyle } \right \vert = EG - F^{2}. $$
Here, the coefficient matrix determinant must be zero. In addition, since the vector product of the parameter curves of the M surface gives the following result:
$$\begin{aligned} \biggl\| \frac{{\partial\varphi}}{{\Delta_{1} t}} \times\frac {{\partial\varphi}}{{\Delta_{2} s}}\biggr\| ^{2} =&\biggl\langle \frac{{\partial \varphi}}{{\Delta_{1} t}} \times\frac{{\partial\varphi}}{{\Delta_{2} s}},\frac{{\partial\varphi}}{{\Delta_{1} t}} \times \frac{{\partial \varphi}}{{\Delta_{2} s}} \biggr\rangle \\ =& \left \vert { \textstyle\begin{array}{@{}c@{\quad}c@{}} { \langle \frac{{\partial\varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi }}{{\Delta_{1} t}} \rangle } & { \langle \frac{{\partial\varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}} \rangle } \\ { \langle \frac{{\partial\varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi }}{{\Delta_{2} s}} \rangle } & { \langle \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac{{\partial\varphi}}{{\Delta_{2} s}} \rangle } \end{array}\displaystyle } \right \vert \\ =& \left \vert { \textstyle\begin{array}{@{}c@{\quad}c@{}} E & F \\ F & G \end{array}\displaystyle } \right \vert = EG - F^{2} \ne0, \end{aligned}$$
there is only one solution for the a, b, c, d unknowns of the above-given linear equation system. When we write the vectors \(S_{\Delta}(\frac{{\partial\varphi}}{{\Delta_{1} t}})\) and \(S_{\Delta}(\frac{{\partial\varphi}}{{\Delta_{2} s}})\), which are on the left side on this equation system as the connection of the vertical vector area, the following equations are obtained:
$$\begin{aligned}& S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}}\biggr) = \Delta_{\frac {{\partial\varphi}}{{\Delta_{1} t}}} N = \frac{{\partial N}}{{\Delta _{1} t}} , \\& S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{2} s}}\biggr) = \Delta_{\frac {{\partial\varphi}}{{\Delta_{2} s}}} N = \frac{{\partial N}}{{\Delta _{2} s}}. \end{aligned}$$
For the \(\{ {V_{1} ,V_{2} } \}\) orthonormal basis system, the basis vectors are defined with
$$V_{1}=\frac{{\frac{{\partial\varphi}}{{\Delta_{1} t}}}}{{\| \frac{{\partial\varphi}}{{\Delta_{1} t}}\|}} \quad \mbox{and}\quad V_{2} = \frac{{\frac{{\partial\varphi}}{{\Delta_{2} s}}}}{{\| \frac{{\partial\varphi}}{{\Delta_{2} s}}\|}}, $$
the delta shape operators are
$$\begin{aligned}& S_{\Delta}(V_{1}) = c_{1} V_{1} + c_{2} V_{2}, \\& S_{\Delta}(V_{2}) = c_{3} V_{1} + c_{4} V_{2}. \end{aligned}$$
If the matrix notation is
$$ S_{\Delta}= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} {c_{1}} & {c_{3}} \\ {c_{2}} & {c_{4}} \end{array}\displaystyle \right ], $$
the elements of this matrix are calculated with the following formulas:
$$\begin{aligned}& c_{1}=\bigl\langle S_{\Delta}(V_{1} ),V_{1}\bigr\rangle , \qquad {{c}}_{{3}}=\bigl\langle S_{\Delta}(V_{1} ),V_{1} \bigr\rangle , \\& c_{2}=\bigl\langle S_{\Delta}(V_{1} ),V_{2} \bigr\rangle , \qquad {{c}}_{{4}}=\bigl\langle S_{\Delta}(V_{1} ),V_{2} \bigr\rangle . \end{aligned}$$
Thus, the \(c_{1}\) coefficient is
$$\begin{aligned} c_{1} =&\bigl\langle S_{\Delta}(V_{1} ),V_{1}\bigr\rangle =\biggl\langle S_{\Delta}\biggl( \frac{{\frac{{\partial \varphi}}{{\Delta_{1} t}}}}{{\|\frac{{\partial \varphi}}{{\Delta_{1} t}}\|}}\biggr),\frac{{\frac{{\partial \varphi}}{{\Delta_{1} t}}}}{{\| \frac{{\partial\varphi}}{{\Delta_{1} t}}\|}} \biggr\rangle \\ =& \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} }}\biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}} \biggr),\frac{{\partial\varphi}}{{\Delta_{1} t}} \biggr\rangle \\ =&\frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} }} \biggl\langle \frac{{\partial N}}{{\Delta_{1} t}},\frac{{\partial \varphi}}{{\Delta_{1} t}}\biggr\rangle \\ =& \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} }} \biggl[ { - \biggl\langle N,\frac{{\partial\varphi^{\sigma_{1} } }}{{\Delta_{1} t^{2} }} \biggr\rangle } \biggr] = - \frac{1}{{\|\frac {{\partial\varphi}}{{\Delta_{1} t}}\|^{2} }} \biggl\langle N,\frac {{\partial\varphi^{\sigma_{1} } }}{{\Delta_{1} t^{2} }}\biggr\rangle \\ =& - \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} }} \biggl\langle \frac{{\frac{{\partial\varphi}}{{\Delta_{1} t}} \times\frac{{\partial\varphi}}{{\Delta_{2} s}}}}{{\|\frac {{\partial\varphi}}{{\Delta_{1} t}} \times\frac{{\partial\varphi }}{{\Delta_{2} s}}\|}},\frac{{\partial\varphi^{\sigma_{1} } }}{{\Delta_{1} t^{2} }} \biggr\rangle \\ =& - \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} }}\frac{1}{{\|\frac{{\partial\varphi }}{{\Delta_{1} t}} \times\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl\langle \frac{{\partial\varphi}}{{\Delta_{1} t}} \times \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac{{\partial\varphi ^{\sigma_{1} } }}{{\Delta_{1} t^{2} }} \biggr\rangle \\ =& - \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} }}\frac{1}{{\|\frac{{\partial\varphi }}{{\Delta_{1} t}}\|\cdot\|\frac{{\partial\varphi }}{{\Delta_{2} s}}\|\cdot\sin90^{\circ}}} \biggl( {\frac{{\partial \varphi}}{{\Delta_{1} t}}, \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac{{\partial\varphi^{\sigma_{1} } }}{{\Delta_{1} t^{2} }}} \biggr) \\ =& - \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{3} \cdot\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl( {\frac{{\partial\varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}}, \frac{{\partial\varphi ^{\sigma_{1} } }}{{\Delta_{1} t^{2} }}} \biggr), \end{aligned}$$
the \(c_{2}\) coefficient is
$$\begin{aligned} c_{2} =& \bigl\langle S_{\Delta}(V_{1} ),V_{2} \bigr\rangle \\ =& \biggl\langle S_{\Delta}\biggl(\frac{{\frac{{\partial\varphi}}{{\Delta_{1} t}}}}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\| }}\biggr), \frac{{\frac{{\partial\varphi}}{{\Delta_{2} s}}}}{{\| \frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggr\rangle \\ =& \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|}}\cdot \frac{1}{{\|\frac{{\partial\varphi }}{{\Delta_{2} s}}\|}} \biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi }}{{\Delta_{1} t}}\biggr),\frac{{\partial\varphi}}{{\Delta_{2} s}} \biggr\rangle \\ =& \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}}\cdot \biggl\langle \frac{{\partial N}}{{\Delta_{1} t}},\frac{{\partial \varphi}}{{\Delta_{2} s}} \biggr\rangle \\ =& \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl[ {-\biggl\langle N,\frac{{\partial^{2} \varphi^{\sigma_{1} } }}{{\Delta_{1} t\cdot \Delta_{2} s}} \biggr\rangle } \biggr] \\ =& - \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl[{\biggl\langle \frac{{\frac{{\partial\varphi}}{{\Delta_{1} t}} \times\frac{{\partial\varphi}}{{\Delta_{2} s}}}}{{\| \frac{{\partial\varphi}}{{\Delta_{1} t}} \times\frac{{\partial \varphi}}{{\Delta_{2} s}}\|}}, \frac{{\partial^{2} \varphi ^{\sigma_{1} } }}{{\Delta_{1} t\Delta_{2} s}} \biggr\rangle } \biggr] \\ =& - \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|\|\frac{{\partial\varphi}}{{\Delta_{1} t}} \times\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl\langle \frac{{\partial\varphi}}{{\Delta_{1} t}} \times \frac{{\partial \varphi}}{{\Delta_{2} s}},\frac{{\partial^{2} \varphi^{\sigma_{1} } }}{{\Delta_{1} t\Delta_{2} s}} \biggr\rangle \\ =& - \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} \cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|^{2} \sin90^{\circ}}} \biggl( {\frac{{\partial\varphi }}{{\Delta_{1} t}}\frac{{\partial\varphi}}{{\Delta_{2} s}} \frac{{\partial^{2} \varphi^{\sigma_{1} } }}{{\Delta_{1} t\Delta_{2} s}}} \biggr) \\ =& - \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} \cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|^{2} }} \biggl( {\frac{{\partial\varphi}}{{\Delta_{1} t}}\frac{{\partial\varphi}}{{\Delta_{2} s}} \frac {{\partial^{2} \varphi^{\sigma_{1} } }}{{\Delta_{1} t\Delta _{{2}} s}}} \biggr), \end{aligned}$$
the \(c_{3}\) coefficient is
$$\begin{aligned} c_{3} =& \bigl\langle S_{\Delta}(V_{2} ),V_{1} \bigr\rangle = \biggl\langle S_{\Delta}\biggl( \frac{{\frac{{\partial\varphi}}{{\Delta_{2} s}}}}{{\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\| }}\biggr),\frac{{\frac{{\partial\varphi}}{{\Delta_{1} t}}}}{{\| \frac{{\partial\varphi}}{{\Delta_{1} t}}\|}} \biggr\rangle \\ =&\frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{2} s}} \biggr),\frac{{\partial\varphi}}{{\Delta_{1} t}} \biggr\rangle \\ =& \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl\langle \frac{{\partial N}}{{\Delta_{2} s}},\frac{{\partial\varphi}}{{\Delta_{1} t}} \biggr\rangle \\ =& \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl[ {-\biggl\langle N,\frac{{\partial^{2} \varphi^{\sigma_{2} } }}{{\Delta_{2} s\cdot \Delta_{1} t}} \biggr\rangle } \biggr] \\ =&-\frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl[ { \biggl\langle \frac{{\frac{{\partial\varphi}}{{\Delta _{1} t}} \times\frac{{\partial\varphi}}{{\Delta_{2} s}}}}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}} \times \frac{{\partial\varphi}}{{\Delta_{2} s}}\| }}, \frac{{\partial^{2} \varphi^{\sigma_{2} } }}{{\Delta_{2} s\cdot \Delta _{1} t}} \biggr\rangle } \biggr] \\ =&-\frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\| \|\frac{{\partial\varphi}}{{\Delta_{1} t}} \times\frac {{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl\langle \frac{{\partial \varphi}}{{\Delta_{1} t}} \times \frac{{\partial\varphi}}{{\Delta_{2} s}},\frac{{\partial^{2} \varphi^{\sigma_{2} } }}{{\Delta_{2} s\Delta_{1} t}} \biggr\rangle \\ =&-\frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} \cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|^{2} \sin90^{\circ}}} \biggl( {\frac{{\partial\varphi }}{{\Delta_{1} t}}\frac{{\partial\varphi}}{{\Delta_{2} s}} \frac{{\partial^{2} \varphi^{\sigma_{2} } }}{{\Delta_{2} {{s }}\Delta_{1} t}}} \biggr) \\ =&-\frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|^{2} \cdot \|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} }} \biggl( {\frac{{\partial\varphi}}{{\Delta_{1} t}}\frac{{\partial\varphi}}{{\Delta_{2} s}} \frac {{\partial^{2} \varphi^{\sigma_{2} } }}{{\Delta_{2} {{s }}\Delta _{{1}} t}}} \biggr), \end{aligned}$$
and the \(c_{4}\) coefficient is
$$\begin{aligned} c_{4} =&\bigl\langle S_{\Delta}(V_{2} ),V_{2} \bigr\rangle = \biggl\langle S_{\Delta}\biggl( \frac{{\frac{{\partial\varphi}}{{\Delta_{2} s}}}}{{\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\| }}\biggr),\frac{{\frac{{\partial\varphi}}{{\Delta_{2} s}}}}{{\| \frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggr\rangle \\ =& \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|\cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl\langle S_{\Delta}\biggl(\frac{{\partial\varphi}}{{\Delta_{2} s}} \biggr),\frac{{\partial\varphi}}{{\Delta_{2} s}} \biggr\rangle \\ =& \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|\cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}}\cdot \biggl\langle \frac{{\partial N}}{{\Delta_{2} s}},\frac{{\partial \varphi}}{{\Delta_{2} s}} \biggr\rangle \\ =& \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|\cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl[ { - \biggl\langle N,\frac{{\partial\varphi^{\sigma_{2} } }}{{\Delta_{2} s}} \biggr\rangle } \biggr] \\ =& - \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|\cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|}} \biggl[ { \biggl\langle \frac{{\frac{{\partial\varphi}}{{\Delta _{1} t}} \times\frac{{\partial\varphi}}{{\Delta_{2} s}}}}{{\| \frac{{\partial\varphi}}{{\Delta_{1} t}} \times\frac{{\partial \varphi}}{{\Delta_{2} s}}\|}}, \frac{{\partial\varphi^{\sigma _{2} } }}{{\Delta_{2} s}} \biggr\rangle } \biggr] \\ =& - \frac{1}{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|^{3} \cdot \sin90^{\circ}}\biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}}\frac{{\partial\varphi}}{{\Delta_{2} s}} \frac {{\partial\varphi^{\sigma_{2} } }}{{\Delta_{2} s}}\biggr) \\ =& - \frac{1}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\cdot \|\frac{{\partial\varphi}}{{\Delta_{2} s}}\|^{3} }} \biggl( {\frac{{\partial\varphi}}{{\Delta_{1} t}}\frac{{\partial\varphi}}{{\Delta_{2} s}} \frac {{\partial^{2} \varphi^{\sigma_{2} } }}{{\Delta_{2} s}}} \biggr). \end{aligned}$$
Finally, if we make use of the matrix components of the delta shape operator:
$$ S_{\Delta}= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} {\frac{{-1}}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{{3}} \|\frac{{\partial{ {\varphi}}}}{{\Delta_{2} {{s}}}}\|}}\det(\frac{{\partial ^{2} \varphi^{\sigma_{1}}}}{{\Delta_{1} t^{2} }},\frac{{\partial\varphi }}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}})} & {\frac {{ - 1}}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\| ^{{2}} \|\frac{{\partial\varphi}}{{\Delta_{2} {{s}}}}\|^{2} }}\det(\frac{{\partial^{2} \varphi^{\sigma _{2}}}}{{\Delta_{2} s\Delta_{1} {{t}}}},\frac{{\partial \varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}})} \\ {\frac{{-1}}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|^{2} \|\frac{{\partial{{\varphi}}}}{{\Delta _{2} {{s}}}}\|}}\det(\frac{{\partial^{2} \varphi^{\sigma _{1}}}}{{\Delta_{1} t\Delta_{2} {{s}}}},\frac{{\partial \varphi}}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}})} & {\frac{{ - 1}}{{\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|\|\frac{{\partial{{\varphi }}}}{{\Delta_{2} {{s}}}}\|^{3} }}\det(\frac{{\partial^{2} \varphi^{\sigma_{2}}}}{{\Delta_{2} s^{2} }},\frac{{\partial\varphi }}{{\Delta_{1} t}},\frac{{\partial\varphi}}{{\Delta_{2} s}})} \end{array}\displaystyle \right ]. $$
 □

Theorem 3.7

On the surface \(\varphi:\pi_{1} \times\pi_{2} \to\Lambda^{3}\), when \(\pi_{1} = \pi_{2} = \pi\), the result will be \(\sigma_{1} = \sigma_{2} = \sigma\), and then
$$ \frac{{\partial^{2} \varphi^{\sigma_{1} } }}{{\Delta_{1} t\Delta_{2} s}} = \frac{{\partial^{2} \varphi^{\sigma_{2} } }}{{\Delta_{2} s\Delta_{1} t}} = \frac{{\partial^{2} \varphi^{\sigma}}}{{\Delta_{1} t\Delta_{2} s}}. $$
Thus, \(c_{2}=c_{3}\) is found in the delta shape operator.

Theorem 3.8

For the \(\pi_{1} \ne\pi_{2}\) situation, the matrix to the \(S_{\Delta}\) delta shape operator corresponds is not symmetrical; however, for the \(\pi_{1}=\pi_{2}\) situation, the matrix is symmetrical.

4 Numeric examples

Example 1

Let us calculate the matrix representation of the delta shape operator of the surface \(\varphi(t,s)=(t,s^{2} ,t^{2} )\). Here, the partial derivations of the \(\varphi(t,s)\) surface \(\varphi_{t}=(1,0,2t)\), \(\varphi_{s}=(0,2s,0)\), \(\varphi_{ts}=(0,0,0)\), \(\varphi_{st}= (0,0,0)\), \(\varphi_{tt}=(0,0,2)\), \(\varphi_{ss}=(0,2,0)\) are obtained. Also, we need the equations \(\Vert {\varphi_{t} } \Vert =\sqrt{1 + 4t^{2} }\), \(\Vert {\varphi_{s} } \Vert = 2s\), \(\det(\varphi_{tt} ,\varphi_{t}, \varphi_{s} ) = 4s\), and \(\det(\varphi_{ts} ,\varphi_{t} \varphi_{s} ) = 0\), \(\det(\varphi_{ss} ,\varphi_{t}, \varphi_{s} )=0\) for the matrix components. From these equations, we obtain the matrix of the delta shape operator on Euclidean space without time scales as in the following equation:
$$ S = \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} {\frac{2}{{(\sqrt{1 + 4t^{2} } )^{3} }}} & 0 \\ 0 & 0 \end{array}\displaystyle \right ] . $$
(4.1)
Now, we will try to calculate the delta shape operator’s matrix representation of \(\varphi(t,s)\), the surface with using time scales \(\mathbb{T}_{1} \times\mathbb{T}_{2}=\mathbb{R} \times \mathbb{R}\). The partial derivations of the \(\varphi(t,s)\) surface on time scales
$$\begin{aligned}& \frac{{\partial\varphi}}{{\Delta_{1} t}} = \bigl(1,0,\sigma_{1} (t) + t\bigr), \qquad \frac{{\partial\varphi}}{{\Delta_{2} s}} = \bigl(0,\sigma _{2} (s) + s,0\bigr), \\& \frac{{\partial^{2} \varphi}}{{\Delta_{1} t\cdot \Delta_{2} s}} = (0,0,0),\qquad \frac{{\partial^{2} \varphi}}{{\Delta_{2} s\cdot \Delta _{1} t}} = (0,0,0), \\& \frac{{\partial^{2} \varphi^{\sigma_{1}}}}{{\Delta_{1} t^{2} }} = \biggl(0,0,\frac{{\partial\sigma_{1} (t)}}{{\Delta_{1} t}} + 1\biggr),\qquad \frac{{\partial^{2} \varphi^{\sigma_{2} } }}{{\Delta_{2} s^{2} }} = \biggl(0,\frac{{\partial\sigma_{2} (s)}}{{\Delta_{2} s}} + 1,0\biggr), \end{aligned}$$
are obtained, and here let \(\sigma_{1}\) and \(\sigma_{2}\) have delta differentiability. Also, we get the norms
$$\biggl\Vert {\frac{{\partial\varphi}}{{\Delta_{1} t}}} \biggr\Vert = \sqrt{1 + \bigl( \sigma_{1} (t) + t\bigr)^{2} }, \qquad \biggl\Vert { \frac{{\partial\varphi}}{{\Delta_{2} s}}} \biggr\Vert = \sqrt {\bigl(\sigma_{2} (s) + s \bigr)^{2} } = \sigma_{2} (s) + s, $$
and the determinants
$$\begin{aligned}& \det\biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}},\frac{{\partial \varphi}}{{\Delta_{2} s}},\frac{{\partial^{2} \varphi^{\sigma_{1} } }}{{\Delta_{1} t^{2} }}\biggr) = \bigl[ {\sigma_{2} (s) + s} \bigr]\cdot \biggl[ {\frac{{\partial\sigma_{1} (t)}}{{\Delta_{1} t}} + 1} \biggr] , \\& \det\biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}},\frac{{\partial \varphi}}{{\Delta_{2} s}},\frac{{\partial^{2} \varphi^{\sigma_{2} } }}{{\Delta_{2} s\cdot\Delta_{1} t}}\biggr)= \det\biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}},\frac{{\partial \varphi}}{{\Delta_{2} s}},\frac{{\partial^{2} \varphi^{\sigma1} }}{{\Delta_{1} t\cdot\Delta_{2} s}}\biggr) \\& \hphantom{\det\biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}},\frac{{\partial \varphi}}{{\Delta_{2} s}},\frac{{\partial^{2} \varphi^{\sigma_{2} } }}{{\Delta_{2} s\cdot\Delta_{1} t}}\biggr)}= \det \biggl(\frac{{\partial\varphi}}{{\Delta_{1} t}},\frac{{\partial \varphi}}{{\Delta_{2} s}},\frac{{\partial^{2} \varphi^{\sigma2} }}{{\Delta_{2} s^{2} }}\biggr) = 0 \end{aligned}$$
for the matrix components. From these equations we get
$$ S_{\Delta}= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} {\frac{{[s + s][\frac{{\partial(t)}}{{\Delta_{1} t}} + 1]}}{{(\sqrt {1 + (t + t)^{2} } )^{3}\cdot(s + s)}}} & 0 \\ 0 & 0 \end{array}\displaystyle \right ] , $$
(4.2)
which is the matrix of the delta shape operator on the time scales. Note that if we take the time scale as \(\mathbb{T}_{1} \times\mathbb{T}_{2} = \mathbb{R} \times\mathbb{R}\), the delta shape operator matrix on time scales \(S_{\Delta}\) in equation (4.2) will be equal to the shape operator matrix S on Euclidean space without time scales in equation (4.1) as follows:
$$S_{\Delta}= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} {\frac{2}{{(\sqrt{1 + 4t^{2} } )^{3} }}} & 0 \\ 0 & 0 \end{array}\displaystyle \right ]. $$
Here, for \(\mathbb{T}_{1} \times\mathbb{T}_{2} = \mathbb{R} \times\mathbb{R}\) we have \(\sigma_{1} (t) = t\), \(\sigma_{{2}} (s) = s\). Thus we may find the indiscrete shape operator from the same matrix of the delta shape operator. In this easier and smoother method we have only one delta shape operator matrix included in both the discrete and the indiscrete cases.
If we take the time scale as \(\mathbb{T}_{1} \times \mathbb{T}_{2} = \mathbb{Z} \times\mathbb{Z}\) for the discrete case, the forward jump operator of the set \(\mathbb{Z}\) is \(\sigma_{1} (t)=t+1\) and \(\sigma_{2} (s)=s+1\). Hence, the delta shape operator matrix
$$S_{\Delta}= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} {\frac{-2}{{(\sqrt{1 + (2t+1)^{2} } )^{3} }}} & 0 \\ 0 & 0 \end{array}\displaystyle \right ] $$
is obtained for \(\mathbb{T}_{1} \times\mathbb{T}_{2} = \mathbb{Z} \times\mathbb{Z}\).

Example 2

The parametric equation of the plane which is passing through the point \(A(2,-1,3)\) and parallel to the vectors \(\vec{u}=(1,1,1)\) and \(\vec{v}=(3,2,4)\) is obtained: \(\varphi(t,s)=(2+t+3s,-1+t+4s,3+t+4s)\). We can calculate the delta shape operator for the time scales \(\mathbb{R} \times\mathbb{R}\) and \(\mathbb{Z} \times\mathbb{Z}\). The partial derivatives and their norms are \(\frac{{\partial\varphi}}{{\Delta _{1} t}}=(1,1,1)\), \(\frac{{\partial\varphi}}{{\Delta_{2} s}}=(3,4,4)\), \(\|\frac{{\partial\varphi}}{{\Delta_{1} t}}\|=\sqrt{3}\), \(\|\frac{{\partial \varphi}}{{\Delta_{2} s}}\|=\sqrt{41}\). The partial derivatives are independent from \(\sigma_{1}\) and \(\sigma_{2}\). Hence \(\frac{{\partial^{2} \varphi}}{{\Delta_{1} t \Delta _{2} s}}=\frac{{\partial^{2} \varphi}}{{\Delta_{2} s \Delta_{1} t}}=\frac{{\partial^{2} \varphi^{\sigma_{1}}}}{{\Delta_{1} t^{2}}}=\frac{{\partial^{2} \varphi^{\sigma_{2}}}}{{\Delta_{2} s^{2}}}=(0,0,0)\). Thus for both time scales \(\mathbb{T}_{1} \times \mathbb{T}_{2}=\mathbb{R} \times\mathbb{R}\) and \(\mathbb{T}_{1} \times\mathbb{T}_{2}=\mathbb{Z} \times\mathbb{Z}\), the delta shape operator can be found to be the zero matrix, i.e. \(S_{\Delta}=[0]\). The geometric interpretation shows that the shape operator of a plane which has a constant normal vector should be zero for both the discrete and the indiscrete cases.

Now, in the following example we will examine the delta shape operator of any discrete asymptotic weak Chebyshev net which is an example in [9].

Example 3

The discrete surfaces are defined as maps \({\mathbf{r}}:\varepsilon_{1}\mathbb{Z}\times\varepsilon_{2}\mathbb {Z}\rightarrow\mathbb{R}^{3}\) such that \(\Delta_{1} \mathbf{r}\) and \(\Delta_{2} \mathbf{r}\) are linearly independent. A discrete asymptotic weak Chebyshev net (discrete K-surface) is an immersion r such that
$$\begin{aligned}& \Delta_{1} \mathbf{r}\cdot \Delta_{1} \mathbf{n}=\Delta_{2} \mathbf{r}\cdot \Delta_{2} \mathbf{n}=0 , \end{aligned}$$
(4.3)
$$\begin{aligned}& \Delta_{1} \mathbf{r}\cdot \Delta_{1} \mathbf{r}=E,\qquad \Delta_{2} \mathbf{r}\cdot \Delta_{2} \mathbf{r}=G,\qquad \Delta_{1} \mathbf{r}\cdot \Delta_{2} \mathbf{r}=F \end{aligned}$$
(4.4)
correspond to \(E=G=1\). Also, for any discrete asymptotic weak Chebyshev net, the Gaussian curvature
$$K=-\frac{(\Delta_{1} \mathbf{n}\cdot \Delta_{2} \mathbf{r})(\Delta_{2} \mathbf{n}\cdot \Delta_{1} \mathbf{r})}{(\Delta_{1} \mathbf{r})^{2}\cdot (\Delta _{2} \mathbf{r})^{2}-(\Delta_{1} \mathbf{r}\Delta_{2} \mathbf{r})^{2}} $$
is constant [9].
In this example, we will try to calculate the delta shape operator of the discrete asymptotic weak Chebyshev net. If we take the partial derivatives as \(\frac{\partial\varphi}{\Delta_{1} t}=\Delta_{1} \mathbf{r}\) and \(\frac{\partial\varphi}{\Delta_{2} s}=\Delta_{2} \mathbf{r}\) in the delta shape operator matrix, the delta shape operator matrix of discrete surface will be
$$ S_{\Delta}= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} {\frac{-\det(\Delta_{11} \mathbf{r}^{\sigma_{1}},\Delta_{1} \mathbf {r},\Delta_{2} \mathbf{r})}{{\|\Delta_{1} \mathbf{r}\| ^{3}}{\|\Delta_{2} \mathbf{r}\|}}} & {\frac{-\det(\Delta _{21} \mathbf{r}^{\sigma_{2}},\Delta_{1} \mathbf{r},\Delta_{2} \mathbf {r})}{{\|\Delta_{1} \mathbf{r}\|^{2}}{\|\Delta_{2} \mathbf{r}\|^{2}}}} \\ {\frac{-\det(\Delta_{12} \mathbf{r}^{\sigma_{1}},\Delta_{1} \mathbf {r},\Delta_{2} \mathbf{r})}{{\|\Delta_{1} \mathbf{r}\| ^{2}}{\|\Delta_{2} \mathbf{r}\|^{2}}}} & {\frac{-\det (\Delta_{22} \mathbf{r}^{\sigma_{2}},\Delta_{1} \mathbf{r},\Delta_{2} \mathbf{r})}{{\|\Delta_{1} \mathbf{r}\|}{\| \Delta_{2} \mathbf{r}\|^{3}}}} \end{array}\displaystyle \right ]. $$
The delta shape operator of the discrete asymptotic weak Chebyshev net
$$ S_{\Delta}= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} 0 & {\frac{-\det(\Delta_{21} \mathbf{r}^{\sigma_{2}},\Delta_{1} \mathbf {r},\Delta_{2} \mathbf{r})}{{\|\Delta_{1} \mathbf{r}\| ^{2}}{\|\Delta_{2} \mathbf{r}\|^{2}}}} \\ {\frac{- \det(\Delta_{12} \mathbf{r}^{\sigma_{1}},\Delta_{1} \mathbf {r},\Delta_{2} \mathbf{r})}{{\|\Delta_{1} \mathbf{r}\| ^{2}}{\|\Delta_{2} \mathbf{r}\|^{2}}}} & 0 \end{array}\displaystyle \right ] $$
is obtained using equations (4.3) and (4.4). In other words the delta shape operator of the discrete asymptotic weak Chebyshev net can be written as
$$ S_{\Delta}= \left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} \langle S(V_{1}),V_{1}\rangle &\langle S(V_{2}),V_{1}\rangle \\ \langle S(V_{1}),V_{2}\rangle &\langle S(V_{2}),V_{2}\rangle \end{array}\displaystyle \right ]= \frac{1}{\|\Delta_{1}\mathbf{r}\|\| \Delta_{2} \mathbf{r}\|}\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} 0&\Delta_{2} \mathbf {n}\cdot \Delta_{1} \mathbf{r} \\ \Delta_{1}\mathbf {n}\cdot \Delta_{2} \mathbf{r}&0 \end{array}\displaystyle \right ] $$
from the definition of the matrix coefficients \(c_{1}\), \(c_{2}\), \(c_{3}\), \(c_{4}\). Here, we know that
$$ \|\Delta_{1}\mathbf{r}\|\|\Delta_{2} \mathbf{r}\|=\| \Delta_{1}\mathbf{r}\times\Delta _{2}\mathbf{r} \|^{2}=EG-F^{2}=(\Delta_{1}\mathbf{r})^{2}( \Delta _{2}\mathbf{r})^{2}-\Delta_{1}\mathbf{r} \Delta_{2}\mathbf{r}. $$
Thus we can obtain another representation of the delta shape operator for the discrete asymptotic weak Chebyshev net:
$$ \frac{1}{(\Delta_{1}\mathbf{r})^{2}(\Delta_{2}\mathbf{r})^{2}-\Delta _{1}\mathbf{r}\Delta_{2}\mathbf{r}}\left [ \textstyle\begin{array}{@{}c@{\quad}c@{}} 0&\Delta_{2} \mathbf {n}\cdot\Delta_{1} \mathbf{r} \\ \Delta_{1}\mathbf {n}\cdot\Delta_{2} \mathbf{r}&0 \end{array}\displaystyle \right ]. $$
The Gaussian curvature is equal to the determinant of the shape operator, i.e.
$$ K=\det S_{\Delta}=\frac{-(\Delta_{1}\mathbf{n}\cdot\Delta_{2}\mathbf{r})(\Delta _{2}\mathbf{n}\cdot\Delta_{1}\mathbf{r})}{(\Delta_{1}\mathbf{r})^{2}(\Delta _{2}\mathbf{r})^{2}-\Delta_{1}\mathbf{r}\Delta_{2}\mathbf{r}}, $$
as can be found similarly in [9].

5 Conclusion

In this paper we obtained the matrix representation of the shape operator on time scales. The advantage is the fact that it is an easier and smoother procedure to use the shape operator in discrete differential geometry and the time scale analysis. Therefore it is possible to use a unique equation of the shape operator for both discrete and continuous geometry. We hope that our study will be useful for the literature of the geometry on time scales.

Declarations

Acknowledgements

The author wish to thank the referees for their careful corrections and extensive comments.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematics, Faculty of Sciences, Bitlis Eren University, Bitlis, 13000, Turkey

References

  1. Hilger, S: Analysis on measure chains - a unified approach to continuous and discrete calculus. Results Math. 18, 18-56 (1990) MATHMathSciNetView ArticleGoogle Scholar
  2. Aulbach, B, Hilger, S: Linear dynamic processes with inhomogeneous time scale. In: Nonlinear Dynamics and Quantum Dynamical Systems. Akademie Verlag, Berlin (1990) Google Scholar
  3. Ahlbrandt, CD, Bohner, M, Ridenhour, J: Hamiltonian systems on time scales. J. Math. Anal. Appl. 250, 561-578 (2000) MATHMathSciNetView ArticleGoogle Scholar
  4. Bohner, M, Peterson, A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser Boston, Boston (2001) View ArticleGoogle Scholar
  5. Guseinov, GS, Ozyilmaz, E: Tangent lines of generalized regular curves parametrized by time scales. Turk. J. Math. 25(4), 553-562 (2001) MATHMathSciNetGoogle Scholar
  6. Hoffacker, J: Basic partial dynamic equations on time scales. J. Differ. Equ. Appl. 8(4), 307-319 (2002) MATHMathSciNetView ArticleGoogle Scholar
  7. Bohner, M, Guseinov, GS: Partial differentiation on time scale. Dyn. Syst. Appl. 12, 351-379 (2003) MathSciNetGoogle Scholar
  8. Bohner, M, Peterson, A: Advances in Dynamic Equations on Time Scales. Birkhäuser Boston, Boston (2003) MATHView ArticleGoogle Scholar
  9. Cieslinski, JL: Pseudospherical surfaces on time scales: a geometric definition and the spectral approach. J. Phys. A, Math. Theor. 40(42), 12525-12538 (2007) MATHMathSciNetView ArticleGoogle Scholar
  10. Kusak, H, Caliskan, A: Applications of vector field and derivative mapping on time scale. Hadron. J. 31(6), 617-633 (2008) MATHMathSciNetGoogle Scholar
  11. Aktan, N, Sarikaya, M, Ilarslan, K, Yildirim, H: Directional nabla-derivative and curves on n-dimensional time scales. Acta Appl. Math. 105, 45-63 (2009) MATHMathSciNetView ArticleGoogle Scholar
  12. Pasali Atmaca, S: Normal and osculating planes of Δ-regular curves. Abstr. Appl. Anal. 2010, Article ID 923916 (2010) MathSciNetView ArticleGoogle Scholar
  13. Kusak, H, Caliskan, A: The delta nature connection on time scale. J. Math. Anal. Appl. 375(1), 323-330 (2011) MATHMathSciNetView ArticleGoogle Scholar
  14. Seyyidoglu, MS, Tuncer, Y, Ucar, D, Berktas, MK, Hatipoglu, VF: Forward curvatures on time scales. Abstr. Appl. Anal. 2011, Article ID 805948 (2011) MathSciNetView ArticleGoogle Scholar
  15. Aktan, N, Sarikaya, MZ, Ilarslan, K, Gunaltili, I: Nabla 1-forms on n-dimensional time scales. Int. J. Open Probl. Comput. Sci. Math. 5(3), 96-110 (2012) View ArticleGoogle Scholar
  16. Kusak, H, Caliskan, A: The Lie brackets on time scale. Abstr. Appl. Anal. 2012, Article ID 303706 (2012). doi:10.1155/2012/303706 MathSciNetView ArticleGoogle Scholar
  17. Kusak, H, Caliskan, A: The parameter map and velocity on time scales. Appl. Math. Sci. 7(106), 5279-5286 (2013). doi:10.12988/ams.2013.37356 MathSciNetGoogle Scholar
  18. Pasali Atmaca, S, Akguller, O: Surfaces on times scales and their metric properties. Adv. Differ. Equ. 2013, Article ID 170 (2013) MathSciNetView ArticleGoogle Scholar
  19. O’Neill, B: Elementary Differential Geometry. Academic Press, New York (1966) MATHGoogle Scholar
  20. Kreysig, E: Differential Geometry. Dover, New York (1991) Google Scholar

Copyright

© Kusak Samanci 2015

Advertisement