A sharp Balian–Low uncertainty principle for shift-invariant spaces

A sharp version of the Balian–Low theorem is proven for the generators of finitely generated shift-invariant spaces. If generators ${\{f_k\}}_{k=1}^K?L^2({\mathbb{R}}^d)$ are translated along a lattice to form a frame or Riesz basis for a shift-invariant space V, and if V has extra invariance by a suitable finer lattice, then one of the generators $f_k$ must satisfy ${\int }_{{\mathbb{R}}^d}|x||f_k(x){|}^{2}dx=\infty$, namely, $\stackrel{?}{f_k}?H^{1/2}({\mathbb{R}}^d)$. Similar results are proven for frames of translates that are not Riesz bases without the assumption of extra lattice invariance. The best previously existing results in the literature give a notably weaker conclusion using the Sobolev space $H^{d/2+?}({\mathbb{R}}^d)$; our results provide an absolutely sharp improvement with $H^{1/2}({\mathbb{R}}^d)$. Our results are sharp in the sense that $H^{1/2}({\mathbb{R}}^d)$ cannot be replaced by $H^s({\mathbb{R}}^d)$ for any $s<1/2$.     

Monochromatic progressions in random colorings

Let $N^{+}(k)=2^{k/2}{k}^{3/2}f(k)$ and $N^{?}(k)=2^{k/2}{k}^{1/2}g(k)$ where $f(k)\to \infty$ and $g(k)\to 0$ arbitrarily slowly as $k\to \infty$. We show that the probability of a random 2-coloring of $\{1,2,\dots ,N^{+}(k)\}$ containing a monochromatic k-term arithmetic progression approaches 1, and the probability of a random 2-coloring of $\{1,2,\dots ,N^{?}(k)\}$ containing a monochromatic k-term arithmetic progression approaches 0, as $k\to \infty$. This improves an upper bound due to Brown, who had established an analogous result for $N^{+}(k)=2^k\log kf(k)$.     

Powerful numbers in (1ℓ + qℓ)(2ℓ + qℓ)⋯(nℓ + qℓ)

Let q be a positive integer. Recently, Niu and Liu proved that, if $n\ge \max ?\{q,1198?q\}$, then the product $(1^3+q^3)(2^3+q^3)?(n^3+q^3)$ is not a powerful number. In this note, we prove (1) that, for any odd prime power ? and $n\ge \max ?\{q,11?q\}$, the product $(1^{?}+q^{?})(2^{?}+q^{?})?(n^{?}+q^{?})$ is not a powerful number, and (2) that, for any positive odd integer ?, there exists an integer $N_{q,?}$ such that, for any positive integer $n\ge N_{q,?}$, the product $(1^{?}+q^{?})(2^{?}+q^{?})?(n^{?}+q^{?})$ is not a powerful number.     

Construction of solutions via local Pohozaev identities

This paper deals with the following nonlinear elliptic equation

$?\mathrm{\Delta }u+V(|y^{\prime }|,y^{″})u=u^{\frac{N+2}{N?2}},u>0,u\in H^1({\mathbb{R}}^N),$

where $(y^{\prime },y^{″})\in {\mathbb{R}}^2\times {\mathbb{R}}^{N?2}$, $V(|y^{\prime }|,y^{″})$ is a bounded non-negative function in ${\mathbb{R}}^{+}\times {\mathbb{R}}^{N?2}$. By combining a finite reduction argument and local Pohozaev type of identities, we prove that if $N\ge 5$ and $r^{2}V(r,y^{″})$ has a stable critical point $(r_0,y_0^{″})$ with $r_0>0$ and $V(r_0,y_0^{″})>0$, then the above problem has infinitely many solutions. This paper overcomes the difficulty appearing in using the standard reduction method to locate the concentrating points of the solutions.     

Higher genus Kashiwara–Vergne problems and the Goldman–Turaev Lie bialgebra

We define a family ${\mathrm{KV}}^{(g,n+1)}$ of Kashiwara–Vergne problems associated with compact connected oriented 2-manifolds of genus g with $n+1$ boundary components. The problem ${\mathrm{KV}}^{(0,3)}$ is the classical Kashiwara–Vergne problem from Lie theory. We show the existence of solutions to ${\mathrm{KV}}^{(g,n+1)}$ for arbitrary g and n. The key point is the solution to ${\mathrm{KV}}^{(1,1)}$ based on the results by B. Enriquez on elliptic associators. Our construction is motivated by applications to the formality problem for the Goldman–Turaev Lie bialgebra ${\mathfrak{g}}^{(g,n+1)}$. In more detail, we show that every solution to ${\mathrm{KV}}^{(g,n+1)}$ induces a Lie bialgebra isomorphism between ${\mathfrak{g}}^{(g,n+1)}$ and its associated graded $\mathrm{gr}{\mathfrak{g}}^{(g,n+1)}$. For $g=0$, a similar result was obtained by G. Massuyeau using the Kontsevich integral. For $g\ge 1$, $n=0$, our results imply that the obstruction to surjectivity of the Johnson homomorphism provided by the Turaev cobracket is equivalent to the Enomoto–Satoh obstruction.     

