For 1 ≤ q ≤ α ≤ p ≤ ∞, ${(L^q,l^p)}^{\alpha }$ is a complex Banach space which is continuously included in the Wiener amalgam space $(L^q,l^p)$ and contains the Lebesgue space $L^{\alpha }$. We study the closure ${(L^q,l^p)}_{c,0}^{\alpha }$ in ${(L^q,l^p)}^{\alpha }$ of the space of test functions (infinitely differentiable and with compact support in ${ℝ}^d$) and obtain norm inequalities for Riesz potential operators and Riesz transforms in these spaces. We also introduce the Sobolev type space $W¹\left({(L^q,l^p)}^{\alpha }\right)$ (a subspace of a Morrey-Sobolev space, but a superspace of the classical Sobolev space...

Let 1 ≤ p < ∞, k ≥ 1, and let Ω ⊂ ℝⁿ be an arbitrary open set. We prove a converse of the Calderón-Zygmund theorem that a function $f\in W^{k,p}\left(\Omega \right)$ possesses an $L^p$ derivative of order k at almost every point x ∈ Ω and obtain a characterization of the space $W^{k,p}\left(\Omega \right)$. Our method is based on distributional arguments and a pointwise inequality due to Bojarski and Hajłasz.

Let $(X,d,\mu )$ be a metric measure space endowed with a distance $d$ and a nonnegative Borel doubling measure $\mu$. Let $L$ be a non-negative self-adjoint operator of order $m$ on $L^2\left(X\right)$. Assume that the semigroup ${\mathrm{e}}^{-tL}$ generated by $L$ satisfies the Davies-Gaffney estimate of order $m$ and $L$ satisfies the Plancherel type estimate. Let $H_L^p\left(X\right)$ be the Hardy space associated with $L.$ We show the boundedness of Stein’s square function ${𝒢}_{\delta }\left(L\right)$ arising from Bochner-Riesz means associated to $L$ from Hardy spaces $H_L^p\left(X\right)$ to $L^p\left(X\right)$, and also study...

For $1\le n<d$ integers and $\rho >2$, we prove that an $n$-dimensional Ahlfors-David regular measure $\mu$ in ${ℝ}^d$ is uniformly $n$-rectifiable if and only if the $\rho$-variation for the Riesz transform with respect to $\mu$ is a bounded operator in $L^2\left(\mu \right)$. This result can be considered as a partial solution to a well known open problem posed by G. David and S. Semmes which relates the $L^2\left(\mu \right)$ boundedness of the Riesz transform to the uniform rectifiability of $\mu$.

Let ${ℒ}_1=-\Delta +V$ be a Schrödinger operator and let ${ℒ}_2={(-\Delta )}^2+V^2$ be a Schrödinger type operator on ${ℝ}^n$ $(n\ge 5)$, where $V\ne 0$ is a nonnegative potential belonging to certain reverse Hölder class $B_s$ for $s\ge n/2$. The Hardy type space $H_{{ℒ}_2}^1$ is defined in terms of the maximal function with respect to the semigroup $\left\{{\mathrm{e}}^{-t{ℒ}_2}\right\}$ and it is identical to the Hardy space $H_{{ℒ}_1}^1$ established by Dziubański and Zienkiewicz. In this article, we prove the $L^p$-boundedness of the commutator ${ℛ}_b=bℛf-ℛ\left(bf\right)$ generated by the Riesz transform $ℛ={\nabla }^2{ℒ}_2^{-1/2}$, where $b\in {\mathrm{BMO}}_{\theta }\left(\rho \right)$, which is larger...

We consider Littlewood-Paley functions associated with a non-isotropic dilation group on ${ℝ}^n$. We prove that certain Littlewood-Paley functions defined by kernels with no regularity concerning smoothness are bounded on weighted $L^p$ spaces, $1<p<\infty$, with weights of the Muckenhoupt class. This, in particular, generalizes a result of N. Rivière (1971).

Let $L$ be a second order divergence form elliptic operator with complex bounded measurable coefficients. The operators arising in connection with $L$, such as the heat semigroup and Riesz transform, are not, in general, of Calderón-Zygmund type and exhibit behavior different from their counterparts built upon the Laplacian. The current paper aims at a thorough description of the properties of such operators in $L^p$, Sobolev, and some new Hardy spaces naturally associated to $L$. First, we show...

We define a new function space $B$, which contains in particular BMO, BV, and $W^{1/p,p}$, $1<p<\infty$. We investigate its embedding into Lebesgue and Marcinkiewicz spaces. We present several inequalities involving $L^p$ norms of integer-valued functions in $B$. We introduce a significant closed subspace, $B_0$, of $B$, containing in particular VMO and $W^{1/p,p}$, $1\le p<\infty$. The above mentioned estimates imply in particular that integer-valued functions belonging to $B_0$ are necessarily constant. This framework provides a “common roof”...

We obtain the boundedness of Calderón-Zygmund singular integral operators $T$ of non-convolution type on Hardy spaces $H^p\left(𝒳\right)$ for $1/(1+ϵ)<p\le 1$, where $𝒳$ is a space of homogeneous type in the sense of Coifman and Weiss (1971), and $ϵ$ is the regularity exponent of the kernel of the singular integral operator $T$. Our approach relies on the discrete Littlewood-Paley-Stein theory and discrete Calderón’s identity. The crucial feature of our proof is to avoid atomic decomposition and molecular theory in contrast...

Let f be a measurable function defined on ℝ. For each n ∈ ℤ we consider the average $Aₙf\left(x\right)=2^{-n}{\int }_x^{x+2ⁿ}f$. The square function is defined as $Sf\left(x\right)=({\sum }_{n=-\infty }^{\infty }|Aₙf\left(x\right)-A_{n-1}f\left(x\right){\left|²\right)}^{1/2}$. The local version of this operator, namely the operator $S₁f\left(x\right)=({\sum }_{n=-\infty }^0|Aₙf\left(x\right)-A_{n-1}f\left(x\right){\left|²\right)}^{1/2}$, is of interest in ergodic theory and it has been extensively studied. In particular it has been proved [3] that it is of weak type (1,1), maps $L^p$ into itself (p > 1) and $L^{\infty }$ into BMO. We prove that the operator S not only maps $L^{\infty }$ into BMO but it also maps BMO into BMO. We also prove that the $L^p$ boundedness...

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

The main purpose of this article is to give a generalization of the logarithmic-type estimate in the Hardy-Sobolev spaces $H^{k,p}\left(G\right)$; $k\in {\mathbb{N}}^{*}$, $1\le p\le \infty$ and $G$ is the open unit disk or the annulus of the complex space $ℂ$.

For a function $f\in L_{loc}^p\left(ℝⁿ\right)$ the notion of p-mean variation of order 1, ${₁}^p(f,ℝⁿ)$ is defined. It generalizes the concept of F. Riesz variation of functions on the real line ℝ¹ to ℝⁿ, n > 1. The characterisation of the Sobolev space $W^{1,p}\left(ℝⁿ\right)$ in terms of ${₁}^p(f,ℝⁿ)$ is directly related to the characterisation of $W^{1,p}\left(ℝⁿ\right)$ by Lipschitz type pointwise inequalities of Bojarski, Hajłasz and Strzelecki and to the Bourgain-Brezis-Mironescu approach.

We prove that the Hausdorff operator generated by a function ϕ is bounded on the real Hardy space $H^p\left(ℝ\right)$, 0 < p ≤ 1, if the Fourier transform ϕ̂ of ϕ satisfies certain smoothness conditions. As a special case, we obtain the boundedness of the Cesàro operator of order α on $H^p\left(ℝ\right)$, 2/(2α+1) < p ≤ 1. Our proof is based on the atomic decomposition and molecular characterization of $H^p\left(ℝ\right)$.