Related papers: Dense analytic subspaces in fractal $L^{2}$-spaces

Let $\mu$ be a self-similar measure generated by an IFS $\Phi=\{\phi_i\}_{i=1}^\ell$ of similarities on $\mathbb R^d$ ($d\ge 1$). When $\Phi$ is dimensional regular (see Definition~1.1), we give an explicit formula for the $L^q$-spectrum…

Let $(M,g)$ be a compact, connected Riemannian manifold of dimension $n\ge 2$, and let $\{e_j\}_{j=0}^\infty$ be an orthonormal basis of Laplace eigenfunctions $-\Delta_g e_j=\lambda_j^2 e_j$. Given a finite Borel measure $\mu$ on $M$,…

Let $\mu$ be a self-affine measure on $\mathbb{R}^{d}$ associated to a self-affine IFS $\{\varphi_{\lambda}(x) = A_{\lambda}x + v_{\lambda}\}_{\lambda\in\Lambda}$ and a probability vector $p=(p_{\lambda})_{\lambda}>0$. Assume the strong…

In this article we prove that for any orthonormal system $(\vphi_j)_{j=1}^n \subset L_2$ that is bounded in $L_{\infty}$, and any $1 < k <n$, there exists a subset $I$ of cardinality greater than $n-k$ such that on $\spa\{\vphi_i\}_{i \in…

For a Borel probability measure $\mu$ on $\mathbb{R}^{n}$, it is called a spectral measure if the Hilbert space $L^{2}(\mu)$ admits an orthogonal basis of exponential functions. In this paper, we study the spectrality of fractal measures…

We study self-similar measures in $\mathbb{R}$ satisfying the weak separation condition along with weak technical assumptions which are satisfied in all known examples. For such a measure $\mu$, we show that there is a finite set of concave…

We prove that if $\mu$ is a self-affine measure in the plane whose defining IFS acts totally irreducibly on $\mathbb{RP}^1$ and satisfies an exponential separation condition, then its dimension is equal to its Lyapunov dimension. We also…

In this paper, we consider the non-spectral problem for the planar self-affine measures $\mu_{M,D}$ generated by an expanding integer matrix $M\in M_2(\mathbb{Z})$ and a finite digit set $D\subset\mathbb{Z}^2$. Let $p\geq2$ be a positive…

Motivated by problems on Brownian motion, we introduce a recursive scheme for a basis construction in the Hilbert space L^2(0,1) which is analogous to that of Haar and Walsh. More generally, we find a new decomposition theory for the…

Let $\mu$ be a Borel probability measure with compact support. We consider exponential type orthonormal bases, Riesz bases and frames in $L^2(\mu)$. We show that if $L^2(\mu)$ admits an exponential frame, then $\mu$ must be of pure type. We…

We consider \textit{additive spaces}, consisting of two intervals of unit length or two general probability measures on ${\mathbb R}^1$, positioned on the axes in ${\mathbb R}^2$, with a natural additive measure $\rho$. We study the…

Let $\mu$ be a self-affine measure on $\mathbb{R}^{d}$ associated to an affine IFS $\Phi$ and a positive probability vector $p$. Suppose that the maps in $\Phi$ do not have a common fixed point, and that standard irreducibility and…

We show that if $\mu$ is a self-affine measure on the plane defined by an iterated function system of contractions with diagonal linear parts, then under an irrationality assumption on the entries of the linear parts, $$ \dim_{\rm H} \mu…

Let $\mu$ be a self-similar measure satisfying the finite type condition. It is known that the set of attainable local dimensions for such a measure is a union of disjoint intervals, where some intervals may be degenerate points. Despite…

In this paper we prove disintegration results for self-conformal measures and affinely irreducible self-similar measures. The measures appearing in the disintegration resemble self-conformal/self-similar measures for iterated function…

In this paper we show that if $\mu$ is any locally and uniformly $\alpha$-dimensional measure supported on a $\alpha$-quasi-regular set $E$, then $L^2(\mu)$ admits a frame of exponentials. In particular, for the uniform middle third Cantor…

For each integer $k>0$, let $n_k$ and $m_k$ be integers such that $n_k\geq 2, m_k\geq 2$, and let $\mathcal{D}_k$ be a subset of $\{0,\dots,n_k-1\}\times \{0,\dots,m_k-1\}$. For each $w=(i,j)\in \mathcal{D}_k$, we define an affine…

Let $R$ be an expanding matrix with integer entries and let $B,L$ be finite integer digit sets so that $(R,B,L)$ form a Hadamard triple on ${\br}^d$ in the sense that the matrix $$ \frac{1}{\sqrt{|\det R|}}\left[e^{2\pi i \langle…

For a compactly supported absolutely continuous measure $\mu$ on ${\mathbb{R}}^2$ having a density function equal to a finite linear combination of indicator functions of rectangles $\left[a_{i}, b_{i}\right]\times \left[c_{i},…

Let $\mu$ be a non-atomic self-similar measure on $\mathbb{R}$, and let $\nu$ be its pushforward to a non-degenerate curve in $\mathbb{R}^d, d\geq 1$. We show that for every $\epsilon>0$, there is $p>1$, so that $\left \lVert \hat{\nu}…