Korn's inequality from the viewpoint of calculus of variations

Resumo Técnico: Desigualdade de Korn sob a Perspectiva do Cálculo de Variações

1. O Problema e o Contexto

O artigo aborda o problema de obter limites superiores para a constante ótima nas desigualdades de Korn. A desigualdade de Korn é um resultado fundamental na análise matemática e na mecânica dos sólidos (elasticidade linearizada e mecânica dos fluidos), estabelecendo que a norma $L^p$ do gradiente de um campo vetorial (ou sua parte antissimétrica) pode ser controlada pela norma $L^p$ da parte simétrica do gradiente (o tensor de deformação).

A forma clássica da desigualdade para $u \in W^{1,p}_0(\Omega, \mathbb{R}^d)$ é:
$$\left( \int_\Omega |A(u)|^p \right)^{1/p} \leq C(p, \Omega) \left( \int_\Omega |E(u)|^p \right)^{1/p}$$
onde $A(u) = \frac{1}{2}(\nabla u - \nabla u^t)$ é a parte antissimétrica e $E(u) = \frac{1}{2}(\nabla u + \nabla u^t)$ é a parte simétrica.

O problema central é determinar a dependência da constante $C(p, \Omega)$ em relação à dimensão $d$ e ao expoente $p$. Enquanto para $p=2$ a constante é 1 e independente da dimensão, para $p \neq 2$, os limites conhecidos historicamente dependiam da dimensão ou eram subótimos. O objetivo do autor é provar um limite livre de dimensão (dimension-free) que seja quase ótimo.

2. Metodologia

O autor utiliza uma abordagem inovadora que conecta a análise harmônica, a teoria das martingales e o cálculo de variações. Os pilares metodológicos são:

• Representação via Operadores Singulares: A desigualdade de Korn é reescrita em termos do operador transformada de Riesz tensorial $R \otimes R$. O problema de limitar a constante de Korn torna-se equivalente a limitar a norma do operador $R \otimes R$ atuando em espaços de funções matriciais.
• Teoria de Martingales e Subordinação Diferencial: Inspirado no trabalho de Burkholder e na conjectura de Iwaniec-Martin sobre o transformador de Beurling-Ahlfors, o autor utiliza a representação de operadores singulares através de extensões de calor e movimentos brownianos.
  • Define-se um processo martingal $M_t$ associado ao gradiente da função via extensão de calor.
  • Utiliza-se o teorema de Burkholder sobre subordinação diferencial, que estabelece que se uma martingale $X$ é subordinada diferencialmente a $Y$, então $\|X\|_p \leq (p^*-1)\|Y\|_p$, onde $p^* = \max(p, p')$.
• Conexão com o Cálculo de Variações: O autor explora a relação entre as constantes ótimas e a quasiconvexidade e convexidade de posto-um (rank-one convexity) de integrais funcionais. O problema é mapeado para a análise de envoltórias de funções integrais, ligando a constante de Korn à questão aberta de Morrey (sobre a equivalência entre convexidade de posto-um e quasiconvexidade em dimensões $d \geq 3$).
• Técnicas de Álgebra Linear e Geometria: Para lidar com a estrutura tensorial, o autor desenvolve lemas específicos sobre projeções de tensores em subespaços de matrizes simétricas e antissimétricas, explorando a ortogonalidade das coordenadas do movimento browniano para evitar fatores dependentes da dimensão.

3. Principais Contribuições e Resultados

O artigo estabelece os seguintes resultados principais:

• Limite Superior Livre de Dimensão (Teorema 1.1):
  O autor prova que a constante ótima $C(p, d)$ na desigualdade de Korn satisfaz:
  $$C(p, d) \leq \sqrt{3}(p^* - 1)$$
  onde $p^* = \max(p, p')$. Este é um limite livre de dimensão, uma melhoria significativa sobre resultados anteriores que dependiam de $d$. O fator $\sqrt{3}$ é considerado "quase ótimo", sendo o resultado exato para o caso radial.

• Limite Inferior e Conjectura de Optimalidade:
  É demonstrado que $C(p, d) \geq p^* - 1$. O autor conjectura que a constante exata é $p^* - 1$, alinhando-se com a conjectura de Iwaniec para o operador de Beurling-Ahlfors. A prova do limite inferior utiliza exemplos radiais e propriedades de martingales dyádicas.

• Casos Específicos e Radiais:

  • Para funções generalizadas-radiais ($u(x) = r(|x|)x$), a constante é exatamente $p^* - 1$, provando que o limite inferior é atingido nesta classe.
  • Para a versão sem rastro (trace-free) da desigualdade, o mesmo limite superior $\sqrt{3}(p^* - 1)$ e inferior $p^* - 1$ são estabelecidos para $d \geq 3$.

• Espaços de Orlicz e Pesos (Teoremas 1.2 e 1.3):

  • Espaços de Orlicz: A desigualdade é estendida para espaços de Sobolev-Orlicz $\dot{W}^{1}L^\Phi$, fornecendo limites livres de dimensão baseados nos índices de Simonenko da função $\Phi$.
  • Espaços Pesados: Utilizando resultados recentes de Domelevo, Petermichl e Skreb sobre martingales pesadas, o autor prova uma versão ponderada da desigualdade para pesos de Muckenhoupt ($A_p$), com dependência explícita na característica do peso $[w]_{A_p}$, mas mantendo a independência da dimensão espacial.

• Conexão com o Problema de Morrey:
  O trabalho sugere que a prova da conjectura de que a constante ótima é $p^* - 1$ está intrinsecamente ligada à prova de que uma certa função integranda (relacionada à desigualdade de Burkholder) é quasiconvexa. Isso oferece uma nova perspectiva para atacar o problema de Morrey.

4. Significado e Impacto

• Unificação de Áreas: O artigo é notável por integrar profundamente a análise harmônica (operadores singulares), a teoria das probabilidades (martingales, Burkholder) e o cálculo de variações (convexidade, quasiconvexidade).
• Avanço na Constante Ótima: Ao fornecer um limite superior livre de dimensão com um fator de erro pequeno ($\sqrt{3}$), o trabalho reduz drasticamente a lacuna entre os limites conhecidos e a conjectura de optimalidade.
• Aplicações em Elasticidade: As estimativas aprimoradas para a constante de Korn têm implicações diretas na teoria da existência e regularidade de soluções para problemas variacionais em elasticidade não-linear, especialmente quando $p$ é grande ou pequeno, onde a coercividade é crítica.
• Novas Ferramentas: A introdução de uma versão ponderada da desigualdade de Korn e a extensão para espaços de Orlicz abrem novas linhas de pesquisa para problemas em domínios irregulares ou com coeficientes descontínuos.

Em resumo, Gabriele Cassese demonstra que a desigualdade de Korn, vista através da lente das martingales e da convexidade generalizada, admite limites de constante que são essencialmente independentes da dimensão do espaço, aproximando-se significativamente do valor conjecturado como ótimo.