The Buckling and Clamped Plate Problems on Differential Forms

Resumen Técnico: Los Problemas de la Placa de Pandeo y de Placa Empotrada sobre Formas Diferenciales

Planteamiento del Problema
Este artículo extiende los problemas clásicos de la placa de pandeo y de la placa empotrada, formulados tradicionalmente para funciones escalares en variedades riemannianas, al contexto de las formas diferenciales. Específicamente, los autores consideran dos problemas de autovalores para $p$-formas $\omega$ en una variedad riemanniana compacta de dimensión $n$, $(M, g)$, con una frontera suave $\partial M$. Investigan dos problemas de autovalores para $\omega$:

1. El Problema de la Placa Empotrada:
   $$\Delta^2 \omega = \Gamma \omega \quad \text{en } M, \quad \omega = 0, \quad \nabla_\nu \omega = 0 \quad \text{en } \partial M$$
2. El Problema de Pandeo:
   $$\Delta^2 \omega = \Lambda \Delta \omega \quad \text{en } M, \quad \omega = 0, \quad \nabla_\nu \omega = 0 \quad \text{en } \partial M$$

Aquí, $\Delta = d\delta + \delta d$ es el Laplaciano de Hodge, $\nu$ es el campo de vectores unitario normal hacia el interior, y se demuestra que las condiciones de frontera $\omega|_{\partial M} = 0$ y $\nabla_\nu \omega|_{\partial M} = 0$ son equivalentes a la anulación de las componentes tangencial y normal de la forma y de su codiferencial ($\iota^*\omega = 0, \nu \lrcorner \omega = 0, \iota^*\delta\omega = 0, \nu \lrcorner d\omega = 0$). Estas condiciones se establecen como elípticas en el sentido de Lopatinskiĭ–Shapiro.

Metodología
Los autores emplean un enfoque variacional combinado con la teoría espectral y el análisis geométrico.

• Existencia Espectral: Definen espacios de Hilbert apropiados de formas integrables en $L^2$ que satisfacen las condiciones de frontera. Utilizando fórmulas de integración por partes (específicamente aprovechando la anulación de los términos de frontera para las formas en el espacio $Z$ definido), establecen la autoadjuntosidad y la compacidad de los operadores asociados. Esto les permite invocar el teorema espectral para operadores autoadjuntos compactos para probar la existencia de espectros discretos consistentes en autovalores con multiplicidades finitas.
• Caracterización Variacional: Los primeros autovalores $\Gamma_{1,p}$ y $\Lambda_{1,p}$ se caracterizan mediante cocientes de Rayleigh que involucran las normas $L^2$ de $\Delta \omega$, $d\omega$ y $\delta \omega$.
• Comparación con Problemas Escalares: Para dominios euclidianos acotados, los autores utilizan la existencia de $p$-formas paralelas para construir un mapeo entre las autofunciones de los problemas escalares y las autofórmas de los problemas de formas diferenciales.
• Desigualdades Geométricas: Para derivar estimaciones, los autores utilizan la fórmula de Weitzenböck ($\Delta = \nabla^*\nabla + W^{[p]}$) y la fórmula de Reilly. También emplean formas de prueba construidas a partir de la contracción de autofórmas con campos vectoriales paralelos (en el caso euclidiano) o proyecciones tangenciales de campos vectoriales ambientales (en el caso esférico).

Contribuciones Clave y Resultados

1. Equivalencia Espectral en Dominios Euclidianos:
   El artículo demuestra que para un dominio acotado $M \subset \mathbb{R}^n$, los espectros (sin multiplicidades) de los problemas de pandeo y de placa empotrada en $p$-formas coinciden exactamente con los espectros de los problemas correspondientes en funciones (0-formas). Específicamente, $\Lambda_{i,p} = \Lambda_{i,0}$ y $\Gamma_{i,p} = \Gamma_{i,0}$. La multiplicidad de los autovalores para $p$-formas es $\binom{n}{p}$ veces la del caso escalar. Este resultado permite el cálculo explícito de los autovalores para bolas euclidianas utilizando los ceros de las funciones Bessel conocidos.

