Académique Documents
Professionnel Documents
Culture Documents
1
2
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
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
(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
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
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.