We have decided to discontinue the publication of preprints on our preprint server as of 1 March 2024. The publication culture within mathematics has changed so much due to the rise of repositories such as ArXiV (www.arxiv.org) that we are encouraging all institute members to make their preprints available there. An institute's repository in its previous form is, therefore, unnecessary. The preprints published to date will remain available here, but we will not add any new preprints here.
MiS Preprint
41/1998
Sobolev met Poincaré
Piotr Hajlasz and Pekka Koskela
Abstract
There are several generalizations of the classical theory of Sobolev spaces as they are necessary for the applications to Carnot-Carathéodory spaces, subelliptic equations, quasiconformal mappings on Carnot groups and more general Loewner spaces, analysis on topological manifolds, potential theory on infinite graphs, analysis on fractals and the theory of Dirichlet forms. The aim of this paper is to present a unified approach to the theory of Sobolev spaces that covers applications to many of those areas. The variety of different areas of applications forces a very general setting. We are given a metric space X equipped with a doubling measure $\mu$. A generalization of a Sobolev function and its gradient is a pair $u \in L^1_{loc} (X)$, $0\leq g \in L^p(X)$ such that for every ball $B \subset X$ the Poincaré-type inequality $\int_B |u-u_B |d\mu \leq Cr(\int_{\sigma B} g^p d\mu )^\frac{1}{p}$ holds, where r is the radius of B and $\mu \geq 1$, C>0 are fixed constants. Working in the above setting we show that basically all relevant results from the classical theory have their counterparts in our general setting. These include Sobolev-Poincaré type embeddings, Rellich-Kondrachov compact embedding theorem, and even a version of the Sobolev embedding theorem on spheres. The second part of the paper is devoted to examples and applications in the above mentioned areas.
Providence, RI : American Mathematical Society, 2000. - x, 101 (Memoirs of the American Mathematical Society, ; 145 (2000) 688) ISBN: 0-8218-2047-8, ISSN: 0065-9266 ;