From complex-step differentiation to a general reconstruction framework
Abstract
The complex-step method is traditionally derived from the Taylor expansion of an analytic function and is widely used as a numerical technique for derivative approximation. We present an alternative formulation based on the Cauchy--Riemann equations and show that the classical complex-step relation arises naturally from the harmonic structure of holomorphic functions. In particular, the complex-step method admits two complementary harmonic interpretations: as a Cauchy problem, in which the derivative is identified with the normal datum of the imaginary component on the real axis, and as a reconstruction problem in a strip, in which the finite imaginary perturbation provides the upper-boundary data. The latter formulation leads explicitly to the strip Poisson and conjugate Poisson kernels and their derivatives. A related harmonic reconstruction framework in the upper half-plane leads to the Poisson, conjugate Poisson, and Cauchy kernels as elementary reconstruction operators for harmonic and holomorphic functions. Extending this reconstruction from ordinary boundary functions to finite measures yields the classical Stieltjes transform and its inversion formula. The same measure-theoretic structure appears in spectral theory, where scalar matrix elements of the resolvent are Stieltjes transforms of the associated spectral measures. These results establish a common complex-analytic structure connecting complex-step differentiation, harmonic reconstruction, Stieltjes inversion, and spectral reconstruction, while distinguishing the boundary-value problems through which the corresponding information is recovered.
Related
- Intrinsic Finite-Step Characterizations of Discrete General Helices
- Stochastic Heavy Ball with Polyak Step Size and Armijo Line Search: A General Convergence Analysis
- The graph complex and the homology of the general linear groups revisited
- Brownian motion on the complex general group and the non-compact Jacobi process
- CLEAR: Complex Learned Explicit Analytical Regularization for Ultra-Accelerated 4D Flow CMR Reconstruction
BibTeX
@misc{abreu2026from,
title = {{From complex-step differentiation to a general reconstruction framework}},
author = {Rafael Abreu and Chahana Nagesh},
howpublished = {HAL},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2608.17924},
eprint = {2608.17924},
archivePrefix = {arXiv},
url = {https://hal.science/hal-05802224v1},
note = {CC BY},
}
RIS
TY - UNPB
TI - From complex-step differentiation to a general reconstruction framework
AU - Rafael Abreu
AU - Chahana Nagesh
PY - 2026
DA - 2026/10/16
PB - HAL
DO - 10.48550/arxiv.2608.17924
UR - https://hal.science/hal-05802224v1
AB - The complex-step method is traditionally derived from the Taylor expansion of an analytic function and is widely used as a numerical technique for derivative approximation. We present an alternative formulation based on the Cauchy--Riemann equations and show that the classical complex-step relation arises naturally from the harmonic structure of holomorphic functions. In particular, the complex-step method admits two complementary harmonic interpretations: as a Cauchy problem, in which the derivative is identified with the normal datum of the imaginary component on the real axis, and as a reconstruction problem in a strip, in which the finite imaginary perturbation provides the upper-boundary data. The latter formulation leads explicitly to the strip Poisson and conjugate Poisson kernels and their derivatives. A related harmonic reconstruction framework in the upper half-plane leads to the Poisson, conjugate Poisson, and Cauchy kernels as elementary reconstruction operators for harmonic and holomorphic functions. Extending this reconstruction from ordinary boundary functions to finite measures yields the classical Stieltjes transform and its inversion formula. The same measure-theoretic structure appears in spectral theory, where scalar matrix elements of the resolvent are Stieltjes transforms of the associated spectral measures. These results establish a common complex-analytic structure connecting complex-step differentiation, harmonic reconstruction, Stieltjes inversion, and spectral reconstruction, while distinguishing the boundary-value problems through which the corresponding information is recovered.
ER -