No label defined (Q4537175)

Let \(1\leq p<\infty\). A locally integrable function \(w\), \(0<w<\infty\) a.e. in \(\mathbf R^n\), is a \(p\)-admissible weight if the corresponding measure \(\mu\), \(d\mu=w dx\), satisfies the doubling condition and the following weak \((1,p)\)-Poincaré inequality: there exists \(\lambda\geq 1\) such that \[ \int_B|u-u_{B,\mu}|d\mu \leq Cr^{n+1}(|\lambda B|^{-1}\int_{\lambda B}|\nabla u|^pd\mu)^{1/p} \] for every ball \(B\subset\mathbf R^n\) with radius \(r\) and for every function \(u\) locally Lipschitz on \(\lambda B\). Here, \(\lambda B\) is the ball of radius \(\lambda r\) concentric with \(B\) and \(u_{B,\mu}= B ^{-1}\int_B ud\mu\). A weight \(w\) satisfying the reverse Hölder inequality \(( B ^{-1}\int_B w(x)^rdx)^{1/r}\leq C|B|^{-1}\int_B w(x)dx\) for some \(r>1\) and every ball \(B\subset\mathbf R^n\) is called \(A_\infty\)-weight. If, in addition, the corresponding measure \(\mu\) satisfies the estimates \(C^{-1}d(x,y)\leq\mu(B_{x,y})^{-1}\leq Cd(x,y)\) for some metric \(d\), where \(B_{x,y}\) is the smallest closed ball containing both \(x\) and \(y\), then \(w\) is called a strong \(A_\infty\)-weight. The main theorem states that for every \(s\)-admissible measure \(\mu\), \(1\leq s<\infty\), and for every \(v\in A_p(d\mu)\), \(1\leq p<\infty\), the measure \(\nu\) given by \(d\nu=v d\mu\) is \(ps\)-admissible. A two-weighted version of the theorem is proved as well as the fact that for every strong \(A_\infty\)-weight \(w\) in \(\mathbf R^n\), \(n\geq 2\), the weight \(w^{1-1/n}\) is 1-admissible and the weights \(w^{1-p/n}\), \(1<p<n\), are \(q\)-admissible for every \(q<p\).