Search for: All records

We study the large-scale behavior of Newton-Sobolev functions on complete, connected, proper, separable metric measure spaces equipped with a Borel measure μ with μ(X) = ∞ and 0 < μ(B(x, r)) < ∞ for all x ∈ X and r ∈ (0, ∞). Our objective is to understand the relationship between the Dirichlet space D^(1,p)(X), defined using upper gradients, and the Newton-Sobolev space N^(1,p)(X)+ℝ, for 1 ≤ p < ∞. We show that when X is of uniformly locally p-controlled geometry, these two spaces do not coincide under a wide variety of geometric and potential theoretic conditions. We also show that when the metric measure space is the standard hyperbolic space ℍⁿ with n ≥ 2, these two spaces coincide precisely when 1 ≤ p ≤ n-1. We also provide additional characterizations of when a function in D^(1,p)(X) is in N^(1,p)(X)+ℝ in the case that the two spaces do not coincide. 

We prove a single-value version of Reshetnyak’s theorem. Namely, if a non-constant map $f\in W_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1,n}(\mathrm{\Omega },{\mathbb{R}}^n)$ from a domain $\mathrm{\Omega }\subset {\mathbb{R}}^n$ satisfies the estimate $\left|Df\right(x){|}^n\le K{J}_f(x)+\mathrm{\Sigma }(x\left)\right|f\left(x\right)-y_0{|}^n$ at almost every $x\in \mathrm{\Omega }$ for some $K\ge 1$, $y_0\in {\mathbb{R}}^n$ and $\mathrm{\Sigma }\in L_{\mathrm{l}\mathrm{o}\mathrm{c}}^{1+\epsilon }\left(\mathrm{\Omega }\right)$, then $f^{-1}\left\{y_0\right\}$ is discrete, the local index $i(x,f)$ is positive in $f^{-1}\left\{y_0\right\}$, and every neighborhood of a point of $f^{-1}\left\{y_0\right\}$ is mapped to a neighborhood of $y_0$. Assuming this estimate for a fixed $K$ at every $y_0\in {\mathbb{R}}^n$ is equivalent to assuming that the map $f$ is $K$-quasiregular, even if the choice of $\mathrm{\Sigma }$ is different for each $y_0$. Since the estimate also yields a single-value Liouville theorem, it hence appears to be a good pointwise definition of $K$-quasiregularity. As a corollary of our single-value Reshetnyak’s theorem, we obtain a higher-dimensional version of the argument principle that played a key part in the solution to the Calderón problem. 

Abstract We define a type of modulus$$\operatorname {dMod}_p$$ ${dMod}_p$for Lipschitz surfaces based on$$L^p$$ $L^p$-integrable measurable differential forms, generalizing the vector modulus of Aikawa and Ohtsuka. We show that this modulus satisfies a homological duality theorem, where for Hölder conjugate exponents$$p, q \in (1, \infty )$$ $p,q\in (1,\infty )$, every relative Lipschitzk-homology classchas a unique dual Lipschitz$$(n-k)$$ $(n-k)$-homology class$$c'$$ $c^{\prime }$such that$$\operatorname {dMod}_p^{1/p}(c) \operatorname {dMod}_q^{1/q}(c') = 1$$ ${dMod}_p^{1/p}\left(c\right){dMod}_q^{1/q}\left(c^{\prime }\right)=1$and the Poincaré dual ofcmaps$$c'$$ $c^{\prime }$to 1. As$$\operatorname {dMod}_p$$ ${dMod}_p$is larger than the classical surface modulus$$\operatorname {Mod}_p$$ ${Mod}_p$, we immediately recover a more general version of the estimate$$\operatorname {Mod}_p^{1/p}(c) \operatorname {Mod}_q^{1/q}(c') \le 1$$ ${Mod}_p^{1/p}\left(c\right){Mod}_q^{1/q}\left(c^{\prime }\right)\le 1$, which appears in works by Freedman and He and by Lohvansuu. Our theory is formulated in the general setting of Lipschitz Riemannian manifolds, though our results appear new in the smooth setting as well. We also provide a characterization of closed and exact Sobolev forms on Lipschitz manifolds based on integration over Lipschitzk-chains. 

We prove a far-reaching generalization of Rickman’s Picard theorem for a surprisingly large class of mappings, based on the recently developed theory of quasiregular values. Our results are new even in the planar case. 

Abstract We study continuity properties of Sobolev mappings , , that satisfy the following generalized finite distortion inequalityfor almost every . Here and are measurable functions. Note that when , we recover the class of mappings of finite distortion, which are always continuous. The continuity of arbitrary solutions, however, turns out to be an intricate question. We fully solve the continuity problem in the case of bounded distortion , where a sharp condition for continuity is that is in the Zygmund space for some . We also show that one can slightly relax the boundedness assumption on to an exponential class with , and still obtain continuous solutions when with . On the other hand, for all with , we construct a discontinuous solution with and , including an example with and .