Mosco-convergence of Cheeger energies on varying spaces satisfying curvature dimension conditions

Este artigo investiga a convergência de Mosco dos energéticos de Cheeger em espaços que satisfazem condições de dimensão-curvatura e convergem na métrica de Gromov-Hausdorff, utilizando uma abordagem lagrangiana para estabelecer a continuidade dos autovalores de Neumann e analisar funções de variação limitada em contextos possivelmente de dimensão infinita.

O essencial

Imagine que você tem uma coleção de mapas de territórios diferentes. Alguns são planícies perfeitas, outros são montanhas acidentadas, alguns são ilhas pequenas e outros são continentes gigantes. Agora, imagine que esses mapas estão mudando de forma, se transformando um no outro, como se estivessem derretendo e se reconstruindo.

A pergunta que os autores deste artigo (Francesco Nobili, Federico Renzi e Federico Vitillaro) fazem é: quando esses mapas mudam de forma, as "regras de energia" que governam o movimento dentro deles também mudam de forma suave, ou elas quebram?

Aqui está uma explicação simples, usando analogias do dia a dia:

1. O Cenário: Mapas que mudam (Espaços que Convergem)

Pense em um espaço (um território) como uma superfície onde você pode andar.

• Espaços com "Curvatura": Alguns terrenos são como bolas (curvatura positiva), outros como selas de cavalo (curvatura negativa) ou planos infinitos. A matemática usa regras chamadas CD(K, N) e MCP(K, N) para garantir que esses terrenos tenham uma "estrutura de curvatura" consistente, mesmo que sejam muito complexos ou não pareçam superfícies normais.
• A Mudança (Convergência): Os autores estudam o que acontece quando uma sequência desses terrenos se transforma gradualmente em um terreno final. É como se você tivesse uma série de fotos de um objeto sendo esculpido, e a última foto é a obra final.

2. O Problema: A "Energia" das Caminhadas (Energias de Cheeger)

Para entender como as coisas se movem nesses terrenos, os matemáticos usam uma medida chamada Energia de Cheeger.

• A Analogia da Colina: Imagine que você quer subir uma colina. A "Energia" é o esforço que você precisa fazer. Se a colina é suave, o esforço é baixo. Se é íngreme, o esforço é alto.
• O Desafio: Quando o terreno muda de um para o outro (de um mapa para outro), será que o esforço necessário para subir a colina no novo terreno é previsível?
  • Se eu tenho uma função (um caminho) que gasta pouca energia no terreno antigo, e o terreno muda, essa função ainda gastará pouca energia no novo?
  • Ou será que, ao mudar o terreno, o "chão" se torna tão irregular que o esforço explode, mesmo que o terreno pareça ter mudado suavemente?

3. A Descoberta Principal: A Estabilidade (Mosco-Convergência)

O grande feito deste artigo é provar que, se os terrenos tiverem certas regras de curvatura (como ter uma "força gravitacional" mínima ou um limite de dimensão), então a energia se comporta de forma estável.

• A Analogia do Elástico: Pense na energia como um elástico esticado. Se você muda a forma do objeto ao qual o elástico está preso, o elástico pode mudar de tensão. Os autores provaram que, se o objeto (o espaço) tem as regras de curvatura certas, o elástico não vai "estalar" ou perder a tensão de forma imprevisível. Ele se ajusta suavemente.
• O Resultado: Eles mostraram que, se você tem uma sequência de terrenos mudando, e você calcula a energia de um caminho neles, a energia do caminho final será, no máximo, igual ao limite das energias anteriores. Não há surpresas desagradáveis.

4. A Técnica: "Interpolação Poligonal" (Construindo Pontes)

Como provar isso em terrenos que podem ser infinitamente complexos?

• O Problema: Às vezes, o caminho mais curto (geodésico) em um terreno antigo não tem um equivalente perfeito no terreno novo. É como tentar desenhar uma linha reta em um mapa de papel e depois passar esse mapa para um globo 3D; a linha pode ter que se curvar.
• A Solução: Os autores usam uma técnica chamada interpolação poligonal.
  • A Analogia: Imagine que você precisa atravessar um rio que está mudando de forma. Em vez de tentar pular de uma margem para a outra de uma vez só (o que pode falhar), você constrói uma ponte com várias tábuas pequenas (polígonos).
  • Eles dividem o caminho em muitos pedacinhos pequenos. Em cada pedacinho, o terreno é tão pequeno que parece plano. Eles constroem "pontes" (caminhos) nesses pedacinhos nos terrenos antigos e mostram que, à medida que os pedacinhos ficam menores e os terrenos mudam, essas pontes se encaixam perfeitamente no novo terreno.

