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.

2. OUTLINE <strong>OF</strong> DIFFERENTIAL GEOMETRY 57<br />

Also, if B : B → B is another linear operator, then<br />

n∑<br />

Tr (AB ⊤ ) = 〈h j , Ah k 〉〈h j , Bh k 〉 (2.254)<br />

j,k=1<br />

is independent of a particular frame { h j<br />

} n<br />

j=1 .<br />

Proof: For the representation ÂD := J −1<br />

V<br />

AJ D = [ b jk ] n×n of A in another frame we get, due<br />

to (2.248) and (2.250),<br />

n∑<br />

b jj =<br />

j=1<br />

n∑<br />

m=1 j=1<br />

n∑<br />

g jm a mk g kj =<br />

n∑<br />

δ mk a mk =<br />

and the independence from the frame follows.<br />

The formula with the eigenvalues (2.252) follows if we select for H the frame of eigenvectors<br />

of A (of the matrix representation [ a jk ] n×n of A): Ah j = λ j h j and 〈h j , Ah j 〉 =<br />

λ j 〈h j , h j 〉 = λ j for all j = 1, . . . , n.<br />

Since<br />

n∑<br />

(AB ⊤ ) jj = 〈h j , Ah k 〉〈h j , Bh k 〉 .<br />

formula (2.254) follows from (2.252).<br />

k=1<br />

Consider an example: The tensor of type (0, 2) ∇ S U is defined for arbitrary tangential<br />

vector field U ∈ TS by<br />

The trace<br />

m=1<br />

(∇ S U)(V, W ) := 〈∂ W U, V 〉 = 〈∂ S W U, V 〉 ∀ V, W ∈ TS . (2.255)<br />

Tr(∇ S U) =<br />

n∑<br />

m=1<br />

a kk<br />

n∑<br />

〈∂ hj U, h j 〉 = Div S U (2.256)<br />

j=1<br />

is the divergence and is independent of a frame { h j<br />

} n<br />

j=1 .<br />

Proof of Lemma 2.54: Let us consider the system ̂D := { } n<br />

d j , generating the Gunter’s<br />

j=1<br />

derivatives and described in (2.235). The system ̂D is full in the tangential space TS ⊂<br />

R n , which is also orthogonal to the normal vector field ν. Writing the repreentation of the<br />

Weingarten operator in (2.234) in the full system ̂D we get the following:<br />

〈W S U, V 〉 = II(U, V ) = 〈−∂ S U ν, V 〉 = −<br />

n∑ ( )<br />

Uk D k ν j Vj = 〈−(Dν)U, V 〉 . (2.257)<br />

Since a vector field V ∈ TS is arbitrary, the equality (2.257) implies (2.238).<br />

Due to (2.252) W S is the representation of the Weingarten operator in the canonical<br />

frame { }<br />

e j n<br />

= e j of the Euclidean space j=1 Rn .<br />

j,k=1

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

Saved successfully!

Ooh no, something went wrong!