On Two-Weight Norm Inequalities for Positive Dyadic Operators

Abstract

AbstractLet σ and ω be locally finite Borel measures on ℝd, and let $p\in (1,\infty )$ p ∈ ( 1 , ∞ ) and $q\in (0,\infty )$ q ∈ ( 0 , ∞ ) . We study the two-weight norm inequality $ \lVert T(f\sigma ) \rVert _{L^{q}(\omega )}\leq C \lVert f \rVert _{L^{p}(\sigma )}, \quad \text {for all} f \in L^{p}(\sigma ), $ ∥ T ( f σ ) ∥ L q ( ω ) ≤ C ∥ f ∥ L p ( σ ) , for all f ∈ L p ( σ ) , for both the positive summation operators T = Tλ(⋅σ) and positive maximal operators T = Mλ(⋅σ). Here, for a family {λQ} of non-negative reals indexed by the dyadic cubes Q, these operators are defined by $ T_{\lambda }(f\sigma ):={\sum }_{Q} \lambda _{Q} \langle {f}\rangle ^{\sigma }_{Q} 1_{Q} \quad \text { and } \quad M_{\lambda }(f\sigma ):=\sup _{Q} \lambda _{Q} \langle {f}\rangle ^{\sigma }_{Q} 1_{Q}, $ T λ ( f σ ) : = ∑ Q λ Q 〈 f 〉 Q σ 1 Q and M λ ( f σ ) : = sup Q λ Q 〈 f 〉 Q σ 1 Q , where $\langle {f}\rangle ^{\sigma }_{Q}:=\frac {1}{\sigma (Q)} {\int \limits }_{Q} |f| d \sigma $ 〈 f 〉 Q σ : = 1 σ ( Q ) ∫ Q | f | d σ . We obtain new characterizations of the two-weight norm inequalities in the following cases: (1) For T = Tλ(⋅σ) in the subrange q < p. Under the additional assumption that σ satisfies the $A_{\infty }$ A ∞ condition with respect to ω, we characterize the inequality in terms of a simple integral condition. The proof is based on characterizing the multipliers between certain classes of Carleson measures. (2) For T = Mλ(⋅σ) in the subrange q < p. We introduce a scale of simple conditions that depends on an integrability parameter and show that, on this scale, the sufficiency and necessity are separated only by an arbitrarily small integrability gap. (3) For the summation operators T = Tλ(⋅σ) in the subrange 1 < q < p. We characterize the inequality for summation operators by means of related inequalities for maximal operators T = Mλ(⋅σ). This maximal-type characterization is an alternative to the known potential-type characterization. The subrange of the exponents q < p appeared recently in applications to nonlinear elliptic PDE with $\lambda _{Q} = \sigma (Q) |Q|^{\frac {\alpha }{d}-1}$ λ Q = σ ( Q ) | Q | α d − 1 , α ∈ (0, d). In this important special case Tλ is a discrete analogue of the Riesz potential $I_{\alpha }=(-{\Delta })^{-\frac {\alpha }{2}}$ I α = ( − Δ ) − α 2 , and Mλ is the dyadic fractional maximal operator.