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 )$.     

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.     

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.     

The nonlinear complexity of level sequences over Z/(4)

For any sequence $\underline{a}$ over $\mathrm{Z}/(2^2)$, there is an unique 2-adic expansion $\underline{a}={\underline{a}}_0+{\underline{a}}_1·2$, where ${\underline{a}}_0$ and ${\underline{a}}_1$ are sequences over $\{0,1\}$ and can be regarded as sequences over the binary field $\mathit{GF}(2)$ naturally. We call ${\underline{a}}_0$ and ${\underline{a}}_1$ the level sequences of $\underline{a}$. Let $f(x)$ be a primitive polynomial of degree $n$ over $\mathrm{Z}/(2^2)$, and $\underline{a}$ be a primitive sequence generated by $f(x)$. In this paper, we discuss how many bits of ${\underline{a}}_1$ can determine uniquely the original primitive sequence $\underline{a}$. This issue is equivalent with one to estimate the whole nonlinear complexity, $\mathit{NL}(f(x),2^2)$, of all level sequences of $f(x)$. We prove that $4n$ is a tight upper bound of $\mathit{NL}(f(x),2^2)$ if $f(x)(\mathrm{mod}2)$ is a primitive trinomial over $\mathit{GF}(2)$. Moreover, the experimental result shows that $\mathit{NL}(f(x),2^2)$ varies around $4n$ if $f(x)(\mathrm{mod}2)$ is a primitive polynomial over $\mathit{GF}(2)$. From this result, we can deduce that $\mathit{NL}(f(x),2^2)$ is much smaller than $L(f(x),2^2)$, where $L(f(x),2^2)$ is the linear complexity of level sequences of $f(x)$.     

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$.     

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.     

On the positive radial solutions of a class of singular semilinear elliptic equations

In this paper, we consider the following elliptic equation(0.1)$\mathit{div}\left(A\right(|x|\left)\mathrm{?}u\right)+B(|x|)u^p=0\text{in}{\mathbb{R}}^n,$ where $p>1$, $n?3$, $A(|x|)>0$ is differentiable in ${\mathbb{R}}^n?\{0\}$ and $B(|x|)$ is a given nonnegative Hölder continuous function in ${\mathbb{R}}^n?\{0\}$. The asymptotic behavior at infinity and structure of separation property of positive radial solutions with different initial data for (0.1) are discussed. Moreover, the existence and separation property of infinitely many positive solutions for Hardy equation and an equation related to Caffarelli–Kohn–Nirenberg inequality are obtained respectively, as special cases.     

On Birman's sequence of Hardy–Rellich-type inequalities

In 1961, Birman proved a sequence of inequalities $\{I_n\}$, for $n\in \mathbb{N}$, valid for functions in $C_0^n((0,\infty ))?L^2((0,\infty ))$. In particular, $I_1$ is the classical (integral) Hardy inequality and $I_2$ is the well-known Rellich inequality. In this paper, we give a proof of this sequence of inequalities valid on a certain Hilbert space $H_n([0,\infty ))$ of functions defined on $[0,\infty )$. Moreover, $f\in H_n([0,\infty ))$ implies $f^{\prime }\in H_{n?1}([0,\infty ))$; as a consequence of this inclusion, we see that the classical Hardy inequality implies each of the inequalities in Birman's sequence. We also show that for any finite $b>0$, these inequalities hold on the standard Sobolev space $H_0^n((0,b))$. Furthermore, in all cases, the Birman constants ${[(2n?1)!!]}^2/2^{2n}$ in these inequalities are sharp and the only function that gives equality in any of these inequalities is the trivial function in $L^2((0,\infty ))$ (resp., $L^2((0,b))$). We also show that these Birman constants are related to the norm of a generalized continuous Cesàro averaging operator whose spectral properties we determine in detail.     

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.