Local form of the work theorem

The local form of the work theorem is the well known work-energy theorem of the theory of structures, locally defined in a local domain or region, used in the development of numerical methods. In an arbitrary local region, the work theorem establishes an energy relationship between a statically-admissible stress field and an independent kinematically-admissible strain field.

This method was first presented by Oliveira and Portela (2016), for the development of two new meshfree methods: The generalized-strain mesh-free (GSMF) formulation and the rigid-body displacement mesh-free (RBDMF) formulation.

Development

Let $\mathrm{\Omega }$ be the domain of a body and $\mathrm{\Gamma }$ its boundary subdivided in ${\mathrm{\Gamma }}_u$ and ${\mathrm{\Gamma }}_t$ that is $\mathrm{\Gamma }={\mathrm{\Gamma }}_u\cup {\mathrm{\Gamma }}_t$. The mixed fundamental boundary value problem of linear elastostatics aims to determine the distribution of stresses $\mathit{\sigma }$, strains $\mathit{\epsilon }$ and displacements $\mathbf{𝐮}$ throughout the body, when it has constrained displacements $\overline{\mathbf{𝐮}}$ defined on ${\mathrm{\Gamma }}_u$ and is loaded by an external system of distributed surface and body forces with densities denoted by $\overline{\mathbf{𝐭}}$ on ${\mathrm{\Gamma }}_t$ and $\mathbf{𝐛}$ in $\mathrm{\Omega }$, respectively.

A totally admissible elastic field is the solution of the posed problem that simultaneously satisfies the kinematic admissibility and the static admissibility. If this solution exists, see Fredholm (1906) and Fichera (1965), it can be shown that it is unique, provided linearity and stability of the material are admitted.

The general work theorem establishes an energy relationship between any statically-admissible stress field and any kinematically-admissible strain field that can be defined in the body. Derived as a weighted residual statement, the work theorem serves as a unifying basis for the formulation of numerical models in continuum mechanics, as seen in Brebbia (1985).

In the domain of the body, consider a statically-admissible stress field that is

${\mathbf{𝐋}}^T\mathit{\sigma }+\mathbf{𝐛}=\mathbf{𝟎}$

in the domain $\mathrm{\Omega }$, with boundary conditions

$\mathbf{𝐭}=\mathbf{𝐧}\mathit{\sigma }=\overline{\mathbf{𝐭}}$

on the static boundary ${\mathrm{\Gamma }}_t$, in which the vector $\mathit{\sigma }$ represents the stress components; $\mathbf{𝐋}$ is a matrix differential operator; the vector $\mathbf{𝐭}$ represent the traction components; $\overline{\mathbf{𝐭}}$ represent prescribed values of tractions and $\mathbf{𝐧}$ represents the outward unit normal components to the boundary.

In the global domain $\mathrm{\Omega }$, consider an arbitrary local subdomain ${\mathrm{\Omega }}_Q$, centered at the point $Q$, with boundary ${\mathrm{\Gamma }}_Q={\mathrm{\Gamma }}_{Qi}\cup {\mathrm{\Gamma }}_{Qt}\cup {\mathrm{\Gamma }}_{Qu}$, in which ${\mathrm{\Gamma }}_{Qi}$ is the interior local boundary, while ${\mathrm{\Gamma }}_{Qt}$ and ${\mathrm{\Gamma }}_{Qu}$ are local boundaries that respectively share a global boundary. Due to its arbitrariness, this local domain can be overlapping with other similar subdomains. For the local domain ${\mathrm{\Omega }}_Q$, the strong form of the weighted-residual equation is written as

$\underset{{\mathrm{\Omega }}_Q}{\int }{({\mathbf{𝐋}}^T\mathit{\sigma }+\mathbf{𝐛})}^T{\mathbf{𝐖}}_{\mathrm{\Omega }}d\mathrm{\Omega }+\underset{{\mathrm{\Gamma }}_{Qt}}{\int }{(\mathbf{𝐭}-\overline{\mathbf{𝐭}})}^T{\mathbf{𝐖}}_{\mathrm{\Gamma }}d\mathrm{\Gamma }=\mathbf{𝟎},$

in which ${\mathbf{𝐖}}_{\mathrm{\Omega }}$ and ${\mathbf{𝐖}}_{\mathrm{\Gamma }}$ are arbitrary weighting functions defined, respectively in $\mathrm{\Omega }$ and on $\mathrm{\Gamma }$. When the domain term is integrated by parts, the following local weak form of the weighted residual equation is obtained

$\underset{{\mathrm{\Gamma }}_Q}{\int }{\left(\mathbf{𝐧}\mathit{\sigma }\right)}^T{\mathbf{𝐖}}_{\mathrm{\Omega }}d\mathrm{\Gamma }-\underset{{\mathrm{\Omega }}_Q}{\int }({\mathit{\sigma }}^T\mathbf{𝐋}{\mathbf{𝐖}}_{\mathrm{\Omega }}-{\mathbf{𝐛}}^T{\mathbf{𝐖}}_{\mathrm{\Omega }})d\mathrm{\Omega }+\underset{{\mathrm{\Gamma }}_{Qt}}{\int }{(\mathbf{𝐭}-\overline{\mathbf{𝐭}})}^T{\mathbf{𝐖}}_{\mathrm{\Gamma }}d\mathrm{\Gamma }=\mathbf{𝟎}$