Weak version of restriction estimates for spheres and paraboloids in finite fields

We study $L^p-L^r$ restriction estimates for algebraic varieties in d-dimensional vector spaces over finite fields. Unlike the Euclidean case, if the dimension d is even, then it is conjectured that the $L^{(2d+2)/(d+3)}-L^2$ Stein–Tomas restriction result can be improved to the $L^{(2d+4)/(d+4)}-L^2$ estimate for both spheres and paraboloids in finite fields. In this paper we show that the conjectured $L^p-L^2$ restriction estimate holds in the specific case when test functions under consideration are restricted to d-coordinate functions or homogeneous functions of degree zero. To deduce our result, we use the connection between the restriction phenomena for our varieties in d dimensions and those for homogeneous varieties in $(d+1)$ dimensions.     

Unique continuation for first-order systems with integrable coefficients and applications to elasticity and plasticity

Let $\Omega ?{\mathbb{R}}^N$ be a Lipschitz domain and Γ be a relatively open and non-empty subset of its boundary ?Ω. We show that the solution to the linear first-order system:(1)$\mathrm{?}\zeta =G\zeta ,\zeta {|}_{\Gamma }=0,$ vanishes if $G\in {\mathsf{L}}^1(\Omega ;{\mathbb{R}}^{(N\times N)\times N})$ and $\zeta \in {\mathsf{W}}^{1,1}(\Omega ;{\mathbb{R}}^N)$. In particular, square-integrable solutions ζ of (1) with $G\in {\mathsf{L}}^1\cap {\mathsf{L}}^2(\Omega ;{\mathbb{R}}^{(N\times N)\times N})$ vanish. As a consequence, we prove that:$???:{\mathsf{C}}_{°}^{\infty }(\Omega ,\Gamma ;{\mathbb{R}}^3)\to [0,\infty ),u?6\mathrm{sym}\left(\mathrm{?}u{P}^{?1}\right)6_{{\mathsf{L}}^2(\Omega )}$ is a norm if $P\in {\mathsf{L}}^{\infty }(\Omega ;{\mathbb{R}}^{3\times 3})$ with $\mathrm{Curl}P\in {\mathsf{L}}^p(\Omega ;{\mathbb{R}}^{3\times 3})$, $\mathrm{Curl}{P}^{?1}\in {\mathsf{L}}^q(\Omega ;{\mathbb{R}}^{3\times 3})$ for some $p,q>1$ with $1/p+1/q=1$ as well as $\det P?c^{+}>0$. We also give a new and different proof for the so-called ‘infinitesimal rigid displacement lemma’ in curvilinear coordinates: Let $\Phi \in {\mathsf{H}}^1(\Omega ;{\mathbb{R}}^3)$, $\Omega ?{\mathbb{R}}^3$, satisfy $\mathrm{sym}(\mathrm{?}{\Phi }^{?}\mathrm{?}\Psi )=0$ for some $\Psi \in {\mathsf{W}}^{1,\infty }(\Omega ;{\mathbb{R}}^3)\cap {\mathsf{H}}^2(\Omega ;{\mathbb{R}}^3)$ with $\det \mathrm{?}\Psi ?c^{+}>0$. Then there exists a constant translation vector $a\in {\mathbb{R}}^3$ and a constant skew-symmetric matrix $A\in \mathfrak{so}(3)$, such that $\Phi =A\Psi +a$.     

Nodal standing waves for a gauged nonlinear Schrödinger equation in R2

This paper investigates the existence and asymptotic behavior of nodal solutions to the following gauged nonlinear Schrödinger equation

