Let $\mu _{M,D}$ be the self-similar measure generated by $M=RN^q$ and the product-form digit set $D=\{0,1,\ldots ,N-1\}\oplus N^{p_1}\{0,1,\ldots ,N-1\}\oplus \cdots \oplus N^{p_s}\{0,1,\ldots ,N-1\}$, where $R\geq 2$, $N\geq 2$, q, $p_i(1\leq i\leq s)$ are integers with $\gcd (R,N)=1$ and $1\leq p_1<p_2<\cdots <p_s<q$. In this paper, we first show that $\mu _{M,D}$ is a spectral measure with a model spectrum $\Lambda $. Then, we completely settle two types of spectral eigenvalue problems for $\mu _{M,D}$. In the first case, for a real t, we give a necessary and sufficient condition under which $t\Lambda $ is also a spectrum of $\mu _{M,D}$. In the second case, we characterize all possible real numbers t such that $\Lambda '\subset \mathbb {R}$ and $t\Lambda '$ are both spectra of $\mu _{M,D}$.

We construct two families of orthogonal polynomials associated with the universal central extensions of the superelliptic Lie algebras. These polynomials satisfy certain fourth-order linear differential equations, and one of the families is a particular collection of associated ultraspherical polynomials. We show that the generating functions of the polynomials satisfy fourth-order linear PDEs. Since these generating functions can be represented by superelliptic integrals, we have examples of linear PDEs of fourth order with explicit solutions without complete integrability.

The Moment-SOS hierarchy, first introduced in optimization in 2000, is based on the theory of the S-moment problem and its dual counterpart: polynomials that are positive on S. It turns out that this methodology can also be used to solve problems with positivity constraints ‘f(x) ≥ 0 for all $\mathbf{x}\in S$’ or linear constraints on Borel measures. Such problems can be viewed as specific instances of the generalized moment problem (GMP), whose list of important applications in various domains of science and engineering is almost endless. We describe this methodology in optimization and also in two other applications for illustration. Finally we also introduce the Christoffel function and reveal its links with the Moment-SOS hierarchy and positive polynomials.

Let $\{b_n\}_{n=1}^{\infty }$ be a sequence of integers larger than 1. We will study the harmonic analysis of the equal-weighted Moran measures $\mu _{\{b_n\},\{{\mathcal D}_n\}}$ with ${\mathcal D}_n=\{0,1,2,\ldots ,q_n-1\}$, where $q_n$ divides $b_n$ for all $n\geq 1.$ In this paper, we first characterize all the maximal orthogonal sets of $L^2(\mu _{\{b_n\},\{{\mathcal D}_n\}})$ via a tree mapping. By this characterization, we give some sufficient conditions for the maximal orthogonal set to be an orthonormal basis.

We provide conditions under which a generalized shift-invariant (GSI) system can be approximated by a GSI system for which the generators have compact support in the Fourier domain. The approximation quality will be measured in terms of the Bessel bound (upper frame bound) for the difference between the two GSI systems. In particular, this leads to easily verifiable conditions for a perturbation of a GSI system to preserve the frame property.

Although Naimark dilation theorem was originally stated in 1940, it still finds many important applications in various areas. The objective of this paper is to introduce a method for explicitly constructing the vectors of complementary frames in the Naimark dilation theorem, specifically in cases where the initial Parseval frame contains a Riesz basis as a subset. These findings serve as a foundation for the construction of dual frames.

Given a Borel probability measure µ on $\mathbb{R}^n$ and a real matrix $R\in M_n(\mathbb{R})$. We call R a spectral eigenmatrix of the measure µ if there exists a countable set $\Lambda\subset \mathbb{R}^n$ such that the sets $E_\Lambda=\big\{{\rm e}^{2\pi i \langle\lambda,x\rangle}:\lambda\in \Lambda\big\}$ and $E_{R\Lambda}=\big\{{\rm e}^{2\pi i \langle R\lambda,x\rangle}:\lambda\in \Lambda\big\}$ are both orthonormal bases for the Hilbert space $L^2(\mu)$. In this paper, we study the structure of spectral eigenmatrix of the planar self-affine measure $\mu_{M,D}$ generated by an expanding integer matrix $M\in M_2(2\mathbb{Z})$ and the four-elements digit set $D = \{(0,0)^t,(1,0)^t,(0,1)^t,(-1,-1)^t\}$. Some sufficient and/or necessary conditions for R to be a spectral eigenmatrix of $\mu_{M,D}$ are given.

