arxiv: 2603.14945 · v2 · submitted 2026-03-16 · ⚛️ physics.flu-dyn

Recognition: 2 theorem links

· Lean Theorem

Linear Kelvin Wave Predictions in the zto 0 Limit

Gabriel D Weymouth

Authors on Pith no claims yet

Pith reviewed 2026-05-15 10:46 UTC · model grok-4.3

classification ⚛️ physics.flu-dyn

keywords Kelvin wavesflat-ship theoryfree-surface flowswave resistanceGreen's functioncontour deformation

0 comments

The pith

Modified kernel with elliptic spanwise integration resolves unbounded Kelvin wave energy at the free surface.

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

Linear wave theory offers fast predictions for free-surface flows such as ship wakes, yet the standard Kelvin Green's function for a point source produces unbounded wave energy as the source depth approaches zero. This paper develops a modified kernel for flat-ship theory that incorporates an elliptic spanwise line integration to regularize the singularity and produce finite wave energy over the entire surface. It also introduces a fast evaluator based on contour deformation that preserves wake asymptotics while accelerating computation by orders of magnitude. The resulting predictions at the z=0 limit exhibit consistent wave patterns and resistance trends suitable for design and real-time applications.

Core claim

The central claim is that an elliptic spanwise line integration applied to the flat-ship kernel regularizes the Kelvin Green's function, removing the divergence in wave energy as z approaches zero and enabling physically consistent linear predictions of wave patterns and resistance for surface-piercing bodies.

What carries the argument

Elliptic spanwise line integration within the modified Kelvin kernel, which replaces the singular point source with an averaged line contribution to eliminate the free-surface singularity.

If this is right

Finite wave energy permits direct numerical evaluation of the kernel without artificial damping or cutoffs.
Contour-deformation evaluation achieves 10^4 to 10^5 speedup over quadrature while retaining correct far-wake behavior.
Wave patterns and resistance trends remain physically consistent in the z=0 limit.
Linear models become viable for real-time control and surrogate modeling of free-surface flows.

Where Pith is reading between the lines

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

The regularization may generalize to other singular kernels in potential-flow problems involving surface intersections.
Fast kernel evaluation could support optimization loops that couple linear wave predictions with hull shape changes.
Systematic tests against fully nonlinear codes would quantify any residual modeling error introduced by the elliptic averaging.

Load-bearing premise

The elliptic spanwise line integration regularizes the singularity without introducing new physical errors into the flat-ship approximation at z=0.

What would settle it

Comparison of predicted surface wave elevations and wave resistance coefficients against experimental data or nonlinear viscous simulations for a surface-piercing body at zero submergence.

read the original abstract

Linear wave theory captures the essential physics of free-surface flows at a fraction of the computational cost of nonlinear and viscous methods, making it attractive for design, real-time control, and surrogate modeling applications. However, the Kelvin Green's function for a translating point-source generates unbounded wave energy in the $z\to 0$ limit, causing both numerical difficulties and physical inconsistencies. This paper develops a modified kernel for flat-ship theory incorporating an elliptic spanwise line integration that naturally resolves this ill-posedness, yielding finite wave energy over the entire free surface. We then present a fast evaluator for both point and line kernels using contour deformation adapted to the non-analytic Kelvin phase, achieving $10^4$-$10^5$ speedup over direct quadrature while preserving the wake asymptotics. Predictions on the most challenging $z=0$ limit demonstrate physically consistent wave patterns and wave resistance trends. An open-source Julia implementation is provided.

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.

Desk Editor's Note private letter to a colleague

The elliptic spanwise integration gives a workable fix for the z=0 singularity in the Kelvin kernel, with a fast contour evaluator as the main new piece, but the physical fidelity claim rests on thin validation.

read the letter

The paper's core move is to replace the point-source Kelvin kernel with an elliptic spanwise line integral that removes the singularity at the free surface while keeping the far-field wake behavior intact. They then build a contour-deformation evaluator that delivers the reported 10^4-10^5 speedup over direct quadrature. Both the regularization and the adapted contour method look like genuine additions not already in the cited literature, and shipping the Julia code is a real plus for anyone who wants to test it directly. The abstract states that the resulting patterns and resistance trends stay physically consistent, which is the practical payoff for flat-ship theory in ship hydrodynamics. That part is useful if it holds. The main gap is the missing head-to-head checks. There is no direct comparison of the regularized results against the unregularized kernel in the limit, against vertical smoothing alternatives, or against independent linearized solvers. Without those, it is possible the elliptic averaging shifts phase or amplitude in ways that are being read as consistency rather than artifact. The derivation details are also only sketched in the abstract, so it is not yet clear whether the construction is fully parameter-free or if any post-hoc tuning crept in. This is aimed at naval architects and surrogate-model builders who need fast linear free-surface predictions. A reader working on real-time control or early-stage design could get immediate value from the code and the z=0 capability. For a broader fluids audience the impact is narrower. I would send it to peer review. The numerical contribution and the open implementation are solid enough to justify referee time, even if the physical-error quantification needs tightening.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a modified kernel for the Kelvin Green's function in flat-ship theory by incorporating an elliptic spanwise line integration to regularize the singularity and yield finite wave energy in the z→0 limit. It further presents a fast evaluator using contour deformation adapted to the non-analytic Kelvin phase, achieving 10^4-10^5 speedup over direct quadrature while preserving wake asymptotics, and reports physically consistent wave patterns and resistance trends for the z=0 case, supported by an open-source Julia implementation.

