Second-Order Discontinuities for Simple and Double Layers
Abstract: Simple and double layers first appeared in electrostatics and later found various applications in mathematical physics. In this paper, we present the jump discontinuity conditions for their second-order spatial derivatives.

1. Introduction

In his 1887 paper , Weingarten announced an elegant formula, found in Equation (58) below, for the jump discontinuities in the second derivatives of the Newtonian potential across the boundary of a self-gravitating body. Recall that the Newtonian potential ${V}_{\rho }$ induced by the mass density distribution $\rho$ over a domain ${\Omega }^{+}$ is given by

${V}_{\rho }\left(Z\right)=-{\int }_{{\Omega }^{+}}\frac{\rho \left(Z\right)}{|\stackrel{\to }{Z}\left(Z\right)-\stackrel{\to }{Z}\left({Z}^{\ast }\right)|}\text{d}{Z}^{\ast },$ (1)

where $\stackrel{\to }{Z}$ is the radius vector and the symbols $V\left(Z\right)$ and $\stackrel{\to }{Z}\left(Z\right)$ denote the functions $V\left({Z}^{1},{Z}^{2},{Z}^{3}\right)$ and $\stackrel{\to }{Z}\left({Z}^{1},{Z}^{2},{Z}^{3}\right)$ of the coordinates ${Z}^{i}$.

Our goal is to construct formulas analogous to Equation (58) for the jump discontinuities in the potentials induced by simple and double layer distributions over a surface S. A simple layer potential ${V}_{\sigma }$ is usually associated with a charge distribution $\sigma \left(S\right)$ while a double layer potential ${V}_{\delta }$ is usually associated with a dipole distribution $\delta \left(S\right)$. They are given by the surface integrals

${V}_{\sigma }\left(Z\right)={\int }_{S}\frac{\mu \left(S\right)}{|\stackrel{\to }{Z}\left(Z\right)-\stackrel{\to }{Z}\left(S\right)|}\text{d}S$ (2)

and

${V}_{\delta }\left(Z\right)=-{\int }_{S}\text{ }\text{ }\delta \left(S\right)\frac{\partial }{\partial n}\frac{1}{|\stackrel{\to }{Z}\left(Z\right)-\stackrel{\to }{Z}\left(S\right)|}\text{d}S$ (3)

where $\partial /\partial n$ denotes the normal derivative. The relevant elements of potential theory can be found in the classic texts  - .

2. The Relevant Elements of Tensor Calculus

Let us briefly summarize our notation, as well as the basic elements of tensor calculus that we will use in this paper. Refer the three-dimensional Euclidean space to general curvilinear coordinates ${Z}^{i}$. The Latin indices will run the values 1, 2, and 3. Treat the radius vector $\stackrel{\to }{Z}$ as a function of the coordinates denoted by $\stackrel{\to }{Z}\left({Z}^{1},{Z}^{2},{Z}^{3}\right)$. We will typically collapse the arguments of functions and denote $\stackrel{\to }{Z}\left({Z}^{1},{Z}^{2},{Z}^{3}\right)$ simply by $\stackrel{\to }{Z}\left(Z\right)$. Let

${\stackrel{\to }{Z}}_{i}=\frac{\partial \stackrel{\to }{Z}\left(Z\right)}{\partial {Z}^{i}}$ (4)

be the covariant basis and

${Z}_{ij}={\stackrel{\to }{Z}}_{i}\cdot {\stackrel{\to }{Z}}_{j}$ (5)

be the covariant metric tensor. The contravariant metric tensor ${Z}^{ij}$ is defined as the matrix inverse of ${Z}_{ij}$. We will use the standard elements of tensor calculus in the Euclidean space including the multiplication and contraction of tensors, index juggling, and covariant differentiation. For the necessary background in tensor calculus, we especially recommend  as well as the book  by Tracy Thomas who was one of the key figures in the theory of compatibility conditions for discontinuous tensorial fields. We also recommend our books   from which we borrow the notation and some of the elementary results with regard to the compatibility conditions.

Now consider a surface S. Let the Greek indices run the values 1 and 2 and refer the our surface S to the coordinate ${S}^{\alpha }$. Suppose that

${Z}^{i}={Z}^{i}\left(S\right)$ (6)

are the equations of the surface S, where the symbol ${Z}^{i}\left(S\right)$ represents the functions ${Z}^{i}\left({S}^{1},{S}^{1}\right)$. Let $\stackrel{\to }{Z}\left(S\right)$ be the surface restriction of the ambient radius vector function $\stackrel{\to }{Z}\left(Z\right)$. Then $\stackrel{\to }{Z}\left(S\right)$ is given by the composition

