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

Resumen Técnico: La policonveximidad implica la desigualdad de Hill en SL(2)

Planteamiento del Problema
En la teoría de la elasticidad no lineal compresible, las condiciones constitutivas de convexidad de rango uno (elipticidad de Legendre-Hadamard), policonveximidad y la condición de monotonía del esfuerzo real-deformación real (TSTS-M+) son generalmente independientes. Aunque la TSTS-M+ asegura un comportamiento físicamente significativo como el aumento del esfuerzo de Cauchy en tensión uniaxial, esto no está garantizado únicamente por la policonveximidad. Sin embargo, en el caso incompresible, el esfuerzo de Cauchy se reduce al esfuerzo de Kirchhoff, y la TSTS-M+ se simplifica a la desigualdad de Hill. Esta desigualdad requiere la monotonía del tensor de esfuerzo de Kirchhoff con respecto al tensor de deformación logarítmica en la variedad de deformaciones preservadoras de volumen.

Existe una brecha crítica en la literatura respecto a la relación entre estas nociones de estabilidad en el entorno incompresible. Mientras que se sabe que en tres dimensiones ($n=3$), la policonveximidad no necesariamente implica la desigualdad de Hill, la relación específica en el caso incompresible de dos dimensiones ($SL(2)$) requiere aclaración. El artículo aborda si las nociones a priori independientes de policonveximidad y la desigualdad de Hill están conectadas en el contexto específico de $SL(2)$.

Metodología
Los autores analizan funciones de energía isotrópicas y objetivas $W^{inc}: SL(n) \to \mathbb{R}$, donde $SL(n)$ es el grupo de transformaciones lineales especiales de volumen preservado. La metodología se basa en los siguientes marcos teóricos:

1. Definiciones de la Variedad: La energía se reparametriza utilizando el tensor de deformación logarítmica $X = \log V$, donde $V$ es el tensor de deformación izquierda. Esto mapea la variedad de deformaciones isocóricas al espacio lineal de tensores simétricos desviadores, $dev\,Sym(n) = \{X \in Sym(n) \mid \text{tr}X = 0\}$.
2. Definiciones de Esfuerzo: El tensor de esfuerzo de Kirchhoff $\hat{\tau}$ se define como el gradiente intrínseco de la energía reparametrizada $\tilde{W}^{inc}$ sobre $dev\,Sym(n)$. El artículo establece un vínculo riguroso entre la monotonía matricial de $\hat{\tau}$ y la monotonía vectorial de sus componentes principales $\hat{\tau}(\ell)$, donde $\ell = (\log \lambda_1, \dots, \log \lambda_n)$.
3. Caracterizaciones de Convexidad:
   • Para $SL(2)$, el artículo utiliza la equivalencia entre convexidad de rango uno y policonveximidad para funciones isotrópicas objetivas (Teorema 2.3, basado en Mielke [23] y Ghiba et al. [9]).
   • Emplea la caracterización de la policonveximidad mediante valores singulares con signo (Teorema 2.6, Wiedemann y Peter [42]).
   • Utiliza la equivalencia entre monotonía vectorial y monotonía matricial para funciones tensoriales isotrópicas (Teorema 2.12).

Contribuciones Clave y Resultados

1. Equivalencia de Tipos de Monotonía: El artículo demuestra que, para funciones isotrópicas en $SL(n)$, el tensor de esfuerzo de Kirchhoff es (estricta/fuertemente) matricialmente monótono si y solo si su función vectorial de componentes principales es (estricta/fuertemente) vectorialmente monótona (Teorema 2.12). Este resultado cierra la brecha entre las desigualdades constitutivas basadas en tensores y las representaciones espectrales escalares.

2. Teorema Principal (Policonveximidad $\implies$ Desigualdad de Hill en $SL(2)$):
   El resultado central (Teorema 1.2) establece que para una función de energía diferenciable, objetiva e isotrópica $W^{inc}: SL(2) \to \mathbb{R}$, la policonveximidad implica la desigualdad de Hill débil.

   • Estrategia de Demostración 1: Utilizando el Teorema 2.3, la policonveximidad en $SL(2)$ implica la existencia de una función $\phi$ convexa y no decreciente tal que la energía depende de la brecha espectral. La composición de esta función convexa con las variables de deformación logarítmica produce una función convexa sobre el conjunto de restricción $\Pi = \{(\ell_1, \ell_2) \mid \ell_1 + \ell_2 = 0\}$. El gradiente de una función convexa es monótono, lo que, mediante la equivalencia establecida, implica la desigualdad de Hill.
   • Estrategia de Demostración 2: Una demostración alternativa utiliza la descomposición de valores singulares con signo y la convexidad de la función generadora $\Psi$. Al analizar la sección de esta función correspondiente a la incompresibilidad, los autores demuestran la convexidad estricta de la función espectral reducida, lo que conduce a la misma conclusión.

3. Distinción de Dimensiones Superiores: El artículo señala explícitamente que esta implicación se cumple para $n=2$ pero falla para $n=3$. En tres dimensiones, existen funciones de energía convexas de rango uno (e incluso policonvexas) que no satisfacen la desigualdad de Hill. El artículo cita contraejemplos donde la respuesta del esfuerzo de Cauchy no es monótona en tensión uniaxial a pesar de que la energía cumple con la policonveximidad.

Significado y Reivindicaciones
El artículo afirma aclarar la íntima conexión entre la elipticidad de Legendre-Hadamard, la policonveximidad y la desigualdad de Hill específicamente dentro del entorno incompresible de dos dimensiones. Al proporcionar dos pruebas alternativas, los autores demuestran que en $SL(2)$, el requisito de policonveximidad es suficiente para garantizar la desigualdad de Hill débil (monotonía del esfuerzo de Kirchhoff con respecto a la deformación logarítmica).

Los autores mantienen un alcance modesto respecto al caso tridimensional. Reconocen que en $SL(3)$, la policonveximidad no implica la desigualdad de Hill y que la relación entre la elipticidad de Legendre-Hadamard y la policonveximidad en 3D sigue siendo una cuestión abierta. El artículo no propone nuevas aplicaciones experimentales, sino que proporciona una consolidación teórica de las desigualdades constitutivas para materiales incompresibles en 2D, reforzando la validez del uso de energías policonvexas para asegurar la estabilidad del material en este contexto específico.