<<

Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533

Curves and in the three dimensional sphere placed in the of

Yoshihiko Tazawa Department of Natural Sciences, Tokyo Denki University, 2-2 Kanda-nishikicho, Chiyodaku, Tokyo 101, Japan [email protected]

Abstract

In this article we will show how to use Mathematica in dealing with and surfaces in the three dimensional S^ embedded in the four dimensional Euclidian space E\ Since S* is the Lie group of unit quater- nions and at the same time it is a space of constant , the analogy of the theory of curves in E^ holds. We calculate curvature and torsion of curves in S^ by Mathematica. The Gauss v of a in E^ is decomposed into the two v+ and z/_. If the surface is contained in 5^, we can define another Gauss map z/g. We use Mathematica to visualize the of the images of these Gauss maps. Finally, the meaning of these images becomes clear through the notion of the slant surface.

1 Curves

The space E* is regarded as the space of quaternions with the multiplication

ii — jj = kk = — 1, ij = —ji — k, jk — —kj = i, ki = —ik = j

The unit sphere S^ C E^ is the Lie group of unit quaternions. Let X\ = (0,1,0,0), Xz = (0,0,1,0), %3 = (0,0,0,1) be the orthonormal frame of the T\S^ at 1 = (1,0,0,0) and Xi be the left-invariant extension of Xi over S^. By V, we denote the covariant differentiation

Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533

460 Innovation In

on S*. In the of S^, left translations play the analogous role to that of displacements in the ordinary Euclidian space E^ (cf.

Chen&Tazawa[3]). The unit tangent vector of a c(s) parametrized by arc-length s is expressed as

The curvature, unit vector, unit binomial vector, and torsion are defined respectively by

1

Example 1

