Remark 1
527NIf n_1=n_2=1 then the Hardy-Littlewood-Ingham formula
\int_T^{T+U} Z^2(t){\rm d}t=U\ln\frac{T}{2\pi}+2cU+\mathcal{O}(T^{1/2}\xi^5)
follows from the A. Selberg’s formula (?) (comp. [20], p. 120).
Jacob’s ladders and some new consequences from A. Selberg’s formula
- arXiv
- 1010.0868v1 · PDF · 5 October 2010
- Categories
- math.CA
- Licence
- CC BY 4.0 The site shows the text.
Abstract
It is proved in this paper that the Jacob’s ladders together with the A. Selberg’s classical formula (1942) lead to a new kind of formulae for some short trigonometric sums. These formulae cannot be obtained in the classical theory of A. Selberg, and all the less, in the theories of Balasubramanian, Heath-Brown and Ivic.
Items 13
Remark 2
IPWDLet us remind that the A. Selberg’s formula (?) played the main role in proving the fundamental Selberg’s result
N_0(T+U)-N_0(T)>A(\epsilon)U\ln T
where N_0 stands for the number of zeroes of the function \zeta(1/2+it),\ t\in (0,T].
Theorem
8OQ8Let
G_3(x)=\varphi_1(\mathring{G}_3(x)),\ G_4(y)=\varphi_1(\mathring{G}_4(y)) .
Then we have
\begin{split}
& \int_{\mathring{G}_3(x)}\left(\sum_{2\leq p\leq\xi}\frac{1}{\sqrt{p}}\cos(\varphi_1(t)\ln p)\right)Z^2\{\varphi_1(t)\}\tilde{Z}^2(t){\rm d}t\sim \\
& \frac{2x}{\pi}U\ln P\ln\ln P,\ x\in (0,\pi/2] , \\
& \int_{\mathring{G}_4(y)}\left(\sum_{2\leq p\leq\xi}\frac{1}{\sqrt{p}}\cos(\varphi_1(t)\ln p)\right)Z^2\{\varphi_1(t)\}\tilde{Z}^2(t){\rm d}t\sim \\
& \frac{2y}{\pi}U\ln P\ln\ln P,\ y\in (0,\pi/2] ,
\end{split}
\begin{split}
& \int_{\mathring{G}_3(x)}\left(\sum_{2\leq n\leq\xi}\frac{1}{\sqrt{n}}\cos(\varphi_1(t)\ln n)\right)Z^2\{\varphi_1(t)\}\tilde{Z}^2(t){\rm d}t\sim \\
& \frac{1}{\pi}\left\{ \left(\frac{2\epsilon}{5}-\frac{\epsilon^2}{50}\right)x+\frac{\epsilon^2}{50}\sin x\right\}U\ln^2 P , \\
& \int_{\mathring{G}_4(y)}\left(\sum_{2\leq n\leq\xi}\frac{1}{\sqrt{n}}\cos(\varphi_1(t)\ln n)\right)Z^2\{\varphi_1(t)\}\tilde{Z}^2(t){\rm d}t\sim \\
& \frac{1}{\pi}\left\{ \left(\frac{2\epsilon}{5}-\frac{\epsilon^2}{50}\right)y-\frac{\epsilon^2}{50}\sin y\right\}U\ln^2 P ,
\end{split}
\begin{split}
& \int_{\mathring{G}_3(x)}\left(\sum_{2\leq n\leq\xi}\frac{d(n)}{\sqrt{n}}\cos(\varphi_1(t)\ln n)\right)Z^2\{\varphi_1(t)\}\tilde{Z}^2(t){\rm d}t\sim \\
& \frac{\sin x}{2500\pi^3}U\ln^4P , \\
& \int_{\mathring{G}_4(y)}\left(\sum_{2\leq n\leq\xi}\frac{d(n)}{\sqrt{n}}\cos(\varphi_1(t)\ln n)\right)Z^2\{\varphi_1(t)\}\tilde{Z}^2(t){\rm d}t\sim \\
& -\frac{\sin y}{2500\pi^3}U\ln^2P ,
\end{split}
where
t-\varphi_1(t) \sim (1-c)\pi(t),\ t\to\infty ,
and \pi(t) is the prime-counting function.
Used by Remark 3
Remark 3
3SJXLet T=\varphi_1(\mathring{T}), T+U=\varphi_1(\widering{T+U}), (comp. (Theorem)). Then from (Theorem), similarly to [14], (1.8), we obtain
\rho\{ [T,T+U]; [\mathring{T},\widering{T+U}]\}\sim (1-c)\pi(T);\ T+U<\mathring{T},
where \rho stands for the distance of the corresponding segments.
Uses Theorem
Remark 4
0IWUCorollary 1
2SRHFor every T\geq T_0[\varphi_1] there are the values \alpha_1(T), \alpha_2(T)\in \mathring{G}_3(\pi/2)\cup\mathring{G}_4(\pi/2) such that
\sum_{2\leq p\leq \xi}\frac{1}{\sqrt{p}}\cos\{\varphi_1(\alpha_1(T))\ln p\}\sim \frac{2\ln P\ln\ln P}{\left|\zeta\left(\frac{1}{2}+i
\varphi_1(\alpha_2(T))\right)\right|^2},\ T\to\infty
where \varphi_1(\alpha_1(T)), \varphi_1(\alpha_2(T))\in \mathring{G}_3(\pi/2)\cup\mathring{G}_4(\pi/2).
Used by Remark 5
Corollary 2
8WSFFor every T\geq T_0[\varphi_1] there are the values \alpha_3(T), \alpha_4(T)\in \mathring{G}_3(\pi/2)\cup\mathring{G}_4(\pi/2) such that
\begin{split}
& \sum_{2\leq n\leq \xi}\frac{1}{\sqrt{n}}\cos\{\varphi_1(\alpha_3(T))\ln n\}\sim \\
& \sim \left(\frac{2\epsilon}{5}-\frac{\epsilon^2}{50}\right)\frac{\ln^2 P}
{\left|\zeta\left(\frac 12 +i\varphi_1(\alpha_4(T))\right)\right|^2},\ T\to\infty
\end{split}
where \varphi_1(\alpha_3(T)), \varphi_1(\alpha_4(T))\in G_3(\pi/2)\cup G_4(\pi/2).
Used by Remark 5
Remark 5
DU4ECorollary 3
UUWV\begin{split}
& \left.\left\langle\sum_{2\leq n\leq \xi}\frac{d(n)}{\sqrt{n}}\cos\{\varphi_1(t)\ln n\}\right\rangle\right|_{\mathring{G}_3(x)}\sim \\
& \sim \frac{1}{2500\pi^2}\frac{\sin x}{x}\frac{\ln^4P}{\langle Z^2\{\varphi_1(t)\}\rangle|_{\mathring{G}_3(x)}} \\
& \left.\left\langle\sum_{2\leq n\leq \xi}\frac{d(n)}{\sqrt{n}}\cos\{\varphi_1(t)\ln n\}\right\rangle\right|_{\mathring{G}_4(y)}\sim \\
& \sim -\frac{1}{2500\pi^2}\frac{\sin y}{y}\frac{\ln^4P}{\langle Z^2\{\varphi_1(t)\}\rangle|_{\mathring{G}_4(y)}},\ T\to\infty
\end{split}
where \langle(\dots )\rangle|_{\mathring{G}_3(x)},\dots denote the mean-value of (\dots) on \mathring{G}_3(x), \dots .
Used by Remark 6
Remark 6
A2P7It follows from (3) that the short trigonometric sum
\sum_{2\leq n\leq \xi}\frac{d(n)}{\sqrt{n}}\cos\{t\ln n\},\ t\geq T_0[\varphi_1]
has an infinitely many zeroes of the odd order.
Uses Corollary 3
Corollary 4
BWTY\begin{split}
& \int_{\mathring{G}_3^+(x)\cup \mathring{G}_4^+(x)}\left(\sum_{2\leq n\leq \xi}\frac{d(n)}{\sqrt{n}}\cos\{\varphi_1(t)\ln n\}\right)
Z^2\{\varphi_1(t)\}\tilde{Z}^2(t){\rm d}t\sim \\
& \sim -\int_{\mathring{G}_3^-(x)\cup \mathring{G}_4^-(x)}\left(\sum_{2\leq n\leq \xi}\frac{d(n)}{\sqrt{n}}\cos\{\varphi_1(t)\ln n\}\right)
Z^2\{\varphi_1(t)\}\tilde{Z}^2(t){\rm d}t .
\end{split}
Remark 7
RL4BThe formula (4) represents the law of the asymptotic equality of the areas (measures) of complicated figures corresponding to the positive part and the negative part, respectively, of the graph of the function
\sum_{2\leq n\leq \xi}\frac{d(n)}{\sqrt{n}}\cos\{\varphi_1(t)\ln n\}Z^2\{\varphi_1(t)\}\tilde{Z}^2(t),\ t\in\mathring{G}_3(x)\cup\mathring{G}_4(x) ,
where x\in (0,\pi/2]. This is one of the laws governing the chaotic behaviour of the positive and negative values of the signal (7). This signal is created by the complicated modulation of the fundamental signal Z(t)=e^{i\vartheta(t)}\zeta\left(\frac{1}{2}+it\right), (comp. (?), (?)).
Remark 8
ESTFThe formulae of type (?) can be obtained from (?) putting f(t)\equiv 1.
Source and licence
The text on this page is from arXiv:1010.0868v1 by Jan Moser, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/1010/1010.0868.jsonl.