## Abstract

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 R^{n} 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 L^{p}-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 L^{p} 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 Γ.

Original language | English (US) |
---|---|

Article number | 108930 |

Journal | Journal of Functional Analysis |

Volume | 280 |

Issue number | 8 |

DOIs | |

State | Published - Apr 15 2021 |

### Bibliographical note

Publisher Copyright:© 2021 Elsevier Inc.

## Keywords

- Absolute continuity of elliptic measure
- Carleson measure perturbations
- Degenerate elliptic partial differential equations
- Low-dimensional boundaries
- Sawtooth domains