CONCENTRATING SOLUTIONS FOR A PLANAR ... - CAPDE
CONCENTRATING SOLUTIONS FOR A PLANAR ... - CAPDE
CONCENTRATING SOLUTIONS FOR A PLANAR ... - CAPDE
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
27<br />
and by Remark 3.2 we deduce that<br />
‖φ ξ ‖ H 1<br />
0 (Ω) = O (‖φ ξ‖ ∞ + ‖N(φ ξ )‖ ∗ + ‖R‖ ∗ ) ≤ C p 3 .<br />
The proof is now complete since φ ξ solves (4.1)-(4.4): in order to show<br />
the validity of (4.2), let us remark that p|φ ξ | → 0 in C(¯Ω) and by elliptic<br />
regularity theory p|φ ξ | → 0 in C 1 (¯Ω \ ∪ m j=1 B(ξ j, ɛ)) and so, we can proceed<br />
as in Remark 2.1 to show that U ξ + φ ξ > 0 in Ω.<br />
□<br />
Let ξ 1 , ξ 2 ∈ O ε . Since<br />
∆(φ ξ1 − φ ξ2 ) + pU p−1<br />
ξ 1<br />
(φ ξ1 − φ ξ2 ) = ((U ξ2 + φ ξ2 ) p − (U ξ1 + φ ξ2 ) p )<br />
(<br />
+ (U ξ1 + φ ξ2 ) p − (U ξ1 + φ ξ1 ) p − pU p−1<br />
)<br />
ξ 1<br />
(φ ξ2 − φ ξ1 ) + ∆(U ξ2 − U ξ1 )<br />
2∑ m∑<br />
+ (c ij (ξ 1 ) − c ij (ξ 2 )) e U j<br />
(ξ 1 )Z ij (ξ 1 )<br />
+<br />
i=1 j=1<br />
2∑ m∑<br />
i=1 j=1<br />
and by (3.2)<br />
(<br />
)<br />
c ij (ξ 2 ) e U j<br />
(ξ 1 )Z ij (ξ 1 ) − e U j<br />
(ξ 2 )Z ij (ξ 2 )<br />
(<br />
)<br />
‖ (U ξ1 + φ ξ2 ) p − (U ξ1 + φ ξ1 ) p − pU p−1<br />
ξ 1<br />
(φ ξ2 − φ ξ1 ) ‖ ∗<br />
≤ C p 2 ‖φ ξ 1<br />
− φ ξ2 ‖ ∞ ‖p(U ξ1 + O( 1 p 3 ))p−2 ‖ ∗<br />
= o( 1 p ‖φ ξ 1<br />
− φ ξ2 ‖ ∞ )<br />
uniformly in O ε , by Proposition 3.1 and (4.6) we get<br />
‖φ ξ1 − φ ξ2 ‖ ∞ ≤ Cp‖(U ξ2 + φ ξ2 ) p − (U ξ1 + φ ξ2 ) p ‖ ∗<br />
+ C 2∑ m∑<br />
p 3 ‖e U j<br />
(ξ 1 )Z ij (ξ 1 ) − e U j<br />
(ξ 2 )Z ij (ξ 2 )‖ ∗<br />
i=1 j=1<br />
+ Cp‖∆(U ξ2 − U ξ1 )‖ ∗ ,<br />
for any p ≥ p 0 and ξ 1 , ξ 2 ∈ O ε (here, ‖ · ‖ ∗ is considered with respect to ξ 1 ).<br />
Hence, for fixed p ≥ p 0 , the map ξ → φ ξ is continuous in C 0 (¯Ω) and, in view<br />
of Remark 3.2, in H0 1(Ω). Further, this map is a C1 -function in C 0 (¯Ω) as it<br />
follows by the Implicit Function Theorem applied to the equation:<br />
[<br />
( ) p ]<br />
G(ξ, φ) := Π ⊥ ξ U ξ + Π ⊥ ξ φ + ∆ −1 U ξ + Π ⊥ ξ φ + Π ξ φ = 0, φ ∈ C 0 (¯Ω),<br />
where Π ξ , Π ⊥ ξ<br />
are the maps from L2 (Ω) respectively onto<br />
2∑ m∑<br />
K ξ = { c ij P Z ij : c ij ∈ R for i = 1, 2, j = 1, . . . , m}<br />
i=1 j=1