scholarly journals Wiman’s Type Inequality in Multiple-Circular Domain

Axioms ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 348
Author(s):  
Andriy Kuryliak ◽  
Oleh Skaskiv

In the paper we prove for the first time an analogue of the Wiman inequality in the class of analytic functions f∈A0p(G) in an arbitrary complete Reinhard domain G⊂Cp, p∈N represented by the power series of the form f(z)=f(z1,⋯,zp)=∑‖n‖=0+∞anzn with the domain of convergence G. We have proven the following statement: If f∈Ap(G) and h∈Hp, then for a given ε=(ε1,…,εp)∈R+p and arbitrary δ>0 there exists a set E⊂|G| such that ∫E∩Δεh(r)dr1⋯drpr1⋯rp<+∞ and for all r∈Δε∖E we have Mf(r)≤μf(r)(h(r))p+12lnp2+δh(r)lnp2+δ{μf(r)h(r)}∏j=1p(lnerjεj)p−12+δ. Note, that this assertion at p=1,G=C,h(r)≡const implies the classical Wiman–Valiron theorem for entire functions and at p=1, the G=D:={z∈C:|z|<1},h(r)≡1/(1−r) theorem about the Kővari-type inequality for analytic functions in the unit disc D; p>1 implies some Wiman’s type inequalities for analytic functions of several variables in Cn×Dk, n,k∈Z+,n+k∈N.

2020 ◽  
Vol 12 (2) ◽  
pp. 492-498
Author(s):  
O.B. Skaskiv ◽  
A.O. Kuryliak

Let $\mathcal{E}_R$ be the class of analytic functions $f$ represented by power series of the form $f(z)=\sum\limits\limits_{n=0}^{+\infty}a_n z^n$ with the radius of convergence $R:=R(f)\in(0;+\infty].$ For $r\in [0, R)$ we denote the maximum modulus by $M_f(r)=\max\{|f(z)|\colon$ $ |z|=r\}$ and the maximal term of the series by $\mu_f(r)=\max\{|a_n| r^n\colon n\geq 0\}$. We also denote by $\mathcal{H}_R$, $R\leq +\infty$, the class of continuous positive functions, which increase on $[0;R)$ to $+\infty$, such that $h(r)\geq2$ for all $r\in (0,R)$ and $ \int^R_{r_{0}} h(r) d\ln r =+\infty $ for some $r_0\in(0,R)$. In particular, the following statements are proved. $1^0.$ If $h\in \mathcal{H}_R$ and $f\in \mathcal{E}_R,$ then for any $\delta>0$ there exist $E(\delta,f,h):=E\subset(0,R)$, $r_0 \in (0,R)$ such that $$ \forall\ r\in (r_0,R)\backslash E\colon\ M_f(r)\leq h(r) \mu_f(r) \big\{\ln h(r)\ln(h(r)\mu_f(r))\big\}^{1/2+\delta}$$ and $$\int\nolimits_E h(r) dr < +\infty. $$ $2^0.$ If we additionally assume that the function $f\in \mathcal{E}_R$ is unbounded, then $$ \ln M_f(r)\leq(1+o(1))\ln (h(r)\mu_f(r)) $$ holds as $r\to R$, $r\notin E$. Remark, that assertion $1^0$ at $h(r)\equiv \text{const}$ implies the classical Wiman-Valiron theorem for entire functions and at $h(r)\equiv 1/(1-r)$ theorem about the Kövari-type inequality for analytic functions in the unit disc. From statement $2^0$ in the case that $\ln h(r)=o(\ln\mu_f(r))$, $r\to R$, it follows that $ \ln M_f(r)=(1+o(1))\ln \mu_f(r) $ holds as $r\to R$, $r\notin E$.


2021 ◽  
Vol 9 (1) ◽  
pp. 56-63
Author(s):  
O. Skaskiv ◽  
A. Kuryliak

