I. — PROCEDES DE CALCUL. - FORMULE DE GREEN

à chaque subdivision de A correspond ainsi une somme supérieure S et une somme inférieure s. Toutes les sommes S sont évidemment supérieures à mÛ, en désignant par Q l^aire de la portion du plan A; elles ont donc une limite inférieure I. De même, toutes les sommes s sont inférieures à MQ; elles ont donc une limite supérieure l'. D'ailleurs, une somme supérieure quelconque est plus grande qu'une autre somme inférieure également quelconque (on )e démontre comme au n° 71). On a donc

Si la fonction /(^-ly) est continue, les sommes S et 5 ont un«^ limite commune lorsque les aires partielles diminuent indéfiniment dans toutes leurs dimensions. Supposons en efifet que l'on ait pris un nombre positif 7) tel que l'oscillation de la fonction soit moindre que s dans toute portion de A dont toutes les dimensions sont inférieures à y|. Si toutes les portions «4, «2, . . . , a„ sont de dimensions inférieures à vj, chacune des différences M/ — mi sera inférieure à e et la différence S — s sera elle-même moindre que eQ, en désignant par Q l'aire totale de la portion A du plan. Mais on a

et aucun des nombres S — f, I — F, F — s ne peut être négatif. On a donc en particulier I — !'< eu; et, comme e est un nombre positif arbitraire, il faut que l'on ait l'= I. Les différences S — I, I — s peuvent elles-mêmes être rendues plus petites que tout nombre donné à l'avance, en prenant e assez petit. Les sommes S et s ont donc une limite commune I, que l'on appelle Yintégrale double de la fonction /(x, y) étendue à l'aire A. On la représente par la notation

I = / / f{x,y)dxdy,

et la portion A du plan est le champ (Tinté g ration.

Soit (îi, Y||) un point quelconque à l'intérieur ou sur le contour de la portion a,-; il est clair que la somme Sy(Ç/, 7)/)(0| est comprise entre les deux sommes S et 5; elle a donc aussi pour limite l'intégrale double, quelle que soit la façon dont on choisit le point ($1, Trji).

286 CHAPITRE Vf. - - INTÉGRALES DOUBLES.

Le premier théorème de Ja moyenne s'étend sans difFiculté aux intégrales doubles. Soienty*(:r, y), <p(^, J^) deux fonctions continues dont Tune ç(^, y) garde un signe constant dans A; nous supposerons, par exemple, ç(x, y) !> o. Si M et m sont les limites de /(^^y) dans A, il est clair que Ton a

M<p{$/-, rii)wi>f{^i, Tr)/)?p(?/, Ti/)io/> m<p({|-, r,/)w/;

en ajoutant toutes ces inégalités, et passant à la limite, on en conclut que Ton a

[JL étant compris entre M et m. La fonction y(;r,j^) étant continue prend la valeur a pour un point (Ç, tj) intérieur au contour C et l'on peut encore écrire

c'est la formule de la moyenne pour les intégrales doubles. Si par

exemple p(^, JK) = i? l'intégrale / / dxdy^ étendue à la portion

du plan A, est évidemment égale à Taire Q de cette portion du plan, et la formule (i) devient

il) f f f{x. y) dx dy = Qfil tj).

122. Volumes. --- A la notion analytique de l'intégrale double se rattache une notion géométrique importante, celle du volume. Soit y(^, y) une fonction continue à l'intérieur d'un contour fermé C, et sur ce contour lui-même; nous supposerons de plus, pour fixer les idées, cette fonction constamment positive. Soit S la surface représentée par l'équation z ^=/{x^ y), et limitée par une courbe F qui se projette orthogonalement suivant le contour G sur le plan des xy; nous appellerons E la portion de l'espace limitée par le plan des xy, la surface* S et le cylindre qui a C pour section droite. La portion A du plan des xy, intérieure au contour C, étant divisée en portions plus petites d*une façon arbitraire, soit a/ l'une de ces portions limitée par un contour <r/ et (0/ Taire de cette portion. Le cylindre qui a pour section droite