1. Introduction
In the context of acoustic scattering theory, vast scientific research is conducted and is constantly enriched over time, related to solving both the forward and the inverse problem; see, for example, [
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11]. For wavelengths significantly larger than the scattering object, the well-known low frequency scattering theory appears to be mostly effective in practical applications and also amenable to analytical methods, according to which a sequence of either integral representations or elliptic boundary value problems need to be solved successively to obtain the full solution of the scattering problem. The related problems concern the identification of the power series of all the wave fields with respect to the wave number, which converge, as long as the low frequency limit holds. The determination of the corresponding series coefficients, denoted as (LF) coefficients in the present work, provides the solution of the forward scattering problem. While most analytical methods employed in this due consider separation of variables, or variational techniques and numerical methods refer to their integral counterpart, usually with singular kernels, effort has been made to override difficulties faced in each methodology. One can see, for example, the classical monographs [
12,
13,
14], where almost all relevant analytical techniques are presented. Also in [
6], the derivation of full asymptotic expansion of the scattered field in the exterior of a penetrable scatterer is accomplished via boundary layer techniques and also a most recent interesting work [
15], where the Spectral Element method is employed to derive an approximate solution of the scattered acoustic wave, in variational form. In this context, the fact that the far field expansion provides the scattered field all the way up to the scatterer’ s circumscribing sphere has not been fully exploited so far, to our knowledge. Therefore, we focus on utilizing this approach to develop analytical techniques for solving forward scattering problems.
In this framework of an analytical treatment of low frequency acoustic scattering problems with plane harmonic excitation, the authors have contributed with [
16,
17,
18], introducing a purely algebraic method to produce any (LF) scattering coefficient for a spherical scatterer, based on the explicit form of the scattering amplitude
g of the corresponding problem. In the present work, a generalization of the method introduced there is proposed, to apply to any convex, smooth, impenetrable scatterer. The cost we pay for this generalization is that the method, additionally to algebraic operators, also includes a linear Fredholm integral operator with a regular separable kernel, including surface spherical harmonic functions.
The key feature in this method is the far field pattern
g of the scattered field, while the main idea concerns exploitation of the far field theorem, introduced by Sommerfeld [
19], developed by Atkinson [
20] and formulated in its most general form by Wilcox in [
21]. The so-called Atkinson—Wilcox theorem provides the solution of the time-reduced wave equation satisfying the Sommerfeld radiation condition, as a series of inverse powers of distance. The series, which will be referred to as the (AW) expansion in the context of this paper, converge absolutely and uniformly outside of the scatterer’ s circumscribing sphere. The series coefficients, referred to likewise as (AW) coefficients, are readily obtained, by means of a recurrence relation, in view of the scattering amplitude of the problem. Since the scattering amplitude embeds the specific physical characteristics of the problem, the (AW) expansion provides the solution of the specific problem as a multipole expansion. Moreover, the recurrence relation, which ultimately acts on
g, includes only the Beltrami operator additionally to pure algebraic operators. Therefore, an expansion of
g to the Beltrami eigenfunctions makes the whole procedure purely algebraic. This is obviously a great advantage, but the price to pay is that the eigenexpansion of
g includes unknown information, and the result is also an expansion of the solution of the scattering problem, convergent only up to the scatterer’s closest sphere. On the other hand, the (LF) expansion of the problem solution is valid up to the scatterer surface. Hence, combined with the (AW) expansion in the low frequency limit and (LF) integral representations, it provides fruitfully an alternative method to calculate the (LF) coefficients of any order, for any smooth convex impenetrable scatterer, in view of algebraic and regular linear integral operators.
Apart from the authors’ previous works [
16,
17,
18], to our knowledge, the Atkinson–Wilcox theorem has not been exploited in order to calculate the (LF) coefficients, except for some indirect use in [
5,
22]. Not surprisingly, though, the far field pattern
g has been extensively appreciated and utilized in both inverse and direct low frequency scattering theory; indicatively, see [
12,
14,
23,
24], since it carries information for both the scatterer, the medium, and the incident field and can be dictated far away from the scatterer even when the scatterer itself is inaccessible. In addition, the Atkinson–Wilcox theorem itself has been investigated with respect to different scatterer geometries [
25] or different physics [
26,
27], but its full exploitation in low frequency scattering problems is still limited. The present work contributes to the research in this field, by proposing a novel analytical formula for the direct calculation of every Low Frequency coefficient of the total acoustic field. It is based on the Atkinson–Wilcox theorem, where the adjustment to the arbitrarily shaped scatterer’ s smooth impenetrable surface is made via a regular, linear, Fredholm type integral equation.
The paper is structured as follows: in
Section 2, all the necessary background and notation is provided, while, in
Section 3, the basic results of the paper are given, namely the algorithmic procedure for the calculation of (LF) coefficient
together with the necessary theorems. Implementation for obtaining the first coefficients
is included in
Section 4,
Section 5 and
Section 6, respectively, where an explicit formula is provided for each one, for arbitrary smooth convex impenetrable scatterers, together with their verification, by recovering existing results for the sphere.
Section 7 and
Section 8 summarize the results of the paper.
Appendix A with robust proofs of all arguments included in
Section 3 concludes the paper.
2. Statement of the Problem
We consider an obstacle
with a smooth convex non-penetrable
boundary surface
and characteristic dimension
, enclosed in the sphere
. Let an acoustic harmonic plane wave
propagating in
in the direction
, with wave number
and angular frequency
, disturbed by the obstacle
. The scattered field
propagates in
together with the incident field in the form of the total wave field
. Suppressing the harmonic time dependence from all fields and following the notation as in [
12], we denote the corresponding time reduced wave fields as
. Therefore, the reduced scattered field satisfies the exterior boundary value problem:
where the radiation condition (
2) holds uniformly over all directions. An appropriate boundary condition for the total field on
S reflects the physical characteristics of the scatterer and secures the solution of the problem, while the scattered field at infinity assumes the asymptotic form
The function
where
that denotes normal differentiation at the point
is the far field pattern, or the scattering amplitude.
Referring to the case of an incident wave with a long enough wave length, compared to the characteristic dimension
, that is, for small enough values of
, the solution of the above scattering problem is analytical in
k and therefore it can be expanded in power series in the form
Moreover, the incident field is also analytical at
and admits the power series expansion
where
. Therefore, the total field in
can be expanded as
with
, while the series (
5)–(
7) converge uniformly in the Rayleigh region, for
[
12]. The coefficients
are the low frequency approximations of each field, and, in this context, it will be referred to as the corresponding (LF) coefficients.
The classical query of the low frequency scattering problem described above is to find a map between the (LF) coefficients or and with respect to the geometric and the physical characteristics of S.
In the present work, we exploit the Atkinson—Wilcox theorem [
20] in order to create such a mapping that involves algebraic and as simple as possible integral operators, for general geometric scattering surfaces. Therefore, before we proceed, we first recall the Atkinson—Wilcox theorem.
In terms of the present notation, the far field expansion theorem, in its most general form, states that any
solution
of the problem (
1), (
2), even in the weak form of (
2), for which
where
is any complex number satisfying
, can be expanded as
The series (
9) converge absolutely and uniformly on every compact subset of
, which in our case corresponds to the exterior of the sphere
, circumscribing the surface
S. The series can be differentiated term by term with respect to the spherical coordinates
and
any number of times and the resulting series all converge absolutely and uniformly. The (AW) coefficients
satisfy the recurrence relation [
21]
where
is the Beltrami operator. Thus, they are determined via (
10) from the zero order coefficient, which coincides with the scattering amplitude [
21], namely
The idea inherited here is that, if we expand
g in the Beltrami eigenfunctions, the recurrence relation (
10) becomes algebraic, providing an obvious calculating advantage in (
9). Moreover, by employing (
4)–(
7) in the procedure, we derive an analytical formula for the (LF) coefficient
for every
.
In the next section, we state the outcome of this derivation and, for clarity of the demonstration, we transfer the detailed proof of all the included arguments included into the
Appendix A. Next, we demonstrate the application of the formula in particular cases to show how it works and verify its accuracy with respect to already known results.
3. An Analytical Formula for the (LF) Coefficient
Let
g be the scattering amplitude (
4) of the problem (
1), (
2) completed with an appropriate boundary condition on the scattering surface
S, which is considered to be impenetrable, namely
where the parameters
determine the boundary conditions with respect to the scatterer. In particular,
stands for a soft boundary surface,
for a hard scatterer and
, with
, for a resistive scatterer, corresponding to the Dirichlet, Neumann, and Robin conditions, respectively. The scattering amplitude
g, being analytical in
and also in
k in the low frequency regime, assumes the following expansions:
where, for each
and
,
is the normalized complex surface spherical harmonic function [
28]. We denote by
its corresponding complex conjugate and by
the spherical coordinates of the point
, with the incident direction
defining the polar axis of the system. By making this choice for the polar axis, the dependence of
g on
will not be explicitly written from now on, in order for notation simplicity, but we keep in mind that it is inherited in the particular choice of the coordinate system. In view of (
14), the orthogonality property on the unit sphere becomes
where
is the Kronecker symbol. With respect to the above notation, the fundamental solution of the Laplace operator is given as
The following theorem provides each spherical coefficient as a power series on the wavenumber k in the realm of low frequencies and, therefore, it allows the calculation of the coefficient of any power of k appearing in in an explicit algorithmic fashion.
Theorem 1. The low frequency coefficients in (13) are connected with the spherical coefficients via the formula:where is defined with respect to the parity of the parameter . In particular, if , with , thenwhile, if , with , then The terms , with , are defined on for any (recall that δ is the scatterer’ s half characteristic dimension) aswhereand Finally, the function , is calculated by means of the scattering coefficients up to , for viaand, for , via While we provide the proof of the theorem in the
Appendix A, we turn to exploit its main result, namely, the calculation of the coefficient
of
for any
of the power series of
, in order to calculate the (LF) scattering coefficient
for the problems (
1), (
2), (
12).
Theorem 2. The (LF) coefficient defined in (7) for is obtained via the following formula:for , wherewhile, for ,and, for , Moreover, is the coefficient of of the spherical coefficient of the scattering amplitude, defined in (17) and calculated by means of (18)–(24) and it inherits the dependence on and on the scatterer’s characteristics. The proof of Theorem (2) is given in
Appendix A. We turn now to comment on Formula (
25) and then apply in the simple spherical case to see how it works and recovers known results, for validation.
Remark 1. The term that carries the dependence on the incident field can be expressed in terms of the normalized spherical harmonics (14) in view of the choice of the polar axis to coincide with the incident direction, via the formula [29],andfor , where is the Kronecker symbol. Remark 2. Formula (25), in view of (26)–(28) and (18)–(24), provides a mapping of the scattering problem’s data, namely, the incident field and the scatterer’ s characteristics, with the produced total wave field in the low frequencies. Moreover, via (17)–(24), a similar mapping is provided for the scattering amplitude of the problem. Based on Theorems (1) and (2), we turn now to develop the algorithmic procedure that calculates the scattering coefficient
for a specific scattering problem, described by Equations (
1) and (
2) and a boundary condition of the form (
12). It is worth noting here that each (LF) coefficient
,
satisfies a boundary value problem of the form (
1), (
2) and (
12), except for the case of the Robin problem, for
(
), where the boundary condition becomes [
12]
A brief outline of the algorithm is the following:
Step 1. For
, calculate
formally via (
25). In this way, the necessary
that need to be calculated are pointed out. Their calculation is made by means of (
18)–(
24). The result is a series representation of
involving integrals of the form
, which are still unknown.
Step 2. Inserting the proper boundary condition for the problem at hand from (
12) or (
31), the series representation either becomes a boundary equation on
S, whenever analytical continuation of
u on
S is feasible, or is solved numerically in the space between the scatterer
S and a sphere that is
larger than its circumscribing sphere. In this step, we seek to calculate the unknown integrals
for the specific boundary values. It is worth noting that at this step the infinite series is truncated to a finite sum, as will be shown shortly for the spherical case.
The steps in detail are encoded in
Figure 1.
Our next task is to apply the procedure to produce the first few (LF) scattering coefficients for a general impenetrable scatterer and then to apply the results for a spherical scatterer, in order to elucidate further its implementation. This task is realized in the next three sections.
4. Implementation for
We start with Step 1 and apply (
25) to acquire
in the form
where
are given via (
26) in the form
With
given in (
26) and (
27), we proceed to calculate
, i.e., the coefficient of
in
, for
. By means of (
18)–(
22) and (
24), we arrive at
Using the orthogonality property (
15) of
in (
34) we arrive at
for
and
. Inserting in (
33), we have
Finally, inserting in (
32), we obtain
where
Moving to Step 2, expression (
37) is readily applied to a specific scatterer by inserting specific boundary conditions. We recall at this point that the series (
37) converges absolutely and uniformly for
for every
. Whenever there are no singularities, (
37) can be extended by analytical continuation to reach the boundary
S, becoming a regular linear Fredholm integral equation. This is the case for a spherical scatterer
, and we take this chance to check the validity of (
37).
Next, we will go through the algorithm once more for deriving .
7. Discussion
In the present paper, a new algorithm is developed for the calculation of the Low Frequency expansion of the total acoustic field scattered by a convex object of arbitrary shape with a smooth impenetrable boundary that has been excited by a plane incident wave.
The algorithm includes mainly algebraic operators, accelerating greatly the calculation of any order low frequency approximation of the total wave field satisfying a specific scattering problem, where the scatterer is considered bounded by a smooth, at least , convex, impenetrable surface S. An integral operator is included in the last step of the algorithm, that still, due to the separateness and regularity of its integral kernel, is safely handled analytically or numerically, with respect to the scatterer boundary.
In particular, by exploiting analyticity of the scattering amplitude g in low frequencies and in all directions, and also the smoothness of the scatterer’ s boundary, in view of the Atkinson—Wilcox theorem, an integral representation of every low frequency coefficient is provided, in the exterior of the scatterer’ s circumscribing sphere. The integral kernel is continuous and separable including a surface spherical harmonic of some degree. The representation becomes an integral equation on S, if surface S is reachable by analytical continuation. If this is not the case, our method offers the advantage of minimizing the discretization space for applying any numerical scheme, to the limited space between S and its circumscribing sphere. Therefore, a bounded and continuous mapping is produced both between the spherical coefficients of g or the low frequency scattering coefficients and the boundary values of the coefficients , enabling efficient and reliable numerical computation of any low frequency approximation. Thus, the proposed algorithm can be especially useful in inverse scattering problems while any order of scattering approximations can be calculated in a stable, fast, and reliable fashion.
Moreover, the paper provides ready to be applied formulae for the first coefficients , as well as the algorithmic procedure to produce any finite low frequency approximation in a clear encoded fashion, for any smooth impenetrable scatterer. The formulae are checked to recover known results for a spherical scatterer, yielding the validity of the proposed procedure.
8. Conclusions
The time suppressed solution of the direct acoustic scattering problem in the low frequency regime is provided for arbitrarily shaped convex scatterers with smooth impenetrable boundary, in view of plane wave excitation. The scattering coefficients are provided in the form of power series of inverse powers of the distance, where the coefficients are calculated by means of a clearly presented, stable algorithm, including algebraic and linear regular integral operators.
The methodology approach is based on the far field expansion of the total wave, which is uniformly convergent in the exterior of the scatterer’ s circumscribing sphere, combined with its low frequency expansion in the space between. Theoretically justified, the fruit of this combination is Formula (
25), by which the Low Frequency approximation of order
a, of the total acoustic field,
, is calculated for
, namely
where all the parameters and functions involved have been introduced in
Section 3. The formula holds outside of the scatterer’ s circumscribing sphere, for any convex scatterer with an impenetrable boundary, sufficiently smooth (
) in order for the Gauss–Green theorems to apply. The corresponding boundary is introduced in function
F via surface integrals of the form
for
. Additionally, the paper provides the explicit formulae (
37), (
48) and (
61) for the first three coefficients, in order to demonstrate the implementation of (
25) via the proposed procedure. These expressions are, to our knowledge, novel providing directly the corresponding coefficients for such a wide class of scatterers.
These expressions are readily applied to any specific scatterer in the examined class, by inserting the corresponding boundary conditions. Nevertheless, each formula involves integrals of the form
, which is dependent on the unknown coefficient
. Since the series converge absolutely and uniformly in the exterior of the scatterer’s circumscribing sphere, the direct employment of the boundary conditions is not straightforward. Whenever analytical continuation is feasible up to the boundary
S, the corresponding boundary conditions are properly introduced, and each formula provides a regular linear Fredholm integral equation, easily handled to calculate the unknown integrals
. The calculation of
is then readily accomplished by introducing
in the corresponding formula. On the other hand, if analytical continuation is not possible, Formulae (
25), (
37), (
48) and (
61) provide
by means of numerical calculation in the space between the scatterer’ s surface and its circumscribing sphere. Reducing the discretization space to such a restricted one offers an obvious advantage in terms of computational time and resources. Robust proofs of the construction of the algorithm are included in the following
Appendix A, which can be intuitive for developing similar algorithms in other Scattering settings or physics, as in Electromagnetics or in elasticity. The implementation of the proposed procedure to provide new analytical results for special scatterers, as for example the spheroid or ellipsoid one, is in our immediate scopes.