29.07.2013 Views

Méthodes Variationnelles et Applications `a Quelques Probl`emes d ...

Méthodes Variationnelles et Applications `a Quelques Probl`emes d ...

Méthodes Variationnelles et Applications `a Quelques Probl`emes d ...

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.

Pour poursuivre la preuve comme dans le cas (1), on doit montrer que {un} est bornée.<br />

Par définition de F <strong>et</strong> puisque F (un) → c nous avons<br />

Aussi F ′ (un) → 0 s’écrit<br />

||un|| 2 − 2 p+1<br />

||un|| p+1 → 2c. (1.8)<br />

p + 1<br />

−∆un − |un| p−1 un → 0 dans H −1 . (1.9)<br />

En multipliant (1.9) par un <strong>et</strong> en intégrant sur Ω on obtient<br />

<br />

<br />

||un|| 2 − ||un|| p+1<br />

p+1<br />

<br />

<br />

≤ εn||un|| (1.10)<br />

avec εn → 0 lorsque n → ∞. Maintenant, puisque p > 1, la différence d’homogénéité<br />

entre (1.8) <strong>et</strong> (1.10) implique que {||un||} est bornée. Donc, comme précédemment, on<br />

peut supposer que un ⇀ u dans H <strong>et</strong> que<br />

un → u dans L q (Ω) pour tout q ∈ [1, 2N<br />

[. (1.11)<br />

N − 2<br />

L’étape suivante consiste à montrer que un → u dans H. Puisque un → u dans L p+1 (Ω)<br />

nous savons, en utilisant (1.10), que ||un|| 2 → ||u|| p+1<br />

p+1. De plus, par (1.9), il vient que<br />

<br />

Ω<br />

<br />

∇un∇u −<br />

Par définition de la convergence faible<br />

<br />

Ω<br />

Ω<br />

<br />

∇un∇u →<br />

|un| p−1 unu → 0. (1.12)<br />

|∇u|<br />

Ω<br />

2 = ||u|| 2<br />

<strong>et</strong>, grâce à (1.11), à la convergence faible <strong>et</strong> à l’inégalité de Hölder,<br />

<br />

Ω<br />

|un| p−1 <br />

unu →<br />

Ω<br />

|u| p+1 = ||u|| p+1<br />

p+1.<br />

On conclut maintenant, grâce à (1.12), que ||u|| 2 = ||u|| p+1<br />

p+1. Puisque ||un|| 2 → ||u|| p+1<br />

p+1 il<br />

vient finalement que ||un|| 2 → ||u|| 2 . Cela prouve (voir Proposition III.30. de [Br]) que<br />

un → u dans H <strong>et</strong> comme F <strong>et</strong> F ′ sont continues, u est un point critique de F au niveau<br />

du col c. Puisque c > 0 = F (0), u est non trivial.<br />

(3) p = N+2 : Dans ce cas la fonctionnelle F possède encore une géométrie de col. De plus<br />

N−2<br />

toutes les suites PS sont bornées. En particulier, il existe {un} ⊂ H telle que F (un) → c,<br />

F ′ (un) → 0 <strong>et</strong> un ⇀ u dans H. La différence avec le cas (2) est que un ⇀ u n’implique<br />

plus que un → u in L p+1 (Ω). L’inclusion H ↩→ L 2N<br />

N−2 (Ω) n’est pas compacte. Ce n’est pas<br />

seulement une difficulté technique ; une conséquence de l’identité de Pohozaev (voir [P])<br />

est que F n’a pas de point critique au niveau c (sur un domaine Ω étoilé).<br />

4

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

Saved successfully!

Ooh no, something went wrong!