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

This paper demonstrates that in the incompressible two-dimensional case, both Legendre-Hadamard ellipticity (rank-one convexity) and polyconvexity imply Hill's inequality, thereby clarifying the intimate connections between these previously considered independent constitutive conditions.

The Gist

The Big Picture: Making Rubber Bands Predictable

Imagine you are a scientist trying to design a new type of super-strong rubber band or a soft robot arm. To make sure your design doesn't fall apart or behave strangely when you pull it, you need to follow a set of mathematical "rules of safety."

This paper is about two specific safety rules for materials that cannot be squished (incompressible materials, like water or very stiff rubber). The authors, Ionel-Dumitrel Ghiba, Maximilian P. Wollner, and Patrizio Neff, wanted to know: If a material follows one specific safety rule, does it automatically follow another?

They focused on a specific scenario: 2D materials (like a flat sheet of rubber) that are incompressible (you can stretch them, but you can't change their total area).

The Two Rules in Question

To understand the paper, we need to understand the two "rules" they are comparing:

1. The "Polyconvexity" Rule (The Architect's Blueprint)
Think of this as a rule about the shape of the energy.

• The Analogy: Imagine you are building a house. "Polyconvexity" is like saying, "If I build a house using these specific, sturdy blocks, the whole structure will be stable." It's a mathematical way of ensuring that the material's energy doesn't have any weird dips or holes that would cause it to collapse or fold in on itself unexpectedly.
• In the paper: This is a condition that guarantees the material is stable under complex stretching. It's a very strong, "architectural" requirement.

2. The "Hill's Inequality" Rule (The Stress-Strain Promise)
Think of this as a rule about how the material reacts when you pull it.

• The Analogy: Imagine pulling on a rubber band. If you pull it a little, it resists a little. If you pull it a lot, it should resist a lot more. It should never suddenly get "lazy" and offer less resistance as you pull harder.
• In the paper: This is called "Hill's inequality." It demands that as you stretch the material (increasing the "logarithmic stretch"), the internal stress (the force pushing back) must always increase. If you pull harder, the material must push back harder. If it doesn't, the material might behave unpredictably or fail.

The Big Question

For a long time, scientists knew that these two rules were different. You could have a material that followed the "Architect's Blueprint" (Polyconvexity) but didn't necessarily follow the "Stress-Strain Promise" (Hill's Inequality). They were considered independent.

The paper's discovery:
The authors proved that for flat, incompressible materials (2D), if you follow the "Architect's Blueprint" (Polyconvexity), you automatically follow the "Stress-Strain Promise" (Hill's Inequality).

It's like discovering that if you build a house using only the strongest, most stable blocks (Polyconvexity), you are guaranteed that the front door will always open smoothly and never get stuck (Hill's Inequality). You don't need to check the door separately; the quality of the blocks ensures it.

How They Proved It (The "Magic" Steps)

The authors didn't just guess; they provided two different mathematical proofs to show this connection.

1. The "Shape" Proof: They showed that for 2D materials, the "Architect's Blueprint" forces the energy curve to be shaped like a perfect bowl (convex). A perfect bowl shape mathematically guarantees that if you go up the side of the bowl (stretching), the slope (resistance) always gets steeper.
2. The "Signed Numbers" Proof: They used a clever way of looking at the material's stretching using "signed numbers" (allowing for negative values in a specific mathematical sense). This allowed them to show that the stability of the material's structure forces the stress to always increase with strain.

The Catch: It Only Works in 2D

This is the most important part of the paper. The authors explicitly state that this "automatic guarantee" only works for 2D materials (like a flat sheet).

• In 3D (Real World Objects): If you have a block of rubber or a balloon, the "Architect's Blueprint" (Polyconvexity) does not guarantee the "Stress-Strain Promise." You can build a stable 3D structure that still has a weird spot where pulling harder makes it push back less.
• The Analogy: Think of a flat sheet of paper. If you fold it correctly, it's very stable. But if you try to do the same folding trick with a 3D cube, it might wobble or collapse in a way the flat sheet wouldn't. The rules that work for the sheet don't automatically work for the cube.

Summary

• The Problem: Scientists need to ensure materials are stable and predictable. Two different rules exist to check this.
• The Discovery: For flat, incompressible materials (2D), following the first rule (Polyconvexity) guarantees you follow the second rule (Hill's Inequality).
• The Limitation: This guarantee breaks down in 3D. A material can be stable in the "Architect's" sense but still behave strangely when pulled in three dimensions.
• The Result: The paper provides two different mathematical proofs to confirm this link for 2D, helping engineers and scientists know exactly when they can rely on one rule to ensure the other.

Technical Summary

Technical Summary: Polyconvexity Implies Hill's Inequality in SL(2)

Problem Statement
In the theory of compressible nonlinear isotropic elasticity, the constitutive conditions of rank-one convexity (Legendre-Hadamard ellipticity), polyconvexity, and the true-stress–true-strain monotonicity condition (TSTS-M+) are generally independent. While TSTS-M+ ensures physically meaningful behavior such as increasing Cauchy stress in uniaxial tension, it is not guaranteed by polyconvexity alone. However, in the incompressible case, the Cauchy stress reduces to the Kirchhoff stress, and TSTS-M+ simplifies to Hill's inequality. This inequality requires the monotonicity of the Kirchhoff stress with respect to the logarithmic stretch tensor on the manifold of volume-preserving deformations.

A critical gap exists in the literature regarding the relationship between these stability conditions in the incompressible setting. While it is known that in three dimensions ($n=3$), polyconvexity does not necessarily imply Hill's inequality, the specific relationship in the two-dimensional incompressible case ($SL(2)$) requires clarification. The paper addresses whether the a priori independent notions of polyconvexity and Hill's inequality are connected in the specific context of $SL(2)$.

Methodology
The authors analyze isotropic and objective energy functions $W^{inc}: SL(n) \to \mathbb{R}$, where $SL(n)$ is the special linear group of volume-preserving deformations. The methodology relies on the following theoretical frameworks:

1. Manifold Definitions: The energy is re-parametrized using the logarithmic stretch tensor $X = \log V$, where $V$ is the left stretch tensor. This maps the manifold of isochoric stretches to the linear space of deviatoric symmetric tensors, $dev\,Sym(n) = \{X \in Sym(n) \mid \text{tr}X = 0\}$.
2. Stress Definitions: The Kirchhoff stress tensor $\hat{\tau}$ is defined as the intrinsic gradient of the re-parametrized energy $\tilde{W}^{inc}$ on $dev\,Sym(n)$. The paper establishes a rigorous link between the matrix monotonicity of $\hat{\tau}$ and the vector monotonicity of its principal components $\hat{\tau}(\ell)$, where $\ell = (\log \lambda_1, \dots, \log \lambda_n)$.
3. Convexity Characterizations:
   • For $SL(2)$, the paper utilizes the equivalence between rank-one convexity and polyconvexity for objective isotropic functions (Theorem 2.3, based on Mielke [23] and Ghiba et al. [9]).
   • It employs the characterization of polyconvexity via signed singular values (Theorem 2.6, Wiedemann and Peter [42]).
   • It utilizes the equivalence between vector monotonicity and matrix monotonicity for isotropic tensor functions (Theorem 2.12).

Key Contributions and Results

1. Equivalence of Monotonicity Types: The paper proves that for isotropic functions on $SL(n)$, the Kirchhoff stress tensor is (strictly/strongly) matrix monotone if and only if its principal component vector function is (strictly/strongly) vector monotone (Theorem 2.12). This result bridges the gap between tensor-based constitutive inequalities and scalar spectral representations.

2. Main Theorem (Polyconvexity $\implies$ Hill's Inequality in $SL(2)$):
   The central result (Theorem 1.2) states that for an objective, isotropic, differentiable energy function $W^{inc}: SL(2) \to \mathbb{R}$, polyconvexity implies the weak Hill inequality.

   • Proof Strategy 1: Using Theorem 2.3, polyconvexity in $SL(2)$ implies the existence of a convex, non-decreasing function $\phi$ such that the energy depends on the spectral gap. The composition of this convex function with the logarithmic stretch variables yields a convex function on the constraint set $\Pi = \{(\ell_1, \ell_2) \mid \ell_1 + \ell_2 = 0\}$. The gradient of a convex function is monotone, which, via the established equivalence, implies Hill's inequality.
   • Proof Strategy 2: An alternative proof uses the signed singular value decomposition and the convexity of the generating function $\Psi$. By analyzing the slice of this function corresponding to incompressibility, the authors demonstrate strict convexity of the reduced spectral function, leading to the same conclusion.

3. Distinction from Higher Dimensions: The paper explicitly notes that this implication holds for $n=2$ but fails for $n=3$. In three dimensions, there exist rank-one convex (and even polyconvex) energy functions that do not satisfy Hill's inequality. The paper cites counterexamples where the Cauchy stress response is not monotone in uniaxial tension despite the energy satisfying polyconvexity.

Significance and Claims
The paper claims to clarify the intimate connection between Legendre-Hadamard ellipticity, polyconvexity, and Hill's inequality specifically within the two-dimensional incompressible setting. By providing two alternative proofs, the authors demonstrate that in $SL(2)$, the requirement of polyconvexity is sufficient to guarantee the weak Hill inequality (monotonicity of Kirchhoff stress with respect to logarithmic strain).

The authors maintain a modest scope regarding the three-dimensional case. They acknowledge that in $SL(3)$, polyconvexity does not imply Hill's inequality and that the relationship between Legendre-Hadamard ellipticity and polyconvexity in 3D remains an open question. The paper does not propose new experimental applications but rather provides a theoretical consolidation of constitutive inequalities for 2D incompressible materials, reinforcing the validity of using polyconvex energies to ensure material stability in this specific context.