Tilavuusintegraali

Tilavuusintegraali eli avaruusintegraali on kolmiulotteisessa avaruudessa ${ℝ}^3$ tai jossakin sen alueessa määritellyn funktion integraali. Se määritellään vastaavalla tavalla kuin pintaintegraali tasossa.

Määritelmä

Avaruusintegraali määritellään ensin sellaiselle suorakulmaiselle särmiölle, jonka särmät ovat koordinaattiakselien suuntaisia. Tällainen särmiö voidaan esittää kolmen välin karteesisena tulona $A=[a_1,b_1]\times [a_2,b_2]\times [a_3,b_3]$ Jos funktio f on määritelty tässä särmiössä, sen avaruusintegraali on $\underset{A}{\int }f=\underset{a_1}{\overset{b_1}{\int }}\underset{a_2}{\overset{b_2}{\int }}\underset{a_3}{\overset{b_3}{\int }}f(x,y,z)dxdydz$

Jos $D\subset {ℝ}^3$ on mielivaltainen rajoitettu joukko ja f siinä määritelty rajoitettu funktio, sen avaruusintegraali tämän joukon yli määritellään seuraavasti:

Valitaan suorakulmainen särmiö $A\subset ℝ$ siten, että D sisältyy A:hen eli $D\subset A$. Muodostetaan koko avaruudessa määritelty funktio f_D siten, että

1. $f(x,y,z)=f(x,y,z)$, kun $(x,y,z)\in D$, ja
2. $f(x,y,z)=0$, kun $(x,y,z)\notin D$

Nyt määritellään, että

$\underset{D}{\int }f=\underset{D}{\int }{f}_D$.

Helposti voidaan osoittaa, että määritelmä on riippumaton suorakulmaisen särmiön A valinnasta, kunhan D kokonaan sisältyy siihen.

Jos alue D ei ole rajoitettu, voidaan määritellä:

$\underset{D}{\int }f=\underset{t\to \mathrm{\infty }}{\lim }\underset{D\cap R_t}{\int }f$, kun $R_t=\{(x,y,z)||x|\le t,|y|\le t,|z|\le t\}$,

mikäli tämä raja-arvo on olemassa. Funktion tilavuusintegraali tällaisen alueen yli voi olla myös ääretön.

Tilavuusmitta

Joukon D karakteristinen funktio määritellään funktiona χ_D, jonka arvo on

1. ${\chi }_D(x,y,z)=1$, kun $(x,y,z)\in A$, ja
2. ${\chi }_D(x,y,z)=0$, kun $(x,y,z)\notin A$,

Rajoitetun joukon D tilavuusmitta määritellään sen karakteristisen funktion $ch{i}_D$ tilavuusintegraalina kyseisen joukon yli:

$V=\underset{D}{\int }{\chi }_D$,

mikäli karakteristinen funktio on integroituva.

Koska &chi_D saa arvon 0 kaikkialla alueen D ulkopuolella, voidaan alue D, jonka yli funktio χD korvata millä tahansa laajemmalla alueella A, johon D sisältyy (eli $D\subset A$), toisin sanoen tilavuusmitan lauseke voidaan esittää myös muodossa:

$V=\int A{\chi }_D$.

Toisaalta koska karakteristinen funktio saa alueen D jokaisessa pisteessä vakioarvon 1, voidaan tilavuusintegraalin määrittää myös integroimalla vakiofunktio 1 alueen D yli:

$V=\underset{D}{\int }1$

Tilavuusintegraali pallo- ja sylinterikoordinaatistossa

Suorakulmaisten koordinaattien ohella voidaan pisteen sijainti avaruudessa ilmoittaa myös pallo- tai sylinterikoordinaateissa. Avaruusintegraalin arvo näitä koordinaatteja käytettäessä saadaan lasketuksi Jacobin determinantin avulla.

Olkoot $D,D^{\prime }\subset {ℝ}^n$ avoimia, $\bar{D}$ ja $\overline{D^{\prime }}$ kompakteja, $\partial D$ ja $\partial D^{\prime }$ nollajoukkoja sekä $\omega$ bijektiivinen $C^1$-kuvaus, $\omega :D\to D^{\prime }$. Jos $f:\overline{D^{\prime }}\to ℝ$ on jatkuva, niin

$\underset{D^{\prime }}{\int }fd{x}_1\dots d{x}_n=\underset{D}{\int }f(\omega )|\tau (\omega )|d{x}_1\dots d{x}_n$,

missä $\tau (\omega )$ on kuvauksen $\omega$ jacobiaani eli Jacobin determinantti

$\tau (\omega )=det{\omega }^{\prime }=\left|\begin{array}{ccc}{\partial }_1{\omega }_1& \cdots & {\partial }_n{\omega }_1\\ ⋮& \ddots & ⋮\\ {\partial }_1{\omega }_n& \cdots & {\partial }_n{\omega }_n\end{array}\right|$,

ja ${\omega }_1,\dots ,{\omega }_n$ ovat $\omega$:n koordinaattifunktiot.

Kuvaukselle $\omega :(0,R)\times [0,2\pi ]\times [0,\pi )\to B(\bar{0},R)$, $\omega (r,\rho ,\theta )=({\omega }_1,{\omega }_2,{\omega }_3)$, missä

$\{\begin{array}{c}{\omega }_1=r\sin \theta \cos \rho \\ {\omega }_2=r\sin \theta \sin \rho \\ {\omega }_3=r\cos \theta \end{array}$

saadaan Jacobin determinantiksi $|\tau (\omega )|=r^2\sin \theta$, kun sijoitetaan pallokoordinaattien osittaisderivaatat Jacobin determinantin kaavaan. Tästä saadaan funktion f avaruusintegraalille lauseke:

$\underset{D}{\iiint }f(r,\rho ,\theta )r^2\sin \theta drd\rho d\theta$

Sylinterikoordinaatistossa vastaavanlaisella periaatteella saadaan koordinaateista

$\{\begin{array}{c}{x}_1=r\cos \rho \\ x_2=r\sin \rho \\ x_3=x_3\end{array}$

Jacobin determinantiksi $|\tau (x)|=r$ ja tästä funktion f avaruusintegraalille lauseke

$\underset{D}{\iiint }f(r,\rho ,z)rdrd\rho dz.$

Esimerkki

Lasketaan ${ℝ}^3$:n R-säteisen pallon tilavuus integraalilla $\underset{\bar{B}(0,R)}{\int }1d{x}_{1}d{x}_{2}d{x}_3$ pallokoordinaatteihin sijoituksella:

$\begin{array}{cc}\underset{\bar{B}(0,R)}{\int }1d{x}_{1}d{x}_{2}d{x}_3& =\underset{0}{\overset{R}{\int }}\underset{0}{\overset{\pi }{\int }}\underset{0}{\overset{2\pi }{\int }}1\cdot r^2\sin \theta d\rho d\theta dr\\ & =\underset{0}{\overset{R}{\int }}\underset{0}{\overset{\pi }{\int }}2\pi r^2\sin \theta d\theta dr\\ & =\underset{0}{\overset{R}{\int }}4\pi r^{2}dr\\ & =\frac{4}{3}\pi R^3.\end{array}$

Katso myös

• Pintaintegraali