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> 81<br />

for k = 1, . . . , n; also we recall that<br />

n∑<br />

ν j D j = 0 and M jk = ν j D k − ν k D j (cf. Lemma<br />

j=1<br />

3.11.vi, 3.11.v)) and proceed as follows:<br />

1<br />

2<br />

n∑<br />

j,k=1<br />

M 2<br />

jkϕ= 1 2<br />

n∑<br />

[ν j D k − ν k D j ] 2 ϕ = 1 2<br />

j,k=1<br />

+ ν k D j ν k D j ϕ − ν k D j ν j D k ϕ] =<br />

=<br />

n∑<br />

Dkϕ 2 −<br />

k=1<br />

n∑<br />

[ν j D k ν j D k ϕ − ν j D k ν k D j ϕ<br />

j,k=1<br />

n∑<br />

[ν j D k ν j D k ϕ − ν j D k ν k D j ϕ]<br />

j,k=1<br />

n∑ [<br />

νj ν k D k D j ϕ + ( )<br />

D k ν k νj D j ϕ ] =<br />

j,k=1<br />

n∑<br />

Dkϕ 2 = ∆ S ϕ .<br />

k=1<br />

We remind that the surface gradient ∇ S maps scalar functions to the tangential vector<br />

fields<br />

∇ S : C 1 (S ) → TV (S ) := C(S , TS ) (3.66)<br />

and the scalar product with the normal vector vanishes everywhere on the surface S :<br />

ν(X ) · ∇ S ϕ(X ) ≡ 0 for all ϕ ∈ C 1 (S ) . (3.67)<br />

The directing vectors { } n<br />

d j of Günter’s derivatives { } n<br />

D<br />

j=1 j are tangential and represent<br />

j=1<br />

a full system (cf. (3.25)-(3.27)). But the derivative D j V is not an automorphisms of the<br />

tangential vector space D j : TV (S ) ↛ TV (S ), i.e., did not represent covariant derivative<br />

of vector fields (cf. § 2.7). To improve this we just eliminate, as customary, the normal<br />

component of the vector by applying the canonical orthogonal projection π S onto TS (cf.<br />

(1.11)) and obtain<br />

D S j<br />

V := π S D j V = D j V − 〈ν, D j V 〉ν = D j V + (W S V ) j ν<br />

= D j V + (D V ν j )ν , (3.68)<br />

where W S := [ n∑<br />

D j ν k<br />

]n×n , D V ϕ := V k D k ϕ .<br />

k=1<br />

because<br />

n∑<br />

n∑ [ ]<br />

〈ν, D j V 〉= ν m D j V m = Dj (ν m V m ) − V m D j ν m<br />

m=1<br />

=−<br />

m=1<br />

n∑<br />

V m D j ν m = −(W S V ) j = −<br />

m=1<br />

m=1<br />

n∑<br />

V m D m ν j = −D V ν j .<br />

It is easy to check that the operators D S j<br />

are automorphisms of the tangential vector space<br />

D S j : TV (S ) → TV (S ) . (3.69)

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

Saved successfully!

Ooh no, something went wrong!