which now requires continuity of ${\mathbf{𝐖}}_{\mathrm{\Omega }}$, as an admissibility condition for integrability. For the sake of convenience, the arbitrary weighting function ${\mathbf{𝐖}}_{\mathrm{\Gamma }}$ is chosen as

${\mathbf{𝐖}}_{\mathrm{\Gamma }}=-{\mathbf{𝐖}}_{\mathrm{\Omega }},$

on the boundary ${\mathrm{\Gamma }}_{Qt}$. Thus, leads to

$\underset{{\mathrm{\Gamma }}_Q-{\mathrm{\Gamma }}_{Qt}}{\int }{\mathbf{𝐭}}^T{\mathbf{𝐖}}_{\mathrm{\Omega }}d\mathrm{\Gamma }+\underset{{\mathrm{\Gamma }}_{Qt}}{\int }\stackrel{T}{\stackrel{‾}{\mathbf{𝐭}}}{\mathbf{𝐖}}_{\mathrm{\Omega }}d\mathrm{\Gamma }-\underset{{\mathrm{\Omega }}_Q}{\int }({\mathit{\sigma }}^T\mathbf{𝐋}{\mathbf{𝐖}}_{\mathrm{\Omega }}-{\mathbf{𝐛}}^T{\mathbf{𝐖}}_{\mathrm{\Omega }})d\mathrm{\Omega }=\mathbf{𝟎}.$

Consider further an arbitrary kinematically-admissible strain field ${\mathit{\epsilon }}^{*}$, with continuous displacements ${\mathbf{𝐮}}^{*}$ and small derivatives, in order to assume geometrical linearity, defined in the global domain that is

${\mathit{\epsilon }}^{*}=\mathbf{𝐋}{\mathbf{𝐮}}^{*},$

in the domain $\mathrm{\Omega }$, with boundary conditions

${\mathbf{𝐮}}^{*}=\overline{\mathbf{𝐮}},$

on the kinematic boundary ${\mathrm{\Gamma }}_u$.

When the continuous arbitrary weighting function ${\mathbf{𝐖}}_{\mathrm{\Omega }}$, is defined as

${\mathbf{𝐖}}_{\mathrm{\Omega }}={\mathbf{𝐮}}^{*},$

the weak form, of the weighted residual equation, becomes

$\underset{{\mathrm{\Gamma }}_Q-{\mathrm{\Gamma }}_{Qt}-{\mathrm{\Gamma }}_{Qu}}{\int }{\mathbf{𝐭}}^T{\mathbf{𝐮}}^{*}d\mathrm{\Gamma }+\underset{{\mathrm{\Gamma }}_{Qu}}{\int }{\mathbf{𝐭}}^T\stackrel{*}{\stackrel{‾}{\mathbf{𝐮}}}d\mathrm{\Gamma }+\underset{{\mathrm{\Gamma }}_{Qt}}{\int }\stackrel{T}{\stackrel{‾}{\mathbf{𝐭}}}{\mathbf{𝐮}}^{*}d\mathrm{\Gamma }-\underset{{\mathrm{\Omega }}_Q}{\int }({\mathit{\sigma }}^T\mathbf{𝐋}{\mathbf{𝐮}}^{*}-{\mathbf{𝐛}}^T{\mathbf{𝐮}}^{*})d\mathrm{\Omega }=\mathbf{𝟎}$

which can be written in a compact form as

$\underset{{\mathrm{\Gamma }}_Q}{\int }{\mathbf{𝐭}}^T{\mathbf{𝐮}}^{*}d\mathrm{\Gamma }+\underset{{\mathrm{\Omega }}_Q}{\int }{\mathbf{𝐛}}^T{\mathbf{𝐮}}^{*}d\mathrm{\Omega }=\underset{{\mathrm{\Omega }}_Q}{\int }{\mathit{\sigma }}^{}{\mathit{\epsilon }}^{*}d\mathrm{\Omega }.$

This equation which expresses the static-kinematic duality, is the local form of the well-known work theorem, the fundamental identity of solid mechanics, see Sokolnikoff (1956). This equation is the starting point of the kinematically admissible formulations of the local meshfree methods, such as the generalized-atrain mesh-free (GSMF) formulation and the rigid-body displacement mesh-free (RBDMF) formulation.

It can be notice that the stress field $\mathit{\sigma }$, is any one that satisfies equilibrium with the applied external forces $\mathbf{𝐛}$ and $\mathbf{𝐭}$, which is not necessarily the stress field that actually settles in the body. Also, the strain field ${\mathit{\epsilon }}^{*}$, is any one that is compatible with the constraints ${\mathbf{𝐮}}^{*}=\overline{\mathbf{𝐮}}$, which is not necessarily the strain field that actually settles in the body. This two fields are not linked by any constitutive relationship; indeed, they are completely independent as a consequence of the arbitrariness of the weighting function ${\mathbf{𝐖}}_{\mathrm{\Omega }}$. For that reason this formulation can be used under the only assumption of geometrical linearity.

See also

• Structural engineering theory
• Finite element method
• Boundary element method
• Meshfree methods
• Numerical analysis
• Computational solid mechanics

References

This article "Local form of the work theorem" is from Wikipedia. The list of its authors can be seen in its historical. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.

📰 Article(s) of the same category(ies)

• Jadhav theorem
• Pósa theorem

---