Mechanics of deformable solids Methods Theorem
Hu–Washizu principle
Builds on Linear elasticityElasticity tensorStrain tensorCauchy stress tensorWeak solutionFirst variationMinimum total potential energy principle
Statement
Let be a bounded domain with Lipschitz boundary , where and are disjoint and has positive surface measure. Let be a bounded symmetric elasticity tensor field that is uniformly positive definite on symmetric matrices. Let be the body force, the surface traction, and a given displacement. For a displacement let be its linearised strain. Let , let , and let be the space of square-integrable fields of symmetric matrices. The Hu–Washizu functional on is Then a triple is a stationary point of , that is, its first variation vanishes in all directions of , if and only if:
- (kinematics);
- (constitutive law);
- for all (weak equilibrium).
In that case is the unique weak solution of the problem of linear elasticity with these data, and is its stress.
Remarks
The proof is a direct computation of the three partial variations. Varying gives for all , hence clause 1. Varying gives , hence clause 2, using the symmetry of . Varying gives clause 3. Clauses 1 to 3 together say that minimises the total potential energy, so existence and uniqueness follow from the minimum total potential energy principle.
The stationary point is a saddle point, not a minimum: the functional is linear in . Eliminating and by clauses 1 and 2 gives back the total potential energy; eliminating by clause 2 alone gives the Hellinger–Reissner functional. The displacement condition on is imposed here in the space ; other versions add a boundary term to impose it weakly.
Going deeper
For a student
The principle is the starting point of three-field mixed finite element methods. One chooses separate finite-dimensional spaces for displacements, strains and stresses, and imposes stationarity on them. Such methods are used to avoid locking, for instance in nearly incompressible materials, and the assumed-strain and enhanced-strain elements can be derived from it. Unlike the potential energy, the functional is not convex, so the discrete spaces must satisfy inf-sup stability conditions.
Reading path
To understand this page from the ground up, read these 104 pages in order. The foundations come first.
- Bilinear form concept
- Calculus of variations concept
- Cauchy stress tensor concept
- Closed set concept
- Coercive bilinear form concept
- Compact operator concept
- Continuous dual space concept
- Convex set concept
- Elasticity tensor concept
- Element definition
- Extended real number line object
- First variation concept
- Hilbert space concept
- Hölder continuity concept
- Inequality of arithmetic and geometric means statement
- Linear elasticity concept
- Linear form concept
- Lp space concept
- Orthogonal complement concept
- Positive definite matrix concept
- Proposition concept
- Real numbers object
- Set bounded above definition
- Sobolev space concept
- Strain tensor concept
- Uniform metric on bounded functions example
- Vector space definition
- Weak derivative concept
- Weak solution concept
- Set definition
- Young's inequality for products statement
- Sobolev embedding theorem statement
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Supremum definition
- Inner product definition
- Linear map definition
- Linear subspace definition
- Norm definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Hölder's inequality statement
- Intersection definition
- Union definition
- Existential quantifier definition
- Universal quantifier definition
- Inner product space definition
- Orthogonal vectors definition
- Endomorphism definition
- Linear form definition
- Sum of subspaces definition
- Cartesian product definition
- Union of a family of sets definition
- Subset definition
- Uniqueness quantifier definition
- Norm induced by an inner product definition
- Orthogonal complement definition
- Riesz representation theorem in finite dimensions statement
- Direct sum of subspaces definition
- Sobolev inequality statement
- Binary relation definition
- Topological space definition
- Parallelogram law statement
- A space is the direct sum of a subspace and its orthogonal complement statement
- Projection definition
- Sequential compactness definition
- Function definition
- Subspace topology definition
- Orthogonal projection definition
- Preimage of a set definition
- Restriction of a function definition
- Orthogonal projection is the closest point statement
- Metric space definition
- Subspace metric definition
- Convergence of a sequence in a metric space definition
- Open ball definition
- Diameter of a set definition
- Hilbert projection theorem statement
- Metric topology definition
- Epsilon characterisation of Cauchy sequences statement
- Totally bounded set definition
- Riesz representation theorem statement
- Open set definition
- Complete metric space definition
- Open cover definition
- Open sets characterised by neighbourhoods statement
- Open sets of a metric space statement
- Compact space definition
- Continuity at a point of a topological space definition
- Compact set definition
- Lebesgue number lemma statement
- Epsilon-delta continuity in metric spaces statement
- Compactness and sequential compactness agree in metric spaces statement
- Equicontinuity definition
- Compact iff complete and totally bounded statement
- Arzelà–Ascoli theorem statement
- Rellich–Kondrachov theorem statement
- Poincaré inequality statement
- Lax–Milgram theorem statement
- Minimum total potential energy principle statement
- Hu–Washizu principle statement
Further reading
About this page
| Tag | RG1Z4YXVF4 |
|---|---|
| URI | m2://RG1Z4YXVF4 |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 74B05, 74G65, 74S05 |
| Status | This copy of the site has no build data. Run m2 status RG1Z4YXVF4. |
| About | Linear elasticity |
| Uses | Linear elasticity, Elasticity tensor, Strain tensor, Cauchy stress tensor, Weak solution, First variation, Minimum total potential energy principle |
| Same as | |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.