Theorems stating sufficient conditions for the inequivalence of the d-variate Haar wavelet system and another wavelet system in the spaces $L₁\left({ℝ}^d\right)$ and $BV\left({ℝ}^d\right)$ are proved. These results are used to show that the Strömberg wavelet system and the system of continuous Daubechies wavelets with minimal supports are not equivalent to the Haar system in these spaces. A theorem stating that some systems of smooth Daubechies wavelets are not equivalent to the Haar system in $L₁\left({ℝ}^d\right)$ is also shown.

For a wavelet ψ of compact support, we define a square function $S_w$ and a maximal function NΛ. We then obtain the $L_p$ equivalence of these functions for 0 < p < ∞. We show this equivalence by using good-λ inequalities.

The paper deals with local means and wavelet bases in weighted and unweighted function spaces of type $B_{pq}^s$ and $F_{pq}^s$ on ℝⁿ and on ⁿ.

J. Bourgain, H. Brezis and P. Mironescu [in: J. L. Menaldi et al. (eds.), Optimal Control and Partial Differential Equations, IOS Press, Amsterdam, 2001, 439-455] proved the following asymptotic formula: if $\Omega \subset {ℝ}^d$ is a smooth bounded domain, 1 ≤ p < ∞ and $f\in W^{1,p}\left(\Omega \right)$, then $li{m}_{s\nearrow 1}(1-s){\int }_{\Omega }{\int }_{\Omega }{\left(\right|f\left(x\right)-f\left(y\right)|}^p{)/(\left|\right|x-y\left|\right|}^{d+sp})dxdy=K{\int }_{\Omega }{\left|\nabla f\left(x\right)\right|}^{p}dx$, where K is a constant depending only on p and d. The double integral on the left-hand side of the above formula is an equivalent seminorm in the Besov space $B_p^{s,p}\left(\Omega \right)$. The purpose of this paper is to obtain analogous asymptotic formulae...

We construct the Haar wavelets on a local field K of positive characteristic and show that the Haar wavelet system forms an unconditional basis for $L^p\left(K\right)$, 1 < p < ∞. We also prove that this system, normalized in $L^p\left(K\right)$, is a democratic basis of $L^p\left(K\right)$. This also proves that the Haar system is a greedy basis of $L^p\left(K\right)$ for 1 < p < ∞.

Let $\Theta :={\theta }_I^e:e\in E,I\in D$ be a decomposition system for $L₂\left({ℝ}^d\right)$ indexed over D, the set of dyadic cubes in ${ℝ}^d$, and a finite set E, and let $\Theta ̃:=\Theta {̃}_I^e:e\in E,I\in D$ be the corresponding dual functionals. That is, for every $f\in L₂\left({ℝ}^d\right)$, $f={\sum }_{e\in E}{\sum }_{I\in D}⟨f,\Theta {̃}_I^e⟩{\theta }_I^e$. We study sufficient conditions on Θ,Θ̃ so that they constitute a decomposition system for Triebel-Lizorkin and Besov spaces. Moreover, these conditions allow us to characterize the membership of a distribution f in these spaces by the size of the coefficients $⟨f,\Theta {̃}_I^e⟩$, e ∈ E, I ∈ D. Typical examples of such decomposition...

We consider the subspace of L²(ℝ) spanned by the integer shifts of one function ψ, and formulate a condition on the family ${\psi (·-n)}_{n=-\infty }^{\infty }$, which is equivalent to the weight function ${\sum }_{n=-\infty }^{\infty }\left|\psi ̂(·+n)\right|²$ being > 0 a.e.

Abstract We develop an almost orthogonal wavelet-type expansion in ℝ² which is adapted to polar coordinates. We start by defining a product Fourier-Hankel transform f̂ and proving a sampling formula for f such that f̂ is compactly supported. For general f, the sampling formula and a partition of unity lead to an identity of the form $f={\sum }_{\mu ,k,m}⟨f,{\phi }_{\mu km}⟩{\psi }_{\mu km}$, in which each function ${\phi }_{\mu km}$ and ${\psi }_{\mu km}$ is concentrated near a certain annular sector, has compactly supported product Fourier-Hankel transform, and is smooth...

