Translational absolute continuity and Fourier frames on a sum of singular measures

A finite Borel measure μ in ${\mathbb{R}}^d$ is called a frame-spectral measure if it admits an exponential frame (or Fourier frame) for $L^2(\mu )$. It has been conjectured that a frame-spectral measure must be translationally absolutely continuous, which is a criterion describing the local uniformity of a measure on its support. In this paper, we show that if any measures ν and λ without atoms whose supports form a packing pair, then $\nu ?\lambda +{\delta }_t?\nu$ is translationally singular and it does not admit any Fourier frame. In particular, we show that the sum of one-fourth and one-sixteenth Cantor measure ${\mu }_4+{\mu }_{16}$ does not admit any Fourier frame. We also interpolate the mixed-type frame-spectral measures studied by Lev and the measure we studied. In doing so, we demonstrate a discontinuity behavior: For any anticlockwise rotation mapping $R_{\theta }$ with $\theta \ne \pm \pi /2$, the two-dimensional measure ${\rho }_{\theta }(?):=({\mu }_4\times {\delta }_0)(?)+({\delta }_0\times {\mu }_{16})(R_{\theta }^{?1}?)$, supported on the union of x-axis and $y=(\cot ?\theta )x$, always admit a Fourier frame. Furthermore, we can find ${\{e^{2\pi i〈\lambda ,x〉}\}}_{\lambda \in {\mathrm{\Lambda }}_{\theta }}$ such that it forms a Fourier frame for ${\rho }_{\theta }$ with frame bounds independent of θ. Nonetheless, ${\rho }_{\pm \pi /2}$ does not admit any Fourier frame.     

Un contre-exemple pour un espace d'interpolation qui n'est pas faiblement LUR

According to a previous result of the author, if $(A_0,A_1)$ is an interpolation couple, if $A_0^{?}$ is weakly LUR, then the complex interpolation spaces ${(A_0^{?},A_1^{?})}_{\theta }$ have the same property.Here we construct an interpolation couple $(B_0,B_1)$ where $B_0$ is LUR, but where the complex interpolation spaces ${(B_0,B_1)}_{\theta }$ are not strictly convex.     

Periodicity in a nonlinear discrete predator–prey system with state dependent delays

With the help of a continuation theorem based on Gaines and Mawhin's coincidence degree, easily verifiable criteria are established for the global existence of positive periodic solutions of the following nonlinear discrete state dependent delays predator–prey systemwhere $a_i,c_j,d_i:Z\to R^{+}$ are positive $\omega$-periodic, $\omega$ is a fixed positive integer. $b_1,b_2:Z\to R^{+}$ are $\omega$-periodic and ${\sum }_{k=0}^{\omega -1}{b}_i(k)>0$. ${\tau }_i,{\sigma }_j,{\rho }_i:Z\times R\times R\to R(i=1,2,\dots ,n,j=1,2,\dots ,m)$ are $\omega$-periodic with respect to their first arguments, respectively. ${\alpha }_i,{\beta }_j,{\gamma }_i(i=1,2,\dots ,n,j=1,2,\dots ,m)$ are positive constants.     

Partitions of natural numbers with the same weighted representation functions

TextFor any given two positive integers $k_1$ and $k_2$, and any set A of nonnegative integers, let $r_{k_1,k_2}(A,n)$ denote the number of solutions of the equation $n=k_1{a}_1+k_2{a}_2$ with $a_1,a_2\in A$. In this paper, we determine all pairs $k_1,k_2$ of positive integers for which there exists a set $A?\mathbb{N}$ such that $r_{k_1,k_2}(A,n)=r_{k_1,k_2}(\mathbb{N}?A,n)$ for all $n?n_0$. We also pose several problems for further research.VideoFor a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=EnezEsJl0OY.     

Dynamics of epidemics in homogeneous/heterogeneous populations and the spreading of multiple inter-related infectious diseases: Constant-sign periodic solutions for the discrete model

We consider the following model that describes the dynamics of epidemics in homogeneous/heterogeneous populations as well as the spreading of multiple inter-related infectious diseases:$u_i(k)=\sum _{\ell =k-{\tau }_i}^{k-1}{g}_i(k,\ell )f_i(\ell ,u_1(\ell ),u_2(\ell ),\dots ,u_n(\ell )),k\in \mathbf{Z},1⩽i⩽n\text{.}$Our aim is to establish criteria such that the above system has one or multiple constant-sign periodic solutions $(u_1,u_2,\dots ,u_n)$, i.e., for each $1⩽i⩽n$, $u_i$ is periodic and ${\theta }_i{u}_i⩾0$ where ${\theta }_i\in \{1,-1\}$ is fixed. Examples are also included to illustrate the results obtained.     

