## 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

Funding Information:The first author is supported in part by the NSF grants DMS 1344235 , DMS 1839077 and the Simons Foundation grant 563916 , SM. The second author is supported by the University of Minnesota Doctoral Dissertation Fellowship Grant.

Publisher Copyright:

© 2021 Elsevier Inc.

## Keywords

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