English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Let $n\ge2$ and $\Omega$ be a bounded non-tangentially accessible domain (forshort, NTA domain) of $\mathbb{R}^n$. Assume that $L_D$ is a second-orderdivergence form elliptic operator having real-valued, bounded, measurablecoefficients on $L^2(\Omega)$ with the Dirichlet boundary condition. The mainaim of this article is threefold. First, the authors prove that the heatkernels $\{K_t^{L_D}\}_{t>0}$ generated by $L_D$ are H\"older continuous.Second, for any $p\in(0,1]$, the authors introduce the `geometrical' Hardyspace $H^p_r(\Omega)$ by restricting any element of the Hardy space$H^p(\mathbb{R}^n)$ to $\Omega$, and show that, when$p\in(\frac{n}{n+\delta_0},1]$, $H^p_r(\Omega)=H^p(\Omega)=H^p_{L_D}(\Omega)$with equivalent quasi-norms, where $H^p(\Omega)$ and $H^p_{L_D}(\Omega)$respectively denote the Hardy space on $\Omega$ and the Hardy space associatedwith $L_D$, and $\delta_0\in(0,1]$ is the critical index of the H\"oldercontinuity for the kernels $\{K_t^{L_D}\}_{t>0}$. Third, as applications, theauthors obtain the global gradient estimates in both $L^p(\Omega)$, with$p\in(1,p_0)$, and $H^p_z(\Omega)$, with $p\in(\frac{n}{n+1},1]$, for theinhomogeneous Dirichlet problem of second-order divergence form ellipticequations on bounded NTA domains, where $p_0\in(2,\infty)$ is a constantdepending only on $n$, $\Omega$, and the coefficient matrix of $L_D$. It isworth pointing out that the range $p\in(1,p_0)$ for the global gradientestimate in the scale of Lebesgue spaces $L^p(\Omega)$ is sharp and the aboveresults are established without any additional assumptions on both thecoefficient matrix of $L_D$, and the domain $\Omega$.

Heat Kernels and Hardy Spaces on Non-Tangentially Accessible Domains with Applications to Global Regularity of Inhomogeneous Dirichlet Problems