Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
121 views

Solving a system of differential-like equations for reverse Euler-Maclaurin summation

Aim A particular instance of a rational zeries that has as of yet not been evaluated is: \begin{align} Z:= \sum_{n=1}^{\infty} \frac{\zeta(2n)}{(2n)!}. \label{EM1} \tag{EM1} \end{align} This sum ...
Max Lonysa Muller's user avatar
2 votes
0 answers
158 views

What rational zeta series with non-integer arguments appear in mathematics?

Background Rational zeta series are series of the form $$\sum_{n=2}^{\infty} q_{n} \zeta(n + p, m), \label{1} \tag{1} $$ where $\zeta(x,m)$ is the Hurwitz zeta function and $q_{n}, \ p \in \mathbb{Q} \...
Max Lonysa Muller's user avatar
1 vote
1 answer
101 views

Finding $\lim_{n \to \infty} \sum_{k=2}^{n-2} \zeta(k) \zeta(n-k) x^{k-1} = x^{-1} - \psi_{0}(-x) - \gamma$ from the generating function of $\zeta(•)$

In equation (130) of this page, the identity $$\lim_{n \to \infty} \sum_{k=2}^{n-2} \zeta(k) \zeta(n-k) x^{k-1} = x^{-1} - \psi_{0}(-x) - \gamma \label{1} \tag{1} $$ is stated. Here, $\zeta(\cdot)$ is ...
Max Lonysa Muller's user avatar
15 votes
1 answer
738 views

Euler's proof of $\frac{\pi}{6}=1-\frac{1}{2}-\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\frac{1}{6}-\cdots$

Euler proved $$\frac{\pi}{6}=1-\frac{1}{2}-\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+\frac{1}{6}-\cdots$$ where the reasoning of the signs thus is prepared, so that of the second may be had as $-$, prime ...
Nomas2's user avatar
  • 317
3 votes
4 answers
497 views

Asymptotic for Ramanujan's $\tau$-function

The Ramanujan's $\tau$-function is defined by $$q\prod_{n=1}^\infty (1-q^n)^{24}=\sum_{n=1}^\infty \tau (n)q^n$$ where $|q|\lt 1$. Is there a known asymptotic formula for $\tau (n)$ or $|\tau (n)|$, i....
Nomas2's user avatar
  • 317
2 votes
1 answer
215 views

An integral transform computation

