Math 2.0

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 Ω⊂ℝ3\Omega \subset \R^3 be a bounded domain with Lipschitz boundary ∂Ω=ΓD‾∪ΓN‾\partial\Omega = \overline{\Gamma_D} \cup \overline{\Gamma_N}, where ΓD\Gamma_D and ΓN\Gamma_N are disjoint and ΓD\Gamma_D has positive surface measure. Let 𝖢\mathsf{C} be a bounded symmetric elasticity tensor field that is uniformly positive definite on symmetric 3×33 \times 3 matrices, and let 𝖲=𝖢−1\mathsf{S} = \mathsf{C}^{-1} be the compliance tensor. Let f∈L2(Ω)3f \in L^2(\Omega)^3 be the body force and g∈L2(ΓN)3g \in L^2(\Gamma_N)^3 the surface traction. For a displacement vv let ε(v)=12(∇v+∇vT)\varepsilon(v) = \tfrac12(\nabla v + \nabla v^T) be its linearised strain. Let V={v∈H1(Ω)3:v=0 on ΓD}V = \set{v \in H^1(\Omega)^3 : v = 0 \text{ on } \Gamma_D} and let Lsym2L^2_{\mathrm{sym}} be the space of square-integrable fields of symmetric 3×33 \times 3 matrices. The Hellinger–Reissner functional on V×Lsym2V \times L^2_{\mathrm{sym}} is ΠHR(v,τ)=∫Ω(τ:ε(v)−12 𝖲τ:τ−f⋅v)dx−∫ΓNg⋅v dS.\Pi_{HR}(v, \tau) = \int_\Omega \left( \tau : \varepsilon(v) - \tfrac12\, \mathsf{S}\tau : \tau - f \cdot v \right) dx - \int_{\Gamma_N} g \cdot v \, dS. Then a pair (u,σ)∈V×Lsym2(u, \sigma) \in V \times L^2_{\mathrm{sym}} is a stationary point of ΠHR\Pi_{HR}, that is, its first variation vanishes in all directions, if and only if:

  1. 𝖲σ=ε(u)\mathsf{S}\sigma = \varepsilon(u), that is, σ=𝖢ε(u)\sigma = \mathsf{C}\varepsilon(u);
  2. ∫Ωσ:ε(v) dx=∫Ωf⋅v dx+∫ΓNg⋅v dS\int_\Omega \sigma : \varepsilon(v)\, dx = \int_\Omega f \cdot v \, dx + \int_{\Gamma_N} g \cdot v \, dS for all v∈Vv \in V.

In that case uu is the unique weak solution of the problem of linear elasticity with these data, and σ\sigma is its stress. Moreover (u,σ)(u, \sigma) is a saddle point: ΠHR(u,τ)≤ΠHR(u,σ)≤ΠHR(v,σ)\Pi_{HR}(u, \tau) \le \Pi_{HR}(u, \sigma) \le \Pi_{HR}(v, \sigma) for all v∈Vv \in V and τ∈Lsym2\tau \in L^2_{\mathrm{sym}}.

Remarks

Varying τ\tau gives ∫Ωδτ:(ε(u)−𝖲σ) dx=0\int_\Omega \delta\tau : (\varepsilon(u) - \mathsf{S}\sigma)\,dx = 0 for all δτ\delta\tau, hence clause 1. Varying vv gives clause 2. Substituting σ=𝖢ε(u)\sigma = \mathsf{C}\varepsilon(u) shows that clauses 1 and 2 hold exactly when uu minimises the total potential energy, so existence and uniqueness follow from the minimum total potential energy principle. The functional is concave in τ\tau, because 𝖲\mathsf{S} is positive definite, and affine in vv. So σ\sigma maximises ΠHR(u,⋅)\Pi_{HR}(u, \cdot), and stationarity in vv makes ΠHR(⋅,σ)\Pi_{HR}(\cdot, \sigma) constant on VV; this gives the saddle-point inequalities.

