CHAPITRE VII. — DÉVELOPPEMENT DES FONCTIONS CIRCULAIRES

Développement des fonctions circulaires en séries de fractions simples.

271. Une fonction rationnelle de x, type le plus simple des fonctions indéfiniment méromorphes, est décomposable en fractions simples (accompagnées éventuellement d’une partie olotrope) (92). Ce fait pose immédiatement pour toute fonction indéfiniment méromorphe la question de savoir si elle ne serait pas susceptible d’une représentation analogue ou, pour parler avec plus de précision, si elle ne serait pas développable en une série procédant suivant des fractions simples ayant naturellement pour infinis dans leur ensemble ceux même de la fonction considérée. Cette recherche conduit à des résultats d’un grand intérêt, et la réponse est affirmative pour beaucoup de fonctions périodiques.

Nous étudierons d’abord en elles-mêmes les séries de fractions simples, en nous restreignant au cas où leurs infinis forment des progressions arithmétiques, disposition affectée par ceux des fonctions périodiques et en particulier des fonctions circulaires. Mais auparavant 1l convient d'établir, sur des variantes dont la générauon implique la considération de pareilles progressions, diverses propositions dont nous aurons besoin ici et ailleurs.

272. La variante w,, étant définie pour toute valeur positive, nulle ou négative de son indice unique m, on dit que la série doublement infinie

(1) + U9 + U j + Ug + Ui + Ua +...

est convergente quand, 4’, k” désignant deux entiers positifs, la

somme k"

; Un

de tous les termes où m2 est compris entre — 4’ et k” inclusivement, tend vers une même limite, de quelque manière que k' et #” croissent indéfiniment. Cette limite se nomme alors la somme de la série (1). |

Pour qu’il y ait convergence, il faut évidemment et il suffit qu'il

en soit ainsi pour chacune des deux séries ordinaires, formées par tous les termes qui sont placés soit en deçà soit au delà du Signe + qui sépare deux termes consécutifs quelconques. Il ‘en est ainsi dans le cas particulier très remarquable que voici.

273. La série doublement infinie qui a pour terme d’indice m une fraction rationnelle en m,

est convergente, elle et celle des modules de ses termes, si la différence A—X des degrés effectifs des polynomes F(m), f(m), est au moins égale à 2 [on supprime, bien entendu, les termes en nombre limité dans lesquels F(m) s’évanouirait|.

L L'exposant $ étant positif (212), la série à termes positifs