On the distance between linear codes

Let V be an n-dimensional vector space over the finite field consisting of q elements and let ${\mathrm{\Gamma }}_k(V)$ be the Grassmann graph formed by k-dimensional subspaces of V, $1<k<n-1$. Denote by $\mathrm{\Gamma }{(n,k)}_q$ the restriction of ${\mathrm{\Gamma }}_k(V)$ to the set of all non-degenerate linear ${[n,k]}_q$ codes. We show that for any two codes the distance in $\mathrm{\Gamma }{(n,k)}_q$ coincides with the distance in ${\mathrm{\Gamma }}_k(V)$ only in the case when $n<{(q+1)}^2+k-2$, i.e. if n is sufficiently large then for some pairs of codes the distances in the graphs ${\mathrm{\Gamma }}_k(V)$ and $\mathrm{\Gamma }{(n,k)}_q$ are distinct. We describe one class of such pairs.     

Properties of Beurling-type submodules via Agler decompositions

In this paper, we study operator-theoretic properties of the compressed shift operators $S_{z_1}$ and $S_{z_2}$ on complements of submodules of the Hardy space over the bidisk $H^2({\mathbb{D}}^2)$. Specifically, we study Beurling-type submodules – namely submodules of the form $\theta H^2({\mathbb{D}}^2)$ for θ inner – using properties of Agler decompositions of θ to deduce properties of $S_{z_1}$ and $S_{z_2}$ on model spaces $H^2({\mathbb{D}}^2)?\theta H^2({\mathbb{D}}^2)$. Results include characterizations (in terms of θ) of when a commutator $[S_{z_j}^{?},S_{z_j}]$ has rank n and when subspaces associated to Agler decompositions are reducing for $S_{z_1}$ and $S_{z_2}$. We include several open questions.     

Gagliardo–Nirenberg inequalities and non-inequalities: The full story

We investigate the validity of the Gagliardo–Nirenberg type inequality

(1)${6f6}_{W^{s,p}(\mathrm{\Omega })}?{6f6}_{W^{s_1,p_1}(\mathrm{\Omega })}^{\theta }{6f6}_{W^{s_2,p_2}(\mathrm{\Omega })}^{1?\theta },$

with $\mathrm{\Omega }?{\mathbb{R}}^N$. Here, $0\le s_1\le s\le s_2$ are non negative numbers (not necessarily integers), $1\le p_1,p,p_2\le \infty$, and we assume the standard relations

$s=\theta s_1+(1?\theta )s_2,1/p=\theta /p_1+(1?\theta )/p_2\text{ for some }\theta \in (0,1).$

By the seminal contributions of E. Gagliardo and L. Nirenberg, (1) holds when $s_1,s_2,s$ are integers. It turns out that (1) holds for “most” of values of $s_1,\dots ,p_2$, but not for all of them. We present an explicit condition on $s_1,s_2,p_1,p_2$ which allows to decide whether (1) holds or fails.     

The zero-one law for a complete orthonormal system

A complete orthonormal system of functions $\Theta ={\left\{{\theta }_n\right\}}_{n=1}^{\infty }\text{,}{\theta }_n\in L_{[0\text{,}1]}^{\infty }$ is constructed such that ${\sum }_{n=1}^{\infty }{a}_n{\theta }_n$ converges almost everywhere on $[0\text{,}1]$ if ${\left\{a_n\right\}}_{n=1}^{\infty }\in l^2$ and ${\sum }_{n=1}^{\infty }{a}_n{\theta }_n$ diverges a.e. for any ${\left\{a_n\right\}}_{n=1}^{\infty }?l^2$. We also show that for any complete ONS ${\left\{f_n\right\}}_{n=1}^{\infty }$ of functions defined on $[0\text{,}1]$ there exists a fixed non decreasing subsequence ${\left\{n_k\right\}}_{k=1}^{\infty }$ of natural numbers such that for any $f\in L_{[0\text{,}1]}^0$ and some sequence of coefficients ${\left\{b_n\right\}}_{n=1}^{\infty }$,

$\sum _{n=1}^{n_k}{b}_n{f}_n\to f\text{a.e. when}k\to \infty \text{.}$

To cite this article: K. Kazarian, C. R. Acad. Sci. Paris, Ser. I 339 (2004).