We consider a general twisted shift-invariant system, $V^{t}(\mathcal {A})$, consisting of twisted translates of countably many generators and study the problem of obtaining a characterization for the system $V^{t}(\mathcal {A})$ to form a frame sequence or a Riesz sequence. We illustrate our theory with some examples. In addition to these results, we study a dual twisted shift-invariant system and also obtain an orthonormal sequence of twisted translates from a given Riesz sequence of twisted translates.

In this paper, we construct explicit exponential bases of unions of segments of total measure one. Our construction applies to finite or infinite unions of segments, with some conditions on the gaps between them. We also construct exponential bases on finite or infinite unions of cubes in $\mathbb {R}^d$ and prove a stability result for unions of segments that generalize Kadec’s $\frac 14$-theorem.

We consider the spectral analysis of several examples of bilateral birth–death processes and compute explicitly the spectral matrix and the corresponding orthogonal polynomials. We also use the spectral representation to study some probabilistic properties of the processes, such as recurrence, the invariant distribution (if it exists), and the probability current.

Let $\{R_{k}\}_{k=1}^{\infty }$ be a sequence of expanding integer matrices in $M_{n}(\mathbb {Z})$, and let $\{D_{k}\}_{k=1}^{\infty }$ be a sequence of finite digit sets with integer vectors in ${\mathbb Z}^{n}$. In this paper, we prove that under certain conditions in terms of $(R_{k},D_{k})$ for $k\ge 1$, the Moran measure

$$ \begin{align*} \mu_{\{R_{k}\},\{D_{k}\}}:=\delta_{R_{1}^{-1}D_{1}}\ast\delta_{R_{1}^{-1}R_{2}^{-1}D_{2}}\ast\cdots \end{align*} $$

$(R,D)$

This work is devoted to the study of uncertainty principles for finite combinations of Hermite functions. We establish some spectral inequalities for control subsets that are thick with respect to some unbounded densities growing almost linearly at infinity, and provide quantitative estimates, with respect to the energy level of the Hermite functions seen as eigenfunctions of the harmonic oscillator, for the constants appearing in these spectral estimates. These spectral inequalities allow us to derive the null-controllability in any positive time for evolution equations enjoying specific regularizing effects. More precisely, for a given index $\frac {1}{2} \leq \mu <1$, we deduce sufficient geometric conditions on control subsets to ensure the null-controllability of evolution equations enjoying regularizing effects in the symmetric Gelfand–Shilov space $S^{\mu }_{\mu }(\mathbb {R}^{n})$. These results apply in particular to derive the null-controllability in any positive time for evolution equations associated to certain classes of hypoelliptic non-self-adjoint quadratic operators, or to fractional harmonic oscillators.

$\bar {\partial } $-extension of the matrix Riemann–Hilbert method is used to study asymptotics of the polynomials $ P_n(z) $ satisfying orthogonality relations

$$ \begin{align*} \int_{-1}^1 x^lP_n(x)\frac{\rho(x)dx}{\sqrt{1-x^2}}=0, \quad l\in\{0,\ldots,n-1\}, \end{align*} $$

where $ \rho (x) $ is a positive $ m $ times continuously differentiable function on $ [-1,1] $, $ m\geq 3 $.

Gabardo and Nashed [‘Nonuniform multiresolution analyses and spectral pairs’, J. Funct. Anal. 158(1) (1998), 209–241] have introduced the concept of nonuniform multiresolution analysis (NUMRA), based on the theory of spectral pairs, in which the associated translated set $\Lambda =\{0,{r}/{N}\}+2\mathbb Z$ is not necessarily a discrete subgroup of $\mathbb{R}$, and the translation factor is $2\textrm{N}$. Here r is an odd integer with $1\leq r\leq 2N-1$ such that r and N are relatively prime. The nonuniform wavelets associated with NUMRA can be used in signal processing, sampling theory, speech recognition and various other areas, where instead of integer shifts nonuniform shifts are needed. In order to further generalize this useful NUMRA, we consider the set $\widetilde {\Lambda }=\{0,{r_1}/{N},{r_2}/{N},\ldots ,{r_q}/{N}\}+s\mathbb Z$, where s is an even integer, $q\in \mathbb {N}$, $r_i$ is an integer such that $1\leq r_i\leq sN-1,\,(r_i,N)=1$ for all i and $N\geq 2$. In this paper, we prove that the concept of NUMRA with the translation set $\widetilde {\Lambda }$ is possible only if $\widetilde {\Lambda }$ is of the form $\{0,{r}/{N}\}+s\mathbb Z$. Next we introduce $\Lambda _s$-nonuniform multiresolution analysis ($\Lambda _s$-NUMRA) for which the translation set is $\Lambda _s=\{0,{r}/{N}\}+s\mathbb Z$ and the dilation factor is $sN$, where s is an even integer. Also, we characterize the scaling functions associated with $\Lambda _s$-NUMRA and we give necessary and sufficient conditions for wavelet filters associated with $\Lambda _s$-NUMRA.

