13.3. The Kirchhoff–Helmholtz boundary integral
In the previous section we introduced the Green's function
g(r|r0)=e−jk(r−r0)4π(r−r0),
(13.16)
which turns out to be a solution of the following inhomogeneous wave equation:
(∇2+k2)g(r|r0)=−δ(r−r0).
(13.17)
An important principle in acoustics is that of
reciprocity whereby the locations of the sound source
r
0 and its observation point
r are interchangeable. It can be seen that Eqs. (
13.16) and (
13.17) are unaffected by interchanging
r and
r
0. Hence
g(r|r0)=g(r0|r)
(13.18)
and
δ(r−r0)=δ(r0−r).
(13.19)
Eq. (13.17) differs from the
homogeneous wave
Eq. (13.1) in that the Dirac delta function
δ on the right hand side represents the excitation at the point
r
0.
Eq. (13.17) describes the normalized pressure field (that is, divided by
ikρcU˜0
) of a point source. However, it is desirable to solve the following inhomogeneous wave equation for
any source distribution:
(∇2+k2)p˜(r)=−f˜(r),
(13.20)
where
f˜(r)
is a source pressure distribution in Pa/m
2. This can be achieved [,] by multiplying
Eq. (13.17) by
p˜(r)
and then subtracting it from
Eq. (13.20) multiplied by
g(r|r0)
, which leads to
g(r|r0)∇2p˜(r)−p˜(r)∇2g(r|r0)=p˜(r)δ(r−r0)−g(r|r0)f˜(r).
(13.21)
Using the reciprocity relationships of Eqs. (
13.18) and (
13.19), we can exchange
r and
r
0 in
Eq. (13.21) and integrate over an arbitrary volume containing all the sources to obtain
∭(g(r|r0)∇20p˜(r0)−p˜(r0)∇20g(r|r0))dV0=∭p˜(r0)δ(r−r0)dV0−∭g(r|r0)f˜(r0)dV0,
(13.22)
where the zero subscripts indicate differentiation with respect to the
r
0 coordinates. Using Green's theorem
[3], which essentially states that anything created within a diverging volume passes through its outer surface, the volume integral of the term in parentheses can be replaced with a surface integral:
∭(g(r|r0)∇20p˜(r0)−p˜(r0)∇20g(r|r0))dV0=∭∇0(g(r|r0)∇0p˜(r0)−p˜(r0)∇0g(r|r0))dV0=∬(g(r|r0)∂∂n0p˜(r0)−p˜(r0)∂∂n0g(r|r0))dS0,
(13.23)
where the surface of integration bounds the volume of the original volume integral, and the Laplace operator is replaced with a first-order derivative normal to the surface, pointing away from the space enclosed by the surface integral. We can verify the first step of
Eq. (13.23) by working backwards. Although taking the derivative of the two products in the second line leads to four terms, two of them cancel to leave the remaining two terms in the first line. The third line is obtained from the second by the divergence theorem of Gauss. Inserting
Eq. (13.23) into
Eq. (13.22) and using the property of the Dirac delta function to solve the volume integral
p˜(r0)δ(r−r0)
yields
p˜(r)=p˜V(r)+p˜S(r),
(13.24)
where
p˜V(r)
is a volume integral given by
p˜V(r)=∭g(r|r0)f˜(r0)dV0
(13.25)
and
p˜S(r)
is the Kirchhoff–Helmholtz surface integral given by
p˜S(r)=p˜M(r)+p˜D(r)
(13.26)
where
p˜M(r)
is the monopole integral given by
p˜M(r)=∬g(r|r0)∂∂n0p˜(r0)dS0
(13.27)
and
p˜D(r)
is the dipole integral given by
p˜D(r)=−∬p˜(r0)∂∂n0g(r|r0)dS0.
(13.28)
What is remarkable about
Eq. (13.24) is that, merely given a solution
g(r|r0)
to the wave equation for a point source, it provides a solution for the pressure field
p˜(r)
everywhere in the presence of an arbitrary source distribution
f˜(r0)
within the volume of integration.
It should be noted that in this instance, the integrals
p˜M(r)
and
p˜D(r)
have nothing to do with reflections, although they can be applied to problems of scattering surfaces when appropriate boundary conditions are applied. The volume of integration does not have a physical reflecting boundary surface but a transparent notional one. Inside the volume,
p˜M(r)
and
p˜D(r)
cancel each other so that there is no net contribution from
p˜S(r)
, and the field is entirely given by the volume integral, or
p˜(r)|r∈V0=p˜V(r),p˜S(r)=0,p˜M(r)=−p˜D(r).
(13.29)
However, outside the boundary, the field due to the surface integral cancels the field due to the volume integral:
p˜(r)|r∉V0=0,p˜S(r)=−p˜V(r),(p˜M(r)=p˜D(r)=−p˜V(r)/2ifplanarinfinitesurface).
(13.30)
Hence,
p˜S(r)
is a discontinuous solution to
Eq. (13.20), which is only valid outside the volume containing the sources (provided that the sign is reversed). If the volume is infinitely large, the Sommerfeld condition applies and the boundary integrals vanish so that
p˜(r)=p˜V(r)
is a solution to
Eq. (13.20) everywhere. In practice, however, the volume of integration only has to include all the sources under consideration, but not necessarily all the observation points. The usefulness of the boundary surface integral of
Eq. (13.26) for solving acoustical problems cannot be overstated; it forms the basis for many numerical methods such as Boundary Element Modeling (or BEM). It is an embodiment of the Huygens–Fresnel principle discussed in
Section 13.1. The surface of integration must be a closed one, which fully encloses all the sources, although they may form part or all of the surface. By a closed surface, we could also mean an infinite plane that isolates the sources on one side of the plane (or within the plane itself) from the observation field on the other. Although
p˜M(r)
and
p˜D(r)
are both needed in the case of general surfaces, such as the spherical cap in a sphere in
Section 13.5, we shall see that in the case of planar sources, one of the integrals can often be eliminated because of the symmetry of the problem. Before we apply the boundary integral to some problems of practical importance, we shall take a further look at the Green's function.