Rate of rational approximation and asymptotic monogeneity of functions at points of the finite porosity of a compact set (Q2487448)

The article is devoted to investigation of relations between asymptotic monogeneity and the rate of best rational approximation of a function at points of the compact set of the complex plane. Let us recall the necessary notions. Let \(K\) be a set on \({\mathbb C}\), and \(z\in K\) be a nonisolated condensation point in \(K\). A complex-valued function \(f\) on \(K\) is monogenic at \(z\) with respect to \(K\) if \[ f\left(\zeta\right)-f\left(z\right)= A\left(K,f,z\right)\cdot\left(\zeta-z\right) +o\left(\zeta-z\right),\quad\zeta\to z,\,\zeta\in K, \leqno{(1)} \] where \(A\left(K,f,z\right)\) denotes some finite constant depending only on \(K\), \(f\), and \(z\). Let \(K\) be a measurable set with respect to the plane Lebesgue measure \(\mathop{\text{mes}}_2\), and let \(z\) be a point where \(K\) has positive \(\mathop{\text{mes}}_2\)-density. A function \(f\) is called to be asymptotically monogenic at the point \(z\) (with respect to \(K\)) if \(f\) is monogenic at \(z\) with respect to any intersection \(K\cap E\), where \(E\) is a compact set such that \(z\) is a point of full \(\mathop{\text{mes}}_2\)-density of it. The constant \(A\left(K\cap E,f,z\right)\) in~(1) is independent of \(E\) and it is called the asymptotic derivative of the function \(f\) (it is designated by \(f^{\left[1\right]}\left(K,z\right)\)). The class of all functions asymptotically monogenic at \(z\) (with respect to \(K\)) is denoted by \(M\left(K,z\right)\). For any \(r\in\left(0,\infty\right]\) the porosity measure of a compact set \(K\) at the point \(z\) is defined by \[ \omega\left(K,z,r\right)= \sup\left\{\rho\left(\zeta,K\right)\left| \zeta-z\right| ^{-2}:\, \left| \zeta-z\right| \leq r,\,\zeta\in{\mathbb C}\setminus K\right\}, \] where \(\rho\left(\zeta,K\right)\) is the Euclidean distance from \(z\) to \(K\). Some sufficient conditions for \(f\) to be in the class \(M\left(K,z\right)\) is obtained. These conditions are expressed in terms of the behavior of porosity measure and the rates of best rational approximations of the function \(f\). The author also proves that the finite-porosity condition \(\omega\left(K,z,\infty\right)<\infty\) is necessary for the asymptotical monogeneity at the point \(z\) if \(f\) may be approximated sufficiently good. On the other hand, the condition \(\omega\left(K,z,r\right)=o\left(r\right)\), \(r\to 0\), guarantees some differential properties of \(f\) at the point \(z\). The article is recommended for the specialists in complex analysis and approximation theory.