Connect local force balance, boundary conditions and the weak statement used by displacement finite elements.
01 Model and scope
The continuous model states what must balance at every point and what is prescribed on each boundary. Virtual work rewrites that model in an integral form suitable for approximation. The following derivation assumes small-strain quasi-static mechanics.
Route assumptions and calculation checks
- State the domain, loads and essential and natural boundaries.
- Choose a stress and strain measure compatible with the kinematics.
- Apply the declared constitutive law before discretizing the weak form.
02 Essential equations and symbols
Definitions and conventions
- Body, displacement boundary and traction boundary.
- Body force per volume and boundary traction.
- Admissible virtual displacement, zero on the essential boundary.
- Cauchy stress for this infinitesimal setting.
03 Step by step derivation
Follow the assumptions, equations and discrete operations in order. The full explanation stays visible.
1 · Declare the boundary-value problem
Partition the boundary into the essential and natural parts. Prescribe displacement on the former and traction on the latter. Supports must remove the unintended rigid mechanisms for an ordinary static solve.
2 · Test equilibrium
Multiply force balance by any admissible virtual displacement. Integrating the divergence term by parts exposes boundary traction and replaces a stress derivative by a displacement-gradient term.
3 · Use symmetry and boundary conditions
With symmetric Cauchy stress only the symmetric part of the virtual gradient contributes. The virtual displacement vanishes on the essential boundary, leaving the prescribed traction on the natural boundary.
4 · Close the mechanical model
A constitutive law closes the equilibrium equations. For homogeneous linear elasticity it maps infinitesimal strain to stress. Changing to finite kinematics requires consistent stress measures, virtual work and integration domains.
This is a formulation foundation, not verification evidence for an element or material route.
04 Algorithm and implementation
Follow the route sheets below to see how this shared mathematics is implemented.
05 Verification and limitations
FOUNDATION · infinitesimal quasi-static setting
The formulation and its explanatory checks do not by themselves establish a qualified application domain. Consult the capability matrix and the applicable recorded case.