Abstract
We show some non-standard Poincaré type estimates in the biparametric setting with appropriate weights. We will derive these results using variants from classical estimates exploiting the interplay between maximal functions and fractional integrals. We also provide a sharper result by using extrapolation techniques.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
In the present article we will study non-standard variations of the very well known Poincaré–Sobolev inequalities. More precisely, we are interested in biparametric extensions of the classical Poincaré–Sobolev inequality of the form
where Q is any cube in \({\mathbb {R}}^n\) (from now on we will only consider cubes with sides parallel to the coordinate axes) or euclidean ball, p is a parameter \(p>1\) and \(p^*\) is the so called Sobolev exponent given by the condition \(\frac{1}{p}-\frac{1}{n}=\frac{1}{p^{*}}\), defined for \(p<n\). \(\ell (Q)\) will denote the side length of the cube Q or the radius of the ball in case Q is a euclidean ball.
The classical way of proving Poincaré–Sobolev inequalities is by exploiting the interplay between averaged oscillations and fractional integral operators. Recall that \(\mathcal {I}_{1}\) is the standard notation for the fractional integral or Riesz potential of order 1 defined by
The key estimate is the following pointwise estimate, allowing the control of the oscillation by the fractional integral
It is an interesting fact that the previous estimate is equivalent to the following averaged result,
as shown first in [5] (see an extension in [8], Theorem 11.3). Then, estimate (1.1) will follow from the appropriate \(L^p\rightarrow L^q\) boundedness properties of the classical fractional integral operators \(I_{\alpha }\). We remit to [1] for an extensive overview of this material. The key ideas go back to Sobolev about 100 years ago.
In the late 90’s, in [6] a new method to derive these estimates which avoids the use of potential operators was introduced. This method was considered very recently by the authors in [3], using ideas from [8], in the context of rectangles, or more generally in the context of multiparameter analysis. We include below Theorem 1.1 as a sample of this kind of results which do not use any pointwise estimate as (1.3) requiring the use of fractional operators. This result provides an inequality holding for the family \(\mathfrak {R}\), defined by rectangles of the form \(R=I_1\times I_2\) where \(I_1\subset {\mathbb {R}}^{n_1}\) and \(I_2 \subset {\mathbb {R}}^{n_2}\) are cubes with sides parallel to the coordinate axes and \(n:=n_1+n_2\). \(A_{p, \mathfrak {R}}\) will denote the natural class of weights attached to the basis \(\mathfrak {R}\) with constants given by \([w]_{A_{p, \mathfrak {R}}}\), \(1\le p<\infty \) and defined in (1.11).
Theorem 1.1
Let \(w\in A_{1,\mathfrak {R}}\) in \({\mathbb {R}}^{n}\) and let \(p \ge 1.\) Let also
Then, there exists a constant \(c=c(n,p)>0\) such that for every Lipschitz function f and any \(R=I_1\times I_2\in \mathfrak {R}\),
where
We are using here the following notation: for a given function \(f:U\rightarrow {\mathbb {R}}\) defined on the open set \(U\subset {\mathbb {R}}^{n_1} \times {\mathbb {R}}^{n_2}\), we will write \(f(x)=f(x_1,x_2)\) where \(x_1\) stands for the first \(n_1\) variables and \(x_2\) stands for the remaining \(n_2\) variables. \(\nabla _1f\) will denote the partial gradient of f containing the \(x_1\)-derivatives and similarly \(\nabla _2f\) will denote the partial gradient of f containing the \(x_2\)-derivatives.
To the extent of our knowledge, these type of results were proved for the first time in [9], but this theorem is a particular case of many others results that can be found in [3]. The latter approach provides much more precise inequalities.
The present work is an outgrowth of [3]. Indeed, it is quite surprising that a result like (1.5) cannot be derived using a version of the pointwise estimate (1.3) based on a multiparameter potential operator version of \(\mathcal {I}_1\) from (1.2). There is though a multiparametric counterpart of the fractional integral operator introduced in [4] which leads to a special pointwise inequality and hence to a non-standard Poincaré inequality (1.9) and (1.10). The main point of this paper is to improve the (1, 1) non-standard Poincaré inequality (1.10) to the (p, p) case. We stress the fact that unfortunately we cannot use the method in [3] since it is not clear how to handle the non-standard oscillation \(\pi _R(f)\) appearing in (1.9).
1.1 Biparameter Poincaré Inequalities
We include in this section the main contributions of this article, concerning results on (p, p)-Poincaré type inequalities obtained by means of classical arguments involving the interplay between fractional integrals and maximal functions. This approach is known for the case of cubes, but requires some extra work to adapt it to the bi-parametric geometry of rectangles given by products of cubes. Recall that \(I_1\) will always denote a cube in \({\mathbb {R}}^{n_1}\) while \(I_2\) will be a cube in \({\mathbb {R}}^{n_2}\). Let \(\delta _1=\ell (I_1)\) and \(\delta _2=\ell (I_2).\)
Let us consider the multiparametric fractional operator
Consider the following notations:
and
We denote \(\mathcal {I}_1^{(1)}\) the \(n_1-\)dimensional fractional integral of order 1 and \(\mathcal {I}_1^{(2)}\) the \(n_2-\)dimensional fractional integral of order 1. That is, for a function \(f:{\mathbb {R}}^{n_1}\times {\mathbb {R}}^{n_2}\rightarrow {\mathbb {R}}\), we have that
and
where \(f^x(y)=f(x,y)\) denotes the slice of the function f for a fixed \(x\in I_1\) (similarly for \(f^y\)). Then T can be expressed as the composition
The main relevance for us to consider this multilinear operator is due to its connection with a special non-standard oscillation introduced, as far as we know, in [4] with respect to non-constant average defined by the quantity
which will play the role of the average over the cube as in the one parameter case. To be more precise we have in the following lemma a substitute of the model example (1.3) in the setting of product spaces where the usual gradient is replaced by the following mixed derivatives matrix \(\displaystyle f \mapsto \nabla _x \nabla _y f,\) where
We don’t know where this object was first introduced but it was considered by J. M. Wilson in [10, 11] when studying spectral type properties of the two-parameters Schrödinger operators \(\Delta _{n_1}\circ \Delta _{n_2}-V\), where \(V\in L_{loc}^1({\mathbb {R}}^{n_1} \times {\mathbb {R}}^{n_2})\) and where \(\Delta _{n_i}\) is the Laplace operator in \({\mathbb {R}}^{n_i}\) where the multiparameter Harmonic Analysis theory played a central role like in the present work.
We will rely on the following pointwise inequality, analogous to (1.3)
Lemma 1.2
[4, Proposition 6.1] Let \(R\in \mathfrak {R}\) of the form \(R=I_1\times I_2,\) as before. Then we have the following pointwise estimate for any \(f\in C^2(R)\)
for every \((x,y)\in I_1\times I_2\).
As a consequence of this we have
although there is a more stronger and hence more useful version in (1.13). A natural question arising here is whether these two estimates are equivalent or not, as it happens in the classical setting of cubes mentioned before.
Here and in the reminder of this article we will use the following notation for (weighted) local \(L^p\) norms over a rectangle R:
Similarly, we will use the standard notation for the weak \((r,\infty )\) (quasi)-norm: for any \(0<r<\infty \), measurable R and weight w, we define
As usual, when dealing with the constant weight \(w\equiv 1\), we will simply omit to mention it.
In our context, the natural scenario for the study of weighted inequalities is the Lebesgue space \(L^p(w)\), where w is a weight in the class \(A_{p,\mathfrak {R}}\) associated to the family \(\mathfrak {R}\). Let us first introduce its obvious definition adapted to the geometry of such basis of rectangles. For a weight w in \({\mathbb {R}}^{n_1}\times {\mathbb {R}}^{n_2}\), \(n=n_1+n_2\), we will say that \(w \in A_{p,\mathfrak {R}}\) if
and in the case \(p=1\), for a finite constant c
and the smallest of the constants c is denoted by \([w]_{A_{1, \mathfrak {R}}}\).
Our first result is about a quantitative weighted Poincaré inequality for the \(A_{p, \mathfrak {R}}\) class.
Theorem 1.3
Let w be a weight in \(A_{p,\mathfrak {R}}\) for \(p>1\). Define \(R=I_1\times I_2\). Then the following local weak type Poincaré inequality holds for any \(f\in C^2(R),\)
Note that we only obtain here the weak norm, since the maximal operator is not bounded in \(L^1\). This is also reflected in the exponent in the \(A_p\) constant, as a sum of \(\frac{1}{p}\) from the weak bound used in the first step and \(\frac{1}{p-1}\) from the strong bound that we are forced to use as a last step.
We remark here that in the classical setting of cubes, a sort of “weak implies strong”argument (often called the “truncation” method) can be applied to obtain the (p, p)-Poincaré inequality from the weak estimate. Here, since we are not in position to claim that such an argument works for mixed gradients \(\nabla _x \nabla _y\), we can only propose the following result as a conjecture
Conjecture 1.4
Let w be a weight in \(A_{p,\mathfrak {R}}\) for \(p>1\). Then for any rectangle of the form \(R=I_1\times I_2\) and any \(f\in C^2(R)\), we have
Another natural question is to find a Sobolev-Poincaré type inequality like (1.1). Naturally, T, as defined in (1.6), should play the role of \(\mathcal {I}_1\) in the one-parameter case. However we failed doing this. Further, the method developed in [3], which avoids the use of fractional operators, cannot be applied here since the initial Poincaré (1.10) is not, as already mentioned, the standard one and hence a new theory must be developed.
As we mentioned above the ideas presented in the proof of Theorem 1.3 can not be extended to the case \(p=1\). We can, however, prove the following result.
Proposition 1.5
Let w be a weight in \(A_{1,\mathfrak {R}}\). Then the following (1, 1) Poincaré inequality holds uniformly in \(R=I_1 \times I_2\in \mathfrak {R}\) for \(f\in C^2(R)\).
As a consequence, the following theorem shows that the (p, p)-Poincaré inequality can be obtained directly but with larger bounds.
Theorem 1.6
Let w be a weight in \(A_{p,\mathfrak {R}}\) for \(p>1\). Then, for any \(R= I_1 \times I_2\) in \(\mathfrak {R}\) any \(f\in C^2(R)\) we have that
Observe that the behaviour of the exponent as \(p\rightarrow 1\) is not the expected one in view of (1.13). We remedy the situation by including here a variation of both Theorem 1.3 and Theorem 1.6 by means of an extrapolation type argument.
Theorem 1.7
Let w be a weight in \(A_{p,\mathfrak {R}}\) for \(p>1\). Then, for any \(R= I_1 \times I_2\) in \(\mathfrak {R}\) and any \(f\in C^2(R)\) we have that
This theorem will be a consequence of a more precise result from Theorem 3.1 below involving a “dual maximal operator” presented in Sect. 3.
1.2 Fractional Integrals
We include here the needed definitions about fractional integrals and \(A_p\) classes of weights. For \(0<\alpha <n\), the fractional integral operator or Riesz potential \(\mathcal {I}_\alpha \) is defined by
A key ingredient in our proofs is the pointwise estimate in Lemma 1.8 involving the fractional integral and the Hardy–Littlewood maximal function M defined by
where the supremum is taken over all cubes \(Q\subset {\mathbb {R}}^n\) with sides parallel to the coordinate axes containing the point x.
Lemma 1.8
For every cube \(Q\subset {\mathbb {R}}^n\) we have
In addition, we need to recall the following very well know result about the sharp weighted bound for the Hardy–Littlewood maximal function. To that end, we recall here the definition of Muckenhoupt weights \(A_p\) for cubes in \({\mathbb {R}}^n\).
Definition 1.9
For a given \(p\in (1,\infty )\), the Muckenhoupt \(A_{p}\) of weights is defined by the condition
where the supremum is taken over all the cubes Q in \({\mathbb {R}}^n\). The limiting case of (1.15) when \(p=1\), defines the class \(A_1\); that is, the set of weights w such that
This is equivalent to w having the property
We need to consider, in our bi-parametric setting, the \(A_p\) property for the slices \(w^x\) and \(w^y\). We remark here that according to [7, Lemma 6.2] we have that \(w^x \in A_p({\mathbb {R}}^{n_2})\) and moreover \([w^x]_{A_p({\mathbb {R}}^{n_2})}\le [w]_{A_{p, \mathfrak {R}}}\). The same holds for \(w^y=w(x,y)\) with \( y \in {\mathbb {R}}^{n_2}\).
We recall now Buckley’s result on sharp weighted \(L^p\) norms.
Theorem 1.10
[2] If \(1<p<\infty \) and \(w\in A_p\) then
where in each case the exponents are best possible.
2 Proofs for Biparameter Poincaré Inequalities
We include here the proofs of the main results.
Proof of Theorem 1.3
According to inequality (1.9) and using Lemma 1.8 twice on each direction \(n_i\), we have
where we denote \(M^{n_1}\) and \(M^{n_2}\) the \(n_1\)-dimensional and \(n_2\)-dimensional Hardy–Littlewood maximal operator respectively.
Now, for a fixed \(\lambda >0\), we denote
Also, for each fixed \(x \in I_1\) we put
Then
Here, we use again the standard notation of \(w^x(y)=w(x,y)\) to denote the slice of the function w for a fixed \(x\in I_1\). Now we apply Theorem 1.10 as follows. The first step is to use the sharp weak type bound for \(M^{n_2}\) with the weight \(w^x(y)\). Then,
by applying the sharp (p, p) strong bound for \(M^{n_1}\) considering now the weight \(w^y(x) \in A_p ({\mathbb {R}}^{n_1})\). This concludes the proof immediately. \(\square \)
Remark 2.1
Note that, as we mentioned before, this argument can not be applied to the case \(p=1\), given that the Hardy–Littlewood operator is not bounded in \(L^1\).
We include now the proof of the strong bound for \(p>1\) stated in Theorem 1.6.
Proof of Theorem 1.6 Let’s write \(I= \int _{R} |f-\pi _{R}(f)|^pw\,dx\,dy \) and recall that \(w^x\) is a function on y. Then
where in first step we use estimate (1.9) and Lemma 1.8. Finally, we apply the sharp bound of the Hardy–Littlewood operator twice, first in \(L^p_{w^x}({\mathbb {R}}^{n_2})\) and then in \(L_{w^y}^p({\mathbb {R}}^{n_1})\). \(\square \)
Now we present the proof of the natural substitute valid for \(p=1\).
Proof of Proposition 1.5 Let’s call I to the LHS on (1.13). Then, by Lemma 1.2 and recalling that
where we have used the following inequalities
\(\square \)
3 Non-standard Poincaré Inequalities and Extrapolation
In this section we will prove Theorem 1.7 using ideas from extrapolation.
Define, as usual, the maximal operator:
Using the know weighted estimate on each factor, we obtain the estimate for any \(p\in (1,\infty )\):
We also need the “dual” operator
Using that \(w^{1-p'}\in A_{p',\mathfrak {R}}\) and also that M is bounded on \(L^{p'}(w^{1-p'})\), we conclude that \(M'\) is bounded on \(L^{p'}(w)\) and
We have the following intermediate result:
Theorem 3.1
Let w be a weight in \(A_{p,\mathfrak {R}}\) for \(p>1\). Then, for any \(R= I_1 \times I_2\) in \(\mathfrak {R}\) and any \(f\in C^2(R)\) we have that
Proof
Fix \(p>1\), and let \(w\in A_{p,\mathfrak {R}}\).
Therefore, we can define the following Rubio de Francia type iteration algorithm:
where \(M_{\mathfrak {R}}' \,\) is the “dual” operator (3.3) and \((M_{\mathfrak {R}}')^0=I_{d}\). Then we have that:
-
(1)
\(h\le \mathcal {R}'(h)\)
-
(2)
\(\Vert \mathcal {R}'(h)\Vert _{L^{p'}(w)}\le 2\,\Vert h\Vert _{L^{p'}(w)}\)
-
(3)
\([\mathcal {R}'(h)\,w]_{A_{1,\mathfrak {R}}}\le 2\, \Vert M_{\mathfrak {R}}'\Vert _{L^{p'}(w)}\)
By duality there exists a non-negative function \(h\in L^{p'}(w)\), \(\Vert h\Vert _{L^{p'}(w)}=1\), supported in R, such that,
and since \(\mathcal {R}'(h)\,w \in A_{1,\mathfrak {R}} \) with \([\mathcal {R}'(h)\,w]_{A_{1,\mathfrak {R}}}\le 2\, \Vert M_{\mathfrak {R}}'\Vert _{L^{p'}(w)}\) we can apply Proposition 1.5 to obtain
Let us focus now in the last integral and apply Hölder inequality and the properties of \({\mathcal {R}}'\):
\(\square \)
We are now able to present the proof of Theorem 1.7 using, on one hand, the estimate from (3.5) combined with inequality (3.4) to obtain
On the other hand, we already had the estimate provided in Theorem 1.6. Combining the two results, we get the desired result stated in (1.14).
References
Adams, D.R., Hedberg, L.I.: Function Spaces and Potential Theory, vol. 314. Springer, Berlin (1995)
Buckley, S.M.: Estimates for operator norms on weighted spaces and reverse Jensen inequalities. Trans. Am. Math. Soc. 340(1), 253–272 (1993)
Cejas, M.E., Mosquera, C., Pérez, C., Rela, E.: Self-improving Poincaré–Sobolev type functionals in product spaces. J. Anal. Math. (to appear)
Cruz-Uribe, D., Martell, J.M., Pérez, C.: Extrapolation from \(A_\infty \) weights and applications. J. Funct. Anal. 213(2), 412–439 (2004)
Franchi, B., Lu, G., Wheeden, R.L.: A relationship between Poincaré-type inequalities and representation formulas in spaces of homogeneous type. Int. Math. Res. Not. 1, 1–14 (1996)
Franchi, B., Pérez, C., Wheeden, R.L.: Self-improving properties of John-Nirenberg and Poincaré inequalities on spaces of homogeneous type. J. Funct. Anal. 153(1), 108–146 (1998)
García-Cuerva, J., Rubio de Francia, J.L.: Weighted Norm Inequalities and Related Topics. North-Holland Mathematics Studies, vol. 116. North-Holland, Amsterdam (1985)
Pérez, C., Rela, E.: Degenerate Poincaré–Sobolev inequalities. Trans. Am. Math. Soc. 372(9), 6087–6133 (2019)
Shi, X., Torchinsky, A.: Poincaré and Sobolev inequalities in product spaces. Proc. Am. Math. Soc. 118(4), 1117–1124 (1993)
Wilson, M.: Some two-parameter square function inequalities. Indiana Univ. Math. J. 40(2), 419–442 (1991)
Wilson, M.: Eigenvalue estimates for degenerate partial differential operators. Rocky Mt. J. Math. 25(3), 1171–1187 (1995)
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Alexey Karapetyants.
Dedicated to the 80th anniversary of Professor Stefan Samko.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
M.E.C. is partially supported by grant PICT-2018-03017 (ANPCYT)
C.M. is partially supported by grants UBACyT 20020170100430BA, PICT 2018-03399 and PICT 2018-04027. C. P. and E.R. have been supported by the Basque Government through the IT1247-19 project, the BERC 2018–2021 program and by the Spanish State Research Agency through BCAM Severo Ochoa excellence accreditation SEV-2017-0718. C.P is also supported by the project PID2020-113156GB-I00/AEI /10.13039/501100011033 funded by Spanish State Research Agency and acronym “HAPDE”. E.R. is partially supported by grants PICT-2019-03968, PICT 2018-3399, UBACyT 20020190200230BA and PIP (CONICET) 11220110101018.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cejas, M.E., Mosquera, C., Pérez, C. et al. Some Non-standard Biparametric Poincaré Type Inequalities Through Harmonic Analysis. J Fourier Anal Appl 28, 52 (2022). https://doi.org/10.1007/s00041-022-09921-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-022-09921-x
Keywords
- Poincaré–Sobolev inequalities
- Muckenhoupt weights
- Mutiparameter Harmonic Analysis
- Extrapolation theory of weights
- Fractional operators