The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
2answers
56 views

Sum of subsequence, over index set of non-zero density, of monotone divergent sum also divergent?

For a subset $S$ of the natural numbers $N$ and $n\in N$ let $|S\cap n|$ be the number of members of $S$ that are less than $n$. Suppose $S$ does not have upper asymptotic density $0$. That is, ...
3
votes
1answer
185 views

Convergence of a triple sum involving the imaginary part of the Riemann zeta function's non trivial zeros

Let $N>0$ an integer, $k>0$ a real parameter and let $\rho = \beta +i \gamma$ a non trivial zero of the Riemann zeta function. For a work I need to find the best possible $k$ such that ...
4
votes
1answer
612 views

When does this interesting sum diverge?

For $x \gt 0,$ what is the greatest $y$ such that $$\sum_ {1\le h^x \le k^y} \frac{1}{h^x k^y}= \infty ?$$ I don't know of any references or methods for this -- not even for $x=1$, for which the ...
0
votes
1answer
73 views

Estimate $\left|\sum_{n,m}a_n \bar b_m\right|\leq C \left(\sum_n|a_n|^2\right)^{1/2} \left(\sum_n|b_n|^2\right)^{1/2}$ [closed]

It is well-known the Hilbert's inequality for double sum: $$\left|\sum_{n\neq m}\frac{a_n \bar{a}_m}{n-m}\right|\leq\pi \sum_n |a_n|^2$$ Give $a_n, b_n$ two sequences of complex numbers. I am ...
0
votes
0answers
21 views

bounds on $\sum_{j=1}^m\frac{\pi^j}{\Gamma(j)(x^2+(j+1/4)^2)}$

During our search of real rooted entire function approximations to Riemann $\Xi$ function, we need to calculate the upper and lower bounds of $$f_m(x):=\sum_{j=1}^m ...
2
votes
0answers
73 views

Generalized Equal Distribution Kolakoski Sequence Conjecture

If we let $\operatorname{Kol}(a_1,\dots,a_n)$ be the run sequence determined by the rules of Kolakoski Frequencies, we ask is there a sequence of $\operatorname{Kol}$ that DOES NOT obey the $1/n$ ...
3
votes
1answer
207 views

How do I evaluate this sum for $s$ is a complex variable :$\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n^{2s}n!}$?

This question related to this question in SE ,I would like to know how do I evaluate this sum for $s$ is a complex variable :$$\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n^{2s}n!}$$ . Edit01:And I think ...
0
votes
0answers
120 views

Difficulty understanding equivalent statement of Erdős Discrepancy Problem

Recently I watched a famous youtube video of talk given by Terry Tao on Erdős Discrepancy Problem https://www.youtube.com/watch?v=QauoO0j9Y9Y. I never heard of this problem before his announcement of ...
2
votes
0answers
56 views

Proving convergence is impossible for a sum of hyperbolic cosines

Suppose that $z$ is some complex value. Is it possible to prove that $$\lim_{n \rightarrow \infty} \sum_{j = 1}^n {\sqrt{n \over j}} \cdot \cosh(z \log {n \over j}-\operatorname{ Arccoth} (2z)) $$ ...
6
votes
1answer
168 views

Simplifying Root of Unity Double Summation

Good afternoon. I have a particular summation, $$\zeta_{n,k}(N)=\frac{k!}{N^{n+1-k}}\sum_{j=0}^n\sum_{i=0}^{N-1}\binom{n}{j}w_N^{(j-k)i}$$ Here, the $w_N$ is the root of unity ...
4
votes
3answers
523 views

Exact formula for $\sum_{n=0}^{+\infty}\frac1{n^2+1}$

Actually, as the corresponding integral $\frac{\ln(\cos x)}{1-x}$ or something like that) cannot be expressed in closed form by Liouville theorem, this shouldn't exist, but I believe I have seen it ...
0
votes
1answer
107 views

An increasing sequence of real numbers [closed]

This was first posted to SE, but now I think its better to be posted here. For what positive real numbers $\alpha$, the sequence $a_n = \frac{\lfloor n\alpha\rfloor}n $ is (not necessary strictly) ...
27
votes
3answers
794 views

