Extensions and approximations of Banach-valued Sobolev functions

DOI10.1007/S00209-023-03389-1arXiv2208.12594MaRDI QIDQ6090628FDOQ6090628

Authors: Miguel García-Bravo, Toni Ikonen, Zheng Zhu 

Publication date: 17 November 2023

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Abstract: In complete metric measure spaces equipped with a doubling measure and supporting a weak Poincar'e inequality, we investigate when a given Banach-valued Sobolev function defined on a subset satisfying a measure-density condition is the restriction of a Banach-valued Sobolev function defined on the whole space. We investigate the problem for Haj{l}asz- and Newton-Sobolev spaces, respectively. First, we show that Haj{l}asz-Sobolev extendability is independent of the target Banach spaces. We also show that every $c_0$-valued Newton-Sobolev extension set is a Banach-valued Newton-Sobolev extension set for every Banach space. We also prove that any measurable set satisfying a measure-density condition and a weak Poincar'e inequality up to some scale is a Banach-valued Newton-Sobolev extension set for every Banach space. Conversely, we verify a folklore result stating that when $nleqp<infty$, every $W^{1,p}$-extension domain $Omegasubsetmathbb{R}^n$ supports a weak $(1,p)$-Poincar'e inequality up to some scale. As a related result of independent interest, we prove that in any metric measure space when $1leqp<infty$ and real-valued Lipschitz functions with bounded support are norm-dense in the real-valued $W^{1,p}$-space, then Banach-valued Lipschitz functions with bounded support are energy-dense in every Banach-valued $W^{1,p}$-space whenever the Banach space has the so-called metric approximation property.

Full work available at URL: https://arxiv.org/abs/2208.12594

Recommendations

• Sobolev classes of Banach space-valued functions and quasiconformal mappings
• Sobolev, BV and perimeter extensions in metric measure spaces
• Orlicz-Sobolev extensions and measure density condition
• Approximation by Lipschitz functions in abstract Sobolev spaces on metric spaces
• On extensions of Sobolev functions defined on regular subsets of metric measure spaces

zbMATH Keywords

Sobolev extensionNewtonian spacesPoincaré inequality

Mathematics Subject Classification ID

Analysis on metric spaces (30L99) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Sobolev (and similar kinds of) spaces of functions on metric spaces; analysis on metric spaces (46E36)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Quasiconformal maps in metric spaces with controlled geometry
• Differentiability of Lipschitz functions on metric measure spaces
• Sobolev classes of Banach space-valued functions and quasiconformal mappings
• Newtonian spaces: An extension of Sobolev spaces to metric measure spaces
• The Poincaré inequality is an open ended condition
• Nagata dimension, quasisymmetric embeddings, and Lipschitz extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sobolev met Poincaré
• Convex Bodies The Brunn-MinkowskiTheory
• Title not available (Why is that?)
• Sobolev spaces on an arbitrary metric space
• Basic concepts in the geometry of Banach spaces
• Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope
• \(Q\)-valued functions revisited
• Density of Lipschitz functions and equivalence of weak gradients in metric measure spaces
• Title not available (Why is that?)
• Quasiconformal mappings and extendability of functions in Sobolev spaces
• Sobolev embeddings, extensions and measure density condition
• Density of Lipschitz functions in energy
• Sobolev Spaces on Metric Measure Spaces
• On extensions of Sobolev functions defined on regular subsets of metric measure spaces
• Measure density and extendability of Sobolev functions
• Poincaré inequalities, uniform domains and extension properties for Newton-Sobolev functions in metric spaces
• Approximation of Sobolev functions in Jordan domains
• A density problem for Sobolev spaces on planar domains
• Pointwise Lipschitz functions on metric spaces
• On Sobolev extension domains in \(\mathbb R^n\)
• Title not available (Why is that?)
• Removable sets for Sobolev spaces
• Hölder quasicontinuity of Sobolev functions on metric spaces
• Minimal weak upper gradients in Newtonian spaces based on quasi-Banach function lattices
• Hajłasz gradients are upper gradients
• Corrigendum to: ``Poincaré inequalities and Newtonian Sobolev functions on noncomplete metric spaces
• Obstacle and Dirichlet problems on arbitrary nonopen sets in metric spaces, and fine topology
• Geometric and analytic quasiconformality in metric measure spaces
• Extensions and imbeddings
• A density problem for Sobolev spaces on Gromov hyperbolic domains
• Local and semilocal Poincaré inequalities on metric spaces
• Almost uniform domains and Poincaré inequalities
• Title not available (Why is that?)
• Schauder bases and the bounded approximation property in separable Banach spaces
• Lipschitz homotopy and density of Lipschitz mappings in Sobolev spaces
• Removable sets for Newtonian Sobolev spaces and a characterization of \(p\)-path almost open sets
• Poincaré inequalities and Newtonian Sobolev functions on noncomplete metric spaces
• Approximation by uniform domains in doubling quasiconvex metric spaces
• Absolutely continuous functions with values in a metric space
• Isoperimetric and Poincaré inequalities on non-self-similar Sierpiński sponges: the borderline case
• Pointwise inequalities for Sobolev functions on generalized cuspidal domains
• Pointwise Inequalities for Sobolev Functions on Outward Cuspidal Domains
• Abstract and concrete tangent modules on Lipschitz differentiability spaces

Cited In (2)

• Extension of functions in non-isotropic Nikolskii–Besov spaces and approximation of their derivatives
• Traces of Sobolev spaces on piecewise Ahlfors-David regular sets

This page was built for publication: Extensions and approximations of Banach-valued Sobolev functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6090628)