...

UNA SERIE DI EULERO − FOURIER ED IL FENOMENO DI

by user

on
Category: Documents
25

views

Report

Comments

Transcript

UNA SERIE DI EULERO − FOURIER ED IL FENOMENO DI
UNA SERIE DI EULERO − FOURIER
ED IL FENOMENO DI WILBRAHAM − GIBBS
Leonardo Colzani
Dipartimento di Matematica, Università degli Studi di Milano-Bicocca
via Bicocca degli Arcimboldi 8, 20126 Milano
+∞
X
(−1)n+1
n=1
n
sin(nx) =
x
, −π < x < π.
2
1.5
1
0.5
-4
0
-2
2
-0.5
-1
-1.5
10
X
(−1)n+1
n=1
n
1
sin(nx)
x
4
Ogni funzione localmente integrabile e periodica di periodo 2π può essere
scomposta in serie di Fourier,
+∞
a0 X
ϕ(x) =
+
(an cos(nx) + bn sin(nx)) ,
2
n=1
Z π
Z
1
1 π
an =
ϕ(x) cos(nx) dx, bn =
ϕ(x) sin(nx) dx.
π −π
π −π
Sotto opportune ipotesi, verificate per ogni funzione ragionevole, la serie converge in ogni punto, ma le somme parziali della serie di Fourier di
una funzione con un salto, in un intorno della discontinuità hanno delle
rapide oscillazioni e, per cosı̀ dire, mancano il bersaglio per circa il 9%
del valore del salto. Per esempio, sommando i primi m termini della se+∞
X
(−1)n+1
rie x/2 =
sin(nx), in un periodo −π < x < π si notano m osciln
n=1
lazioni ed avvicinandosi ai punti di salto x = ±π le oscillazioni divengono più
marcate. Questo fenomeno ha una semplice spiegazione, ma è ancora oggetto
di studio perché nei processi di approssimazione si cerca spesso di eliminare o
almeno di tenere sotto controllo queste oscillazioni. Inoltre, questo fenomeno
ha una storia interessante e personaggi importanti vi hanno contribuito. E’
questa storia che qui vogliamo presentare.
Il 21 Dicembre 1807, J.B.J.Fourier presenta un manoscritto ”Sur la propagation de la chaleur” all’Istituto di Francia a Parigi. I risultati sorprendenti
ma non del tutto giustificati causano una vivace controversia tra gli esaminatori, Lacroix, Lagrange, Laplace, Monge. Comunque, una versione riveduta
e corretta del lavoro vince nel 1811 un premio sul problema della diffusione
del calore con la motivazione:
”Cette pièce renferme les véritables équations différentielles de la transmissions de la chaleur, soit à l’intérieur des corps, soit à leur surface: et
la nouveauté du sujet, jointé à son importance, a déterminé la Classe à
couronner cet Ouvrage, en observant cependant que la manière dont l’Auteur
parvient à ses équations n’est pas exempte de difficultés, et que son analyse,
pour les intégrer, laisse encore quelque chose à desirer, soit relativement à la
généralité, soit même du côté de la rigueur.”
2
”Questa teoria contiene le corrette equazioni differenziali della trasmissione del calore, sia all’interno dei corpi, che sulla loro superficie: e la novità
del soggetto, insieme alla sua importanza, hanno determinato la Classe a premiare questo lavoro, osservando tuttavia che il modo con cui l’autore arriva
alle sue equazioni non è esente da difficoltà, e che la sua analisi, per integrarle, lascia qualcosa a desiderare, sia relativamente alla generalità, sia
anche dal punto di vista del rigore.”
Nel 1822 Fourier pubblica la ”Théorie analytique de la chaleur”. Per
risolvere delle equazioni differenziali alle derivate parziali con il metodo di
separazione delle variabili, Fourier introduce le serie che poi prenderanno il
suo nome. Nel 1827 P.G.L.Dirichlet presenta la prima dimostrazione rigorosa
della convergenza delle serie di Fourier. Esempi specifici di sviluppi trigonometrici erano noti dal XVIII secolo e c’erano stati tentativi di A.L.Cauchy,
S.D.Poisson ed altri, di provare questo importante risultato, ma nessuna delle
dimostrazioni presentate sembrava essere completamente soddisfacente. In
particolare, riferendosi ad una memoria di Cauchy, Dirichlet scrive:
”L’auteur de ce travail avoue lui même que sa démostration se trouve
en défaut pour certain fonctions pour lesquelle la convergence est pourtant
incontestable. Un examen attentif du Mémoire cité m’a porté a croire que
la démonstration qui y est exposeé n’est pas même suffisante pour les cas
auxquelle l’auteur la croit applicable.”
”L’autore stesso di questo lavoro confessa che la sua dimostrazione si
trova in difetto per certe funzioni per le quali la convergenza è tuttavia incontestabile. Un attento esame della memoria citata mi ha portato a credere che
la dimostrazione esposta non è neppure sufficiente per casi ai quali l’autore
la crede applicabile.”
Anche se non del tutto soddisfacenti, le dimostrazioni di Fourier, Poisson,
Cauchy dell’inversione della trasformata di Fourier sono però convincenti e
molto interessanti. Comunque, questo è l’enunciato del teorema di Dirichlet
(Lejeune Dirichlet, Sur la convergence des séries trigonométriques qui servent a représenter une fonction arbitraire entre des limites données. Crelle,
Journal für die Reine und Angewandte Mathematik 4, 1829).
3
Si la fonction ϕ(x), dont toutes les valeurs sont supposées finies et déterminées,
ne présente qu’un nombre fini des solutions de continuité entre les limites −π
et π, et si en outre elle n’a qu’un nombre determiné de maxima et de minima
entre ces même limites, la série
1
2π
Z
Z
Z


