Full flexibility of the Monge-Ampère system in codimension $d_*-d+1$

1. O Problema Investigado

O artigo aborda a flexibilidade de soluções de regularidade $C^{1,\alpha}$ para o sistema de Monge-Ampère em dimensões arbitrárias $d$ e em uma codimensão específica $k$.

• Contexto: O sistema de Monge-Ampère (equação 1.2 no texto) é uma generalização multidimensional da equação clássica de Monge-Ampère (relacionada à curvatura gaussiana de superfícies). Ele surge naturalmente na busca por imersões isométricas de métricas riemannianas em espaços euclidianos.
• A Questão Central: Dada uma métrica Riemanniana (ou um campo de matrizes simétricas $A$) e uma solução aproximada (subsolução) $(v, w)$ que satisfaz uma desigualdade estrita (defeito positivo), é possível aproximar essa subsolução por uma solução exata $(\tilde{v}, \tilde{w})$ de regularidade $C^{1,\alpha}$, mantendo a proximidade na norma $C^0$?
• A Lacuna Anterior: Resultados anteriores de flexibilidade total (onde qualquer subsolução pode ser aproximada por soluções $C^{1,\alpha}$ para todo $\alpha < 1$) foram estabelecidos apenas para codimensões muito grandes, especificamente $k \ge 2d^*$, onde $d^* = d(d+1)/2$ é a dimensão de Janet.
• O Objetivo do Artigo: Provar a flexibilidade total em uma codimensão significativamente menor:
  $$k = \bar{d} = d^* - d + 1 = \frac{d^2 - d + 2}{2}$$
  Isso representa uma melhoria substancial sobre os limites conhecidos anteriormente.

2. Metodologia e Estratégia de Prova

A prova baseia-se na técnica de integração convexa (convex integration), especificamente no esquema iterativo de Nash-Kuiper. A estratégia é construir uma sequência de soluções aproximadas que convergem para uma solução exata, controlando cuidadosamente o crescimento das derivadas e a redução do "defeito" (a diferença entre a métrica desejada e a métrica gerada pela imersão).

Construção de Estágio (Stage Construction)

O núcleo da prova é o Teorema 1.3, que descreve uma etapa de construção onde o defeito é reduzido. A metodologia envolve:

