Let $K(B_{\ell_p^n},B_{\ell_q^n}) $ be the $n$-dimensional $(p,q)$-Bohr radius for holomorphic functions on $\mathbb C^n$. That is, $K(B_{\ell_p^n},B_{\ell_q^n}) $ denotes the greatest constant $r\geq 0$ such that for every entire function $f(z)=\sum_α c_α z^α$ in $n$-complex variables, we have the following (mixed) Bohr-type inequality $$\sup_{z \in r \cdot B_{\ell_q^n}} \sum_α | c_α z^α | \leq \sup_{z \in B_{\ell_p^n}} | f(z) |,$$ where $B_{\ell_r^n}$ denotes the closed unit ball of the $n$-dimensional sequence space $\ell_r^n$.
For every $1 \leq p, q \leq \infty$, we exhibit the exact asymptotic growth of the $(p,q)$-Bohr radius as $n$ (the number of variables) goes to infinity.
The Bohr radius for power series of holomorphic functions mapping a multidimensional Reinhardt domain into the convex domain in the complex plane is independent of this convex domain.
There are a number of articles which deal with Bohr's phenomenon whereas only a few papers appeared in the literature on Rogosinski's radii for analytic functions defined on the unit disk $|z|<1$. In this article, we introduce and investigate Bohr-Rogosinski's radii for analytic functions defined for $|z|<1$. Also, we prove several different improved versions of the classical Bohr's inequality. Finally, we also discuss the Bohr-Rogosinski's radius for a class of subordinations. All the results are proved to be sharp.
We consider the Bohr radius $R_n$ for the class of complex polynomials in one variable of degree at most $n$. It was conjectured by R. Fournier in 2008 that $R_n={1\over 3}+{π^2\over {3n^2}}+o({1\over n^2})$. We shall prove this conjecture is true in this paper.
Let $ \mathcal{H} $ be the class of harmonic functions $ f=h+\bar{g} $ in the unit disk $\mathbb{D}:=\{z\in\mathbb{C} : |z|<1\}$, where $ h $ and $ g $ are analytic in $ \mathbb{D} $. Let $$\mathcal{P}_{\mathcal{H}}^{0}(α)=\{f=h+\overline{g} \in \mathcal{H} : \real (h^{\prime}(z)-α)>|g^{\prime}(z)|\; \mbox{with}\; 0\leqα<1,\; g^{\prime}(0)=0,\; z \in \mathbb{D}\} $$ be the class of close-to-convex mappings defined by Li and Ponnusamy \cite{Injectivity section}. In this paper, we obtain the sharp Bohr-Rogosinski radius, improved Bohr radius and refined Bohr radius for the class $ \mathcal{P}_{\…
We determine the Bohr radius for the class of all functions $f$ of the form $f(z)=\sum_{k=1}^\infty a_{kp+m} z^{kp+m}$ analytic in the unit disk $|z|<1$ and satisfy the condition $|f(z)|\le 1$ for all $|z|<1$. In particular, our result also contains a solution to a recent conjecture of Ali, Barnard and Solynin \cite{AliBarSoly} for the Bohr radius for odd analytic functions, solved by the authors in \cite{KayPon1}. We consider a more flexible approach by introducing the $p$-Bohr radius for harmonic functions which in turn contains the classical Bohr radius as special case. Also, we prove sever…
The Bohr inequality, first introduced by Harald Bohr in 1914, deals with finding the largest radius $r$, $0<r<1$, such that $\sum_{n=0}^\infty |a_n|r^n \leq 1$ holds whenever $|\sum_{n=0}^\infty a_nz^n|\leq 1$ in the unit disk $\mathbb{D}$ of the complex plane. The exact value of this largest radius, known as the \emph{Bohr radius}, has been established to be $1/3.$ This paper surveys recent advances and generalizations on the Bohr inequality. It discusses the Bohr radius for certain power series in $\mathbb{D},$ as well as for analytic functions from $\mathbb{D}$ into particular domains. Thes…
We say that a class $\mathcal{F}$ consisting of analytic functions $f(z)=\sum_{n=0}^{\infty} a_{n}z^{n}$ in the unit disk $\mathbb{D}:=\{z\in \mathbb{C}: |z|<1\}$ satisfies a Bohr phenomenon if there exists $r_{f} \in (0,1)$ such that $$ \sum_{n=1}^{\infty} |a_{n}z^{n}|\leq d(f(0),\partial f(\mathbb{D})) $$ for every function $f \in \mathcal{F}$ and $|z|=r\leq r_{f}$, where $d$ is the Euclidean distance. The largest radius $r_{f}$ is the Bohr radius for the class $\mathcal{F}$. In this paper, we establish the Bohr phenomenon for the classes consisting of Ma-Minda type starlike functions and Ma…
We consider the class of all sense-preserving harmonic mappings $f= h+\overline{g}$ of the unit disk $\ID$, where $h$ and $g$ are analytic with $g(0)=0$, and determine the Bohr radius if any one of the following conditions holds: \bee $h$ is bounded in $\ID$. $h$ satisfies the condition ${\rm Re}\, h(z)\leq 1$ in $\mathbb{D}$ with $h(0)>0$. both $h$ and $g$ are bounded in $\ID$. $h$ is bounded and $g'(0)=0$. \eee We also consider the problem of determining the Bohr radius when the supremum of the modulus of the dilatation of $f$ in $\ID$ is strictly less than $1$. In addition, we determine the…
In this article we establish Bohr inequalities for operator valued functions, which can be viewed as the analogues of a couple of interesting results from scalar valued settings. Some results of this paper are motivated by the classical flavor of Bohr inequality, while the others are based on a generalized concept of the Bohr radius problem.
We study a "$p$-powered" version $K_n^p(F(R))$ of the well-known Bohr radius problem for the family $F(R)$ of holomorphic functions $f: R\to X$ satisfying $\|f\|<\infty$, where $\|.\|$ is a norm in the function space $F(R)$, $R\subset\mathbb{C}^n$ is a complete Reinhardt domain and $X$ is a complex Banach space. For all $p>0$, we describe in full details the asymptotic behaviour of $K_n^p(F(R))$, where $F(R)$ is (a) the Hardy space of $X$-valued holomorphic functions defined in the open unit polydisk $\mathbb{D}^n$, and (b) the space of bounded $X$-valued holomorphic or complex-valued plurihar…
The generalized Bohr radius $R_{p, q}(X), p, q\in[1, \infty)$ for a complex Banach space $X$ was introduced by Blasco in 2010. In this article, we determine the exact value of $R_{p, q}(\mathbb{C})$ for the cases (i) $p, q\in[1, 2]$, (ii) $p\in (2, \infty), q\in [1, 2]$ and (iii) $p, q\in [2, \infty)$. Moreover, we consider an $n$-variable version $R_{p, q}^n(X)$ of the quantity $R_{p, q}(X)$ and determine (i) $R_{p, q}^n(\mathcal{H})$ for an infinite dimensional complex Hilbert space $\mathcal{H}$, (ii) the precise asymptotic value of $R_{p, q}^n(X)$ as $n\to\infty$ for finite dimensional $X$…
In 1914 Bohr proved that there is an $r_0 \in(0,1)$ such that if a power series $\sum_{m=0}^\infty c_m z^m$ is convergent in the open unit disc and $|\sum_{m=0}^\infty c_m z^m|<1$ then, $\sum_{m=0}^\infty |c_m z^m|<1$ for $|z|<r_0$. The largest value of such $r_0$ is called the Bohr radius. In this article, we find Bohr radius for some univalent harmonic mappings having different dilatations and in addition, also compute Bohr radius for the functions convex in one direction.
In this article, we study the multi-dimensional Bohr radii of holomorphic functions defined on the Banach sequence spaces with values in the Banach spaces. For the case of finite dimensional Banach spaces, we exhibit the exact asymptotic growth of the Bohr radius. To achieve our goal in the finite case, we use $\ell_{p'}$-summability of certain coefficients of a given polynomial in terms of its uniform norm on $\ell_p^n$. The infinite case is handled using the techniques developed in recent years from the work of Defant, Maestre and Schwarting. We crucially use several properties of the symmet…
We introduce a general class of sense-preserving harmonic mappings defined as follows: \begin{equation*} \mathcal{S}^0_{h+\bar{g}}(M):= \{f=h+\bar{g}: \sum_{m=2}^{\infty}(γ_m|a_m|+δ_m|b_m|)\leq M, \; M>0 \}, \end{equation*} where $h(z)=z+\sum_{m=2}^{\infty}a_mz^m$, $g(z)=\sum_{m=2}^{\infty}b_m z^m$ are analytic functions in $\mathbb{D}:=\{z\in\mathbb{C}: |z|\leq1 \}$ and \begin{equation*} γ_m,\; δ_m \geq α_2:=\min \{γ_2, δ_2\}>0, \end{equation*} for all $m\geq2$. We obtain Growth Theorem, Covering Theorem and derive the Bohr radius for the class $\mathcal{S}^0_{h+\bar{g}}(M)$. As an applicatio…
Multidimensional Bohr radii for holomorphic functions with values in complex Banach spaces
Indian Institute of Technology Bhubaneswar（印度理工学院布巴内斯瓦尔分校）；Indian Institute of Science（印度科学研究所）；National Institute of Science Education and Research（国家科学教育研究中心）
The Bohr radius for a class $\mathcal{G}$ consisting of analytic functions $f(z)=\sum_{n=0}^{\infty}a_nz^n$ in unit disc $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ is the largest $r^*$ such that every function $f$ in the class $\mathcal{G}$ satisfies the inequality \begin{equation*} d\left(\sum_{n=0}^{\infty}|a_nz^n|, |f(0)|\right) = \sum_{n=1}^{\infty}|a_nz^n|\leq d(f(0), \partial f(\mathbb{D})) \end{equation*} for all $|z|=r \leq r^*$, where $d$ is the Euclidean distance. In this paper, our aim is to determine the Bohr radius for the classes of analytic functions $f$ satisfying differential subor…
The Bohr theorem states that any function $f(z) = \sum_{n=0}^{\infty} a_{n} z^{n}$, analytic and bounded in the open unit disk, obeys the inequality $\sum_{n=0}^{\infty} |a_{n}| |z|^{n} < 1$ in the open disk of radius 1/3, the so-called Bohr radius. Moreover, the value 1/$ cannot be improved. In this paper we review some results related to this theorem for the three-dimensional Euclidean space in the setting of quaternionic analysis. The existing results for the Bohr radius will be improved and also some estimates for the hypercomplex derivative of a monogenic function by the norm of the funct…
We determine the Bohr radius for the class of odd functions $f$ satisfying $|f(z)|\le 1$ for all $|z|<1$, settling the recent conjecture of Ali, Barnard and Solynin \cite{AliBarSoly}. In fact, we solve this problem in a more general setting. Then we discuss Bohr's radius for the class of analytic functions $g$, when $g$ is subordinate to a member of the class of odd univalent functions.
This paper mainly uses the nonnegative continuous function $\{ζ_n(r)\}_{n=0}^{\infty}$ to redefine the Bohr radius for the class of analytic functions satisfying $\real f(z)<1$ in the unit disk $|z|<1$ and redefine the Bohr radius of the alternating series $A_f(r)$ with analytic functions $f$ of the form $f(z)=\sum_{n=0}^{\infty}a_{pn+m}z^{pn+m}$ in $|z|<1$. In the latter case, one can also get information about Bohr radius for even and odd analytic functions. Moreover, the relationships between the majorant series $M_f(r)$ and the odd and even bits of $f(z)$ are also established. We will prov…
The Bohr phenomenon for analytic functions of the form $f(z)=\sum_{n=0}^{\infty} a_{n}z^{n}$, first introduced by Harald Bohr in 1914, deals with finding the largest radius $r_{f}$, $0<r_{f}<1$, such that the inequality $\sum_{n=0}^{\infty} |a_{n}z^{n}| \leq 1$ holds whenever the inequality $|f(z)|\leq 1 $ holds in the unit disk $\mathbb{D}=\{z \in \mathbb{C}: |z|<1\}$. The exact value of this largest radius known as Bohr radius, which has been established to be $r_{f}=1/3$. The Bohr phenomenon \cite{Abu-2010} for harmonic functions $f$ of the form $f(z)=h(z)+\overline {g(z)}$, where $h(z)=\su…
This article focuses on the Bohr radius problem for the derivatives of analytic functions, along with a technique of establishing Bohr inequalities in classical and generalized settings.
The present article concerns the Bohr radius for $K$-quasiconformal sense-preserving harmonic mappings $f=h+\overline{g}$ in the unit disk $\mathbb{D}$ for which the analytic part $h$ is subordinated to some analytic function $φ$, and the purpose is to look into two cases: when $φ$ is convex, or a general univalent function in $\ID$. The results state that if $h(z) =\sum_{n=0}^{\infty}a_n z^n$ and $g(z)=\sum_{n=1}^{\infty}b_n z^n$, then $$\sum_{n=1}^{\infty}(|a_n|+|b_n|)r^n\leq \dist (φ(0),\partialφ(\ID)) ~\mbox{ for $r\leq r^*$} $$ and give estimates for the largest possible $r^*$ depending o…
The object of this paper is to study the powered Bohr radius $ρ_p$, $p \in (1,2)$, of analytic functions $f(z)=\sum_{k=0}^{\infty} a_kz^k$ and such that $|f(z)|<1$ defined on the unit disk $|z|<1$. More precisely, if $M_p^f (r)=\sum_{k=0}^\infty |a_k|^p r^k$, then we show that $M_p^f (r)\leq 1$ for $r \leq r_p$ where $r_ρ$ is the powered Bohr radius for conformal automorphisms of the unit disk. This answers the open problem posed by Djakov and Ramanujan in 2000. A couple of other consequences of our approach is also stated, including an asymptotically sharp form of one of the results of Djakov…
Based on improving the classical Bohr inequality, we get in this paper some refined versions for a quasi-subordination family of functions, one of which is key to build our results. By means of these investigations, for a family of harmonic mappings defined in the unit disk $\D$, we establish an improved Bohr inequality with refined Bohr radius under particular conditions. Along the line of extremal problems concerning the refined Bohr radius, we derive a series of results. % in a logical way. Here the family of harmonic mappings have the form $f=h+\overline{g}$, where $g(0)=0$, the analytic p…
In this paper, we investigate the Bohr radius for $K$-quasiregular sense-preserving harmonic mappings $f=h+\overline{g}$ in the unit disk $\mathbb{D}$ such that the translated analytic part $h(z)-h(0)$ is quasi-subordinate to some analytic function. The main aim of this article is to extend and to establish sharp versions of four recent theorems by Liu and Ponnusamy \cite{LP2019} and, in particular, we settle affirmatively the two conjectures proposed by them. Furthermore, we establish two refined versions of Bohr's inequalities and determine the Bohr radius for the derivatives of analytic fun…
In Geometric function theory, occasionally attempts have been made to solve a particular problem for the Ma-Minda classes, $\mathcal{S}^*(ψ)$ and $\mathcal{C}(ψ)$ of univalent starlike and convex functions, respectively. Recently, a popular radius problem generally known as Bohr's phenomenon has been studied in various settings, however little is known about Rogosinski radius. In this article, for a fixed $f\in \mathcal{S}^*(ψ)$ or $\mathcal{C}(ψ),$ the class of analytic subordinants $S_{f}(ψ):= \{g : g\prec f \} $ is studied for the Bohr-Rogosinski phenomenon in a general setting. It's applic…
Let $ \mathcal{H}(\mathbb{D}) $ be the class of analytic functions in the unit disk $ \mathbb{D} : =\{z\in\mathbb{C} : |z|<1\} $. The classical Bohr's inequality states that if a power series $ f(z)=\sum_{n=0}^{\infty}a_nz^n $ converges in $ \mathbb{D} $ and $ |f(z)|<1 $ for $ z\in\mathbb{D} $, then \begin{equation*} \sum_{n=0}^{\infty}|a_n|r^n\leq 1\;\;\mbox{for}\;\; r\leq \frac{1}{3} \end{equation*} and the constant $ 1/3 $ cannot be improved. The constant $ 1/3 $ is known as Bohr radius. In this paper, we study Bohr phenomenon for analytic as well as harmonic mappings on simply connected do…
The Bohr radius for the class of harmonic functions of the form $ f(z)=h+\overline{g} $ in the unit disk $ \mathbb{D}:=\{z\in\mathbb{C} : |z|<1\} $, where $ h(z)=\sum_{n=0}^{\infty}a_nz^n $ and $ g(z)=\sum_{n=1}^{\infty}b_nz^n $ is to find the largest radius $ r_f $, $ 0<r_f<1 $ such that \begin{equation*} \sum_{n=1}^{\infty}\left(|a_n|+|b_n|\right)|z|^n\leq d(f(0),\partial f(\mathbb{D})) \end{equation*} holds for $ |z|=r\leq r_f $, where $ d(f(0),\partial f(\mathbb{D})) $ is the Euclidean distance between $ f(0) $ and the boundary of $ f(\mathbb{D}) $. In this paper, we prove two-type of impr…
Bohr phenomenon for analytic functions $ f $ where $ f(z)=\sum_{n=0}^{\infty}a_nz^n $, first introduced by Harald Bohr in $ 1914 $, deals with finding the largest radius $ r_f $, $ 0<r_f<1 $, such that the inequality $ \sum_{n=0}^{\infty}|a_nz^n|<1 $ holds whenever $ |f(z)|<1 $ holds in the unit disk $ \mathbb{D}=\{z\in\mathbb{C} : |z|<1\} $. The Bohr phenomenon for the harmonic functions of the form $ f(z)=h+\overline{g} $, where $ h(z)=\sum_{n=0}^{\infty}a_nz^n $ and $ g(z)=\sum_{n=1}^{\infty}b_nz^n $ is to find the largest radius $ r_f $, $ 0<r_f<1 $ such that \begin{equation*} \sum_{n=1}^{…
Let $ \mathcal{H}(\mathbb{D}) $ be the linear space of analytic functions on the unit disk $ \mathbb{D}=\{z\in\mathbb{C}: |z|<1\} $ and let $ \mathcal{B}=\{w\in \mathcal{H}(\mathbb{D}: |w(z)|<1)\} $. The classical Bohr's inequality states that if a power series $ f(z)=\sum_{n=0}^{\infty}a_nz^n $ converges in $ \mathbb{D} $ and $ |f(z)|<1 $ for $ z\in\mathbb{D} $, then \begin{equation*} \sum_{n=0}^{\infty}|a_n|r^n\leq 1\;\;\mbox{for}\;\; r\leq \frac{1}{3} \end{equation*} and the constant $ 1/3 $ is the best possible. The constant $ 1/3 $ is known as Bohr radius. A function $ f : \mathbb{D}\righ…
Generalizing a classical one-variable theorem of Harald Bohr, we show that if an n-variable power series has modulus less than 1 in the unit polydisc, then the sum of the moduli of the terms is less than 1 in the polydisc of radius 1/(3*n^{1/2}).
The concept of Bohr radius for the class of bounded analytic functions was introduced by Harald Bohr in 1914. His initial result received greater interest and was sharpened-refined-generalized by several mathematicians in various settings--which is now called Bohr phenomenon. Various generalization of Bohr's classical theorem is now an active area of research and has been a source of investigation in numerous other function spaces and including holomorphic functions of several complex variables. Recently, a new generalization of Bohr's ideas was introduced and investigated by Kayumov et al.. I…
The classical Bohr inequality states that if $ f $ is an analytic function with the power series representation $ f(z)=\sum_{n=0}^{\infty}a_nz^n $ in the unit disk $ \mathbb{D}:=\{z\in\mathbb{C} : |z|<1\} $ such that $ |f(z)|\leq 1 $ for all $ z\in\mathbb{D} $, then \begin{equation*} \sum_{n=0}^{\infty}|a_n|r^n\leq 1\;\; \text{for}\;\; |z|=r\leq\frac{1}{3} \end{equation*} and the constant $ 1/3 $ cannot be improved. The constant $ r_0=1/3 $ is known as Bohr radius and the inequality $ \sum_{n=0}^{\infty}|a_n|r^n\leq 1 $ is known as Bohr inequality. Let $ \mathcal{H} $ be the class of complex-v…
