Generalized Mannheim Curves in Minkowski space-time E_1^4

The arc-length parameter of {C^*} is defined by

for all s \in L. Under the assumptation of

and after calculations for all cases, separately, we obtain

in the Case 1; \,\,\,\,f'\left( s \right) = \sqrt {\left| {1 - \alpha {k_1}\left( s \right)} \right|},

in the Case 2; \,\,\,\,f'\left( s \right) = \sqrt {\left| {1 - \alpha {k_1}\left( s \right)} \right|},

in the Case 3; \,\,\,\,f'\left( s \right) = \sqrt {\left| {1 + \alpha {k_1}\left( s \right)} \right|}.

Thus, we can generalize

for all s \in L.

By differentiating the equation {{\bf{c}}^*}\left( {f\left( s \right)} \right) = {\bf{c}}\left( s \right) + \alpha {{\bf{e}}_2}\left( s \right) with respect to s, it is seen that

So, it is seen that

for s \in L.

The differentiation of the last equation with respect to s is

According to our assumption,

is hold. Thus, the coefficient of {{\bf{e}}_2}\left( s \right) in the equation (3.8) is zero. It is seen from the equation (3.8), {\bf{e}}_2^*\left( {f\left( s \right)} \right) is given by linear combination of {{\bf{e}}_1}\left( s \right),\;\,{{\bf{e}}_3}\left( s \right) and {{\bf{e}}_4}\left( s \right). Also, from equation (3.7), {\bf{e}}_1^*\left( {f\left( s \right)} \right) is a linear combination of {{\bf{e}}_1}\left( s \right) and {{\bf{e}}_3}\left( s \right). Moreover, {C^*} is a special spacelike Frenet curve that the vector {{\bf{e}}_2}\left( s \right) is given by linear combination of {\bf{e}}_3^*\left( {f\left( s \right)} \right) and {\bf{e}}_4^*\left( {f\left( s \right)} \right).

Therefore, the first normal line C lies in the plane generated by the second normal line and third normal line of {C^*} at the corresponding points under a bijection \phi which is defined by \phi \left( {{\bf{c}}\left( s \right)} \right) = {{\bf{c}}^*}\left( {f\left( s \right)} \right). Thus, the proof of the theorem is completed.

Let C be a spacelike Frenet curve in E_1^4 with the Frenet frame field \left\{ {{{\bf{e}}_1},\,{{\bf{e}}_2},\,{{\bf{e}}_3},\,{{\bf{e}}_4}} \right\} and curvature functions {k_1},\,{k_2} and {k_3}. Also, we assume that {C^*} be a spacelike special Frenet curve in E_1^4 with the Frenet frame field \left\{ {{\bf{e}}_1^*,\,{\bf{e}}_2^*,\,{\bf{e}}_3^*,\,{\bf{e}}_4^*} \right\} and curvature functions k_1^*,\,k_2^*\, and k_3^*.

Let the first normal line of C be linearly dependent with the third normal line of {C^*} at the corresponding points C and {C^*}, respectively. Then the parametrization of {C^*} is

for all s \in L. If {s^*} is the arc-length parameter of {C^*}, then

where

and

Moreover, \phi :C \to {C^*} is a bijection given by \phi \left( {{\bf{c}}\left( s \right)} \right) = {{\bf{c}}^*}\left( {f\left( s \right)} \right).

By differentiating the equation (3.9) with respect to s and using Frenet formulas, we have

Since {\bf{e}}_4^*\left( {f\left( s \right)} \right) = \mp {{\bf{e}}_2}\left( s \right), then

that is,

It is easily seen that \alpha is a constant number from the last equation. Thus, hereafter we can denote \alpha \left( s \right) = \alpha, for all s \in L.

From the equation (3.10), we get

where

Then, we rewrite the equation (3.11) as follows;

The differentiation of the last equation with respect to s is