$\stackrel{\to }{Z}\left(S\right)\equiv \stackrel{\to }{Z}\left(Z\left(S\right)\right).$ (7)

The shift tensor ${Z}_{\alpha }^{i}$ is given by

${Z}_{\alpha }^{i}\left(S\right)\equiv \frac{\partial {Z}^{i}\left(S\right)}{\partial {S}^{\alpha }}.$ (8)

The surface covariant basis, given by

${\stackrel{\to }{S}}_{\alpha }=\frac{\partial \stackrel{\to }{Z}\left(S\right)}{\partial {S}^{\alpha }},$ (9)

is related to the ambient covariant basis ${\stackrel{\to }{Z}}_{i}$ by the identity

${\stackrel{\to }{S}}_{\alpha }={\stackrel{\to }{Z}}_{i}{Z}_{\alpha }^{i}.$ (10)

The surface covariant metric tensor is given by

${S}_{\alpha \beta }\equiv {\stackrel{\to }{S}}_{\alpha }\cdot {\stackrel{\to }{S}}_{\beta }.$ (11)

Its matrix inverse is the contravariant metric tensor ${S}^{\alpha \beta }$. All objects on the surface are subject to the surface covariant derivative denoted by ${\nabla }_{\alpha }$.

The shape of the boundary S is characterized by the unit normal ${N}^{i}$ and the curvature tensor ${B}_{\alpha \beta }$, also known as the second fundamental form. These important tensors satisfy the equations

${Z}_{i}^{\alpha }{Z}_{\beta }^{i}={\delta }_{\beta }^{\alpha }$ (12)

${N}_{i}{N}^{i}=1$ (13)

${N}_{i}{Z}_{\alpha }^{i}=0$ (14)

${\nabla }_{\beta }{Z}_{\alpha }^{i}={B}_{\alpha \beta }{N}^{i}$ (15)

${\nabla }_{\beta }{N}^{i}=-{B}_{\beta }^{\alpha }{Z}_{\alpha }^{i},$ (16)

where the last equation is known as Weingartens equation. Finally, we will make frequent use of the projection formula

${\delta }_{j}^{i}={N}^{i}{N}_{j}+{Z}_{\alpha }^{i}{Z}_{j}^{\alpha },$ (17)

although it will almost always appear with different combinations of index names.

3. One-Sided Limits and Jump Discontinuities

Consider a field $F\left(Z\right)$ defined in the ambient space surrounding the interface S referred to surface coordinates ${S}^{\alpha }$. Suppose that S divides the space into two regions denoted by ${\Omega }^{+}$ and ${\Omega }^{-}$. Consider a point P on S with ambient coordinates ${Z}_{0}^{i}$ and surface coordinates ${S}^{\alpha }$. Then let ${F}^{+}\left(S\right)$ be the limiting value of $F\left(Z\right)$ as ${Z}^{i}\to {Z}^{i}\left(S\right)$ from the region ${\Omega }^{+}$ and, similarly, ${F}^{-}\left(S\right)$ be the limiting value of $F\left(Z\right)$ as ${Z}^{i}\to {Z}^{i}\left(S\right)$ from the region ${\Omega }^{-}$. The fields ${F}^{+}\left(S\right)$ and ${F}^{-}\left(S\right)$ defined on the surface S are known as one-sided limits of $F\left(Z\right)$ and are illustrated in Figure 1.

The same concepts can be applied to tensor fields such as ${\nabla }_{i}F$, where the symbols ${\nabla }_{i}{F}^{+}$ and ${\nabla }_{i}{F}^{-}$ are understood as the one-sided limits of ${\nabla }_{i}F$.

Figure 1. Ilustration of the concept of a one-side limit.

(Note that the ambient derivative ${\nabla }_{i}$ cannot be applied to ${F}^{+}$ and ${F}^{-}$ since the latter are defined only on the surface.)

Recall that the surface covariant derivative ${\nabla }_{\alpha }$ satisfies the chain rule

${\nabla }_{\alpha }={Z}_{\alpha }^{i}{\nabla }_{i}$ (18)

when applied to fields defined in the surrounding ambient space. Therefore,

${\nabla }_{\alpha }{F}^{+}={Z}_{\alpha }^{i}{\nabla }_{i}{F}^{+}$ (19)

and

${\nabla }_{\alpha }{F}^{-}={Z}_{\alpha }^{i}{\nabla }_{i}{F}^{-},$ (20)

