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.

5. BOUNDARY VALUE PROBLEMS: EXAMPLES 175<br />

Proof: Let us consider an auxiliary operator<br />

B S (t, D) := Def ∗ Def : W 1 (S ) −→; W −1 (S ) . (5.154)<br />

We get the following:<br />

B S (t, D) := 1 2 Def∗ [D j u k (t) + D k u j (t))] n×n<br />

+ B 1 S (t, D)u<br />

[ n∑<br />

]<br />

= − 1 D j [D j u k (t) + D k u j (t)] + B 2 S (t, D)u<br />

2<br />

j=1<br />

= −∆ S u − 1 2 [D jD k ] n×n<br />

u + B 2 S (t, D)u , t ∈ S , (5.155)<br />

where B 1 S (t, D) and B 2 S (t, D) have order 1. The principal symbol B pr (t, ξ) of B S (t, D)<br />

then equals<br />

n∑<br />

B pr (t, ξ) = B pr (ξ) = (δ j,k |ξ| 2 + ξ j ξ k )η k η j = . (5.156)<br />

and is positive definite:<br />

j,k=1<br />

n×n<br />

〈B pr (ξ)η, η〉 = 1 2<br />

+ 1 2<br />

n∑<br />

ξ j η j<br />

j=1<br />

n∑<br />

[δ j,k |ξ| 2 + ξ j ξ k ]η k η j = |ξ| 2 1 2<br />

j,k=1<br />

n∑<br />

j=1<br />

ξ k η k = 1 2 |η|2 |ξ| 2 + 1 |〈ξ, η〉|2<br />

2<br />

n∑<br />

|η k | 2<br />

k=1<br />

≥ 1 2 |η|2 |ξ| 2 ∀ξ ∈ R 3 , ∀η ∈ C 3 . (5.157)<br />

The positive definiteness property (5.157) implies the following Gårding’s (Korn’s) inequality<br />

‖Def u ∣ ( ) 1<br />

∣L 2 (S )‖ = (B S (t, D)u, u) S ≥<br />

2 − ε ‖u|W 1 2(C )‖ 2 + (R(t, D)u, u)<br />

( ) 1 − 2ε<br />

≥ ‖u|W 1<br />

2<br />

2(C )‖ 2 − C s ‖u|W s 2(C )‖ 2 (5.158)<br />

with some smoothing ΨDO R(t, D) : W m (S ) → C ∞ S of order −∞ (see [Ta1] and<br />

[Du4, Theorem 4.21]).<br />

From (5.158) immediately follows:<br />

w ∈ K (C ) ⋂ W 1 2(S ) =⇒<br />

√<br />

1 − 2ε<br />

‖u|W s 2(C )‖ ≤ ‖u|W 1<br />

2C<br />

2(C )‖ .<br />

s<br />

(5.159)<br />

By taking s < 1 we derive from (5.159) that the set K (S ) of killing vector fields is finite<br />

dimensional. In fact, from arbitrary bounded sequence {u j } ∞ j=1 ⊂ K (S ) we can choose a

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

Saved successfully!

Ooh no, something went wrong!