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 L = -Δ + V be a Schrödinger operator in ${ℝ}^d$ and $H{¹}_L\left({ℝ}^d\right)$ be the Hardy type space associated to L. We investigate the bilinear operators T⁺ and T¯ defined by $T^{\pm }(f,g)\left(x\right)=\left(T₁f\right)\left(x\right)\left(T₂g\right)\left(x\right)\pm \left(T₂f\right)\left(x\right)\left(T₁g\right)\left(x\right)$, where T₁ and T₂ are Calderón-Zygmund operators related to L. Under some general conditions, we prove that either T⁺ or T¯ is bounded from $L^p\left({ℝ}^d\right)\times L^q\left({ℝ}^d\right)$ to $H{¹}_L\left({ℝ}^d\right)$ for 1 < p,q < ∞ with 1/p + 1/q = 1. Several examples satisfying these conditions are given. We also give a counterexample for which the classical Hardy space estimate fails. ...

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 $C_{\alpha }$ be the Riesz capacity of order α, 0 < α < n, in ℝⁿ. We consider the Riesz capacity density $̲(C_{\alpha },E,r)=in{f}_{x\in ℝⁿ}{C}_{\alpha }\left(E\cap B(x,r)\right)/C_{\alpha }\left(B(x,r)\right)$ for a Borel set E ⊂ ℝⁿ, where B(x,r) stands for the open ball with center at x and radius r. In case 0 < α ≤ 2, we show that $li{m}_{r\to \infty }̲(C_{\alpha },E,r)$ is either 0 or 1; the first case occurs if and only if $̲(C_{\alpha },E,r)$ is identically zero for all r > 0. Moreover, it is shown that the densities with respect to more general open sets enjoy the same dichotomy. A decay estimate for α-capacitary potentials is also...

In this paper we consider the regularity problem for the commutators $\left(\right[b,R_k]{)}_{1\le k\le n}$ where $b$ is a locally integrable function and $(R_j{)}_{1\le j\le n}$ are the Riesz transforms in the $n$-dimensional euclidean space ${ℝ}^n$. More precisely, we prove that these commutators $\left(\right[b,R_k]{)}_{1\le k\le n}$ are bounded from $L^p$ into the Besov space ${\dot{B}}_p^{s,p}$ for $1\&lt;p\&lt;+\infty$ and $0\&lt;s\&lt;1$ if and only if $b$ is in the $BMO$-Triebel-Lizorkin space ${\dot{F}}_{\infty }^{s,p}$. The reduction of our result to the case $p=2$ gives in particular that the commutators $\left(\right[b,R_k]{)}_{1\le k\le n}$ are bounded form $L^2$ into the Sobolev space ${\dot{H}}^s$ if and only if $b$...

Let ${ℳ}_p={m_k}_{k=0}^{p-1}$ be a finite set of step functions or real valued trigonometric polynomials on = [0,1) satisfying a certain orthonormality condition. We study multiscale generalized Riesz product measures μ defined as weak-* limits of elements ${\mu }_N\in V_N\left(N\in \mathbb{N}\right)$, where $V_N$ are $p^N$-dimensional subspaces of L₂() spanned by an orthonormal set which is produced from dilations and multiplications of elements of ${ℳ}_p$ and $\overline{{\bigcup }_{N\in \mathbb{N}}{V}_N}=L₂\left(\right)$. The results involve mutual absolute continuity or singularity of such Riesz products extending previous...

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

Let s ∈ ℝ, p ∈ (0,1] and q ∈ [p,∞). It is proved that a sublinear operator T uniquely extends to a bounded sublinear operator from the Triebel-Lizorkin space ${Ḟ}_{p,q}^s\left(ℝⁿ\right)$ to a quasi-Banach space ℬ if and only if sup${\left|\right|T\left(a\right)\left|\right|}_{ℬ}$: a is an infinitely differentiable (p,q,s)-atom of ${Ḟ}_{p,q}^s\left(ℝⁿ\right)$ < ∞, where the (p,q,s)-atom of ${Ḟ}_{p,q}^s\left(ℝⁿ\right)$ is as defined by Han, Paluszyński and Weiss.

