G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
G. Gilardi, Analisi Funzionale - Dipartimento di Matematica
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