Nothing Special   »   [go: up one dir, main page]

Next Article in Journal
The Grimus–Neufeld Model with FlexibleSUSY at One-Loop
Previous Article in Journal
Study of Indoor Ventilation Based on Large-Scale DNS by a Domain Decomposition Method
You seem to have javascript disabled. Please note that many of the page functionalities won't work as expected without javascript enabled.
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Some Sufficient Conditions for a Function to Be p-Valent Starlike

1
Department of Mathematics, University of Gunma, Hoshikuki-cho 798-8, Chuou-Ward, Chiba 260-0808, Japan
2
College of Natural Sciences, University of Rzeszów, ul. Prof. Pigonia 1, 35-310 Rzeszów, Poland
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(11), 1417; https://doi.org/10.3390/sym11111417
Submission received: 21 October 2019 / Revised: 7 November 2019 / Accepted: 10 November 2019 / Published: 15 November 2019

Abstract

:
A function f analytic in a domain D C is called p-valent in D, if for every complex number w, the equation f ( z ) = w has at most p roots in D, so that there exists a complex number w 0 such that the equation f ( z ) = w 0 has exactly p roots in D. The aim of this paper is to establish some sufficient conditions for a function analytic in the unit disc D to be p-valent starlike in D or to be at most p-valent in D . Our results are proved mainly by applying Nunokawa’s lemmas.
MSC:
primary 30C45; secondary 30C80

1. Introduction

A function f analytic in a domain D C is called p-valent in D, if for every complex number w, the equation f ( z ) = w has at most p roots in D, so that there exists a complex number w 0 such that the equation f ( z ) = w 0 has exactly p roots in D. We denote by H the class of functions f which are holomorphic in the open unit unit D = { z C : | z | < 1 } . Denote by A p , p N = { 1 , 2 , } , the class of functions f H given by
f ( z ) = z p + n = p + 1 a n z n , z D .
Let A = A 1 . The well known Noshiro-Warschawski univalence condition, (see [1,2]) indicates that if f is analytic in a convex domain D C and
Re { e i θ f ( z ) } > 0 , z D ,
for some real θ , then f is univalent in D. In [3] Ozaki extended the above result by showing that if f of the form (1) is analytic in a convex domain D and for some real θ we have
Re { e i θ f ( p ) ( z ) } > 0 , z D ,
then f is at most p-valent in D. In [4] it was proved that if f A p , p 2 , and
arg { f ( p ) ( z ) } < 3 π 4 , z D ,
then f is at most p-valent in D .
If f H satisfies f ( 0 ) = 0 , f ( 0 ) = 1 and
Re z f ( z ) f ( z ) > 0 , z D ,
then f is said to be starlike with respect to the origin in D and it is denoted by f S . It is known that S S , where S denotes the class of all functions in A which are univalent in D . Moreover, let S p and C p be the subclasses of A p defined as follows
S p = f A p : Re z f ( z ) f ( z ) > 0 , z D , C p = f A p : z f ( z ) / p S p .
S p is called the class of p-valent starlike functions and C p is called the class of p-valent convex functions. Note that S 1 = S and C 1 = C , where S and C are usual classes of starlike and convex functions, respectively. A function f A p is said to be an element of the class K p of p-valent close-to-convex functions if there exists a function g C p for which
Re f ( z ) g ( z ) > 0 , z D .
In [5] (Th.1) Umezawa proved the following theorem.
Theorem 1.
If f K p , then f is at most p-valent in D .
Because C p S p K p , we have from Theorem 1 that p-valent starlike functions and p-valent convex functions are at most p-valent in D too.

2. Preliminaries

