About this Journal Submit a Manuscript Table of Contents
Journal of Function Spaces and Applications
VolumeΒ 2012Β (2012), Article IDΒ 901917, 9 pages
http://dx.doi.org/10.1155/2012/901917
Research Article

Parabolic John-Nirenberg Spaces

Department of Mathematics, University of Oulu, 90014 Oulu, Finland

Received 30 January 2012; Accepted 3 May 2012

Academic Editor: LechΒ Maligranda

Copyright Β© 2012 Lauri Berkovits. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We introduce a parabolic version of John-Nirenberg space with exponent p and show that it is contained in local weak-𝐿𝑝 spaces.

1. Introduction

In the classical paper of John and Nirenberg [1], where functions of bounded mean oscillation (BMO) were introduced, they also studied a class satisfying a weaker BMO-type condition ‖𝑓‖𝑝𝐽𝑁𝑝(𝑄0)∢=sup𝑄𝑗𝑗𝑗||𝑄𝑗||𝑄𝑗|||π‘“βˆ’π‘“π‘„π‘—|||ξƒͺdπ‘₯𝑝<∞,(1.1) where the supremum is taken over all partitions {𝑄𝑗}𝑗 of a given cube 𝑄0 into pairwise nonoverlapping subcubes. Here we have used standard notation for integral averages π‘“π‘„ξ€§βˆΆ=𝑄1𝑓dπ‘₯∢=||𝑄||ξ€œπ‘„π‘“dπ‘₯.(1.2) The functional 𝑓↦‖𝑓‖𝐽𝑁𝑝(𝑄0) defines a seminorm, and the class of functions satisfying ‖𝑓‖𝐽𝑁𝑝(𝑄0)<∞, which we denote by 𝐽𝑁𝑝(𝑄0) for John-Nirenberg space with exponent 𝑝, can be seen as a generalization of BMO. Indeed, BMO is obtained as the limit case of 𝐽𝑁𝑝limπ‘β†’βˆžβ€–π‘“β€–π½π‘π‘(𝑄0)=supπ‘„βŠ†π‘„0𝑄||π‘“βˆ’π‘“π‘„||dπ‘₯=βˆΆβ€–π‘“β€–BMO(𝑄0).(1.3) In contrast to the exponential integrability of BMO functions, functions in 𝐽𝑁𝑝(𝑄0) belong to the space weak-𝐿𝑝(𝑄0). This was already observed by John and Nirenberg. Precisely, they showed that for πœ†>0, we have ||ξ€½π‘₯βˆˆπ‘„0∢||𝑓(π‘₯)βˆ’π‘“π‘„0||ξ€Ύ||>πœ†β‰€πΆβ€–π‘“β€–π½π‘π‘(𝑄0)πœ†ξƒͺ𝑝,(1.4) where the constant 𝐢 depends on 𝑛 and 𝑝. Simpler proofs and generalizations have appeared in [1–11]. In this paper we show that an analogous result holds in the context of parabolic or one-sided BMO+ spaces, which we hope will increase our understanding of the spaces BMO+ themselves. Therefore, the main purpose is to provide a step towards a satisfactory multidimensional theory of the spaces BMO+ described below.

2. BMO+ Spaces

