pith. sign in

arxiv: 2601.16542 · v2 · pith:YLLILDDCnew · submitted 2026-01-23 · 🧮 math.AP · math-ph· math.MP

Stationary phase with Cauchy singularity. A critical point of signature (+,-)

Pith reviewed 2026-05-21 16:01 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MP
keywords asymptotic analysisstationary phaseCauchy transformsteepest descentpolarizationStokes theoremd-bar problemcritical point
0
0 comments X

The pith

When a stationary point of the phase lies at distance O(√h) from the Cauchy singularity, the integral decomposes into three special-function terms.

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

The paper derives asymptotic expressions for a solid Cauchy transform integral that features a rapidly oscillating phase with small parameter h. Standard steepest-descent methods suffice when stationary points lie far from the singularity, but the authors introduce a polarization technique that treats the complex conjugate as an independent variable and works in C². They deform contours to steepest-descent paths and apply Stokes' theorem to split the integral into three pieces, each of which admits an asymptotic expansion in terms of special functions. This handles the delicate regime where the distance between a critical point and the singularity is comparable to √h. The approach is motivated by the appearance of such integrals in solutions of d-bar problems.

Core claim

For |ζ − ω_k| = O(√h) the integral admits an asymptotic decomposition into three terms, each expressible via special functions, obtained by polarization in C² and an application of Stokes' theorem on steepest-descent contours.

What carries the argument

Polarization of the phase in C² (treating ω and its conjugate as independent variables) followed by contour deformation and Stokes' theorem on steepest-descent paths to isolate contributions from the critical point and the singularity.

If this is right

  • Asymptotics remain valid even when stationary points approach the singularity at the scale √h rather than being separated by a fixed distance.
  • The three-term decomposition separates the local contribution near the critical point from the singular contribution at ζ and from interaction terms.
  • The resulting expansions involve standard special functions whose numerical evaluation is well understood.
  • The method supplies uniform approximations across the transition regime between separated and coalescing critical-point/singularity geometries.

Where Pith is reading between the lines

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

  • The same polarization-plus-Stokes procedure might extend to integrals with several nearby singularities or to higher-dimensional oscillatory integrals with Cauchy-type kernels.
  • Error bounds derived from the decomposition could be used to certify numerical solvers for semiclassical d-bar equations.
  • The special functions appearing in the asymptotics may admit further asymptotic reductions when additional parameters are scaled with h.

Load-bearing premise

The phase possesses an isolated critical point of signature (+,−) whose distance to the Cauchy singularity is of order √h, and this local geometry permits polarization and contour deformation without additional residue terms or topological obstructions.

What would settle it

Numerical quadrature of the integral for successively smaller h with a fixed critical point placed at distance c√h from the singularity; the computed values should agree with the sum of the three predicted special-function asymptotics up to higher-order remainders.

read the original abstract

Asymptotic expressions for an integral appearing in the solution of a d-bar problem are presented. The integral is a solid Cauchy transform of a function with a rapidly oscillating phase with a small parameter $h$, $0<h\ll 1$. Whereas standard steepest descent approaches can be applied to the case where the stationary points of the phase $\omega_{k}$, $k=1,\ldots, N$ are far from the singularity $\zeta$ of the integrand, a polarization approach is proposed for the case that $|\zeta-\omega_{k}|<\mathcal{O}(\sqrt{h})$ for some $k$. In this case the problem is studied in $\mathbb{C}^{2}$ ($\widetilde{\omega}:=\overline{\omega}$ is treated as an independent variable) on steepest descent contours. An application of Stokes' theorem allows for a decomposition of the integral into three terms for which asymptotic expressions in terms of special functions are given.

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

2 major / 2 minor

Summary. The manuscript develops asymptotic expressions for a solid Cauchy transform integral of a function with a rapidly oscillating phase depending on small parameter h. Standard steepest-descent methods apply when stationary points ω_k lie far from the Cauchy singularity ζ, but the authors treat the delicate regime |ζ − ω_k| = O(√h) by polarization (treating the conjugate as an independent variable in C²) followed by an application of Stokes' theorem on steepest-descent contours; this yields a decomposition of the integral into three terms, each expressed in terms of special functions.

Significance. If the contour analysis is fully rigorous, the result would supply a systematic method for handling the interaction of an isolated critical point of signature (+,−) with a nearby Cauchy pole at the √h scale. The explicit special-function asymptotics obtained via polarization and Stokes' theorem would constitute a concrete advance over purely formal stationary-phase heuristics in this setting and could be directly useful for d-bar problems and related oscillatory integrals in complex analysis.

