从复步求导到通用重构框架
From complex-step differentiation to a general reconstruction framework
AI总结：
本文基于柯西-黎曼方程重构复步法的通用框架，将其与斯蒂尔杰斯变换、谱理论关联，并提出基于FFT的数值实现方案。
AI中文摘要：
复步法传统上由解析函数的泰勒展开推导而来，是一种广泛用于导数近似的数值技术。本文提出一种基于柯西-黎曼方程的替代公式，证明经典复步近似自然产生于全纯函数的调和结构，并在上半平面中构建对应的边界重构问题。该构造自然导出泊松核、希尔伯特核和柯西核作为调和函数与全纯函数的基本重构算子。将边界重构从普通函数扩展到有限测度，可得到经典的斯蒂尔杰斯变换及其逆变换公式。进一步表明，相同的重构原理可自然扩展到谱理论，其中预解式的标量矩阵元是关联谱测度的斯蒂尔杰斯变换，这为复步法、斯蒂尔杰斯逆变换、预解式方法与半经典分析建立了直接联系，相同的复扰动是恢复谱信息的基础。最后，本文讨论了基于快速傅里叶变换（FFT）的数值实现方案，用于所需解析延拓的数值评估。
英文摘要：
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.
