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

For the convolution operators $A_a^{\alpha }$ with symbols ${a\left(\right|\xi \left|\right)\left|\xi \right|}^{-\alpha }expi\left|\xi \right|$, 0 ≤ Re α < n, $a\left(\right|\xi \left|\right)\in L_{\infty }$, we construct integral representations and give the exact description of the set of pairs (1/p,1/q) for which the operators are bounded from $L_p$ to $L_q$.

If $1\&gt;\alpha \&gt;1/2$, then there exists a probability measure $\mu$ such that the Hausdorff dimension of the support of $\mu$ is $\alpha$ and $\mu *\mu$ is a Lipschitz function of class $\alpha -\frac{1}{2}$.

We consider the Heisenberg group ℍⁿ = ℂⁿ × ℝ. Let ν be the Borel measure on ℍⁿ defined by $\nu \left(E\right)={\int }_{ℂⁿ}{\chi }_E(w,\phi \left(w\right))\eta \left(w\right)dw$, where $\phi \left(w\right)={\sum }_{j=1}^n{a}_j\left|w_j\right|²$, w = (w₁,...,wₙ) ∈ ℂⁿ, $a_j\in ℝ$, and η(w) = η₀(|w|²) with $\eta ₀\in C_c^{\infty }\left(ℝ\right)$. We characterize the set of pairs (p,q) such that the convolution operator with ν is $L^p\left(ℍⁿ\right)-L^q\left(ℍⁿ\right)$ bounded. We also obtain $L^p$-improving properties of measures supported on the graph of the function $\phi \left(w\right)={\left|w\right|}^{2m}$.

A convolution operator, bounded on $L^q({ℝ}^n)$, is bounded on $L^p({ℝ}^n)$, with the same operator norm, if $p$ and $q$ are conjugate exponents. It is well known that this fact is false if we replace ${ℝ}^n$ with a general non-commutative locally compact group $G$. In this paper we give a simple construction of a convolution operator on a suitable compact group $G$, wich is bounded on $L^q(G)$ for every $q\in [2,\mathrm{\infty })$ and is unbounded on $L^p(G)$ if $p\in [1,2)$.

Let $\mu \in {\left({ℝ}^d\right)}^{\text{'}}$ be an analytic functional and let $T_{\mu }$ be the corresponding convolution operator on Sato’s space $\left({ℝ}^d\right)$ of hyperfunctions. We show that $T_{\mu }$ is surjective iff $T_{\mu }$ admits an elementary solution in $\left({ℝ}^d\right)$ iff the Fourier transform μ̂ satisfies Kawai’s slowly decreasing condition (S). We also show that there are $0\ne \mu \in {\left({ℝ}^d\right)}^{\text{'}}$ such that $T_{\mu }$ is not surjective on $\left({ℝ}^d\right)$.

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

A classification of weakly compact multiplication operators on $L\left(L_p\right),$1<p<$,isgiven.ThisanswersaquestionraisedbySaksmanandTylliin1992.Theclassificationinvolvestheconceptof$p$-strictlysingularoperators,andwealsoinvestigatethestructureofgeneral$p$-strictlysingularoperatorson$Lp$.Themainresultisthatifanoperator$T$on$Lp$,$1<p<2$,is$p$-strictlysingularand$T|X$isanisomorphismforsomesubspace$X$of$Lp$,then$X$embedsinto$Lr$forall$r<2$,but$X$neednotbeisomorphictoaHilbertspace.$It is also shown that if $T$ is convolution by a biased coin on $L_p$ of the Cantor group, $1\le p<2$, and $T_{|X}$ is an isomorphism for some reflexive subspace $X$ of $L_p$, then $X$ is isomorphic to a Hilbert space. The case $p=1$ answers a question asked by Rosenthal in 1976.

The main aim of this paper is to prove that the maximal operator ${\sigma }^{}$ is bounded from the Hardy space $H_{1/2}$ to weak-$L_{1/2}$ and is not bounded from $H_{1/2}$ to $L_{1/2}$.

The aim of this paper is to introduce some new fixed point results of Hardy-Rogers-type for $\alpha$-$\eta$-$GF$-contraction in a complete metric space. We extend the concept of $F$-contraction into an $\alpha$-$\eta$-$GF$-contraction of Hardy-Rogers-type. An example has been constructed to demonstrate the novelty of our results.