1  cos x Z ϕ(a) cos a da + cos 2xZ ϕ(a) cos 2a da + ...
ϕ(a) da +
,
π
 sin x ϕ(a) sin a da + sin 2x ϕ(a) sin 2a da + ...
dont les coefficients sont des intégrales définies dépendantes de la fonction
ϕ(x), est convergente et a un valeur généralement exprimée par:
1
[ϕ(x + ε) + ϕ(x − ε)] ,
2
où ε désigne un nombre infiniment petit. ...
On aurait un exemple d’une fonction qui ne remplit pas cette condition,
si l’on supposait ϕ(x) égale à une constante déterminée c lorsque la variable
x obtient un valeur rationnelle, et égale à une autre constante déterminée d,
lorsque cette variable est irrationnelle. La fonction ainsi définie a des valeurs
finies et déterminées pour toute valeur de x, et cependant on ne saurait la
substituer dans la série, attendu que les différentes intégrales qui entrent dans
cette série, perdraient toute signification dans ce cas.”
Se la funzione ϕ(x), i cui valori si suppongono finiti e determinati, non
presenta che un numero finito di discontinuità tra i limiti −π e π, e se inoltre
non ha che un numero finito di massimi e minimi tra questi limiti, la serie
1
2π
Z
Z
Z


1  cos x Z ϕ(a) cos a da + cos 2xZ ϕ(a) cos 2a da + ...
ϕ(a) da +
,
π
 sin x ϕ(a) sin a da + sin 2x ϕ(a) sin 2a da + ...
