We prove an analogue of a perturbation result for the Dirichlet problem of divergence form elliptic operators by Fefferman, Kenig and Pipher, for the degenerate elliptic operators of David, Feneuil and Mayboroda, which were developed to study geometric and analytic properties of sets with boundaries whose co-dimension is higher than 1. These operators are of the form −divA∇, where A is a weighted elliptic matrix crafted to weigh the distance to the high co-dimension boundary in a way that allows for the nourishment of an elliptic PDE theory. When this boundary is a d-Alhfors-David regular set in Rn with d∈[1,n−1) and n≥3, we prove that the membership of the harmonic measure in A∞ is preserved under Carleson measure perturbations of the matrix of coefficients, yielding in turn that the Lp-solvability of the Dirichlet problem is also stable under these perturbations (with possibly different p). If the Carleson measure perturbations are suitably small, we establish solvability of the Dirichlet problem in the same Lp space. One of the corollaries of our results together with a previous result of David, Engelstein and Mayboroda, is that, given any d-ADR boundary Γ with d∈[1,n−2), n≥3, there is a family of degenerate operators of the form described above whose harmonic measure is absolutely continuous with respect to the d-dimensional Hausdorff measure on Γ.
Read full abstract