Documente Academic
Documente Profesional
Documente Cultură
Integrale multiple
Pentru funcţii reale vectorial-scalare, adic¼ a pentru funcţii f : A Rn ! R (de mai multe variabile
reale şi cu valori în R), corespondenta noţiunii de integral¼ a de…nit¼a, în sens Riemann, din cazul
unidimensional, când n = 1 (v. cursul 13), este cea de integral¼ a multipl¼ a. În particular, când n = 2,
se poate vorbi despre integrala dubl¼ a (util¼
a îndeosebi în aprecierea valorilor unor caracteristici numerice
ale entit¼aţilor geometrice sau …zice plane), iar când n = 3 se poate de…ni şi opera cu integrala tripl¼ a,
pentru calculul unor elemente (volum, mas¼ a etc.) ce sunt caracteristice corpurilor din spaţiul euclidian
tridimensional .
Ca şi în cazul în care n = 1, noţiunea riemannian¼ a de integral¼a depinde de domeniul (compact sau
necompact) şi de integrandul (m¼ arginit sau nem¼ arginit, parametrizat sau nu) pentru care se de…neşte,
…ind, dup¼ a caz, proprie sau improprie, cu parametri şi respectiv f¼ ar¼a parametri. Oricum, ca şi în
cazul unidimensional, când integrala se de…neşte prin intermediul conceptului de lungime (m¼ asur¼
a) a
intervalelor parţiale ce intervin în cadrul unei diviziuni (partiţii), este necesar¼ a introducerea prealabil¼ a
a noţiunii de arie (când n = 2), volum (când n = 3) şi, în general, m¼ asur¼ a a unei mulţimi, respectiv
de mulţime m¼ asurabil¼
a (în sens Jordan sau Lebesgue). Iat¼ a de ce, prezentând aici extensia noţiunii
de integral¼ a Riemann pentru funcţii reale de mai multe variabile, menţion¼ am mai întâi elementele
de…nitorii ale noţiunii de m¼ a Jordan a unei mulţimi din Rn şi, raportându-ne la aceasta, expunem
asur¼
apoi conceptul de integral¼ a multipl¼
a (în special, cel de integral¼a dubl¼a şi de integral¼
a tripl¼
a, proprie şi
improprie).
M¼
asura Jordan a unei mulţimi.
Mulţimi din Rn m¼
asurabile în sens Jordan
De…niţia 14.1 i) Date …ind a01 ; a02 ; : : : ; a0n 2 R şi b01 ; b02 ; : : : ; b0n 2 R, aşa încât a0k < b0k , 8 k = 1; n,
se numeşte interval compact n-dimensional, cu "extremit¼ aţile" (dup¼a caz, laturile -
când n = 2, muchiile - când n = 3, feţele - când n 4) paralele cu axele de coordonate,
mulţimea (dreptunghiul - când n = 2, paralelipipedul - când n = 3, hiperparalelipipedul -
când n 4)
I0 = (x1 ; x2 ; : : : ; xn ) 2 Rn j a0k xk b0k ; 8 k = 1; n
a c¼arui m¼
asur¼
a (Jordan) este, prin de…niţie, num¼
arul (cu semni…caţie de arie - când n = 2,
volum - când n = 3, hipervolum - când n 4) dat de produsul notat cu (I0 ) şi egal cu
ii) Numim mulţime elementar¼ a, m¼ a în sens Jordan, orice mulţime din Rn , obţinut¼a
asurabil¼
ca reuniune …nit¼a de intervale compacte n-dimensionale, cu "extremit¼aţile" paralele cu axele de
coordonate şi f¼ar¼a puncte interioare comune.
Atunci când mulţimea A nu include nici o mulţime elementar¼a, m¼asurabil¼a Jordan, E, de…nim
(A) = 0.
Valoare comun¼ a a m¼
asurilor interioar¼
a (Jordan) (A) şi exterioar¼ a (Jordan) (A) se numeşte,
atunci când A este m¼ a în sens Jordan (în Rn ), pur şi simplu, m¼
asurabil¼ asura Jordan (aria Jordan
- când n = 2, volumul Jordan - când n = 3 sau hipervolumul Jordan - când n 4) a mulţimii
a cu J (A).
A şi se noteaz¼
Observaţii:
nu este carabil¼
a (nu are arie Jordan), deoarece (AD ) = 0 6= 1 = (AD ), chiar dac¼
a este
m¼arginit¼ 2
a în R .
3) Exist¼a mulţimi neelementare (în sensul De…niţiei 14.1, ii)) care sunt Jordan m¼
asurabile (în sensul
De…niţiei 14.3). Un exemplu în acest sens îl constituie mulţimea carabil¼ a f - subgraful unei
funcţii f : [a; b] ! R+ integrabile Riemann pe [a; b] (cu a; b 2 R, a < b), adic¼
a mulţimea
f = (x; y) 2 R2 j a x b; 0 y f (x) ;
Zb
pentru care avem: J( f) = aria( f) = f (x) dx.
a
Într-adev¼
ar, dac¼
a f 2 R[a; b], atunci f 2 B[a; b] (v. Propoziţia 13.1 ) şi, pentru orice diviziune
= fa = x0 < x1 < : : : < xn 1 < xn = bg a intervalului [a; b], exist¼ a mi (respectiv Mi ), din
R, ca margine inferioar¼
a (respectiv superioar¼ a) a funcţiei f pe intervalul [xi 1 ; xi ], 8 i = 1; n.
n
[
0 0
Considerând mulţimea E = [xi 1 ; xi ] [0; mi ], avem: E 0 2 Ej2 , E 0 f şi (E ) =
i=1
n
X
mi (xi xi 1) = sf ( ) (suma Darboux inferioar¼
a, corespunz¼
atoare lui f şi lui 2 D[a; b]). În
i=1
n
[
consecinţ¼
a, rezult¼
a c¼
a sf ( ) ( f ). În mod asem¼ ator, considerând E 00 =
an¼ [xi 1 ; xi ]
i=1
n
X
a E 00 2 EJ2 , E 00
[0; Mi ], vedem c¼ f şi (E 00 ) = Mi (xi xi 1) = Sf ( ) ( f ),
i=1
unde Sf ( ) este suma Darboux superioar¼ a, corespunz¼
atoare lui f şi . Prin cumulare, avem:
sf ( ) ( f) ( f) Sf ( ), 8 2 D[a; b]. Dar, cum f este integrabil¼a pe [a; b], este
Zb
adev¼ a relaţia: I = sup sf ( ) = inf Sf ( ) = I = f (x) dx (v. Teorema 13.2). Se ajunge
arat¼
a
Zb
astfel la concluzia exprimat¼
a prin egalitatea ( f) = ( f) = f (x) dx, ceea ce, ţinând
a
seama de De…niţia 14.3, înseamn¼
a tocmai c¼
a este o mulţime carabil¼
f a (adic¼a m¼ asurabil¼
a în
Zb
sens Jordan în R2 ) şi are aria (adic¼
a m¼
asura p¼
atratic¼
a) Jordan egal¼
a cu f (x) dx.
a
eb p eb p
a, 0 < eb, a =
Aşa este cazul în care 0 < e e
a, b = e
a, f (x) = ea2 x2 şi g(x) = ea2 x2 ,
e
a e
a
8 x 2 [a; b] = [ e
a; e
a], caz caracteristic mulţimii
( )
eb p eb p
2
f;g = (x; y) 2 R j e
a x e
a; ea2 x2 y ea2 x2 ;
e
a e
a
x2 y2
adic¼
a mulţimii punctelor interioare şi de pe frontiera elipsei de ecuaţie + 1 = 0. Prin calcul,
a2
e eb2
g¼
asim c¼a, în acest caz, avem: aeb. Aşadar, aria (Jordan a) elipsei de semiaxe e
J ( f;g ) = e a şi eb este
a cu e
egal¼ aeb.
Teorema 14.1 Fie A Rn o mulţime m¼arginit¼a. Atunci, a…rmaţiile de mai jos sunt echivalente:
b) 8 " > 0, exist¼a E"0 şi E"00 din EJn , astfel încât E"0 A E"00 şi 0
J (E" )
00
J (E" ) < ";
d) Exist¼a şirurile em
E EJn şi bm
E em
EJn , aşa încât E A bm , 8 m 2 N şi
E
m2N m2N
lim (Em )e = lim b
(Em ).
m!1 J m!1 J
Demonstraţie: Pentru echivalenţa a…rmaţiilor a) şi b), vedem mai întâi c¼ a, dac¼ a A este Jordan-
m¼ asurabil¼ a, atunci (A) = (A) = j (A) şi, din de…niţia (caracterizarea) cu """ a marginii supe-
rioare ce d¼ a pe (A), rezult¼ a, 8" > 0, 9 E"0 2 EJn aşa încât E"0
a c¼ A şi J (A) 2" < J (E"0 ), iar
din de…niţia marginii inferioare ce d¼ a pe (A), reiese c¼ a, 8 " > 0, 9 E"00 2 EJn astfel încât E"00 A şi
00 " 0 şi E 00 din E n , încât
J (E " ) < J (A) + 2 . Aşadar, dac¼
a (A) = (A) = J (A). atunci, 8 " > 0, 9 E " " J
00 0 " "
J (E" ) J (E" ) < J (A) + 2 J (A) 2 = ".
Reciproc, dac¼ a, 8 " > 0, 9 E"0 ; E"00 2 EJn , astfel încât E"0 A E"00 şi J (E"00 ) 0
J (E" ) < ", atunci
0 (A) (A) < ". Deci, (A) = (A). Adic¼ a A este Jordan m¼ asurabil¼a.
Privitor la faptul c¼ a a) şi c) sunt a…rmaţii echivalente, putem vedea la început c¼ a, dac¼ a A este
m¼ asurabil¼ a Jordan, iar a) şi b) sunt echivalente, atunci, 8 " > 0, 9 E"0 şi E"00 2 EJn , aşa încât E"0 A
o o o o
E"00 şi 00
J (E" )
0
J (E" ) =
00 0
J (E" E" ) < ": Cum F r(A) = A A E"00 E"0 = E"00 E"0 , iar E"00 E"0 2 EJn
o
şi J (E"00 E"0 ) = J (E"00 E"0 ) < ", rezult¼ a c¼
a, potrivit Propoziţiei 14.1, mulţimea F r(A) este Jordan-
m¼ asurabil¼a şi J (F r(A)) = 0. Invers, dac¼ a c) este adev¼arat¼
a, atunci, prin aplicarea Propoziţiei 14.1,
rezult¼ a, 8 " > 0, 9 E" 2 EJ astfel încât J (E" ) < " şi F r(A) E" . Dar, cum orice mulţime din EJn ,
a c¼ n
care conţine frontiera mulţimii A, se poate scrie ca diferenţa a dou¼ a mulţimi din EJn , între care se a‡a¼
inclus¼ a A, se poate spune c¼ a, 8 " > 0, odat¼ a E" şi E" din EJn , astfel încât E" = E"00 E"0 ,
a cu E" , exist¼ 0 00
00 0 0 A E"00 . Deci are loc b), adic¼
J (E" ) J (E" ) = J (E" ) < " şi E" a a).
1
În …ne, b) şi d) sunt echivalente deoarece, dac¼ a are loc b), atunci, pentru " = m , cu 8m 2 N ,
e 0 b 00 n e b
9 Em = E" şi Em = E" din EJ , astfel încât Em A Em , 8m 2 N şi 0 b
J (Em )
e 1
J (Em ) < m ,
adic¼ a lim J (E em ) = lim J (E bm ). Reciproc, dac¼a d) este adev¼ arat¼a, atunci 8 " > 0, exist¼ a m(") 2
m!1 m!1
N , aşa încât, 8m 2 N cu m m("), avem b
J (Em )
e
J (Em ) < " şi prin urmare, b) are loc, cu
E"0 = Eem(") şi E"00 = E
bm(") : J
Observaţii:
1) Pe baza echivalenţei dintre a…rmaţiile a) şi b) din Teorema 14.1, se poate spune c¼
a orice mulţime
Jordan-m¼asurabil¼
a este, în mod necesar, m¼ arginit¼
a.
4) Gra…cul oric¼arei funcţii continue f : [a; b] ! R+ este o mulţime din R2 , de arie (m¼ asur¼
a p¼a-
tratic¼
a) Jordan nul¼ 2
a. Aceasta întrucât f 2 C[a; b] R[a; b] şi deci f = f(x; y) 2 R =a x b;
0 y f (x)g este Jordan - m¼ asurabil¼a şi, prin echivalenţa a…rmaţiilor a) şi c) din enunţul
Teoremei 14.1, mulţimea F r( f ) are arie (Jordan) nul¼ a. Astfel, şi Gf F r( f ) are aria nul¼ a.
6) Orice disc din R2 are arie, întrucât, exist¼a întotdeauna dou¼ a şiruri de mulţimi din EJ2 , unul al
poligoanelor cu n laturi, înscrise în cercul-frontier¼
a al discului şi cel¼alalt al poligoanelor cu n
laturi, circumscrise respectivului cerc, aşa încât diferenţa ariilor poligoanelor cu câte n laturi
este oricât de mic¼
a pentru n su…cient de mare. Astfel, în virtutea echivalenţei dintre d) şi a) (v.
Teorema 14.1), discul are arie.
Notând cu MnJ mulţimea tuturor p¼ arţilor lui Rn care sunt m¼ asurabile în sens Jordan,
pot … evidenţiate unele propriet¼ asurii Jordan şi, implicit, ale elementelor din MnJ , dup¼
aţi ale m¼ a
cum urmeaz¼ a.
Observaţie:
P
p
În virtutea propriet¼
aţii de aditivitate …nit¼
a (v. Teorema 14.2-2)), avem: J (D) = J (Di ).
i=1
De…niţia 14.5 Fie = fDi gi=1;p o partiţie a lui D şi i = ( i1 ; i2 ; : : : ; in ) 2 Di un punct arbitrar
ales, 8i = 1; p. Not¼am cu mulţimea de puncte 1 ; 2 ; : : : ; p . Se numeşte sum¼a Riemann ataşat¼a
funcţiei f : D ! R, partiţiei şi setului de puncte 1 ; 2 ; : : : ; p din , num¼arul
p
X
f( ; )= f ( i) J (Di ):
i=1
De…niţia 14.6 Spunem c¼a funcţia f : D ! R, m¼arginit¼a pe mulţimea conex¼a, m¼arginit¼a, închis¼a
şi Jordan-m¼asurabil¼a D Rn , este R integrabil¼a (Riemann integrabil¼a) pe D, dac¼a exist¼a I 2 R,
cu proprietatea c¼a, 8" > 0,9 (") > 0, aşa încât, oricare ar … o partiţie = fDi gi=1;p a lui D, cu
i
k k < (") şi oricare ar … punctele 2 Di , i = 1; p, avem:
m J (D) sf ( ) Sf ( ) M J (D)
m J (D) I I M J (D):
I = I 2 R:
Teorema 14.3 Orice funcţie continu¼a pe o mulţime D Rn , conex¼a, închis¼a, m¼arginit¼a şi Jordan-
m¼asurabil¼a, este R-integrabil¼a pe D (în sensul De…niţiei 14.6).
În acelasi timp, din continuitatea lui f pe D şi, implicit, pe oricare din subdomeniile compacte Di ,
rezult¼
a c¼
a f este m¼arginit¼
a şi îşi atinge marginile pe Di , 8i = 1; p , …ind chiar uniform continu¼ a pe D.
a i şi i din Di încât mi = f ( i ) şi
Astfel, exist¼ Mi = f ( i ), iar pentru orice " > 0, exist¼
a (") > 0
pentru care, oricare ar … x0 şi x00 din D, cu kx0 x00 kRn < ("), avem jf (x0 ) f (x00 )j < "(D) . J
J
În consecinţ¼
a, pe baza Propoziţiei 14.2, rezult¼
a c¼
a f este R-integrabil¼
a pe D.
Teorema 14.4 Dac¼a f : D ! R este o funcţie m¼arginit¼a pe mulţimea conex¼a, închis¼a, m¼arginit¼a şi
m¼asurabil¼a Jordan D din Rn , iar, în plus, cu excepţia eventual¼a a unei mulţimi de m¼asur¼a Jordan
nul¼a, f este continu¼a pe D, atunci f 2 R(D).
Propriet¼
aţile integralei multiple sunt similare celor ale integralei din cazul n = 1 şi se pot demonstra
pe baza De…niţiei 14.6 şi a Teoremei 14.2. În acest sens, este adev¼ arat¼a urm¼atoarea propoziţie.
Propoziţia 14.3 Fie D Rn o mulţime nevid¼a, conex¼a, închis¼a, m¼arginit¼a şi Jordan-m¼asurabil¼a.
Atunci:
R R
a) D 1 dx1 dx2 : : : dxn = J (D);
e) 8f 2 R(D), cu m = inf ff (x)g şi M = sup ff (x)g, exist¼a 2 [m; M ] astfel încât:
x2D x2D
Z Z
f (x1 ; : : : ; xn )dx1 : : : dxn = J (D):
D
Integrala dubl¼
a pe mulţimi compacte
În plus, dac¼a f (x; y) = f1 (x)f2 (y), 8(x; y) 2 [a; b] [c; d], iar f1 2 R[a; b] şi f2 2 R[c; d], atunci:
ZZ Z b Z d
f1 (x)f2 (y)dx dy = f1 (x)dx f2 (y)dy:
[a;b] [c;d] a c
Xn X m
(14.2) Mij (xi xi 1 )(yj yj 1) = Sf ( );
i=1 j=1
unde = 0 0 este partiţia considerat¼a a dreptunghiului D = [a; b] [c; d]. Cum, prin ipotez¼ a,
RR Rb Rd
exist¼a D f (x; y)dx dy şi, în acelaşi timp, exist¼a şi a ( c f (x; y)dy)dx; tragem concluzia c¼
a, pe seama
relaţiei (14:2), rezult¼
a:
ZZ Z b Z d
f (x; y)dx dy = ( f (x; y)dy)dx:
[a;b] [c;d] a c
J
Observaţii: Rb
i) Atunci când f 2 R([a; b] [c; d]) şi exist¼ a a f (x; y)dx; 8y 2 [c; d], iar aceasta din urm¼ a, ca
funcţie de y, este R-integrabil¼
a pe [c; d], atunci prin inversarea rolurilor lui x şi y în cadrul Propoziţiei
14.4, avem
ZZ Z d Z b
f (x; y)dx dy = ( f (x; y)dx)dy:
[a;b] [c;d] c a
b) Analog, un domeniu D R2 se numeşte simplu în raport cu axa Ox dac¼a exist¼a dou¼a funcţii
continue ; ! : [c; d] ! R, aşa încât (y) < !(y), 8y 2 [c; d] şi
Teorema 14.5 Fie D R2 un domeniu simplu în raport cu axa Oy şi f 2 C(D; R). Atunci are loc
formula
ZZ Z b Z (x)
(14.4) f (x; y)dx dy = ( f (x; y)dy)dx;
D a '(x)
unde D = f(x; y) 2 R2 j a x b; '(x) y (x)g, cu ' şi din C([a; b]; R), aşa încât
'(x) < (x), 8x 2 [a; b]:
l
'l (x) = '(x) + ( (x) '(x)); 8x 2 [a; b]; l 2 f0; 1; : : : ; ng:
n
Avem '0 = ' şi 'n = :
Fie notat¼
a cu n partiţia lui D prin elementele (Dij ) 1 i n, unde
1 j n
Folosind notaţiile mij = inf ff (x; y)g şi Mij = sup ff (x; y)g, 8i; j = 1; n, avem:
(x;y)2Dij (x;y)2Dij
Z xi Z 'j (x)
mij aria(Dij ) ( f (x; y)dy)dx Mij aria(Dij ); 8i; j = 1; n:
xi 1 'j 1 (x)
Z Z ! n X
n
b (x) X
(14.5) = f (x; y)dy dx Mij aria(Dij ) = Sf ( n ):
a '(x) i=1 j=1
RR
Cum f este integrabil¼
a pe D, avem lim sf ( n) = lim Sf ( n) = D f (x; y)dx dy şi atunci, pe
n!1 n!1
seama relaţiei (14:5), deducem c¼
a are loc formula de calcul (14:4) din concluzia teoremei. J
Observaţii:
a) În cazul în care f 2 C(D), iar D este simplu în raport cu axa Ox, adic¼
a
b) În situaţia în care D nu este simplu nici în raport cu axa Oy şi nici în raport cu axa Ox, dar
se poate exprima ca o reuniune …nit¼ a de subdomenii simple (…e în raport cu Oy, …e în raport cu Ox)
şi mutual disjuncte atunci pentru calculului integralei duble în cauz¼
a, se folosesc împreun¼ a formulele
(14:1) (din propoziţia 14.3-f), (14:4) şi (14:6).
y
Exemplul 14.1. Fie D = f(x; y) 2 R2 j1 xy 3; 1 x 4g. S¼a se calculeze aria (D).
Prin aplicarea formulei de la punctul a) al Propoziţiei 14.3, avem:
ZZ
aria(D) = dx dy:
D
Propoziţia 14.5 Fie F : ! D, F (u; v) = (x(u; v); y(u; v)), (u; v) 2 o schimbare de variabile şi
f : D ! R o funcţie continu¼a. Atunci, are loc formula
ZZ ZZ
D(x; y)
f (x; y)dx dy = f (x(u; v); y(u; v)) (u; v)du dv;
D D(u; v)
D(x;y) D(x;y)
în care D(u;v) semni…c¼a Jacobianul (determinantul funcţional al) lui F , iar D(u;v) valoarea sa abso-
lut¼a.
Observaţii:
i) De obicei, se recurge la o schimbare de variabile sugerat¼a de forma domeniului D.
y
Astfel,
p în cazul exemplului de mai sus, luând xy = u şi = v, cu u 2 [1; 3] şi v 2 [1; 4], altfel spus
p x
x = uv şi y = uv, avem
ZZ ZZ
D(x; y)
aria(D) = dx dy = (u; v)du dv;
D D(u; v)
unde = f(u; v) 2 R2 j1 u 3; 1 v 4g = [1; 3] [1; 4] şi
2 3 2 p 3
@x @x 1 u
6 p p 7
D(x; y) 6 @u @v 7 6 2 puv 2v 1
(u; v) = det(4 @y p v 7) =
D(u; v) @y 5)(u; v) = det(4 v u 5 2v
:
p p
@u @v 2 u 2 v
Deci, şi pe o asemenea cale, reg¼
asim faptul c¼
a
Z 3 Z 4 ! !
3 4
1 1 1
aria(D) = du dv = u ln v = 2 ln 4 = 2 ln 2:
1 1 2v 1 2 1 2
ii) Frecvent practicate sunt transform¼ arile de la coordonatele carteziene (x; y) la cordonatele polare
(r; ), prin relaţiile
(
x = r cos
; cu r 2 [r1 ; r2 ] [0; 1); 2 [ 1 ; 2 ] [0; 2 ];
y = r sin
precum şi pe aceea privitoare la determinarea coordonatelor centrului de greutate (xG ; yG ) al unei
pl¼
aci materiale plane D, cu densitatea de mas¼a , potrivit formulelor:
RR RR
x (x; y)dx dy y (x; y)dx dy
xG = RRD şi yG = RRD :
D (x; y)dx dy D (x; y)dx dy
Integrala tripl¼
a pe domenii compacte
Integrala tripl¼a reprezint¼a cazul particular al integralei multiple ce corespunde lui n = 3. Evident
c¼
a toate de…niţiile, rezultatele şi observaţiile din cazul general îşi p¼
astreaz¼
a valabilitatea şi când n = 3.
Astfel, între altele, De…niţia 14.6, Propoziţia 14.3 şi Teorema 14.3 stabilesc, prin particularizare, pentru
n = 3, modalitatea de introducere a num¼ arului
ZZZ
f (x; y; z)dx dy dz
D
cu semni…caţia sa de integral¼ a tripl¼
a, în sens Riemann, a funcţiei f : D ! R, pe domeniul compact şi
m¼ asurabil-Jordan (adic¼ a cu volum Jordan) din R3 , precum şi propriet¼ aţile integralei triple, între care
şi faptul c¼
a orice funcţie continu¼ a pe D este integrabil¼a (triplu), în sens Riemann, pe D.
Modalit¼ aţile de calcul ale unei integrale triple se pot descifra prin analogie cu cele de la integrala
dubl¼ a.
De…niţia 14.8 Un domeniu D R3 se numeşte simplu în raport cu axa Oz (de exemplu) dac¼a
exist¼a un domeniu D e ! R, cu proprietatea '(x; y) <
e R2 , carabil şi dou¼a funcţii continue '; : D
e astfel încât
(x; y); 8(x; y) 2 D,
e
D = f(x; y; z) 2 R3 j '(x; y) < z < (x; y); 8(x; y) 2 Dg:
Un astfel de domeniu spaţial are volumul (în sens Jordan) dat de formula
ZZ ZZ
vol(D) = (x; y)dx dy '(x; y)dx dy:
e
D e
D
Totodat¼
a, analog Teoremei 14.5, este aici urm¼
atorul rezultat:
RRR p
Exemplul 14.3. S¼a se calculeze x2 + y 2 dx dy dz, unde D este domeniul m¼arginit de
p D
2
suprafeţele z = 0; z = 1 şi z = x + y . 2
p
Observând c¼ a D = f(x; y; z) 2pR3 j x2 + y 2 z e unde D
1; 8(x; y) 2 Dg; e = f(x; y) 2
2 2
R j x +y 2 2 2
1g; avem '(x; y) = x + y şi (x; y) = 1, aşa încât, prin utilizarea formulei (14:7)
(v. Propoziţia 14.6), obţinem:
0 1
ZZZ p ZZ Z1
B Cp
x2 + y 2 dx dy dz = B dz C 2 2
e @ A x + y dx dy =
D D p
x2 +y 2
ZZ p p
= x2 + y 2 (1 x2 + y 2 )dx dy:
e
D
De aici, mai departe, folosind trecerea de la coordonatele carteziene (x; y) la cele polare (r; ),
avem:
ZZ p p Z 2 Z 1
2 2
x + y (1 2 2
x + y )dx dy = r(1 r)r dr d =
e
D 0 0
Z 1 1
r3 r4
=2 (r2 r3 )dr = 2 = :
0 3 4 0 6
În ceea ce priveşte corespondentul rezultatului stipulat de Propoziţia 14.5, acesta este urm¼
atorul:
Propoziţia 14.7 (Formula de calcul pentru integrala tripl¼ a pe o mulţime compact¼ a, cu
3
volum, din R , prin transformare de coordonate)
Fie şi D dou¼a domenii compacte, cu volum Jordan, din R3 . De asemenea, …e F : ! D, unde
F (u; v; w) = (x(u; v; w); y(u; v; w); z(u; v; w)); 8(u; v; w) 2 , o transformare punctual¼a, bijectiv¼a, de
D(x;y;z)
clas¼a C 1 ( ; D) şi cu jacobianul D(u;v;w) nenul pe . Dac¼a f 2 C(D; R), atunci are loc formula:
ZZZ ZZZ
D(x; y; z)
( ) f (x; y; z)dx dy dz = f (x(u; v; w); y(u; v; w); z(u; v; w)) (u; v; w)du dv dw:
D D(u; v; w)
Observaţii:
a schimbare de variabile în R3 este trecerea de la coordonatele carteziene x; y; z
1) Cea mai utilizat¼
la coordonatele sferice r; ; ', potrivit relaţiilor:
8
>
<x = r sin cos '; r 2 [r1 ; r2 ] [0; +1];
y = r sin sin '; 2 [ 1 ; 2 ] [0; ];
>
:
z = r cos ; ' 2 ['1 ; '2 ] [0; 2 ]:
2) O alt¼
a schimbare de variabile pentru integrala tripl¼ a este trecerea de la coordonatele carteziene
la coordonatele (aşa-numite) cilindrice, transformare de…nit¼ a de relaţiile:
8
>
<x = r cos ; r 2 [r1 ; r2 ] [0; +1];
y = r sin ; 2 [ 1 ; 2 ] [0; 2 ];
>
:
z = z; z 2 [z1 ; z2 ] R:
Şi integral¼
a tripl¼
a îşi are aplicaţiile ei în geometrie, …zic¼ a şi alte domenii, între care, menţion¼
am
aici calculul masei unei corp material D, de densitate cunoscut¼ a , pe baza formulei
ZZZ
(x; y; z)dx dy dz;
D
precum şi determinarea coordonatelor centrului de greutate (xG ; yG ; zG ) al unui corp D, cu densitatea
material¼
a , în conformitate cu urm¼ atoarele formule:
RRR RRR RRR
D x (x; y; z)dx dy dz D y (x; y; z)dx dy dz z (x; y; z)dx dy dz
xG = RRR ; yG = RRR ; zG = RRRD :
D (x; y; z)dx dy dz D (x; y; z)dx dy dz D (x; y; z)dx dy dz
În general, în cazul unei integrale multiple pe un domeniu compact şi Jordan-m¼ asurabil din Rn ,
calculul se poate face, în anumite condiţii (deductibile prin analogie cu situaţiile în care n = 2 sau
n = 3), pe baza uneia dintre urm¼ atoarele dou¼ a formule:
Z Z
f (x1 ; : : : ; xn )dx1 : : : dx2 =
D
Z b Z 2 (x1 )
Z n (x1 ;:::;xn 1 )
= dx1 dx2 : : : f (x1 ; x2 ; : : : ; xn )dxn
a '2 (x1 ) 'n (x1 ;:::;xn 1)
Ca şi în cazul unidimensional, se poate extinde noţiunea de integral¼ a şi pentru situaţiile în care …e
domeniul nu este compact, …e integrandul nu este m¼ arginit, …e ambele aceste caracteristici au loc.
Tratând dintr-odat¼ a atât cazul când domeniul este nem¼ arginit, cât şi cazul când funcţia de integrat
este nem¼ arginit¼
a, în leg¼
atur¼
a cu integralele multiple improprii se pot menţiona urm¼ atoarele:
De…niţia 14.9 Fie D Rn un domeniu (m¼arginit sau nem¼arginit) şi f : D ! R o funcţie (m¼arginit¼a
sau nu) ce se presupune a … R-integrabil¼a pe orice submulţime compact¼a şi Jordan-m¼asurabil¼a a lui
D. R R
Spunem c¼a integrala D f (x1 ; : : : ; xn )dx1 : : : dxn este convergent¼ a dac¼a, pentru orice şir de
domenii m¼arginite fDk gk2N , care sunt m¼asurabile-Jordan şi au propriet¼aţile urm¼atoare
i) D1 D2 : : : Dk : : :
ii) Dk Dk+1 , 8k 2 N ,
S
1
iii) Dk = D;
k=1 R R
exist¼a şi este …nit¼a lim Dk f (x1 ; : : : ; xn )dx1 : : : dxn , valoarea ei …ind independent¼a de alegerea
k!1
şirului fDk gk2N . R R
În cazul când respectiva limit¼a nu exist¼a sau este in…nit¼a, spunem c¼a integrala D f (x1 ; : : : ; xn )dx1 : : : dxn
este divergent¼ a.
Ca şi în cazul unidimensional (când n = 1), se pot pune în evidenţ¼ a diverse criterii de conver-
genţ¼
a/divergenţ¼
a pentru integrale multiple improprii, iar calculul unor asemenea integrale, în situaţia
de convergenţ¼
a, se va baza pe formula
Z Z
lim f (x1 ; : : : ; xn )dx1 : : : dxn ;
k!1 Dk
R R
în care valoarea integralei Dk f (x1 ; : : : ; xn )dx1 : : : dxn se determin¼
a pe una dintre c¼
aile mai-sus-
prezentate. RR 2 2
Exemplul 14.5. Integrala R2 e x y dx dy este convergent¼a şi are valoarea , dup¼a cum
urmeaz¼a :
ZZ Z 2 Z 1
x2 y 2 2 1 r2 a 2
e dx dy = e r r dr d = ( 2 ) lim e = lim (1 e a ) = :
R2 0 0 a!1 2 0
a!1
Exemplul 14.6. Integrala improprie (din pricina nem¼arginirii integrandului în (0; 0))
ZZ
1
I= 2 2 =2
dx dy;
D (x + y )
unde D = f(x; y) 2 R2 j x2 + y 2 < 2 g, > 0 şi > 0, se poate aprecia prin intermediul formulei
ZZ
1
lim =2
dx dy;
n!1 Dn (x2 + y2)
unde Dn = D n B( R2 ; n1 ), 8n 2 N .
1
Astfel, trecând la coordonate polare (pe seama relaţiilor x = r cos ; y = sin ;cu n r ; 2
[0; 2 ]), obţinem:
Z 2 Z ! Z !
r 1
I = lim dr d = (2 ) lim r dr =
n!1 0 1=n r n!1 1=n
8 !
>
> 2
>
> lim r2 ; 0 < 6= 2 (
<n!1 2 2 ; 0< <2
1=n
!
=2 = :
>
> +1; 2
>
> lim ln r ; =2
:n!1
1=n
Bibliogra…e
1. B.M. Budak, S.V. Fomin - Multiple Integrals. Field Theory and Series, Edit. "Mir", 1973.
3. Şt. Frunz¼
a - Analiz¼a matematic¼a ( partea a II-a), Edit. Universit¼
aţii "Al. I. Cuza" Iaşi, 1992.
4. V. Postolic¼
a - Analiz¼a matematic¼a. E…cienţ¼a prin matematic¼a aplicat¼a (cap. 17), Edit. Matrix
Rom, Bucureşti, 2006.
7. Sever Angel Popescu - Mathematical Analysis II. Integral Calculus, Conspress, Bucharest, 2011.
_
8. Maria Polcerova - Mathematics II. Chapter 14: Multiple Integrals, FCH VUT v Brne, 2013.
9. Gilbert Strang and a large contributing group of authors –Calculus, Vol. 3, Chap. 5: Multiple
Integration, OpenStax, Rice University, 2016
(https://d3bxy9euw4e147.cloudfront.net/oscms-prodcms/media/documents/CalculusîVoumeî3-OP.pdf)