Vous êtes sur la page 1sur 11

Sur la convergence des series trigonometriques qui

servent a` representer une fonction arbitraire entre des


limites donnees.
(Par Mr. Lejeune-Dirichlet, prof. de mathem.)
arXiv:0806.1294v1 [math.HO] 7 Jun 2008

MSC-Class : 51-03 01A16

Les series de sinus et de cosinus, au moyen desquelles on peut


representer une fonction arbitraire dans un intervalle donne, jouissent
entre autres proprietes remarquables aussi de celle detre convergentes.
Cette propriete navait pas e chappee au geom`etre illustre qui a ouvert
une nouvelle carri`ere aux applications de lanalyse, en y introduisant la
mani`ere dexprimer les fonctions arbitraires dont il est question ; elle se
trouve e noncee dans le Memoire qui contient ses premi`eres recherches
sur la chaleur. Mais personne, que je sache, nen a donne jusqua present
une demonstration generale. Je ne connais sur cet objet quun travail
du a` M. C AUCHY et qui fait partie des Memoires de lAcademie des
sciences de Paris pour 1annee 1823. Lauteur de ce travail avoue lui
meme que sa demonstration se trouve en defaut pour certaines fonctions
pour lesquelles la convergence est pourtant incontestable. Un examen
attentif du Memoire cite ma porte a` croire que la demonstration qui y est
exposee nest pas meme suffisante pour les cas auxquels lauteur la croit
applicable. Je vais, avant dentrer en mati`ere, e noncer en peu de mots les
objections auxquelles la demonstration de M. C AUCHY me parait sujette.
La marche que ce geom`etre cel`ebre suit dans cette recherche exige que
lon consid`ere les valeurs que la fonction ( x) quil sagit de developper,
lorsquon y remplace la variable x par une quantite de la forme
obtient,
u + v 1. La consideration de ces valeurs semble e trang`ere a` la question
et lon ne voit dailleurs pas bien ce que lon doit entendre par le resultat
dune pareille substitution lorsque la fonction dans laquelle elle a lieu,
ne peut pas e tre exprimee par une formule analytique. Je presente cette
objection avec dautant plus de confiance, que lauteur me semble partager
mon opinion sur ce point. Il insiste en effet dans plusieurs de ces ouvrages
sur la necessite de definir dune mani`ere precise le sens que lon attache
a` une pareille substitution meme lorsquelle est faite dans une fonction
dune loi analytique reguli`ere ; on trouve surtout dans le Memoire quil
a insere dans le 19i`eme cahier du journal polytechnique pag. 567 et suiv.
des remarques sur les difficultes que font natre les quantites imaginaires
placees sous des signes de fonctions arbitraires. Quoi quil en soit de cette

Originally published in Journal fur die reine und angewandte Ma-
thematik Vol. 4 (1829) p. 157169. Transcribed by Ralf Stephan, eMail :
mailto :ralf@ark.in-berlin.de. The scanned images are available at
http ://gdz.sub.uni-goettingen.de/no cache/dms/load/img/ ?IDDOC=270602

1
2

premi`ere observation, la demonstration de M. C AUCHY donne encore lieu


