Nowak and Stempak (2006) proposed a unified approach to the theory of Riesz transforms and conjugacy in the setting of multi-dimensional orthogonal expansions, and proved their boundedness on L². Following them, we give easy to check sufficient conditions for their boundedness on $L^p$, 1 < p < ∞. We also discuss the symmetrized version of these transforms.

We consider the Schrödinger operators $-\Delta +V\left(x\right)$ in ${ℝ}^n$ where the nonnegative potential $V\left(x\right)$ belongs to the reverse Hölder class $B_q$ for some $q\ge n/2$. We obtain the optimal $L^p$ estimates for the operators $(-\Delta +V{)}^{i\gamma },{\nabla }^2(-\Delta +V{)}^{-1},\nabla (-\Delta +V{)}^{-1/2}$ and $\nabla (-\Delta +V{)}^{-1}$ where $\gamma \in ℝ$. In particular we show that $(-\Delta +V{)}^{i\gamma }$ is a Calderón-Zygmund operator if $V\in B_{n/2}$ and $\nabla (-\Delta +V{)}^{-1/2},\nabla (-\Delta +V{)}^{-1}\nabla$ are Calderón-Zygmund operators if $V\in B_n$.

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

A measure is called $L^p$-improving if it acts by convolution as a bounded operator from $L^p$ to $L^q$ for some q > p. Positive measures which are $L^p$-improving are known to have positive Hausdorff dimension. We extend this result to complex $L^p$-improving measures and show that even their energy dimension is positive. Measures of positive energy dimension are seen to be the Lipschitz measures and are characterized in terms of their improving behaviour on a subset of $L^p$-functions.

$L^p$-$L^q$ estimates are obtained for convolution operators by finite measures supported on curves in the Heisenberg group whose tangent vector at the origin is parallel to the centre of the group.

We consider a double analytic family of fractional integrals $S_z^{\gamma ,\alpha }$ along the curve ${t\mapsto \left|t\right|}^{\alpha }$, introduced for α = 2 by L. Grafakos in 1993 and defined by $\left(S_z^{\gamma ,\alpha }f\right)(x₁,x₂):=1/\Gamma (z+1/2){\int \int |u-1|}^z\psi (u-1){f(x₁-t,x₂-u|t|}^{\alpha }{\left)du\right|t|}^{\gamma }dt/t$, where ψ is a bump function on ℝ supported near the origin, $f{\in }_c^{\infty }\left(ℝ²\right)$, z,γ ∈ ℂ, Re γ ≥ 0, α ∈ ℝ, α ≥ 2. We determine the set of all (1/p,1/q,Re z) such that $S_z^{\gamma ,\alpha }$ maps $L^p\left(ℝ²\right)$ to $L^q\left(ℝ²\right)$ boundedly. Our proof is based on product-type kernel arguments. More precisely, we prove that the kernel $K_{-1+i\theta }^{i\varrho ,\alpha }$ is a product kernel on ℝ², adapted to the curve ${t\mapsto \left|t\right|}^{\alpha }$; as a consequence, we show that the operator...

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

The commutator of a singular integral operator with homogeneous kernel Ω(x)/|x|ⁿ is studied, where Ω is homogeneous of degree zero and has mean value zero on the unit sphere. It is proved that $\Omega \in L{\left(logL\right)}^{k+1}\left(S^{n-1}\right)$ is a sufficient condition for the kth order commutator to be bounded on $L^p\left(ℝⁿ\right)$ for all 1 < p < ∞. The corresponding maximal operator is also considered.

The $L^p\left(ℝⁿ\right)$ boundedness is established for commutators generated by BMO(ℝⁿ) functions and convolution operators whose kernels satisfy certain Fourier transform estimates. As an application, a new result about the $L^p\left(ℝⁿ\right)$ boundedness is obtained for commutators of homogeneous singular integral operators whose kernels satisfy the Grafakos-Stefanov condition.

Let L be a homogeneous sublaplacian on the 6-dimensional free 2-step nilpotent Lie group $N_{3,2}$ on three generators. We prove a theorem of Mikhlin-Hörmander type for the functional calculus of L, where the order of differentiability s > 6/2 is required on the multiplier.

We show in two dimensions that if $Kf={\int }_{ℝ₊²}k(x,y)f\left(y\right)dy$, $k(x,y)=\left(e^{i{x}^a·y^b}\right){/\left(\right|x-y|}^{\eta })$, p = 4/(2+η), a ≥ b ≥ 1̅ = (1,1), $v_p\left(y\right)=y^{(p/p^{\text{'}})(1̅-b/a)}$, then ${\left|\right|Kf\left|\right|}_p{\le C\left|\right|f\left|\right|}_{p,v_p}$ if η + α₁ + α₂ < 2, ${\alpha }_j=1-b_j/a_j$, j = 1,2. Our methods apply in all dimensions and also for more general kernels.

We prove that $ʃ{\left(S_{d}f\right)}^{p}Vdx\le C_{p,n}ʃ{\left|f\right|}^p{M}_d^{\left(\right[p/2]+2)}Vdx$, where $S_d$ is the dyadic square function, $M_d^{\left(k\right)}$ is the k-fold application of the dyadic Hardy-Littlewood maximal function and p > 2.

In this paper we study a singular integral operator T with rough kernel. This operator has singularity along sets of the form {x = Q(|y|)y'}, where Q(t) is a polynomial satisfying Q(0) = 0. We prove that T is a bounded operator in the space L2(Rn), n ≥ 2, and this bound is independent of the coefficients of Q(t).We also obtain certain Hardy type inequalities related to this operator.

Let m be a Radon measure on C without atoms. In this paper we prove that if the Cauchy transform is bounded in L2(m), then all 1-dimensional Calderón-Zygmund operators associated to odd and sufficiently smooth kernels are also bounded in L2(m).