Professional Documents
Culture Documents
Premessa fondamentale
Siano A e B due insiemi. Con la scrittura f : A B si intende una funzione che associa
ad ogni elemento di A uno e un solo elemento di B. Quindi A e il dominio di f e B
e il codominio di f . Talvolta il dominio si indica con il simbolo dom (f ). Quindi se
f : A B e una funzione, allora dom (f ) = A.
= v1 (1, 0, . . . , 0) + + vn (0, . . . , 0, 1) = v1 e1 + + vn en .
| {z } | {z }
e1 en
1
2 S. Lancelotti, Appunti di Analisi Matematica II
q
x = (x1 , . . . , xn ) : kxk = x x = x21 + + x2n .
Per n = 1 si ha che
Per n = 2 si ha che
n o
Br (x0 , y0 ) = (x, y) R2 : k(x, y) (x0 , y0 )k < r =
n o
= (x, y) R2 : (x x0 )2 + (y y0 )2 < r 2
che e linsieme dei punti interni alla circonferenza di centro (x0 , y0 ) e raggio r, mentre
n o
Br (x0 , y0 ) = (x, y) R2 : k(x, y) (x0 , y0 )k r =
n o
= (x, y) R2 : (x x0 )2 + (y y0 )2 r 2
che e linsieme dei punti della circonferenza di centro (x0 , y0 ) e raggio r e di quelli interni
ad essa.
1 Brevi richiami di topologia di Rn 3
Br (x0 , y0 )
r
y0
O x0 x
Per n = 3 si ha che
n o
Br (x0 , y0 , z0 ) = (x, y, z) R3 : k(x, y, z) (x0 , y0 , z0 )k < r =
n o
= (x, y, z) R3 : (x x0 )2 + (y y0 )2 + (z z0 )2 < r 2
che e linsieme dei punti interni alla sfera di centro (x0 , y0 , z0 ) e raggio r, mentre
n o
Br (x0 , y0 , z0 ) = (x, y, z) R3 : k(x, y, z) (x0 , y0 , z0 )k r =
n o
= (x, y, z) R3 : (x x0 )2 + (y y0 )2 + (z z0 )2 r 2
che e linsieme dei punti della sfera di centro (x0 , y0 , z0 ) e raggio r e di quelli interni ad
essa.
z0
Br (x0 , y0 , z0 )
r
O
y0 y
x0
cioe se ogni intorno di x0 contiene punti di diversi da x0 . In tal caso non e detto
che x0 appartenga ad .
Diciamo che x0 e un punto di frontiera per se per ogni r > 0 si ha che
Br (x0 ) 6= e C Br (x0 ) 6= , dove C e il complementare di . In tal caso
non e detto che x0 appartenga ad .
Si chiama frontiera di (talvolta detta anche bordo di ) linsieme dei punti
di frontiera di . Si denota con Fr(A) oppure . Evidentemente = C.
Si chiama chiusura di linsieme = .
Il termine punti di frontiera sembra indicare quei punti che separano un insieme
da un altro, che in questo caso e il complementare. In molte situazioni in effetti si tratta
proprio di punti che delineano un confine fra i due insiemi.
y y
O x
O x
Esistono pero casi particolari ai quali mal si applica la dicitura di punti di sepa-
1 Brevi richiami di topologia di Rn 5
(1.6) Esempio
n o
1) Linsieme = (x, y) R2 : x2 + y 2 = 1 e chiuso.
In tal caso denotiamo questa funzione L con il simbolo df (x0 ) (oppure dfx0 ) che e
detto differenziale di f in x0 .
f
(x0 ) = df (x0 )(v).
v
f
(x0 ) = df (x0 )(ei ).
xi
Quindi se v = v1 e1 + + vn en , si ha che
f f
= v1 (x0 ) + + vn (x0 ).
x1 xn
In particolare se m = 1, allora
f
3) se la funzione f ammette tutte le derivate parziali xi per ogni i = 1, . . . , n in
e se queste le derivate parziali sono continue in x0 , allora f e differenziabile
in x0 .
Se f e una funzione reale, cioe se m = 1, allora denotate con (dx1 , . . . , dxn ) le applicazioni
lineari da Rn in R tali che (
1 se i = j
dxi (ej ) =
0 se i 6= j,
dove ej e il j-esimo vettore della base canonica di Rn , si ha che
n
f f X f
(2.5) df (x0 ) = (x0 ) dx1 + + (x0 ) dxn = (x0 ) dxi .
x1 xn i=1
xi
m
X g f1 fm
= (f (x0 )) dyj (x0 ), . . . , (x0 ) =
j=1
yj xi xi
10 S. Lancelotti, Appunti di Analisi Matematica II
m m
X g f1 fm X g fj
= (f (x0 )) dyj (x0 ) e1 + + (x0 ) em = (f (x0 )) (x0 ).
j=1
yj xi xi j=1
yj xi
| {z }
f
= xj (x0 )
i
Casi particolari
f g
a) Se si ha Rn R R, allora
(g f ) f
(x0 ) = g0 (f (x0 )) (x0 ).
xi xi
f g
b) Se si ha R Rm R, allora
m
X g
(g f )0 (x0 ) = (f (x0 )) fj0 (x0 ) = g(f (x0 )) f 0 (x0 ).
j=1
yj
2f 2f
(x) = (x).
xi xj xj xi
11
12 S. Lancelotti, Appunti di Analisi Matematica II
Notazione Sia Rn limitato non vuoto. In questa sede diremo che e misura-
bile1 se e possibile associare a una misura, che per n = 2 e proprio larea di inteso
come sottoinsieme del piano, mentre per n = 3 e il classico volume di inteso come
sottoinsieme dello spazio. Denotiamo la misura di con mn () o piu semplicemente,
quando non vi sia ambiguita, con m(), e la chiamiamo misura n-dimensionale di
(o piu semplicemente misura di ). Evidentemente m() [0, +).
Talvolta si parla di volume n-dimensionale di . In particolare, per n = 2 la
misura m() e detta area di , mentre per n = 3 la misura m() e detta volume di
.
Per convenzione si pone m() = 0.
Introduciamo ora il concetto di integrale multiplo di una funzione reale. Nel seguito
con il termine integrabile intenderemo integrabile secondo Riemann.
Per questioni di semplicita espositiva tratteremo solo il caso di funzioni continue e
limitate, anche se la nozione di integrale multiplo si puo introdurre per una classe di
funzioni piu ampia, detta delle funzioni integrabili.
Gf
Infatti, se per semplicita consideriamo il caso n = 2, allora essendo f (x) = 1 per ogni
x , si ha che il trapezoide Tf di f e un cilindro con generatrici parallelle allasse z
avente per basi e la proiezione ortogonale di sul piano z = 1.
Gf
3
1 b
Elenchiamo ora alcune delle proprieta principali dellintegrale multiplo, utili anche
nelle applicazioni.
E ben noto che queste quattro proprieta valgono anche per lintegrale unidimen-
sionale.
c) se A e misurabile e f 0 su , allora
Z Z
f f.
A
e
Z c Z b
f 0 = c [a, b] : f (x) dx f (x) dx. Monotonia rispetto allintervallo
a a
Infatti,
Z Z Z Z Z Z Z Z
f= f+ f= f = g= g+ g= g.
\A \A \A \A
|A
{z } A
|{z}
=0 f (x) = g(x) =0
x \ A
Quindi nel calcolo di un integrale multiplo possiamo tranquillamente non considerare gli
insiemi trascurabili.
1.1 Calcolo degli integrali doppi 17
y y
d
y = (x)
x = (y)
x = (y)
y = (x)
c
O a b x O x
Ci sono insiemi del piano che sono sia x-semplici che y sempici. Ad esempio un
quadrato, un rettangolo, o un trapezio con le basi parallele ad uno dei due assi cartesiani
o anche piu semplicemente un triangolo.
18 S. Lancelotti, Appunti di Analisi Matematica II
per .
Figura 2.3: Insieme y-semplice.
y
d
Similmente, graficamente si osserva che e
x-semplice se per ogni y0 sullasse delle or- y0
x = (y)
x = (y)
iettando sullasse y, si ha che lintersezione
fra e la retta orizzontale y = y0 e un seg-
mento. Poiche un segmento e un insieme c
convesso, e giustificata la denominazione O x
orizzontalmente convesso per .
Se R2 e linsieme x-semplice
n o
= (x, y) R2 : c y d, (y) x (y) ,
Il teorema precedente, noto anche come teorema di riduzione per gli integrali doppi,
stabilisce che lintegrale doppio di una funzione reale continua e limitata di due variabili si
puo determinare calcolando in cascata due integrali definiti in una variabile. Osserviamo
che nella formula relativa agli insiemi y-semplici
Z Z "Z #
b (x)
f (x, y) dx dy = f (x, y) dy dx,
a (x)
Z (x)
prima si calcola f (x, y) dy che e un integrale definito di una funzione nella sola
(x)
variabile y (x va considerata come un parametro) fra gli estremi (x) e (x). Questo
integrale produce una funzione F (x) della sola variabile x che va poi integrata fra a e b.
In modo del tutto analogo, ma a variabili scambiate, si procede nel caso della formula
relativa agli insiemi x-semplici.
Z
(1.12) Esempio Calcoliamo lintegrale (x + y) dx dy, dove
( q )
2 2 2
= (x, y) R : 0 y , y x 1y .
2
Z 2 1y 2 Z 2 q
2 1 2 2 1 3
= x + xy dy = 1 y 2 + y 1 y 2 y 2 dy =
0 2 y 0 2 2
Z q 3 2
1
2
2 1 1 2 2 1
= 2y 2 + y 1 y 2 dy = y y3 1 y2 2
= .
0 2 2 3 3 0 3
3
Per il Teorema di Weierstrass risulta che e compatto e che f e limitata.
4
Per il Teorema di Weierstrass sono anche limitate.
20 S. Lancelotti, Appunti di Analisi Matematica II
2
2 p
x= 1 y2
y
=
x
O 2 1 x
2
n o
= (x, y) R2 : 0 x 1, (x) y (x) ,
x 2
se 0 x < 2
dove (x) = 0 e (x) = . Poiche e definita a tratti, per
2
1 se x2
x 1. 2
calcolare lintegrale su considerato come insieme y-semplice, conviene osservare che
= 1 2 , come in Fig. 2.6 e usare la proprieta b) della Proposizione (1.7), in modo
che
Z Z Z
(x + y) dx dy = (x + y) dx dy + (x + y) dx dy.
1 2
2
2
y= 1 x2
x
=
y
1 2
O 2 1 x
2
i) e biiettiva;
Allora
Formula del
Z Z
cambiamento di
f (x, y) dx dy = f ((u, v))| det J (u, v)| du dv.
variabile negli
integrali doppi
Z Z
= f ((t))| det J (t)| dt = f ((t)) (t) dt.
[,]
Z () Z Z
= f (x) dx = f ((t))| det J (t)| dt = f ((t)) (t) dt.
() [,]
(, ) = ( cos , sin ).
1.1 Calcolo degli integrali doppi 23
P (xP , yP )
yP b b
b b
O xP x
Questo cambiamento di variabile viene usato per integrare su insiemi che presen-
tano una simmetria radiale rispetto ad un punto. Per esempio se e il cerchio di
centro lorigine e raggio R > 0
n o
= (x, y) R2 : x2 + y 2 < R2 ,
Quindi = ( ), dove
n o
= (, ) R2 : 0 < R, 0 2
24 S. Lancelotti, Appunti di Analisi Matematica II
y
2
R
O R x
O R
Come nel caso precedente, osserviamo che per = 0 la funzione non e iniettiva,
e quindi biiettiva, e inoltre che det J (, ) = 0. Poiche {0} [0, 2] e un insieme
trascurabile in R2 , per lOsservazione (1.16) possiamo comunque utilizzare questo
cambiamento di variabile nel calcolo di un integrale doppio. Inoltre (, 0) =
(, 2) per ogni 0. Poiche anche linsieme [0, +) {2} e trascurabile in
R2 , anche questo fatto non influisce sullutilizzo di questo cambiamento di variabile
nel calcolo di un integrale doppio.
1.1 Calcolo degli integrali doppi 25
x2 y 2
(x, y) + 2 < 1 2 < 1 0 < 1, 0 2.
a2 b
Quindi = ( ), dove
n o
= (, ) R2 : 0 < 1, 0 2
O a x
O 1
Z
xy
(1.17) Esempio Calcoliamo lintegrale dx dy, dove
x2 + y2
n o
= (x, y) R2 : 1 < x2 + y 2 < 4, x > 0, y > 0 .
2
x2 + y 2 = 4
2
x2 + y 2 = 1
O 1 2 x O 1 2
Allora
1 < x2 + y 2 < 4
1 < 2 < 4 (
1<<2
(x, y) x>0
cos > 0
0 < < 2 .
y>0 sin > 0
Quindi si ha che = ( ), dove
= (, ) R2 : 1 < < 2, 0 < < .
2
Ne segue che
Z Z Z
xy 2 cos sin
dx dy = d d = cos sin d d =
x + y2
2
2
essendo un rettangolo con lati paralleli agli assi e e la funzione integranda prodotto
di una funzione di e di una funzione di si ottiene
Z Z
! 2
2 2 1 1 2 3
= d cos sin d = 2 sin2 = .
1 0 2 1 2 0 4
y y
(x0 , y0 )
b
b b
(x0 , y0 ) (x0 , y0 )
b b
O x O x
(x0 , y0 )
Figura 2.9: Insieme simmetrico rispetto Figura 2.10: Insieme simmetrico rispetto
allasse x. allasse y.
( Z Z
simmetrico rispetto allasse y e
3) = f (x, y) dx dy = 2 f (x, y) dx dy,
(x, y) si ha f (x, y) = f (x, y)
Per gli integrali tripli esistono formule di riduzione simili a quelle degli integrali doppi.
Lidea di fondo e di ricondurre il calcolo di un integrale triplo a quello in cascata di un
integrale doppio e uno definito in una variabile. A seconda che si calcoli prima lintegrale
in una variabile o quello doppio, si hanno le formule di integrazione per fili paralleli ad
un asse o per strati paralleli ad un piano.
z = (x, y)
z = (x, y)
y
D
x
Allora si ha che
Formula di
Z Z "Z (x,y)
#
integrazione per
f (x, y, z) dx dy dz = f (x, y, z) dz dx dy.
D (x,y) fili paralleli
allasse z
5
Per il Teorema di Weierstrass risulta che e compatto e che f e limitata.
1.2 Calcolo degli integrali tripli 29
Quindi lintegrale triplo di una funzione continua e limitata di tre variabili si puo
determinare calcolando in cascata prima un integrale definito in una variabile e
poi un integrale doppio
Z (x,y)
nelle due variabili rimanenti. Nella formula precedente,
prima si calcola f (x, y, z) dz che e un integrale definito di una funzione
(x,y)
nella sola variabile z (x e y vanno considerate come parametri) fra gli estremi
(x, y) e (x, y). Questo integrale produce una funzione F (x, y) nelle variabili x e
y che va poi integrata sullinsieme D R2 . Questo integrale doppio si calcola con
le tecniche viste precedentemente.
z = (x, y)
Come evidenziato in Fig. 2.11,
fissato un punto (x0 , y0 ) D,
lintersezione fra e la retta
passante per questo punto pa-
rallela allasse z e un segmen-
to (nella figura e tratteggiato).
E cos giustificata la denomi- z = (x, y)
nazione di integrazione per fili y
paralleli allasse z per questo
b
(x0 , y0 ) D
x
metodo di integrazione.
Similmente si introducono le formule di integrazioni per fili paralleli agli altri assi.
Allora si ha che
Formula di
Z Z "Z (x,z)
#
integrazione per
f (x, y, z) dx dy dz = f (x, y, z) dy dx dz.
D (x,z) fili paralleli
allasse y
30 S. Lancelotti, Appunti di Analisi Matematica II
Allora si ha che
Formula di
Z Z "Z (y,z)
#
integrazione per
f (x, y, z) dx dy dz = f (x, y, z) dx dy dz.
D (y,z) fili paralleli
allasse x
z0 b
y
z0
x
Formula di
Z Z b Z
integrazione per
f (x, y, z) dx dy dz = f (x, y, z) dx dy dz.
a z strati paralleli
al piano xy
z
Come evidenziato in Fig. 2.12,
fissato un punto z0 [a, b],
lintersezione fra e il piano b
z0 b
z = z0 e una sezione non vuota
di giacente su un piano par-
allelo al piano xy. E cos gius-
a
tificata la denominazione di in-
tegrazione per strati paralleli al y
piano xy per questo metodo di
x
integrazione.
"Z # Formula di
Z Z b integrazione per
f (x, y, z) dx dy dz = f (x, y, z) dx dz dy.
a y strati paralleli
al piano xz
6
Per il Teorema di Weierstrass le funzioni sono anche limitate.
1.2 Calcolo degli integrali tripli 33
Z
(1.21) Esempio Calcoliamo lintegrale x2 + y 2 z dx dy dz, dove
n o
= (x, y, z) R3 : x2 + y 2 + z 2 1, z 0 .
x y
Si ha che
q
3 2 2
= (x, y, z) R : 0 z 1 x2 y2 , x +y 1 .
n o
Quindi, posto D = (x, y) R2 : x2 + y 2 1 , risulta che e della forma adatta per
integrare per fili paralleli allasse z. Integrando per fili paralleli allasse z, si ha che
Z Z "Z #
1x2 y 2
2 2
x +y z dx dy dz = x2 + y 2 z dz dx dy =
D 0
Z 1x2 y 2 Z
1 1
= x2 + y 2 z 2 dx dy = x2 + y 2 1 x2 y 2 dx dy.
D 2 0 2 D
Allora (
2 2
01
(x, y) D x +y 1
0 2.
34 S. Lancelotti, Appunti di Analisi Matematica II
y
2
1
O 1 x D
O 1
Ne segue che
Z Z
2 2 1
x +y z dx dy dz = x2 + y 2 1 x2 y 2 dx dy =
2 D
Z
1
= 3 5 d d =
2 D
essendo D un rettangolo con lati paralleli agli assi e e la funzione integranda prodotto
di una funzione di e di una funzione di , si ottiene
Z 1 Z 2 1
1 1 4 1 6
= 3 5 d d = = .
2 0 0 4 6 0 12
Si puo procedere anche integrando per strati paralleli ad un piano. Infatti, osser-
viamo che
n o
= (x, y, z) R3 : x2 + y 2 1 z 2 , 0 z 1 .
n o
Quindi, per ogni z [0, 1] posto z = (x, y) R2 : x2 + y 2 1 z 2 , risulta che e
della forma adatta per integrare per strati paralleli al piano xy.
Integrando per strati paralleli al piano xy, si ha che
Z Z 1 Z
x2 + y 2 z dx dy dz = x2 + y 2 z dx dy dz.
0 z
1.2 Calcolo degli integrali tripli 35
y
2
1 z2
z
O 1 z2 x z
b
O 1 z2
Poiche per ogni z [0, 1] linsieme z e costituito dai punti interni alla circonferenza
di equazione x2 +y 2 = 1z 2 e da quelli della stessa circonferenza, passiamo in coordinate
polari nel piano xy. Poniamo quindi
(
x = cos
: 0, 0 2, |det J (, )| = .
y = sin ,
Allora
(
2 2 2 0 1 z2
(x, y) z x +y 1z
0 2.
Quindi si ha che z = (z ), dove
n p o
z = (, ) R2 : 0 1 z 2 , 0 2 .
Ne segue che
Z Z 1 Z
x2 + y 2 z dx dy dz = x2 + y 2 z dx dy dz =
0 z
Z "Z #
1
= 3 z d d dz =
0 z
essendo z un rettangolo con lati paralleli agli assi e e la funzione integranda prodotto
di una funzione di e di una funzione di , si ottiene
Z Z ! Z Z 1z 2
1 1z 2 2 1 1
3
= z d d dz = 2 z 4 dz =
0 0 0 0 4 0
Z 1
1
2 2 1 3
= z 1z dz = 1 z2 = .
2 0 2 6 0 12
36 S. Lancelotti, Appunti di Analisi Matematica II
i) e biiettiva;
Allora
Z Z
f (x, y, z) dx dy dz = f ((u, v, w))| det J (u, v, w)| du dv dw.
(1.23) Osservazione Come nel caso bidimensionale, la funzione e quella che pro-
duce il cambiamento di variabili, da (u, v, w) a (x, y, z) ed e anche detta del cambia-
mento di coordinate. Valgono le stesse considerazioni fatte nellOsservazione (1.14) a
proposito dellanalogia fra questa formula e quella del caso unidimensionale. In tal
caso si pone formalmente (x, y, z) = (u, v, w) e nellintegrale di sinistra si sostitui-
sce (x, y, z) con (u, v, w), il dominio con tale che ( ) = e dx dy dz con
| det J (u, v, w)| du dv dw. Si rammenta di NON dimenticare il modulo del determi-
nante Jacobiano di . Come gia osservato nel caso bidimensionale, il cambiamento di
variabile negli integrali multipli e utile molto spesso non tanto per modificare la funzione
quanto per modificare e quindi semplificare il dominio di integrazione. Evidentemente,
come sottolineato nellOsservazione (1.20) il caso piu semplice nello spazio e quello del
parallelepipedo con spigoli paralleli agli assi cartesiani.
(1.24) Osservazione Come nel caso bidimensionale, anche la formula del cambia-
mento di variabile negli integrali tripli continua a valere anche se non e biiettiva,
oppure se det J = 0, su un sottoinsieme di misura nulla di . Infatti, come sotto-
lineato nellOsservazione (1.8), gli insiemi di misura nulla non danno alcun contributo
nellintegrale.
zP b
P (xP , yP , zP )
: colatitudine b
: longitudine
O
b b
yP y
xP b b
Q(xP , yP , 0)
x
Questo cambiamento di variabile viene usato per integrare su insiemi che presen-
tano una simmetria radiale rispetto ad un punto. Per esempio se e la sfera di
centro lorigine e raggio R > 0
n o
= (x, y, z) R3 : x2 + y 2 + z 2 < R2 ,
z
2
R
x y
zP b
P (xP , yP , zP )
b
O
b b
yP y
xP b
b
Q(xP , yP , 0)
x
Anche in questo caso si osserva che per certi valori di e risulta che non e
biiettiva. Come nei casi precedenti, questo fatto non pregiudica la possibilia di
utilizzare questo cambiamento di variabile negli integrali tripli.
Questo cambiamento di variabile viene usato per integrare su cilindri, coni, paraboloi-
di. Per esempio se e il cilindro circolare retto con asse coincidente con lasse z e
raggio R compreso fra i piani z = a e z = b, con a < b,
n o
= (x, y, z) R3 : x2 + y 2 < R2 , a < z < b ,
40 S. Lancelotti, Appunti di Analisi Matematica II
z z
b
b
R
x y
a
a
In modo del tutto analogo si introducono le coordinate cilindriche con asse parallelo
allasse x o allasse y.
y
x
Si ha che
1 < 2 < 2
1<< 2
(x, y, z)
sin2 cos2 < 0
0< 4
cos > 0 0 2.
Allora si ha che
Z Z Z
x2 2 sin2 cos2 2
dx dy dz = sin d d d = 2 sin cos2 d d d =
x2 + z 2 2 sin2
42 S. Lancelotti, Appunti di Analisi Matematica II
2 h i 1 2
1
= 3 cos 4
( + sin cos ) = 5 26 .
3 1 0 2 0 6
M ()
Se la densita di massa e costante in , allora = m() e si ha che
Z Z
M ()
I= d2 (x, y, z) (x, y, z) dx dy dz = d2 (x, y, z) dx dy dz.
m()
Analoghe formule se S e contenuto negli altri semipiani dei piani coordinati in cui una
delle coordinate e non negativa.
Per esempio, consideriamo il toro di Fig. 2.20 ottenuto dalla rotazione del cerchio
n o
S = (y, z) R2 : (y y0 )2 + (z z0 )2 R2 , y0 , R > 0, z0 R.
Il volume di e dato da Z
m() = 2 y dy dz.
S
Allora
Quindi S = (S ), dove
n o
S = (, ) R2 : 0 R, 0 2 .
che e un rettangolo con lati paralleli agli assi coordinati. Ne segue che
Z Z
m() = 2 y dy dz = 2 (y0 + cos ) d d =
S S
Z "Z #
2 R
= 2 y0 + cos d d = 2 2 y0 R2 .
2
0 0
y = f (z)
S
O y
m3 () = 2 yB m2 (S)
7
Si osservi che in tal caso y e lasse cartesiano orizzontale, e quindi e orizzontalmente convesso.
48 S. Lancelotti, Appunti di Analisi Matematica II
Appendice A
Momento dinerzia
~ = m ~r ~v .
L
~ lungo lasse a e
La componente di L
La = m d2 = I ,
dove = |~
| e il modulo della velocita angolare.
49
50 S. Lancelotti, Appunti di Analisi Matematica II
Appendice B
Integrale di Riemann
51
52 S. Lancelotti, Appunti di Analisi Matematica II
y
z
R
R y
O x x
Figura B.1: Iperrettangolo nel piano R2 . Figura B.2: Iperrettangolo nello spazio R3 .
Gli estremi degli intervalli Ij possono essere o non essere inclusi nellintervallo.
Come vedremo, analogamente a quanto accade per lintegrale in una variabile, cio non
ha alcuna importanza nella teoria dellintegrazione.
Osserviamo che se R e un iperrettangolo in Rn , allora R e unione di un numero
finito di iperrettangoli in Rm con m n 1.
1) R = R1 Rk ;
y
R = R1 Rk
R1 R2
Rk
O x
z z
f f
y y
R R
x x
Figura B.4: Suddivisione adattata alla Figura B.5: Suddivisione non adattata
funzione a scala. alla funzione a scala.
1
Un iperpiano e una generalizzazione in Rn della nozione di piano dello spazio R3 .
Appendice B Integrale di Riemann su un iperrettangolo 55
Tf
R
x
n volte
Z Z zZ }| Z {
f, f (x1 , . . . , xn ) dx1 dxn , f (x1 , . . . , xn ) dx1 dxn .
R R R
Si dimostra facilmente che questa definizione e ben posta, ossia non dipende dalla
scelta della suddivisione di R adattata a f .
Z Z
f = inf g : g Hf+ (Integrale superiore di f su R).
R R
Z Z
Essendo f limitata su R si ha che f, f R e evidentemente
R R
Z Z
f f.
R R
R Rn
g
definita da
(
1 se x Q, y R
f (x, y) =
0 se x 6 Q, y R
Z Z
g(x, y) dx dy 0, h(x, y) dx dy 1.
R R
Ne segue che
Z Z
f 0, f 1.
R R
Z Z
Quindi f< f R da cui segue che f non e integrabile su R.
R R
2 Misura di Peano-Jordan
y y
P = R1 R2 P = R1 R2
R1 R1
R2 R2
O x O x
m () = sup{m(P ) : P S ()}
m () = inf{m(P ) : P S + ()},
Evidentemente 0 m () m ().
QP
Q
Q S ()
P S + ()
O x
Omettiamo la dimostrazione.
Z
Se f 0, allora come nel caso precedente si ha che f e il volume in Rn+1 del
trapezoide di f ,
n o
Tf = (x1 , , xn , xn+1 ) Rn+1 : x = (x1 , , xn ) , 0 xn+1 f (x) .
Z
Si osserva infine che se f = 1 su , allora f = m().
Concludiamo questa sezione elencando alcune delle proprieta principali dellintegrale
multipo, utili anche nelle applicazioni.
a) f + g e integrabile su e si ha che
Z Z Z
(f + g) = f+ g;
b) f e integrabile su e si ha che
Z Z
f = f;
Z Z
c) se f g su , allora f g;
d) |f | e integrabile su e si ha che
Z Z
f |f |.
d) se A e misurabile e f 0 su , allora
Z Z
f f.
A
Capitolo 3
Integrali curvilinei
Se una curva e semplice, allora puo assumere gli stessi valori solo negli estremi
dellintervallo I, se I contiene i suoi estremi.
63
64 S. Lancelotti, Appunti di Analisi Matematica II
ii) (t) 6= 0 in tutti i punti in cui e derivabile tranne che in un numero finito
di punti;
iii) nei punti in cui non e derivabile esistono le derivate destra e sinistra.
In altri termini e regolare a tratti se esistono a = t0 < t1 < < tm = b tali che
e regolare in ogni intervallo [tk1 , tk ], per ogni k = 1, . . . , m, cioe se lintervallo [a, b] e
suddivisibile nellunione di un numero finito di intervalli adiacenti su cui e regolare.
= .
1 Brevi richiami sulle curve parametriche 65
( ) = (( )) ( ).
(1.8) Proposizione Siano , , come nella Definizione (1.6) tranne che per
il segno di e supponiamo che ( ) < 0 per ogni J.
Allora valgono i seguenti fatti:
( ) = (( )) ( ).
(2.3) Esempio Calcolare lintegrale curvilineo della funzione f (x, y) = x lungo la curva
: [0, 1] R2 definita da (t) = t, t2 .
2 Integrale curvilineo di I specie 67
La curva e regolare. Infatti, e derivabile con derivata continua (t) = (1, 2t) 6=
(0, 0) per ogni t (0, 1). Inoltre per ogni t [0, 1] si ha che
p
f ((t)) = f t, t2 = t, k (t)k = 1 + 4t2 .
Quindi
Z Z Z 1 Z 1 3 1
p 1
f= x= f ((t))k (t)k dt = t 1 + 4t2 dt = 1 + 4t2 2 =
0 0 12 0
1 h 3
i
= (1 + 4) 2 1 .
12
(2.5) Osservazione Per questo teorema se e sono equivalenti, e quindi in base alla
Proposizione (1.7) se hanno lo stesso sostegno e inducono su di esso il medesimo verso
di percorrenza, allora lintegrale curvilineo non cambia. Questa proprieta sussiste anche
se e sono tali che esiste : [c, d] [a, b] biiettiva e di classe C 1 con ( ) < 0 per
ogni [c, d] tale che = . In tal caso per la Proposizione (1.8) e hanno lo
stesso sostegno ma inducono su di esso versi di percorrenza opposti. Infatti, si ha che
Z Z d Z d
f= f (( ))k ( )k d = f ((( )))k (( )) ( )k d =
c c
Z d Z d
= f ((( )))k (( ))k | ( )| d =
x f ((( )))k (( ))k ( ) d =
c c
( )<0
In altri termini lintegrale curvilineo lungo una curva regolare a tratti e la somma
degli integrali curvilinei lungo i tratti su cui la curva e regolare.
Il Teorema (2.4) e lOsservazione (2.5) sussistono anche per le curve regolari a tratti.
3 Integrale curvilineo di II specie 69
F ((t))
(t)
b
(a) b (b)
im ()
La componente del campo di forze F che agisce sul sostegno di nel punto (t) per
trasferire la grandezza fisica in oggetto dal punto (a) al punto (b) e quella tangente
70 S. Lancelotti, Appunti di Analisi Matematica II
al sostegno stesso nel punto (t). Quindi e la proiezione ortogonale del vettore F ((t))
nella direzione del vettore tangente al sostegno in (t), che e appunto quella del vettore
(t). Essendo (t) un versore tangente al sostegno in (t), questa proiezione e il vettore
kv(t)k =
[F ((t)) (t)] (t)
= |F ((t)) (t)| k (t)k = |F ((t)) (t)|.
| {z }
=1
(3.3) Esempio Calcolare lintegrale di linea del campo vettoriale F (x, y) = y, x2 + y 2
lungo la curva che parametrizza la circonferenza di centro (0, 0) e raggio 1 a partire
dal punto (1, 0), inducendo su di essa un verso di percorrenza antiorario.
1
Il campo F e continuo. La curva :
2
[0, 2] R e definita da (t) = (cos t, sin t)
ed e regolare. Infatti, e derivabile con b
derivata continua O 1 x
Quindi Z Z Z
2 2
F dP = F ((t)) (t) dt = sin2 t + cos t dt =
0 0
2
1
= (t sin t cos t) + sin t = .
2 0
ii) se esiste una funzione : [c, d] [a, b] biiettiva, di classe C 1 con ( ) < 0
per ogni [c, d] tale che = , allora
Z Z
F dP = F dP.
( ) = (( )) ( ).
Allora
Z Z d Z d
F dP = F (( )) ( ) d = F ((( ))) (( )) ( ) d.
c c
=c = t = (c) = b, =d = t = (d) = a.
72 S. Lancelotti, Appunti di Analisi Matematica II
Quindi
Z Z d
F dP = F ((( ))) (( )) ( ) d =
c
Z a Z b Z
= F ((t)) (t) dt = F ((t)) (t) dt = F dP,
b a
Nella ii) la funzione ha tutte le proprieta elencate nella Definizione (1.6) di curve
equivalenti tranne che per il segno della sua derivata. Per la Proposizione (1.8) si ha che
e inducono versi opposti sul loro comune sostegno. In tal caso lintegrale di linea che
si ottiene e lopposto.
In definitiva questo teorema stabilisce che lintegrale di linea dipende solo dal verso
indotto dalla parametrizzazione sulla curva e non da altro.
Chiaramente se si percorrono due strade diverse, cioe si scelgono due curve che
non hanno lo stesso sostegno, allora lintegrale puo essere diverso.
Nel Capitolo sui campi vettoriali conservativi vedremo che lintegrale di linea di
un campo vettoriale conservativo non dipende dal percorso, ma solo dai punti iniziali e
finali.
In altri termini lintegrale curvilineo di seconda specie lungo una curva regolare a
tratti e la somma degli integrali curvilinei lungo i tratti su cui la curva e regolare.
Le proprieta del Teorema (3.4) sussistono anche per le curve regolari a tratti.
(t)
Z b Z b Z
= F ((t)) k (t)k dt = F ((t)) (t) dt = F dP.
a k (t)k a
74 S. Lancelotti, Appunti di Analisi Matematica II
Appendice C
Ascissa curvilinea
Introduciamo una nozione piu generale di curve equivalenti rispetto a quella introdotta
a pag. 64.
Nel seguito considereremo n N, n 1.
75
76 S. Lancelotti, Appunti di Analisi Matematica II
segue che e hanno lo stesso sostegno. Dimostriamo che inducono su di esso lo stesso
verso di percorrenza.
Consideriamo t1 , t2 [a, b] con t1 < t2 . Allora il punto (t) percorre il sostegno di
fra i punti (t1 ) e (t2 ) nel verso da (t1 ) a (t2 ).
(2 ) =(t2 )
b
im ()=im ()
b (t1 )
(1 )
(1 ) = t1 < t2 = (2 ) = 1 < 2 .
Dimostrazione.
a) Poiche e continua su [a, b], per il Teorema fondamentale del calcolo integrale si
ha che s e derivabile su [a, b] con s (t) = k (t)k per ogni t [a, b]. Inoltre essendo
continua su [a, b] con (t) 6= 0 per ogni t (a, b), si ha che s e di classe C 1
su [a, b] con s (t) = k (t)k > 0 per ogni t (a, b). Ne segue che s e strettamente
crescente su [a, b] e quindi s : [a, b] [0, l ] e invertibile.
k (( ))k
k ( )k = k (( )) ( )k = k (( ))k | ( )| = = 1.
k (( ))k
78 S. Lancelotti, Appunti di Analisi Matematica II
(a) =(c)
b (t)
(b) =(d) ( )
Figura C.1: Curve che inducono lo stesso verso di percorrenza sul sostegno.
s(t) s(a) come quello compreso fra (t) e (a). Poiche (a) = (c), ne segue che
(t) = ( ).
Consideriamo la funzione : [c, d] [a, b] definita da
( ) = s1 (( )).
Ne segue la tesi e in particolare e sono equivalenti nel senso della Definizione (1.1).
Consideriamo ora il caso in cui e inducono versi di percorrenza opposti sul loro
comune sostegno. In tal caso si ha che per ogni [c, d] esiste un unico t [a, b] tale
che s(t) = ( ), cioe t = s1 (( )).
( ) {
b
}| ( )
z (a) =(d)
(b) =(c) }
(t)
b
{z
| s(t)
Figura C.2: Curve che inducono versi di percorrenza opposti sul sostegno.
Osserviamo che s1 ((d) ( )) = ( ). Infatti, essendo s(t) = ( ) e s(b) =
(d) = l = l , si ha che il tratto di curva compreso fra ( ) e (d) misura (d) ( ) =
s(b) s(t) come quello compreso fra (t) e (b). Quindi
s(u) = s(b) ( ) = l ( ) = l ( ).
( ) = s1 ((d) ( )).
( )
(c, d) : ( ) = (s1 ) ((d) ( )) ( ) = < 0.
s (s1 ((d) ( )))
Ne segue la tesi.
Capitolo 4
Integrali di superficie
81
82 S. Lancelotti, Appunti di Analisi Matematica II
v z
(u0 , v0 )
A
v0
y
O u0 u
x
Infatti,
0 (u) = (u, v0 ), 0 (v) = (u0 , v).
u v
In particolare
0 (u0 ) = (u0 , v0 ), 0 (v0 ) = (u0 , v0 ).
u v
Poiche questi due vettori sono linearmente indipendenti, essi individuano un piano in R3
passante per il punto (u0 , v0 ) e tangente alle curve e . Questo piano e detto piano
tangente alla superficie parametrica in (u0 , v0 ).
(1.4) N (u, v) = (u, v) (u, v).
u v
N
Il versore n = kN k e detto versore normale alla superficie avente lo stesso
verso di N .
mediante la (1.4). Questo vettore individua uno dei due possibili versori normali alla su-
perficie in questo punto. Laltro e il suo opposto. Si dice che induce (o individua)
su un orientamento, detto anche verso di attraversamento. Evidentemente
su sono possibili solo due orientamenti, uno opposto allaltro.
= .
(1.8) Proposizione Siano , , come nella Definizione (1.6) tranne che per il
segno di det J e supponiamo che det J (x, y) < 0 per ogni (x, y) B.
Allora e hanno lo stesso sostegno ma inducono su di esso orientamenti opposti.
Il sostegno di e
n o
= (A) = (x, y, z) R3 : (x, y, z) = (u, v), (u, v) A =
n o
= (x, y, z) R3 : (x, y, z) = ( cos v, sin v, u), u R, 0 < v < 2 .
84 S. Lancelotti, Appunti di Analisi Matematica II
In altri termini, posto (u, v) = (x, y, z), si hanno le equazioni parametriche della
superficie
x = cos v
y = sin v u R, 0 < v < 2.
z = u,
x y
0 sin v
(u, v) A : J (u, v) = (u, v), (u, v) =
0 cos v
.
u v
1 0
Il sostegno di e
n o
= (A) = (x, y, z) R3 : (x, y, z) = (u, v), (u, v) A =
n o
= (x, y, z) R3 : (x, y, z) = ( sin u cos v, sin u sin v, cos u), 0 < u < , 0 < v < 2 .
1 Brevi richiami sulle superfici parametriche 85
In altri termini, posto (u, v) = (x, y, z), si hanno le equazioni parametriche della
superficie
x = sin u cos v
y = sin u sin v 0 < u < , 0 < v < 2.
z = cos u,
x y
= Gf
y
A
x
N (u, v) = (u, v) (u, v).
u v
i) se e la superficie definita da
n o
= (x, y, z) R3 : (x, y) K, z = g(x, y) ,
i j k
1 2 3
N (x, y) = (x, y) (x, y) = x (x, y) x (x, y) x (x, y) =
x y
x
1 2 3
y (x, y) y (x, y) (x, y)
= (1 , 2 , 3 ) y
i j k
= g (x, y), g (x, y), 1 ;
g
= 1 0 x (x, y)
x y
g
0 1 y (x, y)
i j k
1 2 3
N (x, z) = (x, z) (x, z) = x (x, z) x (x, z) (x, z)
=
x
x z
x
1 2 3
z (x, z) z (x, z) (x, z)
= (1 , 2 , 3 ) z
i j k
g g
g
= 1 x (x, z) 0=
(x, z), 1, (x, z) ;
x z
g
0 z (x, z) 1
i j k
1 2 3
y (y, z) y (y, z) (y,
z)
N (y, z) = (y, z) (y, z) =
y
=
y z
x
1 2 3
z (y, z) z (y, z) (y, z)
= (1 , 2 , 3 ) z
i j k
g g
g
= y (y, z) 1 0 = 1, (y, z), (y, z) .
g
y z
(y, z) 0 1
z
f f
N (x, y) = (x, y), (x, y), 1 .
x y
Essendo s 2 2
f f
kN (x, y)k = 1+ (x, y) + (x, y) ,
x y
si ha che
s 2 2
f f
Z Z
A = kN (x, y)k dx dy = 1+ (x, y) + (x, y) dx dy.
K K x y
1
x2 + y 2 con x2 + y 2 < 8, allora
Se per esempio consideriamo f (x, y) = 2
1 2
3
= Gf = (x, y, z) R : z = x + y 2 , x2 + y 2 < 8 .
2
2 Integrale di superficie di una funzione reale 89
y
z
2 2
K
O 2 2 x
x y
1
x2 + y 2 al di sotto del piano
E la parte del paraboloide circolare di equazione z = 2
z = 4.
Si ha che = (K), dove : K R3 e definita da
1 2
(x, y) = (x, y, f (x, y)) = x, y, x + y2 ,
2
n o
e K = (x, y) R2 : x2 + y 2 < 8 . Quindi larea di e
Z
A = kN (x, y)k dx dy,
K
dove N (x, y) = x (x, y) y (x, y). Si ha che
g g
N (x, y) = (x, y) (x, y) = (x, y), (x, y), 1 = (x, y, 1),
x y x y
q
kN (x, y)k = 1 + x2 + y 2 .
Quindi Z Z q
A = kN (x, y)k dx dy = 1 + x2 + y 2 dx dy.
K K
x = cos
(
: 0, 0 2, |det J (, )| = .
y = sin ,
Allora (
0<2 2
(x, y) K
0 2.
Quindi si ha che K = (K 0 ), dove
n o
K 0 = (, ) R2 : 0 < 2 2, 0 2 .
90 S. Lancelotti, Appunti di Analisi Matematica II
Ne segue che
Z Z q Z q
A = kN (x, y)k dx dy = 1 + x2 + y 2 dx dy = 1 + 2 d d =
K K K0
Z
(2.4) Esempio Consideriamo lintegrale x2 + y 2 d, dove
q
3 2 2
= (x, y, z) R : z = x2 + y2 , x +y <1 .
p
La superficie e il grafico della funzione g : K R definita da g(x, y) = x2 + y 2 ,
dove
n o
K = (x, y) R2 : x2 + y 2 < 1 .
p
E quindi la parte del semicono di equazione z = x2 + y 2 compresa fra il vertice
O(0, 0, 0) e il piano z = 1.
y
z
1
O 1 x
x y
Quindi si ha che
Z Z
x2 + y 2 d = x2 + y 2 kN (x, y)k dx dy,
K
2 Integrale di superficie di una funzione reale 91
dove N (x, y) = x (x, y) y (x, y). Si ha che
g g
N (x, y) = (x, y) (x, y) = (x, y), (x, y), 1 =
x y x y
!
x y
= p 2 , p ,1 = kN (x, y)k = 2.
x + y2 x2 + y 2
Quindi
Z
2 2
Z
2 2
Z 2
x +y d = x +y kN (x, y)k dx dy = 2 x + y 2 dx dy.
K K
Ne segue che
Z
2 2
Z 2 2
Z
x +y d = 2 x + y dx dy = 2 3 d d =
K K0
Dimostrazione. E analoga alla dimostrazione del Teorema (2.4) del Capitolo 3. In tal
caso si usa il Teorema del cambiamento di variabile negli integrali doppi.
92 S. Lancelotti, Appunti di Analisi Matematica II
N (u, v) = (u, v) (u, v)
u v
N
en= kN k e il versore normale a avente lo stesso verso di N .
Chiaramente il simbolo (nellintegrale di destra) indica il prodotto scalare fra
i due vettori di R3 . Talvolta il flusso del campo vettoriale F su e denotato con
uno dei seguenti simboli
Z Z Z
F n, F n d, F n d.
deve controllare che il vettore N (u, v) normale a in (u, v) sia uscente da D (oppure
entrante in D). Se ce corrispondenza, allora quello e il vettore da usare nella formula
(3.2); altrimenti si considera il suo opposto.
Essendo una calotta regolare, per controllare se il vettore
N (u, v) = (u, v) (u, v)
u v
(u0 , v0 ) + N (u0 , v0 ) D.
Quindi Z Z Z
F n= F n+ F n.
D 1 2
94 S. Lancelotti, Appunti di Analisi Matematica II
z z
D = 1 2 N1 1
D
2
N2
x y x y
1 1 g1 g1
N (x, y) = (x, y) (x, y) = (x, y), (x, y), 1 = (0, 0, 1).
x y x y
Z Z
F n= F (2 (x, y)) N2 (x, y) dx dy,
2 K
2 2 g2 g2
N (x, y) = (x, y) (x, y) = (x, y), (x, y), 1 = (2x, 2y, 1).
x y x y
Z Z Z
F n= F (2 (x, y)) N2 (x, y) dx dy = F x, y, x2 + y 2 (2x, 2y, 1) dx dy =
2 K K
Z Z h i
= x2 , y 2 , x2 + y 2 (2x, 2y, 1) dx dy = 2 x3 + y 3 x2 + y 2 dx dy =
K K
Z 2 Z 1 Z 2 Z 1
3 3 4 3
= cos + sin d 2 d d d = .
0 0 0 0 2
In conclusione si ha che
Z Z Z
F n= F n+ F n= .
D 1 2 2
ii) se esiste2 : K 0 K biiettiva e di classe C 1 con det J (x, y) < 0 per ogni
(x, y) K 0 tale che = , allora
Z Z
F n= F n.
Dimostrazione. E analoga alla dimostrazione del Teorema (3.4) del Capitolo 3. In tal
caso si usa il Teorema del cambiamento di variabile negli integrali doppi.
N (u, v)
Z Z Z
= F ((u, v)) kN (u, v)k du dv = F ((u, v)) N (u, v) du dv = F n.
K kN (u, v)k K
Questi teoremi stabiliscono delle uguaglianze fra integrali in dimensioni diverse, ossia
fra integrali di linea (in una dimensione) e integrali doppi e/o di flusso (in due dimen-
sioni) e fra integrali di flusso e integrali tripli (in tre dimensioni). Piu precisamente:
In tutti questi casi si tratta di integrali di campi vettoriali e che quindi, per le pro-
prieta studiate, dipendono dallorientamento indotto dalla parametrizzazione sul sosteg-
no. Percio e fondamentale definire bene a priori qual e lorientamento che deve indurre
la curva parametrica o la superficie parametrica sul suo sostegno.
Omettiamo la dimostrazione.
circonferenza C di centro lorigine e raggio 1 percorsa una sola volta in senso antiorario.
y
C = A 1
A
O 1 x
lintegrale di linea con la definizione. In tal caso si deve individuare una curva paramet-
rica che parametrizzi la circonferenza C inducendo su di essa un verso di percorrenza
antiorario.
n o
Oppure, posto A = (x, y) R2 : x2 + y 2 < 1 , osserviamo che essendo C = A,
si ha che A e orientato positivamente e quindi possiamo ricorrere al Teorema di Green.
Posto F = (f1 , f2 ), per il Teorema di Green si ha che
f2 f1
Z Z Z
F dP = (x, y) (x, y) dx dy = (1 2y)dx dy =
A x y A
Z 2
1 2
= sin d = .
0 2 3
f2 f1
(4.5) (x, y) A : (x, y) (x, y) = 1.
x y
O x
Osserviamo che e chiusa e che induce sul suo sostegno un verso di percorrenza
antiorario. Infatti, (0) = (1) = (0, 0) e
1 21 15 1 3 3
= , , = , .
4 64 64 2 8 8
100 S. Lancelotti, Appunti di Analisi Matematica II
Quindi
Z 1 Z 1
m(A) = F ((t)) 0 (t) dt = 3t5 6t4 t3 + 6t2 2t dt =
0 0
1
1 6 6 5 1 4 1
= t t t + 2t3 t2 = .
2 5 4 0 20
(4.7) Osservazione Puo succedere che A sia lunione di piu sostegni di curve para-
metriche chiuse, semplici e regolari a tratti, tutti orientati positivamente, ad esempio
come in Fig. 4.7.
2 3
Figura 4.7: A = 1 2 3
In tal caso A = 1 2 3 e
I Z Z Z
F dP = F dP + F dP + F dP.
A 1 2 3
4.1 Teorema di Green 101
2
A
1
O 1 2 x
(4.9) Definizione Siano A R2 un aperto limitato connesso per archi tale che
A sia il sostegno di una curva parametrica chiusa, semplice e regolare a tratti,
K = A = A A (e quindi K e compatto con K = A) e : K R3 una calotta
regolare.
Si chiama bordo di , denotato con , la restrizione di a K.
Denotiamo con = (K) il sostegno di e con N (u, v) il vettore normale a in
(u, v) definito da
N (u, v) = (u, v) (u, v).
u v
Diciamo che e orientato positivamente se la curva (K) e percorsa in senso
antiorario rispetto ad un osservatore posto come il vettore N . In altri termini,
e orientato positivamente se percorrendo idealmente (K) appoggiato alla faccia
di da cui esce N , si vedono in punti di alla propria sinistra. Talvolta, anche
se impropriamente, si parla di bordo di anziche di bordo di .
= 1 2 3
3 N
= 1 2
2
N
(4.11) Teorema (di Stokes (o del rotore)) Siano R3 aperto non vuoto,
F : R3 un campo vettoriale di classe C 1 , F = (f1 , f2 , f3 ), A R2 un
aperto limitato connesso per archi tale che A e lunione di un numero finito di
sostegni a due a due disgiunti di curve parametriche chiuse, semplici e regolari a
tratti, K = A = A A e : K una calotta regolare con orientamento
positivamente.
Allora I Z
F dP = rotF n,
Omettiamo la dimostrazione.
(4.12) Esempio Calcolare lintegrale di linea del campo F (x, y, z) = (x, 0, y) lungo il
bordo della superficie
n o
= (x, y, z) R3 : x2 + y 2 + z 2 = 1, x, z 0
z
= 1 2
2 N
2
K
2
1 y O
2
1
x 2
Si puo calcolare lintegrale di linea con la definizione. In tal caso si devono deter-
minare due parametrizzazioni 1 e 2 rispettivamente di 1 e 2 e si ha che
Z Z Z
F dP = F dP + F dP.
1 2
Altrimenti, poiche la linea su cui si integra e il bordo di una superficie, si puo procedere
applicando il Teorema di Stokes.
Z
Calcoliamo lintegrale F dP applicando il Teorema di Stokes. Si ha che
Z Z
F dP = rotF n,
dove
K = (, ) R2 : 0 , .
2 2 2
Per definizione di integrale di flusso si ha che
Z Z
rotF n = rotF ((, )) N (, ) d d,
K
4.2 Teorema di Stokes 105
i j k
N1 (, ) = (, ) (, ) = cos cos cos sin sin =
sin sin sin cos 0
= sin2 cos , sin2 sin , sin cos .
rotF ((, )) N (, ) = (1, 0, 0) sin2 cos , sin2 sin , sin cos =
= sin2 cos
e Z Z
rotF n = rotF ((, )) N (, ) d d =
K
Z
= sin2 cos d d =
K
essendo K un rettangolo con lati paralleli agli assi e e la funzione integranda prodotto
di una funzione di e di una funzione di , si ottiene
! Z
! h i
1
Z
2 2 2
2 2
= sin d cos d = ( sin cos ) sin = .
0 2 2 0 2 2
Osservazione
Si puo procedere anche osservando che la superficie e il grafico della funzione g : K R
p
definita da g(x, y) = 1 x2 y 2 , dove
n o
K = (x, y) R2 : x2 + y 2 1, x 0 .
106 S. Lancelotti, Appunti di Analisi Matematica II
D = 1 2 3
f1 f2 f3
(x, y, z) : divF (x, y, z) = (x, y, z) + (x, y, z) + (x, y, z).
x y z
Omettiamo la dimostrazione.
(4.15) Esempio Calcoliamo il flusso uscente del campo vettoriale F (x, y, z) = x2 , y 2 , z 2
n o
dal bordo dellinsieme D = (x, y, z) R3 : 0 x 1, 0 y 1, 0 z 1 .
Si ha che D = 1 2 3 4 5 6 , dove 1 , 2 , 3 , 4 , 5 , 6 sono
le sei facce del cubo avente spigoli di misura 1 paralleli agli assi cartesiani, un vertice
4.3 Teorema di Gauss 107
N4 y
2 N2
3
5 6
N3
K
1
N6 y
O 1 x
N5
x
N1
nellorigine e uno nel punto (1, 1, 1). Quindi, volendo procedere come da definizione si
ha che
Z Z Z Z Z Z Z
F n= F n+ F n+ F n+ F n+ F n+ F n.
D 1 2 3 4 5 6
In questa sezione vogliamo sottolineare alcuni aspetti riguardanti gli operatori di gra-
diente, rotore e divergenza.
f f
f = ,, .
x1 xn
Rotore. Si indica talvolta con il simbolo rot. E un operatore che trasforma un campo
vettoriale di R3 in un campo vettoriale di R3 . Infatti, se R3 e un aperto non
vuoto e F : R3 e campo vettoriale di classe C 1 , F = (f1 , f2 , f3 ), allora il
rotore di F e il campo vettoriale rotF : R3 definito da
f3 f2 f1 f3 f2 f1
rotF = , , .
y z z x x y
f1 fn
divF = + + .
x1 xn
109
110 S. Lancelotti, Appunti di Analisi Matematica II
2f 2f
f = divf = + + .
x21 x2n
Significato fisico del rotore (Tratto dal testo A. Bacciotti, CALCOLO DIFFEREN-
ZIALE E INTEGRALE II. Seconda parte: Vettori, funzioni reali di piu variabili reali,
serie, Celid).
Il termine rotore rimanda inevitabilmente alla rotazione. In effetti, dato il campo
vettoriale F di R3 , si osserva che il vettore rotF e in qualche modo legato alla rotazione.
Per renderci conto di cio, consideriamo un caso molto semplice di un corpo rigido. Ogni
movimento del corpo rigido si puo immaginare come una combinazione di un moto
traslatorio e di un moto rotatorio intorno al baricentro. Supponiamo per semplicita che
in ogni punto P (x, y, z) del corpo rigido la velocita ~v (P ) dipenda solo dalla posizione del
punto P e che la velocita angolare
~ sia costante. Allora
~
i ~j ~k
~v (P ) =
~ P O = (1 , 2 , 3 ) (x, y, z) = 1 2 3 =
x y z
Ne segue che
~i ~j ~k
rot ~v (P ) = x y z
= (21 , 22 , 23 ) = 2~
.
z y 3 x 1 z 1 y 2 x
2 3
Quindi il rotore del campo di velocita e multiplo del vettore velocita angolare, che e
chiaramente legato alla rotazione. In particolare in questo semplice esempio si ha che
rot ~v = ~0 ~ = ~0.
Appendice D Gradiente, rotore, divergenza 111
Per questo motivo si dice che un campo e irrotazionale quando il suo rotore e nullo.
Questa terminologia si utilizza anche nei casi piu generali. Quando si considera ad
esempio il moto di un fluido, rot ~v = ~0 indica assenza di vorticosita.
Significato fisico della divergenza (Tratto dal testo A. Bacciotti, CALCOLO DIF-
FERENZIALE E INTEGRALE II. Seconda parte: Vettori, funzioni reali di piu variabili
reali, serie, Celid).
Consideriamo un fluido e supponiamo che in ogni punto la velocita dipenda solo
dalla posizione del punto. Studiamo il moto del fluido attraverso un cubo di lato h con
spigoli paralleli agli assi cartesiani e con un vertice in un punto P . Vogliamo calcolare
la variazione di flusso del fluido nel cubo nellunita di tempo.
P
h
h y
x
Supponiamo per semplicita che la densita del fluido sia 1. Il flusso del fluido at-
traverso una superficie e proporzionale alla densita del fluido, allarea di e al prodotto
scalare fra il campo di velocita ~v e il versore normale n a . Consideriamo il contributo
di ogni coppia di facce parallele del cubo. In tal caso e una faccia del cubo e la sua
area e h2 .
Partiamo da quelle ortogonali allasse x. La variazione di flusso (uscente - entrante)
e
h i h i
h2 ~v (x + h, y, z) ~v (x, y, z) ~i =
x h2 v1 (x + h, y, z) v1 (x, y, z) .
v=(v1 ,v2 ,v3 )
Dividendo per il volume h3 del cubo, in modo da ricondurci al cubo unitario, otteniamo
v1 (x + h, y, z) v1 (x, y, z)
h
112 S. Lancelotti, Appunti di Analisi Matematica II
v1 (x + h, y, z) v1 (x, y, z) v1
lim = (x, y, z).
h0 h x
v1 v2 v3
(x, y, z) + (x, y, z) + (x, y, z) = div ~v (x, y, z).
x y z
Quindi la divergenza del campo di velocita tiene conto della variazione del flusso del
fluido. In particolare div ~v = 0 significa che il fluido si muove senza dilatarsi e sen-
za comprimersi. In generale, quando la divergenza e nulla, si dice che il campo e
solenoidale.
Capitolo 5
f
f (x) = F (x) (x) = fi (x), i = 1, . . . , n.
xi
113
114 S. Lancelotti, Appunti di Analisi Matematica II
F (x) = (kxk) x,
e un campo radiale.
y y
b
(x1 , y1 )
b
(x0 , y0 )
O x O x
Figura 5.1: Insieme connesso per archi Figura 5.2: Insieme non connesso per
nel piano. archi nel piano.
ogni intervallo (tk1 , tk ), per ogni k = 1, . . . , m, con derivata non nulla, e negli estremi
di tali intervalli esistono le derivate laterali.
Consideriamo la funzione : [a, b] R definita da (t) = (f g)((t)). Si ha che
e derivabile in ogni t 6= tk , per ogni k = 0, . . . , m, con
Ne segue che e costante in ogni intervallo (tk1 , tk ). Essendo anche continua su [a, b],
ne segue che e costante su tutto [a, b]. In particolare si ha che (a) = (b). Quindi
(1.8) Osservazione Questa proposizione afferma che due potenziali di un campo con-
servativo su un aperto connesso per archi differiscono al piu per una costante. Si tratta
di unestensione della proprieta delle primitive di una funzione reale di una variabile su
un intervallo. Infatti, un intervallo e evidentemente un insieme connesso per archi.
Se non e connesso per archi, allora la proprieta precedente puo non essere vera.
Infatti, consideriamo le funzioni
1
f (x, y) = arctan (xy), g(x, y) = arctan .
xy
y x
(x, y) : f (x, y) = g(x, y) = , .
1 + x2 y 2 1 + x2 y 2
Linsieme , che e costituito dai quattro quadranti del piano privati degli assi, non e
connesso per archi. Osserviamo che f g non e costante in . Infatti,
(
2 se xy > 0
f (x, y) g(x, y) =
2 se xy < 0.
1 Campi conservativi e potenziali 117
Quindi
Z m Z
X tk m Z
X tk
F dP = F ((t)) (t) dt = (t) dt =
k=1 tk1 k=1 tk1
i) F e conservativo;
(t) = 2
2 (b + d t) se b < t b + d c.
1
Si ha che e regolare a tratti, semplice e b
1 (a) = 2 (c)
chiusa. Infatti, (a) = 1 (a) e (b + d c) =
2 (c) = 1 (a).
Z
Per lipotesi iii) si ha che F dP = 0. Quindi
Z Z b Z b+dc
0= F dP = F ((t)) (t) dt + F ((t)) ( (t)) dt =
a b
1 Campi conservativi e potenziali 119
Z b Z b+dc
= F (1 (t)) 1 (t) dt + F (2 (b + d t)) (2 (b + d t)) dt =
a b
operando il cambiamento di variabile = b+dt nel secondo integrale, da cui d = dt,
si ottiene
Z Z c Z Z d
= F dP + F (2 ( )) 2 ( ) d = F dP F (2 ( )) 2 ( ) d =
1 d 1 c
Z Z
= F dP F dP.
1 2
Quindi Z Z
F dP = F dP.
1 2
Infine proviamo che ii) = i). Dobbiamo dimostrare che F e conservativo, cioe che
esiste una funzione differenziabile f : R tale che f = F , ossia se F = (f1 , . . . , fn ),
f
che per ogni j = 1, . . . , n si ha xj = fj .
Sia x0 . Consideriamo la funzione f : R definita da
Z
x : f (x) = F dP,
dove : [a, b] e una curva parametrica semplice e regolare a tratti tale che (a) = x0
e (b) = x. Per lipotesi ii) la funzione f e ben definita, cioe non dipende dalla scelta
della curva . Dimostriamo che f e un potenziale di F . Per fare cio proviamo che f
f
ammette tutte le derivate parziali xj in , che sono continue e che per ogni j = 1, . . . , n
f
si ha xj = fj . Per semplicita espositiva consideriamo j = 1.
Si ha che
x0 = (x0,1 , . . . , x0,n ), x = (x1 , . . . , xn ).
Rn1
Poiche e aperto, esiste r > 0 tale che Br (x) = x = (x1 + h, x2 , . . . , xn )
n
{u R : ku xk < r} . Sia 0 < h < r e x x
b b
definita da
( x0 b
(t) se a t b
(t) =
(x1 + t b, x2 , . . . , xn ) se b < t b + h.
x1 x1 + h
b
Inoltre
(a) = (a) = x0 , (b + h) = (x1 + h, x2 , . . . , xn ).
120 S. Lancelotti, Appunti di Analisi Matematica II
essendo = su [a, b]
Z Z Z !
1 b+h
= F dP + F (x1 + t b, x2 , . . . , xn ) (1, 0, . . . , 0) dt F dP =
h b
Z b+h Z h
1 1
= f1 (x1 + t b, x2 , . . . , xn ) dt =
x f1 (x1 + , x2 , . . . , xn ) d.
h b h 0
= tb
d = dt
Essendo la funzione { f1 (x1 + , x2 , .(. . , xn )} continua, per il Teorema )
fondamentale
Z h
del calcolo integrale la funzione integrale h f1 (x1 + , x2 , . . . , xn ) d e derivabile
0
in h con derivata uguale a f1 (x1 + h, x2 , . . . , xn ).
Allora si ha che
Z h
f1 (x1 + , x2 , . . . , xn ) d
f (x1 + h, x2 , . . . , xn ) f (x1 , x2 , . . . , xn ) 0
lim = lim =
h0+ h h0+ h
per il Teorema di De lHopital
(1.12) Osservazione
fi fj
i, j = 1, . . . , n : (x) = (x).
xj xi
potenziale f e di classe C 2 . Per il Lemma di Schwarz si ha che per ogni x e per ogni
i, j = 1, . . . , n
fi f 2f 2f f fj
(x) = (x) = (x) = (x) = (x) = (x).
xj xj xi xj xi xi xj xi xj xi
fi fj
x , i, j = 1, . . . , n : (x) = (x),
xj xi
y y
O x
O x
Figura 5.3: Insieme semplicemente con- Figura 5.4: Insieme non semplicemente
nesso nel piano. connesso nel piano.
Nello spazio, contrariamente a quanto accade nel piano, esistono aperti connessi per
archi che hanno dei buchi che sono semplicemente connessi. Per esempio lo spazio R3
privato di un punto, o di una sfera piena, e semplicemente connesso. Linsieme costituito
dallintercapedine fra due sfere concentriche di raggi diversi e semplicemente connesso.
z
Infatti, se ad esempio e lo spazio
= R3 \ sfera
R3 privato di una sfera piena come
in Fig. 5.5, allora se si considera
una qualunque curva chiusa, sem-
plice e regolare a tratti avente
sostegno in , esiste una calotta re- x y
golare il cui bordo sia il sostegno
di e tale che il sostegno di sia
contenuto in . Figura 5.5: Insieme semplicemente connesso
nello spazio.
Il toro, la cui forma ricorda quella di una ciambella con il buco, invece non e
semplicemente connesso. Lo spazio privato di una retta non e semplicemente connesso.
124 S. Lancelotti, Appunti di Analisi Matematica II
fi fj
(1.18) i, j = 1, . . . , n : (x) = (x),
xj xi
allora F e conservativo.
f2 f1
(x, y) : (x, y) = (x, y).
x y
Sia A laperto costituito dalla parte di piano racchiusa nel sostegno di avente per bordo
proprio il sostegno di . Quindi A = im () e, essendo semplicemente connesso, si
ha che A = A A . Se induce su A un verso di percorrenza antiorario, allora
per il Teorema di Green si ha che
I Z
f2 f1
F dP = (x, y) (x, y) dx dy = 0.
A x y
1 Campi conservativi e potenziali 125
2x 2y
G(x, y) = (g1 (x, y), g2 (x, y)) = , 2 .
x + y x + y2
2 2
126 S. Lancelotti, Appunti di Analisi Matematica II
Questo metodo e quello che e stato utilizzato nella dimostrazione del Teorema di
equivalenza (vedi Teorema (1.11)) quando si e provata limplicazione ii) = i).
Siano R2 un aperto connesso per archi, F : R2 un campo vettoriale
continuo e conservativo, F = (f1 , f2 ) e (x0 , y0 ) .
Consideriamo un qualunque punto (x, y) e una curva : [a, b] semplice
e regolare a tratti tale che (a) = (x0 , y0 ) e (b) = (x, y). La curva e una curva
parametrica il cui sostegno congiunge i punti (x0 , y0 ) e (x, y) rimanendo allinterno di
. Allora un potenziale di F su e f : R definito da
Z
f (x, y) = F dP.
x2
Allora un potenziale f di F su e
Z Z Z Z 1 Z 1
f (x, y) = F dP = F dP + F dP = F (1 (t))1 (t) dt+ F (2 (t))2 (t) dt =
1 2 0 0
1 (t) = (1, 0), F (1 (t)) 1 (t) = F (x0 + t(x x0 ), y0 ) (1, 0) = f1 (x0 + t(x x0 ), y0 ),
2 (t) = (0, 1), F (2 (t)) 2 (t) = F (x, y0 + t(y y0 )) (0, 1) = f2 (x, y0 + t(y y0 )),
si ottiene
Z 1 Z 1
= f1 (x0 + t(x x0 ), y0 ) dt + f2 (x, y0 + t(y y0 )) dt =
0 0
x2
rappresentata nella Figura 5.8, allora in mo-
do del tutto analogo al precedente si ha che
y0 b
un potenziale f di F su e
Z x Z y
f (x, y) = f1 (s, y) ds + f2 (x0 , s) ds.
x0 y0 O x0 x x1
f
(1.22) (x, y) = f2 (x, y), (x, y) .
y
Essendo F continuo, anche le sue componenti f1 e f2 sono continue. Se in (1.21)
consideriamo y come parametro, risulta che f e una primitiva di f1 rispetto alla variabile
x. Quindi se F1 e una primitiva di f1 considerata come funzione solo di x, allora esiste
una funzione k dipendente solo da y, e quindi costante rispetto a x, tale che
k(y) = F2 (x, y) + c.
1.1 Ricerca dei potenziali di un campo vettoriale conservativo 129
f 1
(1.27) (x, y) = f2 (x, y) = .
y 1 + x2
Integrando (1.27) rispetto a y si ottiene
Z
1 y
(1.28) f (x, y) = 2
dy = + c(x),
1+x 1 + x2
f 2xy 2xy
(x, y) = 2 2
+ c (x) = = c (x) = 0 = c(x) = c R.
x (1 + x ) (1 + x2 )2
y
f (x, y) = + c, c R.
1 + x2
(1.29) Esercizio NellEsempio (1.20) abbiamo visto che il campo vettoriale F (x, y) =
2
x22y 2x
+y 2 , x2 +y 2 definito su = R \{(0, 0)} non e conservativo. Se invece consideriamo
F definito ad esempio solo per ogni (x, y) con y > 0, allora e conservativo? In caso
affermativo, chi e un suo potenziale?
Z x Z y Z z
f (x, y, z) = f1 (s, y, z0 ) ds + f2 (x0 , s, z0 ) ds + f3 (x, y, s) ds,
x0 y0 z0
Z x Z y Z z
f (x, y, z) = f1 (s, y, z) ds + f2 (x0 , s, z0 ) ds + f3 (x0 , y, s) ds,
x0 y0 z0
Z x Z y Z z
f (x, y, z) = f1 (s, y0 , z) ds + f2 (x, s, z) ds + f3 (x0 , y0 , s) ds,
x0 y0 z0
Z x Z y Z z
f (x, y, z) = f1 (s, y, z) ds + f2 (x0 , s, z) ds + f3 (x0 , y0 , s) ds.
x0 y0 z0
132 S. Lancelotti, Appunti di Analisi Matematica II
Capitolo 6
Serie numeriche
1 Nozioni preliminari
Introduciamo la nozione di serie numerica reale. Per le serie complesse si veda pag. 159.
(1.1) Definizione Sia (an ) una successione di numeri reali. Si chiama serie di
an la scrittura formale
X
an
n=0
P
o piu semplicemente (dove non vi sia ambiguita) an . Il numero reale an e detto
termine generale della serie.
Poniamo
S0 = a0 ,
n
X
Sn = ak = a0 + a1 + + an , n 1.
k=0
X
Diciamo che an diverge (o che e divergente) positivamente (risp.
n=0
negativamente) se lim Sn = + (risp. ).
n
X
Diciamo che an e indeterminata se non esiste lim Sn .
n
n=0
133
134 S. Lancelotti, Appunti di Analisi Matematica II
X
X
Diciamo che an converge assolutamente se converge la serie |an |.
n=0 n=0
1) Serie geometrica
3) Serie telescopiche
= an+1 a0 .
si ha che
n
X
Sn = (ak+p ak ) =
k=0
= (ap a0 ) + (ap+1 a1 ) + (ap+2 a2 ) + + (an+p1 an1 ) + (an+p an ) =
2 Criteri di convergenza
P P
Dimostrazione. Sia an una serie e sia bn la serie ottenuta modificando un numero
P
finito di termini della serie an (in modo analogo si procede se la serie di bn e ottenuta
aggiungendo oppure eliminando un numero finito di termini della serie di an ). Dimo-
striamo che il carattere della serie di bn e lo stesso di quello della serie di an .
Sia p N tale che an = bn per ogni n p e siano
n
X n
X
Sn = ak , n = bk
k=0 k=0
le somme parziali n-esime delle serie di an e bn rispettivamente. Allora per ogni n > p
si ha che
n
X p
X n
X n
X
n = bk = bk + bk =
x p + ak =
k=0 k=0 k=p+1
k=p+1
| {z }
p a k = bk
se k > p
n
X n
X p
X
essendo ak = ak ak si ottiene
k=p+1 k=0 k=0
n
X p
X
= p + ak ak = p + Sn Sp .
k=0 k=0
P
lim n = lim(p + Sn Sp ) = p + S Sp R = bn converge.
n n
P
Se an diverge, allora lim Sn = + (oppure ). Ne segue che
n
P
lim n = lim(p + Sn Sp ) = + (oppure ) = bn diverge.
n n
P
Se infine an e indeterminata, allora non esiste lim Sn . Ne segue che
n
P
lim n = lim(p + Sn Sp ) 6 = bn e indeterminata.
n n
2.1 Criteri di convergenza per tutte le serie 137
(2.2) Osservazione Come si evince anche dalla dimostrazione, se una serie converge,
allora aggiungendo, oppure eliminando o modificando un numero finito di termini, la
X
somma della serie potrebbe cambiare. In particolare, se la serie an = S R, preso
n=0
m N, m 1, si ha che
X
X m1
X
an = an an = S (a0 + a1 + + am1 ).
n=m n=0 n=0
Ad esempio,
n n 0
X 1 X 1 X 1 1
= = = 1.
n=1
2n n=1
2 n=0
2 2
X
X
(2.3) Proposizione (Algebra delle serie) Siano an e bn due serie e
n=0 n=0
R. Allora valgono i seguenti fatti:
X
X
X
X
a) se an e bn convergono, allora anche (an + bn ) e an ,
n=0 n=0 n=0 n=0
convergono e si ha che
X
X
X
X
X
(an + bn ) = an + bn , an = an ;
n=0 n=0 n=0 n=0 n=0
X
X
b) se an e bn divergono entrambe positivamente (risp. negativamente),
n=0 n=0
X
allora anche (an + bn ) diverge positivamente (risp. negativamente);
n=0
X
X
c) se an converge e bn diverge positivamente (risp. negativamente),
n=0 n=0
X
allora (an + bn ) diverge positivamente (risp. negativamente).
n=0
X
(2.4) Teorema (Condizione necessaria) Se an converge, allora
n=0
lim an = 0.
n
P
Dimostrazione. Sia Sn la somma parziale n-esima della serie an . Si ha che Sn =
P
Sn1 + an . Poiche an converge, allora lim Sn = S R. Essendo (Sn1 ) una sottosuc-
n
cessione di (Sn ), si ha anche lim Sn1 = S. Ne segue che
n
P
lim an 6= 0 = an non converge.
n
P
lim an = 0 =
/ an converge.
n
X 1
Infatti, se si considera ad esempio la serie log 1 + , si ha che
n=1
n
1
lim log 1 + =0
n n
= (log 2 log 1) + (log 3 log 2) + (log 4 log 3) + + (log (n + 1) log n) = log (n + 1).
Quindi
X 1
lim Sn = lim log (n + 1) = + = log 1 + diverge positivamente.
n n
n=1
n
2.2 Criteri di convergenza per le serie a termini positivi 139
(2.6) Teorema Sia (an ) una successione tale che an 0 per ogni n N.
X
Allora an converge o diverge positivamente a seconda che la successione delle
n=0
somme parziali della serie sia limitata o illimitata.
Dimostrazione. Poiche an 0 per ogni n, risulta che la successione (Sn ) delle somme
P
parziali della serie an e crescente. Infatti, si ha che
Sn+1 = Sn + an+1 Sn .
Quindi la successione (Sn ) ammette limite lim Sn = sup Sn . Ne segue che lim Sn e finito
n n n
P
se (Sn ) e limitata, mentre e + se (Sn ) e illimitata. Nel primo caso an converge, nel
secondo diverge positivamente.
P
an 0 per ogni n e lim an 6= 0 = an diverge positivamente.
n
(2.8) Teorema (Criterio del confronto) Siano (an ) e (bn ) due successioni
tali che 0 an bn per ogni n N.
Valgono i seguenti fatti:
X
X
i) se bn converge, allora anche an converge e si ha che
n=0 n=0
X
X
an bn ;
n=0 n=0
X
X
ii) se an diverge, allora anche bn diverge.
n=0 n=0
(2.9) Osservazione Il Criterio del confronto non esaurisce tutti i casi possibili. In
particolare si ha che:
P
a) se 0 an bn per ogni n N e bn diverge, allora NON possiamo concludere
P
nulla sulla convergenza di an ;
P
b) se 0 an bn per ogni n N e an converge, allora NON possiamo concludere
P
nulla sulla convergenza di bn .
In queste situazioni e necessario ricorrere ad altri metodi per stabilire il carattere della
serie.
X 1
(2.10) Esempio Consideriamo la serie . E una serie a termini positivi, quindi
n2 n=1
converge o diverge positivamente. Per ogni n 2 si ha che
1 1
n2 n(n 1) = 2
.
n n(n 1)
X 1
La serie e la serie di Mengoli, che converge a 1 (vedi pag. 135). Infatti,
n=2
n(n 1)
X 1 X 1
=
x .
n=2
n(n 1) k=1
k(k + 1)
k=n1
X 1
Per il Criterio del confronto anche converge. Inoltre, si ha che
n=1
n2
X 1 X 1 X 1
= +1 + 1 = 2.
n=1
n2 n=2
n2 n=2
n(n 1)
2.2 Criteri di convergenza per le serie a termini positivi 141
X 1 2
Utilizzando le serie di Fourier si prova che = .
n=1
n2 6
X 1
(2.11) Esempio Consideriamo la serie armonica . E una serie a termini positivi,
n n=1
quindi converge o diverge positivamente. Per ogni n 1 si ha che
1 1
log 1 + .
n n
Infatti, se consideriamo la funzione f : [0, +) R definita da f (x) = log(1 + x) x,
x
si ha che f e derivabile con derivata f (x) = x+1 < 0 per ogni x 0. Quindi f e
decrescente in [0, +) e in particolare si ha che f (x) f (0) = 0 per ogni x 0, cioe
1 1 1
log(1 + x) x 0. Preso x = n si ottiene che log 1 + n n per ogni n 1. La
X 1 X 1
serie log 1 + diverge (vedi pag. 138). Per il Criterio del confronto anche
n=1
n n=1
n
diverge.
(2.12) Esercizio Utilizzando il Criterio del confronto provare che la serie armonica
X 1
generalizzata converge per p > 2 e diverge per p < 1.
n=1
np
(2.13) Teorema (Criterio del confronto asintotico) Siano (an ) e (bn ) due
successioni tali che an 0 e bn 0 per ogni n N. Supponiamo che esista
an
lim = l [0, +).
n bn
Dimostrazione.
l
i) Se l > 0, per la definizione di limite preso = 2 esiste n0 N tale che per ogni
l an 3 l 3
n n0 si ha 2 bn 2 l. In particolare, 2 bn an 2 lbn per ogni n n0 .
Applicando le Proposizioni (2.1) e (2.3) e il Criterio del confronto ne segue che
P P
an converge se e solo se bn converge.
142 S. Lancelotti, Appunti di Analisi Matematica II
ii), iii) Se l = 0, per la definizione di limite preso = 1 esiste n0 N tale che per ogni
an
n n0 si ha bn 1. In particolare, an bn per ogni n n0 . Applicando la
Proposizione (2.1) e il Criterio del confronto si ottiene tesi.
(2.14) Osservazione Le tre affermazioni del teorema precedente possono essere cos
riformulate:
X
i) se an , bn 0 per ogni n N e an l bn con l 6= 0 per n +, allora an
n=0
X
converge se e solo se bn converge;
n=0
X
ii) se an , bn 0 per ogni n N, an = o(bn ) per n + e bn converge, allora
n=0
X
anche an converge;
n=0
X
iii) se an , bn 0 per ogni n N, an = o(bn ) per n + e an diverge, allora
n=0
X
anche bn diverge.
n=0
(2.15) Osservazione Il Criterio del confronto asintotico non esaurisce tutti i casi
possibili. In particolare si ha che:
P
a) se an , bn 0 per ogni n N, an = o(bn ) per n + e an converge, allora
P
NON possiamo concludere nulla sulla convergenza di bn ;
P
b) se an , bn 0 per ogni n N, an = o(bn ) per n + e bn diverge, allora NON
P
possiamo concludere nulla sulla convergenza di an .
In queste situazioni e necessario ricorrere ad altri metodi per stabilire il carattere della
serie.
1 X
(2.16) Esempio Consideriamo la serie . E una serie a termini positivi,
n=1
n+1 n2
quindi converge o diverge positivamente. Osserviamo che per ogni n 1 si ha che
1 1
n2 n + 1 n2 = 2.
n2 n+1 n
2.2 Criteri di convergenza per le serie a termini positivi 143
X 1
La serie converge (vedi Esempio (2.10)) ma non e possibile applicare il Criterio
n2
n=1
del confronto. Osserviamo pero che
1 1
2, n +.
n2 n + 1 n
X 1
Quindi per il Criterio del confronto asintotico la serie converge.
n=1
n2 n+1
1 X
(2.17) Esempio Consideriamo la serie . E una serie a termini positivi,
n=1
5n +3
quindi converge o diverge positivamente. Osserviamo che per ogni n 1 si ha che
1 1
5n + 3 5n = .
5n + 3 5n
X 1
La serie diverge (vedi Esempio (2.11) e lalgebra delle serie) ma non e possibile
n=1
5n
applicare il Criterio del confronto. Osserviamo pero che
1 1
, n +.
5n + 3 5n
X 1
Quindi per il Criterio del confronto asintotico la serie diverge.
n=1
5n +3
(2.18) Osservazione I criteri del confronto e del confronto asintotico si usano per
determinare il carattere di una serie a termini positivi confrontando o confrontando
asintoticamente il termine generale di questa serie con quello di una serie di cui e gia
noto il carattere. In genere si cerca di confrontare con le serie notevoli ed in particolare
con la serie geometrica e la serie armonica generalizzata (vedi Esempio (1.3)).
(2.19) Teorema (Criterio della radice) Sia (an ) una successione tale che
an 0 per ogni n N. Supponiamo che esista
lim n
an = l [0, +) {+}.
n
lim an lim(l )n = +.
n n
P
Per la Condizione necessaria per la convergenza delle serie si ha che an diverge.
Infine consideriamo il caso l = +. Per la definizione di limite, esiste n0 N tale
che per ogni n n0 si ha n an > 1. In particolare, an > 1 per ogni n n0 . Ne segue che
P
lim an 6= 0. Per la Condizione necessaria per la convergenza delle serie si ha che an
n
diverge.
2
1 n X
(2.21) Esempio Consideriamo la serie 1 . E una serie a termini positivi,
n=1
n
quindi converge o diverge positivamente. Osserviamo che
n2
1 2 log(1 n
1
)
1 = en .
n
1
Inoltre n2 log 1 n n, per n +, ma
2 log(1 n
1
)
en 6 en , n +.
1
(2.22) Osservazione Si osservi che n2 log 1 n n 12 , per n + e che
2 log(1 n
1
) 1 1
en en 2 = , n +.
e en
2
X 1 X 1 n
Poiche n converge, per il Criterio del confronto asintotico 1 con-
n=1
ee n=1
n
verge.
(2.23) Teorema (Criterio del rapporto) Sia (an ) una successione tale che
an 0 per ogni n N. Supponiamo che esista
an+1
lim = l [0, +) {+}.
n an
an
an
an+1
Dimostrazione. Essendo an1 una sottosuccessione di = l.
an , si ha che lim
an1 n
Consideriamo inizialmente il caso in cui l R. Per la definizione di limite, per ogni
an
> 0 esiste n0 N tale che per ogni n n0 si ha l < an1 < l + . In particolare,
(l )an1 < an < (l + )an1 per ogni n n0 .
1l
Se l < 1, preso = 2 esiste n0 N tale che per ogni n > n0 si ha che
an < (l + )an1 < (l + )2 an2 < (l + )3 an3 < < (l + )nn0 an0
l+1
con l + = 2 < 1. Poiche la serie geometrica di ragione l + converge (vedi pag. 134),
P
per la Proposizione (2.1) e il Criterio del confronto anche an converge.
l1
Se l > 1, preso = 2 esiste n0 N tale che per ogni n > n0 si ha che
an > (l )an1 > (l )2 an2 > (l )3 an3 > > (l )nn0 an0
l+1
con l = 2 > 1. In particolare si ha che
P
Per la Condizione necessaria per la convergenza delle serie si ha che an diverge.
146 S. Lancelotti, Appunti di Analisi Matematica II
an+1 (n + 1)! nn (n + 1) n! nn nn 1
= n+1
= n
= n
= n .
an (n + 1) n! (n + 1) (n + 1) n! (n + 1) 1 + n1
Quindi
an+1 1 1
lim = lim n = < 1.
n an n
1+ 1 e
n
X n!
Per il Criterio del rapporto converge.
n=1
nn
(2.26) Osservazione Per la Formula di Stirling si ha che n! nn en 2n, per
n +. In particolare
n
n! ne1
2n
2n, n +.
Quindi volendo ricorrere al Criterio della radice per studiare il carattere della serie
X n!
n
, si ha che
n=1
n
s
n
n n! n! ne1 2n 2n 1
lim = lim = lim = < 1.
n nn n n n n e
X n!
Per il Criterio della radice converge.
n=1
nn
In altri termini, il Criterio della radice e piu generale di quello del rapporto. Il
viceversa non e vero.
Pertanto 1 n0
n
n
an < l + n an0 .
2
Analogamente
n n0 fattori
z }| { nn0
an an1 an +1
n > n0 : an = 0 an0 > l an0 .
an1 an2 an0 2
| {z } | {z } | {z }
>l 2 >l 2 >l 2
Quindi
1 n0
n
n
an > l n an0 .
2
Ne segue che per ogni n > n0
1 n0 1 n0
n n
l n a
n0 <
n
an < l + n an0 .
2 2
Poiche lim n an0 = 1 (vedi Appendice E pag. 164), ne segue che
n
1 n0 1 n0
n n
lim l n an0 = l , lim l + n a
n0 = l + .
n 2 | {z
} 2 n 2 | {z
} 2
| {z
} y | {z
} y
y y
1 1
l 2
l+ 2
Quindi per la definizione di limite esiste n1 N, n1 n0 , tale che per ogni n > n1 si ha
1 n0 1 n0
n n
l< l n an0 < l, l< l+ n an0 < l + .
2 2
148 S. Lancelotti, Appunti di Analisi Matematica II
l< n
an < l + ,
cioe lim n
an = l.
n
Se l = 0, allora si procede come nel caso precedente, utilizzando solo la stima
dallalto, essendo n an 0.
Infine, se l = +, allora si procede come nel caso precedente, utilizzando solo la
stima dal basso.
f (n + 1) f (x) f (n).
Z n+1
Posto bn = f (x) dx, risulta quindi che an+1 bn an . Per il Criterio del confronto
n
X
X
si ha che se an converge, allora bn converge e
n=1 n=1
X
X
(2.29) bn an .
n=1 n=1
Inoltre, essendo
X
X
(2.30) an+1 =
x ak
n=1
k=2
k=n+1
2.2 Criteri di convergenza per le serie a termini positivi 149
X
per il Criterio del confronto e la Proposizione (2.1) si ha che se bn converge, allora
n=1
X
an converge e
n=1
X
X
(2.31) an bn .
n=2 n=1
X
X
Quindi an converge se e solo se bn converge. Detta Sn la somma parziale n-esima
n=1 n=1
della serie di bn , si ha che
n
X n Z
X k+1 Z n+1
Sn = bk = f (x) dx = f (x) dx.
k=1 k=1 k 1
Quindi si ha che Z Z
n+1 +
lim Sn = lim f (x) dx = f (x) dx.
n n 1 1
X
Pertanto la convergenza di bn corrisponde a quella dellintegrale improprio
Z n=1
+
f (x) dx, da cui segue la tesi. Infine, in caso di convergenza si ha che
1
X Z +
bn = f (x) dx
n=1 1
Infine, se p 0, allora (
1 1 se p = 0
lim p =
n n + se p < 0.
Ne segue che non e verificata la condizione necessaria per la convergenza della serie e
quindi per p 0 la serie diverge.
X
X
X
an 2n a2n 2 an .
n=1 n=0 n=1
n
X k
X
Dimostrazione. Siano Sn = ah e Tk = 2m a2m la somma parziale n-esima della
h=1 m=1
serie di an e la somma parziale k-esima della serie di 2n a2n rispettivamente. Se n 2k ,
allora
n
X n
X 2k+1
X1
Sn = ah ah + ah =
h=1 h=1 h=n+1
n 2 k
X X
Sn = ah ah =
h=1 h=1
2.3 Criteri di convergenza per le serie a termini di segno variabile 151
e
X
X
2n a2n = lim Tk 2 lim Sn = 2 an .
k n
n=0 n=1
X
Dimostrazione. La serie (|an | + an ) e a termini positivi. Poiche per ogni n risulta
n=0
|an |+an 2|an |, per il Criterio del confronto e lalgebra delle serie questa serie converge.
X
Infine, essendo an = (|an | + an ) |an |, per lalgebra delle serie anche an converge.
n=0
Infine, dette Sn e n le somme parziali n-esime delle serie di an e |an | rispettivamente,
dalla disuguaglianza triangolare del valore assoluto segue che |Sn | n per ogni n. Per
il Primo teorema del confronto sui limiti si ha che
X
X
an = lim |Sn | lim n = |an |.
n n
n=0 n=0
152 S. Lancelotti, Appunti di Analisi Matematica II
(2.36) Osservazione Il viceversa non e vero. Lesempio classico e quello della serie
armonica a termini di segno alterno
X (1)n
.
n=1
n
Poiche
n
(1) = 1
X X
n n
n=1 n=1
e divergente, ne segue che la serie armonica a termini di segno alterno non converge
assolutamente. Come vedremo a pag. 153 questa serie converge.
(2.38) Teorema (Criterio di Leibniz) Sia (bn ) una successione tale che
bn 0 per ogni n N. Supponiamo che
i) lim bn = 0;
n
n
X
Dimostrazione. Sia Sn = (1)k bk la somma parziale n-esima della serie. Essendo
k=1
(bn ) decrescente, si ha che
2n+2
X 2n
X
k
S2n+2 = (1) bk = (1)k bk (b2n+1 b2n+2 ) S2n ,
| {z }
k=1 k=1
0
2.3 Criteri di convergenza per le serie a termini di segno variabile 153
2n+1
X 2n1
X
S2n+1 = (1)k bk = (1)k bk + (b2n b2n+1 ) S2n1 .
| {z }
k=1 k=1
0
Quindi la successione delle somme parziali con indice pari (S2n ) e decrescente, mentre
quella con indice dispari (S2n+1 ) e crescente. Inoltre, S2n S2n+1 = b2n+1 0 implica
che S2n S2n+1 per ogni n da cui segue che, essendo (S2n+1 ) crescente, S2n S1 .
Quindi la successione (S2n ) e anche limitata inferiormente. Per le proprieta dei limiti
delle successioni monotone, ne segue che esiste lim S2n = inf S2n = S R. In particolare,
n n
n0
fissato > 0 esiste n0 N tale che per ogni n 2 si ha
|S2n S| < .
n1
In particolare, esiste n1 N, n1 n0 , tale che per ogni n 2 si ha
|S2n+1 S| < .
a) se non vale lipotesi i) del Criterio di Leibniz, cioe se lim bn 6= 0, allora anche
n
lim(1)n bn 6= 0 e per la condizione necessaria della convergenza di una serie, si ha
n
X
che (1)n bn non converge, e quindi diverge oppure e indeterminata;
n=1
X
(2.41) Teorema (Criterio di Dirichlet) Siano an una serie, (Sn ) la suc-
n=0
cessione delle somme parziali di questa serie e (bn ) una successione con bn 0 per
ogni n. Supponiamo che:
n
X
Dimostrazione. Sia n = ak bk la somma parziale n-esima della serie di an bn .
k=0
Essendo ak = Sk Sk1 per ogni k 1 e a0 = S0 , si ha che
n
X n
X
n = ak bk = S0 b0 + (Sk Sk1 )bk =
k=0 k=1
2.3 Criteri di convergenza per le serie a termini di segno variabile 155
(2.42) n = Tn1 + Sn bn .
Poiche (Sn ) e limitata, esiste M > 0 tale che |Sn | M per ogni n N. Inoltre,
essendo (bn ) decrescente, si ha che bn1 bn 0, per ogni n 1. Osserviamo che la
X
serie Sn1 (bn1 bn ) converge assolutamente. Infatti, se consideriamo la successione
n=1
X
delle somme parziali della serie |Sn1 (bn1 bn )| si ha che
n=1
n
X n
X n
X
|Sk1 (bk1 bk )| = |Sk1 |(bk1 bk ) M (bk1 bk ) =
k=1 k=1 k=1
lim n = lim(Tn1 + Sn bn ) = T R,
n n
X
X
(3.1) Definizione Siano an e bn due serie. Si chiama prodotto di
n=0 n=0
X
Cauchy delle serie di an e bn la serie cn , dove
n=0
n
X
cn = ak bnk .
k=0
X
X
(3.2) Teorema (di Mertens) Siano an e bn due serie convergenti
n=0 n=0
rispettivamente a A e B. Supponiamo che almeno una delle due serie converga
assolutamente.
Allora il prodotto di Cauchy delle serie di an e bn converge a AB. In altri termini,
n
X
se cn = ak bnk , allora
k=0
!
!
X X X
cn = an bn .
n=0 n=0 n=0
P
Dimostrazione. Supponiamo che an converga anche assolutamente. In modo del
P
tutto analogo si procede se a convergere assolutamente e bn . Siano An , Bn e Cn le
P P P
somme parziali n-esime delle serie an , bn e cn rispettivamente. Si ha che
n
X
Cn = ck = c0 +c1 + +cn = a0 b0 +(a0 b1 +a1 b0 )+ +(an b0 +an1 b1 + +a0 bn ) =
k=0
= a0 Bn + a1 Bn1 + + an1 B1 + an B0 =
= An B a0 Rn a1 Rn1 an1 R1 an R0 .
n
X
Mostriamo che lim ak Rnk = 0. Sia > 0. Poiche Rk 0 per k +, esiste
n
k=0
k0 N tale che |Rk | < per ogni k k0 . Posto M = max{|Rk |}, si ha che per ogni
kk0
n k0
nk
X n X0 n
X
ak Rnk = ak Rnk + ak Rnk
k=0 k=0 k=nk0 +1
nk
X0 n
X nk
X0 n
X
|ak ||Rnk | + |ak ||Rnk | |ak | + M |ak |.
k=0 k=nk0 +1 k=0 k=nk0 +1
X
P
Poiche an converge assolutamente, posto |an | = R, si ha che
n=0
nk
X0
|ak | .
k=0
Inoltre,
!
n
X nk
X0
X nk
X0 n
X
|ak | = |ak | |ak | = |ak | |ak | .
k=nk0 +1 k=0 k=n+1 k=0 k=0
X
Poiche |an | = , si ha che
n=0
nk
X0 n
X
lim |ak | = lim |ak | = .
n n
k=0 k=0
Quindi
n nk n
!
X X0 X
lim |ak | = lim |ak | |ak | = 0.
n n
k=nk0 +1 k=0 k=0
n
X
Per larbitrarieta di si ha che lim ak Rnk = 0. Da (3.3) si ha che
n
k=0
n
!
X
lim Cn = lim An B ak Rnk = AB,
n n
k=0
P P
(3.4) Osservazione Se an e bn convergono ma nessuna delle due converge as-
solutamente, allora il loro prodotto di Cauchy potrebbe non convergere. Infatti, se
(1)n P P
consideriamo ad esempio an = bn =
n+1
, si ha che an e bn convergono ma non
assolutamente. Inoltre.
n n
X X (1)n
cn = ak bnk = p .
k=0 k=0
(k + 1)(n k + 1)
Poiche
(1)n
1 1
p = p ,
(k + 1)(n k + 1) (k + 1)(n k + 1) n+1
si ha che
n n
X
(1)n
X 1 1
|cn | = p = p (n + 1) = 1.
k=0
(k + 1)(n k + 1) (k + 1)(n k + 1)
k=0
n+1
Ne segue che lim cn 6= 0 e per la condizione necessaria per la convergenza di una serie
n
P
cn non converge.
4 Serie complesse 159
4 Serie complesse
Poiche la nozione di limite per una successione in C e la stessa di quella per le successioni
reali (vedi Definizione (1.1) in Appendice E limitatamente al caso l C), in modo del
tutto analogo a quanto visto precedentemente possiamo introdurre la nozione di serie
anche nel campo C dei numeri complessi.
X
Se lim Sn non esiste, allora diciamo che zn non converge (o che non e
n
n=0
convergente).
X
Diciamo che zn converge assolutamente se converge la serie (reale a termini
n=0
X
positivi) |zn |.
n=0
(4.2) Osservazione Sia (zn ) una successione in C e siano Re (zn ) e Im (zn ) rispetti-
vamente la parte reale e la parte immaginaria di zn . Essendo
zn = Re (zn )+iIm (zn ) , |Re (zn ) | |zn |, |Im (zn ) | |zn |, |zn | |Re (zn ) |+|Im (zn ) |,
P P P
a) zn converge a S C se e solo se Re (zn ) e Im (zn ) convergono rispettiva-
mente a Re (S) e Im (S) e in tal caso si ha che
X
X
X
zn = Re (zn ) + i Im (zn ) ;
n=0 n=0 n=0
P P P
b) zn converge assolutamente se e solo se Re (zn ) e Im (zn ) convergono asso-
lutamente.
X cos n X sin n
(4.3) Esempio Consideriamo le serie e . Sono serie reali a termini
n n=1
n=1
n
di segno variabile ma non alterno. Dalla formula di Eulero si ha che ein = cos n +
i sin n. Quindi queste due serie sono le serie della parte reale e della parte immaginaria
in
in X e
rispettivamente di en . Osserviamo che non converge assolutamente. Infatti,
n=1
n
in
X e X 1
= che diverge.
n n
n=1 n=1
in
X e X 1
Per studiare la convergenza della serie = ein ricorriamo al Criterio di
n=1
n n=1
n
1
Dirichlet, ponendo an = ein , bn = n (il Criterio di Dirichlet vale anche se (an ) e una
successione complessa). Si ha che la successione (bn ) e non negativa, infinitesima e
decrescente. Detta Sn la somma parziale n-esima della serie di an , si ha che
n n
X X k 1 ei(n+1 ) 2
ik i
|Sn | = e = e =
x .
1 ei |1 ei |
k=0 k=0
vedi pag. 134
in
X e
Quindi (Sn ) e limitata (in C). Per il Criterio di Dirichet converge e per lOsser-
n=1
n
X cos n X sin n
vazione (4.2) anche le serie e convergono.
n
n=1 n=1
n
Osserviamo che queste due serie non convergono assolutamente. Per lOsservazio-
in
X e
ne (4.2) non possono convergere entrambe assolutamente perche altrimenti anche
n=1
n
convergerebbe assolutamente, contraddicendo quanto affermato in precedenza. Essendo
| cos n| 1, | sin n| 1, si ha che cos2 n | cos n|, sin2 n | sin n|. Per le formule di
bisezione si ha che
| cos n| cos2 n 1 + cos (2n) 1 cos (2n)
= = + ,
n n 2n 2n 2n
| sin n| sin2 n 1 cos (2n) 1 cos (2n)
= = .
n n 2n 2n 2n
4 Serie complesse 161
X | cos n| X | sin n|
Se per assurdo una delle due serie e convergesse, allora per il
n n=1 n=1
n
Criterio del confronto convergerebbero anche le serie i cui termini generali sono
1 Limiti di successioni
In particolare se l R si ha
> 0 n0 N: n N con n n0
lim an = l
n
si ha che |an l| < ,
mentre se l = + (risp. l = )
b R n0 N: n N con n n0
lim an = + ()
n
si ha che an > b (an < b).
163
164 S. Lancelotti, Appunti di Analisi Matematica II
(1.2) Osservazione Poiche il limite di successione altro non e che il limite di funzione
per la variabile che tende a +, per esso valgono tutti i teoremi e le considerazioni fatti
per i limiti di funzione di una variabile reale. Piu precisamente valgono:
n
2) lim ak = 1, per ogni a > 0 e k R.
n
n
3) lim n! = +.
n
n
a
4) lim 1 + = ea , per ogni a R.
n n
logp n
5) lim = 0, per ogni p, k R con k > 0.
n nk
Appendice E Limiti di successioni 165
nk
6) lim = 0, per ogni k, a R con a > 1.
n an
an
8) lim = 0, per ogni a R.
n n!
n!
9) lim = 0.
n nn
Formula di Stirling n! nn en 2n, n +.
(1.3) Definizione Sia (an ) una successione. Diciamo che una successione (bn )
e una sottosuccessione (o successione estratta) di (an ) se bn = a(n) , dove
: N N e una successione strettamente crescente.
Usualmente una sottosuccessione di (an ) si denota con (ank ).
Una sottosuccessione di una successione (an ) e quindi una successione i cui termini
sono selezionati tra quelli della successione di partenza, in modo che se un elemento e
selezionato, allora i successivi sono selezionati fra quelli che hanno un indice maggiore
di questultimo.
lim ank = l.
k
(1.8) Teorema (Criterio della radice per le successioni) Sia (an ) una suc-
cessione a termini positivi. Supponiamo che esista lim n an = l [0, +) {+}.
n
Allora valgono i seguenti fatti:
Il Criterio della radice e piu generale di quello del rapporto, come afferma il seguente
risultato (vedi pag. 146).
(1.10) Teorema Sia (an ) una successione a termini positivi. Supponiamo che
an+1
esista lim = l [0, +) {+}.
n an
Allora lim n an = l.
n
Capitolo 7
Successioni di funzioni
Introduciamo le nozioni per le funzioni reali. In modo del tutto analogo si introducono
per le funzioni complesse.
167
168 S. Lancelotti, Appunti di Analisi Matematica II
lim kfn f k = 0,
n
lim kfn f k = 0,
n
f +
fn
f
f
O a b x
fn
f
O 1 x
e quindi (fn ) converge uniformemente a f su [0, a]. Questo fatto e ben visibile an-
che graficamente. Infatti, per ogni > 0 il grafico delle funzioni fn e definitivamente
contenuto fra quello delle funzioni f e f + ,
y
f2 (x) = x2
f5 (x) = x5
a x
O f
a = 0, 75
> 0 tale che x con |x x0 | < si ha |fn0 (x) fn0 (x0 )| < 3 .
Sia > 0. Poiche (fn ) converge uniformemente a f in [a, b], esiste n0 N tale che per
ogni n n0 si ha che kfn f k < ba . Ne segue che per ogni n n0
Z Z b Z Z
b b b
fn (x) dx f (x) dx = (fn (x) f (x)) dx |fn (x) f (x)| dx
a a a a
Z b
kfn f k dx = kfn f k (b a) < (b a) = .
a ba
Pertanto Z Z
b b
lim fn (x) = f (x) dx.
n a a
Per il Teorema fondamentale del calcolo integrale si ha che f e derivabile in [a, b] con
f 0 (x) = g(x) per ogni x [a, b]. In particolare f e derivabile in x0 con derivata continua
e f 0 (x0 ) = g(x0 ). Per larbitrarieta di x0 si ha la tesi.
3 Approfondimenti: scambio di ordine nei limiti 175
lim lim fn (x) = lim lim fn (x) .
xx0 n n xx0
Sia > 0. Poiche (fn ) converge uniformemente a f in , esiste n0 N tale che per ogni
n N, con n n0 , si ha kfn f k < 3 . Ne segue che per ogni n N, con n n0 , e
per ogni x si ha
(3.2) |fn (x) f (x)| < .
3
In particolare per ogni n, m N, con n, m n0 , e per ogni x si ha
2
|fn (x) fm (x)| |fn (x) f (x)| + |f (x) fm (x)| < + = .
3 3 3
2
|ln lm | = lim |fn (x) fm (x)| < .
xx0 3
Quindi (ln ) e di Cauchy. Poiche R e uno spazio normato completo 1 , la successione (ln )
converge ad un certo l R.
Dimostriamo ora che lim f (x) = l. Poiche ln l per n +, esiste n1 N, con
xx0
n1 n0 , tale che per per ogni n N con n n1 si ha |ln l| < 3 . In particolare per
n = n1 si ha |ln1 l| < 3 . Poiche fn1 (x) ln1 per x x0 , esiste > 0 tale che per ogni
1
Uno spazio normato e completo se ogni successione di Cauchy in questo spazio e convergente (vedi
Appendice F).
176 S. Lancelotti, Appunti di Analisi Matematica II
x con 0 < |x x0 | < si ha |fn1 (x) ln1 | < 3 . Quindi, applicando (3.2) si ha che
per ogni x con 0 < |x x0 | <
|f (x) l| |f (x) fn1 (x)| + |fn1 (x) ln1 | + |ln1 l| < + + = .
3 3 3
Serie di funzioni
Introduciamo le nozioni per le funzioni reali. In modo del tutto analogo si introducono
per le funzioni complesse.
S0 (x) = f0 (x),
n
X
Sn (x) = fk (x) = f0 (x) + f1 (x) + + fn (x), n 1.
k=0
177
178 S. Lancelotti, Appunti di Analisi Matematica II
X
X
Diciamo che fn (x) converge assolutamente in se la serie |fn (x)|
n=0 n=0
converge puntualmente in .
X
Fissato x , la serie fn (x) e una serie numerica. Quindi questa definizione
n=0
corrisponde a quella introdotta per le serie numeriche.
lim kSn f k = 0,
n
Il prossimo risultato stabilisce quale relazione sussista fra i quattro tipi di conver-
genza introdotti per una serie di funzioni limitate.
1 Nozioni preliminari sulle serie di funzioni 179
X
Dimostrazione. Se fn (x) converge assolutamente in , allora per il Criterio della
n=0
X
convergenza assoluta fn (x) converge puntualmente in e si ha
n=0
X
X
x : fn (x) |fn (x)|.
n=0 n=0
X
Se fn (x) converge uniformemente in , allora la successione (Sn ) delle somme parziali
n=0
della serie di fn converge uniformemente in . Per la Proposizione (1.7) del Capitolo 7
X
(Sn ) converge puntualmente in e quindi fn (x) converge puntualmente in .
n=0
X
X
Se fn (x) converge totalmente in , allora kfn k converge. Essendo |fn (x)|
n=0 n=0
X
kfn k per ogni x , per il Criterio del confronto anche |fn (x)| converge per ogni
n=0
X
x , quindi fn (x) converge assolutamente in .
n=0
X
X
Infine, supponiamo che fn (x) converga totalmente in , cioe che kfn k
n=0 n=0
X
converga. Dimostriamo che fn (x) converge uniformemente in . Per quanto visto
n=0
X
nei passi precedenti, la serie fn (x) converge assolutamente e puntualmente in con
n=0
X
X
(1.5) x : fn (x) |fn (x)|.
n=0 n=0
1
Vale piu in generale anche per funzioni non limitate.
180 S. Lancelotti, Appunti di Analisi Matematica II
n
X
X
Siano Sn (x) = fk (x) la somma parziale n-esima della serie e f (x) = fk (x) la
k=0 k=0
somma della serie. Per ogni x si ha che
n
X X X
|Sn (x) f (x)| = fk (x) fk (x) = fk (x)
x
k=0 k=0 k=n+1
(1.5)
X
X
|fk (x)|
x kfk k .
k=n+1 k=n+1
|fk (x)|kfk k
Ne segue che
X
kSn f k = sup |Sn (x) f (x)| kfk k .
x k=n+1
X
Poiche kfk k converge, allora
k=0
n
!
X X X X X
lim kfk k = lim kfk k kfk k = kfk k kfk k = 0.
n n
k=n+1 k=0 k=0 k=0 k=0
lim kSn f k = 0
n
X
da cui segue che fn (x) converge uniformemente in .
n=0
X (1)n
coincide con quella puntuale, ed essendo convergente , converge anche uni-
n=1
n
formemente in R. Inoltre per ogni x R si ha che
X X (1)n X 1
|fn (x)| =
n = e divergente.
n=1 n=1
n n=1
X
Quindi fn (x) non converge assolutamente.
n=1
Un esempio di serie convergente assolutamente ma non uniformemente e
X
arctan (nx) arctan [(n 1)x] .
n=1
E una serie di funzioni continue su R. Per ogni n 1 poniamo fn (x) = arctan (nx)
arctan [(n 1)x].
Osserviamo che la serie data e telescopica. Consideriamo inizialmente la convergenza
puntuale. La somma parziale n-esima della serie e
n
X n
X
Sn (x) = fk (x) = arctan (kx) arctan [(k 1)x] =
k=1 k=1
X
Allora fn (x) converge totalmente in .
n=0
X
X
Poiche Mn converge, per il Criterio del confronto anche kfn k converge e quindi
n=0 n=0
X
fn (x) converge totalmente in .
n=0
(1.12) Osservazione Abbiamo gia osservato che le serie numeriche sono particolari
serie di funzioni (costanti).
Nei prossimi capitoli studieremo con maggiore attenzione serie di funzioni non
costanti che godono di particolari proprieta. Piu precisamente ci occuperemo di se-
rie di potenze, serie di Taylor (e di McLaurin), serie di Fourier. Da un punto di vista
grafico possiamo cos rappresentare questi insiemi di serie di funzioni:
Serie di funzioni
Serie numeriche
Serie di potenze
Serie di Taylor
e di McLaurin
Serie di Fourier
1.2 Approfondimenti: limite di una serie 185
X
Allora ln converge a l R e si ha che lim f (x) = l. In particolare si ha che
xx0
n=0
!
X X
lim fn (x) = lim fn (x) .
xx0 xx0
n=0 n=0
Dimostrazione. Si applica il Teorema sullo scambio di ordine nei limiti alla successione
delle somme parziali (Sn ) della serie di fn (vedi Teorema (3.1) del Capitolo 7).
186 S. Lancelotti, Appunti di Analisi Matematica II
2 Serie di potenze
Introduciamo le serie di potenze reali. Per quelle complesse si veda pag. 213.
X
X
esiste |x| < x1 < R tale che an xn1 converge. Per il Criterio del confronto an xn
n=0 n=0
converge assolutamente e per larbitrarieta di x (R, R) la serie di potenze converge
assolutamente in (R, R).
Sia ora 0 < k < R. Per quanto appena dimostrato la serie di potenze converge
assolutamente in k. Inoltre per ogni x [k, k] si ha che per ogni n N
X
(2.3) Teorema (di Abel) Siano an xn una serie di potenze e R (0, +)
n=0
il suo raggio di convergenza.
X
Se la serie di potenze an xn converge anche in x = R (risp. x = R), allora
n=0
converge uniformemente in ogni intervallo [k, R] (risp. [R, k]), con 0 < k < R.
In particolare, se converge in x = R, allora converge uniformemente in [R, R].
|x| 1. Si ha che
X xn X 1
x=1 = = = diverge;
n=0
n n=0
n
X xn X (1)n
x = 1 = = = converge;
n=0
n n=0
n
(
xn + se x > 1 X xn
|x| > 1 = lim = = non converge.
n n 6 se x < 1 n
n=0
Quindi
(
)
X xn
xR: e convergente = [1, 1).
n=0
n
X
(2.5) Osservazione Siano an xn una serie di potenze, I R linsieme di conver-
n=0
genza puntuale della serie e f : I R la somma della serie.
Allora f e continua.
X
x I : f (x) = an xn
n=0
e continua in x0 .
Se il raggio di convergenza della serie e R = 0, allora x0 = 0, I = {0} e la tesi e
ovvia. Sia quindi R (0, +]. Se x0 = 0, essendo R > 0 la serie di potenze converge
uniformemente in [k, k] per ogni 0 < k < R. Poiche le funzioni fn (x) = an xn sono
continue su I, quindi anche su [k, k], per la Proposizione (1.6) f e continua su [k, k],
quindi anche in x0 = 0. Supponiamo che x0 > 0 (analogamente se x0 < 0). Le funzioni
fn (x) = an xn sono continue su I, quindi anche su [0, x0 ]. Per i Teoremi (2.2) e (2.3) la
serie converge uniformemente in [0, x0 ]. Per la Proposizione (1.6) f e continua in [0, x0 ]
e in particolare in x0 . Per larbitrarieta di x0 si ha la tesi.
2 Serie di potenze 189
X
(2.6) Teorema (della radice o di Cauchy-Hadamard) Sia an xn una
n=0
serie di potenze. Supponiamo che esista
q
n
lim |an | = l [0, +].
n
Quindi
(
)
1 1 X
n 1 1
sup , sup x R : an x e convergente sup , .
l l n=0
l l
| {z } | {z } | {z }
= 1l =R = 1l
q
n
(2.7) Osservazione Se non esiste lim |an |, allora NON possiamo concludere nulla
n
sul raggio di convergenza della serie di potenze utilizzando il Teorema della radice. E
necessario ricorrere ad un altro metodo per determinarlo.
X
(2.8) Teorema (del rapporto o di DAlembert) Sia an xn una serie di
n=0
potenze. Supponiamo che esista
an+1
lim
= l [0, +].
n a
n
Da qui in poi la dimostrazione procede in modo del tutto identico a quella del Teorema
della radice.
an+1
(2.9) Osservazione Se non esiste lim
, allora NON possiamo concludere nulla
n a n
sul raggio di convergenza della serie di potenze utilizzando il Teorema del rapporto. E
necessario ricorrere ad un altro metodo per determinarlo.
(2.10) Osservazione Come gia visto nel capitolo sulle serie numeriche (vedi Osser-
vazione (2.27) del Capitolo
6 e Teorema (1.10) dellAppendice E), se (an ) e una succes-
an+1 q
sione e se lim = l, allora anche lim n |an | = l. In altri termini, il Teorema
n+ an n+
della radice e piu generale di quello del rapporto.
q an+1
n
Si osservi che se non esiste lim |an |, allora non esiste neppure lim . Quindi
n n an
in tal caso NON e possibile ne applicare il Teorema della radice ne quello del rapporto
per determinare il raggio di convergenza della serie. E necessario ricorrere ad un altro
metodo per determinarlo.
X
(2.11) Esempio Consideriamo la serie di potenze (2n + 3n ) xn . Determiniamo il
n=0
raggio di convergenza. Proviamo ad applicare il Teorema della radice. Si ha che
r
n 2
n
lim n 2n + 3n = lim 3 + 1 = 3.
n n 3n
1
Quindi il raggio di convergenza della serie di potenze e R = 3. Ne segue che la serie
converge assolutamente in 13 , 13 .
Consideriamo ora x = 13 . Si ha che
1 2n + 3n X 2n + 3n
x= = lim = 1 6= 0 = diverge;
3 n 3n n=0
3n
1 2n + 3n X 2n + 3n
x= = lim(1)n 6 = (1)n non converge.
3 n 3n n=0
3n
X
Quindi la serie di potenze (2n + 3n ) xn converge puntualmente in 13 , 13 e uni-
n=0
formemente in [k, k] per ogni 0 < k < 13 .
X
(2.12) Esempio Consideriamo la serie di potenze n! xn . Determiniamo il raggio di
n=0
convergenza. Proviamo ad applicare il Teorema del rapporto. Si ha che
(n + 1)! (n + 1) n!
lim = lim = lim(n + 1) = +.
n n! n n! n
192 S. Lancelotti, Appunti di Analisi Matematica II
Suggerimento
X
Nelle applicazioni, data la serie di potenze an (x x0 )n , conviene ricondursi ad una
n=0
serie centrata in 0 mediante il cambiamento di variabile t = xx0 . Determinato il raggio
di convergenza R e gli insiemi di convergenza puntuale e uniforme della serie di potenze
2 Serie di potenze 193
X
an tn , si determinano quelli della serie centrata in x0 (il raggio e lo stesso) mediante
n=0
il cambiamento di variabile inverso, cioe x = t + x0 .
1X
(2.15) Esempio Consideriamo la serie di potenze n log (n + 1)
(x 1)n . E una
n=1
2
serie di potenze centrata in x0 = 1. Posto t = x 1 si ha che
X 1 n
X 1
n
(x 1) = n
tn
n=1
2 log (n + 1) n=1
2 log (n + 1)
s
1 1 1
lim n
= lim p = .
n 2n log (n + 1) n 2 n log (n + 1) 2
X 1
t=2 = .
n=1
log (n + 1)
1 1
Essendo log (n+1) > n+1 , per il Criterio del confronto questa serie diverge. Inoltre
X (1)n
t = 2 = .
n=1
log (n + 1)
Per il Criterio di Leibniz questa serie converge. Quindi la serie di potenze centrata
X 1
in 0, n
tn , converge puntualmente in [2, 2) e, per il Teorema di Abel,
n=1
2 log (n + 1)
uniformemente in [2, k] per ogni 0 < k < 2.
1X
Essendo x = t + 1, si ha che la serie (x 1)n converge puntual-
n=1
log (n + 2n
1)
mente in [1, 3) e uniformemente in [1, b] con 1 < b < 3.
194 S. Lancelotti, Appunti di Analisi Matematica II
X
X
(2.16) Teorema (Somma di serie di potenze) Siano an xn e bn xn
n=0 n=0
due serie di potenze con raggi di convergenza rispettivamente R1 e R2 .
X
Allora la serie di potenze (an + bn )xn ha raggio di convergenza R
n=0
min{R1 , R2 }.
Se R1 6= R2 , allora il raggio di convergenza e R = min{R1 , R2 }.
Inoltre, per ogni x R con |x| < min{R1 , R2 } si ha che
X
X
X
(an + bn )xn = an xn + bn xn .
n=0 n=0 n=0
X
(an + bn )xn e si ha che
n=0
X
X
X
n n
(an + bn )x = an x + bn xn .
n=0 n=0 n=0
In particolare
(
)
X
(Rm , Rm ) xR: (an + bn )xn e convergente .
n=0
X
Quindi il raggio di convergenza R della serie (an + bn )xn e tale che
n=0
(
)
X
n
R = sup x R : (an + bn )x e convergente sup(Rm , Rm ) = Rm .
n=0
an xn = (an + bn )xn bn xn ,
X
allora per lalgebra delle serie anche la serie an xn convergerebbe: assurdo perche
n=0
X
x > R1 . Quindi il raggio di convergenza R della serie (an + bn )xn e R R1 = Rm .
n=0
Essendo R Rm , si ha che R = Rm = min{R1 , R2 }.
2.1 Somma e prodotto di serie di potenze 195
a) se R1 = R2 = +, evidentemente R = +;
b) se i raggi delle due serie coincidono, puo succedere che il raggio di convergenza R
della serie somma sia maggiore del loro comune valore. Infatti, se consideriamo
ad esempio bn = an , e se R1 (0, +) e il raggio di convergenza della serie di
X
X
potenze an xn , allora il raggio di convergenza della serie di potenze bn xn e
n=0 n=0
evidentemente R2 = R1 e essendo an + bn = an an = 0, la serie somma e nulla e
ha raggio di convergenza R = + > R1 .
X
(2.18) Teorema (Prodotto di Cauchy di serie di potenze) Siano an xn
n=0
X
n
e bn x due serie di potenze con raggi di convergenza rispettivamente R1 e R2 .
n=0
X
Allora il prodotto di Cauchy delle serie, cioe la serie di potenze cn xn , dove
n=0
n
X
cn = ak bnk ,
k=0
X
X
an xn e bn xn convergono assolutamente. Poiche
n=0 n=0
n
X n
X
k nk
(ak x )(bnk x )= ak bnk xn = cn xn ,
k=0 k=0
X
per il Teorema di Mertens sul prodotto di serie, la serie cn xn converge. In particolare
n=0
(
)
X
n
(Rm , Rm ) xR: cn x e convergente .
n=0
196 S. Lancelotti, Appunti di Analisi Matematica II
X
Quindi il raggio di convergenza R della serie cn xn e tale che
n=0
(
)
X
R = sup x R : cn xn e convergente sup(Rm , Rm ) = Rm .
n=0
Infine, sempre per il Teorema di Mertens sul prodotto di serie, si ha che se x R con
|x| < Rm , allora ! !
X
X
X
cn xn = an xn bn xn .
n=0 n=0 n=0
X
Dimostrazione. Denotiamo con R1 il raggio di convergenza della serie nan xn1 .
n=1
Dimostriamo che R1 = R. Per assurdo supponiamo che R1 6= R.
Se fosse R1 > R, allora esisterebbe x R con R < |x| < R1 tale che la serie
X
nan xn1 convergerebbe assolutamente. Poiche |an xn1 | |nan xn1 | per ogni n 1,
n=1
X
per il Criterio del confronto anche an xn1 convergerebbe assolutamente. Essendo
n=1
X
X
X
n n1
|an xn1 |,
|an x | = an1 x = |x|
n=1 n=2 n=1
X
per il Criterio del confronto anche an xn convergerebbe assolutamente: assurdo perche
n=0
|x| > R. Quindi R1 R.
2.2 Integrazione e derivazione termine a termine per le serie di potenze 197
X
Se fosse R1 < R, allora esisterebbe x R con R1 < |x| < R tale che la serie an xn
n=0
X
convergerebbe assolutamente. Sia t R tale che |x| < t < R. Quindi anche an tn
n=0
convergerebbe assolutamente. Poiche
n
|x|
lim(n + 1) = 0,
n t
|x| n
fissato > 0 esiste n0 N tale che per ogni n n0 si ha (n + 1) t . Allora
n
n|x|
|(n + 1)an+1 x | = (n + 1) |an+1 |tn |an+1 |tn+1 .
t t
Essendo
X tX
|an tn | = |a tn+1 ,
n=1
n=0 t n+1|
X
X
per il Criterio del confronto anche (n + 1)an+1 xn = nan xn1 convergerebbe as-
n=0 n=1
solutamente: assurdo perche |x| > R1 . Quindi R1 R. Ne segue che R1 = R.
Infine, applicando il Teorema di derivazione per serie (vedi Teorema (1.11)) alla
X
serie di potenze an xn , si ha che
n=0
!
X X X
x (R, R) : D an xn = D (an xn ) = nan xn1 .
n=0 n=0 n=1
1
Dimostrazione. Poiche an xn = D n+1 an+1 x
n+1 , dove D e loperatore di derivazione,
per il teorema precedente anche il raggio di convergenza della serie di potenze
X 1
an xn+1 e R. Inoltre, per ogni x appartenente allintervallo di convergenza,
n=0
n + 1
198 S. Lancelotti, Appunti di Analisi Matematica II
X
la serie di potenze an tn converge uniformemente nellintervallo di estremi 0 e x, non
n=0
necessariamente in questo ordine. Applicando il Teorema di integrazione per serie (ve-
X
di Teorema (1.10)) alla serie di potenze an xn si ha che per ogni x appartenente
n=0
allintervallo di convergenza
Z
! Z
x X X x X 1
n n
an t dt = an t dt = an xn+1 .
0 n=0 n=0 0 n=0
n + 1
2.3 Approfondimenti: dimostrazione del Teorema di Abel 199
X
(2.3) Teorema (di Abel) Siano an xn una serie di potenze e R (0, +)
n=0
il suo raggio di convergenza.
X
Se la serie di potenze an xn converge anche in x = R (risp. x = R), allora
n=0
converge uniformemente in ogni intervallo [k, R] (risp. [R, k]), con 0 < k < R.
In particolare, se converge in x = R, allora converge uniformemente in [R, R].
Poniamo b0 = c0 = 0 e
n+j j
x X
j = 1, . . . , n : bj = , j = an+j Rn+j , cj = m .
R m=1
Osserviamo che
p
X p
X
bj j = bp cp (bj bj1 )cj1 .
j=1 j=1
Poiche
p
X
(bj cj bj1 cj1 ) = (b1 c1 b0 c0 ) + (b2 c2 b1 c1 ) + + (bp cp bp1 cp1 ) = bp cp ,
j=1
si ottiene che
p
X p
X p
X
bj j + (bj bj1 )cj1 = (bj cj bj1 cj1 ) = bp cp
j=1 j=1 j=1
x n+j
Essendo bj = R , j = an+j Rn+j e
j
X j
X
cj = m = an+m Rn+m = Sn+j (R) Sn (R),
m=1 m=1
Poiche n+j !
p n+j1
X x x
=
j=1
R R
n n+1 n+1 n+2 n+p1 n+p
x x x x x x
= + + =
R R R R R R
n n+p
x x
= 2,
R R
2.3 Approfondimenti: dimostrazione del Teorema di Abel 201
3
Uno spazio normato e completo se ogni successione di Cauchy in questo spazio e convergente (vedi
Appendice F).
3
Si osservi che sup max sup , sup .
x[k,R] x[k,k] x[0,R]
202 S. Lancelotti, Appunti di Analisi Matematica II
dove f (n) (x0 ) e la derivata n-esima di f in x0 (con la convenzione che f (0) (x0 ) =
f (x0 )).
Se x0 = 0 la serie di Taylor e anche detta serie di McLaurin.
1 (n)
f (x) = f (x0 ) + f (x0 )(x x0 ) + + f (x0 )(x x0 )n + o ((x x0 )n ) , x x0
n!
n
X 1
= f (k) (x0 )(x x0 )k + o ((x x0 )n ) , x x0 ,
k=0
k!
n
X 1
dove f (k) (x0 )(x x0 )k e il Polinomio di Taylor di f di grado (o ordine) n.
k=0
k!
Osserviamo che la somma parziale n-esima della serie di Taylor di f e proprio questo
polinomio.
Poiche la serie di Taylor appare come una generalizzazione dello sviluppo di Taylor,
e lecito chiedersi se la serie di Taylor della funzione f converge a f , cioe se per ogni x
appartenente allintervallo di convergenza della serie di Taylor di f si ha che
X 1
f (x) = f (n) (x0 )(x x0 )n .
n=0
n!
Ne segue che
X 1
x 6= 0 : f (x) 6= f (n) (0)xn .
n=0
n!
che essendo una serie geometrica con ragione x converge se e solo se x (1, 1), e in tal
caso
X 1
x (1, 1) : xn = = f (x).
n=0
1x
Allora f e analitica in x0 .
Dimostrazione. Proviamo che esiste > 0 tale che per ogni n N e per ogni x
(x0 , x0 + )
n!
(2.26) |f (n) (x)| .
n
204 S. Lancelotti, Appunti di Analisi Matematica II
n! n!
Poiche lim = +, esiste n0 N tale che per ogni n > n0 si ha n 1. Poniamo
n n
n! M
C = min : n = 0, . . . , n0 , = min{C, 1}, = .
n
Poiche
n!
n N, ,
n
ne segue che per ogni n N e per ogni x (x0 , x0 + )
M M n! n!
|f (n) (x)| M = n = n.
Sia x (x0 , x0 + ). Per la Formula di Taylor con il resto di Lagrange, per ogni
n N esiste tn compreso fra x0 e x (non necessariamente in questo ordine) tale che
1
f (x) Pn (x) = f (n+1) (tn )(x x0 )n+1 .
(n + 1)!
Quindi
1
(n+1)
(tn ) |x x0 |n+1
|f (x) Pn (x)| = f
(n + 1)!
per (2.26)
n+1
1 (n + 1)! |x x0 |
n+1 |x x0 |n+1 = .
(n + 1)!
|xx0 |
Poiche |x x0 | < , si ha che < 1 e di conseguenza
n+1
|x x0 |
lim = 0.
n
Per il Secondo criterio del confronto (sui limiti) si ha che per ogni x (x0 , x0 + )
X
(2.27) Teorema Sia an xn una serie di potenze con raggio di convergenza
n=0
X
R (0, +] e per ogni x (R, R) sia f (x) = an xn la somma della serie.
n=0
Allora f e di classe C su (R, R) e per ogni n N si ha che f (n) (0) = n! an . In
particolare f e analitica in x0 = 0 e il suo sviluppo in serie di McLaurin e
X
an xn .
n=0
Gli sviluppi in serie notevoli di McLaurin sono quelli delle funzioni di cui sono gia noti
gli sviluppi di McLaurin.
1) Si ha che
X 1
x R : ex = xn .
n=0
n!
Infatti, la funzione f (x) = ex e di classe C su R e per ogni n N e x R si ha
che f (n) (x) = ex . Quindi se x0 R, per ogni > 0 si ha che
(n)
f (x) = ex ex0 + .
n N, x (x0 , x0 + ),
2) Si ha che
X (1)n
x R : sin x = x2n+1 .
n=0
(2n + 1)!
Infatti, la funzione f (x) = sin x e di classe C su R e per ogni n N e x R si
ha che (
(n)
(1)k sin x se n = 2k
f (x) =
(1)k cos x se n = 2k + 1.
Quindi |f (n) (x)| 1 per ogni n e per ogni x R. Per il Teorema (2.25) f e
analitica in ogni x0 R. In particolare per x0 = 0 si ha
(
0 se n = 2k
(n)
f (0) =
(1)k se n = 2k + 1.
Quindi
X 1 (n)
X (1)n
x R : f (x) = sin x = f n
(0) x = x2n+1 .
n=0
n! n=0
(2n + 1)!
3) Si ha che
X (1)n
x R : cos x = x2n .
n=0
(2n)!
Infatti, la funzione f (x) = cos x e di classe C su R e per ogni n N e x R si
ha che (
(n)
(1)k cos x se n = 2k
f (x) =
(1)k+1 sin x se n = 2k + 1.
Quindi |f (n) (x)| 1 per ogni n e per ogni x R. Per il Teorema (2.25) f e
analitica in ogni x0 R. In particolare per x0 = 0 si ha
(
(1)k se n = 2k
f (n) (0) =
0 se n = 2k + 1.
Quindi
X 1 X (1)n
x R : f (x) = cos x = f (n) (0) xn = x2n .
n=0
n! n=0
(2n)!
4) Si ha che
X 1
x R : sinh x = x2n+1 .
n=0
(2n + 1)!
Infatti, per ogni x R
!
ex ex 1 X 1 n
X (1)n n
sinh x = = x x =
2 2 n=0
n! n=0
n!
2.4 Serie di Taylor 207
5) Si ha che
X 1
x R : cosh x = x2n .
n=0
(2n)!
Infatti, per ogni x R
!
ex + ex 1 X 1 n
X (1)n n
cosh x = = x + x =
2 2 n=0
n! n=0
n!
6) Si ha che
X (1)n1 X (1)n
x (1, 1] : log (1 + x) = xn = xn+1 .
n=1
n n=0
n+1
Integrando termine a termine (vedi Teorema (2.20)) si ha che per ogni x (1, 1)
Z x Z
xX Z x
1 X X 1
dt = tn dt = tn dt = xn+1 .
0 1t 0 n=0 n=0 0 n=0
n + 1
Z x 1
Poiche dt = log (1 x), si ha che
0 1t
X 1
x (1, 1) : log (1 x) = xn+1 .
n=0
n + 1
X 1
Osserviamo che per il Criterio di Leibniz la serie xn+1 converge anche in
n=0
n + 1
x = 1. Infatti,
X 1 X (1)n+1
x = 1 = xn+1 = .
n=0
n+1 n=0
n+1
208 S. Lancelotti, Appunti di Analisi Matematica II
Poiche per lOsservazione (2.5) la somma g della serie e continua in [1, 1), essendo
g(x) = log (1 x) per ogni x (1, 1), si ha che
Quindi
X 1
x [1, 1) : log (1 x) = xn+1 .
n=0
n + 1
Sostituendo x al posto di x si ottiene
X (1)n X (1)n1
x (1, 1] : log (1 + x) = xn+1 = xn .
n=0
n+1 n=1
n
In particolare
X (1)n X (1)n1
= = log 2.
n=1
n n=1
n
7) Si ha che
X (1)n
x [1, 1] : arctan x = x2n+1 .
n=0
2n + 1
Infatti, dallEsempio (2.24) si ha che
1 X
x (1, 1) : = xn
1 x n=0
Integrando termine a termine (vedi Teorema (2.20)) si ha che per ogni x (1, 1)
Z Z Z
x 1 xX
n 2n
X x
n 2n
X (1)n
dt = (1) t dt = (1) t dt = x2n+1 .
0 1 + t2 0 n=0 n=0 0 n=0
2n + 1
Z x 1
Poiche dt = arctan x, si ha che
0 1 + t2
X (1)n
x (1, 1) : arctan x = x2n+1 .
n=0
2n + 1
X (1)n
Osserviamo che per il Criterio di Leibniz la serie x2n+1 converge anche
n=0
2n + 1
in x = 1. Infatti,
X (1)n X (1)n
x = 1 = x2n+1 = .
n=0
2n + 1 n=0
2n + 1
2.4 Serie di Taylor 209
Poiche per lOsservazione (2.5) la somma g della serie e continua in [1, 1], essendo
g(x) = arctan x per ogni x (1, 1), si ha che
g(1) = lim g(x) = lim arctan x = arctan (1) = ,
x(1)+ x(1)+ 4
g(1) = lim g(x) = lim arctan x = arctan 1 = .
x1 x1 4
Quindi
X (1)n
x [1, 1] : arctan x = x2n+1 .
n=0
2n + 1
8) Si ha che
(1, 1) se 1
!
(1, 1] se 1 < < 0
X n
(1 + x) = x , x
n=0
n
[1, 1] se 0, 6 N
R se 0, N,
( 1) ( (n 1))
!
se n N, n 1
dove per ogni R si ha che = n!
n
se n = 0.
!
n X
Consideriamo la serie di potenze x e determiniamo il suo raggio di con-
n=0
n
vergenza. Consideriamo inizialmente 6 N. Utilizziamo il Teorema del rapporto.
Si ha che
n+1 ( 1) ( (n 1))( n) n!
= =
n (n + 1)! ( 1) ( (n 1))
( 1) ( (n 1))( n) n! = | n| .
=
(n + 1) n! ( 1) ( (n 1)) n+1
Quindi
n+1 | n|
lim = lim = 1.
n
n
n n+1
Ne segue che il raggio di convergenza della serie di potenze e R = 1. Quindi !
la serie
X n
converge assolutamente in (1, 1). Per ogni x (1, 1) sia g(x) = x la
n=0
n
somma della serie. Derivando termine a termine (vedi Teorema (2.19)) si ha che
per ogni x (1, 1) !
n1X
g (x) = n x .
n=1
n
210 S. Lancelotti, Appunti di Analisi Matematica II
!
! " ! !#
X n
X n X
= (n + 1) x + n x = (n + 1) +n xn .
n=0
n + 1 n=0
n n=0
n + 1 n
Osserviamo che ! !
(n + 1) +n =
n+1 n
( 1) ( (n 1))( n) ( 1) ( (n 1))
= (n + 1) +n =
(n + 1)! n!
( 1) ( (n 1))( n) ( 1) ( (n 1))
= (n + 1) +n =
(n + 1) n! n!
!
( 1) ( (n 1))
= = .
n! n
Quindi !
X n
x (1, 1) : (1 + x)g (x) = x = g(x).
n=0
n
(1 + x)g = g,
che e del primo ordine a variabili separabili. Lunica soluzione costante e g(x) = 0
per ogni x (1, 1). Per g 6= 0, ricordando che x (1, 1), le altre soluzioni sono
date da Z Z
1 1
dg = dx
g 1+x
log |g| = log (1 + x) + c, cR
log |g| = log [c(1 + x) ], c>0
|g| = c(1 + x) , c>0
g(x) = c(1 + x) , c 6= 0.
Poiche g(x) = 0 e soluzione, tutte le soluzioni dellequazione sono
g(x) = c(1 + x) , c R.
2.4 Serie di Taylor 211
Quindi la somma della serie e una funzione della forma g(x) = c(1 + x) , per
qualche c R. Poiche per x = 0 la somma della serie e g(0) = 1, si ottiene c = 1.
Quindi la somma della serie e g(x) = (1 + x) , cioe
!
X n
x (1, 1) : (1 + x) = x .
n=0
n
Inoltre si dimostra che per certi 6 N la serie converge alla funzione somma
g(x) = (1 + x) anche per x = 1 e/o per x = 1. Piu precisamente si ha che
(1, 1) se 1
x (1, 1] se 1 < < 0
[1, 1] se 0, 6 N.
Se = m N, allora
! !
m m(m 1) (m (n 1))
n m + 1 : = = = 0.
n n n!
!
X n
Quindi la serie x ha solo un numero finito di termini non nulli. Piu
n=0
n
precisamente si ha che
! m
! !
X n X n m 2
x = x = 1 + mx + x + + m xm1 + xm = (1 + x)m
n=0
n n=0
n 2
Xxn
Consideriamo la serie di potenze . Per x = 12 si ottiene la serie numerica di
n=2
n(n 1)
partenza. Si vede facilmente che il raggio di convergenza di questa serie e R = 1 e che
la serie converge anche in x = 1. Quindi la serie di potenze converge puntualmente e
212 S. Lancelotti, Appunti di Analisi Matematica II
si ha che
Z
X xn X 1 x
= tn1 dt =
n=2
n(n 1) n=2
n 1 0
Z Z
xX (1)k1 x
= (t)k dt = log (1 t) dt =
0 k=1
k 0
| {z }
=log (1t)
Le ultime tre righe hanno senso solo se x [1, 1). Quindi per ogni x [1, 1) la
somma della serie e
f (x) = (1 x) log (1 x) + x.
Poiche per lOsservazione (2.5) la somma f della serie e continua in [1, 1], si ha che
Le serie di potenze possono essere introdotte in modo del tutto analogo anche nel campo
C dei numeri complessi.
Per le serie di potenze complesse continuano a valere i Teoremi della radice e del
rapporto, dove in tal caso il simbolo | | indica in modulo in C.
214 S. Lancelotti, Appunti di Analisi Matematica II
3 Serie di Fourier
Poiche le funzioni f (x), cos x e sin x sono integrabili in [, ] (risp. in [0, T ]),
anche f (x) cos x e f (x) sin x sono integrabili4 in [, ] (risp. in [0, T ]) e quindi
3 Serie di Fourier 217
a0 , an , bn R, per ogni n 1.
3 2 O 2 3 x
dove
Z Z
1 1
a0 = f (x) dx = x dx =
2 0 2
e per ogni n 1
Z Z
1 2
an = f (x) cos nx dx = x cos nx dx =
0
2 1 2
= cos nx = [cos n 1] =
n n 0 n2
(
2 0 se n = 2m,
= [(1)n 1] = 4 m N.
n2 (2m+1)2 se n = 2m + 1,
4
Si ricorda che se f e g sono integrabili in [a, b], allora anche f g e integrabile in [a, b]. Infatti,
1
f (x)g(x) = (f (x) + g(x))2 (f (x) g(x))2 .
4
218 S. Lancelotti, Appunti di Analisi Matematica II
4 X 1
cos [(2n + 1)x].
2 n=0 (2n + 1)2
3) la convergenza e uniforme?
1 1
(3.7)
(2n + 1)2 cos [(2n + 1)x] .
(2n + 1)2
X 1
Poiche la serie converge, per il Criterio di Weierstrass la serie di Fourier
n=1
(2n + 1)2
converge totalmente, e quindi anche uniformemente, assolutamente e puntualmente su
R. Quindi in questo caso abbiamo risposto a due delle tre domande che ci siamo posti.
Nel prossimo paragrafo, vedremo che sotto opportune ipotesi e possibile rispondere anche
alla domanda 2) e, piu precisamente, e possibile determinare la somma della serie (per
la serie di Fourier in questione si veda lOsservazione (3.19)).
3 Serie di Fourier 219
an b
n
b
bn
Evidentemente si ha che
an = n sin n , bn = n cos n .
X
= a0 + n sin (nx + n )
n=1
220 S. Lancelotti, Appunti di Analisi Matematica II
che e lespressione della serie di Fourier di f in termini di ampiezza e fase delle singole
armoniche.
In virtu della proprieta b) della Proposizione (3.2) possiamo considerare solo le funzioni
periodiche di periodo 2 ed enunciare i risultati per queste funzioni. Infatti, se f e
T
periodica di periodo T 6= 0, allora la funzione g(x) = f 2 x e periodica di periodo 2.
(3.12) Esempio La funzione f (x) = |x| e classe C 1 a tratti su ogni intervallo [a, b] R
ma non e C 1 su R.
Inoltre si ha che
Z
X
|f (x)|2 dx = 2a20 + a2n + b2n . Identita di Parseval
n=1
lim an = lim bn = 0.
n n
222 S. Lancelotti, Appunti di Analisi Matematica II
f (x) f (x
0)
f (x
0 ) = lim R, (pseudo derivata sinistra di f in x0 )
xx0 x x0
f (x) f (x+
0)
f (x+
0 ) = lim+ R, (pseudo derivata destra di f in x0 )
xx0 x x0
dove f (x +
0 ) = lim f (x) e f (x0 ) = lim f (x).
xx
0 xx+
0
1
Allora la serie di Fourier di f calcolata in x0 converge a f (x
0 ) + f (x+
0 ) .
2
Inoltre, se f e anche continua in x0 , allora la serie di Fourier di f calcolata in x0
converge a f (x0 ).
Le serie di Fourier si possono introdurre in modo del tutto analogo anche per funzioni
complesse di una variabile reale.
Premettiamo la seguente
(3.23) Definizione Sia f : [a, b] C una funzione. Quindi per ogni x [a, b]
si ha che f (x) = Re (f ) (x) + iIm (f ) (x), dove Re (f ) , Im (f ) : [a, b] R sono
rispettivamente la parte reale e la parte immaginaria di f .
Diciamo che f e integrabile su [a, b] se Re (f ) e Im (f ) sono integrabili su [a, b] e
in tal caso si ha che
Z b Z b Z b
f (x) dx = Re (f ) (x) dx + i Im (f ) (x) dx.
a a a
La nozione di serie di Fourier per una funzione complessa di una variabile reale
periodica di periodo 2 e la stessa introdotta per le funzioni reali.
Posto
c0 = a0 ,
1
n 1 : cn = (an ibn ),
2
1
n 1 : cn = (an + ibn ),
2
essendo
einx + einx einx einx
cos nx = , sin nx = ,
2 2i
3.1 Approfondimenti: Serie di Fourier complesse 225
si ha che
+
X X X 5 X
a0 + an cos nx + bn sin nx = c0 + cn einx + cn einx = cn einx
n=1 n=1 n=1 n=
5
Si e posto formalmente
1
X X
cn einx =
x ck eikx .
n=
k=1
k=n
226 S. Lancelotti, Appunti di Analisi Matematica II
Appendice F
Spazi normati
b) kvk = 0 se e solo se v = 0;
e una norma su Rn .
(1.3) Esempio Sia Rm non vuoto. Denotiamo con B() linsieme delle funzioni
f : R limitate. Osserviamo che B() e uno spazio vettoriale su R.
La funzione k k : B() R definita da
227
228 S. Lancelotti, Appunti di Analisi Matematica II
(1.4) Definizione Siano V uno spazio normato munito della norma k k e (vn )
una successione in V .
Diciamo che (vn ) e di Cauchy in V se per ogni > 0 esiste n0 N tale che per
ogni n, m n0 si ha kvn vm k < .
(1.5) Definizione Siano V uno spazio normato munito della norma k k, (vn )
una successione in V e v V .
Diciamo che (vn ) converge a v in V (o che (vn ) e convergente a v in V ) se
lim kvn vk = 0.
n
Dimostrazione. Sia > 0. Poiche lim kvn vk = 0, allora esiste n0 N tale che per
n
ogni n n0 si ha kvn vk < 2 . Quindi per ogni n, m n0 si ha
kvn vm k kvn vk + kv vm k < + = .
2 2