Quasiconvexity in the Riemannian setting

Resumo Técnico: Quasiconvexidade no Contexto Riemanniano

1. O Problema e o Contexto

O cálculo das variações clássico lida com a busca de minimizadores para funcionais integrais definidos em espaços de Sobolev $W^{1,p}(\Omega, \mathbb{R}^m)$, onde $\Omega \subseteq \mathbb{R}^n$. Um resultado fundamental estabelece que a semicontinuidade inferior sequencial desses funcionais (em relação à topologia fraca ou fraca*) é equivalente à quasiconvexidade do integrando, conforme definido por Morrey (1952).

O problema abordado neste artigo é a generalização dessa teoria para o contexto de variedades Riemannianas. Especificamente, os autores buscam:

• Definir um conceito de quasiconvexidade para funções contínuas $f$ definidas no fibrado vetorial de mapas lineares entre os espaços tangentes de uma variedade Riemanniana $(M, g)$ e $\mathbb{R}^m$, denotado por $\mathcal{L}(TM, \mathbb{R}^m)$.
• Estabelecer a equivalência entre essa nova definição de quasiconvexidade e a semicontinuidade inferior sequencial do funcional integral associado no espaço $W^{1,\infty}(\Omega, \mathbb{R}^m)$, onde $\Omega \subseteq M$ é um subconjunto aberto e limitado.

A principal dificuldade reside na geometria intrínseca da variedade: diferentemente do espaço Euclidiano, os espaços tangentes em pontos distintos não podem ser identificados diretamente, impedindo a simples adição de diferenciais em pontos diferentes.

2. Metodologia e Definições Chave

Definição de Quasiconvexidade Riemanniana (Definição 2.1):
Os autores introduzem uma generalização da definição clássica de Morrey. Seja $(M, g)$ uma variedade Riemanniana suave, conexa e completa, e $\mu$ sua medida de volume canônica. Uma função contínua $f: \mathcal{L}(TM, \mathbb{R}^m) \to \mathbb{R}$ é dita quasiconvexa se, para todo $x_0 \in M$, todo $\alpha_{x_0} \in (T_{x_0}^*M)^m$ e toda função de teste $\phi \in C_c^\infty(Q_r^{x_0}, \mathbb{R}^m)$, vale a desigualdade:

$$f(\alpha_{x_0}) \leq \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)$$

Onde:

• $Q_r^{x_0}$ é uma imagem de um cubo no espaço tangente via o mapa exponencial.
• O termo $d\exp_{x_0}[\exp_{x_0}^{-1}(x)]$ atua como um "transporte" que leva o diferencial da perturbação $\phi$ de volta ao espaço tangente em $x_0$, permitindo a comparação com $\alpha_{x_0}$.
• O termo de erro $o(1)$ tende a zero quando o raio $r \to 0$ e depende apenas da norma $L^\infty$ do gradiente de $\phi$.

Abordagem Técnica:

• Trivialização Local: Utilizam-se quadros ortonormais locais para trivializar o fibrado vetorial, permitindo a comparação de normas e distâncias.
• Mapa Exponencial: O uso do mapa exponencial é crucial para definir vizinhanças geodésicas e transportar tensores, substituindo a identidade do caso Euclidiano.
• Convergência Fraca:* A análise é realizada no espaço $W^{1,\infty}(\Omega, \mathbb{R}^m)$, utilizando a compacidade fraca* (Teorema de Banach-Alaoglu-Bourbaki) e propriedades de medidas de Radon.

3. Resultados Principais

Os autores provam dois teoremas principais que estabelecem a equivalência desejada, generalizando os resultados de Acerbi e Fusco para o caso Riemanniano:

• Teorema 3.1 (Suficiência): Se $f$ é contínua e quasiconvexa (segundo a Definição 2.1), então o funcional
  $$F(u, \Omega) = \int_{\Omega} f(du) \, d\mu$$
  é sequencialmente semicontínuo inferiormente em relação à topologia fraca* de $W^{1,\infty}(\Omega, \mathbb{R}^m)$.

  • Esboço da prova: Utiliza-se uma sequência de perturbações localizadas e a propriedade de quasiconvexidade para limitar o valor do funcional no limite inferior, lidando com os termos de erro introduzidos pela curvatura da variedade (via o mapa exponencial).

• Teorema 3.2 (Necessidade): Se o funcional $F$ é sequencialmente semicontínuo inferiormente para todo $\Omega$, então a função $f$ deve ser quasiconvexa.

  • Esboço da prova: Constrói-se uma sequência oscilatória específica (baseada em extensões periódicas de funções de teste via o mapa exponencial) que converge fracamente* para zero. A semicontinuidade do funcional força a desigualdade de quasiconvexidade a ser satisfeita.

• Teorema 3.3 (Equivalência Final): Combina os teoremas anteriores para afirmar que, para $f$ contínua, a quasiconvexidade no sentido Riemanniano é necessária e suficiente para a semicontinuidade inferior do funcional em $W^{1,\infty}$.

4. Contribuições e Significância

• Generalização Geométrica: O trabalho preenche uma lacuna teórica ao levar o conceito de quasiconvexidade (fundamental para a existência de minimizadores em elasticidade não linear e teoria de campos) para domínios curvos, onde a estrutura linear global não existe.
• Tratamento de Não-Linearidade Geométrica: A definição proposta lida rigorosamente com a impossibilidade de somar diferenciais em pontos diferentes, introduzindo um termo de correção via o diferencial do mapa exponencial que desaparece no limite local.
• Consistência com o Caso Euclidiano: Os autores demonstram que, quando $M = \mathbb{R}^n$ com a métrica padrão, sua definição se reduz exatamente à definição clássica de Morrey, validando a generalização.
• Fundamento para Pesquisa Futura: O artigo estabelece a base para extensões futuras, como:
  • Generalização para espaços $W^{1,p}$ com $1 \leq p < \infty$.
  • Consideração de mapas entre duas variedades Riemannianas (Sobolev maps $u: \Omega \to N$).
  • Definição de convexidade polinomial (polyconvexity) e convexidade de posto-um (rank-one convexity) no contexto Riemanniano.

Em suma, o artigo fornece as ferramentas analíticas necessárias para estudar problemas variacionais em geometria Riemanniana, garantindo que os critérios de existência de minimizadores baseados na quasiconvexidade permaneçam válidos em espaços curvos.