assuming that the covariant derivative and the limit can be interchanged. This is known as the Hadamard lemma. A rigorous derivation of this lemma can be found in .

For a field F that is discontinuous across S, the quantity ${F}^{+}-{F}^{-}$ is called the jump discontinuity and, according to notation introduced above, is denoted by $\left[F\right]$, i.e.

$\left[F\right]={F}^{+}-{F}^{-}.$ (21)

From Equations (19) and (20), we find that

${\nabla }_{\alpha }\left[F\right]={Z}_{\alpha }^{i}\left[{\nabla }_{i}F\right].$ (22)

Contract both sides of this equation with ${Z}_{j}^{\alpha }$, i.e.

${Z}_{j}^{\alpha }{\nabla }_{\alpha }\left[F\right]={Z}_{j}^{\alpha }{Z}_{\alpha }^{i}\left[{\nabla }_{i}F\right].$ (23)

Since (see  and  )

${Z}_{j}^{\alpha }{Z}_{\alpha }^{i}={\delta }_{j}^{i}-{N}^{i}{N}_{j},$ (24)

we have

${Z}_{j}^{\alpha }{\nabla }_{\alpha }\left[F\right]=\left[{\nabla }_{j}F\right]-{N}_{j}{N}^{i}\left[{\nabla }_{i}F\right].$ (25)

Exchanging the names of the indices i and j and solving for $\left[{\nabla }_{i}F\right]$, we find

$\left[{\nabla }_{i}F\right]={Z}_{i}^{\alpha }{\nabla }_{\alpha }\left[F\right]+{N}_{i}{N}^{j}\left[{\nabla }_{j}F\right].$ (26)

This formula “decomposes” the jump discontinuity $\left[{\nabla }_{i}F\right]$ of the derivatives ${\nabla }_{i}F$ in terms of the jump discontinuity $\left[F\right]$ of F itself and the jump discontinuity ${N}^{j}\left[{\nabla }_{j}F\right]$ of the normal components of ${\nabla }_{i}F$. The latter can be thought of as the jump discontinuity in the normal derivative $\partial F/\partial n$ of F.

Let ${H}_{n}$ denote the jump discontinuity in the n-th normal derivative of F. In other words,

${H}_{0}=\left[F\right]$ (27)

${H}_{1}={N}^{k}\left[{\nabla }_{k}F\right]$ (28)

${H}_{2}={N}^{k}{N}^{l}\left[{\nabla }_{k}{\nabla }_{l}F\right],$ (29)

and so on. With the help of these symbols, Equation (26) can be rewritten as

$\left[{\nabla }_{i}F\right]={Z}_{i}^{\alpha }{\nabla }_{\alpha }{H}_{0}+{N}_{i}{H}_{1}.$ (30)

Equation (30) is called the first-order compatibility conditions. The Nth-order compatibility conditions are an expression for the jump discontinuities in the Nth-order derivatives of F in terms of the ${H}_{n\le N}$. In essence, compatibility conditions treat the quantities ${H}_{n}$ as the degrees of freedom governing the jump discontinuities and thus provide a great deal of structure and insight.

The goal of the next section is to derive the general second-order compatibility conditions which can then be applied to the simple and double layer potentials ${V}_{\sigma }$ and ${V}_{\delta }$.

4. The General Second-Order Compatibility Conditions

Our present goal is to derive the compatibility conditions for the discontinuity jumps $\left[{\nabla }_{i}{\nabla }_{j}F\right]$ in the second derivative of F. With the help of the projection formula

${\delta }_{j}^{k}={N}^{k}{N}_{i}+{Z}_{\alpha }^{k}{Z}_{i}^{\alpha },$ (17)

$\left[{\nabla }_{i}{\nabla }_{j}F\right]$ can be rewritten as

$\begin{array}{c}\left[{\nabla }_{i}{\nabla }_{j}F\right]=\left[{\nabla }_{k}{\nabla }_{j}F\right]{\delta }_{i}^{k}\\ =\left[{\nabla }_{k}{\nabla }_{j}F\right]\left({N}^{k}{N}_{i}+{Z}_{\alpha }^{k}{Z}_{i}^{\alpha }\right)\\ =\left[{\nabla }_{k}{\nabla }_{j}F\right]{N}^{k}{N}_{i}+{Z}_{\alpha }^{k}{Z}_{i}^{\alpha }\left[{\nabla }_{k}{\nabla }_{j}F\right].\end{array}$ (31)

By the chain rule,

