Polyconvexity implies Hill's inequality in ${\rm SL}(2)$

Resumo Técnico: A Policonvexidade Implica a Desigualdade de Hill em SL(2)

Enunciado do Problema
Na teoria da elasticidade não linear compressível, as condições constitutivas de convexidade de rank-um (elipticidade de Legendre-Hadamard), policonvexidade e a condição de monotonicidade da tensão verdadeira-deformação verdadeira (TSTS-M+) são, em geral, independentes. Embora a TSTS-M+ garanta comportamentos fisicamente significativos, como o aumento da tensão de Cauchy em tração uniaxial, ela não é garantida apenas pela policonvexidade. No entanto, no caso incompressível, a tensão de Cauchy reduz-se à tensão de Kirchhoff, e a TSTS-M+ simplifica-se para a desigualdade de Hill. Esta desigualdade exige a monotonicidade do tensor de tensão de Kirchhoff em relação ao tensor de deformação logarítmica na variedade de deformações preservadoras de volume.

Existe uma lacuna crítica na literatura em relação à conexão entre estas condições de estabilidade no cenário incompressível. Embora se saiba que, em três dimensões ($n=3$), a policonvexidade não implica necessariamente a desigualdade de Hill, a relação específica no caso incompressível bidimensional ($SL(2)$$) requer esclarecimento. O artigo aborda se as noções a priori independentes de policonvexidade e desigualdade de Hill estão conectadas no contexto específico de $SL(2)$.

Metodologia
Os autores analisam funções de energia isotrópicas e objetivas $W^{inc}: SL(n) \to \mathbb{R}$, onde $SL(n)$ é o grupo das deformações preservadoras de volume. A metodologia baseia-se nos seguintes arcabouços teóricos:

1. Definições de Variedade: A energia é reparametrizada utilizando o tensor de deformação logarítmica $X = \log V$, onde $V$ é o tensor de deformação à esquerda. Isso mapeia a variedade de deformações isocóricas para o espaço linear dos tensores simétricos desviadores, $dev\,Sym(n) = \{X \in Sym(n) \mid \text{tr}X = 0\}$.
2. Definições de Tensão: O tensor de tensão de Kirchhoff $\hat{\tau}$ é definido como o gradiente intrínseco da energia reparametrizada $\tilde{W}^{inc}$ em $dev\,Sym(n)$. O artigo estabelece uma ligação rigorosa entre a monotonicidade matricial de $\hat{\tau}$ e a monotonicidade vetorial de seus componentes principais $\hat{\tau}(\ell)$, onde $\ell = (\log \lambda_1, \dots, \log \lambda_n)$.
3. Caracterizações de Convexidade:
   • Para $SL(2)$, o artigo utiliza a equivalência entre convexidade de rank-um e policonvexidade para funções isotrópicas objetivas (Teorema 2.3, baseado em Mielke [23] e Ghiba et al. [9]).
   • Utiliza a caracterização da policonvexidade via valores singulares com sinal (Teorema 2.6, Wiedemann e Peter [42]).
   • Utiliza a equivalência entre monotonicidade vetorial e monotonicidade matricial para funções tensoriais isotrópicas (Teorema 2.12).

Principais Contribuições e Resultados

1. Equivalência de Tipos de Monotonicidade: O artigo prova que, para funções isotrópicas em $SL(n)$, o tensor de tensão de Kirchhoff é (estrita/fortemente) monótono em matriz se, e somente se, sua função vetorial de componentes principais é (estrita/fortemente) monótona em vetor (Teorema 2.12). Este resultado preenche a lacuna entre desigualdades constitutivas baseadas em tensores e representações espectrais escalares.

2. Teorema Principal (Policonvexidade $\implies$ Desigualdade de Hill em $SL(2)$):
   O resultado central (Teorema 1.2) afirma que, para uma função de energia objetiva, isotrópica e diferenciável $W^{inc}: SL(2) \to \mathbb{R}$, a policonvexidade implica a desigualdade de Hill fraca.

   • Estratégia de Prova 1: Utilizando o Teorema 2.3, a policonvexidade em $SL(2)$ implica a existência de uma função convexa e não decrescente $\phi$ tal que a energia dependa do gap espectral. A composição desta função convexa com as variáveis de deformação logarítmica resulta em uma função convexa no conjunto de restrição $\Pi = \{(\ell_1, \ell_2) \mid \ell_1 + \ell_2 = 0\}$. O gradiente de uma função convexa é monótono, o que, via a equivalência estabelecida, implica a desigualdade de Hill.
   • Estratégia de Prova 2: Uma prova alternativa utiliza a decomposição de valores singulares com sinal e a convexidade da função geradora $\Psi$. Ao analisar a fatia desta função correspondente à incompressibilidade, os autores demonstram a convexidade estrita da função espectral reduzida, levando à mesma conclusão.

3. Distinção de Dimensões Superiores: O artigo observa explicitamente que esta implicação ocorre para $n=2$, mas falha para $n=3$. Em três dimensões, existem funções de energia de convexidade de rank-um (e até mesmo policonvexas) que não satisfazem a desigualdade de Hill. O artigo cita contraexemplos onde a resposta da tensão de Cauchy não é monótona em tração uniaxial, apesar de a energia satisfazer a policonvexidade.

Significância e Alegações
O artigo afirma esclarecer a conexão íntima entre a elipticidade de Legendre-Hadamard, a policonvexidade e a desigualdade de Hill especificamente no contexto bidimensional incompressível. Ao fornecer duas provas alternativas, os autores demonstram que, em $SL(2)$, o requisito de policonvexidade é suficiente para garantir a desigualdade de Hill fraca (monotonicidade da tensão de Kirchhoff em relação à deformação logarítmica).

Os autores mantêm um escopo modesto em relação ao caso tridimensional. Eles reconhecem que, em $SL(3)$, a policonvexidade não implica a desigualdade de Hill e que a relação entre a elipticidade de Legendre-Hadamard e a policonvexidade em 3D permanece uma questão aberta. O artigo não propõe novas aplicações experimentais, mas sim fornece uma consolidação teórica das desigualdades constitutivas para materiais incompressíveis 2D, reforçando a validade do uso de energias policonvexas para garantir a estabilidade do material neste contexto específico.