Martingales, laminates and minimal Korn inequalities

Resumo Técnico: Martingales, Laminados e Desigualdades de Korn Mínimas

Enunciado do Problema
As desigualdades de Korn estabelecem que a norma $L^2$ do gradiente $\nabla u$ de um campo vetorial $u$ pode ser controlada pela norma $L^2$ de sua parte simétrica, $\text{Sym}(\nabla u)$. Embora $\text{Sym}(\nabla u)$ possua $d(d+1)/2$ componentes, o gradiente completo possui $d^2$. Em [J. Math. Pures Appl. 148 (2021)], Chipot levantou a questão de determinar o número mínimo de medições escalares (funcionais lineares) necessárias para controlar $\nabla u$ em uma desigualdade do tipo Korn. Especificamente, ele definiu $N(d)$ como o menor inteiro $k$ tal que existam $k$ funcionais lineares $\ell_1, \dots, \ell_k$ no espaço de matrizes $d \times d$ $M_d(\mathbb{R})$ satisfazendo:
$$\|\nabla u\|_{L^2(\mathbb{R}^d)} \lesssim \sum_{i=1}^k \|\ell_i(\nabla u)\|_{L^2(\mathbb{R}^d)}$$
para todo $u \in C_c^\infty(\mathbb{R}^d, \mathbb{R}^d)$. Uma quantidade similar, $N'(d, \Omega)$, foi definida para a segunda desigualdade de Korn envolvendo a norma $H^1$. Embora Chipot tenha estabelecido limites gerais e calculado valores específicos para dimensões baixas, o crescimento assintótico de $N(d)$ e o valor exato de $N'(d)$ em dimensões superiores permaneceram em aberto.

Metodologia
O artigo reformula o problema de Chipot utilizando a linguagem do cálculo de variações, especificamente a convexidade de rank-one e a quasiconvexidade. A inovação metodológica central é uma conexão sistemática entre laminados (medidas de probabilidade decorrentes de combinações de rank-one) e martingales (especificamente martingales dyádicos).

1. Caracterização Algébrica: Os autores traduzem a existência de desigualdades do tipo Korn para a condição de que o complemento ortogonal do subespaço dos funcionais medidos deve evitar matrizes de rank-one não nulas. Isso reduz o problema de EDP para um problema de topologia algébrica referente à dimensão máxima de subespaços de matrizes que evitam direções de rank-one, denotada por $n_K(d, 1)$.
2. Conexão Martingale-Laminado: Para estimar as constantes nessas desigualdades, os autores constroem famílias explícitas de laminados usando árvores dyádicas. Um laminado de ordem finita com baricentro zero é visto como um martingale onde os incrementos são matrizes de rank-one. Isso permite a aplicação das desigualdades de martingale aguçadas de Burkholder para derivar limites quantitativos sobre as constantes associadas às desigualdades.
3. Ferramentas Topológicas: A determinação dos valores exatos de $N(d)$ baseia-se em resultados relativos a mapas bilineares não singulares e na imersão de espaços projetivos reais ($\mathbb{R}P^{d-1}$), ligando o problema a resultados clássicos da topologia algébrica.

Principais Contribuições e Resultados

• Caracterização Algébrica: O artigo prova que $N(d) = d^2 - n_{\mathbb{R}}(d, 1)$ e $N'(d) = d^2 - n_{\mathbb{C}}(d, 1)$. Isso conecta o número mínimo de medições à dimensão de subespaços que evitam matrizes de rank-one.
• Limites Aguçados para $N(d)$ e $N'(d)$:
  • Comportamento Assintótico: Os autores estabelecem que $N(d) \sim 2d$ quando $d \to \infty$, especificamente $N(d) = 2d(1 - o(1))$. Isso resolve a questão de se $N(d)$ cresce linearmente ou quadraticamente, mostrando que é essencialmente linear.
  • Valores Exatos: Eles provam que $N'(d) = 2d - 1$ para todo $d$. Para $N(d)$, mostram que $N(d) \le 2d - 2$ (atingido quando $d = 2n+1$) e fornecem um limite inferior $N(d) \ge 2\lceil \log_2(d) \rceil$.
  • Dimensões Específicas: O artigo calcula $N(d)$ exatamente para $d \le 19$ e fornece limites até $d=33$. Notavelmente, $N(d) = d$ se, e somente se, $d \in \{1, 2, 4, 8\}$.
• Desigualdades de Dimensão Ótima: Os autores derivam uma desigualdade de Korn de dimensão ótima usando o espaço das matrizes de Hankel ($H$). Eles provam:
  $$\|u\|_{H^1(\Omega)} \lesssim \|u\|_{L^2(\Omega)} + \|P_H(\nabla u)\|_{L^2(\Omega)}$$
  onde $\dim(H) = 2d - 1$. Isto é mostrado como a dimensão mínima possível para a segunda desigualdade.
• Constantes Quantitativas: Usando a conexão martingale-laminado, o artigo fornece estimativas aguçadas para as constantes nessas desigualdades.
  • Para a desigualdade de Hankel-Korn, a constante $C(H(d))$ cresce exponencialmente com a dimensão, especificamente $\log(C(H(d))) \approx \frac{2G}{\pi}d$, onde $G$ é a constante de Catalan.
  • Para subespaços gerais de dimensão $k \approx d^2$, a constante pode ser tornada independente da dimensão, mas para dimensões próximas ao $N(d)$ mínimo, a constante cresce com $d$.
• Generalizações: Os resultados são estendidos para:
  • O caso retangular $N(m, d)$ para campos vetoriais $u: \mathbb{R}^m \to \mathbb{R}^d$.
  • Estimativas $L^p$ para $p \neq 2$, mostrando que o número mínimo de medições $N_p(d)$ permanece igual a $N_2(d)$.
• Não-Desigualdade de Ornstein: Como um subproduto, o método fornece uma prova nova, rápida e quantitativa da não-desigualdade de Ornstein. Ele demonstra que, para qualquer operador homogêneo de primeira ordem $L$ cujo núcleo contém uma matriz de rank 2, a desigualdade $\|\nabla u\|_{L^1} \lesssim \|L(u)\|_{L^1}$ falha. Além disso, o artigo quantifica o crescimento da constante necessária conforme $p \to 1$ ou $p \to \infty$, mostrando que escala como $p^* - 1$ (onde $p^* = \max(p, p/(p-1))$).

Significância
O artigo afirma fornecer uma caracterização puramente algébrica de quando as desigualdades do tipo Korn mínimas ocorrem, produzindo limites aguçados que eram anteriormente desconhecidos. Ao ligar laminados e martingales, os autores oferecem uma nova ferramenta para o cálculo de variações que permite a construção explícita de contraexemplos (laminados) e o cálculo de constantes aguçadas, indo além de provas de existência qualitativas. Os resultados simplificam e recuperam as descobertas anteriores de Chipot, enquanto os estendem significativamente para dimensões superiores e fornecem estimativas dimensionais ótimas. A conexão com a topologia algébrica (especificamente mapas bilineares não singulares e espaços projetivos) é destacada como uma abordagem inovadora para um problema de EDP, e a prova quantitativa da não-desigualdade de Ornstein é apresentada como uma aplicação significativa da maquinaria desenvolvida.