5. Por que isso importa? (Otimização e Física)

O artigo termina mostrando uma aplicação prática: os Eigenvalores de Neumann.

• A Analogia do Tambor: Imagine que cada terreno é a pele de um tambor. Quando você bate no tambor, ele vibra em certas frequências (notas musicais). Essas frequências dependem do formato e do tamanho do tambor.
• A Conclusão: Se você tem um tambor que está sendo moldado (o terreno mudando), e ele tem as regras de curvatura certas, a nota que ele toca (a frequência fundamental) mudará de forma suave. Você não vai ouvir um "pulo" súbito para uma nota totalmente diferente; a música mudará gradualmente.

Resumo em uma frase

Os autores provaram que, se você tem um conjunto de "mundos" que obedecem a certas leis de geometria e estão mudando de forma, as leis de "esforço" (energia) para se mover nesses mundos também mudam de forma suave e previsível, permitindo que a física e a matemática funcionem sem surpresas durante a transformação.

Eles usaram uma abordagem "Lagrangiana" (olhando para o caminho percorrido por partículas) em vez de apenas olhar para a paisagem estática, o que foi como trocar de olhar para o mapa estático de olhar para o rastro deixado por um viajante, permitindo que eles construíssem essas "pontes" de prova de forma mais eficiente.

Resumo técnico

Título: Mosco-Convergência de Energias de Cheeger em Espaços Variáveis Satisfazendo Condições de Dimensão de Curvatura

1. Problema e Contexto

O artigo investiga a estabilidade de propriedades de primeira ordem (cálculo de Sobolev e funções de variação limitada - BV) em sequências de espaços métricos medidos que convergem no sentido de Gromov-Hausdorff pontuado medido (pmGH).

• O Cenário: Considera-se uma sequência de espaços métricos medidos pontuados $(X_n, d_n, m_n, x_n)$ que satisfazem condições de dimensão de curvatura (como $CD(K, N)$ ou $MCP(K, N)$) e que convergem para um espaço limite $(X_\infty, d_\infty, m_\infty, x_\infty)$.
• A Questão Central: Dada uma sequência de funções $f_n$ em $L^p(m_n)$ que converge fracamente para $f_\infty$ em $L^p(m_\infty)$, a energia de Cheger $Ch_p(f_n)$ (ou a variação total $|Df_n|$) é semicontínua inferiormente? Ou seja, vale a desigualdade:
  $$Ch_p(f_\infty) \leq \liminf_{n \to \infty} Ch_p(f_n)$$
  e, mais fortemente, existe uma sequência de recuperação que satisfaz a convergência de Mosco?
• Desafio: Em espaços variáveis, a convergência zero-ordem (da estrutura métrica) não garante automaticamente a estabilidade de quantidades de primeira ordem (derivadas). Resultados anteriores existiam para o caso $p=2$ em espaços $RCD$ ou sob hipóteses restritivas. O objetivo é generalizar isso para todo $p \in (1, \infty)$ e para a classe BV, cobrindo também espaços de dimensão infinita e não-riemannianos.

2. Metodologia

Os autores adotam uma abordagem Lagrangiana direta, evitando o uso de formulações Eulerianas (como o fluxo de calor ou a equação de Laplace) na prova principal, o que permite tratar espaços não-suaves e não-riemannianos de forma mais robusta.

• Caracterização Lagrangiana do Cálculo:
  Utilizam o teorema que caracteriza funções em $W^{1,p}$ e $BV$ através de planos de teste (test plans). Uma função $f$ pertence a $W^{1,p}$ se e somente se existe uma constante $C$ tal que para todo plano de teste $q$-admissível $\pi$:
  $$\int (f(\gamma_1) - f(\gamma_0)) \, d\pi \leq C \cdot \text{Comp}(\pi)^{1/p} \cdot \text{Ke}_q(\pi)^{1/q}$$
  onde $\text{Comp}$ é a constante de compressão e $\text{Ke}_q$ é a energia cinética.

• Interpolação Poligonal em Espaços Variáveis:
  O núcleo da prova envolve a construção de planos geodésicos poligonais em espaços variáveis.

  • Para $K \geq 0$: É possível aproximar planos de teste no espaço limite por planos geodésicos simples nos espaços $X_n$ preservando as estimativas de compressão e energia cinética.
  • Para $K < 0$ (curvatura negativa): A construção é mais complexa. Os autores desenvolvem uma técnica de interpolação poligonal (dividindo o geodésico em $M$ segmentos) para controlar a perda de massa e garantir que as estimativas de compressão e convergência das medidas marginais sejam mantidas assintoticamente quando $M \to \infty$ e $n \to \infty$.

