All Questions
Tagged with ca.classical-analysis-and-odes nt.number-theory
32 questions
3
votes
0
answers
133
views
Reference for a lemma on the asymptotic upper density of special sets with large gaps and intervals
Update. Based on Anthony Quas' comment below, the proof can be made sensibly shorter and the lemma can be slightly generalized by weakening the old assumption (iii).
In a joint paper that I am ...
- 10.5k
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,337
22
votes
2
answers
2k
views
Is a real power series that maps rationals to rationals defined by a rational function?
Suppose that the function $p(x)$ is defined on an open subset $U$ of $\mathbb{R}$ by a power series with real coefficients. Suppose, further, that $p$ maps rationals to rationals. Must $p$ be defined ...
- 6,199
16
votes
1
answer
1k
views
Open problem in analysis with just one quantifier?
I'm looking for an open problem in analysis or number theory with just one "genuine" or "second order" quantifier.
E.g.
"Every continuous function $\mathbb{R} \rightarrow \...
13
votes
1
answer
1k
views
Is $\varliminf_{n \rightarrow +\infty} |n \sin n| = 0$ correct, where $n$ is an integer?
Is it true that $\varliminf_{n \rightarrow +\infty} |n \sin n| = 0$, where $n$
runs over the integers?
The existence of the limes inferior follows from Dirichlet's approximation theorem,
but the ...
- 399
12
votes
2
answers
552
views
On the independence of lower and upper asymptotic and Banach densities
Given a set $X \subseteq \mathbf N^+$, denote by $\mathsf{d}_\ast(X)$ and $\mathsf{d}^\ast(X)$, respectively, the lower and upper asymptotic (or natural) density of $X$, viz. $$\mathsf{d}_\ast(X) := \...
- 10.5k
7
votes
1
answer
488
views
Ref. request: Additive probability measure on $\mathcal P({\bf N})$ supplies subset of $\mathbf R$ without Baire property
ZFC proves, among the other things, the existence of a (finitely) additive probability measure $\theta: \mathcal P(\mathbf N) \to \mathbf R$ on the power set of $\mathbf N$ such that $\theta(X) = 0$ ...
- 10.5k
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
4
votes
1
answer
263
views
Extension by harmonics
Let $d \geq 2$ and $K$ some positive integer. Consider distinct points $\theta_1, \ldots, \theta_K\in \mathbb{T}^d$ and (not necessarily distinct) $z_1, \ldots, z_K \in \mathbb{C}$, does there exist ...
- 39k
4
votes
3
answers
2k
views
How to compute $\prod_{n=1}^{\infty} (1-p^{-n})$
We know it converges for any prime $p$. I just want to know how to compute its exact value:
$$\prod_{n=1}^{\infty} (1-p^{-n})$$
- 43
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
- 163
49
votes
2
answers
19k
views
Irrationality of $ \pi e, \pi^{\pi}$ and $e^{\pi^2}$
What is known about irrationality of $\pi e$, $\pi^\pi$ and $e^{\pi^2}$?
- 6,819
36
votes
6
answers
2k
views
When are some products of gamma functions algebraic numbers?
I want to know when certain expressions of the form
$ {\Gamma(r_1/m) \Gamma(r_2/m) \ldots \Gamma(r_j/m) \over \Gamma(s_1/m) \Gamma(s_2/m) \ldots \Gamma(s_j/m)} $
are algebraic numbers. These ...
- 14k
29
votes
12
answers
6k
views
When does 'positive' imply 'sum of squares'?
Does anyone have examples of when an object is positive, then it has (or does not have) a square root? Or more generally, can be written as a sum of squares?
Example. A positive integer does not ...
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 ...
- 7,013
21
votes
1
answer
2k
views
Trigonometry related to Rogers–Ramanujan identities
For integers $n\ge2$ and $k\ge2$, fix the notation
$$
[m]=\sin\frac{\pi m}{nk+1} \quad\text{and}\quad
[m]!=[1][2]\dots[m], \qquad m\in\mathbb Z_{>0}.
$$
Consider the following trigonometric numbers:...
- 13.5k
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
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 ...
- 11.2k
13
votes
1
answer
1k
views
Apéry's constant $\zeta(3)$ fastest convergent series
UPDATE Feb.02.2024
The series below, Eq.(3) for computing and Eq.(2) for verifying, were applied by Andrew Sun on Dec.22.2023 to get over $2\cdot10^{12}$ decimal digits and break the number of ...
- 2,836
13
votes
1
answer
782
views
Cesaro(?)/Euler(?) - summation of the $s(p)=\sum_{k=0}^\infty (-1)^{H(k)} (1+k)^p$ for $p=1,2,3,...$ (where $H(k)$ is the Hamming-weight)
In another thread (in MO) there was a question about a series where the signs at the terms alternate with the "Hamming-weight", that means according to the number of bits in the binary representation ...
- 5,342
13
votes
1
answer
761
views
If $(a,b,c)$ are the sides of a triangle, then the probability $P(ax + by \ge c) = \frac{4}{\pi^2}\chi_2(x) + \frac{4}{\pi^2}\chi_2(y)$
Posting this question in MO since it is unanswered in MSE
Let $(a,b,c)$ be the side of a triangle. In its most general linear form, the triangle inequality can be expressed as: Does $ax + by \ge c$ ...
- 5,470
10
votes
2
answers
784
views
Order of $\zeta(1+it)$
What is known about the order of $\zeta(1+it)$?
Iwaniec-Kowalski gives (pp. 226 citing a result of Vinogradov-Korobov)
$|\zeta(1+it)| \lesssim (\log t)^{2/3},$
and oppositely Titchmarsh gives (pp....
- 2,151
10
votes
2
answers
1k
views
Prove that the Dirichlet eta function is monotonic
Let us consider $\eta(p):= \sum\limits_{n=1}^\infty \frac{(-1)^{n+1}}{n^p}$ for $p>0$. Has anyone come along with an elementary proof that $\eta(x)$ is monotonically increasing on this set? By ...
8
votes
1
answer
3k
views
The Guinand-Weil explicit formula without entire function theory
I'll admit from the outset that this question is slightly vague. The actual question appears at the end of the post.
The explicit formula of Guinand and Weil can be written in the following way:
For ...
- 2,151
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 ...
- 605
6
votes
2
answers
1k
views
A (likely) positivity property of the Lerch zeta-function
The problem is to show that $\Re L(b/2,1/2,p+1)>0$ for all real $b\ne0$ and all real $p>-1$, where
$$L(\lambda,c,s):=\sum_{k=0}^\infty\frac{\exp(2\pi i\lambda k)}{(k+c)^s}$$
is the Lerch zeta-...
- 128k
6
votes
1
answer
426
views
Asymptotic expansion of the Mordell integral
my question concerns the Mordell integral
$$h(z;\tau):=\int_{-\infty}^\infty \frac{e^{\pi i\tau w^2-2\pi zw}}{\cosh(\pi w)}dw,\qquad \Im(\tau)>0,\quad z\in\mathbb{C},$$
which frequently occurs in ...
- 189
5
votes
1
answer
227
views
Unicity of additive, $(-1)$-homogeneous, and shift invariant probability measures on $\mathbf N^+$
Let $\mathcal D$ be the set of all (finitely) additive probability measures $\mu^\ast: \mathcal P(\mathbf N^+) \to [0,\infty[$ such that $\mu^\ast(k \cdot X + h) = \frac{1}{k} \mu^\ast(X)$ for all $X \...
- 10.5k
5
votes
2
answers
1k
views
Bruhat-Schwartz functions and derivatives in p-adic numbers
First of all, I am not an expert in neither classical, nor $p$-adic functional analysis, but anyway, I stumbled over the following lately:
Let $\varphi:\mathbb{Q}_p\rightarrow\mathbb{C}$.
...
- 105
3
votes
0
answers
237
views
Asymptotic expansions for the continued fraction $[1,x,x^2,x^3,\cdots]$
The $n$-th convergent is defined as
$$R_n(x) = \frac{P_n(x)}{Q_n(x)}=[1;x,x^2,\cdots,x^n]=1+\frac{1}{x+}\frac{1}{x^2+}\frac{1}{x^3+\cdots}\frac{1}{x^n}$$
where $P_n(x), Q(x)$ are polynomials ...
- 3,098
2
votes
2
answers
416
views
What is the solution, $f(n)$, of the following functional equation: $mf(m)+nf(n)=(m+n+xmn)f(m+n+xmn)$?
What is the solution, $f(n)$, of the following functional equation:
$$mf(m)+nf(n)=(m+n+xmn)f(m+n+xmn) ,$$
where $f$ takes on integer values, $m$ and $n$ are integers, and $x$ is an indeterminate? ...
- 153
1
vote
0
answers
133
views
Ramanujan sum type
I try to show
$$\sum _{k=1}^{\infty } \frac{e^{-2 k} k}{e^{-2 k}+1}=\frac{\pi ^2}{48}-\frac{\pi ^2-6 \left(\psi _{e^{\frac{\pi ^2}{2}}}^{(1)}(1)+\psi _{e^{\frac{\pi ^2}{2}}}^{(1)}\left(\frac{-2 i+\pi }...
- 149