13.01.2013 Views

G. Gilardi, Analisi Funzionale - Dipartimento di Matematica

G. Gilardi, Analisi Funzionale - Dipartimento di Matematica

G. Gilardi, Analisi Funzionale - Dipartimento di Matematica

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

vχn → v in L p<br />

loc<br />

Spazi localmente convessi<br />

(Ω) . Usando la continuità <strong>di</strong> f su Lp<br />

loc (Ω) e il Teorema <strong>di</strong> Lebesgue della convergenza<br />

dominata (|uv| ∈ L1 (Ω) ), deduciamo che<br />

Dunque vale la (4.12) per ogni v ∈ L p<br />

f(v) = lim<br />

n→∞ f(vχ<br />

�<br />

�<br />

n) = lim<br />

n→∞<br />

u vχn dx =<br />

Ω<br />

uv dx.<br />

Ω<br />

(Ω) .<br />

loc<br />

Sia ora f ∈ Lp c(Ω) ∗ : dobbiamo costruire u ∈ L q<br />

loc (Ω) tale che la (4.12) valga per ogni v ∈ Lpc(Ω) .<br />

Introdotta ancora la successione {Ωm} come sopra, consideriamo, per ogni m fissato, il funzionale fm che<br />

a ogni v ∈ Lp (Ωm) associa f(�v) , ove �v : Ω → R è la funzione definita da �v = v in Ωm e �v = 0 in Ω\Ωm ,<br />

funzione che effettivamente appartiene a Lp c(Ω) . Allora fm è lineare. Inoltre, essendo f ∈ Lp c(Ω) ∗ , esistono<br />

una costante M e funzioni ψ1, . . . , ψn ∈ L q<br />

loc (Ω) tali che per ogni v ∈ Lp (Ωm) si abbia<br />

|fm(v)| = |f(�v)| ≤ M<br />

n�<br />

|�v|ψi = M<br />

i=1<br />

n�<br />

�<br />

i=1<br />

Ω<br />

ψi|�v| dx = M<br />

n�<br />

�<br />

i=1<br />

Ωm<br />

ψi|v| dx ≤ M<br />

n�<br />

i=1<br />

�ψi� L q (Ωm)�v� L p (Ωm).<br />

Dunque fm ∈ L p (Ωm) ∗ . Per il Teorema III.3.4 <strong>di</strong> Riesz esiste una e una sola um ∈ L q (Ωm) tale che<br />

�<br />

fm(v) =<br />

Ωm<br />

umv dx per ogni v ∈ L p (Ωm) .<br />

Osservato che la restrizione <strong>di</strong> um+1 a Ωm ha le stesse proprietà <strong>di</strong> um , deduciamo che tale restrizione<br />

è um . Dunque esiste u : Ω → R le cui restrizioni agli Ωm coincidono or<strong>di</strong>natamente con le um ora<br />

costruite. Segue u ∈ L q<br />

loc (Ω) . Sia ora v ∈ Lp c(Ω) ad arbitrio. Scelto m tale che v = 0 in Ω \ Ωm , abbiamo<br />

Dunque vale la (4.12) per ogni v ∈ L p c(Ω) .<br />

f(v) = f( �<br />

�<br />

�<br />

v|Ωm ) = fm(v|Ωm ) = um v|Ωm dx =<br />

Ωm<br />

uv dx.<br />

Ω<br />

4.39. Osservazione. Al contrario <strong>di</strong> quanto avviene nel caso degli spazi normati, per i quali la<br />

topologia <strong>di</strong> V ∗ indotta dalla norma duale è in qualche modo naturale e quin<strong>di</strong> privilegiata, se<br />

V è solo localmente convesso, vi sono più topologie su V ∗ ugualmente degne <strong>di</strong> considerazione.<br />

Qui introduciamo le topologie nei duali degli spazi L p<br />

loc (Ω) e Lp c(Ω) degli Esempi 4.27 e 4.37<br />

che rendono omeomorfismi gli isomorfismi algebrici della Proposizione 4.38. Resta inteso che gli<br />

spazi L q<br />

loc (Ω) e Lqc(Ω) sono muniti delle topologie degli stessi esempi con q al posto <strong>di</strong> p . Sia<br />

L : L q c(Ω) → L p<br />

loc (Ω)∗ il primo dei due isomorfismi della proposizione citata e mostriamo che L<br />

e L−1 sono operatori continui se il duale L p<br />

loc (Ω)∗ <strong>di</strong> L p<br />

loc (Ω) è munito della topologia generata<br />

dalla famiglia <strong>di</strong> seminorme definita come segue<br />

|f|∗,ϕ = |〈f, ϕ〉| per f ∈ L p<br />

loc (Ω)∗ , al variare <strong>di</strong> ϕ in L p<br />

loc (Ω) .<br />

Si tratta dunque <strong>di</strong> una topologia <strong>di</strong> tipo debole*. Per la Proposizione 1.10, con<strong>di</strong>zioni sufficienti<br />

per la continuità <strong>di</strong> L e <strong>di</strong> L −1 sono rispettivamente le seguenti:<br />

per ogni ϕ ∈ L p<br />

loc (Ω) esiste ψ ∈ Lp<br />

loc (Ω) tale che |Lu|∗,ϕ ≤ |u|ψ per ogni u ∈ L q c(Ω)<br />

per ogni ψ ∈ L p<br />

loc<br />

(Ω) esiste ϕ ∈ Lp<br />

loc (Ω) tale che |L−1 f|ψ ≤ |f|∗,ϕ per ogni f ∈ L p c(Ω) ∗ .<br />

Dimostriamo che queste sono sod<strong>di</strong>sfatte. Data ϕ ∈ L p<br />

loc (Ω) , si ha |ϕ| ∈ Lp<br />

u ∈ L q c(Ω)<br />

��<br />

� �<br />

� �<br />

|Lu|∗,ϕ = |〈Lu, ϕ〉| = � uϕ dx�<br />

≤ |u| |ϕ| dx = |u| |ϕ|<br />

<strong>Analisi</strong> <strong>Funzionale</strong><br />

Ω<br />

Ω<br />

loc<br />

(Ω) e per ogni<br />

217

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

Saved successfully!

Ooh no, something went wrong!