An upper bound on the growth of minimal graphs

Resumen Técnico: Una Cota Superior para el Crecimiento de Gráficos Mínimos

1. Planteamiento del Problema

El artículo aborda el problema de valor de frontera para la ecuación de la superficie mínima sobre dominios planos no acotados y simplemente conexos. Específicamente, se estudian soluciones $u$ que satisfacen:

$$\begin{cases} \text{div} \left( \frac{\nabla u}{\sqrt{1 + |\nabla u|^2}} \right) = 0 & \text{en } D \\ u > 0 & \text{en } D \\ u = 0 & \text{en } \partial D \end{cases}$$

El objetivo principal es determinar el comportamiento asintótico (tasa de crecimiento) de la solución $u(z)$ cuando $|z| \to \infty$. Se define la función de crecimiento máximo como $M(r, u) = \max \{u(z) : |z| = r, z \in D\}$.

Anteriormente, se conocían cotas inferiores (crecimiento logarítmico) y resultados parciales para dominios contenidos en un semiplano. La conjetura abierta era si existía una cota superior exponencial general para dominios simplemente conexos arbitrarios.

2. Metodología

El autor emplea una combinación de análisis complejo, teoría de mapeos armónicos univalentes y geometría diferencial. Los pasos metodológicos clave son:

• Coordenadas Isotérmicas y Parametrización de Weierstrass:
  Se parametriza la superficie mínima utilizando coordenadas isotérmicas en el semiplano derecho $H = \{\zeta = \sigma + i\tau : \sigma > 0\}$. La superficie se representa mediante funciones de Weierstrass $(x(\zeta), y(\zeta), U(\zeta))$, donde la proyección al plano complejo es $f(\zeta) = x + iy = h(\zeta) + g(\zeta)$, con $h$ y $g$ analíticas en $H$.
  Dado que $D$ es simplemente conexo, se cumple la condición de univalencia $|h'(\zeta)| > |g'(\zeta)|$.

• Propiedades de la Función Armónica $U(\zeta)$:
  La función altura $U(\zeta)$ es armónica, positiva en $H$ y se anula en la frontera $\partial H$. Esto permite una representación explícita: $U(\zeta) = C \cdot \text{Re}(\zeta)$. Esta relación vincula directamente la geometría de la superficie con la parte real de la variable compleja en el dominio paramétrico.

• Relación entre Derivadas:
  Se establece una relación crucial entre las derivadas de las funciones analíticas: $g'(\zeta) = -C/h'(\zeta)$. Esto implica que la dilatación analítica $a(\zeta) = g'/h'$ está determinada por $h'$.

• Análisis de Crecimiento de $h'(\zeta)$:
  Utilizando el hecho de que $\log|h'(\zeta)|$ es una función armónica positiva en $H$, se aplica la fórmula de Poisson para el semiplano. Esto permite acotar inferiormente $|h'(\zeta)|$ en sectores específicos del plano complejo (específicamente en $S_{\pi/4}$).

• Aplicación del Teorema de Clunie y Sheil-Small:
  Se utiliza un lema de Clunie y Sheil-Small sobre mapeos armónicos univalentes. Este teorema garantiza que la imagen de ciertos discos bajo transformaciones relacionadas con $f$ cubre discos de radio fijo. Esto permite controlar cómo se expande la imagen $f(\zeta)$ en el plano físico en función del crecimiento del parámetro $\zeta$.

• Construcción Iterativa de Curvas:
  El autor construye una secuencia de curvas $\Gamma_n$ en el dominio físico $D$ y sus preimágenes $\gamma_n$ en el semiplano paramétrico $H$. Mediante un proceso iterativo de expansión, se demuestra que un aumento lineal en el radio $|z|$ en el dominio físico corresponde a un aumento controlado (exponencial) en la coordenada $\text{Re}(\zeta)$.

• Uso de la Función Conjugada:
  Se introduce la función conjugada $v(z)$ (relacionada con el flujo de la superficie mínima) para acotar el crecimiento de $u(z)$ en los bordes de los dominios de integración, aprovechando que $|\nabla v| < 1$.

3. Contribuciones Clave y Resultados Principales

• Teorema Principal (Teorema 1):
  Se demuestra que para cualquier dominio simplemente conexo no acotado $D$ y una solución no trivial $u$ del problema de valor de frontera, existe una constante $C > 0$ tal que para $r$ suficientemente grande:
  $$M(r, u) \leq e^{Cr}$$
  Esto establece que el crecimiento de la superficie mínima es, a lo sumo, exponencial.

• Optimalidad del Resultado:
  El autor demuestra que esta cota es la mejor posible (óptima) mediante el ejemplo clásico del catenoide horizontal. La mitad superior de un catenoide horizontal es una solución que crece exactamente de manera exponencial, confirmando que la cota $e^{Cr}$ no puede ser mejorada a un crecimiento polinómico o sub-exponencial en general.

• Unificación de Resultados Previos:
  El trabajo generaliza resultados anteriores que solo eran válidos para dominios contenidos en un semiplano (Teorema B) o con restricciones angulares específicas (Teoremas C y D), extendiendo la validez a cualquier dominio simplemente conexo.

4. Significado e Impacto

• Resolución de una Conjetura: El artículo resuelve una conjetura planteada en la literatura anterior (referencia [13]), cerrando la brecha entre las cotas inferiores conocidas (logarítmicas) y las cotas superiores para dominios generales.
• Límites Fundamentales: Establece un límite fundamental en la geometría de las superficies mínimas graficadas sobre dominios no acotados. Indica que, independientemente de la complejidad geométrica del dominio (siempre que sea simplemente conexo), la superficie no puede "inflarse" más rápido que exponencialmente.
• Herramientas Analíticas: La metodología que combina la representación de Weierstrass con teoremas de mapeos univalentes (Clunie-Sheil-Small) ofrece un marco robusto para analizar problemas de crecimiento en ecuaciones en derivadas parciales no lineales de tipo elíptico.

En conclusión, el artículo de Weitsman proporciona una prueba rigurosa de que el crecimiento de las soluciones no triviales a la ecuación de superficie mínima sobre dominios simplemente conexos está estrictamente acotado por una función exponencial, y que este límite es alcanzable, definiendo así el comportamiento asintótico máximo posible para tales superficies.