Search arXivSearch

arXiv · 2512.22329

Spectral Reconstruction in Fractional Derivative Order

Abstract

We introduce the spectral reconstruction operator $\mathcal{S}$, which treats derivative order as a continuous variable and integrates fractional derivative data across all nonnegative real orders to represent analytic functions. Because these derivatives draw on function values across an infinite stretch of the real line, the spectral integrand encodes information about $f$ that no individual integer derivative at the origin can capture. We define an admissible class of fractional derivative families that recover the classical derivative ladder, satisfy the semigroup property, and keep $D^r f(0)$ finite (a condition that excludes monomials), and prove that the operator asymptotically reconstructs the exponential function as $x\to\infty$. The spectral operator and the classical Maclaurin series evaluate the same underlying function of derivative order, one by integration and the other by summation; classical summation formulas quantify this discrepancy under their respective hypotheses. Euler--Maclaurin gives a finite correction series with remainder; Abel--Plana gives an exact correction integral. Examples from entire, oscillatory, rapidly decaying, special-function, and finite-radius analytic classes, including a real pole and a complex-conjugate pole pair, demonstrate stable reconstruction; the operator's Abel--Plana correction matches $f$ to full computational precision in every case. The spectral integral and Maclaurin series share the same convergence boundary in the finite-radius examples, though through different mathematics. The discrepancy remains bounded, so the uncorrected operator is already useful where $f(x)$ is large; the leading term $\mathcal{E}_0=\frac{1}{2}f(0)$ and higher terms account for the rest near the origin. These results establish derivative order as a meaningful, non-local continuous domain for representing and reconstructing analytic functions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Derek C. Braun. 2026-07-20. Spectral Reconstruction in Fractional Derivative Order. https://arxiv.org/abs/2512.22329

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM