Developable Surfaces with Prescribed Boundary

Developable Surfaces with Prescribed Boundary

Geometry of Varieties and Applications Developable surfaces with prescribed boundary Maria Alberich-Carrami~nana,Jaume Amor´os,and Franco Coltraro Departament de Matem`atiques,Universitat Polit`ecnicade Catalunya maria.alberich, @upc.edu Departament de Matem`atiques,Universitat Polit`ecnicade Catalunya jaume.amoros, @upc.edu Institut de Rob`oticai Inform`aticaIndustrial, CSIC-UPC fcoltraro, @iri.upc.edu Research supported by project Clothilde, ERC research grant 741930, and research grants PID2019-103849GB-I00, from the Kingdom of Spain, 2017 SGR 932 from the Catalan Government. Abstract: It is proved that a generic simple, closed, piecewise regular curve in space can be the boundary of only finitely many developable surfaces with nonvanishing mean curvature. The relevance of this result in the context of the dynamics of developable surfaces is discussed. 1 Introduction The work presented here originated in the study by the authors of the motion and dynam- ics of pieces of cloth in the real world, with a view towards its robotic manipulation in a domestic, non-industrial, environment. Because in such an environment cloth is subject to low stresses, it makes sense to model garments as inextensible surfaces, and assume that their motion consists of isometries. The authors are currently developing such an isometric strain model, and its application to the control problem of cloth garments ([2]). The original state of cloth in such a model is flat, so the set of possible states of a piece of cloth in our model is the set of developable surfaces isometric to a fixed one, which we may assume to be a domain R in the plane. To study the dynamics of such a piece of cloth with the Lagrangian formalism, we need coordinates on the set of its states. This is usually done through a discretization scheme, but such schemes often introduce artifacts in the dynamics of cloth. Thus it would be interesting to have intrinsic, analytic coordinates on the space of states that are suitable for the formulation of a Lagrangian with a role analogous to that of the arXiv:2103.01270v1 [math.DG] 1 Mar 2021 Helfrich Hamiltonian of membrane dynamics (see [3]). As explained in the concluding section, such coordinates should allow the formulation of discretization schemes where the resulting mechanics are more independent of how the garment is meshed, more frugal in computation time, and closer to reality. Section 2 in this note discusses two candidates to the role of generalized coordinates in the space of states of a surface in our isometric strain model, and explains their common limitation from the viewpoint of their application. Section 3 proposes an alternative approach: to track the motion of the surface by following its boundary. This is not straightforward because the boundary does not de- termine the position of the surface, but as we explain below our Main Theorem 5 is a step in this direction. 1 Research Perspectives CRM Barcelona, Spring 2019, vol. 10, in Trends in Mathematics Springer-Birkh¨auser,Basel 2 Developable surfaces with prescribed boundary 2 The space of developable surfaces Developable surface is a classical name for a smooth surface with Gaussian curvature 0. These are exactly the surfaces which are locally isometric to a domain in the Euclidean 2 plane R . Developability places a strong constrain on a surface (see [5]): Theorem 1 (structure theorem for developable surfaces, classical). A C3 developable 3 surface S embedded in R has an open subset which is ruled, with unit normal vector constant along each line of the ruling but varying in a transverse direction. Every con- nected component of its complement is contained in a plane. This structure can be deduced from the Gauss map of the surface: Gaussian curvature 0 makes its rank 0 or 1, the latter rank being reached in an open subset of the surface. The normal vector is locally constant in the rank 0 subset. The dichotomy in the rank of the Gauss map, and varied classical notations, motivate Definition 2. A developable surface is torsal if the Gauss map has rank 1 in a dense open subset. Flat patches are connected subsets of a developable surface with nonempty interior where the Gauss map is constant, i.e. they are contained in a plane. The subdivision of a developable surface into torsal and flat patches is given by the boundary of the vanishing locus of the mean curvature and is not necessarily simple. 2 With a view to our intended applications, fix a planar domain R ⊂ R which is compact, contractible and has a piecewise C1 boundary. Usually R will be a convex 3 3 polygon. Define S to be the set of all C surfaces in R isometric to R. These surfaces are all developable, and S may be seen as the space of states of an inextensible (i.e. isometric for the inner distance) deformation of R in Euclidean space. 2 3 The space of states S can also be defined as the set of C maps from R to R which are isometries with the image. As such, it is endowed with the compact-open topology 3 derived from the Euclidean one in R and R . This topology furnishes valuable tips for the study of S: the set of surfaces containing flat patches has an empty interior because there exist arbitrarily small deformations making the normal vector nonconstant on an open set. Torsal surfaces are stably torsal if the mean curvature function intersects transversely the zero function. These surfaces form an open subset U ⊂ S, and suffice for our practical study of S. We can try to develop coordinates for the stably torsal state space U based on the classical structure theorem. First, let us recall how to identify developable surfaces among the ruled ones Proposition 3 (classical, see [1]). A ruled surface parametrized as φ(u; v) = γ(u) + v · w(u), where γ is a regular parametrized curve and w a vector field over γ, is developable if and only if the 3 vectors γ0(u); w(u); w0(u) are linearly dependent for all u. Given a regular C2 curve γ there is a way to obtain systematically such rulings over γ resulting in regular torsal surfaces: Proposition 4. Let n be a unit normal C1 vector field over a regular, C2 curve with n0 6= 0. Then w = n × n0 defines a torsal surface in a neighbourhood of γ. Moreover, all regular, torsal rulings over γ are generated by such w, and only n; −n define the same torsal surface. Geometry of Varieties and Applications 3 Figure 1. A smooth simple closed curve (in black) which is the boundary of two developable surfaces (indicated in red and blue respectively) Proof. n is normal to γ0 and w by their definitions, and w0 = n × n00 so at every u the vectors γ0; w; w0 are normal to n. Also, note that w 6= 0 because n0 6= 0. Ifn ~ is another unit normal vector field such thatn ~ × n~0 = µw for some function µ(u) then note thatn ~ has to be normal to both w and γ0, hence a multiple of n. Finally, note that if w is a nonvanishing tangent vector field over γ defining a torsal surface around it, then we can select a unit vector field n normal to γ0; w; w0. The facts that n is normal to w and w0 imply that n0 is also normal to w, so n × n0 is a multiple of w. To define coordinates in the space of stably torsal surfaces S isometric to a fixed bounded domain R, the pairs (γ; n) of Prop. 4 run into a practical difficulty: the condition that n0 6= 0 forces the Gauss map to have rank 1. If S is a stably torsal surface with mean curvature H of varying sign, we must subdivide it by the H = 0 curves and parametrize separately each component of the complement. To follow a motion of the surface, one has to track the boundary shifts, mergers and splits of these components. Ushakov proposes in [7] an alternative, PDE based, coordinate scheme viewing de- velopable surfaces as solutions of the trivial Monge-Amp`ereequation. But this requires parametrization of the surface in the form z = z(x; y). Such parametrizations exist only locally, so their use leads even more intensely to the problem of tracking boundaries, mergers and splits of their subdomains. 3 The boundary of a developable surface There is an alternative approach to study the dynamics of developable surfaces isometric to a fixed bounded planar domain R: follow the motion of the boundary @R in space, and derive from this the developable surface that fills it. This leads to the 3 Question. Given a piecewise smooth simple closed curve γ in R , what are the de- pelopable surfaces with boundary γ? The degeneracy nature of the trivial Monge-Amp`ereequation makes it fail to have a unique solution for this kind of boundary problem. Indeed, it is easy to find examples where there is more than one solution, as shown in Fig. 1. Nevertheless, for problems such as the study of cloth dynamics it is not necessary that the boundary problem have a unique solution. It suffices to know that it will always have a finite set of solutions, because this solution set is then discrete, with different solutions separated by a nontrivial jump in any tagging energy, local coordinate . In such case, once one has a developable ruling with a boundary γ0 at time t = 0, the evolution γt of 4 Developable surfaces with prescribed boundary the boundary will determine the analytic continuation of the t = 0 developable ruling, and identify a unique ruling for every time t.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    5 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us