On a condition for weak conformality (Q1920697)

A mapping \(f\in W^1_{\text{loc}}(D)\) (\(D\) a domain of \(\mathbb{R}^n\)) is called quasiregular if the Jacobian \(J(x,f)\) of \(f\) does not change its sign in \(D\) (i.e., either \(J(x,f)\geq 0\) or \(J(x,f)\leq 0\) for almost all \(x\in D\)) and there exists \(K\geq 1\) such that \(|f'(x)|^n\leq K|J(x,f)|\) almost everywhere in \(D\), where \(|f'(x)|=\max_{|h|\leq 1}|f'(x)h|\). The author establishes that if a quasiregular function \(f\) satisfies the conditions \(f(0)=0\) and \((\sigma_nr^n)^{-1}\int_{B(0,r)}K_f(x)dm\to 1\) as \(r\to 0\), then \(\Lambda_h/\lambda_h\to 1\) as \(h\to 0\), where \(\Lambda_h=\max_{|x|=h}|f(x)|\), \(\lambda_h=\min_{|x|=h}|f(x)|\) and \[ K_f(x)= \begin{cases} |f'(x)|/|J(x,f)|&\text{if }J(x,f)\neq 0,\\ 1 &\text{if }J(x,f)=0\end{cases} \] is the coefficient of \(f\) at \(x\).