# Mathematical proof First and Second Green's Identity

## Video - Divergence Theorem: The Simplest Explanation Every Physicist Should Know

Download video Unlock Here the two formulas, called **Green's identities**, are derived using the Divergence theorem. Green's identities are useful identities for converting integrals with gradients and divergences into integrals with normal derivatives. They are used, for example, in electrostatics to calculate electric potentials.

Consider a vector field \(\boldsymbol{F}(\boldsymbol{r})\) (for example, it could be an electric field) that depends on the spatial coordinate \(\boldsymbol{r} = (x,y,z)\) and is defined as follows:

**Vector field as product of a scalar function and gradient**

Here \(\Phi(\boldsymbol{r})\) and \( \Psi(\boldsymbol{r}) \) are *smooth scalar functions* (e.g. they could be two electric potential functions). And the symbol \(\nabla\) is the nabla operator applied to the scalar function \( \Psi(\boldsymbol{r}) \). The result is the gradient of the scalar function: \(\nabla \, \Psi(\boldsymbol{r})\). In the following we do not write the dependence on \(\boldsymbol{r}\) to make the equations a bit more compact. Of course, the corresponding functions still depend on \(\boldsymbol{r}\).

We want to apply the Divergence theorem to the vector field \(\boldsymbol{F}\). The Divergence theorem states the following:

**Divergence theorem**

Here \(V\) is any **volume** and \(A\) is the associated **closed surface** of the enclosed volume. Using the Divergence theorem, we can convert a volume integral (left side of 2

) to a surface integral (right side of 2

) and vice versa.

As you can see, the divergence of vector field \( \nabla \cdot \boldsymbol{F} \) occurs on the left side of the Divergence theorem. Therefore, the first step we want to take is to form the divergence of our vector field \(\boldsymbol{F}\) defined in Eq. 1

:

**Calculate divergence of a vector field**

&~=~ \Phi \, \nabla^2 \Psi ~+~ \nabla \Psi ~\cdot~ \nabla \Phi \end{align} $$

Here \(\nabla^2\) is the Laplace operator, that is the sum of the second derivatives with respect to the spatial coordinates \(x\), \(y\) and \(z\). In the second step, we have exploited the following identity for divergence:

**Divergence of the product of a scalar function with a vector field**

Now we insert the divergence field 3

into the left side of the Divergence theorem 2

:

**Divergence field inserted into the Divergence theorem**

Next, we express the area element \(\text{d}\boldsymbol{a}\) with the **area normal vector** \(\boldsymbol{n} \). This normal vector is perpendicular to the area element and points in the same direction as \(\text{d}\boldsymbol{a}\) element:

**Area element with the normal vector expressed in the Divergence theorem**

Then we insert the vector field 1

we defined into the right-hand side of the Divergence theorem 6

:

**Divergence theorem with vector field inserted**

Here \(\nabla \, \Psi \cdot \boldsymbol{n}\) is the *directional derivative* of \(\Psi\). It is the component of the gradient field \(\nabla \, \Psi\) in the direction of \(\boldsymbol{n}\) on the surface \(A\) (also called *normal derivative*). The normal derivative is also notated as follows:

**Notation of the directional derivative**

Let us use this notation in Eq. 7

. The we obtain:

**First Green's identity**

If you set \( \Phi \equiv 1 \), then you get a useful special case ( recall that the gradient \(\nabla \Phi\) of a constant function is zero):

**Special case of the first Green's identity**

To get the second Green's identity, we first swap the scalar functions \(\Psi\) and \(\Phi\) in the first Green's identity:

**Scalar functions in the first Green's identity swapped**

Then we subtract from the 1st Green's identity the swapped version 11

. Thus \( \nabla \Phi ~\cdot~ \nabla \Psi \) is eliminated, since divergence operation \(~\cdot~\) is commutative. What remains is:

**Second Green's identity**