2. Estimaciones Generales de Autovalores:
   Los autores establecen una jerarquía de desigualdades que relaciona los primeros autovalores de los problemas de pandeo ($\Lambda_{1,p}$), placa empotrada ($\Gamma_{1,p}$), Laplaciano de Hodge de Dirichlet ($\lambda_{1,p}$) y de condición de frontera absoluta ($\mu_{1,p}$):

   • $\Gamma_{1,p} < \Lambda_{1,p}^2$
   • $\Lambda_{1,p} \lambda_{1,p} < \Gamma_{1,p}$
   • $\inf(\lambda_{1,p+1}, \lambda_{1,p-1}) \leq \Lambda_{1,p}$
   • $\lambda_{1,1} \leq \Lambda_{1,0}$
   • $\max(\mu_{1,p}, \mu_{1,n-p}) \leq \Lambda_{1,p}$

   Estas desigualdades generalizan resultados conocidos para funciones escalares (por ejemplo, los de Payne, Ashbaugh, Laugesen, y Chen et al.) al entorno de las formas diferenciales. El artículo señala que las igualdades en estas desigualdades generalmente no se cumplen para dominios euclidianos acotados.

3. Cotas Inferiores Dependientes de la Curvatura:
   Bajo el supuesto de que el operador de curvatura de Weitzenböck $W^{[p]}$ está acotado inferiormente por una constante positiva $\gamma p(n-p)$, los autores derivan nuevas cotas inferiores para los primeros autovalores:

   • $\Lambda_{1,p} > \gamma p(n-p+1)$
   • $\Gamma_{1,p} > \gamma^2 p^2(n-p+1)^2$
     Estos resultados generalizan las estimaciones previas de Chen, Cheng, Wang y Xia para funciones escalares.

4. Resultados en la Esfera Unidad:
   Para dominios dentro de la esfera unidad $S^n$, el artículo deriva desigualdades que relacionan los primeros autovalores de diferentes grados ($p-1, p, p+1$). Específicamente, para $1 \leq p \leq [n/2]$:
   $$p\Gamma_{1,p-1} + (n-p)\Gamma_{1,p+1} < C_{n,p} \Gamma_{1,p}$$
   $$\min(p\Lambda_{1,p-1}, (n-p)\Lambda_{1,p+1}) < \frac{C_{n,p}}{2} \Lambda_{1,p}$$
   donde $C_{n,p}$ es una constante explícita que depende de $n$ y $p$.

Significación y Reivindicaciones
Los autores afirman que su trabajo proporciona la primera extensión sistemática de los problemas de la placa de pandeo y de la placa empotrada a las formas diferenciales. Reivindican que las condiciones de frontera elegidas son las "más naturales" en este contexto. La principal significación del trabajo radica en:

• Generalización: Extender con éxito las desigualdades espectrales clásicas de funciones a formas, unificando así el tratamiento de estos problemas a través de los diferentes grados de las formas diferenciales.
• Caracterización: Proporcionar una caracterización precisa de los primeros autovalores y probar la discreción de los espectros.
• Unificación: Demostrar que, en el entorno euclidiano, las propiedades espectrales de las formas están determinadas directamente por el caso escalar, escaladas por factores combinatorios.
• Nuevas Estimaciones: Ofrecer nuevas cotas inferiores dependientes de las condiciones de curvatura (operador de Weitzenböck) y establecer relaciones entre diferentes problemas de valores en la frontera (Dirichlet, Absoluta, Pandeo, Placa Empotrada) en variedades generales.

El artículo concluye señalando que, si bien se han establecido desigualdades universales para el caso escalar, extenderlas al contexto de las formas sigue siendo una cuestión abierta para trabajos futuros.