EQUATIONS OF ELASTIC HYPERSURFACES
EQUATIONS OF ELASTIC HYPERSURFACES
EQUATIONS OF ELASTIC HYPERSURFACES
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)