arxiv: v1 [math.ca] 15 Jan 2019

Transcription

1 DORRONSORO S THEOREM IN HEISENBERG GROUPS KATRIN FÄSSLER AND TUOMAS ORPONEN axiv:9.4767v [mah.ca] 5 Jan 29 ABSTRACT. A heoem of Doonsoo fom he 98s quanifies he fac ha eal-valued Sobolev funcions on Euclidean spaces can be appoximaed by affine funcions almos eveywhee, and a all sufficienly small scales. We pove a vaian of Doonsoo s heoem in Heisenbeg goups: funcions in hoizonal Sobolev spaces can be appoximaed by affine funcions which ae independen of he las vaiable. As an applicaion, we deduce new poofs fo ceain veical vs. hoizonal Poincaé inequaliies fo eal-valued funcions on he Heisenbeg goup, oiginally due o Ausin- Nao-Tessea and Laffogue-Nao.. INTRODUCTION We sa wih a wod on geneal noaion. Fo n N, we conside he n-h Heisenbeg goup = (R 2n+, ). Poins in will ypically be denoed by x = (z, ) R 2n R, and we wie X,..., X 2n fo he lef-invaian veco fields wih he popey ha X j () is he sandad j-h basis veco, j {,..., 2n}. We will make no noaional disincion beween veco fields and he associaed diffeenial opeaos. If he deivaives X j f, j {,..., 2n}, of a funcion f : R exis in he disibuional sense, we denoe by H f = (X f,..., X 2n f) he hoizonal gadien of f. The symbol B(x, ) sands fo an open ball wih cene x and adius wih espec o he Koányi meic on. Le f : R be a locally inegable funcion, le d {, }, and le A d be he family of (eal) polynomials R 2n R of degee a mos d. Some of he definiions below would, fomally, make sense fo all d N, bu only he cases d {, } will be consideed in he pape. Slighly abusing noaion, we ofen view he elemens of A d as funcions on = R 2n R R depending only on he fis 2n vaiables. Fo x, >, and d {, }, we define he following quaniy: β f,d (B(x, )) := f(y) A d x,(y) dy. (.) Hee "dy" efes o inegaion wih espec o Lebesgue measue on R 2n+, and A d x, is he unique map in A d wih he popey ha (f(y) A d x,(y))a(y) dy =, A A d. (.2) 2 Mahemaics Subjec Classificaion. 26B5 (Pimay) 26A33, 42B35 (Seconday). Key wods and phases. Heisenbeg goup, Sobolev space, coase diffeeniaion. K.F. is suppoed by he Swiss Naional Science Foundaion via he pojec Ininsic ecifiabiliy and mapping heoy on he Heisenbeg goup, gan No T.O. is suppoed by he Academy of Finland via he pojec Quaniaive ecifiabiliy in Euclidean and non-euclidean spaces, gan No

2 2 KATRIN FÄSSLER AND TUOMAS ORPONEN If f L 2 (B(x, )), hen A d x, is simply he ohogonal pojecion in L 2 (B(x, )) o he subspace A d, and fo insance A x, f, he L -aveage of f ove B(x, ). I is no had o compue A x, explicily eihe, see (2.4), and his is one way o esablish he exisence of A x, in he genealiy of f L loc (Hn ). The uniqueness of A d x, is saighfowad: if A, A 2 A d ae wo candidaes saisfying (.2), hen A A 2 is L 2 (B(x, ))-ohogonal o A L 2 (B(x, )), and hence he pojecion of A A 2 o A L 2 (B(x, )) is zeo. On he ohe hand, since A A 2 A, his pojecion equals A A 2, and so A = A 2. Hee is he main esul: Theoem.3. Le < p <, and le f L p ( ) be a funcion wih H f L p ( ). Define he following squae funcion: ( [ Gf(x) := β f,(b(x, )) ] ) 2 d /2. Then, Gf L p ( ) H f L p ( ). The heoem applies in paicula o compacly suppoed Lipschiz funcions on. I is an vaian of a heoem of Doonsoo [6, Theoem 2] fom he 8 s, and we will simply implemen his poof saegy in. As in [6], we will deive Theoem.3 fom a moe geneal saemen, which concens affine appoximaion of funcions in Sobolev spaces of facional ode, as defined by Folland [8]. The definiion is based on he facional (sub-)laplace opeao f ( H,p ) α f, α C, f Dom(( H,p ) α ) L p ( ), see [8, p. 8,86] (whee he same objec is denoed by J α ). Fo he definiion of Sobolev spaces below, we would only need o conside α, bu complex values of α will make a bief appeaance in he poof of Lemma 5.. Definiion.4. Le < p < and α. The (inhomogeneous) Sobolev space S p α is Dom(( H,p ) α/2 ) equipped wih he nom f p,α := f L p ( ) + ( H,p ) α/2 (f) L p ( ). In he sequel, we omi he subscip p in he noaion fo he opeao ( H,p ) α/2 wheneve he meaning is clea fom he conex (in paicula, if ( H,p ) α/2 acs on a funcion f S p α). Remak.5. The popeies of he spaces (S p α, p,α ) ae discussed in deail in [8, Secion 4] and, in a moe geneal seing, in [7, Secion 4.4.]. In paicula, (S p α, p,α ) is a Banach space fo < p < and α. Hee is he genealised vesion of Theoem.3: Theoem.6. Le < p < and < α < 2. Fo f Sα, p define he following squae funcion: ( [ G α f(x) := β α f, α (B(x, )) ] ) 2 d /2, x.

