10.04.2015 Views

EQUATIONS OF ELASTIC HYPERSURFACES

EQUATIONS OF ELASTIC HYPERSURFACES

EQUATIONS OF ELASTIC HYPERSURFACES

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

4. BOUNDARY VALUE PROBLEMS: GENERAL RESULTS 101<br />

4 BOUNDARY VALUE PROBLEMS: GENERAL RESULTS<br />

4.1 THE GREEN FORMULA<br />

Let S ⊂ R n be a closed smooth hypersurface of co-dimension 1 and C ⊂ S be a subsurface<br />

with the smooth boundary Γ = ∂C (see Fig. 2). Consider the following boundary value<br />

problem on the open hypersurface C<br />

{<br />

A(t, D)ϕ = f, on C ,<br />

(B j (s, D)ϕ) + = g j , j = 0, . . . , µ − 1, on Γ = ∂C ,<br />

(4.1)<br />

where A(t, D) is the ”basic” tangential differential operator and B j (t, D) are the ”boundary”<br />

tangential partial differential operators:<br />

[ ]<br />

∑<br />

A(t, D)=[A jk (t 0 , D)] N×N<br />

= a jkα (t 0 )D α = ∑ a α (t)D α ,<br />

|α|≤m<br />

|α|≤m<br />

N×N<br />

a α := [a jkα ] N×N<br />

∈ C ∞ (C ) ,<br />

[<br />

∑<br />

B j (t, D)=[B jjk (D)] N×N<br />

= b jjkα D α =<br />

|α|≤m j<br />

]N×N<br />

∑<br />

(4.2)<br />

b jα (t)D α ,<br />

|α|≤m j<br />

b jα := [b jjkα ] N×N<br />

∈ C ∞ (C Γ ) ,<br />

where C Γ ⊂ S denotes some neighborhood of Γ ⊂ C .<br />

Lemma 4.1 For a strongly tangential differential operator of order one<br />

L(D) :=<br />

n∑<br />

n∑<br />

l k ∂ k + b = l k D k + b = L(t, D) , (4.3)<br />

k=1<br />

k=1<br />

n∑<br />

ν k l k ≡ 0 , l j , b ∈ (C 1 ) N×N (C )<br />

k=1<br />

(cf. (4.5)) the following rule for integration by parts is valid:<br />

∮<br />

∮<br />

[L(t, D)ϕ] ⊤ ψ dS = −<br />

⊤ ∮<br />

l k νΓϕ k + bϕ]<br />

ψ ds −<br />

ϕ ⊤ L ∗ (t, D)ψ dS . (4.4)<br />

[ n∑<br />

k=1<br />

C<br />

Γ<br />

C<br />

Here<br />

L ∗ (t, D)ψ :=<br />

n∑<br />

D k l ⊤ k ψ + b ⊤ ψ (4.5)<br />

k=1<br />

is the formal dual operator. ν Γ = (ν 1 Γ , . . . , νn Γ )⊤ is the unit outward normal vector to Γ at<br />

the point s ∈ Γ, which is tangential to the hypersurface 〈ν(s), ν Γ (s)〉 = 0 for all s ∈ Γ.

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

Saved successfully!

Ooh no, something went wrong!