# Summation of Multiple Fourier Series in Matrix WeightedLp-Spaces

Authors: Morten Nielsen
Journal: Journal of Mathematics
 (2013)

---

## Abstract

This paper is concerned with rectangular summation of multiple Fourier series in matrix weightedLp-spaces. We introduce a product Muckenhoupt Ap condition for matrix weights W and prove that rectangular Fourier partial sums converge in the corresponding matrix weighted space Lp(𝕋d;W), 1<p<∞, if and only if the weight satisfies the product Muckenhoupt Ap condition. The same result is shown to hold true for other summation methods such as Cesàro and summation with the Jackson kernel.


---

## Body

## 1. Introduction

Letℳ be the family of nonnegative-definite m×m complex-valued matrices. A (periodic) matrix weight is by definition an integrable map W:𝕋d→ℳ. For a measurable vector-valued function f=(f1,…,fm)T:𝕋d→ℂm, let
(1)∥f∥Lp(𝕋d;W):=(∫𝕋d|W1/p(t)f(t)|pdt)1/p,1≤p<∞,
where |·| denotes the usual norm on ℂm. We let Lp(𝕋d;W) denote the family {f:𝕋d→ℂm:∥f∥Lp(𝕋d;W)<∞}, and Lp(𝕋d;W) becomes a Banach space when we factorize over 𝒩={f:∥f∥Lp(𝕋d;W)=0}.In this paper we are interested in convergence properties of multiple trigonometric series inLp(𝕋d;W) and how specific convergence properties of trigonometric series can be related to properties of the weight W. To be more specific, let Dn(t)=∑|k|≤n‍e-2πikt denote the univariate Dirichlet kernel, and for N∈ℕd we define the rectangular kernel DN(t):=∏j=1d‍DNj(tj). Then
(2)SNf:=f*DN:=∫𝕋df(t)DN(·-t)dt,f∈L1(𝕋d),defines the rectangular partial sum operator for the trigonometric system. We define the action ofSN on vector-valued functions f by letting it act separately on each coordinate function; that is,
(3)[SN(f)]j=SN(fj),j=1,2,…m.It is well known (see, e.g., [1, Theorem 3.5.7]) that ∥f-SN(f)∥Lp(𝕋d)→0, as minjNj→+∞, for 1<p<∞. An immediate corollary is that we have convergence of the partial sums SN(f), in Lp(𝕋d;Id), for 1<p<∞ in the vector-valued case. However, it is not obvious what can be said about convergence of SN(f) in Lp(𝕋d;W) for a general matrix weight W. The main result of the preset paper completely characterizes the special class of weights that allow convergence; SN(f) converges if and only if the weight W satisfies a certain matrix Muckenhoupt Ap product condition. Moreover, the characterization relies solely on certain localization properties of the Dirichlet kernels shared by many other summation kernels. So, in addition, we prove that the rectangular Cesàro means and approximation using the Jackson kernels converge in Lp(𝕋d;W) if and only if the weight W satisfies the mentioned matrix Muckenhoupt Ap product condition.At a first glance, the study of vector-valued operators likeSN on Lp(𝕋d;W) may seem artificial, but let us mention one important application to finitely generated shift invariant spaces where such mappings appear naturally. For a finite set of functions {fk}k=1m in L2(ℝd), the associated shift invariant space S is given by
(4)S:=Span{fk(·-l):l∈ℤd,k=1,2,…,m}¯⊂L2(ℝd).A natural question to pose is whetherB:=Span{fk(·-l):l∈ℤd,k=1,2,…,m} forms some sort of “stable” generating system for S. Here stable can mean a Schauder basis, or even some weaker notion such as a block Schauder basis. Consider the vector valued system 𝒯:={eje2πik·t:k∈ℤd,j=1,…,m}, where {ej}j=1m is the standard basis for ℂm, and let G the m×m Gram matrix be given by
(5)Gi,j:=∑k∈ℤd‍fi^(·-k)fj^(·-k)¯,
where the Fourier transform is given by f^(ξ):=∫ℝd‍f(t)e-2πit·ξdt. One can show (see [2]) that the map U:L2(𝕋d;G)→S, given by
(6)U(τ):=(∑ℓ=1N‍τℓ(ξ)ψℓ^)∨,is an isometric isomorphism betweenL2(𝕋d;G) and S, satisfying U(eje-2πik·t)=fj(·-k). Hence, the metric properties of B in S are equivalent to the properties of 𝒯 in L2(𝕋d;G). For example, U will map {SN} to a corresponding rectangular partial sum operators for B on S. The same correspondence holds true for the other summation methods related to 𝒯 such as rectangular Cesàro means and approximation using the Jackson kernels converge in Lp(𝕋d;W) that will be discussed below.It was proved by the present author [2] that the rectangular partial sums {USN} converge in S precisely when {SN} are uniformly bounded on L2(𝕋;G) which happens exactly when G is a Muckenhoupt A2 product matrix weight.The structure of this paper is as follows. In Section2 we introduce a product Ap condition for matrix weights. Then necessary and sufficient conditions for a convolution operator of product type (such as SN) to be bounded on Lp(𝕋d;W) are given. Section 3 contains applications of the results in Section 2 to convolution operators induced by rectangular Dirichlet, Fejér, and Jackson kernels.


