10.04.2015 Views

EQUATIONS OF ELASTIC HYPERSURFACES

EQUATIONS OF ELASTIC HYPERSURFACES

EQUATIONS OF ELASTIC HYPERSURFACES

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3. CALCULUS <strong>OF</strong> DIFFERENTIAL OPERATORS ON <strong>HYPERSURFACES</strong> 87<br />

Since the space of tensors [ζ (q)<br />

jk ] n×n is finite dimensional, there exists a convergent subsequence<br />

ζ (q r)<br />

kl<br />

→ ζ (0)<br />

kl<br />

as r → ∞. Then we get an obvious contradiction<br />

∑<br />

c ijkl ζ (0)<br />

ij ζ(0) kl<br />

= 0 , |ζ (0) | = 1 .<br />

which proves that C 0 > 0.<br />

i,j,k,l<br />

Theorem 3.24 The conditions (3.89) and the first equality in (3.91) imply the second equality<br />

in (3.91) as well as the conditions (3.89) and the second equality in (3.91) imply the first<br />

equality in (3.91).<br />

A linear operator T in the energy functional of anisotropic elasticity (3.85) satisfies the<br />

symmetry conditions (3.89), and (3.91). Equivalently, the corresponding elasticity tensor<br />

T = [ c ijkl<br />

]ijkl has the symmetries (3.90), (3.92) and, therefore, might have n+n2 (n−1) 2 /2<br />

different entries only.<br />

The Euler-Lagrange equation associated with the energy functional (3.83) for a linear<br />

anisotropic elastic medium, reads<br />

L S U = Def ∗ S TDef S U = (D S ) ∗ TD S U = 0, U ∈ TS ⋂ W 2 (S ), (3.96)<br />

where again T = [ c ijkl is the elasticity tensor which is positive definite (cf. (3.94)) and<br />

]ijkl<br />

has the symmetries (3.90), (3.92).<br />

Proof: The claimed implications in the first part of the theorem is evident in equivalent<br />

formulation for corresponding tensors and matrices: (3.90) and (3.92).<br />

Also the second part of the theorem is trivial.<br />

The desired Euler-Lagrange equation (3.96) follows from (3.83), (3.85) and (3.93):<br />

∫<br />

E [U]:= 〈TD S U(x), D S U(x)〉 dS<br />

S<br />

= (TD S U(x), D S U(x)) S = ((D S ) ∗ TD S U, U) S = 0<br />

= 4(TDef S U(x), Def S U(x)) S = 4(Def ∗ S TDef S U, U) S = 0<br />

if and only if U ∈ TS ∩ W 2 (S ) is a solution of equation (3.96) due to the positive definiteness<br />

of the elasticity tensor T (cf. (3.94)).<br />

Next we will find the Euler-Lagrange equation associated with the energy functional<br />

(3.83) for a linear isotropic elastic medium (Lamé equation) which is simpler. Such energy<br />

functional should be invariant with respect to any rotation. For the elasticity tensor this<br />

results into the requirement that<br />

T(BAB −1 ) = B(TA)B −1 , ∀ A, B ∈ M n,n (R) and unitary B ⊤ = B −1 . (3.97)<br />

Examples of linear operators (3.86) satisfying (3.91) and (3.97) include<br />

T = TA := (Tr A)I and TA := A + A ⊤ , (3.98)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!