Abstract:Let $\Omega \subset \mathbb{R}^{n+1}$ be an open set whose boundary may be composed of pieces of different dimensions. Assume that $\Omega$ satisfies the quantitative openness and connectedness, and there exist doubling measures $m$ on $\Omega$ and $\mu$ on $\partial \Omega$ with appropriate size conditions. Let $Lu=-\mathrm{div}(A\nabla u)$ be a real (not necessarily symmetric) degenerate elliptic operator in $\Omega$. Write $\omega_L$ for the associated degenerate elliptic measure. We establish the equivalence between the following properties: (i) $\omega_L \in A_{\infty}(\mu)$, (ii) the Dirichlet problem for $L$ is solvable in $L^p(\mu)$ for some $p \in (1, \infty)$, (iii) every bounded null solution of $L$ satisfies Carleson measure estimates with respect to $\mu$, (iv) the conical square function is controlled by the non-tangential maximal function in $L^q(\mu)$ for all $q \in (0, \infty)$ for any null solution of $L$, and (v) the Dirichlet problem for $L$ is solvable in $\mathrm{BMO}(\mu)$. On the other hand, we obtain a qualitative analogy of the previous equivalence. Indeed, we characterize the absolute continuity of $\omega_L$ with respect to $\mu$ in terms of local $L^2(\mu)$ estimates of the truncated conical square function for any bounded null solution of $L$. This is also equivalent to the finiteness $\mu$-almost everywhere of the truncated conical square function for any bounded null solution of $L$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the absolute continuity of degenerate elliptic measures. Specifically, the author explores the absolute continuity between the elliptic measure \(\omega_L\) of the degenerate elliptic operator \(L\) and the measure \(\mu\) on the boundary in a given open set \(\Omega\subset\mathbb{R}^{n + 1}\). The main objective of the study is to establish the equivalence relationships among the following properties:
1. \(\omega_L\in A_\infty(\mu)\).
2. The Dirichlet problem for \(L\) is solvable in \(L^p(\mu)\), where \(p\in(1,\infty)\).
3. Every bounded weak solution \(u\) satisfies the Carleson measure estimate with respect to \(\mu\).
4. For any weak solution \(u\), the conical square function is dominated by the non - tangential maximal function in \(L^q(\mu)\), where \(q\in(0,\infty)\).
5. The Dirichlet problem for \(L\) is solvable in BMO(\(\mu\)).
In addition, the author also attempts to characterize the absolute continuity of \(\mu\) with respect to \(\omega_L\) through the conical square function, which is a qualitative version.
### Main Results
1. **Equivalence Theorems**:
- Theorem 1.3 establishes the equivalence relationships among the above five properties.
- Theorem 1.4 then provides a qualitative version, that is, the absolute continuity of \(\mu\) with respect to \(\omega_L\) can be characterized by the truncated conical square function being finite \(\mu\)-almost everywhere.
2. **Applications**:
- **Uniformly Elliptic Operators**: In 1 - sided NTA domains, the properties (a) - (e) of the uniformly elliptic operator \(L\) are equivalent.
- **t - independent Elliptic Operators**: In the upper half - space \(R^{n+1}_+\), the properties (a) - (e) of the t - independent elliptic operator \(L\) are also equivalent.
- **Degenerate Elliptic Operators on Low - Dimensional Sets**: In the case where the complement is a d - ADR set \(\Gamma\), the properties (a) - (e) of the degenerate elliptic operator \(L\) are also equivalent.
### Methods and Tools
- **Geometric Concepts**: including Ahlfors - David regularity, Corkscrew condition, Harnack chain condition, etc.
- **Dyadic Grids and Saw - Tooth Regions**: used to handle the relationship between the measure on the boundary and the elliptic measure.
- **Carleson Measure Estimates**: used to characterize the properties of elliptic measures.
- **Conical Square Functions**: used to characterize absolute continuity.
### Conclusion
Through these methods, the author successfully establishes the equivalence relationships between the absolute continuity of degenerate elliptic measures and other important properties, providing new tools and perspectives for understanding and analyzing elliptic equations in domains with rough boundaries.