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.

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$.

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$.

Let X be a completely regular Hausdorff space, E and F be Banach spaces. Let $C_b(X,E)$ be the space of all E-valued bounded continuous functions on X, equipped with the strict topology β. We study topological properties of the space $L_{\beta }(C_b(X,E),F)$ of all $(\beta ,|\left|·\right|{|}_F)$-continuous linear operators from $C_b(X,E)$ to F, equipped with the topology ${\tau }_s$ of simple convergence. If X is a locally compact paracompact space (resp. a P-space), we characterize ${\tau }_s$-compact subsets of $L_{\beta }(C_b(X,E),F)$ in terms of properties of the corresponding sets of the representing...

The $\sigma$-property of a Riesz space (real vector lattice) $B$ is: For each sequence $\left\{b_n\right\}$ of positive elements of $B$, there is a sequence $\left\{{\lambda }_n\right\}$ of positive reals, and $b\in B$, with ${\lambda }_n{b}_n\le b$ for each $n$. This condition is involved in studies in Riesz spaces of abstract Egoroff-type theorems, and of the countable lifting property. Here, we examine when “$\sigma$” obtains for a Riesz space of continuous real-valued functions $C\left(X\right)$. A basic result is: For discrete $X$, $C\left(X\right)$ has $\sigma$ iff the cardinal $\left|X\right|<𝔟$, Rothberger’s bounding number. Consequences...

For a smooth curve $\Gamma$ and a set $\Lambda$ in the plane ${ℝ}^2$, let $AC(\Gamma ;\Lambda )$ be the space of finite Borel measures in the plane supported on $\Gamma$, absolutely continuous with respect to the arc length and whose Fourier transform vanishes on $\Lambda$. Following [12], we say that $(\Gamma ,\Lambda )$ is a Heisenberg uniqueness pair if $AC(\Gamma ;\Lambda )=\left\{0\right\}$. In the context of a hyperbola $\Gamma$, the study of Heisenberg uniqueness pairs is the same as looking for uniqueness sets $\Lambda$ of a collection of solutions to the Klein-Gordon equation. In this work, we mainly...

The well-known Impossibility Theorem of Arrow asserts that any generalized social welfare function (GSWF) with at least three alternatives, which satisfies Independence of Irrelevant Alternatives (IIA) and Unanimity and is not a dictatorship, is necessarily non-transitive. In 2002, Kalai asked whether one can obtain the following quantitative version of the theorem: For any $ϵ>0$, there exists $\delta =\delta \left(ϵ\right)$ such that if a GSWF on three alternatives satisfies the IIA condition and its probability of...

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...

A topological space $(X,\tau )$ is said to be $z$-Lindelöf  [1] if every cover of $X$ by cozero sets of $(X,\tau )$ admits a countable subcover. In this paper, we obtain new characterizations and preservation theorems of $z$-Lindelöf spaces.

We consider $C^2$ families $t\mapsto f_t$ of $C^4$ unimodal maps $f_t$ whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure ${\mu }_t$ of $f_t$ depends differentiably on $t$, as a distribution of order $1$. The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new representation of ${\mu }_t$ for a Benedicks-Carleson map $f_t$, in terms of a single smooth function and the...

Given a random sample from some unknown density $f_0:ℝ\to [0,\infty )$ we devise Haar wavelet estimators for $f_0$ with variable resolution levels constructed from localised test procedures (as in Lepski, Mammen and Spokoiny ( (1997) 927–947)). We show that these estimators satisfy an oracle inequality that adapts to heterogeneous smoothness of $f_0$, simultaneously for every point $x$ in a fixed interval, in sup-norm loss. The thresholding constants involved in the test procedures can be chosen in...