Double Integral of a Real Scalar Field

Definition: Double Integral of a Real Scalar Field over a Rectangle

Let $f:R\to \mathbb{R}$ be a real scalar field over some rectangle $R=[a;b]\times [c;d]\subset {\mathbb{R}}^2$.

The double integral of $f$ over $R$ is the limit of all of its double Riemann sums, if it exists and is the same for all of them.

$$\underset{m,n\to \infty }{\lim }\sum _{i=1}^m\sum _{j=1}^{n}f(x_{ij}^{\ast },y_{ij}^{\ast })\Delta A$$

NOTATION

$$\underset{R}{\iint }f\mathrm{dR}\underset{R}{\iint }f\mathrm{dA}\underset{R}{\iint }f(x,y)\mathrm{dA}$$

Definition: Double Integral of a Real Scalar Field over an Arbitrary Region

Let $f:D\subset {\mathbb{R}}^n\to \mathbb{R}$ be a real scalar field.

The double integral of $f$ over $D$ is the double integral

$$\underset{R}{\iint }\mathcal{F}\mathrm{dR},$$

where $R\subset {\mathbb{R}}^2$ is any rectangle which completely contains $D$ and

$$\mathcal{F}(x,y)=\{\begin{array}{l}f(x,y),\text{if }(x,y)\in D\\ 0,\text{ if }(x,y)\in R\setminus D\end{array}$$

NOTATION

$$\underset{D}{\iint }f\mathrm{dD}\underset{D}{\iint }f\mathrm{dA}\underset{D}{\iint }f(x,y)\mathrm{dA}$$

Intuition: Geometric Meaning of the Double Intgeral

The double integral of $f$ over $D$ is the signed volume between the graph of $f$ and $D$.

Theorem: Linearity of the Double Integral

Let $f,g:D\to \mathbb{R}$ be real scalar fields over a general region $D\subset {\mathbb{R}}^2$.

The double integral is linear - for all $\lambda ,\mu \in \mathbb{R}$:

$$\underset{D}{\iint }\lambda f(x,y)+\mu g(x,y)\mathrm{dA}=\lambda \underset{D}{\iint }f(x,y)\mathrm{dA}+\mu \underset{D}{\iint }g(x,y)\mathrm{dA}$$

PROOF

TODO

Theorem: Double Integral over General Regions

Let $f:D\subseteq {\mathbb{R}}^2\to \mathbb{R}$ be a real scalar field.

If $f$ is continuous and $D$ is a general region $D=\{(x,y)\mid a\le x\le b,l(x)\le y\le u(x)\}$, then the double integral of $f$ over $D$ can be calculated through via iterated parametric integrals:

$$\underset{D}{\iint }f\mathrm{dD}={\int }_a^b{\int }_{l(x)}^{u(x)}f(x,y)\mathrm{dy}\mathrm{dx}$$

If $f$ is continuous and $D$ is a general region $D=\{(x,y)\mid l(y)\le x\le u(y),a\le y\le b\}$, then the double integral of $f$ over $D$ can be calculated through via iterated parametric integrals:

$$\underset{D}{\iint }f\mathrm{dD}={\int }_a^b{\int }_{l(y)}^{u(y)}f(x,y)\mathrm{dx}\mathrm{dy}$$

PROOF

TODO

Theorem: Region Decomposition

Let $f:D\subset {\mathbb{R}}^2\to \mathbb{R}$ be a real scalar field.

If $D$ can be represented as a union disjoint $D=D_1\cup \cdots \cup D_n$ of finitely many disjoint general regions, then the double integral of $f$ over $D$ is the sum of the double integral of $f$ over $D_1,\cdots ,D_n$:

$$\underset{D}{\iint }f\mathrm{dA}=\underset{D_1}{\iint }\mathrm{d}{D}_1+\cdots +\underset{D_n}{\iint }f\mathrm{d}{D}_n$$

PROOF

TODO