i cui coefficienti sono degli integrali definiti dipendenti dalla funzione
ϕ(x), è convergente ad un valore generalmente espresso da:
1
[ϕ(x + ε) + ϕ(x − ε)] ,
2
4
dove ε denota un numero infinitamente piccolo...
Si ha un esempio di funzione che non soddisfa questa condizione, se si
suppone ϕ(x) uguale ad una costante determinata c quando la variabile x
assume un valore razionale, ed uguale ad un’altra costante determinata d
quando questa variabile è irrazionale. La funzione cosı̀ definita assume dei
valori finiti e determinati, tuttavia non si sa come sostituirla nella serie,
perché in questo caso gli integrali che entrano in questa serie perdono ogni
significato.”
In particolare, le serie di Fourier di funzioni con semplici discontinuità
convergono in ogni punto a queste funzioni. Una serie di funzioni continue
può convergere ad una funzione discontinua, questo è il paradosso alla base
del fenomeno di Gibbs.
Nel 1875 W.Thomson, Lord Kelvin, progetta e costruisce una ”Tide Predicting Machine”, che somma fino a 10 componenti di marea, e versioni perfezionate di questa apparecchiatura sono rimaste in uso fino all’avvento dei
calcolatori elettronici. Queste macchine meccaniche calcolano i coefficienti di
Fourier di una funzione data e, viceversa, a partire dai coefficienti disegnano
la funzione. Nella rivista ”Nature”, 3 Febbraio 1898, troviamo una breve
descrizione di uno di questi analizzatori armonici.
”A new harmonic analiser, by A.A.Michelson and S.W.Stroud. This is an
instrument designed to sum up as many as eighty terms of a Fourier series,
or to analise a given curve into its original series. The pen which traces the
curve is worked up and down by a lever controlled by a spring. This spring
is stretched by an excentric, which imparts a ”simple harmonic” variation to
the force. The stretching is resisted by another spring. Eighty such elements
are connected together, with one resisting spring to counterbalance the sum
of the elementary springs. The pen therefore moves in accordance with the
sum of the elementary periodic motions. The authors obtain by this machine
the mathematical series representing the profile of a human face.”
”Un nuovo analizzatore armonico, di A.A.Michelson e S.W.Stroud. Questo
è uno strumento progettato per sommare fino ad ottanta termini di una serie di Fourier, o per analizzare una data curva nella sua serie. Il pennino
che traccia la curva è mosso su e giù da una leva controllata da una molla.
5
Questa molla è tesa da un eccentrico che fornisce una variazione ”armonica semplice” alla forza. La tensione è controbilanciata da un’altra molla.
Ottanta di questi elementi sono connessi insieme, con una molla che controbilancia la somma delle molle elementari. Il pennino quindi si muove in
accordo con la somma dei moti periodici elementari. Con questa macchina gli
autori ottengono la serie matematica che rappresenta il profilo di una faccia
umana.”
(”Nature” prosegue poi con ”Un esame delle velocità registrate dei cavalli
da trotto americani, con osservazioni sul loro valore come dato ereditario”.
E’ uno studio su 5703 cavalli che hanno corso un miglio in meno di 20 3000 .)
Il fisico Michelson, probabilmente motivato da esperimenti con questo
analizzatore armonico, in una lettera a ”Nature”, 6 Ottobre 1898, critica
l’asserzione dei matematici che la serie di Fourier di una funzione converge a
questa funzione anche in un intorno di una discontinuità.
”In all expositions of Fourier series which have come to my notice, it is
expressly stated that the series can represent discontinuous functions. The
idea that a real discontinuity can replace a sum of continuos curves is so
utterly at variance with the physicists’ notion of quantity, that it seems to
me worth while giving a very elementary statement of the problem in such
simple form that the mathematicians can at once point to the inconsistency
if any there be.
Consider the series
·
¸
1
1
y = 2 sin x − sin 2x + sin 3x − ...
2
3
In the language of the text-books (Byerly’s ”Fourier’s Series and Spherical
Harmonics”) this series ”coincides with y = x from x = −π to x = π...
Moreover the series in addition to the continuous portions of the locus ...
gives the isolated points (−π, 0) (π, 0) (3π, 0), &c.”
If for x in the given series we substitute x+ε we have, omitting the factor
2,
−y = sin ε +
1
1
1
sin 2ε + sin 3ε + ... + sin nε + ...
2
3
n
6
This series increases with n until nε = π. Suppose therefore ε = kπ/n,
where k is a small fraction. The series will now be nearly equal to nε = kπ,
a finite quantity even if n = ∞. Hence the value of y in the immediate
vicinity of x = π is not an isolated point y = 0, but a straight line −y = nx.
The same result is obtained by differentiation, which gives
dy
= cos x − cos 2x + cos 3x − ...
dx
putting x = π + ε this becomes
−
dy
= cos ε + cos 2ε + cos 3ε + ...
dx
which is nearly equal n to for values of nε less than kπ. It is difficult to
see the meaning of the tangent if y were an isolated point.
Albert A.Michelson.”
−
”In tutte le esposizioni sulle serie di Fourier che mi sono note, si dice
espressamente che la serie può rappresentare una funzione discontinua. L’idea
che una discontinuità può rimpiazzare la somma di curve continue è cosı̀ in
totale contrasto con la nozione di quantità dei fisici, che mi sembra opportuno
dare una elementare esposizione del problema in una forma cosı̀ semplice che
i matematici ne possano mostrare l’inconsistenza se presente.
Consideriamo la serie
·
¸
1
1
y = 2 sin x − sin 2x + sin 3x − ...
2
3
Nel linguaggio del libro di testo (Byerly ”Fourier’s Series and Spherical
Harmonics”) questa serie ”coincide con y = x da x = −π a x = π... Inoltre
la serie oltre al luogo continuo di punti... dà i punti isolati (−π, 0) (π, 0)
(3π, 0), &c.”
Se per x nella data serie sostituiamo x+ε otteniamo, omettendo il fattore
2,
1
1
1
sin 2ε + sin 3ε + ... + sin nε + ...
2
3
n
Questa serie cresce con n fino a nε = π. Supponiamo quindi ε = kπ/n,
con k piccolo. La serie sarà ora quasi uguale a nε = kπ, una quantità finita
−y = sin ε +
7
anche quando n = ∞. quindi il valore di y nelle immediate vicinanze di
x = π non è un punto isolato y = 0, ma una linea retta −y = nx.
Lo stesso risultato si può ottenere per differenziazione,
dy
= cos x − cos 2x + cos 3x − ...
dx
ponendo x = π + ε questo diventa
−
dy
= cos ε + cos 2ε + cos 3ε + ...
dx
che è quasi uguale a n per valori di nε minori di kπ. E’ difficile vedere
il senso della tangente se y è un punto isolato.
Albert A.Michelson.”
−
Una risposta a Michelson viene da A.E.H.Love con due lettere a ”Nature”,
13 Ottobre 1898 e 29 Dicembre 1898. La prima lettera è piuttosto brusca e
scortese.
”If there are physicists who hold ”notions of quantity” opposed to the
mathematical result that the sum of an infinite series of continuous functions may itself be discontinuous, they woud be likely to profit by reading
some standard treatise dealing with the theory of infinite series... Neither of
these statements is correct... The processes employed are invalid... It is not
legitimate...”
”Se ci sono fisici che sostengono ”nozioni di quantità” opposte al risultato
matematico che la somma di una serie infinita di funzioni continue può essere
essa stessa essere discontinua, questi trarrebbero probabilmente profitto dal
leggere qualche trattato di base sulla teoria delle serie infinite... Nessuna di
queste affermazioni è corretta... I metodi impiegati non sono validi... Non è
legittimo...”
Nella seconda lettera Love spiega la differenza tra convergenza puntuale
ed uniforme.
8
”This peculiarity is always presented by a series whose sum is discontinuous: in the neighbourhoodof the discontinuity the series do not converge
uniformly, or the sums of the first n terms is always appreciably different
from the graph of the limit of the sum.”
”Questa peculiarità è sempre presente in una serie la cui somma è discontinua: in un intorno della discontinuità la serie non converge uniformemente,
o la somma dei primi n termini differisce in modo apprezzabile dal grafico
del limite della somma”
Anche se questa affermazione è formalmente corretta, di fatto Love non
prende seriamente in considerazione il punto di vista di Michelson. Michelson
replica brevemente con una lettera a ”Nature”, 29 Dicembre 1898. Quindi,
in due lettere a ”Nature”, 29 Dicembre 1898 e 27 Aprile 1899, J.W.Gibbs
chiarisce la differenza tra
”... the limit of the graphs... and the graph of the limit...”
”... il limite dei grafici... e il grafico del limite...”
Se la serie di Fourier converge, il grafico del limite è il grafico della funzione, ma se la funzione è discontinua il limite dei grafici delle somme parziali
è differente dal grafico della funzione limite.
Come Michelson, anche Gibbs considera la serie di Fourier della funzione
y = x in −π < x < π. La periodicizzata di questa funzione è una funzione
lineare a tratti con salti da +π a −π nei punti x = π + 2kπ, questa funzione
è detta dente di sega. La prima lettera di Gibbs contiene un errore e non
fa menzione del fatto che le somme parziali della serie di Fourier mancano
il bersaglio per circa il 9% del salto, mentre la seconda lettera descrive con
precisione, ma senza dimostrazioni, il limite dei grafici delle somme parziali.
Questo limite è una linea a zigzag formata alternativamente da segmenti centrati nei punti (2kπ, 0) e inclinati di 45o , e da segmenti
verticali centrati in
Z π
sin(x)
dx = 7, 407748...
(π + 2kπ, 0). I segmenti verticali sono lunghi 4
x
0
e si estendono oltre il punto di intersezione con i segmenti inclinati. Il rap7, 407748...
porto tra questo numero e l’ammontare del salto è
= 1, 178979...,
6, 283185...
9
quindi le somme parziali mancano il bersaglio di circa il 9%, per eccesso in
x = π − ε e per difetto in x = π + ε.
Il graf ico del limite
Il limite dei graf ici
Come abbiamo detto, la lettera di Gibbs contiene una precisa descrizione
del fenomeno, ma senza alcuna dimostrazione. Dopo tre settimane troviamo ancora una difesa del punto di vista di Michelson in un’altra lettera a
”Nature”, 18 Maggio 1899.
”I have M.Poincaré authority to publish the accompanying note regarding
the applicability of Fourier’s series to discontinuous functions, and send it
accordingly for pubblication in Nature.
A.A.Michelson.
Mon cher collègue, comme
Z yje l’avais prévenu vous avez tout à fait raison.
sin xz
Prenons d’abord l’integrale
dx, dont la limite pour y = ∞ est π/4,
x
0
0, −π/4 selon que z est positif, nul ou négatif. Faisons maintenant tendre
simultanément Zz vers 0 et y vers l’infini de telle façon que zy tende vers a.
a
sin x
dx qui peut prendre toutes valeurs possibles depuis 0
La limite sera
x
0
Z π
X sin kz
sin x
jusqu’à
dx. Si prenons maintenant n termes de la série
x
z
0
en faisant tendre simultanément z vers 0 et n vers l’infini de telle façon
que le produit nz tende vers a, cela sera évidemment la même chose; et la
10
différence entre la somme et l’integrale sera d’autant plus petı̂te que z sera
plus petı̂t. Cela se voit aisément. Tout à vous,
Poincaré.
”Ho il permesso del Sig. Poincaré di pubblicare la seguente nota sull’applicabilità
delle serie di Fourier a funzioni discontinue, e la invio per la pubblicazione
su Nature.
A.A.Michelson.
Mio caro collega, come avevo previsto
voi avete del tutto ragione. Per
Z y
sin xz
cominciare prendiamo l’integrale
dx, il cui limite per y = ∞ è
x
0
π/4, 0, −π/4 (π/2?) a seconda che z è positivo, nullo o negativo. Facciamo
ora tendere simultaneamente z verso
Z a 0 e y verso l’infinito in modo tale che
sin x
dx che può prendere tutti i valori
zy tenda verso a. Il limite sarà
x
0
Z π
X sin kz
sin x
da 0 fino a
dx. Se prendiamo ora n termini della serie
z
¶0 x
µX
sin kz
? facendo tendere simultaneamente z verso 0 e n verso l’infinito
k
in modo tale che il prodotto nz tenda verso a, questo sarà evidentemente la
stessa cosa; e la differenza tra la somma e l’integrale sarà tanto più piccola
quanto z sarà più piccolo. Questo si vede facilmente. Vostro,
Poincaré.
(Probabilmente Poincaré ha scritto la lettera di getto e non la ha neanche
riletta, infatti contiene un paio di errori. La lettera di Poincaré su Nature è
seguita da ”Una nota su dei lombrichi fosforescenti”.)
+∞
+∞
X
X
sin(kx)
(−1)k+1
La serie
=
sin(k(π − x)) è lo sviluppo della funk
k
k=1
k=1
π−x
zione
nell’intervallo 0 < x < 2π e in zero c’è un salto di π. Le
2
n
X
sin(kx)
somme parziali
se x = a/n sono somme di Riemann dell’integrale
k
k=1
Z a
sin(t)
dt,
t
0
11
n
X
sin(ka/n)
k
k=1
=
n
X
sin(ka/n)
k=1
(ka/n)
Z
a
· (a/n) ≈
0
sin(t)
dt.
t
Più precisamente, se n → +∞ e x → 0+,
n
X
sin(kx)
k=1
k
Z
π−x
=
−
2
Z
+∞
nx
sin(t)
dt + o(1).
t
+∞
sin(t)
π
Ricordiamo che
dt =
= 1, 570796..., il valore massimo
t
2 Z
0
Z a
π
sin(t)
sin(t)
dell’integrale
dt si ha per a = π,
dt = 1, 851937...
t
t
0
0
Dopo gli interventi di Gibbs e di Poincaré c’è un’ultima lettera di Love su
”Nature”, 1 Giugno 1899. Si ribadisce che il fenomeno osservato da Michelson
è paradossale solo se non si chiarisce il significato di somma di una serie
infinita, ma il tono di questa lettera è più cortese delle precedenti.
Di fatto il fenomeno di Gibbs è stato descritto con precisione da H.Wilbraham,
cinquant’anni prima di Gibbs (H.Wilbraham, On a certain periodic function. Cambridge & Dublin Mathematical Journal 3, 1848). Wilbraham considera la funzione
cos(3x) cos(5x)
+
− ...
3
5
che prende alternativamente i valori ±π/4 e descrive una onda quadra. Il
comportamento delle somme parziali della serie di Fourier dell’onda quadra
è del tutto analogo a quello dell’onda triangolare. Più in generale, la serie di Fourier di una funzione a variazione limitata in un intorno di una
discontinuità presenta il fenomeno di Gibbs. Questo segue dal teorema di
convergenza di Dirichlet. Se f (x) e g(x) sono due funzioni a variazione limitata con un salto in x = a e se f (x) − g(x) è continua in un intorno di a,
allora la serie di Fourier di f (x) − g(x) converge uniformemente in un intorno di a. In particolare, le serie di Fourier di f (x) e g(x) hanno lo stesso
comportamento in un intorno di a. Per funzioni non a variazione limitata c’è
ancora un fenomeno di Gibbs, ma le oscillazioni delle somme parziali sono
più marcate e possono mancare il bersaglio di più del 9%.
y = cos(x) −
12

 π/4,