Since \left\langle {f'\left( s \right)k_1^*\left( {f\left( s \right)} \right){\bf{e}}_2^*\left( {f\left( s \right)} \right),\,{\bf{e}}_4^*\left( {f\left( s \right)} \right)} \right\rangle = 0 and {\bf{e}}_4^*\left( {f\left( s \right)} \right) = \mp {{\bf{e}}_2}\left( s \right) for all s \in L, we obtain

is satisfied. Then,

is a non-zero constant number. Thus, from the equation (3.12), it is seen that

where K\left( s \right) = k_1^*\left( {f\left( s \right)} \right) for all s \in L. By differentiating the last equation with respect to s, we obtain

for all s \in L. If we take into consideration

and

then

If we arrange the last equation, then we find

Moreover, the differentiation of the equation (3.13) with respect to s is

From the above equation, we see

If we substitute the equations (3.13) and (3.15) into the equation (3.14), we obtain

Finally, we find that the first curvature function is constant (that is, positive constant).

Thus, from the equation (3.15) it is seen that the second curvature function {k_2} is positive constant, too. This completes the proof.

In [Eis], a formula of parametric equation of Mannheim curve is given in {E^3}. Moreover, the parametric equation of generalized Mannheim curve in {E^4} is obtained in [Mat2]. The following theorem gives a parametric representation of a generalized spacelike Mannheim curve with timelike second binormal vector in E_1^4.

Let C be a spacelike special curve defined by

where \alpha is a non-zero constant number, g and h are any smooth functions. f is a positive valued smooth function. Thus, we obtain

where the subscript dot (.) denotes the differentiation with respect to u.

The arc-length parameter s of C is given by

where \left\| {{\bf{\dot c}}\left( u \right)} \right\| = \alpha f\left( u \right)\sqrt {1 + {g^2}\left( u \right) + {h^2}\left( u \right)}.

If \varphi denotes the inverse function of \psi :I \to L \subset\mathbb{R}, then u = \varphi \left( s \right) and

where the prime \left( ' \right) denotes the differentiation with respect to s.

The unit tangent vector {{\bf{e}}_1}\left( s \right) of the curve C at the each point {\bf{c}}\left( {\varphi \left( s \right)} \right) is given by

for all s \in L. Some simplifying assumptions are made for the sake of brevity as follows;

Then, we have

So, we rewrite the equation (3.17) as

By differentiating the last equation with respect to s, we find

that is,

From the last equation, we obtain

By the fact that {{\bf{e}}_2}\left( s \right) = {\left( {{k_1}\left( s \right)} \right)^{ - 1}}{{\bf{e'}}_1}\left( s \right), we have

In order to get second curvature function {k_2}, we need to calculate {k_2}\left( s \right) = \left\| {{{{\bf{e'}}}_2}\left( s \right) - {\mu _1}{k_1}\left( s \right){{\bf{e}}_1}\left( s \right)} \right\|. It is seen from the above equation \left\langle {{{\bf{e}}_2}\left( s \right),{{\bf{e}}_2}\left( s \right)} \right\rangle = 1, that is, {{\bf{e}}_2} is spacelike. Thus, {\mu _1} is equal to - 1 and {k_2}\left( s \right) = \left\| {{{{\bf{e'}}}_2}\left( s \right) + {k_1}\left( s \right){{\bf{e}}_1}\left( s \right)} \right\|. After a long process of calculation, we have

where

If we simplify P then we have

Thus, we rewrite the equations (3.22) and (3.23) as

where

Consequently, from the equations (3.24) and (3.25), we find

If we substitute the abbreviations into the last equation, we get

After substituting the equation (3.24) into the last equation and simplifying it, we have

Moreover, from the equation (3.20) it is seen that

The last two equation gives us

By the fact \varphi ' = {\alpha ^{ - 1}}{f^{ - 1}}{A^{{{ - 1} \mathord{\left/ {\vphantom {{ - 1} 2}} \right. \kern-\nulldelimiterspace} 2}}}, we obtain

and

According to our assumption,

we obtain

If we substitute the above equations (3.25) and (3.26), we obtain

The proof is completed.

In the above equation {\mu _1} = {\mu _2} = - 1 which is the special Case 1. This formula is the parametric equation of generalized spacelike Mannheim curve with timelike second binormal vector in the Minkowski space-time E_1^4.