Boundary limits for bounded quasiregular mappings (Q2271917)

``We establish results on the existence of nontangential limits for weighted \(\mathcal A\)-harmonic functions in the weighted Sobolev space \(W^{1,q}_{w}(\mathbb B^n)\), for some \(q > 1\) and \(w\) in the Muckenhoupt \(A_q\) class, where \(\mathbb B^n\) the unit ball in \(\mathbb R^n\)'' (from the abstract of the authors). For weighted Sobolev spaces \(W^{1,q}_w (\mathbb B^n)\), the authors refer to the definition given in [\textit{J. Heinonen, T. Kilpeläinen} and \textit{O. Martio}, Nonlinear potential theory of degenerate elliptic equations. Mineola, NY: Dover Publications (2006; Zbl 1115.31001)]. It consists of functions \(u :\mathbb B^{n}\rightarrow \mathbb R^n\) that have first distributional derivatives \(\triangledown u\) s.t., \[ \int_{\mathbb B^n} |( u ( x)|^q + | \triangledown u ( x)|^q)w( x)dx < \infty. \] Let \(q > 1\) and \(w \in L^1_{loc} (\mathbb R^n)\). We say that \(w\in A_q\) if there is a constant \(C\) such that \[ \sup_B \left(\frac{ 1}{| B |} \int_B w( y ) dy\right)\left(\frac {1}{| B |} \int_B w(y)^\frac {1}{q-1} dy\right)^{q-1} < C, \] where the supremum is taken over all balls \(B \subset \mathbb R^n\). The definition of weighted \(\mathcal A\)-harmonic functions is also given in the same reference. Roughly speaking they are weak solutions of the nonlinear p.d.e. \[ \text{div}(\mathcal A (x,\triangledown u )=0, \] where \(\mathcal A : \mathbb R^n \times \mathbb R^n \rightarrow \mathbb R^n\) is a mapping satisfying a number of assumptions! The main result of the paper is the following Theorem 3.1: Let \(f\) be a bounded quasiregular mapping in \( B^n\), and suppose that for some \(0\leq a < n - 1\), \[ N ( f , B (0, r )) := \sup_{ y\in \mathbb R^{n}} \text{card}\{x \in B (0, r ); f ( x) = y\} < C (1-r)^{- a} \] for all \(0 < r < 1\). Then the set of points \(E \subset \partial B^{n} (0,1)\) for which the non-tangential limit of \(f\) does not exist has Hausdorff dimension less than or equal to \(a\), i.e., \(\dim_n ( E )\leq a\). The authors claim that their results generalize, on the one hand, the one of [\textit{P. Koskela, J. J. Manfredi} and \textit{E. Villanor}, Trans. Am. Math. Soc. 348, No. 2, 755--766 (1996; Zbl 0849.31015)]), where the weight \(w\) is supposed to be the constant 1, and, on the other hand, improve that of [\textit{O. Martio} and \textit{U. Srebro}, Math. Scand. 85, No. 1, 49--70 (1999; Zbl 0953.30010)].