Sindbad~EG File Manager
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<title>Untitled Document</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>
<body><h2>The regularity problem</h2>
<p> The classical <em>Problem of Plateau</em> asks for a surface of least area among all surfaces bounded by a given Jordan curve Γ in three-space. (A Jordan curve is a one-to-one continuous image of the unit circle.) The classical solutions of this problem given in the 1930s by Douglas and Rado showed that there must exist such a surface of least area (without showing how to compute it). The proofs went by picking a sequence of surfaces of smaller and smaller area, and then showing that some subsequence has to converge. There was a hitch though: the limit surface (the one of least area) might acquire branch points. In that case it wouldn't really be a "surface" in the classical sense. This unsatisfactory situation persisted until 1970, when Osserman showed how to modify a surface in the vicinity of an interior branch point to decrease the area. It would be nice to put an animated picture here illustrating this construction. Maybe someday--but Osserman didn't give explicit formulas for his construction, so it's not a trivial task to produce such an animation. The technical jargon for what Osserman proved
is the "interior regularity of the solutions of Plateau's problem". (Regularity means, in this context, no branch points,
although often the same word is used for smoothness up to the boundary)</p>
<p>Osserman's construction varies the surface in the C<sup>0</sup> topology--that means that the modified surface, while close to the original, doesn't necessarily have tangent planes close to the original. This is somewhat unsatisfactory; one would like to be able to vary the surface in such a way as to keep many derivatives close to those of the branched surface.
I solved this problem for the C<sup>1</sup> topology in </p>
<p>On interior branch points of minimal surfaces, <em>Math Zeitschrift </em><strong>171 </strong>(1980) 133-154. </p>
<p>In that paper, I gave explicit formulas for how to decrease the area by modifying a surface in the C<sup>1</sup> topology near an interior branch point.
(The paper claims to decrease the area in the C<sup>n</sup> topology, and indeed does so in some neighborhood of the
branch point, but the smoothing argument in the last section is wrong for <em>n</em> > 1, so the paper does not show how to
<em>globally</em> decrease the area in a C<sup>1</sup> way).
Here it would be nice to see an animation of this construction; I hope to do this someday--it should be easier
than for Osserman's construction, since explicit formulas are available.</p>
<p>The question of improving the topology from C<sup>0</sup> to C<sup>n</sup> is related to the
question of whether the regularity applies to only a least-area surface (an absolute minimum of area)
or to relative minima of area also. Since the solution of Plateau's problem is not in general unique,
and since relative minima of area correspond to physically stable soap films, it is of interest to prove
the regularity of relative minima. But in which topology do we define the concept of "relative minimum" of area?
If we use the C<sup>n</sup> topology, then it is easier to be a relative minimum, the greater <em>n</em> is,
since fewer variations are allowed. Consequently, regularity for relative minima is a better theorem, the
larger <em>n</em> is. An absolute minimum, however, is of course a relative minimum in <em>any</em> of these topologies.
Osserman only claimed his theorem for absolute minima, but it works for relative minima in the C<sup>0</sup> topology, but
only for relative minima in that topology. There is, however, no <em>a priori</em> reason why a C<sup>n</sup> relative
minimum should be also a C<sup>0</sup> relative minimum. </p>
<p>Osserman's construction only works for true branch points. False branch points were ruled out later,
by Gulliver and Alt (independently). Neither Osserman's construction nor mine works for boundary branch points.
My construction also assumes the branch point is true, so it still relies on Gulliver and Alt to deal with false branch points.
In 1973, Gulliver and Lesley were able to show that boundary branch points can't occur in a least-area surface with a
real-analytic boundary. The problem is still open in case the boundary is only C<sup>n</sup>.</p>
<p>Recently Tromba has given (in <em> A Theory of Branched Minimal Surfaces</em>) new calculations of the higher variations of Dirichlet's integral,
with the aid of which he can give yet a third proof of the interior regularity of relative minima, but this time in the
C<sup>n</sup> topology. His calculations are global, using Cauchy's integral formula, so a smoothing argument is not needed;
my arguments were local, using Fourier series. We both find a variation that does not vanish; if the branch point has order <em>m</em>
and index <em>k</em> then the variation that vanishes will depend on some power <em>z<sup>L</sup></em> in the formula for the minimal surface, where
<em>L</em> is not divisible by <em>m+1</em>. If no such <em>L</em> exists, then the branch point is false. </p>
<p> </p>
</body>
</html>
Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists