Solving parameterized linear difference equations in terms of indefinite nested sums and products
From MaRDI portal
Publication:5317727
DOI10.1080/10236190500138262zbMath1087.33011OpenAlexW2089722995MaRDI QIDQ5317727
Publication date: 21 September 2005
Published in: Journal of Difference Equations and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/10236190500138262
linear difference equationsdifference fieldsharmonic numberssymbolic summationnested sumsnested productsproduct-sum-fields
Combinatorial identities, bijective combinatorics (05A19) Other hypergeometric functions and integrals in several variables (33C70) Basic hypergeometric functions in one variable, ({}_rphi_s) (33D15) Generalized hypergeometric series, ({}_pF_q) (33C20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Difference algebra (12H10) Other basic hypergeometric functions and integrals in several variables (33D70)
Related Items
Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation, Analytic computing methods for precision calculations in quantum field theory, Iterated binomial sums and their associated iterated integrals, Padé approximations to the logarithm. III: Alternative methods and additional results, On another approach for a family of Appell polynomials, The heavy fermion contributions to the massive three loop form factors, Hypergeometric structures in Feynman integrals, The 3-loop non-singlet heavy flavor contributions and anomalous dimensions for the structure function \(\mathrm{F}_2(\mathrm{x, Q}^{\mathrm{2}})\) and transversity, The 3-loop pure singlet heavy flavor contributions to the structure function \(F_2(x, Q^2)\) and the anomalous dimension, The first-order factorizable contributions to the three-loop massive operator matrix elements \(A_{Qg}^{(3)}\) and \(\Delta A_{Qg}^{(3)}\), The extended Zeilberger algorithm with parameters, Trading order for degree in creative telescoping, The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\), On some class of periodic-discrete homogeneous difference equations via Fibonacci sequences, A symbolic summation approach to Feynman integral calculus, Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects, A criterion for the similarity of length-two elements in a noncommutative PID., The transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O({\alpha}_s^3)\), A refined difference field theory for symbolic summation, Parameterized telescoping proves algebraic independence of sums, Automated solution of first order factorizable systems of differential equations in one variable, Solving difference equations whose coefficients are not transcendental, The polarized transition matrix element \(A_{gq}(N)\) of the variable flavor number scheme at \(O(\alpha_s^3)\), A difference ring theory for symbolic summation, On compact representations for the solutions of linear difference equations with variable coefficients, Rational solutions of ordinary difference equations, Analytic and algorithmic aspects of generalized harmonic sums and polylogarithms, Structural theorems for symbolic summation, Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra, SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS, Indefinite summation with unspecified summands, On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions, THE QCD COUPLING AND PARTON DISTRIBUTIONS AT HIGH PRECISION, On the nested sums and orthogonal polynomials, Report from the open problems session at OPSFA13, Large Scale Analytic Calculations in Quantum Field Theories, Rational solutions of first-order algebraic ordinary difference equations, Simplifying Multiple Sums in Difference Fields, A note on representations for the inverses of tridiagonal matrices, The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements, Extensions of the AZ-Algorithm and the Package MultiIntegrate, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals, Application of the companion factorization to linear non-autonomous area-preserving maps
Uses Software
Cites Work
- Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
- A fast algorithm for proving terminating hypergeometric identities
- Theory of summation in finite terms
- Liouvillian solutions of linear differential equations with Liouvillian coefficients
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- Solving difference equations in finite terms
- Finite singularities and hypergeometric solutions of linear recurrence equations
- A generalization of Gosper's algorithm
- Galois theory of difference equations
- \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
- Computer proofs of a new family of harmonic number identities.
- On solutions of linear ordinary difference equations in their coefficient field
- Product representations in \(\Pi\Sigma\)-fields
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
- Multibasic and mixed hypergeometric Gosper-type algorithms
- An extension of Zeilberger's fast algorithm to general holonomic functions
- Summation in Finite Terms
- Decision procedure for indefinite hypergeometric summation
- Symbolic summation with single-nested sum extensions
- Finding telescopers with minimal depth for indefinite nested sum and product expressions
- Rational solutions of linear differential and difference equations with polynomial coefficients
