Robin nullity in mode $|k|=1$ and asymptotic radius of the critical hyperbolic catenoid

Resumen Técnico: Nulidad de Robin en el Modo $|k|=1$ y Radio Asintótico del Catenoide Hiperbólico Crítico

Planteamiento del Problema
Esta nota investiga las propiedades analíticas de la familia de catenoides hiperbólicos críticos $\Sigma_a$, una familia uniparamétrica de anillos mínimos de frontera libre con simetría rotacional (FBMS) contenidos dentro de una bola geodésica $B^3(r(a))$ en el espacio hiperbólico $\mathbb{H}^3$. Estas superficies, introducidas originalmente por Mori y revisitadas posteriormente por do Carmo–Dajczer y Medvedev, interpolan entre una configuración degenerada cuando el parámetro $a \to (1/2)^+$ y una configuración no acotada cuando $a \to \infty$.

Los objetivos principales son determinar la nulidad de Robin y el índice de Morse del operador de Jacobi restringido al modo de Fourier angular $|k|=1$, y derivar expansiones asintóticas precisas para el radio de frontera $r(a)$ tanto en el límite de parámetro grande ($a \to \infty$) como en el límite degenerado ($a \to (1/2)^+$). Este trabajo busca refinar la cota inferior del índice de Morse establecida por Medvedev y proporcionar expresiones cerradas para constantes geométricas que anteriormente solo se conocían de forma implícita.

Metodología
El análisis se basa en la parametrización explícita de $\Sigma_a$ proporcionada por Medvedev, utilizando la cantidad conservada $K(a) = \sqrt{a^2 - 1/4}$ asociada a la simetría rotacional. La metodología procede a través de tres estrategias analíticas principales:

1. Configuración Geométrica y Espectral: El artículo establece la métrica inducida, la segunda forma fundamental y el operador de Jacobi $L_{\Sigma_a} = \Delta_g + (|II|^2 - 2)$. Identifica los campos de Killing–Jacobi generados por el álgebra de Lie $\mathfrak{so}(3,1)$ que preservan la bola geodésica de acotación. Específicamente, aísla la subálgebra de rotaciones espaciales que fijan el eje geodésico del catenoide.
2. Descomposición Modo a Modo: Siguiendo la estrategia de Devyver para el catenoide crítico euclidiano, el operador de Jacobi se descompone en modos de Fourier angulares. El análisis se centra en la ecuación diferencial ordinaria (ODE) radial asociada al modo $|k|=1$. La prueba del resultado de nulidad utiliza la teoría de Sturm–Liouville, analizando específicamente los ceros del perfil radial y el wronskiano de las soluciones para distinguir entre los sectores de paridad impar y par.
3. Análisis Asintótico: Para el límite de parámetro grande, la condición de frontera libre implícita se analiza utilizando asintóticas de tipo Laplace. Esto implica evaluar una integral impropia relacionada con el perfil angular $\phi(s)$ mediante la función Beta. Para el límite degenerado, se realiza un análisis de perturbación cerca de $a = 1/2$ escalando la coordenada radial y resolviendo una ecuación trascendental para el coeficiente de orden principal.

Contribuciones y Resultados Clave

• Nulidad e Índice de Robin en el Modo $|k|=1$:
  El artículo demuestra que para todo $a > 1/2$, la nulidad de Robin del operador de Jacobi restringido al modo $|k|=1$ es exactamente 2. El núcleo está generado por los campos de Killing–Jacobi asociados a las rotaciones $L_{12}$ y $L_{13}$ en los planos $(x_1, x_2)$ y $(x_1, x_3)$.
  Un hallazgo central es la identificación del perfil radial $f_*(s)$ de estos campos en forma cerrada:
  $$f_*(s) = \partial_s \Phi^0_a(s, 0) = \sinh(r(s)) \cdot r'(s),$$
  donde $r(s)$ es la distancia hiperbólica desde el centro de la bola. Esta identidad estructural vincula directamente el campo de Jacobi con la derivada de la coordenada temporal en el modelo del hiperboloide.
  En consecuencia, se establece que el índice de Morse de Robin en el modo $|k|=1$ es 2. Este resultado refina la cota inferior de Medvedev de $\text{ind}(\Sigma_a) \ge 4$ al confirmar que la contribución del sector $|k|=1$ es exactamente 2, lo que implica que los modos restantes contribuyen al menos 2 al índice total.

• Radio Asintótico ($a \to \infty$):
  El artículo deriva la expansión asintótica del radio de frontera $r(a)$ cuando $a \to \infty$:
  $$r(a) = \frac{3}{2} \log a + d_\infty + o(1).$$
  La constante $d_\infty$ se calcula en forma cerrada utilizando la evaluación de la función Beta de la integral $\int_0^\infty \cosh(2t)^{-3/2} dt$:
  $$d_\infty = \log \left( \frac{\sqrt{2} \, \Gamma(1/4)^2}{\pi^{3/2}} \right) = \log \left( \frac{2\sqrt{2\pi}}{\Gamma(3/4)^2} \right).$$
  Esto proporciona la primera expresión explícita en forma cerrada para esta constante asintótica.

• Límite Degenerado ($a \to (1/2)^+$):
  A medida que el parámetro se acerca al límite inferior, el radio se comporta como:
  $$r(a) = c_* \sqrt{a - 1/2} \, (1 + o(1)).$$
  La constante $c_*$ viene dada por $c_* = \sigma_* \cosh \sigma_*$, donde $\sigma_*$ es el único punto fijo positivo de la ecuación $\sigma = \coth \sigma$. Esto caracteriza la tasa a la que la superficie colapsa a una configuración degenerada.

Significado y Afirmaciones
El artículo afirma proporcionar un refinamiento analítico riguroso de las propiedades espectrales del catenoide hiperbólico crítico. Al identificar explícitamente el núcleo en el modo $|k|=1$ con campos de Killing específicos y probar el conteo de índices mediante la teoría de Sturm–Liouville, el trabajo cierra la brecha entre la intuición geométrica (deformaciones isométricas) y el análisis espectral.

La derivación de la constante en forma cerrada $d_\infty$ se presenta como un paso no elemental que depende de la teoría de funciones especiales (funciones Gamma y Beta), ofreciendo un invariante geométrico preciso para la familia. Los resultados apoyan la conjetura de que el índice de Morse total es exactamente 4, aunque el artículo señala que probar la anulación del índice en los modos $|k| \ge 2$ y determinar el índice exacto en el modo $|k|=0$ sigue siendo un problema abierto. El trabajo se enmarca como una nota breve que establece estos resultados analíticos específicos, dejando para futuras investigaciones las asintóticas de orden superior y los análogos en dimensiones superiores como preguntas abiertas.