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 ...
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