${Z}_{\alpha }^{k}{Z}_{i}^{\alpha }\left[{\nabla }_{k}{\nabla }_{j}F\right]={Z}_{i}^{\alpha }{\nabla }_{\alpha }\left[{\nabla }_{j}F\right]$ (32)

and therefore

$\left[{\nabla }_{i}{\nabla }_{j}F\right]=\left[{\nabla }_{k}{\nabla }_{j}F\right]{N}^{k}{N}_{i}+{Z}_{i}^{\alpha }{\nabla }_{\alpha }\left[{\nabla }_{j}F\right].$ (33)

We will now analyze each of the terms on the right separately.

4.1. The Term $\left[{\nabla }_{k}{\nabla }_{j}F\right]{N}^{k}{N}_{i}$

Another application of the projection formula

${\delta }_{j}^{l}={N}^{l}{N}_{j}+{Z}_{\alpha }^{l}{Z}_{j}^{\alpha }$ (17)

yields

$\begin{array}{c}\left[{\nabla }_{k}{\nabla }_{j}F\right]{N}^{k}{N}_{i}=\left[{\nabla }_{k}{\nabla }_{l}F\right]{\delta }_{j}^{l}{N}^{k}{N}_{i}\\ =\left[{\nabla }_{k}{\nabla }_{l}F\right]\left({N}^{l}{N}_{j}+{Z}_{\alpha }^{l}{Z}_{j}^{\alpha }\right){N}^{k}{N}_{i}\\ =\left[{\nabla }_{k}{\nabla }_{l}F\right]{N}^{l}{N}_{j}{N}^{k}{N}_{i}+\left[{\nabla }_{k}{\nabla }_{l}F\right]{Z}_{\alpha }^{l}{Z}_{j}^{\alpha }{N}^{k}{N}_{i}\\ ={H}_{2}{N}_{i}{N}_{j}+{Z}_{j}^{\alpha }{\nabla }_{\alpha }\left[{\nabla }_{k}F\right]{N}^{k}{N}_{i}\end{array}$ (34)

Since

$\begin{array}{c}{\nabla }_{\alpha }\left[{\nabla }_{k}F\right]{N}^{k}={\nabla }_{\alpha }\left({N}^{k}\left[{\nabla }_{k}F\right]\right)-\left[{\nabla }_{k}F\right]{\nabla }_{\alpha }{N}^{k}\\ ={\nabla }_{\alpha }\left({N}^{k}\left[{\nabla }_{k}F\right]\right)+{Z}_{\beta }^{k}\left[{\nabla }_{k}F\right]{B}_{\alpha }^{\beta }\\ ={\nabla }_{\alpha }{H}_{1}+{B}_{\alpha }^{\beta }{\nabla }_{\beta }{H}_{0},\end{array}$ (35)

we have

$\left[{\nabla }_{k}{\nabla }_{j}F\right]{N}^{k}{N}_{i}={H}_{2}{N}_{i}{N}_{j}+{N}_{i}{Z}_{j}^{\alpha }{\nabla }_{\alpha }{H}_{1}+{N}_{i}{Z}_{j}^{\alpha }{B}_{\alpha }^{\beta }{\nabla }_{\beta }{H}_{0}.$ (36)

4.2. The Term ${Z}_{i}^{\alpha }{\nabla }_{\alpha }\left[{\nabla }_{j}F\right]$

Let us once again use the project formula

${\delta }_{j}^{k}={N}^{k}{N}_{j}+{Z}_{j}^{\beta }{Z}_{\beta }^{k}.$ (17)

We have

$\begin{array}{c}{Z}_{i}^{\alpha }{\nabla }_{\alpha }\left[{\nabla }_{j}F\right]={Z}_{i}^{\alpha }{\nabla }_{\alpha }\left(\left[{\nabla }_{k}F\right]{\delta }_{j}^{k}\right)\\ ={Z}_{i}^{\alpha }{\nabla }_{\alpha }\left(\left[{\nabla }_{k}F\right]{N}^{k}{N}_{j}+\left[{\nabla }_{k}F\right]{Z}_{j}^{\beta }{Z}_{\beta }^{k}\right)\\ ={Z}_{i}^{\alpha }{\nabla }_{\alpha }\left({H}_{1}{N}_{j}+{Z}_{j}^{\beta }{\nabla }_{\beta }{H}_{0}\right).\end{array}$ (37)

Continuing with the product rule, we have

