7. Special Problems of Elasticity

Initialization

Needs["TensorCalculus4`Tensorial`"]

Needs["TContinuumMechanics2`TContinuumMechanics`"]

Needs["DrawGraphics`DrawingMaster`"]

numequ = 1 ;

SetScalarSingleCovariantD[False]

oldflavors = IndexFlavors ;

ClearIndexFlavor/@oldflavors ;

DeclareIndexFlavor[{black, Black}, {red, Red}, {green, ForestGreen}, {star, SuperStar}, {blue, Blue}, {hat, OverHat}, {tilde, OverTilde}, {bar, OverBar}]

Base2d = {1, 2} ;

Base3d = {1, 2, 3} ;

DeclareBaseIndices[Base3d] ;

SymbolSpaceDimension[] = 3 ;

SetMetricValues[g, IdentityMatrix[3]] ;

TensorSymmetry[g, 2] = Symmetric[1, 2] ;

SymRule := uuuu[i_, j_, k_, l_] :>uuuu @@ (Sort[{Sort[{i, j}], Sort[{k, l}]}]//Flatten)

TensorSymmetry[, 4] = Symmetric[Symmetric[1, 2], Symmetric[3, 4]] ;

and from equation (2.5) :

Tensor[ℰ§, {Void, Void}, {i_, j_}] := (PartialD[ud[red @ i], red @ j] + PartialD[ud[red @ j], red @ i])/2

Plane Strain

In plane strain, the considered object is a cylindrical or prismatic body along  z = x_ 3^3, loaded in such a way that all stresses and deformations are independent of z.
The two other coordinates, x_ α^α, α = {1,2} are the coordinates possibly curvilinear in the plane {x, y} perpendicular to z.
We define a new system of base indices in the {x,y} plane :

Tensor[g, {Void, Void}, {red[1], red[3]}] = 0 ;

Tensor[g, {Void, Void}, {red[2], red[3]}] = 0 ;

Tensor[g, {Void, Void}, {red[3], red[1]}] = 0 ;

Tensor[g, {Void, Void}, {red[3], red[2]}] = 0 ;

gdd[red @ i, red @ j]//ArrayExpansion[red @ i, red @ j]//MatrixForm

( {{g_ (11)^(11), g_ (12)^(12), 0}, {g_ (21)^(21), g_ (22)^(22), 0}, {0, 0, g_ (33)^(33)}} )

We will use greek indices to designate components in the {x,y} plane, and we can verify that the scalar products of basis vectors _ α^α with  _ 3^3 gives zero.
g_ (αβ)^(αβ) is then a metric tensor for the 2d subspace {1,2}.

DeclareBaseIndices[Base2d] ;

d[α] . d[3]//ToFlavor[red, black]//EvaluateDotProducts[, g]

%//ArrayExpansion[red @ α]

g_ (α3)^(α3)

{0, 0}

As the partial derivative _ (α  ,  β)^(α  ,  β) of _ α^α in the {x,y} plane remains in this plane, its scalar product with _ 3^3 gives zero :

(PartialD[d[red @ α], red @ β] . d[red @ 3]//EvaluateDotProducts[, g]) == 0

(%[[1]]//ChristoffeluSymbol[, Γ, γ]) == 0

(%[[1]]//EvaluateDotProducts[, g]) == 0

_α^α_ (, β) . _3^3 == 0

(_γ^γ Γ_ (γαβ)^(γαβ)) . _3^3 == 0

Γ_ (3αβ)^(3αβ) == 0

For similar reasons :

(PartialD[d[red @ 3], red @ α] . d[red @ β]//EvaluateDotProducts[, g]) == 0

(%[[1]]//ChristoffeluSymbol[, Γ, γ]) == 0

(%[[1]]//EvaluateDotProducts[, g]) == 0

_3^3_ (, α) . _β^β == 0

(_γ^γ Γ_ (γ3α)^(γ3α)) . _β^β == 0

Γ_ (β3α)^(β3α) == 0

and this is verified for all Christoffel symbols in which one or more of its indices are equal to 3.
A vector v,

DeclareBaseIndices[Base3d] ;

 = vu[red @ i] d[red @ i] == (vu[red @ i] d[red @ i]//PartialSum[3, {red @ α}])

 = v_i^i _i^i == v_i^i _i^i

CovariantD[vu[red @ i], red @ j] == (res = CovariantD[vu[red @ i], red @ j]//ExpandCovariantD[{x, δ, g, Γ}, red @ k]//PartialDToDif)

CovariantD[vu[red @ i], red @ j] == (res = (res//PartialSum[red @ 3, {red @ α}]))

v_i^i_ (; j) == v_i^i_ (, j) + v_k^k Γ_ (ijk)^(ijk)

v_i^i_ (; j) == v_i^i_ (, j) + v_3^3 Γ_ (ij3)^(ij3) + v_α^α Γ_ (ijα)^(ijα)

As noticed above, the second term v_ 3^3 Γ_ (i  j  3)^(i  j  3) vanishes. First, let i = α, j = β; then

CovariantD[vu[red @ i], red @ j] == res[[1]] + res[[3]]/.{α→γ, i→α, j→β}

v_α^α_ (; β) == v_α^α_ (, β) + v_γ^γ Γ_ (αβγ)^(αβγ)

which is simply equation (5.2) in the two dimensional subspace. Now, let i = α, j = 3; then

CovariantD[vu[red @ i], red @ j] == res[[1]] + res[[3]]/.{α→γ, i→α, j→3}

    or, because the Christoffel symbol is zero  

CovariantD[vu[red @ α], red @ 3] == (res[[1]] + res[[3]]/.{α→γ, i→α, j→3})[[1]]

v_α^α_ (; 3) == v_α^α_ (, 3) + v_γ^γ Γ_ (α3γ)^(α3γ)

    or, because the Christoffel symbol is zero  

v_α^α_ (; 3) == v_α^α_ (, 3)

When i = 3, j = β; then

res1 = CovariantD[vu[red @ 3], red @ β] == (res[[1]] + res[[3]]/.{α→γ, i→3, j→β})[[1]]

v_3^3_ (; β) == v_3^3_ (, β)

and if i = 3, j = 3; then

res2 = CovariantD[vu[red @ 3], red @ 3] == (res[[1]] + res[[3]]/.{α→γ, i→3, j→3})[[1]]

v_3^3_ (; 3) == v_3^3_ (, 3)

and similarly :

res1//LowerIndex[red @ 3, red @ 3]

res2//LowerIndex[red @ 3, red @ 3]

v_3^3_ (; β) == v_3^3_ (, β)

v_3^3_ (; 3) == v_3^3_ (, 3)

In all these cases (and this can be generalized to covariant components) the covariant derivative is equal to the partial derivative.
Now, in plane strain, the third displacement component u_ 3^3= 0 and the displacement u,

 == (§ = ud[red @ α] u[red @ α])

 == u_α^α _α^α

The kinematic equation (6.2)

      ℰ_ (αβ)^(αβ) == 1/2 (u_α^α_ (; β) + u_β^β_ (; α))       (7.1)

while the other formulas gives (and in the present case the covariant derivatives are equal to usual derivatives),

ℰdd[red @ α, red @ 3] == (ℰ§dd[α, 3]//ToFlavor[red, black])/.CovariantD→PartialD

ℰdd[red @ 3, red @ 3] == (ℰ§dd[3, 3]//ToFlavor[red, black])/.CovariantD→PartialD

ℰ_ (α3)^(α3) == 1/2 (u_3^3_ (, α) + u_α^α_ (, 3))

ℰ_ (33)^(33) == u_3^3_ (, 3)

In the first ( α = 1,2 ) equations, u_ α^α does not depend on x_ 3^3, and u_ 3^3= 0, and in the second equation again u_ 3^3= 0, so that

(*7.2*)ResultFrame[res72 = ℰdd[red @ α, red @ 3] == ℰdd[red @ 3, red @ α] == ℰdd[red @ 3, red @ 3] == 0]

      ℰ_ (α3)^(α3) == ℰ_ (3α)^(3α) == ℰ_ (33)^(33) == 0      (7.2)

For a general anisotropic material, the constitutive equation (4.3) gives

and due to (7.1),

In addition, there is a stress,

(*7.4*)ResultFrame[res74 = σuu[red @ 3, red @ 3] == (σ§uu[3, 3]//ToFlavor[red, black])]

      σ_ (33)^(33) == ℰ_ (γδ)^(γδ) _ (33γδ)^(33γδ)       (7.4)

necessary to keep ℰ_ (3  3)^(3  3)==0. But we can have in addition, if the corresponding moduli are nonzero,

(*7.5*)ResultFrame[res75 = σuu[red @ α, red @ 3] == (σ§uu[α, 3]//ToFlavor[red, black])]

This case will be considered later. For the moment, only plane anisotropy will be considered.
Equation (7.2) can be inverted, as there is three linear equations for  αβ=={11,12,22}, and three unknowns {ℰ_ (1  1)^(1  1),ℰ_ (1  2)^(1  2),ℰ_ (2  2)^(2  2)}.

while the inverted formulas lead to,

DeclareBaseIndices[Base2d] ;

res77[[1, 1]]/.β→α/.gud[red @ α, red @ α] →NDim//TensorSimplify ;

rulℰ = Solve[%, ℰ_ (αα)^(αα)][[1]]/.ℰ_ (αα)^(αα) →ℰ_ (α_α_)^(α_α_)

res77[[1, 1]]/.rulℰ//FullSimplify

so that,

ResultFrame[res78 = (Solve[res77[[1, 1]], ℰ_ (αβ)^(αβ)][[1, 1]]/.rulℰ/.Rule→Equal//ExpandAll//FullSimplify)]

{ℰ_ (α_α_)^(α_α_) → -((-1 + ν + 2 ν^2) σ_ (αα)^(αα))/Ε}

σ_ (αβ)^(αβ) == (Ε ℰ_ (αβ)^(αβ))/(1 + ν) + ν g_ (αβ)^(αβ) σ_ (ζζ)^(ζζ)

so that,

Equilibrium conditions

It is easily obtained from (6.5), using the fact that σ_ (3  α)^(3  α)= 0,

(*7.9*)ResultFrame[res79 = Xu[red[α]] + CovariantD[σuu[red[β], red[α]], red[β]] == 0  ]

      σ_ (βα)^(βα) _ (; β) + X_α^α == 0      (7.9)

Equations (7.1), (7.9), or also (7.3), (7.6) or (7.7), are eight components equations for eight unknowns {σ_ (1  1)^(1  1),σ_ (1  2)^(1  2),σ_ (2  2)^(2  2),ℰ_ (1  1)^(1  1),ℰ_ (1  2)^(1  2),ℰ_ (2  2)^(2  2),u_ 1^1,u_ 2^2}.
To eliminate a maximum of unknowns we can,
1) introduce (7.3) into (7.9)

    If we want to leave the σ_ (βα)^(βα) _ (; β) unexpanded we can use HoldOp or Tensor[σ_ (βα)^(βα)] :

and then use (7.1)

res/.ℰ_ (γ_δ_)^(γ_δ_) :→ ℰ§dd[γ, δ]

res1 = Times[2, #] &/@%//UnnestTensor//SymmetricStandardOrder[, {2}]//FullSimplify

(1/2 (u_γ^γ_ (; δ) + u_δ^δ_ (; γ)) _ (βαγδ)^(βαγδ)) _ (; β) + X_α^α == 0

If the material is homogeneous, _ (α  β  γ  δ)^(α  β  γ  δ) _ (; β)= 0,

(*7.1*)ResultFrame[res710 = res1/.CovariantD[uuuu[α_, β_, γ_, δ_], red[η_]] →0]

In the isotropic case (7.1) and (7.7) lead to,

ℰ_ (αβ)^(αβ) == 1/2 (u_α^α_ (; β) + u_β^β^(; α))

DeclareBaseIndices[Base3d] ;

res/. u_ζ^ζ^(; ζα) → u_ζ^ζ_ (; ζ)^(; α)/.ζ→β//SymmetricStandardOrder[u, {2, 3}]//Simplify(*7.11*)

(Ε ((-1 + 2 ν) (u_α^α^(; β)) _ (; β) - (u_β^β^(; α)) _ (; β)))/(2 (-1 + ν + 2 ν^2))

which is a particular case of (7.10).
Equations (7.10) and (7.11) are a pair of simultaneous differential equations of second order. Boundary conditions to be imposed to displacements or stresses can be easily formulated in terms of u_ α^α and u_ (α  ;  β)^(α  ;  β).

Second method

We postulate that the stress components are the second derivatives of a scalar field Φ. e_ (α  β)^(α  β) are the Levi-Civita tensors in two dimensions.

CovariantD[σuu[α, β], β] == CovariantD[σ§uu[α, β], β]/.CovariantD[euu[α_, β_], γ_] →0//ToFlavor[red, black]

σ_ (αβ)^(αβ) _ (; β) == Φ_ (; λμβ) e_ (αλ)^(αλ) e_ (βμ)^(βμ)

This leads to two equations, with α = 1,2. When α is fixed, λ is also fixed (α = 1,2 → λ = 2,1). The factor associated with e_ (α  λ)^(α  λ), is e_ (β  μ)^(β  μ) Φ_ (; λμβ), which is zero because e_ (β  μ)^(β  μ)is antisymmetrical while Φ_ (; λμβ)is symmetrical in {β,μ}. So that,

(CovariantD[σuu[α, β], β]//ToFlavor[red, black]) == 0

σ_ (αβ)^(αβ) _ (; β) == 0

which is equation (7.9) in absence of force. We can generalize this in the case the force X_ α^α is conservative. The X_ α^α derives from a potential :

Xu[red @ α] == ContravariantD[Tensor[Ω], red @ α]

X_α^α == Ω^(; α)

If we replace (7.12) by

we have,

which corresponds to equation (7.9). We will use now equation (7.14). We need there an equation for Φ ;  for that we use the kinematic equation (7.1), and the Hooke's law (7.6).

res71

res76

ℰ_ (αβ)^(αβ) == 1/2 (u_α^α_ (; β) + u_β^β_ (; α))

ℰ_ (γδ)^(γδ) == Č_ (αβγδ)^(αβγδ) σ_ (αβ)^(αβ)

2CovariantD[ℰ§dd[γ, δ], {ν, ρ}] euu[γ, ν] euu[δ, ρ]//Expand//ToFlavor[red, black]

%[[1]] + (%[[2]]/.{δ→γ, γ→δ, ρ→ν, ν→ρ} )//SymmetricStandardOrder[u, {3, 4}]

(CovariantD[ℰdd[γ, δ], {ν, ρ}] euu[γ, ν] euu[δ, ρ]//ToFlavor[red, black]) == %/2

2 u_γ^γ_ (; δνρ) e_ (γν)^(γν) e_ (δρ)^(δρ)

the right-hand-side of the last equation gives zero for symmetry reasons, so that :

(*7.14*)ResultFrame[res714 = (CovariantD[ℰdd[γ, δ], {ν, ρ}] euu[γ, ν] euu[δ, ρ]//ToFlavor[red, black]) == 0]

This equation is nothing but the compatibility equations in two dimensions, which could have also been derived from (6.4) by restricting the dummy indices to the two-dimensional range.
Now, using Hooke's law (7.6),

res = (CovariantD[Tensor[ℰ§§dd[γ, δ]//ToFlavor[red, black]], {ν, ρ}] euu[γ, ν] euu[δ, ρ]//ToFlavor[red, black]) == 0

Then we express σ_ (α  β)^(α  β) in terms of Φ (equ. )

res1 = res/.σuu[α_, β_] → (σ§uu[α, β]//ToFlavor[red, black])

The covariant derivatives of the Levi-Civita tensor are zero,

res2 = res1//UnnestTensor//CovariantDSimplify[, g, e]

in addition, if the material is homogeneous (though still anisotropic), the covariant derivatives of the compliance Č_ (α  β  γ  δ)^(α  β  γ  δ) are also zero :

In the isotropic case we can replace (7.6) by (7.8),

res76

res78//LowerIndexD[α, γ]//FullSimplify

ℰ_ (γδ)^(γδ) == Č_ (αβγδ)^(αβγδ) σ_ (αβ)^(αβ)

ℰ_ (γβ)^(γβ) == ((1 + ν) (σ_ (γβ)^(γβ) - ν g_ (γβ)^(γβ) σ_ (ζζ)^(ζζ)))/Ε

(res78[[2]]/.β→δ//LowerIndexD[α, γ]//Simplify)

((1 + ν) (σ_ (γδ)^(γδ) - ν g_ (γδ)^(γδ) σ_ (ζζ)^(ζζ)))/Ε

which, introduced in the compatibility conditions (7.14),

res714

ℰ_ (γδ)^(γδ) _ (; νρ) e_ (γν)^(γν) e_ (δρ)^(δρ) == 0

(CovariantD[#, red/@{ν, ρ}] &/@res)//CovariantDSimplify[, g, e]//Simplify

Times[#, e_ (γν)^(γν) e_ (δρ)^(δρ)] &/@%

%[[2]] == 0//ExpandAll//Simplify

Finally using expression (7.12)

%%/. σuu[red @ α, red @ β] → ( σ§uu[α, β]//ToFlavor[red, black])//CovariantDSimplify[, g, e]

Collect[Ε/(1 + ν) %[[1]], {Φ_ (; λμνρ), Ω_ (; νρ)}] == 0 ;

res1 = %[[1, 1]] ;

res2 = -%%[[1, 2]] ;

res1 == res2

Finally using expression (7.12)

This last equation is again of the fourth order. But it can be drastically simplified:
The left hand side gives,

(res1//FullLeviCivitaExpand[e, g]//MetricSimplify[g])/.{gdu[δ_, δ_] →2, gud[δ_, δ_] →2} ;

(%//MetricSimplifyD[g])/.μ→ν

res1 = (%[[1]]//SymmetricStandardOrder[Φ, {2, 3}]) + %[[2]]//Simplify

ν ((Φ^(; ν)) _ (; ν)^(; ρ)) _ (; ρ) - (Φ^(; νρ)) _ (; νρ)

(-1 + ν) (Φ^(; νρ)) _ (; νρ)

and the right hand side,

res2 = (res2//FullLeviCivitaExpand[e, g]//MetricSimplifyD[g])/.{gdu[δ_, δ_] →2, gud[δ_, δ_] →2}//Simplify

(-1 + 2 ν) (Ω^(; ρ)) _ (; ρ)

Or finally an equation of the very simple form,

(*7.16*)ResultFrame[res716 = -res1 == -res2/.{red @ ρ→red @ α, red @ ν→red @ β}//Simplify//SymmetricStandardOrder[Φ]]

       (-1 + 2 ν) (Ω^(; α)) _ (; α) == (-1 + ν) (Φ^(; αβ)) _ (; αβ)       (7.16)

and even, in the absence of body force,

(*7.17*)ResultFrame[res717 = res716[[1, 2]] == 0]

       (Ω^(; α)) _ (; α) == 0      (7.17)

This is a bilaplacian form in two dimensions.

res717//LaplaceOp[Δ]

Δ[Ω] == 0

Plane Stress

Having studied plane strain, we now turm to plane stress. We restrict ourselves to slabs of constant thickness h. On the faces x_ 3^3=±h/2 there are no external forces so that the stresses σ_ (3  α)^(3  α)= σ_ (3  3)^(3  3)= 0. Because the slab is thin, we can suppose that these stress components remain zero across its thickness, while the strain can vary.
We start from the elastic law (4.3) in the anisotropic case, inverted,

ℰdd[red @ l, red @ m] == Cdddd[red @ i, red @ j, red @ l, red @ m] σuu[red @ i, red @ j]

ℰ_ (lm)^(lm) == C_ (ijlm)^(ijlm) σ_ (ij)^(ij)

For the plane stress system, it yields the strains,

ℰ_ (γ3)^(γ3) == C_ (αβγ3)^(αβγ3) σ_ (αβ)^(αβ)

ℰ_ (33)^(33) == C_ (αβ33)^(αβ33) σ_ (αβ)^(αβ)

We will assume, as it is generally the case that C_ (α  β  γ  3)^(α  β  γ  3)= 0. When (7.18) is inverted, this gives,

(*7.19*)ResultFrame[res719 = σuu[red @ α, red @ β] == Êuuuu[red @ α, red @ β, red @ γ, red @ δ] ℰdd[red @ γ, red @ δ]]

where the Ê_ (α  β  γ  δ)^(α  β  γ  δ) are different from the _ (i  j  l  m)^(i  j  l  m) of the 3d law.
If we consider an isotropic case, we start from (4.13), and let σ_ (α  3)^(α  3)= σ_ (3  α)^(3  α)= σ_ (3  3)^(3  3)= 0, together with the structure of g,

res413a = (Ε ℰ_ (ip)^(ip) == (1 + ν) σ_ (ip)^(ip) - ν g_ (ip)^(ip) σ_ (nn)^(nn)/.{i→α, p→β, n→ζ})

Ε ℰ_ (αβ)^(αβ) == (1 + ν) σ_ (αβ)^(αβ) - ν g_ (αβ)^(αβ) σ_ (ζζ)^(ζζ)

Ε ℰ_ (α3)^(α3) == 0

Ε ℰ_ (33)^(33) == -ν σ_ (ζζ)^(ζζ)

(*7.2*)ResultFrame[res720 = {res413a, res413b, res413c}//TableForm]

This equation (7.20) can be easily inverted :

{σ_ (α_α_)^(α_α_) → -(Ε ℰ_ (αα)^(αα))/(-1 + ν)}

{σ_ (α_α_)^(α_α_) → -(Ε ℰ_ (αα)^(αα))/(-1 + ν)}

Having the elastic law, we can deduce a differential equation similar to (7.10), except that now E is replaced by Ê

res710/.→Ê

(u_γ^γ_ (; δβ) + u_δ^δ_ (; γβ)) Ê_ (αβγδ)^(αβγδ) + 2 X_α^α == 0

g_ (αβ)^(αβ)being a metric tensor in the 2d subspace, we can raise and lower the indices, and write,

rul71ud = (res71[[1]]/.{α→α_, β→β_}//RaiseIndexD[α, α]) → (res71[[2]]//RaiseIndexD[α, α])

rul71uu = (RaiseIndexD[β, β]/@rul71ud)

ℰ_ (α_β_)^(α_β_) →1/2 (u_α^α_ (; β) + u_β^β^(; α))

ℰ_ (α_β_)^(α_β_) →1/2 (u_α^α^(; β) + u_β^β^(; α))

In the isotropic case, (7.11) is then replaced by (using 7.21),

(CovariantD[(2 (1 + ν))/Ε#, red @ β] &/@(res721//ReleaseHold//RaiseIndex[β, β])//CovariantDSimplify[, g, e])

ResultFrame[res722 = %[[2]] - %[[1]] == 0]

((1 + ν) (u_β^β^(; α)) _ (; β))/(-1 + ν) == (u_α^α^(; β)) _ (; β) + (2 (1 + ν) X_α^α)/Ε

which slightly differs from (7.11), by the factor of u_ (β  ;  α  ;  β)^(β  ;  α  ;  β).

If we consider the second way described above (using  Φ ), the definition (7.12) and its alternative (7.13) remain unchanged, as well as the compatibility conditions (7.14). For anisotropic materials, (7.18) replaces (7.6), and in (7.15) the compliances Č replace the 3d compliances C. In the isotropic case, (7.20) (Ε ℰ_ (αβ)^(αβ)==(1+ν) σ_ (αβ)^(αβ)g_ (αβ)^(αβ) σ_ (ζζ)^(ζζ)) replaces (7.8) (Ε ℰ_ (αβ)^(αβ)==-(1+ν) (-σ_ (αβ)^(αβ)g_ (αβ)^(αβ) σ_ (ζζ)^(ζζ))). Replacing (7.16), (7.20) leads to

       (Φ^(; μρ)) _ (; μρ) + (-1 + ν) (Ω^(; ρ)) _ (; ρ) == 0      (7.23)

or,

res723//LaplaceOp[Δ]

(-1 + ν) Δ[Ω] + Δ[Δ[Φ]] == 0

Generalized Plane Strain

Figure 7.2

[Graphics:HTMLFiles/index_291.gif]

Figure 7.2  Element of an anisotropic material.

In figure 7.2, the shading indicates the direction of some fibers or grain, i.e. the principal direction of elasticity. When a tensile stress σ^11 is applied, the right angles of the element will not be conserved, unless a shear stress σ^31 of a certain magnitude is also applied. Both stresses must occur if the deformation is nothing but a strain ℰ_ (1  1)^(1  1). The shear stresses are subject to an equilibrium condition given by (6.5) with i=3 and X_ 3^3= 0.

CovariantD[σuu[red @ β, red @ 3], red @ β] == 0

σ_ (β3)^(β3) _ (; β) == 0

The presence of the new stresses leads to new strains via the Hooke's law. We have to admit the existence of a third displacement u_ 3^3=w, function of x_ α^α, but not of x_ 3^3. The Hooke's law gives in its inverted form,

DeclareBaseIndices[Base3d] ;

ℰ$dd[k_, l_] := (σuu[i, j] Cdddd[i, j, k, l]//ToFlavor[red, black]) ℰdd[red @ k, red @ l] == ℰ$dd[red @ k, red @ l]

Null (ℰ_ (kl)^(kl) == C_ (ijkl)^(ijkl) σ_ (ij)^(ij))

or, separating the third component and using the symmetries,

Considering now the kinematic relations (7.1),

ℰdd[red @ γ, red @ δ] == ℰ§dd[red @ γ, red @ δ]

ℰ_ (γδ)^(γδ) == 1/2 (u_γ^γ_ (; δ) + u_δ^δ_ (; γ))

and the additional relation (now with a covariant derivative here),

ℰdd[red @ γ, red @ 3] == ℰ§dd[red @ γ, red @ 3]

ℰ_ (γ3)^(γ3) == 1/2 (u_3^3_ (; γ) + u_γ^γ_ (; 3))

Since u_ 3^3does not depend upon x_ 3^3, and since u_ 3^3= w, we have

ℰdd[red @ γ, red @ 3] == 1/2 CovariantD[Tensor[w], red @ γ]

ℰ_ (γ3)^(γ3) == w_ (; γ)/2

The new compatibility conditions are obtained by differentiation :

ℰ_ (γ3)^(γ3) _ (; ν) == w_ (; γν)/2 == w_ (; νγ)/2 == ℰ_ (ν3)^(ν3) _ (; γ)

which can be written with the antisymmetric Levi-Civita tensor,

      ℰ_ (γ3)^(γ3) _ (; ν) e_ (γν)^(γν) == 0      (7.25)

because we have

(ℰ_ (γ3)^(γ3) _ (; ν) - ℰ_ (ν3)^(ν3) _ (; γ)) e_ (γν)^(γν) == 0

In addition, the equilibrium conditions (7.9) must be introduced. In absence of external force

The number of independent equations issued from (7.24),  the compatibility conditions (7.14) and (7.25), and the equilibrium (7.26), is 6+2+3=11, equal to the number of unknows (6 stresses and 5 strains) excluding ℰ_ (3  3)^(3  3)which is zero.
We can also satisfy the equilibrium condition (7.26), introducing the stress function Φ  as in (7.12), and a second function Ψ  to take into account (7.26b) such that,

(*7.27*)ResultFrame[res727 = σuu[red @ 3, red @ α] == euu[red @ α, red @ λ] CovariantD[Tensor[Ψ], red @ λ]]

      σ_ (3α)^(3α) == Ψ_ (; λ) e_ (αλ)^(αλ)       (7.27)

Remains now the two stress function and the stress σ_ (3  3)^(3  3)for which we need to establish three equations. Two of them are based on the compatibility conditions (7.14) and (7.25). The third equation comes from (7.24c) together with (7.27), Together with the elastic law to introduce the stresses, and with (7.27) and (7.12) this gives for any anisotropic but homogeneous material.

res714/.res724A[[1]] →res724A[[2]] ;

%/.{CovariantD[Cdddd[i_, j_, k_, l_], m_] →0, CovariantD[Cdddd[i_, j_, k_, l_], {m_, n_}] →0} ;

%//SymmetricStandardOrder[σ] ;

%/.{(res727[[1]]/.α→ α_Symbol) →res727[[2]]}/.{(res712[[1]]/.{α→ α_Symbol, β→ β_Symbol}) →res712[[2]]} ;

%//CovariantDSimplify[, g, e] ;

%//SymmetricStandardOrder[C, {2}] ;

res728a = %//TensorSimplify//Simplify ; <br />

res725/.res724B[[1]] →res724B[[2]] ;

%/.{CovariantD[Cdddd[i_, j_, k_, l_], m_] →0, CovariantD[Cdddd[i_, j_, k_, l_], {m_, n_}] →0} ;

%//SymmetricStandardOrder[σ] ;

%/.{(res727[[1]]/.α→ α_Symbol) →res727[[2]]}/.{(res712[[1]]/.{α→ α_Symbol, β→ β_Symbol}) →res712[[2]]} ;

%//CovariantDSimplify[, g, e] ;

%//SymmetricStandardOrder[C, {2}] ;

res728b = %//TensorSimplify//Simplify ; <br />

res724c/.{(res727[[1]]/.α→ α_Symbol) →res727[[2]]}/.{(res712[[1]]/.{α→ α_Symbol, β→ β_Symbol}) →res712[[2]]} ;

res728c = (%[[2]]//Simplify) == 0 ; <br />(*7.28*)

ResultFrame[{{res728a, "(a)"}, {res728b, "(b)"}, {res728c, "(c)"}}//TableForm]

Moreover it is easy to eliminate σ_ (3  3)^(3  3)in these equations :

ruleσ33 = Solve[res728c, σuu[red @ 3, red @ 3]][[1]]

(Cdddd[red @ 3, red @ 3, red @ 3, red @ 3] res728a[[1]])/.ruleσ33/.CovariantD[Cdddd[i_, j_, k_, l_]^(-1), m_] →0/.CovariantD[Cdddd[i_, j_, k_, l_], m_] →0 ;

%//CovariantDSimplify[, g, e]//TensorSimplify//FullSimplify ;

res729a = ((%[[1, 1]]/.β→α//Factor) + %[[1, 2]]) %[[2]] %[[3]] == 0 ;

(Cdddd[red @ 3, red @ 3, red @ 3, red @ 3] res728b[[1]])/.ruleσ33/.CovariantD[Cdddd[i_, j_, k_, l_]^(-1), m_] →0/.CovariantD[Cdddd[i_, j_, k_, l_], m_] →0 ;

%//CovariantDSimplify[, g, e]//TensorSimplify//FullSimplify ;

res729b = ((%[[1, 1]]/.β→α//Factor) + %[[1, 2]]) %[[2]] == 0 ; <br />(*7.29*)

ResultFrame[{{res729a, "(a)"}, {res729b, "(b)"}}//TableForm]

To summarize, we have here a system of two differential equations in  Φ  and  Ψ. It is of order six, while we had only one equation of order one in the isotropic or plane anisotropy cases.
If we limit the above equations to the case of plane anisotropy, we shall have (C_ (3  3  3  3)^(3  3  3  3)≠ 0). To these two equations we must associate equation (7.24c) for σ_ (3  3)^(3  3):

We can easily verify that (7.30a) is identical to equation (7.15) for Ω ≡ 0.

res730a

Print["is identical to"]

res715/.Tensor[Ω, {__}, {__}] →0

is identical to

to prove this we use the elastic law which are here,

res724a/.(rulePlaneAnisotropy/.α→β)

res724c/.(rulePlaneAnisotropy/.α→β)

ℰ_ (33)^(33) == C_ (3333)^(3333) σ_ (33)^(33) + C_ (αβ33)^(αβ33) σ_ (αβ)^(αβ) == 0

and eliminate σ_ (3  3)^(3  3) and compare to (7.6),

res = Eliminate[{res724a/.(rulePlaneAnisotropy/.α→β), (res724c/.(rulePlaneAnisotropy/.α→β))[[{2, 3}]]}, σuu[red @ 3, red @ 3]]

res76

ℰ_ (γδ)^(γδ) == Č_ (αβγδ)^(αβγδ) σ_ (αβ)^(αβ)

gives for a coefficient Č_ (α  β  γ  δ)^(α  β  γ  δ) in (7.30a)  (C_ (3  3  3  3)^(3  3  3  3) factors out and drops) :

res[[1, 1]] == res[[2, 1]] res76[[2, 1]]

Remains equation (7.30b) : C_ (3  α  γ  3)^(3  α  γ  3) e_ (α  λ)^(α  λ) e_ (γ  ν)^(γ  ν) Ψ_ (;  λ  ;  ν)^(;  λ  ;  ν)==0.  The stress function Ψ is related to the shear stresses σ_ (3  α)^(3  α) (see (7.27), normal to the planes x_ 3^3= const. The shear compliances C_ (3  α  γ  3)^(3  α  γ  3)connect these stresses to the strains ℰ_ (γ  3)^(γ  3) (see (7.24b)) :

res724B/.rulePlaneAnisotropy

ℰ_ (γ3)^(γ3) == C_ (3βγ3)^(3βγ3) σ_ (3β)^(3β) + C_ (α3γ3)^(α3γ3) σ_ (α3)^(α3)

Torsion

[Graphics:HTMLFiles/index_391.gif]

Figure 7.3  Torsion bar.

We consider here a straight bar of constant cross section. The coordinates  x_ α^αare in the cross section and  z = x_ 3^3is is in the direction of the generators of the cylindrical surface. It is associated with a monoclinic coordinate system and g_ (α  3)^(α  3)= 0, g_ (3  3)^(3  3)= 1.
A couple M (Figure 7.3) is applied to the ends of the bar. In each cross sections, there is a shear stress σ_ (α  3)^(α  3)==σ_ (α  3)^(α  3)

σuu[red @ α, red @ 3] == σud[red @ α, red @ 3]

σ_ (α3)^(α3) == σ_ (α3)^(α3)

The deformation, essentially a rotation Ψ of the cross sections linear with z, with a twist θ,

Ψ == θ Tensor[z]

Ψ == θ z

To first order the cross section does not change its shape, so that,

(*7.31*)ResultFrame[res731 = ℰdd[red @ α, red @ β] == ℰud[red @ α, red @ β] == 0 ]

      ℰ_ (αβ)^(αβ) == ℰ_ (αβ)^(αβ) == 0      (7.31)

and so,

res71[[2]] == 0//FullSimplify

u_α^α_ (; β) + u_β^β_ (; α) == 0

and hence,

res = CovariantD[res71[[2]], red @ γ] == 0//FullSimplify ;

res[[1, 1]] == -res[[1, 2]]

u_α^α_ (; βγ) == -u_β^β_ (; αγ)

The interchangeability of the covariant derivatives leads to,

which has no solution except,

res[[1, 1]] == 0

u_α^α_ (; βγ) == 0

The rotation, defined by equation (6.3),

res63 = _i^i ω_i^i == 1/2 curl[u_i^i _i^i] ;

res63/.curl→TCurl[, g, red/@{j, i, k}, e]//AntiSymmetricStandardOrder[e]

_i^i ω_i^i == -1/2 u_i^i_ (; j) e_ (ijk)^(ijk) _k^k

gives,

      ω_3^3 == -1/2 u_α^α_ (; β) e_ (αβ)^(αβ) == Ψ == θ z      (7.32)

A displacement u_ 3^3==wof the cross section, normal to the plane of the cross section, takes place. It depends on x_ α^α, but not on z.

Due to the symmetry of the order of derivation, we have the relation,

CovariantD[Tensor[w], {red @ α, red @ β}] euu[red @ α, red @ β] == 0

w_ (; αβ) e_ (αβ)^(αβ) == 0

so that using (7.31) and (7.32b),

and also,

(*7.35*)ResultFrame[res735 = (res734[[1]]//UpDownSwapD[red @ α]//UpDownSwapD[red @ β]) == res734[[4]]]

      ℰ_ (3α)^(3α)^(; β) e_ (αβ)^(αβ) == -θ      (7.35)

If we introduce the strains (7.31) and (7.33a) in Hooke's law (4.11),

res731

res733a

res411 = σ_ (ip)^(ip) == (Ε (ℰ_ (ip)^(ip) + (ν g_ (ip)^(ip) ℰ_ (mm)^(mm))/(1 - 2 ν)))/(1 + ν)

ℰ_ (αβ)^(αβ) == ℰ_ (αβ)^(αβ) == 0

ℰ_ (33)^(33) == u_3^3_ (; 3) == w_ (; 3) == 0

σ_ (ip)^(ip) == (Ε (ℰ_ (ip)^(ip) + (ν g_ (ip)^(ip) ℰ_ (mm)^(mm))/(1 - 2 ν)))/(1 + ν)

we see that,

The only non vanishing stress components are

(res411/.{i→α, p→3}/.Tensor[g, {red[α], Void}, {Void, red[3]}] →0) ; (*7.37*)

ResultFrame[res737 = τu[red @ α] == %[[1]] == %[[2]]]

      τ_α^α == σ_ (α3)^(α3) == (Ε ℰ_ (α3)^(α3))/(1 + ν)       (7.37)

This equation, with (7.35) leads to,

and with the equilibrium condition (6.5) in absence of body force, and for i = 3 and j = α,

res65 = Tensor[X, {red[i]}, {Void}] + CovariantD[Tensor[σ, {red[j], red[i]}, {Void, Void}], red[j]] == 0 ; (*7.39*)

ResultFrame[res739 = (res65/.Tensor[X, {red[i]}, {Void}] →0/.{i→3, j→α})[[1]] == CovariantD[τu[red @ α], red @ α] == 0]

      σ_ (α3)^(α3) _ (; α) == τ_α^α_ (; α) == 0      (7.39)

A way to satisfy identically equation (7.39), is to write the stress components as derivatives of a stress function Φ :

(*7.4*)ResultFrame[res740 = τu[red @ α] == CovariantD[Tensor[Φ], red @ γ] euu[red @ γ, red @ α]]

      τ_α^α == Φ_ (; γ) e_ (γα)^(γα)       (7.40)

Using (7.38) leads to a differential equation for  Φ :

res = (res738[[1]]/.res740[[1]] →res740[[2]]//ReleaseHoldD//CovariantDSimplify[, g, e]) == res738[[3]]

Φ_ (; γ)^(; β) e_ (αβ)^(αβ) e_ (γα)^(γα) == -Εθ/(1 + ν)

This last expression can be simplified using FullLeviCivitaExpand

res = (res//FullLeviCivitaExpand[e, g])/.{gdu[i_, i_] →2}//UpDownSwapD[red @ γ]//MetricSimplifyD[g]//Simplify

Εθ/(1 + ν) == (Φ^(; γ)) _ (; γ)

(*7.41*)ResultFrame[res741 = res[[2]] == res[[1]] == 2G θ ]

       (Φ^(; γ)) _ (; γ) == Εθ/(1 + ν) == 2 G θ      (7.41)

Equation (7.41) is the differential equation for the torsion problem.

Boundary conditions to be imposed upon Φ :

The only load applied to the torsion bar is a torque M on both ends. The cylindrical surface is free of external tractions. In particular σ_ (α  3)^(α  3)= 0 and the shear stress vector   τ_ α^αat the boundary point of the cross sections must have no component normal to the boundary.
The stress vector _ α^α τ_ α^αis hence parallel to line vector elements dx_ β^β _ β^β. This can be imposed by the vanishing cross product

dx_β^β e_ (αβ3)^(αβ3) _3^3 τ_α^α == 0

      dx_β^β e_ (αβ)^(αβ) τ_α^α == 0      (7.42)

Making use of (7.40) ,

res742/.res740[[1]] →res740[[2]]//FullLeviCivitaExpand[e, g]

(%/.{gdu[i_, i_] →2}//MetricSimplify[g])//Simplify

-Φ_ (; γ) dx_β^β (-1 + g_ (αα)^(αα)) g_ (βγ)^(βγ) == 0

Φ_ (; γ) dx_γ^γ == 0

The last equation means that Φ is constant along the boundary.

(*7.43*)ResultFrame[res743 = Tensor[Φ] == Const]

      Φ == Const      (7.43)

If the cross section is simply connected we can set Φ_^==0, because Φ_^ is defined up to a constant. If the cross section has one or several holes, we can choose  Φ_^==0 on one of the separate curve, in general the external boundary. The values of  Φ_^ along the edges of the holes follow the requirement that the warping displacement w is a unique function of x_ α^α.
To formulate this we write :

τd[red @ α] ≡ σdd[red @ α, red @ 3] == 2G ℰdd[red @ α, red @ 3] == 2G ℰ§dd[red @ α, red @ 3]/.ud[red @ 3] →Tensor[w]

(τ_α^α≡σ_ (α3)^(α3)) == 2 G ℰ_ (α3)^(α3) == G (w_ (; α) + u_α^α_ (; 3))

(τ_α^α≡σ_ (α3)^(α3)) == 2 G ℰ_ (α3)^(α3) == G (w_ (; α) + u_α^α_ (; 3))

We solve this equation where w is a scalar tensor

CovariantD[Tensor[w], red @ α] == PartialD[Tensor[w], red @ α]

w_ (; α) == w_ (, α)

and integrate along a closed curve lying entirely inside the material (where w ≠ 0 ). Uniquiness of w  requires that this contour integral vanishes :
NB : we use here, in this version, the contour integration ∮   only as a notation (but see Paul Abbott, "Contour Integration", for practical use of   in calculations).

 "∮"CovariantD[Tensor[w], red @ α] dxu[red @ α] == ∫_x0^x1w^′[x_α^α] xu[red @ α] %/.x1→x0

Now we use Stokes' theorem \!\(∫\_\(\(\\ \)\(C\)\)\)u ds ==\!\(∫\_\(\(\\ \)\(A\)\)\)(TCurl u).dA to calculate,

d := dru[red @ λ] d[red @ λ]

d := dtu[red @ μ] d[red @ μ]

d = 1/2d×d//LinearBreakout[Cross][d[_], u[_]]//CrossProductExpansion[, e, h]

1/2 dr_λ^λ dt_μ^μ e_ (λμh)^(λμh) _h^h

with the area element,

 d == 1/2dru[red @ λ] dtu[red @ μ] edd[red @ λ, red @ μ]

d == 1/2 dr_λ^λ dt_μ^μ e_ (λμ)^(λμ)

If we express u_ α^αin terms of θ  (via 7.34) :

      ∮ u_α^α_ (; 3) dx_α^α == 2  θ      (7.45)

and from (7.44) and (7.40), we obtain the relation satisfied by the stress function, when the integral is extended over anyone of the interior boundaries of the cross section.

res = (G (res744[[2, 2]]//UpDownSwap[red @ α])/.res740[[1]] →res740[[2]]) == G (res744[[2, 1]]/.res745[[1]] →res745[[2]]) ; <br />(*7.46*)

ResultFrame[res746 = (res[[1]]//UpDownSwap[red @ α]//UpDownSwapD[red @ γ]) == res[[2]]]

      ∮ Φ^(; γ) dx_α^α e_ (γα)^(γα) == -2 G  θ      (7.46)

If the cross section possess n holes, the procedure is as follows :
    - Find the solution Φ_ (0)of (7.41) which satisfy Φ_^==0 on all boundaries.
    - Calculate the solutions Φ_ (k), k = 1 ,2,..., n, of the homogeneous equation Φ_ (;  γ  ;  γ)^(;  γ  ;  γ)= 0 which satisfy Φ_^==1 on the boundary of the kth hole and  Φ_^==0 on all other boundaries.
    - Evaluate (7.46) for each interior boundary.
    - The solution is then the linear superposition, Φ_^== Φ_ (0) +Underoverscript[∑, k = 1, arg3] C_ (k)Φ_ (k)
    - The C_ (k) are determined via the boundary conditions (7.46).

In practice, the torque M is given, not the rotation θ. We must find a relation θ(M), but also check that the stress field τ^α can be reduced to a couple (no resultant force). It is easy to show that the resultant of the shear stress is zero (Flügge p.121).
    Since the shear stresses τ^αhave no resultant, M  is their moment with respect to any point O in the plane of the cross section.

d := dsu[red @ ν] d[red @ ν]

d×d == ds_ν^ν dt_μ^μ e_ (μν)^(μν) _3^3 == dA_3^3 _3^3 == dA _3^3

res2 = Times[d[red @ α], #] &/@res740 ;

"τ dA" == res2[[1]] res1[[{1, 2, 3}]] == res2[[2]] res1[[{1, 2, 3}]]

%//FullLeviCivitaExpand[e, g] ;

%[[1]] == (%[[3, {1, 2, 3}]]//MetricSimplifyD[g]) %[[3, {4, 5}]] ;

%//ExpandAll//MetricSimplifyD[g]//Simplify

τ dA == Φ_ (; γ) (-ds_γ^γ dt_α^α + ds_α^α dt_γ^γ) _α^α

  ds_ γ^γ Φ_ (;  γ)^(;  γ) is the change of Φ along the one equipotential of Φ and hence is zero. dt_ γ^γ Φ_ (;  γ)^(;  γ) is the change of Φ across the strip. Therefore,

"τ dA" == dsu[red @ α] d[red @ α]   dΦ

τ dA == dΦ ds_α^α _α^α

[Graphics:HTMLFiles/index_528.gif]

-Graphics -

Fig. 7.5  Torsion bar, lines Φ = const  in the cross section.

showing that the shear vector is along the lines Φ = const. The moment with respect to O, is

"×τ dA" == "×d"  dΦ

×τ dA == ×d dΦ

\!\(\* StyleBox[\"r\",
FontSize->16]\)\!\(\* StyleBox[\"×\",
FontSize->16]\)\!\(\* StyleBox[\"ds\",
FontSize->16]\)
is twice the surface in green in the figure 7.5, times _ 3^3. The sum of all the moments is then 2B dΦ, B being the area inside the curve Φ = const, and dM = 2B dΦ is twice the volume of a horizontal slice of the stress hill of thickness dΦ.

(*7.47*)ResultFrame[res747 = M == 2"∫ Φ dA" == 2"∫∫"Φ  dsu[red @ β] dtu[red @ α] edd[red @ α, red @ β]]

We can now solve (7.41), assuming a value for θ, and then calculating M from (7.47).

Plates

[Graphics:HTMLFiles/index_535.gif]

Figure 7.6 Section through a plate before and after deformation.

We consider now a thin plane sheet of elastic material undergoing a deflection normal to its middle plane. The notations (x_ α^α in the plane and x_ 3^3= z, along _3normal to the plane).
    Figure 7.6 shows a section through the plate before and after deformation. The x^1axis lies in the middle plane, and AB is a normal to it. When a load is applied, A moves to Overscript[A,^], by an amount w (w = - u^3). The line element AC becomes Overscript[A,^]Overscript[C,^] which is no longer horizontal, and AB becomes Overscript[A,^]Overscript[B,^] no longer vertical. In thin plates, the shear strain is small enough to be neglected : the plate theory is built on the assumption of the conservation of normals.
    The shear strain between a normal and the middle plane has two components :

ℰdd[red @ α, red @ 3] == (ℰ§dd[α, 3]//ToFlavor[red, black])

ℰ_ (α3)^(α3) == 1/2 (u_3^3_ (; α) + u_α^α_ (; 3))

When this is equal to zero, and since u_ 3^3= w, we have

(2ℰ§dd[red @ α, red @ 3])[[2]] == (-2ℰ§dd[red @ α, red @ 3])[[1]] == CovariantD[Tensor[w], red @ α]

u_α^α_ (; 3) == -u_3^3_ (; α) == w_ (; α)

Integration gives,

ud[red @ α] == CovariantD[Tensor[w], red @ α] xu[red @ 3] == CovariantD[Tensor[w], red @ α] Tensor[z]

u_α^α == w_ (; α) x_3^3 == w_ (; α) z

The strain parallel to the middle plane is then,

(*7.48*)ResultFrame[res748 = res = res71/.ud[i_] →CovariantD[Tensor[w], i] Tensor[z]/.CovariantD[Tensor[z], α_] →0//SymmetricStandardOrder[w]]

      ℰ_ (αβ)^(αβ) == w_ (; αβ) z      (7.48)

The strains are proportional to z and hence the stresses, which can be combined in each section to form a couple.
We calculate now these internal moments.

d := dxu[red @ γ] d[red @ γ]

"d" == d

d == dx_γ^γ _γ^γ

[Graphics:HTMLFiles/index_558.gif]

Figure 7.7 Section through a plate.

In the area element of height h (see figure 7.7) we define a subelement (in green) of height dz. The green area is represented by the vector dA,

%[[1]] == (dA§ = %[[3]]/.{eddd[red @ 3, i_, j_] → edd[i, j], euuu[red @ 3, i_, j_] →euu[i, j]})

dA == (dx_γ^γ _γ^γ) × (dz _3^3) == dz dx_γ^γ e_ (3αγ)^(3αγ) _α^α

dA == dz dx_γ^γ e_ (αγ)^(αγ) _α^α

In this subelement, there is a force

d == (d$ = dFu[red @ α] d[red @ α] + dFu[red @ 3] d[red @ 3])

d == dF_3^3 _3^3 + dF_α^α _α^α

Using (4.1)

d§ := σuu[red @ ρ, red @ j] dd[red @ ρ] d[red @ j]

"d" == d§ == ( d§§ = d§/.dd[red @ i_] →dA§ . d[red @ i]//EvaluateDotProducts[, g])

d == d_ρ^ρ _j^j σ_ (ρj)^(ρj) == dz dx_γ^γ e_ (ργ)^(ργ) _j^j σ_ (ρj)^(ρj)

dF_β^β == dz dx_γ^γ e_ (αγ)^(αγ) σ_ (αβ)^(αβ)

2 dF_3^3 == dz dx_γ^γ e_ (αγ)^(αγ) σ_ (α3)^(α3)

The sum of all the vertical components dF_ 3^3 _ 3^3gives the shear force of the plate,

while the sum of all the in-plane components dF_ α^α _ α^αgives,

The moment of dF with respect to the center of the section is,

where we used the definitions of the stress resultants, the (transverse) shear force Q, the tension and shear tensor N, and the moment tensor M,

[Graphics:HTMLFiles/index_584.gif]

Figure 7.8  Moments acting on a plate element.

For the line element AB in figure 7.8, we have dx^1=0and the last term in (7.51) reduces to

DeclareBaseIndices[Base2d] ;

For instance, M_ (1  1)^(1  1)==M_ (x  x)^(x  x)==M_ x^x is the bending moment acting on a cartesian plate element around the y axis, M_ (1  2)^(1  2)==M_ (x  y)^(x  y)the twisting moment around the x axis. We can do the same operations for the sides BC, CD, and DA, and obtain all the moments shown in figure 7.8.

The shear stress components are the components of the vector Q lying in the middle plane of the plate,

§ := Qu[red @ α] d[red @ α] (*7.53*)

ResultFrame[res753 =  == §]

       == Q_α^α _α^α      (7.53)

res = res752[[1, 2]]/.res719[[1]] →res719[[2]]/.rul748

(*7.54*)

ℰ_ (γδ)^(γδ) →w_ (; γδ) z

ResultFrame[res754 = res[[1]] == Integrate[(res[[2, {2, 3, 4, 5}]]/.dz→1), {z, -h/2, h/2}] == 0 ]  (* as  Tensor[z] ↔ z  *)

res1 = res752[[1, 3]]/.res719[[1]] →res719[[2]]/.rul748

res2 = res1[[1]] == res1[[2]] == Integrate[(res1[[2, {1, 3, 4, 5, 6}]]/.dz→1), {z, -h/2, h/2}] (*7.55*)

ResultFrame[res755 = res2/.Tensor[z] →z]

We see with (7.53) that N_ (α  β)^(α  β)do not play any role. Equation (7.54) might be called the elastic law of the plate.

Case of isotropic plates

We use equation (7.21)

res721

rul = Map[Expand, %/.ℰud[i_, j_] →ℰdd[red @ η, j] guu[red @ η, i]]//KroneckerAbsorb[g]

res752[[1, 3]]/.rul

%/.{(rul748[[1]]/.{γ→γ_, δ→δ_}) →rul748[[2]]}//ExpandAll

                          +\h/2 %[[1]] == ((%[[2]]/.{∫      dz→1 }//Integrate[#, {z, -h/2, h/2}] &)/.Tensor[z] →z) ;                           -\h/2

res = %/.ζ→γ//FullSimplify(*7.56*)

ResultFrame[res756 = res[[1]] == (res[[2]]/.h^3Ε→ - 12 (ν^2 - 1) K//MetricSimplifyD[g]//Simplify//SymmetricStandardOrder[g])]

We have used the following definition for K, called the bending stiffness of the plate,

K == (-h^3Ε)/(12 (ν^2 - 1))

K == -(h^3 Ε)/(12 (-1 + ν^2))

No similar relation can be found for Q==Q_ α^α _ α^α as we have assumed the conservation of normals (no shear deformation)

Equilibrium of a plate element

We start from equation (6.5) splitted into  j = β, and j = 3,
1)   for   i = α

DeclareBaseIndices[Base3d]

res = Xu[red @ α] + CovariantD[σuu[red @ α, red @ j], red @ j] == 0<br />

res1 = PartialSumD[red @ 3, {red @ β}]/@res[[1]] == 0

σ_ (αj)^(αj) _ (; j) + X_α^α == 0

σ_ (α3)^(α3) _ (; 3) + σ_ (αβ)^(αβ) _ (; β) + X_α^α == 0

and we notice that (using the results for the Christoffel symbols shown at the beginning of this chapter),

σ_ (αj)^(αj) _ (; j) → (σ_ (αj)^(αj) _ (; j)//ExpandCovariantD[{x, δ, g, Γ}, red @ k]//PartialDToDif)/.j→3 ;

(rul = %/.Γudd[i_, red @ 3, j_] →0)/.Rule→Equal

Print["so that"]

res = res1/.rul

σ_ (α3)^(α3) _ (; 3) == σ_ (α3)^(α3) _ (, 3)

so that

σ_ (αβ)^(αβ) _ (; β) + σ_ (α3)^(α3) _ (, 3) + X_α^α == 0

and multiply by z dz, and integrate,

             +\h/2 (res2 = ∫      z dz res[[1]]//Expand) == 0              -\h/2

in which, integrating by parts,

so that,

(res = (res2/.rul)) == 0

The second term (z σ_ (α3)^(α3)) _ (-h/2)^(h/2) is the moment of the shear stress σ_ (α  3)^(α  3), and the third term \!\(∫\_\(\(-h\)/2\)\%\(\(+h\)/2\)\) dz z X_ α^α is the moment of the volume forces acting on the plate material. Their sum is the external moment m_ α^αper unit area of the middle surface. With (7.52) the fourth term is Q_α^α, and the first term  -M_ (αβ)^(αβ) _ (; β).
The moment equilibrium of the plate element is finally,

(res/.res[[2]] + res[[3]] →mu[red @ α]/.{res[[4]] →Qu[red @ α], res[[1]] → -CovariantD[Muu[red @ α, red @ β], red @ β]}) == 0<br />(*7.57*)

-M_ (αβ)^(αβ) _ (; β) + m_α^α + Q_α^α == 0

      M_ (αβ)^(αβ) _ (; β) == m_α^α + Q_α^α      (7.57)

1)   for   i = 3

(res = PartialSumD[red @ 3, {red @ β}]/@(Xu[red @ 3] + CovariantD[σuu[red @ 3, red @ j], red @ j])) == 0

σ_ (33)^(33) _ (; 3) + σ_ (3β)^(3β) _ (; β) + X_3^3 == 0

we multiply by dz and integrate,

              +\h/2 (res2 = (∫      dz res//Expand)) == 0               -\h/2

res2[[1]] → {σuu[red @ 3, red @ 3]} _ (z == - h/2)^(z == + h/2)

     + h/2 ∫      dz σ_ (33)^(33) _ (; 3) → {σ_ (33)^(33)} _ (z == -h/2)^(z == h/2)      - h/2

(*7.58*)ResultFrame[res758 = (res2/.res2[[3]] →CovariantD[Qu[red @ α], red @ α]/.res2[[1]] + res2[[2]] →pu[red @ 3]) == 0]

      Q_α^α_ (; α) + p_3^3 == 0      (7.58)

where p_ 3^3is the sum of the normal surface tractions {σ_ (3  3)^(3  3)} _ (z == -h/2)^(z == h/2)and volume forces \!\(∫\_\(\(-h\)/2\)\%\(\(+h\)/2\)\) dz X_ 3^3.
Equations (7.57) and (7.58) are the equilibrium conditions of the plate element. Together with equation (7.55) or (7.56) they give the 2+1+3=6 equations for the three moments M_ (α  β)^(α  β), the two shear forces Q_ α^αand the deflection w.

These equations can be condensed into a unique differential equation for the deflection w.
    We differentiate (7.57) with respect to x_ α^αand replace Q_ (α  ;  α)^(α  ;  α)from (7.58),

res = (CovariantD[#, red @ α] &/@res757//SymmetricStandardOrder[M, {3, 4}])/.res758[[1, 1]] → -res758[[1, 2]]

M_ (αβ)^(αβ) _ (; αβ) == m_α^α_ (; α) - p_3^3

then we express M_ (α  β)^(α  β)in terms of w via (7.55)

res1 = res/.res755[[1]] →res755[[3]] ; (*7.59*)

ResultFrame[res759 = Times[-1, #] &/@(res1/.{CovariantD[Êuuuu[i_, j_, k_, l_], m_] →0, CovariantD[Êuuuu[i_, j_, k_, l_], {m_, n_}] →0}//SymmetricStandardOrder[w])]

and in the isotropic case, using (7.56),

(res/.res756[[1]] →res756[[2]]//CovariantDSimplify[, g, e]//MetricSimplifyD[g]//ReleaseHoldD) (*7.6*)

ResultFrame[res760 = Times[-1, #] &/@%/.β→γ/.{γ→β, η→α}//SymmetricStandardOrder[w]]

-K ν (w_ (; η)^(; ηβ)) _ (; β) - K (w^(; αβ)) _ (; αβ) + K ν (w^(; αβ)) _ (; αβ) == m_α^α_ (; α) - p_3^3

      K (w^(; αβ)) _ (; αβ) == -m_α^α_ (; α) + p_3^3      (7.60)

Equation (7.6) is the well - known plate equation, in which   w^(; αβ) _ (; αβ) is the bilaplacian of w .

 == mu[red @ β] d[red @ β]

div[] == TDiv[, g, red @ α][m_β^β _β^β]

res760/.m_α^α_ (; α) →div[]//LaplaceOp[Δ]

 == m_β^β _β^β

div[] == m_α^α_ (; α)

K Δ[Δ[w]] == -div[] + p_3^3


Created by Mathematica  (November 27, 2007) Valid XHTML 1.1!