We will introduce some notations and terminologies. Given a Euclidean cube βˆπ‘„=𝑛𝑖=1[π‘Žπ‘–,π‘Žπ‘–+β„Ž] and π‘Ÿ>0, we define the β€œforward in time” π‘Ÿ-translation 𝑄+,π‘Ÿ=π‘›βˆ’1𝑖=1ξ€Ίπ‘Žπ‘–,π‘Žπ‘–ξ€»Γ—ξ€Ίπ‘Ž+β„Žπ‘›+π‘Ÿβ„Ž,π‘Žπ‘›ξ€».+(π‘Ÿ+1)β„Ž(2.1) For short, we write 𝑄+,1=𝑄+ for the cube of the same size above 𝑄. We write π‘“βˆˆBMO+(ℝ𝑛), if we have ‖𝑓‖BMO+(ℝ𝑛)∢=supπ‘„βŠ†β„π‘›ξ€§π‘„ξ€·π‘“βˆ’π‘“π‘„+ξ€Έ+dπ‘₯<∞,(2.2) where the supremum is taken over all cubes in ℝ𝑛 with sides parallel to the coordinate axes. It should be observed that despite the notation, the quantity defined by (2.2) is not actually a norm. The one-dimensional BMO+(ℝ) class was first introduced by MartΓ­n-Reyes and de la Torre [12], who showed that this class possesses many properties similar to the standard BMO space. Even though steps towards a multidimensional theory have been taken (see [13]), a satisfactory theory has only been developed in dimension one. In the classical elliptic setting, one of the cornerstones of theory of BMO functions is the celebrated John-Nirenberg inequality, which shows that logarithmic growth is the maximum possible for a BMO function. A corresponding result holds for the class BMO+(ℝ𝑛), stating that functions in BMO+(ℝ𝑛) satisfy the following version of John-Nirenberg inequality. Given π‘Ÿ>1, we have for all πœ†>0|||π‘₯βˆˆπ‘„βˆΆπ‘“(π‘₯)βˆ’π‘“π‘„+,π‘Ÿξ€Έ+|||>πœ†β‰€π΅π‘’βˆ’π‘πœ†/‖𝑓‖BMO+𝑛)(ℝ||𝑄||,(2.3) where the constants 𝐡 and 𝑏 only depend on the dimension. This was first proved in the one-dimensional case in [12], in which case (2.3) actually holds true with π‘Ÿ=1. The weaker result (2.3) for 𝑛β‰₯2 was obtained in [13].

3. Parabolic John-Nirenberg Spaces

In this setting we define (local, in the spirit of [1]) John-Nirenberg spaces as follows. Given a cube 𝑄0 and 1<𝑝<∞, we write π‘“βˆˆπ½π‘+𝑝(𝑄0) if ‖𝑓‖𝑝𝐽𝑁+𝑝𝑄0ξ€ΈβˆΆ=sup𝑄𝑗𝑗𝑗||𝑄𝑗||𝑄𝑗βˆͺ𝑄+π‘—ξ‚€π‘“βˆ’π‘“π‘„π‘—+,2+ξƒͺdπ‘₯𝑝<∞,(3.1) where the supremum is taken over countable families {𝑄𝑗} of pairwise nonoverlapping subcubes of 𝑄0. Observe that even if 𝑄 is contained in 𝑄0, 𝑄+ or 𝑄+,2 may not be. Hence, we assume that 𝑓 is a priori defined on all of ℝ𝑛. The definition is reasonable because in a sense BMO+ may be seen as the limit case of 𝐽𝑁+𝑝 as π‘β†’βˆž. Precisely, limπ‘β†’βˆžβ€–π‘“β€–π½π‘+𝑝(𝑄0)=supπ‘„βŠ†π‘„0𝑄βˆͺ𝑄+ξ€·π‘“βˆ’π‘“π‘„+,2ξ€Έ+dπ‘₯,(3.2) where the quantity on the right-hand side is globally equivalent to the BMO+ norm of 𝑓, that is, supπ‘„βŠ†β„π‘›ξ€§π‘„βˆͺ𝑄+ξ€·π‘“βˆ’π‘“π‘„+,2ξ€Έ+dπ‘₯β‰ˆβ€–π‘“β€–BMO+(ℝ𝑛),(3.3) up to a multiplication by a universal constant.

The following theorem is a parabolic version of the weak distribution inequality of John and Nirenberg.

Theorem 3.1. Assume π‘“βˆˆπ½π‘+𝑝(𝑄0). Then, for every πœ†>0, one has ||||ξ‚»π‘₯βˆˆπ‘„0βˆΆξ‚€π‘“(π‘₯)βˆ’π‘“π‘„0+,2+ξ‚Ό||||>πœ†β‰€πΆβ€–π‘“β€–π½π‘+𝑝(𝑄0)πœ†ξƒͺ𝑝,(3.4) where 𝐢 only depends on 𝑛 and 𝑝.

Comparing this to the one-sided John-Nirenberg inequality (2.3), it is natural to ask whether it is possible to improve (3.4) to ||||ξ‚»π‘₯βˆˆπ‘„0βˆΆξ‚€π‘“(π‘₯)βˆ’π‘“π‘„0+,π‘Ÿξ‚+ξ‚Ό||||>πœ†β‰€πΆβ€–π‘“β€–π½π‘+𝑝(𝑄0)πœ†ξƒͺ𝑝,(3.5) for π‘Ÿ>1 or even further to π‘Ÿ=1 in the one-dimensional case. However, the author does not know the answer. In particular, the one-dimensional improvement seems challenging since in the case of BMO+(ℝ) it makes use of the knowledge of one-sided Muckenhoupt's weights, and we do not have such tools at our disposal in the context of John-Nirenberg spaces.

4. Proof of the Theorem

We follow the argument used in [2]. Given a nonnegative 𝑓 and a cube 𝑄0, denote by Ξ”=Ξ”(𝑄0) the family of all dyadic subcubes obtained from 𝑄0 by repeatedly bisecting the sides into two parts of equal length. We shall make use of the β€œforward in time dyadic maximal function” defined by 𝑀𝑄+,𝑑0𝑓(π‘₯)∢=supπ‘„βˆˆΞ”π‘₯βˆˆπ‘„ξ€§π‘„+𝑓dπ‘₯.(4.1) A standard stopping-time argument shows that we have π‘₯βˆˆπ‘„0βˆΆπ‘€π‘„+,𝑑0=ξšπ‘“(π‘₯)>πœ†π‘—π‘„π‘—,(4.2) where 𝑄𝑗's are the maximal dyadic subcubes of 𝑄0 satisfying 𝑄+𝑗𝑓dπ‘₯>πœ†.(4.3) Maximality implies that the cubes 𝑄𝑗 are pairwise nonoverlapping. Moreover, if πœ†β‰₯𝑓𝑄+0, then 𝑄0 does not satisfy (4.3). Consequently, in this case every 𝑄𝑗 is contained in a larger dyadic subcube π‘„π‘—βˆ’ of 𝑄0 which does not satisfy (4.3). Since 𝑄𝑗+,2βŠ†π‘„+π‘—βˆ’, we conclude 𝑄𝑗+,2𝑓dπ‘₯≀2π‘›πœ†,(4.4) provided πœ†β‰₯𝑓𝑄+0. Standard arguments imply a weak-type estimate for 𝑀𝑄+,𝑑0. Indeed, we have |||π‘₯βˆˆπ‘„0βˆΆπ‘€π‘„+,𝑑0|||=𝑓(π‘₯)>πœ†π‘—||𝑄𝑗||.(4.5) While the cubes 𝑄𝑗 are non-overlapping, the cubes 𝑄+𝑗 may not be. Let us replace {𝑄+𝑗}𝑗 by the maximal non-overlapping subfamily {𝑄+𝑗}𝑗 which we form by collecting those 𝑄+𝑗 which are not properly contained in any other 𝑄+π‘—ξ…ž. Maximality of {𝑄+𝑗}𝑗 enables us to partition the family {𝑄𝑗}𝑗 as follows. Given 𝑄+𝑗, we define πΌπ‘—βˆΆ={π‘–βˆΆπ‘„+π‘–βŠ†ξ‚π‘„+𝑗}, and we may write {𝑄𝑗}𝑗=⋃𝑗{π‘„π‘–βˆΆπ‘–βˆˆπΌπ‘—}. Now, whenever π‘–βˆˆπΌπ‘—, we have π‘„π‘–βŠ†ξ‚Q𝑗βˆͺ𝑄+𝑗 and we get the estimate 𝑗||𝑄𝑗||=ξ“π‘—ξ“π‘–βˆˆπΌπ‘—||𝑄𝑖||≀2𝑗|||𝑄+𝑗|||≀2πœ†ξ€œπ‘„0βˆͺ𝑄+0𝑓dπ‘₯.(4.6) Combining the previous estimates, we arrive at |||π‘₯βˆˆπ‘„0βˆΆπ‘€π‘„+,𝑑0|||≀2𝑓(π‘₯)>πœ†πœ†ξ€œπ‘„0βˆͺ𝑄+0𝑓dπ‘₯.(4.7)

We begin by proving the following good πœ† inequality for the forward in time dyadic maximal operator.

Lemma 4.1. Assume π‘“βˆˆπ½π‘+𝑝(𝑄0) and take 0<𝑏<2βˆ’π‘›. Then, one has ||||ξ‚»π‘₯βˆˆπ‘„0βˆΆπ‘€π‘„+,𝑑0ξ‚€π‘“βˆ’π‘“π‘„0+,2+ξ‚Ό||||≀(π‘₯)>πœ†π‘Žβ€–π‘“β€–π½π‘+𝑝(𝑄0)πœ†||||ξ‚»π‘₯βˆˆπ‘„0βˆΆπ‘€π‘„+,𝑑0ξ‚€π‘“βˆ’π‘“π‘„0+,2+ξ‚Ό||||(π‘₯)>π‘πœ†1/π‘ž,(4.8) whenever ξ€§π‘πœ†β‰₯𝑄+0ξ‚€π‘“βˆ’π‘“π‘„0+,2+dπ‘₯.(4.9) Here π‘Ž=4(1βˆ’2𝑛𝑏)βˆ’1 and π‘ž is the conjugate exponent of 𝑝.

Proof. Without loss of generality, we may assume ‖𝑓‖𝐽𝑁+𝑝(𝑄0)=1. Setting 𝐸𝑄(πœ†)∢=π‘₯βˆˆπ‘„βˆΆπ‘€π‘„+,π‘‘ξ‚€π‘“βˆ’π‘“π‘„0+,2+ξ‚Ό(π‘₯)>πœ†,(4.10) we may write the statement as ||𝐸𝑄0||≀4(πœ†)(1βˆ’2𝑛𝑏||𝐸)πœ†π‘„0||(π‘πœ†)1/π‘ž.(4.11) Consider the function (π‘“βˆ’π‘“π‘„0+,2)+ and form the decomposition as above at level π‘πœ† to obtain a family of pairwise non-overlapping dyadic subcubes with 𝐸𝑄0(π‘πœ†)=𝑗𝑄𝑗.(4.12) Since π‘πœ†<πœ†, we have 𝐸𝑄0(πœ†)βŠ†πΈπ‘„0(π‘πœ†). It now follows that 𝐸𝑄0(πœ†)=𝑗𝐸𝑄𝑗(πœ†).(4.13) We claim that for every 𝑗, |||𝐸𝑄𝑗(|||≀2πœ†)(1βˆ’2π‘›ξ€œπ‘)πœ†π‘„π‘—βˆͺ𝑄+π‘—ξ‚€π‘“βˆ’π‘“π‘„π‘—+,2+dπ‘₯.(4.14) Consider the functions π‘”π‘—βˆΆ=(π‘“βˆ’π‘“π‘„π‘—+,2)+. To prove (4.14) it suffices to show that 𝐸𝑄𝑗(πœ†)βŠ†π‘₯βˆˆπ‘„π‘—βˆΆπ‘€π‘„+,𝑑𝑗𝑔𝑗(π‘₯)>(1βˆ’2𝑛𝑏)πœ†.(4.15) Indeed, (4.14) then follows at once from the weak-type estimate (4.7) applied to the functions 𝑔𝑗 with πœ† replaced by (1βˆ’2𝑛𝑏)πœ†. Let π‘₯βˆˆπΈπ‘„π‘—(πœ†) for some 𝑗. Then there exists a dyadic subcube 𝑄 of 𝑄𝑗 containing π‘₯ and satisfying 𝑄+ξ‚€π‘“βˆ’π‘“π‘„0+,2+>πœ†.(4.16) From (4.4) we have 𝑄𝑗+,2ξ‚€π‘“βˆ’π‘“π‘„0+,2+≀2π‘›π‘πœ†.(4.17) Combining these, we obtain (1βˆ’2𝑛𝑏)πœ†<𝑄+ξ‚€π‘“βˆ’π‘“π‘„0+,2+dπ‘₯βˆ’π‘„π‘—+,2ξ‚€π‘“βˆ’π‘“π‘„0+,2+≀dπ‘₯𝑄+ξ‚€π‘“βˆ’π‘“π‘„0+,2+dπ‘₯βˆ’π‘„π‘—+,2π‘“βˆ’π‘“π‘„0+,2ξƒͺdπ‘₯+=𝑄+ξ‚€π‘“βˆ’π‘“π‘„0+,2+βˆ’ξ‚€π‘“π‘„π‘—+,2βˆ’π‘“π‘„0+,2+≀dπ‘₯𝑄+ξ‚€π‘“βˆ’π‘“π‘„π‘—+,2+dπ‘₯≀𝑀𝑄+,𝑑𝑗𝑔𝑗(π‘₯).(4.18)
Having now seen that (4.14) holds, we use (4.13) and sum over all 𝑗 to obtain ||𝐸𝑄0||=(πœ†)𝑗|||𝐸𝑄𝑗|||≀2(πœ†)(1βˆ’2𝑛𝑏)πœ†π‘—ξ€œπ‘„π‘—βˆͺ𝑄+π‘—ξ‚€π‘“βˆ’π‘“π‘„π‘—+,2+=2dπ‘₯(1βˆ’2𝑛𝑏)πœ†π‘—||𝑄𝑗||1/π‘ž||𝑄𝑗||βˆ’1/π‘žξ€œπ‘„π‘—βˆͺ𝑄+π‘—ξ‚€π‘“βˆ’π‘“π‘„π‘—+,2+≀4dπ‘₯(1βˆ’2𝑛𝑏)πœ†π‘—||𝑄𝑗||ξƒͺ1/π‘ž,(4.19) where the last inequality follows from the HΓΆlder inequality and the assumption ‖𝑓‖𝐽𝑁+𝑝(𝑄0)=1. Remembering also that 𝐸𝑄⋃(π‘πœ†)=𝑗𝑄𝑗, we obtain the desired estimate.

We now complete the proof of the theorem by iterating the previous lemma. Except for a few details, this is just a repetition of the argument used in [2].

Proof of the Theorem. Using the same notation as in the proof of the lemma and still assuming ‖𝑓‖𝐽𝑁+𝑝(𝑄0)=1, we shall show ||𝐸𝑄0(||β‰€πΆπœ†)πœ†π‘.(4.20) Let us choose πœ†02∢=𝑏||𝑄0||1/𝑝,(4.21) and assume πœ†>πœ†0. Then take π‘βˆˆβ„€+ such that π‘βˆ’π‘πœ†0β‰€πœ†<π‘βˆ’(𝑁+1)πœ†0=2π‘βˆ’(𝑁+2)||𝑄0||1/𝑝.(4.22) By the assumption ‖𝑓‖𝐽𝑁+𝑃(𝑄0)=1, we have 1||𝑄0||ξ€œπ‘„0βˆͺ𝑄+0ξ‚€π‘“βˆ’π‘“π‘„0+,2+2dπ‘₯≀||𝑄0||1/𝑝=π‘πœ†0.(4.23) In particular, this implies that 1𝑏𝑄+0ξ‚€π‘“βˆ’π‘“π‘„0+,2+dπ‘₯β‰€πœ†0β‰€π‘βˆ’1πœ†0β‰€β‹―β‰€π‘βˆ’π‘πœ†0,(4.24) allowing us to apply the previous lemma successively 𝑁 times to estimate the left-hand side of (4.20) as follows: ||𝐸𝑄0||≀||𝐸(πœ†)𝑄0ξ€·π‘βˆ’π‘πœ†0ξ€Έ||β‰€π‘Žπ‘βˆ’π‘πœ†0β‹…ξƒ©π‘Žπ‘βˆ’π‘+1πœ†0ξƒͺ1/π‘žξƒ©π‘Žβ‹…β‹―β‹…π‘βˆ’1πœ†0ξƒͺ1/π‘žπ‘βˆ’1||𝐸𝑄0ξ€·πœ†0ξ€Έ||1/π‘žπ‘β‰€π‘Žβ‹…ξ‚΅π‘Žπ‘πœ†π‘2πœ†ξ‚Ά1/π‘žξ‚΅π‘Žβ‹…β‹―β‹…π‘π‘πœ†ξ‚Ά1/π‘žπ‘βˆ’1⋅2πœ†0ξ€œπ‘„0βˆͺ𝑄+0(π‘“βˆ’π‘“π‘„0+,2)+ξƒͺdπ‘₯1/π‘žπ‘,(4.25) where the last inequality follows from the weak-type estimate (4.7) and the first inequality in (4.22). By the choice of πœ†0 and (4.23) we further estimate ||𝐸𝑄0||β‰€ξ‚€π‘Ž(πœ†)πœ†ξ‚1+π‘žβˆ’1+β‹―+π‘žβˆ’(π‘βˆ’1)β‹…π‘βˆ’(1+2π‘žβˆ’1+β‹―+π‘π‘žβˆ’(π‘βˆ’1))β‹…ξ€·||𝑄2𝑏0||ξ€Έ1/π‘žπ‘=ξ‚€π‘Žπœ†ξ‚π‘βˆ’π‘/π‘žπ‘β‹…π‘βˆ’(1+2π‘žβˆ’1+β‹―+π‘π‘žβˆ’(π‘βˆ’1))+π‘žβˆ’π‘β‹…21/π‘žπ‘β‹…||𝑄0||1/π‘žπ‘.(4.26) Since both 1+2π‘žβˆ’1+β‹―+π‘π‘žβˆ’(π‘βˆ’1) and π‘βˆ’π‘/π‘žπ‘ remain bounded as π‘β†’βˆž, we have ||𝐸𝑄0||||𝑄(πœ†)≀𝐢0||1/π‘žπ‘ξ‚€1πœ†ξ‚π‘βˆ’π‘/π‘žπ‘.(4.27) Finally, we notice that from the second inequality in (4.22) we get ||𝑄0||1/π‘žπ‘ξ‚€1πœ†ξ‚βˆ’π‘/π‘žπ‘=πœ†π‘/π‘žπ‘||𝑄0||1/π‘žπ‘β‰€2𝑝/π‘žπ‘π‘βˆ’(𝑁+2)𝑝/π‘žπ‘β‰€πΆ,(4.28) with 𝐢 independent of 𝑁. Thus we have arrived at the desired estimate.
For 0<πœ†β‰€πœ†0 we use the trivial estimate ||||ξ‚»π‘₯βˆˆπ‘„0βˆΆξ‚€π‘“(π‘₯)βˆ’π‘“π‘„0+,2+ξ‚Ό||||≀||𝑄>πœ†0||=2π‘π‘π‘πœ†π‘0β‰€πΆπœ†π‘.(4.29)

Acknowledgments

The author was supported by the Finnish Cultural Foundation. The author wishes to thank J. Kinnunen for proposing the problem.

References

  1. F. John and L. Nirenberg, β€œOn functions of bounded mean oscillation,” Communications on Pure and Applied Mathematics, vol. 14, pp. 415–426, 1961. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  2. D. Aalto, L. Berkovits, O. E. Kansanen, and H. Yue, β€œJohn-Nirenberg lemmas for a doubling measure,” Studia Mathematica, vol. 204, no. 1, pp. 21–37, 2011. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  3. N. Badr, A. Jiménez-del-Toro, and J. M. Martell, β€œLp self-improvement of generalized Poincaré inequalities in spaces of homogeneous type,” Journal of Functional Analysis, vol. 260, no. 11, pp. 3147–3188, 2011. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  4. B. Franchi, C. Pérez, and R. L. Wheeden, β€œSelf-improving properties of John-Nirenberg and Poincaré inequalities on spaces of homogeneous type,” Journal of Functional Analysis, vol. 153, no. 1, pp. 108–146, 1998. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  5. M. Giaquinta and L. Martinazzi, An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs, vol. 2, Edizioni della Normale, Pisa, Italy, 2005.
  6. E. Giusti, Direct Methods in the Calculus of Variations, World Scientific, River Edge, NJ, USA, 2003. View at Publisher Β· View at Google Scholar
  7. T. Heikkinen, β€œSelf-improving properties of generalized Orlicz-Poincaré inequalities,” Report/University of Jyväskylä, Department of Mathematics and Statistics 105, 2006.
  8. A. Jiménez-del-Toro and J. M. Martell, β€œLp self-improvement of Poincaré type inequalities associated with approximations of the identity and semigroups,” Preprint.
  9. A. K. Lerner and C. Pérez, β€œSelf-improving properties of generalized Poincaré type inequalities through rearrangements,” Mathematica Scandinavica, vol. 97, no. 2, pp. 217–234, 2005.
  10. P. MacManus and C. Pérez, β€œGeneralized Poincaré inequalities: sharp selfimproving properties,” International Mathematics Research Notices, vol. 2, pp. 101–116, 1998.
  11. A. Torchinsky, Real-Variable Methods in Harmonic Analysis, vol. 123, Academic Press, Orlando, Fla, USA, 1986.
  12. F. J. Martín-Reyes and A. de la Torre, β€œOne-sided BMO spaces,” Journal of the London Mathematical Society, vol. 49, no. 3, pp. 529–542, 1994. View at Zentralblatt MATH
  13. L. Berkovits, β€œParabolic Muckenhoupt weights in the Euclidean space,” Journal of Mathematical Analysis and Applications, vol. 379, no. 2, pp. 524–537, 2011. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH