Beruflich Dokumente
Kultur Dokumente
a cura di
Davide Ferracin
i
Questopera stata rilasciata con licenza Creative Commons Attribuzione - Condividi allo stesso
modo 4.0 Internazionale. Per leggere una copia della licenza visita il sito web
http://creativecommons.org/licenses/by-sa/4.0/.
2015, Davide Ferracin (davide.ferracin@studenti.unimi.it)
Questo volume nasce dallesigenza di trascrivere gli appunti dei corsi di Analisi Matematica del
corso di laurea triennale in Fisica allUniversit degli Studi di Milano, precisamente
ii
Parte I
1 Insiemi numerici 3
1.1 Numeri razionali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Numeri reali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Spazi euclidei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Cardinalit degli insiemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5 Cardinalit del numerabile . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6 Cardinalit del continuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 Spazi metrici 12
2.1 Insiemi e distanze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2 Classificazione dei punti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3 Insiemi aperti, chiusi e limitati . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3 Successioni 19
3.1 Introduzione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 Successioni convergenti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.3 Successioni a valori reali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.4 Calcolo dei limiti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.5 Successioni monotone . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.6 Infiniti e infinitesimi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.7 Successioni asintotiche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.8 Condizione di Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.9 Classe limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.10 Insiemi compatti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4 Serie 31
4.1 Condizione di Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.2 Carattere delle serie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.3 Serie a termini positivi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.4 Serie a segni alterni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4.5 Convergenza incondizionata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
5 Limiti e continuit 37
5.1 Limiti di funzioni in spazi metrici . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.2 Limiti di funzioni reali a valori reali . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.3 Asintoti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.4 Continuit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.5 Continuit di funzioni reali a valori reali . . . . . . . . . . . . . . . . . . . . . . . 41
5.6 Punti di discontinuit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.7 Funzioni monotone . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
5.8 Funzioni invertibili . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
1
2
6 Calcolo differenziale 45
6.1 Rapporto incrementale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
6.2 Operazioni tra derivate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
6.3 Teoremi sul calcolo differenziale . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
6.4 Conseguenze del teorema di Lagrange . . . . . . . . . . . . . . . . . . . . . . . . 49
6.5 Formula di Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.6 Convessit di funzioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
7 Numeri complessi 55
7.1 Operazioni sui numeri complessi . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
7.2 Forma trigonometrica ed esponenziale . . . . . . . . . . . . . . . . . . . . . . . . 56
7.3 Potenze e radici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
7.4 Ordinamento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
Capitolo 1
Insiemi numerici
3
CAPITOLO 1. INSIEMI NUMERICI 4
Somma Prodotto
Propriet associativa (a + b) + c = a + (b + c) (a b) c = a (b c)
Propriet riflessiva a+b=b+a ab=ba
Elemento neutro a+0=0+a=a a1=1a=a
Opposto, reciproco a + (a) = 0 a a1 = 1, se a 6= 0
Propriet distributiva (a + b) c = ac + bc
c0 , c1 c2 c3 . . .
dove c0 N0 e c1 , c2 , . . . sono cifre in una serie infinita o finita, che non sia di periodo 9. Anche
per i numeri reali valgono le operazioni di somma e prodotto come definite per i numeri razionali,
e le propriet di ordinamento, quindi anche (R, +, ) un campo. Seguono alcune definizioni per
insiemi di numeri reali.
Definizione 1.2.2. Si definisce intervallo chiuso e limitato linsieme degli x per cui:
[a, b] = {x R : a x b}.
Si definiscono anche gli intervalli illimitati, inferiormente o superiormente, sia aperti che chiusi:
R = R {} {+}.
= sup A.
2p + 2 2p + 2
2
2 e < p,
p+2 p+2
da cui segue
che p2 > 2. Lestremo superiore, 2, che A sembrerebbe avere, in realt non tale
poich 2 / Q, quindi A non ha un estremo
superiore. Diversamente sarebbe se A non fosse un
sottoinsieme di Q ma di R: in tal caso 2 R quindi a pieno titolo lestremo superiore di A.
A partire da questa propriet si pu definire loperazione di addizione tra due allineamenti
infiniti di numeri reali. Per farlo, si costruiscono le somme dei troncati di due numeri approssimati
ogni volta ad una cifra decimale in pi: queste somme dei troncati saranno sempre minori della
somma reale dei due numeri, e formano una famiglia di elementi che ha un elemento superiore;
tale estremo la somma dei due numeri cercata.
Teorema 1.2.8. Assegnati due qualunque numeri reali distinti, si possono sempre trovare tra di
essi un numero razionale e un numero irrazionale.
Dimostrazione. Siano x < y due numeri reali: i loro allineamenti decimali sono
x = a0 , a1 a2 a3 . . . e y = b0 , b 1 b2 b3 . . . .
Rn = R R R = {x = (x1 , x2 , . . . , xn ) : xi R, i = 1, 2, . . . , n}.
Questultima deve essere non negativa per ogni valore di t R, vale a dire che il suo discriminante
deve essere negativo o nullo:
= hx, yi kxk kyk 0 (1.3.2)
2 2 2
|hx, yi| kxkkyk.
4
Teorema 1.3.4 (disuguaglianza triangolare). Dati due vettori x, y Rn , la norma della loro
somma minore o uguale della somma delle loro norme.
Dimostrazione. Questo teorema si dimostra a partire dalla disuguaglianza di Cauchy, con t = 1.
Il termine hx, yi, come qualunque numero, minore o uguale del suo modulo, quindi si pu
scrivere che
kxk + 2hx, yi + kyk kxk + 2|hx, yi| + kyk .
2 2 2 2
kx + yk kxk + kyk.
Questi elementi possono essere numerati con il metodo della diagonale, ottenendo
ordinata come sopra, risulta essere una successione, quindi in corrispondenza biunivoca con
linsieme dei numeri naturali, perci numerabile.
Teorema 1.5.4. Siano A1 , A2 , . . . , An insiemi numerabili. Il loro prodotto cartesiano
A1 A2 An
numerabile.
Dimostrazione. Si dimostra per induzione partendo da n = 2, ossia dal prodotto cartesiano di
due insiemi A = A1 e B = A2 : questo prodotto pu essere scritto come lunione dei prodotti
cartesiani di ciascun elemento di A con B.
AB =
[
{ai } B ,
ai A
Tutti gli insiemi {ai } B sono numerabili, e formano uninfinit numerabile quindi, per il teorema
1.5.3, A B numerabile.
Si dimostra che se laffermazione vera per n qualunque, lo anche per n + 1. Per n + 1 si ha
linsieme
(A1 A2 An ) An+1 .
Per lipotesi di induzione A1 A2 An numerabile, allora se A1 A2 An = A,
e poich An+1 numerabile per ipotesi, il prodotto cartesiano A An+1 numerabile, per le
conclusioni fatte al punto precedente.
Corollario 1.5.5. Q numerabile.
Dimostrazione. Ogni numero razionale si esprime come una frazione del tipo p/q, con p Z
e q N. Associando a p/q la coppia di elementi (p, q), linsieme di tutte le frazioni in
corrispondenza biunivoca con linsieme Z N (perch sono coppie di numeri, uno preso dagli
interi razionali e uno dai naturali), quindi numerabile. Poich Q un sottoinsieme infinito di
Z N, dato che esistono frazioni diverse che rappresentano lo stesso numero razionale, anchesso
numerabile per il teorema 1.5.4.
CAPITOLO 1. INSIEMI NUMERICI 10
ottiene la funzione
1 1
arctan x + : R (0, 1),
2
che una corrispondenza biunivoca tra R e (0, 1), che quindi hanno la stessa cardinalit.
Teorema 1.6.2. R ha cardinalit maggiore di N.
Dimostrazione. Basta dimostrare che lintervallo (0, 1) non numerabile, poich ci implica che
anche R non numerabile, per il lemma 1.6.1.
Per assurdo, sia (0, 1) numerabile, quindi sia una successione. Ogni elemento di questa
successione ha una sua rappresentazione decimale come
Se si costruisce un numero x (0, 1) come allineamento decimale, in modo che non coincida con
nessuno degli an , sar definito come
x = 0, x1 x2 . . . xn . . . ,
x1 6= 0, x1 6= 9, x1 6= a11 .
x2 6= 0, x2 6= 9, x2 6= a22 ,
xn 6= 0, xn 6= 9, xn 6= ann .
Il numero cos definito un allineamento decimale compreso tra 0 e 1, perch la sua parte intera
0 e le sue cifre decimali non sono 0, ed allo stesso tempo diverso da tutti i numeri an della
successione definita precedentemente se lintervallo (0, 1) fosse numerabile. Poich questo un
assurdo, tale intervallo non pu essere numerabile. Quindi anche R non numerabile.
Dal teorema 1.5.4 segue inoltre che anche Rn con n > 1 (n N) non numerabile. La
cardinalit dellinsieme dei numeri reali si chiama cardinalit del continuo. Lipotesi del continuo
di Cantor inoltre afferma che non esiste nessun insieme la cui cardinalit strettamente compresa
fra quella dei numeri interi e quella dei numeri reali.
CAPITOLO 1. INSIEMI NUMERICI 11
La cardinalit degli insiemi non si ferma a quella del continuo. Dato un insieme X, detto
insieme delle parti di X linsieme dei suoi sottoinsiemi, compresi linsieme vuoto e linsieme stesso,
e si indica con P(X). Ad esempio, linsieme delle parti di E = {a, b, c}
n o
P(E) = , {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, E .
Si dimostra che, sempre, linsieme delle parti ha cardinalit maggiore dellinsieme di partenza. In
particolare, se un insieme finito ha cardinalit N , il suo insieme delle parti ha cardinalit 2N .
Quindi non esiste un insieme che abbia cardinalit maggiore di tutti gli altri insiemi.
Capitolo 2
Spazi metrici
d : X X R,
0 se x = y,
(
dD (x, y) =
1 se x 6= y.
Definizione 2.1.3. Sia (X, d) uno spazio metrico. Dati un punto p X e r > 0, si chiama
intorno circolare (o bolla) di centro p e raggio r linsieme
12
CAPITOLO 2. SPAZI METRICI 13
pr p p+r
Figura 2.1: Intorno circolare in R con la distanza data dal valore assoluto.
Esempio 2.1.4. Ecco alcuni intorni dati dalle distanze che abbiamo definito nellesempio 2.1.2.
1. In (R, ||), gli intorni sono della forma B = {x R : |x p| < r}, che lintervallo aperto
(p r, p + r) (figura 2.1).
2. In (R2 , kk), gli intorni sono della forma B = {x R2 : kx pk < r}, che rappresenta un
cerchio, privato della circonferenza, di centro p e raggio r (figura 2.2).
3. In (R3 , kk), analogamente al punto precedente, gli intorni sono delle sfere di centro p e
raggio r, private della superficie sferica.
4. Con la distanza d , lintorno B(0, r) = {x R2 : max{|x1 |, |x2 |} < r} ha la forma di un
quadrato di lato 2r centrato nellorigine (figura 2.3).
B(p, r1 ) B(q, r2 ) = .
Dimostrazione. Sia d la distanza tra i due punti p, q. Definito r1 = r2 = d3 le due bolle hanno
intersezione vuota. In generale, qualunque coppia di raggi la cui somma sia minore della distanza
dei due punti adatta a dimostrare il teorema.
La propriet per cui x, y X esistono degl intorni aperti U di x e V di y tali che U V =
detta propriet di Hausdorff : per questo teorema ogni spazio metrico la soddisfa.
CAPITOLO 2. SPAZI METRICI 14
|x2 | < r
O r
|x1 | < r
f +r
f
r
f r
a b
r > 0 : B(p, r) A;
2. esterno ad A se esiste una bolla, centrata in p, tutta contenuta nel complementare di tale
insieme:
r > 0 : B(p, r) Ac ;
3. di frontiera se non interno n esterno, ossia se ogni bolla centrata in p contiene sia punti
di A sia del suo complementare:
Questa definizione disgiuntiva ed esaustiva, perch ogni punto rientra sempre in una soltanto
delle tre categorie. Linsieme dei punti interni di A si chiama interno e si indica con A, che non
coincide necessariamente con linsieme stesso. Linsieme dei punti di frontiera, che possono o
meno appartenere allinsieme (non si pu stabilire a priori) si chiama frontiera e si indica con A.
Esempio 2.2.2. Applichiamo le definizioni appena date a degli esempi importanti.
1. In ogni spazio metrico (X, d), linsieme X ha solo punti interni.
2. Ogni punto esterno ad un insieme vuoto.
3. Linterno di un intorno coincide sempre con lintorno stesso.
4. La frontiera di un intorno B(p, r) R2 la circonferenza di raggio r, centrata in p, cio
B = {x R2 : kx pk = r}.
5. La frontiera dello stesso insieme del punto precedente, ma in R3 , quindi il cerchio {x
R3 : (x1 p1 )2 + (x2 p2 )2 < r2 , x3 = p3 } R3 linsieme stesso, e non pi la sua
circonferenza.
6. La frontiera di Q R proprio R, perch ogni intorno di un punto razionale contiene infiniti
altri punti razionali e irrazionali (gli irrazionali formano il complementare di Q rispetto ad
R). Analogamente, R anche la frontiera di R \ Q.
7. Con la metrica discreta, se x A, allora B(x, 1) = {x} A, mentre se y Ac allora
B(y, 1) = {y} Ac , quindi ogni punto di un insieme ad esso interno, mentre ogni punto
del complementare esterno. Quindi la frontiera di un insieme sempre vuota, anche
perch qualsiasi intorno di raggio r 1 contiene soltanto il punto, che il centro della bolla,
quindi nessun altro punto delinsieme o del complementare.
Osservazione 2.2.3. Fissati uno spazio metrico (X, d) e un suo sottoinsieme A, se un punto
p X non esterno a tale insieme, allora ogni bolla centrata in p di qualsiasi raggio non un
sottoinsieme del complementare di A, cio la sua intersezione con A non mai vuota:
Definizione 2.2.4. Siano (X, d) uno spazio metrico e A X un suo sottoinsieme. Il punto
p X non esterno ad A si dice
di accumulazione per A, se ogni bolla centrata in p contiene punti di A, oltre al centro
stesso della bolla:
r > 0, B(p, r) A \ {p} =
6 ;
CAPITOLO 2. SPAZI METRICI 16
isolato, se esiste almeno una bolla centrata nel punto che non contiene altri punti dellinsieme,
oltre a p stesso:
r > 0 : B(p, r) A = {p}.
r > 0, |B(p, r) A| = .
Dimostrazione. Si supponga per assurdo che esista un raggio r tale che la bolla centrata in p
abbia cardinalit finita, quindi che r > 0 : B(p, r) A = {x1 , x2 , . . . , xn }. Per ogni punto xi di
questa bolla possiamo individuare la distanza ri = d(p, xi ) dal centro, per ogni i = 1, 2, . . . , n.
Poich linsieme di questi raggi ri finito (ha precisamente n elementi), lesistenza del suo minimo
certa. Allora preso un nuovo raggio r0 qualunque tale che r0 < min1in {ri }, una nuova bolla
centrata in p non conterr pi alcun elemento di A, infatti si ha che
B(p, r0 ) A = {p},
cio p un punto isolato, che la negazione della tesi. Quindi il teorema dimostrato.
Corollario 2.2.6. In ogni spazio metrico, il derivato di qualsiasi insieme di cardinalit finita
vuoto.
(X, d), A X, se A finito A0 = .
A chiuso A0 A.
Dimostrazione. (i) Se A chiuso, contiene i suoi punti di accumulazione. Sia p Ac , che quindi
per ipotesi, dato che A chiuso, aperto. Allora esiste una bolla centrata in p tutta contenuta in
Ac : quindi lintersezione di tale bolla con linsieme A deve essere vuota, e p non pu essere un
punto di accumulazione di A.
Esempio 2.3.3. Seguono alcuni semplici e comuni esempi per quanto abbiamo appena visto.
1. Ogni intervallo (a, b) R aperto, cos come (a, +) e (, b). Analogamente, [a, b],
[a, +) e (, b] sono chiusi. Intervalli del tipo [a, b) non sono aperti n chiusi.
2. In ogni spazio metrico (X, d), linsieme X aperto perch tutti i suoi punti sono interni.
Per X allo stesso tempo anche chiuso, perch contenendo tutti i punti non pu che
contenere anche quelli di accumulazione di X 0 . Allora X sia aperto che chiuso, e quindi
anche un insieme vuoto sia aperto che chiuso.
3. Ogni intorno aperto, per definizione, perch tutti i suoi punti sono interni.
4. In uno spazio metrico discreto, ogni insieme A X aperto, perch ogni suo punto
interno, ma allo stesso tempo tutti i punti sono isolati, quindi A0 = , quindi A (che
ovviamente contiene linsieme vuoto) anche chiuso.
Teorema 2.3.4. Siano (X, d) uno spazio metrico e {Ai }iI una famiglia qualunque di sottoinsiemi
aperti di tale spazio metrico. Allora
1.
A=
[
Ai aperto;
iI
Dimostrazione. 1. Sia p appartenente ad A, linsieme unione di tutti gli insiemi della famiglia:
questo punto deve allora appartenere ad almeno uno degli insiemi della famiglia, cio
k : p Ak . Poich tutti questi insiemi sono aperti, p interno a questo insieme Ak ,
quindi esiste una bolla contenuta tutta in questo insieme, la quale allora anche contenuta
nellinsieme unione: B(p, r) Ak A.
In generale, lintersezione infinita di aperti non aperta: ad esempio, sia Ai = (0, 1 + k1 ), per
i N, lintersezione d come risultato i=1 Ai = (0, 1], che non aperto n chiuso. Vale anche il
T+
seguente teorema, la cui dimostrazione si ricava dal precedente.
Teorema 2.3.5. Siano (X, d) uno spazio metrico e {Cj }jJ un una famiglia qualunque di
sottoinsiemi chiusi di tale spazio metrico. Allora
1.
C=
\
Cj chiuso;
jJ
che lunione di infiniti insiemi aperti, che per il teorema precedente aperta. Allora C
chiuso, per la definizione 2.3.1.
2. Analogamente, si ha
n
[ c n
Cc = =
\
Cj Cj c ,
j=1 j=1
che lintersezione di un numero finito di insiemi aperti, che quindi per il teorema precedente
aperto. Allora C chiuso, sempre per la 2.3.1.
Analogamente al controesempio precedente, lunione di infiniti chiusi non sempre chiusa: se
Cj = [0, 1 k1 ] con j N, si ha che j=1 Cj = [0, 1) che non chiuso, e nemmeno aperto.
S+
Definizione 2.3.6. Siano (X, d) uno spazio metrico e A X un suo sottoinsieme. Si chiama
chiusura di A, e si indica con A, il pi piccolo insieme chiuso che lo contiene. Questo insieme
coincide con lunione dellinsieme stesso con il suo derivato.
A = A A0 .
Si dimostrano che:
Teorema 2.3.7. Siano (X, d) uno spazio metrico e A X un suo sottoinsieme.
1. A sempre chiuso;
2. se F chiuso e A F , allora A F ;
2. con la metrica discreta il diametro di qualsiasi insieme di almeno due punti sempre 1,
quindi ogni insieme limitato.
Capitolo 3
Successioni
3.1 Introduzione
Le successioni sono famiglie di elementi del tipo {an }
n=1 , con an (X, d) e n N, e sono
propriamente definite come funzioni dellinsieme dei naturali su uno spazio metrico.
f : N (X, d).
Limmagine f (n), con n sempre naturale, viene indicata con an , che si chiama termine generale
della successione, che invece si indica, tra i vari modi, con {an }, che indica anche il suo codominio,
ossia linsieme delle immagini an . Si pu descrivere una successione, quindi, anche con lespressione
f : n f (n) = an .
Definizione 3.1.1. Si dice che una definizione soddisfa una propriet definitivamente se tale
propriet vera per n sufficientemente grande, cio se esiste un valore N tale che per ogni n > N
il termine an verifica la propriet.
diverso affermare che una successione verifica una propriet per infiniti n o definitivamente:
questultimo modo si usa per dire che, per tutti gli n maggiori di un certo numero N , la propriet
verificata. Ad esempio, la successione a valori reali an = (1)n soddisfa la propriet an = 1 per
infiniti n, ma non definitivamente, infatti continua ad oscillare tra 1 e 1 e non si pu stabilire
un numero n = N oltre il quale an verifichi sempre la propriet.
lim an = `.
n+
Teorema 3.2.3. Se la successione {an } a valori nello spazio metrico (X, d) convergente, allora
limitata.
Dimostrazione. Si scelga = 1 come raggio dellintorno. Sia ` il limite della successione: per
ipotesi, esiste un numero intero N tale che n N risulta an B(`, 1). Allora linsieme formato
dai valori di {an } per n N ha un diametro inferiore o uguale a 2, quindi limitata. Allora
poich linsieme dei valori della successione per n < N di cardinalit finita, limitato anchesso,
quindi tutta la successione limitata in quanto somma di due insiemi limitati.
19
CAPITOLO 3. SUCCESSIONI 20
Una successione limitata quando il suo codominio limitato, ma questo non implica
necessariamente che la successione converga ad un limite. Come esempio si pu considerare, come
prima, la successione an = (1)n che chiaramente limitata, ma non converge.
Teorema 3.2.4 (di unicit del limite). Siano {an } (X, d) e `1 , `2 X. Se an `1 e an `2
allora `1 = `2 , vale a dire che una successione, se converge, non pu convergere a due limiti
differenti.
Dimostrazione. Sia per assurdo `1 6= `2 . Deve allora esistere una distanza non nulla tra di
loro. Si considerino allora due raggi r1 e r2 tali che r1 + r2 d(`1 , `2 ): per il teorema di
Hausdorff 2.1.5 questi due raggi individuano rispettivamente gli intorni B(`1 , r1 ) e B(`2 , r2 ), tali
che B(`1 , r1 ) B(`2 , r2 ) = . Perch la successione converga ad entrambi i limiti, deve essere
definitivamente contenuta in entrambi gli intorni, ma ci assurdo, quindi i due limiti `1 e `2
devono coincidere.
f : N R.
n se n pari,
(
an =
1 se n dispari
Ovviamente questa successione non limitata, ma non verificato definitivamente che sia
arbitrariamente grande.
Teorema 3.3.3 (di permanenza del segno). Sia {an } una successione a valori reali convergente
ad a.
1. Se a positivo, allora gli elementi della successione sono definitivamente positivi.
2. Se la successione definitivamente positiva, allora a 0.
Dimostrazione. Se la successione converge ad un valore a positivo, scelto un > 0, arbitrariamente
piccolo, deve essere che a > 0. Poich a il limite della successione, i suoi elementi sono
definitivamente compresi nellintorno (a , a + ), ossia sono sicuramente maggiori di a .
Dato che a positivo, segue che anche gli an devono essere definitivamente positivi.
Sia ora definitivamente an > 0. Se il suo limite a fosse negativo, per il punto precedente la
successione dovrebbe essere definitivamente negativa, che assurdo: quindi il suo limite non
negativo.
CAPITOLO 3. SUCCESSIONI 21
Analogamente si dimostra che se {an } converge ad un valore a < 0, i suoi elementi sono
definitivamente negativi, e che se una successione convergente e definitivamente negativa, il suo
limite negativo o nullo. La seconda parte del teorema non linverso della prima, in quanto anche
se la successione definitivamente positiva il limite non sempre positivo, ma pu essere anche
nullo, come per la successione di 1/n, chiaramente sempre positiva ma convergente a 0. Questo
teorema pu essere traslato sostituendo 0 con un altro numero e verificando che la successione
converga ad un valore maggiore di quel numero. Questi ultimi due teoremi suppongono che il
limite della successione esista, infatti la convergenza della successione unipotesi fondamentale.
Teorema 3.3.4 (del confronto). 1. Siano {an }, {bn } e {cn } tre successioni a valori reali, con
an bn cn definitivamente. Se le successioni an e cn convergono entrambe ad un limite
, allora bn ammette il limite, e tale limite coincide con .
2. Siano {an } e {bn } due successioni a valori reali, con an bn definitivamente:
se an diverge a +, allora anche bn ammette il limite, che +;
se bn diverge a , allora anche an ammette il limite, che .
< an bn cn < + ,
A questa relazione segue che < bn < + , che significa che anche bn converge ad .
2. Nel caso in cui an +, segue che definitivamente an > M con M arbitrariamente grande.
Poich , per ipotesi, bn an , allora definitivamente si ha bn an > M , quindi bn > M ,
cio diverge a +. Analogamente si dimostra il caso in cui bn .
Nel teorema del confronto non nota a priori lesistenza dei limiti delle successioni che
sono dimostrate come convergenti o divergenti, quindi possibile utilizzare questo teorema per
dimostrare lesistenza di tali limiti. Dal teorema del confronto segue che
Osservazione 3.3.5. Sia {an } il prodotto di due successioni bn e cn . Se bn 0 e cn limitata, la
successione an = bn cn converge a 0.
Definizione 3.3.6. Sia {an } una successione convergente a valori reali. Si dice che an tende a
` R per eccesso (e si indica an `+ ) se la successione definitivamente compresa nellintorno
destro di `, cio in [`, ` + ). Analogamente, an tende a ` R per difetto (e si indica an ` ) se
la successione definitivamente compresa nellintorno sinistro di `, cio in (` , `].
Nei casi non compresi da questo teorema, il risultato delloperazione tra i due limiti non
definito, e si ha una forma di indecisione, e in questi casi il risultato non si pu sapere a priori,
deducendolo da teoremi o formule note, ma bisogna calcolarlo caso per caso, in quanto non mai
stabilito. Le forme di indecisione si presentano nelle seguenti forme:
0
0
1 00 0
0
Inoltre, si possono applicare alle successioni alcune funzioni elementari, come il logaritmo o le
funzioni trigonometriche, e il limite della funzione si pu calcolare come la funzione del limite
della successione, come afferma il seguente teorema.
Teorema 3.4.2. Sia {an } una successione a valori reali convergente al numero a. Sia f : D
R R una funzione elementare. Se la successione an e il suo limite a appartengono a D,
allora
f (an ) f (a).
logba n nc dn n! nn ,
con i vari coefficienti scelti opportumanente in modo che le successioni divergano. Il rapporto di
uno di questi infiniti per uno qualsiasi dei precedenti tende a infinito, con il segno opportuno, e
ovviamente il reciproco tende a zero.
Teorema 3.5.1. Tutte le successioni monotone sono regolari. Sia inoltre {an } una successione
a valori reali: se monotona crescente, allora
lim an = sup{an },
n+
CAPITOLO 3. SUCCESSIONI 23
an ` n e > 0 N : ` < aN `.
` < aN an `,
Tra le successioni monotone crescenti ne esiste una molto particolare, che definisce il numero
e. Si definisce infatti la successione
1
n
en ..= 1 + ,
n
lim en = sup{en } = e.
n+
Tale numero trascendente in quanto non mai radice di un polinomio a coefficienti razionali.
Una prima approssimazione del numero
A partire da questo si definiscono i logaritmi, cos come le potenze, in base e. Valgono inoltre i
seguenti limiti notevoli:
log(1 + n )
(1 + an )1/n ea ; 1;
n
e n 1 (1 + n )b 1
1; b.
n n
Dimostrazione. Il primo non altro che la successione en riscritta diversamente per una successione
infinitesima generica. Da questa si dimostrano:
log(1 + n )
log(1 + n )1/n log e, da cui 1.
n
CAPITOLO 3. SUCCESSIONI 24
Sia yn ..= a log(1 + n ), che infinitesima. Applicando la potenza in base e si trova che
eyn = ea log(1+n ) = (1 + n )a , quindi
(1 + n )a 1 eyn 1 yn eyn 1 a log(1 + n )
= = a.
n yn n yn n
con R ( anche positivo, poich i due termini della frazione sono positivi), allora:
se < 1, an converge a 0;
se > 1, an diverge a +.
Questo teorema inoltre garantisce lesistenza del limite della successione. Il caso in cui
= 1 non preso in considerazione in quanto di indecisione, e non non si pu dire niente sul
comportamento della successione.
Dimostrazione. 1) Sia < 1: allora, dato un numero > 0 arbitrariamente piccolo per cui
+ < 1, esiste N tale che per ogni n > N si abbia < an+1 /an < + , perch per la
definizione di limite la successione an+1 /an definitivamente contenuta in un arbitrario intorno
di . Allora, per questi valori di n, la successione an si pu scrivere come
an an an1 an2 aN +1
an = an = ... aN .
an1 an1 an2 an3 aN
Tutti i rapporti di questo tipo, cio ak /ak1 , sono per n > N minori di + , quindi
an < ( + )( + ) ( + )aN
= ( + )nN aN
aN
= ( + )n ,
( + )N
dove il termine aN /( + )N un numero, costante, mentre ( + )n una successione convergente
a 0. Dato che
aN
0 < an < ( + )n ,
( + )N
si ha che per il teorema 3.3.4 del confronto anche an 0.
2) Sia > 1, e analogamente al caso precedente si consideri > 0 tale che > 1; allora si
ha che, definitivamente, < an+1 /an < + , quindi N per cui n > N
tutte le frazioni
del tipo ak /ak1 sono maggiori di . Allora, riscrivendo la successione an come nel caso
precedente, si ha che
aN
an > ( )n ,
( )N
a cui segue, sempre per il teorema 3.3.4, che an +.
CAPITOLO 3. SUCCESSIONI 25
Teorema 3.6.2 (criterio della radice). Sia {an } una successione a valori reali definitivamente
positivi. Se esiste il limite del rapporto,
..= lim n an ,
n+
con R ( anche positivo, dato che largomento della radice positivo), allora:
se < 1, an converge a 0;
se > 1, an diverge a +.
La dimostrazione simile a quella del teorema precedente.
Grazie a questi teoremi possibile dimostrare alcuni dei confronti tra infiniti:
an
1. Sia xn ..= , con a > 1 e b > 0. La successione xn+1 /xn
nb
(n + 1 1)b 1
b
an+1 nb
xn
= n = a =a 1 a.
xn+1 a (n + 1)b (n + 1)b n+1
an
Per il criterio del rapporto, poich a > 1 allora xn +, cio +.
nb
n!
2. Sia yn ..= , con a > 1. La successione yn+1 /yn
an
yn (n + 1)! an n+1
= = > 1.
yn+1 an+1 n! a
Quindi yn + per il criterio del rapporto.
ossia se la distanza tra due generici elementi della successione definitivamente infinitesima.
Osservazione 3.8.2. Se una successione converge, soddisfa necessariamente la condizione di Cauchy.
Dimostrazione. Sia {xn } una successione convergente a p. Per la distanza triangolare, presi due
elementi xn e xm della successione, si ha
Questo non significa per che una successione che soddisfa la condizione di Cauchy sia anche
convergente: non vale insomma il teorema inverso.
Osservazione 3.8.3. Ogni successione che soddisfa la condizione di Cauchy limitata.
Dimostrazione. Sia = 1, allora per la condizione di Cauchy N : n N si ha d(xn , xm ) < 1.
Quindi per n N si ha che xn B(xN , 1). Al di fuori dellintorno rimangono al pi un numero
finito di elementi (tutti quelli per cui n < N ): sia ri = d(xN , xi ) con i = 1, 2, . . . , N 1, preso
un qualunque R > max{ri } allora tutta la successione {xn } compresa in B(xN , R), perci
limitata.
La successione di Cauchy quindi implica la limitatezza della successione, ma non ancora
sufficiente per determinarne la convergenza. Questa propriet infatti dipende dallo spazio metrico
in cui posta la successione.
Esempio 3.8.4. Nei seguenti esempi vediamo come la condizione di Cauchy sia insufficiente a
stabilire se una successione converge o meno.
1. Nello spazio metrico (Q, ||), una successione qualsiasi convergente a 2, come ad esempio
quella dei troncamenti degli allineamenti decimali che la approssimano, soddisfa la condizione
di Cauchy, in quanto converge in R dato che la metrica la stessa per entrambi gli spazi
metrici. Tuttavia il limite di tale successione non appartiene a Q, perci non converge.
2. Si definisca per ogni m, n N la distanza d (n, m) = n1 m . Si pu dimostrare che (N, d )
1
se vale m, n > /2. Tuttavia la successione non converge, infatti supposto che converga al
limite k N, si ha
1 1 1
lim d (xn , k) = = 6= 0.
n+ k n k
Esistono per alcuni spazi metrici in cui ogni successione che soddisfa la condizione di Cauchy
anche convergente.
CAPITOLO 3. SUCCESSIONI 27
Definizione 3.8.5. Uno spazio metrico si dice completo se in esso ogni successione che verifica
la condizione di Cauchy anche convergente.
Gli spazi (Q, ||) e (N, d ) non sono quindi completi, per i controesempi precedenti. Gli spazi
(Rn , kk) invece lo sono, come dimostrato di seguito.
Lemma 3.8.6. Sia {In }
n=1 una successione di intervalli chiusi, con In+1 In n. Allora
In 6= .
\
n=1
Sia ora per assurdo che B < A, che quindi individuano lintervallo [B, A]. Allora per i limiti
precedenti N : n N an [B, A] e M : n M bn [B, A]. Quindi se si prende K
max{N, M }, poich per ipotesi an < bn , si avr che B < aK < bK < A. Ma proseguendo con gli
indici, per H > K si avr B < bH < aK < A, che contrasta con lipotesi per cui an bn per ogni
n N. Allora deve essere A B, quindi lintervallo [A, B] contenuto nellintersezione di tutti
gli In . Se infine an e bn tendono ad un unico limite p, allora lintervallo si riduce a [A, B] p,
quindi lintersezione degli In formata soltanto dal punto isolato p.
In pi dimensioni, cio in Rk con k 2, un (iper)rettangolo il prodotto cartesiano di k
intervalli:
[a1 , b1 ] [a2 , b2 ] [ak , bk ]
ed quindi determinato da due vettori a, b Rk con ai < bi i = 1, 2, . . . , k.
Lemma 3.8.7. Sia {In } k
n=1 una successione di iperrettangoli chiusi in R , con In+1 In n.
Allora
In 6=
\
n=1
|xn z| diam{In }.
Poich diam{In } 0, per il teorema del confronto si ha che |xn z| 0, cio la successione
{xn } ammette limite ed
xn z.
CAPITOLO 3. SUCCESSIONI 28
Teorema 3.8.9. Sia {xn } una successione a valori in Rk e sia x Rk . Allora kxn xk 0 se
e solo se
i = 1, 2, . . . , k si ha che |xi,n xi | 0.
Ci significa che una successione a valori in Rk converge a x se e solo se le successioni numeriche
delle distanze tra le omologhe componenti di xn e x convergono tutte a 0.
x1 B1 (p, 1)
1
x2 B2 (p, )
2
1
x3 B3 (p, )
3
..
.
1
xn Bn (p, )
n
..
.
assume infiniti valori per n + al variare di k N, quindi la sua classe limite N. La classe
limite per non mai vuota, come dimostra il seguente teorema.
Teorema 3.9.4. In R la classe limite non mai vuota.
Dimostrazione. Sia {xn } una successione a valori reali. Se essa assume un numero finito di valori,
se si considera la sottosuccessione costante di uno di questi valori, ripetuto infinite volte, la classe
limite allora composta almeno da quel valore: non quindi vuota. Se invece la successione
assume infiniti valori distinti, si distinguono due casi:
se xn superiormente illimitata, allora si pu sempre estrarre una sottosuccessione divergente
a +, o a se inferiormente illimitata.
inoltre p un punto di accumulazione di {xn } perch negli In sono contenuti infiniti elementi,
quindi esiste una sottosuccessione estratta da {xn } convergente a p, per il lemma 3.9.1.
1. tutti gli insiemi di cardinalit finita sono compatti, poich ogni successione convergente
estratta da essi necessariamente (definitivamente) costante, e tale costante non pu non
essere nellinsieme;
2. linsieme E = [0, 1] R compatto, perch qualsiasi punto di accumulazione a cui pu
tendere una successione in E appartiene necessariamente ad E, poich coincide con la sua
chiusura E; vedremo infatti che ogni insieme di R chiuso e limitato compatto;
3. linsieme E = (0, 1] non compatto, perch la successione xn = 1/n tende a 0 che non
appartiene ad E;
4. anche un insieme come E = [a, +) non compatto, perch qualsiasi successione divergente
ha come limite +, che non appartiene allinsieme.
Dimostrazione. Sia F E (X, d), con E compatto e F chiuso, e sia {xn } F . Poich F E,
allora anche {xn } E, quindi per la compattezza di E risulta che xnk p E. Quindi
p F per il lemma precedente, dato che chiuso. Allora F anche compatto.
Teorema 3.10.5. Ogni insieme compatto necessariamente chiuso e limitato.
che per una contraddizione poich per il teorema del confronto d(xnk , z) dovrebbe con-
temporaneamente tendere a d(z, p) e divergere a +, quindi si conclude che E deve essere
limitato.
Le condizioni di chiusura e limitatezza non sono sufficienti a determinare la compattezza
di un insieme. Basti considerare E = N nello spazio metrico discreto: E chiuso e limitato,
ma la successione xn = n non ammette sottosuccessioni convergenti (infatti, ogni successione
convergente nella metrica discreta deve essere definitivamente costante).
Teorema 3.10.6 (Heine-Borel). Negli spazi metrici del tipo (Rk , kk), ogni insieme compatto
se e solo se chiuso e limitato.
Dimostrazione. gi stato dimostrato nel teorema 3.10.5 come un compatto sia necessariamente
chiuso e limitato. Sia ora {xn } E: sicuramente limitata, quindi (in R e in ogni Rk ) si pu
sempre costruire una sottosuccessione convergente, per il teorema 3.9.4. Allora, dato che E
chiuso, xn p E, quindi E compatto.
Teorema 3.10.7 (Bolzano-Weierstrass). Qualsiasi insieme di Rk di cardinalit infinita e limitato
ha sempre almeno un punto di acumulazione. Ossia, se E (Rk , kk) limitato e |E| = +,
allora E 0 6= .
Serie
Sia {an } una successione a valori reali. Si costruisce una successione che la somme dei termini
di an da 1 a k:
k
Ak ..=
X
an ,
n=1
detta serie di termine generale an e si indica con {Ak }. Ak la somma parziale di k elementi di
{an }, e la serie il limite per k + di questa somma parziale, e si indica con
+
X
an .
n=1
Il comportamento delle somme parziali, che analogo a quello delle successioni, determina il
comportamento della serie di termine generale:
se Ak converge, la serie converge;
se Ak diverge, la serie diverge;
se Ak oscilla, la serie oscilla o non ammette limite.
1
Esempio 4.0.1. Sia an = . La serie
n(n + 1)
1
+
X
n=1
n(n + 1)
1 1 1 1 1 1 1 1
k
Ak = = 1 + + + =
X
n=1
n(n + 1) 2 2 3 3 4 k k + 1
1
1 1.
k+1
Questa serie quindi converge a 1, perch Ak converge a 1.
Esempio 4.0.2. Sia an = q n . La serie
+
X
qn
n=1
31
CAPITOLO 4. SERIE 32
cio la successione {Ak } delle somme parziali soddisfa la condizione di Cauchy 3.8.1.
Perch {Ak } soddisfi la 3.8.1 deve essere che > 0 esiste N : h, k p0 si ha che
k h k
|Ak Ah | = an =
X X X
an an < .
n=1 n=1 n=h+1
lim an = S S = 0.
n+
Il fatto che sia una condizione necessaria implica che se il limite della successione an non
zero, la serie sicuramente non converge. Possono esistere per successioni convergenti, la cui serie
diverge, come ad esempio la serie armonica 1/n. Infatti, considerata la successione di somme
parziali da k a 2k, questa
1 1 1 1 1
2k
= + + + +
X
n k k+1 k+2 2k
n=k
CAPITOLO 4. SERIE 33
che, poich il termine generale monotono decrescente, tutta sicuramente maggiore dellultimo
addendo, 1/2k, moltiplicato per k volte (quanti sono gli elementi in questa somma), quindi
1 1 1 1 1 1
+ + + + > k = ,
k k+1 k+2 2k 2k 2
cio non soddisfa la condizione di Cauchy, quindi diverge.
Definizione 4.2.2. Si dice che la serie n=1 an converge assolutamente se la serie n=1 |an |
P+ P+
converge.
Teorema 4.2.3. Se una serie converge assolutamente, allora converge anche semplicemente.
Dimostrazione. La serie di |an | converge, quindi soddisfa la condizione di Cauchy. Per le propriet
dei valori assoluti quindi si ha che, > 0 N : m N e p 0,
m+p
X m+p
X
an |an | < ,
n=m n=m
P+ P+
Corollario 4.3.4. Siano n=1 an e n=1 bn due serie a termini positivi. Se an bn , le due
serie hanno lo stesso carattere.
Dimostrazione. Se infatti le serie sono asintotiche, il loro rapporto e certamente anche il reciproco
del rapporto tendono a 1. Quindi se bn /an 1, sicuramente contenuto in un intervallo arbitrario
(con estremo inferiore positivo, perch le serie sono a termini positivi) che contiene 1, ad esempio
(1/2, 2). Quindi
1 bn 1
< < 2 bn < an < 2bn .
2 an 2
Poich le costanti 1/2 e 2 non alterano il carattere della serie di bn , per il teorema 4.3.2 del
confronto anche bn converge.
Teorema 4.3.5 (criterio della radice). Sia n=1 an una serie a termini positivi. Supponendo
P+
che ..= limn+ n an :
se 0 < 1 la serie converge;
se > 1 la serie diverge, e inoltre an +.
Tutti questi rapporti del tipo ak /ak1 sono definitivamente minori di q, quindi
aN
an q n .
qN
Poich q n una serie geometrica di ragione minore di 1, la sua serie converge, e per il teorema
4.3.2 del confronto anche la serie di an .
an+1
2) Sia ora > 1. Allora si trova un numero p (1, ) per cui definitivamente > p. Il
an
termine an si pu riscrivere ancora come prima, ma questa volta tutti i termini sono maggiori di
p. Allora
aN
an pn N ,
p
e dato che pn una serie geometrica di ragione maggiore di 1 la sua serie diverge a +. Per il
teorema del confronto quindi la successione an tende a +, e la serie di an diverge.
Esempio 4.3.7. Usiamo il criterio del rapporto nei seguenti esempi.
CAPITOLO 4. SERIE 35
1. La serie di termine generale 1/n! converge. Infatti con il criterio del rapporto si ha
an+1 n! 1
= = 0, quindi converge.
an (n + 1)! n+1
2. La serie di termine generale xn /n! converge x R. Infatti con il criterio del rapporto
n+1
an+1 |x| n! |x|
risulta = = 0, quindi converge per qualunque valore di x reale.
an (n + 1)! x n n+1
Teorema 4.3.8 (criterio di condensazione). Sia n=1 an una serie a termini monotoni decre-
P+
scenti, per cui n si ha 0 < an+1 an . Le serie
+ +
2n a2n
X X
an e
n=1 n=1
n=1
convergente. Inoltre, indicata con S la somma a cui la serie converge, si ha che |Ak S| < ak+1 ,
cio lerrore che si compie troncando la serie a n = k, sempre pi piccolo del primo termine che
si tralascia.
Dimostrazione. La successione delle somme parziali al termine dispari 2k + 1 A2k+1 = A2k1 +
(1)2k a2k + (1)2k+1 a2k+1 = A2k1 + a2k a2k+1 . La differenza a2k a2k+1 positiva, perch
la successione monotona decrescente, allora A2k+1 A2k1 . Quindi la sottosuccessione
A2k+1 , di indice dispari, monotona crescente. Analogamente, A2k+2 = A2k + (1)2k+1 a2k+1 +
(1)2k+2 a2k+2 = A2k (a2k+1 a2k+2 ), in cui per lo stesso motivo precedente a2k+1 + a2k+2
positivo, quindi A2k+2 A2k e allora A2k+2 (che di indice pari) monotona decrescente. Si
ha inoltre che A2k+1 = A2k a2k+1 da cui A2k+1 A2k , dato che a2k+1 < 0. Siano Sp e Sd i
limiti a cui convergono rispettivamente le sottosuccessioni A2k e A2k+1 , poich sono limitate e
monotone, con Sp Sd . Portando al limite per n + lequazione A2k+1 = A2k a2k+1 si
ottiene che Sd = Sp 0 quindi Sd = Sp . Lunico limite della serie allora Sd = Sp = S.
Inoltre, si ha che A2k S A2k A2k+1 = a2k+1 , e analogamente SA2k+1 A2k+2 A2k+1 =
a2k+2 . Quindi in ogni caso risulta |Ak S| < ak+1 .
CAPITOLO 4. SERIE 36
Teorema 4.5.3 (Riemann). Sia n=1 an una serie convergente, semplicemente ma non asso-
P+
P+
lutamente. Siano , R con . Esiste sempre una permutazione di n=1 an per cui la
successione delle somme parziali di tale serie permutata abbia come limite massimo e come
limite minimo .
Capitolo 5
Limiti e continuit
Teorema 5.1.3 (di permanenza del segno). Sia (X, d) uno spazio metrico e siano E X, p E 0 .
Sia f : E R una funzione tale che per x p, f (x) `.
1. Se ` positivo, allora B(p, ) tale che la funzione sia positiva in B(p, ) E, con x 6= p;
2. Se B(p, ) per cui la funzione sia positiva in B(p, ) E, con x 6= p, allora ` 0;
1 Le successioni sono particolari applicazioni di questo tipo in cui (X1 , d1 ) = N.
37
CAPITOLO 5. LIMITI E CONTINUIT 38
`+
x
x0 x0 x0 +
Dimostrazione. Sia ` > 0 il limite a cui converge f (x) per x p: esiste un tale che ` > 0.
Per la convergenza della funzione in B(p, ) E si ha che i valori della funzione sono contenuti
nellintorno (` , ` + ), cio sono sempre maggiori di ` che positivo, quindi sono positivi.
Sia ora che la funzione positiva in B(p, ) E. Se ` fosse negativo, allora per il punto
precedente nellintorno la funzione dovrebbe assumere valori negativi, che assurdo: allora ` non
negativo.
cio ` < g(x) < ` + , che significa che nellintorno B, quindi per x p, si ha g(x) `.
5.3 Asintoti
Pu accadere che il grafico di una funzione tenda ad approssimarsi ad una retta allavvicinarsi
della variabile verso un punto di accumulazione: ci vuol dire che la distanza tra la funzione e
tale retta, detta asintoto, infinitesima.
Definizione 5.3.1. Sia f una funzione a valori reali definita, almeno, in un intorno di un suo
punto di accumulazione p. La retta r si dice asintoto di f pe x p se
lim d f (x), r = 0.
x p
Ovviamente qualsiasi retta pu essere asintoto di una funzione: sono particolari gli asintoti
verticali e orizzontali:
La retta y = a un asintoto orizzontale per la funzione f (x) se f (x) a per x o
x +, o anche entrambi. Nei primi casi, si chiama rispettivamente asintoto orizzontale
sinistro e destro.
La retta x = b un asintoto verticale per la funzione f (x) se per almeno x b o per
x b+ (ovviamente anche se valgono entrambi), si ha f (x) .
Gli asintoti obliqui invece si possono individuare, in assenza di asintoti orizzontali, con le equazioni
f (x)
m = lim e q = lim f (x) mx ,
x x x
5.4 Continuit
Definizione 5.4.1. Sia f : E (X1 , d1 ) (X2 , d2 ), e p un punto appartenente ad E. Si dice
che la funzione f continua in p se per ogni > 0 esiste in corrispondenza un > 0 tale che per
ogni punto x nellinsieme E e in un intorno di p di raggio si ha che limmagine di x appartiene
allintorno di f (p) di raggio .
punto isolato soddisfa automaticamente la definizione di continuit. Quindi segue che tutte le
successioni sono continue: linsieme N infatti composto da soli punti isolati. Se invece il punto
di accumulazione, allora f continua se e solo se limxp f (x) = f (p). Ovviamente una funzione
continua in tutto un insieme se e solo se continua in tutti i punti che lo compongono.
Teorema 5.4.2. Siano f : E (X1 , d1 ) (X2 , d2 ) e g : X2 (X3 , d3 ), e p un punto di E. Se
f continua in p, e g continua in f (p), allora la funzione g f continua in p.
Teorema 5.4.3. La funzione f : E (X1 , d1 ) (X2 , d2 ) continua in tutto E se e solo se per
ogni insieme A aperto in X2 la sua controimmagine f 1 (A) aperta in X1 .
Dimostrazione. Siano A un insieme aperto in X2 , e il punto p f 1 (A). La sua immagine
f (p) A, e dato che A aperto allora p necessariamente interno, quindi > 0 B2 f (p), A,
cio f (p) interno ad A. Dato che f continuain p, dato tale esiste un raggio che definisce
un intorno B1 (p, ) per cui f (B1 ) B2 f (p), A. Poich allora f (B1 ) A, passando alle
controimmagini risulta che B1 (p, ) f 1 (A), che quindi aperto.
Sia ora p E: poich la funzione definita in E, esiste limmagine f (p). Scelto un >
0, lintorno B2f (p), per definizione aperto. Sia A tale intorno, per ipotesi si ha che
f 1 B2 f (p), f 1 (A) aperto in X1 e certamente p, poich la controimmagine di f (p),
appartiene a questo
insieme. Allora p interno, quindi esiste un per cui B1 (p, ) f 1 (A), vale
a dire f B1 (p, ) B2 f (p), , ossia la funzione continua in p secondo la definzione 5.4.1.
esame. Esistono certe funzioni, per, tali per cui pu non essere in relazione con p e allora
fissato , dei punti che distano tra di loro meno di () hanno delle immagini che distano meno
di per qualunque punto dellinsieme considerato. Queste funzioni particolari rispondono alla
definizione seguente.
A questo punto ai fini della continuit della funzione non pi importante quale sia il punto
p nellinsieme E, ma si considera soltanto la distanza tra una qualsiasi coppia di punti. Per le
funzioni uniformemente continue infatti il raggio non dipende pi dal punto p preso come centro
dellintorno.
Teorema 5.4.7 (Heine-Cantor). Se f : E (X1 , d1 ) (X2 , d2 ) una funzione continua in E e
se tale insieme compatto, allora f uniformemente continua in E.
Dimostrazione. Sia per assurdo che f non sia uniformemente continua, ossia che esista > 0
tale che, per ogni > 0, esiste almeno una coppia di punti xi , yi E per cui se d1 (xi , yi ) allora
d2 f (xi ), f (yi ) . Posto = 1, si ha che x1 , y1 : d1 (x1 , y1 ) < 1 ma d2 f (x1 ), f (y1 ) .
Posto poi = 1/2, si ha che x2 , y2 : d1 (x2 , y2 ) < 1/2 ma d2 f (x2 ), f (y2 ) . Procedendo
in questo modo si costruisce una successione di infinitesima, per cui = 1/n, si ha che
xn , yn : d1 (xn , yn ) < 1/n ma d2 f (xn ), f (yn ) . Per linsieme E compatto, perci xnk
E, e analogamente ynk y E. Dato che la distanza tra questi due elementi d1 (xnk , ynk )
x
e tende a 0, i due limiti delle sottosuccessioni devono coincidere, allora x = y, quindi ynk x. A
questo punto anche le rispettive immagini dei limiti delle due sottosuccessioni devono coincidere,
perch la funzione continua, ad un valore f ( x), e ci significa che d2 f (xnk ), f (ynk ) 0, il
che per assurdo dato che per ipotesi si ha che questultima distanza non pu essere minore di
. La funzione allora uniformemente continua in E.
Chiaramente luniforme continuit della funzione non dipende soltanto dalla sua formula
algebrica, ma anche dallinsieme in cui la si studia. Ad esempio, la funzione f (x) = x2 non
uniformemente continua in un qualsiasi intervallo illimitato, ma lo diventa non appena lintervallo
in questione chiuso e limitato. In generale, come conseguenza, ogni funzione continua in un
intervallo [a, b] R anche uniformemente continua, nello stesso. Inoltre questo teorema fornisce
una condizione soltanto sufficiente: esistono funzioni continua in insiemi non compatti che sono
anche uniformemente continue.
Unaltra condizione sufficiente, pi semplice da verificare, per verificare la continuit uniforme
di una funzione la condizione di Lipschitz.
Definizione 5.4.8. Una funzione f : E (X1 , d1 ) (X2 , d2 ) si dice lipschitziana, di costante
M > 0, nellinsieme E se
Dimostrazione. Siano f (a) < 0 e f (b) > 0. Si consideri il punto medio di I0 ..= [a, b] e la rispettiva
immagine f ( a+b2 ), e lintervallo I1 = [a1 , b1 ], lungo la met di I0 , tale per cui o a1 = 2 o
a+b
b1 = 2 in modo che si abbia ancora che f (a1 )f (b1 ) < 0. Procedendo in questo modo, bisecando
a+b
lintervallo sempre di pi, si trova una successione di intervalli In = [an , bn ] in cui un elemento
sempre compreso nel precedente nellordine. La successione an monotona crescente, inoltre
sempre f (an ) < 0, mentre bn monotona decrescente e si ha f (bn ) > 0. La distanza tra i due an
e bn quindi
1
|bn an | = n (b a),
2
perch ogni intervallo come gi detto ampio la met del precedente, e questa distanza
infinitesima. Quindi sia an che bn tendono ad un unico limite x . Per il teorema di permanenza
del segno, risulta che f (an ) f (x) 0, e allo stesso tempo f (bn ) f ( x) 0 perci non pu
che essere f (x) = 0.
Teorema 5.5.2 (dei valori intermedi). Se f una funzione a valori reali definita e continua su
[a, b] R, allora essa assume tutti i valori compresi tra il suo massimo e il suo minimo.
Dimostrazione. Lintervallo [a, b] compatto quindi f per il teorema 5.4.5 ammette un massimo
e un minimo (assoluti). Sia m tale minimo e M il massimo. Traslando la funzione in verticale di
una costante c opportuna, in modo che m < 0 e M > 0, allora deve esistere per il teorema 5.5.1
un punto in cui f si annulla. Per qualsiasi valore di c tale che m c M allora deve esistere
in corrispondenza un punto in cui ci succede, allora f assume tutti i valori compresi tra m e
M.
Come conclusione, e conseguenza, di questi ultimi teoremi, resta il teorema seguente, di cui si
d la dimostrazione solo per la seconda parte.
Teorema 5.5.3 (Darboux). Sia I R un intervallo di qualunque tipo: se f : I R continua
(non costante), allora f (I) a sua volta un intervallo. Se inoltre I un intervallo chiuso e
limitato, anche la sua immagine un intervallo chiuso e limitato.
Dimostrazione. Se I un intervallo limitato e chiuso, del tipo [a, b], poich la funzione a variabile
reale, per il teorema di 5.4.7 Heine-Cantor lintervallo chiuso anche compatto, quindi per il
teorema 5.4.5 di Weiestrass la sua immagine ammette un massimo e un minimo (che sono il
minimo e il massimo della funzione per x [a, b]). Inoltre per il teorema precedente assume tutti
i valori tra tali massimo e minimo, quindi limmagine un intervallo chiuso.
di seconda specie se almeno uno dei limiti sinistro o destro in x0 infinito o non esiste. La
retta verticale di equazione x = x0 inoltre si dice asintoto verticale della funzione f (x).
CAPITOLO 5. LIMITI E CONTINUIT 43
di terza specie, o eliminabile, se esiste finito il limite per x0 ma in tale punto la funzione non
esiste o assume un valore differente dal limite. Questo tipo di discontinuit si pu eliminare
definendo una nuova funzione come
f (x) per x 6= x0
(
g(x) =
lim f (x) per x = x0 .
xx0
decrescente, allora
Questo teorema vale in tutti i punti dellintervallo, inoltre i limiti devono essere finiti poich
tutti i punti di (, ) devono poter essere ordinati. Da questo teorema si deduce che la funzione
non pu tendere allinfinito allinterno dellintervallo in cui monotona, n possono esserci punti
in cui i limiti non esistono o sono differenti dal valore della funzione, dato che salterebbe lipotesi
di monotonia o di intervallo: allora una funzione monotona pu presentare punti di discontinuit
solamente di prima specie.
Teorema 5.7.3. Se f : (a, b) R R una funzione monotona, le sue discontinuit sono solo
di prima specie, e sono al pi numerabili.
Dimostrazione. Sia x0 (a, b) un punto di discontinuit: allora esiste il limite della f (x) per
x x0 sia per difetto che per eccesso, e questi sono necessariamente diversi altrimenti sarebbe
continua, e finiti, dato che sono limitati da altri valori della funzione, che monotona. Sia f
crescente: esiste un intervallo (`1 , `2 ), attorno al punto di discontinuit, in cui `1 ..= limxx f (x)
0
e `2 ..= limxx0+ f (x). Ad un altro punto x 0 si associa in modo analogo lintervallo (`1 , `2 ). Dato
che f monotona, deve essere che (`1 , `2 ) (`1 , `2 ) = , poich `1 `2 . Infatti `2 = inf x>x0 f (x)
e `1 = supx<x0 f (x), e dato che x0 < x0 non pu mai succedere che `2 > `1 (al pi si ha il caso in
cui sono uguali, come per la funzione f (x) = bxc). Ci significa che (`1 , `2 ) (`1 , `2 ) = , anche
se sono aperti il caso in cui `2 = `1 non contemplato. Tutti questi intervalli trovati sono quindi
disgiunti, e per la densit di R in ognuno possibile individuare (almeno) un numero razionale e
uno irrazionale. Ad ogni punto di discontinuit si associa allora il numero razionale: p1 Q
con p1 (`1 , `2 ), ossia si applica una funzione che biiettiva, quindi le discontinuit sono in
corrispondenza biunivoca con Q, cio sono numerabili.
CAPITOLO 5. LIMITI E CONTINUIT 44
Calcolo differenziale
45
CAPITOLO 6. CALCOLO DIFFERENZIALE 46
Dimostrazione. Il teorema si dimostra perch loperazione di limite lineare, quindi il limite della
somma equivale alla somma dei limiti. Infatti il rapporto incrementale, per x x0 ,
A questo punto, come nel teorema precedente, si aggiunge e toglie il termine f (x0 )g(x0 ) al
numeratore:
f (x)g(x0 ) f (x0 )g(x) + f (x0 )g(x0 ) f (x0 )g(x0 )
=
g(x)g(x0 ) (x x0 )
x x0
= =
g(x)g(x0 )
f (x) f (x0 ) g(x) g(x0 )
g(x0 ) f (x0 )
x x0 x x0 f 0 (x0 )g(x0 ) f (x0 )g 0 (x0 )
= .
g(x)g(x0 ) g 2 (x0 )
in cui f (x) 6= f (x0 ), per cui il rapporto incrementale sarebbe semplicemente nullo. Poich f
continua, f (x) f (x0 ) quando x x0 , quindi questa espressione tende a
f 1 (y) f 1 (y0 ) x x0 1
= 0 .
y y0 f (x) f (x0 ) f (x0 )
Esempio 6.2.6. Ecco come esempio le derivate di due funzioni inverse molto importanti:
1. D(log x) esiste x (0, +) e vale
1 1 1
= = ;
(ex )0 (log x) (ex )(log x) x
2. D(arctan x) esiste x R a valori in , e vale
2 2
1 1 1
= = .
(tan x)0 (arctan x) (1 + tan2 x)(arctan x) 1 + x2
CAPITOLO 6. CALCOLO DIFFERENZIALE 48
Dimostrazione. Sia x0 un punto di massimo. Dato che x0 I, per la definizione 6.3.1 >
0 : x (x0 , x0 + ) si ha che f (x) f (x0 ). Il rapporto incrementale,
f (x) f (x0 )
x x0
negativo per x x+ 0 e positivo per x x0 , quindi per il teorema 3.3.3 di permanenza del
segno risulta che il suo limite rispettivamente minore o uguale a zero e maggiore o uguale a
zero, quindi non pu che essere nullo. Analogamente si dimostra se x0 un punto di minimo.
Al di fuori delle ipotesi di questo teorema non si pu affermare niente: ad esempio, per
f : [1, 3) R = |x|, si ha che 1 un punto di massimo relativo e 3 un punto di massimo
assoluto, ma entrambi non sono interni allintervallo di definizione, e il punto di minimo assoluto
0, in cui f non derivabile. La condizione del teorema 6.3.2 inoltre solo necessaria, infatti
f (x) = x3 ha derivata nulla in x = 0 ma tale punto non estremante.
Definizione 6.3.3. Si dicono punti stazionari i punti che soddisfano le ipotesi del teorema 6.3.2
di Fermat. Ossia, data una funzione f : I R, il punto x0 stazionario se x0
I e f 0 (x0 ) ed
nulla.
I punti estremanti di una funzione, quindi, possono solo essere punti stazionari, punti non
interni allintervallo di definizione oppure punti di non derivabilit.
Teorema 6.3.4 (Rolle). Sia f : [a, b] R una funzione continua in [a, b] e derivabile in (a, b).
Se f (a) = f (b), allora esiste un punto x0 (a, b) per cui f 0 (x0 ) = 0.
Dimostrazione. Se f costante tra a e b, allora banalmente la derivata nulla per ogni punto
dellintervallo (aperto). Se invece f non costante, per il teorema 5.4.5 di Weierstrass assume
almeno un punto estremante interno allintervallo (a, b). Per il teorema 6.3.2 di Fermat, in tale
punto la derivata nulla.
Teorema 6.3.5 (Cauchy). Se f, g : [a, b] R sono due funzoni continue in [a, b] e derivabili in
(a, b), esiste un punto z (a, b) per cui
ossia le due derivate sono proporzionali di un fattore che dipende unicamente dagli estremi
dellintervallo.
Dimostrazione. Si definisce la funzione ausiliaria (x) = g(b) g(a) f (x) f (b) f (a) g(x),
che soddisfa le ipotesi del teorema 6.3.4 di Rolle: una combinazione lineare di funzioni continue
e derivabili, quindi a sua volta continua e derivabile, e (a) = (b). Allora z (a, b) per
cui vale 0 (z) = 0, cio per cui g(b) g(a) f 0 (z) f (b) f (a) g 0 (z) = 0, da cui si ottiene la
(6.3.1).
CAPITOLO 6. CALCOLO DIFFERENZIALE 49
y
f 0 (x) = 0
f (a) = f (b)
x
a b
f (b) f (a)
f 0 (z) = . (6.3.2)
ba
Il teorema di dimostra semplicemente ponendo f (x) = f (x) e g(x) = x nel teorema 6.3.5
di Cauchy, ottendo cos la (6.3.2). Da questo teorema, ponendo a = x0 e b = x0 + h si ottiene
unaltra formula dellincremento finito:
La principale differenza con la 6.1.3 che in questo caso la funzione deve essere derivabile in
tutto (x0 , x0 + h) e non solo in un intorno di x0 . Inoltre il punto z solitamente sconosciuto.
Come gi visto per la definizione 5.4.8 delle funzioni lispchitziane, si ha anche che ogni funzione
con derivata limitata in un certo intervallo in esso anche uniformemente continua.
I seguenti teoremi sulla monotonia delle funzioni si applicano esclusivamente a degli intervalli.
Teorema 6.4.2. Sia f : I R una funzione almeno derivabile in
I e continua in I. Essa
monotona crescente in I se e solo se f 0 (x) 0 x
I;
per h < 0 numeratore e denominatore del rapporto incrementale sono entrambi negativi, e il
limite per h 0 positivo o nullo. Si conclude quindi che f 0 (x) 0 in I.
Si supponga ora che f 0 (x) 0 e siano x1 , x2 I con x1 < x2 . Per il teorema 6.3.6 di Lagrange
nellintervallo (x1 , x2 ) z (x1 , x2 ) : f (x2 ) f (x1 ) = f 0 (z)(x2 x1 ). Il secondo membro positivo
o nullo per le ipotesi fatte, quindi deve essere f (x2 ) f (x1 ) x I, vale a dire che la funzione
crescente.
La dimostrazione per il secondo caso del tutto analoga.
Vale inoltre che se f 0 (x) > 0 (f 0 (x) < 0) allora la funzione monotona strettamente crescente
(decrescente), ma non vale il teorema inverso: la funzione x3 , ad esempio, ha derivata nulla
nellorigine, ma essa crescente in tutto R. Inoltre i punti in cui una funzione crescente, o
decrescente, pu avere derivata nulla possono essere al pi uninfinit numerabile: non possono
formare un intervallo, altrimenti in esso la funzione sarebbe costante.
Teorema 6.4.3. Sia f : I R una funzione continua in I e derivabile in
I. Essa costante se
e solo se f 0 (x) = 0 x
I.
Dimostrazione. Si supponga che f sia costante: il rapporto incrementale sempre nullo perch
f (x0 + h) = f (x0 ) x
I, quindi la derivata sempre nulla. Supposto invece che la derivata sia
nulla, valgono entrambi i casi del teorema 6.4.2, quindi f sia crescente che decrescente, cio
deve essere costante.
importante che questo teorema sia verificato in un intervallo: se infatti consideriamo la
funzione f (x) = arctan x + arctan x1 , la sua derivata,
1 1 1 1 1
f (x) =
0
+ 2 =
1 + x2 x 1 + x12 1 + x2 1 + x2
nulla in ogni intervallo tutto a sinistra o tutto a destra dellorigine, ma non appena si considera
un insieme che contiene sia ascisse negative che positive (nellorigine la funzione non definita) il
teorema non si pu pi applicare. Si verifica infatti che f (x) = 2 x > 0, mentre f (x) = 2
x < 0, quindi non sempre costante.
Corollario 6.4.4. Sia f : I ..= (x0 , x0 + ) R una funzione derivabile in I, con f 0 (x0 ) = 0.
Il punto x0 un punto di:
massimo relativo (a tale intorno), se f 0 (x) 0 in (x0 , x0 ) e f 0 (x) 0 in (x0 , x0 + );
minimo relativo (a tale intorno), se f 0 (x) 0 in (x0 , x0 ) e f 0 (x) 0 in (x0 , x0 + ).
Teorema 6.4.5. Sia f : (x0 , x0 + ) R una funzione derivabile in (x0 , x0 ) (x0 , x0 + ).
Se esiste (finito) ..= limxx0 f 0 (x) R, allora f derivabile in x0 e f 0 (x0 ) = .
Dimostrazione. Nellintervallo (x0 , x0 + h), z (in dipendenza da h) in tale intervallo per cui,
dal teorema 6.3.6 di Lagrange il rapporto incrementale nellintervallo f (x0 +h)f h
(x0 )
= f 0 (z).
Quando h 0, dato che z nellintervallo (x0 , x0 + h), si ha che z x0 , e per ipotesi allora
f 0 (z) , cio la derivata di f esiste ed quando lintervallo si restringe a x0 .
La condizione solo sufficiente: se non esiste il limite della derivata, non si sa dire niente sul
suo comportamento in quellintorno. Da questo teorema inoltre si deduce che se una funzione
una derivata pu ammettere solo discontinuit di seconda specie.
Teorema 6.4.6 (de lHpital). Siano f, g : (a, b) R, con a < b anche infiniti, due funzioni
derivabili in (a, b) in cui sia g che g 0 non si annullino mai, cio g(x)g 0 (x) 6= 0 x (a, b). Se
oppure se
lim |g(x)| = +,
xa+
CAPITOLO 6. CALCOLO DIFFERENZIALE 51
e se esiste il limite del rapporto delle due derivate di f e g per x a+ , allora esiste anche il
limite del rapporto delle due funzioni e vale
f (x) f 0 (x)
lim+ = lim+ 0 . (6.4.1)
xa g(x) xa g (x)
Questo teorema pu essere utile per risolvere alcune forme di indecisione come [0/0] oppure
[/], e si pu iterare pi volte se la forma di indecisione si ripresenta, continuando con le
derivate seconde, terze e cos via.
Definizione 6.5.1. Siano x, x0 (a, b) e f : (a, b) R una funzione derivabile almeno n volte
in x0 . Il polinomio di Taylor di grado n centrato in x0
f (k) (x0 )
n
Pn f (x x0 ) ..= (x x0 )k . (6.5.1)
X
k!
k=0
Per approssimare una funzione nellintorno del punto x0 , si utilizza questo polinomio appena
definito, con laggiunta dellerrore che assume forme differenti a seconda del teorema utilizzato.
Teorema 6.5.2 (formula di Taylor con resto secondo Peano). Sia f : I R una funzione
derivabile n volte in x0
I. Localmente, per x x0 , si ha
f (x) = Pn f (x x0 ) + o (x x0 )n . (6.5.2)
f 000 (x0 )
f 0 (x) f 0 (x0 ) f 00 (x0 )(x x0 ) (x x0 )2
2!
f (4) (x0 ) f (5) (x0 ) f (n+1) (x0 )
(x x0 )3 (x x0 )4 (x x0 )n =
3! 4! n!
X f (k) (x0 )
n+1
= f 0 (x) (x x0 )k1 .
(k 1)!
k=1
Ponendo quindi g(x) ..= f 0 (x) si ottiene che f (k) (x) = g (k1) (x), e sostituendo k1 = j lequazione
diventa
X g (k1) (x0 )
n+1 n
g (j) (x0 )
(x x0 )k1 = g(x) (x x0 )j .
X
g(x)
(k 1)! j=0
j!
k=1
CAPITOLO 6. CALCOLO DIFFERENZIALE 52
g (j) (x0 )
n
(x x0 )j
X
g(x)
j!
(6.5.4)
j=0
.
(n + 1)(x x0 )n
Se f derivabile n + 1 volte in x0 , allora g in tale punto derivabile n volte, allora per lipotesi
di induzione poich vale la tesi per f 0 (x) = g(x), la (6.5.4) tende a 0, dato che la stessa della
tesi per n, ma divisa per n + 1. Allora la (6.5.3) vera, quindi si dimostrato il teorema.
Teorema 6.5.3 (formula di Taylor con resto secondo Lagrange). Siano f : I R e x0
I, con
f derivabile n + 1 volte in
I. Si ha per ogni x I che
f (n+1) (z)
f (x) = Pn f (x x0 ) + (x x0 )n+1 (6.5.5)
(n + 1)!
per qualche opportuno z nellintervallo di estremi x0 e x.
Per n = 0 si ottiene il teorema 6.3.6 di Lagrange.
Le differenze tra i due teoremi principalmente sono che mentre il primo, secondo Peano,
ha ipotesi locali (nellintorno di x0 ), quindi anche la tesi vale soltanto in tale intorno, per il
secondo, secondo Lagrange, x pu trovarsi dovunque in I, non occorre che x x0 , ma devono
solo appartenere entrambi a I.
f (b)f (a)
y=f (a)+ (xa)
ba
x
a b
Propriet 6.6.3. Sia f : (a, b) R derivabile almeno una volta in (a, b). f convessa in (a, b)
se e solo se x0 (a, b) il grafico della funzione sopra al grafico della retta tangente in x0 , cio
se x0 , x (a, b) si ha che f (x) f (x0 ) + f 0 (x0 )(x x0 ).
Definizione 6.6.4. Siano f : (a, b) R derivabile in (a, b) e x0 (a, b). Se x (x0 , x0 ) si
ha f (x) f (x0 ) + f 0 (x0 )(x x0 ) e x (x0 , x0 + ) si ha f (x) f (x0 ) + f 0 (x0 )(x x0 ), cio se
prima di x0 concava e dopo e convessa, x0 si dice punto di flesso ascendente.
Se invece x (x0 , x0 ) si ha f (x) f (x0 ) + f 0 (x0 )(x x0 ) e x (x0 , x0 + ) si ha
f (x) f (x0 ) + f 0 (x0 )(x x0 ), cio se prima di x0 convessa e dopo e concava, allora x0 un
punto di flesso discendente.
Propriet 6.6.5. Siano f : (a, b) R derivabile due volte in (a, b) e x0 (a, b). Se x0 un
punto di flesso, allora f 00 (x0 ) = 0.
Laffermazione contraria non vale: si guardi ad esempio alle potenze pari, come x4 , che in
x = 0 hanno la derivata seconda evidentemente nulla, ma non hanno un flesso in tale punto.
Quando anche la derivata seconda zero, con il seguente teorema possiamo comunque
determinare la natura di un punto (flesso o estremante) a partire dalla prima derivata non nulla.
Teorema 6.6.6. Sia f : (a, b) R una funzione derivabile n volte in x0 (a, b). Se f 0 (x0 ) =
f 00 (x0 ) = = f (n1) (x0 ) = 0, e f (n) (x0 ) 6= 0, allora:
se n pari, x0 un estremante, inoltre se f (n) (x0 ) > 0 punto di minimo, se f (n) (x0 ) < 0
di massimo;
se n dispari, x0 un punto di flesso a tangente orizzontale.
Dimostrazione. La formula di Taylor per f con resto secondo Peano al grado n
f (x) = Pn f (x x0 ) + o (x x0 )n .
Dato che tutte le derivate in x0 prima della n-esima sono nulle, per x x0
f (n) (x0 )
f (x) = f (x0 ) + (x x0 )n + o (x x0 )n ,
n!
quindi
f (n) (x0 )
f (x) f (x0 ) = (x x0 )n + o(1) .
n!
Se n dispari, (x x0 ) < 0 per x < x0 e (x x0 ) > 0 per x > x0 , quindi la differenza tra
n n
f (x) e la retta tangente2 f (x0 ) cambia segno prima e dopo x0 , cio x0 un punto di flesso, che
2 f (x )
0 sia il valore della funzione nel punto, sia lequazione della retta tangente nel punto, che orizzontale.
CAPITOLO 6. CALCOLO DIFFERENZIALE 54
orizzontale dato che f 0 (x0 ) = 0. Se invece n pari, (x x0 )n sempre positivo, quindi il segno
dipende da f (n) : se positivo, allora f (x) f (x0 ) > 0, cio la funzione maggiore del valore in
x0 , che quindi un punto di minimo; se invece f (n) negativo, analogamente, x0 un punto di
massimo.
Capitolo 7
Numeri complessi
I numeri complessi nascono come soluzione allequazione x2 = 1, e in generale a quei problemi che
richiedono la radice (di indice pari) di un numero negativo: si introduce cos lunit immaginaria,
indicata con i, tale per cui
i2 = 1.
Con questa nuova unit si costruiscono i numeri immaginari puri, ovvero i numeri della forma i,
con R: a questo punto, lequazione
(ad esempio) x = , se positivo, ha sempre delle
2
soluzioni, in questo caso il numero i e il suo opposto. Si chiama inoltre numero complesso una
qualunque espressione del tipo z = a + ib, con a, b R. Tale scrittura detta forma algebrica di
z, e a si chiama parte reale di z, mentre b la parte immaginaria, e si possono indicare come
a = R(z), b = I(z).
La coppia ordinata (a, b) pu essere inoltre associata ad un vettore di R2 , e in effetti i numeri
complessi sono in corrispondenza biunivoca con {(a, b) : a, b R}. I numeri complessi quindi si
rappresentano su un piano, chiamato appunto piano complesso, dove lasse delle ascisse lasse
dei numeri reali, e lasse delle ordinate lasse dei numeri immaginari; chiaro quindi come i
numeri reali siano compresi nei numeri complessi: sono semplicemente dei numeri complessi la
cui parte immaginaria nulla.
55
CAPITOLO 7. NUMERI COMPLESSI 56
z + w = z + w;
zw = z w;
z + z = 2 R(z);
z z = 2i I(z);
zz = |z| .
2
|z + w| |z| + |w|.
Dimostrazione. Lultima disuguaglianza, che la disuguaglianza triangolare, si dimostra nel modo
seguente:
|z + w| = (z + w) (z + w) = (z + w)(z + w) = zz + ww + zw + zw.
2
La parte reale di un numero sempre minore o uguale al suo modulo, quindi luguaglianza
rimane applicando i valori assoluti: si possono vedere come il cateto e lipotenusa di un triangolo
rettangolo, rispettivamente. Quindi |R(z)| |z|, e analogamente |I(z)| |z|. Quindi si ha
= (|z| + |w|)2 .
Il rapporto tra due numeri complessi allora si scrive come il prodotto di uno per il reciproco
dellaltro, quindi
z w
=z 2.
w |w|
z = r(cos + i sin ),
CAPITOLO 7. NUMERI COMPLESSI 57
Im
z = rei
b
a Re
O
che vale se z 6= 0, poich in tal caso non si pu determinare largomento. Si pu passare da una
definizione allaltra tramite le formule
r = a2 + b2
p
a = r cos
(
e cos = a/r
b = r sin
sin = b/r
Questo modo di scrittura dei numeri complessi facilita le operazioni di prodotto, in quanto
semplicemente si moltiplicano i moduli e si sommano gli argomenti: dati z = r(cos + i sin ) e
w = (cos + i sin ), si ha
zw = r cos( + ) + i sin( + ) .
Dimostrazione. Utilizzando le formule del seno e coseno della somma di angoli, risulta
Si nota come moltiplicare per un numero complesso equivale, oltre ovviamente a moltiplicare i
due moduli, a ruotare uno di un angolo equivalente allargomento dellaltro. Inoltre il reciproco
di z 6= 0, in questa forma,
1 1 1
= cos() + i sin() = (cos i sin ).
z r r
Per il rapporto, invece, si sottraggono gli argomenti anzich sommarli.
Unulteriore modo pi compatto di rappresentare i numeri complessi in forma esponenziale,
ossia nella scrittura
z = rei ,
dove r e sono esattamente lo stesso modulo e argomento della scrittura in forma trigonometrica.
La moltipilcazione ancora pi veloce:
zw = rei(+) ,
e cos via.
Im
ei 3
1
O
Re
ei 3
Figura 7.2: Le tre radici cubiche di -1, che formano un triangolo equilatero inscritto nella
circonferenza di raggio r = 1.
z n = r r r cos( + + + ) + i sin( + + + )
n volte n volte n volte
Il suo modulo sar quindi r elevato allesponente n, e largomento sar aggiunto a se stesso n
volte, quindi n. Quindi si ha la formula detta di De Moivre:
Nel campo complesso, le radici di un equazione di grado n sono sempre n, tutte distinte.
Teorema 7.3.2. Sia w = 6 0, con w = r(cos + i sin ) e n 2 (n N). Esistono sempre n
numeri complessi zk che sono radici n-esime di w, e sono tutti e solo numeri complessi della
forma
+ 2k + 2k
zk = r cos
n
+ i sin , (7.3.2)
n n
con k = 0, 1, . . . , n 1.
Partendo dalla prima radice, di argomento /n, le altre sono ruotate di 2k/n per ogni
k = 0, 1, . . . , n 1. Le n radici allora dividono la circonferenza di raggio n r, centrata nellorigine,
in n angoli o archi uguali: i punti (r, ) che sono radici del numero complesso di partenza formano
un poligono equilatero inscritto in tale circonferenza.
Dimostrazione. Sia z = (cos + i sin ) una radice n-esima del numero w = r(cos + i sin ),
dove ovviamente w, z C. Allora deve essere z n = w, quindi
Perch questi due numeri siano uguali, deve allora essere che n = r e n = + 2h, per qualche
h Z. La prima unuguaglianza tra due numeri reali, quindi ha ununica soluzione positiva che
CAPITOLO 7. NUMERI COMPLESSI 59
= n r. Inoltre = ( + 2h)/n per qualche h Z. Per se si prendono h e h + n, i numeri z
corrispondenti hanno lo stesso argomento, che definito a meno di multipli di 2:
+ 2(h + n) + 2h + 2h
= + 2 = .
n n n
Quindi, in realt, le radici si ripetono ciclicamente tutte uguali dopo ogni multiplo di n, allora
esistono solo n radici uniche.
Teorema 7.3.3 (fondamentale dellalgebra). Il campo C algebricamente chiuso. Qualunque
polinomio a coefficienti complessi ha sempre un numero di soluzioni (complesse) pari al grado del
polinomio.
Il fatto che esistano sempre n radici di un polinomio di grado n nel campo complesso, e che
R C, significa anche che ogni polinomio di grado n a coefficienti reali ha sempre n soluzioni in
C, cio che C la chiusura algebrica di R.
7.4 Ordinamento
Se come gi visto si possono ordinare solo coppie di numeri reali (o di sottoinsiemi di R), in
effetti non possibile stabilire unordinamento tra i numeri complessi. Qualunque tipo di ordine
si voglia stabilire non alla fine compatibile con le operazioni precedentemente definite.
Dimostrazione. Si consideri il numero i: poich non nullo, dovrebbe essere o positivo o negativo.
Se i > 0, allora il suo quadrato positivo. Sia quindi i i = 1 positivo. Moltiplicando due
numeri positivi, il prodotto deve essere positivo: allora sia i (1) = i positivo. Ora, la somma
di due numeri positivi deve essere a sua volta positiva, ma se si somma i e i si ottiene 0, che
non positivo. Questo assurdo porta alla conclusione che i non pu essere positivo. Sia allora i
negativo. Il suo quadrato deve essere positivo, e come prima allora sia 1 positivo. Moltiplicando
un numero negativo e un numero positivo, rispettivamente i e 1, si ottiene i che deve allora
essere negativo. La somma di due numeri negativi deve essere quindi negativa, ma sommando i e
i si ottiene 0 che non negativo. Per questo altro assurdo, i non pu essere nemmeno negativo.
Allora i non n negativo, n positivo, n nullo, quindi C non si pu ordinare compatibilmente
con le sue operazioni.
Parte II
8 Integrale di Riemann 61
8.1 Funzioni primitive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
8.2 Costruzione dellintegrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
8.3 Condizioni di esistenza dellintegrale . . . . . . . . . . . . . . . . . . . . . . . . . 64
8.4 Propriet degli integrali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
8.5 Teorema fondamentale del calcolo integrale . . . . . . . . . . . . . . . . . . . . . 66
8.6 Integrali impropri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
10 Successioni di funzioni 86
10.1 Convergenza puntuale e uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
10.2 Propriet della funzione limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
10.3 Spazi funzionali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
10.4 Teorema delle contrazioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
11 Serie di funzioni 95
11.1 Convergenza puntuale e uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
11.2 Convergenza totale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
11.3 Serie di potenze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
11.4 Propriet delle serie di potenze . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
11.5 Funzioni analitiche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
60
Capitolo 8
Integrale di Riemann
Tecniche di integrazione
Dalle propriet delle derivate delle operazioni tra funzioni si ottengono degli strumenti per
semplificare la ricerca delle primitive di una funzione:
Dalla regola di Leibnitz per il prodotto si ha la formula di integrazione per parti, per cui
Z Z
f (x)g 0 (x) dx = f (x)g(x) f 0 (x)g(x) dx.
61
CAPITOLO 8. INTEGRALE DI RIEMANN 62
( x) x
Z Z
dt = f (t) dt
t t
x
Z
x(t) = f (t) dt
t
x
Z Z
f (x) dx = f (t) dt.
t
In pratica, si effettua unopportuna sostituzione x = x(t) nella funzione f , e si sostituisce il
differenziale dx con il differenziale della funzione x(t), che appunto x
t dt. Eventualmente
si pu anche procedere al contrario.
che crea dei sottointervalli del tipo Ij ..= [xj1 , xj ] I per ogni j = 1, 2, 3, . . . , n. Poich la
funzione limitata in [a, b], certamente limitata anche in ognuno di questi sottointervalli. Allora
esistono e sono finiti
mj ..= inf f (x) e Mj ..= sup f (x),
xIj xIj
j=1 j=1
rispettivamente denominate somma inferiore e superiore, indicate con s(f, P) e S(f, P), che
esistono per qualsiasi partizione finita di [a, b] scelta, e si ha sempre che s S, poich j si ha
xj < xj+1 e mj Mj (figura 8.1). Inoltre
Ci significa che le classi numeriche di tutte le somme inferiori e superiori, per qualsiasi partizione
dellintervallo, sono limitate, quindi per la completezza di R ammettono sempre un estremo
inferiore e superiore reale. Trascurando sup S e inf s che sono di poca importanza, e comunque
sono sempre limitati per la (8.2.1), si definiscono invece integrale inferiore e superiore sup s e
inf S, rispettivamente, che si indicano con
Z b Z b
f (x) dx e f (x) dx
a a
stata derivata la funzione. Non sono da semplificare, in questo caso, i vari termini.
CAPITOLO 8. INTEGRALE DI RIEMANN 63
f (x)
x
a b
Figura 8.1: Somme superiori e inferiori della funzione f (x) = 2 + sin(x), con una data partizione.
Un altro teorema garantisce una ancora pi semplice condizione sufficiente affinch una
funzione sia integrabile.
Teorema 8.3.2. Sia una funzione f : [a, b] R. Se f C ([a, b]), allora f R([a, b]).
Dimostrazione. Poich [a, b] compatto, essendo f continua in questo intervallo si ha che per
il teorema 5.4.5 di Weierstrass ammette massimo e minimo in [a, b], e per il teorema 5.4.7
uniformemente continua, quindi > 0 > 0 tale che per |x y| < si abbia |f (x) f (y)| < .
Allora fissato > 0 si trova un > 0, per il quale prendo una partizione P[a, b] con passo
(ampiezza dei sottointervalli) minore di . In ogni Ij = [xj1 , xj ], con j {1, 2, . . . , n} tale che
x0 = a e xn = b, f ammette un massimo e un minimo perch limitata, quindi esistono uj e tj
tali che f (uj ) = max f (Ij ) ..= Mj e f (tj ) = min f (Ij ) ..= mj . La differenza tra le somme superiori
e inferiori
n n
S(f, P) s(f, P) = Mj (xj xj1 ) mj (xj xj1 ) =
X X
j=1 j=1
n n
= (Mj mj )(xj xj1 ) = f (uj ) f (tj ) (xj xj1 ). (8.3.1)
X X
j=1 j=1
e poich max f (Ik ) = min f (Ik+1 ), poich f monotona, la somma telescopica quindi risulta
b a
S(f, P) s(f, P) = f (b) f (a)]
n
che tende a 0 per n +, quindi f R([a, b]).
CAPITOLO 8. INTEGRALE DI RIEMANN 65
una combinazione lineare di funzioni equivale alla combinazione lineare degli integrali di
ogni funzione.
Se f, g R([a, b]), allora anche f g R([a, b]). Infatti f + g R([a, b]), e elevandola al
quadrato (si effettua una composizione con (x) = x2 ), (f + g)2 R([a, b]). Sottraendo
dal quadrato f 2 e g 2 , anchesse integrabili, rimane 2f g che quindi a sua volta integrabile
secondo Riemann. Basta allora dividere per 2 per ottenere che f g R([a, b]).
Gli integrali definiti possiedono inoltre le seguenti propriet:
Se f 0 x [a, b], allora anche il suo integrale tra a e b non negativo, e inoltre se f g,
sempre per ogni x nellintervallo, allora
Z b Z b
f (x) dx g(x) dx.
a a
Sia c [a, b]. Se f R([a, b]), allora f R([a, c]) R([c, b]), e vale anche linverso. Inoltre
Z b Z c Z b
f (x) dx = f (x) dx + f (x) dx.
a a c
ovvero che scambiando gli estremi di integrazione si inverte il segno dellintegrale; da questo
si ha anche che a f (x) dx = 0.
Ra
poich non noto il segno dellintegrale di destra, che potrebbe essere negativo. Semmai giusto
affermare che Z b Z b
f (x) dx |f (x)| dx.
a a
CAPITOLO 8. INTEGRALE DI RIEMANN 66
detta funzione integrale di f , con a (fissato) come estremo inferiore di integrazione; la variabile x
invece, che la vera variabile della funzione, come estremo superiore. La variabile t non ha alcun
ruolo nella definizione della funzione integrale, ed per questo anche detta muta.
Se x0 [a, b], allora la Fx0 (x) differisce da Fa (x) per una costante: infatti
Z x Z a Z x Z a
Fx0 (x) = f (t) dt = f (t) dt + f (t) dt = Fa (x) + f (t) dt
x0 x0 a x0
e lultimo termine un numero definito. Le propriet di Fx0 (x) equivalgono quindi in tutto e per
tutto a quelle di Fa (x), quindi si possono indicare senza particolare problemi entrambe con F (x).
Ovviamente, Fa (a) = 0.
Teorema 8.5.2 (Torricelli-Barrow). Siano f R([a, b]), e F (x) = a f (t) dt. La funzione F
Rx
continua in [a, b]. Se inoltre f continua in un punto c interno ad [a, b], allora F derivabile in
c e vale F 0 (c) = f (c).
Ovviamente se c ad un estremo di [a, b] non esiste la derivata, ma solo quella sinistra o
destra.
Dimostrazione. Per ogni coppia x, y [a, b] si ha
Z x Z y Z y
|F (x) F (y)| = f (t) dt f (t) dt = f (t) dt,
a a x
con i valori assoluti, a scanso di equivoci nellordine di x e y. Inoltre poich f R([a, b]) anche
limitata, quindi t, |f (t)| k. Allora
Z y
|F (x) F (y)| = f (t) dt k|x y|,
x
in cui il secondo membro non mai negativo, perch lintegrale negativo se x < c (lintegranda
positiva) ma allora lo anche la frazione, al pi nullo se f (t) = f (c). Per la continuit di f ,
|f (t) f (c)| < , quindi
F (x) F (c) 1 1
Z x Z x
f (c) dt = dt = ,
xc xc c xc c
quindi
F (x) F (c)
f (c).
xc
Come conseguenze di questo teorema, se f C ([a, b]) allora la funzione integrale F (x)
C 1 ([a, b]). F inoltre una primitiva di f .
Teorema 8.5.3 (Newton-Leibnitz). Se f C ([a, b]) e una sua primitiva in [a, b], che quindi
esiste sempre, allora
Z b
f (x) dx = (b) (a). (8.5.1)
a
Teorema 8.5.4. Sia f C ([a, b]), allora x0 (a, b) tale per cui
1
Z b
f (x0 ) = f (x) dx. (8.5.2)
ba a
Dimostrazione. Essendo continua in [a, b], per il teorema di Weierstrass la f ha un massimo M e
un minimo m nellintervallo, per cui x [a, b] vale
m f (x) M.
Integrando in [a, b], per la monotonia dellintegrale si ha
Z b Z b Z b
m dx f (x) dx M dx
a a a
Z b
m(b a) f (x) dx M (b a)
a
e dato che b > a, altrimenti lintervallo sarebbe un punto e lintegrale di f (x), di conseguenza,
nullo, risulta
1
Z b
m f (x) dx M.
ba a
Per il teorema 5.5.2 dei valori intermedi, f continua quindi assume tutti i valori tra m e M ,
quindi in particolare deve esistere un punto x0 [a, b] in cui assume il valore dellintegrale, ossia
1
Z b
f (x0 ) = f (x) dx.
ba a
Questo teorema in sostanza una riformulazione del teorema di Lagrange per la funzione
integrale, per la quale
Z b
F (b) = f (t) dt e F (a) = 0.
a
CAPITOLO 8. INTEGRALE DI RIEMANN 68
Prima specie In questo caso lintervallo di integrazione non chiuso: sia ad esempio linter-
vallo (a, b], e f una funzione definita come f : (a, b] R che sia Riemann-integrabile in ogni
sottointervallo I (a, b] che non comprende un intorno destro di a, ossia f R([x, b]) per ogni
x (a, b]: allora esiste lintegrale x f (t) dt. Se esiste ed finito il limite
Rb
Z b Z b
f (t) dt ..= lim+ f (t) dt,
a xa x
allora si dice che esiste lintegrale improprio di f sullintervallo [a, b]. Il suo valore ovviamente il
risultato del limite. Questo il caso di funzioni con singolarit in un punto interno allintervallo
di integrazione, come un asintoto: allora si calcola il limite dellintegrale per un estremo che tende
a tale punto critico, da sinistra o destra o anche entrambi, come necessario.
Osservazione 8.6.1. Se f gi Riemann-integrabile su [a, b], si sa che la funzione integrale
Fb (x) = x f (t) dt continua per il teorema 8.5.2 fondamentale del calcolo integrale, quindi
Rb
Seconda specie In questo caso lintervallo di integrazione non pi limitato: sia ad esempio
[a, +). Sia f una funzione definita come f : [a, +) R R che sia Riemann-integrabile in ogni
intervallo compatto I [a, +): allora esiste lintegrale a f (t) dt per ogni x > a. Se esiste ed
x
finito il limite Z + Z x
f (t) dt ..= lim f (t) dt,
a x+ a
allora si dice che esiste lintegrale improprio di f sullintervallo [a, +). Il suo valore anche
stavolta, ovviamente, il risultato del limite.
Si consideri la funzione f (x) = x1p definita in [1, +). Sicuramente essa continua in [1, x]
x > 1, per ogni valore di p. Il suo integrale in questo intervallo vale
x1p 1
x
t1p
dt = p 6= 1
Z +
= 1p 1 1p
tp
1 log p
p = 1.
Nel caso p = 1 ovviamente lintegrale diverge, mentre per p 6= 1 per x + lintegrale converge
quando 1 p < 0, ossia se p > 1. Allora lintegrale converge (a 1p 1
) per p > 1, mentre diverge a
+ per p 1.
Il calcolo di un integrale improprio talvolta difficoltoso, e spesso interessa soltanto stabilire
soltanto la sua convergenza, ossia la sua esistenza. A questo scopo, laddove lintegrale non sia fin
da subito immediato, tornano utili alcuni criteri per la convergenza. Con I si indicheranno dei
generici intervalli della forma (a, b], [a, b), [a, +) e (, b].
Teorema 8.6.2 (del confronto). Siano f, g : I R tali che, per ogni J I compatto, f R(J).
Allora se x I si ha che 0 f (x) g(x)
ed esiste lintegrale improprio di g, allora esiste anche lintegrale improprio di f ;
se non esiste lintegrale improprio di f , allora non esiste neanche lintegrale improprio di g.
CAPITOLO 8. INTEGRALE DI RIEMANN 69
Nel secondo punto si potrebbe anche parlare di divergenza: se infatti le due funzioni sono
entrambe positive, il loro integrale improprio pu soltanto convergere o divergere a +, come
gi accadeva per le serie.
Dimostrazione. Sia I = [a, b). Per le propriet dellintegrale di Riemann vale la disuguaglianza
Z x Z x
0 f (t) dt g(t) dt,
a a
ed entrambe le funzioni integrali sono positive, perch f, g 0, continue per il teorema 8.5.2
fondamentale del calcolo integrale, e monotone non decrescenti, quindi devono ammettere limite.
Dette Fa e Ga le rispettive funzioni integrali di f e g con estremo inferiore a, dal teorema del
confronto del limiti si ottiene che se il limite di Ga finito, lo anche il limite di Fa ; se invece Fa
non converge, non pu che divergere perch f 0, dunque anche Ga (x) diverge. La dimostrazione
per gli altri tipi di intervalli del tutto analoga.
Notare il segno meno nella definizione della parte negativa, che fa s che sia f+ che f siano
funzioni positive in tutto I. Con queste definizioni si pu scomporre la f nella somma
Teorema 8.6.4 (del confronto). Sia f : I R, con f R([a, x]) per ogni sottoinsieme [a, x] I.
Se esiste una funzione g(x) tale che |f (x)| g(x) x I, e g(x) integrabile in senso improprio
in I, allora sia |f (x)| che f (x) ammettono lintegrale improprio su I.
Dimostrazione. Dal teorema 8.6.2 |f (x)| integrabile in senso improprio in I in quanto per ogni
x I si ha 0 |f (x)| g(x) e lintegrale improprio di g(x) esiste in I. Ma allora sono integrabili
impropriamente in tale intervallo anche f+ (x) e f (x), in quanto 0 f+ (x), f (x) |f (x)| in
ogni punto, quindi la differenza
Z x Z x Z x Z x
f (t) dt = f+ (t) f (t) dt = f+ (t) dt f (t) dt
a a a a
esiste ed finita.
Teorema 8.6.6. Sia f : [n, +) [0, +), con n N, una funzione monotona decrescente:
allora vale
Z + + Z +
f (x) dx f (j) f (n) + f (x) dx. (8.6.1)
X
n j=1 n
Poich f decrescente, per ogni x [j, j + 1] si ha che f (j + 1) f (x) f (j), quindi integrando
in [j, j + 1] si mantiene la relazione dordine anche tra gli integrali, cio
Z j+1 Z j+1 Z j+1
f (j + 1) f (x) dx f (j)
j j j
Z j+1
(j + 1 j)f (j + 1) f (x) dx (j + 1 j)f (j)
j
Z j+1
f (j + 1) f (x) dx f (j).
j
j=n n j=n
e possiamo riscrivere la somma pi a sinistra (posto k = j + 1) come k=n+1 f (k) = k=n f (k)
Pm Pm
f (n), perci
m1 Z m m1
f (j) f (n) f (x) dx f (j), (8.6.4)
X X
j=n n j=n
dx
Z +
p logq x
,
a x
per qualsiasi a > 1, tramite la similitudine con la nota serie n=2 si ricava che esso
P+ 1
np logq n
converge se p > 1 e diverge per p < 1. Se p = 1 si ha lintegrale
dx
Z +
a x logq x
Calcolo differenziale in pi
dimensioni
71
CAPITOLO 9. CALCOLO DIFFERENZIALE IN PI DIMENSIONI 72
quindi non altro che unoperazione di derivazione rispetto soltanto alla variabile x1 , mantenendo
le rimanenti come costanti. Si possono allora applicare le solite regole di derivazione per le
funzioni ad una sola variabile.
Esempio 9.1.3. Calcoliamo le derivate parziali di due funzioni elementari.
1. Sia f (x) =Phb, xi, con b Rn . La funzione per definizione di prodotto scalare equivalente
a f (x) = j=1 bj xj , quindi chiaramente le derivate parziali esistono tutte e valgono
n
f
= bj ,
xj
sono per x 6= 0
21 12
1 X 2
n Xn
f
= x 2xj = xj 2
xj ,
xj 2 j=1 j j=1
x
quindi il suo gradiente f (x) = . Si nota anche che (kxk) un versore.
kxk
Per le funzioni ad una variabile reale, la derivabilit implica automaticamente la continuit.
Questo non pi vero in pi dimensioni, come mostrato dalla funzione
2
xy
(x, y) 6= (0, 0)
f (x, y) = x2 + y 4
0 (x, y) = (0, 0)
che derivabile in (0, 0) lungo ogni versore v = (v1 , v2 ) ma non continua in tale punto. Infatti
v22 /v1 se v1 6= 0
(
t3 v1 v22 v1 v22
Dv f (0, 0) = lim 2 2 = lim =
t0 t(t v1 + t4 v24) 2 + t2 v 4
t0 v1 2 0 se v1 = 0,
quindi la derivata esiste per ogni v, ma restringendo f al cammino (t2 , t) si ha f (t2 , t) = 1/2 che
diverso dal valore della funzione in quel punto, quindi non continua.
Allora la derivabilit in un punto, anche in ogni direzione, di una funzione non implica la sua
continuit in tale punto. Per garantire la continuit bisogna quindi introdurre un nuovo concetto,
quello di differenziabilit.
9.2 Differenziabilit
Per le funzioni da R a R, la propriet di derivabilit coincideva in pratica con quella di differen-
ziabilit, ossia della possibilit di scrivere lincremento della funzione come somma di un termine
lineare e di un termine infinitesimo:
f (a + x) = f (a) + `x + o(x).
Lapplicazione L detta differenziale primo di f nel punto a, e si indica con df (a, ). Ogni
applicazione lineare da Rn a R rappresentabile tramite il prodotto interno con un vettore fissato
di Rn : allora esiste un vettore Rn per cui si pu scrivere L(h) = h, hi. Si pu dunque
formulare la definizione 9.2.1 chiedendo che esista un vettore Rn tale per cui
f (a + h) f (a) h, hi
lim = 0. (9.2.2)
h0 khk
Osservazione 9.2.2. Se esiste tale per cui valga la (9.2.2), allora unico.
Dimostrazione. Sia f differenziabile in a per due vettori distinti 1 e 2 . Si ha allora luguaglianza
Trascurando il membro centrale si trova che h1 2 , hi = o(khk). Dividendo per khk, si ottiene
h/khk che un versore, che sar indicato con v; dunque h1 2 , vi = o(1), cio per ogni v si
ha che h1 2 , vi = 0, dato che lespressione non dipende da khk. Allora 1 2 ortogonale
a v: poich lunico vettore ortogonale ad infiniti vettori (la relazione vale infatti per qualunque
v Rn ) il vettore nullo, risulta 1 = 2 .
La differenziabilit della funzione permette di evitare spiacevoli inconvenienti come la discon-
tinuit. Il teorema seguente dimostra la regolarit della funzione differenziabile, oltre a mostrare
che non proprio un vettore qualsiasi.
Teorema 9.2.3. Siano un aperto di Rn , e la funzione f : R. Preso un punto a , se f
differenziabile in tale punto allora:
1. f continua in a;
f (a + tv) f (a)
= h, vi + o(1), cio Dv f (a) = h, vi.
t
3. Per il secondo punto si ha Dv f (a) = h, vi, e quando il versore della base canonica di Rn ,
ej , per definizione si ha la derivata parziale, che quindi
f
(a) = h, ej i = j f (a) = .
xj
CAPITOLO 9. CALCOLO DIFFERENZIALE IN PI DIMENSIONI 74
4. Questultimo punto segue automaticamente dal fatto che f (a) = e Dv f (a) = h, vi.
Se f differenziabile in a, allora la mappa v 7 Dv f (a) lineare, in quanto le derivate
direzionali sono una combinazione lineare di v, cio
n
f
Dv f (a) = hf (a), vi = (a)vi .
X
i=1
xi
Inoltre, noto il gradiente della funzione, lo si pu sostituire nella (9.2.2) e se il limite vero, cio
se esiste finito
f (x) f (a) hf (a), x ai
lim
xa kx ak
allora la funzione differenziabile.
Definizione 9.2.4. Data una funzione f : Rn R, linsieme
il grafico di f .
In un punto a , si definisce iperpiano tangente al grafico di f in a, f (a) linsieme dei
f (a + tv) f (a)
Dv f (a) = lim = Dv f1 (a), Dv f2 (a), . . . , Dv fm (a) .
t0 t
Le derivate parziali seguono la stessa regola delle funzioni scalari, semplicemente ogni funzione
pu ammettere al pi m derivate parziali in ogni variabile, quindi non pi n ma mn derivate. Se
esistono tutte le derivate parziali in a, si raccolgono tutte in una matrice m n
f1 f1 f1
x1
f x2 xn
2 f2 f2
fi
x1 x2 xn (J f )ij =
. ,
.. .
.. .. .
.. x
.
j
fm fm f1
x1 x2 xn
detta jacobiana di f . Per le funzioni scalari, che hanno una sola componente, la jacobiana
composta soltanto della prima riga e si riduce quindi al gradiente. Ogni riga della jacobiana, in
effetti, il gradiente di una singola componente. Se la funzione in una sola variabile la jacobiana
diventa un vettore, e sar indicata pi semplicemente con f 0 (a).
La definizione di differenziabilit ricalca quella gi data nella 9.2.1 per le funzioni scalari, con
ovviamente m dimensioni al posto di una soltanto.
CAPITOLO 9. CALCOLO DIFFERENZIALE IN PI DIMENSIONI 75
f (a + h) f (a) h
lim = 0. (9.2.4)
h0 khk
In maniera del tutto simile al teorema 9.2.3, dalla differenziabilit delle funzioni vettoriali
discendono alcune propriet importanti:
1. f continua in a;
2. esistono tutte le derivate direzionali Dv f (a), per qualunque versore v Rn ;
3. la matrice per cui vale la (9.2.4) = J f (a);
4. Dv f (a) = J f (a)v.
Inoltre le generiche derivate direzionali si ottengono dallequazione
m Xn
fi
Dv f (a) = J f (a)v = (a)vj ei ,
X
i=1 j=1
xj
dove {ek } sono i vettori della base canonica di Rm . Anche in questo caso L chiamata differenziale
primo, e si identifica con la jacobiana:
df (a; ) : h 7 J f (a)h.
Teorema 9.2.7 (del differenziale totale). Siano un aperto in Rn , a un suo punto e la funzione
f : R. Se esiste un intorno B(a, r) per cui esistono tutte le n derivate parziali di f , e
sono tutte continue nel punto a, allora f differenziabile in a.
Nel caso di R2 si d la seguente dimostrazione, generalizzabile eventualmente per Rn con n
qualunque.
Dimostrazione. Siano x = (x, y) B(a, r) e a = (a1 , a2 ). Si dimostra che
(a1 ,y)
(x,y)
(a1 ,a2 )
x
Figura 9.1: Incremento x a scomposto nelle due direzioni lungo gli assi cartesiani in R2 .
vale a dire che la jacobiana di h in a il prodotto ordinato della jacobiana di g per quella di f :
Il prodotto tra queste matrici possibile, dato che sono rispettivamente p m e m n, e si ottiene
quindi che la jacobiana di h ha p righe e n colonne. Il prodotto non commutativo, in quanto non
nemmeno possibile eseguirlo scambiando lordine dei fattori, diversamente dal caso di funzioni
da R in R.
Sviluppando il prodotto tra le due matrici si ha che la componente della jacobiana di h , con
1 i p e 1 j n,
m
hi gi fk
J h(a) = (a) = f (a) (a),
X
ij xj yk xj
k=1
sin x 1 1 0
g1
g(2) g(0) = 2 = 2 = = ,
g2 cos x 0 0 0
ossia il valore maggiore tra tutte le derivate parziali, nellintervallo dato, tra tutte le componenti
di g. Se tutte le derivate parziali sono nulle, si ha c = 0 quindi la funzione costante.
3 Dato che tale segmento chiuso e interno ad , anche sporgendo un poco oltre gli estremi si rester sempre
9.4 Diffeomorfismi
Definizione 9.4.1. Siano A Rn e B Rn due insiemi aperti. Una funzione f : A B biiettiva
si dice diffeomorfismo di A su B se f differenziabile e la sua inversa f 1 : B A anchessa
differenziabile.
Anche linverso di un diffeomorfismo ovviamente, a sua volta, un diffeomorfismo: in questa
classe di funzioni si trovano in particolare i cambiamenti di coordinate, che infatti per queste
propriet si possono applicare senza problemi di irregolarit nelle funzioni.
Teorema 9.4.2. Sia f : A B con A Rn e B Rm . Se risulta che:
f differenziabile x A;
?
det J f (x) per ogni x A,
allora f un diffeomorfismo.
Le traslazioni sono dei diffeomorfismi: sia ad esempio in R3 la funzione T(x) = x + b, essa
indubbiamente differenziabile, e lo anche la sua inversa T1 (x) = x b. Calcolando le matrici
jacobiane di queste funzioni si ha
1 0 0
J T(x) = J T1 (x) = 0 1 0
0 0 1
che la jacobiana della funzione identit, per ogni x A. Di conseguenza, passando ai determinanti
si trova che det J f (x) 6= 0, e che essa linversa di J f 1 f (x) .
= x + y
p
2 2
x = cos . (9.4.1)
y = sin
Sia T : (0, +) [0, 2) R2 \ {(0, 0)} definita come T : (, ) 7 ( cos , sin ) = (x, y): il
determinante della jacobiana della trasformazione sempre non nullo, infatti
cos sin
det J T(, ) = = (cos2 + sin2 ) = 6= 0
sin cos
essendo definito in (0, +), quindi un diffeomorfismo. Posta f una funzione qualunque da
R2 \ {(0, 0)} a R (per semplicit), si pu comporre con T ottenendo
g(, ) = f T(, ) .
CAPITOLO 9. CALCOLO DIFFERENZIALE IN PI DIMENSIONI 79
mentre per la f si ha
= J g T1 (x, y) J T T1 (x, y)
1
= J g T1 (x, y) J T(, ) , (9.4.3)
1
sfruttando il fatto che J T T1 (x, y) = J T(, ) linversa di J T1 (x, y), come visto in
precedenza.
Dalle (9.4.2) e (9.4.3) si possono dunque calcolare le formule per la derivazione in coordinate
polari: esse sono
cos sin
g(, ) = f (x, y)
sin cos
2y 2 (9.4.4)
cos sin
x !
g g
f (x, y) = g(, ) =
2
x +y 2 x +y
, ,
sin cos y
x2 +y x
2 x2 +y 2 .
in (x, 0) con x 6= 0
f f @
(x, y) = 2x 3 y e (x, y) = 2 .
x y x altrove
3y 2/3
x (0, y) x (0, 0)
f f
2f
f
(x, y) = (0, 0) = lim = 0.
xy y x y0 y
0 in (0, 0)
f (x, y) = 3 .
xy altrove
x2 + y 2
y x2 y 3 3x3 y 2 + xy 4
5
f (x, y) = , .
(x2 + y 2 )2 (x2 + y 2 )2
Allora si ha
y (x, 0) y (0, 0)
f f
2f 0
= lim = lim = 0,
yx x0 x x0 x
x (0, y) x (0, 0)
f f
2f y
= lim = lim = 1.
xy y0 y y0 y
Per certe funzioni, per, le derivate seconde non dipendono dallordine di derivazione, come
spiegato dal seguente teorema.
Teorema 9.5.3 (Schwarz). Siano un aperto di Rn , a un punto interno ad esso, v e w due
versori di Rn e f una funzione definita da a R. Se esiste un intorno di a contenuto in in
2 2
cui esistono sia Dv,w f che Dw,v f e sono continue in a, allora esse coincidono in tale punto.
Corollario 9.5.4. Se la funzione f di classe C 2 (), cio esistono e sono continue tutte le
derivate parziali prime e seconde in , allora le derivate miste coincidono; vale a dire, la matrice
hessiana simmetrica.
Se la funzione poi vettoriale, la matrice hessiana avr dei vettori come componenti, e il
teorema di Schwarz vale ancora componente per componente.
Quando f : R differenziabile in ogni punto x , il suo differenziale primo df (x; ) una
funzione da Rn a R lineare, definita come df (x; h) = hf (x), hi, h tale che lincremento x + h
appartenga ancora ad . Fissato per lincremento h, si pu considerare df (; h) = hf (), hi
che una funzione di variabile x a valori reali, proprio come f . Se questa funzione4 df (; h)
differenziabile in un punto a di , allora si dice che f due volte differenziabile in a.
Alcune condizioni implicano o sono implicate dal fatto che f due volte differenziabile in a:
4 Poich le derivate parziali sono n e non una sola, in realt il differenziale primo come df (; h) rappresenta pi
con 0 j1 , . . . , jn n e i=1 ji = k; gli indici ji indicano quante volte si sta derivando f rispetto
Pn
alla i-esima componente. Per comodit si pu eventualmente usare una notazione multiindice
j = (ji , . . . , jn ), con j Nn .
Sia quindi f una funzione differenziabile k volte in a: si costruisce la mappa
dk f (a; ; . . . ; ) : Rn Rn R, (9.6.1)
k volte
Questa formula utile nel caso in cui h(1) = = h(k) = h Rn , per il quale si impiega un
unico vettore per lincremento per tutte le componenti: per snellire la notazione allora si scrive
pi semplicemente
dk f (a; h; . . . ; h) = dk f (a; h).
k volte
kf
dk f (a; h) = (9.6.3)
X
hj11 . . . hjnn ,
xj11 . . . xjnn
Dividendo il differenziale per khk si ottiene dunque un polinomio omogeneo di grado nullo, e
k
costante quando valutato sulle semirette con origine sullorigine degli assi6 , infatti
j=1
xj
n Xn
f
F (t) = (a + tw)wi =
X
00
wj
j=1 i=1
xi xj (9.6.5)
n
2f
= (a + tw)wi wj =
X
i,j=1
xi xj
e cos via per induzione si ha F (n) (t) = dn f (a + tw; w), per ogni 0 n k. Operando il cambio
di variabile x ..= a + w (con il segmento [a, x] ) lo sviluppo di Taylor di F con resto di
Lagrange, centrato in t = 0, nellintervallo [0, 1]
1 1 1 1 1
F (1) = F (0)10 + F 0 (0)11 + F 00 (0)12 + + F (k1) (0)1k1 + F (k) ()
0! 1! 2! (k 1)! k!
per qualche (0, 1). Per la definizione di F quindi risulta, dato che F (1) = f (x), che
1 2
f (x) = f (a) + df (a; x a) + d f (a; x a) + . . .
2!
1 1
+ dk1 f (a; x a) + dk f (; x a) (9.6.6)
(k 1)! k!
1 j
k
f (x) = d f (a; x a) + o(kx ak ). (9.6.7)
X k
j=0
j!
punto di massimo locale se B(a, r) in cui f (a) f (x), per ogni x B(a, r);
punto di minimo locale se B(a, r) in cui f (a) f (x), per ogni x B(a, r).
6 Non corretto affermare che sia costante valutato sulle rette passanti per lorigine, poich per h = 0 la funzione
non definita, dato che il denominatore nullo.
CAPITOLO 9. CALCOLO DIFFERENZIALE IN PI DIMENSIONI 83
Il massimo o il minimo locale sono il valore assunto dalla funzione nel rispettivo punto
estremante. Il massimo assoluto se la definizione estendibile a tutto linsieme , cio se
f (a) f (x) per ogni x ; analogamente per i minimi. Infine, il punto estremante si dice forte
se luguaglianza si ha solo in a e non anche altrove.
Si ricorda il teorema di Weierstrass 5.4.5 che afferma che se f continua in E compatto, allora
essa ha massimo e minimo assoluti in E. Individuato questo insieme compatto, gli estremi (locali)
possono trovarsi in E o in E: in questi casi si dicono, rispettivamente, estremi liberi ed estremi
vincolati. Se individuare gli estremi vincolati in una sola dimensione consisteva al pi nellanalisi
di due soli punti, in pi dimensioni la frontiera di un insieme solitamente costituita da infiniti
punti: occorrono quindi metodi diversi per i due casi. Di seguito ci si occuper soltanto degli
estremi liberi.
questo naturalmente per ogni i {1, . . . , n}, cio tutte le derivate parziali di f sono nulle in a:
allora f (a) = 0.
Ovviamente la condizione data soltanto sufficiente, come mostra la funzione f (x) = x2 y 2 ,
che nellorigine ha gradiente nullo ma tale punto non un estremante; i punti stazionari non
estremanti si dicono punti di sella. In ogni caso, necessaria soltanto per i punti estremanti liberi,
dato che aperto, e in cui f differenziabile. Rimangono esclusi quindi i punti in cui f non
differenziabile, da analizzare singolarmente, e gli estremi vincolati.
Sia f C 2 (). In a, punto estremante locale di f , il gradiente nullo: per h 0,
arbitrariamente piccolo e tale per cui a + h , per il teorema di Taylor con resto di Peano
risulta
1
f (a + h) = f (a) + hf (a), hi + d2 f (a; h) + o(khk ) (9.7.1)
2
2
1
f (a + h) f (a) = d2 f (a; h) + o(khk ). (9.7.2)
2
2
lequazione
1 2 h H f (a)h
" #
T
f (a + h) f (a) = khk + o(1) . (9.7.3)
2 khk
2
Il segno del secondo membro, che sar quindi il segno dellincremento della funzione da a a a + h,
quindi determinato dalla forma quadratica hT H f (a)h. Si F (h) la funzione definita come
hT H f (a)h
F (h) = 2 .
khk
CAPITOLO 9. CALCOLO DIFFERENZIALE IN PI DIMENSIONI 84
Essa una funzione omogenea di grado 0, quindi costante sulle semirette con origine nellorigine
degli assi7 : infatti fissato v e per t > 0 si ha
(tv)T H f (a)(tv) t2 vT H f (a)v
F (tv) = 2 = 2 2 = F (v).
ktvk |t| kvk
La F dunque definita in Rn \ {0}, continua e differenziabile dove definita, e costante quando
ristretta alle rette passanti per lorigine. Si possono allora analizzare i valori assunti da F su una
superficie sferica qualsiasi centrata nellorigine, ad esempio fissando khk = 1. Questa superficie,
che corrisponde poi a B(0, 1), chiusa e limitata, cio un insieme compatto. Per il teorema
di Weierstrass dunque la F ammette un minimo e un massimo assoluto m, M in B(0, 1), cio
esistono u, w 6= 0 tali per cui
m = F (u) F (h) F (w) = M. (9.7.4)
Per il teorema di Fermat, allora, si ha f (u) = f (w) = 0. Nel caso in cui mM 6= 0 risulta:
se 0 < m M , F assume soltanto valori tra m e M che sono entrambi positivi, quindi
F (h) > 0 e per khk sufficientemente piccolo il termine o(khk ) non influisce sul segno,
2
alcun risultato. Rimane quindi da trovare il segno di m e M . Poich f differenziabile due volte,
la sua matrice hessiana simmetrica, e come gi visto si pu rappresentare (fissata la base, cio
quella canonica) la forma quadratica che il differenziale secondo con lespressione hT H f (a)h.
Sia quindi q(x) = xT H f (a)x: si ha che F (x) = q(x)/kxk , e vale ancora la (9.7.4). Le derivate
2
parziali di F sono
X n
kxk = x2i = 2xk ,
2
xk xk i=1
e
X n
q(x) = H f (a) ij xi xj =
xk xk i,j=1
n
= H f (a) (ik xj + jk xi ) =
X
ij
i,j=1
n n
= H f (a) + H f (a) =
X X
x
kj j
x
ik i
j=1 i=1
n n
= H f (a) + H f (a) =
X X
x
kj j
x
ki i
j=1 i=1
n
=2 H f (a) kj xj =
X
j=1
= 2 H f (a)x
j
dove si potuto cambiare gli indici dellhessiana da ik a ki poich simmetrica. Allora risulta
2 q
F (x) = kxk (x) q(x) kxk =
4 2
kxk
xk xk xk
h i
= kxk kxk 2 H f (a)x k q(x)2xk ,
4 2
7 Le forme quadratiche sono polinomi omogenei di grado 2, quindi dividendole per una norma al quadrato,
dunque
F (x) = 2kxk kxk H f (a)x q(x)x =
4 2
2 (9.7.5)
" #
q(x)x
= 2 H f (a)x 2 .
kxk kxk
Nei punti u e v estremanti di F si ha dunque F (x) = 0, quindi dato che x non nullo si ha
q(x)
H f (a)x = 2x = F (x)x, (9.7.6)
kxk
cio F (x) un autovalore di H f (a) a cui associato proprio lautovettore x. Gli autovalori
della matrice hessiana sono tanti quanti la dimensione di Rn , e poich simmetrica, sono tutti
reali. Di conseguenza il massimo autovalore di H f (a) anche il massimo di F (x), e lo stesso
per il minimo: individuando gli autovalori dellhessiana in a si trova quindi la natura del punto
estremante. La forma quadratica q(x) = xT H f (a)x si dice
definita positiva se q(x) > 0, che significa 0 < m M ;
semidefinita positiva se q(x) 0, cio esiste v 6= 0 per cui q(v) = 0, e questo corrisponde a
0 m M;
indefinita se esistono y, z tali che q(y) < 0 < q(z), cio m < 0 < M ;
semidefinita negativa se q(x) 0, cio m M 0;
definita negativa se q(x) < 0, che significa m M < 0,
ovviamente per x 6= 0 in cui q(x) = 0 in ogni caso. Si giunge quindi ai seguenti risultati:
se m > 0, a un punto di minimo locale forte;
se M < 0, a un punto di massimo locale forte;
se m < 0 < M , a un punto di sella;
se a un punto di minimo locale (qualsiasi), q(x) semidefinita positiva;
se a un punto di massimo locale (qualsiasi), q(x) semidefinita negativa.
Se f una funzione a due sole variabili, ha due autovalori per quanto detto in precedenza: il
polinomio caratteristico dellhessiana
fxx (a) fxy (a)
P () = det(H f (a) In ) = =
fxy (a) fyy (a)
(9.7.7)
= 2 (fxx + fyy ) + (fxx fyy fxy
2
)=
= 2 tr H f (a) + det H f (a).
Poich utile ai fini di conoscere la natura del punto estremante solo sapere il segno degli
autovalori, cio delle due radici del polinomio, e dato che P () = ( m)( M ), si ha che
m + M = tr H f (a) e mM = det H f (a), quindi:
se det H f (a) = 0, non si pu affermare niente;
se det H f (a) > 0, si considera la somma delle radici, perci
se tr H f (a) > 0, a un punto di minimo;
se tr H f (a) < 0, a un punto di massimo;
se det H f (a) < 0, m e M sono discordi quindi a un punto di sella.
Infine se det H f (a) > 0, certamente fxx e fyy sono concordi, altrimenti fxx fyy fxy2
non potr
mai essere positivo: allora anzich calcolare la traccia della matrice hessiana si pu ulteriormente
semplificare, guardando soltanto il segno di fxx .
Capitolo 10
Successioni di funzioni
Sia n un numero naturale: con {fn }nN si indica una famiglia di funzioni, tutte definite da un
insieme I ad un insieme qualsiasi, entrambi sottoinsiemi di spazi metrici. Tale famiglia di funzioni
individua una successione di funzioni.
in I = [0, 2], converge puntualmente alla funzione identicamente nulla (figura 10.2).
5. In I = [0, 1], sia
1 se x = 2n , per 0 j 2n intero
(
j
fn (x) = .
0 altrove
La funzione limite la funzione. . . ?
q
6. fn (x) = x2 + n12 in I = R, converge puntualmente (figura 10.3) alla funzione f (x) = |x|.
86
CAPITOLO 10. SUCCESSIONI DI FUNZIONI 87
n=1
1
n=2
n=4
n=8
n = 16
n = 32
f (x)
n=1
n=2
n=3
n=4
f (x)
( n1 ,n)
( n2 ,0)
0
2
Figura 10.2: La successione dellesempio 3, in [0, 2], forma un triangolo di area 1 con lasse delle
ascisse, indipendentemente dal valore di n. Laltezza del triangolo aumenta infinitamente al
crescere di n, mentre la base tende a zero.
( n1 ,0)
q
Figura 10.3: Convergenza della funzione f (x) = x2 + 1
n2 alla funzione limite f (x) = |x|, per
n = 1, 2, 4, 6.
CAPITOLO 10. SUCCESSIONI DI FUNZIONI 88
ulteriormente, per x
J, limn+ (limxx fn (x)) = limxx f (x);
se fn continua in J per ogni n N, anche f continua in J;
se fn R([a, b]) n N, allora lo anche f , quando ovviamente fn f in [a, b] e, nel caso,
valga
Z b Z b
lim fn (x) dx = f (x) dx;
n+ a a
Nessuna di queste propriet valida: gli esempi elencati precedenti forniscono dei buoni controe-
sempi. La funzione limite del punto 1 illimitata nellintervallo considerato, mentre le fn sono
limitate per ogni n; nel punto 2, la funzione limite non continua quando tutte le fn lo sono; nel
punto 3, la f tende a 0 per x +, diversamente dalle fn che tendono a 1, n; nel punto 5 la f
non integrabile secondo Riemann, mentre lo sono tutte le fn , e il punto 4 mostra che lintegrale
di tutte le fn 1 (geometricamente, larea del triangolo formato dalla curva), mentre quello
della f nullo; nel punto 6 infine ogni fn ha derivata nulla in x = 0, ma la funzione limite non
nemmeno derivabile in tale punto.
Per garantire queste propriet, la convergenza puntuale della successione chiaramente non
basta: bisogna introdurre un nuovo tipo di convergenza, detta uniforme.
Definizione 10.1.3. La successione {fn } converge uniformemente alla funzione limite f in J se
La definizione simile a quella della convergenza puntuale se non per il fatto che la scelta
di n ora svincolata dal punto x J, ma globale in tutto linsieme J; di conseguenza la
convergenza uniforme deve sempre essere associata allinsieme in cui accade. Ovviamente la
convergenza uniforme implica automaticamente quella puntuale. Inoltre la differenza tra fn e
la f certamente, in modulo, sempre minore del suo estremo superiore in J, ossia vale sempre
|fn (x) f (x)| supxJ |fn (x) f (x)|. Allora per valutare la convergenza uniforme in J
sufficiente calcolare questo estremo superiore, che dovr annullarsi. Se infatti per la convergenza
puntuale doveva verificarsi supxJ limn+ |fn (x) f (x)| = 0, per la convergenza uniforme si ha
che
lim sup|fn (x) f (x)| = 0. (10.1.3)
n+ xJ
poich larcotangente in modulo sempre minore del suo argomento, inoltre il termine 1/n non
dipende da x quindi pu essere estratto dallargomento dellestremo superiore. La funzione
g(x) = 1+xx
2 limitata in R, di conseguenza esiste un numero c R per cui |g(x)| c, x 0.
Dunque
1 x c
sup
n x0 1 + x2 n
che tende a 0 per n +, quindi la convergenza uniforme in tutto R.
arctan(nx) 2 sgn x
arctan(nx)
sup = sup 2
=
x>0 1 + x2 x>0 1 + x2
arctan nx
1
1 1
= sup = arctan 0
x>0 1 + x 1+
2 2 n
Poich le successioni di funzioni sono comprese in uno spazio metrico completo, quello delle
funzioni limitate con la distanza data dalla norma uniforme, in esso si pu elaborare la condizione
di Cauchy anche per le successioni di funzioni, che sar sufficiente e necessaria per la convergenza
uniforme (dato che la convergenza in tale spazio coincide proprio con la convergenza uniforme)1 .
Teorema 10.1.7. Sia {fn } con fn : J R una successione di funzioni: essa converge uniforme-
mente a f in J se e solo se > 0 n : m, n n si ha kfm fn k,J < .
Fissato un > 0 arbitrario, esiste n tale per cui n n, kfn f k,J < . Allora
Poich il secondo membro limitato, essendo composto da termini definiti (reali), anche il primo
membro finito, quindi f (x) limitata in J.
Teorema 10.2.2. Sia {fn } una successione di funzioni definite da J in R, e x0 J. Se fn
continua in x0 per ogni n, e {fn } converge uniformemente a f in J, allora f a sua volta
continua in x0 .
|f (x) f (x0 )| |fn (x) f (x)| + |fn (x) fn (x0 )| + |fn (x0 ) f (x0 )|. (10.2.1)
Poich la convergenza uniforme, fissato un > 0 esiste n per cui n n si ha kfn f k,J < ,
cio |fn (t) f (t)| < per ogni t J; quindi vale anche per i punti x0 e x nella prima equazione.
Preso dunque un valore di n n, ad esempio proprio n, si ha quindi
La singola funzione fn (x) continua, per le ipotesi, in x0 , quindi in un intorno di tale punto
esiste > 0 tale che per ogni x (x0 , x0 + ) si ha |fn (x) fn (x0 )| < . Allora in tale intorno
si ha |f (x) f (x0 )| < 3, quindi la funzione limite continua.
Teorema 10.2.3 (del doppio limite). Sia {fn } una successione di funzione definite da J a R, e
x0 J 0 . Se per ogni n esiste limxx0 fn (x) = `n R, e {fn } converge a f uniformemente in J,
allora esiste anche limn+ `n , che finito, e coincide con limxx0 f (x), ossia
lim lim fn (x) = lim lim fn (x) . (10.2.3)
n+ xx0 xx0 n+
Teorema 10.2.4. Sia {fn } una successione di funzioni definite da [a, b] a R, in cui fn integrabile
secondo Riemann in [a, b] per ogni n, e che converge uniformemente alla funzione f nel medesimo
intervallo. Allora anche f R([a, b]), e vale
Z b Z b
lim fn (x) dx = lim fn (x) dx. (10.2.4)
n+ a a n+
Corollario 10.2.5. Sia {fn } una successione di funzioni definite da [a, b] a R, in cui fn continua
in [a, b] per ogni n, e che converge uniformemente alla funzione f nel medesimo intervallo. Allora
vale la (10.2.4).
Dimostrazione. Poich fn C ([a, b]) per ogni n, dal teorema 10.2.2 segue che anche f lo ,
dunque f R([a, b]). Inoltre si ha
Z b Z b Z b Z b
fn (x) dx f (x) dx = fn (x) f (x) dx |fn (x) f (x)| dx
a a a a
Z b Z b
kfn f k,[a,b] dx = kfn f k,[a,b] dx = (b a)kfn f k,[a,b] ,
a a
n=1
n=2
(0, n2 ) n=3
n=4
n=5
f (x)
(n,0)
Figura 10.4: La successione fn (x) = n2 n22 x per x < n e fn (x) = 0 per x n forma un triangolo
di area 1 con gli assi cartesiani, indipendentemente dal valore di n.
che converge uniformemente alla funzione f (x) = 0 (figura 10.4). Lintegrale di ogni fn (x) in
[0, +) vale 1, per ogni n, poich la curva descritta dalla funzione un triangolo di base n e
altezza 2/n, ma lintegrale della funzione limite chiaramente nullo.
La derivabilit di una successione di funzioni una questione pi complicata dellintegrabilit:
si gi visto in un precedente esempio che anche se la successione converge uniformemente,
q non
sempre vero che converge anche la successione delle derivate, come per fn (x) = x2 + n2 ,
1
la cui
derivata della funzione limite non esiste nemmeno, in x = 0.
Teorema 10.2.6. Sia {fn } una successione di funzioni definite da [a, b] in R e derivabili in tale
intervallo. Se esiste un punto x0 [a, b] per cui {fn (x0 )} converge, e se la successione delle
derivate {fn0 } converge uniformemente in [a, b] ad una funzione g, allora esiste una funzione
f : [a, b] R derivabile, tale che
{fn } converga uniformemente a f in [a, b];
f 0 (x) = g(x) in ogni punto x [a, b], ossia
0
lim fn0 (x) = lim fn (x).
n+ n+
Essa derivabile, poich lintegranda g continua, f derivabile per il teorema fondamentale del
calcolo integrale 8.5.2Re la sua derivata f 0 (x) = g(x) in [a, b]. Inoltre per il medesimo teorema si
ha fn (x) = fn (x0 ) + x0 fn0 (t) dt, quindi x [a, b] risulta
x
Z x Z x
|f (x) fn (x)| = |f (x0 ) + g(t) dt fn (x0 ) fn0 (t) dt|
x0 x0
Z x
|f (x0 ) fn (x0 )| + | g(t) fn0 (t) dt|
x0
|f (x0 ) fn (x0 )| + |x x0 |kg fn0 k,[a,b]
|f (x0 ) fn (x0 )| + (b a)kg fn0 k,[a,b] ,
e poich per le ipotesi fn (x0 ) f (x0 ) per n +, ed {fn0 } converge a g, si ha che {fn } converge
a f ; la convergenza infine uniforme in quanto non dipende affatto dalla scelta di x, come si nota
nellultima riga dellequazione dove la variabile non compare pi.
importante che la successione {fn } converga almeno in un punto: se si guarda alla successione
fn (x) = n, che costante, la successione delle derivate fn0 (x) = 0, cio sono tutte identicamente
nulle (fn infatti costante), quindi ovviamente {fn0 } converge uniformemente alla funzione
identicamente nulla. Ma si nota facilmente che fn non converge in nessun punto dellasse reale,
nemmeno puntualmente, quindi non esistono nemmeno la funzione limite f n la sua derivata f 0 .
BF (E) R. Tale distanza ben definita, perch tutte le p componenti di f e g sono limitate,
quindi kf (x)kF M e kg(x)kF K x E, quindi per la disuguaglianza triangolare risulta
kf (x) g(x)kF M + K, cio d(f , g) M + K < +. Inoltre soddisfa le propriet che
definiscono una distanza, ossia:
d(f , g) 0 x E in quanto una norma euclidea, e d(f , g) = 0 se e solo se kf (x)g(x)kF =
0 per ogni punto x E, vale a dire che per tutti i punti x0 E risulta f (x0 ) = g(x0 ), cio
le funzioni coincidono.
d(f , g) = d(g, f ) per la simmetria della norma euclidea.
Date tre funzioni f , g, h BF (E), per la disuguaglianza triangolare della norma euclidea si
ha
kf (x) g(x)kF kf (x) h(x) + h(x) g(x)kF
kf (x) h(x)kF + kh(x) g(x)kF (10.3.1)
d(f , h) + d(h, g).
Poich quindi per ogni punto x E la norma kf (x) g(x)kF non supera questa somma
delle distanze, anche il suo estremo superiore non la potr superare, dunque
Lo spazio BF (E) pu assumere anche la struttura di spazio vettoriale, a seconda che lo sia prima
linsieme F di arrivo. Infatti per la disuguaglianza triangolare la somma di due funzioni limitate
CAPITOLO 10. SUCCESSIONI DI FUNZIONI 93
limitata, e analogamente per il prodotto con uno scalare di una funzione limitata. Le immagini
dei risultati di queste due operazioni per non appartengono necessariamente ad F : questo accade
soltanto se linsieme F a sua volta uno spazio vettoriale.
Data una successione di funzioni fn convergente alla funzione limite f , secondo tale metrica la
convergenza accade se d(fn , f ) 0 per n +, cio se fn converge uniformemente a f .
Teorema 10.3.1. BF (E) uno spazio metrico completo.
Dimostrazione. Una successione {fn }nN soddisfa la condizione di Cauchy rispetto alla distanza
d se > 0, N = N () : m, n N si ha d(fn , fm ) < , cio
sup kfn (x) fm (x)kF < ,
xE
per ogni coppia x, y X, ossia se T contrae le distanze (anche non uniformemente) tra x e y.
Una contrazione sempre, come si nota facilmente, una funzione lipschitziana di costante
k < 1, quindi uniformemente continua.
Teorema 10.4.2 (Banach-Caccioppoli). Sia (X, d) uno spazio metrico completo, e T : X X
una contrazione su X. Allora esiste, ed unico, un punto fisso x X tale per cui T (x ) = x .
Dimostrazione. Sia x0 X, x1 limmagine di x0 attraverso la contrazione T e cos via seguendo
la regola xn = T (xn1 ), per ogni n N0 . La distanza tra due elementi della successione costruita
in questo modo
d(xn+1 , xn ) = d T (xn ), T (xn1 ) kd(xn , xn1 ) k 2 d(xn1 , xn2 ) k n d(x1 , x0 ).
e si ha che
1
mn1 +
kj =
X X
kj ,
j=0 j=1
1k
quindi risulta
kn
d(xm , xn ) d(x1 , x0 ). (10.4.2)
1k
Allora, poich k < 1, il secondo termine tende a 0 quindi > 0 n : m > n n si ha
d(xm , xn ) < , ossia la successione soddisfa la condizione di Cauchy. Dato che lo spazio metrico
(X, d) completo, {xn } converge ad un punto x X per n +. La contrazione T infine
(uniformemente) continua, quindi
T (x ) = T lim xn = lim T (xn ) = lim xn+1 = x ,
n+ n+ n+
quindi x un punto fisso di T ; per lunicit del limite (teorema 3.2.4) inoltre unico.
Non rispettando le ipotesi il teorema non sempre ancora valido, come ad esempio nello
spazio R \ {0} con la distanza euclidea: la funzione f (x) = x2 una contrazione, ma il suo punto
fisso, che sarebbe x = 0, non appartiene allo spazio. Anche se T non una contrazione si hanno
degli effetti indesiderati: se k = 1, infatti le distanze rimangono costanti, come per g(x) = x + 1,
che non ha punti fissi, o per h(x) = x che ne ha infiniti.
Osservazione 10.4.3. Il teorema 10.4.2 non vale se la funzione T tale per cui d T (x), T (y) <
d(x, y), ossia con una disuguaglianza stretta. Infatti, sia X = [1, +): la funzione f (x) = x + x1
soddisfa questa condizione, ma non ha punti fissi.
Capitolo 11
Serie di funzioni
Analogamente alle serie numeriche, si pu costruire una successione di somme parziali a partire
da una successione di funzioni. Sia {fn (x)}, con n N0 o un opportuno sottoinsieme, una
successione di funzioni definite tutte su un medesimo insieme E; si consideri la successione Sk (x)
come la somma dei primi k termini di {fn (x)}
k
Sn (x) = fn (x),
X
n=1
ovviamente sempre definita in E: essa la successione delle somme parziali. La serie di funzioni
+
S(x) = fn (x)
X
n=1
converge in x0 se converge la serie numerica n=1 fn (x0 ). La funzione S(x), definita ovunque la
P+
serie di funzioni converga, anche chiamata funzione somma.
Nel capitolo 10.3 si era visto che lo spazo metrico delle funzioni limitate e quello delle funzioni
continue C k (E) sono spazi vettoriali, se si assume come insieme di arrivo lintero R. Da ci segue
che la funzione somma di funzioni limitate a sua volta limitata, e analogamente continua
quando somma di funzioni continue (dello stesso ordine k). Dunque la successione Sk (x) delle
somme parziali assume le stesse propriet delle fn (x) di cui somma:
95
CAPITOLO 11. SERIE DI FUNZIONI 96
Chiaramente la somma (finita) di funzioni limitate o continue ancora limitata o continua: non
sempre lo stesso vale per la funzione somma, per la quale si applica il seguente teorema.
Teorema 11.1.4. Se fn (x) C (J) n e S(x) = n=1 fn (x) converge uniformemente in J,
P+
allora S C (J).
Teorema 11.1.5. Se esiste finito il limxx0 fn (x) = `n R, per ogni n, e S(x) = n=1 fn (x)
P+
P+
converge uniformemente in J, allora la serie n=1 `n converge e vale
+ + +
`n = lim S(x) lim fn (x) = lim fn (x).
X X X
xx0 xx0 xx0
n=1 n=1 n=1
Teorema 11.1.6. Se fn R([a, b]) per ogni n e la serie S(x) = fn (x) converge uniforme-
P+
n=1
mente in [a, b], allora S R([a, b]) e vale
Z +
bX + Z b
fn (x) dx = fn (x) dx.
X
a n=1 n=1 a
Teorema 11.1.7. Se fn (x) derivabile in [a, b] per ogni n, la serie delle derivate n=1 fn0 (x)
P+
converge uniformemente in [a, b], ed esiste un punto x0 [a, b] per cui la serie n=1 fn (x0 )
P+
+
X +
0 X
S (x) =
0
fn (x) = fn0 (x).
n=1 n=1
n
X
=
kSn Sm k,J
fk
< .
k=m+1 ,J
Posti m + 1 = p e q > 0, si ottiene che la condizione soddisfatta se p > n() e q > 0 interi si ha
p+q
fk (x)
(11.1.1)
X
< .
k=p J
Da questo si ottiene una condizione necessaria per la convergenza uniforme della serie.
ossia che > 0 n() tale per cui p > n si ha kfp 0k,J < cio fp (o equivalentemente fn )
converge uniformemente alla funzione identicamente nulla.
Definizione 11.2.1. Si dice che la serie n=1 fn (x) converge totalmente in J se esiste una
P+
successione numerica {Mn } R tale che |fn (x)| Mn per ogni n e x J, e per cui la serie
n=1 Mn converga.
P+
La definizione continua a valere se come successione {Mn } si prende il minimo dei maggioranti
di fn (x) in J, che proprio la norma uniforme: allora la convergenza totale anche quando la
serie n=1 kfn k,J converge.
P+
3. Considerata solo in R+ , la serie di termine generale fn (x) = x1 [n,n+1] (x) converge puntual-
mente ed assolutamente (la somma corrisponde in effetti allintegrale improprio 1 x dx),
R + 1
n=0
Qualunque serie di potenze converge sempre in x0 , dove il termine generale sempre nullo: dunque
linsieme di convergenza puntuale non mai vuoto. Tutte le serie di potenze saranno indicate
CAPITOLO 11. SERIE DI FUNZIONI 98
in questo capitolo con n {0, 1, . . . }, senza perdere la generalit; laddove vi siano problemi di
esistenza del coefficiente an , lindice iniziale sar opportunamente cambiato. Ovviamente ci non
cambia il carattere della serie, ma importante quando si intendeP calcolare la funzione somma.
Per comodit, tramite la traslazione y = x x0 si ottiene la serie n=0 an y n , che centrata in
+
fn (1) = 1 = 1.
n
|an | 0, quindi esiste c > 0 tale per cui per ogni n si abbia |an n | < c. Allora
n
n n
n x
x
|an x | = |an | c ,
n
che il termine generale di una serie geometrica,
P+ e converge dunque per |x/| < 1 cio per
x (||, ||). Per il teorema del confronto, n=0 an xn converge assolutamente nel medesimo
intervallo. Se poi K un sottoinsieme compatto di tale intervallo, sicuramente |x/| 1 per
qualche > 0, ma allora |an xn | c(1 )n quindi n=0 an xn converge totalmente.
P+
n=1
che deve essere minore di 1, quindi |x| < 1/`: allora = 1/` il raggio di convergenza.
CAPITOLO 11. SERIE DI FUNZIONI 99
La dimostrazione analoga a quella del teorema precedente. Questo criterio inoltre mostra
che se an ha una crescita o decrescita di tipo polinomiale il raggio di covergenza 1. Non
possibile stabilire a priori la convergenza ai bordi dellintervallo di convergenza.
Esempio 11.3.6. La convergenza in tali punti va studiata di volta in volta. Ad esempio:
1. la serie n=0 xn converge in (1, 1);
P+
possibile calcolare lintegrale di una serie di potenze trasformandolo in una serie numerica
grazie al teorema seguente.
con raggio di convergenza . Per [, ] (, ) vale
P+ n
Teorema 11.4.3. Sia n=0 an x
luguaglianza
Z X+ +
n+1 n+1
an xn dx = (11.4.1)
X
an .
n=0 n=0
n+1
+
X
nan xn1 .
n=0
Dato che il primo termine, corrispondente a n = 0, costante (vale a0 ) la sua derivata nulla,
quindi non appare nella serie derivata; si pu allora trascurare, senza alterare in alcun modo la
serie, il primo termine facendo partire la serie da n = 1, ottenendo
+
X
nan xn1 .
n=1
n=0
Il termine n n + 1 tende a 1, cos come lesponente n+1
n nella seconda radice. Il termine
p
n+1
|an+1 |
al limite per n + tende a 1/ dove lo stesso raggio di convergenza della serie primitiva.
Quindi si pu formulare il teorema seguente.
P+
Teorema 11.4.4. Sia S(x) la funzione somma della serie n=0 an xn , con raggio di convergenza
non nullo: S derivabile in (, ) e vale
+
S 0 (x) = (n + 1)an+1 xn ,
X
n=0
n=0
n=k
+
= (m + k)(m + k 1) . . . (m + 1)am+k xm ,
X
m=0
CAPITOLO 11. SERIE DI FUNZIONI 101
sostituendo m = n k. Tutti i termini di indice n < k sono via via eliminati dalle derivate in
quanto ogni volta, il primo costante. In x = 0, tutte le potenze diventano nulle ad eccezione del
primo termine, che poich m = 0 diventa k!ak , per ogni k 0 ( lordine di derivazione), cio
deve risultare
f (k) (0)
ak = .
k!
I coefficienti della serie sono quindi univocamente determinati dalle derivate della funzione somma,
tramite lequazione precedente.
Teorema 11.4.5. Data la serie di potenze S(x) = n=0 an (x x0 )n con raggio di convergenza
P+
6= 0, si ha che S C ((x0 , x0 + )) e per ogni punto x in tale intervallo risulta
S (x0 )
+ (n)
S(x) = (x x0 )n . (11.4.3)
X
n=0
n!
Esempio 11.4.6. La serie f (x) = n=0 x ha = 1. La sua somma quella della serie
P+ n
geometrica f (x) = 1x
1
. Integrando in [0, x] si ha che
x x
dt
Z Z
f (t) dt = = log(1 x),
0 0 1t
n=1
n
Per il criterio di Leibnitz per lultima serie converge anche in x = 1: allora lecito valutare
luguaglianza in questo punto, potendo cos calcolare il valore della serie numerica:
(1)n
+
= log 2.
X
n=1
n
Esempio 11.4.7. La serie g(x) = n=0 (1)n x2n converge in (1, 1). Si pu riscrivere come
P+
x x
dt
Z Z
g(t) dt = = arctan x,
0 0 1 + t2
e termine a termine
+
xX + x +
x2n+1
Z Z
(1) t dt = (1) t2n dt = (1)n
X X
n 2n n
.
0 n=0 n=0 0 n=0
2n + 1
(1)n
+
= arctan 1 =
X
n=0
2n + 1 4
che tende a 0 per n +, quindi la funzione coincide con il suo sviluppo in serie di Taylor.
Esempio 11.5.3. La funzione f (x) = sin x di classe C (R). Posto x0 = 0, si ha che f (n) (0) = 0
se n pari, o 1 se n dispari. Poich quindi |f (n) (0)| 1 per ogni n 0, f analitica in un
intorno di x = 0: chiaramente il risultato si estende anche a tutto R (figura 11.1). Allora per
ogni x R si ha
+
x2n+1
sin x = (1)n
X
.
n=0
(2n + 1)!
Derivando la serie (la convergenza necessariamente uniforme in tutto R) si ottiene quindi
luguaglianza
+
x2n
cos x = (1)n
X
.
n=0
(2n!)
Esempio 11.5.4. Si consideri la funzione f (x) = ex in x0 = 0. Ogni sua derivata vale f (n) (0) = 1,
per ogni n, inoltre per |x| < R risulta, sempre per ogni n, |f (n) (x)| eR , essendo una funzione
crescente. Dunque ex analitica, cio per ogni x (R, R) si ha
+ n
x
ex =
X
.
n=0
n!
Poich R del tutto arbitrario, la f (x) = ex in realt analitica in qualunque punto dellasse
reale (figura 11.2). Questa uguaglianza sfruttata per definire la funzione esponenziale anche in
altri ambiti, come per i numeri complessi o per le matrici.
CAPITOLO 11. SERIE DI FUNZIONI 103
n=0
n=1
n=2
n=3
n=4
n=5
x sin x
Figura 11.1: Approssimazioni crescenti dello sviluppo di Taylor per sin x. Si nota che lo sviluppo
arrestato a n = 4, che corrisponde alla nona potenza di x, gi unottima approssimazione in
(, ).
n=0
n=1
n=2
n=3
n=4
n=5
ex
Equazioni differenziali
ordinarie del primo ordine
Le equazioni diferenziali sono equazioni che hanno come incognita, anzich un numero, una
funzione y(x), che appare nella formula insieme alle sue derivate. In base allinsieme di definizione
della funzione y, si definiscono equazioni differenziali ordinarie se y : R Rm , cio una funzione
ad una sola variabile, altrimenti a derivate parziali se y : Rn Rm , ossia ammette pi variabili
indipendenti. Lordine della derivata pi alta della y lordine dellequazione, per distinguerla
dal grado di quelle algebriche. In questo capitolo, dora in poi, si parler soltanto di equazioni
differenziali ordinarie. Si definisce in forma normale unequazione differenziale in cui la derivata
massima isolabile dai restanti termini, ossia se si pu scrivere nella forma
con f : R1+mk Rm .
Definizione 12.1.1. Si dice che la funzione y una soluzione, nellintervallo I, della (12.1.1) se:
y : I R Rm derivabile in I;
x, y(x) appartiene al dominio di f (che potrebbe non essere definita in tutto Rm+1 );
Si inizi con il caso pi semplice, ossia lequazione y 0 = f (x), in cui la funzione f : R R non
dipende da y. Innanzitutto, se f ha in un punto x0 una discontinuit eliminabile o di prima specie,
il problema non si pu risolvere, dato che una funzione derivata pu avere soltanto discontinuit
di seconda specie, come segue dal teorema 6.4.5. Si pu quindi eliminare una parte dei casi
patologici, e trattare solo una classe di funzioni, quelle continue nel loro insieme di definizione.
Se f C (I), quindi, la (12.1.1) ammette sempre una soluzione. Se prima era possibile non
avere soluzioni, per, ora lequazione y 0 = f (x) ammette comunque infinite soluzioni: infatti tali
soluzioni sono tutte le primitive di f , di cui chiaramente non ne esiste una soltanto. Bisogna
quindi imporre il passaggio della funzione per un certo punto y(x0 ) = y0 , in modo da avere una
soluzione che sia anche unica.
104
CAPITOLO 12. EQUAZIONI DIFFERENZIALI ORDINARIE DEL PRIMO ORDINE 105
y 0 = 2xy 2
(
y(0) = y0 .
y 0 = 3y 2/3
(
y(0) = 0.
La funzione f del problema continua in tutto R2 , quindi esiste una soluzione nellintorno di x0 :
infatti la funzione y(x) = 0 una soluzione del problema. Non per lunica, dato che se y 6= 0
esistono infinite soluzioni in tale intorno, definite in tutto R: una di queste anche, tra le tante,
la funzione y(x) = x3 . Questo problema noto come pennello di Peano.
La sola continuit di f sufficiente a garantire lesistenza, ma sfortunatamente non basta per
decretare anche lunicit della soluzione: per questo si avr bisogno di ipotesi di partenza pi
restrittive.
Sia f : Rn+1 Rn continua in E, e siano (x0 , y0 ) E e x0 I. Se la funzione y : I Rn
risolve il problema di Cauchy (12.2.1), certamente continua in I, poich la sua derivata esiste
per i valori di x I. Ma allora f x, y(x) a sua volta continua in I, a cui segue che anche
valida per ogni x I. Si nota subito che in questultima equazione y(x0 ) = y0 . Inoltre se y C (I)
anche lintegranda continua, quindi risulta derivando i due membri che y0 (x) = f x, y(x) , cio
soddisfa il problema di Cauchy!
CAPITOLO 12. EQUAZIONI DIFFERENZIALI ORDINARIE DEL PRIMO ORDINE 106
y1 per x [a, x0 ]
(
y(x) =
y2 per x [x0 , b]
Poich quindi limxx y0 (x) = limxx+ y0 (x), per il teorema 6.4.5 derivabile in x0 e vale
0 0
y0 (x0 ) = f x0 , y(x0 ) , cio y risolve il problema di Cauchy anche in x0 .
1 convesso un insieme tale che per ogni coppia di punti appartenenti ad esso, il segmento che li unisce
Teorema 12.3.5 (di esistenza e unicit globale). Sia S Rn+1 una striscia verticale a base
compatta, ossia S = [a, b] Rn , e siano (x0 , y0 ) S, f : S Rn . Se f C (S) e, in S, f
lipschitziana rispetto a y e uniformemente rispetto a x, allora il problema di Cauchy (12.2.1)
ammette una e una sola soluzione, definita in tutto [a, b].
Dimostrazione. Si consideri soltanto lintervallo [x0 , b]: si definisce h = min{b x0 , 2L 1
}, dove
L la costante di Lipschitz per f rispetto alla variabile y, e lintervallo I0 = [x 0 , x0 + h]. Lo
spazio X = C (I0 ), d , con la distanza d = kf gk,I0 , uno spazio metrico completo. Per
ogni y X, si applichi loperatore di Volterra: V(y) C (I0 ), quindi loperatore una mappa
V : X X. In questo spazio metrico, date due funzioni y, z X, la norma della loro differenza
per ogni x I0
kV(y)(x) V(z)(x)k =
Z x Z x
=
f t, y(t) dt f t, z(t) dt
=
x0 x0
Z x h
i
=
dt
f t, y(t) f t, z(t)
,
x0
quindi
Z x h
i
dt
f t, y(t) f t, z(t)
x0
Z x
f t, y(t) f t, z(t)
dt
x
Z x0
Lky(t) z(t)k dt
x0
Z x
L sup ky(t) z(t)k dt =
x0 xI0
Z x
=L ky zk,I0 dt =
x0
= Lky zk,I0 (x x0 )
Lky zk,I0 h
1
ky zk,I0 .
2
Questa disuguaglianza vale pe ogni x I0 , quindi passando allestremo superiore in x si ottiene
che
1
sup kV(y)(x) V(z)(x)k = kV(y) V(z)k,I0 ky zk,I0
xI0 2
e ci mostra che loperatore V una contrazione. Allora esiste, ed unico, un punto fisso in X,
cio una funzione continua y : I0 Rn che risolve V(y ) = y , che quindi anche soluzione del
problema di Cauchy in [x0 , x0 + h]. Se ora x0 + h = b, il problema ha una soluzione unica in tutto
[x0 , b], altrimenti si pone un nuovo problema di Cauchy nellintervallo [x0 + h, b] con un altro
passo lungo almeno 2L 1
. Con un numero finito di queste iterazioni si giunge necessariamente
a b, quindi si arriva in ogni caso a coprire lintero [x0 , b], poich compatto, e per il lemma
12.3.4 precedente la soluzione deve essere la medesima funzione, estesa allintervallo ogni volta
pi ampio. Analogamente si ripete il procedimento in [a, x0 ], e sempre per il 12.3.4 la soluzione
rimane la medesima. Si trova alla fine una soluzione unica al problema di Cauchy nellintero [a, b],
e il teorema quindi dimostrato.
Corollario 12.3.6. Sia S = I Rn : se la f (x, y) soddisfa le ipotesi del teorema precedente in
ogni [a, b] Rn S, allora ogni problema di Cauchy ammette una e una sola soluzione definita
in I, quando il punto x0 per cui si stabilisce la condizione al contorno appartiene ad I.
CAPITOLO 12. EQUAZIONI DIFFERENZIALI ORDINARIE DEL PRIMO ORDINE 108
Sotto ipotesi pi leggere del teorema precedente, lesistenza e unicit della soluzione ad un
problema di Cauchy possono comunque essere garantite, ma solo localmente laddove definita la
condizione al contorno.
Teorema 12.3.7 (di esistenza e unicit locale). Siano Rn+1 aperto, f : Rn , (x0 , y0 ) ,
con il problema di Cauchy (12.2.1). Se esiste un intorno di (x0 , y0 ) contenuto in in cui f
continua e lipschitziana rispetto a y uniformemente rispetto a x, allora esiste un intorno U(x0 )
in cui definita ed unica una soluzione del problema di Cauchy.
Se f C 1 (), allora si dimostra subito che ogni problema di Cauchy associato ammette
ununica soluzione locale: infatti le derivate di f sono continue, quindi anche limitate, da cui
segue la lispchitzianit di f almeno rispetto a y.
operando il cambio di variabile y(x) = u, da cui y 0 (t) dt = du e u(x) = y(x) per sostituire gli
estremi appropriati.
Equazioni lineari
y 0 + a(x)y = b(x). (12.4.2)
Soluzione:
Z x Z x Z t
y(x) = exp a(t) dt y0 + b(t) exp a(s) ds dt . (12.4.3)
x0 x0 x0
Equazioni di Bernoulli
y 0 + a(x)y + b(x)y = 0. (12.4.4)
1
Si opera il cambio di variabile z(x) = y 1 (x), cio y(x) = z (x), ottenendo dopo qualche
1
passaggio lequazione
z 0 + (1 )a(x)z + (1 )b(x) = 0, (12.4.5)
che lineare del primo ordine.
Equazioni differenziali
ordinarie di ordine superiore
Lasciando le equazioni differenziali, sempre ordinarie, del primo ordine soltanto ma generalizzando
ad ordini qualsiasi, si trova la forma
Dunque risolvendo la (13.0.1) tramite una funzione y, allora z = (y, y 0 , . . . , y (k1) ) risolve la
(13.0.2), nella quale si pone
Si mostrato allora come dalla (13.0.1), equazione differenziale di una funzione scalare
allordine k, si ricavata unequazione differenziale di una funzione vettoriale in Rk . Viceversa,
data lequazione (13.0.2) si ha luguaglianza, per lultima componente dei vettori,
da cui ponendo zi (x) = y (i1) (x) per ogni i {1, . . . , k} si ottiene esattamente la (13.0.1), quindi
da unequazione differenziale vettoriale in Rk si ottiene unequazione differenziale scalare di ordine
k. I due tipi di equazioni sono allora del tutto analoghi, quindi si possono utilizzare per entrambi
i medesimi teoremi.
109
CAPITOLO 13. EQUAZIONI DIFFERENZIALI ORDINARIE DI ORDINE SUPERIORE110
z0 = F(x, z)
(
(13.1.1)
z(x0 ) = ,
y = f (x, y, y 0 , . . . , y (k1) )
(k)
y(x ) = 1
0
y 0 (x0 ) = 2 (13.1.2)
.
..
(x0 ) = k .
(k1)
y
Si possono quindi formulare i due teoremi, del tutto analogi ai teoremi 12.3.5 e 12.3.7, per le
equazioni di ordine superiore al primo.
Teorema 13.1.1 (di esistenza e unicit globale). Sia S Rk+1 una striscia verticale, ossia
S = I Rk (con I intervallo di qualunque genere), e siano x0 I e Rk , cio (x0 , ) S.
Data f : S R continua in S e lipschitziana rispetto alla variabile y Rk e uniformemente
rispetto a x, in ogni sottostriscia compatta [a, b] Rk S, il problema di Cauchy (13.1.2) ammette
una e una sola soluzione, definita in tutto I.
Teorema 13.1.2 (di esistenza e unicit locale). Siano Rk+1 aperto, f : R, (x0 , ) ,
con il problema di Cauchy (13.1.2). Se f C 1 (), esiste un opportuno intorno di x0 in cui
definita una soluzione, unica, del problema di Cauchy.
y (k) (x) + ak1 (x)y (k1) (x) + + a1 (x)y 0 (x) + a0 (x)y(x) = b(x), (13.2.1)
j=0
che per come stato costruito lineare. Inoltre L : C k (I) C 0 (I), quindi L unapplicazione
lineare tra due spazi vettoriali (di dimensione infinita). Si riassume dunque la (13.2.2) nella forma
L(y) = b. Scrivendo lequazione in forma normale, risulta
k1
y (k) (x) = b(x) aj (x)y (j) (x) = f (x, y, y 0 , . . . , y (k1) ).
X
j=0
CAPITOLO 13. EQUAZIONI DIFFERENZIALI ORDINARIE DI ORDINE SUPERIORE111
L(y) = b
y(x ) = 1
0
y 0 (x0 ) = 2 (13.2.4)
.
..
(x0 ) = k
(k1)
y
... .. ..
...
.
.
(x ) = 0 (x ) = 0 y (k2) (x0 ) = 0
(k2) (k2)
y y
0
0
(x0 ) = 0 (x0 ) = 0 (x0 ) = 1
(k1)
(k1)
(k1)
y y y
j=1
Dato che z(x) combinazione lineare di elementi del nucleo di L, anche z Ker L, quindi
soluzione dellequazione omogenea associata. Si costruisce dunque il problema di Cauchy
L(z) = 0
z(x ) = y(x0 )
0
z 0 (x0 ) = y0 (x0 )
..
.
(x0 ) = y(k1) (x0 )
(k1)
z
Ker L = h{u1 , u2 , . . . , uk }i ,
vale a dire che {u1 , . . . , uk } una base di Ker L, che quindi ha dimensione k.
b = yp00 + a1 yp0 + a0 yp =
= c01 u01 + c1 u001 + c02 u02 + c2 u002 + a1 (c1 u01 + c2 u02 ) + a0 (c1 u1 + c2 u2 ) =
= c1 (u001 + a1 u01 + a0 u1 ) + c2 (u002 + a1 u02 + a0 u2 ) + c01 u01 + c02 u02 =
= c1 L(u1 ) + c2 L(u2 ) + c01 u01 + c02 u02 =
= c01 u01 + c02 u02 .
Si giunge quindi al sistema lineare
u1 c01 + u2 c01 = 0
(
0
0
u1 u2 c1
= . (13.4.4)
u01 c01 + u02 c02 = b u01 u02 c02 b
La soluzione sar data dunque, secondo la (13.4.1), da y(x) = yp (x) + 1 u1 (x) + 2 u2 (x), con
1 , 2 R.
Equazioni di Eulero
Sono di questo tipo le equazioni nella forma
xk y (k) (x) + ak1 xk1 y (k1) (x) + + a1 xy 0 (x) + a0 y(x) = b(x) (13.4.6)
con ak1 , . . . , a1 , a0 costanti reali, e b C (I). Si nota subito che per portare lequazione in forma
normale necessario dividere i termini per xk , introducendo un problema non trascurabile in x = 0:
bisogner alla fine infatti trattare con cura la soluzione in questo punto. Si considerano allinizio
le soluzioni in (0, +) e (, 0): per x > 0 si effettua la sostituzione x = et , e chiamando
z(t) = y(et ) si ottiene (esplicitando la variabile rispetto a cui si derivano le funzioni):
z z t 1 z 0 (t)
y 0 (x) = z 0 (t) = (t) = (t) (t) = z 0 (t) t =
x t x e x
per le regole di derivazione della funzione inversa. Per gli ordini secondo e terzo,
z 0 (t) 1 1 z 0 (t) t 1
0
y (x) =
00
y (x) = = 2 z 0 (t) + = 2 z 00 (t) z 0 (t)
x x x x x t x x
1 1 1 3 2
y 000 (x) = y 00 (x) = 2
z 00 (t) 2 z 0 (t) = 3 z 000 (t) 3 z 00 (t) + 3 z 0 (t)
x x x x x x x
xy 0 (x) = z 0 (t)
x2 y 00 (x) = z 00 (t) z 0 (t) (13.4.7)
x y (x) = z (t) 3z (t) + 2z (t)
3 000 000 00 0
e cos via per gli ordini superiori. Si ottiene dunque il problema di Cauchy, da risolvere in (0, +),
per la funzione z(t) con lo stesso termine noto. Si rieffettua infine la sostituzione inversa t = log x
per ottenere le soluzioni dellequazione di partenza. Nellintervallo (, 0) si sostituisce poi
x = et : con calcoli analoghi si ottiene la stessa soluzione generale dellequazione omogenea,
mentre il termine noto b(et ) rimane uguale solo se pari. Il cambiamento di variabile in ritorno,
questa volta, t = log(x).
Parte III
115
Capitolo 14
Funzioni implicite
Concentreremo il nostro studio delle funzioni implicite sul piano cartesiano R2 : essenziale, prima
di iniziare, sapere la definizione di una curva con immagine appunto in R2 , e le sue propriet di
base.
Definizione 14.0.1. Una curva una mappa : I R2 che associa a t la coppia ordinata
x(t), y(t) . Essa si dice regolare se di classe C e se 0 (t) = x0 (t), y 0 (t) 6= (0, 0) t I.
1
y 0 (t) non nulla. Sia t0 un punto di [a, b] e poniamo per ipotesi x0 (t0 ) > 0: per la continuit di
deve esistere un intorno U (t0 ) [a, b] in cui ancora x0 (t) > 0 t U (t0 ). Definiamo allora
(t) la curva (t) ristretta a U (t0 ). Poich in U (t0 ) la x0 (t) sempre positiva, significa che x(t)
monotona crescente, quindi invertibile nellintorno. Chiamiamo linversa t(x): allora possiamo
rappresentare (t) come la funzione y = f t(x) = f (x).
Spesso per una curva non data in rappresentazione parametrica, ma tramite unequazione
cartesiana che lega le coordinate nella formula F (x, y) = 0. Ad esempio, la circonferenza unitaria
data dalla funzione F (x, y) = x2 + y 2 1: i punti soluzioni dellequazione F (x, y) = 0 sono i punti
della circonferenza. Questo esempio un caso piuttosto facile, ma come facciamo a capire cosa
rappresenta lequazione x2 (4x + 1) y 2 = 0? Non sappiamo, cos a priori, se nemmeno una curva.
Il seguente teorema, che il teorema delle funzioni implicite, fornisce delle condizioni sufficienti a
rappresentare certe curve nascoste in equazioni come queste. Ne daremo la dimostrazione nel
caso di funzioni in R2 , che incontreremo pi spesso. Esiste ovviamente una versione del teorema
per un numero arbitrario di dimensioni, che enunceremo successivamente.
Teorema 14.0.4 (Dini). Sia A R2 un aperto e F : A R una funzione di classe C 1 (A),
e sia (x0 , y0 ) A uno zero di questa funzione tale che F y (x0 , y0 ) 6= 0. Allora esistono degli
intorni U (x0 ) e V (y0 ) per i quali x U !y = f (x) V tale che F (x, y) = 0. Inoltre, la mappa
x 7 f (x) di classe C 1 e vale la relazione
x x, f (x)
F
f 0 (x) = F . (14.0.1)
y x, f (x)
116
CAPITOLO 14. FUNZIONI IMPLICITE 117
x
x 1 2
-1
-2
Figura 14.1: Grafico (in parte) del luogo degli zeri di F (x, y) = cos yx3 y+x1. Possiamo definire
una funzione implicita y = g(x) per ogni intorno di (x, y) 6= (0, 0), dato che nellorigine F
y = 0;
allo stesso modo per possiamo ottenere una funzione implicita x = h(y) per (x, y) 6= ( x, y),
poich in tale punto si ha F
x = 0. Nel secondo caso, ad esempio, in un intorno (qualunque) del
punto impossibile definire una funzione, dato che ad ogni y corrisponderebbero due valori di x,
uno a sinistra e uno a destra della retta x = x .
Localmente nellintorno dato, quindi, si pu rappresentare la curva come funzione y(x) come
nellosservazione precedente.
Inoltre, le derivate parziali di F sono continue (e lo sono perci anche i loro moduli) quindi
per il teorema 5.4.5 di Weierstrass entrambe ammettono massimo e minimo assoluti in T , che
chiuso e limitato, cio compatto. Dunque possiamo maggiorare il secondo membro sostituendo
il numeratore, Fx (a, b), (ricordiamo che (a, b) un punto che ancora non conosciamo) con il
suo massimo max(x,y)T F x (x, y), e sostituendo poi al denominatore y (a, b) questa volta con il
F
CAPITOLO 14. FUNZIONI IMPLICITE 118
max(x,y)T | F
x (x, y)|
|f (x) f (x1 )| (x x1 ) (14.0.4)
min(x,y)T | F
y (x, y)|
x x, y, f (x, y)
F
f
(x, y) = F , (14.0.5)
z x, y, f (x, y)
x
(xx F )(xy F )f 0
f 00 (x) = (14.0.7)
(y F ) + (y1F )2 (x F )[(yx F ) + (yy F )f 0 ]
sfruttando il fatto che xy F = yx F per il teorema di Schwartz, dato che la funzione di classe
C 2 le derivate miste coincidono. Possiamo dunque verificare, se F (x0 , y0 ) nulla, se abbiamo
un punto di massimo o minimo (locale) per la funzione implicita. Sappiamo gi che la f deve
essere derivabile, dato che come conseguenza del teorema di Dini di classe C 2 . Allora per il
teorema di Fermat in ogni punto estremante la derivata prima deve essere nulla. Se f 0 (x0 ) = 0,
dalla (14.0.1) segue che x F (x0 , y0 ) = 0, quindi sostituendolo nella (14.0.8) otteniamo
xx F (x0 , y0 )
f 00 (x0 ) = , (14.0.9)
y F (x0 , y0 )
14.1 Diffeomorfismi
Definizione 14.1.1. Siano A, B Rn insiemi aperti, x0 un punto di A e f : A B una funzione
di classe C 1 (A). La funzione f si dice diffeomorfismo locale in x0 se esiste un opportuno intorno
U di tale punto per il quale la f ristretta a U e alla sua immagine, ossia f : U f (U ), un
diffeomorfismo.
Il seguente teorema mostra una condizione sufficiente a determinare se una funzione un
diffeomorfismo locale.
Teorema 14.1.2 (di invertibilit locale). Siano A, B due insiemi aperti di Rn , x0 un punto di
A, e f una funzione da A a B di classe C 1 (A). La funzione f un diffeomorfismo locale in x0 se
la matrice jacobiana in tale punto non singolare, cio se
fi (xn ) fi ( ni
xn ) = hfi (i ), xn x (14.1.2)
che linsieme la cui frontiera la sfera, cio comprende anche i punti interni. La sfera in Rn indicata spesso
con S n1 .
2 Poich det J f (x ) 6= 0, essa individua un operatore lineare iniettivo, ossia ker J f (x ) = {0}, quindi lunico
0 0
vettore che pu dare il vettore nullo solo il vettore nullo stesso (e v non lo !).
CAPITOLO 14. FUNZIONI IMPLICITE 120
che non nullo per quanto detto nella prima parte della dimostrazione. Possiamo allora applicare
il teorema di Dini per una funzione implicita x = (y): esso afferma che esiste un intorno V di
y0 tale che esiste una funzione : V W di classe C 1 (V ) per cui vale F((y), y) = 0 per ogni
y V . Allora, se esiste una funzione inversa di f , essa deve essere proprio , perch y = f (y) ,
Inoltre dato che (f 1 f )(x) = x, le loro jacobiane sono tali per cui
per una semplice sostituzione. Sia F (t) = f (t) = f x(t), y(t) : necessariamente deve risultare
F 0 (t0 ) = 0 affinche t0 sia un punto estremante. Chiamiamo dunque P ..= x(t0 ), y(t0 ) , e dovremo
avere che
f f
(P )x0 (t0 ) + (P )y 0 (t0 ) = 0. (14.2.1)
x y
Possiamo riscrivere questa equazione in termini del gradiente di f come
x (t0 )
0
f (P ) 0 = hf (P ), 0 (t0 )i = 0. (14.2.2)
y (t0 )
Il vettore 0 (t) sempre tangente a (t) in ogni punto, quindi questequazione significa che il
gradiente di f in P ortogonale alla tangente di in t0 . Questa una condizione necessaria
CAPITOLO 14. FUNZIONI IMPLICITE 121
affinch P = (t0 ) sia un estremante per f sulla frontiera K. Ci inoltre significa che il gradiente
di f in P un multiplo del versore normale a in t0 .
Pu capitare che la frontiera dellinsieme sia espressa non come parametrizzazione di una
curva ma, implicitamente, come luogo di zeri di una certa funzione F: essa rappresenta un vincolo
a cui ci si restringe per calcolare gli estremi. Abbiamo dunque la seguente definizione.
Abbiamo visto che quando il vincolo rappresentabile come una curva, in presenza di un
punto estremante vincolato il gradiente proporzionale alla normale a tale curva. Il seguente
teorema, noto come teorema dei moltiplicatori di Lagrange, mostra una condizione sufficiente ad
individuare i punti stazionari vincolati (che andranno poi studiati man mano per discernerli).
Teorema 14.2.2 (Lagrange). Sia A R2 aperto, f : A R e F : A R, entrambe di classe
C 1 in A. Sia E il luogo degli zeri di F in A. Se (x0 , y0 ) E un punto estremante per f |E , e
F (x0 , y0 ) 6= (0, 0), allora esiste un numero R tale per cui
x (x0 , y0 ) = F
x (x0 , y0 ) e y (x0 , y0 ) = F
y (x0 , y0 ).
f f
ossia
Dimostrazione. Possiamo supporre che F y (x0 , y0 ) 6= 0 senza ledere la generalit del teorema:
sicuramente una tra questa o la derivata rispetto a x deve essere non nulla. Per il teorema di
Dini, linsieme E in U (x0 ,y0 ) coincide con il sostegno di una funzione y = h(x) di classe C 1 , ossia
E U (x0 , y0 ) = { x, h(x) : x I(x0 )}. Inoltre, la derivata h0 (x0 ), che segue sempre dal teorema
di Dini, si pu scrivere in modo che
F F
(x0 , y0 ) + h0 (x0 ) (x0 , y0 ) = 0. (14.2.4)
x y
Questo pu essere visto come un prodotto tra il gradiente di F in (x0 , y0 ) e il vettore 1, h0 (x0 ) ,
T
e dato che nullo significa che sono ortogonali nel punto (x0 , y0 ). Daltra parte il punto
vincolato, cio un estremante per f x, h(x) , che la stessa cosa che dire di restringere la f a
che devessere nulla se il punto un estremo (per il teorema di Fermat: f differenziabile in E).
Ancora una volta si pu interpretare come una relazione di ortogonalit tra il gradiente di f nel
punto (x0 , y0 ) = x0 , h(x0 ) e il vettore 1, h0 (x0 ) . Abbiamo dunque che i gradienti di f e F
T
nel punto sono ortogonali allo stesso vettore: ci implica che essi sono proporzionali (hanno la
stessa direzione), vale a dire f (x0 , y0 ) = F (x0 , y0 ) per un certo numero R.
Il teorema appena dimostrato non si limita ovviamente alle funzioni in due variabili, ma si
pu generalizzare come di seguito.
Teorema 14.2.3 (Lagrange). Sia f : R, con Rn aperto e f C 1 (). Sia inoltre
F : Rm , con m < n, anchessa di classe C 1 (), e E = {x : F(x) = 0}. Se x0 un
CAPITOLO 14. FUNZIONI IMPLICITE 122
A = A1 A2 e A1 A2 = , allora A1 = o A2 = .
Unaltra definizione si ottiene se consideriamo gli archi che collegano due punti dellinsieme: se
per qualsiasi coppia di punti larco contenuto tutto nellinsieme, anche in questo caso linsieme si
dice connesso Il seguente teorema mostra che queste due definizioni sono in realt interscambiabili.
Teorema 15.1.2. Sia A un insieme aperto e connesso di Rn . Per qualsiasi coppia di punti
p1 , p2 A esiste un arco poligonale con estremi p1 e p2 tutto contenuto in A.
Dimostrazione. Sia p1 A, e chiamiamo A1 linsieme dei punti in A che sono connessi a p1 per
archi (anche poligonali). Esso non pu essere vuoto, dato che sicuramente contiene almeno un
punto, che p1 stesso. Chiamiamo P(q1 , q2 ) un generico arco che connette i due punti q1 e q2 :
allora possiamo scrivere A1 = {x A : P(x, p1 )}. Consideriamo un intorno B(x, ) e un punto
y in esso: il segmento [x, y] che lo congiunge a x quindi tutto contenuto in tale intorno. Tale
segmento pu essere visto chiaramente come un arco P(x, y) che li connette, quindi collegando x
a y e x a p1 avremo un arco che connette p1 a y; in breve, P(p1 , x) [x, y] = P(p1 , y). Poich
questo ragionamento vale per ogni scelta di y B(x, ), questo intorno tutto contenuto in A1 ,
che quindi risulta aperto.
Definiamo ora A2 ..= A \ A1 . Sia A2 6= (altrimenti il teorema subito dimostrato), e x A2 :
Linsieme A aperto, quindi esiste un intorno B(x, ) che contenuto in A: sia y un punto di
questo intorno. Come prima, [x, y] B(y, ). Supponiamo che y sia in A1 : risulterebbe allora
che esiste un arco che lo connette a p1 , e di conseguenza un arco P(p1 , y) [x, y] che connette x
a p1 . Per x A2 , quindi siamo giunti ad una contraddizione poich x appartiene sia ad A1 che
A2 ma per come li abbiamo definiti essi non possono avere punti in comune. Dobbiamo quindi
eliminare lipotesi fatta che y A1 , ma allora y A2 , e come prima B(y, ) contenuto in A2 , e
anche A2 quindi aperto.
Alla fine abbiamo quindi che A = A1 A2 e A1 A2 = , dato che sono complementari rispetto
ad A. Questi due sottoinsiemi sono aperti, e A connesso, quindi proprio per la definizione
di insieme connesso A2 deve essere vuoto (avevamo visto che A1 non lo pu essere), ma allora
A1 A, che quindi connesso per archi.
La propriet di connessione di un insieme ci permette di estendere una conseguenza del
teorema di Lagrange, che affermava che su un intervallo le funzioni sono costanti se e solo se
hanno (almeno in tutto lintervallo) derivata nulla, anche a funzioni di pi variabili. Un insieme
123
CAPITOLO 15. FORME DIFFERENZIALI LINEARI 124
connesso prende qui il posto dellintervallo, che pure anchesso un insieme connesso ma solo in
R.
Corollario 15.1.3. Se A Rn aperto e connesso, allora una funzione f : A R differenziabile
costante se e solo se f (x) = 0 per ogni x A.
Dimostrazione. Se f costante ha tutte le derivate parziali nulle, quindi segue subito che f = 0
in ogni punto di A.
Sia f = 0: definiamo, per un a A, linsieme di livello A1 ..= {x A : f (x) = f (a)}, e
A2 .= A\A1 (questultimo sar quindi linsieme dei punti la cui immagine non f (a)). Prendiamo
.
un punto qualsiasi x0 A1 e un suo intorno U(x0 ) che sia tutto contenuto in A (un tale intorno
esiste, perch A aperto). Per ogni x U(x0 ), dunque, per il teorema di Lagrange
per c [0, 1]. Ma U(x0 ) A, quindi per tutti questi punti il gradiente nullo, quindi f (x) = f (x0 )
x U(x0 ), ossia U(x0 ) A1 . Poich questo vale per ogni x0 A1 , A1 risulta aperto. Allo
stesso tempo, per, anche chiuso: infatti se x un punto di accumulazione per A1 , allora
esiste una successione {xn } A1 tale che xn x , ma per la continuit di f si ottiene che
f (xn ) f (
x) = f (a) e dunque x A1 . Allora anche A2 aperto, poich il complementare di
un insieme chiuso rispetto ad uno aperto. Abbiamo trovato quindi che A1 e A2 sono aperti, e per
come li abbiamo costruiti A1 A2 = ; ma A = A1 A2 connesso, quindi per la definizione A2
deve essere vuoto, vale a dire che x A si ha f (x) = f (a), cio f costante in A.
La struttura di spazio vettoriale di questo spazio segue in modo naturale dalla linearit delle
operazioni. In particolare, tra queste applicazioni troviamo quelle che da V portano in K
(anchesso uno spazio vettoriale), dette anche funzionali lineari, che quindi appartengono a
L(V, K). Questo spazio vettoriale detto spazio duale di V e solitamente si indica anche con V .
Prendiamo lo spazio vettoriale sul campo dei reali in cui abbiamo sempre lavorato, Rn , e di
conseguenza il suo duale, che indicheremo con (Rn ) . Vogliamo individuare una relazione che ci
permetta di scrivere una base del duale a partire da una base di Rn , che per semplicit sar per
noi la base canonica. Infatti esiste sempre un isomorfismo che lega i due spazi tra loro, per tale
isomorfismo non canonico, ossia dipende sempre dalla base che scegliamo per Rn : basti pensare
che per trovare la matrice associata ad unapplicazione lineare fondamentale la scelta della base
(tanto che al cambiare della base la matrice non rimane la stessa), e che dopotutto gli elementi
del duale non sono che particolari applicazioni lineari. Siano {ei }ni=1 e {wi }ni=1 rispettivamente
le basi di Rn e (Rn ) : scelta la prima, possiamo determinare la seconda in modo che1
wi (ej ) = ij . (15.2.1)
i=1
Possiamo ulteriormente pensare i coefficienti ai come funzioni dipendenti da una variabile x in
Rn : otteniamo dunque una funzione che porta punti di un certo insieme A Rn nel funzionale
lineare
n
ai (x) dxi .
X
i=1
Queste particolari funzioni sono dette forme differenziali lineari.
Definizione 15.2.1. Sia A Rn aperto. Una mappa : A (Rn ) che porta x A nel
funzionale lineare (x) detta forma differenziale lineare.
Le forme differenziali lineari
Pnsono anche dette 1-forme. Ogni forma differenziale lineare si
pu rappresentare come = i=1 i dxi , e questa scrittura unica poich la scrittura di un
elemento di uno spazio vettoriale in termini di una sua base sempre univoca. Le funzioni i ,
che sono funzioni da A a R, si dicono componenti, o coefficienti della forma, ed esse determinano
la regolarit della forma differenziale.
Definizione 15.2.2. Una forma differenziale lineare : A Rn (Rn ) si dice di classe C k se
tutte le sue componenti lo sono.
Un esempio immediato di forma differenziale, come si pu intuire dal discorso svolto finora,
il differenziale di una funzione f : Rn R: avremo semplicemente = df . Notiamo subito
unimportante differenza nelle notazioni: da una parte abbiamo df , che la 1-forma, cio
unapplicazione da A in (Rn ) , dallaltra abbiamo invece df (x) che il differenziale della funzione,
ossia un elemento di (Rn ) (che poi limmagine di x attraverso ).
CAPITOLO 15. FORME DIFFERENZIALI LINEARI 126
Dimostrazione. Sia = in modo che le due curve siano equivalenti. Se sono anche
equiorientate, allora 0 (t) > 0 t [a, b] e (a) = c e (b) = d. Dunque risulta che
Z Z bX n Z bXn
= ai (t) i (t) dt = ai ( (t)) i0 (t) 0 (t) dt, (15.3.2)
0
a i=1 a i=1
Se le due curve hanno invece verso opposto, si ha 0 (t) < 0 e dunque la mappa decrescente,
e di conseguenza2 (a) = d e (b) = c. Basta ripetere i passaggi compiuti in precedenza, per
trovarsi alla fine con gli estremi di integrazione invertiti rispetto a prima, da cui si ricava facilmente
che Z Z
= .
i=1
xi
2 Si ricordi che : [a, b] [c, d] e di conseguenza deve sempre risultare, almeno, che a < b e c < d.
CAPITOLO 15. FORME DIFFERENZIALI LINEARI 127
Gli integrali di queste forme sono semplicissimi da calcolare: infatti dati A aperto di Rn , f : A R
di classe C 1 (A) e : [a, b] Rn regolare a tratti, risulta
d
n
bX b
f
Z Z Z
df = (t) 0i (t) dt = f (t) dt. (15.4.2)
a i=1 xi a dt
Per il teorema fondamentale del calcolo integrale questultimo uguale a f (b) f (a) .
Notiamo che il risultato non cambierebbe se prendessimo unaltra curva con gli stessi estremi. I
differenziali di funzioni sono quindi delle forme differenziali lineari con limportante propriet
che il loro integrale non dipende dal cammino scelto, ma solo dagli estremi. Questo semplifica di
molto il calcolo di questi integrali, perci vogliamo capire quando possiamo assicurarci che una
forma sia di questo tipo. In una sola dimensione tutte le forme differenziali lineari continue sono
anche dei differenziali di funzioni, ma questo non pi vero in pi dimensioni.
Definizione 15.4.1. Sia A Rn aperto e : A (Rn ) una forma differenziale lineare continua
in A. Essa si dice esatta se esiste una funzione (detta potenziale) F : A R di classe C 1 (A) tale
per cui dF = .
Dimostrazione. Se esatta,
R segue dalla definizione 15.4.1 che esiste una funzione f tale per
cui df = , e allora risulta df = f () f () . Una curva a,b (A) ha gli stessi
Sia ora p A: poich linsieme connesso per archi, per ciascun punto x A esiste una
R curva
regolare a tratti che connette i due punti, vale a dire p,x (A). Sia allora F (x) = : per
ipotesi, lintegrale dipende soltanto dagli estremi della curva, quindi fissato p la F ben definita.
Linsieme A aperto, quindi esiste sempre un intorno B(x, ) A per ogni x A. Vogliamo
ora calcolare il rapporto incrementale di F lungo una direzione arbitraria, ai fini di calcolare
la derivata direzionale, e vedremo che i coefficienti ai della forma sono le derivate parziali di
F . Prendiamo un versore v Rn , e per h R valutiamo lincremento q = x + hv. Per |h|
sufficientemente piccolo, anche q in A. Chiamiamo allora la curva
t [, ]
(
(t)
(t) =
x + (t )hv t (, + 1]
CAPITOLO 15. FORME DIFFERENZIALI LINEARI 128
Nellintervallo [, ], per, le due curve e coincidono, quindi ai (t) = ai (t) per ogni t
Effettuiamo ora un cambio di variabile, ponendo r(t) = h(t ), per cui si avr r() = 0,
r( + 1) = h e dr = h dt: lintegrale precedente diventa
Z hX n
ai x + rv)vi dr. (15.4.6)
0 i=1
Dividendo per h e passando al limite per h 0, anche r tende a zero, quindi possiamo passare
dal limite per h al limite per r. Dal teorema fondamentale del calcolo integrale otteniamo la
derivata di F in x lungo la direzione indicata da v:
F (x + hv) F (x) 1 hX
Z n n n
lim = lim ai (x + rv)vi dr = lim ai (x + rv)vi = ai (x)vi .
X X
h0 h h0 h 0
i=1
r0
i=1 i=1
(15.4.7)
Possiamo vederlo anche con il teorema di De LHpital, derivando rispetto ad h poich numeratore
e denominatore tendono entrambi a zero: la derivata del denominatore h chiaramente 1, quella
del numeratore, che una funzione integrale, per il teorema fondamentale del calcolo integrale
invece la funzione integranda valutata in h (a questo punto non sarebbe nemmeno necessario
passare al limite in r). In ogni caso, notiamo che, poich la derivata direzionale si pu ottenere
come prodotto scalare tra il gradiente di F e v, proprio F = (a1 , . . . , an ). Allora si ottiene
n
= ai dxi = hF , dxi = dF, (15.4.8)
X
i=1
ossia esatta.
ai 2F 2F aj
(x) = (x) = (x) = (x). (15.5.1)
xj xj xi xi xj xi
CAPITOLO 15. FORME DIFFERENZIALI LINEARI 129
Questa propriet che le derivate miste incrociate sono uguali si ritrova nella seguente definizione.
Definizione 15.5.1. Una forma differenziale lineare C 1 (A) per un insieme A Rn aperto
si dice chiusa in tale insieme se
ai aj
(x) = (x) (15.5.2)
xj xi
per ogni x A e i, j {1, . . . , n} con i 6= j.
Da quanto appena detto evidente che tutte le forme differenziali esatte sono anche chiuse,
ma questa propriet si ritrova anche in altre forme, per cui non vale linverso.
Esempio 15.5.2. Consideriamo la forma differenziale
y x
(x, y) = a1 (x, y) dx + a2 (x, y) dy = dx 2 dy
x2 + y 2 x + y2
y x2 y 2 x
= 2 = (15.5.3)
y x + y
2 2 (x + y 2 )2 x x2 + y 2
Notiamo inoltre che la funzione F (x, y) = arctan xy , a meno di costanti arbitrarie, tale per cui
x (x, y) = a1 (x, y) e y (x, y) = a2 (x, y) per ogni (x, y) A, quindi se esiste un potenziale non
F F
pu che essere della forma F (x, y) + c con c R. A causa della singolarit per y = 0 dobbiamo
per prima dividere A nei due sottoinsiemi per y < 0 e y > 0, in cui avremo rispettivamente
F (x, y) + c e F (x, y) + d (a priori non possiamo dire che sono uguali). Determiniamo queste
costanti: fissato x0 < 0, abbiamo i limiti
lim F (x, y) = c e lim F (x, y) = d + , (15.5.4)
xx0 2 xx0 2
y0+ y0
arctan y + c y>0
x
F (x, y) = c 2
y=0 (15.5.5)
arctan y + c y < 0
x
ma allora F discontinua in A, perci non pu essere il potenziale di , che quindi non ammette
potenziali e non esatta.
Il problema da superare non risiede tanto nella funzione, ma nellinsieme in cui la stiamo
studiando: ovvio che se al posto di A avessimo preso solo, ad esempio, il suo sottoinsieme in
cui x > 0, non ci sarebbero stati problemi di continuit e avremmo senza problemi trovato un
potenziale per . Dobbiamo quindi restringere la classe degli insiemi buoni che ci permettano
di dire che quando una forma chiusa anche esatta: tali insiemi sono gli insiemi semplicemente
connessi, che intuitivamente si possono pensare come insiemi senza buchi. Una definizione
rigorosa pu essere data tramite il concetto di curve omotopiche.
Definizione 15.5.3. Siano 1 , 2 : [a, b] A Rn due parametrizzazioni di curve chiuse e
C 2 ([a, b]). La curva 1 si dice omotopica a 2 se esiste una mappa (detta appunto omotopia)
: [0, 1] [a, b] A, di classe C 2 , tale per cui (0, t) = 1 (t) e (1, t) = 2 (t), e per ogni
s [0, 1] si abbia (s, a) = (s, b).
CAPITOLO 15. FORME DIFFERENZIALI LINEARI 130
La mappa dellomotopia tra le due curve si pu vedere pi facilmente come una deformazione
continua (quindi senza strappi) e differenziabile che trasforma curve chiuse in curve chiuse nello
stesso insieme.
Definizione 15.5.4. Un insieme A Rn si dice semplicemente connesso se ogni curva : [a, b]
A, di classe C 2 ([a, b]) e chiusa omotopica ad un punto in A, ossia ad una curva (degenere)
costante : [a, b] A per cui (t) = c, con c A.
Con queste definizioni possiamo quindi enunciare il seguente importante teorema, noto
principalmente come lemma di Poincar.
Teorema 15.5.5 (Poincar). Sia A Rn un insieme aperto e semplicemente connesso, e una
forma differenziale lineare di classe C 1 (A). Se chiusa in A, allora anche esatta in tale
insieme.
La forma vista nellesempio precedente pu non essere esatta in R2 \ {0} perch linsieme
non semplicemente connesso: ogni curva che circonda lorigine non pu essere deformata in un
punto (dellinsieme) tramite unomotopia, perch abbiamo il buco nellorigine che lo impedisce.
Questo risultato molto importante, perch fornisce le condizioni meno restrittive per affermare
lesattezza della forma. La sua dimostrazione per piuttosto complicata, e non la trattiamo:
possiamo invece verificarne la validit su insiemi pi semplici, come gli insiemi cosiddetti stellati
o gli insiemi convessi, che sono tutti semplicemente connessi quindi per le forme in tali insiemi
vale il lemma di Poincar.
Definizione 15.5.6. Un insieme A Rn aperto si dice stellato rispetto ad un suo punto x0 se
per ogni x A si ha [x, x0 ] A, cio il segmento che li unisce tutto contenuto in A.
Alcuni semplici insiemi stellati sono gli insiemi convessi, per i quali il segmento che unisce due
punti qualsiasi dellinsieme interno ad esso, dunque sono stellati rispetto a tutti i loro punti.
Vediamo quindi una dimostrazione del lemma di Poincar per questi insiemi stellati.
Teorema 15.5.7. Sia A Rn un insieme aperto e stellato, e una forma differenziale lineare
in A. Se chiusa in A, allora anche esatta in tale insieme.
Dimostrazione. Prendiamo un punto x0 A rispetto al quale linsieme stellato, e per ogni
x A parametrizziamo il segmento [x0 , x] con la funzione (t) = x0 + (x x0 )t, con t [0, 1]:
chiaramente
R una curva con sostegno in A. Per mostrare lesattezza della forma, definiamo
F (x) ..= e verifichiamo che ne il potenziale. Calcolando lintegrale della forma lungo il
segmento dato otteniamo
Z 1Xn
F (x) = ai x0 + (x x0 )t (xi x0,i ) dt. (15.5.7)
0 i=1
Si ha che almeno di classe C (A), in quanto chiusa, quindi per la sua continuit e per la
1
Possiamo dunque scambiare x con xji in virt della chiusura della forma. Inoltre, sviluppiamo
ai a
j
la derivata di aj nel prodotto delle derivate delle due funzioni composte, aj e :
n
1X 1
F aj
Z Z
(x) = (t) (xi x0,i ) dt + aj (t) dt =
xj 0 i=1
xi 0
1Xn 1
Z Z
= (xi x0,i )aj (t) (t) dt + aj (t) dt =
0 i=1
xi 0
n
1X n 1
aj k
Z Z
= (xi x0,i ) (t) dt + aj (t) dt =
X
(t)
0 xk xi 0
(15.5.10)
i=1 k=1
1Xn n Z 1
aj
Z
= (xi x0,i ) t(xk x0,k ) dt + aj (t) dt =
X
(t)
0 i=1 xk xi 0
k=1
Z 1Xn n Z 1
aj
= (xi x0,i ) (t) tik dt + aj (t) dt =
X
0 i=1 xk 0
k=1
Z 1Xn Z 1
aj
= (xi x0,i ) (t) t dt + aj (t) dt.
0 i=1 xi 0
F 1
daj 1
Z Z
(x) = (t) dt + aj (t) dt, (15.5.11)
t
xj 0 dt 0
e riunendo gli integrali abbiamo la derivata temporale del prodotto taj (t) , quindi
1
dh 1
F
Z
i
(x) = taj (t) dt = taj x0 + (x x0 )t = aj (x), (15.5.12)
xj 0 dt 0
1 1
a1 a2
(x, y) = 2x = = (x, y). (15.5.13)
y y yx (y x) 2 x
Linsieme A convesso, quindi anche esatta. Prendiamo il punto (0, 1) e la curva (t) =
tx, 1 + (y 1)t che lo connette con un generico (x, y) A, con t [0, 1]. Il suo potenziale la
CAPITOLO 15. FORME DIFFERENZIALI LINEARI 132
funzione F : A R determinata da
1 1
Z Z 1 Z 1
F (x) = = 2tx x dt + 1+ (y 1) dt =
0 1 + (y 1)t tx 0 1 + (y 1)t tx
yx1
Z 1 Z 1 Z 1
= 2tx2 dt + (y 1) dt + dt =
0 0 0 1 + (y 1)t t
yx1
Z 1 Z 1 Z 1
=x 2
2t dt + (y 1) dt + dt =
0 0 0 1 + (y x 1)t
1
= x2 + y 1 + log 1 + (y x 1)t = x2 + y 1 + log(y x).
0
(15.5.14)
Rigorosamente, questa funzione solo una dei potenziali di , che sono della forma F + c per
qualsiasi c R.
La scelta di calcolare lintegrale dal punto (0, 1) ci ha dato un potenziale che si annulla in tale
punto. Questo utile quando espressamente richiesto che il potenziale soddisfi una condizione di
questo tipo: se vogliamo che F valga F0 R in un dato punto x0 , troveremo subito il potenziale
richiesto con la formula Z
F (x) = F0 + (15.5.15)
[x0 ,x]
Come misuriamo il volume di un insieme di Rn ? Partiamo dai pi semplici, gli intervalli sulla
retta reale: associamo in modo del tutto naturale ad un intervallo I di estremi a e b la sua
lunghezza, che definiamo come b a. Un passo ulteriore la generalizzazione degli intervalli a
dimensioni maggiori, ottenendo dei rettangoli, o anche iperrettangoli: essi saranno individuati da
due punti nello spazio, a = (a1 , . . . , an ) e b = (b1 , . . . , bn ), e possiamo definire il volume di un
iperrettangolo come il prodotto delle lunghezze bi ai di ciascun suo lato (preso singolarmente).
Potremmo anche prendere intervalli non limitati, e dire che il loro volume infinito.
Come possiamo definire per il volume per insiemi che non sono intervalli? facile estendere
il risultato allunione di intervalli, ma per un insieme qualunque meno ovvio. Ad esempio, come
misuriamo la lunghezza dellinsieme dei numeri razionali in [0, 1]? Possiamo estendere questo
concetto di volume per insiemi qualsiasi di Rn ? I modi di farlo esistono e sono tanti: la misura
di Lebesgue uno di questi. Vedremo inoltre come questa teoria della misura ci permetter
di ampliare anche la teoria dellintegrazione di Riemann: questultima, pur comprendendo una
vasta gamma di insiemi e funzioni, non sufficiente a trattare facilmente ad esempio i limiti di
successioni di funzioni, per funzioni sempre pi irregolari.
133
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 134
Mentre le prima due sono del tutto plausibili, la terza pu sembrare forse eccessiva. La ragione
per richiederla che ladditivit finita (cio per un numero finito di insiemi) troppo debole
come propriet per giustificare i passaggi al limite degli integrali di successioni che vogliamo
studiare nella nuova teoria. Daltro canto, ladditivit non numerabile sarebbe eccessiva, perch
se la ammettessimo otterremmo che poich un punto ha (come vedremo) un volume nullo, allora
qualsiasi insieme di Rn avrebbe volume nullo.
Questultima propriet ci porta dunque dalle algebre di insiemi alle cosiddette -algebre.
Definizione 16.1.2. Una collezione S di insiemi di X detta -algebra se
S;
se {An } con n N una famiglia (al pi numerabile) di insiemi di S, allora
S
nN An S;
se A S allora A S.
c
In pratica, una -algebra non altro che unalgebra chiusa anche rispetto allunione numerabile,
la collezione C di insiemi su cui definire sar allora di questo tipo. Insieme alle altre propriet
desiderate, tale funzione dovr dunque essere ci che rigorosamente si chiama misura.
Definizione 16.1.3. Sia F una -algebra di sottoinsiemi di X. Una funzione : F [0, +]
detta misura se:
1. () = 0;
2. presa una famiglia numerabile di insiemi tutti disgiunti {An }nN , risulta
[ X
An = (An ). (16.1.1)
nN nN
i=1
Definizione 16.2.1. Sia A Rn . Un insieme numerabile di intervalli compatti {Ik }kK , con
K N, si dice ricoprimento di Lebesgue di A se A kK Ik .
S
N N
|Ik | + <+ (16.2.1)
X X
|I| |Ik |
2k
k=1 k=1
k=1
Dimostrazione. 1. Per ogni > 0 la famiglia {I} = {[0, ]n } ( composta da un solo iperret-
tangolo) un ricoprimento di Lebesgue per linsieme vuoto di Rn . Poich il suo volume
n , lestremo inferiore tra tutti gli positivi d () = 0.
2. Per qualsiasi insieme {Ik }kK di iperrettangoli (K numerabile), risulta ovviamente 0
|Ik | < +, di conseguenza la somma di tutti i volumi
0 |Ik | + (16.2.3)
X
kK
Unendo tutti i ricoprimenti per ogni k K si ottiene che linsieme {Ij }jJ,kK un
(k)
ricoprimento di kK Ak , dunque
S
[ X X
(Ak ) + k < + (Ak ), (16.2.5)
(k) X X
Ak Ij <
2
kK kK jJ kK kK
potendo scegliere lordine della somma (prima su j poi su k o viceversa) poich tutti gli
addendi sono positivi. Per larbitrariet di , lestremo inferiore si ottiene per = 0 da cui
la tesi.
Un insieme si dice di misura nulla se la sua misura esterna zero.
Esempio 16.2.4. Ecco alcuni esempi di tali insiemi.
1. Se I dato dal prodotto di vari intervalli [ai , bi ] con i {1, . . . , n}, e per almeno un j si ha
aj = bj , allora
n n
(I) = (bi ai ) = (aj aj ) (bi ai ) = 0. (16.2.6)
Y Y
i=1 i=1
i6=j
4. Linsieme Q dei razionali numerabile, quindi (Q) = 0 cos come (Qn ) = 0, pur essendo
densi in R e Rn .
5. Ogni sottoinsieme di un insieme di misura nulla a sua volta di misura nulla, per la
monotonia della misura.
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 137
Esistono anche insiemi non numerabili ma di misura nulla, come linsieme di Cantor, definito
come limite per induzione di
C0 = [0, 1]
h 1i h2 i
C1 = 0, ,1
3 3 (16.2.9)
h 1i h2 1i h2 7i h8 i
C2 = 0, , , ,1
9 9 3 3 9 9
...
Non dimostriamo che non numerabile; si pu verificare che ogni punto di C un punto di
accumulazione. Si pu per vedere intuitivamente che la misura di Cn 2n /3n , quindi
2n
(C) (Cn ) = 0 (16.2.11)
3n
cio linsieme di misura nulla.
Indicheremo la classe degli insiemi di Rn misurabili secondo Lebesgue con la scrittura M(Rn ).
Definizione 16.3.2. Si definisce misura di Lebesgue la restrizione della misura esterna
allinsieme M(Rn ).
La misura di Lebesgue, che indicheremo con , coincide (quando definita) con la misura
esterna definita nella 16.2.2, quindi la definizione rimane la stessa, e ovviamente ne eredita le
propriet gi dimostrate. Dora in poi con misurabile intenderemo sempre misurabile secondo
Lebesgue, e con misura la misura di Lebesgue, dove non si presenteranno ambiguit.
Propriet 16.3.3. Un insieme A Rn misurabile se e solo se lo il suo complementare.
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 138
per ogni B Rn . Poich (Ac ) = A, si ha esattamente la stessa equazione per A anzich per
c
Ac .
Un esempio immediato: linsieme vuoto misurabile, perch per ogni A Rn si ha (A ) +
(A c ) = (A Rn ) = (A); di conseguenza lo anche Rn , in quanto suo complementare.
Osservazione 16.3.4. Per dimostrare luguaglianza (16.3.1) per un insieme A si soliti dimostrare
che vale sia (E) (A E) + (Ac E) che (E) (A E) + (Ac E) E Rn .
Per qualsiasi E Rn , per, vale E = (E A) (E Ac ), dunque per la subadditivit della
misura esterna si ha sempre (E) (E A) + (E Ac ), questo indipendentemente che A
sia misurabile o meno. Quindi per dimostrare la (16.3.1) ci baster dimostrare soltanto che
(E) (E A) + (E Ac ). (16.3.3)
Propriet 16.3.5. Ogni insieme Z Rn tale che (Z) = 0 misurabile, e la sua misura di
Lebesgue nulla.
Dimostrazione. Poich E Z c E, per la monotonia della misura esterna abbiamo
(E) (E Z c ). (16.3.4)
Allo stesso modo, E Z Z, quindi (E Z) (Z), ma (Z) = 0 per ipotesi, dunque anche
(E Z) = 0. Allora aggiungiamo 0 = (E Z) alla disequazione precedente, che ovviamente
rimane vera: risulta quindi
(E) (E Z) + (E Z c ) (16.3.5)
Passiamo ora a dimostrare come si comporta la misura di Lebesgue rispetto alle operazioni
insiemistiche, cio il complementare di un insieme, la sottrazione e le unioni e intersezioni (anche
infinite, purch numerabili).
Propriet 16.3.7. Siano A, B M(Rn ):
1. A B, A B e A \ B sono misurabili;
(E) = (E A) + (E Ac ). (16.3.6)
(E Ac ) = (E Ac B) + (E Ac B c ), (16.3.7)
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 139
16.3.3 misurabile.
Infine, anche A \ B misurabile, in quanto A \ B = A B c quindi misurabile.
2. Poich A, B M(Rn ), A B misurabile dunque (A B) = (A B). Usiamo questo
insieme (che ovviamente sottoinsieme di Rn ) nella (16.3.1) con A, anchesso misurabile,
per cui
(A B) = (A B) = (A B) A + (A B) Ac =
(16.3.11)
= (A A) (A B) + (A B) \ A ,
(E Fk ) = (E Fk ) Ak + (E Fk ) Ak c =
= (E Ak ) + (E Fk1 ).
n=1
(E) = (E Fk ) + (E Fk c )
(E Fk ) + (E F c ) =
k (16.3.19)
= (E An ) + (E F )
X
c
n=1
Poich ci vale k N, passando al limite per k + per il teorema di permanenza del segno
continua a valere la disuguaglianza, cio
+
(E) (E An ) + (E F c ). (16.3.20)
X
n=1
dunque
(E) (E F ) + (E F c ) (16.3.22)
perci F misurabile. Per la seconda parte della tesi, prendiamo nella (16.3.20) proprio linsieme
F al posto di E, per cui (F ) = (F ) essendo misurabile:
+
(F ) = (F ) = (F An ) + (F F c ). (16.3.23)
X
n=1
Poich F An = An e F F c = , otteniamo
+ X+
(F ) = An = (An ). (16.3.24)
[
n=1 n=1
Dimostrato il caso dellunione, immediato verificare anche la tesi per lintersezione dato che
+ + c
An = (16.3.25)
\ [
c
An .
n=1 n=1
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 141
Raggiunta la fine di questa sezione, abbiamo dimostrato le propriet che rendono la classe
degli insiemi di Rn misurabili una -algebra. Per quanto detto finora, la terna Rn , M(Rn ),
kN
Segue dalla propriet additiva 16.3.8 che A misurabile in quanto unione numerabile di insiemi
misurabili.
Un insieme chiuso, in quanto complementare di un aperto, anchesso misurabile. Infine un
insieme compatto K in Rn chiuso e limitato, quindi certamente misurabile. Per la limitatezza
inoltre si pu sempre contenere in un iperrettangolo I, per cui (K) (I) < +.
Dalle propriet di base degli insiemi aperti e chiusi (teoremi 2.3.4 e 2.3.5) avevamo trovato
che lunione numerabile di insiemi aperti aperta, e lintersezione numerabile di chiusi chiusa.
Rimangono esclusi lintersezione numerabile di aperti e lunione numerabile di chiusi, che in
generale non sono n aperti n chiusi. Questi tipi di insiemi hanno un ruolo nella teoria della
misura: formalizziamo quindi la definizione e vediamone le applicazioni.
Definizione 16.4.2. Un insieme G RTn si dice di tipo G se risultato di unintersezione
numerabile di insiemi aperti, ossia se G = nN An con An aperto per ogni n. Un insiemeSF Rn
si dice di tipo F se risultato di ununione numerabile di insiemi chiusi, cio se F = nN Cn
con Cn chiuso per ogni n.
Gli insiemi di queste classi sono ovviamente misurabili, ma gli insiemi G non sono necessaria-
mente aperti, come i F non sono necessariamente chiusi; per ogni aperto di Rn di tipo F ,
mentre ogni chiuso di tipo G . Si verifica facilmente inoltre che il complementare di un insieme
G un insieme F , e viceversa.
Lemma 16.4.3. Sia A M(Rn ) e > 0 arbitrario: allora
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 142
1
\
(Z) = (Gk \ E) = lim (Gk \ E) < lim = 0. (16.4.2)
k+ k+ k
kN
(M ) (H \ K). (16.4.3)
(M ) (H \ K) (Un \ Fn ) (16.4.4)
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 143
1
(M ) (Un \ Fn ) < (16.4.5)
n
e la tesi segue prendendo il limite per n +.
{f (x) = c} = k=1 {f (x) k} dunque sono entrambi insiemi di tipo G , perci misurabili.
T+
Come ci si pu aspettare, non tutte le funzioni sono misurabili. Non dobbiamo sforzarci troppo
per trovarne una: se E / M(Rn ), la funzione caratteristica di tale insieme non misurabile,
perch linsieme di livello {x E : E (x) = 1} proprio linsieme E. Se dunque E fosse
misurabile, per questo teorema dovrebbe esserlo anche linsieme di livello, cosa che abbiamo visto
non essere vera: allora E non misurabile.
Teorema 16.5.3. Sia A M(Rn ) e f : A R. Se f continua in A allora misurabile.
Dimostrazione. Linsieme {x A : f (x) < c} aperto in quanto controimmagine dellinsieme
aperto (, c) attraverso funzione continua, dunque misurabile, perci misurabile anche
f.
Osservazione 16.5.4. Se A M(Rn ) di misura nulla, qualsiasi funzione f : A R misurabile.
Dimostrazione. Prendiamo infatti per un c R qualsiasi linsieme Zc = {x A : f (x) < c}.
Poich esso incluso in A, risulta (Zc ) (A) = (A) = 0, dunque Zc misurabile per ogni
c R, ed quindi misurabile f .
Il seguente teorema ci permette di stabilire la misurabilit di una funzione a partire dalle sue
restrizioni ad insiemi minori e viceversa.
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 144
Dimostrazione. Sia E = {x A : f (x) > g(x)}, che tale per cui E A. Preso x E,
f (x) > g(x) quindi per la densit dei razionali nei reali possiamo individuare un numero r Q
tale che f (x) > r > g(x). Allora x {x E : f (x) > r} {x E : g(x) < r}, dunque
rQ
superiore e inferiore (che sono misurabili) coincidono e sono uguali al limite. Questo vale anche
se la convergenza quasi ovunque, in virt del teorema 16.5.6.
Data una funzione f misurabile, inoltre, per questultimo teorema la sua parte positiva e la
sua parte negativa sono misurabili, in quanto f + = max{f, 0} e f = max{f, 0}, cos come lo
il suo modulo |f | = f + f come somma di funzioni misurabili.
g 1 (, c) = [an , bn ], (16.5.5)
[
nN
= {x A : f (x) an } {x A : f (x) bn }
[
nN
definita come
(x)p x < 0
(
g(x) = (16.5.7)
xp x0
che evidentemente continua in tutto R.
Osservazione 16.5.11. La funzione caratteristica di un insieme A misurabile se e solo se A
misurabile.
Dimostrazione. Prendiamo A : Rn {0, 1}. Se c > 1, risulta {x Rn : A (x) < c} = Rn . Se
0 < c 1, {x Rn : A (x) < c} = Ac , poich A (x) = 0 se x / A x Ac . Se c 0 infine
{x R : A (x) < c} = . In tutti i tre i casi gli insiemi sono misurabili, dunque anche A lo .
n
Le funzioni semplici possono essere rappresentate in quella che detta forma canonica come
una somma finita di funzioni caratteristiche: infatti se poniamo Ai come la controimmagine di ci
attraverso f , ossia Ai = f 1 ({ci }) per ciascun i {1, . . . , p}, allora si deve avere necessariamente
Ai Aj = per i 6= j, poich f ( una funzione!) pu avere solo unimmagine per ogni x Rn .
In tale insieme Ai la f corrisponde alla funzione ci Ai , quindi possiamo rappresentare la funzione
semplice come
p
f= (16.6.1)
X
ci Ai ,
i=1
ossia come combinazione lineare di funzioni semplici, dove tutti gli insiemi Ai sono mutualmente
disgiunti e tali che i=1 Ai = Rn . Chiaramente una funzione semplice misurabile se tutti gli Ai
Sp
sono insiemi misurabili. Una funzione semplice pu essere definita anche solo su un sottoinsieme
di Rn , se essa nulla al di fuori di tale sottoinsieme.
Teorema 16.6.2. Sia A M(Rn ): ogni funzione misurabile f : A R il limite puntuale di
una successione di funzioni semplici misurabili su A. Inoltre, se f non negativa su A, tale
successione pu essere scelta non negativa e crescente.
Dimostrazione. Mostriamo prima che, posto vero il secondo punto, il primo ne una conseguenza:
poi dimostreremo il secondo punto. Dividiamo la funzione f , misurabile, in parte positiva e
negativa, f = f + f : entrambe sono non negative e misurabili. Per il secondo punto, esistono
dunque due successioni di funzioni semplici, che chiamiamo {s+ k }kN e {sk }kN , crescenti e per
e poniamo Bk4 +1 ..= [2k , +]. Definiamo inoltre Ajk ..= f 1 (Bkj ) per ogni j = 1, . . . , 4k + 1:
k
essendo controimmagini (tramite una funzione misurabile) di intervalli, che sono insiemi misurabili,
questi Ajk sono tutti misurabili. Su questi insiemi approssimiamo f per difetto, ossia poniamo
j = 1, . . . , 4k
(
j1
ck = 2k
j
(16.6.2)
k
.
2 j = 4k + 1
che chiaramente una funzione semplice e non negativa. Essa inoltre non decrescente, dato
che ogni coefficiente cjk crescente, quindi 0 sk sk+1 f in A. Verifichiamo infine che
converge: se f = +, allora sk (x) = 2k la successione convergente a f . Se invece f < +,
allora 0 f (x) sk (x) 21k 0 dunque sk converge puntualmente a f in A.
Definizione 16.6.3. Sia s : Rn P [0, +) una funzione semplice e misurabile. Data la sua
rappresentazione canonica s = j=1 cj Ej con Ej M(Rn ) e cj R e ci 6= cj per i =
p
6 j,
definiamo lintegrale di Lebesgue di s su Rn come
Z p
s d ..= cj (Ej ). (16.6.4)
X
Rn j=1
Esso un numero in [0, +], dato che un Ej potrebbe avere misura infinita. Con la
convenzione introdotta prima di questa definizione abbiamo inoltre che se ci = 0, allora ci (Ei ) = 0
indipendentemente dalla misura di Ei .
Un primo esempio immediato la funzione di Dirichlet Q : il suo integrale in [0, 1]
Z
Q (x)dx = 1 Q [0, 1] + 0 (R \ Q) [0, 1]
[0,1]
Z p X
q Z
(s + t)d = (s + t)d =
X
E i=1 j=1 EAi Bj
p X q
= (ci + dj )(E Ai Bj ) =
X
i=1 j=1
p q p X
q
= (E Ai Bj ) + Ai B j ) =
X X X
ci dj (E
i=1 j=1 i=1 j=1
p q q p
= (E Ai Bj ) + (E Ai Bj ) =
X X X X
ci dj
i=1 j=1 j=1 i=1
p q
= ci (E Ai ) + dj (E Bj ) =
X X
i=1 j=1
Z Z
= s d + t d.
E E
dove Sf linsieme delle funzioni semplici misurabili per le quali 0 s(x) f (x) x A.
Anche in questo caso lintegrale un numero in [0, +]. Nei casi limite abbiamo che:
se (A) = 0, lintegrale sar sempre nullo. Infatti per qualsiasi f 0 misurabile, per ogni
s Sf si ha
n
0 (16.6.10)
X
cj (Ej A)
j=1
c R, allora cf L (A).
4. Per E A misurabile, E f d A f d.
R R
evidente a questo punto che se f L (A) il suo integrale esiste finito, dunque finito anche
lintegrale di cf , che quindi a sua volta sommabile. La propriet vale anche, ovviamente
se c < 0: basta ricordarsi che f = f + f dunque cf = cf + cf e applicare quanto
detto alla parte positiva e negativa, che sono entrambe funzioni non negative.
3 Luso di questi due termini non sempre inteso allo stesso modo: si possono trovare testi in cui integrabile
significa quello che qui intendiamo come sommabile, e si indica che esiste lintegrale di Lebesgue quando qui
diciamo che integrabile.
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 151
Tra le propriet principali manca la linearit dellintegrale, che finora abbiamo dimostrato
solo per le funzioni semplici. Per dimostrarla ci serve per il teorema della convergenza monotona,
questo punto sar quindi trattato successivamente.
Come avevamo anticipato allinizio del capitolo, uno dei motivi principali che hanno portato
allo sviluppo dellintegrale di Lebesgue giustificare il passaggio al limite nellintegrale con ipotesi
meno restrittive che con lintegrale di Riemann. Passiamo dunque ad elencare i teoremi pi
importanti in questo ambito, che ci permetteranno lo scambio tra limite e integrale con solamente
la convergenza puntuale e qualche altra ipotesi pi semplice da verificare.
Teorema 16.6.10 (Beppo Levi; della convergenza monotona). Sia {fn }+ n=1 una successione di
funzioni con fn : A [0, +) e A M(Rn ). Se la successione crescente, cio fn (x) fn+1 (x)
x A, e converge puntualmente in A alla funzione f , allora
Z Z
lim fn d = f d (16.6.17)
n+ A A
Z Z Z n Z
fn d fn d s d = s d. (16.6.18)
X
A An An i=1 Ai \Ai1
in quanto ogni i > j si ha (Ai \ Ai1 ) (Aj \ Aj1 ) = , poich Aj \ Aj1 Ai1 . Passando al
limite,
n Z + Z Z
lim s d = s d = s d (16.6.19)
X X
n+ Ai \Ai1 Ai \Ai1 A
i=1 i=1
Z Z
lim fn d s d, (16.6.20)
n+ A A
ma allora se maggiore di tutti gli integrali per ogni s Sf anche maggiore dellestremo
superiore, e per la definizione dellintegrale otteniamo quindi
Z Z Z
lim fn d sup s d = f d. (16.6.21)
n+ A sSf A A
Abbiamo trovato che il limite dellintegrale della successione non maggiore dellintegrale del
limite, ma non nemmeno minore: allora
Z Z
lim fn d = f d. (16.6.22)
n+ A A
Dimostrazione. Per la misurabilit delle due funzioni possiamo sempre trovare due successioni di
funzioni semplici, sn e tn , monotone crescenti e convergenti a f e g rispettivamente. Anche il
limite della loro somma esiste, e chiaramente vale limn+ (sn + tn ) = f + g. Allora
Z Z Z Z
(f + g)d = lim (sn + tn )d = lim sn d + tn d (16.6.24)
A n+ A n+ A A
per il teorema 16.6.5, dunque per il teorema della convergenza monotona risulta
Z Z Z Z
lim sn d + tn d = f d + g d. (16.6.25)
n+ A A A A
tale che A f1 d < +. Se la successione monotona decrescente, cio fn (x) fn+1 (x) x A,
R
Dimostrazione. Poich ogni fn non negativa, la successione delle somme parziali sk = n=1 fn
Pk
monotona crescente, e ammette anche il limite per n + (eventualmente infinito). Per il
teorema della convergenza monotona allora
+
Z X Z k k
Z X k Z + Z
fn d = lim fn d = lim fn d = lim fn d = fn d.
X X X
A n=1 A k+ n=1 k+ A n=1 k+
n=1 A n=1 A
(16.6.31)
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 153
1. se Ai Aj = per i 6= j, A f d = i=1 Ai f d;
R P+ R
limn+ An f d.
R
sempre per ogni k n. Prendendo lestremo inferiore rispetto a k dei due membri (il primo
membro non dipende da k quindi rimane cos com), e passando poi al limite per n +,
abbiamo Z Z Z
lim gn d lim inf fk d = lim inf fn d. (16.6.37)
n+ A n+ kn A n+ A
Applicando infine il teorema della convergenza monotona al primo membro troviamo
Z Z Z
lim gn d = lim inf fn d lim inf fn d. (16.6.38)
A n+ A n+ n+ A
Con questo lemma abbiamo tolto lipotesi di monotonia della successione, ottenendo per una
disuguaglianza e non pi unuguaglianza. Notiamo inoltre che nel lemma di Fatou non nemmeno
richiesta la convergenza puntuale della successione. La monotonia unipotesi essenziale in questi
casi: guardiamo ad esempio alla successione di fn : R [0, +) definita come fn = n1 [0,n] . Il
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 154
limite puntuale (ma anche uniforme) certamente la funzione nulla, ma la convergenza non
monotona, e infatti abbiamo
Z
lim fn (x) dx = lim 1
n+ R n+
Z Z
lim fn (x) dx = 0 dx = 0.
R n+ A
Concludiamo infine la trattazione dei limiti con gli integrali con il seguente risultato.
Teorema 16.6.17 (Lebesgue; della convergenza dominata). Sia {fn }nN una successione di
funzioni sommabili su A Rn . Se esiste quasi ovunque in A il limite puntuale f della successione,
ed esiste una funzione g : A R sommabile tale che |fn (x)| g(x) n N e quasi ovunque in
A, allora Z
lim |fn f |d = 0 (16.6.39)
n+ A
Dimostrazione. Poich g maggiora ogni termine della successione indipendentemente da n N,
per il teorema di permanenza del segno avremo anche f g, quindi |fn f | |fn | + |f | 2g
quasi ovunque in A. Se prendiamo la successione 2g |fn f |, applicando ad essa il lemma di
Fatou troviamo
Z Z
lim inf (2g |fn f |)d lim inf (2g |fn f |)d, (16.6.40)
A n+ n+ A
ma poich fn f quasi ovunque, |fn f | 0 cio anche lim inf n+ |fn f | = 0. Allora
lim inf n+ (2g |fn f |) = 2g lim inf n+ |fn f | = 2g, dunque la (16.6.40) diventa
Z Z Z Z
2g d lim inf (2g |fn f |)d = 2g d lim sup |fn f |d (16.6.41)
A n+ A A n+ A
ma allora lim supn+ A |fn f |d 0. Poich lintegranda positiva o nulla, chiaramente tale
R
Poich stiamo considerando il limite della successione, come al solito ci interessa sapere soltanto
il suo comportamento per n che tende allinfinito, quindi non strettamente necessario che le
fn siano sommabili per ogni n: basta ai fini del teorema che lo siano almeno definitivamente.
importante per che la maggiorante sommabile g sia indipendente da n.
Osservazione 16.6.18. Poich per le note propriet degli integrali
Z Z Z Z
fn d d = (fn f )d |fn f |d,
f
A A A A
da questo teorema si ha anche che
Z Z
lim fn d f d = 0 (16.6.43)
n+ A A
cio possiamo scambiare limite e integrale.
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 155
sin x sin x
M
cos x M cos x
Z + Z Z M
dx = lim dx = lim dx =
x M + x M + x x2
cos M 1 cos x cos x
Z M Z +
= lim 2
dx = dx, (16.6.44)
M + M M x x2
che converge ad un valore finito poich lintegranda minore in modulo di 1/x2 . Per lintegrale
di Lebesgue, calcoliamolo per la parte positiva: essa vale sinx x in [2k, + 2k] per k N, e zero
altrove. Allora lintegrale
Z + n sin x o + Z (1+2k)
sin x
max , 0 dx = dx. (16.6.45)
X
x 2k x
k=1
Calcoliamo in uno degli intervalli: dato che in [2k, (1 + 2k)] si ha chiaramente |x| (1 + 2k),
risulta
1 1
,
|x| (1 + 2k)
ma allora (tenendo conto che x > 0) otteniamo
sin x 1
Z (1+2k) Z (1+2k)
dx sin x dx. (16.6.46)
2k x (1 + 2k) 2k
Per la periodicit del seno, lultimo integrale vale 2 indipendentemente da k. Di conseguenza
lintegrale della parte positiva diventa maggiore di
2
+
X
,
(1 + 2k)
k=1
che per una serie divergente: allora lintegrale della parte positiva +. Analogamente
possiamo dimostrare che anche la parte negativa ha integrale +: la funzione non dunque
integrabile secondo Lebesgue.
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 156
Grazie a questo teorema possiamo dunque scomporre lintegrale multiplo in una serie di
integrali iterati, ossia da risolvere una variabile alla volta. Chiaramente si scompongono gli
integrali fino ad arrivare ad integrali in una dimensione: detto ad esempio z = (z1 , . . . , zn ) Rn
si ha Z Z Z Z Z
f (z) dz = f (z) dz1 dz2 dzn1 dzn
Rn R R R R
che si calcola risolvendo man mano tutti gli integrali partendo dal pi interno; non importa inoltre
lordine in cui lo si scompone.
Tra le tecniche di riduzione pi usate in R3 ci sono lintegrazione per fili o per strati: come
suggerisce il nome, la prima consiste nel fissare prima due variabili, e integrare prima lungo una
sola variabile, poi nelle altre due; la seconda invece fa lopposto, ossia fissa una variabile e integra
prima sulle altre due, in un certo senso calcolando la misura della fetta di volume ottenuta
tagliandolo lungo la variabile fissata. Vediamo che queste sezioni che si ottengono tagliando
linsieme di integrazione sono misurabili.
Lemma 16.7.2. Sia A M(Rn ), con Rn = Rm Rk . Detto A(x), per x Rm , linsieme
{y Rk : (x, y) A}, allora anche A(x) M(Rk ) per quasi ogni x Rm .
Dimostrazione. Se prendiamo la funzione caratteristica A , essa misurabile perch lo A, dunque
sono misurabili anche le funzioni x 7 A (x, y) e y 7 A (x, y) quasi ovunque, rispettivamente,
in Rk e Rm . Allora anche linsieme di arrivo {y Rk : A (x, y) = 1}, che proprio A(x), lo
.
Potendo restringere una funzione definita in tutto Rn ad un sottoinsieme A Rn moltiplican-
dola per la funzione caratteristica di A, possiamo passare facilmente dal teorema di Fubini in
tutto lo spazio ad un teorema solo in un dato insieme.
Teorema 16.7.3. Siano A M(Rn ), Rn = Rm Rk e f : A R. Allora f misurabile sulle
sezioni A(x), come definite prima, quasi ovunque in Rm . Inoltre Rse f L (A) allora y 7 f (x, y)
a sua volta sommabile su A(x) quasi ovunque in Rk , e x 7 A(x) f (x, y) dy sommabile in
Rm . Infine si pu scomporre lintegrale come
Z Z Z
f (x, y) dx dy = f (x, y) dy dx. (16.7.1)
A Rm A(x)
4 Con per quasi ogni x Rm intendiamo quasi ovunque in Rm : usiamo questa scrittura per specificare la
variabile x a cui applicare la propriet.
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 157
Anche in questo caso ovviamente si possono scambiare i ruoli delle due variabili ottenendo lo
stesso risultato.
Se la funzione non sommabile, tutto pu accadere. Prendiamo ad esempio f : E ..= (0, 1]
(0, 1] R definita come
1
2 y x
y
f (x, y) =
1
0 < y < x.
x2
Se separiamo le variabili, otteniamo
1 1 1 1 1 1
Z Z 1 Z x Z 1 Z 1 1 Z 1
f (x, y) dx dy = 2
dy+ dy dx = + dx = +1 dx = 1,
E 0 0 x x y2 0 x y x 0 x x
(16.7.2)
ma allo stesso tempo, scambiando lordine,
Z 1 Z 1
f (x, y) dx dy = 1 (16.7.3)
0 0
Se separiamo le variabili, essendo una funzione dispari lintegrale nullo sia integrando prima
in x sia integrando prima in y, quindi coincidono. Come si pu chiaramente vedere, per, sia la
parte positiva sia quella negativa sono funzioni costanti su intervalli illimitati, quindi lintegrale
di entrambi vale +: ma allora la f non nemmeno integrabile!
Se la funzione ha segno costante, vediamo che questo non pu accadere.
x, y A e un c R.
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 158
Tra le trasformazioni tra due aperti di Rn avevamo visto i diffeomorfismi, ossia delle trasfor-
mazioni biunivoche, differenziabili e con inversa differenziabile. La jacobiana di un diffeomorfismo
non mai singolare, quindi, per definizione. Inoltre, essendo differenziabile, possiamo scrivere lo
sviluppo al primo ordine in ogni punto x0 dellinsieme di partenza
se f 0 in V , allora
Z Z
f (y) dy < + se e solo se (f )(x)|det J (x)|dx < +. (16.7.6)
B A
che per come definito U compreso in (0, +) quindi non mai nullo.
CAPITOLO 16. MISURA E INTEGRALE DI LEBESGUE 159
Esempio 16.7.10. Le coordinate polari sono naturalmente centrate nellorigine degli assi, ma
potrebbe servirci centrarle in un altro punto nel piano, quindi dobbiamo comporre la trasformazione
in polari con una traslazione: la traslazione ovviamente un diffeomorfismo tra tutto R2 e se
stesso, e ha come jacobiana lidentit. Usiamo ancora g per la trasformazione in coordinate polari
e chiamiamo t la traslazione. Si pu vedere facilmente che J t(x, y) la matrice identit per ogni
(x, y) R2 . Ricordandoci che componendo due funzioni la jacobiana della risultante il prodotto
delle due jacobiane delle funzioni di partenza, risulta
Pi in generale, usando la formula di Binet dei determinanti troviamo che componendo due
diffeomorfismi, il determinante della jacobiana della trasformazione risultante non altro che il
prodotto dei determinanti dei singoli diffeomorfismi; inoltre anche se scambiando lordine della
composizione la jacobiana finale potrebbe cambiare, non varia invece il suo determinante.
Capitolo 17
Analisi vettoriale
In questo capitolo studieremo come e quando possibile estendere il teorema fondamentale del
calcolo integrale, visto in uno dei precedenti capitoli, in pi dimensioni, ovvero quando possiamo
passare dallintegrazione di un insieme allintegrazione sulla sua frontiera. Vedremo i principali
risultati che si applicano allanalisi vettoriale in R2 e R3 , in particolare i teoremi della divergenza
(Gauss, Ostrogradskij) e del rotore (Green, Stokes). Per cominciare, vediamo le definizioni degli
integrali su linee e superfici in R3 .
dove lestremo superiore preso tra tutte le possibili partizioni dellintervallo [a, b]. La curva
detta rettificabile se `() < +.
Definiamo infine la misura infinitesima (o elementare) di una curva come
d
dt
dt
ds ..=
(t)
(17.1.2)
dove la sua parametrizzazione. Con questa definizione, otteniamo la lunghezza della curva
parametrizzata da tramite lintegrale
d
Z Z b
`() = ds =
dt (t)
dt
(17.1.3)
a
dove = ([a, b]) limmagine della curva. Lintegrale di linea di una funzione scalare f definita
da a valori in R definito come
d
Z Z b
f ds = (f )(t)
(t)
dt. (17.1.4)
dt
a
Notiamo che f una funzione da [a, b] a R quindi lintegrale risultante si interpreta senza
problemi come un integrale di Lebesgue.
Nel caso in cui una curva regolare sia il grafico di una funzione f : [a, b] Rn1 di classe
C ([a, b]), allora la parametrizzazione : [a, b] Rn si scrive facilmente come (t) = t, f (t) , e
1
160
CAPITOLO 17. ANALISI VETTORIALE 161
dove {e1 , e2 , e3 } la base canonica di R3 . Notiamo che i tre determinanti sono i minori della
matrice ottenuta affiancando u e v: in particolare, il coefficiente delli-esimo elemento della base
il minore di tale matrice eliminando la i-esima riga. Possiamo quindi scrivere in forma pi
compatta, con un abuso di notazione, una formula mnemonica per calcolare il prodotto vettoriale
tramite il falso determinante
e1 u1 v1
u v = e2 u2 v2 .
e3 u3 v3
Il prodotto vettoriale gode delle seguenti propriet, facilmente dimostrabili con le propriet dei
determinanti:
lineare nelle due variabili: (av) (bu) = ab(v u), e (av + bu) w = av w + bu w;
nullo se i due vettori sono linearmente dipendenti;
se v w 6= 0, allora v w h{v, w}i, ossia il prodotto vettoriale ortogonale al piano
individuato dai due vettori, inoltre {v, w, v w} una base destrorsa di R3 ;
e1 e2 = e3 , e2 e3 = e1 e e3 e1 = e2 (permutazioni cicliche);
kv uk = kvkkuk sin , dove [0, ] langolo compreso tra i due vettori nel piano, cio
hv, ui
kv uk = kvkkuk sin arccos . (17.2.2)
kvkkuk
dove abbiamo chiamato u e v le due colonne che affiancate formano J (sono rispettivamente
la colonna delle derivate rispetto alle due variabili u e v). Notiamo che la regolarit della superficie
implica che d 6= 0 (u, v) D.
Possiamo vedere una motivazione di questa definizione con lesempio seguente. Prendiamo
una parametrizzazione lineare: la sua matrice jacobiana costante, e pu anche essere vista
1 Anche qui, il termine superficie talvolta indica limmagine della funzione e non la funzione stessa.
CAPITOLO 17. ANALISI VETTORIALE 162
come la matrice associata allapplicazione lineare che : moltiplicando un vettore del dominio
di per J otteniamo proprio limmagine di tale vettore attraverso la funzione. Prendiamo il
rettangolo T esteso dai vettori ae1 e be2 in R2 , e sia P la sua immagine attraverso . Ovviamente
(T ) = |ab|. Le immagini dei due vettori che individuano T sono a x e b y , quindi abbiamo
(P ) =
a
b
= |ab|
= (T )
.
x y
x y
x y
1 0
0 1 (17.2.6)
g g
u v
da cui
0 1 1 0
g g
= g g e1 + u v e2 + e =
0
1 0 1 3
u v u v (17.2.7)
g g
= e1 e2 + e3
u v
da cui otteniamo la misura infinitesima
q
d = 1 + kg(u, v)k dudv. (17.2.8)
2
Figura 17.1: I versori tangenti e normali al bordo di un dominio regolare di R2 . Tale bordo
orientato in senso positivo se percorso in senso antiorario: in questo modo il versore normale
(con tratto continuo) uscente, e il versore tangente come indicato. Lorientazione in senso
negativo d invece il versore normale entrante (con tratto punteggiato) e il versore tangente
opposto.
1 0 1 01 (t) 1 2 (t)
0
(t) = =
k0 (t)k 1 0 02 (t) k0 (t)k 01 (t)
Chiaramente i due versori sono ortogonali per ogni t [a, b]. Se D un dominio regolare, si pu
dimostrare che D lunione finita di sostegni di curve regolari a tratti: allora possiamo affermare
lesistenza di un versore tangente e normale alla frontiera di un dominio regolare, tranne al pi in
un numero finito di punti.
Questo ci porta al problema di trovare unorientazione delle curve, e pi precisamente del
bordo di un dominio. Diremo che la frontiera orientata in senso positivo (e scriveremo +D) se
il versore normale punta allesterno del dominio (come, ad esempio, nella figura 17.1). Questo
indica anche il verso di percorrenza della frontiera: percorrendola in senso positivo il dominio si
trover sempre alla sinistra del versore tangente.
Possiamo dunque dimostrare con gli elementi a disposizione il teorema sviluppato da Gauss e
Green.
Teorema 17.3.4 (Gauss-Green). Sia D R2 un dominio regolare e f : D R una funzione in
C 1 (D). Allora valgono
f
Z Z
(x, y) dx dy = f (x, y) dy; (17.3.1)
D x +D
f
Z Z
(x, y) dx dy = f (x, y) dx. (17.3.2)
D y +D
Dimostrazione. Verr dimostrata solo la prima legge, la dimostrazione della seconda del tutto
analoga. Supponiamo che esista un insieme U aperto tale che D U e che f C 1 (U ).
Distinguiamo tre casi: (i) D normale rispetto a y, (ii) D normale rispetto a x e (iii) D un
generico insieme regolare.
CAPITOLO 17. ANALISI VETTORIALE 164
d 4
D (y)
(y) 1 3
2
c
Figura 17.2: Parametrizzazione del contorno di un dominio D come nel punto (i) della
dimostrazione del teorema 17.3.4 di Gauss-Green.
(i) Sia D un dominio normale rispetto alla variabile y: lo scriviamo allora come D = {(x, y)
R [c, d] : (y) x (y)}. Suddividiamo il bordo di D nei quattro sottoinsiemi i (i = 1, 2, 3, 4)
parametrizzati (come nella figura 17.2) con
(t) t
1 (t) =
, t [c, d], 2 (t) = , t [(c), (c)],
t c
(t) t
3 (t) = , t [c, d], 4 (t) = d , t [(d), (d)].
t
Scriviamo 1 e 4 perch la parametrizzazione data tale che le due curve sono percorse nel
senso opposto allorientazione di +D: nel calcolo dellintegrale dovremo tener conto di questo
cambio di segno. Dimostriamo che entrambi i membri si possono riportare ad una stessa grandezza:
cominciamo dal primo, usando il teorema di Fubini (f C 1 (D) quindi anche sommabile), per
il quale
d (y) d x=(y) d
f f
Z Z Z Z Z h i
dx dy = dx dy = f (x, y) dy = f (y), y f (y), y dy.
D x c (y) x c x=(y) c
(17.3.3)
Per il secondo membro, invece, scomponiamo lintegrale della forma differenziale sulle quattro
curve ottenendo
Z Z d Z (c)
f (x, y) dy = (f 1 )(t)1,2
0
(t) dt + (f 2 )(t)2,2
0
(t) dt+
+D c (c)
Z d Z (d)
+ (f 3 )(t)3,2
0
(t) dt (f 4 )(t)4,2
0
(t), dt (17.3.4)
c (d)
dove k,2 la seconda componente della curva k (per k = 1, 2, 3, 4). Siccome 1,2
0
(t) = 3,2
0
(t) = 1
e 2,2 (t) = 4,2 (t) = 0 si ha
0 0
Z Z d h i
f (x, y) dy = f (t), t f (t), t dt (17.3.5)
+D c
y
(x)
3
4
D
(x,y)
2
(x)
x
a b
Figura 17.3: Parametrizzazione del contorno di un dominio D come nel punto (ii) della
dimostrazione del teorema 17.3.4 di Gauss-Green.
(ii) Sia ora D normale rispetto a x: rappresentiamolo come {(x, y) [a, b] R : (x) y
(x)}, come in figura 17.3. Per (x, y) D, consideriamo la curva D parametrizzata con la
funzione
t, (t) t [a, x]
(
(t) =
(x, t) t [(x), y]
Z
G(x, y) ..= f (x, y) dy :
La derivata rispetto a y invece semplicemente Gy (x, y) = f (x, y), dato che il primo dei due
integrali addendi non dipende da y e il secondo una funzione integrale con estremo inferiore
costante rispetto a y. Prendiamo la forma differenziale dG = G
x dx + y dy: essa ovviamente
G
esatta. Inoltre D chiusa e regolare a tratti, dunque lintegrale di dG lungo di essa nullo:
allora
G G
Z Z
dx = dy. (17.3.8)
+D x +D y
Anche qui abbiamo scritto 3 e 4 perch con queste parametrizzazioni le due curve sono percorse
G G G G G
Z Z Z Z Z
(x, y) dx = (x, y) dx + (x, y) dx (x, y) dx (x, y) dx =
+D x 1 x 2 x 3 x 4 x
Z b Z b
G G
= s, (s) ds s, (s) ds =
a x a x
Z b Z (s) Z b Z (s)
f f
= (s, t) dt ds (s, t) dt ds =
a (s) x a (s) x
Z b Z (s)
f
= (s, t) dt ds.
a (s) x
(17.3.9)
b (x)
f
Z Z Z
(x, t) dt dx = f (x, y) dy (17.3.10)
a (x) x +D
(iii) Se infine D un dominio regolare, ma non normale rispetto ad una delle due variabili,
possiamo comunque scomporlo in un insieme di domini normali {Di }iI separati. Per ciascuno di
essi vale quanto detto precedentemente, perci
f X Z f
Z XZ
(x, y) dx dy = (x, y) dx dy = f dy. (17.3.12)
D x Di x iI +Di iI
Poich le frontiere dei vari Di sono in comune, in ciascun addendo di questultima somma ciascuna
porzione di frontiera che si trova tra due Di viene percorsa, integrando, una volta in un senso
e una volta nellaltro. Chiaramente ciascuna delle due volte la funzione integranda la stessa,
quindi i due integrali hanno segno opposto e si annullano. Rimangono nel conto quindi solo le
parti delle frontiere che sono esterni, ossia proprio D, quindi
XZ Z
f dy = f dy. (17.3.13)
iI +Di +D
x = s cambiandone il nome.
CAPITOLO 17. ANALISI VETTORIALE 167
1 y (t)
0
(t) =
x02 (t) + y 02 (t) x (t)
p 0
(F )(t)y 0 (t)
b
(F2 )(t)x0 (t) p 02
Z Z
hF, i ds = p1 p x (t) + y 02 (t) dt =
D a x02 (t) + y 02 (t) x02 (t) + y 02 (t)
Z b
=
(F1 )(t)y 0 (t) (F2 )(t)x0 (t) dt =
(17.3.17)
Za
= [F1 (x, y) dy F2 (x, y) dx]
D
F2 F1
Z Z Z Z
hF, i ds = (F2 (x, y) dy + F1 (x, y) dx) = (x, y) dx dy (x, y) dx dy
+D +D D x D y
(17.3.20)
da cui la tesi.
Grazie a questi teoremi appena dimostrati possiamo portare in pi dimensioni la formula di
integrazione per parti: si ha, dati f, g : D R e D R2 dominio regolare,
g f
Z Z Z
f (x, y) (x, y) dx dy = f (x, y)g(x, y) dy (x, y)g(x, y) dx dy; (17.3.21)
x x
Z D Z+D ZD
g f
f (x, y) (x, y) dx dy = f (x, y)g(x, y) dx (x, y)g(x, y) dx dy. (17.3.22)
D y +D D y
possiamo prendere lintegranda come derivata parziale di f (x, y) = x rispetto a x (che quindi
vale 1), perci per il teorema di Gauss-Green 17.3.4 abbiamo
Z Z Z
(D) = dx dy = x dy o anche y dx. (17.3.26)
D +D +D
Possiamo quindi prendere una combinazione arbitraria delle due, in cui presi e tali che
+ = 1 si ha
Z Z Z
(x dy y dx) = ( + ) dx dy = dx dy = (D). (17.3.27)
+D D D
i=1
i ) j (D
con i (D j ) = per i 6= j.
Dora in poi indicheremo sempre con D un dominio regolare di questo tipo. Possiamo estendere
il concetto di integrale di superficie anche a queste frontiere, dato che sono unione numerabile di
insiemi disgiunti, a meno di insiemi di misura nulla: infatti lintersezione di due superfici di cui
CAPITOLO 17. ANALISI VETTORIALE 169
composta la frontiera al pi una curva, che ha misura (superficiale) nulla, quindi non influisce
sullintegrale. Se le superfici hanno in comune solo la frontiera, allora3
Z n Z
f d = f d
X
T i=1 Si
Linsieme S2 in questo caso limmagine di (0, )(0, 2), che S 2 \{(x, y, z) R3 : y = 0, x 0}.
Se scegliamo come dominio linsieme [0, ][, 3] (la parametrizzazione diversa dalla precedente)
troviamo invece S2 = S 2 \ {(x, y, z) R3 : y = 0, x 0}.
Spazio tangente Intuitivamente, se abbiamo una curva che corre sulla superficie, un vettore
ad essa tangente in un punto anche tangente alla superficie. Fissato dunque il punto x S ,
linsieme dei vettori tangenti a tutte le curve passanti per tale punto forma quello che chiamato
lo spazio tangente a S in x.
Definizione 17.4.3. Sia : D S R3 una superficie regolare, e x un punto di S . Si definisce
spazio tangente a S nel punto x linsieme, indicato con Tx S , formato dai vettori p R3 tali che
esiste > 0 e una mappa : (, ) R3 di classe C 1 per cui (t) S t (, ), (0) = x,
e 0 (0) = p.
Se = (1 , 2 ) : I D una curva regolare, con I intervallo reale (possiamo sceglierlo
arbitrariamente in modo che contenga lo zero), allora possiamo prenderne limmagine attraverso la
parametrizzazione ottenendo una curva su S , che ancora regolare. Essendo D aperto, scelto un
per
punto (u0 , v0 ) al suo interno esiste sempre (posto (0) = (u0 , v0 )) un > 0 tale che (t) D
ogni t (, ). Analogamente ( )(t) S per ogni t in tale intervallo. Detta x limmagine di
(u0 , v0 ) attraverso la parametrizzazione, evidentemente si ha ( )(0) = x. Allora differenziando
la funzione composta otteniamo
( )0 (0) = J u0 , v0 )0 (0) = 10 (0) (u0 , v0 ) + 20 (0) (u0 , v0 ). (17.4.2)
u v
Si pu dimostrare che questa in effetti la generica espressione di un vettore tangente a una curva
di classe C 1 (come richiesto nella definizione 17.4.3) passante per il punto x: di conseguenza tutti
questi vettori tangenti al punto x sono la somma di x e una combinazione lineare delle colonne
della matrice jacobiana di . Riassumendo,
1 1
Tx S = x R : x = x + a
0 3 0
(x) + b (x) , a, b R . (17.4.3)
u v
Tecnicamente Tx S un sottospazio affine di R3 : non un sottospazio vettoriale, dato che non
contiene necessariamente lorigine (possiamo vederlo come un sottospazio vettoriale la cui origine
traslata in x).
3 La frontiera di queste superfici da intendersi nella topologia indotta da R3 su di esse: se la superficie regolare
S immersa in R3 infatti S = S.
CAPITOLO 17. ANALISI VETTORIALE 170
Versore normale Sapendo ora che lo spazio tangente alla superficie parametrizzata da : D
S ha come base le due colonne della matrice jacobiana di (nel senso della (17.4.3), come
sottospazio affine), per ogni x S il vettore u (u, v) v (u, v), con (u, v) =
1
(x),
ortogonale a tale spazio, quindi anche alla superficie in tale punto. Possiamo dunque definire per
ogni x S un versore normale (x), definito come4
u (u, v) v (u, v)
(x) =
. (17.4.4)
(u, v)
v (u, v)
u
Solo per i punti di S ha senso definire in questo modo il versore normale: se D chiuso, sulla
sua frontiera non ha senso parlare di differenziabilit, perci le derivate parziali di sono definite
ossia x S .
solo per (u, v) D,
Osservazione 17.4.4. Se una superficie descritta implicitamente come luogo degli zeri di una
funzione F (x, y, z), se le ipotesi del teorema di Dini 14.0.5 sono soddisfatte allora possiamo
parametrizzarla in un opportuno insieme A con una funzione (x, y) = x, y, f (x, y) , come
T
dunque caratterizzato dal fatto di essere ortogonale a tale versore normale, ossia
D E f f
0 = p p0 , (x0 , y0 ) (x0 , y0 ) = (x x0 ) (x0 , y0 ) (y y0 ) (x0 , y0 ) + z z0
x y x y
(17.4.6)
ma sempre per il teorema di Dini esprimiamo le derivate parziali di f in termini delle derivate
parziali di F ottenendo
F
(x0 , y0 , z0 )
F
(x0 , y0 , z0 )
0 = (x x0 ) F + (y y0 ) F + z z0 (17.4.7)
x y
z (x0 , y0 , z0 ) z (x0 , y0 , z0 )
2
z
1
v t
(E)
D2
D1
E
u s
Lequivalenza tra le due superfici si indica con 1 2 . Vediamo come varia il versore
normale quando cambiamo la parametrizzazione: usiamo la notazione appena introdotta, con
il diffeomorfismo = (1 , 2 ) tra laperto E D1 e la sua immagine, indicando con (u, v) le
coordinate in D1 e con (s, t) quelle in D2 (cosicch : (u, v) 7 (s, t)); detto 1 il versore normale
a S con la parametrizzazione 1 e 2 quello con 2 , risulta
1 1 2 1 2 2 2 1 2 2
= + + =
u v s u t u s v t v
2 1 2 2 2 2 2 1
= + =
s u t v t u s v (17.4.9)
1 2 2 2 2 1 2 2
= =
u v s t u v s t
2 2
= det(J )
s t
dunque normalizzando si ha
1 = sgn det(J ) 2 . (17.4.10)
Per la continuit del versore normale, il segno della matrice jacobiana pu essere quindi o 1 o
1 in tutto il dominio, perci o vale 2 (x) = 1 (x) o vale 2 (x) = 1 (x) per ogni x S .
Indichiamo quindi con 1 2 se le due superfici sono anche equiorientate, cio se il versore
4 Non distinguiamo qui in modo rigoroso la natura dello spazio tangente come sottospazio vettoriale o sottospazio
affine. Si spera che sia chiaro dal contesto quando i vettori di tale spazio sono spiccati dallorigine oppure dal
relativo punto sulla superficie: ad esempio, il versore normale cos definito da intendersi spiccato dallorigine, cos
come i vettori che diremo ortogonali ad esso. In parole povere, molti dei vettori relativi agli spazi tangenti sono da
interpretarsi a meno di una costante, dove tale costante il vettore x in cui lo spazio tangente alla superficie.
5 La continuit dellinversa assicura che anche (E) aperto.
CAPITOLO 17. ANALISI VETTORIALE 172
Esempio 17.4.6. Prendiamo una sfera di raggio R, centrata nellorigine: il luogo degli zeri
della funzione F (x, y, z) = x2 + y 2 + z 2 R2 , e prendendo solo lemisfero per z > 0 possiamo
applicare il teorema di Dini. Per quanto visto nellosservazione 17.4.4, il versore normale
F (x, y, z) 1 1
(x, y, z) = =p (2x, 2y, 2z)T = (x, y, z)T (17.4.11)
kF (x, y, z)k 4x + 4y + 4z
2 2 2 R
quindi punta sempre nella direzione radiale. Lestensione di a tutta la superficie si vede subito
sfruttandone la simmetria. Essa evidentemente sempre orientabile, e le due orientazioni possibili
sono quella uscente () o quella entrante ().
Esempio 17.4.7. Il nastro di Mbius una superficie non orientabile, data dalla parametrizza-
zione T
v u u v u u v u
(u, v) = r + cos cos , r + cos sin , sin (17.4.12)
2 2 2 2 2 2 2 2
per (u, v) [a, a] [0, 2], con a, r R fissati: essa descrive un nastro di larghezza a il cui punto
medio percorre una circonferenza (centrata nellorigine) di raggio r. Se a < r la superficie non
si interseca ed dunque una superficie regolare. Per semplicit, calcoliamo un vettore normale,
senza normalizzarlo, solo nella circonferenza di mezzo, vale a dire per v = 0: esso vale
1 1 1
T
u u u
(u, 0) = cos sin u, sin sin u, cos (17.4.13)
4 2 4 2 4 2
Vediamo che quando u varia da 0 a 2 cambia segno, dato che le funzioni sono periodiche di 4:
ma dalla (17.4.12) chiaro che (0, 0) e (2, 0) sono lo stesso punto, perci il vettore normale
non pu essere ben definito su tutta la superficie. Chiaramente possiamo avere un vettore normale
ben definito per (u, v) (1, 1) (0, 2): il problema si ha quando vogliamo aggiungere il bordo,
in cui il vettore normale salta da una faccia allaltra.6
Definizione 17.4.8. Sia : D R3 la parametrizzazione di una superficie S regolare, con D
dominio regolare connesso: essa si dice superficie con bordo se iniettiva su D e se si pu
individuare un insieme E D aperto e una funzione : E R3 , di classe C 1 (E), tale che la sua
restrizione in D coincida con . Il rango della jacobiana J deve essere massimo (u, v) D.
Per queste superfici definiamo allora S ..= (D). Il bordo di D, che un dominio
regolare, si pu esprimere sempre come unione di curve semplici, regolari a tratti. Se dunque
una parametrizzazione di +D (cio tale che il versore normale al bordo di D uscente),
6 In realt sbagliato parlare di facce del nastro di Mbius, in quanto (come uno sguardo alla figura pu
subito far capire) di faccia ce n una sola. Se localmente, in un intorno di un qualsiasi punto (non sul bordo) del
nastro, sembra che ci possano essere due facce, questo non pu pi essere vero globalmente.
CAPITOLO 17. ANALISI VETTORIALE 173
allora componendo la parametrizzazione della superficie, , con essa si ottiene che una
parametrizzazione del bordo di S, ed una curva regolare a tratti in R3 . In questo caso si scrive
+S, e il bordo S diventa orientato in senso antiorario (e si dice che lorientazione indotta da
quella di D).
Possiamo dunque concludere con le versioni dei teoremi del rotore e della divergenza per campi
vettoriali in R3 , di cui non diamo la dimostrazione.
Teorema 17.4.9 (Gauss-Ostrogradsky). Se D R3 un dominio regolare e F : D R3 un
campo vettoriale C 1 (D), allora
Z Z
hF, i d = F dx dy dz. (17.4.14)
D D
Z Z Z
hf w, i d = (f w) dx dy dz = Dw f dx dy dz. (17.4.16)
D D D
Sempre con lultimo corollario, prendendo invece per w un versore ei della base canonica risulta
f
Z Z Z Z
Dei f dx dy dz = dx dy dz = hf ei , i d = f i d. (17.4.18)
D D xi D D
7 Anche il teorema 17.3.6 si potrebbe chiamare teorema del rotore, se volessimo estendere la definizione del
[1] Gianni Gilardi. Forme differenziali lineari. 1 Ott. 2008. url: www-dimat.unipv.it/giulio/
linkedmaterial/camb08/formedif-gilardi.pdf.
[2] John Hunter. Measure Theory. 1 Mar. 2014. url: www . math . ucdavis . edu / ~hunter /
measure_theory/measure_notes.pdf.
[3] Carlamaria Maderna. Analisi Matematica 2. CittStudi, 2010.
[4] Gary Hosler Meisters. Lebesgue measure on the real line. 14 Feb. 1997. url: www.math.unl.
edu/~gmeisters1/papers/Measure/measure.pdf.
[5] Giuseppe Molteni e Marco Vignati. Analisi Matematica 3. CittStudi, 2006.
[6] Kevin Ray Payne e Elide Terraneo. Misura ed Integrazione: Appunti del Corso Analisi
Matematica 4. 13 Mar. 2014. url: www . mat . unimi . it / users / payne / An4 _ notes _ 12 -
13.pdf.
[7] Paolo Maurizio Soardi. Analisi Matematica. CittStudi, 2010.
[8] Charles Walkden. Ergodic theory. 6 Feb. 2015. url: www . maths . manchester . ac . uk /
~cwalkden/ergodic-theory/ergodic_theory.pdf.
174
Indice
I 1
1 Insiemi numerici 3
1.1 Numeri razionali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Numeri reali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Spazi euclidei . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Cardinalit degli insiemi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5 Cardinalit del numerabile . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6 Cardinalit del continuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 Spazi metrici 12
2.1 Insiemi e distanze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2 Classificazione dei punti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3 Insiemi aperti, chiusi e limitati . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3 Successioni 19
3.1 Introduzione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 Successioni convergenti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.3 Successioni a valori reali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.4 Calcolo dei limiti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.5 Successioni monotone . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.6 Infiniti e infinitesimi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.7 Successioni asintotiche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.8 Condizione di Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.9 Classe limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.10 Insiemi compatti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4 Serie 31
4.1 Condizione di Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.2 Carattere delle serie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.3 Serie a termini positivi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.4 Serie a segni alterni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4.5 Convergenza incondizionata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
5 Limiti e continuit 37
5.1 Limiti di funzioni in spazi metrici . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.2 Limiti di funzioni reali a valori reali . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.3 Asintoti . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.4 Continuit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
175
INDICE 176
6 Calcolo differenziale 45
6.1 Rapporto incrementale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
6.2 Operazioni tra derivate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
6.3 Teoremi sul calcolo differenziale . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
6.4 Conseguenze del teorema di Lagrange . . . . . . . . . . . . . . . . . . . . . . . . 49
6.5 Formula di Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.6 Convessit di funzioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
7 Numeri complessi 55
7.1 Operazioni sui numeri complessi . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
7.2 Forma trigonometrica ed esponenziale . . . . . . . . . . . . . . . . . . . . . . . . 56
7.3 Potenze e radici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
7.4 Ordinamento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
II 60
8 Integrale di Riemann 61
8.1 Funzioni primitive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
8.2 Costruzione dellintegrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
8.3 Condizioni di esistenza dellintegrale . . . . . . . . . . . . . . . . . . . . . . . . . 64
8.4 Propriet degli integrali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
8.5 Teorema fondamentale del calcolo integrale . . . . . . . . . . . . . . . . . . . . . 66
8.6 Integrali impropri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
10 Successioni di funzioni 86
10.1 Convergenza puntuale e uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
10.2 Propriet della funzione limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
10.3 Spazi funzionali . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
10.4 Teorema delle contrazioni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
11 Serie di funzioni 95
11.1 Convergenza puntuale e uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
11.2 Convergenza totale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
11.3 Serie di potenze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
11.4 Propriet delle serie di potenze . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
11.5 Funzioni analitiche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
INDICE 177
III 115
14 Funzioni implicite 116
14.1 Diffeomorfismi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
14.2 Estremi vincolati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
Bibliografia 174