Math 2.0

Mechanics of deformable solids Theorem

Minimum total potential energy principle

Builds on Sobolev spaceWeak solutionPositive definite matrixLax–Milgram theoremCalculus of variations

Statement

Let Ω⊂ℝ3\Omega \subset \R^3 be a bounded connected open set 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 ε(v)=12(∇v+∇vT)\varepsilon(v) = \tfrac12(\nabla v + \nabla v^T) be the linearised strain of a displacement v ⁣:Ω→ℝ3v \colon \Omega \to \R^3. Let 𝖢\mathsf{C} be a bounded measurable elasticity tensor field that is symmetric and uniformly positive definite on symmetric 3×33 \times 3 matrices. 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. Let V={v∈H1(Ω)3:v=0 on ΓD}V = \set{v \in H^1(\Omega)^3 : v = 0 \text{ on } \Gamma_D}, the admissible displacements, and define the total potential energy Π(v)=12∫Ω𝖢ε(v):ε(v) dx−∫Ωf⋅v dx−∫ΓNg⋅v dS.\Pi(v) = \frac12 \int_\Omega \mathsf{C}\varepsilon(v) : \varepsilon(v)\, dx - \int_\Omega f \cdot v \, dx - \int_{\Gamma_N} g \cdot v \, dS. Then:

  1. Π\Pi has exactly one minimiser uu on VV.
  2. A displacement u∈Vu \in V minimises Π\Pi on VV if and only if uu is a weak solution of the equilibrium equations below. Here ν\nu is the outward unit normal. −div⁡(𝖢ε(u))=f in Ω,u=0 on ΓD,(𝖢ε(u))ν=g on ΓN.-\operatorname{div}(\mathsf{C}\varepsilon(u)) = f \text{ in } \Omega, \quad u = 0 \text{ on } \Gamma_D, \quad (\mathsf{C}\varepsilon(u))\nu = g \text{ on } \Gamma_N.

Remarks

The functional Π\Pi is a strictly convex quadratic functional on the Sobolev space VV. Korn's inequality, together with ∣ΓD∣>0\abs{\Gamma_D} > 0, shows that the strain energy controls the H1H^1 norm on VV, so the Lax–Milgram theorem gives existence and uniqueness. For a convex quadratic functional, minimisers are exactly the points where the first variation vanishes, and the first variation of Π\Pi is the weak form of equilibrium. Without ∣ΓD∣>0\abs{\Gamma_D} > 0, the body can move rigidly: Π\Pi is unchanged along rigid motions when the loads are balanced, so uniqueness fails, and Π\Pi is unbounded below when they are not. Example in one dimension: a bar [0,ℓ][0, \ell] with stiffness k>0k > 0, clamped at 00 and pulled by a force PP at ℓ\ell, has Π(v)=k2∫0ℓv′2 dx−Pv(ℓ)\Pi(v) = \tfrac{k}{2}\int_0^\ell v'^2\,dx - P v(\ell), whose minimiser is u(x)=Px/ku(x) = Px/k. The same idea, that stable equilibria minimise the total potential energy, holds for conservative systems more generally. It is the basis of the finite element method in structural mechanics.

Going deeper

For a student

The principle is the variational form of linear elasticity, and it is a model case of the direct method of the calculus of variations. It replaces a system of partial differential equations by the minimisation of a convex functional. Restricting the minimisation to a finite-dimensional space of trial displacements gives the Ritz and finite element approximations, and the convexity gives their convergence.

Reading path

To understand this page from the ground up, read these 98 pages in order. The foundations come first.

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

Further reading

  1. Web https://en.wikipedia.org/wiki/Minimum_total_potential_energy_principle
About this page
TagA5T30ZHVGH
URIm2://A5T30ZHVGH
Kindstatement, theorem
WritingW0 stub
MSC74G65, 74B05, 49S05
StatusThis copy of the site has no build data. Run m2 status A5T30ZHVGH.
AboutCalculus of variations
UsesSobolev space, Weak solution, Positive definite matrix, Lax–Milgram theorem, Calculus of variations
Same as

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.