We study embeddings of spaces of Besov-Morrey type, $i{d}_{\Omega }{:}_{p₁,u₁,q₁}^{s₁}\left(\Omega \right){\hookrightarrow }_{p₂,u₂,q₂}^{s₂}\left(\Omega \right)$, where $\Omega \subset {ℝ}^d$ is a bounded domain, and obtain necessary and sufficient conditions for the continuity and compactness of $i{d}_{\Omega }$. This continues our earlier studies relating to the case of ${ℝ}^d$. Moreover, we also characterise embeddings into the scale of $L_p$ spaces or into the space of bounded continuous functions.

The classical criterion for compactness in Banach spaces of functions can be reformulated into a simple tightness condition in the time-frequency domain. This description preserves more explicitly the symmetry between time and frequency than the classical conditions. The result is first stated and proved for $L²\left({ℝ}^d\right)$, and then generalized to coorbit spaces. As special cases, we obtain new characterizations of compactness in Besov-Triebel-Lizorkin, modulation and Bargmann-Fock spaces. ...

We study several techniques which are well known in the case of Besov and Triebel-Lizorkin spaces and extend them to spaces with dominating mixed smoothness. We use the ideas of Triebel to prove three important decomposition theorems. We deal with so-called atomic, subatomic and wavelet decompositions. All these theorems have much in common. Roughly speaking, they say that a function f belongs to some function space (say $S_{p,q}^{r̅}A$) if, and only if, it can be decomposed as $f\left(x\right)={\sum }_{\nu }{\sum }_m{\lambda }_{\nu m}{a}_{\nu m}\left(x\right)$, convergence in S’, with...

To each set of knots $t_i=i/2n$ for i = 0,...,2ν and $t_i=(i-\nu )/n$ for i = 2ν + 1,..., n + ν, with 1 ≤ ν ≤ n, there corresponds the space ${}_{\nu ,n}$ of all piecewise linear and continuous functions on I = [0,1] with knots $t_i$ and the orthogonal projection $P_{\nu ,n}$ of L²(I) onto ${}_{\nu ,n}$. The main result is $li{m}_{(n-\nu )\wedge \nu \to \infty }\left|\right|P_{\nu ,n}\left|\right|₁=su{p}_{\nu ,n:1\le \nu \le n}\left|\right|P_{\nu ,n}\left|\right|₁=2+(2-\surd 3)²$. This shows that the Lebesgue constant for the Franklin orthogonal system is 2 + (2-√3)².

It is known that Gabor expansions do not converge unconditionally in $L^p$ and that $L^p$ cannot be characterized in terms of the magnitudes of Gabor coefficients. By using a combination of Littlewood-Paley and Gabor theory, we show that $L^p$ can nevertheless be characterized in terms of Gabor expansions, and that the partial sums of Gabor expansions converge in $L^p$-norm.

The purpose of multifractal analysis of functions is to determine the Hausdorff dimensions of the sets of points where a function (or a distribution) f has a given pointwise regularity exponent H. This notion has many variants depending on the global hypotheses made on f; if f locally belongs to a Banach space E, then a family of pointwise regularity spaces $C_E^{\alpha }\left(x₀\right)$ are constructed, leading to a notion of pointwise regularity with respect to E; the case $E=L^{\infty }$ corresponds to the usual Hölder regularity,...

We show that each general Haar system is permutatively equivalent in $L^p\left([0,1]\right)$, 1 < p < ∞, to a subsequence of the classical (i.e. dyadic) Haar system. As a consequence, each general Haar system is a greedy basis in $L^p\left([0,1]\right)$, 1 < p < ∞. In addition, we give an example of a general Haar system whose tensor products are greedy bases in each $L^p\left({[0,1]}^d\right)$, 1 < p < ∞, d ∈ ℕ. This is in contrast to [11], where it has been shown that the tensor products of the dyadic Haar system are not greedy bases...