0,
cos((2n + 1)x) =

2n
+
1
n=0
−π/4,
|x| < π/2,
|x| = π/2, π,
π/2 < |x| < π.
+∞
X
(−1)n
0.8
0.6
0.4
0.2
-4
-2
0
-0.2
2
x
4
-0.4
-0.6
-0.8
10
X
(−1)n
n=0
2n + 1
cos((2n + 1)x)
Abbiamo accennato al fatto che nelle applicazioni si cerca a volte di
smorzare le oscillazioni delle somme parziali di Fourier in un intorno delle
discontinuità. Un possibile modo di procedere è quello di considerare opportune medie che pesano meno le frequenze alte rispetto a quelle basse. Nel
grafico sono rappresentate la funzione x/2, le somme parziali della sua serie
10
10
X
X
(−1)n+1
11 − n (−1)n+1
di Fourier
sin(nx) e le medie di Fejér
sin(nx).
n
11
n
n=1
n=1
13
1.5
1
0.5
0
1
x
2
3
-0.5
-1
-1.5
10
10
X
x X (−1)n+1
11 − n (−1)n+1
,
sin(nx),
sin(nx)
2 n=1
n
11
n
n=1
Il fenomeno di Gibbs non è una particolarità delle serie trigonometriche,
ma è una patologia presente in molti processi di approssimazione. Molti sistemi di funzioni speciali, per esempio i polinomi di Legendre o di Jacobi o
le funzioni di Bessel, hanno dei semplici sviluppi asintotici in termini di funzioni trigonometriche ed il comportamento degli sviluppi in serie con queste
funzioni speciali non è troppo differente dagli sviluppi in serie trigonometriche. Nel 1908 C.J. de la Vallée Poussin considera un analogo del fenomeno
di Gibbs nell’interpolazione con polinomi trigonometrici o con funzioni intere
di tipo esponenziale finito. Nel 1910 H.Weyl studia il fenomeno di Gibbs per
sviluppi in armoniche sferiche. Poi il numero di lavori su questo fenomeno si
moltiplica.
Avremmo ancora parecchio da dire su questo argomento, ma invece che
andare avanti con la storia del fenomeno di Gibbs, preferiamo tornare indietro
con la storia delle serie di Fourier. In particolare, andando a ritroso nel tempo
+∞
X
(−1)n+1
vogliamo presentare qualche curiosità sulla serie
sin(nx).
n
n=1
Nel 1826 N.H.Abel pubblica un lavoro sulla formula del binomio (1+x)α =
+∞
X
¡α¢ n
x e dimostra che una serie di potenze è una funzione continua sui raggi
n
n=0
del cerchio di convergenza.
14
Considerando la serie di Taylor del logaritmo nel piano complesso
log(1 + z) = log |1 + z| + iArg(1 + z) =
+∞
X
(−1)n+1
n=1
n
zn
e ponendo z = cos(x) + i sin(x), si ottengono le serie
log
+∞
X
p
(−1)n
2 + 2 cos(x) = −
cos(nx),
n
n=1
+∞
x X (−1)n+1
=
sin(nx).
2
n
n=1
Niels Henrik Abel, Recherches sur la série
m
m(m − 1) 2 m(m − 1)(m − 2) 3
x+
x +
x + ...etc.
1
1·2
1·2·3
Crelle, Journal für die Reine und Angewandte Mathematik 1, 1826.
1+
L’exellent ouvrage de M.Cauchy ”Cours d’analyse de l’école polytechnique” qui doit être lu par tout analyste qui aime la riguer dans les recherches
mathématiques, nous servira de guide...
Dans l’ouvrage cité de M. Cauchy on trouve le théorème suivant:
”Lorsque les différent termes de la série, u0 + u1 + u2 + ...etc. sont des
fonctions d’une même variable x, continues par rapport à cette variable dans
le voisinage d’une valeur particulière pour laquelle la série est convergente, la
somme s de la série est aussi, dans le voisinage de cette valeur particulière,
fonction continue de x.”
Mais il me semble que ce théorème admet des exceptions. Par example la
série
1
1
sin 2ϕ + sin 3ϕ − ...etc.
2
3
est discontinue pour tout valeur (2m + 1)π de ϕ, où m est un nombre
entier. Il y a, comme en sait, plusieurs séries de cette espèce...
sin ϕ −
1
1
1
log (1 + 2α cos ϕ + α2 ) = α cos ϕ − α2 cos 2ϕ + α3 cos 3ϕ − etc.
2
2
3
µ
¶
α sin ϕ
1 3
1 2
arc.tang
= α sin ϕ − α sin 2ϕ + α sin 3ϕ − etc.
1 + α cos ϕ
2
3
15
Pour avoir les sommes de ces séries lorsque α = +1 ou −1, il faut
seulement faire α converger vers cette limite.
L’eccellente opera del Sig. Cauchy ”Corso d’analisi della scuola politecnica” che deve essere letta da ogni analista che ami il rigore nelle ricerche
matematiche, ci servirà da guida...
Nell’opera citata del Sig. Cauchy si trova il seguente teorema:
”Quando i diversi termini della serie, u0 + u1 + u2 + ...etc. sono delle
funzioni di una stessa variabile x, continue rispetto a questa variabile in un
intorno di un valore particolare per il quale la serie è convergente, anche
la somma s della serie è, nell’intorno di questo valore particolare, funzione
continua di x.”
Ma mi sembra che questo teorema ammetta delle eccezioni. Per esempio
la serie
1
1
sin 2ϕ + sin 3ϕ − ...etc.
2
3
è discontinua per ogni valore (2m+1)π di ϕ, dove m è un numero intero.
Ci sono, come è noto, parecchie serie di questo tipo...
sin ϕ −
1
1
1
log (1 + 2α cos ϕ + α2 ) = α cos ϕ − α2 cos 2ϕ + α3 cos 3ϕ − etc.
2
2
3
¶
µ
α sin ϕ
1 2
1 3
= α sin ϕ − α sin 2ϕ + α sin 3ϕ − etc.
arc.tang
1 + α cos ϕ
2
3
Per avere le somme di queste serie quando α = +1 o −1, basta solamente
fare convergere α verso questo limite.
Nel 1807 Fourier introduce le serie che poi prenderanno il suo nome e presenta vari esempi di sviluppi trigonometrici. Tra questi troviamo lo sviluppo
+∞
X
(−1)n+1
sin(nx) = x/2.
n
n=1
Jean Baptiste Joseph Fourier, Sur la propagation de la chaleur. Manoscritto presentato il 21 Dicembre 1807 al Institut de France, Paris.
Soit par example
16
1
1
1
1
1
y = sin .x − sin .2x + sin .3x − sin .4x... +
sin .m − 1x − sin .mx
2
3
4
m−1
m
( m étant un nombre pair quelconque), on tire de cette équation
dy
= cos .x − cos .2x + cos .3x − cos .4x... + cos .m − 1x − cos .mx.
dx
Si l’on multiplie les deux membres par 2 sin .x on aura
2
dy
1
1
sin .x = ... = sin .x − 2 cos .(m + )x sin . x.
dx
2
2
Donc
dy
1 cos .(m + 12 )x sin . 12 x
1 cos .(m + 12 )x
= −
= −
.
dx
2
sin .x
2
2 cos . 12 x
On a donc
Z
cos .(m + 12 )x
1
y = x−
dx
2
2 cos . 12 x
1 1 sin .(m + 12 )x
1
dx + &c.,
=C + x−
2
2 m + 12 2 cos . 12 x
et si m est infini on aura
1
y = C + x.
2
La valeur de y etant nulle en même temp que x, la constante est nulle et
l’on trouve
1
1
1
1
x = sin .x − sin .2x + sin .3x − sin .4x + ...&c.,
2
2
3
4
équation connue qui a été remarquée par Euler.
... Il est essentiel d’observer à l’égard de toutes ces séries que les équations
qui la contiennent n’ont point lieu de la même manière toutes les valeurs de
la variable, et que les valeurs des séries infinie de sinus ou de cosinus d’arcs
changent de signes subitement.
17
... Quant à la fonction
1
1
1
sin .2x + sin .3x − sin .4x + ...&c.,
2
3
4
1
elle donne la valeur x tant que l’arc x est plus grand que zéro et moindre
2
que π. Elle devient nulle subitement à la fin de cet interval et au-delà elle
reprende les valeurs précédentes avec le signe contraire. Ainsi l’équation
sin .x −
1
1
1
1
x = sin .x − sin .2x + sin .3x − sin .4x + ...&c.,
2
2
3
4
appartient à une ligne composée des parallèles inclinée aa...bb...cc... &c.
et des droites perpendiculaires ab, bc, cd,... &c.
Sia per esempio
1
1
1
1
1
y = sin .x − sin .2x + sin .3x − sin .4x... +
sin .m − 1x − sin .mx
2
3
4
m−1
m
(essendo m un numero pari qualunque), da questa equazione si ricava
dy
= cos .x − cos .2x + cos .3x − cos .4x... + cos .m − 1x − cos .mx.
dx
Se si moltiplicano i due membri per 2 sin .x si avrà
2
dy
1
1
sin .x = ... = sin .x − 2 cos .(m + )x sin . x.
dx
2
2
Dunque
dy
1 cos .(m + 12 )x sin . 12 x
1 cos .(m + 12 )x
= −
= −
.
dx
2
sin .x
2
2 cos . 12 x
Si ha dunque
Z
cos .(m + 12 )x
1
y = x−
dx
2
2 cos . 12 x
1 1 sin .(m + 12 )x
1
dx + &c.,
=C + x−
2
2 m + 12 2 cos . 12 x
18
e se m è infinito si avrà
1
y = C + x.
2
Il valore di y essendo nullo nello stesso tempo di x, la costante è nulla e
si trova
1
1
1
1
x = sin .x − sin .2x + sin .3x − sin .4x + ...&c.,
2
2
3
4
equazione nota che è stata trovata da Eulero.
... E’ essenziale osservare riguardo a tutte queste serie che le equazioni
che le contengono non hanno affatto luogo nella stessa maniera per tutti i
valori della variabile, e che i valori delle serie infinite di seni e coseni di arco
cambiano di segno all’improvviso.
... Quanto alla funzione
1
1
1
sin .2x + sin .3x − sin .4x + ...&c.,
2
3
4
1
questa assegna il valore x quando l’arco x è maggiore di zero e minore
2
di π. Questa diviene all’improvviso nulla alla fine di questo intervallo e al
di là riprende i valori precedenti con il segno contrario. Cosı̀ l’equazione
sin .x −
1
1
1
1
x = sin .x − sin .2x + sin .3x − sin .4x + ...&c.,
2
2
3
4
appartiene ad una linea composta di parallele inclinate aa...bb...cc... &c.
e di rette perpendicolari ab, bc, cd,... &c.
x
Fourier attribuisce a L.Eulero la scoperta, nel 1754, della relazione =
2
+∞
n+1
X
(−1)
sin(nx). Per il lettore italiano non è difficile decifrare l’originale
n
n=1
latino.
Leonhardo Eulero, Subsidium calculi sinuum. Novi Commentarii Academiae
Scientiarum Petropolitanae 5, 1754/1755.
Theorema. Si assignari queat summa huius seriei
Az m + Bz m+n + Cz m+2n + Dz m+3n + Ez m+4n + etc. = Z,
19
semper quoque exhiberi poterunt summae harum serierum
A cos .mϕ + B cos .(m + n)ϕ + C cos .(m + 2n)ϕ + D cos .(m + 3n)ϕ + etc.,
A sin .mϕ + B sin .(m + n)ϕ + C sin .(m + 2n)ϕ + D sin .(m + 3n)ϕ + etc.
Demonstratio. Ponantur summae harum serierum
A cos .mϕ + B cos .(m + n)ϕ + C cos .(m + 2n)ϕ + D cos .(m + 3n)ϕ + etc. = S,
A sin .mϕ + B sin .(m + n)ϕ + C sin .(m + 2n)ϕ + D sin .(m + 3n)ϕ + etc = T
sitque ut supra
cos .ϕ +
√
√
−1 sin .ϕ = u
et
cos .ϕ −
−1 sin .νϕ = uν
et
cos .νϕ +
−1 sin .ϕ = v ;
erit
cos .νϕ +
√
√
−1 sin .νϕ = v v .
Hinc ergo erit
√
S + T √−1 = Aum + Bum+n + Cum+2n + Dum+3n + etc. = U,
S − T −1 = Av m + Bv m+n + Cv m+2n + Dv m+3n + etc. = V.
Summae scilicet harum serierum U et V per hypothesin dantur, cum U
et V tales sint functiones ipsarum u et v, qualis functio Z est ipsius z. Hinc
itaque elicitur
U −V
T = √
2 −1
ideoque summae propositarumserierum S et T innotescunt. Q.E.D.
S=
U +V
2
et
Corollarium. Cum sit
m
z + az
m+n
2 m+2n
+a z
3 m+3n
+a z
... Sit m = 1 et n = 1; erit
20
zm
+ etc. =
,
1 − az n
cos .ϕ + a cos .2ϕ + a2 cos .3ϕ + a3 cos .4ϕ + etc. =
cos .ϕ − a
,
1 + aa − 2a cos .ϕ
... Sin autem sit a = −1, erit
1
cos .ϕ − cos .2ϕ + cos .3ϕ − cos .4ϕ + etc. = ,
2
... Illa autem series per dϕ multiplicata et integrata dat
sin .ϕ −
1
1
1
1
ϕ
sin .2ϕ + sin .3ϕ − sin .4ϕ + sin .5ϕ − etc. = ,
2
3
4
5
2
ubi additione constantis non est opus, cum posito ϕ = 0 summa sponte
evanescat.
Cioè, se siamo capaci di sommare una serie di potenze, siamo anche capaci
di sommare le serie trigonometriche corrispondenti. Se z = r (cos(ϑ) + i sin(nϑ)),
+∞
+∞
+∞
X
X
X
n
n
cn z =
cn r cos(nϑ) + i cn rn sin(nϑ).
n=0
n=0
n=0
Eulero non si preoccupa nel prendere valori di z sul bordo del cerchio di
convergenza della serie e questo lo porta a considerare delle serie divergenti
che poi integra e deriva a piacimento. Sentiamo cosa ne pensa J.d’Alembert:
”Devo confessare che tutti i ragionamenti ed i calcoli fondati su serie che
non sono convergenti o che si può supporre non essere tali, mi sembrano
sempre molto sospetti.”
E Abel rincara la dose:
”Le serie divergenti sono una invenzione del demonio ed è una disgrazia
fondarci sopra delle dimostrazioni.”
Comunque, proprio con i risultati di Abel non è difficile rendere rigorosi
gli argomenti di Eulero. La serie 1/2−cos(x)+cos(2x)−cos(3x)+... è la serie
21
di Fourier della misura che associa massa π ad ogni punto (2n + 1)π. Questa
serie converge nel senso delle distribuzioni e le operazioni di differenziazione
ed integrazione termine a termine sono lecite.
Eulero non disdegna di tornare più volte sulle sue conquiste ed in un
altro lavoro riottiene questi sviluppi trigonometrici come limite di processi di
interpolazione.
Leonhardo Eulero, De eximio uso methodi interpolationum in serierum
doctrina. Opuscula Analytica 1, 1783.
Si enim quaeratureiusmodi aequatio inter binas variabiles x et y, ut
sumpto x = 0, a, b, c, d, e etc. fiat y = 0, p, q, r, s, t etc., aequatio
haec in genere ita repraesentari poterit
y
x
=
+
+
+
p bb − xx cc − xx dd − xx ee − xx
·
·
·
·
· etc.
a bb − aa cc − aa dd − aa ee − aa
q aa − xx cc − xx dd − xx ee − xx
·
·
·
·
· etc.
b aa − bb cc − bb dd − bb ee − bb
r aa − xx bb − xx dd − xx ee − xx
·
·
·
·
· etc.
c aa − cc bb − cc dd − cc ee − cc
s aa − xx bb − xx cc − xx ee − xx
·
·
·
·
· etc. + etc.,
d aa − dd bb − dd cc − dd ee − dd
ex qua forma simul manifestum est, quomodo sigulis conditionibus satisfiat.
... Progrediantur arcus a, b, c, d, etc. secundum seriem numerorum
naturalium sitque a = ϕ, b = 2ϕ, c = 3ϕ, d = 4ϕ, etc. in infinitum: ex
quorum sinibus p, q, r, etc veram longitudinem arcus ϕ determinari oporteat.
Solutio ergo problematis pro hoc casu suppediat hanc equationem
ϕ
=
−
+
−
+
sin .ϕ 2 · 2 3 · 3 4 · 4 5 · 5
·
·
·
·
· etc.
1
1·3 2·4 3·5 4·6
sin .2ϕ 1 · 1 3 · 3 4 · 4 5 · 5
·
·
·
·
· etc.
2
1·3 1·5 2·6 3·7
sin .3ϕ 1 · 1 2 · 2 4 · 4 5 · 5
·
·
·
·
· etc.
3
2·4 1·5 1·7 2·8
sin .4ϕ 1 · 1 2 · 2 3 · 3 5 · 5
·
·
·
·
· etc.
4
3·5 2·6 1·7 1·9
sin .5ϕ 1 · 1 2 · 2 3 · 3 4 · 4
·
·
·
·
· etc. + etc.;
5
4·6 3·7 2·8 3·7
22
omnia autem haec producta eundem reperiendum habere valorem = 2, ita
ut sit
1
1
1
1
1
ϕ = sin .ϕ − sin .2ϕ + sin .3ϕ − sin .4ϕ + sin .5ϕ − etc.,
2
2
3
4
5
cuius seriei veritas casu, quo angulus ϕ est infinite parvus, per se est
manifesta. Evolvamus ergo casus seguentes:
π
Sit ϕ = 90o = ac prodit series Leibniziana
2
π
1 1 1 1
= 1 − + − + − etc.,
4
3 5 7 9
1
1
1
... Circa seriem invenita ϕ = sin .ϕ − sin .2ϕ + sin .3ϕ − etc. dubium
2
2
3
oriri potest, quod sumto arcu ϕ = 180o = π singuli seriei termini evanes1
cant ideoque summa nequeat π aequari. Verum ad hoc dubium solvendum
2
statuatur primo ϕ = π − ω et resultabit haec equatio
π−ω
1
1
1
= sin .ω + sin .2ω + sin .3ω + sin .4ω + etc.
2
2
3
4
π−ω
nunc vero arcus ω infinite parvus sumatur, unde adipiscimur hanc
=
2
ω + ω + ω + ω + ω + etc., quae nihil amplius continet absurdi. Quod idem
tenendum est, si velimus accipere ϕ = 2π vel ϕ = 2π etc.
Per altre referenze sul fenomeno di Gibbs e la sua storia si può consultare
qualche buon testo di Analisi armonica e l’articolo:
E.Hewitt & R.E.Hewitt, The Gibbs-Wilbraham phenomenon: an episode
in Fourier analysis. Archive for the History of Exact Sciences 21, 1979.
23
Fly UP