A Lavrentiev phenomenon in the neo-Hookean model

Resumo Técnico: Um Fenômeno de Lavrentiev no Modelo Neo-Hookeano

Autores: Marco Barchiesi, Duvan Henao, Carlos Mora-Corral e Rémy Rodiac.

1. O Problema

O artigo aborda um dos desafios centrais da elasticidade não linear tridimensional: a minimização da energia do modelo Neo-Hookeano. A energia é dada por:
$$E(u) = \int_{\Omega} \left( |Du|^2 + H(|\det Du|) \right) dx$$
onde $u: \Omega \to \mathbb{R}^3$ é uma deformação, $|Du|^2$ representa a energia elástica de distorção e $H(|\det Du|)$ penaliza compressões e expansões extremas (garantindo que o volume não colapse ou exploda).

O problema fundamental reside na definição de uma classe admissível de deformações que seja:

1. Fisicamente significativa: Deve preservar a orientação ($\det Du > 0$) e evitar a interpenetração de matéria (injetividade quase em toda parte).
2. Analiticamente tratável: Deve permitir a aplicação do método direto do cálculo de variações (existência de minimizadores).

A dificuldade surge porque a classe natural de deformações com energia finita e injetividade quase em toda parte não é fechada sob convergência fraca em $H^1$. Sequências de minimizadores podem desenvolver singularidades (como cavidades ou "dipolos") que não são capturadas pela energia original, levando a uma perda de compactidade.

2. Metodologia

Os autores demonstram a existência de um Fenômeno de Lavrentiev para este modelo. Isso ocorre quando o ínfimo da energia sobre uma classe de funções "regulares" (que satisfazem condições físicas estritas de invertibilidade) é estritamente maior do que o ínfimo sobre o fecho fraco dessa classe.

A estratégia de prova baseia-se nos seguintes pilares:

• O Mapa Dipolo de Conti-De Lellis: Utilizam um mapa singular conhecido (construído por Conti e De Lellis) que apresenta uma singularidade do tipo "dipolo". Neste mapa, duas regiões do corpo (meias-esferas) entram em contato através de uma superfície esférica, criando uma descontinuidade na inversa da deformação. Embora este mapa tenha energia finita no sentido relaxado, ele não pertence à classe regular porque sua inversa não é uma função de Sobolev ($W^{1,1}$), mas sim uma função de Variação Limitada Especial (SBV).
• Construção de Dados de Fronteira: O núcleo da prova é a construção de dados de fronteira específicos ($b$) derivados do mapa dipolo. Eles modificam o mapa singular em uma vizinhança pequena de uma região "ruim" ($U$) para criar um homeomorfismo bi-Lipschitz ($b_\delta$) que coincide com o mapa singular fora dessa vizinhança.
• Interpolação e Regularização: Eles constroem uma sequência de mapas regulares ($u_\varepsilon$) que aproximam o mapa singular, mas com um "pescoço" (neck) aberto de escala $\varepsilon^\gamma$. A prova técnica detalhada (Apêndice C) envolve a construção cuidadosa de uma interpolação entre o mapa regular e o mapa singular em uma camada de transição, garantindo que a energia permaneça limitada e que a condição de invertibilidade seja mantida localmente.
• Análise de Energia Relaxada: Utilizam resultados anteriores (Barchiesi, Henao, Mora-Corral, Rodiac) que definem uma energia relaxada $F(u) = E(u) + 2\|D^s u^{-1}\|$, onde o termo adicional penaliza a parte singular do gradiente da inversa. Eles mostram que o mapa dipolo tem um "custo" de energia extra de $2\pi$ devido à sua singularidade, custo este que não é detectado pela energia original $E$.

3. Contribuições Principais

1. Primeira Demonstração de Gap de Lavrentiev no Modelo Neo-Hookeano 3D: O artigo prova que, para o expoente de coercividade físico natural ($p=2$ em dimensão $d=3$), existe um gap entre o ínfimo da energia sobre deformações regulares (que satisfazem a condição INV e identidades de divergência) e o ínfimo sobre o fecho fraco $H^1$.
2. Mecanismo de Singularidade: Diferente de exemplos anteriores onde o gap era causado por cavitação real (abertura de buracos) ou auto-contato global em regimes de alta regularidade ($p > d$), este gap é impulsionado por uma singularidade de dipolo e pela falta de fechamento da classe admissível sob convergência fraca.
3. Distinção de Regimes de Regularidade: O trabalho destaca que o gap não surge de comparar dois níveis de regularidade da deformação direta $u$, mas sim da regularidade da deformação inversa ($u^{-1}$). A classe regular exige $u^{-1} \in W^{1,1}$, enquanto o fecho fraco permite $u^{-1} \in BV$.
4. Construção de Dados de Fronteira Específicos: Fornecem uma construção explícita de dados de fronteira bi-Lipschitz que forçam qualquer sequência minimizante a desenvolver a singularidade do dipolo, impossibilitando a aproximação por mapas regulares sem custo energético extra.

4. Resultados Chave

• Teorema 1.1: Sob condições de crescimento específicas para a função $H$ (convexidade e comportamentos assintóticos controlados para $t \to 0$ e $t \to \infty$), existem domínios e dados de fronteira tais que:
  $$\inf \{ E(u) : u \in \mathcal{A}_r \} > \inf \{ E(u) : u \in \overline{\mathcal{A}_r}^{H^1} \}$$
  onde $\mathcal{A}_r$ é a classe de deformações regulares (com inversa em Sobolev) e $\overline{\mathcal{A}_r}^{H^1}$ é seu fecho fraco.
• Teorema 3.2: Quantifica o gap, mostrando que a diferença pode ser arbitrariamente próxima de $2\pi$ (a energia do salto do dipolo).
• Variantes (Seção 4): O resultado é estendido para configurações axissimétricas e para classes de homeomorfismos de Sobolev que satisfazem a condição de Lusin (N), mostrando que o fenômeno é robusto e não depende apenas da definição específica da classe $\mathcal{A}_r$.

5. Significância e Implicações

• Falha do Método Direto: O resultado demonstra que a estratégia clássica do cálculo de variações — encontrar um minimizador em um espaço relaxado maior e depois provar que ele é mais regular — falha neste contexto. Devido ao fenômeno de Lavrentiev, o minimizador no espaço relaxado (que pode conter singularidades) não pode ser aproximado por mapas regulares sem um aumento de energia.
• Necessidade de Energias Relaxadas: O trabalho reforça a necessidade de utilizar energias relaxadas (como a proposta em [7, 8, 9]) que incluam penalizações para singularidades na inversa, em vez de tentar forçar a regularidade na energia original.
• Analogia com Mapas Harmônicos: O artigo estabelece uma forte analogia entre a elasticidade não linear e o problema de minimização da energia de Dirichlet para mapas em esferas ($S^2$), onde singularidades do tipo dipolo também causam gaps de Lavrentiev.
• Impacto na Física Matemática: O estudo esclarece as limitações analíticas do modelo Neo-Hookeano padrão em 3D, sugerindo que, para garantir a existência de minimizadores fisicamente aceitáveis (sem interpenetração), é necessário reformular o problema variacional para acomodar explicitamente certas classes de singularidades.

Em suma, o artigo resolve uma questão aberta sobre a existência de gaps de Lavrentiev no modelo mais básico da elasticidade não linear 3D, revelando que a física da formação de cavidades e a matemática da compactidade fraca interagem de maneira mais complexa do que se imaginava, exigindo novas ferramentas analíticas para a existência de soluções.