## 2. The Muckenhoupt Condition and Operators onLp(𝕋d;W)

In this section we introduce a matrix MuckenhouptAp product condition suitable for dealing with convolution operators of product type such as the partial sum operator SN defined by (3). A sufficient condition for convolution operators of product type bounded on Lp(𝕋d;W) is given in Proposition 5, while a converse type result is considered in Proposition 7. We prove that convolution operators with “nicely localized” kernels can only be uniformly bounded on Lp(𝕋d;W) when W satisfies the product Ap condition.The scalarAp condition was introduced by Muckenhoupt [3], and it was proved by Hunt et al. in their seminal paper [4] that the Ap condition on a weight w is necessary and sufficient for the Hilbert transform to be bounded on the weighted space Lp(𝕋;w).More recently, Hunt-Muckenhoupt-Wheeden type results for matrix weights have been considered. The matrixAp condition was introduced by Nazarov et al. [5–7] and they showed that it is the right condition for “standard” singular integral operators to be bounded on Lp(𝕋d;W). The Ap condition (1<p<∞) for weights W:ℝd→ℳ was originally stated in terms of dual matrices and average, but it was shown by Roudenko [8] to be equivalent to
(7)supB(∫B(∫B∥W1/p(x)W-1/p(y)∥p′dy|B|)p/p′dx|B|)p′/p,
where the sup is taken over all open balls in ℝd and p′=p/(p-1) is the conjugate exponent.Since our goal is to study operators of product type related to rectangular trigonometric partial sums, the condition given by (7) is not the appropriate one. The periodic weights satisfying (7) are well behaved when it comes to the study of square or spherical partial sum operators for trigonometric series. Let us therefore introduce a new and slightly modified Muckenhoupt condition. Inspired by (7), we let ℛ(d) denote the family of all rectangles in ℝd of the form R=I1×I2×⋯×Id, with Ij  being a bounded open interval in ℝ. Then we consider the following more restrictive subclass of matrix weights.Definition 1.
LetW:𝕋d→ℳ be a periodic matrix weight. For 1<p<∞, let p′=p/(p-1) denote the conjugate exponent to p. We say that W belongs to the matrix Muckenhoupt (product) class PAp provided there exists a uniform constant cW such that
(8)AW(R,p):=∫R(∫R∥W1/p(x)W-1/p(y)∥p′dy|R|)p/p′dx|R|≤cW,
for anyR∈ℛ(d).Remark 2.
Ford=1, Definition 1 reduces to the standard matrix Ap condition on 𝕋, which we denote by Ap(𝕋). In the scalar case (i.e., m=1), Definition 1 reduces to the known product Ap condition for scalar weights, which has a long history; see [9] and references therein.
The similarity of conditions (8) and (7) implies that many results for matrix Ap weights have straightforward analogs in the product case; the proofs can be “translated verbatim.” Let us state the following lemma which will be needed below.Lemma 3.
LetW:𝕋d→ℳ be a matrix weight. Then the following statements are equivalent for 1<p<∞:  (i)
W∈PAp;(ii)
W-p′/p∈PAp′;(iii)
∫R‍(∫R‍∥W1/p(x)W-1/p(y)∥p(dx/|R|))p′/p(dy/|R|)≤cW, for allR∈ℛ(d).We refer the reader to Roudenko [8] for the proof of Lemma 3 in the nonproduct case.The following Lemma reveals why one can expectAPp to be useful for product operators. A weight in APp is uniformly in Ap(𝕋) in each of its d variables.Lemma 4.
LetW:𝕋d→ℳ be a matrix weight, and let 1<p<∞. Then the following holds.(a)
For any rectanglesR⊆R~⊂ℛ(d),
(9)AW(R,p)≤(|R~||R|)pAW(R~,p).(b)
SupposeW∈PAp; then the univariate weight ξj→W(ξ), obtained by fixing the variables ξk, k≠j, is uniformly in 𝔸p(𝕋) for a.e. (ξ1,…,ξj-1,ξj+1,…,ξd)∈𝕋d-1.Proof.
For (a), we notice that wheneverR⊆R~⊂ℛ(d),
(10)AW(R,p)=∫R(∫R∥W1/p(x)W-1/p(t)∥p′dt|R|)p/p′dx|R|≤(|R~||R|)p∫R~(∫R~∥W1/p(x)W-1/p(t)∥p′dt|R~|)p/p′dx|R~|=(|R~||R|)pAW(R~,p).
Now we turn to the proof of (b). It suffices to considerW~(t):=W(t,ξ2,…,ξd) for (ξ2,…,ξd)∈𝕋d-1 fixed. Given an interval I⊂ℝ, we form Rε=Iε(ξ2)×⋯×Iε(ξd), where Iε(ξj) is an interval of length 2ε centered at ξj. First suppose p≤p′. Since W∈PAp, there exists a constant cW independent of I×Rε such that
(11)1|Rε|2∫Rε∫Rε[×(w,v)W1/p∥p′dw|I|)p/p′dt|I|]∫I(dw|I|∫I∥W1/p(t,u)W-1/p×(w,v)W1/p∥p′dw|I|∫I∥W1/p(t,u)W-1/p)p/p′dt|I|]dudv≤∫Rε∫I(dwdv|I|·|Rε|∫Rε∫I∥W1/p(t,u)W-1/p(w,v)∥p′×dwdv|I|·|Rε|)p/p′dtdu|I|·|Rε|=AW(R,p)≤cW,where we have used the continuous embedding L1(Rε;dv/|Rε|)↪Lp/p′(Rε;dv/|Rε|). Hence, by Lebesgue's differentiation theorem, for almost every (ξ2,…,ξd)∈𝕋d-1,
(12)cW≥limε→0+AW(I×Rε,p)=∫I(∫I∥W~1/p(t)W~-1/p(w)∥p′dw|I|)p/p′dt|I|=AW~(I,p),
where the constant is independent ofI and (ξ2,…,ξd). It follows that W~ is uniformly in 𝔸p(𝕋) for a.e.  (ξ2,…,ξd)∈𝕋d-1. In the case p′<p, we use Lemma 3 to conclude that W-p′/p∈PAp′, which implies the following estimate:(13)∫Rε∫I(dtdu|I|·|Rε|∫Rε∫I∥W1/p(t,u)W-1/p(w,v)∥p×dtdu|I|·|Rε|)p′/pdwdv|I|·|Rε|≤cW.
By repeating the argument from thep≤p′ case, we conclude that W~-p′/p is uniformly in Ap′(𝕋) which again by Lemma 3 implies that W~ is uniformly in Ap(𝕋).We can now prove the following result that explains how to get from a bounded convolution operator onLp(𝕋;W) to a bounded convolution operator on Lp(𝕋d;W), for W∈APp, simply by forming the natural product kernel.Proposition 5.
Suppose that{KN}N≥0 is a sequence of convolution kernels defined on 𝕋 for which the corresponding operators
(14)TNf:=∫𝕋‍f(t)KN(·-t)dt
are uniformly bounded onLp(𝕋;W) whenever W∈Ap(𝕋). Then the associated product convolution kernels
(15)KN(ξ)=∏j=1d‍KNj(ξj),N=(N1,…,Nd)∈ℕ0d,ξ∈𝕋d,
induce a uniformly bounded family of operators onLp(𝕋d;W) for W∈PAp.Proof.
Suppose thatW∈PAp. In the case d=1, there is nothing to prove. We focus on the case d=2; the reader can easily verify that the argument below generalizes to any d≥3.
According to Lemma4(b), Wξ1:=W(ξ1,·) and Wξ2:=W(·,ξ2) satisfy uniform Muckenhoupt Ap-conditions a.e. on 𝕋. Pick any f∈Lp(𝕋2,W). By Fubini's theorem, fξ1:=f(ξ1,·)∈Lp(𝕋,Wξ1) and fξ2:=f(·,ξ2)∈Lp(𝕋,Wξ2) for a.e. [ξ1] and [ξ2], respectively.
We define(16)TN1f:=KN*fξ2:=∫𝕋‍fξ2(t)KN(·-t)dt,TM2f:=KM*fξ1:=∫𝕋fξ1(t)KM(·-t)dt.
Notice thatTN,Mf=TN1TM2f. By assumption,
(17)∫𝕋|Wξ11/p(ξ2)TM2fξ1(ξ2)|pdξ2≤C∫𝕋‍|Wξ11/p(ξ2)fξ1(ξ2)|pdξ2,a.e.[ξ1].
An integration yields(18)∫𝕋‍∫𝕋‍|W1/p(ξ1,ξ2)TM2f(ξ1,ξ2)|pdξ2dξ1≤C∫𝕋‍∫𝕋‍|W1/p(ξ1,ξ2)f(ξ1,ξ2)|pdξ2dξ1.
Similarly,(19)∥TN,Mf∥Lp(𝕋2,W)p=∫𝕋‍∫𝕋‍|W1/p(ξ1,ξ2)TN1TM2f(ξ1,ξ2)|pdξ1dξ2≤C∫𝕋‍∫𝕋‍|W1/p(ξ1,ξ2)TM2f(ξ1,ξ2)|pdξ1dξ2≤C2∫𝕋‍∫𝕋‍|W1/p(ξ1,ξ2)f|pdξ1dξ2.
It follows that the family{TN}N∈ℕ02 is uniformly bounded on Lp(𝕋2;W).We now turn to a converse type result to Proposition5. Proposition 7 will show that well-localized trigonometric convolution kernels of product type can only be uniformly bounded on Lp(𝕋d;W) when W∈APp.We need the following Lemma which gives an estimate of the norm of integral operators onL2(𝕋d;W) with nice compactly supported kernels.Lemma 6.
SupposeSf(ξ)=∫𝕋d‍S(ξ,η)f(η)dη is an integral operator with a scalar kernel S(ξ,η) that satisfies |S(ξ,η)|≤α|R|-1χR×R for some bounded rectangle R⊂ℝd. For 1<p<∞, there exists a constant Cd independent of the particular choice of S such that the norm of S on Lp(𝕋d;W) is at most Cd·α·AW(R,p), with AW(R,p) given by (8). Moreover, the kernel α|R|-1χR×χR induces an operator with norm at least Cd-1·α·AW(R,p) on Lp(𝕋d;W).The proof of Lemma6 for nonproduct Ap-weights can be found in Goldberg [10]. We leave the straightforward adaptation of the proof in [10] to the product case for the reader.We can now give a proof of Proposition7. For K∈ℕ, we let 𝒫K=span{e2πik·:k∈ℤ;|k|≤K}.Proposition 7.
LetW:𝕋d→ℳ be a periodic matrix weight, and let {Kn}n≥1 be a sequence of real-valued trigonometric convolution kernels defined on 𝕋. Assume there exist constants c, C such that Kn∈𝒫c·n, with C-1n≤∥Kn∥∞=Kn(0)≤Cn,for n∈ℕ. Suppose that the corresponding product kernels
(20)KN(ξ)=∏j=1d‍KNj(ξj),N∈ℕ0d,
induce a uniformly bounded family{TKN} of convolution operators on Lp(𝕋d;W). Then W∈PAp.Proof.
We have to estimateAW(R,p) for an arbitrary rectangle R∈ℛ(d). The idea is to form a suitable product kernel KN that is “large” on R in the sense that the corresponding operator can be well approximated by an integral operator of the type considered in Lemma 6.
By assumption, the kernelKn∈𝒫c·n is real and ∥Kn∥∞=Kn(0)≤Cn, so by Bernstein's inequality, ∥Kn′∥∞≤cCn2. We can thus find an integer M (independent of n) such that for t∈[-1/Mn,1/Mn] we have Kn(t)≥(1-(1/2Cd2))1/d∥Kn∥∞, where Cd is the constant from Lemma 6.
Let a rectangleR=I1×I2×⋯×Id be given. For j=1,2,…,d, with |Ij|>1/2M, we define Nj=0 and replace Ij with [-1/2,1/2) and obtain a possibly larger rectangle R~. By Lemma 4(b), there exists a universal constant b such that AW(R,p)≤bAW(R~,p) since |R~|≤(2M)d|R|. Next, for each j=1,2,…,d with |Ij|≤1/2M, we choose an integer Nj≥1 such that
(21)14M·1Nj≤|Ij|≤12M·1Nj.
Notice that fort,u∈Ij, we have t-u∈Ij-Ij⊂[-1/MNj,1/MNj] so
(22)KNj(t-u)≥(1-12Cd2)1/d∥KNj∥∞.
For notational convenience we putK0:=1 and form the product kernel
(23)KN(ξ)=∏j=1d‍KNj(ξj).
The plan of attack is to use the simple fact thatf→χR~TKN(χR~f) is uniformly bounded in both R~ and N∈ℕ0d. We notice that f→χR~TKN(χR~f) has integral kernel
(24)S2(ξ,η):=χR~(η)χR~(ξ)KN(η-ξ).
We wish to estimate the operator norm ofS2 from below. For that purpose we first consider the operator with kernel
(25)S(ξ,η):=S1(ξ,η)-S2(ξ,η)S(ξ,η):=∥KN∥∞χR~(ξ)χR~(η)-χR~(ξ)χR~(η)KN(ξ-η).
Notice that estimate (22), together with the fact that ∥KN∥∞=∏j=1d‍KNj(0), implies the following size estimate
(26)|S(ξ,η)|=|∥KN∥∞χR~(ξ)χR~(η)-χR~(ξ)χR~(η)KN(ξ-η)|≤∥KN∥∞2Cd2χR~(ξ)χR~(η)=|R~|·∥KN∥∞2Cd2|R~|-1χR~(ξ)χR~(η).
According to Lemma6, the kernel S induces an operator of norm at most (1/2)Cd-1|R~|·∥KN∥∞AW(R~,p) on Lp(𝕋d;W). At the same time, Lemma 6 shows that the operator with kernel S1(ξ,η)=|R~|∥KN∥∞·|R~|-1χR~(ξ)χR~(η) has norm at least Cd-1|R~|·∥KN∥∞AW(R~,p) on Lp(𝕋d;W). The triangle inequality for operator norms now implies that
(27)12Cd|R~|·∥DN∥∞M(R~,W)≥∥S1-S2∥≥|∥S1∥-∥S2∥|≥Cd-1|R~|·∥DN∥∞M(R~,W)-∥S2∥,
so∥S2∥≥(1/2)Cd-1|R~|·∥DN∥∞AW(R~,p). Moreover, by (21), we see that |R~|·∥KN∥∞≥C(4M)-d, so we may conclude that
(28)AW(R,p)≤bAW(R~,p)AW(R,p)≤2bCCd(4M)d∥S2∥AW(R,p)=C′sup∥f∥Lp(𝕋d;W)=1∥χR~TKN(χR~f)∥Lp(𝕋d;W)AW(R,p)≤C′sup∥f∥Lp(𝕋d;W)=1∥TKNf∥Lp(𝕋d;W)≤C′′
with constantC′′ independent of R. We may finally conclude that W∈PAp(d).