${Z}_{i}^{\alpha }{\nabla }_{\alpha }\left[{\nabla }_{j}F\right]={Z}_{i}^{\alpha }\left({\nabla }_{\alpha }{Z}_{j}^{\beta }{\nabla }_{\beta }{H}_{0}+{Z}_{j}^{\beta }{\nabla }_{\alpha }{\nabla }_{\beta }{H}_{0}\right)+{Z}_{i}^{\alpha }\left({\nabla }_{\alpha }{H}_{1}{N}_{j}+{H}_{1}{\nabla }_{\alpha }{N}_{j}\right)$ (38)

Since ${\nabla }_{\alpha }{Z}_{j}^{\beta }={N}_{j}{B}_{\alpha }^{\beta }$ and ${\nabla }_{\alpha }{N}_{j}=-{Z}_{j}^{\beta }{B}_{\alpha \beta }$, we find

${Z}_{i}^{\alpha }{\nabla }_{\alpha }\left[{\nabla }_{j}F\right]={Z}_{i}^{\alpha }{Z}_{j}^{\beta }{\nabla }_{\alpha }{\nabla }_{\beta }{H}_{0}+{Z}_{i}^{\alpha }{N}_{j}{B}_{\alpha }^{\beta }{\nabla }_{\beta }{H}_{0}+{N}_{j}{Z}_{i}^{\alpha }{\nabla }_{\alpha }{H}_{1}-{Z}_{i}^{\alpha }{Z}_{j}^{\beta }{B}_{\alpha \beta }{H}_{1}.$ (39)

The combination ${Z}_{i}^{\alpha }{Z}_{j}^{\beta }{B}_{\alpha \beta }$ is often denoted by ${B}_{ij}$, i.e.

${B}_{ij}={Z}_{i}^{\alpha }{Z}_{j}^{\beta }{B}_{\alpha \beta }.$ (40)

With the help of this new symbol, ${Z}_{i}^{\alpha }{\nabla }_{\alpha }\left[{\nabla }_{j}F\right]$ is given by

${Z}_{i}^{\alpha }{\nabla }_{\alpha }\left[{\nabla }_{j}F\right]={Z}_{i}^{\alpha }{Z}_{j}^{\beta }{\nabla }_{\alpha }{\nabla }_{\beta }{H}_{0}+{Z}_{i}^{\alpha }{N}_{j}{B}_{\alpha }^{\beta }{\nabla }_{\beta }{H}_{0}+{N}_{j}{Z}_{i}^{\alpha }{\nabla }_{\alpha }{H}_{1}-{B}_{ij}{H}_{1}.$ (41)

4.3. The Final Relationship

Combine the two terms obtained in the preceding sections:

$\begin{array}{c}\left[{\nabla }_{i}{\nabla }_{j}F\right]={H}_{2}{N}_{i}{N}_{j}+{N}_{i}{Z}_{j}^{\alpha }{\nabla }_{\alpha }{H}_{1}+{N}_{i}{Z}_{j}^{\alpha }{B}_{\alpha }^{\beta }{\nabla }_{\beta }{H}_{0}+{Z}_{i}^{\alpha }{Z}_{j}^{\beta }{\nabla }_{\alpha }{\nabla }_{\beta }{H}_{0}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{Z}_{i}^{\alpha }{N}_{j}{B}_{\alpha }^{\beta }{\nabla }_{\beta }{H}_{0}+{N}_{j}{Z}_{i}^{\alpha }{\nabla }_{\alpha }{H}_{1}-{B}_{ij}{H}_{1}.\end{array}$ (42)

Collecting like terms we arrive at the final second-order compatibility conditions

$\begin{array}{c}\left[{\nabla }_{i}{\nabla }_{j}F\right]={H}_{2}{N}_{i}{N}_{j}+\left({N}_{i}{Z}_{j}^{\alpha }+{N}_{j}{Z}_{i}^{\alpha }\right){\nabla }_{\alpha }{H}_{1}-{B}_{ij}{H}_{1}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\left({N}_{j}{Z}_{i}^{\alpha }+{N}_{i}{Z}_{j}^{\alpha }\right){B}_{\alpha }^{\beta }{\nabla }_{\beta }{H}_{0}+{Z}_{i}^{\alpha }{Z}_{j}^{\beta }{\nabla }_{\alpha }{\nabla }_{\beta }{H}_{0}.\end{array}$ (43)

Let us call attention to several important special cases. If the field F is continuous across S, i.e. ${H}_{0}=0$, then

