1
vote
2answers
255 views

How to prove $\mathop {\lim }\limits_{x \to \infty } \sum\limits_{{f_x}(p) = 1} {\frac{1}{p}} = \ln 2$ for $p \le x$?

Let ${f_x}(m) = \sum\limits_{\left. p \right|m} {{f_x}(p)}$ be a strongly additive function on positive integer number $m$, where $p$ is a prime number. Set $${f_x}(p) = \left\{ ...
0
votes
0answers
106 views

Base-signed harmonic series

This question is directly related to this question by Douglas Zare. The harmonic sequence $$s = 1 - \frac{1}{2} - \frac{1}{3} + \frac{1}{4} - \frac{1}{5} + \frac{1}{6}+\frac{1}{7}-\frac{1}{8} - ... ...
15
votes
1answer
497 views

Ramanujan's pi formulas with a twist

Given the binomial function $\binom{n}{k}$, define the following sequences, $$\begin{aligned} u_1(k) &= \tbinom{2k}{k}\tbinom{3k}{k}\tbinom{6k}{3k} = 1, 120, 83160, 81681600,\dots \\ u_2(k) ...
2
votes
3answers
292 views

Does this 'alternating' Euler product converge for all $\Re(s) > 0$?

Does the following 'alternating' Euler product, with $p_n$ the $n$-th prime number, converge for $\Re(s)>0$ ? $$\displaystyle \prod_{n=1}^\infty \left( \dfrac{1}{1-\frac{1}{p_{n}^{s}}} ...
5
votes
0answers
143 views

Irrationality of the sum of the reciprocal of perfect powers

A couple of days ago I was trying to remember a classical exercise (which I now find out goes by the name of Goldbach-Euler theorem). Eventually I figured out that it asked to prove that ...
1
vote
0answers
267 views

Do these infinite series expressing $\zeta(s)$ only (partially) converge at $\Re(s)=\frac12$?

The following analytic continuation for $\zeta(s)$ towards $\Re(s)>-1$ was derived here: $$\displaystyle \zeta(s) = \frac{1}{2\,(s-1)} \left(\sum _{n=1}^{\infty } {\frac {s-1-2\,n}{{n}^{s}}} + ...
0
votes
0answers
94 views

Multivariate generating function

I am investigating the perturbation of the Jordan canonical form. In my work I must calculate the number of ways to factor $p^ {n-k} q^k$ where $p$ and $q$ are distinct primes ...
10
votes
1answer
499 views

Order of magnitude of $\sum \frac{1}{\log{p}}$

Question: What is the order of magnitude of the following sum? $$ \sum_{p<n}_{p\ \ prime} \frac{1}{\log{p}} $$ Additional information: Since $$ \sum_{p<n}_{p\ \ prime} \frac{1}{\log{n}} ...
7
votes
1answer
380 views

Is the mapping $f: \mathbb{R} \rightarrow [0,1], \ x \mapsto \sum_{n=1}^\infty \frac{\lfloor x^n \rfloor \mod 2}{2^n}$ surjective?

Is the mapping $$ f: \mathbb{R} \rightarrow [0,1], \ x \mapsto \sum_{n=1}^\infty \frac{\lfloor x^n \rfloor \mod 2}{2^n} $$ surjective? If not, what is its image? If yes, what can be said about ...
1
vote
0answers
85 views

Structural differences between closed forms of two related infinite products?

In this question, I went quite a bit over the top, so I now tried to rephrase it in a much simpler way. Take $a \in \mathbb{R}, s \in \mathbb{C}$ and: $$\displaystyle C(s,a) := \prod_{n=1}^\infty ...
3
votes
0answers
488 views

$\sum_{n=1}^{\infty}\frac{1}{a_n}=\infty$ $\sum_{n=1}^{\infty}\frac{1}{b_n}=\infty$ but $\sum_{n=1}^{\infty}\frac{1}{a_n+b_n}=c, c\in R$ [closed]

The following question is inspired from: Defining the slowest divergent series. Let $a_n$ and $b_n$ be two strictly increasing sequences of natural numbers,with ...
14
votes
2answers
798 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 ...
6
votes
2answers
450 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
413 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
177 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 ...
8
votes
0answers
453 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 $ ...
2
votes
1answer
374 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$ ...
37
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. ...
5
votes
1answer
791 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 ...
4
votes
2answers
304 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
359 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 ...
12
votes
0answers
499 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
0answers
170 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 ...
18
votes
3answers
936 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 ...
23
votes
1answer
659 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 ...
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$, ...
12
votes
2answers
281 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 ...
3
votes
0answers
199 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 ...
6
votes
1answer
343 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
0answers
160 views

Calculating $n$ for $\sigma(\sigma(n)-n) = n$ [redefined]

As in A072868 described by OEIS; Defined by $\sigma(\sigma(n)-n) = n$. Since these numbers are important in regard to many things, specially mersenne primes, since ${n-1 \over 2}\times ...
1
vote
0answers
128 views

Limit of Sequence of unusual Prime Product

Let $p_n$ be the nth prime and $p_L$ be closest to its square root: \begin{equation} p_L^2 \approx p_n \approx x \end{equation} Let $\sigma \in Z^+$ be a positive integer constant. Define the ...
3
votes
2answers
572 views

series expansion of the q-Pochhammer symbol

The following identity arose while I was working on a recent MO question: $-\sum_{n=1}^{\infty}\frac{1}{n}\frac{(-x)^n}{1-x^n}=\sum_{n=1}^{\infty}\frac{1}{n}\frac{x^n}{1-x^{2n}}.$ I have no doubt ...
1
vote
0answers
232 views

An infinite set of identities using Stirling numbers 1st kind - are they all zero?

I have the following set of series involving the Stirling numbers 1'st kind and binomials, which can be understood as a set of dot-products of row- and column-vectors of two infinite matrices (where R ...
4
votes
0answers
210 views

$\sum_{p,q \text{ primes } p \le q} 1/(pq\log(pq))$

The sum $$ \sum\limits_{p,q \text{ primes } p \le q} \frac{1}{pq\log(pq)}$$ is related to a conjecture of Erdős about primitive sequences. It converges because the sequence is primitive. If my ...
7
votes
3answers
519 views

The digit sum: $s(na)=s(nb)$

Not that I was serious about the following question, but I think it is a must-to-ask as a follow-up to this MO post. For integer $n\ge0$, let $s(n)$ denote the sum of the digits in the decimal ...
7
votes
2answers
490 views

The sequence $a_{n+1}=$ the greatest prime factor of $(xa_n+y)$

Let $\operatorname{ GPF}(n)$ be the greatest prime factor of $n$, eg. $\operatorname{ GPF}(17)=17$, $\operatorname{ GPF}(18)=3$. Is there a way to prove that the sequence $a_{n+1}=\operatorname{ ...
3
votes
0answers
212 views

Alternating sums of powers of the lngamma ($\small f_p(x) = \sum \log(k!)^p x^k $ at $\small x=-1$)

I'm still fiddling with this recent question and come to a detail, whether I can find closed forms for the sums of the $\small lngamma() $ function. Precisely $$ \small f_p(x) = \sum_{k=0}^{\infty} ...
6
votes
2answers
404 views

Alternating sums of GCDs

The exciting question on alternating sums of binomial coefficients triggered me to ask the following much simpler question (sorry if it is too simple, but I'm not a number theorist, so I must be ...
4
votes
0answers
145 views

Are there infinite sequences of rational cubes whose first differences are positive squares?

This is related to How many sequences of rational squares are there, all of whose differences are also rational squares? Are there infinite sequences $a_n$ of rational cubes whose first ...
5
votes
0answers
686 views

Convergent series of primes [closed]

If $f(n)$ is a strictly increasing elementary function from the reals to the reals, and $p(n)$ is the $n$'th prime number. Is there any $f(n)$ such that $\sum_{n=1}^\infty\frac{1}{f(p(n))}$ is ...
2
votes
3answers
1k views

Elementary proof of the equidistribution theorem

I'm looking for references to (as many as possible) elementary proofs of the Weyl's equidistribution theorem, i.e., the statement that the sequence $\alpha, 2\alpha, 3\alpha, \ldots \mod 1$ is ...
4
votes
2answers
587 views

Asymptotics for the number of ways to sum primes such that the sum is <= n

Hello! Given $n$ I would like to find a lower bound (or a tight asymptotics) for the number $s(n)$ of solutions to $$ p_1 + \ldots + p_k \leq n \quad (1) $$ where $k$ is arbitrary and $p_1 \leq ...
2
votes
0answers
425 views

recursive sum of products of bessel functions

I have found a way to sum products of bessel functions in the form $$S_\ell(x,y)=\sum_{n=-\infty}^\infty (-1)^{n+\ell} I_{\ell-2n}(x)I_n(y)$$ recursively, i.e. once $S_0(x,y)$ is found, via the ...
11
votes
5answers
2k views

Upper bounds for the sum of primes <= n

Let $s(n)$ denote the sum of primes less than or equal to n. Clearly, $s(n)$ is bounded from above by the sum of the first $n/2$ odd integers $+1$. $s(n)$ is also bounded by the sum of the first $n$ ...
5
votes
5answers
597 views

Can an integer or rational sequence satisfy some bounded order recurrence $\mod \ $ almost all primes but doesn't satisfy such in $\mathbb{Q}$?

Can an integer or rational sequence satisfy some bounded order recurrence $\mod \ $ almost all primes but doesn't satisfy such in $\mathbb{Q}$? The recurrences $\mod p$ can be different, possibly ...
4
votes
0answers
665 views

Computability of OEIS A034891 …partitions of n into prime parts (1 included)

On the seqfan mailing list RGWv gave short algorithm for computing A000041 number of partitions of n the partition numbers: f[1, 1] = 1; f[n_, k_] := f[n, k] = If[n < 0, 0, If[k > n, 0, If[k == ...
3
votes
0answers
319 views

Finch's sequence over $\mathbb{F}_3$

In http://algo.inria.fr/csolve/seqmod3.pdf -- "Periodicity in sequences mod 3" Steven Finch (also cited in Sloane's OEIS A112683) defines the following sequences in $\mathbb{F}_3$: For each positive ...
4
votes
1answer
445 views

mertens-function in the light of divergent summation - what summation method were best adapted

Just reading about the Mertens-function in the other thread Mertens function I remember an earlier attempt to apply divergent summation to the series which is constructed of the Moebius-function at ...
-1
votes
1answer
670 views

Taming this Conway-type sequence

(I started working on this problem after trying to get any "interesting" pattern out of the number that Gowers randomly wrote while answering:What is realistic mathematics?.) The number was ...
1
vote
2answers
1k views

Self-describing number sequence [closed]

I stumbled upon this number sequence while surfing the web. And I generated the next terms with my pc, and I was amazed to see, only the numbers 1 to 3 come up in megabytes of output. The sequence ...