12.2 Plošný integrál prvního druhu
Definice
Budiž jednoduchá hladká plocha a spojitá funkce definovaná na nějakém okolí každého bodu . Pak předpisem
definujeme plošný integrál prvního druhu funkce f na ploše s. [1] V případě uzavřené plochy se obvykle používá symbol .
Poznámka
Pro malé změny parametrů dt1 či dt2 můžeme popsat změny souřadnic bodů ležících na dané ploše v okolí vybraného bodu pomocí věty o totálním diferenciálu (viz kap. 2.4 ):
·
mění-li se t1 a t2 zůstává
konstantní, lze psát ,
·
pokud se mění t2 a naopak t1
zůstává konstantní, platí .
Podle toho se tedy obdélník o stranách dt1 a dt2 (patřící do množiny S zobrazí na element plochy s, který odpovídá v prvním přiblížení kosodélníku o stranách a . Podle elementárního vzorce je plošný obsah tohoto kosodélníka dán velikostí vektorového součinu . Proto (porovnáme-li formálně pravou a levou stranu definičního vztahu pro plošný integrál prvního druhu)
odpovídá s přesností do prvního řádu plošnému obsahu infinitezimální části plochy s vymezené hodnotami parametrů t1 a t2 z dvojrozměrného intervalu .
Poznámka
Z definice plošného integrálu prvního druhu a z předcházející poznámky vyplývá, že je roven plošnému obsahu plochy s. [2]
Věta (nezávislost plošného integrálu prvního druhu na parametrizaci)
Nechť a jsou dvě jednoduché hladké plochy takové, že
·
,
·
existuje vzájemně jednoznačné spojitě diferencovatelné zobrazení
splňující .
Pak pro libovolnou spojitou funkci definovanou na nějakém okolí geometrického obrazu platí
.
Hodnota plošného integrálu prvního druhu nezávisí tedy na parametrizaci plochy.
[1] Aby bylo možno počítat naznačené dvojné integrály, musí být množina S měřitelná. To budeme vždy v této i v dalších kapitolách předpokládat.
[2] Ověřte pro kulovou plochu.