All Questions
Tagged with analytic-number-theory ca.classical-analysis-and-odes
63 questions
1
vote
0
answers
100
views
Prove or disprove that $|(1/\zeta)^{(n)}(x)| \leq \frac{n!}{(x-\frac{1}{2})}$ for all real $x>1$
$|(1/\zeta)^{(n)}(x)| \leq \frac{n!}{(x-\frac{1}{2})}$ for all real $x>1$.
I had this conjecture for a long time. I tried various methods and techniques but they all failed. It might also be wrong ...
- 178
1
vote
1
answer
188
views
Can one show $h(x)=|2(\zeta'(x))^2-\zeta''(x)\zeta(x)|$ is a decreasing function for $x\in\mathbb{R}\cap [1,\infty)$?
This question is related to This question.
When I tried to approach it I couldn't even proof that the LHS is a decreasing function on the given domain using regular methods. I have tried to write the ...
- 178
0
votes
2
answers
364
views
Can one show $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the ...
- 178
6
votes
1
answer
568
views
Can one show that $|\zeta'(x) / \zeta^2(x)| \leq 1/(x-.5)$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{\zeta'(x)}{\zeta^2(x)}\right|\leq \frac{1}{x-\frac{1}{2}}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the inequality and got this inequality ...
- 178
0
votes
0
answers
79
views
Is there an asymptotic expansion for the reciprocal of the classical Euler beta function?
The classical Euler beta function can be defined by
$$
B(p,q)=\int_0^1t^{p-1}(1-t)^{q-1}\operatorname{d\!}t
$$
for $\Re(p),\Re(q)>0$.
The beta function and the classical Euler gamma function $\...
- 1,091
2
votes
1
answer
160
views
Is the function $(z-1)(2^{z}-1)\zeta(z)$ logarithmically concave and convex in $z\in(0,\infty)$?
For proving that the sequence
\begin{equation}\label{first-proof-decreas-seq}
\frac{1}{(2k-1)(k+1)} \frac{2^{2k+2}-1}{2^{2k}-1} \biggl|\frac{B_{2k+2}}{B_{2k}}\biggr|
\end{equation}
is decreasing in $k\...
- 1,091
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 ...
- 4,829
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} \...
- 4,829
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 ...
- 4,829
2
votes
0
answers
159
views
Upper bound of a product of sines
Consider the function
$$ f_n(t)= \prod_{1 \leq k \leq n-1,\\ \gcd(k,n)=1} \sin\Big(t-\frac{k \pi}{n}\Big),\quad t \in [0,\pi].$$
I wonder whether it is possible to compute some nontrivial upper ...
- 826
2
votes
0
answers
155
views
Electrostatic potential energy of point-charges at primes up to $x$
Given a positive real (or integral) number $x$ we consider the
electrostatic potential energy of equal point charges at all primes up to $x$
given by
$$E(x)=\sum_{p_1<p_2\leq x}\frac{1}{p_2-p_1}$$
...
- 17.9k
21
votes
1
answer
1k
views
Does summing divergent series using cutoff functions give consistent results?
One way to try to give a value $S$ to a divergent series $\sum_{n=1}^\infty a_n$ is with a smooth cutoff function:
$$
S = \lim_{N\to\infty}\sum_{n=1}^\infty a_n \eta\left(\frac{n}{N}\right)
$$
where $\...
- 313
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 ...
- 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....
- 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^{-...
- 21
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 ...
- 20.2k
3
votes
1
answer
474
views
Curious infinite product, convergence, connection to prime numbers
I have been playing with the following function:
$$
f(x)=\frac{\pi x (1-x^2)}{\sin\pi x}\prod_{k=2}^\infty \frac{\sin(\pi x/k)}{\pi x/k}
$$
It is hard to get correct numerical values. I'll start with ...
- 3,098
5
votes
1
answer
594
views
Exponential sum vs. exponential integral via Poisson summation
When we want to estimate an exponential sum
$$
\sum_{M<m\le M'}e(f(m))
\quad\text{with}\quad
1\le M\le M'\le 2M
\quad\text{and}\quad
e(x):=\exp(2\pi ix)
$$
where $e(x):=\exp(2\pi ix)$
and the phase ...
- 363
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)$$
...
- 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}\...
- 351
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 ...
- 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\...
- 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 ...
- 41
0
votes
0
answers
171
views
Explanation of a step in a preprinted work
I have been studying this preprinted paper and the references therein. I believe that there are some typos; However, since I am not an expert yet, I would like to make sure I am correct.
I do not ...
- 159
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 ...
- 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}$$ ...
- 11
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 ...
- 20.2k
6
votes
1
answer
193
views
Oscillatory integrals with a decaying factor in the integrand
Lemma 4.5 of Titchmarsh's book The Theory of the Riemann Zeta function says (slightly rephrased):
Let $F$ be a twice differentiable real function such that $ F''(x) \geq r > 0$ for all $x$ in $[a,b]...
- 63
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 ...
- 1,755
7
votes
0
answers
461
views
On a paper of Alain Connes entitled 'Around Wilson's Theorem '
A relatively recent paper Alain Connes - Around Wilson's theorem
introduced the function
$$
S(n,x ) = \sum_{i=1}^n \sin^2\Bigl(\frac{(i-1)! x}{i}\Bigr).
$$
In the same paper, he proved that the ...
user145059
11
votes
1
answer
490
views
turn $\pi/n$, move $1/n$ forward
start at the origin, first step number is 1.
turn $\pi/n$
move $1/n$ units forward
Angles are cumulative, so this procedure is equivalent (finitely)
to
$$
u(k):=\sum_{n=1}^{k} \frac{\exp(\pi i H_{n}...
- 975
2
votes
1
answer
235
views
How to get asymptotic expansion of the sum of modified Bessel function $\sum_{n=1}^\infty K_0(s\, n)$ as $s\to 0^+$?
I guess for the modified Bessel funcion $K_0(z)$,
$$\sum_{n=1}^\infty K_0(s\, n)
\sim
\frac{-2\log 2 - \log \pi + \gamma}{2} + \frac{\log s}{2} + \frac{\pi}{2\, s}, \quad s\to 0^+,$$
if taking
$$\...
- 21
-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{...
- 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$ ...
- 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} \...
- 4,985
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 ...
- 96.4k
0
votes
1
answer
166
views
Corner integrals of $\exp$
I feel that there is a good chance to apply certain integrals of
$\ \exp(-(\sum_{k=1}^n x_k))\ $ over corners (see below) to the analytic number theory. I have obtained two formulas to start with ...
- 4,786
2
votes
0
answers
115
views
An exponential sum estimate on small intervals
Let $1<r<2$ be a real number. Let $4<p\le 6$. Consider the exponential sum estimate
$$\int_0^{2\pi}\int_0^{N^{r-2}} \left|\sum_{n=1}^N e^{inx+in^2 y}\right|^p \, dy \, dx$$
Notice that the $y$...
- 21
5
votes
2
answers
476
views
Fourier support condition in the paper 'A study guide for the $l^2$ decoupling theorem'
I'm currently reading Bourgain and Demeter's study guide for the $l^2$ decoupling theorem (https://arxiv.org/pdf/1604.06032.pdf). I have some trouble with understanding the proof of Proposition 8.4.
...
- 61
2
votes
0
answers
376
views
Reflection formula for the Hurwitz zeta function and odd zeta values
A reflection formula for the Hurwitz zeta function, which does not seem to be well known, uses half of the polynomials generated by $\frac{1}{-1+\sqrt{t-1}\cot(\sqrt{t-1}u)}$. (Look at the sections "...
- 13.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^{...
- 22.8k
2
votes
0
answers
167
views
Integrating a series expansion of $\mbox{frac}(x)\lfloor x\rfloor$ coming from Fourier series of sawtooth function
Let me preface this question by saying that I am not exactly sure it counts as research level. It is crossposted on mathstackexchange: https://math.stackexchange.com/questions/1519724/integrating-a-...
- 761
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 "...
- 11.3k
6
votes
0
answers
138
views
Functions on [0,1] with positive fractional series coefficients and symmetric under x->1-x
Suppose a function $g(x)$ has a convergent power series expansion with real (not necessarily integer or rational) exponents on $[0,1]$ of the form
$$
g(x)=\frac{1}{x^\delta}(1+\sum_{i=1}^\infty c_i x^{...
- 679
0
votes
0
answers
145
views
A question about the duality principle
Suppose $X$ and $Y$ are finite sets and $K:X\times Y\to \mathbb R$ is some function. We get an integral transform from the space of real functions on $X$ to real functions on $Y$ given by $$\Phi_Kf(y)=...
- 133
6
votes
2
answers
287
views
Computing certain integrals over high-dimensional polyhedra
Let $\delta>0$ be a small real number and consider the $k$-dimensional region consisting of points for which
$$\delta\leq x_1\leq x_2\leq\ldots \leq x_k$$
and
$$x_1+\ldots+x_k\leq 1.$$
I am ...
- 761
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 ...
- 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 ...
- 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 ...
- 7,347
5
votes
1
answer
1k
views
Request for the proof of a result from Ramanujan's letter to Hardy.
Srinivasa Ramanujan in his first letter to G.H. Hardy stated many results for which he didn't give proofs. Among them the result taken from this link seems interesting :
If $$\int\limits_{0}^{\infty} ...
- 4,795