L'intégrale triple a pour notation

JLfre, y, &) dx dy dz. (1)

Elle s'énonce triple somme de dx, dy, dz. Nous découpons un solide en petits éléments de volume dx dy dz par des plans parallèles aux plans æ0y, yOz, z0x, supposés rectangulaires.

Nous multiplions chaque volume élémentaire par un facteur [(æ, y, z) qui dépend de sa position (il mesure, par exemple, la densité moyenne de l'élément); nous faisons la somme de tous les produits similaires pour tous les éléments de volume; dans l'hypothèse choisie, nous obtenons la masse totale du solide.

Le symbole (1) représente donc une opération parfaitement claire.

Il est loisible de varier le mode de découpage de l'espace. D'une manière générale, soit a, b, c, les coordonnées quelconques qui

376 ee ours DE MATHÉMA TIQUES GÉNÉRALES

servent à pr: un point de l’espace; soit dv l'élément de volume de forme quelconque; l'opération (1) peut aussi bien s’'écrire :

71 fa, b, c) dv.

Ilest évident que le mode de découpage n'intervient pas sur le résultat. Je suppose naturellement que les volumes sont pris assez petits; l'erreur diminue à mesure qu'ils sont plus petits; elle est nulle, si je les prends infiniment petits, c'est-à-dire plus petits que toute quantité donnée à l'avance.

Ainsi pas de difficulté sur la définition et le sens de l'intégrale

triple. La plus simple exprime la grandeur du volume lui-même;

met o= ff fav f ff de dy ds,

dans le cas où le découpage est obtenu par des plans parallèles aux plans coordonnés supposés rectangulaires.

3°. — Les difficultés (non théoriques, mais pratiques) surgissent quand on arrive au calcul. Nous allons montrer que l'intégration triple revient à trois intégrations simples échelonnées; c'est dire que la seconde n'est possible qu'une fois la première réalisée, la troisième qu'après la seconde effectuée.

Considérons en effet le tube de section rectangulaire découpé dans le volume par deux plans distants de dz parallèles à +0y, et deux

plans distants de dy parallèles à x0z (voir fig. 311). Déterminons la valeur de l'intégrale :

dy da [ f(x, y, 2) dx

pour tout ce tube. Les variables y et z restant constantes, nous sommes ramenés à une intégrale simple par rapport à æ, intégrale dont les limites sont des fonctions de y et de z. Cela signifie que la somme effectuée pour les volumes élémentaires qui remplissent le tube, est une fonction de la position du tube repérée par le point où son axe coupe le plan yOz; ce qui est évident.

Imaginons cette première opération effectuée, nous sommes ramenés à l'intégrale double :

[Jay da [ f(æ, y, 2) dx = ff, z) dy dz,

qui implique ($ 306) deux intégrations simples échelonnées.

Nous admettons comme évident que le résultat est le même quel que soit l'ordre des intégrations; l'opération peut être effectuée de six manières différentes (xyz, xzy, yxz, yzæ, zæy, zyx). L'indépendance du mode de groupement des éléments est une proposition connexe de l'indépendance du mode de découpage. Pourvu qu'en définitive on n'ait rien oublié, le résultat doit être le même.

SR de ae

PE

Fonction Gamma.

311. Définition de la fonction l', intégrale eulérienne de seconde espèce.

1°. — Nous poserons :

F(n) 0 ce" dr

La fonction zæ"-!'e-* se réduit à x"! au voisinage de æ—0, puisque e-* est très approximativement égal à 1.

Si n>1, x"! s’annule pour xæ—0; pas de difficulté.

Si n<AÂ, zx"! augmente indéfiniment quand x tend vers 0. Mais il n’en résulte pas que l'intégrale devienne infinie : nous avons démontré ($ 203) qu'elle reste finie ss n>0. Nous supposerons donc qu’il en est ainsi; la fonction T' n'est définie que pour des valeurs positives de l'argument n. |

Quand x est très grand, nous savons ($ 204) que æ*-'e-* tend vers Ü, si grand que soit n; nous sommes même assurés qu il diminue assez vite pour que l'intégrale reste finie. Cela résultera du reste de notre calcul.

®. — On'a ::° d{z'e7*)—={(nx" "le" — re *)dæ;

; 00 20 00 [ re fde=|taer" +n f L states ab} u0 J0 0

Or "2e" -s'annuie pour: 7-0 et. cc, ‘Ilreste: F(n+1)=nt(n). (1) Telle est la formule de récurrence qui nous permet de passer d'un nombre quelconque n au nombre suivant n+1.

Rien ne suppose n entier.

3°. — Si n est entier, la formule donne successivement :

T(n)={(n—1)"(n—1), lfn—1)=—{n—2)T(n—2),

FRS ir.

Multiplions toutes ces équations membre à membre :

Ur: itire [le-*dr — .:

d'où enfin : T{n)—1.2.3....(n—1)—(n—1)! (2)

Le symbole (n—1)! s'’énonce factorielle n—1. Le produit qu'il représente, intervient à tout instant dans les développements en série ($$ 12 et 254).

Voici les valeurs des premières factorielles :

2 6 24 120 720 5040 40320 4. — Supposons n non entier.

S'il est supérieur à 2, posons n—q—p, où q est entier et p compris entre 1 et 2. On a :

F(n)={(n—1)(n—2)...(p+1)p.1(p). (3) l'(n) sera connue si nous pouvons calculer ['(p). Si n est inférieur à À, nous utiliserons la formule :

Nous ramenons ainsi le calcul de Tl'(n) relatif à un argument n quelconque, mais positif, au calcul de l'(p), pour l'argument p compris entre 1 et 2.

312. Valeurs numériques de la fonction l'(n). Le tableau ci-joint donne les valeurs de la fonction entre les valeurs 1 et 2 de la variable. Pour ces limites, on a :

Valeurs de (x) = | a" le # dx,

entre n—1 et nñn—2, multipliées par 10.

À partir de 1, la fonction décroît jusqu'a n—1,4616: elle vaut alors 0,8856. Puis elle recommence à croître.

£ Le “fi 203 représente l'allure générale de la fonction l”.

On a évidemment : [{(0)—<.

On peut se demander pourquoi la courbe croît constamment entre A==2. et. n—93; ulors:quona :

et que l'(n—1) commence par décroître à partir de n—1—1. Cela tient à la croissance plus rapide du facteur n — 1."

Tin)

cm

Fig. 208.

Ainsi pour n — 2, on a I['(2)—1; pour ñn—2;,1, on a n—1—1;,1, FH) 0,9819,:: 162,1; =1,1%0,9513=1,0464.

Même remarque pour les autres intervalles ; raisonnement analogue pour expliquer l'allure de la courbe entre 1 et 0.

La table précédente suffit à calculer les valeurs de l' pour nr quelconque. Soit par exemple n—4,4 et n—4,8. Nous avons :