The sequences-and-series tag has no wiki summary.

**13**

votes

**2**answers

840 views

### Does this sequence always give an integer?

It is known that the $k$-Somos sequences always give integers for $2\le k\le 7$.
For example, the $6$-Somos sequence is defined as the following :
$$a_{n+6}=\frac{a_{n+5}\cdot a_{n+1}+a_{n+4}\cdot ...

**7**

votes

**2**answers

479 views

### $ - \sum_{n=1}^\infty \frac{(-1)^n}{2^n-1} =? \sum_{n=1}^\infty \frac{1}{2^n+1}$ [closed]

Numerical evidence suggests:
$$ - \sum_{n=1}^\infty \frac{(-1)^n}{2^n-1} =? \sum_{n=1}^\infty \frac{1}{2^n+1} \approx 0.764499780348444 $$
Couldn't find cancellation via rearrangement.
For the ...

**2**

votes

**2**answers

434 views

### Defining $\{a_i\}$ as $(1+x+⋯+x^k)^n =\sum_{i=0}^{kn}a_ix^i$, then is the 'special' difference-sequence $\{d^Na_i\}$ a unimodal sequence?

Question : Letting $k,n$ be positive integers, let's define a sequence $\{a_i\}\ (i=0,1,\cdots, kn)$ as
$$(1+x+\cdots+x^k)^n=\sum_{i=0}^{kn}a_ix^i.$$
Then, is the 'special' difference-sequence ...

**1**

vote

**0**answers

200 views

### Convergence of $\sum_{n=1}^\infty \frac{\psi^{(1)}(1-n/\pi)}{n^3}$

Related to an open problem about another series.
Set
$$A= \sum_{n=1}^\infty \frac{\psi^{(1)}(1-n/\pi)}{n^3}$$
where $\psi^{(n)}(k)$ is the polygamma function.
Does $A$ converge?
The related ...

**1**

vote

**0**answers

78 views

### The $d$-dimension extension of Bernoulli Polynomial

It is known that Bernoulli polynomial has the following Fourier expansion:
\begin{equation*}
B_{2n}(x) = \frac{(-1)^{n-1}2(2n)!}{(2\pi)^{2n}}\sum_{k=1}^{\infty}\frac{\cos(2k\pi x)}{k^{2n}}.
...

**2**

votes

**0**answers

107 views

### A second polylogarithm ladder for the tribonacci and n-nacci constants

In "A seventeenth-order polylogarithm ladder", on page 6 (eq 25), Bailey et al give a dilogarithmic ladder that begins with,
$$0 = ...

**6**

votes

**0**answers

329 views

### Graphs with graphic imbalance sequences

Let $G$ be simple undirected graph and $e=uv\in E(G)$.
The imbalance of the edge $e$ is the value $imb(e)=|d(u)-d(v)|$.
Let $M_{G}$ denotes the imbalance sequence (or more correctly, multiset of ...

**8**

votes

**0**answers

467 views

### Can an infinite sum depending on the logarithms of all positive integers be rational or algebraic?

Consider
$$ C = \sum_{n=1}^\infty \frac{(-1)^{f_1(n)} f_2(n) \log{n} + f_3(n)}{f_4(n)}$$
The sum converges. $f_1$ is either $0$ or $n-1$, $f_2,f_3,f_4$ are
polynomials with integer coefficients and $ ...

**5**

votes

**1**answer

476 views

### Is this known alternating sum for Euler's constant?

This probably is known, but Wolfram Alpha doesn't recognize it
and couldn't find it in Mathworld (there is something close,
but using floor).
We have
$\lim_{s \to 1} (\zeta(s)-1/(s-1)) = \gamma$
...

**2**

votes

**1**answer

222 views

### Lambert series identity

Can someone give me a short proof of the identity,
$$\sum_{n=1}^\infty\frac{q^nx^{n^2}}{1-qx^{n}}+\sum_{n=1}^\infty\frac{q^nx^{n(n+1)}}{1-x^n}=\sum_{n=1}^\infty\frac{q^nx^n}{1-x^n}$$

**-2**

votes

**1**answer

174 views

### non-trivial convergent sequence [duplicate]

I have reached a deadlock to find a example to show that a compact Hausdorff space does not need to have a no non-trivial convergent sequence.(except $\beta\omega$)
can you give me a example of ...

**3**

votes

**1**answer

197 views

### A question on graphic sequences

Let $G$ be a graph and $d_{G}(u)$ denotes degree of a vertex $u$ in $G$. Consider the next multiset $$M_{G}:=\{|d_{G}(u)-d_{G}(v)|:\ uv\in E(G)\}.$$
Conjecture: $M_{G}$ is graphical for every $G$.
...

**38**

votes

**2**answers

1k views

### Numbers that are generic w.r.t. exponentiation

This is a follow-up to my old question Number of distinct values taken by $x\hat{\phantom{\hat{}}}x\hat{\phantom{\hat{}}}\dots\hat{\phantom{\hat{}}}x$ with parentheses inserted in all possible ways.
...

**4**

votes

**1**answer

227 views

### A complex sequence with positive values

Let $\lambda_1,\dots,\lambda_d$ be complex numbers that constitute the spectrum of a nonnegative integer matrix, and $P_1,\dots, P_d$ be complex polynoms, such that the sequence $$u_n=\Sigma_{i=1}^d ...

**7**

votes

**1**answer

954 views

### Beyond Collatz: A $5n+1$ conjecture? [closed]

Let
$$x_{n+1} = \begin{cases} x_n/2 &;\text{if } x_n \equiv 0 \pmod{2}\\ k\,x_n+1 &; \text{if } x_n\equiv 1 \pmod{2} \end{cases}$$
and $k=3$ and $x_n\in\Bbb N$. Collatz conjectured for this ...

**9**

votes

**3**answers

1k views

### Convergent subsequence of $\sin n$

It is well known (not to me -- ed.) that for every real number $\theta \in [0, 1]$ there exists a sequence $(k_i)$ such that $\lim\sin k_i = \theta,$ but there appear to be no explicit such ...

**6**

votes

**1**answer

243 views

### Certain asymptotics involving double infinite sum

Let $1<\alpha<\beta<3/2$. Set
$$
S(n)= \sum_{i,j>0} [i^\alpha+j^\beta]^{-1}[(i+n)^\alpha+(j+n)^\beta]^{-1}.
$$
One can check that $S(n)$ is finite. My question is when $n\rightarrow ...

**0**

votes

**1**answer

188 views

### upper bound on infinite series by exponentials

I'm interested in upper bounding the following infinite series by exponential functions for x>1 (I would be fine with x>2 as well).
\begin{eqnarray*}
\sum_{n=1}^{\infty}e^{-\frac{x^2n^2}{2}}\\
...

**14**

votes

**3**answers

419 views

### sequences of real numbers

Let $\lbrace x_i\rbrace_{i=1}^\infty$ be a sequence of distinct numbers in $(0,1)$. For any $n$ after deleting $x_1,...,x_n$ from $[0,1]$ we get $n+1$ subintervals. Let $a_n$ be the maximum length of ...

**18**

votes

**1**answer

425 views

### Busy Beaver modulo 2

There is well-known Rado's "Busy Beaver" sequence — the maximal number of marks which a halting Turing machine with n states, 2 symbols (blank, mark) can produce onto an initially blank two-way ...

**1**

vote

**1**answer

270 views

### Questions about expansion of $f(x)=\sum_{i=1}^{\infty} a_i x^i$

In complex field, assume $f(x)=\sum_{i=1}^{\infty} a_i x^i$ where $a_i \in {\bf N}$ or $a_i = 0$, and $f(x)$ converges in an area.
Question 1: are there $$f(x)=p(x)+\sum_{i=1}^{\infty}r_i(x), $$
or ...

**10**

votes

**3**answers

570 views

### Calculus Teaching: Is it possible or desirable to give a severely abbreviated treatment of series convergence tests?

I will be teaching Calculus 2 this fall at a large U.S. state university. Our incoming students tend to have a limited or inconsistent background, which limits the amount of material we can cover.
...

**12**

votes

**2**answers

728 views

### An Euler-proof that cannot be repaired?

Ed Sandifer writes on Euler's wonderful work on prime numbers: The sum of the series of reciprocals of prime numbers $\frac{1}{2}+\frac{1}{3}+\frac{1}{5}+...$ is infinitely large, and is infinitely ...

**5**

votes

**1**answer

103 views

### Terminology for sequences/functions that approach each other

What do I call two sequences $a, b$ such that $\lim_{n\to\infty} |a_n - b_n| = 0$? Or what do I call two functions $f, g$ such that $\lim_{x\to c} |f(x) - g(x)| = 0$? (For my purposes, these are ...

**4**

votes

**2**answers

314 views

### How to estimate of $\prod_{k=a}^N \frac{1}{e^{k\kappa}-1}$ for large $N$?

I have to estimate the expression $\prod_{k=a}^N \frac{1}{e^{k\kappa}-1}$ for $\kappa$ very small $\kappa \sim 10^{-19}$ and $N$ very large $N\sim 10^{26}$ and $a$ arbitrary $a=1, \ldots, N$. I do not ...

**5**

votes

**1**answer

368 views

### A Sequence of Real numbers

Consider the sequence $\lbrace \frac{\phi(i)}{i}\rbrace_{i=1}^\infty$ where $\phi$ is the Euler's function. The Sequence is clearly dense in $[0,1]$. What can be said about the limsup of its average ...

**3**

votes

**0**answers

238 views

### The functional equation of Hofstadter's Q sequence

Hofstadter's Q sequence is defined by $Q(1) = Q(2) = 1$ and
$Q(n) = Q(n-Q(n-1)) + Q(n-Q(n-2))$ for $n \geq 3$. So far hardly anything
on this sequence has been proved -- not even that $Q(n)$ is ...

**4**

votes

**1**answer

88 views

### Series of terms following polynomial recurrence relation

Hello!
I'm stuck trying to prove a statement that seems very reasonable based on computer experiments.
For an integer $N$ and any $\epsilon \in (0,1)$, I define a sequence $u_0 = N$ and for all ...

**12**

votes

**0**answers

521 views

### How to explain the picturesque patterns in François Brunault's matrix?

How to explain the patterns in the matrix defined in François Brunault's
answer to the question Freeness of a Z[x] module depicted below? --
Choosing colors according to the highest power of 2 which ...

**1**

vote

**2**answers

340 views

### How this expression leads to the given sequence

Here given is a sequence from OEIS.
The sequence is triangle of coefficients from fractional iteration of $e^x - 1$. Few terms are:
1, 1, 3, 1, 13, 18, 1, 50, 205, 180, 1, 201, 1865, 4245, 2700, 1, ...

**1**

vote

**0**answers

195 views

### Zeta sum $\sum_{n=2}^\infty \frac{\zeta(n)}{a^n}$

Probably this is known, but mathworld and wolfram alpha don't
recognize this potential identities.
Numerical evidence suggests:
$$ \sum_{n=2}^\infty \frac{\zeta(n)}{a^n} =? \sum_{n=1}^\infty ...

**20**

votes

**4**answers

1k views

### Freeness of a Z[x]-module

Definition: Call a mapping $f: \mathbb{Z} \rightarrow \mathbb{Z}$
a generalized polynomial if for any distinct integers $m$ and $n$
we have $(m - n)|(f(m)-f(n))$.
It is easy to check that polynomial ...

**6**

votes

**3**answers

815 views

### On the continuity of $\sum_{n=1}^{\infty} sin(nx) / n^\alpha$

I know that the series $\sum_{n=1}^\infty \sin(nx) / n^\alpha$, with $0 < \alpha < 1$, converges for $x \in [0,2\pi]$.
I'm trying to understand if the function $f(x) = \sum_{n=1}^\infty ...

**0**

votes

**0**answers

232 views

### Infinite Sum $\sum_{n=1}^\infty 2x\arctan(x/n)-n\log(1+x^2/n^2)$

I ran into the infinite sum $\sum_{n=1}^\infty 2x\arctan(x/n)-n\log(1+x^2/n^2)$, where $x$ is a positive real number. Mathematica can't do the sum, but shows that it's very well approximated by ...

**23**

votes

**1**answer

708 views

### Are sums of sequences decidable?

Suppose that $f,g$ are rational functions with integer coefficients such that $\sum_{n=0}^{\infty}f(n)$ and $\sum_{n=0}^{\infty}g(n)$ both converge. Is it decidable whether
...

**3**

votes

**0**answers

138 views

### Shift-invariant submultiplicative seminorms of $\ell^{\infty}$

Question: Is there a shift-invariant submultiplicative seminorm $||\cdot||$ of $\ell^\infty$ which satisfies the following property?
If $f:\mathbb{N}\rightarrow\mathbb{N}$ is an increasing function ...

**11**

votes

**1**answer

198 views

### An elementary expression for $_3F_2(1,1,9/4;2,2;-1)$

Consider the following series:
$$S=\sum_{n=1}^\infty\frac{(-1)^n\ \Gamma\left(\frac{5}{4}+n\right)}{n^2\ \Gamma(n)}.$$
It can be expressed in terms of a hypergeometric function:
...

**15**

votes

**5**answers

1k views

### Proving that every term of the sequence is an integer

Let $m,n$ be nonnegative integers.
The sequence $\{a_{m,n}\}$ satisfies the following three conditions.
For any $m$, $a_{m,0}=a_{m,1}=1$
For any $n$, $a_{0,n}=1$
For any $m\ge0, n\ge1$, ...

**-1**

votes

**1**answer

211 views

### Upper bound of a series

Given $N$ and $a$ positive integers, with $a\ge 2$ is it possible to prove the inequality:
$$\sum_{k=1}^N\frac{k^a}{(k+1)^a+(k+2)^a}\le\frac{N}{2}$$

**0**

votes

**0**answers

118 views

### Series expansion with remaining $log n$

Hi,
I'm studying the asymptotic behavior $(n \rightarrow \infty)$ of the following formula, where $k$ is a given constant.
$$ \frac{1}{n^{k(k+1)/(2n)}(2kn−k(1+k) \ln n)^2}$$
I'm trying to do a ...

**12**

votes

**2**answers

292 views

### A sequence based on Catalan–Mihăilescu problem

It was conjectured by Catalan in 1844 that the only solutions of the equation $x^a-y^b=1$ over variables $a,b,x,y\in\mathbb{N^+}$ are trivial ones: $3^1-2^1=1$ and $3^2-2^3=1$. The conjecture was ...

**0**

votes

**1**answer

92 views

### positive expression

Let
$$a_{n,k}=\sum_{s_i \geq 1 \atop \sum_{i=1}^{n-k} s_i \leq n} \frac{2^{n}}{(2(n-\sum_{i=1}^{n-k} s_i)+1)!\prod_{i=1}^{n-k} (2s_i)! }$$
for $0 \leq k \leq n-1$. Prove for $1 \leq k \leq n-1$ that
...

**3**

votes

**1**answer

376 views

### What is the (fractional) half-derivative of zeta at $s=0$ (and how to compute it)?

(I asked this in MSE before but there was only a general reference which did not help for my specific question)
I think I understood the concept of fractional derivatives applied to ...

**2**

votes

**1**answer

490 views

### To express $e^{\sum \limits_{k=0}^\infty q^{2^k}}$ as product terms of $(1-q^k)^{c(k)}$

$|q|\lt1$
$A(q)=\sum \limits_{k=0}^\infty q^{2^k}$
Easily We can see that
$$A(q)=q+A(q^2)\tag 1$$
Let's assume we redefine $A(q)$ as below
$A(q)=-\sum \limits_{k=1}^\infty c_k \ln{(1-q^k)}$
I ...

**5**

votes

**0**answers

342 views

### Number of Configurations in the optimal Hanoi tower

There is a unique strategy how to move $n$ disks from the first rod to the second optimally and it takes $2^n-1$ steps, solution is obtained by simple recursion. I am interested into the following ...

**1**

vote

**0**answers

110 views

### Bounding a recursively defined sequence

I have a sequence $\lambda_0,\lambda_1,\ldots,$ which is defined recursively as
$$ \lambda_0 = \frac{1}{2},$$
and
$$\lambda_{k+1} = \max_{\lambda\in [1,b]} \left(\frac{1}{2\lambda}\prod_{0\leq ...

**3**

votes

**0**answers

260 views

### Convolution inverse of recursively defined sequence is alternating

Consider the double sequence $A(n,k)$ which is recursively defined by
$$A(n,n)=1 \text{ for } n=0,1,2,\dots \text{ and }$$
$$A(n,k)=2\sum_{l=1}^{k+1} \binom{2n+1}{2l} A(n-l,k+1-l) \text{ for }0\leq k ...

**0**

votes

**0**answers

69 views

### Equally subspacing the support of a monotone function, maintaining its mean

SETUP:
Assume $f(\cdot)$ is continuous and strictly monotone decreasing on $[0,\infty]$, with $f(0)>0$ and $f(\infty)<0$.
Let $x_m$ be the solution of $\frac{1}{m}\sum_{i=1}^{m}f(ix)=0$, where ...

**4**

votes

**1**answer

273 views

### Optimality of p-Lebesgue Differentiation Theorem for Sobolev Functions

This is the third question in a series whose purpose has been to flesh out an example of the optimality of the p-Lebesgue differentiation theorem for Sobolev functions. This theorem says that for $f ...

**0**

votes

**2**answers

184 views

### sequence, such that sum of any combinations in the sequence does not equal another [closed]

Hi,
Is there any known sequence such that the sum of a combination of one subsequence never equals another subsequence sum. The subsequences should have elements only from the parent sequence.
...