pith. sign in

arxiv: 2508.00515 · v2 · submitted 2025-08-01 · 🧮 math.NA · cs.NA

A new addition theorem for the 3-D Navier-Lam\'e system and its application to the method of fundamental solutions

J.A. Barcel\'o , C. Castro , A. Ruiz , M.C. Vilela This is my paper

Pith reviewed 2026-05-19 01:43 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords addition theoremNavier-Lamé systemfundamental solutionKupradze radiation conditionsmethod of fundamental solutionsBessel functionsspherical harmonicsexterior domains
0
0 comments X

The pith

A new addition theorem expands the fundamental solution of the 3-D Navier-Lamé system using only Bessel functions and scalar spherical harmonics while satisfying the Kupradze radiation conditions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives a new addition theorem for the fundamental solution of the Navier-Lamé system in three dimensions. This theorem yields an expansion expressed solely through Bessel functions and scalar spherical harmonics. The construction is intended to support collocation-based numerical schemes such as the method of fundamental solutions when applied to exterior domains. A sympathetic reader would care because the result keeps the far-field radiation behavior intact while simplifying the evaluations needed in boundary integral or meshless computations for elastic problems.

Core claim

The authors obtain a new addition theorem for the fundamental solution of the Navier-Lamé system in dimension 3 satisfying the Kupradze radiation conditions. This provides an expansion of this fundamental solution that involves only the evaluation of Bessel functions and scalar spherical harmonics. This is particularly useful in collocation numerical methods based on fundamental solutions, such as the boundary element method or the method of fundamental solutions, and its efficiency is shown for approximating the system in exterior domains.

What carries the argument

The addition theorem that expands the fundamental solution into a series of Bessel functions and scalar spherical harmonics while preserving the Kupradze radiation conditions.

If this is right

  • The expansion enables direct application of the method of fundamental solutions to the Navier-Lamé system in exterior domains without auxiliary vector spherical harmonics.
  • Collocation schemes such as the boundary element method can evaluate the fundamental solution using only scalar operations on Bessel functions and spherical harmonics.
  • The series form maintains the exact far-field radiation behavior required for unbounded elastic problems.
  • Numerical implementations need only standard libraries for Bessel functions and scalar spherical harmonics rather than specialized vector expansions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same style of expansion may reduce storage and operation counts when coupling multiple scatterers in 3-D elastic wave simulations.
  • Truncation order could be chosen adaptively based on distance from the origin to balance accuracy and cost in exterior-domain solvers.
  • The theorem might extend to related vector systems such as Maxwell equations that obey analogous radiation conditions.

Load-bearing premise

The derived expansion using Bessel functions and scalar spherical harmonics preserves all required properties of the original fundamental solution, including satisfaction of the Kupradze radiation conditions at infinity.

What would settle it

Direct numerical check that a truncated version of the series satisfies the Navier-Lamé equation pointwise to a prescribed tolerance and that its far-field decay matches the Kupradze condition for points taken at successively larger distances from the origin.

read the original abstract

We obtain a new addition theorem for the fundamental solution of the Navier-Lam\'e system in dimension 3 satisfying the Kupradze radiation conditions. This provides an expansion of this fundamental solution that involves only the evaluation of Bessel functions and scalar spherical harmonics. This is particularly useful in collocation numerical methods based on fundamental solutions, such as the boundary element method or the method of fundamental solutions. For this last method, we show its efficiency when approximating the Navier-Lam\'e system in exterior domains.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript derives a new addition theorem for the fundamental solution of the 3-D Navier-Lamé system satisfying the Kupradze radiation conditions. The theorem yields an explicit series expansion involving only Bessel functions and scalar spherical harmonics. The authors then apply the expansion within the method of fundamental solutions to approximate solutions of the Navier-Lamé system in exterior domains and illustrate numerical efficiency.

Significance. If the derivation is correct, the result would simplify collocation schemes such as the method of fundamental solutions for exterior elastodynamic problems by replacing vector spherical harmonics with scalar ones while preserving radiation behavior. This could reduce implementation complexity and computational cost in boundary-value problems at infinity. The explicit, parameter-free character of the expansion (once the coefficients are fixed) is a positive feature for reproducibility and verification.

