HOME

TheInfoList



OR:

In
differential geometry Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...
a translation surface is a
surface A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is ...
that is generated by translations: * For two
space curve In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight. Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that ...
s c_1, c_2 with a common point P, the curve c_1 is shifted such that point P is moving on c_2. Through this procedure, curve c_1 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. Simple ''examples'': #
Right circular cylinder A right circular cylinder is a cylinder whose generatrices are perpendicular to the bases. Thus, in a right circular cylinder, the generatrix and the height have the same measurements. It is also less often called a cylinder of revolution, beca ...
: c_1 is a
circle A circle is a shape consisting of all point (geometry), points in a plane (mathematics), plane that are at a given distance from a given point, the Centre (geometry), centre. The distance between any point of the circle and the centre is cal ...
(or another cross section) and c_2 is a line. #The ''elliptic''
paraboloid In geometry, a paraboloid is a quadric surface that has exactly one axial symmetry, axis of symmetry and no central symmetry, center of symmetry. The term "paraboloid" is derived from parabola, which refers to a conic section that has a similar p ...
\; z=x^2+y^2\; can be generated by \ c_1:\; (x,0,x^2)\ and \ c_2:\;(0,y,y^2)\ (both curves are
parabola In mathematics, a parabola is a plane curve which is Reflection symmetry, mirror-symmetrical and is approximately U-shaped. It fits several superficially different Mathematics, mathematical descriptions, which can all be proved to define exactl ...
s). #The ''hyperbolic'' paraboloid z=x^2-y^2 can be generated by c_1: (x,0,x^2) (parabola) and c_2:(0,y,-y^2) (downwards open parabola). Translation surfaces are popular in
descriptive geometry Descriptive geometry is the branch of geometry which allows the representation of three-dimensional objects in two dimensions by using a specific set of procedures. The resulting techniques are important for engineering, architecture, design an ...
and architecture, because they can be modelled easily.
In
differential geometry Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...
minimal surfaces are represented by translation surfaces or as ''midchord surfaces'' (s. below). The translation surfaces as defined here should not be confused with the translation surfaces in
complex geometry In mathematics, complex geometry is the study of geometry, geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of space (mathematics), spaces su ...
.


Parametric representation

For two space curves \ c_1: \; \vec x=\gamma_1(u)\ and \ c_2:\; \vec x=\gamma_2(v)\ with \gamma_1(0)=\gamma_2(0)=\vec 0 the translation surface \Phi can be represented by: :(TS) \quad \vec x=\gamma_1(u)+\gamma_2(v) \; and contains the origin. Obviously this definition is symmetric regarding the curves c_1 and c_2. Therefore, both curves are called generatrices (one: generatrix). Any point X of the surface is contained in a shifted copy of c_1 and c_2 resp.. The
tangent plane In geometry, the tangent line (or simply tangent) to a plane curve at a given point is, intuitively, the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points o ...
at X is generated by the tangentvectors of the generatrices at this point, if these vectors are
linearly independent In the theory of vector spaces, a set of vectors is said to be if there exists no nontrivial linear combination of the vectors that equals the zero vector. If such a linear combination exists, then the vectors are said to be . These concep ...
. If the precondition \gamma_1(0)=\gamma_2(0)=\vec 0 is not fulfilled, the surface defined by (TS) may not contain the origin and the curves c_1,c_2. But in any case the surface contains shifted copies of any of the curves c_1,c_2 as parametric curves \vec x(u_0,v) and \vec x(u,v_0) respectively. The two curves c_1,c_2 can be used to generate the so called corresponding midchord surface. Its parametric representation is : (MCS) \quad \vec x=\frac(\gamma_1(u)+\gamma_2(v)) \; .


Helicoid as translation surface and midchord surface

