Publisher
Teoria e complementi
Seconda edizione, Agosto 2000
Alberto Maggi
[219,915]
55 via Lopez, 57010 Guasticce (LI)
0586 984 980
Sommario
Prefazione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
I
I.2
I.3
I.4
Spazi metrici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
I.1.1
Definizioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
I.1.2
Topologia indotta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
I.1.3
Successioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
I.1.4
Topologia e successioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Funzioni continue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
I.2.1
Limiti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
I.2.2
Funzioni continue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
I.2.3
I.2.4
I.2.5
I.3.2
I.3.3
I.3.4
Funzioni lipschitziane . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
I.3.5
I.3.6
I.4.2
I.4.3
Continuit e compattezza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
I.4.4
Sommario
I.4.5
I.5
II
Calcolo dierenziale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
II.1
II.2
II.3
II.4
III
Derivazione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
II.1.1
II.1.2
Derivate parziali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Dierenziazione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
II.2.1
Il dierenziale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
II.2.2
Derivate successive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
II.3.2
Formula di Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
II.3.3
Funzioni implicite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
III.1
Introduzione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
III.1.1
III.2
III.3
III.4
III.5
Descrizione di curve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Il teorema di Dini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
III.2.1
III.2.2
III.3.2
Dipendenza funzionale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
III.3.3
Dieomorfismi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
III.4.1
III.4.2
Sommario
IV
Introduzione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
IV.1.1
IV.2
IV.3
Notazioni e terminologia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
IV.2.2
IV.2.3
Osservazioni e complementi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
IV.3.2
IV.4
IV.5
IV.6
IV.7
IV.5.1
IV.5.2
Equazioni omogenee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
IV.5.3
Sistemi autonomi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
Introduzione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
IV.6.2
IV.6.3
IV.6.4
IV.6.5
IV.7.2
IV.7.3
V.2
V.1.2
V.1.3
Sommario
V.2.2
V.3
VI
V.3.2
VI.2
VI.3
VI.1.2
VI.2.2
VI.4
VI.4.2
VI.4.3
VI.5
VI.6
VI.7
VI.8
VI.6.1
VI.6.2
VI.7.2
VI.7.3
VI.7.4
VI.8.2
VI.8.3
Sommario
VII
VIII
VII.2
VII.3
VII.4
199
199
201
202
Prefazione
Questo testo raccoglie gli appunti del corso di Analisi II tenuto per gli studenti del corso di laurea in Fisica dal
professor M.K. Venkhatesha Murthy, durante lanno accademico 1999-2000. Gli appunti sono stati rielaborati e
ampliati secondo i miei gusti e le mie esigenze specifiche maturate nello studio parallelo del corso di Meccanica
Analitica.
Ecco allora che ho riservato molto spazio allo studio delle equazioni dierenziali e allapprofondimento di aspetti
molto particolari, quali la continuit e la dierenziabilit del flusso, la giustificazione dellapprossimazione delle
piccole oscillazioni, il teorema di rettificazione.
Nella stessa ottica il capitolo dedicato al teorema di Ulisse Dini sulle funzioni implicite e sui dieomorfismi, che
tanta rilevanza assume nella definizione di variet dierenziabile riemanniana, di gradi di libert e di coordinate
generalizzate.
Qualche accenno al calcolo delle variazioni, allo studio di curve e superfici e alle variet, completano il corso.
Il primo capitolo non si presta a uno studio sistematico, ma semmai un ricettacolo di nozioni e strumenti
indispensabili, da assimilare con pazienza nel corso dello studio dei capitoli successivi, che dal primo attingono
sempre. La teoria dellintegrazione quella di Lebesgue, ma viene trattata molto succintamente a causa del poco
tempo dedicatole durante il corso. Analogo discorso vale per le forme dierenziali (il capitolo relativo stato
aggiunto solo in un secondo momento, perch largomento non stato trattato nel corso del professor Murthy).
Il lavoro qui presentato senzaltro debitore di quello svolto dal professor Murthy e - in qualche misura - dei suoi
collaboratori, dott. Tortorelli (specie per le serie di Fourier) e dott. Novaga.
In principal modo la rielaborazione dei concetti spiegati nel corso stata eettuata sulla linea del libro di Analisi
II di Enrico Giusti. Daltra parte ampia parte di queste dispense si rif ad Analisi Due di de Marco (soprattutto
quello che riguarda le serie di Fourier) e a Equazioni dierenziali di Arnold. Per un elenco pi completo si
consulti comunque la bibliografia.
Si noti, in ogni caso, come questo testo non lascia alcuna dimostrazione al lettore neppure la pi evidente,
specificando tutti i dettagli di ogni deduzione. In questo senso il materiale qui presentato potr apparire
sovrabbondante o tedioso, ma solo dalla comprensione di tutti gli aspetti, di quelli complementari e di quelli
pi astratti, pu scaturire uno studio di successo.
Mi piace in questa sede ringraziare alcune persone (e non ringraziarne altre). I miei compagni e amici Giacomo
Santini, Antonio Maei, Giacomo Marmorini, Walter Del Pozzo, Matteo Cantiello, il sig. Ivan Ordavo, Boris
Mangano, Leonardo Facchin...
Insieme a loro ringrazio Giulio Peruginelli che mi ha fornito il programma, basato ovviamente su LATEX, col quale
ho typesettato questi e altri appunti.
Capitolo I
Sia X un insieme non vuoto e d una metrica su X, allora la coppia (X, d) si dice spazio
metrico.
Esempi notevoli
Esempio I.1
Esempio I.2
una metrica. Notiamo subito che, essendo A chiuso la definizione ben posta in forza del
teorema di Weierstra, inoltre immediato rilevare che d a valori non negativi.
(i) d (f, g) = 0 x A 0 |f (x) g (x)| maxxA |f (x) g (x)| = 0, il che equivale
a dire x A |f (x) g (x)| = 0 f (x) = g (x);
(ii) d (f, g) = maxxA |f (x) g (x)| = maxxA |g (x) f (x)| = d (g, f );
(iii) si ha
x A |f (x) g (x)| |f (x) h (x)| + |h (x) g (x)|
xA
xA
da cui, la tesi.
Esempio I.3
Verificare che valgono simmetria e disugualglianza triangolare banale. Vediamo allora solo
(i).
Rb
Se f = g si ha subito d (f, g) = 0. Viceversa, sia 0 a |f (x) g (x)| dx = 0, e supponiamo
che esista un punto x0 in [a, b] in cui f (x0 ) 6= g (x0 ). |f (x) g (x)| continua perci, essendo
|f (x0 ) g (x0 )| > 0, esiste un reale positivo 0 talch, per la permanenza del segno,
|x x0 | < 0 |f (x) g (x)| > 0
preso < 0 si ha
il che assurdo.
Definizione I.4
Sia X, si definisce intorno di ogni insieme che contenga una palla centrata in .
Indichiamo con F () la famiglia di intorni di .
Osservazione I.1
Proposizione I.1
Preso X e considerata F () si ha
(i) ha almeno un intorno; ogni intorno di contiene stesso;
(ii) se U F () e se V F () allora anche U V F ();
(iii) se U F () allora esiste V F () tale che per ogni y V , U risulta essere un intorno
di y.
Dimostrazione
La (i) banale. Vediamo la (ii), per ipotesi esistono due palle di tali che
B (, r1 ) U
B (, r2 ) V
ora, passiamo alle intersezioni per ricavare
B (, r1 ) B (, r2 ) U V
Definizione I.5
A, sottoinsieme di X, si dice aperto se per ogni suo punto esiste un intorno di tutto
contenuto in A.
Vediamo che se A un aperto, allora ogni punto di A ha una palla tutta contenuta in A stesso.
Daltra parte se ogni punto di A ammette una palla centrata in esso tale da essere contenuta
tutta in A, allora A aperto.
Infine,
Proposizione I.2
Proposizione I.3
A X aperto se e solo se per ogni suo punto esiste una palla centrata in tutta contenuta
in A.
Valgono
(i) Lunione di una famiglia F (infinita o finita) di aperti, U
(ii) Lintersezione finita di aperti, U
n
T
A, un insieme aperto.
AF
Ai , un insieme aperto.
i=1
Dimostrazione
i=1
B (, i )
n
\
Ai = U
i=1
n
\
B (, i )
i=1
da cui la tesi.
(c.v.d.)
facile vedere che intersezioni infinite di aperti non sono - in generale - aperte, si consideri,
appunto, il seguente esempio
\
1 1
,
= {0}
n n
i=1
Linsieme X e linsieme vuoto si definiscono aperti.
Insiemi chiusi
Definizione I.6
Risulta
A=
X\A e X\
A=
n
S
A, un insieme
AF
Ai , un insieme chiuso.
i=1
Definizione I.7
Osservazione I.2
Osservazione I.3
Teorema I.1
Dimostrazione
Chiusura,
frontiera,
parte interna
Definizione I.8
Proposizione I.5
Dimostrazione
(c.v.d.)
Definizione I.9
Osservazione I.4
Si definisce frontiera o bordo di A linsieme A formato dai punti tali che in ogni loro
intorno cadano punti di A e del suo complementare.
Ancora, sar possibile sostituire nella definizione sfera al posto di intorno.
Preso A X, vale
A = A X\A
Dimostrazione
Definizione I.10
Si definisce parte interna di A linsieme dei punti aventi un intorno tutto contenuto in A:
A {x X | U F (x) : U A }
Proposizione I.7
A un insieme aperto.
Dimostrazione
Proposizione I.8
EA, E aperto
Dimostrazione
Osservazione I.5
Definizione I.11
Insiemi limitati,
distanze
Definizione I.12
Proposizione I.9
Dimostrazione
(c.v.d.)
Definizione I.13
Definizione I.14
Proposizione I.10
Dimostrazione
I.1.3 Successioni
Definizioni
Definizione I.16
Definizione I.17
Teorema I.2
Osservazione I.6
si definisce sottosuccessione o
successione estratta da {xn } secondo k, la successione xk(n) .
Se una successione converge a x allora ogni sua sottosuccessione converge allo stesso limite
x.
Una successione converge al valore x X se
> 0, = () N : n
d (xn , x) <
Definizione I.18
Una successione {xn } si dice di Cauchy se per ogni fissato > 0 si trova un indice
dipendente da , talch per ogni n, m vale d (xn , xm ) < .
Osservazione I.7
Definizione I.19
Uno spazio metrico nel quale ogni successione di Cauchy convergente si dice completo.
Esempi
Esempio I.4
m
Ora, poniamo xn x1n , . . . , xm
se e solo se,
n . Vogliamo mostrare che xn x x , . . . , x
per ogni i Jm xin xi .
xn xi <
vi : n i xin xi <
v
um
uX
2
n t
(xin xi ) < n
i=1
Esempio I.6
In Rm ogni successione di Cauchy converge. Basta vedere che se {xn } di Cauchy, allora
ciascuna componente xin di Cauchy. Riconosciuto questo si avr la convergenza di ciascuna
componente e perci di {xn }. Allora Rm completo.
dunque, per ogni x A, si definisce una successione a valori reali {fn (x)} di Cauchy, avente
perci limite che poniamo pari a f (x). Daltra parte, si pu scrivere
> 0, N : n, m |fn (x) fm (x)| < , x A
sicch facendo tendere n a infinito, per la permanenza del segno
> 0, N : m |f (x) fm (x)| < , x A
sicch fm converge uniformemente a f .
Ci resta da vedere che f continua, ma
|f (x) f (x0 )| |f (x) fn (x)| + |fn (x) fn (x0 )| + |fn (x0 ) f (x0 )| < 3
in un conveniente intorno di x0 , essendo in x e x0 fn f e fn continua in x0 .
Su questo esempio torneremo in seguito studiandone una interessante generalizzazione.
Sia A (X, d). Un punto x0 appartiene alla chiusura di A se e solo se esiste una successione
{xn } a valori in A che tende a x0 .
Dimostrazione
Allora, siccome A chiuso esiste una palla centrata in x0 di raggio tutta contenuta in X\A,
ma tale palla avr interesezione vuota con A. Allora {xn } non potr essere a valori in A dato
che, convergendo a x0 , dovranno cadere infiniti punti xn nella palla di raggio > 0. Il che
assurdo.
() Supponiamo ora x0 A DA. Se x0 A baster prendere xn x0 , n, e avremo
finito. In caso contrario, poniamo = 1 e troviamo x1 A, x1 B (x0 , 1), poich x0 DA.
Poi porcediamo per induzione fissando 1/n e costruendo cos una successione xn a valori
in A talch
1
d(x0 , xn ) =
n
(c.v.d.)
Proposizione I.11
e perci convergente a x0 .
Dimostrazione
Siano dati due spazi metrici (X, dX ) e (Y, dY ) e sia f una apllicazione da X in Y . Si pone
Definizione I.20
xx0
se
> 0 = () > 0 : X 3 x 6= x0 dX (x, x0 ) < dY (f (x) , L) <
Osservazione I.8
Vale
lim f (x) = L lim dY (f (x) , L) = 0
xx0
xx0
Il limite, se esiste unico, infatti siano m, l limiti per f per x x0 . Posto = dY (m, l) /2, si
ha che BY (l, ) e BY (m, ) sono disgiunti, tuttavia essi contengono le immagini secondo f di
due intorni di x0 che, come tali, hanno intersezione non vuota, BX (x0 , min { 1 () , 2 ()}).
Limmagine di questultimo intorno perci simultaneamente contenuta in BY (l, ) e
BY (m, ), disgiunti: assurdo.
Il teorema di
collegamento
e i limiti delle
restrizioni
Teorema I.4 (di
collegamento)
xx0
Dimostrazione
Vediamo (i)(ii). Sia xn x0 . Fissiamo > 0. Troviamo allora > 0 per cui, per ogni
x in B1 (x0 , ) X\ {x0 } B (x0 , ) vale f (x) B2 (L, ). Daltra parte in corrispondenza
di troviamo N, talch per ogni n xn B (x0 , ), sicch xn B2 (L, ). Avendo
trovato () per cui n f (xn ) B (L, ), abbiamo che f (xn ) L.
Vediamo (ii)(i). f non abbia limite per x x0 . Esiste allora un valore 0 tale che, per
ogni > 0, esiste x
X\ {x0 } per il quale d1 (
x, x0 ) < e d2 (f (
x) , L) > 0 . Fissiamo
successivamente = 1, . . . , n1 determiniamo una successione xn x
( n ) talch
d1 (xn , x0 ) <
1
e d2 (f (xn ) , L) > 0
n
(c.v.d.)
Teorema I.5
(del limite delle
restrizioni)
x, xE
Dimostrazione
Definizione I.22
Esempio I.7
Consideriamo I [a, b] e C (I) spazio metrico secondo la distanza d . Sia F : C (I) C (I)
la trasformazione di C (I) in s data da
Z x
F (f ) (x)
f (t) dt.
a
Vogliamo mostrare che F continua, a tale scopo consideriamo due funzioni continue f e g
definite su I, siano F (f ) e F (g), abbiamo, per ogni x I
Z x
Z x
| (x) (x)| =
(f g) (t) dt
|f (t) g (t)| dt (x a) d (f, g)
a
d (, ) (b a) d (f, g)
da cui la continuit di F .
Il teorema di
collegamento
Teorema I.6 (di
collegamento)
Dimostrazione
Vale il seguente
f : (X, dX ) (Y, dY ) continua in se e solo se per ogni successione {xn } a valori in X
convergente a , la successione {f (xn )} a valori in Y converge a f ().
() Sia f continua in . Sia {xn } X talch xn , per n . Fissiamo > 0. Troviamo
allora () tale che se x BX (, ), allora f (x) BY (f () , ), daltra parte troviamo anche
( ()) = () N, per cui se n > allora xn BX (, ) e perci f (xn ) BY (f () , ).
Da cui f (xn ) f ().
() Per ogni {xn } X talch xn si ha f (xn ) f (). Sia, per assurdo, f non continua
in . Allora esiste un 0 > 0 tale che per ogni > 0 esiste un x = x () per cui dX (x, ) <
ma dY (f (x) , f ()) > 0 . Fissiamo allora n1 , n N\ {0}. Si ricava allora una successione
di valori xn = x (1/n) tali che 0 dX (xn , ) < n1 . Per il teorema di confronto si trova xn .
Ma allora f (xn ) f (). Ma ci assurdo poich posto = 0 , si ha dY (f (x) , f ()) > 0 ,
(c.v.d.) da cui, per ogni indice dY (f (xn ) , f ()) > 0 .
Vale ovviamente la seguente
Teorema I.7
Dimostrazione
Sia x0 X, definiamo
: X
x
Vale allora
Proposizione I.12
Dimostrazione
R
7
d (x, x0 )
La funzione continua su X.
Mostriamo preliminarmante che |d (x, x0 ) d (y, x0 )| d (x, y).
triangolare si ricava
Dalla disuguaglianza
Proposizione I.13
R
7
d (x, E)
Presi x, y X dobbiamo nuovamente mostrare che |d (x, E) d (y, E)| d (x, y). Si ha
d (x, E) = inf d (x, s), perci, per un qualunque > 0, esiste un s X, per cui
d (x, E) + > d (x, s)
se y X
d (y, E) d (y, s) d (x, y) + d (x, s) < d (x, y) + d (x, E) +
da cui
d (y, E) d (x, E) < d (x, y) +
posto = 1/n e passati al limite si ottiene
d (y, E) d (x, E) < d (x, y)
(c.v.d.)
Corollario I.1
Siano E, F (X, d) chiusi e disgiunti. Allora esiste una funzione continua da X in R tale
che
(x) = 0, se x E
(x) = 1, se x F
Dimostrazione
Poich E F = , allora per ogni x varr d (x, E) > 0 e d (x, F ) > 0, d (x, E) + d (x, F ) > 0,
sicch risulta continua la funzione
d (x, E)
(x) =
d (x, E) + d (x, F )
(c.v.d.)
allora esiste
lim g (f (x)) = lim g (y) = g (y0 )
xx0
yy0
Dimostrazione
Vogliamo passare a generalizzare lesempio I.6. Siano (X, dX ) e (X, dX ) spazi metrici.
Consideriamo la funzione f : X Y , diremo che limitata se risulta f (X) Y limitato.
Poniamo allora la seguente
Definizione I.23
Indichiamo con B (X, Y ) linsieme delle funzioni limitate da X in Y . B (X, Y ) uno spazio
metrico dotato della distanza
d (f, g) sup dY (f (x) , g (x))
xX
Dimostrazione
x X.
Riguardiamo il primo membro della diseguaglianza precedente come una successione reale
nellindice m considerando fissate n e x. La funzione dY (fn (x) , ) continua per la
proposizione I.12, perci, passando al limite per m si ha, per il teorema di collegamento,
dY (fn (x) , fm (x)) dY (fn (x) , f (x)) ,
daltra parte per la permanenza del segno deve valere
dY (fn (x) , f (x))
per ogni n > e per ogni x X. Se ne ricava che per n > vale
d (fn , f )
(c.v.d.)
Teorema I.10
Dimostrazione
fissiamo n troviamo
2
+ dY (f (x) , f (x0 ))
3
daltra parte f una funzione continua da X in Y perci in corrispondenza di esister un
> 0 talch
Teorema I.11
Passaggio al
limite sotto
il segno di
integrale
Torniamo a considerare la trasformazione F di C ([a, b]) che a ogni funzione associa la sua
funzione integrale. Abbiamo visto che essa continua. Ora sia {fn } C ([a, b]) convergente
uniformemente a f . Si ha che f continua, ha senso considerarne la funzione integrale F (f ).
Per la continuit di F e per il teorema di collegamento, si ha
F (fn ) F (f ) ,
n .
fn (t) dt =
n
b
f (t) dt
abbiamo cos dimostrato il teorema di passaggio del limite sotto il segno di integrale.
Dipendenza
lineare
Basi
Per esempio facile dimostrare che una base di Rn la base standard Rn = {e1 , . . . , en },
ove usando il di Kronecker si ha
[ej ]i = ji .
Applicazioni
lineari
Siano V e W K-spazi vettoriali, e sia F : V W unapplicazione tale che, per ogni scalare
e v, u V ,
F (u + v) = F (u) + F (v)
F (v) = F (v)
Duale
Linsieme delle applicazioni lineari di V in W si indica con Hom (V, W ), esso uno spazio
vettoriale su K. Si dimostra che esso ha dimensione pari a nm, se n dim V e m dim W ,
essendo isomorfo a M (n, m; K) spazio delle matrici n m.
Nel caso particolare in cui W = K, lo spazio delle applicazioni si dice duale di V e si indica
con V . Gli elementi di V si dicono funzionali lineari. Sia dim V = n, fissiamo una base
B = {v1 , . . . , vn } di V , e consideriamo le n applicazioni da V in K
n
X
Li
j vj = i
j=1
n
X
i Li (vj ) =
i=1
n
X
i ij = j
i=1
n
X
j L (vj ) =
j=1
n
X
j=1
j aj =
n
X
Lj (v) aj
j=1
Si ha la seguente fondamentale
Definizione I.24
Se Y uno spazio normato allora B (X, Y ) e CB (X, Y ) sono spazi normati secondo la norma
infinito
kf k sup kf (x)k .
xX
Si ha poi che
Definizione I.25
Esempio I.9
Spazi di
prodotti scalari
Definizione I.26
Uno spazio normato completo rispetto alla distanza indotta dalla norma si dice spazio di
Banach.
Se Y uno spazio di Banach lo sono anche B (X, Y ) e CB (X, Y ) .
Vale la seguente
Sia K R o C e sia V un K-spazio vettoriale, si definisce forma quadratica definita positiva
lapplicazione
V V K
(v, w) 7 (v|w)
tale che
(i) (v1 +v2 |w) = (v1 |w) + (v2 |w), (w|v1 +v2 ) = (w|v1 ) + (w|v2 ), (v|w) = (v|w) e
(v|w);
(v|w) =
(ii) (v|w) = (w|v);
(iii) (v|v) 0 e (v|v) = 0 v = 0
(v|w) si dice prodotto scalare (o hermitiano se lo spazio vettoriale complesso) di v e w. La
coppia (V, (|)) si dice spazio di prodotto scalare o spazio euclideo se V uno spazio vettoriale
reale, oppure spazio unitario se V sul campo complesso.
Si ha che
Proposizione I.14
Uno spazio euclideo o unitario V uno spazio normato con la norma indotta dal prodotto
scalare
p
kvk = (v|v)
Gli assiomi (i) e (ii) sono immediatamente verificati. Resta da dimostrare la disuguaglianza
triangolare allo scopo premettiamo il seguente lemma che prova la disuguaglianza di
Cauchy e Schwarz:
Lemma I.1
(disuguaglianza
di CauchySchwarz)
Dimostrazione
p
(v|v) (w|w)
da cui
2
la tesi
(c.v.d.)
|(v|w)|
p
(v|v) (w|w)
Uno spazio euclideo o unitario completo (rispetto alla metrica indotta dalla norma generata
dal prodotto scalare o hermitiano) si dice spazio di Hilbert.
Definizione I.28
Osservazione I.9
Unisometria ovviamente iniettiva: se f (x) = f (y) allora 0 = (f (x) , f (y)) = d (x, y),
da cui x = y. Inoltre linversa di f (definita dallinsieme immagine di f in X) unisometria.
Infine, composizioni di isometrie sono isometrie.
Definizione I.29
Due spazi metrici (X, d) e (Y, ) si dicono isometrici se fra essi esiste unisometria biunivoca.
Per losservazione precedente, due spazi si diranno isometrici se tra essi possibile stabilire
unisometria suriettiva.
Dimostrazione
x () y () d (x, y)
x y = d (x, y)
(c.v.d.)
Una particolare rilevanza tra le funzioni definite tra due spazi metrici, assunta dalle funzioni
lipschitziane:
Siano (X, d) e (Y, ) due spazi metrici, una funzione f : X Y , si dice lipschitziana se esiste
una costante 0 tale che
(f (x) , f (y)) d (x, y) , x X, y Y
si dice costante di Lipschitz per f .
Consideriamo f lipschitziana secondo la costante l. Allora si ha subito che per ogni m > l la
f lipschitziana secondo m. Consideriamo inf {m R |m costante di Lipschitz per f }.
Siccome ogni costante di Lipschitz deve essere maggiore o eguale a 0, deve risultare 0.
Ora, per ogni > 0 esiste m < + costante di Lipschitz per f . Siccome + > m si ha
che + esso stesso costante di Lipschitz. Ne deriva che > 0, + costante di Lipschitz
per f , da cui
(f (x) , f (y)) d (x, y) + d (x, y)
per larbitrariet di (posto = 1/n e passati al limite per n ) si deduce che costante
di Lipschitz per f . Risulta perci ben posta la seguente
Definizione I.31
Siano (X, d) e (Y, ) due spazi metrici e f : X Y lipschitziana. Si definisce allora migliore
costante di Lipschitz per f
inf {m R |m costante di Lipschitz per f } ,
posto Lip (f ) si ha
(f (x) , f (y)) Lip (f ) d (x, y) , x X, y Y
Generalit
sulle funzioni
lipschitziane
In generale, la linearit di una funzione definita da uno spazio normato su un altro non
implica la sua continuit. Consideriamo ad esempio la derivazione D come funzione da
X C 1 ([a, b] , R) in Y C 0 ([a, b] , R) (normati dalla norma infinito), che a f fa corrispondere
Df , sua derivata. Ora, D non continua. Prendiamo la successione
sin nt
fn (t)
,
n
abbiamo
sin nt 1
n n
passando al sup e poi al limite per n , si ha che fn (t) converge uniformemente a 0 in X,
laddove Dfn (t) = cos nt non converge a D0 = 0.
Vogliamo stabilire quando la linearit implica la continuit. Innanzi tutto banale stabilire
che T : X Y , normati, continua sul dominio se e solo se continua in 0. Unimplicazione
ovvia. Sia f continua nellorigine, allora per ogni > 0 esiste un > 0 tale che
x X, kxkX < kT xkY < .
sia ora x0 X e, fissato ancora > 0, si considerino le x per cui
x X, kx x0 kX <
si ha
kT x T x0 kY = kT (x x0 )kY <
che coincide con la tesi. Si ha in pi
Proposizione I.16
Siano X e Y spazi normati e T Hom (X, Y ). Allora T continua se e solo se esiste > 0
tale che
kT xkY kxkX , x X
Inoltre, la minima costante per cui la disuguaglianza continua a valere
sup {kT xkY |kxkX = 1 }
Dimostrazione
kxkX x
x
=
kxkX
kxkX
kxkX
kxkX
kT xkY =
T v
kxk ,
kT xkY = T kxkX
X
kxk
X
(c.v.d.)
Osservazione I.10
la tesi.
Linsieme {kT xkY |kxkX = 1 } si dice sfera dei versori o sfera unitaria e si denota con il
simbolo SX , in Rn col simbolo Sn1 . Si ha dunque che una funzione lineare lipschitziana se
e solo se limitata sulla sfera unitaria, cio se
kT k sup {kT xkY |x SX } < +
Ora, una funzione limitata sulla sfera unitaria se e solo se lo sulla 1-palla di centro lorigine.
Infatti, se per ogni versore kT ukY si ha per ogni x B (0, 1), kT xkY kxkX < . Daltra
parte se per ogni x B (0, 1) si ha kT xkY , si ha che, posto u = x/ kxkX , per ogni intero
n>0
1
T u 1 u = kT uk
1
Y
n Y
n
da cui, passando al limite per n , kT ukY .
Infine, T lineare continua se e solo se lipschitziana, se e solo lipschitziana nellorigine, se e
solo se limitata sulla palla unitaria o, equivalentemente, sulla sfera dei versori.
Denotiamo con LK (X, Y ) linsieme delle funzioni lineari da X in Y limitate sulla palla unitaria.
Abbiamo la seguente
Proposizione I.17
Dimostrazione
x
x
T x = T kxkX
= kxkX T
=0
kxkX
kxkX
(c.v.d.)
La norma di cui abbiamo dotato gli operatori lineari limitati sulla sfera ed equivalentemente
continui, si dice norma operatoriale. Si noti come la norma introdotta coincida con la
norma lipschitziana kkLip , ove si sia posto a = 0.
Esempio I.10
Siano ora gli spazi normati X Rn e Y Rm con le norme euclidee. Vediamo anzitutto
che LR (Rn , Rm ) = Hom (Rn , Rm ). Sia infatti T Hom (Rn , Rm ), allora T identificato da
una matrice T M (m, n; R). Sia x Sn1 , per la disuguaglianza di Cauchy e Schwarz
v
v
s
s
um
um
X
X
uX
uX
2
2
2
2
2 =
2
(Ti x) t
kTi kn kxk kxk
Ti,j
Ti,j
kT xkm =t
i=1
i=1
iJm ,jJn
n
iJm ,jJn
Esempio I.11
Osservazione I.11
Siano X, Y spazi normati con T Hom (X, Y ) iniettiva e perci invertibile da T (X) in X.
Sia S linversa di T , essa continua se e solo se vale
inf {kT xkY |x SX } = > 0
infatti, sia y T (X), con y 6= 0, allora esiste ed unico x 6= 0, tale che y = T x, si ha
kykY = kT xkY kxkX
perci
kSykX
1
kykY
da cui la continuit di S.
Continuit delle
forme lineari
Proposizione I.18
Ricordiamo che una forma lineare una funzione lineare di X spazio vettoriale nel suo
corpo K, cio un elemento del duale di X, X . Abbiamo la seguente
Se X uno spazio normato, una forma lineare X continua se e solo se il suo nucleo
ker (f ) chiuso in X.
Dimostrazione
Continuit delle
applicazioni
bilineari reali
Proposizione I.19
Dimostrazione
Vediamo che la condizione necessaria: sia b continua in (0, 0), con b (0, 0) = 0. Allora esiste
> 0, tale che per ogni kxkX , kykY , si ha kb (x, y)kZ < 1. Siano u, v qualsiasi in X
e Y . Allora
kukX
kvkY
kukX kvkY
u
v
b (u, v) = b
,
,
=
kukX
kvkY
2
(c.v.d.)
Esempio I.12
Consideriamo due norme definite sullo stesso spazio vettoriale X, kk , kk . Ognuna genera
una famiglia di aperti in X, la topologia indotta. Siano e le topologie generate da kk
e kk rispettivamente. Diciamo che pi fine di se ogni aperto di appartiene a
( ha pi aperti di ), cio se . Equivalentemente, per ogni punto X, se U
un -intorno, allora esso un -intorno, e questo vero se e solo se ogni palla della norma
contiene una palla nella norma (e per traslazione suciente considerare palle centrate
nellorigine). In termini intuitivi, la condizione di vicinanza e convergenza imposta dalla kk
pi stringente di quella imposta dalla kk .
Un secondo modo equivalente per espirimere il fatto che la topologia indotta dalla -norma
pi fine di quella indotta dalla -norma il seguente
Proposizione I.20
Date due norme kk , kk definite sullo spazio X, la topologia indotta dalla prima pi
fine di quella indotta dalla seconda, , se e solo se
(i) lapplicazione identica
continua;
I : (X, kk ) X, kk
(c.v.d.)
Norme
equivalenti
La nozione di convergenza sar equivalente nelle due norme se le rispettive topologie saranno
luna pi fine dellaltra, cio se e solo se = . Per quanto detto, lequivalenza delle norme
si ha se e solo se esistono due costanti , > 0, per cui
kk kk kk
Infine, diremo che una norma strettamente pi fine di unaltra se lapplicazione identica
da X normato con la pi fine, in X normato dalla meno fine, continua, ma la sua inversa
non continua.
Teorema I.13
Dimostrazione
d (xm , xp ) < ,
2
daltra parte, in corrispondenza del medesimo , esiste un 2 , talch per ogni n > 2 si ha
d (xkn , ) <
2
perci, per la diseguaglianza triangolare, per ogni m, n, p > max { 1 , 2 }
d (xm , ) d (xm , xp ) + d (xkn , ) <
(c.v.d.)
Chiusura e
compattezza
Proposizione I.21
Dimostrazione
(c.v.d.)
ogni sottosuccessione estratta da {yn }, contro lipotesi che A sia compatto, dunque completo.
Negli spazi Rm vale anche il viceversa, per dimostrarlo ricordiamo il noto teorema di Analisi
I dovuto a Bolzano e a Weierstra,
Teorema I.14
(di BolzanoWeierstra)
Lemma I.2
Dimostrazione
monotona di N
in s, kn . Ne ricaviamo allora una sottosuccessione xkn = x1kn , . . . , xm
kn , in cui le prime
m 1 successioni convergono. Ora dalla xm
estraiamo
una
sottosuccessione
convergente
kn
di mappa kn , il che possibile per il teorema di Bolzano. Ciascuna sottosuccessione xikn
convergente, perci la loro sottosuccessione xikn convergente. Con la mappa kn si ottiene
(c.v.d.) una sottosuccessione di xn convergente, la tesi.
Teorema I.15
Sia xn a valori in A, per la limitatezza di A {xn } limitata e perci per il lemma precedente
esiste una sottosuccessione di xn convergente. Ma siccome A chiuso, per la proposizione
(c.v.d.) I.11, la sottosuccessione converge a un punto di A. Ne deriva che A compatto.
Dimostrazione
In generale non per vero che un sottoinsieme chiuso e limitato di uno spazio completo sia
compatto. Consideriamo il seguente
Esempio I.13
0, 0 x < 1
1, x = 1
ma non uniformemente, infatti
Definizione I.33
Introduciamo la
Uno spazio metrico X si dice totalmente limitato se per ogni > 0 esiste un numero finito
di insiemi A1 , . . . , An , ognuno avente diametro minore di , e con
n
[
Ai = X;
i=1
Poich ogni Ai sar contenuto in una palla di raggio , lo spazio X sar totalmente limitato
se e solo se per ogni esiste un numero finito di palle di raggio che ricoprono X.
Caratterizzazione degli
spazi metrici
compatti
Teorema
I.16
(caratterizzazione degli
spazi compatti)
(i)(ii) Sia X compatto per successioni, abbiamo gi visto che ci implica X completo. Se
X non fosse ora totalmente limitato, esisterebbe un raggio r > 0 tale che nessuna famiglia
finita di palle di raggio r ricoprirebbe X. Fissiamo x1 X, poich B (x1 , r) non ricopre X,
esiste x2 X con d (x1 , x2 ) r. Daltra parte neppure lunione delle palle di raggio r centrate
in x1 e x2 ricoprono lo spazio, perci deve esistere un punto x3 X talch d (x1,2 , x3 ) r.
Procedendo per induzione si costruisce una successione a valori in X i cui elementi sono tali
che
d (xi , xj ) r, i 6= j N
Da tale successione non si pu estrarre alcuna sottosuccessione convergente per cui X non
compatto. Assurdo.
(ii)(iii) Sia X completo e totalmente limitato. Per assurdo, esista un ricoprimento aperto
F {A X |A aperto } di X dal quale non si possa estrarre alcun ricoprimento finito. Poich
X totalmente limitato, esiste un numero finito di insiemi C1 , . . . , Cn tali che diam (Cj ) < 1,
per ogni j Jn e
n
[
Cj = X
j=1
(c.v.d.)
in X non cadrebbero tutti i punti di {xn } contenendone, ciascun Bxj , un numero finito.
Concentriamoci sullesistenza del punto di minimo (la dimostrazione per il punto di massimo
del tutto analoga). Essendo f a valori reali esiste y inf f (X). Vogliamo vedere che esiste
X talch f () = y. Poich y lestremo inferiore dellinsieme immagine di X si ha che
esiste una successione a valori in f (X) convergente a y, la successione minimizzante. Sia
essa {yn } f (X). Definiamo ora la successione {xn } X tale che f (xn ) = yn per ogni intero
n. Essendo {xn } a valori in X compatto, esiste una sottosuccessione {xkn } mappata da kn
convergente a X. Per la continuit di f la successione {ykn }, ove ykn = f (xkn ) converge
a f (). Daltra parte essendo essa una sottosuccesione della successione minimizzante dovr
(c.v.d.) convergere a y, ne deriva che - per unicit del limite - f () = y.
Dimostrazione
Poniamo la seguente
Definizione I.34
Proposizione I.22
Dimostrazione
(c.v.d.)
Teorema I.18
Sia {yn } f (X) allora esiste {xn } X tale che f (xn ) = yn . Per la compattezza di X esiste
{xkn } convergente a X. Per continuit di f la sottosuccessione di yn f (xkn ) converge a
(c.v.d.) f () f (X), sicch f (X) sequenzialmente compatto.
Dimostrazione
Uniforme
continuit
Definizione I.35
Teorema I.19
(delluniforme
continuit)
Dimostrazione
Per assurdo sia f non uniformemente continua. Allora esiste un tale che per ogni esiste
una coppia di punti (a, b) X 2 per cui d1 (a, b) < e d2 (f (a) , f (b)) . Poniamo allora
successivamente 1, 1/2, 1/3, . . . , 1/n per ogni intero diverso da 0. Si definiscono cos due
successioni a valori in X, an e bn tali che
1
d1 (an , bn ) < e d2 (f (an ) , f (bn )) , n N
n
Ora da an si pu estrarre una sottosuccessione akn convergente al valore a X, da cui, per
continuit di f si ha
d1 (a, bkn ) d1 (a, akn ) + d1 (akn , bkn ) 0
d2 (f (akn ) , f (bkn )) , n N
(c.v.d.)
Il teorema
di Dini
Teorema I.20
(di Dini)
Dimostrazione
dalla prima disuguaglianza si trova che bkn converge ad a, daltra parte per continuit di f si
ha che f (bkn ) converge a f (a), la qual cosa contraddice la seconda disuguaglianza: assurdo.
fkn () f () 0
(c.v.d.)
I.4.4 Continuit delle funzioni lineari ed equivalenza delle norme in dimensione finita
Continuit
delle funzioni
lineari in
dimensione finita
Vogliamo qui indagare il comportamento delle funzioni lineari in dimensione finita, vedremo
che esse sono sempre continue
Lemma I.3
Dimostrazione
n
n
X
X
kT vkX =
wk vk
kwk kX |vk | L kvk
k=1
(c.v.d.)
Lemma I.4
k=1
perci T continua.
Per il lemma precedente ci basta vedere che 1 continua. A tale scopo utilizziamo
losservazione I.11. La sfera dei versori di Kn ovviamente chiusa e limitata, perci compatta.
La funzione kkX : SKn R+ continua (come composizione di funzioni continue) e perci
ammette minimo in un versore. Daltra parte tale minimo certo diverso da 0 poich un
(c.v.d.) isomorfismo e si annulla solo sullo 0, se ne ricava che inf {kvkX |v SKn } = > 0.
Dimostrazione
Sia X lo spazio normato, esso , in ogni caso, un R-spazio vettoriale, perci isomorfo secondo
(isomorfismo di passaggio alle coordinate) a Rn RdimR X . un omeomorfismo da Rn in
X, perci manda compatti in compatti e chiusi in chiusi; limitati in limitati per lipschitzianit,
(c.v.d.) dal teorema di Heine, Pincherle e Borel nel caso reale si perviene alla conclusione.
Dimostrazione
(c.v.d.)
Equivalenza
delle norme in
dimensione finita
Teorema I.23
Ogni funzione lineare tra spazi normati il cui dominio sia in dimensione finita continua.
Sia X normato di dimensione finita e, preso Y normato, consideriamo T Hom (X, Y ).
Prendiamo : Kn X isomorfismo. Allora T : Kn X continua per il lemma I.3, ma
per il lemma precedente 1 continua, sicch risulta continua
T = T 1
Il teorema della continuit degli omomorfismi in dimensione finita consente di concludere il
seguente fondamentale
Su uno spazio di dimensione finita tutte le norme sono equivalenti.
Infatti, per il teorema della continuit degli omomrfismi in dimensione finita, lidentit da
X con una norma in X con unaltra norma, come applicazione lineare, sar continua nei due
(c.v.d.) sensi.
Dimostrazione
Definizione I.36
Se (X, d) uno spazio metrico che gode di una delle propriet di cui nella proposizione
precedente allora si dice che esso connesso.
Sia X uno spazio metrico e valga la (i). Per assurdo, esistano A, B aperti di X non vuoti e
disgiunti tali che X = A B. Allora essendo il complementare di A B, aperto, si ha che A
chiuso. Ma A diverso dal vuoto come B, sicch diverso anche da X. Assurdo.
Vediamo ora che non (i) implica non (ii). Esista cio A X, diverso da X e dal vuoto,
contemporaneamente aperto e chiuso. Poniamo B X\A. Si ha X = A B. A e B sono
(c.v.d.) aperti e non vuoti e disgiunti.
Dimostrazione
Generalizzazione
del teorema
degli zeri
Teorema I.24
Dimostrazione
Siano (X, d1 ) e (Y, d2 ) spazi metrici. Sia f : X Y continua. Se X connesso allora f (X)
connesso.
Sia per assurdo f (X) = A B, con A, B aperti, disgiunti e non vuoti. Allora X =
f 1 (A B) = f 1 (A) f 1 (B), infatti
f 1 (A B) f () A f () B f 1 (A) f 1 (B) f 1 (A B)
Per continuit, f 1 (A) e f 1 (B) sono aperti, daltra parte sono disgiunti (altrimenti
esisterebbe f () A B) e non vuoti poich A e B sono non vuoti, se ne conclude che
(c.v.d.) X non conneso: assurdo.
Il teorema appena dimostrato generalizza il teorema degli zeri, essendo in R gli intervalli
connessi.
Connessione
per Archi
Definizione I.37
Uno spazio metrico si dice connesso per archi se ogni coppia di punti pu essere unit da un
cammino continuo: cio se fissato (a, b) X esiste : [0, 1] X continua, tale che (0) = a
e (1) = b.
La connessione per archi implica la connessione, mentre il viceversa non sempre vero.
Proposizione I.24
Dimostrazione
Sia (X, d) uno spazio metrico e sia f : X X una trasformazione in s dello spazio. Si dice
che f una contrazione se
0 < c < 1 : d (f (x1 ) .f (x2 )) c d (x1 , x2 ) , x1 , x2 X
Osservazione I.12
Definizione I.39
Dimostrazione
Sia (X, d) uno spazio metrico completo. Sia f una contrazione di X. Allora esiste uno e un
solo punto unito per f .
Sia x0 X qualsiasi. Definiamo la successione {xn } X data dalla ricorsione
x0
.
xn+1 f (xn )
Mostriamo che {xn } di Cauchy in (X, d). Sia 0 < c < 1 la costante di Lipschitz della f .
Abbiamo, per k 1
d (xk+1 , xk ) = d (f (xk ) , f (xk1 )) ck d (x1 , x0 )
c
d (x1 , x0 ) <
1c
cm
d (x1 , x0 ) <
1c
II Calcolo dierenziale
passiamo al limite in ambo i membri, per losservazione I.12 f continua, sicch si ricava
f () = .
Non ci resta che mostrare lunicit di . Sia, in eetti un punto fisso per f . Si ha
d (, ) = d (f () , f ()) c d (, )
(1 c) d (, ) 0
da cui, essendo 1 c 6= 0
d (, ) 0 d (, ) = 0,
(c.v.d.)
Osservazione I.13
infine, = .
Si ha una stima per lerrore
Capitolo II
Calcolo dierenziale
In questo capitolo introduciamo gli strumenti di base del calcolo dierenziale in spazi
multidimensionali. Nelle prime due sezioni tratteremo il caso generale di funzioni su spazi
normati. Dopodich ci concentreremo sul caso di funzioni da Rn in Rm , che ci interesser per
tutto il resto della trattazione.
II.1 Derivazione
II.1.1 Derivazione secondo un vettore
Definizione
Definizione II.1
secondo 0 6= v X, se esiste il
f (
x + tu) f (
x)
.
t0
t
Tale limite, quando esiste, si dice anche derivata secondo v di f in x0 e si indica con uno dei
seguenti simboli
f
x) , Dv f (
x)
(
x) , v f (
v
lim
Derivazione
secondo
vettori diversi
Proposizione II.1
Dimostrazione
Si ha
lim
t0
f (
x + tw) f (
x)
f (
x + tv) f (
x)
= lim
t0
t
t
II Calcolo dierenziale
t0
(c.v.d.)
f (
x + tw) f (
x)
f (
x + v) f (
x)
= lim
= v f (
x) .
0
t
Osservazione II.1
Esempio II.1
(
x|u)
k
xk
k
x + tuk k
xk
2
(
x + tu)2 x
2t (
x|u) + t2
2 (
x|u) + t
(
x|u)
=
=
=
t
t (k
x + tuk + k
xk)
t (k
x + tuk + k
xk)
(k
x + tuk + k
xk)
k
xk
Derivabilit
e continuit
Esempio II.2
La derivabilit in tutte le direzioni in un punto non garantisce la continuit della funzione nel
punto considerato. A tal proposito, si consideri il seguente
Si consideri la seguente funzione definita sul piano
(
0
se (x, y) = (0, 0) ,
2 2
f (x, y)
x y
altrimenti.
x4 +y 2
f
1
1
t u1 u2
tu21 u2
= lim
=
= lim
t0 t
t0 t
u
t4 u41 + t2 u22
t2 u41 + u22
2
u2 u2
= lim t 2 41
=0
t0
t u1 + u22
Daltra parte f non continua nellorigine, infatti, restringendoci a y = x2
2
1
x4
lim 2
= 6= 0
4
(x,y)(0,0), x =y x4 + x4
Teorema del
valor medio
per derivate
direzionali
Lemma II.1
Dimostrazione
II.1 Derivazione
g (t) g ( )
= g (t) < (t) + = lim (t) ( ) +
lim
t
t
t
t
da cui, per la permanenza del segno esiste un > 0, talch t [ , + ] risulta
kg (t) g ( )k < (t) ( ) + (t )
Teorema II.1
(del valor medio
per funzioni
reali a valori
vettoriali)
Sia Y un K-spazio normato e sia f : [a, b] Y una funzione continua e derivabile nel
dominio. Allora
kf (b) f (a)k f |b a|
dove si supposto f < +
Dimostrazione
Sia L sup[a,b] f (t) = f . Prendiamo (t) = Lt, t [a, b]. f e sono nelle ipotesi del
(c.v.d.)
Dimostrazione
Applichiamo il teorema del valor medio per funzioni vettoriali di variabile reale alla
g (t) = f (a + t (b a)) , t [0, 1]
da cui
kg (1) g (0)kY sup kg (t)k
t[0,1]
g ( ) =
(c.v.d.)
lim
da cui, la tesi.
Definizione di
derivata parziale
II Calcolo dierenziale
Molto frequente il caso in cui si abbia X = Kn (Rn o Cn ). Risulta allora fissata la base
standard {ei }iJn . La derivata direzionale secondo li-esimo versore della base si definisce
derivata parziale i-esima. Si scrive allora
ei f (
x) k f (
x)
e la si denota anche con i simboli
x) ,
Di f (
f
(
x) , fxi (
x)
xi
Abbiamo la seguente
Se D X, D aperto, ed f : D Y , Y normato, tale che, per un dato u X\ {0}, u f
esiste su D ed ivi continua, allora si ha, se [a, a + tu] D,
Z t
f (a + tu) f (a) =
u f (a + u) d
0
Dimostrazione
(c.v.d.)
Consideriamo, adesso, una funzione g : D Y , continua sul dominio, come nellipotesi della
proposizione, e un vettore X 3 6= 0, tale che, per una w C 0 (D, Y ), sia
w (x) = g (x) , x D
[]
Notiamo anzitutto che se w0 risolve (II.1) allora, per linearit della derivazione secondo un
vettore si ha che le soluzioni dellequazione sono tutte e sole le w0 +w, con w soluzione qualsiasi
dellomogenea associata
w (x) = 0
[]
II.2 Dierenziazione
Diciamo convesso nella direzione di en ogni D Rn tale che le intersezioni di D con le rette
parallele al versore en sono tutte convesse (cio se sono segmenti di tali retti).
Se, allora, D convesso nella direzione di en si ha che, eettivamente, la n w (x1 , . . . , xn ) = 0
equivalente a porre w = a pn . Si ammette allora che la w non dipende dalla n-esima
variabile.
II.2 Dierenziazione
II.2.1 Il dierenziale
Approssimazione ane
e definizione
di dierenziale
Definizione II.3
Abbiamo visto che, in generale, la derivabilit in ogni direzione non implica la continuit. Nel
caso di una variable reale, invece, la derivabilit garantiva la continuit ed era strettamente
legata alla approssimazione della funzione mediante una retta. Ci proponiamo in questa sede
di produrre, se possibile, un ente che approssimi la funzione in modo ane (come accadeva
nel caso reale unidimensionale) e stabilisca la continuit della funzione.
Si dice
Siano X, Y K-spazi normati, D X, f : D Y , funzione, e x
interno a D, x
D.
che f dierenziabile in x
se esiste T lineare e continua, T LK (X, Y ), tale che sia
kf (x) f (
x) T (x x
)kY
=0
x
x, xD
kx x
kX
lim
Fissati X, Y, D, f, x
come nella definizione precedente, si ha che se f dierenziabile in x
allora f continua in x
. Inoltre, per ogni vettore v X, esiste la derivata v f (
x) e vale
v f (
x) = T (v)
da cui lapprossimazione lineare, T , se esiste unica.
Dimostrazione
ma poich T continua T (x x
) 0 per x x
, ne deriva che
lim
x
x, xD
kf (x) f (
x)kY = 0
kf (
x + tv) f (
x) tT (v)kY
f (
x + tv) f (
x)
1
lim
x) = lim
= 0 v f (
= T (v)
t0
kvkX t0
t
t
Risulta perci ben posta la seguente
Definizione II.4
Condizione
necessaria per la
dierenziabilit
Proposizione II.4
II Calcolo dierenziale
Osservazione II.2
Dierenziale
in spazi di
dimensione finita
perci
df (
x) .h = df (
x)
n
X
i=1
hi ai
n
X
(df (
x) .ai ) hi =
i=1
n
X
hi ai f (
x)
i=1
n
X
hi ai f (
x) .
i=1
x), abbiamo
Daltra parte, per un generico v Rn , calcoliamo v f (
f1 (
fm (
x + tv) f1 (
x)
x + tv) fm (
x)
f (
x + tv) f (
x)
=
,...,
t
t
t
v f (
x) = (v f1 (
x) , . . . , v fm (
x)) .
Si ha dunque che
df (
x) .h =
n
X
hi ei f (
x) =
i=1
n
X
i=1
hi
m
X
ei fj (
x) e0j .
j=1
1 f1 . . . n f1
C
. . ..
x)
[df (
x)]Cnm = ...
Jf (
. .
1 fm
. . . n fm
La matrice del dierenziale rispetto alle basi standard ha per k-esima colonna la derivata
. Si noti
direzionale di f secondo ek . Tale matrice si definisce matrice jacobiana di f in x
come la k-esima riga sia il vettore derivato della funzione fk .
Si noti come nel caso che stiamo considerando, f sia dierenziabile se e solo se lo sono le sue
m componenti.
II.2 Dierenziazione
Una scrittura
per il
dierenziale
Consideriamo la base duale della base standard, cio univocamente definita dalla
ej (ei ) = ij
ora, se xj : Rn R tale che xj (x) 7 x ej = xj , si ha che
dxj .ei =
xj
(x0 ) = ij
xi
da cui
ej = dxj
Essendo df nel duale di P
Rn cerchiamo di scrivere
combinazione lineare
P df comeP
P dei vettori
della base duale. Se v = i vi ei si ha dxj (x0 ) ( i vi ei ) = i vi dxj (x0 ) .ei = i vi ij = vj .
Ne deriva che
dxj (x0 ) .v = vj
si soliti, data la costanza di dxj , eliminare nella scrittura il riferimento al punto x0 , perci
si pone
dxi .v = vi
df (x0 ) .v =
n
X
i=1
da cui si conclude
df (x0 ) =
vi
X f
f
(x0 ) =
(x0 ) dxi .v
i
x
xi
i=1
n
n
X
X
f
(x
)
dx
=
i f (x0 ) dxi
0
i
xi
i=1
i=1
Dimostrazione
Vediamo il caso n = 2. Sia x0 (x0 , y0 ). Sia il raggio di una palla centrata in x0 tutta
contenuta nellintorno U . Siano h, k R tali che h2 + k2 2 . Abbiamo
f (x0 + h; y0 + k)f (x0 , y0 ) = [f (x0 + h; y0 + k) f (x0 ; y0 + k)]+[f (x0 ; y0 + k) f (x0 ; y0 )]
definiamo (x) = f (x; y0 + k) e (y) = f (x0 ; y). Ne deriva che definita sullintervallo
[x0 , x0 + h] a valori reali ed ivi derivabile (ammettendo derivata destra al secondo estremo
e sinistra al primo):
(x + t) (x)
f (x + t; y0 + k)
f
=
(x, y0 + k) , t 0
t
t
x
analogamente si ha che definita in [x0 , x0 + h] ed ivi derivabile, con derivata pari a
f /y (x0 , y). Per le due funzioni si pu allora applicare il teorema di Lagrange. Dunque,
esistono e in ]0, 1[ tali che
(x0 + h) (x0 )
h
f
d
(x0 + h) =
(x0 + h; y0 + k)
dx
x
II Calcolo dierenziale
(y0 + k) (y0 )
k
f
d
(y0 + h) =
(x0 ; y0 + k)
dy
y
Da cui
f (x0 + h; y0 + k) f (x0 , y0 ) =
f
f
(x0 + h; y0 + k) h +
(x0 ; y0 + k) k
x
y
Poniamo
f
f
(x0 , y0 ) h
(x0 , y0 ) k =
f (x0 , y0 ; h, k) = f (x0 + h; y0 + k) f (x0 , y0 )
x
y
f
f
f
f
=
(x0 + h; y0 + k)
(x0 , y0 ) h
(x0 ; y0 + k)
(x0 , y0 ) k
x
x
y
y
Ora se mostriamo che f diviso la norma di (h, k) va a 0 per h, k tendenti a 0, abbiamo
ottenuto la tesi:
i
h
i
h
f (x + h; y + k) f (x , y ) h f (x ; y + k) f (x , y ) k
0
0
0
0
0
0
0
x 0
x
y
y
h2 + k2
i h
i
h
f (x + h; y + k) f (x , y ) h f (x ; y + k) f (x , y ) k
0
0 0
0 0
x 0
y 0 0
x
y
2
2
2
2
h +k
h +k
Ora, per la continuit in (x0 , y0 ) delle derivate le quantit entro parentesi quadra vanno a 0,
daltra parte si ottiene che il limite nullo notando che
|k|
|h|
1,
1
2
2
2
h +k
h + k2
Il caso generale analogo ma pi laborioso. Si procede sempre sfruttando il teorema di
(c.v.d.) Lagrange.
Corollario II.1
Dimostrazione
(c.v.d.)
Caso generale
Dimostrazione
Se i f (x0 ), i Jn , esistono in
Sia D Kn , sia Y K-spazio normato, f : D Y e x0 D.
un intorno di x0 e sono continue in x0 , allora f dierenziabile in x0 .
Vediamo n = 2. Il dierenziale di f in x0 , se esiste vale necessariamente
df (x0 ) .h = 1 f (x0 ) h1 + 2 f (x0 ) h2 .
Cominciamo col notare che non restrittivo suppore le due derivate parziali nulle in x0 . Basta
considerare la funzione g (x1 , x2 ) 7 f (x1 , x2 ) (1 f (x0 ) x1 + 2 f (x0 ) x2 ) che ha derivate
parziali nulle in x0 e, per linearit del dierenziale ed essendo il secondo addendo certamente
dierenziabile ovunque, dierenziabile se e solo se dierenziabile f .
Dobbiamo provare che per ogni > 0, esiste un > 0 tale che se k(h1 , h2 )k =
max {|h1 | , |h2 |} < , allora
1
Scriviamo
1
essendo le derivate parziali nulle, per definizione di derivata e per la permanenza del segno,
esiste 1 (), tale che per |h1 | 1 vale
1
|h2 |
sup k2 f (x)kY x x10 + h1 , x20 + h2 ; x10 + h1 , x20
per continuit
della derivata
parziale, esiste 2 (), tale che se k(k1 , k2 )k 2 si ha
risulta che i segmenti x10 + h1 , x20 + h2 ; x10 + h1 , x20 e x10 , x20 ; x10 + h1 , x20 sono tutti
contenuti nella palla di centro x0 e raggio , valgono perci, in tale palla, le disuguaglianze
trovate. Infine,
1
(c.v.d.)
la tesi dimostrata.
Si pu notare che suciente ipotizzare la continuit di tutte le derivate tranne una la quale
si deve comunque supporre esistente.
Consideriamo una funzione le cui derivate parziali siano definite in un intorno e, almeno in un
punto, derivabili a loro volta. Si parla in tal caso di derivate successive.
Cominciamo col notare che in generale
2f
2f
6=
xy
yx
a tal proposito si consideri il seguente
Esempio II.3
Sia
f (x, y)
0
y2 arctan xy
se y = 0,
altrimenti.
2
f
y
(0, y) (0, 0) =
y 2 (0, 0) = 1
y x
y
y
1 2
f
x
(x, 0) (0, 0) =
lim y arctan
(0, 0) = 0
x y
x y0 y
y
Dimostrazione
II Calcolo dierenziale
Poniamo che esista la derivata parziale rispetto ad x e poi a y. Abbiamo, nelle ipotesi
specificate,
1
f (x0 + h; y0 + k) f (x0 ; y0 + k)
f (x0 + h; y0 ) f (x0 ; y0 )
f
(x0 ; y0 ) = lim
lim
lim
k0 k h0
h0
y x
h
h
da cui
f
f (x0 + h; y0 + k) f (x0 ; y0 + k) f (x0 + h; y0 ) + f (x0 ; y0 )
(x0 ; y0 ) = lim lim
k0 h0
y x
hk
ove risulti h2 + k2 2 con raggio di una palla centrata in (x0 , y0 ) contenuta in U .
Definiamo
f (x0 + h; y0 + k) f (x0 ; y0 + k) f (x0 + h; y0 ) + f (x0 ; y0 )
(h, k)
hk
poniamo
(y) = f (x0 + h; y) f (x0 ; y)
da cui
(y0 + k) (y0 )
hk
Ora, definita nellintervallo [y0 ; y0 + k] ed ivi derivabile:
(h, k) =
f
d
f
(y) =
(x0 + h; y)
(x0 ; y)
dy
y
y
si pu perci applicare il teorema di Lagrange e trovare ]0, 1[ per cui
(y0 + k) (y0 ) =
f
f
(x0 + h; y0 + k) k
(x0 ; y0 + k) k
y
y
e infine
(h, k) =
f
y
(x0 + h; y0 + k)
f
y
(x0 ; y0 + k)
f
(x; y0 + k)
y
f
(h, k) =
x0 + 0 h; y0 + k
x y
passando al limite, per la continuit della derivazione mista rispetto a x e poi y si trova, anche
in forza del teorema di cambio di variabile:
f
(x0 ; y0 ) = lim lim (h, k) =
k0 h0
y x
f
= lim lim
x0 + 0 h; y0 + k =
k0 h0 x
y
f
f
= lim
(x0 ; y0 + k) =
(x0 ; y0 )
k0 x
y
x y
(c.v.d.)
La dimostrazione appena fatta si estendefacilmente a funzioni di pi di una variabile e a
derivazioni di ordine superiore al secondo.
Diremo che una funzione di classe C k se continua e ammette derivate fino allordine k
continue, sicch esse non dipenderanno dallordine in cui si esegue la derivazione, per il teorema
di Schwartz. Sar allora suciente, per indicare una derivata parziale, dichiarare ln-upla
p (p1 , . . . , pn ) di numeri interi positivi, tali che ciascun pi mostri il numero di volte che si
eettua la derivazione rispetto alla i-esima variabile. Lordine della derivazione varr
n
X
k = |p|
pi .
i=1
Denoteremo con D f la derivata di ordine |p| k della funzione f definita dal multi-indice
p, cio
Dp f
|p| f
.
. . . xpnn
xp11
Si pone inoltre
p! p1 ! . . . pn !
e se w (w1 , . . . wn ) Rn ,
Funzioni reali a
valori vettoriali
Proposizione II.5
wp w1p1 . . . wnpn
Prima di passare allo studio della formula di Taylor per le funzioni definite in Rn , utile passare
in rassegna alcune propriet delle funzioni reali a valori vettoriali (ad esempio la velocit di un
corpo dello spazio nel tempo...) cio a valori in Rn . Funzioni di questo tipo che siano definite
su un intervallo chiuso e siano ivi continue si dicono curve.
Sia, intanto, x (t) v per t t0 , equivalentemente, per il teorema di collegamento, per ogni
successione {tn } R tendente a t0 la successione x (tn ) v per n . Per lesempio I.4 ci
vero se e solo se ogni componente xi (tn ) tende a v i , di nuovo per il teorema di collegamento,
ci equivale a dire che ciascuna componente xi (t) v i per t t0 . Riassumendo
Sia x : A Rn , con A R e t0 A sia un punto di accumulazione per A. Allora
lim x (t) = v lim xi (t) = v i , i Jn
tt0
tt0
..
(t0 ) =
.
.
dt
n
dx /dt (t0 )
dxi
(t0 ) (t t0 ) + o ((t t0 ))
dt
..
(t0 ) (t t0 ) + x (t; t0 )
x (t) =
= x (t0 ) +
.
dt
n
n
x (t0 ) + dx /dt (t0 ) (t t0 ) + o ((t t0 ))
ove x (t; t0 ) una funzione a valori in Rn avente ciascuna componente tendente a 0 se divisa
per (t t0 ) per t t0 . Riassumendo
Proposizione II.6
II Calcolo dierenziale
ove
lim
tt0
x (t; t0 )
= 0.
t t0
Veniamo, infine, al risultato che ci occorrer specificatamente per ricavare la formula di Taylor.
Teorema II.6
Dimostrazione
dx
d (f x)
(t0 ) = df (x0 )
(t0 )
dt
dt
Sappiamo che, posto h t t0 , per la proposizione II.6
dx
x (t0 + h) = x (t0 ) +
(t0 ) h + x (t0 ; h)
dt
e, per la dierenziabilit di f
f (x0 + k) = f (x0 ) + df (x0 ) (k) + f (x0 ; k) .
Posto x (t0 ; 0) 0
k (h)
dx
(t0 ) h + x (t0 ; h)
dt
funzione continua in h = 0. Si ha
dx
(f x) (t0 + h) = f (x (t0 )) + df (x (t0 ))
(t0 ) h + x (t0 ; h) + f (x (t0 ) ; k)
dt
dx
= f (x (t0 )) + df (x (t0 ))
(t0 ) h + df (x (t0 )) (x (t0 ; h)) + f (x (t0 ) ; k)
dt
da cui
dx
(t0 ) h = df (x (t0 )) (x (t0 ; h)) + f (x (t0 ) ; k)
dt
nullo. Ora, si ha
df (x (t0 )) (x (t0 ; h))
= df (x (t0 ))
h
x (t0 ; h)
h
x (t0 ; h) /h tende a 0 per h 0 df (x (t0 )) (x (t0 ; h) /h) 0 per linearit del dierenziale.
Infine, poniamo
(
0
se k = 0
f (k)
f (x(t0 );k)
altrimenti
kkk
che continua in 0
(c.v.d.)
f (k)
( f (x (t0 ) ; k))
=
kkk
h
h
per h 0, k 0 da cui f (k) 0. Daltra parte
dx
kkk dx
x (t0 ; h)
(t
)
h
+
(t
;
h)
0
x
0
dt
)
+
(t
h
dt 0
|h|
h
X f
d (f x)
dxi
dx
(x
(t
))
(t0 ) =
(t0 ) = f (x (t0 ))
(t0 )
0
i
dt
x
dt
dt
i=1
Tale funzione definita in [0, 1], a valori reali ed di classe C k . Infatti, per il teorema II.6
vale
n
X
f
F 0 (t) =
(x0 + tw) wi
xi
i=1
derivando nuovamente
n
n
n
X
X
X
2f
2f
F 00 (t) =
wi
(x
+
tw)
w
=
(x0 + tw) wi wj
0
j
xj xi
xj xi
i=1
j=1
i,j=1
simbolicamente possiamo scrivere
2
00
F (t) = w1
+ . . . + wn
(f ) (x0 + tw) .
x1
xn
In generale, si avr
(h)
(t) = w1
+ . . . + wn
(f ) (x0 + tw) ,
x1
xn
+ . . . + wn
(f ) (x0 + tw) =
w1
x1
xn
i=1
=
w1
+ . . . + wn
+ . . . + wn
(f ) (x0 + tw) =
w1
x1
xn
x1
xn
h+1
n
X
+ . . . + wn
(f ) (x0 + tw)
w1
=
x1
xn
i=1
F (h+1) (t) =
n
X
wi
xi
F (h) (t) = h!
Dp f (x0 + tw)
|p|=h
wp
p!
e h k per il teorema della dierenziabilit totale e per il teorema II.6 (poich le derivate di
ordine k sono continue, le derivate di ordine k 1 sono dierenziabili, perci potremo derivare
F (k1) e ottenere F (k) ).
Possiamo dunque applicare la formula di Taylor in 0 alla F
F (1) = F (0) + F 0 (0) +
da cui, posto w x x0
f (x) =
|p|k
F 00 (0)
F k (0)
+... +
+ Rk (1, 0)
2!
k!
p
D p f (x0 )
(x x0 )
+ Rk (x, x0 ) .
p!
Se f C k+1 si ha dal teorema di Taylor con resto di Lagrange, per funzioni di una variabile,
X
F (k+1) ( )
(x x0 )p
Rk (x, x0 ) =
Dp f (x0 + (x x0 ))
=
(k + 1)!
p!
|p|=k+1
II Calcolo dierenziale
Tornando a porre tw = x x0 con w direzione, si ha, per il teorema di Taylor con resto di
Peano,
F (t) = F (0) + F 0 (0) t +
da cui
f (x0 + tw) =
F 00 (0) 2
F k (0) k
t +... +
t + o tk
2!
k!
|p|k
Dp f (x0 )
wp |p|
t + o tk
p!
essendo t = kx x0 k,
1
1 p1
1 p1
. . . (xn xn0 )pn
. . . (xn xn0 )pn
|p| x x0
|p| x x0
|p| p
t w = kx x0 k
=
kx
x
k
= (x x0 )p
0
|p|
kx x0 kp1 . . . kx x0 kpn
kx x0 k
perci
f (x) =
(x x0 )
+ o kx x0 kk
p!
p
Dp f (x0 )
|p|k
Riassumendo
Teorema II.7
Rk (x, x0 ) = o kx x0 kk
se poi f C k+1 (A) si pu scrivere il resto nella forma di Lagrange, esiste ]0, 1[
X
(x x0 )p
Rk (x, x0 ) =
Dp f (x0 + (x x0 ))
p!
|p|=k+1
Teorema II.8
(di Lagrange)
Corollario II.2
Dimostrazione
da cui per continuit di f , che dierenziabile, C unione di due aperti e dunque aperto.
Ora, ammettiamo che C sia diverso dallinsieme vuoto, cio neghiamo la tesi, per la quale
limmagine di A si riduce ad a e perci A coincide con B. Entro tale ipotesi, se mostriamo che B
aperto, abbiamo costruito una partizione di A in due insiemi non vuoti aperti contraddicendo
lipotesi secondo la quale A sarebbe connesso. Non ci resta che mostrare che C 6= B
aperto.
Sia x1 B A, allora esiste r > 0 per cui B (x1 , r) A. Sia ora x2 B (x1 , r), il segmento
(x1 , x2 ) risulta tutto compreso nella palla B (x1 , r). Dal teorema di Lagrange ricaviamo
f (x1 ) f (x2 ) = 0
da cui
a = f (x1 ) = f (x2 )
(c.v.d.)
Teorema II.9
Dimostrazione
h0
Poniamo
f (x0 , h)
=0
khkn
dobbiamo mostrare che dg (f (x0 )) ( f (x0 ; h)) + g (f (x0 ) , k (h)) diviso per la norma di h va
a zero per h 0. Trattiamo separatamente i due addendi
f (x0 ; h)
dg (f (x0 )) ( f (x0 ; h))
= dg (f (x0 ))
khkn
khkn
quando h 0 largomento va a zero e per linearit e continuit del dierenziale si ha che il
limite nullo. Passiamo al secondo addendo, definiamo
(
0
se k = 0
g (y0 , k)
g (y0 ,k)
altrimenti
kkk
m
(c.v.d.)
Osservazione II.3
II Calcolo dierenziale
kkkm
h
+ lim f (x0 ; h) = lim
lim
= lim df (x0 )
df (x0 ) h
h0 khkn
khkn m khk0
khk0
khk0
m
che la norma del dierenziale di un versore ed perci limitata.
Nelle basi canoniche, risulta
infine,
Lultima osservazione ci consente di ottenere in forma compatta un risultato notevole, utile nel
seguito. Si consideri dunque una funzione f dierenziabile in un punto (x0 , y0 ) , x0 Rm , y0
Rn di un aperto di Rm+n a valori in Rp . Sia poi g una funzione diferenziabile in x0 da Rm in
Rn talch g (x0 ) = y0 . Vogliamo studiare la dierenziabilit in x0 della funzione
F : Rm
x
Rp
7 f (x, g (x))
Poniamo g : Rm Rm+n tale che g (x) (x, g (x)), allora F = f g . Vediamo che g
dierenziabile, a tale proposito basta notare che
x1
..
x
m
g (x) =
g1 (x1 , . . . , xm )
..
gn (x1 , . . . , xm )
Avendo g componenti dierenziabili dierenziabile in x0 . Allora
JF = Jf Jg
Se denotiamo con Jfx M (p, m; R) la matrice f /x, con Jfy M (p, n; R) la f /y, e con
Im lidentit di Rm , possiamo scrivere, intendendo tutte le derivate calcolate in (x0 , y0 )
Im
y
JF = Jf Jg = Jfx Jf
= Jfx + Jfy Jg
Jg
da cui, se k Jp e i Jm
fk X fk gj
Fk
= [JF ]ki =
+
xi
xi j=1 yj xi
Rp
7 f (x, g (x))
n
X
fk
fk
gj
(x0 ) +
(x0 )
(x0 )
xi
y
x
j
i
j=1
Condizioni
necessarie
Teorema II.10
(di Fermat)
Dimostrazione
Sia v una direzione. DefiniamoF (t) = f (x0 + tv) in un intorno di t = 0 essendo x0 interno
ad A. Siccome f dierenziabile in x0 vale
F 0 (0) = df (x0 ) (v)
per il teorema II.6. Daltra parte, siccome f ha massimo in x0 F ha massimo in 0, ne deriva
che, per il teorema di Fermat in una variabile, F 0 (0) = 0. Cio per ogni versore
df (x0 ) (v) = 0
ci sar vero anche sui vettori della base canonica, perci, essendo il dierenziale una
applicazione lineare, varr
df (x0 ) = 0.
(c.v.d.)
Ne deriva che i punti di minimo e massimo andranno ricercati tra i punti stazionari e i punti
alla frontiera di A.
Sia H unapplicazione autoaggiunta rispetto al prodotto scalare standard di Rn . Allora, nella
base canonica, la matrice di H simmetrica, denotiamola con {hij }i,jJn S (n; R). Risulta
allora
n
n
n
X
X
X
Hv w =
(Hi v) wi =
wi
hij vj
i=1
i=1
j=1
Hv v
vk
Hv v
kvk2
n
n
n
n
n
n
X
X
X
X
X
X
v
vj
i
=
vi
hij vj =
hij vj +
vi
hij
=
v
v
v
k
k
k
i=1
j=1
i=1
j=1
i=1
j=1
=
n
X
j=1
da cui, posto H = I
hkj vj +
n
X
i=1
hik vi =
n
X
j=1
hkj vj +
n
X
hkj vj = 2
j=1
n
X
(v v) =
kvk = 2
kj vj = 2vk
vk
vk
j=1
n
X
j=1
hkj vj
II Calcolo dierenziale
infine,
2
F
(v) =
vk
Pn
j=1
kvk
=2
Pn
j=1
hkj vj F (v) vk
kvk2
=2
Hk v F (v) vk
kvk2
Hk v = F (v) vk
da cui v stazionario se e solo se
Hv = F (v) v
cio se e solo se F (v) un autovalore per H. Ricordiamo che H ha n autovalori (non
necessariamente distinti) reali, per il teorema spettrale. Daltra parte non detto che F
ammetta massimo e minimo, non essendo stata definita su un compatto non possiamo invocare
il teorema di Weierstra. Daltra parte, consideriamone la restrinzione sulla sfera unitaria
S n1 . Questultimo un insieme chiuso in Rn perci compatto: la F ammette ivi massimo e
minimo. Esistono m, M F (Rn ) tali che
w
mF
M
kwk
kvk2
kvk2
m kvk2 Hv v M kvk2
da cui H
(i) definita positiva se e solo se m > 0;
(ii) semidefinita positiva se e solo se m 0
(iii) definita negativa se e solo se M < 0;
(iv) semidefinita negativa se e solo se M 0.
Torniamo allo studio dei massimi e minimi relativi di f . Abbiamo visto che condizione
necessaria anch un punto sia di massimo o minimo che sia stazionario. Vediamo unaltra
condizione necessaria.
Proposizione II.8
2f
(x0 )
xi xj
Dimostrazione
Siccome f di classe C 2 (A) possiamo applicare la formula di Taylor con resto di Peano:
1
f (x0 + tv) = f (x0 ) + tdf (x0 ) (v) + t2 H (x0 ) v v + o t2
2
Ora, x0 un punto di minimo sicch df (x0 ) (v) = 0 e per t abbastanza piccolo
f (x0 + tv) f (x0 ) 0
da cui
1 2
t H (x0 ) v v + o t2 0
2
o t2
0
H (x0 ) v v + 2
t
passando al limite per t 0 per il teorema di permanenza del segno
H (x0 ) v v 0
(c.v.d.)
Ricerca dei
massimi e
dei minimi
Veniamo infine al
Teorema II.11
Dimostrazione
da cui
f (x) f (x0 )
m kx x0 k2
+ R2 (x, x0 )
2
siccome
lim
xx0
R2 (x, x0 )
2
kx x0 k
=0
R (x, x ) m
2
0
kx x0 k2
2
2
per cui, in tale intorno intersecato A, R2 (x, x0 ) m
2 kx x0 k e
2
f (x) f (x0 )
(c.v.d.)
m kx x0 k
m kx x0 k
=0
2
2
la tesi.
Analogamente si ha la proposizione per i punti di massimo. Il problema della ricerca dei
massimi e dei minimi si riduce alla ricerca dei punti stazionari e poi degli autovalori degli
hessiani associati. Ricordiamo che autovalore di H (x0 ) se e solo se
det (H (x0 ) I) = 0.
Siccome lhessiano simmetrico, per il teorema spettrale esso avr n radici reali.
Capitolo III
Funzioni implicite
In questo capitolo ci occuperemo dei problemi legati allo studio degli insiemi di livello per
funzioni definite su uno spazio Rn a valori in Rm . Per motivare lo studio successivo
premettiamo una sezione sulla descrizione delle curve.
III.1 Introduzione
III.1.1 Descrizione di curve
Descrizione
parametrica
e implicita
Esempio III.1
x = a cos t
, t [0, 2[
y = a sin t
f1 (x1 , . . . , xn ) =
.
..
n
..
(x1 , . . . , xn ) R :
.
fn1 (x1 , . . . , xn ) = 0
Per semplicit occupiamoci preliminarmente del caso n = 2. Sia data una funzione reale di
variabile reale continua definita su un intervallo. Essa pu essere scritta nella forma y = f (x)
o, equivalentemente
x=t
y = f (t)
di modo che il suo grafico rappresenti il sostegno di una curva semplice. Per curve regolari
vale anche il viceversa.
Proposizione III.1
Dimostrazione
x = 1 (t)
, t J.
y = 2 (t)
Siccome la curva regolare saranno diverse da 0 d1 /dt (t0 ) o d2 /dt (t0 ). Supponiamo sia
d1
(t0 ) > 0
dt
allora esister un intorno di t0 in cui 1 risulter strettamente monotona e perci invertibile.
In tale intorno varr t = 1 (x) e perci
y = 2 1 (x)
che ha derivata pari a
d2 /dt 1
(x)
d1 /dt
(c.v.d.)
Abbiamo perci visto che globalmente il grafico di una funzione reale C 1 sostegno di una
curva e che localmente il sostegno di una curva grafico di una funzione C 1 .
Abbiamo cio risolto il problema solo per funzioni dal piano in R definite come
f (x, y) = y f (x)
Per esaurire il problema pi generale nel piano avremo bisogno del teorema di Dini,
soltanto le sue generalizzazioni ci consentiranno di stabilire lequivalenza locale di descrizione
parametrica ed implicita delle curve. In ogni caso, non ci fermeremo allo studio di curve, ma
ci occuperemo di superfici, ipersuperfici e - in generale - di variet riemanniane.
Teorema III.1
(di Dini)
Vogliamo risolvere completamente il problema della descrizione di una curva del piano. A tale
scopo dimostriamo il fondamentale
Siano A un aperto di R2 , f C 1 (A) a valori in R, e (x0 , y0 ) R2 tali che
(i) f (x0 , y0 ) = 0;
(ii) f (x0 , y0 ) 6= 0;
allora, se, per fissare le idee f /y (x0 , y0 ) 6= 0, esistono un intorno U di x0 e un intorno V
di y0 per cui
x U ! y V : f (x, y) = 0,
Dimostrazione
Per ipotesi f /y (x0 , y0 ) 6= 0 e supponiamo - per fissare le idee - f /y (x0 , y0 ) > 0. Inoltre
f di classe C 1 , da cui f /y continua in A. Per la propriet di permanenza del segno esiste
un intorno W del punto (x0 , y0 ) tale che
f
(W ) > 0.
y
Siano poi h, k R+ tali che [x0 h, x0 + h] [y0 k, y0 + k] W .
[x0 h, x0 + h] definiamo la funzione da [y0 k, y0 + k] in R data da
Per ogni
y 7 f (, y)
la quale monotona strettamente crescente, in particolare per = x si ha f (x0 , y0 k) <
f (x0 , y0 ) = 0 < f (x0 , y0 + k). Daltra parte la funzione
x 7 f (x0 , y0 k)
continua, sicch, per la permanenza del segno, esiste 0 < h0 h per cui
f (x, y0 k) < 0, x [x0 h0 , x0 + h0 ] ,
(x + , (x) + )
(x + , (x) + )
maxU V f
(x,
y)
||
| (x + ) (x)|
minU V f
y (x, y)
(c.v.d.)
f /x
d
(x) =
(x, y) .
dx
f /y
ovvio a questo punto che se avessimo supposto f /x (x0 , y0 ) 6= 0 avremmo esplicitato x in
funzione di y.
Il problema delle
curve del piano
Derivate
successive
Vediamo allora che abbiamo eettivamente risolto il problema della descrizione di una curva
nel piano. Sia data una curva regolare in forma parametrica, allora, come notato nella sezione
precedente, troviamo una F C 1 dal piano in R il cui insieme di livello il sostegno della curva
stessa, nella forma F (x, y) = y f (x) con f reale di variabile reale. Daltra parte, sia data
ora una qualunque F di classe C 1 il cui supporto sia non vuoto. Allora, per il teorema di Dini,
possibile trovare, nellintorno di un punto del supporto, una funzione f reale di variabile
reale, C 1 talch F (x, f (x)) = 0. Localmente linsieme di livello il grafico della f , e come
visto esso il sostegno di una curva regolare.
Il problema pi generale, per una curva come per una variet, molto pi complicato. Lo
aronteremo passo per passo.
Sia, oltre alle ipotesi del teorema, f C 2 (A). Vogliamo mostrare che , essa stessa, di
classe C 2 . A tale proposito, essendo di classe C 1 , si pu applicare la proposizione II.12 alla
f /x (x, (x)) per trovare
2f
(x, (x)) =
x2
2f
(x, (x)) =
2y
da cui
2f
2f
(x,
(x))
+
(x, (x)) 0 (x) = fxx + fxy 0
(x)
x2
xy
2f
2f
(x, (x)) + 2 (x, (x))(x) 0 (x) = fxy + fyy 0
xy
y
dx2
fy2
fy3
n
o
(x, (x))
xj
f /y
Dimostrazione
Fissato ciascun x la funzione y 7 f (x, y) strettamente crescente e gode delle ipotesi del
teorema degli zeri, sicch esiste ed unico y per cui essa si annulla.
Vale poi, posto = (x + h) (x),
0 = f (x + h, (x + h)) f (x, (x)) = df (x + h, (x) + ) (h, ) =
h
f
f
=
=
x (x + h, (x) + )
y (x + h, (x) + )
f
f
(x + h, (x) + ) h +
(x + h, (x) + )
=
x
y
da cui
f
(x + h, (x) + ) h
(x + h) (x) = xf
y (x + h, (x) + )
f (x + h, (x) + ) h
(x
+
h,
(x)
+
khk
x
| (x + hu) (x)| = f
(x
+
h,
(x)
+
)
f
y (x + h, (x) + )
y
maxU x (x, y)
minV f
y (x,y)
(x + hu, (x) + ) u
(x + hu) (x)
= xf
h
y (x + hu, (x) + )
da cui
f
(x, (x)) u
= xf
u
y (x, (x))
ponendo poi u ei si ha
(c.v.d.)
xi (x, (x))
=
f
xi
y (x, (x))
Assegnata allora una superficie come insieme di livello di una funzione dallo spazio
tridimensionale al piano, nei punti in cui il gradiente diverso, possibile esplicitare una
variabile in funzione delle altre due, passando cos alla rappresentazione parametrica della
superficie stessa. Si tratta del teorema di Dini in tre dimensioni.
F1 (x1 , . . . , xn ) = 0
..
..
.
.
Fm (x1 , . . . , xn ) = 0
Consideriamo il sistema
F1 (x1 , . . . , xm , y1 , . . . , yn ) = 0
..
..
.
.
Fn (x1 , . . . , xm , y1 , . . . , yn ) = 0
Teorema III.3
(delle funzioni
implicite, I)
1
f
F
F
Jf (x) =
=
(x, f (x))
(x, f (x))
x
y
x
Dimostrazione
A meno di traslazione sempre possibile supporre (x0 , y0 ) = (0, 0). Per la proposizione
II.12, risulta
F
F
JF = JFx + JFy =
+
x
y
in ogni punto. Da cui
F
F
F (x, y) =
(0, 0) x+
(0, 0) y + (x, y)
x
y
con , come somma di funzioni C 1 , C 1 e tale che
(x, y)
= 0,
(x,y)(0,0) k(x, y)km+n
lim
daltra parte,
perci
a2 + b2 a + b,
q
k(x, y)km+n = x21 + . . . + x2m + y12 + . . . + yn2 kxkm + kykn
k (x, y)kn
k (x, y)kn
0
kxkm + kykn
k(x, y)km+n
lim
(x,y)(0,0)
(x, y)
= 0.
kxkm + kykn
1
1
1
F
F
F
F
y=
F (x, y)
(x, y)
(0, 0)
(0, 0)
(0, 0) x
(0, 0)
y
y
x
y
definiamo
e otteniamo
1
F
F
(x)
(0, 0)
(0, 0) x
y
x
1
F
G (x, y)
(x, y)
(0, 0)
y
y=
F
(0, 0)
y
1
(x, y)
F
lim
=0
(0, 0)
y
kxkm + kykn
(x,y)(0,0)
Daltra parte si ha, posto v Rm+n
G
G (v)
=0
(0, 0) = 0
v0 kvk
u
m+n
lim
Gi
y (x, y)
2 n
n
Gi
x (x, y)
2 m
m
F
det
(x, y) 6= 0
y
(ii)y1 , y2 Vr0 da cui, per ogni i Jn , per il teorema di Lagrange, esiste i nel segmento di
estremi y1 , y2 talch
Gi
Gi (x, y1 ) Gi (x, y2 ) =
(x, i ) (y1 y2 )
y
da cui
v
u n
2
uX Gi
t
(x, i ) (y1 y2 )
kG (x, y1 ) G (x, y2 )kn =
y
i=1
per la diseguaglianza di Schwartz
v
u n
2
uX Gi
1
2
)
ky
y
k
n
kG (x, y1 ) G (x, y2 )kn = t
ky1 y2 kn
(x,
1
2 n
i
y
2 n
n
i=1
1
ky1 y2 kn
2
1
F
F
B=
(0, 0)
(0, 0)
y
x
sicch (x) = B x. Ora, risulta
v
v
B1 x
u n
u n
uX
uX
..
2
2
2
t
(Bi x) t
kBi km kxkm
k (x)kn = .
=
i=1
i=1
Bn x
n
v
u n
uX
= kxkm t
kBi k2m kBk kxkm
i=1
1
(kxkm + kykn )
2
kBk +
1
2
r1 +
r0
2
r0
da cui k (x) + G (x, y)kn r0 il che vale per ogni x Ur1 , y Vr0 .
posto r1 2kBk+1
Fissiamo x Ur1 e sia
: y 7 (x) + G (x, y)
Se y Vr0 (y) Vr0 per la disuguaglianza precedente. Ne deriva che una trasformazione
da Vr0 in s. Inoltre
1
k (y1 ) (y2 )kn = kG (x, y1 ) G (x, y2 )kn ky1 y2 kn
2
da cui una contrazione. Per il teorema delle contrazioni esiste ed unico, fissato x Ur1 ,
y Vr0 , talch y = (x)+G (x, y) sicch F (x, y) = 0. La prima parte del teorema, lesistenza
della f , dimostrata.
Vediamo adesso che essa continua. Calcoliamo
f (x1 ) f (x2 ) = (x1 x2 ) + G (x1 , f (x1 )) G (x2 , f (x2 ))
da cui
kf (x1 ) f (x2 )kn
in
modo
del
tutto
analogo
a quello usato al punto (ii) si prova che kG (x1 , f (x2 )) G (x2 , f (x2 ))kn 12 kx1 x2 km ,
per trovare infine che
1
1
kf (x1 ) f (x2 )kn
kBk +
kx1 x2 km + kf (x1 ) f (x2 )kn
2
2
1
kf (x1 ) f (x2 )kn 2 kBk +
kx1 x2 km
2
Fi
Fi
) +
x))
( , ) (x x
( , ) (f (x) f (
x i i
y i i
Fi
Fi
( , )
(
x, f (
x))
x i i
x
Mi
Fi
Fi
( , )
(
x, f (
x))
y i i
y
km ), inoltre
sicch kL (x x
)kn = o (kx x
kM (f (x) f (
x))kn
kf (x) f (
x)kn
1
kM k
2 kBk +
kM k 0
kx x
km
kx x
km
2
da cui kM (f (x) f (
x))kn = o (kx x
km ). Ne deriva che, fissato x = x
+ h, per invertibilit
di Jfy si ricava
1
F
F
f (
x + h) = f (
x) +
(
x, f (
x))
(
x, f (
x)) h + o (kx x
km )
y
x
1
F
F
Jf (x0 ) =
(
x, f (
x))
(
x, f (
x))
y
x
(c.v.d.)
F1 (x1 , . . . , xn ) = 0
..
..
.
.
Fm (x1 , . . . , xn ) = 0
Dimostrazione
Esista per assurdo una funzione f definita su Rm tale che f (F ) (A) = 0. Per ogni x A
sar
f (F (x)) = 0
dierenziando, il che possibile per ipotesi, per ogni v Rn
Jf JF v = 0
ponendo v = ei al variare di i Jn si ottiene
m
X
f Fj
=0
yj xi
j=1
(c.v.d.)
ne deriva che abbiamo determinato, per ciascun x A, una combinazione lineare delle righe
di JF , a coecienti non nulli per ipotesi, che sia nulla. Perci rk JF < m, assurdo.
Fondamentale il seguente
Teorema III.5
Dimostrazione
(F1 , . . . , Fr )
(V ) 6= 0
(x1 , . . . , xr )
r
X
r+j,i (x)
i=1
ne deriva che
dFr+j (x) =
n
X
Fr+j
s=1
Ora, poniamo
xs
(x) dxs =
Fi
Fr+j
(x) =
(x) , s Jn
xs
xs
n X
r
X
s=1 i=1
r+j,i (x)
X
Fi
(x) dxs =
r+j,i (x) dFi (x)
xs
i=1
y1 F1 (x1 , . . . , xn )
..
yr Fr (x1 , . . . , xn )
x
r+1 xr+1
..
x
n xn
Le prime r equazioni del sistema rispettano le ipotesi del teorema delle funzioni implicite,
essendo
(F1 , . . . , Fr )
det
(V ) 6= 0
(x1 , . . . , xr )
sicch possibile esprimere ciascuna x1 , . . . , xr in funzione delle y1 , . . . yr , xr+1 , . . . , xn , in altre
parole esiste la funzione , dierenziabile, a valori in V per la quale
(y1 , . . . yr , x
r+1 , . . . , x
n ) = (x1 , . . . , xn ) .
Ne deriva che
Fr+j (x1 , . . . , xn ) = Fr+j ( (y1 , . . . yr , x
r+1 , . . . , x
n ))
da cui, dierenziando
dFr+j
r
n
X
X
(Fr+j )
(Fr+j )
=
dys +
d
xs =
y
x
s
s
s=1
s=r+1
r
n
X
X
(Fr+j )
(Fr+j )
dFs +
dxs =
ys
xs
s=1
s=r+1
n
o
ora, {dFs }sJr ; {dxr+j }jJnr una base linearmente indipendente di Hom (Rm ; Rn ), da
cui, per unicit della decomposizione in tale base di ciascun omomorfismo, si ricava
perci Fr+j
(Fr+j )
= 0, r < s n
xs
non dipende dalle variabili di indice maggiore di r, cio
Osservazione III.1
Esempio III.2
la tesi.
Sia m > n, cio il numero delle equazioni di un sistema sia maggiore del numero delle
incognite. Allora il rango della matrice jacobiana sar necessariamente minore di m e mrk JF
saranno dipendenti.
z=0
2x 2y 2z
rk 2x 2y 0 = 2 < 3
0
0
1
F1 (x1 , . . . , xn ) = 0
..
..
.
.
Fm (x1 , . . . , xn ) = 0
un intorno V del punto xj01 , . . . x0n Rn# , tale che per ogni s J# esiste ed unico
Daltra parte in W le funzioni Fit dipendono funzionalmente dalle Fjs , sicch, preso x U
Sia il sistema
F1 (x1 , . . . , xn ) = 0
..
..
.
.
Fm (x1 , . . . , xn ) = 0
#
C 1 , definita in un intorno
U
R
del
punto
x
x
,
.
.
.
,
x
,
a
valori in un intorno
0
0
0
V del punto y0 xj01 , . . . x0n Rn# , tale che per ogni s Jm esiste ed unico
Inoltre, risulta
"
#1
(Fj1 , . . . , Fjn )
(Fj1 , . . . , Fjn )
(x, (x))
J (x) =
(x, (x))
(xi1 , , . . . xi )
xj1 , , . . . xjn
Ai fini della determinazione del luogo di intersezione degli insiemi di livello le funzioni di
indici i1 , . . . i# sono localmente irrilivanti. Infine, si noti come lintersezione posta in
corrisponedenza biunivoca con R# : dato un punto dellintersezione (cio un punto di Rn
soluzione del sistema) basta considerare la sua proiezione sulle coordinate {i1 , . . . i# }, per
avere una funzione dal luogo in R# ; dato un punto di R# sar la funzione a fornirci il
modo per tornare al luogo univocamente. Si dice allora che il luogo cos costruito (si definisce
propriamente sottovariet) ha dimensione .
III.4 Dieomorfismi
III.4.1 Definizioni e prime propriet
Definizione III.1
Poniamo la seguente
Siano A e B aperti di Rn e f : A B. Si dice che f un dieormorfismo di classe C 1 se
(i) f iniettiva;
(ii) f suriettiva, f (A) = B;
(iii) f e la sua inversa f 1 sono di classe C 1 , cio sono ambedue dierenziabili con derivate
parziali continue.
Condizione
necessaria
Proposizione III.2
Proposizione III.3
Teorema III.7
(dellinvertibilit
locale)
Dimostrazione
F
f
= det
6= 0
x
x
siamo allora nelle ipotesi del teorema delle funzioni implicite nella prima forma. Si conclude
che esistono un intorno V di y0 , un intorno U di x0 , e una funzione di classe C 1 (y) : V U
tale che
F (x0 , y0 ) = 0, det
(c.v.d.)
F ( (y) , y) = 0 f ( (y)) = y (f ) (V ) = I
=0
u
cio il gradiente di f in x normale al vincolo.
f (x)
Il teorema dei
moltiplicatori
di Lagrange
Consideriamo ora un generico vincolo compatibile col dominio assegnato a f , che sia espresso
in forma implicita. Sia cio G, il vincolo, dato dal luogo di zeri della F (x), con F : Rn Rm
di classe C 1 , con m n.
Il rango della matrice jacobiana di F sia massimo sul dominio, dunque pari a m. In tal
caso determiniamo linsieme delle parametrizzazioni locali (carte) di G tramite il teorema
delle funzioni implicite. I punti di minimo o massimo di f sul vincolo G avranno gradiente
ortogonale allo spazio tangente al vincolo, per le considerazioni esposte prima. Ne deriva che,
in tali punti, il gradiente di f appartiene allo spazio ortogonale al vincolo. Cio in tali punti
x0 , esisteranno m moltiplicatori reali i , i Jm , tali che
f (x0 ) + 1 F1 (x0 ) + . . . + m Fm (x0 ) = 0
F1 (x)
=0
..
..
.
.
Fm (x)
=0
In definitiva,
Teorema
III.8 (dei
moltiplicatori
di Lagrange)
vincolato per f allora esiste una m-upla (1 , . . . , m ) tale che (x, ) risolve
F1 (x)
=0
..
..
.
.
Fm (x)
=0
Capitolo IV
In questo capitolo studieremo le equazioni dierenziali ordinarie negli spazi Rn . Dopo aver
presentato i teoremi di esistenza e unicit locale e globale, ci occuperemo della risoluzione
delle equazioni dierenziali lineari, introducendo lesponenziale di matrici. Infine, torneremo
su problemi di carattere generale con alcuni risultati complementari, eppure di grande utilit
in Meccanica Analitica, quali il teorema di rettificazione, e i teoremi sulla continuit e la
dierenziabilit del flusso.
IV.1 Introduzione
IV.1.1 Notazioni e terminologia
Spazio delle fasi
e flusso di fase
= I
= t s
Inoltre fissato x lapplicazione t (x) al passare del tempo descrive nello spazio delle fasi
unorbita del sistema o curva di fase. Linsieme delle curve di fase si dice flusso di fase.
Riassumendo, posto M un insieme arbitrario:
Definizione IV.1
= I
= t s
Definizione IV.2
Definizione IV.3
Si definisce punto di equilibrio del sistema un punto rappresentativo che esso stesso curva
di fase.
Definizione IV.5
Il prodotto diretto R M si dice spazio delle fasi allargato al tempo e il grafico del moto
in tale spazio si dice curva integrale.
Equazioni
dierenziali
Nel prodotto diretto di un aperto di uno spazio euclideo di dimensione finita e un intervallo
della retta reale J, sia dato un campo vettoriale continuo v (t, x) . Esso definisce unequazione
dierenziale ordinaria
x = v (t, x) , (t, x) J
x = v (t, x)
(P)
x (t0 ) = x0
si dice soluzione del problema di Cauchy.
Se mostriamo che per ogni problema di Cauchy si ha esistenza e unicit della soluzione,
ricaviamo che lequazione dierenziale definisce nello spazio una applicazione di avanzamento
temporale che un gruppo a un parametro. Allora lequazione dierenziale avr definito sullo
spazio delle fasi un flusso di fase le cui curve integrali sono le soluzioni del problema di
Cauchy.
d
(t) = v (t, (t))
dt
definiamo la funzione f : J Rn tale che f (t) = v (t, (t)). Come composizione di funzioni
continue essa continua; daltra parte non ci vuole nulla a vederlo direttamente: sia t J
e sia {t } J convergente a t. Per continuit di si ha che (t ) (t), allora la
successione a valori in {((t ) , (t ))} converge a (t, (t)) e per continuit di v la successione
f (t ) = v (t , (t )) v (t, (t)). Dunque,
d
(t) = f (t) ,
dt
applicando componente per componente il teorema fondamentale del calcolo si perviene alla
Z t
(t) = (t0 ) +
f ( ) d
t0
t
= (t0 ) +
v ( , ( )) d
t0
ricordando (P) si ha
(t) = x0 +
Definizione IV.7
v ( , ( )) d .
t0
nellincognita C (J, ) .
Lemma IV.1
Dallequazione
di Volterra
al problema
di Cauchy
Se C 1 (J, ) risolve il problema di Cauchy (P) allora risolve lequazione di Volterra (V).
Sia C 0 (J, ) soluzione di (V) allora si ha, posto f (t) = v (t, (t)) continua per quanto
visto prima,
Z t
f ( ) d
(t) = x0 +
t0
e immediatamente (t0 ) = x0 . Daltra parte dal teorema fondamentale del calcolo integrale
si ha, derivando ambo i membri,
d
(t) = f (t)
dt
per cui di classe C 1 e la sua derivata eguaglia in J v (t, (t)). Infine soluzione
dellequazione di Volterra risolve il problema di Cauchy.
Teorema IV.1
Sia A aperto di R R e v C 0 (A, R). Sia v lipschitziano nella seconda variabile, cio esista
K R+ tale che, per ogni (t, x1 ) , (t, x2 ) A
|v (t, x1 ) v (t, x2 )| K |x1 x2 | .
Allora esiste lintervallo J (t0 r0 , t0 + r0 ) per cui esiste ed unica C 1 (J, I) tale che
J I A e soluzione del problema di Cauchy definito dal campo v (t, x) su J I e dal
dato iniziale (t0 , x0 ) A.
Dimostrazione
Abbiamo subito che se esiste il punto fisso di tale applicazione e ha immagine inclusa in I,
esso anche soluzione dellequazione di Volterra e perci del problema di Cauchy.
Se
mostriamo
T
una
contrazione
che
dello spazio C 0 (J, I) = X u CB0 (J) |ku x0 k r2 e se mostriamo che tale spazio
completo, per il lemma delle contrazioni, abbiamo la tesi del teorema di Cauchy e Lipschitz.
presto visto che X completo. Infatti, esso sottoinsieme di CB0 (J) che completo nella
metrica uniforme. Basta adesso vedere che chiuso. A tale scopo
consideriamo
una successione
{un } a valori in X e convergente uniformemente a u
DX CB0 (J) , kk . Si ha, per ogni
intero
kun x0 k r2
e per ogni > 0 esiste N per cui, se n > ,
kun u
k <
dalla disuguaglianza triangolare
k
u x0 k < r2 +
per arbitrariet di , k
u x0 k < r2 . Ne deriva che u
X e perci questultimo chiuso e
dunque completo.
Come si vede ci che ancora non stato fissato r0 , dobbiamo restringerlo opportunamente
in modo da ottenere che T sia una trasformazione contrattiva.
In primo luogo facciamo in modo che T (u) C 0 (J, I). Siccome v continua, |v| ammetter,
teorema di Weierstra, massimo M su J I. Allora
Z t
Z t
v ( , u ( )) d
|v ( , u ( )) | d M |t t0 | M r0
|T (u) t x0 | =
t0
t0
[v ( , u1 ( )) v ( , u2 ( ))] d
|v ( , u1 ( )) v ( , u2 ( ))| d
|T (u1 ) T (u2 )| (t) =
t
t0
Z 0t
K |u1 ( ) u2 ( ) | d K ku1 u2 k r0
t0
da cui
r2 1
r0 < min r1 , ,
.
M K
Come detto il caso multidimensionale del tutto analogo a quello unidimensionale, salvo
lavorare in un aperto di R Rm e sostituire al valore assoluto il significato di kkm . In ogni
caso, per chiarezza la replichiamo.
Sia A aperto di R Rm e v C 0 (A, Rm ). Sia v lipschitziano nella seconda variabile, cio
esista K R+ tale che, per ogni (t, x1 ) , (t, x2 ) A
kv (t, x1 ) v (t, x2 )km K kx1 x2 km .
Allora esiste lintervallo J (t0 r0 , t0 + r0 ) per cui esiste ed unica C 1 (J, ), aperto
in Rm , tale che J A e soluzione del problema di Cauchy definito dal campo v (t, x)
su J e dal dato iniziale (t0 , x0 ) A.
Dimostrazione
Abbiamo subito che se esiste il punto fisso di tale applicazione e ha immagine inclusa in ,
esso anche soluzione dellequazione di Volterra e perci del problema di Cauchy.
Se
mostriamo
che
T
una
contrazione dello spazio C 0 (J, ) = X u CB0 (J) |ku x0 k r2 per il lemma delle
contrazioni, abbiamo la tesi del teorema di Cauchy e Lipschitz. Infatti X chiuso e dunque
completo.
DX
Consideriamo
una successione {un } a valori in X e convergente uniformemente a u
CB0 (J) , kk . Si ha, per ogni intero
kun x0 k r2
vi ( , u ( )) d
|vi ( , u ( )) | d M |t t0 | M r0
|T (u)i t x0i | =
t0
t0
m
! 12
X
kT (u) x0 km
(M r0 )2
= mM r0
i=1
K ku1 ( ) u2 ( )km d K ku1 u2 k r0
t0
da cui
r2
1
r0 < min r1 ,
,
.
mM
mK
(c.v.d.)
Osservazione IV.1
Sia v di classe C k allora , soluzione del problema di Cauchy associato, di classe C k+1 .
Procediamo per induzione. Se k = 0 allora di classe C 1 . Sia v di classe C k1 allora di
classe C k . Se v di classe C k , pure di classe C k1 e di classe C k , ma = v (t, (t)) f (t),
siccome v e sono di classe C k , anche f (composizione di funzioni C k ) C k . Infine, di
classe C k e C k+1 .
Consideriamo lequazione
u(m) = f t, u, u,
. . . , u(m1)
u (t0 ) = u0
..
.
(m1)
u
(t0 ) = um1
la soluzione del nuovo problema ammette una e una sola soluzione in un intervallo di tempo
sucientemente piccolo centrato intorno a t0 . Per vederlo basta operare le seguenti sostituzioni
v 1 (t) = v2 (t)
v1 (t) u (t)
..
..
.
(t) = vm (t)
m1
v m (t) = f (t, v)
e risolvere il problema di Cauchy con v (t0 ) = v0 (u0 , . . . , um1 ).
Lalgoritmo di
Volterra-Picard
e il teorema
di Peano
Abbiamo trovato la soluzione del problema di Cauchy come punto fisso della trasformazione
T . Alternativamente, si pu dire che il limite uniforme, se esiste, del processo dinamico
(algoritmo di Volterra Picard) nello spazio C 0 (J), J da determinare, dato da
u0 (t) = x0
Rt
un (t) = x0 + t0 v ( , un1 ( )) d
(t) = lim un
n
ma allora,
(t) = lim un1 = x0 + lim
n
v ( , un1 ( )) d
t0
t0
Per poter usare opportunamente lalgoritmo dovremmo preliminarmente dimostrare che a ogni
passo (t, un (t)) rimane in A. Per far ci si procede per induzione e si ngiunge a buon
o fine posto,
r
2
come nella dimostrazione del teorema di esistenza e unicit, r0 < min r1 , mM . Ora, ripresa
lipotesi (per ora accantonata) di lipschitzianit, possiamo riscrivere la un come
un = x0 +
n
X
j=1
Pn
sicch ci baster discutere la convergenza della serie j=1 (uj (t) uj1 (t)) per pervenire al
teorema di esistenza. Notiamo che
(t t0 )
ku1 (t) u0 (t)km = ku1 (t) x0 km M
Z t
Z t
t0
M
(t t0 )
K
2
..
.
n1 M
(t t0 )
K
n!
Vediamo allora che si ha convergenza totale della serie e perci convergenza
n
0
Kr
X
X
M
M
eKr0 K
kun un1 k
=
n!
K
K
kun (t) un1 (t)km
n=1
n=1
ritroviamo cos per altra via il risultato di esistenza incluso nel teorema di Cauchy e Lipschitz.
Il metodo in realt interessante perch consente di mostrare lesistenza della soluzione nel
caso si torni a togliere a v lipotesi di lipschitzianit. In eetti per procedere alla dimostrazione
del nuovo teorema (teorema di Peano) si deve ricorrere al teorema di Ascoli e Arzel
che non abbiamo visto. Si dimostra cio che la successione un uniformemente limitata
(n, t kun km L) ed equicontinua ( > 0 = () > 0 : kun (t) un (t0 )km < se
|t t0 | < n), sicch (qui interviene il teorema di Ascoli-Arzel) un converge uniformemente.
Lequilimitatezza si ha subito:
kun k x0 + mM r0
Per lequicontinuit, si deve mostrare che per ogni n
> 0 = () > 0 : |t t0 | < kun (t) un (t0 )k <
Z t0
t
t
t0
t
se si sceglie
<
mM
Ci porremo, dora in poi, nelle ipotesi del teorema di esistenza e unicit di Cauchy e Lipschitz.
Nella sezione precedente abbiamo visto che la soluzione esiste ed unica in un piccolo intorno
del dato iniziale. Adesso vogliamo vedere se possibile prolungarla fino a ottenere la soluzione
definita sul pi ampio intervallo di tempo possibile.
Definizione IV.8
Definizione IV.9
Lemma IV.2
Dimostrazione
Sia E linsieme dei punti contenuti in (t, b) tali che u1 (t) 6= u2 (t). Sia, per assurdo, E non
vuoto. Allora ammette estremo inferiore t0 t. Se t = t0 si ha u1 (t0 ) = u2 (t0 ). Altrimenti
si ha t < t0 e in ogni punto t dellintervallo [t, t0 [ risulta u1 (t) = u2 (t). Prendiamo una
successione t in [t, t0 [ tendente a t0 si ha, per ogni N
(u1 u2 ) (t ) = 0
Esistenza
delle soluzioni
massimali
Teorema IV.5
Dimostrazione
wU
(c.v.d.)
Lemma IV.3
Vogliamo vedere ora in quali casi la soluzione eettivamente prolungabile. Cominciamo col
premettere il semplice
Sia u (t) continua nellintervallo (a, b) e derivabile in (a, b) \ {t0 }. Se esiste finito
lim u (t) =
tt0
u (t) u (t0 )
= u ( )
t t0
passando al limite per t t0 , il secondo membro, per il teorema di cambio di variabile, tende
(c.v.d.) a , (essendo t0 ) mentre il primo la derivata di u in t0 .
Corollario IV.2
Sia u (t) una funzione continua in (a, b) e sia t0 (a, b). Supponiamo che u sia soluzione
dellequazione u = v (t, u) negli intervalli aperti ]a, t0 [ e ]t0 , b[. Se (t0 , u (t0 )) A, allora u (t)
soluzione su ]a, b[.
Dimostrazione
Per ogni t 6= t0 risulta u (t) = v (t, u (t)), perci basta verificare che u derivabile in t0 e la
derivata soddisfa ivi la prescrizione v. Abbiamo
lim u (t) = lim v (t, u (t)) = v (t0 , u (t0 ))
tt0
(c.v.d.)
tt0
tb
y (t) t ]a, b[
x (t) =
w (t) t ]b, b + r0 [
che risulta continua sul dominio e tale che limtt0 x (t) = x0 . Siccome (b, x0 ) A, x si trova
nelle ipotesi del corollario precedente ed perci soluzione dellequazione dierenziale. Come
si vede x rappresenta un prolungamento futuro di y (e uno passato di w)
Si ha di pi
Teorema IV.6
Sia u (t) una soluzione dellequazione dierenziale u = v (t, u) nellintervallo (a, b).
Supponiamo che esista una successione {t } crescente convergente al punto b tale che
lim u (t ) = u0
tb
|t b| <
4M
ku (t ) u0 km <
2
Per la disuguaglianza triangolare, ci basta vedere che se t < t < b allora
ku (t ) u (t)km <
2
Questa dunque la nostra tesi. Procediamo a dimostrarla per assurdo. Sia
n
o
E t (t , b) ku (t) u (t )km
2
per assurdo, non vuoto. Allora esso ammette estremo inferiore , t < < b. Per continuit
della funzione t 7 ku (t) u (t )km si ha che ku ( ) u (t )km = 2 . Prendiamo ora ]t , [
si ha
ku () u (t)km <
2
e perci u () B (u0 , r1 ) e dunque ku ()km = kv (, u ())km < M , allora
= ku ( ) u (t )km = ku ()km |t | M |t b|
2
da cui
M |t b|
2
4
(c.v.d.) il che palesemente assurdo.
Dimostrazione
Ovviamente lo stesso teorema vale per il primo estremo a. Basta che esista una successione
decrescente tendente a a il cui limite appartenga al dominio del campo di velocit, anch
esista un prolungamento passato della soluzione.
Teorema di fuga
dei compatti
Teorema IV.7
(fuga dai
compatti)
Dimostrazione
ora, estraiamo una sottosuccessione crescente dalla {tn } di punti tali che b n1 < tn < b
(questo sar sempre possibile a meno di usare laltro estremo, a). La {tn } converge a b e
inoltre
{(tn , u (tn ))} K
con K compatto, sicch da essa possibile estrarre una sottosuccessione convergente a un
punto (b, u0 ) in K perci in A. Per il teorema precedente, si ha allora che la soluzione pu
(c.v.d.) essere prolungata oltre b, il che assurdo poich essa massimale per ipotesi.
Corollario IV.3
Sia (J, u) una soluzione di u = v (t, u) con J = (a1 , b1 ) e A = (a, b) Rm . Sia b1 < b.
Supponiamo che u (t) sia limitata in un intorno di b1 allora u ammette prolungamento futuro.
Esiste 0 < < b1 a1 tale che esiste M > 0 per cui t (b1 , b1 ) ku (t)km M . Preso
il compatto K = [b1 , b1 ] B (0, M ] si ha che se u non fosse prolungabile allora, per il
teorema di fuga dai compatti, esisterebbe 1 > 0 talch per ogni t (b1 1 , b1 ) (t, u (t)) non
(c.v.d.) appartiene a K, allora ku (t)km M il che assurdo.
Dimostrazione
Lemma IV.4
(diseguaglianza
di Gronwall)
Nel caso in cui laperto di Rm+1 sia definito come il prodotto diretto tra J intervallo reale e
aperto di Rm , una soluzione massimale pu estendersi al pi su J. Se esiste una soluzione massimale - definita su tutto J essa si dir soluzione globale. Per il teorema di equivalenza
delle norme, in questa sezione utilizzeremo una norma conveniente, quella della somma delle
componenti (a meno di una costante moltiplicativa
Pm essa coincide, nelle disuguaglianze, con la
norma euclidea). Perci intenderemo kxkm i=1 |xi |
Per arrivare alla formulazione del problema ci occorre un lemma:
Sia w di classe C 1 (a, b) e supponiamo che esistano due costanti 0 e Q > 0 tali che
kw
(t)km + Q kw (t)km , t (a, b)
allora, per ogni t, t0 (a, b) risulta
kw (t)km
Inoltre, se Q = 0,
d
kwkm ds
kwkm
|z (s)| q
2 + kwk2
m
Infatti,
m
Allora
X wi
X
d X
|wi | =
|w i | .
w i
ds i=1
|wi |
i=1
i=1
kwkm kwk
m + Qz (s)
|z (s)| q
kwk
2
2 + kwk
m
sicch
Q
perci
integrando tra t e t0
log
log ( + Qz (s)) Q
ds
+ Qz (t)
Q |t t0 | + Qz (t) ( + Qz (t0 )) eQ|tt0 |
+ Qz (t0 )
Qz (s)
Q
+ Qz (s)
+ z (t0 ) eQ|tt0 |
Q
valida per ogni > 0, passando al limite per 0 si perviene alla tesi. La seconda parte si
dimostra in modo del tutto analogo.
Si perviene infine al teorema di esistenza e unicit in grande:
Teorema IV.8
(esistenza e
unicit globale)
(i) z 7 v (t, z) localmente lipschitziana, per ogni M > 0 esiste KM tale che per ogni
z1 , z2 B (0, M )
kv (t, z1 ) v (t, z2 )km KM kz1 z2 km ;
(ii) per ogni compatto K J esistono due costanti non negative P, Q dipendenti da K tali
che per ogni istante t K e per ogni z Rm risulti
kv (t, u)km P + Q kukm
Allora fissato un dato iniziale (t0 , u0 ) J Rm esiste ed unica la soluzione globale
del problema di Cauchy (P).
Dimostrazione
Si usano il corollario al teorema di fuga dai compatti e il lemma precedente. Per (i) e per il
teorema di esistenza e unicit locale, esister una soluzione definita in un intorno temporale
di t0 del problema (P). Della soluzione locale consideriamo (I, u) prolungamento massimale.
Vogliamo far vedere che I = J. Sia per assurdo b sup I < sup J . Per (ii), abbiamo
ku (t)km = kv (t, u (t))km P + Q ku (t)km
dato iniziale cade su uno zero di w, la soluzione (che unica) del corrispondente problema di
Cauchy, la funzione identicamente eguale al dato inziale (equilibrio).
Caso unidimensionale
Studiamo la seguente equazione dierenziale a variabili separabili definita in uno spazio delle
fasi bidimensionale
x = f (t) g (x)
x (t0 ) = x0
t (a, b) , x (c, d). Abbiamo detto che se x0 annulla g la soluzione identicamente pari a x0 .
Daltra parte se g (x0 ) 6= 0, allora g (x (t)) 6= 0 per ogni tempo su cui la soluzione definita.
Infatti, se cos non fosse, avremmo nel punto t, g (x (t)) = 0, allora x (t) = 0 per ogni tempo
e quindi g (x (t0 )) = g (x0 ) = 0, assurdo. Si conclude che se g (x0 ) 6= 0, allora limmagine di
x (t), soluzione del corrispondente problema di Cauchy, tutta compresa nellintervallo tra
due radici consecutive di g (x). In tale intervallo, per il teorema degli zeri, g (x) ha segno
costante e cos x (t) sar o crescente o decrescente, comunque monotona. In tal caso allora
possibile scrivere
x
= f (t)
g (x)
integrando tra t0 e t ambo i membri
Z x(t)
x0
x ()
d =
g (x ())
f () d
t0
x (t)
= A (t) A (t0 )
x0
da cui
x (t) = x0 exp
t0
a (t) dt
x (t)
t
allora
x = tw + w = f (w)
da cui
f (w) w
t
che di nuovo unequazione a variabili separabili.
w =
x = v (x)
x (t0 ) = x0
Il primo fatto fondamentale, non comune alle considerazioni sulle equazioni a variabili
separabili, collegato allautonomia del sistema dal tempo il seguente
Proposizione IV.1
Dimostrazione
x = v (x)
x (t0 ) = x0
allora, vogliamo mostrare che (t) = c = (t c) definita sullintervallo I + c soluzione
del problema
x = v (x)
x (t0 + c) = x0
infatti,
(c.v.d.)
allora per il teorema di unicit (t) = x1 (t) per ogni tempo, cio
x2 (t + t1 t2 ) = x1 (t) , t
da cui tutti i punti descritti da x1 sono descritti anche da x2 , cio le traiettorie dei punti con
leggi orarie x1 , x2 coincidono.
Vale inoltre la seguente
Proposizione IV.2
Se x (t) risolve il problema di Cauchy definito in dal campo autonomo v (x), e risulta
lim x (t) = w
allora v (w) = 0.
Lemma IV.5
(criterio
dellasintoto)
Sia f : [a, +[ R una funzione derivabile; supponiamo che esista finito limt f (t) e che
esista limt f (t) R, allora
lim f (t) = 0
t
Dimostrazione
(c.v.d.)
Dimostrazione
poniamo
v (w) ek = hk
Si ha poi
lim xk = wk R
essendo w . Inoltre
x k = v (x) ek
(c.v.d.)
Orbite
periodiche
Sia x (t) soluzione del problema definito dal sistema autonomo considerato. x (t) si dice
periodica se esiste un T > 0, per cui, per ogni tempo,
x (t) = x (t + T )
Lorbita associata a una soluzione periodica chiusa. Il tempo di percorrenza della curva ,
al pi, T .
Pi avanti studieremo (teorema di rettificazione) gli integrali del moto. Si tratta di funzioni
continue H definite in a valori in R, tali che per ogni tempo in cui la soluzione x (t) esiste
risulta
H (x0 ) = const = H (x (t))
Ora, lequazione
H (x) = H (x0 )
descrive, se il gradiente di H diverso da 0, una curva in Rm , curva integrale. La curva
integrale scritta sopra contiene la traiettoria del moto x (t). Ora, sia una curva integrale
chiusa. Se essa non contiene punti singolari del sistema autonomo, cio zeri del campo di
velocit, allora unorbita percorsa in modo periodico. Allistante t0 valga x (t0 ) = x0 .
Sui punti di fissato un campo di velocit v| , talch il moto non pu essere invertito, cio
non possibile che un arco sia percorso prima in senso orario e poi antiorario. Ne deriva che il
verso di percorrenza di fissato. Notiamo adesso che la x (t) definita per ogni tempo. Ci
perch v definito su limitato per il teorema di Weierstra. Dunque, se non esiste T per
cui x (t0 + T ) = x0 , allora deve esistere il limite di x (t) per t , ma per la proposizione
precedente esso dovrebbe essere un punto singolare, il che assurdo, infatti = limt x (t)
deve appartenere a che non contiene punti singolari
lim H (x (t)) = H (x0 ) .
Abbiamo ammesso che il limite esista senza dimostrarlo. Questo perch x (t) pu essere letta
con unapplicazione continua sullascissa curvilinea di . Perci, la nostra s (t) (il verso di
percorrenza dellorbita fissato) deve essere una funzione monotona. Ne deriva che essa
ammette limite per t . In definitiva,
Teorema IV.9
x = v (x)
x (t0 ) = x0
e se la curva definita da H (x) = H (x0 ) chiusa, contenuta nellaperto di definizione
di x e non contiene punti singolari di v, allora la traiettoria di x (t) tutta e sola la curva .
Inoltre, viene percorsa in modo periodico (esiste cio un periodo finito).
Si chiamano equazioni dierenziali lineari quelle definite da un campo di velocit ane, cio
le equazioni del tipo
u + A (t) u = b (t)
con A (t) M (n, n; R) per ogni istante t. Le funzioni A (t) u e b (t) siano continue. Allora
lequazione risulta definita su JRn ed ogni sua soluzione globale. Infatti, il campo
v (t, u) = A (t) u + b (t)
risponde ai requisiti del teorema di esistenza e unicit globale:
kv (t, u1 ) v (t, u2 )kn
kv (t, u)kn
tJ
u u, u,
. . . , u(m1)
si ha
u = A (t) u
con
0
0
..
.
A (t) =
0
a0
1
0
..
.
0
1
..
.
...
...
..
.
0
0
0
a1
0
a2
...
...
1
am1
..
.
(IV.1)
(L)
(O)
Se u
C m (J) risolve (L) e V lo spazio delle soluzioni dellomogenea associata (O) si ha
che linsieme Vb delle soluzioni di (L)
Vb = {u C m (J) |u = u
+ w, w V }
Dimostrazione
Sia u Vb allora w u u
risolve (O), perci w V
u=u
+w
Daltra parte, sia u = u
+ w allora
E (u) = E (
u + w) = E (
u) + E (w) = b (t) + 0 = b (t)
(c.v.d.)
perci u Vb .
Torniamo allo spazio vettoriale V mostriamo il seguente
Teorema IV.10
Dimostrazione
E (u) = 0
, i Jm
u (t0 ) = ei
e siano ui , i Jm le rispettive soluzioni. La nostra tesi che B {ui }iJm una base di V.
Cominciamo col far vedere che linearmente indipendente. Sia (1 , . . . , m ), poniamo
0 = 1 u1 (t) + . . . + m um (t)
introducendo la matrice wronskiana associata
u1 (t)
u 1 (t)
W (t) ..
.
(m1)
u1
a B,
...
...
..
.
(t) . . .
um (t)
u m (t)
..
.
(m1)
um
(t)
lequazione diventa
W (t) = 0
calcoliamo allistante t = t0
I = 0 = 0
Resta da vedere che V = Span hBi. Prendiamo u V. Poniamo u (t0 ) e consideriamo
z (t) 1 u1 (t) + . . . + m um (t)
abbiamo
z (t) = 1 u 1 (t) + . . . + m u m (t)
..
.
z (m1) (t) = 1 u(m1) (t) + . . . + m u(m1)
(t)
m
Sicch u
appartiene a V e, valutando in t0 , si ottiene z (t0 ) = . Perci, siccome risolvono lo
stesso problema di Cauchy, per unicit, risulta
u (t) = z (t) = 1 u1 (t) + . . . + m um (t) .
(c.v.d.)
In base ai risultati trovati si ha che la soluzione generale dellequazione (L) risulta, fissata
B base di V,
u (t) = u
+ c1 u1 + . . . + cm um
Il wronskiano
Dimostrazione
(c.v.d.)
u 1
u1
u1
u1
u2
u 2
u2
u2
d
Sussiste allora
Teorema IV.11
(di Liouville)
Dimostrazione
Calcoliamo la derivata
v 1
...
v 1
...
..
...
w = det
.
..
.
...
(m1)
v1
...
se ne ricava che
del wronskiano
v m
v1
v m
v1
..
+det
.
v1
..
..
.
.
(m1)
(m1)
v1
vm
v1
v 1
..
w = det
.
..
.
(m1)
v1
(m1)
. . . vm
. . . vm
. . . v m
..
...
.
..
...
.
(m1)
. . . vm
. . . vm
. . . vm
. . . vm
..
...
.
+. . .+det
v1
v 1
..
.
..
.
(m)
v1
. . . vm
. . . v m
..
...
.
..
...
.
(m)
. . . vm
v1
. . . vm
v 1
. . . v m
..
..
...
.
w = am1 det
.
..
..
.
...
.
(m1)
(m1)
v1
. . . vm
ossia
w = am1 w
(c.v.d.)
Osservazione IV.2
(m)
+ vk
a0 vk + a1 v k + . . . + am2 vk
i
(m2)
(m1)
(m)
(m1)
a0 vk + a1 v k . . . + am2 vk
+ am1 vk
+ vk
am1 vk
=
(m1)
= am1 vk
Corollario IV.4
w (t) = w (t0 ) e
Rt
t0
am1 ( ) d
Un metodo
per il calcolo
della soluzione
particolare
Data unequazione del tipo (L), determinata una base dello spazio delle soluzioni di (O), resta
il problema di trovare una soluzione particolare di (L). Usiamo il metodo di variazione
delle costanti. Cio dato il sistema fondamentale di soluzioni, B = {v1 , . . . , vm }, cerchiamo
una soluzione di (L) del tipo
u (t) = c1 (t) v1 (t) + . . . + cm (t) vm (t)
con ci (t) funzioni definite su J. Per determinare tali funzioni abbiamo a disposizione una sola
relazione, la (L). Possiamo allora fissare m 1 condizioni indipendenti sulle ci (t). Facciamo
questo in modo da semplificare i conti. Stabiliamo ci C 1 (J) e poniamo (le m 1 condizioni)
m
X
j=1
(k)
0
cj vj (t) = 0, k Jm2
(m1)
(m)
E (u) = c1 (t) a0 v1 + a1 v 1 + . . . + am1 v1
+ v1
+ ... +
(m1)
(m1)
(m)
(m1)
cm (t) a0 vm + a1 v m + . . . + am1 vm
+ vm
(t) + . . . + cm (t) vm
(t)
+ c1 (t) v1
c1 (t) v1
(m1)
(t) + . . . + cm (t) vm
(t) = E (u) = b (t)
m
X
(m1)
cj vj
(t) = b (t)
j=1
det Wj (t)
det W (t)
IV.6.3 Funzione esponenziale dalla retta reale allo spazio delle matrici
Esponenziale
di matrici:
definizione e
serie di Taylor
Lo spazio delle matrici quadrate M (n, n; R) isomorfo a Rn , cio pu essere riguardato come
spazio euclideo, sicch unequazione del tipo
X (t) = AX
con A, X (t) M (n, n; R) unequazione dierenziale lineare (ci vuole poco a convincersene,
ogni componente di X una combinazione lineare delle componenti di X) e autonoma
2
(indipendente dal tempo) del primo ordine definita in R Rn . Come tale, posto il dato
iniziale, il problema di Cauchy associato ha soluzione unica e globale, cio definita su tutto
lasse reale. Sfruttiamo quanto detto per fissare la seguente fondamentale
Definizione IV.10
X (t) = AX
X (0) = I
con X (t) C (R, M (n, n; R)).
dk
exp (tA) = Ak exp (tA)
dtk
d
infatti facile vedere che dt
(A (t) B (t)) = A (t) B (t) + A (t) B (t). La serie di Taylor
dellesponenziale convergente uniformemente in piccolo, dato che, localmente, lalgoritmo
di Volterra-Picard convergente uniformemente
X0 (t) = I
Rt
Xn (t) = I + A 0 Xn1 ( ) d
e
X1 (t) = I + At
X2 (t) = I + At + A
Xn (t) =
..
.
n
X
tk
k=0
k!
Ak
t2
2
Xn proprio exp (tA) Rn+1 (t), esso converge uniformemente a exp (tA), sicch
Rn (t)
2
converge uniformemente a 0. Daltra parte la serie converge su R. Essa appartiene a C R, Rn
che completo, inoltre
2 n
2 n
2 n
2
X
X
X
X
t n
t n
t
tn n
(kAk 2 )n
n
n! A 2
n! kA kn2
n!
n!
n= 1
n= 1
n2
posto M kAkn2 si ha
n= 1
2
X
tn n
n= n!
1
M n tn
n=0 n!
n2
n= 1
2
X
M n tn
n!
n=
1
Ora, siccome
converge uniformemente su R, di Cauchy. Perci fissato > 0
esiste () tale che per ogni 1 , 2 , per ogni t R, vale
2
2
X
n
X
M n tn
t
<
A
<
n!
n= n!
n=
1
n2
Proposizione IV.5
X
Ak
k=0
k!
X (t) = AX
X (0) = X0 M (n, n; R)
si ricava
Osservazione IV.3
Osservazione IV.4
dX
dt ,
si ha
Osservazione IV.6
tk1
t2 2
A +... +
Ak1 .
2
(k 1)!
A ed exp (tA) commutano, si scrive [A, exp (tA)] = 0. Vogliamo verificare che
A exp (tA) exp (tA) A = 0
poniamo X exp (tA), abbiamo
d
= A (AX) (AX) A = A (AX XA)
(AX XA) = AX XA
dt
inoltre, allistante t = 0 risulta (AX XA) (0) = 0, perci 0 risolve
d
dt (AX XA) = A (AX XA)
(AX XA) (0) = 0
per unicit, si ha identicamente su R (AX XA) = 0, la tesi.
Osservazione IV.7
d
(BX XB) = BAX AXB = ABX AXB = A (BX XB)
dt
perci, ancora 0 risolve
d
dt (BX XB) = A (BX XB)
(BX XB) (0) = 0
da cui la tesi.
Osservazione IV.8
Osservazione IV.9
d 1
G XG = G1 AXG = G1 AGG1 XG = B G1 XG
dt
inoltre G1 XG (0) = I. Perci G1 XG risolve lo stesso problema di Cauchy di exp (tB). Per
unicit si ha la tesi.
Osservazione IV.10
J1 . . .
0
..
..
1
.
..
G GL (n; R) : G AG = J = .
.
0
. . . Jk
M (n, n; C)
i 1 . . . 0
.
0 i . . . ..
= i I + J0
M (m (i ) , m (i ) ; C) 3 Ji =
..
.. . .
.
. 1
.
0 0 . . . i
Siccome
si ha che
Jk1
J k = ...
0
...
0
..
..
.
.
. . . Jkk
exp (tJ1 ) . . .
..
..
exp (tJ) =
.
.
0
...
0
..
.
exp (tJk )
e, dallosservazione precedente, exp (tA) = G exp (tJ) G1 . Non ci resta che calcolare
lesponenziale del generico blocco di Jordan J . Cominciamo col notare che [J0 , I] = 0,
allora
exp (tJ ) = exp (tJ0 + tI) = exp (tJ0 ) exp (tI) .
Per la matrice diagonale, matrice a blocchi 1 1 sulla diagonale, si ha
t
e
exp (t) . . .
0
... 0
..
..
..
..
..
..
exp (tI) =
= .
.
.
.
.
.
t
0
. . . exp (t)
0 ... e
Per calcolare lesponenziale del blocco ad autovalore nullo, useremo prima la definizione e poi
losservazione IV.5.
Se X exp (tJ0 ) si ha X = J0 X, da cui, posto m () lordine di J0 ,
X i,j = Xi+1,j se i 6=
=0
X
,j
Xi,j (0) = i,j
perci, essendo il dato iniziale nullo, si ha X1, (t) = t. Adesso si riprende alla ( 2)-esima
riga. Si ha la soluzione 0 fino alla colonna 2, ove
X 2,2 = 0
ma siccome il dato iniziale vale 1, si ha X2,2 (t) = 1. Poi,
X 2,1
= 1 X2,1 = t
t2
X 2, = t X2, =
2
procendo in modo ricorsivo si perviene alla
t1
1 t . . . (1)!
..
0 1 ...
.
. . .
.. ..
..
t
0 0 ...
Allo stesso risultato si perviene molto pi velocemente usando losservazione IV.5. Infatti,
t2 2
t1
J0 + . . . +
J 1 ,
2
( 1)! 0
t2 2
t1
1
J
exp (tJ ) = e I I + tJ0 + J0 + . . . +
2
( 1)! 0
t
da cui
exp (tJ ) =
et
tet
...
0
..
.
0
et
..
.
0
...
..
.
...
t1 t
(1)! e
t2 t
(2)! e
..
.
et
Nella sottosezione precedente non abbiamo fatto altro che definire e studiare una funzione,
lesponenziale di matrici. Vogliamo adesso usare tale funzione per risolvere i sistemi
dierenziali a coecienti costanti, almeno nel caso omogeneo. Sia dato cio il problema di
Cauchy
x = Ax, A M (n, n; R)
x (0) = x0 Rn
Usiamo, ancora una volta, lalgoritmo di Volterra-Picard, che sappiamo convergente
uniformemente sulla retta reale alla soluzione del problema.
x0 (t) = x0
Rt
xk (t) = x0 + 0 Axk1 ( ) d
abbiamo
x1 (t) = x0 + Ax0 t
Z t
t2
x2 (t) = x0 + A
(x0 + Ax0 ) d = x0 + Ax0 t + A2 x0
2
0
..
.
tk
xk (t) = x0 + tAx0 + . . . + Ak x0
k!
infine
x (t) =
X tk
k=0
k!
x0 = exp (tA) x0
Col metodo di variazione delle costanti cerchiamo una soluzione del problema del tipo
x (t) = exp (tA) c (t), con c (t) C 1 (J, Rn ). Abbiamo
d
(exp (tA) c (t)) = A exp (tA) c+ exp (tA) c
dt
da cui, imponendo che x sia soluzione
x =
exp ( A) b ( ) d
Infine, si ha la seguente
Proposizione IV.6
Il problema di Cauchy
ha soluzione globale
Calcolo della
soluzione
particolare per
unequazione
di ordine n
exp ((t ) A) b ( ) d
Il risultato trovato consente di ricavare una formula per le equazioni dierenziali di ordine
superiore lineari a coecienti costanti, quando sia noto lintegrale generale (ed sempre
noto come avremo modo di vedere tra poco) dellequazione omogenea associata. Come
sappiamo, si tratta di determinare una soluzione particolare del problema. Se ci riduciamo al
sistema del primo ordine, per quanto visto sopra, una soluzione particolare senzaltro
Z t
y
(t) =
exp ((t ) A) b ( ) d ,
0
daltra parte b (t) = (0, . . . , 0, b (t)) per cui lintegranda si riduce al prodotto della colonna nesima dellesponenziale di A per b ( ), del vettore ottenuto ci interessa la prima componente,
cio b ( ) per lelemento 1, n dellesponenziale. Questultimo la soluzione dellomogenea
associata quando il dato iniziale sia (0, . . . , 0, 1). Perci se u (t) la soluzione dellomogenea
al dato iniziale u (0) = u (0) = . . . = u(n2) (0) = 0 e u(n1) (0) = 1 si ha che una soluzione
particolare
Z t
y (t) =
u (t ) b ( ) d
0
Si ricava allora la
Proposizione IV.7
al variare di ci R per i Jn .
(OL)
+ an1 n1 + . . . + a1 + a0 et
p () et
= 0
= 0
= 0
(D ) (Du u) = D2 u ( + ) Du + u = D2 ( + ) D + u
(D ) (Du u) = D2 u ( + ) Du + u = D2 ( + ) D + u
sicch, se
p (z) =
k
Y
i=1
mi
(z i )
i=1
mi
(D i )
u=0
ove i termini nella produttoria sono interscambiabili. Questo semplifica molto il nostro studio.
Abbiamo
Lemma IV.6
Dimostrazione
Induzione su :
si ha
(c.v.d.)
Corollario IV.5
(D )
t
ue
= (D u) et
1 t
ue
= (D ) (D )
ue
= (D ) D1 u et = (D u) et
Dimostrazione
(c.v.d.)
uet si ha
m
0 = q (D) (D ) uet = q (D) (Dm u) et
istruttivo vedere per altra via che, per ogni autovalore con m m (), oltre alla soluzione
et risolvono (OL) anche le tet , . . . , t1 et . Consideriamo la funzione C su R2 data da
(z, t) 7 ezt
n r zt
zt
n1 r zt
r zt
e
e
+
a
e
+
.
.
.
+
a
e
=
E tr et = E
n1
0
z r
tn z r
tn1 z r
z r
zt
r n zt
r
r n1 zt
r zt
E
=
e
e
+
a
e
+
.
.
.
+
a
e
=
p (z) ezt z= =
n1
0
r
r
n
r
n1
r
r
z
z t
z t
z
z
r
j
rj
X
r d
=
p (z)
ezt = 0
j
rj
j
dz
z
z=
j=1
d
essendo chiaramente dz
=0
j p (z)
z=
S ei t , tei t , . . . , tmi 1 ei t |i Jk
P
giace in V. Inoltre, S contiene
mi = n elementi. Se mostriamo che S linearmente
indipendente abbiamo che S una base di V e abbiamo concluso il problema.
Per mostrare lindipendenza di S dobbiamo vedere che
k
X
Dimostrazione
Pk
i=1
pi (t) ei t = 0 se
Cominciamo col notare che D pi (t) ei t ancora un quasi polinomio, qi (t) ei t , con
deg qi = deg pi , se i 6= 0. Adesso, procediamo per assurdo. Esista un minimo intero k
per cui
k
X
pi (t) ei t = 0
i=1
k t
troviamo, posto j j k ,
k1
X
i=1
pi (t) ei t = pk (t)
qi (t) ei t = 0
(c.v.d.)
Teorema IV.13
B ei t , tei t , . . . , tmi 1 ei t |i Jk
Come detto, siccome p (z) a coecienti reali, ogni suo zero complesso = + i
Per ogni coppia di autovalore complessi coniugati prendiamo
accompagnato dal coniugato .
le combinazioni indipendenti
et + et
2
t
e
et
tk
2i
per cui se linsieme degli autovalori
tk
= tk et (cos t)
= tk et (sin t)
o n
o
n
r Re t
0
r Re j t
0
j sin Im t
,
i
J
e
cos
Im
t
,
t
e
J
,
j
t
tr ei t r Jm
r
k
k
ni1
j
j
1
2
i1
Il problema ora completamente risolto.
Per completezza, riportiamo un ultimo per il calcolo di una soluzione particolare nel caso il
termine forzante sia un quasi polinomio
Proposizione IV.9
Allora
(i) se non radice del polinomio caratteristico, una soluzione data da c (t) et con c (t)
polinomio dello stesso grado di a;
(ii) se radice di molteplicit del polinomio caratteristico, una soluzione data da
t c (t) et con c (t) polinomio dello stesso grado di a.
Dimostrazione
(c.v.d.)
con c1 ancora di grado pari a deg a grazie alla presenza del termine moltiplicativo t .
Dopodich il caso (ii) ricondotto al caso (i). Qui, si ha
E c (t) et = d (t) et
con d (t) polinomio di grado pari a quello di c e perci pari a quello di a.
v (t) = u et
perci
dv
dt
d2 v
dt2
d3 v
dt3
du
du t
e =x
dx
dx
2
t
d2 u
d2 u
du
dv
t du
2t d u
= e
=x
e +e
+ x2 2 =
+ x2 2
2
dx
dx
dx
dx
dt
dx
2
3
2
2
3
d2 v
d
d
u
d
u
v
d
u
2t
3t
2
3d u
=
+
2e
+
e
=
+
2x
+
x
=
dt2
dx2
dx3
dt2
dx2
dx3
2
2
3
d v
dv
d v
d u
+ 2 2 2 + x3 3
=
2
dt
dt
dt
dx
= et
da cui si ottiene
du
dx
2
2d u
x
dx2
d3 u
x3 3
dx
x
=
=
=
dv
dt
d2 v dv
d
dv
1
dt2
dt
dt
dt
3
2
d v
d v
dv
d
d
dv
3
+
2
=
1
dt3
dt2
dt
dt
dt
dt
d
d
dv
k +1 ...
1
dt
dt
dt
d
d d
d
dv
dk u
d(k+1) u
dk u
= e(k+1)t (k+1) + kekt k =
ekt k
k +1 ...
1
=
dt
dx
dx
dt dt
dt
dt
dx
(k+1)
k
d d
d
dv
u
k+1 d
kd u
=
=
x
k
+
1
.
.
.
kx
dt dt
dt
dt
dxk
dx(k+1)
(k+1)
d d
d
dv
d
d
dv
u
k+1 d
x
=
k +1 ...
1
k
k +1 ...
1
=
(k+1)
dt
dt
dt
dt
dt
dt
dt
dx
d
d
d
dv
d(k+1) u
k
k +1 ...
1
.
xk+1 (k+1) =
dt
dt
dt
dt
dx
Nelle ipotesi del teorema di esistenza e unicit in piccolo, si ha che, nellintorno del dato
iniziale ove il flusso definito e unico per lo stesso teorema di esistenza e unicit in piccolo,
il flusso continuo nel dato iniziale y = x (t0 ). Cio nellintorno detto lapplicazione di
avanzamento temporale tt0 (y) continua in y. Si ha di pi, il flusso lipschitziano, se
= |t1 t0 | lampiezza dellintervallo temporale di esistenza,
t
t (y) tt (z) ky zk eK
0
Consideriamo un campo di velocit C 1 di modo che valga la continuit del flusso nel dato
iniziale, oltre al teorema di Cauchy-Lipschitz in piccolo. Sia B 0 J0 J un
compatto contenente (y, t0 ) sul quale definito il flusso tt0 (y). Consideriamo il seguente
sistema
z (t) = v(t,x(t))
z (t)
x
x
(t
)
=
y
0
z (t0 ) = z0
Risolviamo il prblema di Cauchy per x, esso rispetta le condizioni del teorema di esistenza e
unicit in piccolo. Perci esiste ed continua nel tempo la funzione x (t). Possiamo riformulare
il problema per z, si ha
v (t, x (t))
z (t) = A (t) z (t)
x
che ha un campo di velocit A (t) z. Questultima applicazione continua nel tempo come
composizione di applicazioni continue (si rammenti che v C 1 ) ed lineare nello spazio.
facile vedere che su J0 che compatto, usando il teorema di Weierstra per kA (t)k,
z (t) =
Dunque,
posto w = (x (t) , y (t)), w0 = (y, z0 ) e F (w, t) = (v (x (t) , t) , [v (x (t) , t) /x] z (t)), il
problema
w
(t) = F (w (t) , t)
w (t0 ) = w0
ammette soluzione in un intorno di (t0 , w0 ).
Vogliamo mostrare che la soluzione z (t) la derivata spaziale del flusso tt0 (y) in direzione
z0 , cio vogliamo vedere che
t
t (y + z0 ) tt (y) z (t)
0
0
lim
=0
kz0 k
kz0 k0+
Se cos fosse, sostituendo a z0 i versori della base standard otterremmo lo jacobiano di tt0 (y)
in y. Ne deriverebbe che tale jacobiano calcolato in y, risolve il seguente problema (simultaneo
Presa f : I R+ una funzione integrabile non negativa per cui esistono e non negativi
tali che
Z t
0 f (t) +
f (s) ds, t0 , t I
t0
vale
f (t) et
Dimostrazione
u derivabile e risulta
u = f (t) u (t)
da cui, u > 0, si ha
u
u
e integrando f (t) u (t) et . Sia = 0. Presa n > 0 e n 0, per ogni n si pu
definire un come u sopra, si ottiene perci
(c.v.d.)
f (t) un (t) n et 0
Vogliamo applicare la disuguaglianza trovata alla
Z t
s
s
s
f (t) =
y
+
z
z
+
(y
+
z
)
v
s,
(y)
(y)
z
(s)
ds
v
s,
s,
0
0
0
t0
t0
t0
x
t0
Z t
s
s
s
0
0
0
0
0
x
per ogni > 0, scelto z0 sucientemente piccolo. Dal teorema di continuit del flusso, in B a
meno di riscalare , il flusso lipschitziano, per cui, ancora per ogni a patto di scegliere
z0 piccolo a seconda di ,
0
0
0
0
0
x
s
Se chiamiamo A (s, y) v
x s, t0 (y) , abbiamo
Z t
Z t
t0
t
t0
t0
troviamo
f (t) C1
= C1
t0
t
t0
v (x, t)
C1 max
x
(X,t)B
f (s) ds + C2 kz0 k
per larbitrariet di , si ha
lim
kz0 k0+
t (y + z0 ) tt (y) z (t)
0
0
=0
kz0 k
Se il campo di velocit nel problema di Cauchy di classe C 1 in un intorno del punto (t0 , x0 )
allora esiste il flusso tt0 (y) che ivi univocamente definito, continuo e dierenziabile con
continuit (di classe C 1 ). Esistono, poi, e sono continue le derivate miste del tipo
2 tt0 (y)
2 tt0 (y)
=
ty
yt
Si ha inoltre che lo jacobiano del flusso risolve lequazione alle variazioni
= v t, tt (y) X
X
x
0
X (t0 ) = I
X (t) = tt0 (y) /y.
Linearizzazione
e piccole
oscillazioni
= v tt (x0 ) X
= v (x0 ) X
X
X
x
x
0
X (t0 ) = I
X (t0 ) = I
da cui si ottiene
tt0 (x0 )
v
= exp t
(x0 )
x0
x
Sia A v
x (x0 ). Vogliamo approssimare linearmente il campo di velocit nelle vicinanze di
un punto di equilibrio, in modo da poter trovare esplicitamente la soluzione del problema (ne
celebre esempio lapprossimazione delle piccole oscillazioni). Il campo diventa, posto
t0 = 0, x0 = 0, preso un dato iniziale x
in un intorno di 0
v (x) = v (0) + Ax =Ax
sicch il problema
x = v (x)
x (0) = x
y =Ay
y (0) = x
x
Perci la soluzione del sistema linearizzato e quella del sistema completo dieriranno per un
o-piccolo della distanza del dato iniziale dal punto di equilibrio. Fissati ora un > 0 e un
tempo T > 0 si ha che, per ogni tempo t
x (t) = t (
x) = t (0) +
kx (t) y (t)k = o (
x)
ma, nel compatto [0, T ] esiste t per cui, per il teorema di Weierstra, risulta
kx (t) y (t)k kx (t) y (t)k
da cui si ricava il
Teorema IV.16
Sia 0 un punto di equilibrio per un campo di velocit autonomo C 1 v. Per ogni T > 0 e per
ogni > 0 esiste un > 0 per cui se k
xk < , la soluzione x (t) del problema di Cauchy al
dato x (0) = x
dierisce dalla soluzione del corrispondente prolema linearizzato y (t) secondo
la diseguaglianza
kx (t) y (t)k < , t [0, T ]
Il teorema aerma perci che per x
sucientemente piccoli, la dierenza tra le soluzioni del
sistema linearizzato e di quello iniziale piccola rispetto al dato iniziale e perci durante un
intervallo di tempo lungo le soluzioni di entrambi i sistemi rimangono vicine. Questo teorema
giustifica lutilit dello studio dei problemi linearizzati e perci dellapprossimazione delle
piccole oscillazioni.
x = v (x)
x (t0 ) = x0
allora se f un dieomorfismo locale in x0 , si pu equivalentemente studiare il problema nelle
coordinate y = f (x) introdotte dal dieomorfismo,
y = df f 1 (y) v f 1 (y)
y (t0 ) = f (x0 )
poich, (t) risolve il primo se e solo se f (t) risolve il secondo:
df (t)
= df ( (t)) (t) = df ( (t)) v ( (t))
dt
ed essendo (t) = f 1 (f ) (t), si ha la tesi.
Si tratta allora di cercare dieomorfismi convenienti, tali cio da semplificare la soluzione del
problema di Cauchy. A questo scopo si dimostra il teorema di rettificazione.
Dimostrazione
del teorema di
rettificazione
x = v (x)
x (t0 ) = x0
con v0 v (x0 ) 6= 0. Presa la retta r individuata in Rn da v0 , condieriamo liperpiano
ortogonale ad essa, sicch
Rn = r
Con una trasformazione lineare, fissiamo un nuovo sistema di coordinate cartesiane {ei }iJn
di modo che v0 = en , 6= 0. Se V un intorno di x0 giacente sul piano sottoinsieme
di
y+t0
n
, definiamo lapplicazione G : V IW R , I intervallo di R, talch (, y) 7 t0
,
1
7
(, 0) 7 y+t
t0
con
In1
0
Calcoliamo allora lo jacobiano di G nel punto (0, 0) che coincide con x0 . Allora,
G
M (n, n; R) 3 G
(x0 )
y (x0 )
t0
t0
G
In1
In1
In1
= In
=
;
(x0 ) =
=
0
0
0
x0
(x0 ,t0 )
calcoliamo il secondo blocco: fissato il dato iniziale si tratta di derivare in t0 rispetto al tempo
la soluzione, otteniamo il campo allistante iniziale; infine,
I
In1 0
n1
G
G
=
=
v0
(x0 )
y (x0 )
0
dal fatto che diverso da 0 si ha che lo jacobiano nel punto x0 dellapplicazione G diverso
da 0. Se ne conclude che G un dieomorfismo locale, perci un buon cambiamento
0
di coordinate. Con interpretazione attiva, preso un punto x = y+t
(, 0), immagine
t0
del punto z = (, y), esso levoluto temporale del punto dopo il tempo y. Se x (t)
soluzione dellequazione dierenziale (x (t0 ) = x0 ), mentre x si sposta sulla curva di fase,
esso rimane levoluto temporale di
, perci, scorre la componente n-esima di z, che diviene
y = t t0 , mentre restano invariate tutte le altre. In questo senso il sistema nelle coordinate
z rettificato, e fornisce n 1 integrali primi del moto.
Rendiamo rigorosa losservazione. Sia x = G (z), cio z sia la parametrizzazione dellintorno
di x0 introdotta dal dieomorfismo G. Consideriamo lequazione dierenziale
z = en
riscritta in termini delle x diventa
G
G 1
G (x) z =
(z) en
z
z
daltra parte, come prima, z = (, y)
G
In1
= A e1 . . . en1 = A1
(z) = A
0
x =
...
An1
G
y+t0
0
(, 0) = v (G (z)) = v (x)
(z) =
t0 (, 0) = v y+t
t0
y
y
V La misura di Lebesgue
allora
G
(z) en = A1 . . . An1
z
Cio il dieomorfismo G manda lequazione
x =
v (x)
en = v (x)
z = en
nellequazione di partenza. Se ne conclude che G1 manda il sistema dierenziale di partenza
in quello rettificato, ove, x0 = tt00 +y (, 0) = 0, y = 0 :
zi
zn
= i = zi (t0 ) , i Jn1
= y = zn (t0 ) + (t t0 ) = t t0
Sia dato il campo vettoriale di classe C 1 (), aperto di Rn , v non nullo nel punto x0 . Esiste
allora un intorno V di x0 , tale che, dato il problema
x = v (x)
x (t0 ) = x
V
y = en
y (t0 ) = f (
x)
Capitolo V
La misura di Lebesgue
In questo e nel prossimo capitolo ci occuperemo della teoria della misura e dellintegrazione
alla Lebesgue. Essa presenta notevoli vantaggi rispetto a quella pi rudimentale di Riemann,
soprattutto per quello che riguarda il passaggio sotto il segno di integrale di limite e derivata.
Inoltre, lintegrale di Lebesgue una estensione di quello di Riemann, sicch restano validi
tutti i risultati ottenuti in Analisi I.
Un intervallo n-dimensisonale I
unidimensionali Ii , i Jn , sicch
I = I1 . . . In ,
perci se Ii [ai , bi ] si ha, se x (x1 , . . . , xn )
I {x Rn |ai xi bi , i Jn }
Reticolati e
plurirettangoli.
Misura di un
plurirettangolo
Definizione V.1
i=1
Su ciscun asse coordinato fissiamo un numero finito di punti: sullasse i-esimo essi siano,
(i)
(i)
in ordine strettamente crescente, a1 , . . . , aki R. Ciascun punto fissato individua un
P
(i)
iperpiano di equazione xi = aj . Lunione dei
ki iperpiani costituisce un reticolato
P in Rn . P divide Rn in un numero finito di intervalli n-dimensionali (intervalli di P) e in
un certo numero di intervalli illimitati. Poniamo allora la seguente
Un insieme X si dice plurirettangolo (o plurintervallo) se esiste un reticolato P talch X sia
lunione di un numero finito di intervalli di P.
Se, poi, I1 , . . . , Im sono gli intervalli di P per cui
m
[
X=
Ii
i=1
Dobbiamo assicurarci che la definizione data sia buona, cio che la misura di un plurirettangolo
V La misura di Lebesgue
sia univoca, visto che un plurirettangolo non individua in modo definitivo un reticolato. Ci
occorre introdurre la nozione di ranamento P 0 di P, si scrive P P 0 Banalmente, si dice
che P 0 pi fine di P se esso contiene tutti gli iperpiani appartenenti a P, ossia se P P 0 .
Evidentemente, la misura di X non cambia se sostituiamo a P un suo ranamento: infatti la
misura non cambia se aggiungiamo a P un solo iperpiano. Siano ora P1 e P2 due reticolati
tali che X si possa scrivere come unione di intervalli di P1 o P2 . Allora X pu essere ottenuto
dallunione di intervalli di P1 P2 . Daltra parte questultimo un ranamento di P1 e P2 ,
perci la misura di X letta su P1 o su P2 necessariamente la stessa.
Siano ora X e Y due plurirettangoli per cui X Y . Come ogni coppia di plurirettangoli
essi sono
S definiti dal medesimo reticolato P (unione dei reticolati rispettivi). Inoltre, se
X= m
i=1 Ii , allora dal fatto che X contenuto in Y
ma Y Y =
S#
i=1
Ii Y
Ji , perci
Y =
m
[
Ii
i=1
da cui
m (Y ) =
#
X
m (Ji ) +
i=1
ma
Proposizione V.1
P#
i=1
m
X
#
[
i=1
m (Ii ) =
i=1
Ji
#
X
m (Ji ) + m (X)
i=1
Lemma V.1
Siano A e B due aperti e sia K A B un compatto. Esiste allora un numero > 0 tale
che, per ogni x K, la -palla di centro x tutta contenuta in A o in B:
B (x, ) A o B (x, ) B
Dimostrazione
Lemma V.2
perci dovr essere f (x) o g (x) . Nel primo caso si ha B (x, ) A, nel secondo caso
B (x, ) B, la tesi.
Siano A e B due aperti. Allora
m (A B) m (A) + m (B)
Dimostrazione
Poich Y A e Z B si ha, dalla definizione come sup della misura di una aperto,
m (Y ) m (A) , m (Z) m (B)
(c.v.d.)
Osservazione V.1
Definizione V.3
Osservazione V.2
Siano I [a, b] un intervallo e > 0 un reale. Allora esiste J intervallo per cui I J e
m (J) < m (I) + . Infatti, se c e d sono gli estremi di J, dovr essere c < a e b < d anch I
sia contenuto nella parte interna di J che ]c, d[. Siccome m (I) = b a, posto c a /4 e
d b + /4 si ha
m (J) = b a + /2 < b a + = m (I) +
La stessa cosa si estende facilmente a intervalli n-dimensionali, essendo la loro misura data
dal prodotto di misure unidimensionali.
Preso allora Y plurirettangolo, avremo Y = I1 . . . Im , definiti J1 , . . . , Jm tali che
m (Ji ) < m (Ii ) + /m, con Ii Ji , avremo, se Z J1 . . . Jm
Y Z
m (Z) < m (Y ) +
n
o
V La misura di Lebesgue
Ora, se K X X, perci m0 (K) m (K). Daltra parte, per ogni X K e per ogni > 0
esiste Z per cui K X Z e m (Z) m (X) + . Allora
m0 (K) m (Z) m (X) +
per ogni X e . Ne deriva che m0 (K) m (X), per massimalit dellinf si conclude
m0 (K) m (K) e infine m0 (K) = m (K) e
n
o
n
o
Dimostriamolo. Se X il plurirettangolo X = m
1 Ii si ha X =
1 Ii , e ogni plurirettangolo
Lemma V.3
Dimostrazione
n
o
W
=
dove lultima dovuta al fatto che ogni intervalo che ha punti in comune con K totalmente
contenuto nel complementare di L. Inoltre, K Y e L Z. Sicch
m (W ) m (Y Z) = m (Y ) + m (Z) m (K) + m (L)
m (K L) m (K) + m (L)
In realt nel lemma vale luguaglianza, ma questo lo stabiliremo in seguito.
Definizione V.4
Stabiliti i risultati per plurirettangoli, aperti e compatti, adesso definiamo la misura di insiemi
qualsiasi in Rn :
Sia E Rn , si chiam misura esterna di E lestremo inferiore delle misure degli aperti che
contengono E:
m inf {m (A) |E A aperto }
Analogamente, si definisce misura interna di E lestremo superiore delle misure dei compatti
contenuti in E:
m sup {m (K) |K E compatto }
Si procede esattamente come nei lemmi precedenti. Si considera allora la funzione f (x)
d (x, Rn \A). Siccome K A per ogni x K f (x) > 0, altrimenti x apparterrebbe alla
frontiera di A e perci non apparterrebbe ad A (in quanto aperto), il che assurdo. Allora
f (x) una funzione continua e positiva definita sul compatto K, perci per il teorema di
Weierstra ammette minimo positivo in K, . Prendiamo un reticolato che abbia maglie pi
fini di /2 e sia Y un plurirettangolo di tale reticolato che contiene K. Sia W lunione degli
intervalli di Y che hanno un punto in comune con K (cio leviamo da Y gli intervalli che non
(c.v.d.) intersecano K). Allora K W e W A.
Dimostrazione
Proposizione V.2
Dimostrazione
da cui, per minimalit del sup vale m (E) m (A) e, per massimalit dellinf,
m (E) m (E)
(c.v.d.)
X plurirettangolo ,
m (K) = inf m X K X,
ma X un aperto, perci
n
o
La misura
di Lebesgue
Definizione V.5
Si pu porre allora la
Un insieme E Rn si dice misurabile secondo Lebesgue se la misura esterna e la misura
interna di E coincidono e sono finite, in tal caso la quantit
m (E) m (E) = m (E)
si chiama misura di Lebesgue n-dimensionale di E.
Per quanto detto si ha subito che aperti limitati e compatti sono misurabili.
Misura di
Peano-Jordan
Una teoria della misura precedente a quella di Lebesgue quella di Peano e Jordan.
Misura esterna ed interna di un insieme qualsiasi E sono definite direttamente mediante
approssimazione per plurirettangoli,
(E) inf {m (X) |E X plurirettangolo }
(E) sup {m (X) |E X plurirettangolo }
V La misura di Lebesgue
Proposizione V.3
Dimostrazione
Abbiamo che
m (E) m (K)
m (E) m (A)
ma, allora, per ogni > 0 troviamo A e K per cui
m (E) m (E) m (A) m (K) <
dallarbitrariet di si ha la tesi.
Daltra parte, sia E misurabile. Allora da m (E) = inf {m (A)} = sup {m (K)} = m (E) si
ha che per ogni > 0, esistono un aperto contenente E e un compatto contenuto in E tali che
m (A) m (E) +
2
Poniamo ancora un
Siano E ed F due insiemi di Rn ; si ha
m (E F ) m (E) + m (F ) ,
inoltre, se E F = si ha
m (E F ) m (E) + m (F )
Dimostrazione
In maniera analoga usando il lemma successivo a quello di cui sopra, si perviene alla seconda
diseguaglianza: fissato > 0 esistono K e L compatti tali che K E e L F
m (E) < m (K) + , m (F ) < m (L) +
da cui
m (E F ) m (K L) m (K) + m (L) > m (E) + m (F ) 2
(c.v.d.)
m (E F ) = m (E F ) = m (E) + m (F )
Corollario V.1
Sia dato un numero finito di insiemi misurabili a due a due disgiunti, E1 , . . . , Em . Allora, la
loro unione misurabile e si ha
m
!
[
X
m
m (Ei )
Ei =
i=1
Teorema V.1
Dimostrazione
m (A0 \K 0 ) <
2
Se si pone B A\K 0 = A (Rn \K 0 ) e L K\A0 = K (Rn \A0 ) si ha subito che B un
aperto, L un compatto e inoltre banale verificare che
m (A\K) <
L E\F B
V La misura di Lebesgue
Nelle ipotesi del teorema precedente, si noti che dal corollario segue anche
m (E F ) = m (E F ) + m (E\F ) + m (F \E)
daltra parte E = (E F ) (E\F ) e F = (E F ) (F \E) e ancora dal corollario
m (E) = m (E F ) + m (E\F )
m (F ) = m (E F ) + m (F \E)
sommando
m (E) + m (F ) = 2 m (E F ) + m (E\F ) + m (F \E)
ricordando la relazione precedente si conclude, per ogni coppia di insiemi misurabili,
m (E) + m (F ) = m (E F ) + m (E F )
Lemma V.6
Ai
i=1
m (Ai )
i=1
Dimostrazione
j
[
i=1
Ai
allora
m (Y )
j
X
i=1
m (Ai )
m (Ai )
i=1
essendo lultima una serie a termini non negativi. La disuguaglianza valida per ogni
plurirettangolo contenuto in A, perci, per minimalit del sup si ha
X
m (A)
m (Ai )
i=1
Y Aj
da cui
m (Y ) m (Aj ) sup m (Ai )
iN0
iN0
Del resto, per ogni intero i Ai A da cui m (Ai ) m (A) passando al sup
m (A) sup m (Ai ) = lim m (Ai )
i
iN0
in definitiva,
m (A) = lim m (Ai )
i
(c.v.d.)
Unione di
una famiglia
numerabile:
misura esterna
ed interna
Proposizione
V.5
Ei
i=1
m (Ei ) .
i=1
X
m (E)
m (Ei ) .
i=1
Dimostrazione
X
X
X
1
m (Ai ) =
m (E)
m (Ei ) +
2i
i=1
i=1
i=1
cio
m (E)
X
i=1
m (Ei ) +
V La misura di Lebesgue
i=1
Proposizione V.6
Ei E
k
[
Ei
i=1
k
X
m (Ei )
i=1
Ei
i=1
Dimostrazione
Fissato > 0, per ogni intero i N0 sia Ai un aperto che contiene Ei e tale che
k
X
1
i
2
i=1
La disuguaglianza certo vera per k = 1. Veniamo al passo induttivo, sia cio vera per k > 1.
Allora, poich Bk+1 = Bk Ak+1 , si ha m (Bk+1 ) = m (Bk ) + m (Ak+1 ) m (Bk Ak+1 )
k
k+1
X
X 1
1
+
m
(E
)
+
m
(E
)
=
m
(E
)
+
k+1
k
k+1
2i
2k+1
2i
i=1
i=1
S
1
Bk si ha che E B e
k
X
1
< m (Ek ) + ,
i
2
i=1
(c.v.d.)
Sia ora la famiglia F di insiemi a due a due disgiunti di Rn tale che per ogni Ei F Ei
misurabile. Sia E lunione degli insiemi appartenenti a F. Sia E limitato di modo che
m (E) < +. Si ha
m (E)
i=1
m (E)
Teorema V.2
(additivit
numerabile
della misura)
m (Ei ) =
m (Ei ) =
i=1
X
i=1
m (Ei )
m (Ei )
i=1
m (Ei )
i=1
Il teorema di
subadditivit
Teorema V.3
(subadditivit
numerabile
della misura)
Se viene meno lipotesi della disgiunzione degli insiemi Ei , sussiste comunque il seguente
Sia F {Ei |i N0 } una famiglia numerabile di insiemi misurabili. Sia E
supponga m (Ei ) < +, allora E misurabile e
m (E)
Se poi, per ogni intero i, Ei Ei+1 si ha
i=1
Ei e si
m (Ei )
i=1
Dimostrazione
F1 = E1
Fi+1 = Ei+1 \Fi , i 1
di modo che ciascun insieme misurabile e inoltre gli Fi sono a due a due disgiunti. Inoltre
per ogni intero i si ha Fi Ei , m (Fi ) m (Ei ), per cui
Daltra parte E =
S
1
X
i=1
m (Fi )
m (Ei )
i=1
X
i=1
m (Fi )
m (Ei )
i=1
Alcuni esempi
Esempio V.1
Una famiglia di insiemi misurabili di misura nulla essa stessa misurabile con misura nulla.
In particolare ogni insieme numerabile una famiglia numerabile di punti, ciascuno avente
V La misura di Lebesgue
misura nulla. Allora ogni insieme misurabile ha misura nulla. Q ha misura nulla secondo
Lebesgue.
Esempio V.2
Linsieme dei numeri irrazionali compresi tra [0, 1], I[0, 1], misurabile e ha misura unitaria,
infatti
I [0, 1] = (R\Q) [0, 1] = [0, 1] \Q
e perci
m (I [0, 1]) = 1 m (Q) = 1.
Esempio
V.3 (insieme
di Cantor)
Linsieme di Cantor si ottiene nel seguente modo: si aprte dallintervallo [0, 1], si divide in
tre parti uguali e si toglie lintervallo aperto centrale E1 (1/3, 2/3), Il secondo passo consiste
nel dividere ciascuno degli intervalli rimasti in tre parti uguali e toglierne le parti centrali, cio
E2 (1/9, 2/9) (7/9, 8/9)
Proseguendo il procedimento, al k-esimo passo si divide ognuno dei 2k1 intervalli rimasti in
tre parti uguali e se ne scartano le 2k1 parti centrali. Ognuna delle parti eliminate ha misura
3k , al k 1-esimo passo viene tolto un insieme Ek che misura
k
2k 1
1 2
m (Ek ) =
=
2 3k
2 3
S
poich gli intervalli sono aperti e a due a due disgiunti, posto E
1 Ei si ha che
k
X
1X 2
1
1
m (E) =
m (Ek ) =
=
1 =1
2
3
2 1 2/3
k=1
k=1
Linsieme compatto K = [0, 1] \E, detto insieme di Cantor, ha perci misura nulla. Perci
linsieme di Cantor non contiene alcun intervallo e si pu mostrare che ha la potenza del
continuo e perci non numerabile.
Abbiamo definito misurabili insiemi per i quali misura interna e misura esterna coincidono e
sono finite. Risulta per utile avere una definizione di misurabilit per insieme aventi misura
infinita. Si pone allora la seguente
Definizione V.6
Proposizione V.7
Se E misurabile, risulta
m (E) = m (E) = lim m (E B (0, r))
r
Sia L limr m (E B (0, r)), tale limite esiste perch r 7 m (E B (0, r)) una funzione
crescente. Per ogni r > 0, esiste un compatto Kr E B (0, r) tale che
1
m (Kr ) > m (E B (0, r))
r
poich Kr E, risulta pure
1
m (E) m (Kr ) > m (E B (0, r))
r
da cui, passando al limite per r , si ha
m (E) L
Daltra parte possiamo scrivere
E=
iN
(E B (0, i))
dove lultima eguaglianza segue dal teorema di collegamento, infine, avendo m (E) m (E) =
L
m (E) = m (E) = L
(c.v.d.)
Osserviamo che se un insieme misurabile anche secondo la nuova definizione risulta m (E) =
m (E).
Revisione
dei risultati
precedenti
Teorema V.4
X
m (Ei ) .
m (E)
i=1
X
m (Ei ) .
m (E) =
i=1
Dimostrazione
[
[
E B (0, r) = B (0, r)
Ei =
(Ei B (0, r)) ,
i=1
i=1
cio E B (0, r) lunione numerabile di insiemi limitati misurabili, perci misurabile per
ogni r > 0, dunque
m (E B (0, r)) = m (E B (0, r))
e anche E misurabile.
V La misura di Lebesgue
Dalla proposizione precedente si ha che m (E) = m (E) = limr m (E B (0, r)), perci,
si ha subito dalla proposizione V.5
X
X
m (E) = m (E)
m (Ei )
m (Ei ) =
i=1
i=1
X
X
m (Ei )
m (E) = m (E)
m (Ei ) =
i=1
i=1
X
m (Ei )
m (E) =
i=1
Resta da mostrare lultima eguaglianza, ma essa discende direttamente dalla proposizione V.6:
m (E) = m (E) = lim m (Ei ) = lim m (Ei ) .
i
(c.v.d.)
Osservazione V.4
Nella prossima sottosezione ci servir il seguente risultato. Sia F {Fi |i N0 } una famiglia
decrescente di insiemi misurabili. Vogliamo studiare
\
F
Fi
i=1
i=1
Ei F1 si ha
F1 \E = F1 CE = F1
ma CEi = C (F1 CFi ) = CF1 Fi da cui
F1 \E = F1
i=1
(CF1 Fi ) = F1
CF1
i=1
i=1
Fi
CEi
= F1
i=1
Fi =
Fi
i=1
infine, poich E F1 ,
in A, daltra parte vale anche il viceversa. Prendiamo x A, esiste un reale > 0, tale che la
-palla di centro x tutta contenuta in A. Ora, per qualsiasi k, per li-esimo asse coordinato,
sar possibile determinare un intero ni per cui
ni 1
ni
xi k
2k
2
scegliamo ora k = k per cui 2k > m/ (propriet di Archimede). In questo modo otteniamo
un quadrato del reticolato al k passo che tutto contenuto nella sfera che contiene x e che
tutta contenuta in A:
ni
ni 1
xi <
xi k < xi +
m
m
2k
2
Allora x Yk e perci appartiene a Y .
Dato un aperto si costruisce una successione crescente di plurirettangoli inclusi nellaperto, la
cui unione infinita d laperto stesso.
Approssimazione di un
compatto con
una famiglia
di rettangoli
Preso un compatto K, possiamo agire allo stesso modo generando una successione di
plurirettangoli Zi tali che Zi+1 Zi , ove includiamo in Zi i quadrati
T che alli-esimo passo
hanno un punto
in
comune
con
K.
Vogliamo
mostrare
che
K
=
i=0 Zi . Cominciamo col
T
prendere x
i=0 Zi , allora i N x
Zi , sicch per ogni i esiste un elemento di K, xi tale
che
m
k
x xi k i
2
siccome {xi } a valori in un compatto ammette una sottosuccessione convergente a x K
mappata da ki monotona crescente ki i,
m
k
x xki k ki
2
passando al limite per i , per la continuit della norma, si ha
k
x xk = 0
da cui x
K. Se x K allora a ogni passo si trova un quadrato che contiene x, appartenendo
questo a K, tale quadrato verr incluso in Zi , perci, x Zi i N, la tesi.
Dato un compatto K possibile trovare una successione decrescente di plurirettangoli
contenenti il compatto, la cui intersezione infinita il compatto stesso
Misura del
prodotto
cartesiano
Teorema V.5
Servendoci dei risultati discussi nei due paragrafi precedenti dimostriamo per passi il seguente
Siano E Rn e F Rk due insiemi misurabili (indicheremo con mn (E) e mk (F ) le
rispettive misure), allora E F Rn+k misurabile e si ha
mn+k (E F ) = m n (E) m k (F )
Dimostrazione
I1 . . . I n
In+1 . . . In+k
allora
E F = I1 . . . In In+1 . . . In+k
i=1
i=n+1
I1 . . . I m
V La misura di Lebesgue
Im+1 . . . Im+p
i=1
n
Vediamo che il teorema continua a valere per insiemi aperti e compatti. Siano
SA R ,
k
B R aperti. Sia {Pi }iN una successione di plurirettangoli con Pi Pi+1 e i=0 Pi = A
(che abbiamo costruito al primo paragrafo). Allora
m n+k (A B) =
i=0
Ri = A B, perci
lim m n+k (Pi Qi ) = lim (m n (Pi ) m k (Qi )) = lim m n (Pi ) lim m k (Qi )
= m n (A) m k (B)
n
Siano ora K RT
e L Rk due compatti. Sia {Pi }iN una successione di plurirettangoli
con Pi+1 Pi e i=0 Pi = K (che abbiamo costruito al primo paragrafo). Allora, per
losservazione di cui alla chiusura della sottosezione precedente,
i=0
Ri = K L, perci
Siano, infine, E ed F due insiemi misurabili. Dalla definizione di insieme misurabile segue
che possibile trovare una famiglia di aperti Ai le cui misure convergano alla misura (esterna)
di E (successione minimizzante) contenenti E e tale che
m n (Ai ) mn (E) ,
analogamente per F troviamo una famiglia di aperti Bi contenenti F per cui
m k (Bi ) mk (F ) ,
allora, siccome E F Ai Bi si ha
m n+k (E F ) = m n (E) m k (F )
mn+k (E F ) mn (E) mk (F )
La seconda , in realt uneguaglianza. Dimostriamolo. Consideriamo compatto contenuto
in E F . Sia H la proiezione di su Rn ,
H proj n () = x Rn y Rk , (x, y)
sia inoltre K proj k (), proiezione di su Rk . H e K sono compatti. Infatti, sia {xn } H,
allora esiste {yn } tale che {(xn , yn )} , siccome compatto, esiste una sottosuccessione
mappata da kn che converge al punto (x, y) , per cui, siccome per x Rn esiste y Rk
di modo che (x, y) , si ha che x H, e allora xkn x H, da cui la compattezza della
proiezione di un compatto. Ora, si ha H E e K F e poich H K si ottiene
m n+k () m n+k (H K) = m n (H) m k (K) mn (E) mk (F )
il che valido per ogni compatto, passando al sup, per la sua minimalit,
mn+k (E) mn (E) mk (F )
dalla disuguaglianza precedente, infine
mn+k (E) = mn (E) mk (F )
Vale anche unaltra disuguaglianza che diverr poi utile:
Proposizione V.8
Siano E Rn e F Rk allora
mn (E) mk (F ) mn+k (E F )
Dimostrazione
Se la misura esterna del prodotto cartesiano infinita, il problema non si pone. Allora,
supponiamo mn+k (E F ) < +. Prendiamo C un compatto contenuto in F e fissato > 0
sia A un aperto contenente E F tale che
m n+k (A) < mn+k (E F ) +
dallarbitrariet di > 0 si ha mn+k (E F ) > m (E) m k (C) che resta valida per ogni
compatto C contenuto in F , per minimalit del sup si ha
(c.v.d.)
Osservazione V.5
secondo gruppo,
mn (E) m k (F ) mn+k (E F ) mn (E) m k (F )
ab E [a, b]
Eab E ]a, b[ , E
si ricava
ab
mn+1 E
= mn (E) (b a) = mn+1 Eab
ab
mn+1 E
= mn (E) (b a) = mn+1 Eab
Capitolo VI
1 xE
E (x)
0 x
/E
Per definire lintegrale necessario porre prima la seguente
Definizione VI.1
i=1
si definisce integrale di .
(x) =
p
X
i Fi (x)
i=1
con gli Ei e gli Fi limitati, misurabili e a due a due disgiunti. Fissiamo un punto x dello spazio
reale. Tale punto potr appartenere al pi a uno degli Ei (essendo essi disgiunti). Se non
esiste alcun indice i per cui x Ei allora (x) = 0, daltra parte (ancora poich gli insiemi
sono disgiunti e abbiamo imposto i e i diversi da 0) varr pure il viceversa e cos x non
apparterr a nessuno degli Fi . Daltra parte, se esiste (ed in tal caso unico, si detto) un
indice per cui x E , allora esiste pure un unico indice k tale che x Fk . Perci x E Fk
Ei
k=1
m
[
Fk
i=1
(Ei Fk )
(Ei Fk )
e scriviamo Ei e Fk come unioni finite e disgiunte di misurabili. Per tutto quanto detto,
Ei (x) =
Fk (x) =
p
X
k=1
m
X
i=1
si potr scrivere
(x) =
p
m X
X
i=1 k=1
Quindi,
m
X
i m (Ei ) =
i=1
p
X
k m (Fk ) =
k=1
Ei Fk (x)
Ei Fk (x)
i Ei Fk (x) =
m
X
i=1
p
X
i
k
k=1
p
X
p X
m
X
k=1 i=1
m (Ei Fk ) =
k=1
m
X
i=1
m (Ei Fk ) =
k Ei Fk (x)
p
m X
X
i m (Ei Fk )
i=1 k=1
p X
m
X
k=1 i=1
k m (Ei Fk )
i=1
p
X
k Fk (x)
k=1
p
[
k=1
p
[
(Ei \Fk ) Ei
p
m X
X
i Ei Fk (x) +
(Ei Fk )
(x) =
(x) =
k=1
i=1 k=1
p X
m
X
k=1 i=1
k Ei Fi (x) +
X
=
Ei Fk + Ei \Fk
k=1
p
m X
X
i=1 k=1
p X
m
X
k=1 i=1
i Ei \Fk (x)
k Fk \Ei (x)
p
m X
X
i=1 k=1
(i + k ) Ei Fk (x) +
p
m X
X
i=1 k=1
i Ei \Fk (x) +
p X
m
X
k=1 i=1
k Fk \Ei (x)
i=1 k=1
i=1 k=1
k=1 i=1
=
=
p
m X
X
i=1 k=1
m
X
i m
i=1
m
X
"
p
[
k=1
i m (Ei ) +
i=1
p
X
k m (Fk ) =
k=1
p X
m
X
k=1 i=1
p
X
k m
k=1
(x) dx+
Rn
"m
[
i=1
(x) dx
Rn
Rn
p
m X
X
i=1 k=1
p X
m
X
k=1 i=1
i Ei Fk (x) +
k Ei Fi (x) +
p
m X
X
i=1 k=1
p X
m
X
k=1 i=1
i Ei \Fk (x)
k Fk \Ei (x)
i=1 k=1
k=1 i=1
k=1 i=1
(x) dx
Rn
Siccome || si ha che
Rn
(x) dx
Rn
| (x) | dx
Procedendo a decomporre come prima, si mostra che se e sono semplici, allora sono
semplici anche max (, ) e min (, ). Da cui sono semplici + e .
Siamo finalmente in grado di passare alla definizione di integrale per funzioni reali qualsiasi
definite in Rn . Sia f (x), x Rn , una funzione limitata e nulla fuori da un compatto (o,
come si dice, a supporto compatto), allora indichiamo con S + (f ) la famiglia delle funzioni
semplici che maggiorano la f e con S (f ) la famiglia di funzioni semplici che sono inferiori
alla f , cio
S + (f ) { S | (x) f (x) , x Rn }
S (f ) { S | (x) f (x) , x Rn }
I due insiemi sono chiaramente non vuoti, sia infatti K il compatto al di fuori del quale la
funzione si annulla. Siccome f limitata, sar |f (x)| < M R, allora
M K (x) f (x) M K (x)
Definizione VI.2
la quantit
e integrale inferiore
Z
Z
f dx inf
f dx sup
dx S + (f )
dx S (f )
La funzione f si dir sommabile secondo Lebesgue se il suo integrale superiore coincide con
quello inferiore. In tal caso il valore comune si chiama integrale della funzione
Z
Z
Z
f dx
f dx = f dx
Rn
Vediamo che lintegrale superiore maggiore o eguale di quello inferiore: immediato che se
S + (f ) e S (f ) allora e ci vale per gli integrali. Fissiamo ora > 0, troviamo
S + (f ) per cui
Z
Z
Z
f dx + > dx dx
Proposizione VI.1
f dx
f dx
Dimostrazione
inf
dx S + (f ) = sup
dx S (f )
in ciascuno dei due insiemi allora possibile costruire una successione {ak }, rispettivamente
minimazzante e massimizzante, che converga,
R rispettivamente,
a inf e sup. Siccome per ogni
k, ak appartiene, ad esempio, allinsieme
dx | S + (f ) esiste k successione a valori
R
R
in S + tale che risulti k dx = ak f dx.
Veniamo al viceversa,
Z
Z
f dx
k dx
Z
Z
f dx k dx
sicch
Z
Z
f dx f dx (k k ) dx 0
da cui si ha che f sommabile. Ora, per ogni > 0 esiste per cui se k >
Z
Z
Z
(k k ) dx = k dx k dx <
ma
(c.v.d.)
k dx
f dx
k dx
k dx <
Proposizione VI.2
Dimostrazione
f (x) +
>
dx
2
Z
Z
<
dx
f (x)
2
per cui
Z
Z
Z
dx dx = ( ) dx <
Viceversa, essendo
f dx
dx
Z
Z
f dx dx
si ricava
(c.v.d.)
Propriet
dellintegrale
Z
Z
f dx f dx ( ) dx <
Comiciamo col vedere che se f sommabile, tali sono anche f + = max {f, 0} e f =
min {f, 0}. Notiamo che se allora risulta
+ = max {, 0} max {, 0} = +
= min {, 0} min {, 0} =
perci + + 0 e 0.
Siccome f integrabile, siano {k } S + (f ) e {k } S (f ) come nella prima proposizione,
perci k k e, siccome = + , si ha
+
k k = k + k k k = k k + k k
essendo laddendo tra parentesi negativo, si ha
+
+
k k k k
ne deriva che
k +
k dx
(k k ) dx 0
Analogamente
si procede
f , si ha f
k , k f e k +
k , per cui
per
k S (f ) e k S (f )
+
+
+
+
k k = k k k + k = k k + k k k k
e, dalla proposizione VI.1 si ottiene la tesi essendo
Z
Z
k
dx
(k k ) dx 0
k
Passiamo a vedere che se f e g sono integrabili, allora la loro somma integrabile. Siano
{k } S + (f ), {k } S (f ) e { k } S + (g), { k } S (g), inoltre
Z
(k k ) dx 0
Z
( k k ) dx 0
Usiamo ancora le propriet delle funzioni semplici e dei loro integrali, abbiamo che {k + k }
S + (f + g), {k + k } S (f + g), inoltre
Z
Z
Z
(k + k k k ) dx = (k k ) dx+ ( k k ) dx 0
sicch dalla proposizione VI.1 si ha la tesi. Daltra parte, sempre in forza della detta
proposizione si ha
Z
Z
Z
Z
Z
Z
(f + g) dx = lim
(k + k ) dx = lim
k dx+ lim
k dx = f dx+ g dx
k
da cui si ha che lo spazio delle funzioni sommabili uno spazio vettoriale e che loperatore di
integrazione, definito in tale spazio, lineare.
Se f una funzione sommabile non negativa, allora il suo integrale non negativo. Infatti,
sia {k } S + (f ) si ha k 0 e con ci
Z
k dx 0
passando al limite, che esiste ed lintegrale di f ,
Z
Z
f dx = lim
k dx 0
k
f dx |f | dx
Riassumendo
Proposizione VI.3
infine,
Confronto
con lintegrale
di Riemann
f dx
g dx
Z
Z
f dx |f | dx
Lunica dierenza che si ha nelle definizioni di integrale secondo Lebesgue e secondo Riemann
riguarda le funzioni semplici. Mentre per Lebesgue possiamo usare insiemi misurabili qualsiasi,
con Riemann siamo costretti a riferirci ai soli intervalli.
Indichiamo con S la classe delle funzioni semplici secondo Lebesgue, e con S 0 la classe delle
funzioni semplici elementari, cio aventi per base solo intervalli. Vale ovviamente
S0 S
Perci se f limitata e a supporto compatto
0
0
S+
(f ) S + (f ) , S
(f ) S (f )
da cui
Z
0
sup
dx S
(f ) sup
dx S (f ) inf
dx S + (f ) inf
dx
da cui se una funzione integrabile secondo Riemann, sommabile per Lebesgue. In particolare
lintegrale di Lebesgue unestensione dellintegrale di Riemann e tutti i risultati ottenuti nella
teoria di Lebesgue (integrabilit di funzioni monotone o continue e teorema fondamentale del
calcolo) restano validi.
misurabile.
Si vede subito che se f continua allora misurabile. Infatti, Ft la controimmagine secondo
f di un aperto e perci aperto e quindi misurabile.
La scelta di Ft fatta nella definizione non lunica possibile, vale la seguente
Proposizione VI.4
Cominciamo col vedere che (iv) implica (i). Abbiamo che Ft misurabile e che
Ft0 = Rn \Ft
0
Ft1/k
k=1
Ft000 = Rn \Ft00
(c.v.d.)
Stabiliamo il seguente
Se f (x) e g (x) sono due funzioni misurabili, linsieme
E {x Rn |f (x) > g (x) }
misurabile.
Dimostrazione
Sia x E, allora risulta f (x) > g (x) ed esister un razionale r per cui
f (x) > r > g (x)
da cui
E=
rQ
(c.v.d.)
poich Q numerabile, Fr e
G00r
Fr G00r
kN
sono misurabili;
(iv) se {fk }kN M e fk (x) fk+1 (x) per ogni x, allora la funzione
f (x) lim fk (x)
k
misurabile;
(v) se {fk }kN M le funzioni
f (x) lim sup fk (x)
k
sono misurabili.
Dimostrazione
o n
o
che un insieme misurabile. Se t < 0 allora linsieme diviene Rn . In ogni caso si avr
misurabilit e perci f 2 M. Daltra parte per questo e per i punti precedenti f g misurabile
essendo
1
1
f g = (f + g)2 (f g)2
4
4
Veniamo a (iii). Per ogni t
{x Rn |M (x) > t } =
k=1
se un punto appartiene al primo insieme, per le propriet del sup, dovr esistere un indice k
per cui fk (x) > t e allora il punto apparterr al secondo insieme. Se un punto appartiene al
secondo insieme, ovviamente apparterr al primo. Il secondo insieme lunione numerabile di
insiemi misurabili, perci misurabile. Usando linsieme
{x Rn |m (x) < t }
si deduce in modo del tutto analogo la misurabilit di m (x).
Adesso (iv). Essa discende subito da (iii), in quanto f (x) = supkN fk (x).
Per (v) si ha
Mk (x) = sup fj (x)
jk
(c.v.d.)
Misurabilit
e sottografico
Dimostrazione
R
Gt,h
(x, y) G (f ) |kxk < R, t < y < t + h
tale insieme comprende sicuramente le x tali che t < y < f (x), perci sar di certo sottoinsieme
di
1
(Ft Bn (0, R)) t, t +
h
R
Daltra parte, Gt,h
, conterr x per cui f (x) > t + 1/h e, in definitiva, avremo
1
1
R
(Ft Bn (0, R)) t, t +
Ft+1/h Bn (0, R) t, t +
Gt,h
h
h
R
inoltre, Gt,h
chiaramente limitato ed misurabile, poich intersezione di misurabili
1
R
Gt,h = Bn (0, R) t, t +
G (f )
h
1
R
R
mn Ft+1/h
mn+1 Gt,h
h
cio
R
R
mn Ft+1/h
h mn+1 Gt,h
mn FtR
per ogni h N si ha
R
mn Ft+1/h
mn FtR
R
la successione h 7 mn Ft+1/h
monotona decrescente perci ammette limite e vale
R
lim mn Ft+1/h
mn FtR ,
h
ma
FtR
R
Ft+1/h
h=1
R
R
sicch, essendo Ft+1/h
Ft+1/(h+1)
per quanto visto nella proposizione V.14,
R
mn FtR = lim mn Ft+1/h
mn FtR
h
Fr ], r[
rQ
Fr ], r[
Sia f (x) una funzione misurabile, limitata e a supporto compatto K. Allora f sommabile.
Dimostrazione
Supponiamo, intanto, che f sia a valori non negativi. Sia P N per cui f (x) < P . Sia
h N e per j JhP definiamo linsieme
j 1
j
Gj x Rn
< f (x)
= F(j1)/h \Fj/h
h
h
hP
X
j
Gj (x)
h
j=1
hP
X
j1
j=1
Gj (x)
ne avremo {h } S + (f ) e {h } S (f ). Inoltre
Z
hP
1X
m (Gj )
(h h ) dx =
h j=1
siccome f (x) 0 in K allora lunione dei Gj sar contenuta in K e
Z
hP
hP
1X
1 [ 1
m (Gj ) = m
Gj m (K) 0
(h h ) dx =
h j=1
h
h
j=1
si ha
h G0 (f ) G0= (f ) =
h
daltra parte
h =
m
[
i=1
Ei (0, h (Ei ))
m n+1 (=
h) =
m
X
i=1
m n (Fi ) h (Fi ) =
h dx
f dx
m n+1 (h ) mn+1 G0 (f ) mn+1 (G0= (f )) m n+1 (=
h)
si conclude che G0 (f ) e G0= (f ) sono misurabili e inoltre hanno misura pari allintegrale della
funzione. Riassumendo si ha il seguente fondamentale
Teorema VI.4
Sia f (x) sommabile, limitata, a supporto compatto e non negativa, allora gli insiemi
G0 (f ) {(x, y) Rn R |0 < y < f (x) }
G0= (f ) {(x, y) Rn R |0 < y f (x) }
sono misurabili e risulta
f dx
Possiamo usare subito il teorema per invertire il teorema precedente. Sia f (x) limitata, a
supporto compatto e sommabile. Sia, intanto, f (x) non negativa. Allora G0 (f ) misurabile.
Ma, essendo f positiva,
G (f ) = G0 (f ) (Rn ], 0])
il quale come unione di misurabili misurabile. Per cui f misurabile. Sia ora f una funzione
qualsiasi, allora f + e f sono positive limitate e a supporto compatto, inoltre sono sommabili.
Perci f + e f sono sommabili e infine f = f + f misurabile.
Riassumendo si ha il seguente
Teorema VI.5
Teorema VI.6
Sia f (x) limitata, a supporto compatto e non negativa, allora gli insiemi
G0 (f ) {(x, y) Rn R |0 < y < f (x) }
G0= (f ) {(x, y) Rn R |0 < y f (x) }
sono misurabili se e solo se f sommabile. In tal caso,
Z
=
m n+1 G0 (f ) = m n+1 (G0 (f )) = f dx
Definizione VI.4
f (x) x E
f (x)
0
x
/E
R
sommabile. Quando ci avviene la quantit f dx si chiama integrale della funzione f
esteso allinsieme E, e si indica con il simbolo
Z
f dx
E
chiusura
Si noti che la definizione ben posta poich f limitata e nulla fuori dal compatto E
n
n
se poi f g allora
f dx
infine,
f dx =
G0
G0
g dx
E
Z
Z
f dx
|f | dx
f dx = m G0 (f )
n+1
(f ) =
(f ) {(x, y) E R |0 < y < f (x) }, infatti se esistesse x Rn \E e
ma
m n+1 G0 (f |D ) m n+1 G0 (f )
perci
f dx
f dx
E
Daltra parte, sia ancora f non negativa, e sia D E. Sia f sommabile in E, allora esistono
{k } S + (fE ) e {k } S (fE ) che possiamo supporre positive e tali che le successioni dei
( ) e
( ) , troviamo
loro integrali
tendono allintegrale
di f su E. Siano ora
k
k D
k
k D
S + (f ) e
S (f ). Per quanto detto
che
k
k
D
D
Z
Z
Z
dx =
(
)
dx
(k k ) dx 0
k
k
k
k
D
se f di segno variabile
Z
Z
Z
Z
Z
Z
Z
Z
Z
f dx+ f dx =
f + dx+ f + dx f dx f dx =
f + dx f dx =
f dx
A
In conclusione
Proposizione VI.6
Misurabilit
in un insieme
Definizione VI.5
Supponiamo ora che il dominio E della funzione f sia misurabile. In questo caso si ha
Sia f : Rn E R con E misurabile. Allora si dice che f misurabile in E se per ogni
t R risulta misurabile linsieme
FtE {x E |f (x) > t }
Dimostrazione
perci, per ogni t < 0, siccome Rn \E misurabile, Ft misurabile. Vediamo ora il caso t 0.
Sia ha direttamente
Ft = FtE
infatti, sia x Ft . Sono dati due casi, x Rn \E e x E. Nel secondo caso t < f (x) = f (x)
perci x FtE . Per il primo caso, 0 t < f (x) = 0 cio 0 < 0 il che assurdo e x E. La
(c.v.d.) tesi dimostrata.
Indichiamo con ME linsieme delle funzioni misurabili in E. In forza della proposizione
appena dimostrata facile vedere che continuano a valere le asserzioni dimostrate nel caso di
misurabilit su Rn :
Proposizione VI.8
assurdo, perci, se t 0
Ft00 = FtE00
se poi t > 0
Ft00 = FtE00 (Rn \E)
kN
sono misurabili;
(iv) se {fk }kN ME e fk (x) fk+1 (x) per ogni x, allora la funzione
f (x) lim fk (x)
k
misurabile;
(v) se {fk }kN ME le funzioni
f (x) lim sup fk (x)
k
sono misurabili.
Dimostrazione
Dimostrazione
Definizione
generale di
integrale:
funzioni non
negative
Definizione VI.6
ft (x) dx < +
EB(0,t)
In tal caso il limite di cui sopra si indica ancora come integrale della funzione f esteso a E.
Si deve notare come il limite adoperato nella definizione esiste sicuramente. Ci perch,
nellipotesi (i)
Z
ft (x) dx
F (t)
EB(0,t)
monotona crescente. Infatti, sia t1 < t2 allora ft1 (x) = min {f (x) , t1 } min {f (x) , t2 } =
ft2 (x) da cui
Z
Z
Z
ft1 (x) dx
ft2 (x) dx
ft2 (x) dx
EB(0,t1 )
EB(0,t1 )
EB(0,t2 )
Dunque, il limite esiste sempre in R. Per abuso di linguaggio diremo che lintegrale di f su E
+ quando, verificata (i), risulti
Z
lim
ft (x) dx = +.
t
Osservazione VI.1
EB(0,t)
f dx.
r s
EB(0,r)
s r
EB(0,r)
fs (x) dx
EB(0,r)
EB(0,r)
da cui, la funzione
s 7 lim
EB(0,r)
fs (x) dx
EB(0,r)
EB(0,r)
f (x) dx
s r
f (x) dx
Passando al limite prima per s e poi per r si dimostra anche laltra eguaglianza.
Teorema VI.10
sono misurabili in Rn+1 . f sommabile in E se e solo se gli insiemi definiti sono misurabili e
hanno misura finita. In tal caso risulta
Z
Dimostrazione
{(x, y) E R ||x| < t, 0 < y < ft (x) } = {(x, y) (E B (0, t)) R |0 < y < ft (x) }
Gt= (f ) {(x, y) E R ||x| < t, 0 < y ft (x) } = {(x, y) (E B (0, t)) R |0 < y ft (x) }
ft sommabile in E B (0, t) se e solo se i due insiemi sono misurabili (teorema VI.7).
Daltra parte
[
G0 (f ) =
Gk (f )
G0= (f ) =
k=1
[
k=1
Gk= (f )
Dimostriamo la prima uguaglianza, sia (x, y) nellinsieme a secondo membro, allora esiste un
intero k tale che 0 < y < fk (x) f (x); sia (x,y) G0 (f ) allora 0 < y < f (x), ma, per la
propriet di Archimede, esiste k N, per cui 0 < y < k, allora y < min {k, f (x)} = fk (x).
Ora, se per ogni t R Gt,= (f ) sono misurabili, allora sono misurabili per t = k N e
risultano misurabili anche G0,= (f ). Vale pure il viceversa. Infatti, siano G0,= (f ) misurabili,
si ha subito che
Gt (f ) = G0 (f ) (B (0, t) ]0, t[)
Gt= (f ) = G0= (f ) (B (0, t) ]0, t])
f dx lim
ft dx = lim m n+1 Gt (f ) = lim m n+1 (Gt= (f ))
t
EB(0,t)
(f )
Gk (f ) Gk+1
=
=
Gk (f ) Gk+1 (f )
allora, per il teorema di collegamento e per il teorema di subadditivit della misura (usati,
ordinatamente, nella prima e nella seconda eguaglianza),
per cui
f dx lim
EB(0,t)
ne consegue che se f sommabile (vale (ii) nella definizione) i due insiemi sono misurabili
(per quanto detto sopra), ma hanno anche misura finita. Se, invece, hanno misura finita, f
(c.v.d.) sommabile, poich vale (i) (per quanto detto sopra), ma vale anche (ii).
Definizione
generale di
integrale:
funzioni di
segno variabile
Definizione VI.7
Osservazione VI.3
In realt considereremo lintegrale di f anche con valori infiniti. Sia E un insieme misurabile
e sia f misurabile su E. Allora, dal teorema sulle propriet delle funzioni misurabili in un
insieme, si evince che le funzioni f + e f sono misurabili, e che lo sono anche le loro troncate
(ft+, = min {f +, , t}). Le troncate saranno allora sommabili (poich sono limitate e definite
in un insieme limitato e misurabile). Ne deriva che per f +, varr la parte (i) della definizione
di sommabilit ed esister, per monotonia, il limite
Z
Z
+,
f
(x) dx lim
ft+, (x) dx R
t
EB(0,t)
Se ambedue i limiti (per f e f ) sono finiti, allora la funzione sommabile, se invece uno
solo dei due limiti finito la funzione si dice integrabile su E. Il suo integrale sar + se
lintegrale finito sar quello di f , viceversa sar .
Perci se E misurabile abbiamo su esso tre classi di funzioni
(i) funzioni misurabili, secondo la definizione posta dalla proposizione VI.8;
(ii) funzioni integrabili, se una almeno tra f + e f (che hanno troncate sommabili) ha
integrale finito;
(iii) funzioni sommabili, se entrambe f + e f sono sommabili.
Sopra abbiamo dimostrato che se una funzione misurabile, allora ha parte positiva e parte
negativa che ammettono troncate sommabili. Viceversa, se f + e f hanno troncate sommabili,
allora hanno troncate misurabili (essendo esse limitate e definite su un insieme misurabile e
limitato). Ma se una funzione f ha troncate misurabili allora misurabile(se f + e f sono
misurabili tale f ). Infatti, per ogni t, r R, linsieme
Fr,t {x E B (0, t) |min {f (x) , t} > r }
misurabile. Allora, se dimostriamo leguaglianza
Fr = {x E |f (x) > r } =
Fr,k
k=1
abbiamo che f misurabile, come unione di misurabili. Dimostriamo leguaglianza. Sia x nel
primo insieme. Prendiamo k > kxk per cui x E B (0, k) e prendiamo k > f (x) sicch
min {f (x) , k} = f (x) > r
da cui x Fr,k . Sia ora x nel secondo insieme, allora esiste k N per cui min {f (x) , k} > r
e x E. Ma
f (x) > min {f (x) , k} > r
da cui x Fr . Infine, troviamo il seguente
Teorema VI.11
Altre
considerazioni
Proposizione VI.9
f dx +
f dx =
f dx
A
Comiciamo dalle funzioni non negative. Per ogni t R (A B (0, t) , B B (0, t)) una
partizione di E B (0, t), perci le troncate della funzione ristrette ad A e B sono sommabili
se e solo se lo sono quelle della funzione in E, per la proposizione VI.6. Ci varra passando a
funzioni di segno variabile, ove si considerino parte positiva e negativa. Inoltre,
Z
Z
Z
f dx =
f dx+
f dx
EB(0,t)
AB(0,t)
BB(0,t)
passando ai limiti per t , i tre limiti esistono per monotonia, si ha la tesi, essendo il primo
limite (considerando parte positiva o negativa) finito se e solo se sono finiti gli altri due limiti
(c.v.d.) (poich hanno lo stesso segno).
Le funzioni considerate sono a valori in R, daltra parte se f sommabile ragionevole pensare
che assumer i valori infiniti in regioni non troppo estese. Pi precisamente si ha il seguente
Teorema VI.12
F+
F
risulta m (F+ ) = m (F ) = 0
Dimostrazione
Consideriamo F+ . Si ha
F+ =
FkE
k=1
T
E
Infatti, ovvio che F+
Daltra parte, sia x
k=1 Fk , allora k N f (x) > k,
perci (illimitatezza di N) f (x) = + e x F+ .
Ora, f sommabile in E, perci, teorema VI.11, f misurabile su E e ciascuna FkE
E
misurabile, inoltre Fk+1
FkE per cui, per losservazione V.4, linsieme F+ misurabile.
Per r > 0, indichiamo con r la funzione caratteristica dellinsieme F+ B (0, r), allora,
per ogni k N vale
E
k=1 Fk .
f + (x) kr (x)
G0
(r ) =
r dx
1
k
f + dx
la tesi.
Il caso F del tutto analogo. Per completezza riportiamo la dimostrazione. Si ha, in
primo luogo,
\
00E
F =
Fk
k=1
infatti, x appartenga al primo insieme, allora per ogni k, = f (x) < k. Sia x nel secondo
insieme, allora per ogni k N, risulter f (x) < k, perci f (x) = .
Se f sommabile su E, dal teorema VI.11, si ha che ivi misurabile. Ne deriva che ciascun
00E
00E
Fk
misurabile. Vediamo che la successione degli Fk
decrescente:
00E
00E
F(k+1)
Fk
infatti, se x nel primo insieme, allora f (x) < k 1 < k, perci x appartiene al secondo
insieme. In virt dellosservazione V.4 abbiamo che F misurabile. Per r > 0, indichiamo
con r la funzione caratteristica dellinsieme F B (0, r), allora, per ogni k N vale
f (x) kr (x)
perci
m G0 (r ) =
r dx = m (F B (0, r))
m (F B (0, r)) =
1
r dx
k
f dx
m (F B (0, r)) = 0
(c.v.d.)
Propriet
verificate
quasi ovunque
la tesi.
Se una propriet verificata per tutti gli x E tranne al pi per quelli contenuti in un insieme
di misura nulla, si dice che la propriet sussiste quasi per ogni x E, o quasi ovunque
in E. Il teorema precedente aerma allora che una funzione sommabile su un insieme quasi
ovunque finita in esso.
Sia data una funzione misurabile su un insieme a misura nulla. Siano, intanto, f limitata e
il dominio a misura nulla limitato, ne consegue che f sommabile. Daltra parte le funzioni
semplici maggioranti (che devono annullarsi fuori dal dominio E) hanno tutte integrale nullo,
perci la successione in tale insieme, che tende allintegrale di f tende a 0. Perci f ha integrale
nullo su E a misura nulla. Siano ora f ed E qualsiasi. Siccome f misurabile, le troncate di
f (parte positiva e negativa) saranno ancora misurabili e ricadendo nelle ipotesi di cui sopra,
avranno integrale nullo, infatti
m (E B (0, t)) m (E) = 0
passando al limite per t , si trova che f ha integrale di parte positiva e negativa nulli. Si
conclude perci la
Proposizione VI.10
Dimostrazione
Per quanto detto sopra ci basta dimostrare che una qualunque funzione definita su un insieme
a misura nulla ivi misurabile. Sia la funzione non negativa. Cosideriamo
Ft = {x E |f (x) > t }
per t < 0 Ft = E e perci misurabile. Per t 0, resta comunque Ft E, allora
0 m (Ft ) m (Ft ) m (E) = 0
Proposizione VI.11
Dimostrazione
ft dx =
ft dx +
ft dx
E
ma come detto,
ft dx = 0
A,B
(c.v.d.)
Teorema VI.13
Se f (x) 0 in E e se
Dimostrazione
Si ha
F0 {x E |f (x) > 0 } =
F1/k
k=1
f (x) dx
f (x) dx = m n+1 G0 f |F1/k m n+1 F1/k ]0, 1/k[ = m n+1 F1/k
0=
k
F1/k
F1/k
ne consegue che
(c.v.d.)
0 m n+1 F1/k 0
sicch m (F0 ) = 0.
Sia g (x) una funzione non negativa sommabile su E. Se f (x) misurabile su E, e risulta
|f (x)| g (x) q.o. in E,
f (x) sommabile su E.
Dimostrazione
Cominciamo dal caso |f | g su tutto E. Abbiamo che parte positiva e negativa di f hanno
troncate sommabili. Basta ora vedere che hanno integrale finito. Risulta
f (x) |f (x)| g (x)
perci, per ogni t
EB(0,t)
ft (x) dx
EB(0,t)
gt (x) dx < +
EB(0,t)
EB(0,t)
gt (x) dx < + .
Sia ora A linsieme in E delle x per cui |f (x)| > g (x). Sia B = E\A, allora f sommabile
su A (che ha misura nulla), ed sommabile su B per quanto detto prima (g sommabile su
(c.v.d.) B E). Dalla proposizione VI.9 si ricava che f sommabile su E.
Nel caso di funzioni di una variabile definite su un intervallo, per lintegrale di Riemann, si
ha una tale propriet se la convergenza uniforme (si veda il paragrafo 2, della sottosezione
I.2.5). Come vedremo lintegrale di Lebesgue consente di fare di meglio.
Lemma VI.2
Dimostrazione
Poniamo
G0 (fk ) {(x, y) E R |0 < y < fk (x) }
G0 (f ) {(x, y) E R |0 < y < f (x) }
allora, per ogni intero k
G0 (fk ) G0 (fk+1 )
inoltre,
k=1
G0 (fk ) = G0 (f )
infatti, f (x) = supkN fk (x), perci ovvia linclusione del primo insieme nel secondo. Sia
ora (x, y) nel secondo insieme, allora esiste un intero k tale che y < fk (x) < f (x), per le
propriet del sup.
Per il teorema VI.10, ogni insieme G0 (fk ) misurabile e ha misura pari allintegrale di fk ,
poich fk non negativa e integrabile, cio ha troncate sommabili. Allora, per il teorema di
subadditivit numerabile, si ha che G0 (f ) msiurabile e f ha integrale pari alla sua misura
in Rn+1
Z
Z
lim
fk (x) dx = lim m n+1 G0 (fk ) = m n+1 G0 (f ) =
f (x) dx
k
lim
(c.v.d.)
fk (x) dx =
f (x) dx
Teorema VI.15
(di Beppo Levi)
Sia {fk }kN una successione di funzioni integrabili in E, monotona crescente (rispettivamente
decrescente) per ogni x E. Se risulta, per qualche h
Z
fh (x) dx > ,
E
Sia {fk }kN una successione di funzioni non negative, e integrabili su un insieme misurabile
E. Allora, posto
f (x) lim inf fk (x)
k
vale
Dimostrazione
fk (x) dx
E
Anzitutto f (x) misurabile in E misurabile, (dal teorema sulle propriet delle misurabili
in un insieme, notando che le fk sono misurabili). Dunque, essendo non negativa e avendo
troncate sommabili (poich misurabile, VI.11) f integrabile.
Per k N0 , poniamo
gk (x) inf fi (x)
ik
siccome fi (x) 0 allora gk 0, inoltre gk (x) gk+1 (x). Se poi k i, gk (x) fi (x). Allora
Z
Z
gk dx
fi dx, k i
E
da cui
gk dx lim inf
i
fi dx
E
daltra parte
kN
e infine,
(c.v.d.)
f dx lim inf
i
fi dx
Nel lemma possibile sostituire lipostesi fk (x) 0 per ogni x E, con la pi debole
fk (x) (x) , q.o. in E
dove (x) una funzione sommabile su E. Inoltre possibile suppore che f (x) valga il minimo
limite solo quasi ovunque. Per vedere questo, intanto mostriamo la tesi se poniamo (x) = 0.
Sia A E linsieme delle x per cui fk (x) < 0, per ogni k, cio
A=
{x E |fk (x) < 0 } x E lim inf fk (x) 6= f (x)
k
k=1
allora, come unione numerabile di insiemi a misura nulla, per il teorema di subadditivit
numerabile A misurabile e m (A) = 0. Allora linsieme B = E\A misurabile (come
dierenza di due misurabili). La coppia (A, B) una partizione di E. Su B vale il lemma
nella versione di sopra. Su A la funzione f sommabile (avendo A misura nulla, proposizione
VI.10). Perci, essendo integrabile su A e su B, la funzione f integrabile su E, proposizione
VI.9. Per il lemma
Z
Z
f dx lim inf
fi dx
i
perci
f dx lim inf
i
fi dx
Analogamente varr il teorema per il massimo limite se la successione sar dominata da una
funzione sommabile. La dimostrazione immediata, essendo
lim inf xk = lim sup (xk )
k
Lemma VI.4
(di Fatou)
Sia {fk }kN una successione di funzioni integrabili sullinsieme misurabile E, tali che
fk (x) (x)
quasi ovunque in E, con sommabile su E. Allora, se
f (x) = lim inf fk (x) , q.o. in E
k
vale
fk (x) dx
E
Se invece
fk (x) (x)
quasi ovunque in E, con sommabile su E. Allora, se
f (x) = lim sup fk (x) q.o. in E
k
vale
fk (x) dx
E
Sia (x) una funzione non negativa e sommabile su un insieme misurabile E, e sia {fk }kN
una successione di funzioni integrabili su E tali che
|fk (x)| (x) q.o. in E
e
lim fk (x) = f (x) q.o. in E
allora
lim
Dimostrazione
fk dx =
f dx
da cui esiste
lim
(c.v.d.)
la tesi.
fk (x) dx =
f (x) dx
Z
X
fk (x) dx =
fk (x) dx
E k=1
k=0
e, perci, per serie di funzioni non negative sempre possibile scambiare tra loro somma e
integrazione.
Nel caso generale, quanto scritto non valido in generale, ma resta vero se risulta
Z X
Z
X
|fk (x)| dx =
|fk (x)| dx < +
E k=1
k=0
k=0
k=0
|fk (x)|
R
poich v (x) dx < + la serie v (x)
converge quasi ovunque per il teorema VI.12, dunque,
P
convergendo assolutamente, la serie k=0 fk (x) converge quasi ovunque. Posto
sm (x)
si ha che
m
X
k=0
fk (x) , s (x)
fk (x)
k=0
inoltre
|sm | v (x)
per il teorema di Lebesgue
Z
Z
Z
m Z
X
X
s (x) dx = lim
sm (x) dx = lim
fk dx =
fk dx
E
k=1
k=1
Riassumendo
Teorema VI.17
Sia {fk }kN una successione di funzioni integrabili su E. Se fk (x) 0 per ogni k e x, allora
Z X
Z
X
fk (x) dx =
fk (x) dx
E k=1
k=0
Z
X
|fk (x)| dx =
|fk (x) | dx < +
E k=1
k=0
Sia f (x, t) una funzione integrabile in x per ogni t A e continua in t per quasi ogni x E.
Se esiste una funzione sommabile in E, g (x) talch
|f (x, t)| g (x)
per ogni t A e per quasi ogni x A, allora la funzione F (t) continua in A.
Dimostrazione
Sia t0 A e sia {th }hN A una successione a valori in A, convergente a t0 . Poich f (x, t)
continua in t per quasi tutti gli x, varr, dal teorema di collegamento,
lim f (x, th ) = f (x, t0 ) q.o. in E.
Ma quasi ovunque,
|f (x, th )| g (x)
perci, applicando il teorema di Lebesgue
Z
Z
lim
f (x, th ) dx =
f (x, t0 ) dx
h
perci
F (th ) F (t0 )
(c.v.d.)
Teorema VI.18
(di derivazione
sotto il segno
di integrale)
Sia f (x, t) una funzione integrabile in E per ogni t A, di classe C 1 (A) per quasi ogni
x E. Supponiamo che esistano k + 1 funzioni sommabili in E, tali che, per ogni t A e per
quasi ogni x E, risulti
Allora F (t)
Dimostrazione
th (x, t) gh (x) , h Jk
Dalle disuguaglianze e dal teorema del confronto si ha che la funzione, come le derivate sono
sommabili in x su E.
Sia, intanto A R, sicch F funzione di una sola variabile. Fissato t0 A, esiste r > 0
per cui B (t0 , r) A. Sia {tk } B (t0 , r) una successione convergente a t0 . Abbiamo
Z
F (th ) F (t0 )
f (x, th ) f (x, t0 )
=
dx
th t0
th t0
E
Definiamo la successione di funzioni
f (x, th ) f (x, t0 )
th t0
per il teorema del valor medio, quasi ovunque in E, essa varr
f
h (x) =
(x, )
t
con B (t0 , r), perci, quasi ovunque,
h (x) =
f
(x, ) g1 (x)
t
daltra parte, per quasi ogni x, la successione converge
f
(x, t0 )
lim h (x) =
h
t
Siamo allora nelle ipotesi del teorema di Lebesgue, perci
Z
Z
f
f (x, th ) f (x, t0 )
F (th ) F (t0 )
= lim
(x, t0 ) dx = lim
h
h
t
t
t
th t0
h
0
E
E
h (x) =
t
dt
0
0
E
(c.v.d.)
essa risulter definita in A [a, b] [a, b] e sar C 1 nel dominio per il teorema di cui sopra e
per il teorema fondamentale del calcolo. Inoltre,
Z w
f
F
=
(x, t) dx
tj
u tj
F
= f (u, t)
u
F
= f (w, t)
w
perci se u = (t) e w = (t) con , C 1 (A; [a, b]), posto
Z (t)
G (t) =
f (x, t) dx
(t)
G
=
+
+
= f ( (t) , t)
(t) f ( (t) , t)
(t) +
tj
w tj
u tj tj
tj
tj
(t)
(t)
f
(x, t) dx
tj
In particolare, se A R, vale
Z
Z (t)
d
d
f
d (t)
f (x, t) dx = f ( (t) , t)
(t) f ( (t) , t)
(t) +
(x, t) dx
dt (t)
dt
dt
(t) t
Lemma VI.6
Dimostrazione
Sia I un intervallo,
I=
iJn
allora
Ix =
iJk
[ai , bi ]
[ci , di ]
iJk
[ci , di ] m k (Ix ) =
k
Y
i=1
(di ci )
da cui
k
!
! k
! n
!
Z
Y
Y
Y
O
m k (Ix ) dx =
(di ci ) m n
[ai , bi ] =
(di ci )
(bi ai ) = m (I)
Rn
i=1
i=1
iJn
i=1
i=1
i=1
i=1
daltra parte
m
[
Ii,x = Yx
i=1
infine,
m (Y ) =
m (Y ) dx
Sia A aperto. Come visto nel capitolo V, possibile determinare una successione crescente
di plurirettangoli Yh contenuti in A tali che
[
A=
Yh
h=1
poi,
m (Yh,x ) dx
k
Yh,x
h=1
infatti, sia y Yh,x , allora (x, y) Yh Yh+1 , da cui yS Yh+1,x . Per leguaglianza degli
insiemi di cui sopra, si ha se y Ax , allora (x, y) A =
h=1 Yh , da cui esiste un k per cui
(x, y) Yh , da cui y Yh,x . Viceversa, siccome Yh A si ricava che y Ax .
Questo implica che la successione di funzioni non negative sommabili mk (Yh,x ) crescente,
fissato x, e ammette limite puntuale (teorema di subadditivit numerabile)
m k (Ax ) = lim m k (Yh,x )
h
Infine, eseguiamo la dimostrazione per i compatti. Sia K compatto. Come visto nel capitolo
V, possibile definire una successione decrescente di plurirettangoli contenenti K e tali che
Z
\
m k (Yh,x ) dx
K=
Yh m (K) = lim m (Yh ) = lim
h
h=1
Procedendo come sopra si ha che m k (Yh,x ) una successione di funzioni sommabili, decrescenti
fissata la x, essendo Yh+1,x Yh,x . Inoltre,
Kx =
h=1
infatti, sia y nel primo insieme, allora (x, y) K, perci per ogni h N, (x, y) Yh dunque,
y Yh,x . Viceversa, y Yh,x per ogni h, allora (x, y) appartiene a Yh per ogni h, infine (x, y)
appartiene a K e y Kx .
Dunque, siamo nelle ipotesi del teorema di Beppo Levi, allora
Z
Z
m k (Kx ) dx = lim
m k (Yh,x ) dx = lim m (Yh ) = m (K)
h
Teorema VI.19
Sia E Rn+k misurabile. Allora mk (Ex ) misurabile quasi per ogni x Rn . Inoltre,
Z
m k (Ex ) dx
m (E) =
Rn
Dimostrazione
Sia intanto m (E) < +. Siccome E misurabile, possibile definire due successioni: una
decrescente di aperti contenenti E e una crescente di compatti contenuti in E, tali che
lim m (Aj ) = lim m (Kj ) = m (E)
lim
(m (Aj,x ) m (Kj,x )) dx = 0
allora gj (x) = m (Aj,x ) m (Kj,x ) decrescente, non negativa e ha limite nullo, per il teorema
di Beppo Levi,
Z
lim gj dx = 0
j
da cui, per il criterio del confronto m (Ex ) sommabile e vale, ancora per ogni intero,
Z
Z
Z
m (Kj,x ) dx m (Ex ) dx m (Aj,x ) dx
passando ora al limite
m (E) =
Rn
m k (Ex ) dx.
r>0
Daltra parte
m (Exr ) dx
m (Exr ) dx =
lim
h, hN
Exh
Exh+1 ,
Exh
= Ex
m Exh dx
h=1
lim m Exh
= m (Ex )
lim
h, hN
m Exh dx =
m (Ex ) dx.
(iii) si ha
f (x, y) d (x, y) =
Rn+k
Rn
analogamente, invertendo x e y.
Dimostrazione
dx
f (x, y) dy,
Rk
m n+k+1 G0 (f ) =
f (x, y) d (x, y)
Rn+k
G0x
(f ) = (y,z) Rk+1 (x, y, z) G0 (f ) = (y,z) Rk+1 |0 < z < f (x, y)
m n+k+1 G0 (f ) =
Rn
(f )
G0x
m k+1 G0x
(f ) dx
G0x
(f ) sottografico positivo, sommabile. Inoltre, m k+1 G0x
(f ) = Rk f (x, y) dy quasi
ovunque in Rn . Daltra parte, il primo membro sommabile in x, per quanto detto prima;
sicch, essendo i due membri uguali quasi ovunque, anche il secondo membro sar sommabile
e lintegrale sar lo stesso:
Z
Z
Z
Z
m k+1 G0x
f (x, y) d (x, y) = m n+k+1 G0 (f ) =
(f ) dx =
dx
f (x, y) dy
Rn+k
(c.v.d.)
Rn
Rn
Rk
Il caso di funzioni di segno variabile si dimostra usando, come al solito, parte positiva e
negativa.
Il teorema di Fubini si usa per calcolare lintegrale di funzioni sommabili su insiemi normali.
Limitiamoci, per semplicit a funzioni di due variabili. E R2 si dice normale se le sezioni a
f (x, y) d (x, y) =
f (x, y) d (x, y) =
dx dy f (x, y)
R2
daltra parte se x
/ ]a, b[ f (x, y) = 0
Z
Z
f (x, y) d (x, y) =
E
dx
dy f (x, y)
R
(x)
infine,
Z
f (x, y) d (x, y) =
dx
a
(x)
dy f (x, y) .
(x)
g 1 (E)
L () =
(t) dt.
a
Vogliamo vedere che la lunghezza una caratteristica del sostegno, cio eguale per curve
equivalenti. Siano allora e equivalenti, sia il dieomorfismo tra I e J. dovr essere
monotona. Per fissare le idee sia crescente, sicch > 0. Allora
Z d
d
ds
L () =
ds
c
n
Z 1 (d)
Z b
Z b
d ( (t))
d ( (t))
d
=
dt =
dt
dt = L ()
L () =
dt
ds
ds
1 (c)
a
a
n
n
n
Definizione VI.8
(1 , 2 , 3 )
6= 0
(u, v)
x = 1 (u, v)
y = 2 (u, v)
u = u (x, y)
v = v (x, y)
x = 1 (u, v0 )
y = 2 (u, v0 )
z = 3 (u, v0 )
al variare di v0 . Analogamente si pone la definizione per le linee coordinate v.
Dalla (iii) si ha ancora che i vettori /u e /v sono linearmente indipendenti, perci i
vettori tangenti in un punto alla linea coordinata u e alla linea coordinata v sono non tangenti.
Risulta allora ben posta la definizione di versore normale alla superficie come
u
u
v
v
3
d (u, v)
v 3
K u
allora
=
=
r
s
+
r u
s u
r
s
+
r v
s v
det J
u
v
r
s
Quindi,
Z
Z
Z
d (r, s) =
|det J | d (u, v) =
det J
d (u, v) =
0 r
s 3
s 3
s
K
K r
K r
3
d (u, v)
=
v 3
K u
x = f (z) cos
y = f (z) sin , z [a, b] , [0, 2[
z=z
allora
f 0 (z) cos
= f 0 (z) sin
1
f (z) sin
= f (z) cos
0
perci i due vettori sono ortogonali e il modulo del prodotto vettoriale dato dal prodotto dei
moduli
r
0 (z)]2 f 2 (z)
=
1
+
[f
z
3
2
0
2
A=
1 + [f (z)] f (z) = 2
d
dz
0
1 + [f 0 (z)]2 f 2 (z) dz
Veniamo infine al calcolo del volume. Qui si procede tramite il teorema VI.19. Il volume
considerato dato dalla misura in R3 di un insieme E che pu essere sezionato a z costante
Z b
m (Ez ) dz
V=
a
f (z)
dx x =
1
2
f 2 (z) dz =
a
V
2
V = 2 m 2 (A) x
Per cui il volume della figura ottenuta dalla rotazione di A dato dalla lunghezza della
circonferenza avente la distanza del baricentro dallasse come raggio, moltiplicata per larea
di A.
L : I R# R# R
definiamo adesso
S (q)
X q C 1 I; R# q (a) = R# , q (b) = R#
Il nostro problema sar trovare, se esiste, la funzione q X, tale che S (q) assuma valore
minimo in X:
S (q) = inf S (u)
uX
seguente operazione
d
d
b
a
L t, u (t) + , u (t) + dt
q
p
(iii) dalla continuit di lagrangiana e sue derivate, per il teorema di Weierstra, si ha che
esse sono dominate da una costante che su [a, b] una funzione sommabile.
Abbiamo dunque,
Z b
Z b
Z b
dg
L
L
=
L t, u (t) + , u (t) + dt =
dt +
dt
d
q
p
a
a
a
supposta la derivata nel tempo della derivata di L in p continua, possiamo integrare per parti
il secondo integrale
b Z b
Z b
Z b
L
dg
L
d L
L
d L
=
dt +
dt =
dt
d
q
p a
dt p
q dt p
a
a
a
ricordiamo che se u soluzione del nostro problema dg/d deve essere risultare nullo in = 0,
per ogni (t) a estremi nulli sullintervallo. Daltra parte vale il seguente
Lemma VI.7
Sia F C 0 (I) tale che per ogni C 0 (I) , (a) = (b) = 0, risulti
Z b
F (t) (t) dt = 0
a
Allora F (t) = 0, t I.
Sia per assurdo F (t) diversa da 0 allistante t0 I. Per fissare le idee, sia F (t0 ) = h > 0,
allora, per la permanenza del segno esiste un intorno ]t0 ; t0 + [ allinterno del quale F
positiva. Scegliamo allora tale che sia nulla fuori dallintorno considerato, 0 agli estremi,
positiva nellintorno detto in cui F positiva. Allora la funzione F non negativa, ha
(c.v.d.) integrale nullo, continua. Se ne ricava che F = 0 identicamente. Assurdo.
Dimostrazione
d L
L
(t, q (t) , q (t))
(t, q (t) , q (t)) = 0
dt p
q
le equazioni determinate prendono il nome di equazioni di Eulero-Lagrange.
Si noti che
d L
L
L
L
q
=
+
q+
dt p
t p q p
p2
perci le equazioni di Eulero e Lagrange sono equazioni dierenziali del secondo ordine. Il
problema di risolvere le equazioni di Eulero-Lagrange non per di Cauchy, non sono infatti
forniti i dati iniziali, ma le condizioni al contorno, cio i valori della soluzione eventuale nei
punti di partenza e arrivo.
Variabili cicliche
Supponiamo che la lagrangiana sia indipendente dalla qi , allora la i-esima equazione diviene
d L
=0
dt qi
allora la variabile qi si dice ciclica e si ha
L
=C
qi
La quantit L/ qi si dice impulso della coordinata lagrangiana i-esima. Si deduce perci
che limpulso associato a una coordinata ciclica si conserva.
Lagrangiana
indipendente
dal tempo
Supponiamo che la lagrangiana sia inpendente esplicitamente dal tempo, risulti cio
L (t, q, p) = L (q, p)
in tal caso le equazioni di Eulero-Lagrange diventano
L
L
L
q
q+
= 0
q q
q 2
q
L
d
L q
= 0
dt
p
L
L 2 L
q
q + 2 q
q = 0
q q
q
q
notiamo che
d L
L 2 L
L
q =
q + 2 q
q
q
q q
q
dt q
q
da cui
d
dt
infine,
L
L
L
q
q
q = 0
q
q
q
d L
d
q L = 0
dt q
dt
d
dt
L
qL
=0
q
Un noto problema variazionale quello di determinare le curve su una superficie (in generale
una variet riemanniana) data che unendo due punti sulla superficie misurano la minore
lunghezza possibile. A questo scopo sia la curva (t) e la superficie f (u, v). Allora,
(t) = f (u (t) , v (t))
d
dt
s
t
f
f
d f
f
=
=
=
(u,
v)
(
u,
v)
(
u,
v)
(
u,
v)
=
dt (u, v)
(u, v)
(u, v)
(u, v)
s
f
f
t
t
(u,
v)
v)
(u,
v)
= (u,
v)
g (u (t) , v (t)) (u,
=
(u, v)
(u, v)
Osservazione VI.4
Si noti che uno spazio convesso connesso per segmenti, perci connesso per archi e quindi
connesso.
Linsieme X delle funzioni C 1 dallintervallo I allo spazio R# con estremi fiissati convesso.
Infatti, prendiamo le leggi orarie q1 e q2 X, per ogni [0, 1]
q 1 + (1 ) q
C 1 (I)
inoltre,
q 1 (a) + (1 ) q
(a) = + =
q 1 (b) + (1 ) q
(b) = + =
Diventa sensato allora definire la nozione di convessit per i funzionali in X essendo esso
convesso:
Definizione VI.10
Dato X uno spazio convesso, si dice che F : X R un funzionale convesso se per ogni
coppia di vettori u, v X e per ogni [0, 1] risulta
F [u+ (1 ) v] F (u) + (1 ) F (v)
Vogliamo dimostrare che se lintegrale dazione convesso allora la condizione necessaria di
minimo espressa dalle equazioni di Eulero-Lagrange, diventa suciente.
Cominciamo col notare che lintegrale dazione convesso se la lagrangiana convessa nelle
variabile (q, p) R# R# : poniamo x (q, p) R2#
Z b
Z b
S (x1 + (1 ) x2 ) =
L (t, x1 + (1 ) x2 ) dt
[L (t, x1 ) + (1 ) L (t, x2 )] dt
a
L (t, x1 ) dt + (1 )
Proposizione VI.12
Se q X soddisfa
le equazioni
di Eulero-Lagrange con lagrangiana L convessa in (q, p)
R# R# e L C 2 I R# R# , allora q un minimo dellintegrale dazione.
Dimostrazione
Lintegrale dazione convesso. Scriviamo ancora g (), essa risulter una funzione convessa
g () = S (q + )
g (1) = S (q + )
g (0) = S (q) ,
la nostra tesi che S (q) S (u), per ogni u X, cio che g (0) S (u), per ogni u X.
Sia u X, prendiamo = u q:
g () = S (q + (u q)) = S (u + (1 ) q) S (u) + (1 ) S (q) =
= S (u) + (1 ) g (0) = g (1) + (1 ) g (0)
per 6= 0
g () g (0)
g (1) g (0)
al limite per 0+ , si ha
dg
(0) g (1) g (0)
d
ma per ipotesi
dg
(0) = 0
d
e infine
g (0) = S (q) g (1) = S (u) .
(c.v.d.)
A p fissato la F concava, perci esiste ed unico tale che F sia massima. Risulta ben
definita la funzione (p)
F ( (p) , p) = maxn (p f ())
R
Definizione VI.11
L
q
il vettore dei momenti coniugati alle coordinate lagrangiane. Dalla definizione di trasformata
di Legendre si ha subito
p=
(t, q, q)
cio
H (t, q, p) = p q (t, q, p) L (t, q, q (t, q, p))
deriviamo ambo i membri in pk
q (t, q, p) L q (t, q, p)
q
q
H
= qk + p
= qk + p
p
= qk
pk
pk
q
pk
pk
pk
q
L
L q
L
H
= p
=
= pk
qk
qk
qk
q qk
qk
In definitiva, le equazioni di Eulero-Lagrange si trasformano nelle ben note equazioni di
Hamilton-Jacobi:
qk = H/pk
pk = H/pk
Capitolo VII
La serie di Fourier
Una funzione reale si dice T -periodica se per ogni reale t risulta f (t + T ) = f (t). Se due
funzioni sono periodiche e hanno lo stesso periodo, periodiche con lo stesso periodo risultano
anche somma e prodotto.
Se f T -periodica e derivabile, si ha che
df
df
f (t + T + h) f (t + T )
f (t + h) f (t)
(t + T ) = lim
= lim
=
(t)
h0
h0
dt
h
h
dt
anche la derivata periodica.
Sia ora f generalmente continua, sia F la primitiva
Z t
f ( ) d
F (t) =
0
f ( ) d +
F (t + T ) =
t+T
f ( ) d =
f ( ) d =
allora
T
Z a
f ( ) d +
f ( ) d +
a
0
f ( T ) d
f ( ) d
0
t+T
f ( ) d =
f ( ) d + M = F (t) + M
Polinomi
trigonometrici
Definizione VII.1
del tipo
P (t) =
n
a0 X
2
2
ak cos
+
kt + bk sin
kt
2
T
T
k=1
n
n
bk ikt
a0 X
a0 X ak ikt
ikt
ikt
P (t) =
[ak cos (kt) + bk sin (kt)] =
+e
e
+
=
+
+
e
e
2
2
2
2i
k=1
k=1
n
n
X
a0 X ak ibk ikt ak + ibk ikt
=
+
ck eikt
=
+
e
e
2
2
2
k=1
k=n
dove si posto
k
ck ak ib
2
c c
k a0 k
c0 2
k>0
k>0
Il vettore P (ci )i=n...n si dice spettro complesso del polinomio trigonometrico P (t).
Fissato un vettore in C2n+1 , si determina univocamente un polinomio trigonometrico, avente
il vettore per spettro. Daltra parte, vale anche il viceversa, sicch lo spazio dei polinomi
trigonometrici di grado n un C-spazio vettoriale avente dimensione 2n + 1. Vale infatti il
seguente
Lemma VII.1
Dimostrazione
Sia k Z, allora
1
T
eikt dt = 0,k
T 0
T ik
2ki
2ki
2ki
0
daltra parte se k = 0,
1
T
(c.v.d.)
Proposizione VII.1
Dimostrazione
dt = 1
Sia P (t) un polinomio trigonometrico, allora per ogni k da n a n, il suo spettro dato da
Z
1
ck =
P (t) eikt dt
T T
Infatti,
Z
1
P (t) eiht dt =
T T
=
(c.v.d.)
1
T
n
X
ikt iht
ck e
T k=n
n
X
k=n
ck h,k = ch
dt =
n
X
k=n
ck
1
T
i(kh)t
dt
Allora, abbiamo stabilito un isomorfismo dallo spazio dei polinomi trigonometrici in C2n+1 ,
resta quindi dimostrato che lo spazio dei polinomi trigonometrici ha in C dimensione pari a
2n + 1.
Dal lemma di cui sopra, si deduce che
Z
Z
cos(ht) sin (kt) = 0
Z
sin(ht) sin (kt) = h,k
Energia
Data una funzione f periodica a quadrato sommabile su un periodo, si dice energia della
funzione la quantit
Z
1
2
|f (t)| dt
T
si ha la seguente
Proposizione
VII.2
(eguaglianza
dellenergia)
Sia P (t) un polinomio trigonometrico di spettro complesso (ck )k=n...n , allora lenergia del
polinomio vale
Z
n
X
1
|ck |2
|P (t)|2 dt =
T
k=n
Dimostrazione
Si ha
2
(c.v.d.)
n
X
k=n
ck eikt
n
X
ch eiht =
h=n
n
X
ck ch ei(kh)t
k,h=n
perci
Z
Z
n
n
n
n
X
X
X
X
1
1
2
2
i(kh)t
dt
=
c
c
dt
=
c
c
=
c
c
=
|ck |
|P (t)|
e
k h
k h hk
k k
T
T
k,h=n
k,h=n
k=n
k=n
Consideriamo uno K-spazio di prodotto scalare (o hermitiano) (H, (|)). Abbiamo subito la
seguente
Proposizione VII.3
In uno spazio di prodotto scalare, una famiglia di vettori ortogonali non nulli un sistema
linearmente indipendente.
Dimostrazione
!
m
X
X
0 = u(k)
i u(i) =
i u(k) u(i) = k u(k)
i=1
i=1
(c.v.d.)
Teorema VII.1
(di Pitagora)
Sia H uno spazio di prodotto scalare e {ui }iJm una famiglia finita di vettori ortogonali.
Allora
|u1 + . . . + um |2 = |u1 |2 + . . . + |um |2
Dimostrazione
(c.v.d.)
Proiezione
ortogonale
Proposizione VII.4
Si ha
m 2 m
m
m
m
m
X
X X
X
X
X
ui =
ui
uj =
(ui |uj ) =
(ui |ui ) =
|ui |2
i=1
i=1
j=1
i,j=1
i=1
i=1
|x y| = d (x, H) , y V |x y| V
0 = (x a |v ) 0 = (x c v |v ) 0 = (x c |v ) |v|
(x c |v )
=
2
|v|
da cui lunicit di a. Il fatto che d (x, a) d (x, w) per ogni w r si ha notando che w = a+v
2
infatti (x projV (x)) V . Per vedere questo suciente che il vettore x meno la sua
proiezione ortogonale a ciascun uk (infatti il sistema una base di V : linearmente
indipendente, si veda la prima proposizione di questa sottosezione, e ha cardinalit eguale
alla dimensione di V ). Abbiamo
(x projV (x) |ui ) = (x |ui )
m
X
k=1
Consideriamo ora una famiglia numerabile di vettori ortonormali, {ui }iN . Per ogni m N,
definiamo
Vm = Span hui iiJm
allora
projVm (x) =
m
X
k=1
vale anche
2
|x pm (x)|
2
da cui si ottiene |pm | x2 e
|x|2
(x |uk ) uk pm (x)
2
= (d (x, Vm )) 0
= |x pm |2 + |pm |2
2
|x| |pm | =
m
X
k=1
|(x |uk )|
X
2
2
|(x |uk )| |x|
k=1
Adesso mostreremo quando vale leguaglianza (identit di Parseval). Per far questo ci
occorrono alcuni risultati preliminari.
Sia x un punto qualsiasi e siano W V due sottoinsiemi di uno spazio metrico con distanza
d, tali che W sia denso in V . Valga cio che per ogni v fissato e per ogni > 0, esista
w tale che d (v, w) < . Vogliamo dimostrare che d (x, W ) = d (x, V ), laddove certo che
d (x, W ) d (x, V ). Si ha
d (x, W ) d (x, w) d (x, v) + d (v, w)
d (x, W ) d (x, v) +
d (x, W ) d (x, v)
da cui, per la massimalit dellinf,
d (x, W ) d (x, V )
infine,
d (x, V ) = d (x, W ) .
Sia ora V = W , allora vogliamo vedere che W denso in V . Fissiamo allora x V , se x W
la tesi ovvia preso x stesso d (x, x) = 0 < per ogni . Sia allora x DW . Esiste una
successione di punti xn contenuti in W tali che d (x, xn ) 0, per ci per ogni fissato > 0,
esiste N talch
d (x, x ) <
e x W .
Riassumendo
Lemma VII.2
Lemma VII.3
Lemma VII.4
Sia W X spazio metrico nella distanza d. Allora V denso nella sua chiusura W . In
particolare, se x X
d (x, W ) = d x, W
Sia W chiuso. Allora x W se e solo se d (x, W ) = 0
Dimostrazione
Se x W la tesi ovvia. Sia, allora, d (x, W ) = 0, allora per ogni > 0, troviamo un punto
y di W tale che
d (x, y) < d (x, W ) + =
(c.v.d.)
[
W = Span hui iiN =
Vi
i=1
abbiamo che nella disuguaglianza di Bessel vale luguaglianza se e solo se x appartiene alla
chiusura di W . Dalla disuguaglianza di Bessel si ha che la serie limitata e a termini positivi,
perci convergente.
Altre considerazioni. Vm Vm+1 , perci la successione {d (x, Vm )}mN decrescente perci
ammette limite nel suo estremo inferiore che maggiore o eguale a 0. Vediamo che
inf d (x, Vm ) = d (x, W ) ,
m
infatti, per ogni m d (x, Vm ) d (x, W ) per cui d (x, W ). Ora, fissiamo > 0, troviamo
un m
per cui
+ > d (x, Vm
)
2
per cui esiste v Vm
W per cui
d (x, Vm
) > d (x, v)
2
infine, per ogni si trova v W talch
+ > d (x, v)
la tesi. Si ha perci che
m
2
infine, essendo
lim |pm (x)|2 =
x W se e solo se
|x|2 =
In questo caso, allora
k=1
k=1
lim |x pm (x)| = 0
k=1
(x |uk ) uk
Sia {uk }kN un sistema ortonormale nello spazio prehilbertiano H, allora vale la
disuguaglianza di Bessel
X
|(x |uk )|2 |x|2
k=1
Teorema VII.3
(identitdi
Parseval)
Sia {uk }kN un sistema ortonormale nello spazio prehilbertiano H. Vale lidentit di Parseval
se e solo se x appartiene alla chiusura dello spazio generato dal sistema ortonormale:
X
|(x |uk )|2 = |x|2 x Span huk ikN
k=1
In tal caso
x=
k=1
(x |uk ) uk
f1 (t) g (t) dt +
f2 (t) g (t) dt = (f1 g)L2 + (f2 g)L2
T T
Z
f (t) g1 (t) dt +
f2 (t) g2 (t) dt = (f g1 )L2 +
(f g2 )L2
T T
Z
Z
Z
1
1
1
f (t) g (t) dt =
g (t) f (t) dt =
g (t) f (t)dt =
g (t) f (t) dt =
T T
T T
T T
= (g f )L2
Z
1
2
=
|f (t)| dt 0, (f f )L2 = 0 |f (t)| = 0 q.o.
T T
Per quanto visto nella prima sezione, troviamo subito un sistema ortonormale per il prodotto
hermitiano definito,
ek eikt , k Z
presa una funzione f L2T consideriamo le sue componenti rispetto al sistema ortonormale
trovato
Z
1
(f ek )L2 =
f (t) eikt dt ck (f )
T T
k=n
k=n
Serie di Fourier
Sia x (t) L2T , allora possiamo considerare il polinomio trigonometrico dato dalla proiezione
di x sugli spazi Vm generati dai primi 2m + 1 vettori del sistema
m
m
X
X
Sm (t) = projVm x (t) =
(x ek )L2 ek =
ck (x) ek
k=m
k=m
Il limite per m si dice serie di Fourier di x (t). Troviamo subito che vale la
diseguaglianza di Bessel per le serie dei polinomi trigonometrici generati dalla proiezione
di x (t). In questo contesto la diseguaglianza di Bessel prende il nome di diseguaglianza
dellenergia:
Teorema VII.4
(diseguaglianza
dellenergia)
Sia x (t) una funzione in L2T . Allora i coecienti di Fourier della x (t) sono tali che
Z
X
|ck (x)|2 |x|2L2 =
|x (t)|2 dt
T
Inoltre vale
2
m
X
k=m
tale che
(x ek )L2 ek =
m
X
ck (x) ek
k=m
Il problema adesso quello di stabilire quando vale lidentit di Parseval, che chiameremo ora
eguaglianza dellenergia, ci chiediamo cio quando valga
X
|ck (f )|2 = |x|2L2
x (t) =
lim Sm (t)
Con un po di fatica vedremo che in realt questo risultato vale sempre. Cio la serie di Fourier
di ogni funzione di L2T converge alla funzione stessa, in norma L2 .
Intanto supponiamo di avere gi dimostrato quello che vedremo in seguito, per cui funzioni
T -periodiche continue C 1 a tratti hanno serie di Fourier convergenti uniformemente ad esse
stesse. Siccome la convergenza uniforme implica la convergenza in norma L2 , abbiamo trovato
una sottoclasse A di funzioni a quadrato sommabile per cui la serie di Fourier converge alla
funzione.
Dalla disuguaglianza di Schwartz, applicata a |f | e 1, si ha
Z
dt
|f |L2
|f | (t)
T
T
da cui si deduce che
L2T
f L1T .
dense in L2T .
|f |L1 |f |L2
e, dunque, f
Vedremo che le funzioni a scalino (costanti a tratti) estese per
periodicit sono
Le funzioni a scalino possono essere approssimate in norma L2 con funzioni continue C 1 a
tratti. suciente unire i salti con segmenti aventi pendenza sucientemente alta sicch la
dierenza integrale tra le funzioni sia piccola a piacere. Da questo si deduce infine che A
denso in L2T . Daltra parte, per quanto detto e dal teorema sullidentit di Parseval
A Span hek ikZ
dimostriamo che cos vale anche per L2T . Sia x L2T , allora x P Span hek ikZ se e solo se
d (x, P) = 0: sia p P
d (x, P) d (x, p) d (x, f ) + d (f, p)
dove f A. Daltra parte, per massimalit dellinf
d (x, P) d (x, f ) + d (f, P)
dunque, siccome d (f, P) = 0
d (x, p) d (x, f ) d (x, P) d (x, f )
ora, per ogni > 0 si trova f A, per cui
d (x, P) d (x, f )
infine, per larbitrariet di > 0 si ha la tesi.
Modulo dimostrare che le serie delle funzioni in A convergono uniformemente alle rispettive
funzioni e che le funzioni a scalino sono dense in L2T , abbiamo trovato il seguente
Teorema VII.6
(eguaglianza
dellenergia)
L2
(x ek )L2 ek x,
|(x ek )L2 | =
|ck (f )| = |x|L2 .
Prima di proseguire giusto dimostrare la densit delle funzioni a scalino a supporto compatto
nellinsieme delle funzioni sommabili in Rn (dal quale discende uno dei risultati di cui avevamo
bisogno):
Proposizione VII.5
Per ogni f L1 a dominio limitato in Rn e per ogni > 0 esiste una funzione a scalino e a
supporto compatto a valori in R tale che
Z
|f g|L1 = |f g| dx <
Dimostrazione
Basta limitarsi a f positiva e reale, usando poi f + , f , parte reale e parte immaginaria,
determiniamo la tesi nel caso generale.
P
Se f 0, fissato > 0, esiste 0 f , = m
k=1 ck Ek con ck > 0, semplice per cui
Z
f dx <
2
basta ora trovare g a scalini per cui
Z
|g | dx <
2
prendiamo per ciascun Ek un plurirettangolo Ak Ek , tale che
m (Ek 4 Ak ) a
m
X
k=1
ck Ak
(c.v.d.)
g dx =
ck m (Ek 4 Ak )
ck a
= .
2m
2
k=1
k=1
k=1
Ora, manca da mostrare la densit delle funzioni a scalino in L2 , a questo scopo premettiamo
la dimostrazione del seguente
Lemma VII.5
Dimostrazione
f (x) , se f (x) N
fN (x) =
N,
altrimenti.
dove RN la funzione caratteristica dellinsieme RN dei punti sui quali f (x) > N . Abbiamo
dunque una successione di funzioni definite in S,
FN (x) + |f (x) N | RN (x)
2
|f (x) N | 4 |f (x)|
e perci vale il teorema di Beppo Levi
Z
Z
lim
|f fN |2 dx =
N
lim
|f N |2 RN dx
(c.v.d.)
Lemma VII.6
Dimostrazione
kf gkL2 <
2
ma se g limitata allora sommabile, cio L1 , perci troviamo una funzione a scalino tale che
2
kg kL1 <
2M
Daltra parte (g ) una funzione limitata
Z
Z
2
2
kg kL2 =
|g | dx sup |g | |g | dx = sup |g | kg kL1
S
posto M + (sup |g |)
1/2
si ha
(c.v.d.)
Dimostrazione
Z
Z
dt
lim
f (t) p (t) dt =
p (t)
f (t) dt
R
R
0
R
Posto p (t) dt
, a meno di porre p p , si pu supporre la media di p nulla. Con un
cambio di segno il limite per si riconduce al limite per +. Perci ci limitiamo
a questultimo.
Vediamo intanto che il lemma vero per f = [a,b] . Supposto > 0, con il cambiamento di
variabile t = s,
Z
Z b
Z
1 b
[a,b] p (t) dt =
p (t) dt =
p (s) ds
a
R
a
i=1
a+m
b
1 Z d
1Z d
p (t) dt =
p (s) ds
|p (s)| ds
a
c
c
Allora
R
ZR
Z
lultimo addendo tende a 0 per che tende a 0, cio esiste , per cui per , laddendo
definitivamente minore di , ne deriva che per ogni , esiste tale che se
Z
(c.v.d.)
Corollario VII.1
Dimostrazione
(c.v.d.)
da cui la tesi.
0
a
Questo fatto pu essere dimostrato direttamente per funzioni in L2T , senza ricorrere al lemma
di Riemann-Lebesgue. Se f a quadrato sommabile la serie dei moduli quadrati dei coecienti
di Fourier convergente, perch limitata, sussiste la diseguaglianza dellenergia, allora anche
i coecienti di Fourier devono andare a 0.
m
m Z
m Z
X
X
X
ikt
ik d
ikt
ik(t) d
ck (f ) e
=
f () e
=
f () e
Sm (t) =
e
=
T
T
T
T
k=m
k=m
k=m
m
!
Z
X
d
ik(t)
f ()
e
=
T
T
k=m
Nucleo di
Dirichlet
Definizione VII.2
m
X
ei(k+m)z = eimz
2m
X
eijz = eimz
j=0
k=m
ei(2m+1)z 1
eimz+iz eimz
=
iz
e 1
eiz 1
m
X
eikz + eikz
k=1
=1+2
m
X
cos (kz)
k=1
Si noti come Dm (z) pari. Sulla retta reale, dallultima eguaglianza, avendo cos (kt) periodo
T /k,
Z
dt
Dm (t)
=1
T
T
Dimostrazione
del teorema di
convergenza
puntuale
Tornando al calcolo di cui sopra, ricordando che Dm pari, con due successivi cambi di
variabile
m
!
Z T /2
Z T /2
Z T /2+t
X
d
d
ik(t)
Sm (t) =
f ()
e
f () Dm ( (t ))
f (t s) Dm (
=
=
T
T
T /2
T /2
T /2+t
k=m
Z t+T /2
d
=
f (t + ) Dm ()
T
tT /2
Z
d
f (t + ) Dm ()
Sm (t) =
T
T
Dallultima eguaglianza della prima riga si trova, del resto
Z T /2+t
Z
ds
ds
f (t s) Dm (s)
f (t s) Dm (s)
=
Sm (t) =
T
T
T /2+t
T
facciamo la media aritmetica, con laltra espressione ricavata di Sm (t)
Z
1
ds
[f (t + s) + f (t s)] Dm (s)
Sm (t) =
2 T
T
Ora, sia f una funzione sommabile e fissiamo a R, per la quale valga la condizione di
Dini, cio risulti sommabile in un intorno di s = 0, la quantit
f (a + s) + f (a s) 2f (t)
essa sar sommabile anche lontano da s = 0, perch poi sar prodotto di una somma di
sommabili con una continua (1/2). Valendo la condizione di Dini la serie di Fourier di f
converger a f (a), che appunto un risultato di convergenza puntuale.
Abbiamo, ricordando che lintegrale di Dm (s) nullo su un periodo
Z T /2
f (a) Dm (s) ds
f (a) =
T /2
dunque,
Sm (a) f (a) =
=
T /2
T /2
T /2
T /2
f (a + s) + f (a s) 2f (a)
ds
Dm (s)
=
2
T
f (a + s) + f (a s) 2f (a)
ds
sin ((m + 1/2) s)
2 sin (s/2)
T
del resto
f (a + s) + f (a s) 2f (a)
f (a + s) + f (a s) 2f (a)
s
=
2 sin (s/2)
s
2 sin (s/2)
il primo fattore sommabile, il secondo continuo, dunque, sommabile, la funzione
sommabile, inoltre sin ((m + 1/2) s) periodica e ha media nulla, applicando il lemma di
Riemann-Lebsgue, passando al limite per m , si ottiene la tesi.
Si ha la seguente
Proposizione
VII.6 (test
del Dini)
f (a + s) + f (a s) 2f (t)
s
allora la serie di Fourier di f converge in a a f (a).
Corollario VII.2
Sia f : R C, una funzione T -periodica sommabile. Sia a R, tale che i limiti destro e
sinistro di f esistano finiti in a
f a lim+ f (a ) C
0
+
f a
lim+ f (a + ) C
0
f (a ) f (a )
f (a+ ) + f (a )
2
allora,
f (a + s) f (a+ ) + f (a s) f (a )
g (a + s) + g (a s) 2g (a)
=
s
s
sommabile, perci g nelle ipotesi del test del Dini. ck (g) = ck (f ) perch gli integrali di
(c.v.d.) funzioni uguali tranne in un insieme a misura nulla (un punto) sono uguali.
Allora se in un intorno qualsiasi di = 0, la funzione lipschitziana, i rapporti incrementali
sono limitati e vale la condizione di Dini, se mostriamo che f lipschitziana a tratti implica
lesistenza di limiti destro e sinistro abbiamo un nuovo risultato per la convergenza puntuale.
Stabiliamo quindi il
Lemma VII.8
Dimostrazione
Sia f una funzione lipschitziana a tratti, allora f ammette finiti, limiti destri e sinistri in
ogni punto.
Sia per x < x0 e x > x0 f lipschitziana, allora, per x x0 f continua e si ha la tesi.
Vediamo per che esistono
lim f (x)
xx
0
Vediamo il limite sinistro. Se esiste esso finito perch la funzione localmente limitata. Sia
]a, x0 [ lintervallo in cui f lipschitziana, allora esiste M per cui
|f (x) f (y)| M |x y| , x, y ]a, x0 [
x0 il sup dei punti dellintervallo considerato, prendiamo allora {xn } ]a, x0 [, tale che xn
converge a x0 . In quanto convergente essa di Cauchy. Per ogni m, n N, si ha
|f (xm ) f (xn )| M |xm xn |
fissato > 0, esiste N, per cui se n > m , si ha
|f (xm ) f (xn )| M |xm xn | < M
ma allora anche f (xn ) di Cauchy, allora f (xn ) b R. Per la tesi ci basta vedere che
per ogni > 0 esiste tale che x < x < x0 implica |f (x) b| < . Fissiamo tale che
|x x0 | < /2M e |f (x ) b| < /2, se vediamo che |f (x ) f (x)| < /2 abbiamo finito.
Ma
e
|f (x ) f (x)| M |x x| M
=
(c.v.d.)
2M
2
Teorema VII.7
Dimostrazione
Dal teorema precedente, essendo f continua, si ricava la convergenza puntuale. Per ottenere
la convergenza totale notiamo che
per la disuguaglianza dellenergia, (valida per ogni funzione in L2T ) sabbiamo gi che la serie
dei moduli dei quadrati dei ck convergente, vediamo adesso che ci vero per la serie dei
moduli.
Siccome f C 1 a tratti, possibile integrare per parti (f sar continua a tratti). Per n 6= 0,
troviamo
Z T
Z T
int T
int
cn f
e
e
f (t) eint dt = f (t)
f (t)
cn (f ) =
dt =
in 0
in
in
0
0
La funzione f, essendo continua
a tratti a quadrato sommabile.
diseguaglianza dellenergia ai cn f . Abbiamo
m
2 2
X
cn f f 2
n=m
,
cn f
|in| nJm
nJm
si ha
m
X
n=1
|cn (f )|
m
2
X
cn f
n=1
!1/2
m
X
1
2
n2
n=1
!1/2
Applichiamo la
n=1
analogamente
n=1
2
|cn (f )| M f 2
2
|cn (f )| M f 2
Esempio VII.1
2
X
|cn (f )| |c0 (f )| + 2M f 2
L
(c.v.d.)
Ma allora la serie converge uniformemente al suo limite puntuale, cio alla funzione stessa.
2
T T
t 7
t, t ,
T
2 2
T
7 0
2
estesa per T -periodicit sulla retta reale. Calcoliamone la serie di Fourier che sappiamo
converger puntualmente ovunque alla funzione. Abbiamo, per n > 0
T /2
Z T /2
Z T /2
Z T /2
2 int
2 d eint
2
2 eint
2
dt =
+
te
t
dt =
tein T t
dt
T cn (f ) =
in
2in
T /2 T
T /2 T dt
T /2 T in
T /2
T
T in T in
1
+ e
=
e
cos (n)
=
in 2
2
in
infine
n+1
cn =
cos (n)
2 cos (n)
2 (1)
an = 0, bn =
=
in
n
n
Ora, calcoliamo
(Sm Sn ) cos
t
2
m
k+1 ikt
eikt eit/2 + eit/2
2 X (1)
e
=
k
2i
2
k=n+1
m
X
m
m
1 X (1)k+1
1
1 X (1)k+1
1
=
sin k +
t+
sin k
t=
k
2
k
2
k=n+1
k=n+1
m
m1
k+1
h+2
1
1 X (1)
1
1 X (1)
sin k +
t+
sin h +
t=
=
k
2
h+1
2
k=n+1
h=n
1 (1)n+2
1
1 (1)m+1
1
=
sin n +
t+
sin m +
t
n+1
2
m
2
m1
(1)k+1 (1)k+2
1 X
1
+
+
sin k +
t
k
k+1
2
k=n+1
!
!
m1
m1
X
X
(1)k+1
k (1)k+2 + k (1)k+1 + (1)k+2
(1)k+2
+
=
=
k
k+1
k (k + 1)
k=n+1
k=n+1
m1
X
k=n+1
k (1)k+1 (1 + 1) + (1)k+2
k (k + 1)
m1
X
k=n+1
(1)k+2
k (k + 1)
m1
t
1 1
1 1
1 X
1
|Sm Sn | cos
+
+
2
n+1 m
k (k + 1)
k=n+1
cos
daltra parte
m1
X
k=n+1
sicch
t
t
T
> 0, < |t| <
2
2
2
2
m1
X 1
1
1
1
1
=
k (k + 1)
k k+1
n+1 m
k=n+1
|Sm Sn | cos
per |t| p < T /2, cos (t/2) cos (p/2)
sup |Sm Sn |
|t|p
t
2 1
2
n+1
1
2 1
cos (p/2) n + 1
da cui, sul dominio scelto le sommeparziali formano una successione di Cauchy e quindi si ha
convergenza uniforme.
Sfruttando la convergenza uniforme sui compatti in cui f continua della funzione dellesempio
precedente si giunge alla seguente importante generalizzazione.
Teorema VII.9
(di convergenza
uniforme)
Dimostrazione
Sia f discontinua (discontinuit che abbiamo gi visto sono a salto) nei punti t1 , . . . , th , in un
intervallo-periodo, allora sia dellesempio precedente, ogni periodo essa ha salto 1. Passiamo
a considerare la funzione
h
X
k
F (t) = f (t) +
(t tk + T /2)
2
k=1
essa continua e regolare a tratti, perci la sua serie di Fourier converger uniformemente a
F . Ma la serie di Fourier di f si ottiene dalla somma di un numero finito di serie, quella della
F che converge uniformemente e quella delle h
k
(t tk + T /2) ,
2
perci sar uniformemente convergente negli intervalli in cui esse convergono uniformemente,
(c.v.d.) cio nei compatti che non contengono i tk .
Per lintegrazione delle serie di Fourier, si ha il seguente
Teorema VII.10
(integrazione
termine a
termine)
Rt
t0
ck (f )
, k 6= 0
ik
(ii) La serie
+ Z
X
ck (f ) eiks ds
t0
Per (i) si noti che G (t) la funzione integrale nulla in t0 della funzione f (t) c0 (f ), essa
ha media nulla su un periodo ed periodica, ne consegue che G (t) T -periodica:
Z T
Z T
Z
Z T
1 T
f (t) c0 (f ) dt =
f (t) dt T c0 (f ) =
f (t) dt T
f (t) dt = 0
T 0
0
0
0
Abbiamo che G (t) T -periodica e continua. Inoltre ha per derivata f (t) c0 (f ), perci
C 1 a tratti. Ricade nelle ipotesi del teorema di convergenza uniforme. Sfruttiamo ora il fatto
che f (t) = dG/dt + c0 (f ) e che dG/dt continua a tratti, per n 1
Z
Z
Z
1 T dG
1 T dG int
c0 (f ) T int
cn (f ) =
dt +
e
dt =
+ c0 (f ) eint dt =
e
T 0
dt
T 0 dt
T
0
T
Z
in T
1
int
+
G (t) eint dt = in cn (G)
=
G (t) e
T
T 0
0
se ne ricava che
cn (G) =
Veniamo a (ii):
+ Z t
X
ck (f ) eiks ds = c0 (f ) (t t0 ) +
t0
= F (t)
(c.v.d.)
cn (f )
in
+
X
, k6=0
+
ck (f ) ikt X ck (f ) ikt0
= c0 (f ) (t t0 ) + G (t)
e
e
ik
ik
uniformemente.
k=0
m (s)
m1
1 X
Dk (s) , s C
m
k=0
Come media di quantit aventi media integrale 1, la media integrale del nucleo di Fejer 1.
Diamone adesso unespressione pi concisa. Ricordando che
Dk (s) =
supponiamo ora s
/ 2Z, cos
m1
X
eis/2
Dk (s) =
k=0
m1
P
k=0
eiks eis/2
eiks
k=0
eis/2 eis/2
eims 1
1
eis/2 eis/2 eis/2 eis/2
ims
ims
1
1
1
is/2 e
is/2 e
e
= is/2
e
=
eis 1
eis 1
e
eis/2
eims 1
2 cos (ms) 2
eims + eims 2
=
+ is/2
=
2 =
is/2
is/2
is/2
e
e
sin2 (s/2)
e
e
sin2 (ms/2)
2 (1 cos (ms))
=
sin2 (s/2)
sin2 (s/2)
1 sin2 (ms/2)
m sin2 (s/2)
Dimostrazione
Sia T > 0, se 0 < < T /2, la successione di funzioni m (t) converge uniformemente a 0
in [, T ] + T Z.
Abbiamo
0 m (t)
1
1
m sin2 (t/2)
0 m (t)
m sin2 (t/2)
m sin2 (/2)
(c.v.d.)
Teorema VII.11
(di Fejer)
Dimostrazione
f (a + ) m ()
da cui
f (a) m ()
d
=
T
[f (a + ) f (a)] m ()
d
,
T
Z
Z
T /2
T /2
d
d
| m f (a) f (a)|
[f (a + ) f (a)] m ()
|f (a + ) f (a)| m ()
T /2
T
T
T /2
Fissato > 0, esiste > 0 tale che sia |f (a + ) f (a)| , se || < , posto allora
max {m (t) |t [, T ] + T Z } :
Z
Z
d
d
| m f (a) f (a)|
m ()
|f (a + ) f (a)| m ()
+
+
T
T
T /2
Z T /2
d
|f (a + ) f (a)| m ()
+
T
Z
Z
d
d
m ()
|f (a + ) f (a)| cm ()
+
+
T
T
T /2
Z T /2
d
|f (a + ) f (a)| cm ()
+
T
Z T /2
Z
d
d
m ()
(|f (a + )| + |f (a)|)
+ cm ()
+ cm () [|f |L1 + |f (a)|
T
T
T /2
cm
(c.v.d.)
la conclusione.
Capitolo VIII
Forme dierenziali
In questo capitolo studieremo in dettaglio le applicazioni dagli aperti di Rn a valori nel suo
duale. Queste si chiamano forme dierenziali e comprendono i dierenziali delle funzioni reali
definite su Rn .
n
X
ai (x) dxi
i=1
Sono perci definite univocamente n funzioni ai (x) definite da A in R. A seconda che esse
siano continue oppure C k , la forma dierenziale si dir continua o C k .
ai ( (t)) i (t) dt
a i=1
n
bX
a i=1
n
dX
i=1
ai ( (r)) i (r) dr =
nel caso in cui p sia crescente, perci il sostegno sia percorso nello stesso verso nelle due
parametrizzazioni. In caso contrario, si devono invertire gli estremi di integrazione e con ci
Z
Z
=
Riassumendo
Proposizione VIII.1
Siano e due curve equivalenti e sia una forma dierenziale continua in un intorno del
loro sostegno. Risulta
Z
Z
=
Da quanto detto emerge che laspetto importante nellintegrazione non tanto la curva, ma il
suo sostegno. Nellinsieme delle curve la relazione essere equivalenti , appunto, di equivalenza.
Ogni classe di equivalenza (che rappresentata, appunto dal sostegno comune a tutte le curve
della classe) si dice cammino. Allinterno di una classe di equivalenza, scelto un orientamento,
la sottoclasse di curve avente quello stesso orientamento si dice cammino orientato.
Si pu perci definire lintegrale di lungo un cammino orientato come lintegrale lungo
una qualsiasi curva avente come sostegno percorso nel verso specificato
Z
Poi, se
Un esempio
importante
Sia A Rn e sia F (x) (F1 (x) , F2 (x) , F3 (x)) un campo di forze in A. Allora la forma
dierenziale
(x) F1 (x) dx1 + F2 (x) dx2 + F3 (x) dx3
il lavoro elementare della forza in x. Scelto un cammino tutto contenuto in A il lavoro
compiuto sul cammino lintegrale della forma.
Integrale del
dierenziale di
una funzione
Sia f : A R una funzione C 1 (A), e sia : [a, b] A una curva regolare a tratti. Si ha
Z
Z bX
n
f
df =
( (t)) i (t) dt
a i=1 xi
Ora, posto F (t) f ( (t)) , t [a, b], funzione continua a tratti, risulta
F (t) =
da cui
df =
n
X
f
( (t)) i (t)
xi
i=1
b
a
x1 , x2 risulta
df = f (x2 ) f (x1 )
Lemma VIII.1
Sia A un aperto connesso di Rn . Se x0 e x1 sono due punti di A, esiste una curva regolare
a tratti, con sostegno contenuto in A e avente come estremi i punti x0 e x1 .
Dimostrazione
Fissato x0 A, indichiamo con B linsieme dei punti di A che possono essere congiunti a x0
mediante una curva regolare a tratti avente sostegno in B. Per dimostrare il lemma baster
vedere che B = A.
Intanto vediamo che B aperto. Sia x B e sia : [a, b] A, una curva con (a) = x0
e (b) = y. Poich A aperto esiste I y-palla tutta contenuta in A. Sia x I. La curva
: [a, b + 1] Rn di equazioni
(t) , t [a, b]
y+ (t b) (x y) , t ]b, b + 1]
Dimostrazione
la tesi equivale a trovare una funzione f di classe C 1 (A), tale che per ogni x A risulti
f
(x) = ai (x)
xi
(t) , t [a, b]
(t)
x+ (t b) hv, t ]b, b + 1]
si trova che (x0 , x + hv). Allora
Z
Z
Z
f (x + hv) =
=
+
n
b+1 X
i=1
Perci
1
f (x + hv) f (x)
=
h
h
i=1
n
hX
ai (x+sv) vi ds
i=1
(c.v.d.)
X
f
ai (x) vi
(x) =
v
i=1
Corollario VIII.1
Dimostrazione
Una curva chiusa se i due estremi coincidono, cosicch, se esatta, la tesi immediata.
=0
vogliamo vedere che esatta. A tale scopo prendiamo due punti di A x e y. Siano
1 , 2 (x, y)
definite rispettivamente su [a, b] e su [c, d]. Definiamo adesso 3 : [b, b + 1] R come
3 (t) 2 (d (d c) (t b))
che equivalente a 2 e ne percorre il sostegno in senso inverso, perci
Z
Z
=
1 (t) , t [a, b]
(t)
3 (t) , t ]b, b + 1]
=0=
da cui
(c.v.d.)
=
1
e quindi
ai
aj
(x) =
(x)
xi
xj
Una forma per cui risulti identicamente
ai
aj
(x) =
(x) , i, j Jn
xi
xj
si dice chiusa. Si perci trovato che una forma esatta (di classe C 1 ) chiusa. La
condizione trovata perci necessaria. Si pu vedere che non suciente (considerando nel
piano privato dellorigine la forma
y
x
(x, y) = 2
dx + 2
dy
x + y2
x + y2
e calcolandone lintegrale sul circolo unitario).
La condizione di chiusura diventa equivalente a quella di esattezza se si fa lipotesi che A sia
stellato:
Definizione VIII.4
Lemma VIII.2
(di Poincar)
Sia A un aperto stellato rispetto a un suo punto x0 . Ogni forma C 1 (A) e chiusa esatta
Dimostrazione
n
1X
i=1
ai (x0 + t (x x0 )) xi x0i dt
Vediamo che f una primitiva di usando il teorema di derivazione sotto il segno di integrale
Z 1X
Z 1
n
ai
f
0
(x) =
t
(x0 + t (x x0 )) x xi dt +
ah (x0 + t (x x0 )) dt
xh
0 i=1 xh
0
ah
(x0 + t (x x0 )) x x0i = dah (x0 + t (x x0 )) (x x0 ) = F (t)
xi
i=1
Si pu comunque dimostrare in modo del tutto generale che forme C 1 chiuse sono localmente
esatte.
Sia (t) una curva regolare a tratti e sia f (x) una funzione definita in un aperto contenente
il sostegno di , si definisce integrale di f lungo la quantit
Z b
Z
f ds
f ( (t)) k (t)k dt
Z
Z
d (u, v)
f d
f ( (u, v))
u
v
Esattamente come per larea della superficie, si dimostra che lintegrale di superficie non
dipende dalla parametrizzazione della stessa.
Un aperto limitato A di Rn si dice regolare se esiste una funzione di classe C 1 (Rn ) tale che
A = {x |F (x) < 0 }
A = {x |F (x) = 0 }
F (x) 6= 0, x A
F (x)
, x A
kF (x)k
Teorema
VIII.2 (della
divergenza)
Sia A un aperto regolare limitato e sia w (x) un campo vettoriale di classe C 1 (B) , B A.
Allora risulta
Z
Z
div w (x) dx =
(w|) d
A
Avendo dato la definizione di integrale su una superficie solo nel caso n = 2 (integrali curvilinei)
o n = 3 (integrali superficiali) ci limiteremo a questi due casi, pi precisamente al primo.
Dimostrazione
del teorema
della divergenza
Lemma VIII.3
Dimostrazione
(c.v.d.)
f
dxdy =
x
dy
b
a
f
dx =
x
f (b, y) f (a, y) dy = 0
0
1
1
0
=
1
1 + 02
(nel seguito ci porremo in questultima evenienza).
Lemma VIII.4
Dimostrazione
Abbiamo
Z
f
dxdy =
y
ma
f
dxdy =
y
x0 +r
dx
x0 r
(x)
y0 r
f
dy =
y
x0 +r
f (x, (x)) dx
x0 r
1
2 =
1 + 02
perci
f
dxdy =
y
x0 +r
x0 r
Z
p
02
f 2 (x, (x)) 1 + dx =
f 2 ds
AQ
quindi
(c.v.d.)
y0 r
f
dxdy =
x
x0 +r
x0 r
f 1 ds.
allora esistono
Siano Qi Q (Pi , ri ) , i JN , un numero finito di quadrati che ricoprono A,
1
2
N funzioni i in C R , tali che il supporto di i sia contenuto in Q (Pi , 2ri ) e tali che
N
X
i=1
Dimostrazione
i (x, y) = 1, (x, y) A
Consideriamo la funzione
1
1, |t|
2
2 2
1
g (t)
1/27 4 t2
2t + 1 , 1 < t 2 C R .
0, t > 2
Preso Pi (xi , yi ) definiamo i = g ((x xi ) /ri ) g ((y yi ) /ri ). i nulla fuori da Q (Pi , 2ri )
e risulta i = 1 in Qi . Poniamo ora
1
k
= 1
= k 1 k1 . . . (1 1 )
Le funzioni definite sono C 1 e nulle fuori da Q (Pi , 2ri ). Dimostriamo ora che
k
X
i=1
i = 1 (1 1 ) . . . (1 k )
i = 1 (1 1 ) . . . (1 k ) + k+1 (1 k ) . . . (1 1 ) = 1 (1 1 ) . . . 1 k+1
Dunque,
N
X
i=1
i = 1 (1 1 ) . . . (1 N )
Sia ora f C 1 (B), A B. Allora per ogni P A sia Q (P, r) tale che
(P, r) A;
(i) P A allora r sia tale che Q
i f dxdy =
dxdy =
( f ) dxdy
y i
A y
A y
i=1
i=1 A
Se Pi A allora, dal primo lemma si ricava che
Z
Z
i f 2 ds
( i f ) dxdy = 0 =
A y
A
(i f ) dxdy = i f 2 ds
A y
Infine si ricavano
f
dxdy
y
ZA
f
dxdy
A x
=
=
ZA
f 2 ds
f 1 ds
Ora, vediamo che succede se A il sostegno di una curva regolare chiusa parametrizzata da
(t) (x (t) , y (t)) , t [a, b], definito il versore tangente,
(t) =
(x,
y)
=p
2
kk
x + y 2
Dunque
Z
f
dxdy
A x
f 1 ds =
(y,
x)
(t) = p
x 2 + y 2
b
(f 1 ) ( (t)) kk
dt =
p
y
f (x (t) , y (t)) p
x 2 + y 2 dt =
x 2 + y 2
f ( (t)) y dt
definita la forma dierenziale f (x, y) dy lultimo integrale proprio lintegrale della forma
appena definita, con ci
Z
Z
f
f dy
dxdy =
A x
A+
Poniamo f = x allora
f
dxdy =
x
dxdy = m (A) =
xdy
A+
poniamo f = y analogamente
Z
Z
Z
f
dxdy = m (A) =
ydx
dxdy =
A y
A
A+
Infine
1
m (A) =
2
A+
(xdy ydx)
M dx
dxdy =
y
A
A+
Z
Z
N
M
=
dxdy
x
y
A+
A
Teorema VIII.3
Dimostrazione
Z
Z
N
M
dxdy = 0
x
y
B +
B
(c.v.d.)
e esatta.
=0
x = x (u, v)
y = y (u, v)
z = z (u, v)
Sia A un aperto regolare la cui chiusura sia contenuta nella parte interna di D. Chiamiamo
S limmagine secondo di A e chiameremo S il bordo di S, (A). Se : [a, b] D
parametrizza A e la orienta in modo positivo, la curva
: [a, b] R3
parametrizza S. Perci se ha equazioni parametriche
u = u (t)
, t [a, b]
v = v (t)
avr equazioni
x = x (u (t) , v (t))
y = y (u (t) , v (t)) , t [a, b]
z = z (u (t) , v (t))
X (x, y, z)
v (x, y, z) = Y (x, yz)
Z (x, y, z)
i
j
k
Yz + Zy
curl v det /x /y /z = Zx + Xz
X
Y
Z
Xy + Yx
Definita, nel solito intorno di S, la forma dierenziale associata a v
Xdx + Y dy + Zdz
possiamo enunciare, con le notazioni fissate, il seguente
Teorema VIII.4
(di Stokes)
S +
yu zv zu yv
u v
1
zu xv xu zv
n=
=
ku v k
ku v k
xu yv yu xv
Dimostrazione
Si ha
(curl v|n) d
+ (Xy Yx ) (xu yv yu xv ) du dv
Definiamo, in R , la forma
(curl v|n) d =
(Mv Nu ) du dv =
A+
=
[(Xxu + Y yu + Zzu ) u + (Xxv + Y yv + Zzv ) v]
dt =
A+
=
(c.v.d.)
[X (xu u + xv v)
+ Y (yu u + yv v)
+ Z (zu u + zv v)]
dt =
S +
F1 (x)
F F2 (x)
F3 (x)
3
X
Fi dxi
i=1
rappresenta il lavoro elementare della forza F, sicch sul tratto AB, il lavoro compiuto dal
campo di forze vale
Z
W =
Se F induce una forma esatta, cio se ha integrale nullo su ogni curva chiusa tutta contenuta
nel dominio, il campo di forze si dice conservativo, e in tal caso esiste la funzione U C 1 R3 ,
tale che
dU =
tale funzione si dice energia potenziale del campo F, ed tale che
Z
W (AB) =
= U (A) U (B)
Indice Analitico
algoritmo
di Volterra-Picard o delle approssimazioni successive,
82
aperto, 13
regolare, 196
armonica fondamentale, 172
azione
di un dieomorfismo su unequazione dierenziale, 110
baricentro, 165
base (di uno spazio vettoriale), 24
cammino, 192
orientato, 192
campo di forze
conservativo, 202
irrotazionale, 202
Cantor
insieme di, 124
chiuso, 13
chiusura, 14
coecienti di Fourier, 177
componente continua, 172
condizione di Dini, 183
continuit, 19
delle applicazioni bilineari, 30
delle forme lineari, 30
delle funzioni lineari, 28
uniforme, 35
contrazione, 39
convergenza
puntuale, 22
uniforme, 22
criterio
del confronto, 152
dellasintoto, 91
curva, 61
di fase, 77
integrale, 91
densit, 179
derivata
direzionale, 41
parziale, 44
derivato, 14
determinismo, 77
diametro, 15
dieomorfismo, 73
dierenziale, 45
dipendenza funzionale, 69
diseguaglianza
dellenergia, 178
di Bessel, 175
di Cauchy e Scwartz, 25
di Gronwall, 87
triangolare, 11
distanza, 11
continuit della, 20
divergenza, 197
duale, 24
energia, 173
energia potenziale, 202
equazione
di Eulero, 105
dierenziale
a variabili separabili, 88
lineare, 92
omogenea, 90
ordinaria, 78
integrale di Volterra, 79
equazioni
di Eulero-Lagrange, 167
di Hamilton-Jacobi, 170
equilibrio
punto di, 78
evoluzione temporale
operatore di, 77
flusso
continuit del, 106
di fase, 77
forma
dierenziale, 191
chiusa, 195
esatta, 193
forma quadratica, 25
frontiera, 14
funzione
caratteristica, 131
dierenziabile, 45
esponenziale di matrici, 97
integrabile, 149
misurabile, 137
misurabile su un insieme, 144
periodica, 171
semplice, 131
sommabile, 134
definizione generale di, 146
Indice analitico
operatoriale, 29
pi fine, 31
nucleo
di Dirichlet, 182
di Fjer, 188
omeomorfismo, 19
orbita, 77
palla, 12
parte esterna, 15
parte interna, 15
plurirettangolo, 113
polinomio trigonometrico, 171
primitiva, 193
problema di Cauchy, 78
prodotto
hermitiano, 25
scalare, 25
proiezione ortogonale, 174
prolungamento, 84
propriet
dellesponenziale di matrici, 98
pulsazione, 172
punto di accumulazione, 14
punto unito, 39
jacobiano, 46
lagrangiana, 166
lavoro, 192
elementare, 192
leggi di de Morgan, 14
lemma
delle contrazioni di Cacciopoli-Banach, 39
di Fatou, 155
di partizione dellunit, 198
di Poincar, 195
di Riemann-Lebesgue, 181
limite, 18
linee coordinate, 164
Lipschitz
costante di, 27
ranamento, 114
reticolato, 113
ricoprimento finito, 33
rotore, 201
massimi e minimi, 57
metodo
della variazione delle costanti arbitrarie, 96
metrica, 11
riemanniana, 168
misura
di Lebesgue, 117
di un aperto, 114
di un compatto, 115
esterna, 116
interna, 116
misurabile
insieme, 124
moto, 77
norma, 24
Indice analitico
completo, 16
normato, 24
sequenzialmente compatto, 32
totalmente limitato, 33
vettoriale, 23
spettro complesso, 172
successione, 16
convergente, 16
di Cauchy, 16
superficie, 164
supporto compatto, 133
teorema
degli zeri, 38
dei moltiplicatori di Lagrange, 74
del dierenziale totale, 47
del limite delle restrizioni, 19
del valor medio per derivate direzionali, 43
dellenergia potenziale, 202
dellinvertibilit locale, 73
delluniforme continuit, 35
della divergenza o di Gauss-Green, 197
delle funzioni implicite (I), 66
delle funzioni implicite (II), 72
delle orbite periodiche, 92
delle piccole oscillazioni, 110
di additivit numerabile della misura, 123
di Ascoli-Arzel, 83
di Beppo Levi, 154
di Bolzano-Weierstrass, 32
di cambiamento di variabile negli integrali, 163
di cambio di variabile nei limiti, 21
di caratterizzazione degli spazi compatti, 33
di Cauchy-Lipschitz o di esistenza locale, 80
di collegamento, 18
di continuit del flusso, 107
di convergenza puntuale della serie di Fourier, 185
di convergenza uniforme della serie di Fourier, 187
di derivazione composta, 55
di
Bibliografia