$\{\begin{array}{c}?\mathrm{\Delta }u+\omega u+(\frac{h^2(\left|x\right|)}{{\left|x\right|}^2}+\underset{\left|x\right|}{\overset{+\infty }{\int }}\frac{h(s)}{s}{u}^2(s)ds)u=\lambda {\left|u\right|}^{p?2}u,x\in {\mathbb{R}}^2,\hfill \\ u(x)=u(|x|)\in H^1({\mathbb{R}}^2),\hfill \end{array}$

where $\omega ,\lambda >0$, $p>6$ and

$h(s)=\frac{1}{2}\underset{0}{\overset{s}{\int }}r{u}^2(r)dr$

is the so-called Chern–Simons term. We prove that for any positive integer k, the problem has a sign-changing solution ${u^{\lambda }}_k$ which changes sign exactly k times. Moreover, the energy of $u_k^{\lambda }$ is strictly increasing in k, and for any sequence $\{{\lambda }_n\}\to +\infty (n\to \infty )$, there exists a subsequence $\{{\lambda }_{n_s}\}$, such that ${({\lambda }_{n_s})}^{\frac{1}{p?2}}{u}_k^{{\lambda }_{n_s}}$ converges in $H^1({\mathbb{R}}^2)$ to $w_k$ as $s\to \infty$, where $w_k$ also changes sign exactly k times and solves the following equation

$?\mathrm{\Delta }u+\omega u=|u{|}^{p?2}u,u\in H^1({\mathbb{R}}^2).$

     

Parametric CR-umbilical locus of ellipsoids in C2

For every real numbers $a?1$, $b?1$ with $(a,b)\ne (1,1)$, the curve parametrized by $\theta \in \mathbb{R}$ valued in ${\mathbb{C}}^2?{\mathbb{R}}^4$

$\gamma :\theta ?(x(\theta )+\sqrt{?1}y(\theta ),u(\theta )+\sqrt{?1}v(\theta ))$

with components:

$\begin{array}{c}x(\theta ):=\sqrt{\frac{a?1}{a(ab?1)}}\cos ?\theta ,y(\theta ):=\sqrt{\frac{b(a?1)}{ab?1}}\sin ?\theta ,\hfill \\ u(\theta ):=\sqrt{\frac{b?1}{b(ab?1)}}\sin ?\theta ,v(\theta ):=?\sqrt{\frac{a(b?1)}{ab?1}}\cos ?\theta ,\hfill \end{array}$

has image contained in the CR-umbilical locus:

$\gamma (\mathbb{R})?\mathsf{UmbCR}\left({\mathsf{E}}_{a,b}\right)?{\mathsf{E}}_{a,b}$

of the ellipsoid ${\mathsf{E}}_{a,b}?{\mathbb{C}}^2$ of equation $a{x}^2+y^2+b{u}^2+v^2=1$, where the CR-umbilical locus of a Levi nondegenerate hypersurface $M^3?{\mathbb{C}}^2$ is the set of points at which the Cartan curvature of M vanishes.     

A Schauder and Riesz basis criterion for non-self-adjoint Schrödinger operators with periodic and antiperiodic boundary conditions

Under the assumption that $V\in L^2([0,\pi ];dx)$, we derive necessary and sufficient conditions in terms of spectral data for (non-self-adjoint) Schrödinger operators $?d^2/d{x}^2+V$ in $L^2([0,\pi ];dx)$ with periodic and antiperiodic boundary conditions to possess a Riesz basis of root vectors (i.e., eigenvectors and generalized eigenvectors spanning the range of the Riesz projection associated with the corresponding periodic and antiperiodic eigenvalues).We also discuss the case of a Schauder basis for periodic and antiperiodic Schrödinger operators $?d^2/d{x}^2+V$ in $L^p([0,\pi ];dx)$, $p\in (1,\infty )$.     

Homogenization of a Dirichlet semilinear elliptic problem with a strong singularity at u = 0 in a domain with many small holes

In the present paper we perform the homogenization of the semilinear elliptic problem

$\{\begin{array}{cc}{u}^{\epsilon }\ge 0\hfill & \text{in}{\mathrm{\Omega }}^{\epsilon },\hfill \\ ?divA(x)D{u}^{\epsilon }=F(x,u^{\epsilon })\hfill & \text{in}{\mathrm{\Omega }}^{\epsilon },\hfill \\ u^{\epsilon }=0\hfill & \text{on}?{\mathrm{\Omega }}^{\epsilon }.\hfill \end{array}$

In this problem $F(x,s)$ is a Carathéodory function such that $0\le F(x,s)\le h(x)/\mathrm{\Gamma }(s)$ a.e. $x\in \mathrm{\Omega }$ for every $s>0$, with h in some $L^r(\mathrm{\Omega })$ and Γ a $C^1([0,+\infty [)$ function such that $\mathrm{\Gamma }(0)=0$ and ${\mathrm{\Gamma }}^{\prime }(s)>0$ for every $s>0$. On the other hand the open sets ${\mathrm{\Omega }}^{\epsilon }$ are obtained by removing many small holes from a fixed open set Ω in such a way that a “strange term” $\mu u^0$ appears in the limit equation in the case where the function $F(x,s)$ depends only on x.We already treated this problem in the case of a “mild singularity”, namely in the case where the function $F(x,s)$ satisfies $0\le F(x,s)\le h(x)(\frac{1}{s}+1)$. In this case the solution $u^{\epsilon }$ to the problem belongs to $H_0^1({\mathrm{\Omega }}^{\epsilon })$ and its definition is a “natural” and rather usual one.In the general case where $F(x,s)$ exhibits a “strong singularity” at $u=0$, which is the purpose of the present paper, the solution $u^{\epsilon }$ to the problem only belongs to $H_{\text{loc}}^1({\mathrm{\Omega }}^{\epsilon })$ but in general does not belong to $H_0^1({\mathrm{\Omega }}^{\epsilon })$ anymore, even if $u^{\epsilon }$ vanishes on $?{\mathrm{\Omega }}^{\epsilon }$ in some sense. Therefore we introduced a new notion of solution (in the spirit of the solutions defined by transposition) for problems with a strong singularity. This definition allowed us to obtain existence, stability and uniqueness results.In the present paper, using this definition, we perform the homogenization of the above semilinear problem and we prove that in the homogenized problem, the “strange term” $\mu u^0$ still appears in the left-hand side while the source term $F(x,u^0)$ is not modified in the right-hand side.