3 DORRONSORO S THEOREM 3 Hee α sands fo he inege pa of α. Then, G α f L p ( ) wih G α f L p ( ) ( H ) α/2 (f) L p ( ). (.7) Remak.8. We noe ha Theoem.3 follows fom he case α = of Theoem.6, because ( H ) /2 (f) L p ( ) H f L p ( ) by [4, (52)]... Exensions and applicaions. Genealising he "L -based" numbes β f,d (B(x, )) defined in (.), one can conside he L q -vaians ( β f,d,q (B(x, )) = /q f(y) A d x,(y) dy) q, q <. I is hen possible o ask if and when Theoems.3 and.6 coninue o hold fo hese β-numbes. We do no hee pusue he mos geneal esuls: we only show in Secion 6 ha Theoem.3 holds fo he numbes β f,,q (B(x, )) if < p < and q < min { pq Q p, 2Q Q 2 whee Q = 2n + 2. In paicula, his ange coves he case p = q = 2 which appeas o be elevan fo applicaions of Doonsoo s heoem a leas in Euclidean space, see fo insance [5, Secion ]. The agumen equied fo he exension is viually he same as employed by Doonsoo in [6, Secion 5]: one can lieally educe maes o Theoem.3. We will epea he deails in Secion 6. An explici applicaion in Heisenbeg goups whee he cases q > come handy ae ceain hoizonal vs. veical Poincaé inequaliies, fis esablished by Ausin, Nao, and Tessea [], lae exended by Laffogue and Nao [4] and Nao and Young [5]. I uns ou ha many "non-endpoin" cases of hese inequaliies can be obained as coollaies of Doonsoo s heoem in he Heisenbeg goup. The mae will be fuhe discussed in Secion 7. We conclude he inoducion wih a few wods on he poof sucue of Theoem.6. Secion 2 is mosly pepaaoy; noably, i educes he "homogeneous" inequaliy (.7) o is "inhomogeneous" analogue, see Lemma 2.6. In Secion 3, we pove Theoem.6 in he egime < α <. Then, in Secion 4, we pove he case < α < 2 by a educion o he case < α <. Finally, in Secion 5, we deive he case α = by complex inepolaion. Ou poof saegy of Theoem.6 hence Theoem.3 is exacly he same as in Doonsoo s oiginal wok [6]. The main poin hee is o check ha he use of hoizonal Sobolev spaces in poduces no seious complicaions. The case < α < of Theoem.6 is essenially conained in [4, p. 29 ff]; he cases α < 2 involve appoximaion by polynomials of degee d =, and hese ae no discussed in [4]. 2. PRELIMINARIES We sa by veifying ha A d x, is always a nea-opimal choice fo he L (B(x, ))- appoximaion of f by funcions in A d : Lemma 2.. Le x, > and f L (B(x, )). Then, fo d {, }, f(y) A d x,(y) dy f(y) A(y) dy, A A d. },

4 4 KATRIN FÄSSLER AND TUOMAS ORPONEN Fo lae use, we sepaaely menion he following immediae coollay: Coollay 2.2. Le x, x 2 and < < 2 < be such ha B(x, ) B(x 2, 2 ) and 2 C. Then β f, (B(x, )) C β f, (B(x 2, 2 )). Poof. Apply he lemma wih A x, = A x, and A = A x2, 2. Poof of Lemma 2.. We fis claim ha A d x, L () f(y) dy. (2.3) One easily educes o he case B(x, ) = B(, ) = B() by scalings and (lef) anslaions, and using he uniqueness of he elemen A A d saisfying (.2). Fuhe, he equaion A d,(y) 2 dy = f(y) A d,(y) dy B() follows fom he definiion (.2) of A d,, by choosing A = Ad,. Consequenly, using also he equivalence of all noms on he finie-dimensional space A d, we infe ha B() A d, 2 L (B()) Ad, 2 L 2 (B()) f L (B()) A d, L (B()). Reaanging he ems gives (2.3). We leaned his quick agumen fom a pape of Pas, see [6, Remak 2.4]. To complee he poof of he lemma, we wie A d x,(g) fo he funcion in A d coesponding o g L (B(x, )), as in (.)-(.2). In paicula, g A d x,(g) is linea, and A d x,(a) = A fo all A A d. I follows ha, f(y) A d x,(y) dy f(y) A(y) dy + A(y) A d x,(y) dy using (2.3) in he las inequaliy. = f(y) A(y) dy + f(y) A(y) dy, A d x,(a f)(y) dy Befoe he nex emak, we ecod ha A x,(g) (as in he poof above) has he fom A x,(g)(y) = b + 2n j= whee he coefficiens a j, j 2n, and b ae ffl a j = g(y)(y j x j ) dy ffl (y j x j ) 2 dy a j (y j x j ), y = (y,..., y 2n+ ), (2.4) and b = g. Remak 2.5. We discuss he sufficiency o pove Theoem.6 fo f in D, he space of smooh compacly suppoed funcions on. By [8, Theoem (4.5)], he funcions in D ae dense in S p α fo all < p < and α. So, if f S p α, wih < p < and

