^fl2fc + i
donc
Mais, dans le cas indéterminé, la série
/ ttik + l
est convergente et par conséquent
{dV'(«)L>0.
Ainsi, s'il n'y a point de concentration de masse à l'origine, la fraction continue sera convergente ou oscillante selon que
est nul ou positif.
Si la distribution S> représentée par y){u) a., à l'origine , une masse fi, enlevons cette masse et soit 3)' la distribution ainsi modifiée. Supposons que, d'une manière ou d'autre (par exemple, à l'aide de la proposition précédente) , on sache si la distribution ®' est déterminée ou indéterminée , qu'est ce qu'on en peut conclure pour 3) ?
Si la distribution 3>' est indéterminée , S est aussi indéterminée. Si , au contraire, 3)' est déterminée, je dis que 3) est aussi déterminée, en général ; il faut faire exception seulement pour un cas singulier que nous indiquerons. En effet , voici comment on peut conclure dans le cas où 3) serait indéterminée , 3)' déterminée. Soit 3)i la distribution équivalente à 3), mais qui a, à l'origine, la plus grande concentration de masse possible, cette masse étant fi^. Elle est donnée par une fonction $^
et VQ = fi.i. Tant que 3) n'est pas identique à 3)^, on a
Enlevons à 3)^ la masse fi (ce qui peut se faire sans introduire une masse négative) , on aura une distribution 3)i équivalente à 3)'. Donc , si 3)' est déterminée, 3)^ et 3)' doivent être identiques, et, par exemple, aussi 3) et '3>y
On peut donc dire, si 3)' est déterminée, 3) l'est aussi en général; il y a exception seulement lorsque 3) est une distribution du type (v,, 6i)
62. Je vais supposer maintenant, comme cela arrive dans les exemples particuliers qu'on peut traiter,
dy>{u) = f{u)du, f(u) étant une fonction positive et généralement continue. On a ici
]f(u)du\n = mimmum de f /'(u) {1 + Xj m -|- . . . -^- X„H"j2dM.
D'abord, dans certains cas particuliers, on sait calculer ce minimum, ou obtenir la fraction continue. Ainsi, par exemple, dans le cas
on trouve
, „ n{a+l)...{a + n—\) «1-1, asn+i- i.2...n '
«2 ^ , fl2„ - ar{a+l)...{a + n-l) '
ce
Puisque a > 0, on voit que la série \\<^2k + \ est divergente, donc
Il est clair que, c étant une constante positive, on a ]f{cu)dul„ = — )f{u)dui„,
\f{cu)du\„ = —]f{u)dti\^.
D'autre part , si
reste inférieur à un nombre fixe , on aura
}/i(«)d«ioo=0.
dès qu'on sait que
\nu)du]^=0.
Si, au contraire, le rapport
est constamment supérieur à un nombre positif, on aura certainement
îA(u)dM|, >0, dès qu'on sait que
63. On peut aller plus loin dans cette voie, et nous démontrerons cette proposition.
Supposons que
et que le rapport /i (m) :/■(«) a un maximum fini M^ dans l'intervalle (a, ce) (ce nombre Ma pouvant d'ailleurs croître indéfiniment lorsque a tend vers zéro) , alors , je dis qu'on aura aussi
)A(M)dM|^=0.
Pour le démontrer, soit e un nombre positif aussi petit qu'on le voudra. Je détermine d'abord un nombre positif a par cette condition
j" f,{u)du>~e.
Soit ensuite /"(m) une fonction qui est nulle dans l'intervalle (0, a) et égale à f{u) pour m > a.
On aura
l/{M) duln= r f{ù) Z {uf du= r f{u) SL(ufdu,
2 (m) étant un certain polynôme du degré « en M et qui se réduit à l'unité pour « = 0.
D'autre part , si l'on a
/QO f{u)Sl{ufdu,
on aura
\f{v)du\n=rf{u) Sl{ufdu=rf{u)Sl{ufdu< \f(u)duU.
Donc, puisque nous supposons
|/-(M)dML=0, on aura aussi
)f{û)du\^=Q.
J'observe ensuite que )/i {ii)du\ n < Cfi (m) £ (M)2 du = y Vi («) 2 (M)2 du + T/i (") 2 (")■- du.
Or, le polynôme 2 (m) est déterminé à un facteur près par les conditions
rriu) £ (il) u^du = 0 {k = l,2,...,n),
ou
rf{u)Sl{n)u''du = 0.
Il s'ensuit que toutes les racines de
sont positives, plus grandes que a. Et puisque 2(0)= 1, on voit que, dans l'intervalle (0, a), on a.
0 < 2 (M) ^ 1 , et , par conséquent ,
Ensuite
T/i (m) 2 (Ûf f/ M < M„ ^*/-(«) 2 (m)2 d M = M„ I /(M) duln, a a
donc
î/l(M)dMJ„< Je + M„{/(M)dM|„.
Or, il existe un nombre v tel que, pour w > »>, on a
M„|/'(M)dM|„< Je,
et il est clair d'après cela qu'on a
\fiWdu\^=0. .. . C.Q.F.D.
Dans le cas
j2jr|/i« .— 2;rK"
la fraction continue (voir plus loin n" 86) s'obtient avec des valeurs simples des «^
par conséquent
et aussi , c étant une constante positive
Cela étant , posons
/'j(M) = u«-ie-''"^g(u),
où a>0,6>0,A^|^, tandis que nous supposons c < 6. Ensuite § (m) sera une fonction positive de u, qui dans tout intervalle (a, oo) reste inférieur à un nombre fixe. On a
/"i (M) : /"(M) = M«-i ê (u) e-'>"'- + "^"{l — e-2c yi)^
et l'on voit que ce rapport tend vers zéro pour j< = oo .
Nous pouvons appliquer la proposition démontrée et conclure
JM"-' «-''"'• g (M)!^ = 0.
Ainsi l'intégrale
/ , du
donne une fraction continue convergente, tant que ^^^. Supposons ê (M) = 1 , la fraction continue sera oscillante pour ^ < ^ ; pour abréger, je supprime la démonstration.
64. Appliquons ce résultat à la série de Stirling. On sait qu'en posant
log r iz) = (5; — Ij iog« — 2 + ^ log (2 TT) + j (z), -, ^ \ f^ zdu . ( 1 \
J («)=./ ,^^..Jog r-e-.»
^, ^ I r"^ zu~^ du ,
on a
ou
g-23llXu
C'est là une intégrale telle que nous l'avons étudiée ; on a seulement remplacé z par 2- et multiplié par z. Le développement en série prend ainsi la forme
Bj B2 • 1.2.0 3.4.
et la fraction
continue devient
On a ici
% (M) tend ici vers l'unité pour m = 00 et satisfait ainsi à la condition imposée à cette fonction dans notre énoncé. Il suffit donc de transformer la série de Stirling (A) dans la fraction continue (B), pour avoir une expression convergente qui représente J (0) tant que la partie réelle de z est positive.
La fraction continue change de signe avec 0 comme l'intégrale de Binet ; dont elle est une transformation identique ; mais , lorsqu'on change ainsi le signe de 0, ces expressions donnent — J(0), mais pas J{ — 0); l'axe imaginaire est une coupure, aussi bien pour l'intégrale que pour la fraction continue.
Le calcul des a* est très pénible ; on trouve
ai lJ, «2-3-' ''3-53' "*~2"34Ô' "^~l2i8947* •••'
la loi de ces nombres paraît extrêmement compliquée. 65. Nous terminons ici cette étude de l'intégrale
par l'énoncé des propositions suivantes, dont la démonstration se déduit aisément des formules que nous donnerons plus loin (n°^ 76, 77, 78).
