White box / Physical formulations / Material and section laws

Total-Lagrangian St. Venant–Kirchhoff

Composed formulation · assumptions, essential equations, full derivation, algorithm, code and verification references.

Browse another sheet Physical formulations / Material and section laws
Physical formulationsMaterial and section lawsSheet 4 / 6
Composed formulationAUDITED GO_WITH_LIMITATIONS · maturity not promoted

A finite-kinematic route using reference coordinates and an StVK law for selected static serial solid cases.

01 Model and scope

The total-Lagrangian formulation integrates forces over the reference configuration. Green–Lagrange strain is objective under finite rigid rotation, and the StVK law applies linear isotropic elasticity to that strain. This combination has finite-kinematic terms but is only a simple verification material; it is not physically reliable for every large-strain response.

Read the kinematics, constitutive law and solution lifecycle together. A component's evidence does not qualify their combination.

Route assumptions and calculation checks

  1. Green–Lagrange strain retains quadratic displacement-gradient terms and is zero for a pure finite rigid rotation.
  2. StVK is linear in E but does not become a generally reliable material law at large strain merely because the kinematics are finite.
  3. The audited evidence is selected static serial TET4/HEX8, GO_WITH_LIMITATIONS, with no maturity promotion; contact, coupled J2, dynamics, MPI/PETSc, high-order, follower-load, and reduced/hourglass routes are excluded.

02 Essential equations and symbols

F=I+∇Xu,J=det⁡F>0\mathbf F=\mathbf I+\nabla_X\mathbf u,\quad J=\det\mathbf F>0E=12(FTF−I),S=λtr⁡(E)I+2μE\mathbf E=\frac12(\mathbf F^T\mathbf F-\mathbf I),\quad\mathbf S=\lambda\operatorname{tr}(\mathbf E)\mathbf I+2\mu\mathbf EP=FS,fint,a=∫Ω0P∇XNa dV0\mathbf P=\mathbf F\mathbf S,\quad\mathbf f_{int,a}=\int_{\Omega_0}\mathbf P\nabla_XN_a\,\mathrm dV_0

Definitions and conventions

X,x=X+uX, x = X+u
Reference and current coordinates.
F=∂x/∂XF = \partial{}x/\partial{}X
Deformation gradient; J=det(F) must remain positive.
E=12(FTF−I)E = \frac{1}{2}(F^TF-I)
Green–Lagrange strain measured against the reference configuration.
SS
Second Piola–Kirchhoff stress, work-conjugate to E.
P=FSP = FS
First Piola–Kirchhoff stress, used with reference gradients.
reference Ω₀current ΩXxX → F → Green–Lagrange E → PIntegrate force over reference volume Ω₀E = ½(FᵀF − I) includes quadratic termsConsistent tangent combines material and geometric parts
Reference configuration and finite-rotation strainThe strain measure is objective for rigid rotation, but StVK remains a simple linear-in-E material. Finite kinematics alone do not validate arbitrary large-strain response.
5 detailed steps

03 Step by step derivation

Follow the assumptions, equations and discrete operations in order. The full explanation stays visible.

In the v0.2.11 TET4 kernel, reference gradients form F, then E, second Piola stress S, first Piola stress P=FS, and internal force. A consistent tangent contains both material and geometric contributions. The separate static TET4/HEX8 audit remained GO_WITH_LIMITATIONS and did not promote maturity.

1 · Keep the reference configuration fixed

Total-Lagrangian integration stores the original coordinates X and reference volume Ω₀ throughout the solve. The deformation gradient maps reference directions to current directions. This choice makes the virtual-work integral independent of repeatedly rebuilding the integration domain in the deformed configuration.

x(X)=X+u(X)\mathbf x(\mathbf X)=\mathbf X+\mathbf u(\mathbf X)F=∂x∂X=I+∇ ⁣Xu\mathbf F=\frac{\partial\mathbf x}{\partial\mathbf X}=\mathbf I+\nabla_{\!X}\mathbf uJ=det⁡F>0J=\det\mathbf F>0

The TET4 implementation rejects an inverted or singular current deformation as well as invalid reference geometry.

2 · Use Green–Lagrange strain for finite-rotation kinematics

The term FᵀF removes a pure rigid rotation because RᵀR=I. Expanding E shows both the linear symmetric-gradient term and a quadratic gradient term. That quadratic term is discarded by infinitesimal elasticity but retained here.