A point set of power series with coefficients in {-1, 1}. Connected or not?

Let $z$ be a fixed complex number with $|z|<1$ and consider the set $$X_z := \Big\{\sum\limits_{i=1}^{\infty} a_i z^i \ \Big|\ a_i\in \{-1,1\} \forall i\Big\}.$$ What can be said about the set $M$ ...
1
vote
0answers
81 views

Is there a “complete” Sidon sequence?

A sequence of natural numbers $(a_n)$ with the property that all pairwise sums of elements are distinct is called a Sidon sequence and it is proved there are at most $s(n)\sim\sqrt n$ elements of ...
1
vote
0answers
67 views

Recurrence sequence

Is it possible to find a Recurrence sequence that Satisfying the following inequality $ d_{n+k}\geq \alpha ^k d_n +‎\beta‎‎^k ‎\delta‎(A,B),$‎‎ ‎‎where $0<‎\alpha‎<1, \alpha ^k+‎\beta‎‎^k\geq ...
4
votes
2answers
313 views

Why does iterated indexing avoid cycles of length 5?

Start with a permutation $s_0$ of the numbers $(1,\ldots,n)$, e.g., for $n=10$, $s_0=(8,2,1,6,9,7,10,5,4,3)$. Form $s_1$ by using the numbers in $s_0$ as indices into $s_0$. So $s_1$ is composed of ...
17
votes
1answer
422 views

For a linear recurrence sequence $(u_n)_{n\geq 0}$, can $\{i \mid u_i > 0\}$ be the set of Fibonacci numbers?

Question: Is there a linear recurrence sequence $(u_n)_{n\geq0}$ (on the rationals, but I would also be interested by reals) for which $\text{Pos}(u) = \{i \mid u_i > 0\}$ is precisely the set of ...
1
vote
0answers
45 views

Infinite product of sine function [closed]

Does this the sequence go to zero? $\Pi_{n=1}^{N}\text{sin}(2\pi n\omega)$ as N $\rightarrow \infty$ for any $\omega \in (0,1)?$ I can see this sequence is always decreasing for general $\omega$. ...
3
votes
2answers
150 views

The minimal growth rate of the countable family of sequences