a` une autre objection qui parait ne laisser aucun doute sur son insuffisance.
La consideration des quantites imaginaires conduit lauteur a` un resultat
sur le decroissement des termes de la serie, qui est loin de prouver que ces
termes forment une suite convergente. Le resultat dont il sagit peut e tre
e nonce comme il suit, en supposant que lintervalle que lon consid`ere,
setende depuis zero jusqu`a 2.
Le rapport du terme dont le rang est n, a` la quantite A sinnnx
(A designant une constante determinee dependante des va-
leurs extremes de la fonction) diff`ere de lunite prise positi-
vement dune quantite qui diminue indefiniment, a` mesure
que n devient plus grand.
De ce resultat et de ce que la serie, qui a A sinnnx pour terme general, est
convergente, lauteur conclut que la serie trigonometrique generale lest
e galement. Mais cette conclusion nest pas permise, car il est facile de sas-
surer que deux series (du moins lorsque, comme il arrive ici, les termes
nont pas tous le meme signe) peuvent e tre lune convergente, lautre di-
vergente, quoique le rapport de deux termes de meme rang diff`ere aussi
peu que lon veut de lunite prise positivement lorsque les termes sont dun
rang tr`es avance.
On en voit un exemple tr`es simple dans les deux series, ayant lune pour
(1)n (1)n (1) n 
terme general n , et lautre n 1 + n . La premi`ere de ces series est
convergente, la seconde au contraire est divergente, car en la soustraiant de
la premi`ere on obtient la serie divergente :
1 21 31 41 51 etc.
et cependant le rapport se deux termes correspondans, qui est 1 1n ,
converge vers lunite a` mesure que n crot.
Je vais maintenant entrer en mati`ere, en commencant par lexamen
des cas les plus simples, auxquels tous les autres peuvent e tre ramenes.
Designons par h un nombre positif inferieur ou tout au plus e gal a` 2
et par f ( ) une fonction de qui reste continue entre les limites 0 et h ;
jentends par l`a une fonction qui a une valeur finie et determinee pour
toute valeur de comprise entre 0 et h, et en outre telle que la difference
f ( + ) f ( ) diminue sans limite lorsque devient de plus en plus petit.
Supposons encore que la fonction reste toujours positive entre les limites 0
et h et quelle decroisse constamment depuis 0 jusqu`a h, en sorte que si p
et q designent deux nombres compris entre 0 et h, f ( p) g(q) ait toujours
un signe oppose a` celui de p q. Cel`a pose considerons lintegrale
Z h
sin i
(1.) f ( )
0 sin
dans laquelle i est une quantite positive, et voyons ce que cette integrale
deviendra a` mesure que i crot. Pour cela partageons la en plusieurs autres
3

prises la premi`ere depuis = 0 jusqu`a = i , la seconde depuis = i


jusqu`a = 2 ere ayant pour limites (r 1) i
i et ainsi de suite, lavant-derni`
r
et i , et la derni`ere i et h, i designant le plus grand multiple de i qui
2 r

soit contenu dans h. Il est facile de voir que ces integrales nouvelles, dont
le nombre est r + 1, sont alternativement positives et negatives, la fonction
placee sous le signe somme e tant e videmment toujours positive entre les
limites de la premi`ere, negative entre les limites de la seconde et ainsi de
suite. Il nest pas moins facile de se convaincre que chacune delles est plus
petite que la precedente, abstraction faite du signe. En effet designant un
entier < r, les expressions
Z ( + 1)
sin i i sin i
Z
i
f ( ) et f ( )
( 1) i sin
i
sin
representent deux integrales consecutives. Remplacons dans la seconde
par i + ; elle se changera ainsi en celle-ci :
Z
i sin(i + )  

 f +
( 1) i sin + i i
ou ce qui revient au meme :

sin i 
Z 
i
f + .
sin + i

( 1) i i
Les deux integrales quil sagit de comparer ayant ainsi les memes limites,
on voit sans peine que la seconde a une valeur numerique inferieure a` celle
de la premi`ere. Il suffit pour cela de remarquer quil suit de  la supposition
que nous avons faite sur la fonction f ( ), que f i + < f ( ) et que
e sin i + > sin( ), les arcs et i + e tant lun et lautre

dun autre cot
f ( ) f ( + )
moindres que 2, car il en resulte linegalite
> sin( +i ) , qui ayant lieu
sin
i
pour toutes les valeurs de intermediaires entre les limites ( 1) i et i ,
fait voir que, comme nous lavons dit, chaque integrale est plus grande
que celle qui la suit, abstraction faite du signe. Cette circonstance a lieu a
fortiori, lorsquon compare lavant-derni`ere a` la derni`ere, attendu que la
difference des limites ri et h de la derni`ere est inferieure a` i difference
commune des limites de toutes les autres.
Examinons actuellement un peu plus en detail lintegrale du rang , qui
est Z
i sin(i)
f ( ) .
( 1) i sin

Comme la fonction de qui se trouve sous le signe integral est le pro-


sin( i )
duit des facteurs sin , et f ( ), qui sont lun et lautre des fonctions conti-
nues de entre les limites de 1integration et comme dun autre cot e le
premier de ces facteurs conserve toujours le meme signe entre ces memes li-
mites, on conclura en vertu dun theor`eme connu, que lintegrale que nous
4

considerons est e gale a` lintegrale du premier facteur multipliee par une


quantite comprise entre la valeur la plus grande et la valeur la plus petite
de lautre facteur. Le second facteur decroissant depuis la premi`ere limite
jusqu`a la seconde, la quantite dont il sagit est comprise entre f (i1)


et f

i . En la designant par , notre integrale sera e quivalente a`

sin(i)
Z
i
.
( 1) i sin
Lintegrale que renfermee encore cette expression, depend a` la fois de et
de i. Elle est positive ou negative selon que v 1 est pair ou impair ; nous
la designerons desormais par K , abstraction faite du signe. Nous aurons
bientot
besoin de connatre la limite vers laquelle elle converge, lors que,
restant invariable, i devient de plus en plus grand. Pour decouvrir cette
limite, remplacons par i , e tant une nouvelle variable. Nous aurons
ainsi Z
sin
.
( 1) i sin( i )
Sous cette forme, il est e vident quelle converge vers la limite
Z
sin
,
( 1)
que pour abreger nous designerons par k , abstraction faite du signe.
On sait que lintegrale 0 sin a une valeur finie et e gale a` 2 . Cette
R

integrale peut e tre partagee en une infinite dautres, prises la premi`ere de-
puis = 0 jusqu`a = , la seconde depuis = jusqu`a = 2,
et ainsi de suite. Ces nouvelles integrales sont alternativement positives et
negatives, chacune delles a une valeur numerique inferieure a` celle de la
precedente, et celle du rang est k , abstraction faite du signe. La proposi-
tion quon vient de citer, revient donc a` dire que la suite infinie
(2.) k1 k2 + k3 k4 + k5 etc.
est convergente et a une somme e gale a` 2 .
Les termes de cette suite allant toujours en decroissant, il suit dune pro-
position connue que la somme de n premiers termes est superieure ou
inferieure a` 2 , selon que n est impair ou pair et que cette somme quon
peut designer par Sn , diff`ere de 2 dune quantite moindre que le terme
suivant kn+1 .
Reprenons actuellement lintegrale (1.) et cherchons a` determiner la li-
mite vers laquelle elle converge lorsque i crot indefiniment. En faisant ainsi
crotre le nombre i, les integrales dans lesquelles nous avons decompose
lintegrale (1.), changeront sans cesse de valeur en meme temps que leur
nombre augmentera ; il sagit de connatre le resultat de ce double chan-
gement lorsquil continue indefiniment. Pour cela, prenons un nombre en-
tier m (quil soit suppose pair pour plus de simplicite) et supposons que le
nombre m reste invariable pendant que i crot. Le nombre r, qui crot sans
5

cesse avec i, finira bientot par surpasser le nombre invariable m, quelque


grand quon lait choisi.
Cela pose, partageons en deux groupes les integrales dont la somme
est e quivalente a` lintegrale (1.). Le premier groupe comprendra les m
premi`eres de ces integrales, et le second sera compose de toutes les
suivantes. On aura pour la somme du premier groupe :
(3.) K 1 1 K 2 2 + K 3 3 K 4 4 + K m m
et le second, dont le nombre des termes crot sans cesse avec i, a pour pre-
miers termes :
(4.) K m +1 m +1 K m +2 m +2 + .
Considerons separement ces deux groupes. Le nombre i croissant
indefiniment la somme (3.) convergera vers une limite quil est facile
de determiner. En effet, les quantites 1 , 2 , . . . m qui sont comprises la
premi`ere entre f (0) et f ( i ), la seconde entre f ( i ) et f ( 2
i ), et la derni`
ere
entre f ( (mi 1) ) et f ( m
i ) convergent chacune vers la limite f (0), lorsque,
m restant invariable, i crot sans cesse. Dun autre cot e nous avons vu
que les quantites K1 , K2 , . . . Km convergent dans les memes circonstances
respectivement vers les limites k1 , k2 , . . . km . Donc la somme (3.) converge
vers la limite f (0)(k1 k2 + k3 etc. . . . km ) = Sm f (0), ce qui veut dire
que la difference entre la somme (3.) et Sm f (0) finira toujours, abstraction
faite du signe, par e tre constamment inferieure a` , designant une
quantite positive aussi petite que lon veut.
Considerons pareillement la somme (4.), dont le nombre des termes
augmente sans cesse. Ses termes e tant alternativement positifs et negatifs,
et chacun deux ayant une valeur numerique inferieure a` celle du terme
precedent, comme nous lavons vu plus haut, en considerant les integrales
que ces termes representent, il suit dun principe connu, que cette
somme, quelque soit le nombre de ses termes, est positive comme son
premier terme Km+1 m+1 , et a une valeur inferieure a` celle de ce terme.
Or, ce premier terme convergeant vers la limite km+1 f (0), il sensuit que
la somme (4.) finira toujours par e tre inferieure a` km+1 f (0) augmente
dune quantite positive aussi petite que lon veut. En combinant ce
resultat avec celui que nous avons obtenu sur la somme (3.), il ny a quun
instant, on verra que lintegrale (1.) qui est la somme des expressions

Le principe sur lequel nous nous appuyons peut e tre e nonce de cette mani`ere. Les
lettres A, A , A , . . . designant des quantites positives en nombre quelconque et telles que
A > A > A > etc., la quantite A A + A A + etc.
est positive et inferieure a` A. Cel`a resulte immediatement de que la quantite precedente
peut e tre mise sous lune et lautre de ces deux formes :
( A A ) + ( A A ) + etc.,
A ( A A ) ( A AIV ) etc.
6

