Inne nazwy to całka powierzchniowa funkcji skalarnej i całka powierzchniowa pierwszego rodzaju .
Niech funkcja rzeczywista
f
:
S
→
R
,
{\displaystyle f\colon \ S\to \mathbb {R} ,}
określona na powierzchni
S
⊂
R
3
,
{\displaystyle S\subset \mathbb {R} ^{3},}
będzie ciągła . Poprzez
D
{\displaystyle D}
oznaczamy rzut powierzchni
S
{\displaystyle S}
na płaszczyznę
X
Y
.
{\displaystyle XY.}
Dzielimy
D
{\displaystyle D}
na podobszary
Δ
δ
1
,
Δ
δ
2
,
…
,
Δ
δ
n
,
{\displaystyle \Delta \delta _{1},\Delta \delta _{2},\dots ,\Delta \delta _{n},}
gdzie
Δ
δ
i
∩
Δ
δ
j
=
∅
{\displaystyle \Delta \delta _{i}\cap \Delta \delta _{j}=\emptyset }
dla każdego
i
≠
j
.
{\displaystyle i\not =j.}
Oznaczmy przez
P
{\displaystyle P}
ten konkretny podział.
Oznaczamy przez
Δ
S
i
{\displaystyle \Delta S_{i}}
tę część powierzchni
S
,
{\displaystyle S,}
której rzutem na płaszczyznę
X
Y
{\displaystyle XY}
jest
Δ
δ
i
.
{\displaystyle \Delta \delta _{i}.}
Niech
|
Δ
δ
i
|
{\displaystyle |\Delta \delta _{i}|}
oznacza pole powierzchni
Δ
δ
i
,
{\displaystyle \Delta \delta _{i},}
a
|
Δ
S
i
|
{\displaystyle |\Delta S_{i}|}
pole powierzchni
Δ
S
i
{\displaystyle \Delta S_{i}}
[1] . Na każdym
Δ
S
i
{\displaystyle \Delta S_{i}}
obieramy dowolny punkt
p
i
=
(
x
i
,
y
i
,
z
i
)
∈
Δ
S
i
.
{\displaystyle p_{i}=(x_{i},y_{i},z_{i})\in \Delta S_{i}.}
Rzutem
p
i
{\displaystyle p_{i}}
na
X
Y
{\displaystyle XY}
jest
(
x
i
,
y
i
,
0
)
∈
Δ
δ
i
.
{\displaystyle (x_{i},y_{i},0)\in \Delta \delta _{i}.}
Tworzymy sumę
σ
(
P
)
=
∑
i
=
1
n
f
(
p
i
)
|
Δ
S
i
|
.
{\displaystyle \sigma (P)=\sum _{i=1}^{n}f(p_{i})|\Delta S_{i}|.}
Rozpatrujemy taki ciąg tych podziałów
P
,
{\displaystyle P,}
żeby największa ze średnic
Δ
S
i
{\displaystyle \Delta S_{i}}
dążyła do zera. Jeżeli dla każdego takiego ciągu podziałów i dla dowolnie wybranych punktów pośrednich
p
i
{\displaystyle p_{i}}
ciąg sum
σ
(
P
)
{\displaystyle \sigma (P)}
dąży do tej samej granicy , to granicę tę oznaczamy symbolem
∬
S
f
(
x
,
y
,
z
)
d
S
{\displaystyle \iint \limits _{S}f(x,y,z)\;dS}
i nazywamy całką powierzchniową niezorientowaną[2] .
Jeśli płat dany równaniem
z
=
φ
(
x
,
y
)
,
{\displaystyle z=\varphi (x,y),}
gdzie funkcja
φ
(
x
,
y
)
{\displaystyle \varphi (x,y)}
jest klasy
C
1
{\displaystyle C^{1}}
w
D
,
{\displaystyle D,}
to
∬
S
f
(
x
,
y
,
z
)
d
S
=
∬
D
f
(
x
,
y
,
φ
(
x
,
y
)
)
1
+
(
∂
φ
∂
x
)
2
+
(
∂
φ
∂
y
)
2
d
x
d
y
.
{\displaystyle \iint \limits _{S}f(x,y,z)\;dS=\iint \limits _{D}f{\big (}x,\ y,\ \varphi (x,y){\big )}{\sqrt {1+\left({\frac {\partial \varphi }{\partial x}}\right)^{2}+\left({\frac {\partial \varphi }{\partial y}}\right)^{2}}}\;dx\;dy.}
Płat dany parametrycznie
edytuj
Niech płat dany jest równaniami
x
=
x
(
u
,
v
)
,
y
=
y
(
u
,
v
)
,
z
=
z
(
u
,
v
)
{\displaystyle x=x(u,v),\ y=y(u,v),\ z=z(u,v)}
i ponadto zachodzą następujące warunki:
funkcje
x
(
u
,
v
)
,
y
(
u
,
v
)
,
z
(
u
,
v
)
{\displaystyle x(u,v),\ y(u,v),\ z(u,v)}
są klasy
C
1
{\displaystyle C^{1}}
w
D
;
{\displaystyle D;}
D
{\displaystyle D}
jest obszarem regularnym domkniętym , ograniczonym jedną krzywą zamkniętą zwykłą częściami gładką ;
różnym punktom wnętrza
S
{\displaystyle S}
odpowiadają różne punkty
D
;
{\displaystyle D;}
wyrażenie
H
=
|
x
u
y
u
x
v
y
v
|
2
+
|
y
u
z
u
y
v
z
v
|
2
+
|
z
u
x
u
z
v
x
v
|
2
{\displaystyle H={\begin{vmatrix}x_{u}&y_{u}\\x_{v}&y_{v}\end{vmatrix}}^{2}+{\begin{vmatrix}y_{u}&z_{u}\\y_{v}&z_{v}\end{vmatrix}}^{2}+{\begin{vmatrix}z_{u}&x_{u}\\z_{v}&x_{v}\end{vmatrix}}^{2}}
jest różne od zera wewnątrz
D
.
{\displaystyle D.}
Wtedy
∬
S
f
(
x
,
y
,
z
)
d
S
=
∬
D
f
(
x
(
u
,
v
)
,
y
(
u
,
v
)
,
z
(
u
,
v
)
)
H
d
u
d
v
.
{\displaystyle \iint \limits _{S}f(x,y,z)\;dS=\iint \limits _{D}f{\big (}x(u,v),\ y(u,v),\ z(u,v){\big )}{\sqrt {H}}\;du\;dv.}
Uwaga. Wyrażenie
H
{\displaystyle H}
jest sumą kwadratów minorów wziętych z macierzy Jakobiego
D
(
x
,
y
,
z
)
D
(
u
,
v
)
=
[
x
u
y
u
z
u
x
v
y
v
z
v
]
.
{\displaystyle {\frac {D(x,y,z)}{D(u,v)}}={\begin{bmatrix}x_{u}&y_{u}&z_{u}\\x_{v}&y_{v}&z_{v}\end{bmatrix}}.}
Jeżeli funkcja
f
(
x
,
y
,
z
)
{\displaystyle f(x,y,z)}
wyraża gęstość materialnego płata
S
{\displaystyle S}
w punkcie
(
x
,
y
,
z
)
,
{\displaystyle (x,y,z),}
to masa całego tego płata jest równa
∬
S
f
(
x
,
y
,
z
)
d
S
.
{\displaystyle \iint \limits _{S}f(x,y,z)dS.}
Pole powierzchni płata
S
{\displaystyle S}
jest równe
∬
S
d
S
.
{\displaystyle \iint \limits _{S}dS.}
Inne nazwy to całka powierzchniowa składowej normalnej wektora , strumień wektora przez powierzchnię , całka powierzchniowa drugiego rodzaju .
Niech funkcja wektorowa
F
:
S
→
R
3
,
{\displaystyle F\colon \ S\to \mathbb {R} ^{3},}
określona na powierzchni
S
⊂
R
3
,
{\displaystyle S\subset \mathbb {R} ^{3},}
będzie ciągła .
Poprzez
D
{\displaystyle D}
oznaczamy rzut powierzchni
S
{\displaystyle S}
na płaszczyznę
X
Y
.
{\displaystyle XY.}
D
{\displaystyle D}
dzielimy na podobszary
Δ
δ
1
,
Δ
δ
2
,
…
,
Δ
δ
n
,
{\displaystyle \Delta \delta _{1},\Delta \delta _{2},\dots ,\Delta \delta _{n},}
takie że
Δ
δ
i
∩
Δ
δ
j
=
∅
{\displaystyle \Delta \delta _{i}\cap \Delta \delta _{j}=\emptyset }
dla każdego
i
≠
j
.
{\displaystyle i\not =j.}
Poprzez
P
{\displaystyle P}
oznaczamy ten konkretny podział. Przez
Δ
S
i
{\displaystyle \Delta S_{i}}
oznaczamy tę część powierzchni
S
,
{\displaystyle S,}
której rzutem na płaszczyznę
X
Y
{\displaystyle XY}
jest
Δ
δ
i
,
{\displaystyle \Delta \delta _{i},}
a przez
|
Δ
S
i
|
{\displaystyle |\Delta S_{i}|}
oznaczamy pole powierzchni
Δ
S
i
.
{\displaystyle \Delta S_{i}.}
Na każdym
Δ
S
i
{\displaystyle \Delta S_{i}}
obieramy dowolny punkt
p
i
=
(
x
1
,
y
i
,
z
i
)
∈
Δ
S
i
.
{\displaystyle p_{i}=(x_{1},y_{i},z_{i})\in \Delta S_{i}.}
Rzutem
p
i
{\displaystyle p_{i}}
na
X
Y
{\displaystyle XY}
jest
(
x
i
,
y
i
,
0
)
∈
Δ
δ
i
.
{\displaystyle (x_{i},y_{i},0)\in \Delta \delta _{i}.}
Tworzymy sumę
σ
(
P
)
=
∑
i
=
1
n
F
N
(
p
i
)
|
Δ
S
i
|
,
{\displaystyle \sigma (P)=\sum _{i=1}^{n}F_{N}(p_{i})|\Delta S_{i}|,}
gdzie
F
N
(
p
i
)
{\displaystyle F_{N}(p_{i})}
jest składową wektora
F
(
p
i
)
=
(
X
(
p
i
)
,
Y
(
p
i
)
,
Z
(
p
i
)
)
{\displaystyle F(p_{i})=(X(p_{i}),Y(p_{i}),Z(p_{i}))}
normalną do
Δ
S
i
.
{\displaystyle \Delta S_{i}.}
Rozpatrujemy taki ciąg tych podziałów
P
,
{\displaystyle P,}
żeby największa ze średnic
Δ
S
i
{\displaystyle \Delta S_{i}}
dążyła do zera. Jeżeli dla każdego takiego ciągu podziałów i dla dowolnie wybranych punktów pośrednich
p
i
{\displaystyle p_{i}}
ciąg sum
σ
(
P
)
{\displaystyle \sigma (P)}
dąży do tej samej granicy , to granicę tę oznaczamy symbolem
∬
S
X
(
x
,
y
,
z
)
d
y
d
z
+
Y
(
x
,
y
,
z
)
d
z
d
x
+
Z
(
x
,
y
,
z
)
d
x
d
y
,
{\displaystyle \iint \limits _{S}X(x,y,z)dydz+Y(x,y,z)dzdx+Z(x,y,z)dxdy,}
lub
∬
S
X
d
y
d
z
+
Y
d
z
d
x
+
Z
d
x
d
y
{\displaystyle \iint \limits _{S}Xdydz+Ydzdx+Zdxdy}
i nazywamy całką powierzchniową zorientowaną[3] . Niekiedy używa się również oznaczenia
∬
S
F
⋅
d
S
,
{\displaystyle \iint \limits _{S}\mathbf {F} \cdot d\mathbf {S} ,}
∬
S
F
→
⋅
d
S
→
{\displaystyle \iint \limits _{S}{\vec {F}}\cdot d{\vec {S}}}
lub podobnego[4] .
Związek całki skierowanej z nieskierowaną jest następujący:
∬
S
(
X
d
y
d
z
+
Y
d
z
d
x
+
Z
d
x
d
y
)
=
∬
S
(
X
cos
α
+
Y
cos
β
+
Z
cos
γ
)
d
S
,
{\displaystyle \iint \limits _{S}\left(X\;dy\;dz+Y\;dz\;dx+Z\;dx\;dy\right)=\iint \limits _{S}(X\cos \alpha +Y\cos \beta +Z\cos \gamma )\;dS,}
gdzie
α
,
β
,
γ
{\displaystyle \alpha ,\ \beta ,\ \gamma }
to kąty pomiędzy wektorem normalnym do powierzchni S w punkcie
(
x
,
y
,
z
)
,
{\displaystyle (x,y,z),}
a osiami układu współrzędnych[5] .
Niech płat jest zadany równaniem
z
=
φ
(
x
,
y
)
,
{\displaystyle z=\varphi (x,y),}
gdzie funkcja
φ
{\displaystyle \varphi }
jest klasy
C
1
{\displaystyle C^{1}}
w
D
.
{\displaystyle D.}
I niech
N
=
[
−
φ
x
,
−
φ
y
,
1
]
{\displaystyle \mathbf {N} =[-\varphi _{x},-\varphi _{y},1]}
jest wektorem normalnym do
S
{\displaystyle S}
skierowanym zgodnie z osią
O
Z
.
{\displaystyle OZ.}
Wtedy
∬
S
F
(
x
,
y
,
z
)
d
S
=
ε
∬
D
F
(
x
,
y
,
φ
(
x
,
y
)
)
N
d
x
d
y
=
{\displaystyle \iint \limits _{S}\mathbf {F} (x,y,z)d\mathbf {\;S} =\varepsilon \iint \limits _{D}\mathbf {F} (x,\ y,\ \varphi (x,y))\mathbf {N} \;dx\;dy=}
=
ε
∬
D
(
−
X
(
x
,
y
,
φ
(
x
,
y
)
)
φ
x
−
Y
(
x
,
y
,
φ
(
x
,
y
)
)
φ
Y
+
Z
(
x
,
y
,
φ
(
x
,
y
)
)
)
d
x
d
y
,
{\displaystyle =\varepsilon \iint \limits _{D}{\Big (}-X\left(x,\ y,\ \varphi (x,y)\right)\varphi _{x}-Y\left(x,\ y,\ \varphi (x,y)\right)\varphi _{Y}+Z(x,\ y,\ \varphi (x,y)){\Big )}\;dx\;dy,}
gdzie
ε
=
+
1
,
{\displaystyle \varepsilon =+1,}
jeśli płat
S
{\displaystyle S}
jest zorientowany zgodnie z osią
O
Z
,
{\displaystyle OZ,}
i
ε
=
−
1
,
{\displaystyle \varepsilon =-1,}
jeśli jest zorientowany przeciwnie.
Płat dany parametrycznie
edytuj
Niech płat dany jest równaniami
x
=
x
(
u
,
v
)
,
y
=
y
(
u
,
v
)
,
z
=
z
(
u
,
v
)
,
{\displaystyle x=x(u,v),\ y=y(u,v),\ z=z(u,v),}
gdzie wszystkie te funkcje są klasy
C
1
{\displaystyle C^{1}}
w
D
.
{\displaystyle D.}
I niech ponadto zachodzą następujące warunki:
D
{\displaystyle D}
jest obszarem regularnym domkniętym , ograniczonym jedną krzywą zamkniętą zwykłą częściami gładką ;
różnym punktom wnętrza
S
{\displaystyle S}
odpowiadają różne punkty
D
;
{\displaystyle D;}
wyrażenie
H
=
|
h
|
2
=
|
x
u
y
u
x
v
y
v
|
2
+
|
y
u
z
u
y
v
z
v
|
2
+
|
z
u
x
u
z
v
x
v
|
2
{\displaystyle H=|\mathbf {h} |^{2}={\begin{vmatrix}x_{u}&y_{u}\\x_{v}&y_{v}\end{vmatrix}}^{2}+{\begin{vmatrix}y_{u}&z_{u}\\y_{v}&z_{v}\end{vmatrix}}^{2}+{\begin{vmatrix}z_{u}&x_{u}\\z_{v}&x_{v}\end{vmatrix}}^{2}}
jest różne od zera wewnątrz
D
{\displaystyle D}
(jest to suma kwadratów minorów macierzy jakobianowej
D
(
x
,
y
,
z
)
D
(
u
,
v
)
=
[
x
u
y
u
z
u
x
v
y
v
z
v
]
{\displaystyle {\frac {D(x,y,z)}{D(u,v)}}={\begin{bmatrix}x_{u}&y_{u}&z_{u}\\x_{v}&y_{v}&z_{v}\end{bmatrix}}}
).
Wtedy:
∬
S
F
(
x
,
y
,
z
)
d
S
=
ε
∬
D
F
(
x
,
y
,
z
)
⋅
h
d
u
d
v
,
{\displaystyle \iint \limits _{S}\mathbf {F} (x,y,z)d\mathbf {\;S} =\varepsilon \iint \limits _{D}\mathbf {F} (x,y,z)\cdot \mathbf {h} \;du\;dv,}
gdzie:
h
=
[
x
u
,
y
u
,
z
u
]
×
[
x
v
,
y
v
,
z
v
]
=
[
|
y
u
z
u
y
v
z
v
|
,
|
z
u
x
u
z
v
x
v
|
,
|
x
u
y
u
x
v
y
v
|
]
.
{\displaystyle \mathbf {h} =[x_{u},y_{u},z_{u}]\times [x_{v},y_{v},z_{v}]={\bigg [}{\begin{vmatrix}y_{u}&z_{u}\\y_{v}&z_{v}\end{vmatrix}},\ {\begin{vmatrix}z_{u}&x_{u}\\z_{v}&x_{v}\end{vmatrix}},\ {\begin{vmatrix}x_{u}&y_{u}\\x_{v}&y_{v}\end{vmatrix}}{\bigg ]}.}
Z własności iloczynu mieszanego mamy więc:
ε
∬
D
F
(
x
,
y
,
z
)
⋅
h
d
u
d
v
=
ε
∬
D
|
X
Y
Z
x
u
y
u
z
u
x
v
y
v
z
v
|
d
u
d
v
.
{\displaystyle \varepsilon \iint \limits _{D}\mathbf {F} (x,y,z)\cdot \mathbf {h} \;du\;dv=\varepsilon \iint \limits _{D}{\begin{vmatrix}X&Y&Z\\x_{u}&y_{u}&z_{u}\\x_{v}&y_{v}&z_{v}\end{vmatrix}}\;du\;dv.}
Tu
ε
=
+
1
,
{\displaystyle \varepsilon =+1,}
gdy płat
S
{\displaystyle S}
jest zorientowany zgodnie z wektorem h ;
ε
=
−
1
,
{\displaystyle \varepsilon =-1,}
gdy jest zorientowany przeciwnie.
Niektóre z zamieszczonych tu informacji wymagają weryfikacji . Uwagi: niech ten, kto dobrze orientuje się w tym temacie, sprawdzi w tej sekcji wzór i to, co napisano po wzorze., zrozumiale przepisać reguły o znaczeniach
ε
x
,
{\displaystyle \varepsilon x,}
ε
y
,
{\displaystyle \varepsilon y,}
ε
z
.
{\displaystyle \varepsilon z.}
Tak, jak teraz są one napisane, jest zupełnie nie do przyjęcia. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tej sekcji.
Jeśli płat
S
{\displaystyle S}
można opisać wzorami
x
=
x
(
y
,
z
)
,
y
=
y
(
z
,
x
)
,
z
=
z
(
x
,
y
)
,
{\displaystyle x=x(y,z),\ y=y(z,x),\ z=z(x,y),}
gdzie wszystkie te funkcje są określone w zbiorach
S
y
z
,
{\displaystyle S_{yz},}
S
z
x
,
{\displaystyle S_{zx},}
S
x
y
,
{\displaystyle S_{xy},}
będących rzutami
S
{\displaystyle S}
odpowiednio na
O
Y
Z
,
{\displaystyle OYZ,}
O
Z
X
,
{\displaystyle OZX,}
O
X
Y
,
{\displaystyle OXY,}
to
∬
S
F
(
x
,
y
,
z
)
d
S
=
∬
S
(
X
d
y
d
z
+
Y
d
z
d
x
+
Z
d
x
d
y
)
=
{\displaystyle \iint \limits _{S}\mathbf {F} (x,y,z)d\mathbf {\;S} =\iint \limits _{S}\left(X\;dy\;dz+Y\;dz\;dx+Z\;dx\;dy\right)=}
=
ε
x
∬
S
y
z
X
(
x
(
y
,
z
)
,
y
,
z
)
d
y
d
z
+
ε
y
∬
S
z
x
Y
(
x
,
y
(
z
,
x
)
,
z
)
d
x
d
z
+
ε
z
∬
S
x
y
Z
(
x
,
y
,
z
(
x
,
y
)
)
d
x
d
y
.
{\displaystyle =\varepsilon _{x}\iint \limits _{S_{yz}}X(x(y,z),\ y,\ z)\;dy\;dz\;+\;\varepsilon _{y}\iint \limits _{S_{zx}}Y(x,\ y(z,x),\ z)\;dx\;dz\;+\;\varepsilon _{z}\iint \limits _{S_{xy}}Z(x,\ y,\ z(x,y))\;dx\;dy.}
ε
x
=
+
1
,
ε
y
=
+
1
,
ε
z
=
+
1
,
{\displaystyle \varepsilon _{x}=+1,\varepsilon _{y}=+1,\varepsilon _{z}=+1,}
gdy płat S jest zorientowany zgodnie z odpowiednią osią, a
−
1
{\displaystyle -1}
gdy jest zorientowany przeciwnie.
ε
x
∗
ε
z
=
+
1
⇔
z
x
<
0
{\displaystyle \varepsilon _{x}*\varepsilon _{z}=+1\Leftrightarrow z_{x}<0}
itd.
Jeżeli jeden lub dwa rzuty płata S mają pole równe zero, to we wzorze pozostają tylko dwie lub jedna całka podwójna .
Wzór pozostaje słuszny, jeżeli tylko wewnętrznym punktom płata można przyporządkować punkty rzutów.
Aby zastosować tę metodę do innych płatów, należy je podzielić na skończona liczbę płatów spełniających założenia.
Całka powierzchniowa zorientowana występuje na przykład w prawie Gaussa (dla elektryczności, a także magnetyzmu i grawitacji) i prawie Ampère’a .