Cartan's and Gauss's equations and rigidity theorems for isometric embeddings in low Sobolev regularity

Resumo Técnico: Equações de Cartan e de Gauss e Teoremas de Rigidez para Imbricamentos Isométricos em Baixa Regularidade de Sobolev

Enunciado do Problema
O artigo aborda a validade das equações geométricas fundamentais — especificamente as equações estruturais de Cartan e a equação de Gauss — para imbricamentos de superfícies em $\mathbb{R}^3$ quando a regularidade do mapa de imbricação é baixa. No cenário clássico suave, a relação entre a geometria intrínseca (curvatura) e a geometria extrínseca (imbricação) é governada pelas equações estruturais de Cartan e pela equação de Gauss. No entanto, para imbricamentos com regularidade abaixo de $C^2$, o determinante hessiano e as 1-formas de conexão podem não ser bem definidos no sentido clássico. Os autores investigam se essas equações se sustentam no sentido das distribuições para imbricamentos com baixa regularidade de Sobolev, identificando especificamente os limiares de regularidade mínima necessários para evitar "medidas de defeito" (singularidades que violam as equações).

Metodologia
Os autores empregam uma combinação de análise distributiva, teoria de espaços de Sobolev fracionários e teoria da medida geométrica.

1. Estrutura Distributiva para as Equações de Cartan:

   • Os autores definem a 1-forma de conexão $\omega$ para uma co-estrutura $\{\eta_i\}$ de regularidade $C^0 \cap H^{1/2}$ usando a fórmula do produto interno $\omega = \iota_{e_2}d\eta_1 - \iota_{e_1}d\eta_2$.
   • Eles utilizam a propriedade de levantamento (lifting) de mapas contínuos com valores em $S^1$ (especificamente, mapas em $H^{1/2} \cap C^0$) para relacionar uma estrutura ortonormal grosseira a uma estrutura de referência suave via um ângulo de rotação $\theta \in H^{1/2} \cap C^0$.
   • Ao aproximar a estrutura grosseira por estruturas suaves e passar ao limite, eles provam que as equações estruturais são válidas no sentido das distribuições, desde que a regularidade seja pelo menos $C^0 \cap H^{1/2}$. Este limiar é observado como ótimo, referenciando contraexemplos em regularidade inferior (por exemplo, $W^{1,p}$ para $p<2$) onde surgem medidas de defeito.

2. Derivação da Equação de Gauss:

   • O artigo estabelece um elo entre a segunda equação estrutural de Cartan ($d\omega = K_g d\text{vol}_g$) e a equação de Gauss para representações gráficas $u = (\Psi, f)$.
   • Um passo técnico fundamental envolve a prova de uma regra da cadeia para o determinante jacobiano distributivo. Para imbricamentos em $C^1 \cap W^{1+2/3, 3}$, os autores utilizam argumentos padrão de aproximação e regra da cadeia.
   • Para o caso mais delicado de $c^{1, 1/p} \cap BV^2$, eles desenvolvem uma regra da cadeia específica para o determinante jacobiano envolvendo funções em pequenos espaços de Hölder e variação limitada. Isso se baseia em estimativas de cancelamento para derivadas suavizadas (mollified) e na estrutura específica do determinante jacobiano como uma distribuição.

3. Singularidades Removíveis:

   • Os autores analisam o comportamento da equação de Gauss próximo a conjuntos singulares. Eles provam que, se um imbricamento for suficientemente regular fora de um conjunto de capacidade $(s_0, p_0)$ nula, a equação de Gauss é válida globalmente.

4. Rigidez e Convexidade:

   • Aplicando a equação de Gauss estabelecida, os autores adaptam argumentos de Conti–De Lellis–Székelyhidi e Pakzad. Eles utilizam a teoria de Pogorelov para superfícies de curvatura extrínseca limitada para deduzir resultados de convexidade e rigidez para imbricamentos com curvatura gaussiana não negativa ($K_g \ge 0$).

Contribuições e Resultados Principais

• Teorema 1.1 (Equações de Cartan): Os autores provam que as equações estruturais de Cartan são válidas no sentido das distribuições para co-estruturas ortonormais em $C^0 \cap H^{1/2}_{loc}$. Isso estende resultados anteriores (ex: Giron [35] para $W^{1,p}$) e identifica $H^{1/2}$ como o limiar crítico para a existência de uma 1-forma de conexão distributiva única que satisfaz as equações.
• Teorema 1.3 (Equação de Gauss): O artigo estabelece a validade da equação de Gauss $\det D^2 f = K_g(1+|Df|^2)^2$ para imbricamentos isométricos $u$ com regularidade:
  • $u \in c^{1, 1/2}_{loc} \cap BV^2_{loc}$, ou
  • $u \in C^1 \cap W^{1+2/3, 3}_{loc}$.
    Em ambos os casos, a equação é válida no sentido das distribuições.
• Corolário 1.4: Para imbricamentos na classe $c^{1, 1/2} \cap BV^2$, a equação de Gauss é válida quase em toda parte em relação à medida de Lebesgue, relacionando a parte absolutamente contínua da medida hessiana com a curvatura.
• Teorema 1.5 (Singularidades Removíveis): A equação de Gauss é válida globalmente se o imbricamento for regular ($W^{1+2/3, 3}$) fora de um conjunto compacto $S$ de capacidade $(s_0, p_0)$ nula, onde $s_0 = 2(1-s)$ e $p_0 = p/(p-2)$.
• Teorema 1.6 (Rigidez de Superfícies Fechadas): Qualquer imbricamento isométrico $C^1 \cap W^{1+2/3, 3}$ de uma esfera suave com $K_g \ge 0$ é uma superfície convexa fechada. Se $K_g > 0$, o imbricamento é suave ($C^\infty$). Isso estende os teoremas de rigidez de Borisov e Pakzad para regularidade inferior.
• Teorema 1.7 (Rigidez de Calotas Convexas): Resultados semelhantes de rigidez e regularidade são provados para calotas convexas (domínios com fronteira) sob condições de fronteira plana, estendendo os resultados suaves de Han e Hong.

Significância e Alegações
O artigo alega fornecer a primeira extensão rigorosa das equações estruturais de Cartan para o regime $C^0 \cap H^{1/2}$, um limiar conhecido como ótimo para problemas jacobianos relacionados. Ao estabelecer a validade da equação de Gauss para classes de baixa regularidade ($C^1 \cap W^{1+2/3, 3}$ e $c^{1, 1/2} \cap BV^2$), os autores preenchem uma lacuna entre a teoria suave e os cenários altamente irregulares estudados pelo teorema de Nash-Kuiper.

A significância reside em permitir a aplicação de teoremas de rigidez clássicos (Cohn-Vossen, Borisov) para imbricamentos com regularidade inferior à comprovada anteriormente. Os autores explicitamente observam que seu método difere de trabalhos anteriores (ex: Pakzad [53]) ao derivar a equação de Gauss como uma consequência das equações de Cartan, em vez de assumi-la ou usar diferentes esquemas de aproximação. Eles afirmam modestamente que, embora tenham identificado limiares de regularidade específicos ($s=2/3, p=3$), a fronteira precisa para a validade da equação de Gauss para todos os imbricamentos $C^1$ em $W^{1+s, p}$ permanece uma questão aberta para certos intervalos de parâmetros (ex: $s=2/3, p \neq 3$). O trabalho não propõe novas aplicações experimentais, mas sim solidifica a base teórica para o estudo de imbricamentos isométricos em baixa regularidade.