Research Topics

      This program will consist of three research groups

                  Area Minimization Problem
                  Steiner Problems
                  Minimal Surfaces Problems

     

Area Minimization Problem

The basic problem is to minimize length, area, or some other quantity, among curves or surfaces satisfying a given constraint. Some well-known examples are that a circle has least perimeter among curves enclosing a given area, a square has least perimeter among rectangles with the same area, and a sphere has least area among surfaces enclosing the same volume. Geometry provides a great playground full of optimization problems. Lawlor has helped develop the method known ``mapped slicing'' which provides proofs for various minimization problems. Students may work on proving that subsets of the octahedral star are area-minimizing. The octahedral star W is a soap film whose boundary is formed by the edges of a regular octahedron. It is piecewise-planar, formed as the union of twelve isosceles triangles and six kites. A picture can be viewed at http://www.susqu.edu/brakke/evolver/examples/octa/octafilm.htm , with the label "Octabest.fe." Ken Brakke has conjectured that this surface is the least-area surface on this boundary, with the requirement that competing surfaces must topologically separate the solid octahedron into components, with the eight faces all being separated from one another. Four other soap films are known to satisfy these requirements, but have been calculated by Brakke to have more surface area than W. The other four films are not piecewise-planar. If a surface is area-minimizing then its subsets are also area-minimizing; otherwise one could replace a piece with something of less area and thus obtain a global surface with less area than the original. Thus, while working toward a proof of Brakke's conjecture, one might try to first prove that interesting pieces of the octahedral star W are themselves area-minimizing. In fact, any intersection of W with a very small ball is area-minimizing, since such pieces are simply planar triple junctions or tetrahedral cones. We have a method called mapped calibration that is showing much promise of late on other minimization questions. We have known for some time that mapped calibration provides a new minimization proof for tetrahedral cones, and for (at least slightly) larger pieces of the octahedral star, containing two or more tetrahedral singularity points. Now would be a good time for undergraduates to investigate how big of pieces of W can be proved minimizing by mapped calibration. Students would certainly get some results, and possibly even solve the minimization question for all of W.

top

 
     

 

 

 
     

Steiner Problems

Length minimization problems on surfaces are not only interesting in and of themselves, but also have applications to higher dimensional problems. Using Lawlor's slicing techniques area minimization problems can be reduced to length minimization problems, often in the plane with a nonstandard metric. The ultimate goal is to solve length minimization problems on any surface with any given metric. Currently our focus is on Steiner problems. The Steiner problem asks to find the least length path network connecting n points in a surface. The Steiner problem in the Euclidean plane has been studied extensively since the mid 1600's. Until recently, little had been done on solving these type problems on non-planar surfaces. Investigations were dissuaded by the added complexity of non-standard metrics and topological consideration. Remarkably, we have found such problems to be more accessible than once thought. Our research groups have already developed algorithms for solving $n$ point Steiner problems on the hyperbolic plane, the sphere, the flat torus, and the cone. We have also identified efficient methods for solving the 3 point problem on the projective plane with constant curvature and the regular tetrahedron. Surfaces on which Steiner problems will be considered in the near future include: A polyhedral surface that is the graph over a simply connected region in R^2
  • Closed polygonal surfaces such as the tetrahedron or the cube;
  • The Klein bottle of constant Gaussian curvature; 
  • The double torus of constant Gaussian curvature; 
  • A piecewise flat surface with curved edges, such as the
    cylinder.

top

 
     

 

 

 
     

Minimal Surfaces Problems

At each point p on a surface M in R^3, we can compute a normal vector n. Any plane that contains this normal n will intersect the surface in a curve, c. For each curve c, we can compute its curvature. As we rotate the plane through the normal n, we will get a set of curves on the surface each of which has a value for its curvature. Let k1 and k2 be the maximum and minimum curvature values at point p, respectively. The mean curvature of M at p is H=(k1+k2)/2. A minimal surface in R^3 is a regular surface for which the mean curvature equals zero at every point. In the theory of minimal surfaces, the Weierstrass representation provides a formula for the local representation of a minimal surface. Images of minimal surfaces can easily be displayed by using computers, and this lends itself nicely to student explorations. One new approach to investigating minimal surfaces is to use results about planar harmonic mappings, f=h+\bar{g}, where h and g are complex analytic functions. Peter Duren, Univ. of Michigan, published a text in 2004 on planar harmonic mappings. There is a nice relationship between harmonic univalent mappings and embedded (i.e., nonself-intersecting) minimal surfaces. We can reformulate the classical Weierstrass-Enneper representation using the harmonic univalent map f=h+\bar{g}.

We can investigate minimal surfaces by using theorems about planar harmonic mappings.

  • Various properties of minimal surfaces can be represented by using a system of differential equations of the corresponding planar harmonic mappings. We can then compute the Lie symmetries of this system to investigate these properties of the minimal surface as was done by Bila. This is a computational problem that has been recently simplified by the creation of Maple and Mathematica programs that can compute Lie symmetries, and it allows students to study some differential geometry, abstract algebra, differential equations, and complex analysis.
  • Jenkins-Serrin minimal surfaces correspond to planar harmonic mappings that are convex polygons. Recently, there has been a paper investigating the minimal surfaces corresponding to planar harmonic mappings that are nonconvex polygons by using Poisson integrals. This topic can also be investigated by using a shearing theorem and the argument principal for harmonic mappings.
  • In the study of planar harmonic functions, there are some canonical extremal functions such as Koebe functions and right hand-plane functions. If the dilatation of these functions is a perfect square, then they lift to minimal surfaces. Which minimal surfaces do these extremal functions lift to? Are there properties of these minimal surfaces that make the corresponding planar harmonic mapping extremal?

    top