How do we design how the system stores energy when stretched?
Postulate (Existence of Rest Metric)
We postulate there exists a time-independent metric ♭M on the material space. Then, we can define C^=♯MC where there is “no deformation” iff C^=id, as seen in Actual Model. We write energy as U(C)=Ψ(C^)ρM and Ψ is the specific internal energy or Helmholtz free energy.
A strain is an expression of C^ that measures its deviation from id. For large deformations, Hencky strain is usually considered as the natural true strain. For small deformations, ∂C^∂Ψ≈∂E∂Ψ.
Small Deformations
An example energy is the St Venant-Kirchhoff energy, which is given by
ΨStVK=2λtr(E)2+μtr(E2)
with the corresponding stress
S=♯M(λtr(E)id+2μE)ρM
The Lame constants λ,μ describe how stress relate to the isotropic part of deformation and anisotropic part of deformation, respectively.
We can measure Young’s modulusE and Poisson’s ratioν:
⎩⎨⎧Eν=Δℓ/ℓF/A=−ΔLΔL′source code
E measures how much force is needed to stretch a material linearly (think of it like a spring constant). It is defined as stress over strain.
ν measures how much a material contracts in the directions perpendicular to the direction of stretching (how much a material thins out when you stretch it).
We get the Lame constants from E and ν:
⎩⎨⎧λμ=(1+ν)(1−2ν)Eν=2(1+ν)E
Postulate (General Isotropic Material)
A material is called isotropic if
Ψ(C^)=Ψ(R−1C^R)
for all “rotation” operators R characterized by R∗♭MR=♭M. In R3, this means R is in Special Orthogonal GroupSO(3).
The energy is only a function of the eigenvalues (modulo permutations)
eigenvalues(C^)={λ1,λ2,λ3}
These eigenvalues are the square of the eigenvalues of Y in polar decomposition F=RY. Equivalently, they are the square of the singular values of F or the square of “principal stretching”.
How do we model U such that U(C)=u(λ1,λ2,λ3)? We can view the eigenvalues as the roots of a polynomial, and use the coefficient of the polynomial as our parameters:
{λ1,λ2,λ3}=roots(t3−I1t2+I2t−I3;t)
These coefficents are called the principal invariants:
which allows us to express the energy as a function of the principal invariants:
U(C)=w(I1,I2,I3)
Why do we care about principal invariants?
We can express the energy as a function of the principal invariants, which are easier to compute than the eigenvalues.
Since an isotropic material has no preferred direction, its stored energy Ψ can only depend on the principal stretches (the eigenvalues of C^). However, eigenvalues do not have a fixed order (they can swap), so a valid energy function must mod out permutation, meaning it must yield the same energy regardless of how the eigenvalues are ordered.
The principal invariants guarantee this symmetry, as the coefficients of the characteristic polynomial. Thus, we can model the energy as U(C)=w(I1,I2,I3).
Theorem (No Fourth Invariants)
We only need three trace invariants to compute the system, no matter the material.
So I1=tr(C). tr(C2)=I12−2I2. We also get tr(C3)=I13−3I1I2+3I3. How do we find tr(Ck)?
Notice that ∂C∂Ik is isolated as the coefficient for the zn−k term. To extract this specific coefficient from the right-hand side equation, we can take the (n−k)-th derivative with respect to z and evaluate it at z=0 (similar to finding coefficients in a Maclaurin series).
This provides the generalized formula for the derivative of the k-th principal invariant:
Consider a fluid where the energy potential Ψ only depends on volume deformation, entirely ignoring the shearing part. This means the energy depends exclusively on the third invariant, I3=det(C):