Banded Reduction of Integrals for Hyperexponential and Algebraic Functions
Abstract
We develop a finite-band method for the reduction of families of indefinite integrals. The starting point is the case in which the logarithmic derivative $K'(x)/K(x)$ is a rational function. This leads to adapted polynomial and Laurent-type bases and to upper triangular band matrices. The framework includes generalized real Schwarz--Christoffel integrals and more general hyperexponential weights. We then extend the construction to the case in which the logarithmic derivative $K'(x)/K(x)$ is algebraic over the field of real rational functions. The associated finite-dimensional differential module gives rise naturally to block-band systems. Finally, we show that functions satisfying linear differential equations with real polynomial coefficients give rise to finite recurrences for their moments. The resulting reduction is effective: for a prescribed target integral it is enough to solve a finite triangular band system, and only the reduction data associated with the target are required. We also discuss arithmetic complexity and give explicit examples illustrating the scalar and block reductions. The algorithms are implemented in the accompanying Mathematica package \texttt{BandedReduction}.
Related
- Indefinite integrals of Bessel and Struve functions with half-integer indices, and incomplete gamma functions with integer indices, all multiplied by Exp(−ax2) and divided by powers
- Newton-type inequalities for the class of modified hyperbolic p-convex functions via Riemann-Liouville fractional integrals with numerical justifications
- Dunnett's and Tukey's procedures under mixed model covariance structures: dimensional reduction of multivariate-t integrals
- Iterated integrals for generalized Appell functions
- SEAC from EAC modulo Schanuel: reduction to algebraic exponentials
BibTeX
@misc{krason2026banded,
title = {{Banded Reduction of Integrals for Hyperexponential and Algebraic Functions}},
author = {Piotr Krasoń and Jan Milewski},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.38221},
eprint = {2609.38221},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.38221},
}
RIS
TY - UNPB
TI - Banded Reduction of Integrals for Hyperexponential and Algebraic Functions
AU - Piotr Krasoń
AU - Jan Milewski
PY - 2026
DA - 2026/09/27
PB - arXiv
DO - 10.48550/arxiv.2609.38221
UR - https://arxiv.org/abs/2609.38221
AB - We develop a finite-band method for the reduction of families of indefinite integrals. The starting point is the case in which the logarithmic derivative $K'(x)/K(x)$ is a rational function. This leads to adapted polynomial and Laurent-type bases and to upper triangular band matrices. The framework includes generalized real Schwarz--Christoffel integrals and more general hyperexponential weights. We then extend the construction to the case in which the logarithmic derivative $K'(x)/K(x)$ is algebraic over the field of real rational functions. The associated finite-dimensional differential module gives rise naturally to block-band systems. Finally, we show that functions satisfying linear differential equations with real polynomial coefficients give rise to finite recurrences for their moments. The resulting reduction is effective: for a prescribed target integral it is enough to solve a finite triangular band system, and only the reduction data associated with the target are required. We also discuss arithmetic complexity and give explicit examples illustrating the scalar and block reductions. The algorithms are implemented in the accompanying Mathematica package \texttt{BandedReduction}.
ER -