Quasiconvexity in the Riemannian setting

Resumen Técnico: Cuasiconvexidad en el Contexto Riemanniano

1. Planteamiento del Problema

El cálculo de variaciones clásico establece una equivalencia fundamental entre la semicontinuidad inferior secuencial de funcionales integrales definidos sobre espacios de Sobolev y la cuasiconvexidad de su integrando. Este resultado, desarrollado por Morrey, Acerbi y Fusco en el contexto euclidiano ($\mathbb{R}^n$), caracteriza la existencia de minimizadores para funcionales de la forma:
$$F(u, \Omega) = \int_{\Omega} f(x, u(x), Du(x)) \, dx$$
bajo la topología débil (o débil-estrella para $p=\infty$).

El problema abordado en este trabajo es la generalización de esta teoría al contexto de variedades Riemannianas. Específicamente, los autores buscan definir una noción de cuasiconvexidad para funciones continuas $f$ definidas en el fibrado vectorial de aplicaciones lineales entre los espacios tangentes de una variedad Riemanniana $(M, g)$ y $\mathbb{R}^m$, denotado como $\mathcal{L}(TM, \mathbb{R}^m)$.

El desafío principal: En $\mathbb{R}^n$, los espacios tangentes en diferentes puntos se pueden identificar canónicamente, permitiendo sumar gradientes o derivadas de perturbaciones. En una variedad Riemanniana, los espacios tangentes $T_x M$ y $T_y M$ son espacios vectoriales distintos y no se pueden sumar directamente. Esto impide la aplicación directa de la definición euclidiana de cuasiconvexidad, que requiere promediar la función sobre perturbaciones de la forma $\xi + D\phi$.

2. Metodología y Definiciones Clave

A. Definición de Cuasiconvexidad Riemanniana (Definición 2.1)
Para superar la imposibilidad de sumar derivadas en puntos distintos, los autores introducen una definición que utiliza el mapa exponencial para "transportar" las perturbaciones al espacio tangente de un punto fijo $x_0$.

Una función continua $f: \mathcal{L}(TM, \mathbb{R}^m) \to \mathbb{R}$ se define como cuasiconvexa si, para todo $x_0 \in M$, todo $\alpha_{x_0} \in (T_{x_0}^*M)^m$ y toda función de prueba $\phi \in C_c^\infty(Q_{r}^{x_0}, \mathbb{R}^m)$ (donde $Q_{r}^{x_0}$ es la imagen de un cubo bajo el mapa exponencial), se cumple:

$$f(\alpha_{x_0}) \leq \frac{1}{\mu(Q_{r}^{x_0})} \int_{Q_{r}^{x_0}} f\left( \alpha_{x_0} + d\phi[x] \circ d(\exp_{x_0})[\exp_{x_0}^{-1}(x)] \right) d\mu(x) + o(1)$$

• Término de corrección: El término $o(1)$ tiende a cero cuando el radio $r \to 0$. Este término es crucial y depende monótonamente de la norma $L^\infty$ del gradiente de $\phi$.
• Interpretación geométrica: El término $d\phi[x] \circ d(\exp_{x_0})[\dots]$ actúa como un transporte paralelo aproximado (vía el diferencial del mapa exponencial) que lleva la derivada de la perturbación desde $x$ hasta $T_{x_0}M$, permitiendo la suma con $\alpha_{x_0}$. En el caso euclidiano, el mapa exponencial es la identidad y este término de corrección desaparece, recuperando la definición clásica.

B. Marco Funcional
El análisis se realiza en el espacio de Sobolev $W^{1,\infty}(\Omega, \mathbb{R}^m)$ sobre un subconjunto abierto y acotado $\Omega \subseteq M$. La convergencia considerada es la convergencia débil-estrella ($u_j \rightharpoonup^* u$), lo que implica la acotación uniforme de los diferenciales $du_j$ y la convergencia uniforme de las funciones $u_j$.

3. Resultados Principales

El núcleo del artículo consiste en probar la equivalencia entre la cuasiconvexidad definida anteriormente y la semicontinuidad inferior del funcional integral asociado.