E=12(FTF−I)\mathbf E=\frac12\left(\mathbf F^T\mathbf F-\mathbf I\right)E=sym⁡(∇Xu)+12(∇Xu)T∇Xu\mathbf E=\operatorname{sym}(\nabla_X\mathbf u)+\frac12(\nabla_X\mathbf u)^T\nabla_X\mathbf uF=R⟹E=0\mathbf F=\mathbf R\quad\Longrightarrow\quad\mathbf E=\mathbf0

Objectivity of this strain measure does not make an arbitrary constitutive law objective by itself; stress measures and work conjugacy must also match.

3 · Apply the St. Venant–Kirchhoff material law

StVK is the finite-kinematic counterpart of a linear isotropic law written in Green–Lagrange strain. It returns second Piola stress S. The law remains linear in E, even though E is nonlinear in displacement; the global force–displacement relation is consequently nonlinear.

S=λtr⁡(E)I+2μE\mathbf S=\lambda\operatorname{tr}(\mathbf E)\mathbf I+2\mu\mathbf Eλ=EYν(1+ν)(1−2ν),μ=EY2(1+ν)\lambda=\frac{E_Y\nu}{(1+\nu)(1-2\nu)},\qquad\mu=\frac{E_Y}{2(1+\nu)}W(E)=12λ[tr⁡(E)]2+μE:EW(\mathbf E)=\frac12\lambda[\operatorname{tr}(\mathbf E)]^2+\mu\mathbf E:\mathbf E

Here E_Y denotes Young's modulus; bold E denotes Green–Lagrange strain. StVK can predict poor or nonphysical behavior at large strain despite the exact finite-rotation kinematics.

4 · Push stress forward and assemble reference virtual work

Second Piola stress is work-conjugate to Green–Lagrange strain. The first Piola stress P=FS enters the reference-volume force integral. The consistent tangent separates a material contribution, which changes S with E, from a geometric contribution due to the current F and stress.

P=FS\mathbf P=\mathbf F\mathbf Sfint,a=∫Ω0P∇ ⁣XNa dV0\mathbf f_{int,a}=\int_{\Omega_0}\mathbf P\nabla_{\!X}N_a\,\mathrm dV_0KT=Kmaterial+Kgeometric\mathbf K_T=\mathbf K_{material}+\mathbf K_{geometric}

For the affine TET4 kernel, reference gradients and volume are constant. Higher-order or distorted element routes require their own integration and tangent evidence.

5 · Read the audit boundary

The source verification summary reports a bounded static serial campaign using selected TET4 and HEX8 StVK cases and records GO_WITH_LIMITATIONS; its final audit leaves maturity unchanged. The envelope excludes contact, coupled J2, dynamics, MPI/PETSc, higher-order elements, follower loads, and reduced/hourglass HEX8 variants.

audited route: selected static serial TET4 / HEX8 cases\text{audited route: selected static serial TET4 / HEX8 cases}decision: GO_WITH_LIMITATIONS; maturity unchanged\text{decision: GO\_WITH\_LIMITATIONS; maturity unchanged}a finite-kinematic formulation⇏a generally reliable large-strain material model\text{a finite-kinematic formulation}\not\Rightarrow\text{a generally reliable large-strain material model}

A small geometric-nonlinear smoke example is deliberately WARNING. Treat it as an execution demonstration, not proof of convergence, physical validation, or qualification outside the recorded route.

04 Algorithm and implementation

Source excerpt · v0.2.11

The TET4 kernel evaluates Green–Lagrange strain and StVK second Piola stress, maps it to first Piola stress, and integrates force over the reference volume.

Code
deformation = self.deformation_gradient(coords, displacement)
strain = self.green_lagrange_strain(deformation)
stress = self.second_piola_stress(strain)
first_piola = deformation @ stress
internal = volume * np.einsum('iJ,aJ->ai', first_piola, gradients).reshape(12)
tangent = self._consistent_tangent(deformation, stress, gradients, volume)
return internal, symmetrize(tangent)
Read the complete versioned implementation →

05 Verification and limitations

AUDITED GO_WITH_LIMITATIONS · maturity not promoted

The small geometric-nonlinear TET4 fixture is a smoke test and returns WARNING by design.

Each reference supports its own model, observable and analysis route. Read the original contract and limitations before transferring a conclusion.

Recorded repository calculations

See this method in a calculation.

Each case keeps its mesh, measured quantities, source record and limitations attached to the result.

Browse every calculation case →

06 Sources and related sheets

Continue the reasoning

Back to sheet contents ↑