In this paper we need the following lemmas.
Lemma 1
([6] (Th.5)). If f A p , then for all z D , we have
Re z f ( p ) ( z ) f ( p 1 ) ( z ) > 0 k { 1 , , p } : Re z f ( k ) ( z ) f ( k 1 ) ( z ) > 0 .
Lemma 2
([7]). Let p be an analytic function in | z | < 1 , with p ( 0 ) = 1 . If there exists a point z 0 , | z 0 | < 1 , such that
Re { p ( z ) } > 0 f o r | z | < | z 0 |
and
p ( z 0 ) = ± i a
for some a > 0 , then we have
z 0 p ( z 0 ) p ( z 0 ) = 2 i k arg p ( z 0 ) π ,
for some k ( a + a 1 ) / 2 1 .
Corollary 1.
Under the assumptions of Lemma 2, we have from (4)
z 0 p ( z 0 ) = k a 1 2 ( a + a 1 ) a = 1 2 1 + | p ( z 0 ) | 2 .
Lemma 3
([8] (p. 200)). Assume that q ( z ) is univalent in D , q ( D ) is a convex set and F, G are analytic in D . If
F ( z ) G ( z ) q ( z ) , z D ,
where G satisfies G ( 0 ) = F ( 0 ) and
Re z G ( z ) G ( z ) > 0 , z D ,
then we have
F ( z ) G ( z ) q ( z ) , z D .
Here ≺ means the subordination.
Corollary 2.
Let α < 1 be real number. If f ( p 1 ) ( z ) , g ( p 1 ) ( z ) are analytic in D , f ( p 1 ) ( 0 ) = g ( p 1 ) ( 0 ) and
Re f ( p ) ( z ) g ( p ) ( z ) > α , z D ,
where g satisfies
Re z g ( p ) ( z ) g ( p 1 ) ( z ) > 0 , z D ,
then we have
Re f ( p 1 ) ( z ) g ( p 1 ) ( z ) > α , z D .

3. Main Results