1. Decomposição do Defeito: O defeito $D(A, v, w)$ é decomposto em uma soma de defeitos primitivos de posto um da forma $a^2 \eta \otimes \eta$.
2. Ondulações de Kuiper (Kuiper's Corrugations): Para cancelar cada defeito primitivo, adicionam-se oscilações de alta frequência (ondulações) nas direções do espaço de codimensão.
3. Estrutura de Codimensão Reduzida: A inovação principal reside em como essas ondulações são organizadas para operar em codimensão $\bar{d}$ em vez de $2d^*$:
   • Codimensão $n=1$: Utilizada para cancelar defeitos correspondentes a vetores $\eta_{1j}$ (onde $j=1,\dots,d$). Isso requer uma hierarquia de subsoluções intermediárias $(V_{1j}, W_{1j})$.
   • Codimensões $n=2, \dots, \bar{d}$: Utilizadas para cancelar os defeitos restantes ($\eta_{ij}$ com $2 \le i \le j \le d$).
4. Análise de Erros e Integração por Partes:
   • O termo de erro principal gerado pelas ondulações envolve derivadas segundas das subsoluções anteriores ($\nabla^2 v$).
   • O artigo demonstra que, devido à estrutura específica da decomposição e ao uso de múltiplos estágios intermediários, o termo de erro pode ser reescrito de forma que dependa apenas das derivadas da solução inicial suavizada ($\nabla^2 v_0$) e de contribuições oscilatórias que podem ser further decompostas.
   • Utiliza-se o Lema 2.4 (integração por partes iterada) para reduzir a ordem dos termos de erro, absorvendo-os no defeito restante.
   • O Lema 2.5 (decomposição de Källén) é usado para absorver componentes não oscilatórios do erro.

Esquema de Nash-Kuiper (Iteração)

Após estabelecer a etapa de construção (Teorema 1.3), aplica-se um esquema iterativo (Teorema 4.1):

• Gera-se uma sequência de soluções $(v_n, w_n)$.
• A taxa de decaimento do defeito e a taxa de explosão (blow-up) das derivadas segundas são balanceadas.
• A condição para que a sequência convirja em $C^{1,\alpha}$ é que o expoente $\alpha$ satisfaça:
  $$\alpha < \min\left\{ \frac{r+\beta}{2}, 1 \right\}$$
  onde $r+\beta$ é a regularidade do campo de dados $A$. O artigo prova que, com a codimensão $\bar{d}$, é possível atingir $\alpha < 1$ (flexibilidade total).

3. Contribuições Chave

1. Redução da Codimensão Crítica: O resultado principal (Teorema 1.1) estabelece a flexibilidade total para $k = d^* - d + 1$. Isso é significativamente menor que o limite anterior de $k \ge 2d^*$. Para $d=2$, o limite anterior era $k \ge 4$ (ou $k=2$ em trabalhos específicos), enquanto o novo limite é $k = 2^2-2+2 / 2 = 2$, o que generaliza resultados conhecidos para dimensões superiores.
2. Generalização para Dimensões Arbitrárias: Estende resultados que antes eram válidos apenas para $d=2$ (como em [19] e [27]) para qualquer dimensão $d \ge 2$.
3. Aplicação a Imersões Isométricas: O mesmo esquema de prova é adaptado para o sistema de imersão isométrica (Teorema 5.1), provando a existência local de imersões isométricas $C^{1,1-\epsilon}$ de métricas Riemannianas $C^{2}$ em espaços euclidianos de dimensão $d^* + 1$.
4. Otimização de Taxas de Crescimento: A construção permite reduzir a magnitude do defeito com uma taxa de crescimento das derivadas segundas menor do que em construções anteriores para codimensões grandes, o que é crucial para atingir o expoente de Hölder $\alpha$ próximo a 1.

4. Resultados Principais

• Teorema 1.1: Seja $\omega \subset \mathbb{R}^d$ um conjunto aberto e limitado. Para qualquer campo vetorial $v, w$ e matriz $A$ satisfazendo a desigualdade estrita $\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w < A$, e para qualquer $\alpha < \min\{ \frac{r+\beta}{2}, 1 \}$, existem soluções $C^{1,\alpha}$ $(\tilde{v}, \tilde{w})$ arbitrariamente próximas de $(v, w)$ que satisfazem a igualdade exata.
• Corolário 1.2: As soluções fracas $C^{1,\alpha}$ do sistema de Monge-Ampère são densas no espaço das funções contínuas $C^0$. Isso significa que qualquer função contínua pode ser aproximada uniformemente por uma solução $C^{1,\alpha}$ do sistema.
• Teorema 5.1: Generalização para imersões isométricas. Qualquer métrica Riemanniana $C^{2}$ em um domínio $d$-dimensional admite uma imersão isométrica $C^{1,1-\epsilon}$ em $\mathbb{R}^{d^*+1}$.

5. Significado e Impacto

• Avanço na Teoria de Equações Diferenciais Parciais (EDPs): O trabalho resolve uma questão aberta sobre o limite inferior da codimensão necessária para a flexibilidade total em sistemas de Monge-Ampère. Mostra que a "rigidez" do sistema diminui drasticamente quando se permite uma codimensão ligeiramente menor que a dimensão de Janet.
• Conexão com Geometria Riemanniana: Os resultados têm implicações profundas para o problema de imersão isométrica. Eles sugerem que a obstrução à existência de imersões suaves ($C^2$) não é tão restritiva quanto se pensava para regularidades $C^{1,\alpha}$, desde que o espaço ambiente tenha dimensão suficiente (mas não excessivamente grande).
• Técnica de Integração Convexa: O artigo refina a técnica de Nash-Kuiper, introduzindo uma estrutura de "estágios intermediários" mais sofisticada que permite lidar com interações complexas entre diferentes direções de codimensão, um avanço metodológico que pode ser aplicado a outros sistemas de EDPs não lineares.
• Unificação de Resultados: O trabalho unifica e generaliza resultados dispersos na literatura (como os de [19], [24], [27]), fornecendo um quadro coerente para a flexibilidade em dimensões arbitrárias.

Em resumo, o artigo demonstra que a "flexibilidade" (a capacidade de encontrar soluções irregulares que satisfazem equações geométricas rígidas) é uma propriedade muito mais robusta do que se acreditava anteriormente, estendendo-se a codimensões muito mais baixas e dimensões arbitrárias.