The tag has no wiki summary.

learn more… | top users | synonyms

13
votes
2answers
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
2answers
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
3answers
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
1answer
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
1answer
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
3answers
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
1answer
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
1answer
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
3answers
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
2answers
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
4answers
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
3answers
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
0answers
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
1answer
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
0answers
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
1answer
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
5answers
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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. ...