Capillary $L_p$-curvature problem

Resumen Técnico: Problema de Curvatura $L^p$ Capilar

1. Planteamiento del Problema

El artículo aborda la existencia de soluciones para el problema de curvatura $L^p$ capilar en el semiespacio $\mathbb{R}^{n+1}_+$. Este problema es una variante con frontera del clásico problema de curvatura de Minkowski (o problemas de curvatura $L^p$) en geometría diferencial.

• Configuración Geométrica: Se busca una hipersuperficie $\Sigma$ suave, compacta, conexa y orientable contenida en el semiespacio superior, con su interior en $\mathbb{R}^{n+1}_+$ y su frontera $\partial\Sigma$ en el plano $\partial\mathbb{R}^{n+1}_+$.
• Condición de Contacto: La hipersuperficie debe tener un ángulo de contacto $\theta \in (0, \pi/2)$ fijo con el plano base. Esto significa que el vector normal unitario exterior $\nu$ satisface $\langle \nu, e_{n+1} \rangle = \cos \theta$ en la frontera.
• Ecuación Principal: Se busca una hipersuperficie capilar estrictamente convexa cuya $k$-ésima función simétrica elemental de las curvaturas principales ($S_k$) satisfaga la ecuación:
  $$\phi s^{p-1} S_k \circ \tilde{\nu}^{-1} = 1$$
  donde:
  • $s$ es la función de soporte capilar.
  • $\tilde{\nu}$ es la aplicación Gaussiana capilar.
  • $\phi$ es una función par, suave y positiva definida en el casquete esférico $C_\theta$.
  • $p$ es el parámetro de curvatura $L^p$.
• Rango de Parámetros: El trabajo se centra en el rango crítico $1 < p < k + 1$, con $1 \le k < n$.

2. Metodología y Herramientas Clave

La estrategia principal del artículo se basa en el método de estimaciones a priori (gradiente, $C^0$ y $C^2$) combinado con técnicas de grado topológico.

A. La Función Auxiliar y la Estimación de Gradiente (Contribución Central)
El núcleo de la innovación reside en la construcción de una nueva función auxiliar para obtener una estimación de gradiente global.

• El Problema Anterior: En trabajos previos (como [MWW25e]), se utilizó una función auxiliar de la forma $\Phi = |\nabla u|^2 / u^\gamma$ (donde $u = s/\ell$). En el contexto capilar, esta elección resultó insuficiente para el rango $1 < p < k + 1$, imponiendo una restricción adicional en el ángulo de contacto $\theta$ que dependía de $p$.
• La Innovación: Los autores introducen un peso adicional basado en la función de soporte del casquete modelo $\ell$. Definen la nueva función auxiliar:
  $$\Psi = \ell^{2-\gamma} \frac{|\nabla u|^2}{u^\gamma}$$
  donde $\ell$ es la función de soporte del casquete esférico $C_\theta$ y $0 < \gamma < \frac{2(p-1)}{k}$.
• Resultado de la Innovación: Al incorporar el peso $\ell^{2-\gamma}$, la obstrucción angular desaparece. Esto permite probar una estimación de gradiente válida para todos los ángulos $\theta \in (0, \pi/2)$, sin restricciones dependientes de $p$.

B. Lema de Chou-Wang y Estimaciones Simultáneas
La estimación de gradiente se combina con un lema geométrico de Chou-Wang [CW00]. Esta combinación permite obtener simultáneamente:

1. Estimaciones $C^0$ (Límites de la función de soporte): Acotación superior e inferior de $s$.
2. Estimaciones $C^2$ (Curvatura): Control de la segunda derivada, esencial para la regularidad de la solución.

C. Marco de Existencia
Una vez establecidas las estimaciones $C^0$, $C^1$ y $C^2$, se aplica el marco de teoría de grado de [LLN17] junto con resultados de unicidad [GL24] para garantizar la existencia de una solución suave y estrictamente convexa.

3. Resultados Principales

Teorema 1.1 (Existencia Global):
Sean $\theta \in (0, \pi/2)$, $1 < p < k + 1$ y $1 \le k < n$. Si $\phi \in C^\infty(C_\theta)$ es una función par y positiva, entonces existe una hipersuperficie capilar $\Sigma \subset \mathbb{R}^{n+1}_+$ que es:

• Par (simétrica respecto al eje $x_{n+1}$).
• Suave.
• Estrictamente convexa.
• Solución de la ecuación de curvatura $L^p$ capilar especificada.

Teorema 3.3 (Acotación de Soluciones):
Para el mismo rango de parámetros, cualquier solución par, suave y estrictamente convexa satisface límites uniformes:
$$C_1^{-1} \le s \le C_1$$
donde $C_1$ depende solo de $\theta, k, p, \gamma$ y $\phi$. Esto se demuestra directamente a partir de la estimación de gradiente, sin necesidad de argumentos convexo-geométricos complejos adicionales.

4. Contribuciones Clave y Significado

1. Eliminación de Restricciones Angulares: La contribución más significativa es la eliminación de la restricción de ángulo de contacto que dependía de $p$ en trabajos anteriores para el rango $1 < p < k + 1$. El resultado ahora es válido para cualquier ángulo agudo $\theta \in (0, \pi/2)$.
2. Generalidad del Método: La estimación de gradiente desarrollada no depende de una estructura especial de $S_k$ más allá de su homogeneidad $k$. Esto implica que el método es aplicable a una clase más amplia de problemas, incluyendo:
   • Problemas de curvatura de cociente capilar.
   • El problema de Christoffel-Minkowski capilar $L^p$.
3. Unificación de Casos: El trabajo cierra la brecha en la teoría de existencia para el problema capilar $L^p$, unificando el tratamiento de los casos $p=1$, $p \ge k+1$ (ya resueltos previamente) y el rango crítico $1 < p < k+1$.
4. Aplicabilidad Independiente: La demostración de que la estimación de gradiente implica directamente límites dos lados para la función de soporte (Lema 3.2 y Teorema 3.3) ofrece una herramienta técnica nueva y potente para el análisis de problemas capilares, independiente de la teoría de grado.

5. Conclusión

El artículo resuelve completamente el problema de existencia para la curvatura $L^p$ capilar en el rango $1 < p < k + 1$ para todo ángulo de contacto posible. La clave del éxito fue el diseño de una función de prueba ponderada ($\Psi$) que compensa la geometría del borde, permitiendo superar las obstrucciones técnicas que limitaban los resultados anteriores. Este avance consolida la teoría de ecuaciones de curvatura en dominios con frontera y abre nuevas vías para problemas relacionados en geometría convexa y análisis geométrico.