A $(ϕ_\frac{n}{s}, ϕ)$-Poincaré inequality in John domain

Abstract

Let $Ω$ be a bounded domain in $\mathbb{R}^n$ with $n\ge2$ and $s\in(0,1)$. Assume that $ϕ: [0, \infty) \to [0, \infty)$ be a Young function obeying the doubling condition with the constant $K_ϕ<2^{\frac{n}{s}}$. We demonstrate that $Ω$ supports a $(ϕ_\frac{n}{s}, ϕ)$-Poincaré inequality if it is is a John domain. Alternately, assume further that $Ω$ is a bounded domain that is quasiconformally equivalent to some uniform domain when $n\ge3$ or a simply connected domain when $n=2$. We demonstrate $Ω$ is a John domain if a $(ϕ_\frac{n}{s}, ϕ)$-Poincaré inequality holds.