Search arXivSearch

arXiv · 2608.19268

From the Half-Order Recurrence to General Fractional-Order Differentiation on Monomials: Functional Continuation and Operator Composition

Abstract

This work develops a general-order fractional differentiation operator on monomials from the discrete half-order coefficient structure established in Part I. Starting from the one-step transfer law of the integer coefficient family, the discrete coefficient relation is continued to a real argument and a canonical Gamma-functional form is selected under the stated normalization and regularity requirements. The operator order is then extended beyond one half by dividing the first derivative into equal operator steps, leading from orders 1/m and k/m to general rational and real orders. The resulting coefficient is independently verified through the addition law for operator orders on the monomial system, subject to the requirement that all intermediate expressions in the composition are defined. On the corresponding parameter domain, the construction yields the standard Gamma-ratio monomial formula for fractional differentiation. For nonnegative integer orders it reduces to ordinary repeated differentiation, while for positive non-integer orders it agrees at the monomial level with the left-sided Riemann-Liouville formula with lower limit 0. Its relation to the Caputo operator is also discussed, including the distinction for constants and low-degree polynomial terms. The aim is not to introduce a new classical fractional derivative, but to provide a constructive algebraic-operator route from a discrete coefficient law to the general fractional-order monomial formula, clarifying the roles of functional continuation, Gamma normalization, and operator composition.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Davit Kapanadze. 2026-08-18. From the Half-Order Recurrence to General Fractional-Order Differentiation on Monomials: Functional Continuation and Operator Composition. https://arxiv.org/abs/2608.19268

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