Mechanics of deformable solids Methods Theorem
Hellinger–Reissner principle
Builds on Linear elasticityElasticity tensorStrain tensorCauchy stress tensorWeak solutionFirst variationSaddle pointMinimum 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, and let be the compliance tensor. Let be the body force and the surface traction. For a displacement let be its linearised strain. Let and let be the space of square-integrable fields of symmetric matrices. The Hellinger–Reissner functional on is Then a pair is a stationary point of , that is, its first variation vanishes in all directions, if and only if:
- , that is, ;
- for all .
In that case is the unique weak solution of the problem of linear elasticity with these data, and is its stress. Moreover is a saddle point: for all and .
Remarks
Varying gives for all , hence clause 1. Varying gives clause 2. Substituting shows that clauses 1 and 2 hold exactly when minimises the total potential energy, so existence and uniqueness follow from the minimum total potential energy principle. The functional is concave in , because is positive definite, and affine in . So maximises , and stationarity in makes constant on ; this gives the saddle-point inequalities.
Example: for a bar with stiffness , clamped at and pulled by a force at , . Its stationary point is and .
The principle is the Hu–Washizu principle after the strain has been eliminated by the constitutive law. Another common form integrates by parts, so that must have a square-integrable divergence and need only be square-integrable.
Going deeper
For a student
The principle is the basis of two-field mixed finite element methods, in which stresses are approximated directly instead of being computed by differentiating displacements. This often gives more accurate stresses and avoids locking in thin structures and in nearly incompressible materials. Because the solution is a saddle point, the discrete stress and displacement spaces must satisfy an inf-sup condition to give a stable method. It is the two-field case of the Hu–Washizu principle.
Reading path
To understand this page from the ground up, read these 113 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
- Euclidean space object
- Extended real number line object
- First variation concept
- Function 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
- Total derivative concept
- Function of several variables concept
- 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
- Differentiable function of several variables concept
- Local maximum and minimum concept
- Partial derivative concept
- 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
- Gradient concept
- 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
- Saddle point concept
- Topological space definition
- Parallelogram law statement
- A space is the direct sum of a subspace and its orthogonal complement statement
- Projection definition
- Function definition
- Sequential compactness 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 of a metric space statement
- Open sets characterised by neighbourhoods 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
- Hellinger–Reissner principle statement
Further reading
About this page
| Tag | 246NVGBMMX |
|---|---|
| URI | m2://246NVGBMMX |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 74B05, 74G65, 74S05 |
| Status | This copy of the site has no build data. Run m2 status 246NVGBMMX. |
| About | Linear elasticity |
| Uses | Linear elasticity, Elasticity tensor, Strain tensor, Cauchy stress tensor, Weak solution, First variation, Saddle point, Minimum total potential energy principle |
| 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.