Translation surface (differential geometry)

From testwiki
Jump to navigation Jump to search

Template:Short description

Translation surface: definition

In differential geometry a translation surface is a surface that is generated by translations:

  • For two space curves c1,c2 with a common point P, the curve c1 is shifted such that point P is moving on c2. By this procedure curve c1 generates a surface: the translation surface.

If both curves are contained in a common plane, the translation surface is planar (part of a plane). This case is generally ignored.

ellipt. paraboloid, parabol. cylinder, hyperbol. paraboloid as translation surface
translation surface: the generating curves are a sine arc and a parabola arc
Shifting a horizontal circle along a helix

Simple examples:

  1. Right circular cylinder: c1 is a circle (or another cross section) and c2 is a line.
  2. The elliptic paraboloid z=x2+y2 can be generated by  c1:(x,0,x2)  and  c2:(0,y,y2)  (both curves are parabolas).
  3. The hyperbolic paraboloid z=x2y2 can be generated by c1:(x,0,x2) (parabola) and c2:(0,y,y2) (downwards open parabola).

Translation surfaces are popular in descriptive geometry[1][2] and architecture,[3] because they can be modelled easily.
In differential geometry minimal surfaces are represented by translation surfaces or as midchord surfaces (s. below).[4]

The translation surfaces as defined here should not be confused with the translation surfaces in complex geometry.

Parametric representation

For two space curves  c1:x=γ1(u)  and  c2:x=γ2(v)  with γ1(0)=γ2(0)=0 the translation surface Φ can be represented by:[5]

(TS) x=γ1(u)+γ2(v)

and contains the origin. Obviously this definition is symmetric regarding the curves c1 and c2. Therefore, both curves are called generatrices (one: generatrix). Any point X of the surface is contained in a shifted copy of c1 and c2 resp.. The tangent plane at X is generated by the tangentvectors of the generatrices at this point, if these vectors are linearly independent.

If the precondition γ1(0)=γ2(0)=0 is not fulfilled, the surface defined by (TS) may not contain the origin and the curves c1,c2. But in any case the surface contains shifted copies of any of the curves c1,c2 as parametric curves x(u0,v) and x(u,v0) respectively.

The two curves c1,c2 can be used to generate the so called corresponding midchord surface. Its parametric representation is

(MCS) x=12(γ1(u)+γ2(v)).

Helicoid as translation surface and midchord surface

Helicoid as translation surface with identical generatrices c1,c2
Helicoid as translation surface: any parametric curve is a shifted copy of the purple helix.

A helicoid is a special case of a generalized helicoid and a ruled surface. It is an example of a minimal surface and can be represented as a translation surface.

The helicoid with the parametric representation

x(u,v)=(ucosv,usinv,kv)

has a turn around shift (German: Ganghöhe) 2πk. Introducing new parameters α,φ[6] such that

u=2acos(αφ2) ,  v=α+φ2

and a a positive real number, one gets a new parametric representation

  • X(α,φ)=(acosα+acosφ,asinα+asinφ,kα2+kφ2)
=(acosα,asinα,kα2) + (acosφ,asinφ,kφ2) ,

which is the parametric representation of a translation surface with the two identical (!) generatrices

c1:γ1=X(α,0)=(a+acosα,asinα,kα2) and
c2:γ2=X(0,φ)=(a+acosφ,asinφ,kφ2) .

The common point used for the diagram is P=X(0,0)=(2a,0,0). The (identical) generatrices are helices with the turn around shift kπ, which lie on the cylinder with the equation (xa)2+y2=a2. Any parametric curve is a shifted copy of the generatrix c1 (in diagram: purple) and is contained in the right circular cylinder with radius a, which contains the z-axis.

The new parametric representation represents only such points of the helicoid that are within the cylinder with the equation x2+y2=4a2.

Helicoid as midchord surface of two identical generatrices (green helix).

From the new parametric representation one recognizes, that the helicoid is a midchord surface, too:

X(α,φ)=(acosα,asinα,kα2) + (acosφ,asinφ,kφ2)=12(δ1(α)+δ2(φ)) ,

where

d1: x=δ1(α)=(2acosα,2asinα,kα) , and
d2: x=δ2(φ)=(2acosφ,2asinφ,kφ) ,

are two identical generatrices.

In diagram: P1:δ1(α0) lies on the helix d1 and P2:δ2(φ0) on the (identical) helix d2. The midpoint of the chord is  M:12(δ1(α0)+δ2(φ0))=X(α0,φ0) .

Advantages of a translation surface

Architecture

A surface (for example a roof) can be manufactured using a jig for curve c2 and several identical jigs of curve c1. The jigs can be designed without any knowledge of mathematics. By positioning the jigs the rules of a translation surface have to be respected only.

Descriptive geometry

Establishing a parallel projection of a translation surface one 1) has to produce projections of the two generatrices, 2) make a jig of curve c1 and 3) draw with help of this jig copies of the curve respecting the rules of a translation surface. The contour of the surface is the envelope of the curves drawn with the jig. This procedure works for orthogonal and oblique projections, but not for central projections.

Differential geometry

For a translation surface with parametric representation x(u,v)=γ1(u)+γ2(v) the partial derivatives of x(u,v) are simple derivatives of the curves. Hence the mixed derivatives are always 0 and the coefficient M of the second fundamental form is 0, too. This is an essential facilitation for showing that (for example) a helicoid is a minimal surface.

References

  1. H. Brauner: Lehrbuch der Konstruktiven Geometrie, Springer-Verlag, 2013,Template:ISBN, 9783709187784, p. 236
  2. Fritz Hohenberg: Konstruktive Geometrie in der Technik, Springer-Verlag, 2013, Template:ISBN, 9783709181485, p. 208
  3. Hans Schober: Transparente Schalen: Form, Topologie, Tragwerk, John Wiley & Sons, 2015, Template:ISBN, 9783433605981, S. 74
  4. Wilhelm Blaschke, Kurt Reidemeister: Vorlesungen über Differentialgeometrie und geometrische Grundlagen von Einsteins Relativitätstheorie II: Affine Differentialgeometrie, Springer-Verlag, 2013,Template:ISBN, 9783642473920, p. 94
  5. Erwin Kruppa: Analytische und konstruktive Differentialgeometrie, Springer-Verlag, 2013, Template:ISBN, 9783709178676, p. 45
  6. J.C.C. Nitsche: Vorlesungen über Minimalflächen, Springer-Verlag, 2013, Template:ISBN, 9783642656194, p. 59
  • G. Darboux: Leçons sur la théorie générale des surfaces et ses applications géométriques du calcul infinitésimal, 1–4, Chelsea, reprint, 972, pp. Sects. 81–84, 218
  • Georg Glaeser: Geometrie und ihre Anwendungen in Kunst, Natur und Technik, Springer-Verlag, 2014, Template:ISBN, p. 259
  • W. Haack: Elementare Differentialgeometrie, Springer-Verlag, 2013, Template:ISBN, p. 140
  • C. Leopold: Geometrische Grundlagen der Architekturdarstellung. Kohlhammer Verlag, Stuttgart 2005, Template:ISBN, p. 122
  • D.J. Struik: Lectures on classical differential geometry, Dover, reprint ,1988, pp. 103, 109, 184