CHAPITRE XI. — SÉRIES A DOUBLE INDICE
périodicité n'est pas moins manifeste; car, si l'on change u en u-\-^v^ (^Wi étant une des quantités (v), tous les ternies qui contiennent u s'échanoenl les uns dans les autres. Toutefois la composition, un peu complexe, du terme général, formé de deux parties, ne laisse pas apercevoir tout d'abord si p[u + (v,) reproduit pu sans changement, ou bien augmenté d'une constante. Il est bon de vérifier sur la formule (6) que c'est le premier cas qui a lieu.
A cet effet, considérons d'abord la série 7 ; L
où la sommation s'applique à toutes les valeurs (v = iiim -t 2/i'a)', sauf (V = o et «• ^= — n-, . Cette série est absolument convergente, puisque c'est simplement la précédente où l'on a remplacé u par (l'i, après avoir écarté deux termes. Puisqu'elle a une somme déterminée, cette somme est zéro; car l'ensemble des ciuantités — -
ne diffère pas de l'ensemble des quantités , -, • Nous pouvons
donc écrire la formule (6) comme il suit :
tv=:o, — (v, exceptés.
Cette dernière forme coïncide encore avec la suivante
(V = — iv, excepté.
Si l'on change maintenant w en ((V — *t') ), on pourra écrire aussi
^^ ^ {U-+- il'i )2 ' ^ [( U -4- IV i — iV )2 (V2 J '
IV = o excepté.
C'est justement l'expression de p (u -\- iX'i) suivant l'égalité (6) sans aucune transformation. On a donc vérifié directement la relation
qui exprime la double périodicité.
THÉORIE
Développement de p'u, de p"ii, etc., en séries à double indice.
Pour obtenir, à l'égard de p'u, p""» p'""? •••? les développements analogues, nous avons le choix entre deux moyens. Le premier, celui qui paraît d'abord le plus simple, consiste à prendre les dérivées aux deux membres dans la formule (6). Pour la rigueur, il suffît seulement de se convaincre que les dérivées de la série (6) sont égales aux séries composées avec les dérivées des termes. Ce fait résulte de ce que les séries ainsi obtenues sont uniformément convergentes par rapport à ?^ ('), et cette propriété s'établit immédiatement au moyen de l'analyse qui précède.
Mais une autre voie, non moins facile et plus conforme à notre mode d'exposition, s'ouvre aussi, et nous allons la suivre, en dérivant les deux membres de la formule (i); puis, comme précédemment, nous supposerons n infini. Voici, à cet effet, une transformation de l'égalité (i). Prenons la formule d'addition, pour la fonction ^ (V, i6rt),
et concluons, en dérivant par rapport à r,
p(;t + p)-j-p(ii — (•) — 2pc