$\left[{\nabla }_{i}{\nabla }_{j}F\right]={H}_{2}{N}_{i}{N}_{j}+\left({N}_{i}{Z}_{j}^{\alpha }+{N}_{j}{Z}_{i}^{\alpha }\right){\nabla }_{\alpha }{H}_{1}-{B}_{ij}{H}_{1}.$ (44)

If F has continuous first-order derivatives across S, i.e. ${H}_{1}=0$, then

$\left[{\nabla }_{i}{\nabla }_{j}F\right]={H}_{2}{N}_{i}{N}_{j}+\left({N}_{j}{Z}_{i}^{\alpha }+{N}_{i}{Z}_{j}^{\alpha }\right){B}_{\alpha }^{\beta }{\nabla }_{\beta }{H}_{0}+{Z}_{i}^{\alpha }{Z}_{j}^{\beta }{\nabla }_{\alpha }{\nabla }_{\beta }{H}_{0}.$ (45)

Finally, if F is continuous along with its derivatives, i.e. ${H}_{0}={H}_{1}=0$, then the compatibility conditions have the particularly simple form

$\left[{\nabla }_{i}{\nabla }_{j}F\right]={H}_{2}{N}_{i}{N}_{j}.$ (46)

Let us also use the main compatibility condition (43) to derive the general expression for the jump discontinuity in the Laplacian ${\nabla }_{i}{\nabla }^{i}F$. Raising the index j and contracting with i, we find

$\begin{array}{c}\left[{\nabla }_{i}{\nabla }^{i}F\right]={H}_{2}{N}_{i}{N}^{i}+\left({N}_{i}{Z}^{i\alpha }+{N}^{i}{Z}_{i}^{\alpha }\right){\nabla }_{\alpha }{H}_{1}-{B}_{i}^{i}{H}_{1}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+\left({N}_{i}{Z}^{i\alpha }+{N}^{i}{Z}_{i}^{\alpha }\right){B}_{\alpha }^{\beta }{\nabla }_{\beta }{H}_{0}+{Z}_{i}^{\alpha }{Z}_{\beta }^{i}{\nabla }_{\alpha }{\nabla }^{\beta }{H}_{0}.\end{array}$ (47)

Recall that ${N}_{i}{N}^{i}=0$, ${N}_{i}{Z}^{i\alpha }={N}^{i}{Z}_{i}^{\alpha }=0$, and ${Z}_{i}^{\alpha }{Z}_{\beta }^{i}={\delta }_{\beta }^{\alpha }$. Therefore,

$\left[{\nabla }_{i}{\nabla }^{i}F\right]={H}_{2}-{B}_{i}^{i}{H}_{1}+{\nabla }_{\alpha }{\nabla }^{\alpha }{H}_{0}.$ (48)

Meanwhile, for the invariant ${B}_{i}^{i}$, we have

${B}_{i}^{i}={B}_{\alpha \beta }{Z}^{i\alpha }{Z}_{i}^{\beta }={B}_{\alpha \beta }{S}^{\alpha \beta }={B}_{\alpha }^{\alpha },$ (49)

where the invariant ${B}_{\alpha }^{\alpha }$ is known as the mean curvature. Thus, finally, we have

$\left[{\nabla }_{i}{\nabla }^{i}F\right]={H}_{2}-{B}_{\alpha }^{\alpha }{H}_{1}+{\nabla }_{\alpha }{\nabla }^{\alpha }{H}_{0}.$ (50)

This completes the main technical challenge of our investigation, that is, to derive the general compatibility conditions. In order to apply the obtained formulas to specific situations, we must simply determine the values of the surface fields ${H}_{0}$, ${H}_{1}$, and ${H}_{2}$. For the classical Newtonian potential, as well as the potentials associated with simple and double layers, these fields can be determined by analyzing the well-established partial differential equations and boundary conditions that govern them. This task will be accomplished in the next three sections.

5. The Classical Newtonian Potential and Weingarten’s Condition

Recall that the Newtonian potential V is defined by the integral equation

${V}_{\rho }\left(Z\right)=-{\int }_{{\Omega }^{+}}\frac{\rho \left(Z\right)}{|\stackrel{\to }{Z}\left(Z\right)-\stackrel{\to }{Z}\left({Z}^{\ast }\right)|}\text{d}{Z}^{\ast }$ (1)

where ${\Omega }^{+}$ is the domain occupied by the mass distribution $\rho \left(Z\right)$, as illustrated in Figure 2.

The potential V satisfies the Poisson equation

${\nabla }_{i}{\nabla }^{i}V=-4\pi \rho$ (51)

