Related papers: On the Liouville function in short intervals

A Liouville function is a complex analytic function H with a Taylor series \sum_{n=1}^{\infty} x^n/a_n such the a_n's form a ``very fast growing'' sequence of integers. In this paper we exhibit the complete first-order theory of the complex…

We show that, for the M\"obius function $\mu(n)$, we have $$ \sum_{x < n\leq x+x^{\theta}}\mu(n)=o(x^{\theta}) $$ for any $\theta>0.55$. This improves on a result of Ramachandra from 1976, which is valid for $\theta>7/12$. Ramachandra's…

We show that as soon as $h\to \infty$ with $X \to \infty$, almost all intervals $(x-h\log X, x]$ with $x \in (X/2, X]$ contain a product of at most two primes. In the proof we use Richert's weighted sieve, with the arithmetic information…

Let $N$ be a fixed positive integer, and let $f\in S_k(N)$ be a primitive cusp form given by the Fourier expansion $f(z)=\sum_{n=1}^{\infty} \lambda_f(n)n^{\frac{k-1}{2}}e(nz)$. We consider the partial sum $S(x,f)=\sum_{n\leq…

Gonek, Graham, and Lee have shown recently that the Riemann Hypothesis (RH) can be reformulated in terms of certain asymptotic estimates for twisted sums with von Mangoldt function $\Lambda$. Building on their ideas, for each…

We study the question of whether for each n there is another integer m with lambda(m)=lambda(n), where lambda is Carmichael's function. We give a "near" proof of the fact that this is the case unconditionally, and a complete conditional…

Let $X$ be a Banach space. It is proved that an analogue of the Rubio de Francia square function estimate for partial sums of the Fourier series of $X$-valued functions holds true for all disjoint collections of subintervals of the set of…

In this paper, we are concerned with a Liouville-type result of the nonlinear integral equation \begin{equation*} u(x)=\overrightarrow{l}+C_*\int_{\mathbb{R}^{n}}\frac{u(1-|u|^{2})}{|x-y|^{n-\alpha}}dy. \end{equation*} Here $u:…

Let $p_n$ denote the $n$-th prime number, and let $d_n=p_{n+1}-p_{n}$. Under the Hardy--Littlewood prime-pair conjecture, we prove \begin{align*} \sum_{n\le X}\frac{\log^{\alpha}d_n}{d_n} \sim\begin{cases} \frac{X\log\log\log X}{\log…

We use maximum principle to prove the Liouville theorem of the equation $\Delta U + b\cdot \nabla U + h U^{\alpha} = 0, U \geq 0, 0 < \alpha < \frac{n + 2}{n - 2}$ on the complete Riemannian manifold with non-negative Ricci tensor, which…

Assuming the Riemann Hypothesis we prove that the interval $[N, N + H]$ contains an integer which is a sum of a prime and two squares of primes provided that $H \ge C (\log N)^{4}$, where $C > 0$ is an effective constant.

Lindel{\"o}f's hypothesis, one of the most important open problems in the history of mathematics, states that for large $t$, Riemann's zeta function $\zeta(1/2+it)$ is of order $O(t^{\varepsilon})$ for any $\varepsilon>0$ . It is well known…

We prove that the Riemann hypothesis is equivalent to the condition $\int_{2}^x\left(\pi(t)-\text{li}(t)\right)\mathrm{d}t<0$ for all $x>2$. Here, $\pi(t)$ is the prime-counting function and $\text{li}(t)$ is the logarithmic integral. This…

We study the function $\Delta_k(x):=\sum_{n\leq x} d_k(n) - \mbox{Res}_{s=1} ( \zeta^k(s) x^s/s )$, where $k\geq 3$ is an integer, $d_k(n)$ is the $k$-fold divisor function, and $\zeta(s)$ is the Riemann zeta-function. For a large parameter…

Let $R(n) = \sum_{a+b=n} \Lambda(a)\Lambda(b)$, where $\Lambda(\cdot)$ is the von Mangoldt function. The function $R(n)$ is often studied in connection with Goldbach's conjecture. On the Riemann hypothesis (RH) it is known that $\sum_{n\leq…

In this paper we study solutions, possibly unbounded and sign-changing, of the following problem: -\D_{\lambda} u=|x|_{\lambda}^a |u|^{p-1}u, in R^n,\;n\geq 1,\; p>1, and a \geq 0, where \D_{\lambda} is a strongly degenerate elliptic…

We substantially apply the Li criterion for the Riemann hypothesis to hold. Based upon a series representation for the sequence \{\lambda_k\}, which are certain logarithmic derivatives of the Riemann xi function evaluated at unity, we…

For $\lambda \in \mathbb{Z}$, let $\lambda \cdot A = \{ \lambda a : a \in A\}$. Suppose $r, h\in \mathbb{Z}$ are sufficiently large and comparable to each other. We prove that if $|A+A| \le K |A|$ and $\lambda_1, \ldots, \lambda_h \le 2^r$,…

Let $\lambda$ denote the Liouville function. We show that the logarithmic mean of $\lambda(\lfloor \alpha_1n\rfloor)\lambda(\lfloor \alpha_2n\rfloor)$ is $0$ whenever $\alpha_1,\alpha_2$ are positive reals with $\alpha_1/\alpha_2$…

In this article we study some properties of the discrete convolution of Liouville function $S(n):=\sum_{m_{1}+m_{2}=n}\lambda\left(m_{1}\right)\lambda\left(m_{2}\right)$, which is a Goldbach-type counting function of representations. In…