Related papers: On the Liouville function in short intervals
Let $d(n)$ be the divisor function. In 1916, S. Ramanujan stated but without proof that $$\sum_{n\leq x}d^2(n)=xP(\log x)+E(x), $$ where $P(y)$ is a cubic polynomial in $y$ and $$ E(x)=O(x^{{3\over 5}+\epsilon}), $$ where $\epsilon$ is a…
Let $X$ be a Banach space and let $(\xi_j)_{j\ge 1}$ be an i.i.d. sequence of symmetric random variables with finite moments of all orders. We prove that the following assertions are equivalent: (1). There exists a constant $K$ such that $$…
In this paper we give a short interval version of the Balog-Ruzsa theorem concerning bounds for the $L_1$ norm of the exponential sum over $r$-free numbers. As an application, we give a lower bound for the $L_1$ norm of the exponential sum…
We present several Liouville type results for the $p$-Laplacian in $\R^N$. Suppose that $h$ is a nonnegative regular function such that $$ h(x) = a|x|^\gamma\ {\rm for}\ |x|\ {\rm large},\ a>0\ {\rm and}\ \gamma> -p. $$ We obtain the…
We extend the Matom\"{a}ki-Radziwi\l\l{} theorem to a large collection of unbounded multiplicative functions that are uniformly bounded, but not necessarily bounded by 1, on the primes. Our result allows us to estimate averages of such a…
In this paper, we prove the following result. Let $\alpha$ be any real number between $0$ and $2$. Assume that $u$ is a solution of $$ \left\{\begin{array}{ll} (-\Delta)^{\alpha/2} u(x) = 0 , \;\; x \in \mathbb{R}^n ,\\…
We prove that the $k$-th positive integer moment of partial sums of Steinhaus random multiplicative functions over the interval $(x, x+H]$ matches the corresponding Gaussian moment, as long as $H\ll x/(\log x)^{2k^2+2+o(1)}$ and $H$ tends…
In 2023, the first author and Vandehey proved that the largest $k$ for which the string of equalities $\lambda(n+1)=\lambda(n+2)=\cdots=\lambda(n+k)$ holds for some $n\leq x$, where $\lambda$ is the Carmichael $\lambda$ function, is bounded…
Let $\mathbf{P} \subset [H_0,H]$ be a set of primes, where $\log H_0 \geq (\log H)^{2/3 + \epsilon}$. Let $\mathscr{L} = \sum_{p \in \mathbf{P}} 1/p$. Let $N$ be such that $\log H \leq (\log N)^{1/2-\epsilon}$. We show there exists a subset…
We prove Liouville theorem for the equation $\Delta v + N v^p + M |\nabla v|^{q}= 0$ in $\mathbb R^n$, with $M, N > 0, q = \frac{2p}{p + 1}$ in the critical and subcritical case. The proof is based on a differential identity and Young…
The second Hardy-Littlewood conjecture asserts that the prime counting function $\pi(x)$ satisfies the subadditive inequality \begin{align*} \pi(x+y)\leqslant \pi(x)+\pi (y) \end{align*} for all integers $x,y\geqslant 2$. By linking the…
In this paper, we prove Liouville type theorems for stable solutions to the weighted fractional Lane-Emden system \begin{align*} (-\Delta)^s u = h(x)v^p,\quad (-\Delta)^s v= h(x)u^q, \quad u,v>0\quad \mbox{in }\;\mathbb{R}^N, \end{align*}…
We approach a new proof of the strong Goldbach's conjecture for sufficiently large even integers by applying the Dirichlet's series. Using the Perron formula and the Residue Theorem in complex variable integration, one could show that any…
This is a copy of my Bourbaki Seminar on the work of Matomaki and Radziwill showing that the Liouville function exhibits cancelation in almost all short intervals as soon as the length of the interval tends to infinity.
Let $ x\geq 1 $ be a large number, let $ [x]=x-\{x\} $ be the largest integer function, and let $ \varphi(n)$ be the Euler totient function. The result $ \sum_{n\leq x}\varphi([x/n])=(6/\pi^2)x\log x+O\left ( x(\log x)^{2/3}(\log\log…
When restricted to some non-negative multiplicative function, say f, bounded on primes and that vanishes on non square-free integers, our result provides us with an asymptotic for $\sum_{n \le X}f(n)/n$ with error term $O((\log…
In this paper, we are concerned with a Liouville-type result of the nonlinear integral equation \begin{equation*} u(x)=\int_{\mathbb{R}^{n}}\frac{u(1-|u|^{2})}{|x-y|^{n-\alpha}}dy, \end{equation*} where $u: \mathbb{R}^{n} \to…
Given a smooth function $K(x)$ satisfying a polynomially cone condition and $x\cdot\nabla K\leq 0$, we prove that there is no solution $u\in C^\infty(\mathbb{R}^2)$ of the equation $$-\Delta u=K(x)e^{2u}\quad \mathrm{on}\;\mathbb{R}^2$$…
We prove that when $f$ is a Rademacher random multiplicative function for any $\epsilon>0$, then $\sum_{n \leqslant x}\frac{f(n)}{\sqrt{n}} \ll (\log\log(x))^{3/4+\epsilon}$ for almost all $f$. We also show that there exist arbitrarily…
We show that if $\mathcal{L}_1$ and $\mathcal{L}_2$ are linear transformations from $\mathbb{Z}^d$ to $\mathbb{Z}^d$ satisfying certain mild conditions, then, for any finite subset $A$ of $\mathbb{Z}^d$, $$|\mathcal{L}_1 A+\mathcal{L}_2…