sin(sin(^)), cos(sin(f)), sin(f - 4^), cos(f - 4

The curvature and torsion are calculated and plotted by Mathematica in

Figure 1.

Figure 1: curvature and torsion

Example 2 :

Let a and b be any constants. A geodesic ( great ) is given by

Cab(t) = ( cos t, ~ sin t cos b sin a, sin t cos 6 cos a, sin t sin b )

The curvature of a geodesic vanishes.

Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533

Innovation In Mathematics 461

Example 3 : Helix in S*

For any constant a and 6, the curve defined by

hab(t) = (asinZ, a cost, Vl - a?smbt, Vl - o? cos bt

has constant curvature and torsion. Moreover, the between its tangent

vector and the left invariant vector Xi is constant. We call this curve a helix in 5^ (cf. Chen&Tazawa[3]). The projections to the three dimensional coordinate of a helix in g^ with a = 1/64 and 6 = 1/512 are shown in Figure 2.

0.94' -0.02^

0.02

Figure 2: projections of a helix

2 Gauss map

The exterior algebra A^E^ of E^ is decomposed into two eigen spaces of the Hodge's star operator

Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533

462 Innovation In Mathematics

corresponding to the eigen values -hi and — 1, respectively. Let 5+, S^_ be the spheres of 1/\/2 in A^_E\ A^E^ centered at the origin. Then the

Grassmannian G(2, 4) of all oriented 2-planes in E^ is identified with the Riemannian product

O(2,4) =^ xS^

of these spheres through the identification V = e\ A 62, where {GI, 62} is an orthonormal frame of a V G G(2, 4). For a surface / : D C E^ —> E*, the Gauss map v : D —» h?E* takes its value to be the tangent plane at each of the surface. It is decomposed into the two maps (cf. Chen&Tazawa[2]).

Example 4

(u, v] —> ( u, u^ — 3v, uv, u — v^ )

The two Gauss images of this surface are plotted in Figure 3.

Figure 3: Gauss images of z/+ and z/_

Example 5

A surface z —> ( z, z*\ identifying C^ = E^. The Gauss images are shown in Figure 4. Although the image of i/+ cannot be seen in the figure, it is a singleton on the axis of the first coordinate.

Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533

Innovation In Mathematics 463

0.5

Figure 4: Gauss images

Example 6 : Flat

(u,v) —> —=( cos?z, sin 16, cos?;, sin?; )

The images of z/+ and z/_ in Figure 5 are the great to the axis of the first coordinate.

-0

0.5

Figure 5: Gauss images of a flat torus

Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533

464 Innovation In Mathematics

3 Another Gauss map

If a surface is contained in the 3-sphere, / : D C E^ —> S* C E*, we can define another Gauss map as follows (cf. Chen&Tazawa[3]). Let n : D —> Tf(u,v)S^ be the unit normal in S^ along the surface. Then, the

spherical Gauss map 1/3 : D —> S^ C T±S^ is defined by ^ = L~* o n, that is, VQ(U,V) = Lj^^(n(u,v)). Since the left translation in S^ is analogous to the parallel displacement in E^, the spherical Gauss map is a natural

generalization of the ordinary Gauss map.

Example 7

The image under the spherical Gauss map of thefla t torus given in Example 6 is plotted in Figure 6.

Figure 6: z/g-image of a flat torus

4 Slant surfaces

A surface in the 4-dimensional space can also be regarded as a surface in the 2-dimensional complex space / : D C E^ —> C^ = El We denote by J the complex structure of C^. A surface is called an a—slant surface, if the angle between JX and TpM is constant, i. e., Z (JX, TpM) = a for any X G T^M and any p G M = /(D) (cf. Chen[l]) .

Let {ei, 62, 63, 64} be the canonical basis of E*. Then, the following three are equivalent (cf. Ghen&Tazawa[3]). (1) / is an a— slant surface. (2) The angle between z/+(%, f) and 4= (ei A ^2 + 63 A 64) is a.

(3) The angle between i/s(u,v) and X]_ is a. A family of slant surfaces contained in the 3-sphere is obtained by the quaternionic product of a geodesic in S^ and a helix in S^ (cf. ChenfeTazawa[2])).

Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533

Innovation In Mathematics 465

0.!

-0.251

Figure 7: projections of a slant surface

Example 8

We choose a helix h(s) in S^ parametrized by arc-length s so that its coef-

ficient of the unit tangent vector satisfies /i(s) = — sin (yr/lO). We obtain such h(s) by solving a system of ordinary differential equations making use of NDSolve. We also choose a geodesic ^(t) = Cab(t) in Example 2 with a = 7T/10 and 6 = ?r/4 . Define a mapy? by (^(a;,?/, z,w) = (a;,?/, w, z)

arid put f(s,t) = (p(^(t] • h(s)), where • is the quaternionic product. The projections of this surface to the coordinate spaces are shown in Figure 7. The surface is a vr/lO-slant surface and its image under v+ is contained in a circle perpendicular to the first coordinate axis as is seen in Figure 8.

Transactions on Engineering Sciences vol 15, © 1997 WIT Press, www.witpress.com, ISSN 1743-3533

466 Innovation In Mathematics

Figure 8: z/+-image of a slant surface

As can be seen from the images under v+ , the surface of Example 4 is not a slant surface. The surface of Example 5 is a 0-slant surface ( i. e., a holomorphic surface ) and the flattoru s in Example 6 is an yr/2-slant sur- face ( i. e., a totally real surface) (cf. Chen& Tazawa [2], Chenfe Tazawa [3], Tazawa[5]).

References

1. Paper in a journal:

1. Chen, B.-y. Slant immersions, Bull. Austral. Math. Soc., vol 4. pp!35-147,1990.

2. Chen, B.-y. & Tazawa, Y. Slant surfaces with codimension 2, Ann. Foe. &%. TWowae, vol XI, No. 3, pp29-43,1990.

3. Chen, B.-y. & Tazawa, Y. Slant submanifolds in complex Euclidean spaces, Tokyo J. Math., vol 14, No. 1, pp 101-120, 1991.

4. Tazawa, Y. Construction of slant immersions, Bull. Inst. Math. Acad. Amm., 22, No. 2, pp!53-166,1994.

2. Edited book:

5. Tazawa, Y. Construction and visualization of slant immersions, Ge- ometry and of Submanifolds, VII, World Scientific, pp257-

260,1995.