We determine all cases for which the $d$-dimensional Haar wavelet system $H^d$ on the unit cube $I^d$ is a conditional or unconditional Schauder basis in the classical isotropic Besov function spaces ${B}_{p,q,1}^s(I^d)$, $0<p,q<\infty$, $0\le s < 1/p$, defined in terms of first-order $L_p$ moduli of smoothness. We obtain similar results for the tensor-product Haar system $\tilde{H}^d$, and characterize the parameter range for which the dual of ${B}_{p,q,1}^s(I^d)$ is trivial for $0<p<1$.
We study Schauder basis properties for the Haar system in Besov spaces $B^s_{p,q}(\mathbb{R}^d)$. We give a complete description of the limiting cases, obtaining various positive results for $q\leq \min\{1,p\}$, and providing new counterexamples in other situations. The study is based on suitable estimates of the dyadic averaging operators $\mathbb{E}_N$; in particular we find asymptotically optimal growth rates for the norms of these operators in global and local situations.
Some Besov-type spaces $B^{s,τ}_{p,q}(\mathbb{R}^n)$ can be characterized in terms of the behavior of the Fourier--Haar coefficients. In this article, the authors discuss some necessary restrictions for the parameters $s$, $τ$, $p$, $q$ and $n$ of this characterization. Therefore, the authors measure the regularity of the characteristic function $\mathcal X$ of the unit cube in $\mathbb{R}^n$ via the Besov-type spaces $B^{s,τ}_{p,q}(\mathbb{R}^n)$. Furthermore, the authors study necessary and sufficient conditions such that the operation $\langle f, \mathcal{X} \rangle$ generates a continuous …
We characterize the Schauder and unconditional basis properties for the Haar system in the Triebel-Lizorkin spaces $F^s_{p,q}(\Bbb R^d)$, at the endpoint cases $s=1$, $s=d/p-d$ and $p=\infty$. Together with the earlier results in [10], [4], this completes the picture for such properties in the Triebel-Lizorkin scale, and complements a similar study for the Besov spaces given in [5].
We define a family of weak thresholding greedy algorithms for the multivariate Haar basis for $L_1[0,1]^d$ ($d \ge 1$). We prove convergence and uniform boundedness of the weak greedy approximants for all $f \in L_1[0,1]^d$.
In this paper we develop a theory of Besov and Triebel--Lizorkin spaces on general noncompact Lie groups endowed with a sub-Riemannian structure. Such spaces are defined by means of hypoelliptic sub-Laplacians with drift, and endowed with a measure whose density with respect to a right Haar measure is a continuous positive character of the group. We prove several equivalent characterizations of their norms, we establish comparison results also involving Sobolev spaces of recent introduction, and investigate their complex interpolation and algebra properties.
Besov regularity of multivariate non-periodic functions in terms of half-period cosine coefficients and consequences for recovery and numerical integration
We extend Strichartz's uncertainty principle [18] from the setting of the Sobolov space W 1,2 (R) to more general Besov spaces B 1/p p,1 (R). The main result gives an estimate from below of the trace of a function from the Besov space on a uniformly distributed discrete subset. We also prove the corresponding result in the multivariate case and discuss some applications to irregular approximate sampling in critical Besov spaces.
In this paper we introduce new function spaces which we call anisotropic hyperbolic Besov and Triebel-Lizorkin spaces. Their definition is based on a hyperbolic Littlewood-Paley analysis involving an anisotropy vector only occurring in the smoothness weights. Such spaces provide a general and natural setting in order to understand what kind of anisotropic smoothness can be described using hyperbolic wavelets (in the literature also sometimes called tensor-product wavelets), a wavelet class which hitherto has been mainly used to characterize spaces of dominating mixed smoothness. A centerpiece …
Using tools from the theory of operator ideals and s-numbers, we develop a general approach to transfer estimates for $L_2$ -approximation of Sobolev functions into estimates for $L_\infty$-approximation, with precise control of all involved constants. As an illustration, we derive some results for periodic isotropic Sobolev spaces $H^s ({\mathbb T}^d)$ and Sobolev spaces of dominating mixed smoothness $H^s_{\rm mix} ({\mathbb T}^d)$, always equipped with natural norms. Some results for isotropic as well as dominating mixed Besov spaces are also obtained.
By the work of P. Lévy, the sample paths of the Brownian motion are known to satisfy a certain Hölder regularity condition almost surely. This was later improved by Ciesielski, who studied the regularity of these paths in Besov and Besov-Orlicz spaces. We review these results and propose new function spaces of Besov type, strictly smaller than those of Ciesielski and Lévy, where the sample paths of the Brownian motion lie in almost surely. In the same spirit, we review and extend the work of Kamont, who investigated the same question for the multivariate Brownian sheet and function spaces of d…
We show that, for suitable enumerations, the multivariate Haar system is a Schauder basis in the classical Sobolev spaces on $\mathbb R^d$ with integrability $1<p<\infty$ and smoothness $1/p-1<s<1/p$. This complements earlier work by the last two authors on the unconditionality of the Haar system and implies that it is a {conditional} Schauder basis for a nonempty open subset of the $(1/p,s)$-diagram. The results extend to (quasi-)Banach spaces of Hardy-Sobolev and Triebel-Lizorkin type in the range of parameters $\frac{d}{d+1}<p<\infty$ and $\max\{d(1/p-1),1/p-1\}<s<\min\{1,1/p\}$, which is o…
We consider the problem of determining the asymptotic order of the Gelfand numbers of mixed-(quasi-)norm embeddings $\ell^b_p(\ell^d_q) \hookrightarrow \ell^b_r(\ell^d_u)$ given that $p \leq r$ and $q \leq u$, with emphasis on cases with $p\leq 1$ and/or $q\leq 1$. These cases turn out to be related to structured sparsity. We obtain sharp bounds in a number of interesting parameter constellations. Our new matching bounds for the Gelfand numbers of the embeddings of $\ell_1^b(\ell_2^d)$ and $\ell_2^b(\ell_1^d)$ into $\ell_2^b(\ell_2^d)$ imply optimality assertions for the recovery of block-spar…
We introduce and study multivariate generalizations of the classical BV spaces of Jordan, F. Riesz and Wiener. The family of the introduced spaces contains or is intimately related to a considerable class of function spaces of modern analysis including BMO, BV, Morrey spaces and those of Sobolev of arbitrary smoothness, Besov and Triebel-Lizorkin spaces. We prove under mild restrictions that the BV spaces of this family are dual and present constructive characterizations of their preduals via atomic decompositions. Moreover, we show that under additional restrictions such a predual space is is…
The named space denoted by $V_{pq}^k$ consists of $L_q$ functions on $[0,1)^d$ of bounded $p$-variation of order $k\in\mathbb N$. It generalizes the classical spaces $V_p(0,1)$ ($=V_{p\infty}^1$) and $BV([0,1)^d)$ ($V_{1q}^1$ where $q:=\frac d{d-1}$) and closely relates to several important smoothness spaces, e.g., to Sobolev spaces over $L_p$, $BV$ and $BMO$ and to Besov spaces. The main approximation result concerns the space $V_{pq}^k$ of \textit{smoothness} $s:=d\left(\frac1p-\frac1q\right)\in(0,k]$. It asserts the following: Let $f\in V_{pq}^k$ are of smoothness $s\in(0,k]$ and $N\in\math…
In this paper we study the sampling recovery problem for certain relevant multivariate function classes which are not compactly embedded into $L_\infty$. Recent tools relating the sampling numbers to the Kolmogorov widths in the uniform norm are therefore not applicable. In a sense, we continue the research on the small smoothness problem by considering "very" small smoothness in the context of Besov and Triebel-Lizorkin spaces with dominating mixed regularity. There is not much known on the recovery of such functions except of an old result by Oswald in the univariate situation. As a first st…