(3.) et (4.) finira toujours par differer de f (0)Sm dune quantite moindre,
abstraction faite du signe, que + + f (0)km+1 , et e tant deux
nombres dune petitesse arbitraire. Dun autre cot e Sm diff`ere de 2 dune
quantite numeriquement inferieure a` km+1 ; donc lintegrale finira toujours
par differer de 2 f (0) dune quantite moindre que + + 2 f (0)km+1 ,
abstraction faite du signe.
Comme m peut e tre choisi tellement grand que km+1 , sait moindre
que toute grandeur donnee, il sensuit que lintegrale (1.) finira toujours,
lorsque i crot sans limite, par differer constamment de 2 f (0) dune
quantite moindre, abstraction faite du signe, quun nombre aussi petit que
lon veut. Il est ainsi prouve, que lintegrale (1.) converge vers la limite

2 f (0) pour des valeurs croissantes de i.
Supposons maintenant que la fonction f ( ), au lieu detre toujours
decroissante depuis 0 jusqu`a h, soit constante et e gale a` lunite. On pourra
dans ce cas determiner la limite vers laquelle converge lintegrale (1.) par
les memes considerations que nous venons demployer ; cest ce quon
voit tout de suite, en se rappellant que la demonstration precedente est
fondee sur ce que les integrales dans lesquelles nous avons decompose
lintegrale (1.), forment une suite decroissante. Or, ce decroissement tient
a` deux choses, au decroissement du facteur f ( ) et a` laccroissement du
diviseur sin . Si f ( ) devient un nombre constant, laccroissement de sin
suffira toujours pour rendre chaque integrale de la serie plus petite que la
precedente. On trouvera ainsi, en supposant toujours h positive et tout au
R h sin i
plus e gale a` 2 , que lintegrale 0 sin converge vers la limite 2 . Il suit
R h c sin i
de l`a que lintegrale 0 sin , dans laquelle c est une constante positive
ou negative, converge vers la limite c 2 .
Nous avons suppose que la fonction f ( ) e tait decroissante et positive
entre les limites 0 et h. La premi`ere circonstance ayant toujours lieu, cest-
a` -dire la fonction e tant telle que f ( p) f (q) ait un signe contraire a` celui
de p q pour des valeurs p et q comprises entre 0 et h, supposons que
f ( ) ne soit pas toujours positive. On prendra alors une constante posi-
tive c assez grande pour que c + f ( ) conserve toujours un signe positif
Rh sin i
depuis = 0 jusqu`a = h. Lintegrale 0 f ( ) sin e tant e gale a` la
Rh sin i R h sin i
difference de celles-ci : 0 [c + f ( )] sin et 0 c sin , sa limite sera
la difference des limites vers lesquelles convergent ces derni`eres. Or ces
derni`eres rentrent dans les cas precedemment examines (c + f ( ) e tant une
fonction decroissante et positive) et convergent vers les limites [c + f (0)] 2
et c 2 , dou` il suit que la premi`ere converge vers la limite 2 f (0).
Considerons actuellement une fonction f ( ) croissante depuis 0
jusqu`a h. Dans ce cas f ( ) sera une fonction decroissante. Lintegrale
Rh sin i
0 f ( ) sin convergera donc vers la limite 2 f (0), et par cons equent
Rh sin i
lintegrale 0 f ( ) sin vers la limite 2 f (0).
7

