The sequences-and-series tag has no usage guidance.

**3**

votes

**0**answers

130 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

389 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 ...

**9**

votes

**0**answers

479 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

522 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

325 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

241 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

222 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$.
...

**37**

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

231 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

1k 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

274 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

291 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

445 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 ...

**22**

votes

**1**answer

589 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

273 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

605 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

745 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

107 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

327 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

385 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 ...

**2**

votes

**0**answers

342 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

91 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

557 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

393 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

259 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 ...

**5**

votes

**2**answers

1k 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

290 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 ...

**25**

votes

**1**answer

767 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

150 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

248 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$, ...

**-2**

votes

**1**answer

377 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

132 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

307 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

93 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

474 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

670 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

379 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

134 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

269 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 ...

**5**

votes

**1**answer

295 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

199 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.
...

**0**

votes

**1**answer

311 views

### Giving a general term of a recursive function, and upper bound for it

Let a constant $B \ge 1$, and let $l_1 = 0$, $b_1 = 0$ be the values of $l$ and $b$ (respectively) at time $t = 1$.
Let $l_{t+1} = l_t + 1$ if $b_i < B$, and $l_{t+1} = l_t$ otherwise
Let ...

**6**

votes

**1**answer

381 views

### Efficient (divergent) summation for sum of zetas at negative arguments?

In a question in MSE (see bottom of my own answer) I'm considering the following series, depending on a parameter m:
$$ L(m) = -\zeta(1m)/1 - \zeta(2m)/2 - \zeta(3m)/3 - \ldots $$
where I want to make ...

**1**

vote

**1**answer

165 views

### Double series solution of wave equation

Let $u(x,y,t)$ be the solution of wave equation $u_{tt}=u_{xx}+u_{yy}, 0\lt x\lt 1, 0\lt y\lt 1, t\ge 0,$ $u(x,y,0)=(x-x^2)(y-y^2), u_t(x,y,0)=0$ and $ u(x,y,t)=0$ on the boundary of the square. Then
...

**4**

votes

**1**answer

610 views

### Extension of the Jacobi triple product identity

The Jacobi triple product and the mathematical identity of it is:
$$\prod\limits_{n=1}^{ \infty }(1-q^{2n})(1+zq^{2n-1})(1+z^{-1}q^{2n-1})=\sum\limits_{n = - \infty }^ \infty z^n q^{n^2} $$
I would ...

**2**

votes

**1**answer

176 views

### A series question related to solution of Laplace equation

Let $u(x,y)$ be the solution of the Laplace equation $\Delta u=0$ on the unit square $(0,1)\times (0,1)$ with boundary condition:
$$ u(x,1)=1, u(x,0)=0, u(0,y)=0, u(1,y)=0$$
The series solution is ...