CHAPITRE VHI

des variables p et 4, la fonction [p, g] diminuera de même progressivement. Si, par exemple, on augmente p de la quantité infiniment petite &, la puis-

sance x°—* deviendra a (1 — a log:), et l'intégrale dont il s’agit dimibuera de la quantité infiniment petite & fx7—"dx log 2 ( 1— x)",

57. Pour découvrir plus facilement les propriétés de la fonction [p, g], il est utile de considérer en même temps les intégrales Eulériennes de la seconde

L— , espèce. En donnant à ces intégrales! la forme /dx (4 =} ", Euler supposait

que les nombres p et g sont entiers, et son objet était de comparer entr'elles les diverses valeurs de l'intégrale qui répondent à une même valeur de 9; mais nous avons déjà observé qu’on peut considérer l'intégrale dont il s’agit,

comme une fonction continue de la variable < qu'on supposera positive, .

mais qui peut être un nombre quelconque rationnel ou irrationnel. Ainsi a—1 « “

nous regarderons l'intégrale /4x (: ) , prise depuis +=0 jusqu’à x=1,

comme une fonction continue de a, que nous désignerons par Ta, et dans

laquelle & pourra avoir toutes les valeurs, depuis a=0 jusqu’à a = o.

58. Si l'on fait V=—z (12), on aura dV = dx (12) —adx (1 JE s

Intégrant de part et d’autre depuis æ—0 jusqu’à x=1, et observant que V s’évanouit dans ces deux limites, on aura

T(a+:)=aTa; (1) c’est la première et la principale propriété des fonctions T. La démonstration que nous venons d’en donner suppose a positif, sans quoi V ne s’évanouirait pas lorsque x = 1.

On peut distinguer dans les valeurs successives de l'a, plusieurs périodes; la première comprise depuis «=—0 jusqu'à «== 1, la seconde depuis a=1 jusqu'à a= 2, et ainsi de suite à l'infini. Cela posé, il résulte de l’équation précédente que si l’on connaît la fonction T dans toute l’étendue d’une de ces périodes, on pourra déterminer cette fonction dans toute autre période.

Par exemple, si la seconde période est donnée, on trouvera li qui appartient à la première période, et L (7) qui appartient à la quatrième, par les valeurs suivantes, déduites de l'équation (1),

Ti=5T($), T(r)=SiT (6).

59. La fonction Ta est la plus simple lorsque a= 1; alors on a T(a)= Te

416 INTÉGRALES EULÉRIENNES, fdx= x = 1. Donc, lorsque a est un nombre entier , on a généralement Taum1,2.%.6.000s (a— 1); (2)

c’est-à-dire que la fonction Ta est égale au produit de tous les nombres entiers moindres que a.

Cette notion, fort claire lorsque a est un entier, ne présente plus aucun sens lorsque a est fractionnaire; mais l’analyse y supplée en donnant pour valeur de la fonction, l'intégrale fax (1 D, prise depuis += 0 jusqu’à æ=1; intégrale qu'il sera toujours possible d'évaluer avec tel degré d’approximalion qu’on voudra.

Go. La fonction Ta est très remarquable par lutilité dont elle est dans la théorie des intégrales définies. Nous pensons qu’il est nécessaire de lui impo-

, ser un nom particulier, et nous proposons de prendre pour ce nom celui de la lettre grecque T. Nous appellerons donc en général gamma du nombre a, le produit de tous les nombres inférieurs à a, savoir, 1.2.3.... (a—1).

Lorsque a ne sera pas un nombre entier , le gamma du nombre a sera en général une transcendante, Mais nous verrons que ces trauscendantes ont beaucoup de propriétés, et qu’elles peuvent être évaluées dans tous les cas avec presqu’autant de facilité que les arcs de cercle et les logarithmes. Réciproquement le nombre & pourra être regardé comme Ja racine de la fonction Ta, et nous la désignerons de cette manière.

61. Revenons maintenant à l'intégrale définie /x”—‘dx (1— x)", que nous avons représentée par [p, g]. Cette intégrale est facile à déterminer lorsque l’un des deux nombres p et g est entier. Supposons que ce soit g, et faisons U= x’(1—zx)"", nous aurons par la différentiation ,

dU=(p+qg—1) 2 dx (1x) — (g —1) &'dx (1 — x).

Intégrant de part et d'autre depuis x=0 jusqu'à æ= 1, et observant que dans ces deux limites U est nul, puisqu'on suppose à la fois p> 0 et g > 1, Où aura

Ja ax (1x) = RE a dx (1x);

on aurait de la méme manière

far dx (1 — x) = fa dx (1x),

et ainsi successivement, jusqu’à ce qu’on parvienne à l'intégrale /x”'dx

$ * . * LA Li Li + qui, dans les limites données, se réduit à a Donc g étant un nombre en-