We prove an interpolatory estimate linking the directional Haar projection $P^{\left(\epsilon \right)}$ to the Riesz transform in the context of Bochner-Lebesgue spaces $L^p(ℝⁿ;X)$, 1 < p < ∞, provided X is a UMD-space. If ${\epsilon }_{i₀}=1$, the result is the inequality $\left|\right|P^{\left(\epsilon \right)}{u\left|\right|}_{L^p(ℝⁿ;X)}{\le C\left|\right|u\left|\right|}_{L^p(ℝⁿ;X)}^{1/}\left|\right|R_{i₀}u{\left|\right|}_{L^p(ℝⁿ;X)}^{1-1/}$, (1) where the constant C depends only on n, p, the UMD-constant of X and the Rademacher type of $L^p(ℝⁿ;X)$. In order to obtain the interpolatory result (1) we analyze stripe operators $S_{\lambda }$, λ ≥ 0, which are used as basic building blocks to dominate the directional Haar projection....

We study several techniques which are well known in the case of Besov and Triebel-Lizorkin spaces and extend them to spaces with dominating mixed smoothness. We use the ideas of Triebel to prove three important decomposition theorems. We deal with so-called atomic, subatomic and wavelet decompositions. All these theorems have much in common. Roughly speaking, they say that a function f belongs to some function space (say $S_{p,q}^{r̅}A$) if, and only if, it can be decomposed as $f\left(x\right)={\sum }_{\nu }{\sum }_m{\lambda }_{\nu m}{a}_{\nu m}\left(x\right)$, convergence in S’, with...

Let $H\subseteq Z\subseteq 2^{\omega }$. For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{\omega }$ to Z give as preimages of H all Σₙ¹ subsets of $2^{\omega }$, then so do continuous injections.

J. Terasawa in "$\beta X-\left\{p\right\}$ are non-normal for non-discrete spaces $X$" (2007) and the author in “On non-normality points and metrizable crowded spaces” (2007), independently showed for any metrizable crowded space $X$ that each point $p$ of its Čech–Stone remainder $X^{*}$ is a non-normality point of $\beta X$. We introduce a new class of spaces, named nice spaces, which contains both of Sorgenfrey line and every metrizable crowded space. We obtain the result above for every nice space.

Let ⟨X,Y⟩ be a duality pair of M-spaces X,Y of measurable functions from Ω ⊂ ℝ ⁿ into ${ℝ}^d$. The paper deals with Y-weak cluster points ϕ̅ of the sequence $\varphi (·,z_j\left(·\right))$ in X, where $z_j:\Omega \to {ℝ}^m$ is measurable for j ∈ ℕ and $\varphi :\Omega \times {ℝ}^m\to {ℝ}^d$ is a Carathéodory function. We obtain general sufficient conditions, under which, for some negligible set $A_{\varphi }$, the integral $I(\varphi ,{\nu }_x):={\int }_{{ℝ}^m}\varphi (x,\lambda )d{\nu }_x\left(\lambda \right)$ exists for $x\in \Omega \setminus A_{\varphi }$ and $\varphi ̅\left(x\right)=I(\varphi ,{\nu }_x)$ on $\Omega \setminus A_{\varphi }$, where $\nu ={{\nu }_x}_{x\in \Omega }$ is a measurable-dependent family of Radon probability measures on ${ℝ}^m$.

We investigate the recovery of $k$-sparse signals using the ${\ell }_1$-${\ell }_2$ minimization model with prior support set information. The prior support set information, which is believed to contain the indices of nonzero signal elements, significantly enhances the performance of compressive recovery by improving accuracy, efficiency, reducing complexity, expanding applicability, and enhancing robustness. We assume $k$-sparse signals $𝐱$ with the prior support $T$ which is composed of $g$ true indices and $b$ wrong...