inside ${\Omega }^{+}$ and the Laplace equation

${\nabla }_{i}{\nabla }^{i}V=0$ (52)

Figure 2. A self-gravitating body ${\Omega }^{+}$ with density $\rho \left(Z\right)$ and boundary S.

inside ${\Omega }^{-}$. Furthermore, V is continuous across S along with its derivatives, i.e.

$\left[V\right]=0$ (53)

and

${N}^{i}\left[{\nabla }_{i}V\right]=0.$ (54)

In other words,

${H}_{0}={H}_{1}=0.$ (55)

Thus, from equation

$\left[{\nabla }_{i}{\nabla }^{i}F\right]={H}_{2}-{B}_{\alpha }^{\alpha }{H}_{1}+{\nabla }_{\alpha }{\nabla }^{\alpha }{H}_{0}$ (50)

we observe that

$\left[{\nabla }_{i}{\nabla }^{i}F\right]={H}_{2}.$ (56)

As a result, Equations (51), (52) tell us that

${H}_{2}=-4\pi \rho .$ (57)

Having determined ${H}_{0}$, ${H}_{1}$, and ${H}_{2}$, we can conclude from Equation (46), that

$\left[{\nabla }_{i}{\nabla }_{j}V\right]=-4\pi \rho {N}_{i}{N}_{j}$ (58)

which is precisely Weingarten’s condition announced in .

6. Simple Layers

Recall that potential ${V}_{\sigma }$ induced by the simple layer distribution $\sigma$ on the surface S is defined by Equation (2). Similarly to the Newtonian potential V, ${V}_{\sigma }$ is twice differentiable away from S where it satisfies the Laplace equation

${\nabla }^{i}{\nabla }_{i}{V}_{\sigma }=0.$ (59)

On the other hand, the continuity conditions across the interface S are distinct from those of the Newtonian potential V. Specifically, while ${V}_{\sigma }$ is continuous across S, i.e.

$\left[{V}_{\sigma }\right]=0,$ (60)

its first derivative experiences a jump discontinuity captured by the equation

${N}^{i}\left[{\nabla }_{i}{V}_{\sigma }\right]=-4\pi \mu .$ (61)

Thus,

${H}_{0}=0$ (62)

and

${H}_{1}=-4\pi \mu .$ (63)

Next, from equation

$\left[{\nabla }_{i}{\nabla }^{i}F\right]={H}_{2}-{B}_{\alpha }^{\alpha }{H}_{1}+{\nabla }_{\alpha }{\nabla }^{\alpha }{H}_{0}$ (50)

it follows that

${H}_{2}={B}_{\alpha }^{\alpha }{H}_{1}+\left[{\nabla }_{i}{\nabla }^{i}F\right].$ (64)

Since from Equation (59), it is apparent that

$\left[{\nabla }_{i}{\nabla }^{i}F\right]=0,$ (65)

we conclude that

${H}_{2}=-4\pi \mu {B}_{\alpha }^{\alpha }.$ (66)

Once again, having determined ${H}_{0}$, ${H}_{1}$, and ${H}_{2}$, we can use the compatibility conditions (44) to arrive at the equation

$\left[{\nabla }_{i}{\nabla }_{j}{V}_{\sigma }\right]=-4\pi \left(\sigma {B}_{\alpha }^{\alpha }{N}_{i}{N}_{j}+\left({N}_{i}{Z}_{j}^{\alpha }+{N}_{j}{Z}_{i}^{\alpha }\right){\nabla }_{\alpha }\sigma -\sigma {B}_{ij}\right).$ (67)

This is our main result concerning the simple layer potential ${V}_{\sigma }$.

In conclusion, we note that for the special case of a flat interface S, characterized by ${B}_{\alpha \beta }=0$ and therefore ${B}_{\alpha }^{a}=0$ and ${B}_{ij}=0$, we have

${\left[{\nabla }_{i}{\nabla }_{j}{V}_{\sigma }\right]}_{-}^{+}=-4\pi \left({N}_{i}{Z}_{j}^{\alpha }+{N}_{j}{Z}_{i}^{\alpha }\right){\nabla }_{\alpha }\sigma .$ (68)

7. Double Layers

Recall that the double layer potential ${V}_{\delta }$ is defined by the integral Equation (3). Similar to ${V}_{\sigma }$, the potential ${V}_{\delta }$ is also twice differentiable away from the interface S where Laplace equation

${\nabla }^{i}{\nabla }_{i}{V}_{\delta }=0$ (69)