By $\mathcal{A}^2$ denote the class of analytic functions of the formBy $\mathcal{A}^2$ denote the class of analytic functions of the form$f(z)=\sum_{n+m=0}^{+\infty}a_{nm}z_1^nz_2^m,$with {the} domain of convergence $\mathbb{T}=\{z=(z_1,z_2)\in\mathbb C^2\colon|z_1|<1,\ |z_2|<+\infty\}=\mathbb{D}\times\mathbb{C}$ and$\frac{\partial}{\partial z_2}f(z_1,z_2)\not\equiv0$ in $\mathbb{T}.$ In this paper we prove some analogue of Wiman's inequalityfor analytic functions $f\in\mathcal{A}^2$. Let a function $h\colon \mathbb R^2_+\to \mathbb R_+$ be such that$h$ is nondecreasing with respect to each variables and $h(r)\geq 10$ for all $r\in T:=(0,1)\times (0,+\infty)$and $\iint_{\Delta_\varepsilon}\frac{h(r)dr_1dr_2}{(1-r_1)r_2}=+\infty$ for some $\varepsilon\in(0,1)$, where $\Delta_{\varepsilon}=\{(t_1, t_2)\in T\colon t_1>\varepsilon,\ t_2> \varepsilon\}$.We say that $E\subset T$ is a set of asymptotically  finite $h$-measure on\ ${T}$if $\nu_{h}(E){:=}\iint\limits_{E\cap\Delta_{\varepsilon}}\frac{h(r)dr_1dr_2}{(1-r_1)r_2}<+\infty$ for some $\varepsilon>0$. For $r=(r_1,r_2)\in T$ and a function $f\in\mathcal{A}^2$ denote\begin{gather*}M_f(r)=\max \{|f(z)|\colon  |z_1|\leq r_1,|z_2|\leq r_2\},\\mu_f(r)=\max\{|a_{nm}|r_1^{n} r_2^{m}\colon(n,m)\in{\mathbb{Z}}_+^2\}.\end{gather*}We prove the following theorem:{\sl Let $f\in\mathcal{A}^2$. For every $\delta>0$ there exists a set $E=E(\delta,f)$ of asymptotically  finite $h$-measure on\ ${T}$ such that for all $r\in (T\cap\Delta_{\varepsilon})\backslash E$ we have \begin{equation*} M_f(r)\leq\frac{h^{3/2}(r)\mu_f(r)}{(1-r_1)^{1+\delta}}\ln^{1+\delta} \Bigl(\frac{h(r)\mu_f(r)}{1-r_1}\Bigl)\cdot\ln^{1/2+\delta}\frac{er_2}{\varepsilon}. \end{equation*}}


2006 ◽  
Vol 49 (2) ◽  
pp. 256-264 ◽  
Author(s):  
Tejinder Neelon

AbstractA Bernstein–Walsh type inequality forC∞functions of several variables is derived, which then is applied to obtain analogs and generalizations of the following classical theorems: (1) Bochnak– Siciak theorem: aC∞function on ℝnthat is real analytic on every line is real analytic; (2) Zorn–Lelong theorem: if a double power seriesF(x,y) converges on a set of lines of positive capacity thenF(x,y) is convergent; (3) Abhyankar–Moh–Sathaye theorem: the transfinite diameter of the convergence set of a divergent series is zero.


2019 ◽  
Vol 69 (5) ◽  
pp. 1089-1098 ◽  
Author(s):  
Andriy Bandura ◽  
Oleh Skaskiv

Abstract We study sufficient conditions of boundedness of L-index in a direction b ∈ ℂn ∖ {0} for analytic solutions in the unit ball of a linear higher order non-homogeneous differential equation with directional derivatives. These conditions are restrictions by the analytic coefficients in the unit ball of the equation. Also we investigate asymptotic behavior of analytic functions of bounded L-index in the direction and estimate its growth. The results are generalizations of known propositions for entire functions of several variables.


Author(s):  
Alexandr V. Zheleznyak ◽  

We obtain a new version of Hardy theorem about power series of several variables reciprocal to the power series with positive coefficients. We prove that if the sequence {as} = as1,s2,...,sn, ||s|| ≥ K satisfies condition of logarithmically convexity and the first coefficient a0 is sufficiently large then reciprocal power series has only negative coefficients {bs} = bs1,s2,...,sn, except b0,0,...,0 for any K. The classical Hardy theorem corresponds to the case K = 0, n = 1. Such results are useful in Nevanlinna - Pick theory. For example, if function k(x, y) can be represented as power series Σn≥0 an(x-y)n, an > 0, and reciprocal function 1/k(x,y) can be represented as power series Σn≥0 bn(x-y)n such that bn < 0, n > 0, then k(x, y) is a reproducing kernel function for some Hilbert space of analytic functions in the unit disc D with Nevanlinna-Pick property. The reproducing kernel 1/1-x-y of the classical Hardy space H2(D) is a prime example for our theorems.


2020 ◽  
Vol 54 (2) ◽  
pp. 135-145
Author(s):  
A. O. Kuryliak ◽  
O. B. Skaskiv ◽  
S. I. Panchuk

In the article is obtained an analogue of Wiman-Bitlyan-Gol'dberg type inequality for entire $f\colon\mathbb{C}^p\to \mathbb{C}$ from the class $\mathcal{E}^{p}(\lambda)$ of functions represented by gap power series of the form$$f(z)=\sum\limits_{k=0}^{+\infty} P_k(z),\quadz\in\mathbb{C}^p.$$Here $P_0(z)\equiv a_{0}\in\mathbb{C},$ $P_k(z)=\sum_{\|n\|=\lambda_k} a_{n}z^{n}$ is homogeneouspolynomial of degree $\lambda_k\in\mathbb{Z}_+,$ ànd $ 0=\lambda_0<\lambda_k\uparrow +\infty$\ $(1\leq k\uparrow +\infty ),$$\lambda=(\lambda_k)$.\ We consider the exhaustion of thespace\ $\mathbb{C}^{p}$\by the system $(\mathbf{G}_{r})_{r\geq 0}$ of a bounded complete multiple-circular domains $\mathbf{G}_{r}$with the center at the point $\mathbf{0}=(0,\ldots,0)\in \mathbb{C}^{p}$. Define $M(r,f)=\max\{|f(z)|\colon z\in\overline{G}_r\}$, $\mu(r,f)=\max\{|P_k(z))|\colon z\in\overline{G}_r\}$.Let $\mathcal{L}$ be the class of positive continuous functions $\psi\colon \mathbb{R}_{+}\to\mathbb{R}_{+}$ such that $\int_{0}^{+\infty}\frac{dx}{\psi(x)}<+\infty$, $n(t)=\sum_{\lambda_k\leq t}1$ counting function of the sequence $(\lambda_k)$ for $t\geq 0$. The following statement is proved:{\it If a sequence $\lambda=(\lambda_{k})$ satisfy the condition\begin{equation*}(\exists p_1\in (0,+\infty))(\exists t_0>0)(\forall t\geq t_0)\colon\quad n(t+\sqrt{\psi(t)})-n(t-\sqrt{\psi(t)})\leq t^{p_1}\end{equation*}for some function $\psi\in \mathcal{L}$,then for every entire function $f\in\mathcal{E}^{p}(\lambda)$, $p\geq 2$ and for any$\varepsilon>0$ there exist a constant $C=C(\varepsilon, f)>0$ and a set $E=E(\varepsilon, f)\subset [1,+\infty)$ of finite logarithmic measure such that the inequality\begin{equation*}M(r, f)\leq C m(r,f)(\ln m(r, f))^{p_1}(\ln\ln m(r, f))^{p_1+\varepsilon}\end{equation*}holds for all $ r\in[1,+\infty]\setminus E$.}The obtained inequality is sharp in general.At $\lambda_k\equiv k$, $p=2$ we have $p_1=1/2+\varepsilon$ and the Bitlyan-Gol'dberg inequality (1959) it follows. In the case $\lambda_k\equiv k$, $p=2$ we have $p_1=1/2+\varepsilon$ and from obtained statement we get the assertion on the Bitlyan-Gol'dberg inequality (1959), and at $p=1$ about the classical Wiman inequality it follows.


2020 ◽  
Vol 12 (2) ◽  
pp. 353-359
Author(s):  
O.S. Bodnar ◽  
R.I. Dmytryshyn ◽  
S.V. Sharyn

The paper investigates the convergence problem of a special class of branched continued fractions, i.e. the multidimensional S-fractions with independent variables, consisting of \[\sum_{i_1=1}^N\frac{c_{i(1)}z_{i_1}}{1}{\atop+}\sum_{i_2=1}^{i_1}\frac{c_{i(2)}z_{i_2}}{1}{\atop+} \sum_{i_3=1}^{i_2}\frac{c_{i(3)}z_{i_3}}{1}{\atop+}\cdots,\] which are multidimensional generalizations of S-fractions (Stieltjes fractions). These branched continued fractions are used, in particular, for approximation of the analytic functions of several variables given by multiple power series. For multidimensional S-fractions with independent variables we have established a convergence criterion in the domain \[H=\left\{{\bf{z}}=(z_1,z_2,\ldots,z_N)\in\mathbb{C}^N:\;|\arg(z_k+1)|<\pi,\; 1\le k\le N\right\}\] as well as the estimates of the rate of convergence in the open polydisc \[Q=\left\{{\bf{z}}=(z_1,z_2,\ldots,z_N)\in\mathbb{C}^N:\;|z_k|<1,\;1\le k\le N\right\}\] and in a closure of the domain $Q.$


1984 ◽  
Vol 7 (3) ◽  
pp. 443-454
Author(s):  
M. L. Mogra ◽  
O. P. Juneja

We consider functionsfanalytic in the unit disc and assume the power series representation of the formf(z)=z+an+1zn+1+an+2zn+2+…wherean+1is fixed throughout. We provide a unified approach to radius convexity problems for different subclasses of univalent analytic functions. Numerous earlier estimates concerning the radius of convexity such as those involving fixed second coefficient,ninitial gaps,n+1symmetric gaps, etc. are discussed. It is shown that several known results, follow as special cases of those presented in this paper.


Axioms ◽  
2021 ◽  
Vol 10 (3) ◽  
pp. 150
Author(s):  
Andriy Zagorodnyuk ◽  
Anna Hihliuk

In the paper we establish some conditions under which a given sequence of polynomials on a Banach space X supports entire functions of unbounded type, and construct some counter examples. We show that if X is an infinite dimensional Banach space, then the set of entire functions of unbounded type can be represented as a union of infinite dimensional linear subspaces (without the origin). Moreover, we show that for some cases, the set of entire functions of unbounded type generated by a given sequence of polynomials contains an infinite dimensional algebra (without the origin). Some applications for symmetric analytic functions on Banach spaces are obtained.


2021 ◽  
Vol 27 (1) ◽  
Author(s):  
Adam Lecko ◽  
Gangadharan Murugusundaramoorthy ◽  
Srikandan Sivasubramanian

AbstractIn this paper, we define and study a class of analytic functions in the unit disc by modification of the well-known Robertson’s analytic formula for starlike functions with respect to a boundary point combined with subordination. An integral representation and growth theorem are proved. Early coefficients and the Fekete–Szegö functional are also estimated.


Sign in / Sign up

Export Citation Format

Share Document