Top Qs
Timeline
Chat
Perspective

Saint-Venant's compatibility condition

From Wikipedia, the free encyclopedia

Remove ads

In the mathematical theory of elasticity, Saint-Venant's compatibility condition defines the relationship between the strain and a displacement field by

where . Barré de Saint-Venant derived the compatibility condition for an arbitrary symmetric second rank tensor field to be of this form, this has now been generalized to higher rank symmetric tensor fields on spaces of dimension

Remove ads

Rank 2 tensor fields

Summarize
Perspective

For a symmetric rank 2 tensor field in n-dimensional Euclidean space () the integrability condition takes the form of the vanishing of the Saint-Venant's tensor [1] defined by

The result that, on a simply connected domain W=0 implies that strain is the symmetric derivative of some vector field, was first described by Barré de Saint-Venant in 1860 [2] and proved rigorously by Beltrami in 1886.[3] For non-simply connected domains there are finite dimensional spaces of symmetric tensors with vanishing Saint-Venant's tensor that are not the symmetric derivative of a vector field. The situation is analogous to de Rham cohomology[4]

The Saint-Venant tensor is closely related to the Riemann curvature tensor . Indeed the first variation about the Euclidean metric with a perturbation in the metric is precisely .[5] Consequently the number of independent components of is the same as [6] specifically for dimension n.[7] Specifically for , has only one independent component where as for there are six.

In its simplest form of course the components of must be assumed twice continuously differentiable, but more recent work[3] proves the result in a much more general case.

Remove ads

Kröner tensor and Poincaré's lamma

Summarize
Perspective

The relation between Saint-Venant's compatibility condition and Poincaré's lemma can be understood more clearly using a reduced form of the Kröner tensor [6]

where is the permutation symbol. For , is a symmetric rank 2 tensor field. The vanishing of is equivalent to the vanishing of and this also shows that there are six independent components for the important case of three dimensions. While this still involves two derivatives rather than the one in the Poincaré lemma, it is possible to reduce to a problem involving first derivatives by introducing more variables and it has been shown that the resulting 'elasticity complex' is equivalent to the de Rham complex.[8]

In differential geometry the symmetrized derivative of a vector field appears also as the Lie derivative of the metric tensor g with respect to the vector field.

where indices following a semicolon indicate covariant differentiation. The vanishing of is thus the integrability condition for local existence of in the Euclidean case. As noted above this coincides with the vanishing of the linearization of the Riemann curvature tensor about the Euclidean metric.

Remove ads

Generalization to higher rank tensors

Summarize
Perspective

Saint-Venant's compatibility condition can be thought of as an analogue, for symmetric tensor fields, of Poincaré's lemma for skew-symmetric tensor fields (differential forms). The result can be generalized to higher rank symmetric tensor fields.[9] [10] .Let F be a symmetric rank-k tensor field on an open set in n-dimensional Euclidean space, then the symmetric derivative is the rank k+1 tensor field defined by

where we use the classical notation that indices following a comma indicate differentiation and groups of indices enclosed in brackets indicate symmetrization over those indices. The Saint-Venant tensor of a symmetric rank-k tensor field is defined by

with

On a simply connected domain in Euclidean space implies that for some rank k-1 symmetric tensor field .

Denisjuk [11] gives an invariant form of the generalized Saint-Venant tensor as a section of the bundle . That is the k-th symmetric power of the second skew symmetric power of the cotangent bundle. He defines as the alternation of the m-th partial derivatives of , and observes that for $m=1$ it reduces simply to the exterior derivative. This work, and Sharafutdinov's, stem from the study of the longitudinal ray transform, of symmetric tensor fields. Here the null space is exactly symmetric derivatives of tensor fields one rank lower, and the Saint-Venant tensor can be recovered by an explicit reconstruction formula.

Remove ads

References

See also

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads