重積分

維基百科,自由的百科全書
(已重新導向自 多重积分)
前往: 導覽搜尋
微積分學
\text{e} = \lim_{n\to\infty} \left(1+\frac{1}{n}\right)^n
函數 · 導數 · 微分 · 積分
該積分是兩條曲線之間的面積。
作為曲面下的體積的雙重積分。該體積底部的矩形區域是積分的域,而曲面是被積的雙變數函數的圖像。

多重積分定積分的一類,它將定積分擴展到多元函數(多變數函數),例如求f(x,y)或者f(x,y,z)類型的多元函數的積分。

簡介[編輯]

正如單參數的正函數的定積分代表函數圖像和x軸之間區域的面積一樣,正的雙變數函數的雙重積分代表函數所定義的曲面和包含函數定義域的平面之間所夾的區域的體積。(注意同樣的體積也可以通過三變數常函數f(x, y, z) = 1在上述曲面和平面之間的區域中的三重積分得到。若有更多變數,則多維函數的多重積分給出超體積

n元函數f(x1, x2,…, xn)在定義域D上的多重積分通常用嵌套的積分號按照演算的逆序標識(最左邊的積分號最後計算),後面跟著被積函數和正常次序的積分參數(最右邊的參數最後使用)。積分域或者對每個積分參數在每個積分號下標識,或者用一個變數標在最右邊的積分號下:

\int \ldots \int_\mathbf{D}\;f(x_1,x_2,\ldots,x_n) \;\mathrm{d}x_1 \!\ldots\mathrm{d}x_n

因為不可能計算多於一個變數的函數的不定積分不定多重積分是不存在的。因此所有多重積分都是積分。

範例[編輯]

譬如,邊長為4 × 6 × 5的長方體的體積可以通過兩種方法得到:

  • 通過函數f(x, y) = 5在xy平面中的區域D,也就是長方體的底上的雙重積分
\iint_D 5 \ dx\, dy
  • 或者是常函數1在長方體上的三重積分
\iiint_\mathrm{} 1 \, dx\, dy\, dz

數學定義[編輯]

n為大於1的自然數。考慮所謂的半開n維矩形(下面簡稱矩形)。對於平面n = 2,而多重積分就是雙重積分。

T=[a_1, b_1)\times [a_2, b_2)\times\cdots \times [a_n, b_n)\subset \mathbb R^n

將每個區間[ai, bi)分成有限個不重疊的子區間,每個都是左閉右開。將子區間記為Ii。則,所有所有如下形式的子矩形的族

C=I_1\times I_2\times \cdots\times I_n

T的一個劃分,也即,子矩形C是互不重疊的,而且它們並集為TC中的子矩形的直徑按照定義是C中最大的邊長,而T的劃分的直徑就是劃分中的子矩形的最大直徑。

f : TR為定義在T上的函數。考慮如上定義的T的劃分

T=C_1\cup C_2\cup \cdots \cup C_m

其中m是正整數。如下形式的和稱為黎曼和

\sum_{k=1}^m f(P_k)\, \operatorname{m}(C_k)

其中,對於每個k,點PkCk中,而m(Ck)是笛卡爾積為Ck的區間的邊長之積。

函數f稱為黎曼可積,如果如下極限存在

S = \lim_{\delta \to 0} \sum_{k=1}^m f(P_k)\, \operatorname{m}\, (C_k)

其中極限取遍所有直徑最大為δ的T的劃分。若f黎曼可積S稱為fT上的黎曼積分。記為

\int_T\!f(x)\,dx

定義在任意有界n維集合上的函數的黎曼和可以通過將函數延拓到一個半開半閉矩形上來求出,其取值在原來的定義域之外為0。然後,原來的函數的積分就定義為延展的函數在矩形區域中的積分(如果存在的話)。

下文中n維黎曼積分簡稱多重積分

性質[編輯]

多重積分具有很多與單變數函數的積分一樣的性質(線性,可加性,單調性,等等)。而且,和單變數情況一樣,可以用多重積分找出函數在給定集合上的積分。具體來講,給定集合DRnD上的可積函數ff在定義域上的平均值為

\bar{f} = \frac{1}{m(D)} \int_D f(x)\, dx,

其中mD)是D測度

