---
title: Finite-Slab Multipole Methods
url: https://www.emergentmind.com/topics/finite-slab-multipole
type: topic
---

# Finite-Slab Multipole Methods

Searching arXiv for recent and foundational papers on finite-slab multipole methods and closely related layered-media multipole/FMM formulations.
Finite-slab multipole denotes a family of multipole-expansion techniques specialized to geometries that are finite in a structurally significant sense: a bounded number of unit-cell replicas in periodic acoustic structures, a finite-thickness layer bounded by planar interfaces in layered-media potential theory and electromagnetics, or a bounded computational domain whose exterior field is represented by multipoles on an artificial boundary. Across these settings, the common objective is to preserve finite-edge or finite-thickness effects while accelerating long-range interactions through multipole expansions, translation operators, and structure-exploiting reductions such as block Toeplitz convolution or spherical-harmonic boundary operators [2201.12050][2008.00571][2507.18491][2602.12075].

## 1. Scope of the term

In the literature considered here, the term appears in three technically distinct but related senses. In acoustic boundary-element analysis, finite-slab multipole refers to finite periodic structures composed of a bounded number of unit-cell replicas arranged along one or more periodic directions, with explicit treatment of edge cells and aperiodic excitation [2201.12050]. In layered-media analysis for the Laplace and Maxwell equations, it refers to finite-thickness slabs bounded by planar interfaces, where multipole and local expansions are built for reaction fields generated by multiple reflections and transmissions through the slab [2008.00571][2507.18491]. In finite-element gravitation, the phrase is used for a bounded spherical buffer layer together with a multipole boundary treatment that eliminates the infinite exterior by enforcing the Neumann data implied by a truncated exterior expansion [2602.12075].

| Setting | Governing field problem | Structural device |
|---|---|---|
| Finite periodic acoustics | Helmholtz equation with admittance boundaries | One FMM box per unit cell; block Toeplitz M2L structure |
| Layered finite slab | Layered Laplace or Maxwell Green’s functions | Equivalent polarization sources and reaction-field Sommerfeld integrals |
| Truncated gravitational exterior | Poisson equation on a bounded mesh | Spherical-harmonic multipole boundary flux |

These variants share a methodological pattern. The geometry is not treated as infinitely periodic or fully unbounded in the computational sense. Instead, finite structural information is retained explicitly, while the long-range part is compressed through expansions whose algebra follows either free-space solid harmonics or spherical harmonics, and whose medium dependence is confined to reaction densities or boundary coefficients. This suggests that finite-slab multipole is better understood as a structural specialization of multipole methodology than as a single fixed algorithm.

## 2. Finite periodic acoustic structures

For linear acoustics with time-harmonic dependence $e^{-i\omega t}$ in a homogeneous fluid of density $\rho$ and sound speed $c$, the pressure satisfies
$$
\nabla^2 p(\mathbf{x}) + k^2 p(\mathbf{x}) = 0,\qquad k=\omega/c,
$$
together with an admittance boundary condition on $\Gamma$,
$$
\frac{\partial p(\mathbf{x})}{\partial n(\mathbf{x})}=i\omega\rho\, v_\mathrm{f}(\mathbf{x}),\qquad
i\omega\rho\, v_\mathrm{f}(\mathbf{x})=ik\,\beta(\mathbf{x})\,p(\mathbf{x}).
$$
To ensure uniqueness, the acoustic finite-periodic formulation uses the combined-field Burton–Miller boundary integral equation with coupling parameter $\alpha$ satisfying $\mathrm{Im}(\alpha)\neq 0$, with optimal $\alpha=-i/k$ in the reported setting. After collocation BEM discretization with geometric quadrilateral surface elements and discontinuous Lagrange polynomials for $p$, the discrete system is
$$
(\mathbf{H}-\mathbf{G}\mathbf{Y})\,\mathbf{p}=\mathbf{p}^\mathrm{inc}.
$$
Here $\mathbf{H}$ and $\mathbf{G}$ are dense, $\mathbf{Y}$ is block diagonal, and the nodal surface pressures are the unknowns [2201.12050].