Significance. If the elliptic regularization is confirmed to preserve linearized Kelvin wake physics without systematic bias, the work would provide a practical route to stable linear predictions for surface-piercing and near-surface ship flows, extending the utility of Kelvin theory in design and surrogate modeling. The reported speedups, open-source code, and focus on the most singular limit are clear strengths that support reproducibility.

major comments (2)

[§3] §3: The elliptic spanwise line integration is introduced to remove the z→0 singularity while leaving wake physics unaltered, yet the manuscript provides no direct quantitative comparison of wave elevation, phase, or resistance between the modified kernel and the unregularized point-source kernel (or alternative regularizations such as vertical smoothing) in the z=0 limit; such checks are needed to confirm absence of introduced bias.
[§4.2] §4.2, Eq. (18): The contour-deformation evaluator is stated to preserve asymptotics, but the text lacks explicit error bounds or convergence metrics against direct quadrature specifically for the z=0 case, which is central to validating numerical fidelity given the non-analytic phase.

minor comments (2)

[Abstract] The abstract asserts 'physically consistent' trends without naming the quantitative measures (e.g., resistance coefficient error or wake angle deviation) used to reach that conclusion.
[§2] Notation for the elliptic integration parameter could be clarified with an explicit definition in the first appearance to aid readers unfamiliar with the construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their constructive review and positive assessment of the work's significance. We address each major comment below and will incorporate revisions to strengthen the validation of the elliptic regularization and numerical evaluator.

read point-by-point responses

Referee: [§3] §3: The elliptic spanwise line integration is introduced to remove the z→0 singularity while leaving wake physics unaltered, yet the manuscript provides no direct quantitative comparison of wave elevation, phase, or resistance between the modified kernel and the unregularized point-source kernel (or alternative regularizations such as vertical smoothing) in the z=0 limit; such checks are needed to confirm absence of introduced bias.

Authors: We agree that direct quantitative comparisons are valuable to confirm that the elliptic regularization preserves linearized Kelvin wake physics without systematic bias. In the revised manuscript we will add side-by-side comparisons of wave elevation, phase speed, and wave resistance for the modified line kernel versus the unregularized point-source kernel (and, where computationally feasible, versus vertical smoothing) evaluated at z=0. These will be presented for representative hull geometries to demonstrate consistency with expected wake asymptotics. revision: yes
Referee: [§4.2] §4.2, Eq. (18): The contour-deformation evaluator is stated to preserve asymptotics, but the text lacks explicit error bounds or convergence metrics against direct quadrature specifically for the z=0 case, which is central to validating numerical fidelity given the non-analytic phase.

Authors: We acknowledge the need for explicit error bounds and convergence metrics for the z=0 case. In the revision we will include quantitative error tables and convergence plots comparing the contour-deformation evaluator against direct quadrature for the modified kernel at z=0, reporting relative L2 errors in wave elevation and resistance as functions of quadrature parameters. This will confirm that the reported 10^4–10^5 speedups preserve the required accuracy in the singular limit. revision: yes

Circularity Check

0 steps flagged

No circularity: elliptic spanwise integration introduced as independent regularization

full rationale

The paper presents the elliptic spanwise line integration as a novel construction to regularize the Kelvin kernel at z=0, yielding finite energy without reference to fitted data or the target wake patterns. No load-bearing steps reduce by definition or self-citation to the final predictions; the fast evaluator and physical consistency claims are evaluated separately. The derivation remains self-contained and does not equate inputs to outputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The approach rests on standard linear potential-flow assumptions plus the new elliptic regularization; no free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Linearized free-surface boundary conditions and potential-flow assumptions hold for the translating source problem.
Invoked throughout the abstract as the foundation for Kelvin wave theory.

pith-pipeline@v0.9.0 · 5450 in / 1170 out tokens · 32780 ms · 2026-05-15T10:46:54.614304+00:00 · methodology

discussion (0)

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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

elliptic spanwise line integration... A_b(t)=π J1(b k_y(t))/k_y(t) ... S_b,ζ(k)∼1/(k_y^{3/2} b R)
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

flat-ship planform at z=0... wave resistance C_W integral with A_w

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.