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.

En 1978, De Giorgi a conjecturé que si a est une fonction constante, toute solution u<br />

de (4.9) satisfaisant les conditions de bord u(x, y) → σi si x → −∞ <strong>et</strong> u(x, y) → σj si<br />

x → +∞ pour tout y ∈ R avec i = j arbitraires fixés, est unidimensionnelle. Ce résultat<br />

a été récemment prouvé par Ghoussoub <strong>et</strong> Gui [GG]. Le but principal de [16] est de<br />

montrer qu’il existe un sous-ensemble dense (par rapport à la norme L ∞ ), de l’ensemble<br />

des fonctions satisfaisant (H1) pour lequel l’équation (4.9) possède de multiple solutions<br />

bidimensionnelles. Imposer des conditions de bord appropriées dans la direction y, est<br />

la clef de notre résultat. Pour introduire ces conditions discutons d’abord le problème<br />

unidimensionnel associé à (4.9),<br />

Soit<br />

−¨q(x) + a(x)W ′ (q(x)) = 0, x ∈ R. (4.10)<br />

<br />

F (q) =<br />

définie sur l’espace<br />

E := {q ∈ H 1 <br />

loc(R) ;<br />

muni de la norme hilbertienne<br />

R<br />

R<br />

1<br />

2 | ˙q(x)|2 + a(x)W (q(x)) dx<br />

| ˙q(x)| 2 <br />

dx < +∞, W (q(x)) dx < +∞}<br />

R<br />

q 2 := |q(0)| 2 <br />

+<br />

R<br />

Pour i, j ∈ {1, . . . , m} arbitraires fixés, soit<br />

| ˙q(x)| 2 dx.<br />

Γi,j := {q ∈ E ; lim<br />

x→−∞ q(x) = σi, lim q(x) = σj}.<br />

x→+∞<br />

Posant ci,j := infΓi,j F (q), on montre que c(i) := minj=i ci,j > 0, pour tout i ∈ {1, . . . , m}.<br />

On choisit un i ∈ {1, . . . , m} <strong>et</strong> un j(i) ∈ {1, . . . , m} correspondant tels que c(i) = ci,j(i).<br />

On montre d’abord qu’il est possible de trouver une solution de (4.10) comme minimum de<br />

F sur Γ i := Γi,j(i). L’ensemble (infini) des minima est noté K i := {q ∈ Γ i ; F (q) = c(i)}.<br />

Pour pouvoir obtenir des solutions bidimensionnelles, on fait l’hypothèse suivante sur<br />

l’ensemble K i :<br />

(∗)i il existe une partie compacte A de K i telle qu’en posant K i 0 := A <strong>et</strong> pour k ∈ Z,<br />

K i k := {q(· − T k) : q ∈ K i 0}, (T est la période de a) on a<br />

(i) Ki = ∪k∈ZKi k<br />

(ii) ∃α > 0 tel que si k = k ′ alors dist(Ki k, Ki k ′) ≥ α.<br />

Ici la distance dist(Ki k, Ki k ′) entre les ensembles Ki k <strong>et</strong> Ki k ′ est définie par<br />

dist(K i k, K i <br />

k ′) = inf{(<br />

R<br />

|q1(t) − q2(t)| 2 dt) 1<br />

2 , q1 ∈ K i k, q2 ∈ K i k ′}.<br />

24

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

Saved successfully!

Ooh no, something went wrong!