A maximum modulus principle for non-analytic functions defined in the unit disk (Q884102): Difference between revisions

Let \(\mathbb U\) be the complex (open) unit disc. The authors prove in the paper the following principal result, which is an extension of the maximum modulus principle for a subclass of nonanalytic functions. Some other particular cases and examples are also given in the paper: Let \(f(z,\overline{z})\) defined for \(z\in\mathbb U\) have a series expansion of the form: \[ f(z,\overline{z})=\sum_{n=1}^\infty f_n(z,\overline{z}) \] where the functions \(f_n(z,\overline{z})\) are functions of \(z\in\overline{\mathbb U}\) satisfying: \[ f_n(rz,r\overline{z})=r^nf_n(z,\overline{z}) \] for all \(z\in\overline{\mathbb U}\) and for all real numbers \(r>0\) for which \(rz\in\overline{\mathbb U}\), \(n=1,2,3,\ldots\) If for some \(\theta\in[0,2\pi)\) we have \[ \sum_{n=1}^\infty n| f_n(e^{i\theta},{e}^{-i\theta})| \leq| f_1(e^{i\theta},e^{-i\theta})| \neq 0, \tag \(*\) \] then \(f(z,\overline{z})\) is an increasing function of \(| z| \) on \(\arg z=\theta\), that is: \[ | f(z_1,\overline{z}_1| \leq | f(z_2,\overline{z}_2)| \] for any \(z_1=r_1e^{i\theta}\), \(z_2=r_2e^{i\theta}\), with \(0<r_1<r_2<1\). In particular, if condition \((*)\) holds for all \(\theta\in[0,2\pi)\), then \(| f| \) is radially increasing in the whole open unit disc \(\mathbb U\), and it cannot, therefore, attain its maximum at an interior point of \(\mathbb U\).