Saint-Venant's compatibility condition

Saint-Venant's compatibility condition

In the mathematical theory of elasticity the strain varepsilon is related to a displacement field u by:varepsilon_{ij} = frac{1}{2} left( frac{partial u_i}{partial x_j} + frac{partial u_j}{partial x_i} ight)
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.

Rank 2 tensor fields

The integrability condition takes the form of the vanishing of the Saint-Venant's tensor [N.I. Muskhelishvili, Some Basic Problems of the Mathematical Theory of Elasticity. Leyden: Noordhoff Intern. Publ., 1975.] defined by :W_{ijkl} = frac{partial^2 varepsilon_{ij{partial x_k partial x_l} + frac{partial^2 varepsilon_{kl{partial x_i partial x_j} - frac{partial^2 varepsilon_{il{partial x_j partial x_k} -frac{partial^2 varepsilon_{jk{partial x_i partial x_l}

Due to the symmetry conditions W_{ijkl}=W_{klij}=-W_{jikl}=W_{ijlk} there are only six (in the three dimensional case) distinct components of W. These six equations are not independent as verified by for example:frac{frac{partial^2 varepsilon_{22{partial x_3^2} + frac{partial^2 varepsilon_{33{partial x_2^2} - 2 frac{partial^2 varepsilon_{23{partial x_2 partial x_3{partial x_1} =frac{frac{partial^2 varepsilon_{22{partial x_1 partial x_3} - frac{partial}{partial x_2} left ( frac{partial varepsilon_{23{partial x_1} - frac{partial varepsilon_{13{partial x_2} + frac{partial varepsilon_{12{partial x_3} ight)}{partial x_2} +frac{frac{partial^2 varepsilon_{33{partial x_1 partial x_2} - frac{partial}{partial x_3} left ( frac{partial varepsilon_{23{partial x_1} + frac{partial varepsilon_{13{partial x_2} - frac{partial varepsilon_{12{partial x_3} ight)}{partial x_3}and there are two further relations obtained by cyclic permutation. However, in practisethe six equations are preferred.In its simplest form of course the components of varepsilon must be assumed twice continuously differentiable, but more recent work [C Amrouche, PG Ciarlet, L Gratie, S Kesavan, On Saint Venant's compatibility conditions and Poincaré's lemma, C. R. Acad. Sci. Paris, Ser. I, 342 (2006), 887-891. doi|10.1016/j.crma.2006.03.026] proves the result in a much more general case.

In differential geometry the symmetrised derivative of a vector field appears also as the Lie derivative of the metric tensor "g" with respect to the vector field.: T_{ij}=(mathcal L_U g)_{ij} = U_{i;j}+U_{j;i}where indices following a semicolon indicate covariant differentiation. The vanishing of W(T) is thus the integrability condition for local existence of U in the Euclidean case.

Generalization to higher rank tensors

Saint-Vanants compatibility condition can be thought of as an analogue, for symmetric tensor fields, of Poincare's lemma for skew-symmetric tensor fields (differential forms). The result can be generalized to higher rank symmetric tensor fields. [V.A. Sharafutdinov, Integral Geometry of Tensor Fields, VSP 1994,ISBN 906764165X. Chapter 2. [http://www.math.nsc.ru/~sharafutdinov/files/book.pdf on-line version] ] 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: (dF)_{i_1... i_k i_{k+1 = F_{(i_1... i_k,i_{k+1})}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 W of a symmetric rank-k tensor field U is defined by: W_{i_1..i_k j_1...j_k}=V_{(i_1..i_k)(j_1...j_k)}with: V_{i_1..i_k j_1...j_k} = sumlimits_{p=1}^{k} (-1)^p {m choose p} U_{i_1..i_{k-p}j_1...j_p,j_{p+1}...j_k i_{k-p+1}...i_k } On a simply connected domain in Euclidean space W=0 implies that U = dF for some rank k-1 symmetric tensor field F.

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Adhémar Jean Claude Barré de Saint-Venant — (August 23, 1797, Villiers en Bière, Seine et Marne – January 1886, Saint Ouen, Loir et Cher)[1] was a mechanician and mathematician who contributed to early stress analysis and also developed the one dimensional unsteady open channel flow… …   Wikipedia

  • Compatibility (mechanics) — Continuum mechanics …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Linear elasticity — Continuum mechanics …   Wikipedia

  • Navier–Stokes equations — Continuum mechanics …   Wikipedia

  • solids, mechanics of — ▪ physics Introduction       science concerned with the stressing (stress), deformation (deformation and flow), and failure of solid materials and structures.       What, then, is a solid? Any material, fluid or solid, can support normal forces.… …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”