\(A_{r}(\Omega)\)-weighted inequalities for \(A\)-harmonic tensors and related operators (Q2497395)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(A_{r}(\Omega)\)-weighted inequalities for \(A\)-harmonic tensors and related operators |
scientific article |
Statements
\(A_{r}(\Omega)\)-weighted inequalities for \(A\)-harmonic tensors and related operators (English)
0 references
4 August 2006
0 references
Assume that \(\Omega\) is an open subset of \(\mathbb{R}^n.\) Let for \(l=0,1,\ldots,n,\) \(\Lambda^l=\Lambda^l(\mathbb{R}^n)\) denote the space of \(l\)-vectors, generated by the exterior products \(e_I=e_{i_1}\wedge\ldots\wedge e_{i_l},\) where \(e_1,\ldots,e_n\) is the standard unit basis in \(\mathbb{R}^n.\) Let \(D^\prime(\Omega,\Lambda^l)\) be the space of all differential \(l\)-forms and \(L^p(\Omega,\Lambda^l)\) be the set of \(l\)-forms \(\omega=\sum_I\omega_Idx_I,\) with \(\omega_I\in L^p(\Omega).\) An element \(u\in D^\prime(\Omega,\Lambda^l)\) is said to be an \(A\)-harmonic tensor on \(\Omega\) if \(u\) satisfies the \(A\)-harmonic equation \(d^\star A(x,d\omega)=0,\) where \(d^\star:D^\prime(\Omega,\Lambda^l)\to D^\prime(\Omega,\Lambda^{l+1})\) is the Hodge codifferential operator, and \(A:\Omega\times\Lambda^l\to\Lambda^l\) satisfies \(| A(x,\xi)\leq a| \xi| ^{p-1}\) and \(\langle A(x,\xi),\xi\rangle\geq| \xi| ^p\) for almost every \(x\in\Omega\) and all \(\xi\in\Lambda^l.\) The weight \(w(x)\in A_r(E),\) \(r>1,\) (or satisfies \(A_r(E)\) condition in a subset \(E\) of \(\mathbb{R}^n\)) if \(w(x)>0\) a.e., and \(\sup_B\left(\frac{1}{| B| }\int_Bw\,dx\right) \left(\frac{1}{| B| }\int_B(\frac{1}{w})^{1\slash(r-1)}\,dx\right)^{r-1}<\infty\) for any ball \(B\subset E.\) The authors prove the following local weighted Poincaré inequality for \(A\)-harmonic tensors on \(\Omega.\) Let \(u\in D^\prime(\Omega,\Lambda^l)\) be an \(A\)-harmonic tensor on \(\Omega\) and \(du\in L^s(\Omega,\Lambda^{l+1}),\) \(l=,0,\ldots,n-1.\) Assume that \(\sigma>1,\) \(0<\alpha\leq 1,\) \(1+\alpha(r-1)<s<\infty\) and \(w\in A_r\) for some \(r>1.\) Then \[ \| u-u_B\| _{s,B,w^\alpha}\leq C| B| ^{1\slash n}\| du\| _{s,\sigma B,w^\alpha} \] for all balls \(B\) with \(\sigma B\subset\Omega\) and \(C\) independent of \(u.\) The second main result concerns the local Poincaré inequality for the projection operator \(H\) (\(H(u)=u-\Delta G(u),\) where \(G\) is the Green operator and \(\Delta\) stands for Laplace-Beltrami operator). Let \(u\in D^\prime(\Omega,\Lambda^l)\) be an \(A\)-harmonic tensor on \(\Omega\) and \(du\in L^s(\Omega,\Lambda^{l+1}),\) \(l=0,\ldots,n-1.\) Assume that \(\rho>1,\) \(0<\alpha\leq 1,\) \(1+\alpha(r-1)<s<\infty\) and \(w\in A_r\) for some \(r>1.\) Then \[ \| H(u)-(H(u))_B\| _{s,B,w^\alpha}\leq C| B| ^{1\slash n}\| du\| _{s,\rho B,w^\alpha} \] for all balls \(B\) with \(\rho B\subset\Omega.\) The next results are about global Poincaré inequalities. The first one is the following global parametric inequality for \(A\)-harmonic tensors. Let \(u\in D^\prime(\Omega,\Lambda^l)\) be a solution of the \(A\)-harmonic equation on \(\Omega\) and \(du\in L^s(\Omega,\Lambda^{l+1}),\) \(l=,0,\ldots,n-1.\) Assume that \(0<\alpha\leq 1,\) \(1+\alpha(r-1)<s<\infty\) and \(w\in A_r\) for some \(r>1.\) Then \[ \| u-u_\Omega\| _{s,\Omega,w^\alpha}\leq C\mathrm{diam}(\Omega)\| du\| _{s,\Omega,w^\alpha}. \] Finally the authors prove the following global Poincaré inequality for the projection operator \(H.\) Let \(u\in D^\prime(\Omega,\Lambda^l)\) be a solution of the \(A\)-harmonic equation on \(\Omega\) and \(du\in L^s(\Omega,\Lambda^{l+1}),\) \(l=,0,\ldots,n-1.\) Assume that \(0<\alpha\leq 1,\) \(1+\alpha(r-1)<s<\infty\) and \(w\in A_r\) for some \(r>1.\) Then \(\| H(u)-(H(u))_\Omega\| _{s,\Omega,w^\alpha}\leq C\mathrm{\,diam}(\Omega)\| du\| _{s,\Omega,w^\alpha}.\)
0 references
Poincaré inequalities
0 references
\(A\)-harmonic tensors
0 references
Hodge codifferential operator
0 references
Green operator
0 references
projection operator
0 references
Laplace-Beltrami operator
0 references
global Poincaré inequality
0 references
0 references