$x^2 + y^2 + z^2 = 6z$ denklemini standart biçime getirelim:
Bu, merkezi $(0,0,3)$ ve yarıçapı $R=3$ olan bir küredir.
$z \leq 3$ koşulu, kürenin merkez düzleminin alt kısmını — yani alt yarıküreyi — seçer. Alt yarıküre tam olarak $z=3$ düzlemine kadar uzanır.
$\mathbf{F} = (F_1, F_2, F_3) = (2xz + x^2e^y,\; -2xe^y,\; -z^2)$ için:
Toplamı:
Diverjans sıfır! Bu, Diverjans Teoremi'ni uygulamak için ideal koşuldur.
$\mathcal{F}$ kapalı değildir; $z=3$ düzlemindeki disk $D$ ile tamamlayalım:
Kapalı yüzey $\partial V = \mathcal{F} \cup D$, $V$ ise kürenin alt yarısını çevreleyen hacimdir. Dışa bakan normallerle Diverjans Teoremi:
Bu toplam iki parçaya ayrılır:
Buradan:
Disk $D$: $z=3$, $x^2+y^2\leq 9$. Kapalı yüzeyde $D$'nin dışa bakan normali yukarı yönünde: $\mathbf{n}_D = +\hat{k} = (0,0,1)^T$.
$z=3$ iken $\mathbf{F}$'nin $z$-bileşeni:
$\mathbf{F}\cdot\mathbf{n}_D = (2xz+x^2e^y)(0) + (-2xe^y)(0) + (-9)(1) = -9$
3. Adımdaki eşitliğe disk sonucunu koyalım:
Normal yön kontrolü: Aradığımız normal $\mathcal{F}$ üzerinde negatif $z$-bileşenli (dışa bakan, aşağıya doğru) olmalıdır. Kürenin alt yarısında dışa bakan normal gerçekten aşağıyı gösterir — yön tutarlı. ✓