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

Sintesi Tecnica: La Policonvessità implica la Disuguaglianza di Hill in SL(2)

Enunciato del Problema
Nella teoria dell'elasticità non lineare comprimibile, le condizioni costitutive di convessità di rango uno (ellitticità di Legendre-Hadamard), policonvessità e la condizione di monotonia tra tensione vera e deformazione vera (TSTS-M+) sono generalmente indipendenti. Sebbene la TSTS-M+ assicuri un comportamento fisicamente significativo come l'aumento della tensione di Cauchy in trazione unassiale, essa non è garantita dalla sola policonvessità. Tuttavia, nel caso incompressibile, la tensione di Cauchy si riduce alla tensione di Kirchhoff e la TSTS-M+ si semplifica nella disuguaglianza di Hill. Questa disuguaglianza richiede la monotonia della tensione di Kirchhoff rispetto al tensore di deformazione logaritmica sul manufatto delle deformazioni preservanti il volume.

Esiste una lacuna critica nella letteratura riguardante la relazione tra queste condizioni di stabilità nel contesto incompressibile. Mentre è noto che in tre dimensioni ($n=3$), la policonvessità non implica necessariamente la disuguaglianza di Hill, la relazione specifica nel caso incompressibile bidimensionale ($SL(2)$) richiede chiarimenti. Il presente articolo affronta se le nozioni, a priori indipendenti, di policonvessità e disuguaglianza di Hill siano collegate nel contesto specifico di $SL(2)$.

Metodologia
Gli autori analizzano funzioni di energia isotrope e oggettive $W^{inc}: SL(n) \to \mathbb{R}$, dove $SL(n)$ è il gruppo delle deformazioni che preservano il volume. La metodologia si basa sui seguenti framework teorici:

1. Definizioni di Manifold: L'energia viene riparametrizzata utilizzando il tensore di deformazione logaritmica $X = \log V$, dove $V$ è il tensore di deformazione sinistro. Questo mappa il manufatto delle deformazioni isocoriche nello spazio lineare dei tensori simmetrici deviatorici, $dev\,Sym(n) = \{X \in Sym(n) \mid \text{tr}X = 0\}$.
2. Definizioni di Tensione: Il tensore di tensione di Kirchhoff $\hat{\tau}$ è definito come il gradiente intrinseco dell'energia riparametrizzata $\tilde{W}^{inc}$ su $dev\,Sym(n)$. Il documento stabilisce un legame rigoroso tra la monotonia matriciale di $\hat{\tau}$ e la monotonia vettoriale delle sue componenti principali $\hat{\tau}(\ell)$, dove $\ell = (\log \lambda_1, \dots, \log \lambda_n)$.
3. Caratterizzazioni di Convessità:
   • Per $SL(2)$, l'articolo utilizza l'equivalenza tra convessità di rango uno e policonvessità per funzioni isotrope oggettive (Teorema 2.3, basato su Mielke [23] e Ghiba et al. [9]).
   • Utilizza la caratterizzazione della policonvessità tramite valori singolari con segno (Teorema 2.6, Wiedemann e Peter [42]).
   • Utilizza l'equivalenza tra monotonia vettoriale e monotonia matriciale per funzioni tensoriali isotrope (Teorema 2.12).

Contributi Chiave e Risultati

1. Equivalenza dei Tipi di Monotonia: L'articolo dimostra che, per funzioni isotrope su $SL(n)$, il tensore di tensione di Kirchhoff è matrice-monotono (strettamente/fortemente) se e solo se la sua funzione vettoriale delle componenti principali è (strettamente/fortemente) vettore-monotona (Teorema 2.12). Questo risultato colma il divario tra le disuguaglianze costitutive basate su tensori e le rappresentazioni spettrali scalari.

2. Teorema Principale (Policonvessità $\implies$ Disuguaglianza di Hill in $SL(2)$):
   Il risultato centrale (Teorema 1.2) afferma che per una funzione di energia differenziabile, oggettiva e isotropa $W^{inc}: SL(2) \to \mathbb{R}$, la policonvessità implica la debole disuguaglianza di Hill.

   • Strategia di Dimostrazione 1: Utilizzando il Teorema 2.3, la policonvessità in $SL(2)$ implica l'esistenza di una funzione $\phi$ convessa e non decrescente tale che l'energia dipenda dal gap spettrale. La composizione di questa funzione convessa con le variabili di deformazione logaritmica produce una funzione convessa sull'insieme di vincolo $\Pi = \{(\ell_1, \ell_2) \mid \ell_1 + \ell_2 = 0\}$. Il gradiente di una funzione convessa è monotono, il che, tramite l'equivalenza stabilita, implica la disuguaglianza di Hill.
   • Strategia di Dimostrazione 2: Una dimostrazione alternativa utilizza la decomposizione dei valori singolari con segno e la convessità della funzione generatrice $\Psi$. Analizzando la sezione di questa funzione corrispondente all'incompressibilità, gli autori dimostrano la convessità stretta della funzione spettrale ridotta, portando alla stessa conclusione.

3. Distinzione dalle Dimensioni Superiori: L'articolo nota esplicitamente che questa implicazione è valida per $n=2$ ma fallisce per $n=3$. In tre dimensioni, esistono funzioni di energia convesse di rango uno (e persino policonvesse) che non soddisfano la disuguaglianza di Hill. L'articolo cita controesempi in cui la risposta della tensione di Cauchy non è monotona in trazione unassiale nonostante l'energia soddisfi la policonvessità.

Significato e Rivendicazioni
L'articolo sostiene di chiarire l'intimo collegamento tra l'ellitticità di Legendre-Hadamard, la policonvessità e la disuguaglianza di Hill specificamente all'interno del contesto incompressibile bidimensionale. Fornendo due prove alternative, gli autori dimostrano che in $SL(2)$, il requisito della policonvessità è sufficiente a garantire la debole disuguaglianza di Hill (monotonia della tensione di Kirchhoff rispetto alla deformazione logaritmica).

Gli autori mantengono un ambito modesto riguardo al caso tridimensionale. Riconoscono che in $SL(3)$, la policonvessità non implica la disuguaglianza di Hill e che la relazione tra l'ellitticità di Legendre-Hadamard e la policonvessità in 3D rimane una questione aperta. L'articolo non propone nuove applicazioni sperimentali, ma fornisce una consolidazione teorica delle disuguaglianze costitutive per materiali incompressibili 2D, rinforzando la validità dell'uso di energie policonvesse per garantire la stabilità del materiale in questo specifico contesto.