Criteria for optimal global integrability of Hajłasz-Sobolev functions (Q351826): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
The author provides some necessary and sufficient geometric conditions for a domain \(\Omega\subset \mathbb R^n\) to support the HSP (Hajłasz-Poincaré-Sobolev) imbedding. The homogeneous Hajłasz space \(\dot{M}^{s,p}(\Omega)\) is the space of all measurable functions \(u\) for which there is a nonnegative function \(g\in L^p(\Omega)\) such that \(|u(x)-u(y)|\leq |x-y|^s (g(x)+g(y))\) for all \(x,y\in \Omega\), except possibly for some null set. A relaxed form of this condition, in which \(x,y\) are constrained by \(|x-y|<\frac12 \text{dist}(x,\partial \Omega)\), yields a potentially larger space \(\dot{M}^{s,p}_{\text{ball}}(\Omega)\), the Sobolev-type version of \(\dot{M}^{s,p}(\Omega)\). Given \(s\in \;]0,1]\) and \(p\in \;]n/(n+s),n/s[\,\), let \(q = pn/(n-ps)\). One says that \(\Omega\) supports the \((q,p)_s\)-HSP imbedding if the identity map from \(\dot{M}^{s,p}_{\text{ball}}(\Omega)\) to \(L^q(\Omega)\) is bounded on the subspace of functions with zero mean. The following Theorem 1.2 gives a geometric description of such domains. (i) Every John domain in \(\mathbb R^n\) supports a \((q,p)_s\)-HSP imbedding for all \(s\in \;]0,1]\) and \(p\in \;]n/(n+s), n/s[\,\). (ii) Assume that \(\Omega\) is a bounded domain with a certain separation property (see Definition 2.3). If \(\Omega\) supports a \((q,p)_s\)-HSP imbedding for some \(s\in \;]0,1]\) and \(p\in \;]n/(n+s), n/s[\,\), then \(\Omega\) is a John domain. | |||
Property / review text: The author provides some necessary and sufficient geometric conditions for a domain \(\Omega\subset \mathbb R^n\) to support the HSP (Hajłasz-Poincaré-Sobolev) imbedding. The homogeneous Hajłasz space \(\dot{M}^{s,p}(\Omega)\) is the space of all measurable functions \(u\) for which there is a nonnegative function \(g\in L^p(\Omega)\) such that \(|u(x)-u(y)|\leq |x-y|^s (g(x)+g(y))\) for all \(x,y\in \Omega\), except possibly for some null set. A relaxed form of this condition, in which \(x,y\) are constrained by \(|x-y|<\frac12 \text{dist}(x,\partial \Omega)\), yields a potentially larger space \(\dot{M}^{s,p}_{\text{ball}}(\Omega)\), the Sobolev-type version of \(\dot{M}^{s,p}(\Omega)\). Given \(s\in \;]0,1]\) and \(p\in \;]n/(n+s),n/s[\,\), let \(q = pn/(n-ps)\). One says that \(\Omega\) supports the \((q,p)_s\)-HSP imbedding if the identity map from \(\dot{M}^{s,p}_{\text{ball}}(\Omega)\) to \(L^q(\Omega)\) is bounded on the subspace of functions with zero mean. The following Theorem 1.2 gives a geometric description of such domains. (i) Every John domain in \(\mathbb R^n\) supports a \((q,p)_s\)-HSP imbedding for all \(s\in \;]0,1]\) and \(p\in \;]n/(n+s), n/s[\,\). (ii) Assume that \(\Omega\) is a bounded domain with a certain separation property (see Definition 2.3). If \(\Omega\) supports a \((q,p)_s\)-HSP imbedding for some \(s\in \;]0,1]\) and \(p\in \;]n/(n+s), n/s[\,\), then \(\Omega\) is a John domain. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Leonid V. Kovalev / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46E35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 42B35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6185695 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Sobolev-Poincaré inequality | |||
Property / zbMATH Keywords: Sobolev-Poincaré inequality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hajłasz-Sobolev space | |||
Property / zbMATH Keywords: Hajłasz-Sobolev space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
John domain | |||
Property / zbMATH Keywords: John domain / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Sobolev extension domain | |||
Property / zbMATH Keywords: Sobolev extension domain / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
linearly locally connected domain | |||
Property / zbMATH Keywords: linearly locally connected domain / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1004.5304 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5318420 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Self-similar sets with optimal coverings and packings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sobolev-Poincaré implies John / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3129267 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weighted Trudinger-type inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Self-improving properties of inequalities of Poincaré type on measure spaces and applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Univalent functions and the Schwarzian derivative / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniform domains and the quasi-hyperbolic metric / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasiextremal distance domains and extension of quasiconformal mappings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elliptic partial differential equations of second order / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3719272 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3940305 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sobolev spaces on an arbitrary metric space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4453425 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sobolev met Poincaré / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sobolev embeddings, extensions and measure density condition / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measure density and extendability of Sobolev functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995295 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pointwise characterizations of Hardy-Sobolev functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A characterization of Hajłasz-Sobolev and Triebel-Lizorkin spaces via grand Littlewood-Paley functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pointwise characterizations of Besov and Triebel-Lizorkin spaces and quasiconformal mappings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Trudinger inequalities without derivatives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Injectivity theorems in plane and space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hardy-Sobolev spaces and maximal functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4694399 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Holder Domains and Poincare Domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4026570 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3336199 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Sobolev extension domains in \(\mathbb R^n\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3142876 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Criteria for extension of functions of the class \(L^1_2\) from unbounded plane domains / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: New characterizations of Hajłasz-Sobolev spaces on metric spaces / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:37, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Criteria for optimal global integrability of Hajłasz-Sobolev functions |
scientific article |
Statements
Criteria for optimal global integrability of Hajłasz-Sobolev functions (English)
0 references
10 July 2013
0 references
The author provides some necessary and sufficient geometric conditions for a domain \(\Omega\subset \mathbb R^n\) to support the HSP (Hajłasz-Poincaré-Sobolev) imbedding. The homogeneous Hajłasz space \(\dot{M}^{s,p}(\Omega)\) is the space of all measurable functions \(u\) for which there is a nonnegative function \(g\in L^p(\Omega)\) such that \(|u(x)-u(y)|\leq |x-y|^s (g(x)+g(y))\) for all \(x,y\in \Omega\), except possibly for some null set. A relaxed form of this condition, in which \(x,y\) are constrained by \(|x-y|<\frac12 \text{dist}(x,\partial \Omega)\), yields a potentially larger space \(\dot{M}^{s,p}_{\text{ball}}(\Omega)\), the Sobolev-type version of \(\dot{M}^{s,p}(\Omega)\). Given \(s\in \;]0,1]\) and \(p\in \;]n/(n+s),n/s[\,\), let \(q = pn/(n-ps)\). One says that \(\Omega\) supports the \((q,p)_s\)-HSP imbedding if the identity map from \(\dot{M}^{s,p}_{\text{ball}}(\Omega)\) to \(L^q(\Omega)\) is bounded on the subspace of functions with zero mean. The following Theorem 1.2 gives a geometric description of such domains. (i) Every John domain in \(\mathbb R^n\) supports a \((q,p)_s\)-HSP imbedding for all \(s\in \;]0,1]\) and \(p\in \;]n/(n+s), n/s[\,\). (ii) Assume that \(\Omega\) is a bounded domain with a certain separation property (see Definition 2.3). If \(\Omega\) supports a \((q,p)_s\)-HSP imbedding for some \(s\in \;]0,1]\) and \(p\in \;]n/(n+s), n/s[\,\), then \(\Omega\) is a John domain.
0 references
Sobolev-Poincaré inequality
0 references
Hajłasz-Sobolev space
0 references
John domain
0 references
Sobolev extension domain
0 references
linearly locally connected domain
0 references
0 references
0 references
0 references
0 references