On the sharp stability of critical points of the Sobolev inequality

Given $n\geq 3$, consider the critical elliptic equation $\Delta u + u^{2^*-1}=0$ in $\mathbb R^n$ with $u > 0$. This equation corresponds to the Euler-Lagrange equation induced by the Sobolev embedding $H^1(\mathbb R^n)\hookrightarrow L^{2^*}(\mathbb R^n)$, and it is well-known that the solutions are uniquely characterized and are given by the so-called ``Talenti bubbles''. In addition, thanks to a fundamental result by Struwe, this statement is ``stable up to bubbling'': if $u:\mathbb R^n\to(0,\infty)$ almost solves $\Delta u + u^{2^*-1}=0$ then $u$ is (nonquantitatively) close in the $H^1(\mathbb R^n)$-norm to a sum of weakly-interacting Talenti bubbles. More precisely, if $\delta(u)$ denotes the $H^1(\mathbb R^n)$-distance of $u$ from the manifold of sums of Talenti bubbles, Struwe proved that $\delta(u)\to 0$ as $\lVert\Delta u + u^{2^*-1}\rVert_{H^{-1}}\to 0$. In this paper we investigate the validity of a sharp quantitative version of the stability for critical points: more precisely, we ask whether under a bound on the energy $\lVert\nabla u\rVert_{L^2}$ (that controls the number of bubbles) it holds $\delta(u) \lesssim \lVert\Delta u + u^{2^*-1}\rVert_{H^{-1}}$. A recent paper by the first author together with Ciraolo and Maggi shows that the above result is true if $u$ is close to only one bubble. Here we prove, to our surprise, that whenever there are at least two bubbles then the estimate above is true for $3\le n\le 5$ while it is false for $n\ge 6$. To our knowledge, this is the first situation where quantitative stability estimates depend so strikingly on the dimension of the space, changing completely behavior for some particular value of the dimension $n$.Comment: 42 page

On the number of unique expansions in non-integer bases

Let $q > 1$ be a real number and let $m=m(q)$ be the largest integer smaller than $q$. It is well known that each number $x \in J_q:=[0, \sum_{i=1}^{\infty} m q^{-i}]$ can be written as $x=\sum_{i=1}^{\infty}{c_i}q^{-i}$ with integer coefficients $0 \le c_i < q$. If $q$ is a non-integer, then almost every $x \in J_q$ has continuum many expansions of this form. In this note we consider some properties of the set $\mathcal{U}_q$ consisting of numbers $x \in J_q$ having a unique representation of this form. More specifically, we compare the size of the sets $\mathcal{U}_q$ and $\mathcal{U}_r$ for values $q$ and $r$ satisfying $1< q < r$ and $m(q)=m(r)$.Comment: typo corrected in Theorem 1.

On the expansions of real numbers in two integer bases

Let $r$ and $s$ be multiplicatively independent positive integers. We establish that the $r$-ary expansion and the $s$-ary expansion of an irrational real number, viewed as infinite words on $\{0, 1, \ldots , r-1\}$ and $\{0, 1, \ldots , s-1\}$, respectively, cannot have simultaneously a low block complexity. In particular, they cannot be both Sturmian words.Comment: 11 pages, to appear at Annales de l'Institut Fourie