Example: for a bar [0,ℓ][0, \ell] with stiffness k>0k > 0, clamped at 00 and pulled by a force PP at ℓ\ell, ΠHR(v,τ)=∫0ℓ(τv′−τ2/(2k)) dx−Pv(ℓ)\Pi_{HR}(v, \tau) = \int_0^\ell (\tau v' - \tau^2 / (2k))\,dx - P v(\ell). Its stationary point is u(x)=Px/ku(x) = Px / k and σ=P\sigma = P.

The principle is the Hu–Washizu principle after the strain has been eliminated by the constitutive law. Another common form integrates ∫Ωτ:ε(v) dx\int_\Omega \tau : \varepsilon(v)\,dx by parts, so that τ\tau must have a square-integrable divergence and vv 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.

  1. Bilinear form concept
  2. Calculus of variations concept
  3. Cauchy stress tensor concept
  4. Closed set concept
  5. Coercive bilinear form concept
  6. Compact operator concept
  7. Continuous dual space concept
  8. Convex set concept
  9. Elasticity tensor concept
  10. Element definition
  11. Euclidean space object
  12. Extended real number line object
  13. First variation concept
  14. Function concept
  15. Hilbert space concept
  16. Hölder continuity concept
  17. Inequality of arithmetic and geometric means statement
  18. Linear elasticity concept
  19. Linear form concept
  20. Lp space concept
  21. Orthogonal complement concept
  22. Positive definite matrix concept
  23. Proposition concept
  24. Real numbers object
  25. Set bounded above definition
  26. Sobolev space concept
  27. Strain tensor concept
  28. Uniform metric on bounded functions example
  29. Vector space definition
  30. Weak derivative concept
  31. Weak solution concept
  32. Set definition
  33. Total derivative concept
  34. Function of several variables concept
  35. Young's inequality for products statement
  36. Sobolev embedding theorem statement
  37. Conjunction definition
  38. Disjunction definition
  39. Implication definition
  40. Predicate definition
  41. Supremum definition
  42. Inner product definition
  43. Linear map definition
  44. Linear subspace definition
  45. Norm definition
  46. Empty set object
  47. Family of sets definition
  48. Ordered pair definition
  49. Differentiable function of several variables concept
  50. Local maximum and minimum concept
  51. Partial derivative concept
  52. Hölder's inequality statement
  53. Intersection definition
  54. Union definition
  55. Existential quantifier definition
  56. Universal quantifier definition
  57. Inner product space definition
  58. Orthogonal vectors definition
  59. Endomorphism definition
  60. Linear form definition
  61. Sum of subspaces definition
  62. Cartesian product definition
  63. Gradient concept
  64. Union of a family of sets definition
  65. Subset definition
  66. Uniqueness quantifier definition
  67. Norm induced by an inner product definition
  68. Orthogonal complement definition
  69. Riesz representation theorem in finite dimensions statement
  70. Direct sum of subspaces definition
  71. Sobolev inequality statement
  72. Binary relation definition
  73. Saddle point concept
  74. Topological space definition
  75. Parallelogram law statement
  76. A space is the direct sum of a subspace and its orthogonal complement statement
  77. Projection definition
  78. Function definition
  79. Sequential compactness definition
  80. Subspace topology definition
  81. Orthogonal projection definition
  82. Preimage of a set definition
  83. Restriction of a function definition
  84. Orthogonal projection is the closest point statement
  85. Metric space definition
  86. Subspace metric definition
  87. Convergence of a sequence in a metric space definition
  88. Open ball definition
  89. Diameter of a set definition
  90. Hilbert projection theorem statement
  91. Metric topology definition
  92. Epsilon characterisation of Cauchy sequences statement
  93. Totally bounded set definition
  94. Riesz representation theorem statement
  95. Open set definition
  96. Complete metric space definition
  97. Open cover definition
  98. Open sets of a metric space statement
  99. Open sets characterised by neighbourhoods statement
  100. Compact space definition
  101. Continuity at a point of a topological space definition
  102. Compact set definition
  103. Lebesgue number lemma statement
  104. Epsilon-delta continuity in metric spaces statement
  105. Compactness and sequential compactness agree in metric spaces statement
  106. Equicontinuity definition
  107. Compact iff complete and totally bounded statement
  108. Arzelà–Ascoli theorem statement
  109. Rellich–Kondrachov theorem statement
  110. Poincaré inequality statement
  111. Lax–Milgram theorem statement
  112. Minimum total potential energy principle statement
  113. Hellinger–Reissner principle statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Hu%E2%80%93Washizu_principle
About this page
Tag246NVGBMMX
URIm2://246NVGBMMX
Kindstatement, theorem
WritingW0 stub
MSC74B05, 74G65, 74S05
StatusThis copy of the site has no build data. Run m2 status 246NVGBMMX.
AboutLinear elasticity
UsesLinear elasticity, Elasticity tensor, Strain tensor, Cauchy stress tensor, Weak solution, First variation, Saddle point, Minimum total potential energy principle
Changed3 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.