Haj\lasz-Sobolev Imbedding and Extension

TL;DR

This paper characterizes geometric conditions for Hajlasz-Sobolev extension and imbedding domains in Euclidean spaces, linking these properties to the structure of certain function spaces and geometric domain features.

Contribution

It establishes new geometric criteria for Hajlasz-Sobolev extension and imbedding domains, connecting these to the equality of specific function spaces and domain geometric properties.

Findings

A bounded finitely connected planar domain is a weak alpha-cigar domain iff certain function space equalities hold.

The paper provides geometric characterizations for Hajlasz-Sobolev extension domains in Euclidean spaces.

It links domain geometry with the structure of Triebel-Lizorkin and Hajlasz-Sobolev spaces.

Abstract

The author establishes some geometric criteria for a Haj\lasz-Sobolev $\dot M^{s,\,p}_\ball$-extension (resp. $\dot M^{s,\,p}_\ball$-imbedding) domain of ${\mathbb R}^n$ with $n\ge2$, $s\in(0,\,1]$ and $p\in[n/s,\,\infty]$ (resp. $p\in(n/s,\,\infty]$). In particular, the author proves that a bounded finitely connected planar domain $\boz$ is a weak $\alpha$-cigar domain with $\alpha\in(0,\,1)$ if and only if $\dot F^s_{p,\,\infty}({\mathbb R}^2)|_\boz=\dot M^{s,\,p}_\ball(\boz)$ for some/all $s\in[\alpha,\,1)$ and $p=(2-\az)/(s-\alpha)$, where $\dot F^s_{p,\,\infty}({\mathbb R}^2)|_\boz$ denotes the restriction of the Triebel-Lizorkin space $\dot F^s_{p,\,\infty}({\mathbb R}^2) $ on $\boz$.