Sign-changing solutions to the Yamabe problem on manifolds with boundary

Aquí presento un resumen técnico detallado del artículo "Sign-Changing Solutions to the Yamabe Problem on Manifolds with Boundary" de Mónica Clapp, Benedetta Pellacci y Angela Pistoia.

1. Planteamiento del Problema

El trabajo aborda la extensión del Problema de Yamabe a variedades Riemannianas compactas con borde $(M, g)$ de dimensión $n \ge 3$. El objetivo clásico es encontrar una métrica conformemente equivalente $\tilde{g} = u^{\frac{4}{n-2}}g$ que tenga curvatura escalar constante en el interior y curvatura media constante en el borde.

Analíticamente, esto se traduce en resolver el siguiente problema de valor de frontera no lineal con crecimiento crítico:

$$\begin{cases} -\Delta_g u + c_n R_g u = a_n |u|^{\frac{4}{n-2}} u & \text{en } M, \\ \frac{\partial u}{\partial \nu} + d_n h_g u = b |u|^{\frac{2}{n-2}} u & \text{en } \partial M, \end{cases} \quad (1.1)$$

donde:

• $R_g$ es la curvatura escalar y $h_g$ la curvatura media del borde.
• $a_n = n(n-2)$, $c_n = \frac{n-2}{4(n-1)}$, $d_n = \frac{n-2}{2}$.
• $b \in \mathbb{R}$ es una constante relacionada con la curvatura media deseada en el borde.

Estado del arte y la brecha:

• La existencia de soluciones positivas ($u > 0$) está bien establecida para una amplia clase de variedades (trabajos de Yamabe, Trudinger, Aubin, Schoen, Cherrier, Escobar, Han, Li).
• La existencia de soluciones nodales (que cambian de signo, es decir, $u$ toma valores positivos y negativos) es un problema abierto y mucho más difícil. En variedades cerradas (sin borde), se conocen resultados bajo ciertas condiciones de simetría o dimensión alta, pero en variedades con borde, la literatura es escasa.

2. Metodología

Los autores emplean un enfoque variacional riguroso, combinando análisis funcional, teoría de invariancia conforme y estimaciones energéticas precisas.

A. Marco Variacional y Funcionales

Definen el funcional de energía $J: H^1(M) \to \mathbb{R}$ asociado al problema:
$$J(u) = \frac{1}{2} Q(u) - \frac{a_n}{p} \int_M |u|^p \, dv - \frac{b}{q} \int_{\partial M} |u|^q \, d\sigma$$
donde $Q(u)$ es la forma cuadrática asociada al operador de Laplace-Beltrami con condiciones de borde, y $p = \frac{2n}{n-2}$, $q = \frac{2(n-1)}{n-2}$ son los exponentes críticos de Sobolev.

Definen dos invariantes conformes clave:

1. $\mu_1(M)$: El ínfimo de $J$ sobre la variedad de Nehari $N$ (soluciones no triviales). Corresponde a la energía de la solución positiva de menor energía.
2. $\mu_2(M)$: El ínfimo de $J$ sobre el conjunto $E$ de soluciones que cambian de signo (donde tanto la parte positiva $u^+$ como la negativa $u^-$ pertenecen a $N$).

B. Estrategia de Prueba

El objetivo es demostrar que $\mu_2(M)$ es alcanzado por una solución. Para ello, utilizan una estrategia de minimax y análisis de la pérdida de compacidad:

