Teorema della divergenza e la formula

di Stokes nello spazio

Il teorema della divergenza nello spazio `e simile a quello nel piano
e trasforma un integrale triplo in un integrale superciale:
Teorema (Teorema della divergenza nello spazio). Sia D
un dominio regolare di R
3
e sia
F(x, y, z) =F
1
(x, y, z) i+F
2
(x, y, z) j +F
3
(x, y, z) k
un campo vettoriale di classe C
1
(D). Allora, lintegrale su D
della divergenza del campo F `e pari al usso del campo uscente
da D si ha
_ _ _
D
divF(x, y, z) dxdydz =
_
D
+
F(x, y, z) n(x, y, z) d,
dove n `e il campo Rmale alla frontiera D di D orientato verso
lesterno del dominio D.
E facile provare il teorema di Stokes che permette di trasfor-
mare un integrale esteso ad una supercie regolare S in un inte-
grale curvilineo esteso al bordo di S
Teorema (Formula di Stokes). Siano S una supercie rego-
lare avente il contorno chiuso e regolare orientato
+
e V R
3
un dominio contenente la supercie S. Sia
F(x, y, z) =F
1
(x, y, z) i+F
2
(x, y, z) j +F
3
(x, y, z) k
un campo vettoriale di classe C
1
(V ), allora sussiste la seguente
formula
_

+
F dr =
_ _
S
rotF nd, (1)
1
o, equivalentemente,
_

+
F
1
(x, y, z) dx +F
2
(x, y, z) dy +F
3
(x, y, z) dz = (2)
=
_ _
S
__
F
3
y

F
2
z
_
cos +
_
F
1
z

F
3
x
_
cos
+
_
F
2
x

F
1
y
_
cos
_
d
dove la curva
+
`e percorsa nel verso corrispondente alla super-
cie orientata S
+
, cio`e un osservatore che si muove sulla curva
C deve avere sempre a sinistra la faccia positiva della supercie
considerata.
Denizione. Lintegrale
_

+
F dr `e detto circuitazione del
campo vettoriale lungo la curva chiusa e regolare
+
.
Esempio. Calcolare lintegrale di supercie di seconda specie
_ _
S
yzdydz zxdzdx +
1
1 + x
2
+y
2
+z
2
dxdy
esteso alla supercie
S =
_
P(x, y, z) :
x = ucos v, y = usin v, z = v, (u, v) [0, 1] [0, 2]
_
.
Essendo r (u, v) = ucos vi +usin vj +vk, si ricava
r

u
= cos vi + sin vj
e
r

v
= usin vi+ucos vj +k,
2
per cui E = 1, F = 0, G = 1+u
2
e d =

1 + u
2
dudv. Pertanto,
risulta
I =
_ _
S
yzdydz zxdzdx +
1
1 + x
2
+y
2
+z
2
dxdy =
=
_ _
D
_
uv +
u
1 +u
2
+v
2
_
dudv =
=
_
2
0
dv
_
1
0
_
uv +
u
1 + u
2
+v
2
_
du
=
_
2
0
1
2
_
v + log
_
2 + v
2
_
log
_
1 +v
2
_
dv
=
2
+
v
2
_
log
_
2 + v
2
_
log
_
1 +v
2
_

2
0

_
2
0
_
v
2
2 + v
2

v
2
1 + v
2
_
dv
=
2
+ log
_
1 +
1
1 + 4
2
_
+

2 arctan
_

2
_
arctan (2) .
3