4.4 Surfaces minimizing boundary-weighted area

Introduction

Our research has been devoted to minimizing the $c$ -boundary-weighted area of surfaces. We have also studied the boundary-value weighted Dirichlet energy over the interval [0,1]. These two problems have required us to study the minimal surface equation over the plane, using techniques from geometric calculus of variations.

Problem

Given a surface $S,$ we define the $c$ -boundary-weighted area of $S$ to be

For ${\mathcal{D}}_R$ the disc of radius $R$ and $C_h$ the cylinder of radius $R$ and height $h$ we have:

If $c<\frac{1}{12\pi },$ then ${lim}_{h\to 0}{A}_{c,\partial }\left(C_h\right)<A_{c,\partial }\left({\mathcal{D}}_R\right).$

Problem: Given a curve ${\gamma }_0$ in ${\mathbb{R}}^3,$ does there exist a surface $S$ with boundary

disjoint curves so that the $c$ -boundary-weighted area of $S$ is least amongst all surfaces having boundary at least ${\gamma }_0$ ?

Consider the upper-half of the truncated catenoid ${\mathfrak{C}}_R$ given by the graph of $f(x,y)={cosh}^{-1}\left(r\right)$ for $1<r<R,$ we have

Boundary-value weighted energy&Area

Let $\Omega ={\cup }_{i=0}^n[a_{2i},a_{2i+1}]$ where $a_0=0,a_{2n+1}=1$ and $a_j<a_{j+1}.$ We define the $c$ -boundary-value weighted Dirichlet energy of a function $u:\Omega \to \mathbb{R}$ to be:

We seek to minimize $E_{c,\partial }\left(u\right)$ over functions $u:\Omega \to \mathbb{R}$ subject to the constraints $u\left(0\right)=0,u\left(1\right)=1.$

We can show that we only need to consider functions $u_{ϵ,A}$ that vanish along the majority of the interval. We therefore need to minimize the function $f(ϵ,A)$ over $(0,1)\times (0,1),$ given by

For $c\ge 2,$ a minimizer is $u_{1,0}\left(x\right)=x$ with $\Omega =[0,1]$ which is unique for $c>2.$ When $c<2$ no minimizer exists, but can be approximated by the sequence $u_{ϵ,1-\frac{c}{2}},$ letting $ϵ\to 1.$

We define the $c$ -boundary-value weighted area of a function $u:\Omega \to \mathbb{R}$ to be:

The minimizer for $c\ge \sqrt{2}$ is $u_{1,0}\left(x\right)=x$ with $\Omega =[0,1],$ unique for $c>\sqrt{2}.$ When $c<\sqrt{2}$ , no minimizer exists.

Minimal surface equation

The MSE in two variables is the PDE:

A function $u$ satisfies $\mathcal{M}\left(u\right)=0$ over the unit disk $\mathcal{D}$ if and only if the graph of $u$ has the least surface area amongst all other graphs of functions with the same boundary values. Solutions to the MSE satisfy the Maximum Principle: if $\mathcal{M}\left(u\right)=0$ in $\mathcal{D},$ then $u$ attains its max/min only at the boundary, unless if $u$ is constant.

$f(x,y)={cosh}^{-1}r$ is a solution to the MSE for $r>1.$

Future work

Our next task is to study the catenoid more closely. We wish to investigate the 2-D versions of the $c$ -boundary-value weighted Dirichlet energy and area. The Isoperimetric Inequality states that if $S$ is a region bounded by a curve $\gamma ,$ then $4\pi ·Area\left(S\right)\le length\left(\gamma \right).$ We need to see how this theory applies.

Acknowledgements

We thank the guidance offered by our PFUG leader Dr. Leobardo Rosales. We also thank our faculty sponsors in the Department of Mathematics, Dr. Robert Hardt and Dr. Michael Wolf. We also thank the undergraduate group members Sylvia Casas de Leon, James Hart, Marissa Lawson, Conor Loftis, Aneesh Mehta, and Trey Villafane. This work was supported by NSF grant No. DMS-0739420.