The finite-slab acceleration aligns fast multipole boxes with unit cells. Well-separated unit cells interact through a truncated Helmholtz multipole series, while near-field interactions are computed directly. In single-level form, the decomposition is
$$
\mathbf{H}-\mathbf{G}\mathbf{Y}\ \approx\ \mathbf{S}+\mathbf{U}\,\mathbf{K}\,\mathbf{V},
$$
where $\mathbf{S}$ contains near-field interactions, $\mathbf{V}$ is particle-to-moment, $\mathbf{K}$ collects moment-to-local operators, and $\mathbf{U}$ is local-to-particle. The admissibility criterion is
$$
\|\mathbf{x}_\mathrm{c}-\mathbf{y}_\mathrm{c}\|\ge 2r,
$$
with $r$ the box size. In multilevel form, the usual upward and downward shifts add moment-to-moment and local-to-local operators. Single-level complexity scales as $O(N^{3/2})$ for a uniform grid of $N$ boundary unknowns, while multilevel achieves $O(N)$ or $O(N\log N)$ depending on tolerance [2201.12050].

The defining finite-slab feature is the use of translational repetition without imposing field periodicity. When one box is chosen per unit cell, inter-cell operators depend only on lattice offset. This produces block Toeplitz structure in the far-field and, for regular near-field bands, also in $\mathbf{S}$. In one periodic direction, a Toeplitz matvec is equivalent to a circular convolution,
$$
y_i=\sum_{j=0}^{M-1} t_{(i-j)\bmod M}\,x_j,
$$
and the multidimensional version follows by multi-indexing. Toeplitz–circulant embedding with size $2M_\ell-1$ in each periodic direction permits FFT-accelerated evaluation, reducing the cost of interaction families from $O(M^2)$ to $O(M\log M)$ and reducing storage to the unique Toeplitz blocks [2201.12050].

A common misconception is that Toeplitz structure implies periodic boundary conditions on the acoustic field. In the reported formulation, the Toeplitz representation maps offsets between boxes, not periodic boundary conditions on fields. Edge boxes simply contribute fewer neighbors in near-field bands, and edge effects are treated natively. For half-space problems with a ground plane, translation invariance is preserved when the periodic axes lie parallel to the plane; when an axis is perpendicular, the mirrored contribution is block Hankel, and a permutation converts the relevant operator to Toeplitz form so that the same FFT acceleration can be applied [2201.12050].

## 3. Layered-media finite slabs for the Laplace equation