1. Invariancia de Conos: Demuestran que, si $b \ge 0$, los conos de funciones positivas ($P_+$) y negativas ($P_-$) son estrictamente invariantes bajo el flujo de gradiente negativo del funcional $J$. Esto permite aislar las soluciones nodales de las soluciones puramente positivas o negativas.
2. Secuencias de Palais-Smale: Construyen una secuencia de Palais-Smale para $J$ en un nivel de energía que está "lejos" de los conos $P_+$ y $P_-$.
3. Análisis de Compacidad (Descomposición de Burbujas): Caracterizan la pérdida de compacidad. Si una secuencia no converge fuertemente, debe "descomponerse" en una solución débil más una o más "burbujas" (soluciones en el espacio euclidiano o en el semiespacio).
4. Condición de Energía Crítica: Demuestran que si se cumple la desigualdad estricta:
   $$\mu_2(M) < \mu_1(M) + \mu_1(B_b)$$
   donde $B_b$ es un casquete esférico (conformemente equivalente al semiespacio $\mathbb{R}^n_+$), entonces la secuencia de Palais-Smale converge fuertemente a una solución nodal de menor energía.

C. Estimaciones de Energía

Para verificar la condición anterior, construyen una función de prueba específica $W_\varepsilon$ basada en la "burbuja" de Escobar (solución en el semiespacio) modificada con un parámetro de corrección $\delta$ y una función de corte. Realizan un desarrollo asintótico fino de la energía $J(t W_\varepsilon)$ para $\varepsilon \to 0$.

3. Contribuciones Clave y Resultados Principales

El resultado central del artículo es el Teorema 1.1:

Teorema 1.1: Si $b \ge 0$, $n \ge 7$ y la variedad $M$ tiene al menos un punto no umbílico $\xi \in \partial M$, entonces el problema (1.1) admite una solución nodal de menor energía (least-energy sign-changing solution).

Puntos técnicos destacados:

• Condición de Dimensión: El resultado requiere $n \ge 7$. Esto es necesario para que los términos de error en las estimaciones de energía de la función de prueba sean del orden $o(\varepsilon^2)$, permitiendo que la corrección debida a la curvatura no umbiliciana domine sobre los términos de interacción.
• Punto No Umbílico: La existencia de un punto en el borde donde la segunda forma fundamental no es múltiplo de la identidad (punto no umbílico) es crucial. Esto permite que la curvatura del borde genere una perturbación que reduzca la energía por debajo del umbral crítico $\mu_1(M) + \mu_1(B_b)$.
• Caso $b \ge 0$: La restricción a $b \ge 0$ es técnica; garantiza la invariancia de los conos positivos y negativos bajo el flujo de gradiente. El caso $b < 0$ permanece como un problema abierto y desafiante en este trabajo.
• Diferencia con trabajos previos: A diferencia de trabajos anteriores (como los de Ho y Pyo para $b=0$) que usaban la tensor de Weyl, este trabajo utiliza la no umbilicidad del borde y una estimación energética directa basada en la interacción entre la solución positiva y la burbuja de prueba.

4. Significado e Impacto

• Avance en Geometría Conforme: Este trabajo cierra una brecha significativa en la comprensión del Problema de Yamabe con borde, extendiendo la existencia de soluciones nodales (que no son métricas en el sentido clásico, sino "métricas generalizadas") a una clase amplia de variedades con borde.
• Nuevas Herramientas Variacionales: La demostración de la invariancia estricta de los conos bajo el flujo de gradiente para $b \ge 0$ y el uso de estimaciones de energía finas para separar la energía nodal de la positiva ofrecen herramientas metodológicas que pueden aplicarse a otros problemas no lineales con crecimiento crítico en dominios con borde.
• Relación con la Geometría del Borde: Establece una conexión directa entre la geometría local del borde (puntos no umbílicos) y la existencia de soluciones con estructura nodal compleja, sugiriendo que la geometría del borde puede "forzar" la aparición de nodos en la solución.

En resumen, el artículo demuestra que, bajo condiciones geométricas y dimensionales específicas ($n \ge 7$, borde no umbílico, $b \ge 0$), la energía necesaria para formar una solución que cambia de signo es estrictamente menor que la suma de las energías de las soluciones positivas y las burbujas de concentración, garantizando así la existencia de soluciones nodales de mínima energía.