Mechanics of deformable solids Theorem
Minimum total potential energy principle
Builds on Sobolev spaceWeak solutionPositive definite matrixLax–Milgram theoremCalculus of variations
Statement
Let be a bounded connected open set with Lipschitz boundary , where and are disjoint and has positive surface measure. Let be the linearised strain of a displacement . Let be a bounded measurable elasticity tensor field that is symmetric and uniformly positive definite on symmetric matrices. Let be the body force and the surface traction. Let , the admissible displacements, and define the total potential energy Then:
- has exactly one minimiser on .
- A displacement minimises on if and only if is a weak solution of the equilibrium equations below. Here is the outward unit normal.
Remarks
The functional is a strictly convex quadratic functional on the Sobolev space . Korn's inequality, together with , shows that the strain energy controls the norm on , 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 is the weak form of equilibrium. Without , the body can move rigidly: is unchanged along rigid motions when the loads are balanced, so uniqueness fails, and is unbounded below when they are not. Example in one dimension: a bar with stiffness , clamped at and pulled by a force at , has , whose minimiser is . 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.
- Bilinear form concept
- Calculus of variations concept
- Closed set concept
- Coercive bilinear form concept
- Compact operator concept
- Continuous dual space concept
- Convex set concept
- Element definition
- Extended real number line object
- Hilbert space concept
- Hölder continuity concept
- Inequality of arithmetic and geometric means statement
- 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
- 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
- Sobolev inequality statement
- Direct sum of subspaces definition
- 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
- Hilbert projection theorem statement
- Diameter of a set definition
- 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
Further reading
About this page
| Tag | A5T30ZHVGH |
|---|---|
| URI | m2://A5T30ZHVGH |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 74G65, 74B05, 49S05 |
| Status | This copy of the site has no build data. Run m2 status A5T30ZHVGH. |
| About | Calculus of variations |
| Uses | Sobolev 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.