For the three-dimensional Laplace equation in layered media, the finite-slab configuration consists of two planar interfaces at $z=z_0$ and $z=z_1$ with $z_0>z_1$, creating a top half-space, a finite slab, and a bottom half-space. Each layer $\ell$ has isotropic permittivity $\epsilon_\ell>0$, and the layered Green’s function $u_{\ell\ell'}(\mathbf{x},\mathbf{x}')$ solves
$$
\Delta u_{\ell\ell'}(\mathbf{x},\mathbf{x}')=-\delta(\mathbf{x}-\mathbf{x}'),
$$
subject to transmission conditions across the interfaces and decay as $z\to\pm\infty$. For $\ell=\ell'$, the Green’s function decomposes as
$$
u_{\ell\ell'}(\mathbf{x},\mathbf{x}')=G^\mathrm{free}(\mathbf{x},\mathbf{x}')+G^\mathrm{reac}(\mathbf{x},\mathbf{x}'),
\qquad
G^\mathrm{free}=\frac{1}{4\pi|\mathbf{x}-\mathbf{x}'|},
$$
and the reaction field is expressed as a sum of four Sommerfeld-type components $u_{\ell\ell'}^{ab}$, $a,b\in\{1,2\}$ [2008.00571].

The reaction components are written as
$$
u_{\ell\ell'}^{ab}(\mathbf{x},\mathbf{x}')
=
\frac{1}{8\pi^2}\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}
\frac{1}{k_\rho}
\exp\!\big(i\mathbf{k}\cdot\tau_{\ell\ell'}^{ab}(\mathbf{x},\mathbf{x}')\big)\,
\sigma_{\ell\ell'}^{ab}(k_\rho)\,dk_x\,dk_y,
$$
where $\mathbf{k}=(k_x,k_y,ik_\rho)$ and the four mappings $\tau_{\ell\ell'}^{ab}$ encode the interface geometry. For the three-layer slab, the slab thickness appears through
$$
D_1=z_0-z_1,\qquad e_1=e^{-k_\rho D_1},
$$
inside the transfer-matrix construction of the reaction densities $\sigma_{\ell\ell'}^{ab}(k_\rho)$. A central theoretical result is that these densities are analytic and bounded in the right half complex plane $\{\operatorname{Re}k_\rho>0\}$ when the layer parameters are positive. That analyticity underlies the convergence theory for the slab-adapted multipole expansions [2008.00571].

The slab formulation introduces equivalent polarization source points $\mathbf{x}'_{ab}$ produced by reflecting the source depth across the interfaces nearest the target layer. With $\tau(\mathbf{v})=(v_x,v_y,-v_z)$, all reaction components are rewritten as Sommerfeld integrals in Euclidean differences between targets and polarization sources. This leads to multipole expansions and local expansions with the same solid-harmonic algebra as free space:
$$
\tilde u_{\ell\ell'}^{ab}(\mathbf{x},\mathbf{x}'_{ab})
=
\sum_{n=0}^{\infty}\sum_{m=-n}^{n}
M_{nm}^{ab}\,\widetilde{\mathcal F}_{nm}^{ab}(\mathbf{x},\mathbf{r}_c^{ab}),
$$
and
$$
\tilde u_{\ell\ell'}^{ab}(\mathbf{x},\mathbf{x}'_{ab})
=
\sum_{n=0}^{\infty}\sum_{m=-n}^{n}
L_{nm}^{ab}\,r_t^nY_n^m(\theta_t,\phi_t).
$$
The only modification relative to free space is the presence of the slab-dependent densities $\sigma_{\ell\ell'}^{ab}$ inside the Sommerfeld integrals and the vertical reflection $\tau(\cdot)$ when $a=2$ [2008.00571].

Because the coefficients retain free-space solid-harmonic form, M2M and L2L translation formulas apply unchanged. M2L remains medium dependent through translation kernels $T_{nm,n'm'}^{ab}$ containing $\sigma_{\ell\ell'}^{ab}$ and the interface geometry. The convergence theorem gives explicit remainder bounds of the form
$$
\|E_p\|\le C e^{-\alpha p},
$$
with geometric ratios determined by box radii, target distances, and well-separation. The finite-slab interpretation is precise: slab thickness modifies the densities $\sigma$ but does not change the Euclidean geometry of multipole and local expansion convergence once equivalent polarization sources are introduced. As $D_1\to\infty$, $e_1\to 0$ and the slab reduces to a half-space [2008.00571].

## 4. Maxwell finite-thickness layered media

In the electromagnetic setting, finite-slab multipole methods are formulated for Maxwell’s equations in three-dimensional layered media under time dependence $e^{i\omega t}$. Using the magnetic vector potential $\mathbf{A}$ under the Lorenz gauge,
$$
\nabla\cdot\mathbf{A}+i\omega\mu_\ell\epsilon_\ell\,\Phi=0,
$$
the fields satisfy
$$
\nabla\times\mathbf{E}=i\omega\mu_\ell\mathbf{H},
\qquad
\nabla\times\mathbf{H}=-i\omega\epsilon_\ell\mathbf{E}+\mathbf{J},
$$
and $\mathbf{A}$ solves a vector Helmholtz equation. The layered dyadic Green’s function is represented using three scalar Helmholtz layered Green’s functions, and the interface-induced reaction field is written through unified Sommerfeld integrals [2507.18491].

The spectral-domain electric dyadic is decomposed into a free-space part and reaction components indexed by whether the field leaves the source upward or downward and arrives upward or downward. Each reaction component has a unified form
$$
\widehat{\mathbf{G}}_{\ell\ell'}^{\ast\star}(k_x,k_y,z;z')
=
\frac{i}{2}\,
Z_{\ell\ell'}^{\ast\star}(k_\rho,z,z')\,
\Theta_{\ell\ell'}^{\ast\star}(k_x,k_y),
$$
where the scalar functions $\phi_{\ell\ell'}^{\ast\star}(k_\rho)$ and $\psi_{\ell\ell'}^{\ast\star}(k_\rho)$ are generalized reflection/transmission coefficients obtained from classic $O(L)$ recurrences for multilayer stacks. Inverse Fourier transform yields eight Sommerfeld-type integrals grouped by five angular harmonics $e^{i\kappa\alpha}$ with $\kappa\in\{0,\pm1,\pm2\}$ [2507.18491].

A central construction is the use of equivalent polarization coordinates for sources together with effective locations for targets. These are defined by interface reflections $\tau_\ell(z)=2d_\ell-z$ and are chosen so that the asymptotic exponential factor matches the minimal vertical transmission distance for each reaction component. The layered far-field criterion is then built from the actual transmission distance
$$
d_{\ell\ell'}^{\ast\star}(\mathbf{r},\mathbf{r}')
=
\big|
\hat\tau_{\ell\ell'}^{\ast\star}(\mathbf{r})
-
\breve\tau_{\ell\ell'}^\star(\mathbf{r}')
\big|.
$$
This distance is larger than or equal to prior criteria based solely on image sources. The reported implication is algorithmic: interaction lists built from $d_{\ell\ell'}^{\ast\star}$ improve conditioning of multipole and local expansions and reduce near-field workload along interfaces [2507.18491].

The reaction-field multipole expansion and local expansion retain the same spherical-harmonic structure as free-space Helmholtz and Maxwell FMMs. M2M and L2L are therefore identical to free space, while M2L is slab dependent and assembled from master Sommerfeld integrals. To reduce the $O(p^4)$ cost of tabulating M2L integrals, the method expands products of analytically continued associated Legendre functions in Chebyshev polynomials. The resulting M2L tables require only $O(p^2)$ one-dimensional Sommerfeld-type integrals per table instead of $O(p^4)$. The full layered-media FMM has overall cost $O(LN\log N)$ for low-to-moderate frequencies and modest numbers of layers, with memory bounded by a finite number of geometry cases per level [2507.18491].

The finite-slab aspect is not an explicit image summation. For finite-thickness slabs, multiple reflections are embedded in the recurrence-defined coefficients $\phi_{\ell\ell'}^{\ast\star}$ and $\psi_{\ell\ell'}^{\ast\star}$, while the vertical exponential factors encode only the minimal transmission path. This distinguishes the method from direct image-series constructions and from free-space FMMs that do not account for interface-induced reaction fields [2507.18491].

## 5. Multipole boundary treatment on truncated domains

A different finite-slab usage appears in finite-element gravitation, where the Poisson equation for the gravitational potential is posed on $\mathbb{R}^3$,
$$
\nabla^2\phi = 4\pi G\,\rho,
\qquad
\|\nabla\phi\|\to 0 \text{ as } \|\mathbf{x}\|\to\infty,
$$
but computations are performed on a bounded spherical domain $B$ containing the body $M$. The weak form on $B$ is
$$
\frac{1}{4\pi G}\int_B \nabla\psi\cdot\nabla\phi\,d\mathbf{x}
-
\frac{1}{4\pi G}\int_{\partial B}\psi\,\frac{\partial\phi}{\partial n}\,dS
=
-\int_M \psi\,\rho\,d\mathbf{x}.
$$
The exterior field is then eliminated either through a Dirichlet-to-Neumann map or through a multipole expansion on the artificial boundary [2602.12075].

For $r>R$, the harmonic exterior potential admits the spherical-harmonic expansion
$$
\phi_{\mathrm{ext}}(r,\theta,\varphi)
=
\sum_{\ell=0}^{L}\sum_{m=-\ell}^{\ell}
A_{\ell m}\,r^{-(\ell+1)}\,Y_\ell^m(\theta,\varphi),
$$
with moments
$$
Q_{\ell m}
=
\int_M \rho(\mathbf{x}')\,{r'}^\ell Y_\ell^m(\theta',\varphi')\,d\mathbf{x}'.
$$
Using the relation $A_{\ell m}=G\,\frac{4\pi}{2\ell+1}Q_{\ell m}$, the boundary flux on $\partial B$ is written directly in terms of interior density moments. Substitution into the weak form yields the symmetric density-to-boundary-flux bilinear form
$$
\frac{1}{4\pi G}\int_B \nabla\psi\cdot\nabla\phi\,d\mathbf{x}
=
-\int_M \psi\,\rho\,d\mathbf{x}
+
\sum_{\ell,m}\frac{\ell+1}{(2\ell+1)R^2}
\left[\int_{\partial B}Y_\ell^m\,\psi\,dS\right]
\left[\int_M \left(\frac{r}{R}\right)^\ell Y_\ell^m\,\rho\,d\mathbf{x}\right].
$$
The special case $L=0$ recovers the global mass correction [2602.12075].

This multipole boundary treatment differs structurally from the acoustic and layered-media FMM formulations. It is not a hierarchical many-body accelerator; rather, it is an exact or truncated representation of the infinite exterior on a spherical truncation boundary. In MFEM, the multipole operator factors as $\mathbf{B}=\mathbf{D}^\top\mathbf{C}$, where $\mathbf{C}$ maps interior density degrees of freedom to multipole coefficients and $\mathbf{D}$ maps boundary test functions to spherical coefficients. For static problems, the operator is applied once to construct a corrected right-hand side, after which the pure Neumann diffusion system is solved with AMG preconditioning. For linearized perturbations with $\delta\rho\approx-\nabla\cdot(\rho\mathbf{u})$, the same strategy produces a vector-to-boundary-flux operator involving $\ell Y_\ell^m\hat{\mathbf{r}}+\nabla_1Y_\ell^m$ [2602.12075].

The same work also treats the exact DtN map on a spherical boundary, where each mode satisfies
$$
\left.\frac{\partial\phi}{\partial r}\right|_{r=R}
=
-\frac{\ell+1}{R}\,\phi_{\ell m}(R).
$$
The DtN operator is diagonal in spherical harmonics and is implemented matrix-free as $\mathbf{B}=\mathbf{C}^\top\mathbf{C}$ on boundary degrees of freedom. The comparison clarifies the role of multipole truncation in this setting: the multipole method moves work to a one-time right-hand-side build, whereas DtN applies a low-rank boundary operator at every matrix-vector product [2602.12075].

## 6. Numerical behavior, advantages, and limitations

The acoustic finite-periodic formulation is validated on a $5\times5$ array of sound-hard spheres of radius $0.1\,\mathrm{m}$ and spacing $0.35\,\mathrm{m}$ in air with $c=343\,\mathrm{m/s}$ and $\rho=1.21\,\mathrm{kg/m^3}$. Each sphere uses $600$ quadrilateral elements, for $N=15000$ degrees of freedom. At $f=500\,\mathrm{Hz}$, FMM with $p=8$, FMPBEM with $p=4$, and FMPBEM2 with $p=4$ for inter-cell and $p_\mathrm{sub}=6$ for intra-cell expansions achieve $l^2$ matvec error $<10^{-4}$ versus PBEM. Scaling in the number of unit cells shows $O(M_y\log M_y)$ assembly and matvec behavior for FMPBEM, while memory is asymptotically $O(M_y)$; the largest reported refinement, with up to $N\approx 9.7$ million total degrees of freedom, assembled in approximately $376\,\mathrm{s}$ and performed a matvec in approximately $117\,\mathrm{s}$ on a 6-core desktop with $128\,\mathrm{GB}$ RAM [2201.12050].

The same acoustic study includes a half-space sound-barrier comparison. A wall barrier periodic model gives insertion loss closely matching a full-scale PBEM model despite omission of top and side surfaces in the periodic model; the reported insertion loss stays above $10\,\mathrm{dB}$ up to $300\,\mathrm{Hz}$, with peak $19.2\,\mathrm{dB}$ at $210\,\mathrm{Hz}$ and minimum $7.6\,\mathrm{dB}$ at $390\,\mathrm{Hz}$. For a sonic crystal barrier of cylinders, insertion loss rises from approximately $0\,\mathrm{dB}$ below $280\,\mathrm{Hz}$ to a peak $6.5\,\mathrm{dB}$ near $440\,\mathrm{Hz}$, close to the first Bragg condition. For a barrier of c-shaped Helmholtz resonators, a 2D FEM estimate gives a Helmholtz resonance near $258.9\,\mathrm{Hz}$, while FMPBEM reports insertion loss $17.9\,\mathrm{dB}$ at $245\,\mathrm{Hz}$ and a second band of insertion loss at least $3.8\,\mathrm{dB}$ between $370$ and $440\,\mathrm{Hz}$. These results show that finite-slab formulations can capture both edge-sensitive barrier performance and resonance or Bragg phenomena without imposing infinite periodicity [2201.12050].

For the Laplace layered-slab problem, the key result is theoretical rather than benchmark centered: the reaction densities are analytic and bounded in $\operatorname{Re}k_\rho>0$, and the resulting multipole, local, and translation expansions satisfy explicit exponential convergence bounds. The error constants depend on $M_\sigma$, source or target box radii, and geometric margins, while the convergence rate is set by ratios such as $q_\mathrm{ME}=a_s^{ab}/r_s^{ab}$, $q_\mathrm{LE}=r_t/a_t$, and $q_\mathrm{M2L}=(a_s^{ab}+a_t)/(a_s^{ab}+ca_t)$. A recurring misconception is that slab thickness changes the algebra of the multipole method. In the reported analysis, slab thickness enters only through the reaction densities via $e_1=e^{-k_\rho D_1}$; the solid-harmonic translation algebra remains that of free space [2008.00571].

For Maxwell layered media, numerical experiments on two- and three-layer stacks show spectral convergence of both free-space and reaction components as $p$ increases. The overall algorithm exhibits $O(N\log N)$ complexity, and reaction-field evaluations are significantly faster than free-space parts because actual transmission distance produces enhanced separations across interfaces and very few near-field pairs. One reported example gives, for two layers and $p=8$, reaction fields for $10^6$ particles per layer in approximately $47\,\mathrm{s}$ per layer versus approximately $2.3$–$2.4\times10^3\,\mathrm{s}$ for the free-space parts on a single CPU core. The stated regime of robustness is low to moderate frequency; at higher frequencies, $p$ must increase and alternative acceleration such as plane-wave forms may be needed [2507.18491].

For gravitational FEM on truncated spherical domains, naive Dirichlet truncation can still be acceptable if a very large buffer domain is affordable and coarsening is used in the exterior mesh. The offset-sphere benchmark requires $b/a\approx 50$ to reach $\varepsilon_{L^2(M)}\approx 10^{-6}$, with reference solver time $T_\mathrm{ref}=56.01\,\mathrm{s}$. On the same class of problems, both DtN and multipole boundary treatments at $b/a=10/7$ produce rapid error decay with $L$; by $L\ge 16$, DtN errors are dominated by finite-element discretization, while multipole and DtN have very similar accuracy for a given $L$. Solver times are nearly independent of $L$, but multipole assembly grows rapidly with $L$ and can exceed diffusion assembly by approximately $20\times$ at $L=32$. This comparison places the finite-slab multipole boundary treatment in a broader numerical context: it is advantageous when boundary-condition accuracy dominates, but its cost structure differs from both DtN and hierarchical FMM variants [2602.12075].

Across these formulations, the main distinctions from infinite-periodic, purely free-space, or naive truncation methods are consistent. Finite-slab multipole methods retain finite edges, finite thickness, or finite truncation explicitly; they exploit repeated or separable structure where it exists; and they localize the effect of the surrounding medium or exterior either in reaction densities, translation kernels, or boundary spherical-harmonic operators. Their limitations are equally setting dependent: linear acoustics and homogeneous backgrounds in the acoustic formulation, positive layered parameters and planar interfaces in the Laplace theory, low-to-moderate frequencies in the Maxwell layered FMM, and spherical truncation boundaries for diagonal DtN structure in the gravitation setting [2201.12050][2008.00571][2507.18491][2602.12075].

Source: https://www.emergentmind.com/topics/finite-slab-multipole