arXiv subjects
Publications and source records attributed to Lesley A. Ward.
In this paper, we provide a non-homogeneous $T(1)$ theorem on product spaces $(X_1 \times X_2, ρ_1 \times ρ_2, μ_1 \times μ_2)$ equipped with a quasimetric $ρ_1 \times ρ_2$ and a Borel measure $μ_1 \times μ_2$, which, need not be doubling but satisfies an upper control on the size of quasiballs.
We establish a connection between the function space BMO and the theory of quasisymmetric mappings on \emph{spaces of homogeneous type} $\widetilde{X} :=(X,ρ,μ)$. The connection is that the logarithm of the generalised Jacobian of an $η$-quasisymmetric mapping $f: \widetilde{X} \rightarrow \widetilde{X}$ is always in $\rm{BMO}(\widetilde{X})$. In the course of proving this result, we first show that on $\widetilde{X}$, the logarithm of a reverse-Hölder weight $w$ is in $\rm{BMO}(\widetilde{X})$, and that the above-mentioned connection holds on metric measure spaces $\widehat{X} :=(X,d,μ)$. Furthermore, we construct a large class of spaces $(X,ρ,μ)$ to which our results apply. Among the key ingredients of the proofs are suitable generalisations to $(X,ρ,μ)$ from the Euclidean or metric measure space settings of the Calderón--Zygmund decomposition, the Vitali Covering Theorem, the Radon--Nikodym Theorem, a lemma which controls the distortion of sets under an $η$-quasisymmetric mapping, and a result of Heinonen and Koskela which shows that the volume derivative of an $η$-quasisymmetric mapping is a reverse-Hölder weight.
We prove that the maximal functions associated with a Zygmund dilation dyadic structure in three-dimensional Euclidean space, and with the flag dyadic structure in two-dimensional Euclidean space, cannot be bounded by multiparameter sparse operators associated with the corresponding dyadic grid. We also obtain supplementary results about the absence of sparse domination for the strong dyadic maximal function.
We study the commutator of the well-known Cauchy integral operator with a locally integrable function $b$ on $\mathbb R$, and establish the characterisation of the BMO space on $\mathbb R$ via the $L^p$ boundedness of this commutator. Moreover, we also establish the characterisation of the VMO space on $\mathbb R$ via the compactness of this commutator.
We provide an atomic decomposition of the product Hardy spaces $H^p(\widetilde{X})$ which were recently developed by Han, Li, and Ward in the setting of product spaces of homogeneous type $\widetilde{X} = X_1 \times X_2$. Here each factor $(X_i,d_i,μ_i)$, for $i = 1$, $2$, is a space of homogeneous type in the sense of Coifman and Weiss. These Hardy spaces make use of the orthogonal wavelet bases of Auscher and Hytönen and their underlying reference dyadic grids. However, no additional assumptions on the quasi-metric or on the doubling measure for each factor space are made. To carry out this program, we introduce product $(p,q)$-atoms on $\widetilde{X}$ and product atomic Hardy spaces $H^{p,q}_{\rm at}(\widetilde{X})$. As consequences of the atomic decomposition of $H^p(\widetilde{X})$, we show that for all $q > 1$ the product atomic Hardy spaces coincide with the product Hardy spaces, and we show that the product Hardy spaces are independent of the particular choices of both the wavelet bases and the reference dyadic grids. Likewise, the product Carleson measure spaces ${\rm CMO}^p(\widetilde{X})$, the bounded mean oscillation space ${\rm BMO}(\widetilde{X})$, and the vanishing mean oscillation space ${\rm VMO}(\widetilde{X})$, as defined by Han, Li, and Ward, are also independent of the particular choices of both wavelets and reference dyadic grids.
We obtain weak-type $(p, p)$ endpoint bounds for Bochner-Riesz means for the Hermite operator $H=-Δ+|x|^2$ in ${\mathbb R}^n, n\geq 2$ and for other related operators for $1\leq p\leq 2n/(n+2)$, extending earlier results of Thangavelu and of Karadzhov.
The commutators of bilinear Calderón-Zygmund operators and point-wise multiplication with a symbol in $cmo$ are bilinear compact operators on product of Lebesgue spaces. This work shows that, for certain non-degenerate Calderón-Zygmund operators, the symbol being in $cmo$ is not only sufficient but actually necessary for the compactness of the commutators.
A classical theorem of Jones and Journé on weak-star convergence in the Hardy space $H^1$ was generalised to the multiparameter setting by Pipher and Treil. We prove the analogous result when the underlying space is a product space of homogeneous type. The main tools we use for this setting are from recent work in papers by Chen, Li and Ward and by Han, Li and Ward.
Let $X_1$ and $X_2$ be metric spaces equipped with doubling measures and let $L_1$ and $L_2$ be nonnegative self-adjoint second-order operators acting on $L^2(X_1)$ and $L^2(X_2)$ respectively. We study multivariable spectral multipliers $F(L_1, L_2)$ acting on the Cartesian product of $X_1$ and $X_2$. Under the assumptions of the finite propagation speed property and Plancherel or Stein--Tomas restriction type estimates on the operators $L_1$ and~$L_2$, we show that if a function~$F$ satisfies a Marcinkiewicz-type differential condition then the spectral multiplier operator $F(L_1, L_2)$ is bounded from appropriate Hardy spaces to Lebesgue spaces on the product space $X_1\times X_2$. We apply our results to the analysis of second-order elliptic operators in the product setting, specifically Riesz-transform-like operators and double Bochner--Riesz means.
The aim of this article is to develop the theory of product Hardy spaces associated with operators which possess the weak assumption of Davies--Gaffney heat kernel estimates, in the setting of spaces of homogeneous type. We also establish a Calderón--Zygmund decomposition on product spaces, which is of independent interest, and use it to study the interpolation of these product Hardy spaces. We then show that under the assumption of generalized Gaussian estimates, the product Hardy spaces coincide with the Lebesgue spaces, for an appropriate range of~$p$.
We prove that the class of Muckenhoupt A_p weights coincides with the intersection of finitely many suitable translates of dyadic A_p, in both the one-parameter and multiparameter cases, and that the analogous results hold for the reverse Hölder class RH_p, for doubling measures, and for the space VMO of functions of vanishing mean oscillation. We extend to the multiparameter (product) space BMO of functions of bounded mean oscillation the corresponding one-parameter BMO result due to T. Mei, by means of the Carleson-measure characterization of multiparameter BMO. Our results hold in both the compact and non-compact cases. In addition, we survey several definitions of VMO and prove their equivalences, in the continuous, dyadic, one-parameter and multiparameter cases. We show that the weighted Hardy space H^1(ω) is the sum of finitely many suitable translates of dyadic weighted H^1(ω), and that the weighted maximal function is pointwise comparable to the sum of finitely many dyadic weighted maximal functions for suitable translates of the dyadic grid and for each doubling weight ω.
Let D be a planar domain containing 0. Let h_D(r) be the harmonic measure at 0 in D of the part of the boundary of D within distance r of 0. The resulting function h_D is called the harmonic measure distribution function of D. In this paper we address the inverse problem by establishing several sets of sufficient conditions on a function f for f to arise as a harmonic measure distribution function. In particular, earlier work of Snipes and Ward shows that for each function f that increases from zero to one, there is a sequence of multiply connected domains X_n such that h_{X_n} converges to f pointwise almost everywhere. We show that if f satisfies our sufficient conditions, then f = h_D, where D is a subsequential limit of bounded simply connected domains that approximate the domains X_n. Further, the limit domain is unique in a class of suitably symmetric domains. Thus f = h_D for a unique symmetric bounded simply connected domain D.
We construct examples showing that the normalized Lebesgue measure of the conical limit set of a uniformly quasiconformal group acting discontinuously on the disc may take any value between zero and one. This is in contrast to the cases of Fuchsian groups acting on the disc, conformal groups acting discontinuously on the ball in dimension three or higher, uniformly quasiconformal groups acting discontinuously on the ball in dimension three or higher, and discrete groups of biholomorphic mappings acting on the ball in several complex dimensions. In these cases the normalized Lebesgue measure is either zero or one.