major comments (1)
  1. [§3] §3, Theorem 3.1 and the subsequent series (around Eq. (3.12)): the central claim that the expansion satisfies the vector Navier-Lamé equation pointwise inside the ball of convergence and the Kupradze radiation condition at infinity is load-bearing, yet the manuscript appears to transfer the scalar Helmholtz addition theorem without an explicit term-by-term verification or a separate lemma showing that the vector coupling terms vanish or cancel; a direct substitution or radiation-limit argument is needed to confirm the series solves the system identically rather than approximately.
minor comments (2)
  1. [§2] The notation for the fundamental solution and the Lamé parameters should be recalled explicitly in §2 before the derivation begins.
  2. [§5] Numerical examples in §5 would benefit from a brief table comparing CPU time or degrees of freedom against a vector-harmonic MFS implementation to quantify the claimed efficiency gain.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of our work and for identifying a point that will improve the clarity and rigor of the central theorem. We address the major comment below and will incorporate the requested verification in the revised manuscript.

read point-by-point responses

  1. Referee: [§3] §3, Theorem 3.1 and the subsequent series (around Eq. (3.12)): the central claim that the expansion satisfies the vector Navier-Lamé equation pointwise inside the ball of convergence and the Kupradze radiation condition at infinity is load-bearing, yet the manuscript appears to transfer the scalar Helmholtz addition theorem without an explicit term-by-term verification or a separate lemma showing that the vector coupling terms vanish or cancel; a direct substitution or radiation-limit argument is needed to confirm the series solves the system identically rather than approximately.

    Authors: We agree that an explicit verification strengthens the presentation. The derivation begins from the known decomposition of the Navier-Lamé fundamental solution into scalar Helmholtz potentials (with appropriate wave numbers) and then applies the classical addition theorems for the scalar fundamental solutions. To make this rigorous, we will insert a new lemma immediately after Theorem 3.1 that performs the direct substitution of the series into the vector Navier-Lamé operator. The cross terms cancel identically because the vector spherical harmonics arising from the gradient and curl operations on the scalar expansions are orthogonal and the coefficients are chosen precisely to match the Kupradze radiation condition. For the far-field behavior we will add a short asymptotic argument showing that each term satisfies the radiation condition uniformly in angle, so the series does as well. These additions will be placed in the revised Section 3 and will not alter the numerical results or the overall length significantly. revision: yes

Circularity Check

0 steps flagged

Derivation is self-contained from the Navier-Lamé system and radiation conditions

full rationale

The paper presents a direct mathematical derivation of an addition theorem for the fundamental solution of the 3-D Navier-Lamé system that satisfies the Kupradze radiation conditions. The claimed expansion in terms of Bessel functions and scalar spherical harmonics is obtained from the governing elastodynamic equations and far-field behavior rather than from any fitted parameters, self-referential definitions, or load-bearing self-citations. The subsequent application to the method of fundamental solutions in exterior domains follows as a standard numerical consequence of the theorem. No step reduces the result to its own inputs by construction, and the central claim remains independent of the authors' prior work in a circular manner.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract; the work appears to rest on classical results from vector calculus, special functions, and radiation conditions in elastodynamics rather than introducing new free parameters or entities.

axioms (2)
  • standard math Standard analytic properties of Bessel functions and scalar spherical harmonics in three dimensions
    Invoked to construct the series expansion of the fundamental solution.
  • domain assumption The fundamental solution satisfies the Navier-Lamé system and Kupradze radiation conditions
    Stated in the abstract as the setting for the new theorem.

pith-pipeline@v0.9.0 · 5626 in / 1439 out tokens · 35904 ms · 2026-05-19T01:43:27.771886+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    We obtain a new addition theorem for the fundamental solution of the Navier-Lamé system in dimension 3 satisfying the Kupradze radiation conditions. This provides an expansion of this fundamental solution that involves only the evaluation of Bessel functions and scalar spherical harmonics.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.