Let $L$ be a non-negative self-adjoint operator acting on $L^2\left({ℝ}^n\right)$ satisfying a pointwise Gaussian estimate for its heat kernel. Let $w$ be an $A_r$ weight on ${ℝ}^n\times {ℝ}^n$, $1<r<\infty$. In this article we obtain a weighted atomic decomposition for the weighted Hardy space $H_{L,w}^p({ℝ}^n\times {ℝ}^n)$, $0<p\le 1$ associated to $L$. Based on the atomic decomposition, we show the dual relationship between $H_{L,w}^1({ℝ}^n\times {ℝ}^n)$ and ${\mathrm{BMO}}_{L,w}({ℝ}^n\times {ℝ}^n)$.

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

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

Let ${\mu }_A$ be the singular measure on the Heisenberg group ${ℍ}^n$ supported on the graph of the quadratic function $\varphi \left(y\right)=y^{t}Ay$, where $A$ is a $2n\times 2n$ real symmetric matrix. If $det(2A\pm J)\ne 0$, we prove that the operator of convolution by ${\mu }_A$ on the right is bounded from $L^{\frac{(2n+2)}{(2n+1)}}\left({ℍ}^n\right)$ to $L^{2n+2}\left({ℍ}^n\right)$. We also study the type set of the measures $\mathrm{d}{\nu }_{\gamma }(y,s)=\eta \left(y\right){\left|y\right|}^{-\gamma }\mathrm{d}{\mu }_A(y,s)$, for $0\le \gamma <2n$, where $\eta$ is a cut-off function around the origin on ${ℝ}^{2n}$. Moreover, for $\gamma =0$ we characterize the type set of ${\nu }_0$.

Let WF⁎ be the wave front set with respect to $C^{\infty }$, quasi analyticity or analyticity, and let K be the kernel of a positive operator from $C{₀}^{\infty }$ to ’. We prove that if ξ ≠ 0 and (x,x,ξ,-ξ) ∉ WF⁎(K), then (x,y,ξ,-η) ∉ WF⁎(K) and (y,x,η,-ξ) ∉ WF⁎(K) for any y,η. We apply this property to positive elements with respect to the weighted convolution $u{\ast }_B\phi \left(x\right)=\int u(x-y)\phi \left(y\right)B(x,y)dy$, where $B\in C^{\infty }$ is appropriate, and prove that if $(u{\ast }_B\phi ,\phi )\ge 0$ for every $\phi \in C{₀}^{\infty }$ and (0,ξ) ∉ WF⁎(u), then (x,ξ) ∉ WF⁎(u) for any x.

We give a quantitative characterization of the pairs of weights $(w,v)$ for which the dyadic version of the one-sided Hardy-Littlewood maximal operator satisfies a restricted weak $(p,p)$ type inequality for $1\le p<\infty$. More precisely, given any measurable set $E_0$, the estimate $$w\left(\{x\in {ℝ}^n:M^{+,d}\left({𝒳}_{E_0}\right)\left(x\right)>t\}\right)\le \frac{C{\left[(w,v)\right]}_{A_p^{+,d}\left(ℛ\right)}^p}{t^p}v\left(E_0\right)$$ holds if and only if the pair $(w,v)$ belongs to $A_p^{+,d}\left(ℛ\right)$, that is, $$\frac{\left|E\right|}{\left|Q\right|}\le {\left[(w,v)\right]}_{A_p^{+,d}\left(ℛ\right)}{\left(\frac{v\left(E\right)}{w\left(Q\right)}\right)}^{1/p}$$ for every dyadic cube $Q$ and every measurable set $E\subset Q^{+}$. The proof follows some ideas appearing in S. Ombrosi (2005). We also obtain a similar quantitative characterization for the...

Given 0 < p,q < ∞ and any sequence z = zₙ in the unit disc , we define an operator from functions on to sequences by $T_{z,p}\left(f\right)={(1-|zₙ\left|²\right)}^{1/p}f\left(zₙ\right)$. Necessary and sufficient conditions on zₙ are given such that $T_{z,p}$ maps the Hardy space $H^p$ boundedly into the sequence space ${\ell }^q$. A corresponding result for Bergman spaces is also stated.