logo

Green's Theorem, Integration by Parts Formula 📂Partial Differential Equations

Green's Theorem, Integration by Parts Formula

Theorem

Let URnU\subset \mathbb{R}^{n} be an open set. Suppose u:UˉRu : \bar{U} \to \mathbb{R} and uC1(Uˉ)u \in C^1(\bar{U}). Let ν\nu be the outward unit normal vector. Then, the following equation holds:

Uuxidx=UuνidS(i=1,,n) \begin{equation} \int_{U} u_{x_{i}}dx=\int _{\partial U} u\nu^{i} dS\quad (i=1,\dots, n) \label{eq1} \end{equation}

Summing this over all ii gives the equation below. For each u1C1(Uˉ)u^{1} \in C^{1}(\bar{U}), if we say u=(u1,,un):UˉRn\mathbf{u} = (u^{1},\dots,u^{n}) : \bar{U} \to \mathbb{R}^{n}, then:

Uudx=UuνdS \int_{U} \nabla \cdot \mathbf{u} dx = \int_{\partial U} \mathbf{u} \cdot \nu dS

This result is known as the Green-Gauss theorem or the divergence theorem.

Corollary: Partial Integration Formula

Let u,vC1(Uˉ)u, v \in C^1(\bar{U}). Then, the following equation holds:

Uuxivdx=Uuvxidx+UuvνidS(i=1,,n) \int_{U} u_{x_{i}}vdx = -\int_{U} uv_{x_{i}}dx + \int_{\partial U} uv\nu^{i} dS\quad (i=1,\dots , n)

Proof

This can be obtained by applying uvuv instead of uu to (eq1)\eqref{eq1}.

U(uv)xidx=Uuxivdx+Uuvxidx=UuvνidS \int_{U} (uv)_{x_{i}} dx = \int_{U} u_{x_{i}}v dx +\int_{U} uv_{x_{i}} dx =\int _{\partial U} u v\nu ^{i} dS

After rearranging, it is as follows:

Uuxivdx=Uuvxidx+UuvνidS \int_{U} u_{x_{i}}v dx =-\int_{U} uv_{x_{i}} dx + \int _{\partial U} uv \nu ^{i} dS