Applicazioni della teoria del minimax a problemi ... - Portale Posta DMI
Applicazioni della teoria del minimax a problemi ... - Portale Posta DMI
Applicazioni della teoria del minimax a problemi ... - Portale Posta DMI
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Disequazione con ostacolo 67<br />
si trova un numero reale σ2 > σ1 tale che per ogni t ≥ σ2<br />
(5.49) ϑ(t) > R.<br />
Proviamo ora (5.23.2): siano λ ∈ [λ0, λ1] e G come in (5.23.2); allora esiste µ1 come in<br />
(5.23.1), da cui ricaviamo<br />
µ2 = min{µ1, ¯µ}.<br />
Fissato µ ∈]0, µ2[, il funzionale Eλ,µ ammette almeno due punti di minimo locale<br />
u0, u1 ∈ C ∩ B(0, σ1); inoltre, applicando (4.6.1), (5.42) e l’ipotesi di crescita su G, si ha<br />
per ogni u ∈ X<br />
1<br />
Eλ,µ(u) ≥ u2<br />
− λh<br />
2<br />
(1 + |u(x)|<br />
0<br />
q )dx − µh (1 + |u(x)|<br />
0<br />
2 )dx<br />
≥ u2<br />
2 − λ1h (1 + u q ∞) − µh 1 + u 2 ≥<br />
<br />
∞<br />
u2<br />
<br />
− λ1h 1 +<br />
2 uq<br />
2q <br />
− µh 1 + u2<br />
<br />
= ϑ(u),<br />
4<br />
di modo che Eλ,µ risulta coercivo (per (5.48)).<br />
Dimostriamo ora che Eλ,µ soddisfa la condizione di Palais–Smale a qualunque quota<br />
(Definizione 3.15): siano {vn} una successione in C tale che {Eλ,µ(vn)} è limitata e {εn}<br />
una successione infinitesima di numeri reali positivi tale che per ogni n ∈ N, v ∈ C<br />
1<br />
0<br />
v ′ n(x)(v ′ n(x) − v ′ (x)) dx ≤ λJ ◦ F (vn; vn − v) + µJ ◦ G(vn; vn − v) + εnvn − v.<br />
Poiché Eλ,µ è coercivo, {vn} è limitata: inoltre, passando a una sottosuccessione, possiamo<br />
assumere che esista v ∈ C tale che {vn} converga a v debolmente in X e fortemente<br />
in C 0 ([0, 1]) (Lemma 4.6); inoltre supponiamo che vn − v ≤ K, vn∞ ≤ H per ogni<br />
n ∈ N (per opportuni H, K > 0): si ha allora<br />
1<br />
0<br />
v ′ n(x)(v ′ n(x) − v ′ (x)) dx ≤ λα(H)vn − v∞ + µβ(H)vn − v∞ + εnK<br />
per ogni n ∈ N, da cui<br />
lim sup<br />
n<br />
1<br />
mentre per convergenza debole si ha<br />
Dunque<br />
lim n<br />
1<br />
0<br />
0<br />
1<br />
v ′ n(x)(v ′ n(x) − v ′ (x)) dx ≤ 0,<br />
v ′ (x)(v ′ n(x) − v ′ (x)) dx = 0.<br />
lim sup vn − v<br />
n<br />
2 ≤ 0,