Poincaré domains and quasiconformal mappings (Q1920877)

Let \(D\subset \mathbb{R}^n\) be a domain and let \(E, F\subset \overline D\) be disjoint nonempty compact sets. The Sobolev capacity of \(E\) and \(F\) relative to \(D\) is defined by \[ s- \text{cap}(E, F; D)= \inf_{u\in W} \int_D (|u|^n+ |\text{grad } u|^n), \] where \(W= \{u\in W^{1, n}(D)\cap C(D\cup E\cup F): u|E\leq c, u|F\geq c+ 1, c\in \mathbb{R}\}\). The authors show that homeomorphisms \(f: D\to D'\) preserving Sobolev capacity are quasiconformal. They also study the interesting situation when the domain \(D\) is a Poincaré domain. Other notions which naturally arise in this context are uniform domains and QED-domains. The proofs make clever use of basic properties of Sobolev spaces and modulus of a curve family. Finally, a few open problems are listed.