major comments (2)
  1. [Section describing the application of Stokes' theorem and contour choice] The central decomposition into exactly three special-function terms rests on the claim that the chosen steepest-descent contours in the polarized C² setting enclose or cross the Cauchy pole in a controlled way that produces no additional residue when |ζ − ω_k| = O(√h). The local geometry (signature (+,−) and the √h scaling) makes the paths approach the singularity at the same scale as the critical-point neighborhood; an explicit verification—via a local model, residue calculation, or diagram showing that the deformed contours avoid generating an extra contribution—is therefore load-bearing and must be supplied.
  2. [Asymptotics derivation following the Stokes decomposition] The abstract states that asymptotic expressions 'in terms of special functions are given,' yet no explicit remainder estimates or error bounds for these expansions appear in the provided outline. Without such bounds it is impossible to confirm that the three-term decomposition is asymptotically accurate to the claimed order as h → 0.
minor comments (2)
  1. Clarify the precise definition of the polarized phase function and the identification of the three special functions (e.g., Airy or Pearcey type) with explicit integral representations or references.
  2. A schematic figure illustrating the steepest-descent contours in the polarized variables relative to the pole location would substantially improve readability of the contour-deformation argument.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised concerning the rigor of the contour deformation and the need for explicit error bounds are well taken, and we will strengthen the presentation accordingly in a revised version.

read point-by-point responses
  1. Referee: The central decomposition into exactly three special-function terms rests on the claim that the chosen steepest-descent contours in the polarized C² setting enclose or cross the Cauchy pole in a controlled way that produces no additional residue when |ζ − ω_k| = O(√h). The local geometry (signature (+,−) and the √h scaling) makes the paths approach the singularity at the same scale as the critical-point neighborhood; an explicit verification—via a local model, residue calculation, or diagram showing that the deformed contours avoid generating an extra contribution—is therefore load-bearing and must be supplied.

    Authors: We agree that an explicit local verification is essential for full rigor in this regime. The manuscript defines the steepest-descent contours in the polarized (ω, ˜ω) variables according to the signature (+,−) of the critical point. In the revision we will add a dedicated local-model subsection containing: (i) a rescaled model integral near |ζ − ω_k| ∼ √h, (ii) an explicit residue computation confirming that the Cauchy pole contributes exactly once in the Stokes decomposition, and (iii) a diagram of the deformed contours in local coordinates demonstrating that no extraneous residues are generated. This addition will directly address the load-bearing claim. revision: yes

  2. Referee: The abstract states that asymptotic expressions 'in terms of special functions are given,' yet no explicit remainder estimates or error bounds for these expansions appear in the provided outline. Without such bounds it is impossible to confirm that the three-term decomposition is asymptotically accurate to the claimed order as h → 0.

    Authors: The referee correctly notes the absence of detailed remainder estimates. The three terms obtained via Stokes’ theorem consist of a residue contribution at the pole and two oscillatory integrals along the steepest-descent paths; each is expressed by special functions whose leading asymptotics are derived in the manuscript. We will insert a new subsection that supplies uniform error bounds, showing that the remainder after these three terms is O(h^{1/4 + ε}) (or better) as h → 0, obtained from the exponential decay along the contours and standard estimates on the special functions (adapted error-function or parabolic-cylinder type). This will confirm the claimed asymptotic accuracy. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation applies standard complex-analytic tools to a local geometry

full rationale

The paper derives asymptotic decompositions for the solid Cauchy transform by treating the phase as a function on C² via polarization and then invoking Stokes' theorem on steepest-descent contours. These steps rest on classical results in several complex variables and contour integration that are independent of the specific integral under study and are not defined in terms of the target special-function expressions. No parameters are fitted to data subsets, no self-citations are used to justify uniqueness or ansätze, and the local scaling |ζ − ω_k| = O(√h) is an explicit geometric hypothesis rather than a derived output. The derivation chain therefore remains self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of an isolated non-degenerate critical point of signature (+,−) and on the analyticity of the phase and amplitude in a neighborhood large enough for contour deformation. No new entities are postulated and no parameters are fitted to data.

axioms (2)
  • domain assumption The phase function ω admits an isolated critical point of signature (+,−) at distance O(√h) from the Cauchy singularity ζ.
    Invoked in the abstract to justify the polarization construction and the applicability of Stokes' theorem without extra residues.
  • standard math Standard results on steepest-descent contours and Stokes' theorem in C² hold for the chosen contours.
    Background complex-analysis facts used to decompose the integral.

pith-pipeline@v0.9.0 · 5697 in / 1472 out tokens · 41348 ms · 2026-05-21T16:01:28.385054+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.

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.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    Stegun.Handbook of mathematical functions with formulas, graphs, and mathematical tables

    Milton Abramowitz and Irene A. Stegun.Handbook of mathematical functions with formulas, graphs, and mathematical tables. Reprint of the 1972 ed.English. A Wiley-Interscience Publication. Selected Gov- ernment Publications. New York: John Wiley & Sons, Inc; Washington, D.C.: National Bureau of Standards. xiv, 1046 pp., 1984

  2. [2]

    SaintJeandeMonts 1976

    Louis Boutet de Monvel.Opérateurs pseudo-différentiels analytiques. French.Journéeséquationsauxdérivéespartielles"SaintJeandeMonts 1976" no. 6. Centre Mersenne, 1976, pp. 1–43

  3. [3]

    Pseudo-differential opera- tors and Gevrey classes

    Louis Boutet de Monvel and Paul Krée. “Pseudo-differential opera- tors and Gevrey classes”. English. In:Ann. Inst. Fourier17.1 (1967), pp. 295–323.issn: 0373-0956.doi:10.5802/aif.258.url:https: //eudml.org/doc/73921

  4. [4]

    Uniqueness in the in- verse conductivity problem for nonsmooth conductivities in two dimen- sions

    Russell M. Brown and Gunther A. Uhlmann. “Uniqueness in the in- verse conductivity problem for nonsmooth conductivities in two dimen- sions”. English. In:Commun. Partial Differ. Equations22.5-6 (1997), pp. 1009–1027.issn: 0360-5302.doi:10.1080/03605309708821292

  5. [5]

    On an inverse boundary value problem

    Alberto P. Calderón. “On an inverse boundary value problem”. English. In:Comput. Appl. Math.25.2-3 (2006), pp. 133–138.issn: 2238-3603. url:www . scielo . br / scielo . php ? script = sci _ abstract & pid = S1807-03022006000200002&lng=en&nrm=iso&tlng=en

  6. [6]

    Mouez Dimassi and Johannes Sjöstrand.Spectral asymptotics in the semi-classical limit. English. Vol. 268. Lond. Math. Soc. Lect. Note Ser. Cambridge: Cambridge University Press, 1999.isbn: 0-521-66544- 2

  7. [7]

    An introduction

    Alain Grigis and Johannes Sjöstrand.Microlocal analysis for differen- tial operators. An introduction. English. Vol. 196. Lond. Math. Soc. Lect. Note Ser. Cambridge: Cambridge University Press, 1994.isbn: 0-521-44986-3

  8. [8]

    I: Distribution theory and Fourier analysis.English.Vol.256.Grundlehren Math

    Lars Hörmander.The analysis of linear partial differential operators. I: Distribution theory and Fourier analysis.English.Vol.256.Grundlehren Math. Wiss. Springer, Cham, 1983. 92

  9. [9]

    High preci- sion numerical approach for Davey-Stewartson II type equations for Schwartz class initial data

    Christian Klein, Ken McLaughlin, and Nikola Stoilov. “High preci- sion numerical approach for Davey-Stewartson II type equations for Schwartz class initial data”. English. In:Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci.476.2239 (2020). Id/No 20190864, p. 17.issn: 1364- 5021.doi:10.1098/rspa.2019.0864

  10. [10]

    Spectral ap- proach to the scattering map for the semi-classical defocusing Davey- Stewartson II equation

    Christian Klein, Ken McLaughlin, and Nikola Stoilov. “Spectral ap- proach to the scattering map for the semi-classical defocusing Davey- Stewartson II equation”. English. In:Physica D400 (2019). Id/No 132126, p. 9.issn: 0167-2789.doi:10.1016/j.physd.2019.05.006

  11. [11]

    Spectral approach toD-barproblems

    Christian Klein and Kenneth D. T-R McLaughlin. “Spectral approach toD-barproblems”.English.In:Commun. Pure Appl. Math.70.6(2017), pp. 1052–1083.issn: 0010-3640.doi:10.1002/cpa.21684

  12. [12]

    Inverse scattering and PDE methods

    Christian Klein and Jean-Claude Saut.Nonlinear dispersive equations. Inverse scattering and PDE methods. English. Vol. 209. Appl. Math. Sci. Cham: Springer, 2021.doi:10.1007/978-3-030-91427-1

  13. [13]

    Large|k| behavior of complex geometric optics solutions to d-bar problems

    Christian Klein, Johannes Sjöstrand, and Nikola Stoilov. “Large|k| behavior of complex geometric optics solutions to d-bar problems”. En- glish. In:Commun. Pure Appl. Math.76.10 (2023), pp. 2221–2270. issn: 0010-3640.doi:10.1002/cpa.22075

  14. [14]

    Large|k|be- havior for the reflection coefficient for Davey-Stewartson II equations

    Christian Klein, Johannes Sjöstrand, and Nikola Stoilov. “Large|k|be- havior for the reflection coefficient for Davey-Stewartson II equations”. English. In:SIAM J. Math. Anal.55.5 (2023), pp. 4912–4937.issn: 0036-1410.doi:10.1137/22M1487916

  15. [15]

    Large|k| behavior of d-bar problems for domains with a smooth boundary

    Christian Klein, Johannes Sjöstrand, and Nikola Stoilov. “Large|k| behavior of d-bar problems for domains with a smooth boundary”. English. In:Partial differential equations, spectral theory, and mathe- matical physics. The Ari Laptev anniversary volume. Berlin: European Mathematical Society (EMS), 2021, pp. 267–275.doi:10.4171/ECR/ 18-1/15

  16. [16]

    Numerical scattering for the de- focusing Davey-Stewartson II equation for initial data with compact support

    Christian Klein and Nikola Stoilov. “Numerical scattering for the de- focusing Davey-Stewartson II equation for initial data with compact support”. English. In:Nonlinearity32.11 (2019), pp. 4258–4280.issn: 0951-7715.doi:10.1088/1361-6544/ab28c6. 93

  17. [17]

    Numerical solution method for the ∂-equation in the plane

    K. Knudsen, J. Mueller, and S. Siltanen. “Numerical solution method for the ∂-equation in the plane”. English. In:J. Comput. Phys.198.2 (2004), pp. 500–517.issn: 0021-9991.doi:10.1016/j.jcp.2004.01. 028.url:vbn.aau.dk/ws/files/113022/abstractfil2.pdf

  18. [18]

    Anders Melin and Johannes Sjöstrand.Fourier integral operators with complex-valued phase functions. English. Fourier Integr. Oper. part. differ. Equat., Colloq. int. Nice 1974, Lect. Notes Math. 459, 120-223 (1975)

  19. [19]

    Mueller and Samuli Siltanen.Linear and nonlinear inverse problems with practical applications

    Jennifer L. Mueller and Samuli Siltanen.Linear and nonlinear inverse problems with practical applications. English. Vol. 10. Comput. Sci. Eng. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM),2012.doi:10.1137/1.9781611972344.url:semanticscholar. org/paper/829773ed513b67a90776f59ddc1ce3a7ff0d9dc2

  20. [20]

    Global uniqueness for a two-dimensional inverse boundary value problem

    Adrian I. Nachman. “Global uniqueness for a two-dimensional inverse boundary value problem”. English. In:Ann. Math. (2)143.1 (1996), pp. 71–96.issn: 0003-486X.doi:10.2307/2118653

  21. [21]

    Propagation of analytic singularities for second order Dirichlet problems

    Johannes Sjöstrand. “Propagation of analytic singularities for second order Dirichlet problems”. English. In:Commun. Partial Differ. Equa- tions5(1980),pp.41–94.issn:0360-5302.doi:10.1080/03605308008820133

  22. [22]

    Propagation of analytic singularities for second order Dirichlet problems. II

    Johannes Sjöstrand. “Propagation of analytic singularities for second order Dirichlet problems. II”. English. In:Commun. Partial Differ. Equations5 (1980), pp. 187–207.issn: 0360-5302.doi:10 . 1080 / 03605308008820137

  23. [23]

    Singularitésanalytiquesmicrolocales

    JohannesSjöstrand.“Singularitésanalytiquesmicrolocales”.French.In: Astérisque 95. Paris: Société Mathématique de France (SMF), 1982, pp. 1–166

  24. [24]

    Electrical impedance tomography and Calderón’s prob- lem

    G. Uhlmann. “Electrical impedance tomography and Calderón’s prob- lem”. English. In:Inverse Probl.25.12 (2009). Id/No 123011, p. 39. issn: 0266-5611.doi:10 . 1088 / 0266 - 5611 / 25 / 12 / 123011.url: semanticscholar.org/paper/0a8d043a2eef851d43fd93cdf75423451dd74d6a. 94