Related papers: Closed form summation of C-finite sequences

In correspondence with Goldbach, Euler began investigating series of the form $\sum_{k \geq 1} k^{-m}\left(1 + 2^{-n} + \cdots + k^{-n}\right)$, which are known today as Euler sums. For the case where $n=1$ and $m \geq 2$, Euler was able to…

Let $k$ be a field, let $A$ and $B$ be polynomial rings over $k$, and let $S= A \otimes_k B$. Let $I \subseteq A$ and $J \subseteq B$ be monomial ideals. We establish a binomial expansion for rational powers of $I+J \subseteq S$ in terms of…

We give an extension of Sister Celine's method of proving hypergeometric sum identities that allows it to handle a larger variety of input summands. We then apply this to several problems. Some give new results, and some reprove already…

We propose investigating a summation analog of the paradigm for parallel integration. We make some first steps towards an indefinite summation method applicable to summands that rationally depend on the summation index and a P-recursive…

In this article we present a new recurrence formula for a finite sum involving the Fibonacci sequence. Furthermore, we state an algorithm to compute the sum of a power series related to Fibonacci series, without the use of term-by-term…

The following system of equations {x_1 \cdot x_1=x_2, x_2 \cdot x_2=x_3, 2^{2^{x_1}}=x_3, x_4 \cdot x_5=x_2, x_6 \cdot x_7=x_2} has exactly one solution in ({\mathbb N}\{0,1})^7, namely (2,4,16,2,2,2,2). Hypothesis 1 states that if a system…

The article addresses the problem whether indefinite double sums involving a generic sequence can be simplified in terms of indefinite single sums. Depending on the structure of the double sum, the proposed summation machinery may provide…

We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework…

We study the distribution of consecutive sums of two squares in arithmetic progressions. If $\{E_n\}_{n \in \mathbb{N}}$ is the sequence of sums of two squares in increasing order, we show that for any modulus $q$ and any congruence classes…

It is established that for every pair of additive forms $f=\sum_{i=1}^s a_i x_i^k, g=\sum_{i=1}^s b_i x_i^k$ of degree $k$ in $s>2k^2$ variables the equations $f=g=0$ have a non-trivial $p$-adic solution for all odd primes $p$.

For an arbitrary homogeneous linear recurrence sequence of order d with constant coefficients, we derive recurrence relations for all subsequences with indices in arithmetic progression. The coefficients of these recurrences are given…

Given a sequence of orthogonal polynomials $(p_n)_n$ with respect to a positive measure in the real line, we study the real zeros of finite combinations of $K+1$ consecutive orthogonal polynomials of the form $$…

In this paper, we find the sums in closed form of certain type of Lucas-related convergent series. More precisely, we generalize the results already obtained by the author in his arXiv paper entitled: "Summation of certain infinite…

We give explicit examples of pairs of one-ended, open 4-manifolds whose end-sums yield uncountably many manifolds with distinct proper homotopy types. This answers strongly in the affirmative a conjecture of Siebenmann regarding the…

By $(\mathbb{Z}^+)^{\infty}$ we denote the set of all the infinite sequences $\mathcal{S}=\{s_i\}_{i=1}^{\infty}$ of positive integers (note that all the $s_i$ are not necessarily distinct and not necessarily monotonic). Let $f(x)$ be a…

A new general and unified method of summation, which is both regular and consistent, is invented. It is based on the idea concerning a way of integers reordering. The resulting theory includes a number of explicit and closed form summation…

In this study, we present a new closed form for the generalized integral $$\int_0^1 \frac{\mathrm{Li}_2(z) \ln(1+az)}{z}\, \mathrm{d}z,$$ where $a \in \mathbb{C} \setminus(-\infty, -1)$ and $\mathrm{Li}_2(z)$ is the dilogarithm function.…

We derive a formula for the evaluation of weighted generalized Fibonacci sums of the type $S_k^n (w,r) = \sum_{j = 0}^k {w^j j^r G_j{}^n }$. Several explicit evaluations are presented as examples.

In this paper we study the factors of some alternating sums of products of binomial and q-binomial coefficients. We prove that for all positive integers n_1,...,n_m, n_{m+1}=n_1, and 0\leq j\leq m-1, {n_1+n_{m}\brack…

We show that for every coloring of the rationals into finitely many colors, one of the colors contains a set of the form $\{x,y,xy,x+y\}$ for some nonzero $x$ and $y$.