Multiplier-formulation weighted gradient estimate

Establish the weighted gradient estimate for the multiplier formulation of the matrix-weighted elliptic equation, with auxiliary weight \(\mu=|\mathbb{M}|^{\gamma-p}\) and integrals taken with respect to \(\mu\omega\,dx\), under the assumptions \(\omega\in A_p\) and \(u\in W^{1,p-\delta_0}_{\omega^{1-\delta_0/p}}(\Omega)\) is a very weak solution, namely the estimate comparing the \(\gamma\)-integrability of \(\mathbb{M}Du\) on \(B_R\) with the \((p-\delta_0)\)-integrability of \(\mathbb{M}Du\) and the \(\gamma\)-integrability of \(\mathbb{M}\mathbf{f}\) on \(B_{2R}\).

Background

The paper proves near-natural-exponent Calderón–Zygmund estimates for very weak solutions of matrix-weighted quasilinear elliptic equations in a measure-theoretic formulation, using the scalar weight ω=Mp\omega=|\mathbb{M}|^p. The authors note that an alternative multiplier formulation can also be treated using the auxiliary weight μ=Mγp\mu=|\mathbb{M}|^{\gamma-p}, so that the relevant measure becomes μωdx\mu\omega\,dx.

The proposed estimate would control the weighted LγL^\gamma-norm of the intrinsic gradient MDu\mathbb{M}Du on a smaller ball by a power of its lower-integrability norm on a larger ball together with the corresponding LγL^\gamma-norm of Mf\mathbb{M}\mathbf{f}. The authors explicitly state that they expect this estimate to hold but do not establish it in the paper, leaving it as an unresolved extension of their results.

References

Under the additional assumptions that \omega \in A_{p} and u \in W{1,p-\delta_{0}}{\omega{1-\delta{0}/p}}(\Omega) is a very weak solution, we expect the estimate $$ \Xint-{B{R}} |\mathbb{M} D u |{\gamma} \, dx \leq C \left[ \left( \Xint-{B{2R}} |\mathbb{M} D u |{p-\delta_0} \, dx \right){\frac{\gamma}{p-\delta_0}} + \Xint-{B{2R}} |\mathbb{M} \mathbf{f} |{\gamma} \, dx \right] $$ to hold for every admissible ball B_{R}. We do not pursue such weighted estimates in this paper.

Gradient Estimates Near the Natural Exponent for Very Weak Solutions to $A_p$-Weighted Quasilinear Elliptic Equations  (2608.30155 - Byun et al., 31 Aug 2026) in Remark 2 (Remark \ref{multip}), Section 2