English

Self-improving Poincar\'e-Sobolev type functionals in product spaces

Classical Analysis and ODEs 2022-05-11 v2

Abstract

In this paper we give a geometric condition which ensures that (q,p)(q,p)-Poincar\'e-Sobolev inequalities are implied from generalized (1,1)(1,1)-Poincar\'e inequalities related to L1L^1 norms in the context of product spaces. The concept of eccentricity plays a central role in the paper. We provide several (1,1)(1,1)-Poincar\'e type inequalities adapted to different geometries and then show that our selfimproving method can be applied to obtain special interesting Poincar\'e-Sobolev estimates. Among other results, we prove that for each rectangle RR of the form R=I1×I2RnR=I_1\times I_2 \subset \mathbb{R}^{n} where I1Rn1I_1\subset \mathbb{R}^{n_1} and I2Rn2I_2\subset \mathbb{R}^{n_2} are cubes with sides parallel to the coordinate axes, we have that % \begin{equation*} \left( \frac{1}{w(R)}\int_{ R } |f -f_{R}|^{p_{\delta,w}^*} \,wdx\right)^{\frac{1}{p_{\delta,w}^*}} \leq c\,(1-\delta)^{\frac1p}\,[w]_{A_{1,\mathfrak{R}}}^{\frac1p}\, \Big(a_1(R)+a_2(R)\Big), \end{equation*} % where δ(0,1)\delta \in (0,1), wA1,Rw \in A_{1,\mathfrak{R}}, 1p1pδ,w=δn11+log[w]A1,R\frac{1}{p} -\frac{1}{ p_{\delta,w}^* }= \frac{\delta}{n} \, \frac{1}{1+\log [w]_{A_{1,\mathfrak{R}}}} and ai(R)a_i(R) are bilinear analog of the fractional Sobolev seminorms [u]Wδ,p(Q)[u]_{W^{\delta,p}(Q)} (See Theorem 2.18). This is a biparameter weighted version of the celebrated fractional Poincar\'e-Sobolev estimates with the gain (1δ)1p(1-\delta)^{\frac1p} due to Bourgain-Brezis-Minorescu.

Keywords

Cite

@article{arxiv.2104.08901,
  title  = {Self-improving Poincar\'e-Sobolev type functionals in product spaces},
  author = {Maria Eugenia Cejas and Carolina Mosquera and Carlos Pérez and Ezequiel Rela},
  journal= {arXiv preprint arXiv:2104.08901},
  year   = {2022}
}

Comments

In the first version of the paper there was an issue with the last two inequalities on page 5, since the factor ${\delta}^{1/p}$ on the right-hand side has to be omitted in the general case. This is not relevant to our contribution in the paper, but in order to correct this issue and not propagate the imprecision, we decided to remove the factor ${\delta}^{1/p}$ from every incorrect appearance

R2 v1 2026-06-24T01:18:02.959Z