A
helicoid The helicoid, also known as helical surface, is a smooth Surface (differential geometry), surface embedded in three-dimensional space. It is the surface traced by an infinite line that is simultaneously being rotated and lifted along its Rotation ...
is a special case of a generalized helicoid and a
ruled surface In geometry, a Differential geometry of surfaces, surface in 3-dimensional Euclidean space is ruled (also called a scroll) if through every Point (geometry), point of , there is a straight line that lies on . Examples include the plane (mathemat ...
. It is an example of a
minimal surface In mathematics, a minimal surface is a surface that locally minimizes its area. This is equivalent to having zero mean curvature (see definitions below). The term "minimal surface" is used because these surfaces originally arose as surfaces that ...
and can be represented as a translation surface. The helicoid with the parametric representation :\vec x(u,v)= (u\cos v,u\sin v, kv) has a ''turn around shift'' (German: Ganghöhe) 2\pi k. Introducing new parameters \alpha, \varphiJ.C.C. Nitsche: ''Vorlesungen über Minimalflächen'', Springer-Verlag, 2013, , 9783642656194, p. 59 such that :u=2a\cos\left(\frac 2 \right)\ , \ \ v=\frac and a a positive real number, one gets a new parametric representation * \vec X(\alpha,\varphi)= \left (a\cos\alpha + a\cos \varphi \; ,\; a\sin\alpha + a\sin \varphi\; ,\; \frac+\frac\right ) :::=(a\cos\alpha , a\sin\alpha , \frac ) \ +\ (a\cos\varphi , a\sin\varphi ,\frac )\ , which is the parametric representation of a translation surface with the two ''identical'' (!) generatrices :c_1: \; \gamma_1=\vec X(\alpha,0)=\left(a+a\cos\alpha , a\sin\alpha , \frac \right) \quad and :c_2: \; \gamma_2=\vec X(0,\varphi)=\left(a+a\cos\varphi , a\sin\varphi ,\frac \right)\ . The common point used for the diagram is P=\vec X(0,0)=(2a,0,0). The (identical) generatrices are helices with the turn around shift k\pi\;, which lie on the cylinder with the equation (x-a)^2+y^2=a^2. Any parametric curve is a shifted copy of the generatrix c_1 (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 x^2+y^2=4a^2. From the new parametric representation one recognizes, that the helicoid is a midchord surface, too: : \begin \vec X(\alpha,\varphi) & = \left(a\cos\alpha , a\sin\alpha , \frac \right) \ +\ \left(a\cos\varphi , a\sin\varphi ,\frac \right) \\ pt& =\frac(\delta_1(\alpha) +\delta_2(\varphi))\ ,\quad \end where :d_1: \ \vec x=\delta_1(\alpha)=(2a\cos\alpha , 2a\sin\alpha , k\alpha ) \ ,\quad and :d_2: \ \vec x=\delta_2(\varphi)=(2a\cos\varphi , 2a\sin\varphi , k\varphi ) \ ,\quad are two identical generatrices. In diagram: P_1: \delta_1(\alpha_0) lies on the helix d_1 and P_2: \delta_2(\varphi_0) on the (identical) helix d_2. The midpoint of the chord is \ M: \frac(\delta_1(\alpha_0) +\delta_2(\varphi_0))=\vec X(\alpha_0,\varphi_0)\ .


Advantages of a translation surface

; Architecture: A surface (for example a roof) can be manufactured using a jig for curve c_2 and several identical jigs of curve c_1. 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 c_1 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 projection In mathematics, a projection is an idempotent mapping of a set (or other mathematical structure) into a subset (or sub-structure). In this case, idempotent means that projecting twice is the same as projecting once. The restriction to a subspa ...
s. ; Differential geometry: For a translation surface with parametric representation \vec x(u,v)=\gamma_1(u)+\gamma_2(v) \; the
partial derivative In mathematics, a partial derivative of a function of several variables is its derivative with respect to one of those variables, with the others held constant (as opposed to the total derivative, in which all variables are allowed to vary). P ...
s of \vec 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 In differential geometry, the second fundamental form (or shape tensor) is a quadratic form on the tangent plane of a smooth surface in the three-dimensional Euclidean space, usually denoted by \mathrm (read "two"). Together with the first fundamen ...
is 0, too. This is an essential facilitation for showing that (for example) a helicoid is a minimal surface.


References

* 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, , p. 259 * W. Haack: ''Elementare Differentialgeometrie'', Springer-Verlag, 2013, , p. 140 * C. Leopold: ''Geometrische Grundlagen der Architekturdarstellung.''
Kohlhammer Verlag W. Kohlhammer Verlag GmbH, or Kohlhammer Verlag, is a German publishing house headquartered in Stuttgart. History Kohlhammer Verlag was founded in Stuttgart on 30 April 1866 by . Kohlhammer had taken over the businesses of his late father-in-la ...
, Stuttgart 2005, {{ISBN, 3-17-018489-X, p. 122 * D.J. Struik: ''Lectures on classical differential geometry'', Dover, reprint ,1988, pp. 103, 109, 184


External links


Encyclopedia of Mathematics
Surfaces Differential geometry Differential geometry of surfaces Analytic geometry