特例[編輯]

TR2時,積分

\ell = \iint_T f(x,y)\, dx\, dy

fT上的雙重積分,而若TR3,積分

\ell = \iiint_T f(x,y,z)\, dx\, dy\, dz

fT上的三重積分

注意,按常規,雙重積分用兩個積分號,而三重積分有三個;這只是記法上方便,也是為了通過重複積分來計算多重積分(參看本條目後文)。

積分方法[編輯]

多重積分問題的解決在多數情況下依賴於將多重積分轉化為一系列單變數積分,而其中每個單變數積分都是直接可解的。

直接檢驗[編輯]

有時可以直接獲得積分的結果,而無需任何直接計算。

常數[編輯]

常函數的情況中,結果很直接:只要將常函數c乘以測度就可以了。如果c = 1,而且是在R2的子集中積分,則乘積就是區域面積,而在R3中,它就是區域的體積。

  • 例如:
D = \{ (x,y) \in \mathbb{R}^2 \ : \ 2 \le x \le 4 \ ; \ 3 \le y \le 6 \} and f(x,y) = 2\,\!
D上積分f
\int_3^6 \int_2^4 \ 2 \ dx\, dy = \mbox{area}(D) \cdot 2 = (2 \cdot 3) \cdot 2 = 12

利用可能的對稱性[編輯]

如果定義域存在沿著某條軸的對稱性而且函數對於那個變數是奇函數,則積分為0(因為相反的兩部分加起來為0)。

對於Rn中的函數,只要相關變數對於形成對稱的軸是奇變數就可以了。

例一:

給定f(x,y) = 2 \sin(x)-3y^3+5以及T=\left \{ ( x,y) \in \mathbf{R}^2 \ : \ x^2+y^2\le 1 \right \}為積分區域(半徑為1的圓盤,包含邊界)。
利用線性性質,積分可以分解為三部分:
\iint_T (2\sin x - 3y^3 + 5) \, dx \, dy = \iint_T 2 \sin x \, dx \, dy - \iint_T 3y^3 \, dx \, dy + \iint_T 5 \, dx \, dy
2sin(x)和3y3都是奇函數,而且顯然T對於xy軸都是對稱的;因此唯一有貢獻的部分是常函數5因為其它兩個都貢獻0.

例二:

考慮函數f(xyz) = x exp(y2 + z2)以及圓心在原點的半徑為2的
T = \left \{ ( x,y, z) \in \mathbf{R}^3 \ : \ x^2+y^2+z^2 \le 4 \right \}.
該球顯然是對於三條軸都對稱,但是只要對於x軸積分就可以看出結果是0,因為f對於該變數是奇函數。

簡化公式[編輯]

簡化公式基於簡單積分區域來將多重積分轉化為單變數積分的序列。它們必須從右至左計算,過程中將其它變數暫時視為常數(和偏導數的計算類似)。

R2中的常規區域[編輯]

此種方法適用於滿足下述條件的任何定義域 D:

  • D 投影到 x軸或 y軸任一軸,形成一個有邊界的範圍, 以 a, b 代表邊界值。
  • 通過 a, b 兩點並與\overline{ab} 垂直的直線與 D 相交後的兩個端點,可以用 2 個函數\alpha, \beta 定義。
x[編輯]

Dx軸做垂直投影,函數f: D \longrightarrow \mathbb{R}是連續函數,並且D可以視為(定義在[a,b]區間上的)α(x)和β(x)之間的區域。則

\iint_D f(x,y)\ dx\, dy = \int_a^b dx \int_{ \alpha (x)}^{ \beta (x)} f(x,y)\, dy
y[編輯]

Dy軸做垂直投影,函數f: D \longrightarrow \mathbb{R}是連續函數,並且D可以視為(定義在[a,b]區間上的)α(y)和β(y)之間的區域。則

\iint_D f(x,y)\ dx\, dy = \int_a^b dy \int_{ \alpha (y)}^{ \beta (y)} f(x,y)\, dx
範例[編輯]
例:可以採用簡化公式的D區域。

