Chapter 4

Serie di funzioni

Così come le serie numeriche estendono l’addizione tra due numeri ad un’infinità numerabile di addendi,
allo stesso modo le serie di funzioni rappresentano l’addizione di un’infinità numerabile di funzioni.
Anche in questo caso, il significato dell’operazione di addizione infinita si basa sulla convergenza della
successione delle somme finite ottenute addizionando parzialmente gli addendi della serie. Tuttavia, tale
successione è ora una successione di funzioni e pertanto la convergenza della serie può essere valutata
sulla base delle diverse nozioni di convergenza che sussistono per le successioni di funzioni.
Nella sezione seguente formalizzeremo queste considerazioni, mentre nelle sezioni successive appro-
fondiremo le nozioni di convergenza puntuale ed uniforme.

4.1 Serie di funzioni e loro convergenze

Per serie di funzioni si intende l’addizione degli infiniti termini fn : D  R $ R di una successione di
funzioni (fn )n0 1 , ossia una scrittura formale del tipo

4
[
fn = f0 + f1 + f2 + f3 + ... . (4.1)
n=0

Gli addendi f0 , f1 , f2 , ... sono detti termini della serie (4.1) ed fn è detto termine generale della serie.
La serie (4.1) viene spesso indicata anche con

4
[
fn (x) = f0 (x) + f1 (x) + f2 (x) + f3 (x) + ... , (4.2)
n=0

soprattutto quando, nei casi concreti, si ha la necessità di evidenziare le espressioni analitiche delle
funzioni fn (v. esempi seguenti). Tuttavia, come già osservato per le successioni di funzioni, la scrittura

1 Al solito, supponiamo che i termini f siano indicizzati a partire da n = 0 per semplicità, ma la sostanza del discorso
n
non cambia considerando (fn )nDn0 con n0 = 0.

M.Guida, S.Rolando, 2012

(4.2) potrebbe generare confusione, in quanto f0 (x) , f1 (x) , f2 (x) , ... sono i valori che le funzioni fn
assumono nel punto x e quindi la (4.2) rappresenta anche la serie numerica ottenuta calcolando tutte le
funzioni fn in x. Conviene allora distinguere le due scritture, almeno in astratto.
Il significato dell’addizione infinita (4.1) è dato come al solito dalla successione (SN )N0 ottenuta ad-
dizionando parzialmente i termini della serie, cioè dalla successione di funzioni definita dalle seguenti
somme finite:

S
0
S0 := fn = f0 , cioè S0 (x) := f0 (x) , ;x 5 D
n=0
S1
S1 := fn = f0 + f1 , cioè S1 (x) := f0 (x) + f1 (x) , ;x 5 D
n=0
S2
S2 := fn = f0 + f1 + f2 , cioè S2 (x) := f0 (x) + f1 (x) + f2 (x) , ;x 5 D
n=0

···
S
N
SN := fn = f0 + f1 + ... + fN , cioè SN (x) := f0 (x) + f1 (x) + ... + fN (x) , ;x 5 D
n=0
···

La successione (SN ) è detta successione delle ridotte (o somme parziali) della serie (4.1) ed SN
è detta ridotta (o somma parziale) N -esima della serie (4.1). Trattandosi di una successione di
funzioni, la successione (SN ) può essere considerata dal punto di vista di tutte le nozioni di convergenza
che si applicano alle successioni di funzioni; tali nozioni vengono allora riferite alla serie di funzioni che
ha generato (SN ) e si dirà quindi che la serie di funzioni (4.1) converge:

• in un punto x0 5 D se la successione (SN ) converge in x0 ;

• puntualmente ad una funzione f su un insieme A  D se SN $ f puntualmente su A;

• uniformemente ad una funzione f su un intervallo I  D se SN $ f uniformemente su I;

• in media di ordine p (= 1, 2) ad una funzione f su un intervallo [a, b]  D se SN $ f in

media di ordine p su [a, b] .

L’insieme di convergenza puntuale  e la funzione limite S :  $ R della successione (SN ), cioè

q r
 = x 5 D : lim SN (x) esiste finito e S (x) = lim SN (x) per ogni x 5 ,
N $4 N $4

vengono detti insieme di convergenza puntuale e funzione somma della serie (4.1). Come giusti-
ficheremo meglio nella sezione seguente (v. (4.3)), si scrive

4
[
fn (x) = S (x) per ogni x 5 .
n=0

56
 Ricordiamo infine dalle Proposizioni 53, 64 e 65 che valgono le seguenti implicazioni:

convergenza uniforme =, convergenza quadratica =, convergenza in media

.
convergenza puntuale

nessuna delle quali può essere rovesciata.

S
4
Esempio 67 Consideriamo la serie di funzioni xn . Si tratta della serie geometrica di ragione x
n=0
(vista come variabile reale), i cui termini sono le funzioni fn : R $ R definite da fn (x) = xn . Abbiamo
già dimostrato che la ridotta N -esima della serie è la funzione
;
A
?N +1 se x = 1
SN (x) = 1 + x + x2 + x3 + ... + xN = 1x N+1
A
= se x 9= 1
1x

e che risulta ;
A
A = +4 se x  1
A
? 1
lim SN (x) = se |x| < 1
N$4 A
A 1x
A
=
non esiste se x  1.
S
4
Dunque l’insieme di convergenza puntuale della serie xn è  = (1, 1) e la sua funzione somma è
n=0
1
S (x) = 1x , cioè si ha
4
[ 1
xn = per ogni x 5 .
n=0
1x

Proviamo che la convergenza è uniforme su ogni intervallo del tipo [a, a]  , cioè che SN $ S
uniformemente su ogni [a, a]  (1, 1). Per ogni N si ha
 
 1  xN+1
 1  |x|N +1 aN +1
nSN  Sn4 = sup    = sup  ,
x5[a,a] 1x 1x x5[a,a] 1  x 1a

N +1
in quanto x 5 [a, a] implica |x|  aN +1 e 1  x  1  a. Siccome risulta lim aN +1 = 0 perché
N$4
0 < a < 1, si ottiene
aN+1
0  nSN  Sn4  $0
1a
e quindi lim nSN  Sn4 = 0 (per confronto). Ciò significa che SN $ S uniformemente su [a, a]. Si
N $4
osservi che la convergenza non è invece uniforme su tutto , in quanto su tale intervallo si ha
 
 1  xN +1
 1  |x|N +1
nSN  Sn4 = sup   = sup = +4
x5(1,1) 1x 1  x  x5(1,1) 1  x

e quindi nSN  Sn4 (con norma calcolata su ) non tende a 0 per N $ 4.

57
Esempio 68 Consideriamo la serie di funzioni
4
[  
1 + xn+1
log con x 5 (0, 1) ,
n=1
1 + xn

 n+1

i cui termini sono le funzioni fn : (0, 1) $ R definite da fn (x) = log 1+x1+x n per ogni x 5 (0, 1).
   
1+xn+1
Poiché log 1+xn = log 1 + xn+1  log (1 + xn ) (si noti che per x > 0 entrambi gli argomenti dei
due logaritmi sono positivi), la serie può essere riscritta come

4
[    
log 1 + xn+1  log (1 + xn ) con x 5 (0, 1) ,
n=1

da cui si vede chiaramente che si tratta di una serie di tipo telescopico. Calcolandone esplicitamente
ridotta N -esima, risulta

N
[      
SN (x) = log 1 + xn+1  log (1 + xn ) = log 1 + xN+1  log (1 + x)
n=1

 
e quindi, ricordando la discussione sul comportamento della successione geometrica xN+1 , si ottiene

   
lim SN (x) = lim log 1 + xN +1  log (1 + x) =  log (1 + x) .
N $4 N $4

Dunque la serie converge puntualmente su tutto l’intervallo (0, 1) alla funzione S (x) =  log (1 + x),
cioè si ha 4  
[ 1 + xn+1
log =  log (1 + x) per ogni x 5 (0, 1) .
n=1
1 + xn

Controlliamo se tale convergenza è anche uniforme: per ogni N si ha

      
nSN  Sn4 = sup log 1 + xN+1  log (1 + x) + log (1 + x) = sup log 1 + xN +1  = log 2
x5(0,1) x5(0,1)

e quindi nSN  Sn4 non tende a 0 per N $ 4, cioè la convergenza non è uniforme su (0, 1). Re-
stringiamo allora l’indagine agli intervalli del tipo (0, a]  (0, 1). In tal caso, per ogni N si ottiene
    
nSN  Sn4 = sup log 1 + xN+1  = log 1 + aN +1
x5(0,a]

e quindi nSN  Sn4 $ log 1 = 0 per N $ 4 (perché 0 < a < 1). In definitiva, risulta

4
[  
1 + xn+1
log =  log (1 + x) per ogni x 5 (0, 1), con convergenza uniforme
n=1
1 + xn
su ogni intervallo (0, a]  (0, 1) .

58
 Negli esempi precedenti, lo studio della convergenza delle serie di funzioni considerate è stato condotto
tramite le definizioni stesse di convergenza, ossia analizzando direttamente la successione delle ridotte
(SN ) della serie. Tuttavia, come per le serie numeriche, tale atteggiamento non è sempre possibile, in
quanto la generica somma parziale SN , che si ottiene sommando via via un numero sempre maggiore
di termini fn della serie, non si lascia in generale scrivere in forma chiusa. Nei due paragrafi seguenti,
vedremo allora come arontare lo studio delle convergenze puntuale ed uniforme di una serie di funzioni
a partire dalla sola conoscenza del suo termine generale fn .

4.2 Studio della convergenza puntuale e convergenza assoluta

S
4
Analizziamo meglio la nozione di convergenza di una serie fn di funzioni fn : D $ R in un punto
n=0
x0 5 D. Tale nozione significa che la successione (SN ) delle somme parziali della serie converge in x0 ,
cioè che converge la successione numerica (SN (x0 )), i cui termini sono

f0 (x0 ) , f0 (x0 ) + f1 (x0 ) , f0 (x0 ) + f1 (x0 ) + f2 (x0 ) , ... .

Tale successione è evidentemente la successione delle ridotte della serie numerica

4
[
fn (x0 ) = f0 (x0 ) + f1 (x0 ) + f2 (x0 ) + ... ,
n=0

i cui termini sono i valori assunti dalle funzioni fn in x0 . Dunque

S
• la convergenza della serie di funzioni fn in un punto x0 equivale alla convergenza della serie
S
numerica fn (x0 ) ottenuta calcolando tutte le funzioni fn in x0 .
S
Analogamente, anche tutte le altre nozioni relative alla convergenza puntuale della serie fn possono
S
essere riformulate equivalentemente in termini della serie numerica fn (x) con x fissato. Si ha che:
q r
• l’insieme di convergenza puntuale  = x 5 D : lim SN (x) esiste finito della serie di funzioni
S N $4 S
fn coincide con l’insieme dei punti x 5 D in cui la serie numerica fn (x) converge, cioè risulta
+ 4
,
[
= x5D: fn (x) converge ;
n=0

S
• la funzione somma S (x) = lim SN (x) della serie di funzioni fn coincide in ogni punto x 5 
N $4 S
con la somma della serie numerica fn (x), cioè risulta

4
[
S (x) = fn (x) per ogni x 5 ; (4.3)
n=0

59
 S
• la serie di funzioni fn converge puntualmente ad una funzione f su un insieme A  D se e solo
se 4
[
fn (x) = f (x) per ogni x 5 A. (4.4)
n=0

Le scritture (4.3) e (4.4) sono quelle più comunemente utilizzate per denotare la convergenza puntuale
di una serie di funzioni. Inoltre, siccome la convergenza uniforme implica quella puntuale, per indicare
che una serie di funzioni converge uniformemente ad una funzione f su un intervallo I si usa scrivere
4
[
fn (x) = f (x) uniformemente su I
n=0

S
(intendendo appunto che, non solo f (x) coincide con la somma della serie fn (x) per ogni x 5 I, ma
la convergenza è anche uniforme).
Sulla base delle osservazioni precedenti, lo studio della convergenza puntuale di una serie di funzioni
S
4
fn di cui non si conosca esplicitamente la ridotta N -esima SN procede tipicamente così:
n=0

S
4
• si immagina di fissare x 5 D e si studia il carattere della serie numerica fn (x), utilizzando i
n=0
ben noti criteri di convergenza che valgono, appunto, per le serie numeriche;

• si discutono i risultati ottenuti al variare di x 5 D e si determina così l’insieme di convergenza

S4
puntuale  della serie di funzioni fn , sul quale la serie convergerà puntualmente ad una qualche
n=0
funzione somma S, di solito non determinabile esplicitamente.
S
4
1
Esempio 69 Consideriamo la serie di funzioni nx . Si tratta della serie armonica generalizzata di
n=1
1
esponente x (visto come variabile reale), i cui termini sono le funzioni fn : R $ R definite da fn (x) = nx .
Abbiamo già dimostrato che ;
1 ? converge se x > 1
[4

n=1
nx = diverge se x  1,

per cui l’insieme di convergenza puntuale della serie considerata è  = (1, +4).

Siccome il segno dei termini fn (x) può variare a seconda dei valori a cui viene fissata la variabile x,
nello studio della convergenza puntuale di una serie di funzioni risulta particolarmente utile il criterio
S
4 S
4
di convergenza assoluta (fissato x 5 D, se |fn (x)| converge allora fn (x) converge). Per questo
n=0 n=0
motivo, si introduce la seguente:

Definizione 70 (di convergenza assoluta per serie di funzioni) Sia (fn )n0 una successione di
S
4
funzioni fn : D  R $ R. Si dice che la serie di funzioni fn converge assolutamente
n=0

S
4
• in un punto x0 5 D se la serie numerica |fn (x0 )| converge;
n=0

60
 S
4
• su un insieme A  D se la serie numerica |fn (x)| converge per ogni x 5 A.
n=0

Poiché la convergenza assoluta di una serie di funzioni è una nozione definita punto per punto e la
convergenza assoluta di una serie numerica implica la sua convergenza semplice, è evidente che

la convergenza assoluta implica la convergenza puntuale ,

S
4
nel senso che se fn converge assolutamente su A allora converge anche puntualmente su A.
n=0

Esempio 71 Si voglia determinare l’insieme  di convergenza puntuale della serie

[4
(2x)n
. (4.5)
n=2
2n + x2

(2x)n
I termini fn (x) = 2n+x2 della serie sono funzioni definite su R, quindi
+ 4
,
[ (2x)n
= x5R: converge .
n=2
2n + x2

Testiamo innanzitutto la condizione necessaria di convergenza: la serie può convergere solo per gli x 5 R
per i quali il termine generale fn (x) della serie è infinitesimo per n $ 4. Poiché 2n + x2  2n per
n $ 4, si ha +
 
 (2x)n  |2x|
n
|2x|
n
+4 se |2x| > 1
lim   = lim = lim =
n$4  2n + x2  n$4 2n + x2 n$4 2n 0 se |2x|  1

e pertanto lim fn (x) = 0 se e solo se |2x|  1. Dunque la serie (4.5) non converge se |2x| > 1 e può
n$4
convergere (ma anche non convergere) se x 5 [1/2, 1/2]. D’ora in poi, potremo allora limitare lo studio
della serie a tale intervallo.
Studiamo dapprima la convergenza assoluta per x 5 [1/2, 1/2], ossia la convergenza della serie a termini
positivi
[4   4  
 (2x)n  [ |2x|n 1 1
 = con x 5  , fisso.
 2n + x2  2n + x2 2 2
n=2 n=2

Applichiamo il criterio della radice: si ha

v  
n |2x|n |2x| 1 1
lim 2
= lim s
n
= |2x| < 1 / x5  ,
n$4 2n + x n$4 2n + x2 2 2

e pertanto la serie (4.5) converge assolutamente, e quindi puntualmente, in ogni punto x 5 (1/2, 1/2),
mentre nulla possiamo ancora concludere per x = ±1/2. Valutiamo a parte il comportamento della serie
in tali punti.
Per x = 1/2, la serie (4.5) diventa
4
[ 1
,
n=2
2n + 1/4

61
 1 1
S
4
1 1
S
4
1
che diverge per il criterio del confronto asintotico ( 2n+1/4  2n e 2n = 2 n = +4).
n=1 n=1
Per x = 1/2, la serie (4.5) diventa
[4
(1)n
,
n=2
2n + 1/4
1
che converge per il criterio di Leibniz (la successione bn = 2n+1/4 > 0 è infinitesima e decrescente).
In definitiva, la serie (4.5) converge se e solo se x 5 [1/2, 1/2), cioè  = [1/2, 1/2).

Nel prossimo paragrafo introdurremo il concetto di convergenza totale, che implicherà la convergenza
puntuale (implicando sia quella assoluta che quella uniforme). Anticipiamo allora che, nello schema di
studio della convergenza puntuale di una serie di funzioni fin qui illustrato, conviene a volte tenere conto
di tale implicazione e quindi studiare la convergenza totale prima di quella puntuale.

4.3 Studio della convergenza uniforme e convergenza totale

In assenza della conoscenza esplicita delle sue ridotte, l’unico strumento di cui si dispone per lo studio
della convergenza uniforme di una serie di funzioni generica2 è un criterio dovuto a Weierstrass, che
utilizza la seguente:

Definizione 72 (di convergenza totale) Sia (fn )n0 una successione di funzioni fn : D  R $ R e
S
4
sia I  D un intervallo. Si dice che la serie di funzioni fn converge totalmente su I se vale una
n=0
delle seguenti condizioni, tra loro equivalenti:
S
4 S
4
i) converge la serie numerica nfn n4 con n·n4 calcolata su I (cioè la serie sup |fn (x)|);
n=0 n=0 x5I

ii) esiste una successione di numeri reali Mn  0 tali che

S
4
;n  0 e ;x 5 I risulta |fn (x)|  Mn e la serie Mn converge.
n=0

Teorema 73 (criterio di Weierstrass) Sia (fn )n0 una successione di funzioni fn : D  R $ R

S
4
e sia I  D un intervallo. Se la serie di funzioni fn converge totalmente su I, allora converge
n=0
uniformemente e assolutamente (e quindi anche puntualmente) su I. Inoltre la sua funzione somma
S soddisfa
4
[
nSn4  nfn n4 con n·n4 calcolata su I.
n=0

In sintesi:

la convergenza totale implica la convergenza sia assoluta che uniforme .

2 vedremo più avanti che esistono risultati specifici per serie particolari, come quelle di potenze e di Fourier

62
Attenzione! il viceversa è falso: una serie può convergere sia assolutamente che uniformemente senza
convergere totalmente, come dimostra il Controesempio 75 più in basso.
Segnaliamo anche che non esistono implicazioni generali tra convergenza uniforme e convergenza assoluta.

Esempio 74 Si voglia studiare la convergenza uniforme sugli intervalli [0, b] con 0 < b < 12 della serie
S
4
fn considerata nell’Esempio 71. Studiamo la convergenza totale su tali intervalli, facendo rifermento
n=2
ad entrambe le caratterizzazioni (i) e (ii) della Definizione 72.

i) Studiando la funzione fn (x), non è di!cile calcolare esplicitamente

(2x)n
nfn n4 = sup |fn (x)| = sup 2
x5[0,b] x5[0,b] 2n + x

(si noti che |fn (x)| = fn (x) per x  0). Infatti, si ha

2n2 + (n  2) x2
fn3 (x) = 2 (2x)n1
(2n + x2 )2

e quindi risulta fn3 (x)  0 per ogni x 5 [0, b] e per ogni n  2. Di conseguenza, fn è crescente su
[0, b] per ogni n  2 e quindi

(2b)n
nfn n4 = sup fn (x) = fn (b) = .
x5[0,b] 2n + b2

S
4 S
4
(2b)n
La serie nfn n4 è allora data da 2n+b2 . Applicando il criterio della radice e ricordando che
n=2 n=2
b < 1/2, si trova v
n (2b)n 2b
lim 2
= lim s
n
= 2b < 1
n$4 2n + b n$4 2n + b2
S
4
e pertanto la serie nfn n4 converge.
n=2

ii) Per ogni n  2 e per ogni x 5 [0, b], si ha 2n + x2  2n e 0  2x  2b, da cui segue
n n n
(2x) (2x) (2b)
|fn (x)| = fn (x) = 2
  .
2n + x 2n 2n

(2b)n S
4
(2b)n
Dunque |fn (x)|  Mn con Mn = 2n e la serie 2n converge per il criterio della radice
n=2
(essendo b < 1/2).

In definitiva, la serie data converge totalmente su [0, b] e pertanto essa converge anche uniformemente
(e assolutamente) su [0, b] per il criterio di Weierstrass.

Controesempio 75 Vedremo più avanti che la serie

4
[ n1 xn
(1)
n=1
n

63
converge uniformemente alla funzione log (1 + x) sull’intervallo [0, 1) (ma non solo), su cui converge
anche assolutamente, come si vede facilmente applicando il criterio della radice alla serie

[4   [ 4
 n
xn
(1)n1 x  = con x 5 [0, 1) .
 n  n=1 n
n=1

xn
D’altra parte, ponendo fn (x) = (1)n n , risulta
 
 n x 
n
xn 1 1
nfn n4 
= sup (1) = sup = sup xn =
n 
x5[0,1) x5[0,1) n n x5[0,1) n

S
4 S
4
1
e quindi la serie non converge totalmente su [0, 1), in quanto nfn n4 = n = +4.
n=1 n=1

4.4 Proprietà della convergenza uniforme

I seguenti importanti risultati sono una semplice rilettura in termini di serie di funzioni dei teoremi di
passaggio al limite che valgono per le successioni di funzioni uniformemente convergenti.
Consideriamo come al solito una successione (fn )n0 di termini fn : D $ R definiti su un dominio
comune D  R.

Teorema 76 (di continuità della funzione somma) Sia I  D un intervallo qualsiasi. Se

(i) le fn sono continue su I

S
4
(ii) fn (x) = f (x) uniformemente su I,
n=0

allora f è continua su I.

Teorema 77 (di integrazione termine a termine) Sia [a, b]  D. Se

(i) le fn sono integrabili su [a, b]

S
4
(ii) fn (x) = f (x) uniformemente su [a, b],
n=0

allora f è integrabile su [a, b] e

] b 4 ]
[ b
f (x) dx = fn (x) dx. (4.6)
a n=0 a

Il teorema precedente è spesso espresso brevemente dicendo che la convergenza uniforme permette
S
4
di scambiare gli operatori di serie ed integrale; infatti, essendo f (x) = fn (x) per ogni x 5 [a, b] (per
n=0
convergenza puntuale, conseguenza dell’ipotesi (ii)), la formula (4.6) può essere riscritta come
] 4
b[ 4 ]
[ b
fn (x) dx = fn (x) dx.
a n=0 n=0 a

64
Teorema 78 (di derivazione termine a termine) Sia I  D un intervallo qualsiasi. Se

(i) le fn sono di classe C 1 su I (va inteso che, se I contiene un suo estremo, in tale estremo si
considerano le derivate destre o sinistre)
S
4
(ii) fn (x) = f (x) per ogni x 5 I
n=0

S
4
(iii) fn3 converge uniformemente su I,
n=0

allora f è di classe C 1 su I e
4
[
f 3 (x) = fn3 (x) per ogni x 5 I, con convergenza uniforme su I. (4.7)
n=0

S
4
Inoltre fn (x) = f (x) uniformemente su I.
n=0

Il teorema precedente è spesso espresso dicendo brevemente che la convergenza uniforme (della serie
S
4
delle derivate) consente di scambiare gli operatori di serie e derivata; infatti, essendo f (x) = fn (x)
n=0
d
per ogni x 5 I (ipotesi (ii)) ed indicando con dx l’operatore di derivazione, la formula (4.7) può essere
riscritta come # $
4
[ [4
d d
fn (x) = fn (x) .
dx n=0 n=0
dx

65