Let us consider a countable set of sequences of positive numbers $\{(x_n^{(1)}),(x_n^{(2)}),\dots\}$ for which we have $(\forall k\in\mathbb{N}) \ \lim_n x_n^{(k)} = +\infty$, and $(\forall ...
3
votes
1answer
90 views

Number and asymptotic for cyclic sequences

Cyclic sequence is equivalence class of cyclic shift action. If $a = (a_1, ... , a_i)_c$ is cyclic sequence then $(a_1, a_2, \ldots a_{i-1}, a_i)_c = (a_2, a_3, \ldots, a_i, a_1)_c = \ldots = (a_i, ...
4
votes
1answer
201 views

Summation of an infinite q-series

When calculating a Partition function, I encounter the following summation $$\sum_{n=0}^{\infty} x^n q^{n^2}.$$ I know that the sum $\sum_{n=-\infty}^{\infty} x^n q^{n^2}$ is a Theta function, but I ...
1
vote
0answers
25 views

Importance sampling for bernoulli-sequence, favouring long sequences of ones

Assume we have a sequence of i.i.d. bernoulli-distributed random variables of length $n$. I'm interested in doing rare event simulation and my event depends, among other random factors, on the ...
12
votes
2answers
833 views

On Hamkins' answer to a problem by Michael Hardy

Based on a post by Michael Hardy and Hamkins' answer to it Andreas Blass, Will Brian, Joel Hamkins, Michael Hardy and Paul Larson introduced a new cardinal characteristic of the continuum ...
1
vote
2answers
217 views

When is there a closed form for $\sum_{n=1}^{\infty} \frac{P(n)}{Q(n)}$?

This is a follow up on a previous question of mine. Out of curiosity, I am wondering more generally when a closed form exists for $$\sum_{n=1}^{\infty} \frac{P(n)}{Q(n)}$$ where $P$ and $Q$ are ...
9
votes
2answers
388 views

Closed form for $\sum_{n=1}^{\infty} \frac{1}{1+n+n^2+\cdots+n^a}$

I am looking at a certain sequence, and consequently I am wondering if anyone knows if there happens to exist a closed form solution for this sum: $$\sum_{n=1}^{\infty} \frac{1}{1+n+n^2+\cdots+n^a}$$ ...
12
votes
1answer
280 views

Generating function of the Thue-Morse sequence

Let $T$ be the generating function of the Thue-Morse sequence; thus, $T(x)=x+x^2+x^4+x^7+\dotsb$. It is known that $T$ satisfies the nice congruence $$ (1+x)^3 T^2(x) + (1+x)^2 T(x) + x \equiv 0 ...
8
votes
1answer
361 views

Do the complex zeros of the sum/difference of these series all reside on the line $\Re(s)=\frac12$?

The following series seems convergent for all $s\in \mathbb{C}$: $$\displaystyle f(s):=\sum_{n=1}^\infty \frac{(-1)^n}{(n+s)^{n+s}}$$ The function itself does not appear to have any real or complex ...
2
votes
1answer
90 views

Asymptotic upper bound for recursive function $f(x) = f(x-1) + 2f\left(\lceil\frac{x}{2}\rceil \right)+2$

I'm looking for an asymptotic upper bound for the function f(x), which is recursively defined as follows: $$f(x) = f(x-1) + 2f\left(\lceil\frac{x}{2}\rceil \right)+2$$ with $f(1)=1$. I am pretty ...
1
vote
1answer
149 views

A term for sequences whose mean is defined?

This may be an extremely stupid and elementary question, but is there a name for sequences $\{a_i\}$ such that $\lim_{n\to\infty} \left( \frac{1}{n}\sum_{i=1}^{n} a_i\right)$ exists? This seems to be ...
0
votes
1answer
134 views

How to solve a complex recursive relation

Before I get started, let me say for complete disclosure this question came up while I was solving a problem from https://projecteuler.net/. I've been trying to find a non-recursive representation of ...
2
votes
2answers
266 views

Asymptotics of the least common multiple of the first natural numbers

What is $$ \limsup_{n \to \infty} \frac{\log(\mathrm{lcm}(1,2, \dots, n))}{n} \ \ ?$$
8
votes
0answers
525 views

Is this 2x2 determinant sequence positive and increasing?

Let $X_1,X_2,X_3$ be a three discrete (integer and non-negative valued) random variables with local probabilities $a_k:=\mathbb{P}(X_1=k)$, $b_k:=\mathbb{P}(X_2=k)$, $c_k:=\mathbb{P}(X_3=k)$ and ...
7
votes
3answers
260 views

Upper bound on length of addition chain

An addition chain for $n$ is a finite sequence of integers starting at 1 and ending at $n$, such that each element is a sum of two previous elements. A short addition chain for $n$ can be used, for ...
8
votes
1answer
311 views

The sum of a series

Let $0< \alpha <1$ and $q>1.$ Consider the (alternating) series: $$ \sum_{k=1}^\infty (-1)^k \frac{q^k (q^k-1)^\alpha}{(q^k-1)\dots (q-1)}.$$ Denote its sum by $f(q,\alpha).$ Prove (or ...
5
votes
0answers
123 views

Has unconditional convergence ever been proved other than by deducing it from absolute convergence?

Nobody's answering this question so I'll try it here. This is really a reference request: Has a certain kind of proof ever been used? A series $\displaystyle\sum_n a_n$ converges absolutely if ...
7
votes
1answer
242 views

Sums of reciprocals involving divisor sums

This question was asked at MSE but never received an answer. Let $A\subset\mathbb{N}$ be a subset of the natural numbers, and let $\sigma(n)$ denote the sum of divisors of $n$. Recall that we have ...
0
votes
1answer
113 views

For a given $n$, under what condition(s) there exists (at least) two different $c$ and $c′$ such that $X_n^c=X_n^{c'}$

Let $X_n^c=\{\cos\left((4k-c)\frac{\pi}{2n}+\frac{\pi}{4}\right): k=0, 1, \dots, n-1\}$ where $c\in\{0, 1, \ldots, \lfloor\frac{n}{2}\rfloor\}$ and $n$ is any positive integer greater than 3. I want ...
1
vote
1answer
101 views

Number of binary sequences in which the number of $(1, 1)$ and $(0, 0)$ is prespecified

Consider a binary sequence $\mathbf{a}_n$ consisting of 1s and 0s. Let us denote by $f(\mathbf{a}_n)$ the number of $(1, 1)$ and $(0, 0)$ in $\mathbf{a}_n$; I am not sure whether there is a formal ...
0
votes
0answers
74 views

Generating a series representation for the inverse of the operator $f(f)$

I was considering the following problem: Suppose you are given a function $u: C \rightarrow C$, find a function $g$ such that $g(g) = u$ (Let's assume that such a function exists). And by "find", I ...
0
votes
0answers
138 views

The maximum lengthed sequence of prime numbers with certain conditions (denizens)

Definition - Denizen A sequence $\lbrace a_k \rbrace$ is a denizen if all of it's members are prime numbers, i.e $a_0, a_1, ... a_n \in \mathbb{P} $; and it satisfies the following condition; ...
25
votes
5answers
964 views

How many rearrangements must fail to alter the value of a sum before you conclude that none do?

This will not be altogether unrelated to this earlier question. For which classes $C$ of bijections from $\{1,2,3,\ldots\}$ to itself is it the case that for all sequences $\{a_i\}_{i=1}^\infty$ of ...
3
votes
1answer
131 views

Closed Form Expression for Nested Series Summation?

Just wandering if there are any criteria that can decide whether a finite series summation has closed form or not. for example, In the following nested summation, $n$ is some even integer that will be ...
6
votes
1answer
279 views

Conway's subprime Fibonacci sequences

I want to be certain I have the latest information on Conway's subprime Fibonacci sequences, arXiv-posted a year ago; I am referencing the status in a review. To wit, starting with $(0,1)$:1 $$ 0, 1, ...
18
votes
1answer
461 views

Rearrangements that never change the value of a sum

I posted this question on math.stackexchange.com and so far the only answer posted (also mentioned in the comments under the question) shows that one of my rash initial guesses about the bottom-line ...
15
votes
5answers
526 views

Asymptotics of a recurrence relation

The sequence $(a_n)_{n \ge 0}$ satisfies, $a_0 = a_1 = 1$ and the recursion relation: $$a_n = \sum\limits_{k=0}^{[n/2]} \frac{a_k}{(n-2k)!}$$ where, $[x]$ is the nearest integer to $x$ not exceeding ...
3
votes
1answer
94 views

Any formula for the partial sum of a remainder series?

Let $N \ge 1$ be an integer, and there is a series $ \{ N \mod 1, N \mod 2, ... , N \mod i, ... \}$. Obviously when $i \gt N+1$, the series will become $\{N, N, N, ..., \}$. So only take $i \le N$ ...
-2
votes
1answer
113 views

Recursion, Common Term, Combinatorics [closed]

May we find the common term for recursive sequence? if yes that how to find the common term of recursive sequence such: 1 2 1 3 1 2 1 4 1 2 1 3 1 2 1 5 1 2 1 3 1 2 1 4 1 2 1 3 1 2 1 6 ... in a ...
6
votes
1answer
113 views

Asymptotics of a Bivariate Generating Function

I have the following generating function, $$G(x,y)=\sum_{n,k \geq 0}a(n,k)x^ny^k = \frac{(y^2-y)x+1}{(y-y^3)x^2-(y+1)x+1}$$ and I am interested in obtaining an asymptotic for the sequence $a(n,k)$ ...
2
votes
1answer
478 views

What is the rate of convergence? [closed]

How quickly does the series defined by $$x_0 = 0, \ x_{n+1} = \frac{x_n^2+1}{2}$$ converge to $1$?
4
votes
0answers
350 views

Elementary treatment of elementary functions in constructive math

I would appreciate a reference to constructive math literature with elementary proofs that elementary functions are locally non-constant (i. e. densely apart from any real in any interval with ...