-
Order bounds for $C^2$-finite sequences
Authors:
Manuel Kauers,
Philipp Nuspl,
Veronika Pillwein
Abstract:
A sequence is called $C$-finite if it satisfies a linear recurrence with constant coefficients. We study sequences which satisfy a linear recurrence with $C$-finite coefficients. Recently, it was shown that such $C^2$-finite sequences satisfy similar closure properties as $C$-finite sequences. In particular, they form a difference ring.
In this paper we present new techniques for performing thes…
▽ More
A sequence is called $C$-finite if it satisfies a linear recurrence with constant coefficients. We study sequences which satisfy a linear recurrence with $C$-finite coefficients. Recently, it was shown that such $C^2$-finite sequences satisfy similar closure properties as $C$-finite sequences. In particular, they form a difference ring.
In this paper we present new techniques for performing these closure properties of $C^2$-finite sequences. These methods also allow us to derive order bounds which were not known before. Additionally, they provide more insight in the effectiveness of these computations.
The results are based on the exponent lattice of algebraic numbers. We present an iterative algorithm which can be used to compute bases of such lattices.
△ Less
Submitted 8 February, 2023;
originally announced February 2023.
-
Recursion formulas for integrated products of Jacobi polynomials
Authors:
Sven Beuchler,
Tim Haubold,
Veronika Pillwein
Abstract:
From the literature it is known that orthogonal polynomials as the Jacobi polynomials can be expressed by hypergeometric series. In this paper, the authors derive several contiguous relations for terminating multivariate hypergeometric series. With these contiguous relations one can prove several recursion formulas of those series. This theoretical result allows to compute integrals over products…
▽ More
From the literature it is known that orthogonal polynomials as the Jacobi polynomials can be expressed by hypergeometric series. In this paper, the authors derive several contiguous relations for terminating multivariate hypergeometric series. With these contiguous relations one can prove several recursion formulas of those series. This theoretical result allows to compute integrals over products of Jacobi polynomials in a very efficient recursive way. Moreover, the authors present an application to numerical analysis where it can be used in algorithms which compute the approximate solution of boundary value problem of partial differential equations by means of the finite elements method (FEM). With the aid of the contiguous relations, the approximate solution can be computed much faster than using numerical integration. A numerical example illustrates this effect.
△ Less
Submitted 19 May, 2021;
originally announced May 2021.
-
Dominance in the family of Sugeno-Weber t-norms
Authors:
Manuel Kauers,
Veronika Pillwein,
Susanne Saminger-Platz
Abstract:
The dominance relationship between two members of the family of Sugeno Weber t-norms is proven by using a quantifer elimination algorithm. Further it is shown that dominance is a transitive, and therefore also an order relation, on this family of t-norms.
The dominance relationship between two members of the family of Sugeno Weber t-norms is proven by using a quantifer elimination algorithm. Further it is shown that dominance is a transitive, and therefore also an order relation, on this family of t-norms.
△ Less
Submitted 30 July, 2010;
originally announced July 2010.
