a:' (a: -+- i). . .(jr -4- x'— i) jr

(jT-i- 1). . .(:r -h a;') 1 .2.3. . .(jr' — i) x -h x'

Remarques sur les /onctions génératrices.

4. Soit u une fonction génératrice à une ou plusieurs variables ; toute équation entre cette fonction et ses variables, linéaire par rapport à u, rationnelle par rapport aux variables, subsistera encore si l'on passe des fonctions génératrices aux coefficients, entre ces mêmes coefficients, et donnera lieu à une équation aux différences partielles ; mais si, dans cette équation aux différences partielles, on repasse des coefficients aux fonctions génératrices» on n'arrivera plus a une équation rigoureusement exacte, à moins qu'on n'y rétablisse en même

temps les fonctions des variables qui ont pu disparaître dans le premier passage. Ainsi, dans une des questions que nous avons traitées plus haut, l'équation aux différences partielles

donnerait, en remontant simplement des coefficients aux fonctions

génératrices, celle-ci

u = mut •+■ m' ut' -h nutt'j

laquelle n'est point exacte; car il est aisé de voir que, d'après les conditions du problème, il faudrait ajouter au second membre la fonction génératrice de s^,o moins cette même fonction multipliée par m. Cette fonction de /, qu'il est nécessaire de rétablir dans le second membre de l'équation pour la compléter, est précisément la fonction arbitraire que nous avons eu à déterminer dans la solution de cette question. En général, les fonctions à ajouter pour avoir encore une équation dans le passage des coefficients aux fonctions génératrices sont les mêmes que les fonctions arbitraires qui forment le numérateur de la fonction génératrice intégrale, avant qu'elle soit développée.

Faute d'avoir égard à ces fonctions, on peut tomber dans des erreurs graves, en se servant de ce moyen pour intégrer les équations aux différences partielles. Par cette même raison, la marche suivie dans la solution des problèmes des n^ 8 et 10 du Livre II de la Théorie analytique des Probabilités n'est nullement rigoureuse, et semble impliquer contradiction en ce qu'elle établit une liaison entre les variables qui sont et doivent être toujours indépendantes. Sans entrer dans les considérations particulières qui ont pu la faire réussir ici, et qu'il est aisé de saisir, nous allons faire voir que la méthode d'intégration exposée au commencement de ce Supplément s'applique également à ces questions, et les résout avec non moins de simplicité.

Dans le problème du n^ 8, on se propose de déterminer le sort d'un nombre n de joueurs A, B, G, . . . dont p^q^r^ ... représentent les probabilités respectives, c'est-à-dire leurs probabilités pour gagner un eoup lorsque, pour gagner la partie, il manque x coups au joueur A,

x' coups au joueur B, x" coups au joueur C, elc. En nommant j^.x.xv.. la probabilité du joueur A pour gagner la partie, on a Téquation aux différences partielles

qui donne pour yx,x\x\... cette fonction génératrice

i — pt — qt— ri" — ., .

dans laquelle P, Q, R, ... sont autant de fonctions arbitraires des variables /, i\ t'\ . . . qu'il y a de ces variables, en ne comprenant point / dans la première, /'dans la deuxième, /"dans la troisième, etc. Or, cette fonction peut être mise sous la forme

i — pi — Qt'-- ri" — sir— . . r '

P', Q', R', ... étant, comme plus haut, des fonctions arbitraires, la première de toutes les variables à l'exception de I, la deuxième de toutes les variables en exceptant /', la troisième également de toutes les variables hormis /", et ainsi de suite. Pour les déterminer, nous observerons que, dans jx,x',x',...» deux des indices a?, x\ a?", ... ou un plus grand nombre ne peuvent être nuls à la fois, puisque la partie cesst quand l'un des joueurs a atteint ses points; de plus, yo.x,*',... ^st égal à l'unité, quels que soient x\ x'\ . . .; la fonction génératrice de cette expression, ou celle qui donne l'unité pour le coefficient d'un produit quelconque t"" f""" f""" . . ., est

par conséquent, on aura

Œuvres de L.— VU. 81

