09.05.2013 Views

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

SHOW MORE
SHOW LESS

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,

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

Saved successfully!

Ooh no, something went wrong!