4.1
Serie di Fourier
Successioni e serie nel campo compesso
Denizione 4.1 Una successione complessa ` una funzione da N in C. e Analogamente alle successioni reali, le successioni complesse si denotano (zn )n . Posto zn = xn + iyn , alla successione (zn )n sono associate due successioni reali, quella delle parti reali (xn )n e quella dei coecienti delle parti immaginarie (yn )n . La successione (zn )n si dice convergente a z0 = x0 + iy0 se xn x0 e yn y0 , con x0 , y0 R. Denizione 4.2 Data una successione complessa (zn )n , si denisce serie complessa degli
n
zn (e si denota con
n=1
zk =
z1 + z2 + + zn . La serie si dice convergente ad S se la successione (sn )n converge ad S. Posto zn = xn +iyn , allora sn = (x1 +x2 + + xn )+ i(y1 + y1 + +yn ); quindi ` evidente e
Quindi, per studiare la convergenza di una serie complessa si possono usare tutti i criteri studiati per le serie reali, applicandoli alla serie delle parti reali e a quella dei coecienti delle parti immaginarie. In particolare, si pu` studiare la convergenza assoluta, cio` la o e
reale.
zn (in C).
n=1
x2 + y 2 . Allora,
0 |xn | |zn | e 0 |yn | |zn |, quindi per il criterio del confronto le serie
n=1
xn e
n=1
yn
sono assolutamente convergenti, e pertanto sono entrambe convergenti. Questo implica che la serie
n=1
zn ` convergente. e
Denizione 4.4 Una serie di potenze nel campo complesso ` una serie del tipo e con an C.
n=0
an z n ,
|an ||z|n ` una serie di potenze reale, per essa valgono tutti i risultati e
visti nel campo reale. In particolare, esiste un valore [0, +] (raggio di convergenza), tale che la serie
n=0
C linsieme di convergenza ` un disco di raggio , allinterno del quale la serie converge e assolutamente e mentre allesterno non converge. Nel bordo del disco la serie pu` essere o convergente oppure no. Per il calcolo del raggio di convergenza si possono applicare i Criteri di DAlembert-Lagrange o di Cauchy-Hadamard.
cn (eix )n =
n=0
|cn+1 | = < 1, |cn | allora = 1 > 1 e la serie data converge assolutamente per ogni x R; se invece > 1 allora < 1 e la serie data non converge per alcun x R; inne, se = 1 non possiamo dedurre nulla a proposito della convergenza della serie, dato che einx si trova nel bordo amo che in questo caso |einx | = | cos nx+i sin nx| = 1, quindi, se esiste il lim
n+
cn einx
converge assolutamente per ogni x R, dato che |cn einx | = |cn |. Come vedremo pi` u avanti, esistono comunque situazioni molto pi` generali in cui la serie converge. u
4.2
zn e
n=1
zn ,
cio` e +z3 +z2 +z1 +z0 +z1 +z2 +z3 +. . . = (z0 +z1 +z2 +z3 +. . . ) + (z1 +z2 +z3 +. . . )
La serie
n=
zn e
n=1
zn .
cn einx =
n=0
cn einx +
n=1
cn einx , che
= c0 +
n=1
dove a0 = c0 ,
an = cn + cn ,
bn = i(cn cn ),
(4.1)
La serie a0 +
n=1
(an cos nx + bn sin nx) si chiama serie trigonometrica. Per le serie trigono-
metriche vale il seguente risultato di convergenza, che riportiamo senza dimostrazione. Teorema 4.6 Se la successione reale (an )n ` decrescente e convergente a 0, allora le serie e
an sin nx
n=1
e
n=1
(1)n an sin nx
an cos nx
n=1
e
n=1
(1)n an cos nx
Se la serie
n=1
Osserviamo che la funzione somma di una serie trigonometrica ` ovviamente periodica di e periodo 2 (perch tutti gli addendi sono funzioni periodiche), ma non ` detto che sia cone e
tinua. Ma se la serie
n=1
[0, 2]. Infatti in questo caso possiamo scrivere 1 an cos nx = 2 n=1 1 an sin nx = i n=1
an e
n=1
inx
1 + 2 1 i
an einx an einx
n=1
an e
n=1
inx
n=1
e le serie di potenze a secondo membro convergono per ogni x R, quindi la funzione somma ` continua in tutto il disco chiuso di convergenza. e Arontiamo ora il problema opposto, cio` data una funzione periodica di periodo 2, e non necessariamente continua, stabilire se si pu` sviluppare in serie trigonometrica, cio` o e se esistono dei coecienti a0 e an , bn per n 1, tali che
f (x) = a0 +
n=1
(4.2)
A tale scopo, scriviamo la serie nella notazione esponenziale complessa, cio` come e
c0 +
n=1
f (x)eikx dx = a0
eikx dx +
cn ei(nk)x dx +
n=1
cn ei(k+n)x dx .
Osservando che eihx dx = cos hx dx + i sin hx dx = 0 per ogni intero h = 0, deduciamo che tutti gli addendi della serie sono nulli ad eccezione di quello che si ottiene per n = k, che vale 2ck . Quindi
f (x)eikx dx = 2ck
da cui ck = 1 2
f (x)eikx dx =
1 2
f (x) cos kx dx i
1 2
f (x) sin kx dx
f (x) dx
an = cn + cn =
n1 n 1.
bn = i(cn cn ) =
La serie trigonometrica (4.2) con i coecienti deniti come sopra si chiama serie di Fourier di f . Il risultato fondamentale per la convergenza puntuale delle serie di Fourier ` il e seguente, che viene riportato senza dimostrazione. Teorema 4.7 Sia f : R R una funzione periodica di periodo 2 e regolare a tratti, cio` tale che lintervallo [0, 2] pu` essere decomposto in un numero nito di intervalli e o allinterno dei quali la funzione ` derivabile ed agli estremi di ciascun intervallo esistono e niti i limiti destro e sinistro di f (x) ed f (x). Allora la serie di Fourier di f converge ad 1 (f (x+ ) + f (x )) per ogni x R, dove i 2 termini f (x+ ) ed f (x ) denotano rispettivamente il limite destro e sinistro di f nel punto x. In particolare, la serie di Fourier di f converge ad f (x) nei punti x dove f ` continua. e Osserviamo inne che se la funzione f ` pari allora bn = 0 per ogni n 1 (cio` f si e e sviluppa con una serie di soli coseni), mentre se f ` dispari allora an = 0 per ogni n 0 e (cio` f si sviluppa con una serie di soli seni). e 4