l38o ACADÉMIE DES SCIENCES. 



Donc, la série de Fourier de /sera convergente au point x si : 



i" \(f( t)\ est. pour t ^ o, la dérivée de son intégrale indéfinie, et si 



J. \ixnt 



^^') '^(' + ^^^1^/ (S>o) 



sin(/ 



tend vers zéro avec S. 



Cet énoncé est compliqué; de plus, il ramène l'étiicie de la convergence 

 ou de la divergence d'une expression à une étude analogue pour d'autres 

 expressions; mais, d'une part, on pourrait faire la même objection aux 

 conditions de Lipschilz, du lîois-Reymond, Dini, Jordan, qu'il s'agit de 

 réunir en un énoncé unique et, d'autre part, une partie de la complication 

 disparaît si l'on consent à perdre en généralité. 



On peut remarquer, par exemple, que la condition i" est vérifiée si x 

 est un point de continuité ou un point régulier, c'est-à-dire un point en 

 lequel f(^x -+- o) et fl^x — o) existent et vérifient l'égalité 



/(a' + 0)4-/(^-0)-2/(x-) = 0. 



Quant à la condition i°, qu'on peut écrire de bien des manières, elle 

 est vérifiée lorsque les deux intégrales 



tendent vers zéro avec S. 



L'énoncé indiqué contient tous les énoncés mentionnés au début; voici, 

 par exemple, comment on arrive à l'énoncé de Dirichlet. 



Ce qui fait la difficulté de l'étude de la condition 2°, c'est le signe | | ; ce 

 signe peut être supprimé quand -^r— - varie toujours dans le même sens, et 



l'on vérifie alors facilement que la condition 2° est vérifiée. D'ailleurs, si 

 ç(i) varie toujours dans le même sens, on voit de suite, en imitant les rai- 

 sonnements de M. Jordan, que(p(i) peut être considérée comme la diffé- 

 rence de deux fonctions m,(t), <?..(/), telles que '^\ et '^^^J- soient tou- 



jours dans le même sens. Cela conduit à l'énoncé de Dirichlet et à celui 

 de M. Jordan. 



Le théorème indiqué fournit facilement une généralisation d'un théo- 

 rème de M. Féjer : Si l'on applique aux séries de Fourier le procédé de som- 

 mation par la moyenne arithmétique qu emploie M. Féjer, la série représentera 