En reunissant ces resultats, on aura cet e nonce :


Quelle que soit la fonction f ( ), pourvu quelle reste continue


entre les limites 0 et h (h e tant positive et tout au plus e gale




` 2 ), et quelle croisse ou quelle decroisse depuis
a la premi`ere de



Rh sin i
(5.) ces limites jusqu`a la seconde, l1ntegrale 0 f ( ) sin finira
par differer constamment de 2 dune quantite moindre que tout




nombre assignable, lorsquon y fait crotre i au del`a de toute



limite positive.
Designons par g un nombre positif different de zero et inferieur a` h, et
supposons que la fonction reste continue et croisse ou decroisse depuis g
Rh sin i
jusqu`a h. Lintegrale 0 f ( ) sin convergera alors vers une limite quil
est facile de decouvrir. On pourroit y parvenir par des considerations ana-
logues a` celles que nous avons appliquees a` lintegrale (1.) ; mais il est plus
simple de ramener ce nouveau cas a` ceux que nous avons consideres dans
ce qui prec`ede. La fonction netant donnee que depuis g jusqu`a h reste
enti`erement arbitraire pour les valeurs de comprises entre 0 et g. Suppo-
sons que lon entende par f ( ), pour les valeurs de comprises entre 0 et
g une fonction continue et croissante ou decroissante depuis 0 jusqu`a g,
selon que f ( ) crot ou decrot depuis g jusqu`a h ; supposons encore que
f ( g ) diff`ere infiniment peu de f ( g + ), si decrot sans limite ; ayant
satisfait dune mani`ere quelconque a` ces conditions, ce quon peut toujours
faire dune infinite de mani`eres, la fonction f ( ) remplira depuis 0 jusqu`a
h les conditions exprimees dans lenonce (5.). Les integrales
Z g Z h
sin i sin i
f ( ) et f ( )
0 sin 0 sin
convergeront donc lune et lautre vers la limite 2 f (0). Dou` lon conclut
Rh sin i
que lintegrale g f ( ) sin qui est la difference des precedentes, a zero
pour limite.
Ce nouveau resultat peut e tre reuni en un seul e nonce avec celui que
nous avons obtenu plus haut. On aura ainsi :
La lettre h designant une quantite positive tout au plus e gale


a` 2 , et g une quantite e galement positive et en outre inferieure



a` h, lintegrale



Z h
sin i


f ( )





g sin
(6.) dans laquelle la fonction f ( ) est continue entre les limites de
lint egration et a une marche toujours croissante ou toujours




d e croissante depuis = g jusqu`a = h, convergera vers




une certaine limite, lorsque le nombre i devient de plus en plus




grand. Cette limite est e gale a` zero, le seul cas excepte ou` g a




une valeur nulle, dans ce cas elle a la valeur 2 f (0).

8

Il est e vident que ce resultat ne serait que leg`erement modifie, si la fonc-


tion f ( ) presentait une solution de continuite pour = g, et = h, cest-
a` -dire si f ( g) e tait different de f ( g + ) et f (h) de f (h ), designant une
quantite infiniment petite et positive, pourvu qualors les valeurs f ( g) et
f (h) ne fussent
pas infinies. Il faudrait seulement dans ce cas remplacer
f (0) par f () dans lenonce precedent, ce quon peut faire encore meme
quand il ny a pas de solution de continuite, attendu qualors f () est e gale
a` f (0).
Nous sommes maintenant en e tat de prouver la convergence des series
periodiques qui expriment des fonctions arbitraires entre des limites
donnees. La marche que nous allons suivre nous conduira a` e tablir la
convergence de ces series et a` determiner en meme temps leurs valeurs.
Soit ( x) une fonction de x, ayant une valeur finie et determinee pour
chaque valeur de x comprise entre et , et supposons quil sagisse
de developper cette fonction dans une serie de sinus et de cosinus darcs
multiples de x. La serie qui resout cette question, est, comme lon sait :
(7.) Z Z
1
Z
1

cos x ( ) cos + cos 2x ( ) cos 2

() + Z Z .
2 sin x () sin + sin 2x () sin 2

Les integrales qui determinent les coefficiens constans, e tant prises depuis
= jusqu`a = , et x designant une quantite quelconque comprise
entre et (Theorie de la Chaleur, No. 232. et suiv.).
Considerons les 2n + 1 premiers termes de cette serie (n e tant un nombre
entier) et voyons vers quelle limite converge la somme de ces termes,
lorsque n devient de plus en plus grand. Cette somme peut e tre mise sous
la forme suivante :
1 +
Z
() 12 + cos( x) + cos 2( x) + + cos n( x) ,
 

ou en sommant la suite de cosinus,
sin(n + 21 )( x)
Z +
1
(8.) () .
2 sin 21 ( x)
Tout se reduit maintenant a` determiner la limite dont cette integrale ap-
proche sans cesse, lorsque n crot indefiniment. Pour cela nous la parta-
gerons en deux autres prises lune depuis jusqu`a , lautre depuis x
jusqu`a . Si lon remplace dans la premi`ere par x 2, et dans la se-
conde par x + 2, e tant une nouvelle variable, ces deux integrales se
changeront en celles-ci, abstraction faite du facteur 1 :
(9.,10.)
Z 1 ( + x ) Z 1 ( x )
2 sin(2n + 1) 2 sin(2n + 1)
( x 2) et ( x + 2) .
0 sin 0 sin
9

Considerons la seconde de ces deux integrales. La quantite x e tant


inferieure ou tout au plus e gale a` , abstraction faite du signe, 21 ( x)
ne pourra tomber hors des limites 0 et . Si 21 ( x) = 0, ce qui a lieu
lorsque x = , lintegrale est nulle quelque que soit n ; dans tous les autres
cas elle convergera pour des valeurs croissantes de n vers une limite que
nous allons determiner. Supposons dabord 12 ( x) inferieure ou tout au
plus e gale a` 2 , et remarquons que la fonction ( x + 2) peut presenter
plusieurs solutions de continuite depuis = 0 jusqu`a = 12 ( x),
et quelle peut aussi avoir plusieurs maxima et minima dans ce meme
intervalle. Designons par l, l , l , . . . l () rangees selon lordre de leur
grandeur, les differentes valeurs de , qui presentent lune ou lautre de
ces circonstances, et decomposons notre integrale en plusieurs autres
prises respectivement entre les limites 0 et l, l et l , . . . l () et 21 ( x).
Toutes ces integrales se trouveront dans le cas de lenonce (6.). Elles
convergeront donc toutes vers la limite zero a` mesure que n crot, a`
lexception de la premi`ere qui converge vers la limite 2 ( x + ), e tant
un nombre infiniment petit et positif. Si 21 ( x) e tait superieure a` 2 , ce
qui arrivera lorsque x a une valeur negative, on partagerait lintegrale en
deux autres, lune prise depuis = 0 jusqu`a = 2 , lautre depuis 2
jusqu`a = 21 ( x). La premi`ere de ces nouvelles integrales se trouvera
dans le meme cas que celle que nous venons de considerer, elle convergera
donc vers la limite 2 ( x + ). Quant a` la seconde, on peut la changer en
celle-ci, en y remplacant par , e tant une nouvelle variable :

sin(2n + 1)( )
Z
2
( x + 2 2) ,
1
2 ( + x )
sin( )
ou ce qui revient au meme, n e tant un entier :

sin(2n + 1)
Z
2
( x + 2 2) .
1
2 ( + x )
sin
Elle a ainsi une forme analogue a` celle de la precedente ; en la
decomposant comme elle en plusieurs autres, on verra quelle converge
vers la limite zero, le seul cas excepte, ou` 12 ( + x) a une valeur nulle,
cest-`a-dire lorsque x = ; dans ce cas elle approche continuellement de
la limite ( ), ayant toujours la meme signification. En resumant tout
ce qui prec`ede, on trouvera que la seconde des int  egrales (10.) est nulle
lorsque x = , quelle converge vers la limite 2 ( ) + ( + )
lorsque x = , et que dans tous les autres cas elle approche continuelle-
ment de la limite 2 ( x + ). La premi`ere des integrales (9.) est enti`erement
analogue a` la seconde ; en y appliquant des considerations semblables,
on trouvera quelle est nulle lorsque x = , quelle converge vers la
limite 2 ( ) + ( + ) lorsque x = et que dans tous les autres
 

cas elle a pour limite 2 ( x ). Connoissant ainsi les limites de chacune


des integrales (9.,10.), il est facile de trouver la limite dont lintegrale (8.)
10

approche sans cesse, lorsque n devient de plus en plus grand ; il suffit pour
cel`a de se rappeler que cette integrale est e gale a` la somme des integrales
(9.,10.) divisee par . Or, lintegrale (8.) e tant e quivalente a` la somme des
2n + 1 premiers termes de la serie (7.), il est prouve que cette serie est
convergente  et lon trouve au moyen des resultats precedens quelle est
e gale a` 21 ( x + ) ( x ) pour toute valeur de x comprise entre
et ,  et que pour chacune  des valeurs extremes et , elle est e gale
a` 12 ( ) + ( + ) .
Lexpose precedent embrasse tous les cas ; il se simplifie lorsque la valeur
de x quon consid`ere nest pas une de celles qui presentent une solution de
continuite. En effet les quantites ( x + ) et ( x ) e tant alors lune et
lautre e quivalentes a` ( x), on voit que Ia serie a pour valeur ( x).
Les considerations precedentes prouvent dune mani`ere rigoureuse
que, si la fonction ( x), dont toutes les valeurs sont supposees finies
et determinees, ne presente quun nombre fini de solutions de conti-
nuite entre les limites et , et si en outre elle na quun nombre
determine de maxima et de minima entre ces memes limites, la serie
(7.), dont les coefficiens sont des integrales definies dependantes de la
fonction ( x) est convergente et a une valeur generalement exprimee par
1
 
2 ( x + ) + ( x ) , o u
` d
esigne un nombre infiniment petit. Il nous
resterait a` considerer les cas ou` les suppositions que nous avons faites sur
le nombre des solutions de continuite et sur celui des valeurs maxima et
minima cessent davoir lieu. Ces cas singuliers peuvent e tre ramenes a`
ceux que nous venons de considerer. ll faut seulement pour que la serie
(8.) presente un sens lorsque les solutions de continuite sont en nombre
infini, que la fonction ( x) remplisse la condition suivante.
Il est necessaire qualors la fonction ( x) soit telle que, si lon designe
par a et b deux quantites quelconques comprises entre et , on puisse
toujours placer entre a et b dautres quantites r et s assez rapprochees
pour que la fonction reste continue dans lintervalle de r a` s. On sentira
facilement la necessite de cette restriction en considerant que les differens
termes de la serie sont des integrales definies et en remontant a` la notion
fondamentale des integrales. On verra alors que lintegrale dune fonction
ne signifie quelque chose quautant que la fonction satisfait a` la condition
precedemment e noncee. On aurait un exemple dune fonction qui ne
remplit pas cette condition, si lon supposait ( x) e gale a` une constante
determinee c lorsque la variable x obtient une valeur rationnelle, et
e gale a` une autre constante d, lorsque cette variable est irrationnelle. La
fonction ainsi definie a des valeurs finies et determinees pour toute valeur
de x, et cependant on ne saurait la substituer dans la serie, attendu que
les differentes integrales qui entrent dans cette serie, perdroient toute
signification dans ce cas. La restriction que je viens de preciser, et celle
de ne pas devenir infinie, sont les seules auxquelle la fonction ( x) soit
sujette et tous les cas quelles nexcluent pas peuvent e tre ramenes a` ceux
11

que nous avons consideres dans ce qui prec`ede. Mais la chose, pour e tre
faite avec toute la clarte quon peut desirer exige quelques details lies aux
principes fondamentaux de lanalyse infinitesimale et qui seront exposes
dans une autre note, dans laquelle je moccuperai aussi de quelques autres
proprietes assez remarquables de la serie (7.).
Berlin, Janvier 1829.

R E F E RENCES
[1] C AUCHY, Augustin-Louis : Memoire sur les developpements des fonctions en series
periodiques, Memoires de lAcademie des Sciences, t. VI, p. 603, 1827.
[2] C AUCHY, Augustin-Louis : Memoire sur lintegration des equations lineaires aux differences

partielles et a coefficiens constans, Journal de lEcole Royale Polytechnique, 19e cah. (1823),
t. XII, p. 511 ff.
[3] F OURIER, Jean Baptiste Joseph : Theorie analytique de la chaleur, Paris, F. Didot p`ere et fils,
1822.