5 DORRONSORO S THEOREM 5 < α < 2, we may choose a sequence {f j } j N D such ha f j f p,α. In paicula, f j f L p ( ), which easily implies ha β fj, α (B(x, )) β f, α (B(x, )), x, >, < α < 2, as j. To see his fo < α < 2, use he explici expession fo he maps A x, obained above (fo < α < he claim is ivial, as A x, f ). Then, if Theoem.6 has aleady been poved fo some fixed < α < 2, and fo all funcions in D, we infe fom Faou s lemma ha G α f L p ( ) lim inf j G αf j L p ( ) lim inf j ( H) α/2 (f j ) L p ( ) = ( H ) α/2 (f) L p ( ). Hence, Theoem.6 follows fo geneal f S p α. We conclude his secion wih one moe educion in he poof of Theoem.6. The poof given below fo Theoem.6 will iniially poduce he esimae G α f L p ( ) f p,α = f L p ( ) + ( H ) α/2 (f) L p ( ), f D, which is seemingly weake han (.7). (To be pecise, his phenomenon will only occu in he case α =, bu ha is he case mos elevan fo Theoem.3.) This is pecisely he esul Doonsoo poves in [6, Theoem 2]. Howeve, he following homogeneiy consideaions allow us o emove he em f L p ( ) fom he esimae. Lemma 2.6. Le < p < and α >. If hen also G α f L p ( ) f p,α, f D, (2.7) G α f L p ( ) ( H ) α/2 f L p ( ), f D, (2.8) Poof. Given f D and s >, se f s := f δ s D, whee δ s denoes he usual Heisenbeg dilaion. Since he ansfomaion x δ s (x) has Jacobian s Q, wih Q = 2n + 2, one has f s L p ( ) = s Q/p f L p ( ), s >. (2.9) Below, we will moeove ague ha { G α f s L p ( ) = s α Q/p G α f L p ( ), and ( H ) α/2 f s L p ( ) = s α Q/p ( H ) α/2 f L p ( ). Consequenly, by (2.7), G α f L p ( ) = s Q/p α G α f s L p ( ) s Q/p α [ f s L p ( ) + ( H ) α/2 f s L p ( )] = s α f L p ( ) + ( H ) α/2 f L p ( ), (2.) and (2.8) hen follows by leing s. To esablish (2.), we fis need o compue G α f s, and fo his pupose, we need expessions fo he numbes β fs,d, wih d N {} and s >. We obseve ha A d x,(f s )(δ /s (y)) = A d x,s(f)(y), y. Again applying he change-of-vaiables fomula, we find ha β fs,d(b(x, )) = β f,d (B(δ s (x), s)). (2.)

6 6 KATRIN FÄSSLER AND TUOMAS ORPONEN Thus, fo all x and α, s >, one has ( [ ] 2 G α f s (x) = α β d f s, α (B(x, )) = s α ( = s α G α f(δ s (x)). ) 2 [ (s) α β f, α (B(δ s (x), s)) ] 2 sd s and now he fis pa of (2.) follows fom (2.9). Finally, o compue ( H ) α/2 (f s ) L p ( ), we have o use he definiion of he facional sub-laplacian [8, p. 8], namely ( H ) α/2 (f) = lim ɛ Γ(k α 2 ) ɛ ) 2 k (α/2) ( H ) k H f d, (2.2) whee H f := f h denoes convoluion wih he hea kenel h (x) := h(x, ) and k = α/2 +. We ecall fom [8, p.84 and Theoem 4.5] ha D Dom(( H,p ) α/2 ) fo all < p <, and hence ( H,p ) α/2 (f) = ( H,q ) α/2 (f) fo < p, q < and f D. Consequenly, he limi in (2.2) exiss in L p ( ) fo any choice of < p <. Exploiing he homogeneiy h(x, 2 ) = Q h(x, ), we deive H f s (x) = f s h (x) = h (y x)f(δ s (y))dy = ( s Q h (δ/s (y)) x ) f(y)dy = h s 2 (y δ s (x))f(y)dy Theefoe, = (H s 2 f)(δ s (x)). by he homogeneiy of H, and so, ( H ) α/2 (f s )(x) = lim ɛ Γ(k α 2 ) = lim ɛ Γ(k α 2 ) [ ] ( H ) k H f s = s 2k ( H ) k H s 2 f δ s ɛ = s α lim ɛ Γ(k α 2 ) ɛ Then we inoduce a new vaiable u = s 2, which yields ( H ) α/2 (f s )(x) = s α lim ɛ Γ(k α 2 ) ɛ k α/2 ( H ) k H f s (x) d k α/2 ( H ) k H s 2 f(δ s (x))s 2k d (s 2 ) k α/2 ( H ) k H s 2 f(δ s (x))s 2 d. Then, he second pa of (2.) follows again fom (2.9). s 2 ɛ u /2 ( H ) k H u f(δ s (x))du = s α ( H ) α/2 (f)(δ s (x)) (2.3)

7 DORRONSORO S THEOREM 7 3. THE CASE < α < We sa by defining an auxiliay squae funcion. Fix < α < and < p <, and le f D. Wie [ ] 2 /2 S α f(x) := d α f(x y) f(x) dy, B() whee we have abbeviaed B() := B(, ). Then, a special case of [4, Theoem 5] saes ha S α f L p ( ) ( H ) α/2 L p ( ), f D. (3.) Wih (3.) in hand, he case < α < of Theoem.6 will (essenially) follow once we manage o conol G α f by S α f. To see his, fis noe ha f(y) f dy B() fo all x and >. Consequenly, [ G α f(x) = α f(x y) f(x y ) dy dy 2 B() f(y) f dy ] 2 d /2 f(x y) f(x) dy B() 2S α f(x), x, cf. [4, p. 29]. Combining his esimae wih (3.) gives G α f L p ( ) ( H ) α/2 f L p ( ) fo all f D, and he case < α < of Theoem.6 follows fom Remak THE CASE < α < 2 This case will be educed o he case < α <. We sa by ecoding he following esul, which is a special case of [7, Theoem 4.4.6(2)]: Poposiion 4.. Le < p < and α >. Then, 2n j= ( H ) α/2 X j f L p ( ) ( H ) (α+)/2 f L p ( ) f D. In addiion, we will need he following -analogue of [6, Theoem 5]: Poposiion 4.2. Le < p < and < α <. Then, G α+ f L p ( ) 2n j= G α (X j f) L p ( ), f D. We can now complee he poof of Theoem.6 in he case < α < 2 as follows. Fix < α < 2 and f D. Combining he wo poposiions above wih he case < α < of Theoem.6, we infe ha G α f L p ( ) 2n j= as desied. So, i emains o esablish Poposiion 4.2. ( H ) (α )/2 X j f L p ( ) ( H ) α/2 f L p ( ),

8 8 KATRIN FÄSSLER AND TUOMAS ORPONEN Poof of Poposiion 4.2. Le < α <, f D, and ecall ha ( [ G α+ f(x) = β α+ f, (B(x, )) ] ) 2 d /2, whee β f, (B(x, )) = f(y) A x,(y) dy. Now, we define a funcion Ãx, A so ha he aveage of Ãx, equals he aveage of f on B(x, ), and he aveage of H à x, equals he aveage of H f in a lage ball B(x, C), whee C will be chosen momenaily. Fomally, whee x = (z, ), and Then, noing ha à x, (z, ) := f + H f B(x,C) (z z ), H f B(x,C) = ( X f B(x,C),..., X 2n f B(x,C) ). f Ãx, = H f B(x,C) (z z ) d(z, ) =, and using Lemma 2. and he weak -Poincaé inequaliy, see [3], we obain β f, (B(x, )) f(y) Ãx,(y) dy = H f(y) H à x, (y) dy B(x,C) 2n j= B(x,C) X j f(y) X j f B(x,C) dy 2n j= β Xj f,(b(x, C)). The peceding holds if C was chosen lage enough. This implies ha G α+ f(x) as claimed. 2n j= ( [ β α Xj f,(b(x, )) ] ) 2 d /2 = 2n j= G α (X j f)(x), x H, 5. INTERPOLATION AND THE CASE α = To handle he case α =, we use complex inepolaion, see fo insance [2]. In ode o ge he machiney saed, we fis obseve ha (S p α, S p α ), < α < α < is a compaible couple (o inepolaion pai in he sense of Caldeón [3]). Tha is, S p α and S p α ae boh Banach spaces and hey embed coninuously in he space S ( ) of empeed disibuions on, see [7, Theoem 4.4.3(4)]. Thus we can define he complex inepolaion space [S p α, S p α ] θ fo θ (, ).

9 DORRONSORO S THEOREM 9 Lemma 5.. Le < p <, α, α (, ) wih α < α, fix θ (, ), and le α θ := ( θ)α + θα. Then, evey f D saisfies f [S p α,sα p ] θ e π(α α ) 4 θ( θ) f p,αθ. The poof is ohewise he same as in [2, Lemma 34], excep ha he domain is in place of R n, so we need o use a few esuls fom [8], and we wok wih nonhomogeneous Sobolev spaces. I is convenien o use a nom on S p α ha is diffeen fom, bu equivalen o, he nom in Definiion.4. Accoding o [8, Poposiion 4.], we have fo < p < and α ha f p,α (I H ) α/2 f L p ( ), f S p α, whee I denoes he ideniy opeao on L p ( ). Poof of Lemma 5.. Le U := {z C : Re z (, )}, and fix a paamee M > o be specified lae. Fix f D, and define he following map Φ M : U S p α + S p α : Φ M (z) := e M(z(z ) θ(θ )) (I H ) α θ α z(α α ) 2 f, z U. To jusify ha Φ M maps ino Sα p + Sα p, we obseve ha Φ M (z) S, he Schwaz class in, since f D S (see fo insance he las paagaph of he poof of [7, Coollay 4.3.6]). Then i suffices o noe ha S Sα p Sα p Sα p + Sα p ; his is a special case of [7, Lemma 4.4.]. By [8, Theoem (3.5)(iv)], Φ M is an analyic L p -valued funcion on U, saisfying Φ M (θ) = f, and hence f [S p α,s p α ] θ inf M> max { sup R } Φ M (i) p,α, sup Φ M ( + i) p,α R by he definiion of he nom in he complex inepolaion space [S p α, S p α ] θ. I emains o esimae he noms on he igh hand side of (5.2). Using he equaion (I H ) α+β f = (I H ) α (I H ) β f, see [8, Theoem (3.5)(iii)], we find ha (I H ) α +s(α α ) 2 Φ M (s i) = e Ms(s )+Mθ( θ) M2 im(2s ) (I H ) i(α α ) 2 (I H ) α θ 2 f. I follows ha Φ M (s i) p,α +s(α α ) e Ms(s )+Mθ( θ) M2 (I H ) i(α α ) 2 Nex, we ecall fom [8, Poposiion (3.4)] he bound ( (I H ) i(α α ) 2 L p ( ) L p ( p ) Γ i(α ) α ) 2 (5.2) f L p ( ) L p ( p,α θ. ) e π (α α ) 4, whee he lae esimae follows fom Siling s fomula (see also [2, (79)]). We have now eached a poin coesponding o [2, (7)]; he emainde of he poof no longe uses (Heisenbeg specific) esuls fom [8] and can be compleed as in [2]. The second piece of infomaion we need is a sandad esul fom complex inepolaion of Banach-space valued L p funcions. Hee we follow [6] almos vebaim. Le

10 KATRIN FÄSSLER AND TUOMAS ORPONEN B() denoe he Koányi uni ball ceneed a. Fo α (, ), we fis define he Banach space H α of funcions F : (, ) B() R wih [ ] 2 /2 F Hα := d F (y, ) dy <. α B() Then, fo < p <, we denoe by L p (, H α ) he space of funcions Ψ: H α wih ( ) /p Ψ L p (,H α) := Ψ(x) p H α dx <. To apply complex inepolaion, we have o veify ha if < α < α <, hen (L p (, H α ), L p (, H α )) is a compaible couple. Indeed, i follows fom Hölde s inequaliy ha Ψ(x; y, ) dy d dx α,k,k 2,p Ψ L p (,H α) K K 2 B() fo evey compac se K K 2 (, + ), and fo all α and Ψ L p (, H α ). This shows ha he Banach spaces L p (, H α ) and L p (, H α ) boh embed coninuously ino L loc (Hn (, + ) B()). As in [6], we infe fom he [2, p. 7, 2] ha if < α < α < and θ (, ), hen [L p (, H α ), L p (, H α )] θ = L p (, [H α, H α ] θ ) = L p (, H ( θ)α +θα ). (5.3) In he poof of (5.3), hee is no diffeence beween R n and. We will use (5.3) fo any paamees < α < < α 2 < and θ (, ) such ha = ( θ)α + θα. We fix such paamees fo he es of he agumen. Then, we conside he linea map T : f T f(x; y, ) = f(x δ (y)) A x,(x δ (y)), f S p α + S p α, whee x, y, >, and A x, = A x,(f) as in (.2). We aleady know ha T is a bounded opeao Sα p L p (, H α ), since [ ] 2 p/2 T f(w) p H α dw = d α f(x δ (y)) A x,(x δ (y)) dy dx B() [ ] 2 p/2 = d α f(y) A x,(y) dy dx (5.4) = [G α f(x)] p dx f p p,α by he case < α < 2 of Theoem.6. In fac, we also know ha T is a bounded opeao S p α L p (, H α ). This follows fom he calculaion above wih "α " in place of "α ", and also plugging in he esimae f(y) A x,(y) dy afe line (5.4) (his is immediae fom Lemma 2.). f(y) A x,(y) dy,

11 DORRONSORO S THEOREM Now, i follows by complex inepolaion ha T is a bounded opeao [S p α, S p α ] θ [L p (, H α ), L p (, H α )] θ = L p (, H ), ecalling (5.3). Repeaing once moe he calculaion aound (5.4), and finally using Lemma 5., we obain G f L p ( ) = T f L p (,H ) f [S p α,s p α ] θ f p,, fo f D. This finishes he case α = of Theoem.6, ecalling Remak 2.5 and Lemma 2.6. The poof of Theoem.6 is complee. 6. EXTENSION TO L p -MEAN β-numbers In his secion, we conside an exension of Theoem.3, biefly menioned in Secion., which is analogous o he one discussed a he end of Doonsoo s pape, [6, Secion 5]. To avoid ove-indexing, we slighly e-define ou noaion fo his las secion. Fo q <, we wie ( whee β q (B(x, )) := β f,,q (B(x, )) := A x, = A x, (f) A. /q f(y) A x, (y) dy) q, So, β (B(x, )) coesponds o β f, (B(x, )) in he pevious noaion. Theoem 6.. Wie Q := 2n + 2. Le < p < and q wih { q < pq Q p, if < p 2, q < 2Q Q 2, if 2 p <. Le f L p ( ) wih H f L p ( ). Then, ( ( [ β q(b(x, )) ] ) ) 2 d p/2 /p dx H f Lp(Hn). (6.2) Remak 6.3. The case q = is jus Theoem.3. The geneal case follows fom he agumen given in [6, Secion 5], and hee is viually no diffeence beween R n and hee: he idea is o demonsae ha he lef hand of (6.2) is bounded by G f L p ( ), which is hen fuhe bounded by he L p -nom of H f by Theoem.3. We will give he deails fo he eade s convenience. We begin by claiming ha if x, >, hen f(y) A x, (y) 4 To see his, i suffices o esablish ha f(z) A x, (z) dz B(y,2 n ) β (B(y, s)) ds, fo a.e. y B(x, ). (6.4) s 4 2 n β (B(y, s)) ds s fo all y in he open ball B(x, ), and fo all n N sufficienly lage (depending on y). Then (6.4) will follow by Lebesgue s diffeeniaion heoem. To deive (6.5), pick (6.5)

12 2 KATRIN FÄSSLER AND TUOMAS ORPONEN y B(x, ) and n N so lage ha B(y, 2 n ) B(x, ). Then, sa wih he following esimae: Hee f(z) A x, (z) dz B(y,2 n ) f(z) A y,2 n (z) dz B(y,2 n ) n+ + + k= B(y,2 n ) A y,2 k n (z) A y,2 k n (z) dz A y,2 (z) A x, (z) dz =: I + I 2 + I 3. B(y,2 n ) 2 n+ I = β (B(y, 2 n )) β (B(y, s)) ds 2 n s, (6.6) applying Coollay 2.2. To ea I 2, ecall ha A x,s := A x,s (f) A. In geneal, we will wie A x,s (g) fo he elemen of A coesponding o g L loc (Hn ). In paicula, since A y,2 k n A, we have A y,2 k n (A y,2 k n ) = A y,2 k n. Hence, fo k n +, A y,2 k n (z) A y,2 k n (z) dz = A y,2 k n [f A y,2 k n ](z) dz B(y,2 n ) B(y,2 n ) A y,2 k n [f A y,2 k n ] L (B(y,2 k n )) f A y,2 k n (z) dz, B(y,2 k n ) using (2.3) in he final inequaliy. Then, o complee he eamen of I 2, i emains o noe ha 2k+ n f A y,2 k n (z) dz β (B(y, 2 k n )) β (B(y, s)) ds B(y,2 k n ) 2 k n s, using Coollay 2.2 again. Finally, o esimae I 3, noe ha and hence A y,2 (z) A x, (z) dz = B(y,2 n ) A y,2 = A x, (A y,2 ), (2.3) A x, [A y,2 f](z) dz B(y,2 n ) A y,2 (z) f(z) dz A y,2 (z) f(z) dz = β (B(y, 2)). B(y,2) In he applicaion of (2.3), we used he assumpion ha B(y, 2 n ) B(x, ). Finally, β (B(y, 2)) 4 2 β (B(y, s)) ds s by Coollay 2.2. Summing he esimaes above fo I, I 2, I 3 complees he poof of (6.5).

13 DORRONSORO S THEOREM 3 As a coollay of (6.4), we infe he following inequaliy, which is an analogue of [6, ()]: fo x and >, 4 f(y) A x, (y) β (B(y, s)) ds 4 s β (B(z, 2s)) dz ds (6.7) B(y,s) s fo Lebesgue almos all y B(x, ). To obain he second inequaliy, use Coollay 2.2 once moe. Fom his poin on, one can follow he poof pesened afe [6, ()] quie lieally. Fix, fis, < p 2 and q < pq Q p. Then, choose some < w < p and < β < such ha q = wq Q βw. (6.8) We will apply he fac ha he facional Hady-Lilewood maximal funcion { } M β g(y) := sup s> s β g(z) dz B(y,s) maps L w ( ) L q ( ) boundedly, when q, w ae elaed as in (6.8). This fac holds geneally in Q-egula meic measue spaces, see fo example [, Theoem 4.]. I now follows fom (6.7), Minkowski s inegal inequaliy, and he boundedness of M β ha 4 ( ) /q ds Q/q β q (B(x, )) s β M β (β (B(, 2s))χ B(x,5) )(y) q dy s 4 ( ) /w ds s β β (B(z, 2s)) w dz s 4 B(x,5) s β Q/w M w (β (B(, 2s))) ds s, whee M w sands fo he maximal funcion M w (g) = (M( g w )) /w. Consequenly, ecalling fom (6.8) ha Q/w Q/q = β, we aive a 4 β q (B(x, )) β s β M w (β (B(, 2s))(x) ds. Nex, noing ha 3 2β > and using Hady s inequaliy in he fom ( 2 3 2β g(s) ds) d 2β g() 2 d, see [, Theoem 33], we obain ( [ β q(b(x, )) ] ) 2 d /2 ( [ 4 2 ) /2 2β 3 s β M w (β (B(, 2s)))(x) ds] d ( M w ( β (B(, 2)))(x) 2 d ) /2. (6.9)

14 4 KATRIN FÄSSLER AND TUOMAS ORPONEN Finally, following [6] vebaim, he esimae ( ( [ β q(b(x, )) ] ) ) 2 d p/2 /p ( ( [ dx β (B(x, )) ] ) 2 d p/2 /p dx) (6.) can be infeed fom he Feffeman-Sein veco-valued maximal funcion inequaliy, namely ( [ v/u /v ( [ ] v/u /v M(g j ) (x)] dx) u g j (x) dx) u. (6.) j Z Hee (g j ) j Z is a family of funcions R, and u, v (, ). The inequaliy (6.) is valid geneally in Q-egula meic measue spaces, see [9, Theoem.2]. To infe (6.) fom (6.9), one needs o apply (6.) o funcions of he fom j Z g j (x) = 2 j β (B(x, 2 j+2 )) and exponens u = 2/w > and v = p/w >, noing (by Coollay 2.2) ha M w ( β (B(, 2))) M w (g j ), [2 j, 2 j ]. Once (6.) has been esablished, he case p 2 of Theoem 6. is a coollay of Theoem.3 (since he igh hand side of (6.) is pecisely G f L p ( )). The case p 2 is simila. Indeed, if p 2 and q < 2Q/(Q 2), we may choose < w < 2 and < β < such ha (6.8) holds. Then, he agumens afe (6.8) can be epeaed. Finally, he choices of exponens u := 2/w > and v := p/w > also emain valid in he applicaion of he Feffeman-Sein inequaliy. The poof of Theoem 6. is complee. 7. APPLICATION: VERTICAL VS. HORIZONTAL POINCARÉ INEQUALITIES As a coollay of Theoem 6., we deive he following veical vs. hoizonal Poincaé inequaliy oiginally due o Laffogue and Nao [4, Theoem 2.] (he case p = q = 2 was ealie obained by Ausin, Nao, and Tessea []; see also [5, Remak 43]): Theoem 7.. Le < p 2, and le f L p ( ) wih H f L p ( ). Then, ( [ ( ) f(x) f(x (, )) p ] ) 2/p /2 d dx H f Lp(Hn). (7.2) Hee we have denoed by (, ) he poin (,...,, ) R 2n R wih R. In [4], he age of f is allowed o be a much moe geneal Banach space han R, and he "2" in (7.2) can also be a moe geneal exponen q 2. Poof of Theoem 7.. Fix < p 2 and >. We fis claim ha ( ) f(x) f(x (, )) p [ dx β ] p p(b(x, C 2 )) dx, (7.3) if C 2 is a sufficienly lage consan. Hee β p is he L p -based β-numbe, as defined a he head of he pevious secion. Le B be a collecion of balls "B" of adius whose union coves, and such ha he concenic balls " B" of adius C have bounded

15 DORRONSORO S THEOREM 5 ovelap fo some consan C < C 2 o be deemined sholy. Fo B B, le A B A be he affine funcion fom he definiion of β p ( B). Since A B(x) = A B(x (, )), x, >, we may deduce (7.3) as follows, assuming ha C < C 2 ae appopiaely chosen: ( ) f(x) f(x (, )) p dx ( ) f(x) f(x (, )) p dx B B B [ ( ) f(x) A B(x) p B B B ( ) f(x (, )) A B(x (, )) p ] + dx ( ) f(x) A B(x) p dx B B B = [ β p( B) ] p [ B β ] p p(b(x, C 2 )) dx. B B In he las inequaliy we implicily used Coollay 2.2. Now, he inequaliy (7.2) follows fom Minkowski s inegal inequaliy and Theoem 6. wih q = p: ( [ ( ) f(x) f(x (, )) p ] ) 2/p /2 d dx (7.3) ( [ ( [ ) /2 [ β ] ] p 2/p d p(b(x, C 2 )) dx [ β ] ] ) 2 d p/2 /p p(b(x, C 2 )) dx H f Lp(Hn), making he change of vaiables befoe applying Theoem 6.. Theoem 7. is complee. REFERENCES The poof of [] Tim Ausin, Assaf Nao, and Romain Tessea. Shap quaniaive nonembeddabiliy of he Heisenbeg goup ino supeeflexive Banach spaces. Goups Geom. Dyn., 7(3): , 23. [2] Jöan Begh and Jögen Löfsöm. Inepolaion spaces. An inoducion. Spinge-Velag, Belin-New Yok, 976. Gundlehen de Mahemaischen Wissenschafen, No [3] A.-P. Caldeón. Inemediae spaces and inepolaion, he complex mehod. Sudia Mah., 24:3 9, 964. [4] Thiey Coulhon, Emmanuel Russ, and Valéie Tadivel-Nachef. Sobolev algebas on Lie goups and Riemannian manifolds. Ame. J. Mah., 23(2): , 2. [5] G. David and S. Semmes. Singula inegals and ecifiable ses in R n : Au-delà des gaphes lipschiziens. Aséisque, (93):52, 99. [6] José R. Doonsoo. A chaaceizaion of poenial spaces. Poc. Ame. Mah. Soc., 95():2 3, 985. [7] Veonique Fische and Michael Ruzhansky. Quanizaion on nilpoen Lie goups, volume 34 of Pogess in Mahemaics. Bikhäuse/Spinge, [Cham], 26.

16 6 KATRIN FÄSSLER AND TUOMAS ORPONEN [8] G. B. Folland. Subellipic esimaes and funcion spaces on nilpoen Lie goups. Ak. Ma., 3(2):6 27, 975. [9] Loukas Gafakos, Liguang Liu, and Dachun Yang. Veco-valued singula inegals and maximal funcions on spaces of homogeneous ype. Mah. Scand., 4(2):296 3, 29. [] G. H. Hady, J. E. Lilewood, and G. Pólya. Inequaliies. Cambidge, a he Univesiy Pess, d ed. [] Toni Heikkinen, Juha Lehbäck, Juho Nuuinen, and Heli Tuominen. Facional maximal funcions in meic measue spaces. Anal. Geom. Me. Spaces, :47 62, 23. [2] Tuomas Hyönen, Sean Li, and Assaf Nao. Quaniaive affine appoximaion fo UMD ages. Discee Anal., pages Pape No. 6, 37, 26. [3] David Jeison. The Poincaé inequaliy fo veco fields saisfying Hömande s condiion. Duke Mah. J., 53(2):53 523, 986. [4] Vincen Laffogue and Assaf Nao. Veical vesus hoizonal Poincaé inequaliies on he Heisenbeg goup. Isael J. Mah., 23():39 339, 24. [5] Assaf Nao and Robe Young. Veical peimee vesus hoizonal peimee. Ann. of Mah. (2), 88():7 279, 28. [6] Maí Pas. Sobolev egulaiy of he Beuling ansfom on plana domains. Publ. Ma., 6(2):29 336, 27. DEPARTMENT OF MATHEMATICS, UNIVERSITY OF FRIBOURG, CHEMIN DU MUSÉE 23, CH-7 FRI- BOURG, SWITZERLAND UNIVERSITY OF HELSINKI, DEPARTMENT OF MATHEMATICS AND STATISTICS addess: uomas.oponen@helsinki.fi addess: kain.faessle@unif.ch