## 3. Summation of Multiple Trigonometric Series

This section contains applications of the results of Section2 to convolution operators induced by rectangular Dirichlet, Fejér, and Jackson kernels. The Dirichlet kernels correspond to standard rectangular trigonometric summation while the Fejér kernels generate the corresponding Cesàro means. The Jackson kernels are (normalized) squares of the Fejér kernels, and they induce the well-known Jackson approximation by trigonometric polynomials.We begin by studying the univariate Dirichlet kernel. The Hilbert transformH is defined on Lp(𝕋), 1<p<∞, by
(29)H(f)(x):=p.v.∫𝕋‍f(t)cot(π(x-t))dt.We liftH to a linear operator on Lp(𝕋;W), for any matrix weight W:𝕋→ℳ, by letting it act coordinatewise.Treil and Volberg completely characterized when the Hilbert transformH is bounded in the matrix case on 𝕋 when p=2; see [11]. Later, Nazarov and Treĭl′ introduced in a new “Bellman function” method [6] to extend the theory to 1<p<∞. Volberg presented a different solution to the matrix weighted Lp boundedness of the Hilbert transform via Littlewood-Paley theory [7]. The fundamental result is the following.Theorem 8 (see [6, 7, 11]).
LetW:𝕋→ℳ be a matrix weight. Suppose 1<p<∞. Then the Hilbert transform is bounded on Lp(𝕋;W) if and only if W∈Ap(𝕋).We recall that the univariate Dirichlet kernelDN is given by
(30)DN(t)=sin2π(N+1/2)tsinπt,N≥1,and forf∈Lp(𝕋) we define the associated partial sum operators,
(31)SN(f):=∑k=-NN‍f^(k)e2πik·SN(f):=f*DN:=∫𝕋‍f(t)DN(·-t)dt.We have the following lemma which follows easily from Theorem8.Lemma 9.
LetW:𝕋→ℳ be a matrix weight in Ap(𝕋). Then the partial sum operators f→f*DN are uniformly bounded on Lp(𝕋;W).Proof.
We letP+=(1/2)(I+iH+S0) denote the Riesz projection onto Hp for f∈Lp(𝕋;W), where S0f:=∫𝕋‍f(y)dy is the 0-order partial sum operator. It follows that P+ is bounded on Lp(𝕋;W) since H is bounded according to Theorem 8, and S0 is bounded according to [12, Lemma 1.5]. Notice that f→fe2πiM· is a norm preserving operator on Lp(𝕋;W), just as in the scalar case. Then we observe that
(32)f*DN=e-2πiN·P+(e2πiN·f)-e2πi(N+1)·P+(e-2πi(N+1)·f),
and the result follows.ForN=(N1,…,Nd)∈ℕ0d, we form the product kernel DN(ξ):=∏j=1d‍DNj(ξj). One has
(33)SN(f):=∫𝕋d‍f(t)DN(·-t)dt.We notice thatDN∈𝒫N and DN(0)=∥DN∥∞=2N+1, so the following corollary follows directly from Propositions 5 and 7 and Lemma 9.Corollary 10.
LetW:𝕋d→ℳ be a matrix weight. For 1<p<∞, the operators {SN:N∈ℕd} are uniformly bounded on Lp(𝕋d;W) if and only if W∈APp.Remark 11.
It is easy to verify that vectors of trigonometric polynomials are dense inLp(𝕋d;W), 1<p<∞, whenever W is a matrix weight (since W∈L1 so each entry in W is in L1(𝕋)). It therefore follows by standard techniques that the family {SN:N∈ℕd} is uniformly bounded on Lp(𝕋d;W) if and only if ∥f-SN(f)∥Lp(𝕋;W)→0, as minjNj→+∞, for all f∈Lp(𝕋;W).
Corollary10 relies on basic localization properties of the Dirichlet kernel. However, many well-known summation kernels share the necessary properties needed to apply Propositions 5 and 7. Let us illustrate this fact by considering two specific examples.
The rectangular Cesàro summation is given by(34)σN(f)=1(N1+1)⋯(Nd+1)∑k1=0,…,kd=0N1,…,Nd‍S(k1,k2,…,kd)(f)σN(f)=∫𝕋d‍f(t)FN(·-t)dt
with the product Féjer kernel given byFN(ξ)=∏j=1d‍FNj(ξj), where the scalar Féjer kernel is defined by
(35)Fn(t)=1n(sin(nπt)sin(πt))2.
Notice thatFb∈𝒫n and Fn(0)=∥Fn∥∞=n. The scalar Jackson kernel is the normalized square of the Féjer kernel and given by
(36)Jn(t)=3n(2n2+1)(sin(nπt)sin(πt))4.
The corresponding product kernel isJN(ξ)=∏j=1d‍JNj(ξj), N∈ℕ0d, and the rectangular Jackson summation operator is given by 𝒥N(f):=f*JN. Notice that Jn∈𝒫2n and Jn(0)=∥Jn∥∞=n.
We now conclude by stating the main result, which summarizes the results obtained in the present paper. The theorem shows that uniform boundedness of the rectangular operatorsSN, σN, and 𝒥N on Lp(𝕋d;w) is equivalent to the condition W∈APp.Theorem 12.
LetW:𝕋d→ℳ be a matrix weight. For 1<p<∞, the following conditions are equivalent:  (i)
W∈APp;(ii)
the operators{SN:N∈ℕ0d} are uniformly bounded on Lp(𝕋d;W);(iii)
the operators{σN:N∈ℕ0d} are uniformly bounded on Lp(𝕋d;W);(iv)
the operators{𝒥N:N∈ℕ0d} are uniformly bounded on Lp(𝕋d;W).Proof.
We first notice that each of the univariate kernelsDn,Fn, and Jn satisfies the hypothesis of Proposition 7, so (ii), (iii), and (iv) each implies that W∈APp. Now, suppose that W∈APp. Then (ii) holds by Corollary 10. To conclude, we just need to recall that Cesàro and Jackson summations are both regular summation methods, so (ii) implies both (iii) and (iv).



---

*Source: 135245-2013-03-20.xml*