The main aim of this short paper is to study Riesz potentials on one-mode interacting Fock spaces equipped with deformed annihilation, creation, and neutral operators with constants $c_{0,0},c_{1,1}\in ℝ$ and $c_{0,1}>0$, $c_{1,2}\ge 0$ as in equations (1.4)-(1.6). First, to emphasize the importance of these constants, we summarize our previous results on the Hilbert space of analytic L² functions with respect to a probability measure on ℂ. Then we consider the Riesz kernels of order 2α, $\alpha =c_{0,1}/c_{1,2}$, on ℂ if $0<c_{0,1}<c_{1,2}$, which can be derived from...

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

We define a class of spaces $H_{\mu }^p$, 0 < p < ∞, of holomorphic functions on the tube, with a norm of Hardy type: ${\left|\right|F\left|\right|}_{H_{\mu }^p}^p=su{p}_{y\in \Omega }{\int }_{\Omega ̅}{\int }_{ℝⁿ}{\left|F(x+i(y+t))\right|}^{p}dxd\mu \left(t\right)$. We allow μ to be any quasi-invariant measure with respect to a group acting simply transitively on the cone. We show the existence of boundary limits for functions in $H_{\mu }^p$, and when p ≥ 1, characterize the boundary values as the functions in $L_{\mu }^p$ satisfying the tangential CR equations. A careful description of the measures μ when their supports lie on the boundary of the cone...

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 complete the different cases remaining in the estimation of the essential norm of a weighted composition operator acting between the Hardy spaces $H^p$ and $H^q$ for 1 ≤ p,q ≤ ∞. In particular we give some estimates for the cases 1 = p ≤ q ≤ ∞ and 1 ≤ q < p ≤ ∞.

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

Let ${K_t}_{t>0}$ be the semigroup of linear operators generated by a Schrödinger operator -L = Δ - V with V ≥ 0. We say that f belongs to $H{¹}_L$ if $\left|\right|su{p}_{t>0}|K_t{f\left(x\right)\left|\right||}_{L¹\left(dx\right)}<\infty$. We state conditions on V and $K_t$ which allow us to give an atomic characterization of the space $H{¹}_L$.

Motivated by some recent results by Li and Stević, in this paper we prove that a two-parameter family of Cesàro averaging operators ${}^{b,c}$ is bounded on the Dirichlet spaces ${}_{p,a}$. We also give a short and direct proof of boundedness of ${}^{b,c}$ on the Hardy space $H^p$ for 1 < p < ∞.

We establish the following sharp local estimate for the family ${R_j}_{j=1}^d$ of Riesz transforms on ${ℝ}^d$. For any Borel subset A of ${ℝ}^d$ and any function $f:{ℝ}^d\to ℝ$, ${\int }_A|R_{j}f\left(x\right)|dx\le C_p{\left|\right|f\left|\right|}_{L^p\left({ℝ}^d\right)}{\left|A\right|}^{1/q}$, 1 < p < ∞. Here q = p/(p-1) is the harmonic conjugate to p, $C_p={[2^{q+2}\Gamma (q+1)/{\pi }^{q+1}{\sum }_{k=0}^{\infty }{(-1)}^k/{(2k+1)}^{q+1}]}^{1/q}$, 1 < p < 2, and $C_p={[4\Gamma (q+1)/{\pi }^q{\sum }_{k=0}^{\infty }1/{(2k+1)}^q]}^{1/q}$, 2 ≤ p < ∞. This enables us to determine the precise values of the weak-type constants for Riesz transforms for 1 < p < ∞. The proof rests on appropriate martingale inequalities, which are of independent interest.

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.

Let ⁿ denote the usual n-torus and let $S{̃}_u^{\delta }\left(f\right)$, u > 0, denote the Bochner-Riesz means of order δ > 0 of the Fourier expansion of f ∈ L¹(ⁿ). The main result of this paper states that for f ∈ H¹(ⁿ) and the critical index α: = (n-1)/2, $li{m}_{R\to \infty }1/logR{\int }_0^R\left(\right||S{̃}_u^{\alpha }\left(f\right)-{f\left|\right|}_{H¹\left(ⁿ\right)})/(u+1)du=0$.

We study the order boundedness of composition operators induced by holomorphic self-maps of the open unit disc D. We consider these operators first on the Hardy spaces $H^p$ 0 < p < ∞ and then on the Nevanlinna class N. Given a non-negative increasing function h on [0,∞[, a composition operator is said to be X,Lh-order bounded (we write (X,Lh)-ob) with $X=H^p$ or X = N if its composition with the map f ↦ f*, where f* denotes the radial limit of f, is order bounded from X into $L_h$. We give...