Abstract

We study curves of AW(k)-type in the Lie group G with a bi-invariant metric. Also, we characterize general helices in terms of AW(k)-type curve in the Lie group G.

1. Introduction

The geometry of curves and surfaces in a 3-dimensional Euclidean space represented for many years a popular topic in the field of classical differential geometry. One of the important problems of the curve theory is that of Bertrand-Lancret-de Saint Venant saying that a curve in is of constant slop; namely, its tangent makes a constant angle with a fixed direction if and only if the ratio of torsion and curvature is a constant. These curves are said to be general helices. If both and are nonzero constants, the curve is called cylindrical helix. Helix is one of the most fascinating curves in science and nature. Scientists have long held a fascinating, sometimes bordering on mystical obsession for helical structures in nature. Helices arise in nanosprings, carbon nanotubes, -helices, DNA double and collagen triple helix, the double helix shape is commonly associated with DNA, since the double helix is structure of DNA.

The problem of Bertrand-Lancret-de Saint Venant was generalized for curves in other 3-dimensional manifolds—in particular space forms or Sasakian manifolds. Such a curve has the property that its tangent makes a constant angle with a parallel vector field on the manifold or with a Killing vector field, respectively. For example, a curve in a 3-dimensional space form is called a general helix if there exists a Killing vector field with constant length along and such that the angle between and is a non-zero constant (see [1]). A general helix defined by a parallel vector field was studied in [2]. Moreover, in [3] it is shown that general helices in a 3-dimensional space form are extremal curvatures of a functional involving a linear combination of the curvature, the torsion, and a constant. General helices also called the Lancret curves are used in many applications (e.g., [47]).

The notion of AW(k)-type submanifolds was introduced by Arslan and West in [8]. In particular, many works related to curves of AW(k)-type have been done by several authors. For example, in [9, 10] the authors gave curvature conditions and charaterizations related to these curves in . Also, in [11] they investigated curves of AW(k) type in a 3-dimensional null cone and gave curvature conditions of these kinds of curves. However, to the author’s knowledge, there is no article dedicated to studying the notion of AW(k)-type curves immersed in Lie group.

In this paper, we investigate curvature conditions of curves of AW(k)-type in the Lie group with a bi-invariant metric. Moreover, we characterize general helices of AW(k)-type in the Lie group .

2. Preliminaries

Let be a Lie group with a bi-invariant metric and the Levi-Civita connection of the Lie group . If denotes the Lie algebra of , then we know that is isomorphic to , where is identity of . If is a bi-invariant metric on , then we have for all , , .

Let be a unit speed curve with parameter and an orthonrmal basis of . In this case, we write that any vector fields and along the curve as and , where and are smooth functions. Furthermore, the Lie bracket of two vector fields and is given by Let be the covariant derivative of along the curve , , and , where . Then we have

A curve is called a Frenet curve of osculating order if its derivatives , , ,…, are linearly dependent and are no longer linearly independent for all . To each Frenet curve of order one can associate an orthonormal -frame along (such that ) called the Frenet frame and the functions said to be the Frenet curvatures, such that the Frenet formulas are defined in the usual way: If is a Frenet curve of osculating order in , then we define

Proposition 2.1. Let be a Frenet curve of osculating order 3 in . Then one has

Proof. Let be a Frenet curve of osculating order 3 with the Frenet frame . Since , taking the inner product with , , and , respectively, we have and . Thus, we find From (2.5), we get By using the above similar method, we can obtain and .

Remark 2.2. Let be a 3-dimensional Lie group with a bi-invariant metric. Then it is one of the Lie groups , or a commutative group, and the following statements hold (see [6, 12]).(i)If is , then .(ii)If is , then .(iii)If is a commutative group, then .

Proposition 2.3. Let be a Frenet curve of osculating order 3 in . Then one has where .

Proof. Let be a Frenet curve of osculating order 3 in . Then we have This implies that Also, we have the following:
Notation. Let we put

3. Curves of AW(k)-Type

In this section, we consider the properties of curves of AW(k)-type in the Lie group .

Definition 3.1 (see, cf. [13]). The Frenet curves of osculating order 3 are(i)of type weak AW(2) if they satisfy (ii)of type weak AW(3) if they satisfy where

Definition 3.2 (see [8]). The Frenet curves of osculating order 3 are(i)of type AW(1) if they satisfy ,(ii)of type AW(2) if they satisfy (iii)of type AW(3) if they satisfy
From the definitions of type AW(k), we can obtain the following propositions.

Proposition 3.3. Let be a Frenet curve of osculating order 3. Then is of weak -type if and only if

Proposition 3.4. Let be a Frenet curve of osculating order 3. Then is of weak -type if and only if

Proposition 3.5. Let be a Frenet curve of osculating order 3. Then is of -type if and only if where is a constant.

Proposition 3.6. Let be a Frenet curve of osculating order 3. Then is of type if and only if

Proposition 3.7. Let be a Frenet curve of osculating order 3. Then is of type if and only if where is a constant.

4. General Helices of AW(k)-Type

In this section, we study general helices of AW(k)-type in the Lie group with a bi-invariant metric and characterize these curves.

Definition 4.1 (see [6]). Let be a parameterized curve. Then is called a general helix if it makes a constant angle with a left-invariant vector field.

Note that in the definition the left-invariant vector field may be assumed to be with unit length, and if the curve is parametrized by arc-length, then we have for , where is a constant.

If is a commutative group , then Definition 4.1 reduces to the classical definition (see [14]). Since a left-invariant vector field in is a Killing vector field, Definition 4.1 is similar to the definition given in [1].

Theorem 4.2 (see [6]). A curve of osculating order 3 in is a general helix if and only if where is a constant.

From (4.2), a curve with is a general helix if and only if = constant. As a Euclidean sense, if both and are constants, it is a cylindrical helix. We call such a curve a circular helix.

Theorem 4.3. Let be a Frenet curve of osculating order 3. Then , , and are linearly dependent if and only if is general helix.

Proof. If , , and are linearly dependent, then the following equation holds: By a direct computation, we have it follows that Thus, = constant; that is, is general helix. The converse statement is trivial.

Theorem 4.4. Let be a general helix of osculating order 3. Then is of weak AW(3)-type if and only if is a circular helix.

Proof. From (3.7) and (4.2), we can obtain that = constant; it follows that constant. Thus, is a circular helix. The converse statement is trivial.

Theorem 4.5. A general helix of type has Frenet curvatures where , , and are constants.

Proof. If is a general helix of type , then from (3.9) and (4.2) we have where is a constant.
Combining (4.7) and (4.8), we have To solve this differential equation, we take Then, (4.9) can be rewritten as the form Let us put Then (4.11) becomes If we choose , then the above equation is its general solution is given by where and are constants.
Thus, we have
so, the theorem is proved.

Corollary 4.6. There exists no a circular helix of osculating order 3 of type in .

Theorem 4.7. Let be a general helix of osculating order 3. Then is of type if and only if is a circular helix.

Proof. Suppose that is a general helix of type . Combining (3.10) and (4.2) we find , that is, . From this . Thus, is a circular helix.

Theorem 4.8. Let be a curve of osculating order 3. There exists no a general helix of type .

Proof. We assume that is a general helix of type . Then from (3.8) and (4.2) we have From (4.18) and (4.19), we have Thus, (4.17) becomes equivalently to It is impossible, so the theorem is proved.

Acknowledgments

This paper was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2012R1A1A2003994).