In Erdelyi, Tables of Integral Transforms, p. 344 Section 7.2. they note that \begin{align} \frac{1}{2 \pi i} \int_{c-i\infty}^{c+i\infty} s^{\nu} e^{\alpha s^2} x^{-s} \, ds = 2^{-\nu/2} \pi^{-...
user506603's user avatar
10 votes
7 answers
875 views

$\int_L^\infty \exp(- t - y/t) \, dt = \text{?}$

Let $y>0$, $L>0$. Has the (special?) function given by $$f(y,L) = \int_{L}^\infty e^{- t - y/t} \, dt$$ been studied? Are there precise, simple bounds? Let me try to attempt to reinvent the ...
H A Helfgott's user avatar
  • 20.2k
2 votes
0 answers
136 views

Eigenfunction of $h\mapsto H(h')|_{[-1,1]}$?

Let $H$ be the Hilbert transform. Is there a continuous, even function $h:\mathbb{R}\to \mathbb{R}$ with support on $[-1,1]$ such that, for some $\lambda\in \mathbb{R}$, $$H(h')(t) = \lambda h(t)$$ ...
H A Helfgott's user avatar
  • 20.2k
10 votes
1 answer
474 views

A basic estimate of exponential sums

Demeter in his book "Fourier Restriction, Decoupling, and Applications" (P287) used the following estimate: \begin{equation} \sup_{0\leq n\leq q}\bigg|\sum_{m=0}^n e^{2\pi i\frac{a}{q}m^2}\...
Dapao Zhang's user avatar
5 votes
2 answers
484 views

Optimizing a smoothing function with the Prime Number Theorem in mind

Let $f:[0,\infty)\to \mathbb{R}$ be a function with $f(x)=1$ for $0\leq x\leq 1$. Write $Mf$ for the Mellin transform of $f$. Let $c>0$, $T>10^6$ be constants. We are interested in minimizing ...
H A Helfgott's user avatar
  • 20.2k
2 votes
0 answers
79 views

For $\Phi$ a majorant of $1_{[-1/2,1/2]}$, how small can the total variation of $\widehat\Phi$ be?

Let $\Phi:\mathbb{R}\to \mathbb{R}$ be a real-valued, symmetric, non-negative function such that $\Phi(t)\geq 1$ for $|t|\leq 1/2$. Assume furthermore that $\Phi$ and $\widehat\Phi$ are both in $L^1\...
H A Helfgott's user avatar
  • 20.2k
4 votes
1 answer
353 views

Inequalities involving binary representation of integers

Let $N\geq 1$ be a positive integer and assume that $N=2^{n_1}+2^{n_2}+\cdots+2^{n_{p}}$, $n_{1}>n_{2}>\cdots>n_{p}\geq 0$, is the binary representation of $N$. I believe that the following ...
aleari1009's user avatar
2 votes
2 answers
218 views

Asymptotic estimate for $\sum_{\substack{ab\le x \\ a,b\in A}}f(a)f(b)$

Suppose that $A\subseteq \mathbb{N}$ and suppose that you have an estimate of the form $$ \sum_{\substack{a\le x \\ a\in A}}f(a) \sim g(x). $$ With this information is it possible to get an asymptotic ...
Itachi's user avatar
  • 178
1 vote
1 answer
123 views

How to show something is "true in mean square"?

I am looking at the conjecture, that for every $\varepsilon,B >0$, then $$\Big| \sum_{\substack{n \in \mathbb{N}\\n \leq x}} n^{-it} - \int_1^x u^{-it} du \, \Big| \leq Cx^{1/2}|t|^{\varepsilon}$$ ...
user17665266's user avatar
1 vote
0 answers
138 views

Integral of $|1/\zeta(\sigma+i T)|$ (or $|(1/\zeta(\sigma+i T))^{(k)}|$) on a horizontal half-line in the left upper quadrant

Let $T_0\geq 20$. Let $L$ be the half-line from $-\infty + i T$ to (say) $-1/2 + i T$. Since $|\zeta(s)|$ is roughly proportional to $(T/2 \pi e)^\sigma$ for $s=\sigma+ i T$ on $L$, it is clear that ...
H A Helfgott's user avatar
  • 20.2k
12 votes
1 answer
617 views

Convergence of the series involving Mobius functions $\sum_{k,d} \mu(d) x_{kd}$

(I originally asked this question here, but the problem appears much more difficult than I think after a moment of thought, so I think it might be more suitable to post it here. Please tell me if this ...
Ma Joad's user avatar
  • 1,755
-2 votes
1 answer
209 views

Strong estimates for the zeta function on natural numbers

Let $$\zeta(s) = \sum_{n = 1}^\infty \frac{1}{n^s}$$ be the Riemann zeta function (here we just consider real $s$). We do have a description given by $$\zeta(s) = \frac{s}{s-1}-s\int_{1}^\infty \frac{...
tobias's user avatar
  • 749
4 votes
0 answers
101 views

Injectivity of product functions on natural number sequences

Let $M = \{ a = (a_i)_{i} : a_i \in \mathbb{N}, a_1 \geq 2, a_i > a_j \forall i>j\}$ the set of all ascending natural number sequences, with $a_1$ at least 2. We now define for each $k \geq 2$ ...
tobias's user avatar
  • 749
6 votes
2 answers
389 views

asymptotic for li(x)-Ri(x)

Is it true that $$\operatorname{li}(x)-\operatorname{Ri}(x) \sim \frac{1}{2}\operatorname{li}(x^{1/2}) \ (x \to \infty),$$ where $$\operatorname{Ri}(x) = \sum_{n = 1}^\infty \frac{\mu(n)}{n} \...
Jesse Elliott's user avatar
30 votes
3 answers
3k views

Lindelöf hypothesis claim

I was randomly browsing, when I found this puff piece claiming a proof of the Lindelöf hypothesis by Fokas. Note that the Wikipedia article says that he claimed, then withdrew his claim in 2017, but ...
Igor Rivin's user avatar
  • 96.4k
2 votes
0 answers
256 views

various Hardy-Littlewood Tauberian theorems $ \sum \frac{a_n nx^n}{1-x^n} \to \frac{A}{1-x} $ implies $\sum_{k=0}^\infty a_k = A$

I am seeing the Hardy-Littlewood Tauberian Theorem phrased in several different ways. Are they all equivalent? A If $\sum a_n x^n \sim \frac{1}{1-x}$ then $\sum_{k=0}^n a_k = n$ B If $\sum a_n e^{...
john mangual's user avatar
  • 22.8k
8 votes
1 answer
1k views

An elementary lower bound on the number of primes

Recall the second Chebyshev function: $$\psi(x) = \sum_{p \leq x} \lfloor \log_p x \rfloor \log p$$ where $x$ is a positive integer, and $p$ runs over all primes $\leq x$. In a hunt for an "...
Pablo's user avatar
  • 11.3k
10 votes
0 answers
2k views

Questions on de Branges' work on the Riemann hypothesis

According to Wikipedia, Louis de Branges de Bourcia has obtained some notable results, such as a proof of the Bieberbach conjecture in 1985, which is now known as de Branges' theorem. Initially, his ...
mayank's user avatar
  • 163
20 votes
1 answer
1k views

Provable zero-free region for any entire function that analytically is similar to zeta(s)

Is there an entire function $f:\mathbb C\rightarrow\mathbb C$ such that for some $\delta>0$: $f(z)$ is bounded when $\Re z>1+\delta$ $f(z)$ is unbounded when $\Re z=1$ $f(z)$ grows polynomially ...
Ralph Furman's user avatar
  • 1,243
42 votes
7 answers
5k views

How should an analytic number theorist look at Bessel functions?

(And a related question: Where should an analytic number theorist learn about Bessel functions?) Bessel functions occur quite frequently in analytic number theory. One example, Corollary 4.7 of ...
Frank Thorne's user avatar
  • 7,347
3 votes
2 answers
597 views

lower bound for $\Re\zeta(1+it)$

Hi is there any lower bound for $\Re\zeta(1+it)$. I did try with computer until some ordinate and I saw $\Re\zeta(1+it)>0$. If it is true, is there any reference to prove it. thanks
asd's user avatar
  • 163
16 votes
1 answer
2k views

Why is the functional equation of the Riemann zeta function equivalent to the Poisson summation formula?

We can derive from the Poisson summation formula the modularity of the Theta function, which results in the functional equation. In his book on the Riemann Zeta function, Patterson mentions also that ...
Marc Palm's user avatar
  • 11.2k
9 votes
2 answers
1k views

On rational functions with rational power series

Let $f(z)=\sum_{n\geq 0}a_n z^n$ be a Taylor series with rational coefficients with infinitely non-zero $a_n$ which converges in a small neighboorhood around $0$. Furthermore, assume that \begin{...
Hugo Chapdelaine's user avatar
4 votes
2 answers
1k views

Product over the primes

I'm trying to estimate the product $$\prod_{p\lt q\lt r\lt s}1-\frac{24}{(pqrs)^2}$$ where $p,q,r,s$ are primes. This is for the purpose of calculating the density of Sloane's A070284 [1]. The idea ...
Charles's user avatar
  • 9,114
7 votes
1 answer
446 views

at which rational points does the Hypergeometric function take rational values

A generic example is ${}_2 F_1(\frac{1}{3},\frac{2}{3},\frac{5}{6};\frac{27}{32})=\frac{8}{5}$. So my question: Is there any description of the set of rational points at which the hypergeometric ...
John's user avatar
  • 605
22 votes
9 answers
3k views

When does the zeta function take on integer values?

Here $\zeta(s)$ is the usual Riemann zeta function, defined as $\sum_{n=1}^\infty n^{-s}$ for $\Re(s)>1$. Let $A_n=${$s\;:\;\zeta(s)=n$}. The behaviour of $A_0$ is basically just the Riemann ...
Thomas Bloom's user avatar
  • 7,013