This paper establishes the mapping properties of pseudo-differential operators and the Fourier integral operators on the weighted Morrey spaces with variable exponents and the weighted Triebel–Lizorkin–Morrey spaces with variable exponents. We obtain these results by extending the extrapolation theory to the weighted Morrey spaces with variable exponents. This extension also gives the mapping properties of Calderón–Zygmund operators on the weighted Hardy–Morrey spaces with variable exponents and the wavelet characterizations of the weighted Hardy–Morrey spaces with variable exponents.

A sequence $\left \{g_k\right \}_{k=1}^{\infty }$ in a Hilbert space ${\cal H}$ has the expansion property if each $f\in \overline {\text {span}} \left \{g_k\right \}_{k=1}^{\infty }$ has a representation $f=\sum _{k=1}^{\infty } c_k g_k$ for some scalar coefficients $c_k.$ In this paper, we analyze the question whether there exist small norm-perturbations of $\left \{g_k\right \}_{k=1}^{\infty }$ which allow to represent all $f\in {\cal H};$ the answer turns out to be yes for frame sequences and Riesz sequences, but no for general basic sequences. The insight gained from the analysis is used to address a somewhat dual question, namely, whether it is possible to remove redundancy from a sequence with the expansion property via small norm-perturbations; we prove that the answer is yes for frames $\left \{g_k\right \}_{k=1}^{\infty }$ such that $g_k\to 0$ as $k\to \infty ,$ as well as for frames with finite excess. This particular question is motivated by recent progress in dynamical sampling.

Let $M=$ diag $(\rho _1,\rho _2)\in M_{2}({\mathbb R})$ be an expanding matrix and Let $\{D_n\}_{n=1}^{\infty }$ be a sequence of digit sets with $D_n=\left \{(0, 0)^T,\,\,\,(a_n, 0 )^T, \,\,\, (0, b_n )^T \right \}$, where $a_n, b_n\in \{-1,1\}$. The associated Borel probability measure

$$ \begin{align*} \mu_{M,\{D_n\}}:=\delta_{M^{-1}D_1}\ast \delta_{M^{-2}D_2}\ast \delta_{M^{-3}D_3}\ast \cdots \end{align*} $$

$\mu _{M, \{D_n\}}$

$3\mid \rho _i$

$i=1, 2$

$a_n=b_n=1$

$n\in {\mathbb N}$

We prove an extension of Pisier’s inequality (1986) with a dimension-independent constant for vector-valued functions whose target spaces satisfy a relaxation of the UMD property.

For integers $p,b\geq 2$, let $D=\{0,1,\ldots ,b-1\}$ be a set of consecutive digits. It is known that the Cantor measure $\unicode[STIX]{x1D707}_{pb,D}$ generated by the iterated function system $\{(pb)^{-1}(x+d)\}_{x\in \mathbb{R},d\in D}$ is a spectral measure with spectrum

$$\begin{eqnarray}\unicode[STIX]{x1D6EC}(pb,S)=\bigg\{\mathop{\sum }_{j=0}^{\text{finite}}(pb)^{j}s_{j}:s_{j}\in S\bigg\},\end{eqnarray}$$

$S=pD$

$\unicode[STIX]{x1D70F}\in \mathbb{Z}$

$\unicode[STIX]{x1D70F}\unicode[STIX]{x1D6EC}(pb,S)$

$\unicode[STIX]{x1D707}_{pb,D}$

We prove that the HRT (Heil, Ramanathan, and Topiwala) Conjecture is equivalent to the conjecture that co-central translates of square-integrable functions on the Heisenberg group are linearly independent.