• Estabilidade de Geodésicas de Wasserstein:
  Combinam a estabilidade das geodésicas de Wasserstein sob convergência pmGH com as propriedades de não-ramificação essencial ($q$-essentially non-branching) e as condições de curvatura-dimensão para obter estimativas precisas de densidade ao longo das geodésicas.

3. Contribuições e Resultados Principais

Teorema 1.1: Estabilidade sob Condição $CD(K, N)$

Se os espaços $X_n$ são $q$-essencialmente não-ramificados e satisfazem $CD(K, N)$, e convergem pmGH para $X_\infty$:

1. Para $p \in (1, \infty)$: Se $f_n \rightharpoonup f_\infty$ fracamente em $L^p$, então $f_\infty \in W^{1,p}(X_\infty)$ e:
   $$Ch_p(f_\infty) \leq \liminf_{n \to \infty} Ch_p(fn)$$
   (Nota: Este resultado é novo para $p \neq 2$. Para $p=2$, já era conhecido em [36].)
2. Para $p=1$ (BV): Se $f_n \rightharpoonup f_\infty$ fracamente em $L^1$, então $f_\infty \in BV(X_\infty)$ e:
   $$|Df_\infty|(X_\infty) \leq \liminf_{n \to \infty} |Df_n|(X_n)$$

• Ponto Chave: O resultado vale mesmo que o espaço limite $X_\infty$ seja ramificado, desde que os espaços da sequência sejam não-ramificados. A prova utiliza a independência da condição $CD_q$ em relação ao expoente de transporte $q$ (Teorema 2.15).

Teorema 1.2: Estabilidade sob Condição $MCP(K, N)$

Para espaços satisfazendo a Propriedade de Contração de Medida ($MCP$):

1. A mesma semicontinuidade inferior é válida, mas com um fator multiplicativo $2^N$:
   $$Ch_p(f_\infty) \leq 2^N \liminf_{n \to \infty} Ch_p(fn)$$
   $$|Df_\infty|(X_\infty) \leq 2^N \liminf_{n \to \infty} |Df_n|(X_n)$$

• Significado: Este é o primeiro resultado de estabilidade para energias de Cheeger em espaços variáveis com propriedades de contração de medida uniformes. O fator $2^N$surge devido a estimativas de interpolação mais fracas sob$MCP$em comparação com$CD$.

Teorema 1.4: Continuidade de Autovalores de Neumann

Como aplicação direta da convergência de Mosco das energias de Cheeger, os autores provam a continuidade dos autovalores do $p$-Laplaciano (especificamente o primeiro autovalor não trivial de Neumann) sob convergência mGH:
$$\lambda_p(X_\infty) = \lim_{n \to \infty} \lambda_p(X_n)$$
Isso generaliza resultados anteriores que eram válidos apenas para $p=2$ ou na classe restrita de espaços $RCD$.

4. Significado e Impacto

• Generalização de Resultados Existentes: O trabalho estende a teoria de estabilidade de Mosco, anteriormente restrita a $p=2$ e espaços $RCD$ (que possuem estrutura riemanniana generalizada), para todo $p \in (1, \infty)$ e para a classe mais ampla de espaços $CD(K, N)$ e $MCP(K, N)$, incluindo espaços de dimensão infinita e não-riemannianos.
• Abordagem Direta: Ao evitar a dependência de propriedades de auto-aperfeiçoamento do fluxo de calor (usadas em trabalhos anteriores como [10]), a metodologia Lagrangiana é mais flexível e aplicável a contextos onde o fluxo de calor pode não ter as mesmas propriedades de regularidade.
• Robustez Geométrica: Os resultados mostram que a estrutura de cálculo de primeira ordem (derivadas fracas e variação total) é estável sob convergência geométrica, desde que haja um controle uniforme de segunda ordem (curvatura). Isso é crucial para a análise geométrica em espaços singulares e limites de variedades.
• Aplicações Futuras: A técnica de interpolação poligonal desenvolvida para lidar com curvatura negativa e espaços variáveis abre caminho para estudar outras quantidades geométricas e funcionais em contextos de limites de espaços métricos.

Em resumo, o artigo estabelece uma fundação sólida para o cálculo variacional em limites de espaços métricos medidos com curvatura limitada inferiormente, unificando e expandindo significativamente o conhecimento sobre a estabilidade de energias de Sobolev e BV.