Theorem 2.
Let f , g A p . Assume that
Re g ( z ) z g ( z ) > β , z D
for some β, 0 < β < 1 . If
arg f ( z ) g ( z ) π tan 1 2 ( 1 β ) | z | + 1 | z | 2 β ( 1 | z | 2 ) , z D ,
then we have
Re f ( z ) g ( z ) > 0 , z D .
Proof. 
If we put
q ( z ) = f ( z ) g ( z ) , q ( 0 ) = 1 ,
then it follows that
f ( z ) = q ( z ) g ( z ) , f ( z ) = g ( z ) q ( z ) + q ( z ) g ( z ) ,
and
f ( z ) g ( z ) = q ( z ) + q ( z ) g ( z ) g ( z ) = q ( z ) + z q ( z ) g ( z ) z g ( z ) .
If there exists a point z 0 D , such that
Re q ( z ) > 0 , ( | z | < | z 0 | < 1 )
and
Re q ( z 0 ) = 0 ,
then by (5), we have
z 0 q ( z 0 ) = Re { z 0 q ( z 0 ) } 1 2 ( 1 + | q ( z 0 ) | 2 ) < 0 .
This shows that z 0 q ( z 0 ) is a negative real number. Furthermore, by (4), we have
q ( z 0 ) z 0 q ( z 0 ) 1 .
Then it follows that
f ( z 0 ) g ( z 0 ) = q ( z 0 ) + z 0 q ( z 0 ) g ( z 0 ) z 0 g ( z 0 ) = ± i a + z 0 q ( z 0 ) g ( z 0 ) z 0 g ( z 0 ) ,
where q ( z 0 ) = ± a i , a > 0 and (7), (10) give
Re f ( z 0 ) g ( z 0 ) = Re z 0 q ( z 0 ) g ( z 0 ) z 0 g ( z 0 ) = z 0 q ( z 0 ) Re g ( z 0 ) z 0 g ( z 0 ) < β 2 ( 1 + a 2 ) < 0 .
Next, we have
Im f ( z 0 ) g ( z 0 ) = Im ± i a + z 0 q ( z 0 ) g ( z 0 ) z 0 g ( z 0 ) = ± a + z 0 q ( z 0 ) Im g ( z 0 ) z 0 g ( z 0 ) .
We will consider the four cases:
(i) 
arg { q ( z 0 ) } = π / 2 (i.e., q ( z 0 ) = i a , a > 0 ) and Im f ( z 0 ) g ( z 0 ) 0 ,
(ii) 
arg { q ( z 0 ) } = π / 2 (i.e., q ( z 0 ) = i a , a > 0 ) and Im f ( z 0 ) g ( z 0 ) < 0 ,
(iii) 
arg { q ( z 0 ) } = π / 2 (i.e., q ( z 0 ) = i a , a > 0 ) and Im f ( z 0 ) g ( z 0 ) 0 ,
(iv) 
arg { q ( z 0 ) } = π / 2 (i.e., q ( z 0 ) = i a , a > 0 ) and Im f ( z 0 ) g ( z 0 ) < 0 .
Let us put
G ( z ) = p g ( z ) z g ( z ) , G ( 0 ) = 1 .
Then from the hypothesis, we have
G ( z ) β 1 β 1 + z 1 z , z D ,
and so we have
G ( z ) β + ( 1 β ) 1 + z 1 z , z D ,
and so
Im { G ( z ) } = Im p g ( z ) z g ( z ) ( 1 β ) 2 | z | 1 | z | 2 , z D .
In the case (i) we have arg { q ( z 0 ) } = π / 2 , q ( z 0 ) = i a , a > 0 and
Im f ( z 0 ) g ( z 0 ) = | q ( z 0 ) | + z 0 q ( z 0 ) Im g ( z 0 ) z 0 g ( z 0 ) 0 .
Therefore, we have
arg f ( z 0 ) g ( z 0 ) = arg z 0 q ( z 0 ) Re g ( z 0 ) z 0 g ( z 0 ) + i | q ( z 0 ) | + z 0 q ( z 0 ) Im g ( z 0 ) z 0 g ( z 0 ) = π tan 1 | q ( z 0 ) | + z 0 q ( z 0 ) Im g ( z 0 ) z 0 g ( z 0 ) z 0 q ( z 0 ) Re g ( z 0 ) z 0 g ( z 0 ) > π tan 1 | q ( z 0 ) | + z 0 q ( z 0 ) Im g ( z 0 ) z 0 g ( z 0 ) β z 0 q ( z 0 ) = π tan 1 | q ( z 0 ) | β z 0 q ( z 0 ) Im g ( z 0 ) z 0 g ( z 0 ) β π tan 1 q ( z 0 ) β z 0 q ( z 0 ) + Im g ( z 0 ) z 0 g ( z 0 ) β .
Then, by (11) and (12), we have
arg f ( z 0 ) g ( z 0 ) > π tan 1 1 β + 2 ( 1 β ) | z 0 | ( 1 | z 0 | 2 ) β = π tan 1 1 β ( 1 | z 0 | 2 ) 2 ( 1 β ) | z 0 | + 1 | z 0 | 2 .
This contradicts hypothesis (8). In the case (ii) when arg { q ( z 0 ) } = π / 2 , q ( z 0 ) = i a , a > 0 , and
arg f ( z 0 ) g ( z 0 ) = q ( z 0 ) + z 0 q ( z 0 ) Im g ( z 0 ) z 0 g ( z 0 ) < 0
applying the same method as the above, we have
arg f ( z 0 ) g ( z 0 ) < π + tan 1 1 β ( 1 | z 0 | 2 ) 2 ( 1 β ) | z 0 | + 1 | z 0 | 2 .
This is also a contradiction. In the case (iii) when arg { q ( z 0 ) } = π / 2 , q ( z 0 ) = i a , a > 0 , and
q ( z 0 ) + z 0 q ( z 0 ) Im g ( z 0 ) z 0 g ( z 0 ) > 0
and in the case (iv) when arg { q ( z 0 ) } = π / 2 , q ( z 0 ) = i a , a > 0 , and
q ( z 0 ) + z 0 q ( z 0 ) Im g ( z 0 ) z 0 g ( z 0 ) < 0 ,
applying the same method as in the proof of case (i) gives
arg f ( z 0 ) g ( z 0 ) > π tan 1 1 β ( 1 | z 0 | 2 ) 2 ( 1 β ) | z 0 | + 1 | z 0 | 2 .
This is a contradiction. This completes the proof. □
Inequalities (9) and (2) show that the assumptions of Theorem 2 are sufficient for
0 z f ( ζ ) g ( ζ ) d ζ
to be univalent in D .
Theorem 3.
Let F , G A p . Assume that there exist a positive integer k, 2 k p and a real β, 0 < β < 1 , for which
arg F ( k ) ( z ) G ( k ) ( z ) < π tan 1 2 ( 1 β ) | z | + 1 | z | 2 β ( 1 | z | 2 ) , z D ,
where G satisfies
Re G ( k 1 ) ( z ) z G ( k ) ( z ) > β , z D .
Then
n { 1 , , k 1 } : Re F ( n ) ( z ) G ( n ) ( z ) > 0 , z D .
and F K p , F is at most p-valent in D .
Proof. 
If we put f = F ( k 1 ) and g = G ( k 1 ) in Theorem 2 we immediately obtain
Re F ( k 1 ) ( z ) G ( k 1 ) ( z ) > 0 , z D .
Then, by Lemma 1, we obtain (14). For n = 1 the condition (14) is of the form
Re F ( z ) G ( z ) > 0 , z D ,
where G satisfies (13). Therefore, by Lemma 1 we have also
Re z G ( z ) G ( z ) > 0 , z D ,
which by (3) implies F K p . By Theorem 1, F is at most p-valent in D . □
Theorem 4.
Assume that f A p , 2 p , and that there exists a positive integer k, 2 k p for which
Re z f ( k ) ( z ) f ( k 1 ) ( z ) > 1 , z D ,
then we have
Re z f ( z ) f ( z ) > 0 , z D ,
or f is p-valent starlike in D .
Proof. 
Let us put
q 1 ( z ) = 1 p k + 2 z f ( k 1 ) ( z ) f ( k 2 ) ( z ) , q 1 ( 0 ) = 1 .
By (16) we have
z q 1 ( z ) q 1 ( z ) = 1 + z f ( k ) ( z ) f ( k 1 ) ( z ) z f ( k 1 ) ( z ) f ( k 2 ) ( z )
and so
1 + z f ( k ) ( z ) f ( k 1 ) ( z ) = z q 1 ( z ) q 1 ( z ) + ( p k + 2 ) q 1 ( z ) .
By the hypothesis, we have
1 + Re z f ( k ) ( z ) f ( k 1 ) ( z ) = Re z q 1 ( z ) q 1 ( z ) + ( p k + 2 ) q 1 ( z ) > 0 , z D .
If there exists a point z 1 D , such that
Re q 1 ( z ) > 0 , ( | z | < | z 1 | < 1 )
and
Re q 1 ( z 1 ) = 0 ,
then by Lemma 2, we have
Re z 1 q 1 ( z 1 ) q 1 ( z 1 ) = 0 , z 1 q 1 ( z 1 ) q 1 ( z 1 ) = i k 1
for some real k 1 , | k 1 | 1 . This gives
1 + Re z f ( k ) ( z 1 ) f ( k 1 ) ( z 1 ) = Re z 1 q 1 ( z 1 ) q 1 ( z 1 ) + ( p k + 2 ) q 1 ( z 1 ) = 0 .
It is contrary to inequality (17) and therefore, we have
Re z f ( k 1 ) ( z ) f ( k 2 ) ( z ) > Re 1 p k + 2 z f ( k 1 ) ( z ) f ( k 2 ) ( z ) = Re q 1 ( z ) > 0 , z D .
Next, let us put
q 2 ( z ) = 1 p k + 3 z f ( k 2 ) ( z ) f ( k 3 ) ( z ) , q 2 ( 0 ) = 1 ,
then it follows that
z q 2 ( z ) q 2 ( z ) = 1 + z f ( k 1 ) ( z ) f ( k 2 ) ( z ) z f ( k 2 ) ( z ) f ( k 3 ) ( z )
and so
1 + z f ( k 1 ) ( z ) f ( k 2 ) ( z ) = z q 2 ( z ) q 2 ( z ) + ( p k + 3 ) q 2 ( z ) .
By (18) and (19), we have
1 + Re z f ( k 1 ) ( z ) f ( k 2 ) ( z ) = Re z q 2 ( z ) q 2 ( z ) + ( p k + 3 ) q 2 ( z ) > 0 , z D .
If there exists a point z 2 D , such that
Re q 2 ( z ) > 0 , ( | z | < | z 2 | < 1 )
and
Re q 2 ( z 2 ) = 0 ,
then by Lemma 2, we have
Re z 2 q 2 ( z 2 ) q 2 ( z 2 ) = 0 , z 2 q 2 ( z 2 ) q 2 ( z 2 ) = i k 2
for some real k 2 , | k 2 | 1 . Then, we have
1 + Re z 2 f ( k 1 ) ( z 2 ) f ( k 2 ) ( z 2 ) = Re z 2 q 2 ( z 2 ) q 2 ( z 2 ) + ( p k + 3 ) q 2 ( z 2 ) = 0 .
It is contrary to (20) and therefore, we have
Re z f ( k 2 ) ( z ) f ( k 3 ) ( z ) = Re ( p k + 3 ) q 2 ( z ) > 0 , z D .
Applying the same method many times in succession we are able to obtain
Re z f ( k 3 ) ( z ) f ( k 4 ) ( z ) > 0 , Re z f ( k 4 ) ( z ) f ( k 5 ) ( z ) > 0 , Re z f ( z ) f ( z ) > 0 , z D
This shows that f is p-valent starlike in D . □
For some related conditions for starlikeness we refer to our papers [9,10].

