CHAPITRE XIII. — FONCTIONS EULÉRIENNES. A
Le produit des exponentielles figurant au dénominateur se
RENTE 7 k--1 Ke, e 2 —\e 2 — th —1 ;
celui des binômes figurant au numérateur est #, valeur de
réduit à
Mr
pour £—1, parce que leurs seconds termes sont précisément les racines autres que 1, de l'équation binôme {*—1—o (201, VI). Moyennant quoi, il reste simplement
à. AUDE; P
fe Per 7
uis la formule (12) que nous avions à établir. Les radicaux doivent P ;
être pris positivement, parce que son premier membre est positif pour toute valeur positive de x.
449. Les propriétés de la fonction T(æ) dont nous venons de parler, et d’autres artifices dans le détail compliqué desquels 1l nous est impossible d'entrer, rendent relativement facile la construction d’une Table de ses valeurs (ou plutôt de celles de son logarithme) pour les valeurs positives de æ, et la formule (11) permet de limiter son étendue à l'intervalle compris entre 1 et 2 par exemple; l'emploi de la formule (11 Des) permettrait même d’abaisser à + la limite supérieure de cet intervalle. Cette Table est utile au calcul numérique de beaucoup d’intégrales définies réductibles aux intégrales eulériennes.
Quand x est une quantité positive très grande, une formule curieuse, que nous ne pouvons pas non plus faire connaître, fournit pour {T(x) une expression très simple et d'autant plus approchée que la valeur de x est plus grande. Elle permet ainsi (439) d'évaluer rapidement et avec une grande approximation le produit 1.2...(N — 1) quand N est un entier considérable, question fort importante dans certaines applications de
l'Analyse combinatoire, qui trouve ainsi des ressources inattendues dans la théorie de la fonction Tr.
D'après l'équation différentielle (10), la fonction T2 peut être considérée comme engendrée par deux intégrations successives d’un tronçon illimité du développement de la fonction &:(æ,1) (278, IV, 3°), accompagnées d’une détermination convenable des constantes arbitraires et suivies du passage des logarithmes aux nombres. Cette observation fait présumer que trois intégrations, exécutées sur telles ou telles parties illimitées du développement de E;(æ) (342) et suivies des mêmes opérations accessoires, conduiraient peut-être à de nouvelles fonctions méromorphes ressemblant plus ou moins à la fonction T.