away from the boundary S. However, at the boundary S, ${V}_{\delta }$ is discontinuous. Its jump discontinuity is described by the equation

$\left[{V}_{\delta }\right]=-4\pi \tau .$ (70)

Its normal derivatives, on the other hand, are continuous, i.e.

${N}^{i}\left[{\nabla }_{i}{V}_{\delta }\right]=0.$ (71)

In other words

${H}_{0}=-4\pi \tau$ (72)

and

${H}_{1}=0.$ (73)

In order to determine ${H}_{2}$, let us once again turn our attention to equation

$\left[{\nabla }_{i}{\nabla }^{i}F\right]={H}_{2}-{B}_{\alpha }^{\alpha }{H}_{1}+{\nabla }_{\alpha }{\nabla }^{\alpha }{H}_{0}$ (50)

from which we observe that

$\left[{\nabla }^{i}{\nabla }_{i}{V}_{\delta }\right]={H}_{2}-4\pi {\nabla }_{\alpha }{\nabla }^{\alpha }\tau .$ (74)

Since, according to Equation (69), the Laplacian is zero on either side of the boundary, $\left[{\nabla }^{i}{\nabla }_{i}{V}_{\delta }\right]=0$ and therefore we find that

${H}_{2}=4\pi {\nabla }_{\alpha }{\nabla }^{\alpha }\tau$ (75)

Thus, from Equation (43), we arrive at the compatibility condition

$\left[{\nabla }_{i}{\nabla }_{j}{V}_{\delta }\right]=4\pi \left({N}_{i}{N}_{j}{\nabla }_{\alpha }{\nabla }^{\alpha }\tau -\left({N}_{i}{Z}_{j\alpha }+{N}_{j}{Z}_{i\alpha }\right){B}^{\alpha \beta }{\nabla }_{\beta }\tau -{Z}_{i}^{\alpha }{Z}_{j}^{\beta }{\nabla }_{\alpha }{\nabla }_{\beta }\tau \right).$ (76)

This is our main result concerning the double layer potential ${V}_{\delta }$.

As before, note the special case of a flat interface, i.e.

$\left[{\nabla }_{i}{\nabla }_{j}{V}_{\delta }\right]=4\pi \left({N}_{i}{N}_{j}{\nabla }_{\alpha }{\nabla }^{\alpha }\tau -{Z}_{i}^{\alpha }{Z}_{j}^{\beta }{\nabla }_{\alpha }{\nabla }_{\beta }\tau \right).$ (77)

8. Conclusion

The three most popular distributions in the classical potential theory are the volumetric distribution, described by the singular three-dimensional Integral (1), the simple layer, described by the two-dimensional singular surface Integral (2), and the double layer, described by the two-dimensional singular Integral (3). The second derivatives of the resulting potential experience finite jump discontinuities at the corresponding interfaces. For the volumetric distribution, the second-derivative discontinuity is given by Equation (58) established by Weingarten  in 1887. In this paper, we provided the analogous relationships (67), (76) the simple layer and double layers.

Cite this paper: Grinfeld, M. and Grinfeld, P. (2021) Second-Order Discontinuities for Simple and Double Layers. Journal of Applied Mathematics and Physics, 9, 2205-2214. doi: 10.4236/jamp.2021.99140.
References

   Weingarten, J. (1887) Zur Theorie der Flachenpotentials. Acta Mathematica, 10, 303-309.

   Vladimirov, V.S. (1971) Equations of Mathematical Physics. Dekker, New York.

   Kellogg O. (2010) Foundations of Potential Theory. Dover Publications, New York.

   Courant, C. and Hilbert, D. (2008) Methods of Mathematical Physics: Partial Differential Equations. Wiley, Hoboken.

   Korn, G.A., and Korn, T.M. (1968) Mathematical Handbook for Scientists and Engineers. McGrow-Hill, New York.

   Sretensky, L.N. (1946) Theory of the Newtonian potential. State Technical and Theoretical Publishing House, Leningrad.

   Smirnov, V.I. (1964) A Course of Higher Mathematics. Pergamon Press, Oxford.

   McConnell, A.J. (1957) Applications of Tensor Analysis. Dover Publications, Dover.

   Thomas, T.Y. (1961) Plastic Flow and Fracture in Solids. Elsevier, Amsterdam.

   Grinfeld, M. (1991) Thermodynamic Methods in the Theory of Heterogeneous Systems. Longman, Harlow.

   Grinfeld, P. (2014) Introduction to Tensor Analysis and the Calculus of Moving Surfaces. Springer, New York.

Top