Teorema 3.1 (Suficiencia):
Si $f$ es continua y cuasiconvexa según la Definición 2.1, entonces el funcional
$$F(u, \Omega) = \int_{\Omega} f(du) \, d\mu$$
es secuencialmente semicontinuo inferiormente en la topología débil-estrella de $W^{1,\infty}(\Omega, \mathbb{R}^m)$.

• Esquema de la prueba: Se utiliza una técnica de "localización" y "blow-up". Se construye una secuencia de perturbaciones $\phi_j$ que anulan la diferencia entre $u_j$ y $u$ localmente. Se aplica la desigualdad de cuasiconvexidad en un punto $x_0$ y se utiliza la continuidad uniforme de $f$ y las propiedades del mapa exponencial (que se aproxima a la identidad localmente) para controlar los errores geométricos. Finalmente, se utiliza el teorema de Radon-Nikodym y la convergencia débil de medidas para establecer la desigualdad global.

Teorema 3.2 (Necesidad):
Si el funcional $F(u, \Omega)$ es secuencialmente semicontinuo inferiormente para todo $\Omega$, entonces $f$ debe ser cuasiconvexa según la Definición 2.1.

• Esquema de la prueba: Se construye una secuencia oscilatoria específica mediante la periodicidad de una función de prueba $\psi$ escalada por un parámetro $h \to \infty$. Esta secuencia converge débil-estrella a cero. La semicontinuidad inferior del funcional aplicado a esta secuencia fuerza la desigualdad integral que define la cuasiconvexidad, nuevamente utilizando el cambio de variables mediante el mapa exponencial para manejar la geometría de la variedad.

Teorema 3.3 (Caracterización Principal):
Combinando los teoremas anteriores, se establece que para una función continua $f: \mathcal{L}(TM, \mathbb{R}^m) \to \mathbb{R}$, la cuasiconvexidad es equivalente a la semicontinuidad inferior secuencial del funcional integral en $W^{1,\infty}$.

4. Contribuciones Clave

1. Generalización Geométrica: Se ha logrado extender la teoría de cuasiconvexidad de Morrey-Acerbi-Fusco desde el espacio euclidiano a variedades Riemannianas completas, conectadas y suaves.
2. Resolución del Problema de Transporte: Se ha propuesto una definición rigurosa que resuelve la dificultad de sumar derivadas en puntos distintos mediante el uso del diferencial del mapa exponencial, introduciendo un término de error controlable ($o(1)$) que desaparece en el límite local.
3. Consistencia con el Caso Euclidiano: Se demuestra que la definición propuesta es una extensión natural: si la variedad es $\mathbb{R}^n$ con la métrica estándar, la definición se reduce exactamente a la cuasiconvexidad clásica.
4. Marco para Funcionales Dependientes Solo del Gradiente: El trabajo se centra en integrandos que dependen de $du$ (y posiblemente de $x$ a través de la estructura del fibrado), generalizando los resultados de Acerbi y Fusco para el caso $p=\infty$.

5. Significado y Direcciones Futuras

Este trabajo sienta las bases teóricas para el análisis de minimización de funcionales variacionales en geometría Riemanniana, un área de creciente interés en física matemática (elasticidad no lineal en variedades, teoría de campos en espacios curvos) y geometría diferencial.

Los autores proponen varias direcciones futuras:

• Extensión a $W^{1,p}$: Generalizar los resultados para $1 \leq p < \infty$, análogo al Teorema 1.3 de Acerbi-Fusco.
• Mapas entre Variedades: Combinar sus resultados con los de Focardi y Spadaro para caracterizar la cuasiconvexidad en el contexto de mapas de Sobolev entre dos variedades Riemannianas ($u: \Omega \subset \mathbb{R}^n \to M$).
• Funciones de Carathéodory: Extender la teoría a integrandos que no son continuos en el sentido clásico, sino que satisfacen condiciones de Carathéodory en las trivializaciones locales del fibrado.
• Otras Convexidades: Introducir y comparar conceptos de convexidad poli y convexidad de rango uno en el contexto Riemanniano, esperando recuperar las relaciones jerárquicas conocidas en el caso euclidiano.

En conclusión, el artículo proporciona un marco robusto y geométricamente consistente para el cálculo de variaciones en variedades, asegurando que las herramientas analíticas fundamentales del caso plano sean válidas y bien definidas en entornos curvos.