Toute valeur Ae ya:,x\x\... dans laquelle un autre indice que a: est nul étant égale à zéro, la fonction génératrice correspondante devient nulle aussi; on aura donc successivement

Partant, la fonction génératrice de j^^r, «,«•,... sera

I — /' I — r I — />/ — 7/' — rr — ...

et le coefficient de ^, dans le développement de cette fonction par rap< port aux puissances de /,

d'où il est facile de tirer le coefficient de t'^'t"^ .. ., ou

en ayant soin de rejeter les termes dans lesquels la puissance de q surpasse a?'— I, ceux dans lesquels la puissance de r surpasse x"— i, —

Dans le problème du n° 10, on considère deux joueurs  et B dont les adresses soient /? et q^ et dont le premier ait a jetons et le second b jetons; et l'on suppose qu'à chaque coup, celui qui perd donne un jeton à son adversaire, et que la partie ne finisse que lorsqu'un des joueurs aura perdu tous ses jetons. On demande la probabilité que l'un des joueurs, A par exemple, gagnera la partie avant ou au /i'^"* coup.

En représentant par y^^^x 1^ probabilité de ce joueur pour gagner la partie lorsqu'il a x jetons et lorsqu'il n'a plus que x' coups à jouer

pour atteindre les n coups, on arrive, par les premiers principes des probabilités, à l'équation aux différences partielles

qui donne, pour la fonction génératrice de yx,x^

A + A' ^Yi!i qt^l'—'t-hpt''

A étant une fonction arbitraire de t, A' et B' deux fonctions arbitraires de t\ Pour les déterminer plus commodément, nous transformerons cette fonction génératrice en celle-ci

dans laquelle A,, A', et B', sont, comme plus haut, des fonctions arbi-

traires de t et de t'. Or -j, est le coefficient de t^ dans le développement

de la fonction par rapport aux puissances de /, ou la fonction génératrice de Vo,x'; mais, par les conditions du problème, jo,a?' est nul quel que soit a?'; par conséquent sa fonction génératrice Test aussi; A', est donc égal à zéro.

Le coefficient de ^'®, dans le développement de la fonction génératrice par rapport à f, est —A,, ce qui est en même temps la fonction génératrice de jar,o» quantité qui est nulle tant que x est moindre que la somme des jetons ou a -i- i, et qui devient l'unité quand x = a-h b; A, est donc une fonction de t qui a pour facteur ^^, et dont on peut ne tenir aucun compte dans le numérateur de la fonction génératrice, car elle ne doit donner que des puissances de t supérieures à ^^, et nous n'avons en vue que d'avoir une fonction génératrice composée des puissances inférieures de t, puisque x ne peut s'étendre que depuis a? = o jusqu'à X = a -h b.

La fonction génératrice de yjp^x'9 ainsi limitée entre ces valeurs, se réduit donc à

laquelle un peut mettre aisément sous cette forme

i hs/h-^p" ^ Ç T - \/'h - ^P'^ )j

Il t I t\

d'où l'on tire, pour le coefficient de (f^, l'expression

Mais ce coefficient est la fonction génératrice de ya^^x^ quantité qui est égale à i*unité; car il est certain que le joueur  a gagné la partie lorsqu'il a gagné tous les jetons de B : de plus, x' doit être ici zéro ou un nombre pair, puisque le nombre de coups dans lesquels  peut gagner la partie est égal à h plus un nombre pair; et, en effet, il doit gagner tous les jetons de B, et encore regagner chaque jeton qu'il a perdu, ce qui exige deux coups. La série

qui représente le coefficient de /*^, est donc égale à __ ;^> et l'on en conclut

b; (-ip)"-^^-*

Maintenant le coefficient de /*, tiré du développement de la fonc-

tiori (II), toujours par rapport aux puissances de /, sera

p i-'py'''' ' ' 7'i '" """

et en substituant pour — sa valeur, on aura ce coefïicient ou la fonc tion génératrice de y^y.jr égale à

OU

, .::^zi--irT-,- i i

L*e qui est la formule (o) de la Théorie analytique.