Author Contributions

All authors have equal contributions.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Noshiro, K. On the theory of schlicht functions. J. Fac. Sci. Hokkaido Univ. Jap. 1934, 2, 129–135. [Google Scholar] [CrossRef]
  2. Warschawski, S. On the higher derivatives at the boundary in conformal mapping. Trans. Am. Math. Soc. 1935, 38, 310–340. [Google Scholar] [CrossRef]
  3. Ozaki, S. On the theory of multivalent functions. Sci. Rep. Tokyo Bunrika Daigaku Sect. A 1935, 2, 167–188. [Google Scholar]
  4. Nunokawa, M. A note on multivalent functions. Tsukuba J. Math. 1989, 13, 453–455. [Google Scholar] [CrossRef]
  5. Umezawa, T. Multivalently close-to-convex functions. Proc. Am. Math. Soc. 1957, 8, 869–874. [Google Scholar] [CrossRef]
  6. Nunokawa, M. On the theory of multivalent functions. Tsukuba J. Math. 1987, 11, 273–286. [Google Scholar] [CrossRef]
  7. Nunokawa, M. On Properties of Non-Carathéodory Functions. Proc. Jpn. Acad. Ser. A 1992, 68, 152–153. [Google Scholar] [CrossRef]
  8. Miller, S.S.; Mocanu, P.T. Differential Subordinations, Theory and Applications, Series of Monographs and Textbooks in Pure and Applied Mathematics; Marcel Dekker Inc.: New York, NY, USA; Basel, Switzerland, 2000; Volume 225. [Google Scholar]
  9. Sokół, J. On a condition for alpha-starlikeness. J. Math. Anal. Appl. 2009, 352, 696–701. [Google Scholar] [CrossRef] [Green Version]
  10. Nunokawa, M.; Sokół, J. On some sufficient condition for starlikeness. J. Ineq. Appl. 2012, 2012, 282. [Google Scholar]

Share and Cite

MDPI and ACS Style

Nunokawa, M.; Sokół, J.; Trybucka, E. On Some Sufficient Conditions for a Function to Be p-Valent Starlike. Symmetry 2019, 11, 1417. https://doi.org/10.3390/sym11111417

AMA Style

Nunokawa M, Sokół J, Trybucka E. On Some Sufficient Conditions for a Function to Be p-Valent Starlike. Symmetry. 2019; 11(11):1417. https://doi.org/10.3390/sym11111417

Chicago/Turabian Style

Nunokawa, Mamoru, Janusz Sokół, and Edyta Trybucka. 2019. "On Some Sufficient Conditions for a Function to Be p-Valent Starlike" Symmetry 11, no. 11: 1417. https://doi.org/10.3390/sym11111417

APA Style

Nunokawa, M., Sokół, J., & Trybucka, E. (2019). On Some Sufficient Conditions for a Function to Be p-Valent Starlike. Symmetry, 11(11), 1417. https://doi.org/10.3390/sym11111417

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop