Abstract
Let \({\mathcal {A}}\) be the class of functions
which are analytic in the unit disk \({\mathbb {D}}=\{z:|z|<1\}\). We denote by C(r, g) the closed curve which is the image of \(|z|=r<1\) under the mapping \(w=g(z)\), furthermore we denote by L(r, g) the length of C(r, g). In this paper we are interested in finding the maximum of the length L(r, f) as f(z) runs through all members of a fixed class of functions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Denote by \({\mathcal {A}}\) a class of functions
which are analytic in the unit disk \({\mathbb {D}}=\{z\in {\mathbb {C}}: |z|<1\}\). Let \({\mathcal {S}}\) be a subclass of \({\mathcal {A}}\) consisting of all univalent functions in \({\mathbb {D}}\). Furthermore, let C(r, g) be the closed curve which is the image of \(|z|=r<1\) under the mapping \(w=g(z)\). Denote by L(r, g) the length of C(r, g) and let A(r, g) be the area enclosed by C(r, g).
If \(g(z)\in {\mathcal {A}}\) satisfies
then g(z) is said to be starlike with respect to the origin in \({\mathbb {D}}\) and we write \(g(z)\in {\mathcal {S}}^*\). It is known that \({\mathcal {S}}^*\subset {\mathcal {S}}\). We say that \(f(z)\in {{\mathcal {A}}}\) is convex of order \(\alpha \), where \(0\le \alpha <1\), provided
The class of convex functions of order \(\alpha \) has been introduced by Robertson in [14]. In what follows this class is denoted \({\mathcal {K}}(\alpha )\). It is well known that \(\mathcal K(\alpha )\subset {\mathcal {S}}\) for all \(\alpha \), \(0\le \alpha <1\). A function \(f(z)\in {\mathcal {A}}\) is said to be close-to-convex if it satisfies the following condition
for some \(g(z)\in {\mathcal {S}}^*\) and \(\alpha \in (-\pi /2,\pi /2)\). The class of close-to-convex functions is denoted by \({\mathcal {C}}\). Let us recall that \({\mathcal {C}}\subset {\mathcal {S}}\). An univalent function \(f(z)\in {\mathcal {S}}\) belongs to \({\mathcal {C}}\) if and only if a complement E of the image-region \(F=\left\{ f(z): |z|<1\right\} \) is a union of rays that are disjoint (except that the origin of one ray may belong to another ray).
It is known that, for any \(r\in (0,1)\), the inequality
holds for every \(f(z)\in {\mathcal {S}}^*\) (see [6, p.65]) and every \(f(z)\in {\mathcal {C}}\) (see [1]). Moreover, Marx proved in [6, p.65] that
for all \(r\in (0,1)\) and every \(f(z)\in {\mathcal {K}}(0)\). In [2], Eenigenburg extended this result to the class \({\mathcal {K}}(\alpha )\), where \(\alpha \in [0,1)\). Namely, for all \(r\in (0,1)\) and every \(f(z)\in {\mathcal {K}}(\alpha )\), we have
In the other sets, the extremal functions are more complicated or the length problem is unsolved as is in the class \({\mathcal {S}}\).
Let
In [5] F. R. Keogh has proved the following result.
Theorem 1.1
[5] Assume that \(g(z)\in {\mathcal {S}}^*\). Then we have
where \({\mathcal {O}}\) denotes the Landau’s symbol.
Let us note that in [15] D. K. Thomas extended this result to the class of bounded close-to-convex functions. In [16] D. K. Thomas has shown also that
Theorem 1.2
[16, Th.1] If \(g(z)\in {\mathcal {S}}^*\), then
In particular \(L(r,g)\sim 2\sqrt{\pi A(r,g)}\) as \(r\rightarrow 0\). In [16] D. K. Thomas has shown that
Theorem 1.3
[16] If \(g(z)\in {\mathcal {C}}\), then (1.2) holds, and if
for some \(\alpha \in (0,2]\), then
where \(k(\alpha )\) depends only on \(\alpha \).
In [13] Ch. Pommerenke extended the first part of Theorem 1.3 as follows
Theorem 1.4
[13] If \(g(z)\in {\mathcal {C}}\), then
In [4] W. F. Hayman has shown that, if \(g(z)\in \mathcal S^*\) and \(A(r,g)<A\) for some constant A, then
Hayman gave an example a bounded starlike function g(z) satisfying
This example clearly shows that the \({\mathcal {O}}\) in (1.3) cannot in general be replaced by small \( o\).
The similar problems have been considered in [7, 8]. The following result has been proved in [8].
Theorem 1.5
[8] If \(zg'(z)\in {\mathcal {S}}^*\), then
Note that the above hypothesis \(zg'(z)\in {\mathcal {S}}^*\) is equivalent to that g is convex univalent in \({\mathbb {D}}\). Some related length problems were considered in [9,10,11]. In [15], D. K. Thomas considered L(r, g) for the class of bounded close-to-convex functions and asked the following question. Does there exist a starlike function g(z) for which
or
In [12] a negative answer to the open problem (1.4) was given under some additional condition. Some related problems were considered in [9, 10].
Theorem 1.6
[9, Th.1.8] If \(g(z)\in {\mathcal {S}}\), then
Therefore, we have
In [17] M. Tsuji has shown that
Theorem 1.7
[17, p. 227] If \(f(z)=u(z)+iv(z)\) is analytic in \(|z|\le R\), then
for all z, \(|z|<R\).
Moreover, if \(|z|<R\), \(v(0)=0\), then
It is known that
for all \(r<R\), where \(z=re^{i\theta }\), and
Moreover, from [17, p.226], we have
and
for all real \(\alpha \). It is a purpose of this paper to prove, using a modified method, that a result related to (1.2), holds also under some another assumptions on g(z).
2 Main results
Theorem 2.1
If f(z) and \(zf'(z)/f(z)\) are analytic in \(|z|\le R\), with \({\mathfrak {I}}{\mathfrak {m}}\{zf'(z)/f(z)\}|_{z=0}=0\), then
for all r, \(0<r<R\), where
Proof
Let \(z=r e^{i\theta }\) and let
Applying (1.6) for \(zf'(z)/f(z)\) and the hypothesis of Theorem 2.1, we have
because of the equality (1.7). For the second integral (2.3), we have
Therefore, from (2.3), we have
where V(R) has the form (2.2). \(\square \)
Remark
Putting \(R=\sqrt{r}<1\), we have
Moreover, the function
is increasing, so
Therefore, if f(z) is analytic in \(|z|\le 1\), then (2.1) becomes
for all r, \(0<r<1\).
Theorem 2.2
If f(z) is analytic in \(|z|\le R\), \(zf'(z)=u(z)+iv(z)\) and \(|u(z)|\le 1\) in \(|z|\le R\), \(v(0)=0\), then
for all r, \(0<r<R\).
Proof
Write \(z=r e^{i\theta }\). Then, we have
Applying (1.6) for \(zf'(z)=u(z)+iv(z)\), we get
Thus, in view of (1.7)–(1.9), we obtain
For \(R=1\) Theorem 2.2 becomes the following corollary.\(\square \)
Corollary 2.3
If f(z) is analytic in \(|z|\le 1\), \(zf'(z)=u(z)+iv(z)\) and \(|u(z)|\le 1\) in \(|z|\le 1\), \(v(0)=0\), then
for all r, \(0<r<1\).
Theorem 2.4
Let g(z) be of the form (1.1) and suppose that
and
for some \(\beta \), \(1<\beta \). Then we have
Proof
From (2.4) and (2.5), it follows that
From (1.7), we have
therefore, we obtain
This completes the proof of Theorem 2.4. \(\square \)
Lemma 2.5
where \(0<r<1\), \(0\le \nu \le 2\pi \), \(0\le \beta \) and where \(\mathcal O\) is the Landau’s symbol.
Corollary 2.6
Let g(z) be of the form (1.1) and suppose that
and
for some real \(\alpha , \beta \), \(\alpha +\beta >0\). Then we have
as \(r\rightarrow 1\), \(0<r<1\).
Proof
Then, we have
It suffices to apply Hayman’s lemma 2.5. \(\square \)
The next result is an extension of Theorem 1.5.
Theorem 2.7
If g(z) is of the form (1.1), then we have
as \(r\rightarrow 1\), \(0<r<1\).
Proof
Note that
Hence, in view of (1.6), we get
where \(0\le \rho \le r<t<1\). Then, applying Schwarz’s lemma, we obtain
Putting \(0<r_1<r\), and \(t=\sqrt{(1+\rho ^2)/2}\), we get
Thus, we have
where C is a bounded positive constant. On the other hand, letting \(t\rightarrow 1^{-}\), we have
Using (1.7), we get
This completes the proof of (2.8). \(\square \)
Remark
In the above theorem we do not suppose that g(s) is univalent in \(|z|<1\) and therefore, L(r) and A(r) are not necessarily the length of the image curve C(r) and the area enclosed by the image curve C(r) which is the image curve of the circle under the mapping \(w=g(z)\).
Data availability
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
Clunie, J., Duren, P.L.: Addendum: arclength problem for close-to convex functions. J. London Math. Soc. 41, 181–182 (1966)
Eenigenburg, P.: On the radius of curvature for convex analytic functions. Can. J. Math. 22(3), 486–491 (1970)
Hayman, W.F.: The asymptotic behaviour of \(p\)-valent functions. Proc. London Math. Soc. 3(5), 257–284 (1955)
Hayman, W.F.: On functions with positive real part. Proc. London Math. Soc. 36, 35–48 (1961)
Keogh, F.R.: Some theorems on conformal mapping of bounded star-shaped domain. Proc. London Math. Soc. 3(9), 481–491 (1959)
Marx, A.: Untersuchungen über schlichte Abbildungen. Math. Ann. 107, 40–67 (1993)
Nunokawa, M.: On Bazilevic̆ and convex functions. Trans. Am. Math. Soc. 143, 337–341 (1969)
Nunokawa, M.: A note on convex and Bazilevic̆ functions. Proc. Am. Math. Soc. 24(2), 332–335 (1970)
Nunokawa, M., Sokół, J.: On some lenght problems for analytic functions. Osaka J. Math. 51, 695–707 (2014)
Nunokawa, M., Sokół, J.: On some lenght problems for univalent functions. Math. Meth. Appl. Sci. 39(7), 1662–1666 (2016)
Nunokawa, M., Sokół, J.: On some lenght problems for close-to-convex functions. Studia Scient. Math. Hung. 55(3), 293–304 (2018)
Nunokawa, M., Sokół, J., Tang, H.: Length problems for Bazilevic functions. Demonstr. Math. 52(1), 56–60 (2019)
Pommerenke, Ch.: Über nahezu konvexe analytische Functionen. Arch. Math. (Basel) 16, 344–347 (1965)
Robertson, M.S.: On the theory of schlicht functions. Ann. Math. 37, 169–185 (1936)
Thomas, D.K.: On starlike and close-to-convex univalent functions. J. London Math. Soc. 42, 427–435 (1967)
Thomas, D.K.: A note on starlike functions. J. London Math. Soc. 43, 703–706 (1968)
Tsuji, M.: Complex Functions Theory. Maki Book Comp, Tokyo (1968). (Japanese)
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare they have equal contribution in the paper.
Corresponding author
Ethics declarations
Ethical Approval
Not applicable.
Conflict of interest
The authors declare they have no financial interests. The authors have no conflicts of interest to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chudziak, M., Nunokawa, M., Sokół, J. et al. On arclength problem for analytic functions. Anal.Math.Phys. 13, 45 (2023). https://doi.org/10.1007/s13324-023-00806-w
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-023-00806-w