It is shown that there exists a $\sigma$-compact topological group which cannot be represented as a continuous image of a Lindelöf $p$-group, see Example 2.8. This result is based on an inequality for the cardinality of continuous images of Lindelöf $p$-groups (Theorem 2.1). A closely related result is Corollary 4.4: if a space $Y$ is a continuous image of a Lindelöf $p$-group, then there exists a covering $\gamma$ of $Y$ by dyadic compacta such that $\left|\gamma \right|\le 2^{\omega }$. We also show that if a homogeneous compact space $Y$ is...

Let $M(X,𝒜)$ ($M^{*}(X,𝒜)$) be the $f$-ring of all (bounded) real-measurable functions on a $T$-measurable space $(X,𝒜)$, let $M_K(X,𝒜)$ be the family of all $f\in M(X,𝒜)$ such that $\mathrm{coz}\left(f\right)$ is compact, and let $M_{\infty }(X,𝒜)$ be all $f\in M(X,𝒜)$ that $\{x\in X:|f\left(x\right)|\ge \frac{1}{n}\}$ is compact for any $n\in \mathbb{N}$. We introduce realcompact subrings of $M(X,𝒜)$, we show that $M^{*}(X,𝒜)$ is a realcompact subring of $M(X,𝒜)$, and also $M(X,𝒜)$ is a realcompact if and only if $(X,𝒜)$ is a compact measurable space. For every nonzero real Riesz map $\varphi :M(X,𝒜)\to ℝ$, we prove that there is an element $x_0\in X$ such that $\varphi \left(f\right)=f\left(x_0\right)$ for every $f\in M(X,𝒜)$ if $(X,𝒜)$ is a compact measurable space....

We introduce the notion of a $g$-atomic subspace for a bounded linear operator and construct several useful resolutions of the identity operator on a Hilbert space using the theory of $g$-fusion frames. Also, we shall describe the concept of frame operator for a pair of $g$-fusion Bessel sequences and some of their properties.

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

A reproducing system is a countable collection of functions ${\varphi }_j:j\in$ such that a general function f can be decomposed as $f={\sum }_{j\in }{c}_j\left(f\right){\varphi }_j$, with some control on the analyzing coefficients $c_j\left(f\right)$. Several such systems have been introduced very successfully in mathematics and its applications. We present a unified viewpoint in the study of reproducing systems on locally compact abelian groups G. This approach gives a novel characterization of the Parseval frame generators for a very general class of reproducing systems...

Let $S_n^{\left(2\right)}$ denote the iterated partial sums. That is, $S_n^{\left(2\right)}=S_1+S_2+\cdots +S_n$, where $S_i=X_1+X_2+\cdots +X_i$. Assuming $X_1,X_2,...,X_n$ are integrable, zero-mean, i.i.d. random variables, we show that the persistence probabilities $$p_n^{\left(2\right)}:=\mathbb{P}\left(\underset{1\le i\le n}{max}{S}_i^{\left(2\right)}lt;0\right)\le c\sqrt{\frac{𝔼|S_{n+1}|}{(n+1)𝔼|X_1|}},$$ with $c\le 6\sqrt{30}$ (and $c=2$ whenever $X_1$ is symmetric). The converse inequality holds whenever the non-zero $min(-X_1,0)$ is bounded or when it has only finite third moment and in addition $X_1$ is squared integrable. Furthermore, $p_n^{\left(2\right)}\asymp n^{-1/4}$ for any non-degenerate squared integrable, i.i.d., zero-mean $X_i$. In contrast, we show that for any $0lt;\gamma lt;1/4$ there exist integrable,...

For an injective map τ acting on the dyadic subintervals of the unit interval [0,1) we define the rearrangement operator $T_s$, 0 < s < 2, to be the linear extension of the map $\left(h_I\right)/{\left(\right|I|}^{1/s})\mapsto \left(h_{\tau \left(I\right)}\right)\left(\right|\tau \left(I\right){|}^{1/s})$, where $h_I$ denotes the $L^{\infty }$-normalized Haar function supported on the dyadic interval I. We prove the following extrapolation result: If there exists at least one 0 < s₀ < 2 such that $T_{s₀}$ is bounded on $H^{s₀}$, then for all 0 < s < 2 the operator $T_s$ is bounded on $H^s$.