考慮區域:D = \{ (x,y) \ : \ x \ge 0, y \le 1, y \ge x^2 \}(參看附圖)。計算

\iint_D (x+y) \, dx \, dy

該區域可以沿x或者y軸分解。要採用公式,必須先找到限制D的兩個函數和定義區間。 這個例子中,這兩個函數為:

\alpha (x) = x^2\,\!\beta (x) = 1\,\!

而區間為[a,b] = [0,1]\,\!(這裡為了直觀起見採用沿x軸分解)。

應用簡化公式,得到:

\iint_D (x+y) \, dx \, dy = \int_0^1 dx \int_{x^2}^1 (x+y) \, dy = \int_0^1 dx \ \left[xy \ + \ \frac{y^2}{2} \ \right]^1_{x^2}

(首先,第二個積分將x作為常數)。然後就是用積分的基本技術:

\int_0^1 \left[xy \ + \ \frac{y^2}{2} \ \right]^1_{x^2} \, dx = \int_0^1 \left(x + \frac{1}{2} - x^3 - \frac{x^4}{2} \right) dx = \cdots = \frac{13}{20}

如果沿著y軸分解,可以計算

\int_0^1 dy \int_0^{\sqrt{y}} (x+y) \, dx

並得到同樣的結果。

R3中可(沿xy平面)分解區域的例子。

R3中的分解[編輯]

這些公式可以推廣到三重積分:

T是一個可以投影到xy平面的體,它夾在α (x,y)和β(x,y)兩個函數之間。那麼:

\iiint_T f(x,y,z) \ dx\, dy\, dz = \iint_D dx\, dy \int_{\alpha (x,y)}^{\beta (x,y)} f(x,y,z) \, dz

(此定義和其它R3中的分解類似)。

變數替換[編輯]

積分的極限常常不易交換(區域無法分解或者公式很複雜),這時可以採用變數替換來重寫積分,令區域更加簡易,從而可以用更簡單的公式表達。為此,函數必須變換到新坐標系下。

