Math 2.0

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 Ω⊂ℝ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. Let f∈L2(Ω)3f \in L^2(\Omega)^3 be the body force, g∈L2(ΓN)3g \in L^2(\Gamma_N)^3 the surface traction, and uˉ∈H1(Ω)3\bar u \in H^1(\Omega)^3 a given displacement. For a displacement vv let ε(v)=12(∇v+∇vT)\varepsilon(v) = \tfrac12(\nabla v + \nabla v^T) be its linearised strain. Let U={v∈H1(Ω)3:v=uˉ on ΓD}U = \set{v \in H^1(\Omega)^3 : v = \bar u \text{ on } \Gamma_D}, 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 Hu–Washizu functional on U×Lsym2×Lsym2U \times L^2_{\mathrm{sym}} \times L^2_{\mathrm{sym}} is ΠHW(v,e,τ)=∫Ω(12 𝖢e:e−τ:(e−ε(v))−f⋅v)dx−∫ΓNg⋅v dS.\Pi_{HW}(v, e, \tau) = \int_\Omega \left( \tfrac12\, \mathsf{C} e : e - \tau : \big(e - \varepsilon(v)\big) - f \cdot v \right) dx - \int_{\Gamma_N} g \cdot v \, dS. Then a triple (u,e,σ)(u, e, \sigma) is a stationary point of ΠHW\Pi_{HW}, that is, its first variation vanishes in all directions of V×Lsym2×Lsym2V \times L^2_{\mathrm{sym}} \times L^2_{\mathrm{sym}}, if and only if:

  1. e=ε(u)e = \varepsilon(u) (kinematics);
  2. σ=𝖢e\sigma = \mathsf{C} e (constitutive law);
  3. ∫Ωσ:ε(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 (weak equilibrium).

In that case uu is the unique weak solution of the problem of linear elasticity with these data, and σ\sigma is its stress.

Remarks

The proof is a direct computation of the three partial variations. Varying τ\tau gives ∫Ωδτ:(e−ε(u)) dx=0\int_\Omega \delta\tau : (e - \varepsilon(u))\,dx = 0 for all δτ\delta\tau, hence clause 1. Varying ee gives ∫Ω(𝖢e−σ):δe dx=0\int_\Omega (\mathsf{C} e - \sigma) : \delta e \, dx = 0, hence clause 2, using the symmetry of 𝖢\mathsf{C}. Varying vv gives clause 3. Clauses 1 to 3 together say that uu 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 τ\tau. Eliminating ee and τ\tau by clauses 1 and 2 gives back the total potential energy; eliminating ee by clause 2 alone gives the Hellinger–Reissner functional. The displacement condition on ΓD\Gamma_D is imposed here in the space UU; 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.

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

Further reading

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