例(1-a):
函數為f(x, y) = (x-1)^2 +\sqrt y;
若採用替換x' = x-1, \ y'= y \, \!x = x' + 1, \ y=y' \,\!
可以得到新函數f_2(x,y) = (x')^2 +\sqrt y.
  • 對於定義域要進行類似處理,因為原來是採用變換前的變數表達的(本例中的xy)。
  • 微分dxdy要通過包含被替換的變數對於新變數的偏微分的雅可比行列式來變換。(譬如,極坐標的微分變換)。

常用的變數替換有三種(R2中一種,R3中兩種);但是,更普遍的變換可以用同樣的原理來發現。

極坐標[編輯]

從笛卡爾坐標系變換到極坐標系。

R2中,若定義域有某種圓形對稱性而函數也有某種特徵,則可以採用極坐標變換(參看圖中的例子),也就是說將點P(x,y)從笛卡爾坐標變換到相應的極坐標中。這使得定義域的形狀改變,從而簡化運算。

該變換的基本關係如下:

f(x,y) \rightarrow f(\rho \ \cos \phi,\rho \ \sin \phi )

例(2-a):

函數為f(x,y) = x + y\,\!
應用該變換得到
f(\rho, \phi) = \rho \cos \phi + \rho \sin \phi = \rho \ (\cos \phi + \sin \phi )

例(2-b):

函數為f(x,y) = x^2 + y^2\,\!
這裡有:
f(\rho, \phi) = \rho^2 (\cos^2 \phi + \sin^2 \phi) = \rho^2\,\!
這裡使用了勾股定理(在簡化操作時很有用)。

定義域的變換是根據xy通過環厚和角度的幅度來限定ρ, φ的區間。

從笛卡爾到極坐標的區域變換。

例(2-c):

區域為D = x^2 + y^2 \le 4\,\!,圓周半徑2;很明顯,這個區域所覆蓋的角度是整個圓周角,所以φ從0變化到2π,而環半徑從0變化到2(內環為0的環形就是圓)。

例(2-d):

區域為D = \{ x^2 + y^2 \le 9, \ x^2 + y^2 \ge 4, \ y \ge 0 \},這是在正y半平面中的圓環(參看示意圖);注意φ表示平面角而ρ從2變化到3。因此變換出來的區域為矩形
T = \{ 2 \le \rho \le 3, \ 0 \le \phi \le \pi \}.

該變換的雅可比行列式為:

\frac{\partial (x,y)}{\partial (\rho, \phi)} =
\begin{vmatrix}
\cos \phi & - \rho \sin \phi \\
\sin \phi & \rho \cos \phi
\end{vmatrix} = \rho

這可以通過將x = ρ cos(φ), y = ρ sin(φ)代入關於ρ的第一行和關於φ的第二行的偏微分中得到,所以微分dx dy變換為ρ dρ dφ.

一旦函數和區域的變換完成後,可以定義極坐標中的變數變換公式:

\iint_D f(x,y) \ dx\, dy = \iint_T f(\rho \cos \phi, \rho \sin \phi) \rho \, d \rho\, d \phi

注意φ在[0, 2π]區間中有效,而ρ測量長度,因此只能取正值。

例 (2-e):

函數為f(x,y) = x\,\!區域和例2-d相同。
從前面對D的分析,我們知道ρ的區間為[2,3],而φ的為[0,π].函數變換為:
f(x,y) = x \longrightarrow f(\rho,\phi) = \rho \ \cos \phi
最後,應用積分公式:
\iint_D x \, dx\, dy = \iint_T \rho \cos \phi \ \rho \, d\rho\, d\phi
一旦區間給定,就可以得到
\int_0^{\pi} \int_2^3 \rho^2 \cos \phi \ d \rho \ d \phi = \int_0^{\pi} \cos \phi \ d \phi \left[ \frac{\rho^3}{3} \right]_2^3 = \left[ \sin \phi \right]_0^{\pi} \ \left(9 - \frac{8}{3} \right) = 0

柱極坐標[編輯]

柱極坐標。

R3中,在有圓形底面的定義域上的積分可以通過變換到柱極坐標系來完成;函數的變換用如下的關係進行:

f(x,y,z) \rightarrow f(\rho \cos \phi, \rho \sin \phi, z)

區域的變換可以從圖形中得到,因為底面的形狀可能不同,而高遵循初始區域的形狀。

例(3-a):

區域為D = \{ x^2 + y^2 \le 9, \ x^2 + y^2 \ge 4, \ 0 \le z \le 5 \}(也即底面為例2-d中的圓環的高度為5的"管道");如果採用變換,可以得到區域T = \{ 2 \le \rho \le 3, \ 0 \le \phi \le \pi, \ 0 \le z \le 5 \}(這是一個底面為例2-d中的矩形而高為5的長方體)。

因為z分量沒有變化,dx dy dz和在極坐標中一樣變化:變為ρ dρ dφ dz

最後,變換到柱極坐標的最後公式為:

\iiint_D f(x,y,z) \, dx\, dy\, dz = \iiint_T f(\rho \cos \phi, \rho \sin \phi, z) \rho \, d\rho\, d\phi\, dz

這個方法在柱形或者錐形區域的情況較為適用,也適用於容易分辨z區間和變換圓形底面和函數的其它情況。

例(3-b): 函數為f(x,y,z) = x^2 + y^2 + z\,\!而積分區域為圓柱: D = \{ x^2 + y^2 \le 9, \ -5 \le z \le 5 \}. 將D變換到柱極坐標如下:

T = \{ 0 \le \rho \le 3, \ 0 \le \phi \le 2 \pi, \ -5 \le z \le 5 \}

函數變為

f(\rho \cos \phi, \rho \sin \phi, z) = \rho^2 + z

最有應用積分公式:

\iiint_D (x^2 + y^2 +z) \, dx\, dy\, dz = \iiint_T ( \rho^2 + z) \rho \, d\rho\, d\phi\, dz;

推演一下公式,得到

\int_{-5}^5 dz \int_0^{2 \pi} d\phi \int_0^3 ( \rho^3 + \rho z )\, d\rho = 2 \pi \int_{-5}^5 \left[ \frac{\rho^4}{4} + \frac{\rho^2 z}{2} \right]_0^3 \, dz = 2 \pi \int_{-5}^5 \left( \frac{81}{4} + \frac{9}{2} z\right)\, dz = \cdots = 405 \pi.

球極坐標[編輯]

球極坐標。【注意某些地區(如北美)角度標識相反】

R3中,有些區域有球形對稱性,所以將積分區域的每點用兩個角度和一個距離標識較為合適。因此可以採用變換到球極坐標系;函數變換由如下關係產生:

f(x,y,z) \longrightarrow f(\rho \cos \theta \sin \phi, \rho \sin \theta \sin \phi, \rho \cos \phi)\,\!

注意z軸上的點沒有唯一表示,\theta 可以在0到2π間變化。

這個方法最為適用的區域顯然是球。

例(4-a):

區域為D = x^2 + y^2 + z^2 \le 16(球心在原點半徑為4的球);應用變換後得到:T = \{ 0 \le \rho \le 4, \ 0 \le \phi \le \pi, \ 0 \le \theta \le 2 \pi \}
坐標變換的雅可比行列式為:
\frac{\partial (x,y,z)}{\partial (\rho, \theta, \phi)} =
\begin{vmatrix}
\cos \theta \sin \phi & - \rho \sin \theta \sin \phi & \rho \cos \theta \cos \phi \\
\sin \theta \sin \phi & \rho \cos \theta \sin \phi & \rho \sin \theta \cos \phi \\
\cos \phi & 0 & - \rho \sin \phi
\end{vmatrix} = \rho^2 \sin \phi
因此dx dy dz變換為ρ2 sin(φ) dρ dθ dφ.
得到最後公式:
\iiint_D f(x,y,z) \, dx\, dy\, dz = \iiint_T f(\rho \sin \theta \cos \phi, \rho \sin \theta \sin \phi, \rho \cos \theta) \rho^2 \sin \phi \, d\rho\, d\theta\, d\phi

應當在積分區域為球形對稱並且函數很容易通過基本三角公式簡化的時候才使用這個方法。(參看例4-b);其它情況下,可能使用柱極坐標更為合適(參看例4-c)。

\iiint_T f(a,b,c) \rho^2 \sin \phi \, d\rho\, d\theta\, d\phi

注意從雅可比行列式來的\rho^2\sin \phi因子。

注意下面例子中,φ和θ的作用反過來了。

例(4-b):

D和例4-a相同,而f(x,y,z) = x^2 + y^2 + z^2\,\!是被積函數。
很容易變換為:
f(\rho \sin \theta \cos \phi, \rho \sin \theta \sin \phi, \rho \cos \theta) = \rho^2,
而從DT的變換是已知的:
(0 \le \rho \le 4, \ 0 \le \phi \le 2 \pi, \ 0 \le \theta \le \pi)
應用積分公式:
\iiint_D (x^2 + y^2 +z^2) \, dx\, dy\, dz = \iiint_T \rho^2 \ \rho^2 \sin \theta \, d\rho\, d\theta\, d\phi,
並展開:
\iiint_T \rho^4 \sin \theta \, d\rho\, d\theta\, d\phi = \int_0^{\pi} \sin \theta \,d\theta \int_0^4 \rho^4 d \rho \int_0^{2 \pi} d\phi = 2 \pi \int_0^{\pi} \sin \theta \left[ \frac{\rho^5}{5} \right]_0^4 \, d \theta
= 2 \pi \left[ \frac{\rho^5}{5} \right]_0^4 \left[- \cos \theta \right]_0^{\pi} = 4 \pi \cdot \frac{1024}{5} = \frac{4096 \pi}{5}

例(4-c):

區域D是球心在原點半徑為3a的球(D = x^2 + y^2 + z^2 \le 9a^2 \,\!)而f(x,y,z) = x^2 + y^2\,\!是被積函數。
看起來採用球極坐標變換較為合適,但是事實上,限定新區域T的變數很明顯應該是:
0 \le \rho \le 3a, \ 0 \le \phi \le 2 \pi, \ 0 \le \theta \le \pi
但是採用這個變換就有
f(x,y,z) = x^2 + y^2 \longrightarrow \rho^2 \sin^2 \theta \cos^2 \phi + \rho^2 \sin^2 \theta \sin^2 \phi = \rho^2 \sin^2 \theta.
應用積分公式得到:
\iiint_T \rho^2 \sin^2 \theta \rho^2 \sin \theta \, d\rho\, d\theta\, d\phi = \iiint_T \rho^4 \sin^3 \theta \, d\rho\, d\theta\, d\phi
這很難求解。而如果採用柱極坐標,新的T區間為:
0 \le \rho \le 3a, \ 0 \le \phi \le 2 \pi, \ - \sqrt{9a^2 - \rho^2} \le z \le \sqrt{9a^2 - \rho^2};
z區間可以通過將球切成兩個半球並求解從D的公式來的不等式得到(然後直接變換x2 + y2ρ2)。新函數就是ρ2.採用積分公式
\iiint_T \rho^2 \rho \ d \rho d \phi dz.
得到
\int_0^{2 \pi} d\phi \int_0^{3a} \rho^3 d\rho \int_{- \sqrt{9a^2 - \rho^2} }^{\sqrt{9 a^2 - \rho^2} }\, dz = 2 \pi \int_0^{3a} 2 \rho^3 \sqrt{9 a^2 - \rho^2} \, d\rho
然後應用變換
9 a^2 - \rho^2 = t\,\! \longrightarrow dt = -2 \rho\, d\rho \longrightarrow d\rho = \frac{d t}{- 2 \rho}\,\!
(新區間變為0, 3a \longrightarrow 9 a^2, 0)。得到
- 2 \pi \int_{9 a^2}^{0} \rho^2 \sqrt{t}\, dt
因為\rho^2 = 9 a^2 - t\,\!,所以
-2 \pi \int_{9 a^2}^0 (9 a^2 - t) \sqrt{t}\, dt,
將積分限反過來,然後分配括號中的項,很容易將積分分解為可以直接積分的兩部分:
2 \pi \left[ \int_0^{9 a^2} 9 a^2 \sqrt{t} \, dt - \int_0^{9 a^2} t \sqrt{t} \, dt\right] = 2 \pi \left[9 a^2 \frac{2}{3} t^{ \frac{3}{2} } - \frac{2}{5} t^{ \frac{5}{2}} \right]_0^{9 a^2}
= 2 \cdot 27 \pi a^5 \left ( 6 - \frac{18}{5} \right ) = \frac{648 \pi}{5} a^5.
由於採用柱極坐標,很容易就將這個三重積分變換為簡單的單變數積分。

參看柱極和球極坐標下的∇中討論的不同的體積元。

數學應用範例-體積計算[編輯]

利用上面描述的方法,很容易計算一些立體的體積。

  • 圓柱:半徑為R的圓形底面作為定義域,將等於高度h的常函數作為積分對象。可以在極坐標中將體積寫作:
體積 = \int_0^{2 \pi } d \phi \int_0^R h \rho \ d \rho = h 2 \pi \left[\frac{\rho^2}{2 }\right]_0^R = \pi R^2 h
驗證:體積=底面積×高 = \pi R^2 \cdot h
  • :可以作為常函數1在球極坐標下的半徑為R的球中積分:
體積 = \int_0^{2 \pi }\, d \phi \int_0^{ \pi } \sin \theta\, d \theta \int_0^R \rho^2\, d \rho = 2 \pi \int_0^{ \pi } \sin \theta \frac{R^3}{3 }\, d \theta = \frac{2}{3 } \pi R^3 [- \cos \theta]_0^{ \pi } = \frac{4}{3 } \pi R^3
  • 四面體 (三稜錐或者說3維單純形):頂點在原點,三條長度為l的邊沿著各個笛卡爾坐標系軸向的四面體的體積可以通過簡化公式計算,因為xy平面和'z'軸互相垂直,xy垂直,被積函數是常數1
體積 = \int_0^\ell dx \int_0^{\ell-x }\, dy \int_0^{\ell-x-y }\, dz = \int_0^\ell dx \int_0^{\ell-x } (\ell - x - y)\, dy
= \int_0^\ell (\ell^2 - 2\ell x + x^2 - \frac{ (\ell-x)^2 }{2 })\, dx = \ell^3 - \ell \ell^2 + \frac{\ell^3}{3 } - \left[\frac{\ell^2}{2 } - \ell x + \frac{x^2}{2 }\right]_0^\ell =
 = \frac{\ell^3}{3 } - \frac{\ell^3}{6 } = \frac{\ell^3}{6}
驗證:體積 = 底面積×高/3 = \frac{\ell^2}{2 } \cdot \ell/3 = \frac{\ell^3}{6}
反常區間的例子。

多重廣義積分[編輯]

定義域無界或者函數值在靠近定義域邊界時無界的情況下,可以引入二重廣義積分或者三重廣義積分

多重積分和累次積分[編輯]

富比尼定理斷言若

\int_{A\times B} |f(x,y)|\,d(x,y)<\infty,

也即,積分絕對收斂,則多重積分和累次積分給出同樣的結果,

\int_{A\times B} f(x,y)\,d(x,y)=\int_A\left(\int_B f(x,y)\,dy\right)\,dx=\int_B\left(\int_A f(x,y)\,dx\right)\,dy

一個特例是如果|f(x,y)|有界函數AB有界集時。

如果積分不是絕對收斂,必須小心,不要混淆多重積分累次積分的概念,特別是當它們採用形式上相同的記法的時候。記法

\int_0^1\int_0^1 f(x,y)\,dy\,dx

在某些情況下表示累次積分而非真正的雙重積分。累次積分中,外圍的積分

\int_0^1 \cdots \, dx

是對於如下x的函數關於x的積分

g(x)=\int_0^1 f(x,y)\,dy

雙重積分卻是定義在xy平面的區域上。若雙重積分存在,則它等於兩個累次積分中的任何一個(或者"dy dx"或者"dx dy"),它也就是通過其中之一來計算的。但是有時這兩個累次積分存在,而雙重積分不存在。這種情況下,有時兩個累次積分不相等,也即,

\int_0^1\int_0^1 f(x,y)\,dy\,dx \neq \int_0^1\int_0^1 f(x,y)\,dx\,dy

這是條件收斂的積分的重排序的一個例子。

如果要強調使用雙重積分而非累次積分時,可以採用如下記法

\int_{[0,1]\times[0,1]} f(x,y)\,dx\,dy

一些實際應用[編輯]

很普遍地,像單變數一樣,我們通過多重積分可以找到給定集合上的函數的平均值。給定一個集合D ⊆ Rn和一個在D上可積的函數ff在區域上的平均值是

\bar{f} = \frac{1}{m(D)} \int_D f(x)\, dx,

其中m(D)是D的測度。

此外,這些積分在物理中有大量應用。

力學中,轉動慣量可以作為密度乘以和轉軸的距離的平方的體積分(三重積分)計算:

I_z = \iiint_V \rho r^2\, dV

一個質量分布相關的引力勢 given by a mass measure dm on three-dimensional Euclidean space R3 is

V(\mathbf{x}) = -\int_{\mathbf{R}^3} \frac{G}{|\mathbf{x} - \mathbf{y}|}\,dm(\mathbf{y}).

如果存在一個連續函數 ρ(x) 表示 x 處的密度分布, 那麼 dm(x) = ρ(x)d 3x, 其中d 3x 是歐幾里得體積元, 那麼引力勢就是

V(\mathbf{x}) = -\int_{\mathbf{R}^3} \frac{G}{|\mathbf{x}-\mathbf{y}|}\,\rho(\mathbf{y})\,d^3\mathbf{y}.

電磁學中,麥克斯韋方程組可以寫作多重積分,用以計算總磁場和電場。下例中,由電荷分布產生的電場通過向量函數的三重積分得到:

\vec E = \frac {1}{4 \pi \epsilon_0} \iiint \frac {\vec r - \vec r'}{\left \| \vec r - \vec r' \right \|^3} \rho (\vec r')\, \operatorname{d}^3 r'

參看[編輯]

參考[編輯]

外部連結[編輯]