Next Article in Journal
SU() Quantum Gravity and Cosmology
Previous Article in Journal
The Study on the Propagation of a Driving Laser Through Gas Target Using a Neural Network: Interaction of Intense Laser with Atoms
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Estimates of Some Coefficient Functionals for Close-to-Convex Functions

by
Lucyna Trojnar-Spelina
The Faculty of Mathematics and Applied Physics, Rzeszow University of Technology, al. Powstańców Warszawy 12, 35-959 Rzeszów, Poland
Symmetry 2024, 16(12), 1671; https://doi.org/10.3390/sym16121671
Submission received: 20 November 2024 / Revised: 12 December 2024 / Accepted: 14 December 2024 / Published: 17 December 2024
(This article belongs to the Section Mathematics)

Abstract

:
For a given starlike function F α = z 1 α z 2 ,   α [ 1 , 1 ] , the class C 0 ( F α ) is defined as follows: an analytic normalized function f belongs to C 0 ( F α ) if it satisfies Re z f ( z ) F α ( z ) > 0 in the open unit disk . The condition defining this class can be rewritten in the following equivalent form Re { ( 1 α z 2 ) f ( z ) } > 0 ,   z . The family C 0 ( F α ) is a subclass of the class of close-to-convex functions. The main aim of this paper is to maximize the modulus of a functional which is a linear combination with coefficients symmetric with respect to zero and is defined on the subfamily of C 0 ( F α ) of functions with a fixed second coefficient in its Taylor series expansion.

1. Introduction

Let A be the class of functions f analytic in the open unit disc = { z C : | z | < 1 } normalized by the condition f ( 0 ) = 0 = f ( 0 ) 1 . Each function f belonging to the class A has the Taylor series expansion
f ( z ) = z + n = 2 a n z n , z .
The class of analytic functions of the form
q ( z ) = 1 + n = 1 p n z n , z
having a positive real part in (called Carathéodory functions) will be denoted by P . Further, by S we denote the subclass of A consisting of univalent starlike functions i.e., functions f A such that Re z f ( z ) / f ( z ) > 0 in the unit disc .
A function f A that satisfies condition Re 1 + z f ( z ) / f ( z ) > 0 , z is said to be a convex function. By C we denote the so-called class of close-to-convex functions, that is, the subclass of A which consists of functions f that satisfy Re f ( z ) g ( z ) > 0 , z with some convex function g (see [1,2]). The topic of close-to-convex functions is still a topic of interest for researchers (see, for example, [3,4,5,6]).
For given β π / 2 , π / 2 and g S the classes C β ( g ) are defined as follows ([1]): a function f A belongs to C β ( g ) if
Re e i β z f ( z ) g ( z ) > 0 , z .
Such a function f will be called close-to-convex with argument β with respect to g. Let
C β = g S C β ( g ) .
It is obvious that
β π 2 , π 2 C β = C .
By varying the function g and the real parameter β in (3), we obtain some interesting subfamilies of the class C . For example,
(i) By selecting g ( z ) = z ( 1 ζ 1 z ) ( 1 ζ 2 z ) ,   ζ 1 , ζ 2 C ,   | ζ 1 | 1 ,   | ζ 2 | 1 , the class C β ( g ) leads to the family C ( β , ζ 1 , ζ 2 ) that was introduced by Lecko in 1994 [7] and has been extensively examined (see [8,9,10]). This family contains the functions f A for which
Re e i β ( 1 ζ 1 z ) ( 1 ζ 2 z ) f ( z ) 0 , z .
(ii) If we take g ( z ) = g α ( z ) = z ( 1 α z ) 2 with α [ 0 , 1 ] , then we obtain the family
C ( g α ) C 0 z ( 1 α z ) 2
for which the Fekete–Szegö functional was studied in [11]. Note that for α = 1 the class C 0 z / ( 1 α z ) 2 reduces to the family C 0 ( k ) of close-to-convex functions with the argument 0 with respect to the well-known Koebe function k ( z ) = z / ( 1 z ) 2 . In [12] bounds of the Fekete–Szegö type functionals of the form
Θ f ( μ ) = a 4 μ a 2 a 3
and
Φ f ( μ ) = a 2 a 4 μ a 3 2
were derived for the class C 0 ( k ) . The same family of functions with some additional conditions was considered in [13].
(iii) The family C 0 z / ( 1 z 2 ) was recently examined by Zaprawa et al. in ([14]). The authors pointed out that this class has an interesting symmetry property. Namely, if f C 0 z / ( 1 z 2 ) and f ˜ ( z ) = f ( z ¯ ) ¯ then f ˜ C 0 z / ( 1 z 2 ) and the sets f ( ) and f ˜ ( ) are symmetrical to each other with respect to the real axis.
For 1 α 1 we define the functions
F α ( z ) = z 1 α z 2 = z + n = 1 α n z 2 n + 1 , z
which are starlike for all α [ 1 , 1 ] . Consider the class C 0 ( F α ) . Then (3) takes the form
Re { ( 1 α z 2 ) f ( z ) } > 0 , z .
It should be noted that C 0 ( F α ) becomes the class C ( 0 , α , α ) considered in [7]. Furthermore, if 0 α 1 then C 0 ( F α ) C 0 ( α ) , where the symbol C β ( α ) ( α [ 0 , 1 ] , β π 2 , π 2 ) stands for the class of analytic functions that satisfy the condition
Re e i β ( 1 α 2 z 2 ) f ( z ) > 0 , z .
The family C β ( α ) was defined in 1989 [15] (see also [16]).
Note that when the α parameter is set, we obtain the already known classes. For example, if α = 0 then the condition (6) takes the form
Re { f ( z ) } > 0 , z
and, therefore, it defines the class R of bounded turning (cf. [17] Vol. 1, p. 101), while for α = 1 the class C 0 ( F α ) reduces to this, examined in [14].
Assume now that α 0 and α 1 . We will show some examples of the members of the family C 0 ( F α ) . From the definition (6) of this class, it follows that if q P , then there exists f C 0 ( F α ) that satisfies
( 1 α z 2 ) f ( z ) = q ( z ) , z .
By substituting selected functions from the class P in place of q we can derive from (7) the functions f that are members of C 0 ( F α ) . It is obvious that complex homographies of the form q ( z ) = 1 + a z 1 a z with a C ,   | a | = 1 , are Carathéodory functions. Hence, each of them can be used to generate the function f C 0 ( F α ) . For example, if
q ( z ) = 1 + z 1 z = 1 + 2 z + 2 z 2 + 2 z 3 + ,
then f related to this function q by the condition (7) is of the form
f ( z ) = 1 α 1 log ( 1 z ) 2 1 α z 2 α + 1 2 α log 1 α z 1 + α z = z + z 2 + α + 2 3 +
under assumptions that α 0 and α 1 . Putting
q ( z ) = 1 z 1 + z = 1 2 z + 2 z 2 2 z 3 + ,
in (7) we obtain another example of a function f from the class C 0 ( F α ) with α 0 and α 1 :
f ( z ) = 1 α 1 log ( 1 + z ) 2 ) ( 1 α z 2 ) + α + 1 2 α log 1 + α z 1 α z = z z 2 + α + 2 3 + .
In this paper, we find estimates of some coefficient functionals in the special subclass of the class C 0 ( F α ) . Note that recently, there have been many articles on univalent functions with a fixed second coefficient in the Taylor series expansion. For example, Li and Sugawa in 2017 [18] considered the class of convex functions with the second coefficient fixed, and Zaprawa et al. (see [12,14]) researched the classes C 0 z / ( 1 z 2 ) and C 0 z / ( 1 z ) 2 with the same additional assumption (see also [19]). Motivated by this idea, we will focus on the problem of maximizing selected coefficient functionals for f C 0 ( F α ) with the second coefficient fixed.
Let f A be of the form (1). From the definition of the class C 0 ( F α ) it follows that
f C 0 ( F α ) ( 1 α z 2 ) f ( z ) P .
In other words
( 1 α z 2 ) f ( z ) = q ( z ) ,
where q P . If the function q has the series expansion (2), then comparing the coefficients with the same powers of the variable z leads to the following equality
n a n α ( n 2 ) a n 2 = p n 1 ,     n = 1 , 2 , 3 , ,
where | p n | 2 . In particular, we obtain that
2 a 2 = p 1
so | f ( 0 ) | 2 . For a given number p [ 2 , 2 ] we define the subclass of C 0 ( F α ) with the second coefficient fixed, a 2 = p / 2 , as follows
C 0 ( F α , p ) = { f C 0 ( F α ) : f ( 0 ) = p } .
Therefore, if f C 0 ( F α , p ) , then
a 2 = p / 2   and   p 1 = p .

2. Auxiliary Lemmas

In this section, some results are collected on the coefficients of the functions belonging to the Carathéodory class P . We start with the result known as Carathéodory–Toeplitz theorem (see for example [20]).
Lemma 1 
(Carathéodory–Toeplitz theorem). If q has the power series expansion of the form q ( z ) = 1 + n = 1 p n z n , with p n C then q P if and only if the Toeplitz determinants
D n = 2 p 1 p 2 p n p 1 2 p 1 p n 1 p n p n + 1 p n + 2 2 ,
where p j = p j ¯ ( j 1 ), are non-negative for all n 1 . Moreover, if D j > 0 for each j = 1 , 2 , , k 1 and if D k = 0 , then the function q is of the form:
q ( z ) = j = 1 k β j 1 + ϵ j z 1 ϵ j z ,   β j > 0 ,   | ϵ j | = 1   ( j 1 , 2 , k ) ,   ϵ l ϵ m   ( l m ) .
As we can see, the function q in (15) is a linear combination of special complex homographies. Note that from q ( 0 ) = 1 it follows that the coefficients β j of this combination satisfy β 1 + + β k = 1 .
The Carathéodory–Toeplitz theorem is a very good tool for creating examples of Carathéodory functions. For example, let us consider a special case of the Toeplitz determinant
D 2 = 2 p 1 p 2 p 1 ¯ 2 p 1 p 2 ¯ p 1 ¯ 2 = 8 4 | p 1 | 2 2 | p 2 | 2 + p 1 ¯ 2 p 2 + p 1 2 p 2 ¯ .
If p 1 ,   p 2 are both real, then D 2 takes the form D 2 = 2 ( 2 p 2 ) ( 2 + p 2 p 1 2 ) and, consequently, D 2 = 0 if and only if p 2 = 2 or p 2 = p 1 2 2 . Using Lemma 1, Li and Sugawa [18] put the following assertion related to the latter case.
Lemma 2. 
Let q P and q ( z ) = 1 + n = 1 p n z n , with p 1 R and p 2 = p 1 2 2 . Then, q has a form
q ( z ) = 1 z 2 1 p 1 z + z 2 = 1 + p 1 z + ( p 1 2 2 ) z 2 + ( p 1 3 3 p 1 ) z 3 + .
Remark 1. 
In [18] the authors noticed that if q P with p 1 R and p 2 = 2 , then
q ( z ) = ( 1 γ ) 1 + z 1 z + γ 1 z 1 + z
where γ [ 0 , 1 ] is some constant.
Lemma 3. 
Let q P and q ( z ) = 1 + n = 1 p n z n , with p 1 [ 2 , 2 ] and p 2 = 2 . Then, q is of the form
q ( z ) = 1 2 1 + p 1 2 1 + z 1 z + 1 2 1 p 1 2 1 z 1 + z = 1 + p 1 z + 2 z 2 + p 1 z 3 + 2 z 4 + .
Proof. 
Under assumptions p 1 [ 2 , 2 ] and p 2 = 2 it follows from Remark 1, that there exists γ [ 0 , 1 ] , that satisfy (17). The function q given in (17) has the following power series expansion
q ( z ) = 1 + ( 2 4 γ ) z + 2 z 2 + .
From this we immediately have p 1 = 2 4 γ and, consequently, γ = 1 2 1 p 1 2 with γ [ 0 , 1 ] . Hence, the result follows. □
The next lemma is due to Libera and Złotkiewicz ([21,22]) and has also been proven by using the Carathéodory–Toeplitz theorem.
Lemma 4 
([21,22]). If q P is given by (2), then
( i ) 2 p 2 = p 1 2 + x ( 4 p 1 2 ) ,
( i i ) 4 p 3 = p 1 3 + 2 p 1 ( 4 p 1 2 ) x p 1 ( 4 p 1 2 ) x 2 + 2 ( 4 p 1 2 ) ( 1 | x | 2 ) y , for some x and y such that | x | 1 , | y | 1 .
Remark 2. 
Observe that when (i) in the Lemma 4 occurs with x = 1 then the assumption p 2 = p 1 2 2 with p 1 R in the Lemma 2 is satisfied. Therefore, the form of q can be obtained by Lemma 2. If condition (i) holds with x = 1 , that is, p 2 = 2 with p 1 ( 2 , 2 ) , then the assumptions in the Lemma 3 are satisfied. Consequently, we have the function q of the form (18).
If we put q of the form (16) or (18) in the correspondence (7) then we obtain two functions from the class C 0 ( F α ) with the following series expansions, respectively
f ( z ) = z + 1 2 p 1 z 2 + 1 3 ( α 2 + p 1 2 ) z 3 + 1 4 ( p 1 α 3 p 1 + p 1 3 ) z 4 +
and
f ( z ) = z + 1 2 p 1 z 2 + 1 3 ( α + 2 ) z 3 + 1 4 ( α + 1 ) p 1 z 4 + 1 5 ( α 2 + 2 α + 2 ) z 5 + .
The next lemma can be obtained as a special case of the result due to Choi, Kim and Sugawa [23]. Let us define
Y ( a , b , c ) = max z ¯ | a + b z + c z 2 | + 1 | z | 2 , a , b , c R .
Lemma 5. 
If a c < 0 , then
Y ( a , b , c ) = 1 + | a | + b 2 4 ( 1 + | c | ) , | b | < 2 ( 1 + | c | ) and b 2 < 4 a ( 1 c 2 ) / c , 1 | a | + b 2 4 ( 1 | c | ) , | b | < 2 ( 1 | c | ) and b 2 4 a ( 1 c 2 ) / c , R ( a , b , c ) , otherwise ,
where
R ( a , b , c ) = | a | + | b | | c | , | a b | | c | ( | b | + 4 | a | ) , | a | + | b | + | c | , | a b | | c | ( | b | 4 | a | ) , ( | a | + | c | ) 1 b 2 4 a c , otherwise .
If a c 0 , then
Y ( a , b , c ) = | a | + | b | + | c | , | b | 2 ( 1 | c | ) , 1 + | a | + b 2 4 ( 1 | c | ) , | b | < 2 ( 1 | c | )

3. Difference of Successive Coefficients

Let us begin this section by recalling the relationship between the coefficients of functions from the classes C 0 ( F α ) and P :
n a n α ( n 2 ) a n 2 = p n 1 ,   n = 1 , 2 , 3 , .
Combining these dependencies for successive n we obtain
2 a 2 = p 1 ,     3 a 3 = α + p 2 ,     4 a 4 = p 1 α + p 3 ,     5 a 5 = α 2 + p 2 α + p 4
and generally
n a n = k = 1 n 2 p 2 k 1 α n 2 k     for n even
and
n a n = k = 1 n + 1 2 p 2 k 2 α n + 1 2 k     for n odd .
We rewrite the above equalities in a more convenient and clear form. For m N we have
a 2 m = 1 2 m k = 1 m p 2 k 1 α m k
and
a 2 m 1 = 1 2 m 1 k = 1 m p 2 k 2 α m k .
For f A of the form (1) we define the coefficient functional that we will deal with in what follows:
F n = a n + 1 a n .
Note that F n is a linear combination of a n + 1 and a n with coefficients that are symmetric with respect to 0.
Using (25) and (26) we derive the formulas for F n = a n + 1 a n for a function f C 0 ( F α ) separately for n even and n odd. For n = 2 m 1 ,   m N , we obtain
F 2 m 1 = a 2 m a 2 m 1 = 1 2 m k = 1 m p 2 k 1 α m k 1 2 m 1 k = 1 m p 2 k 2 α m k = α m 1 p 1 2 m p 0 2 m 1 + α m 2 p 3 2 m p 2 2 m 1 + + p 2 m 1 2 m p 2 m 2 2 m 1 ,
while for n = 2 m ,   m N , we obtain
F 2 m = a 2 m + 1 a 2 m = 1 2 m + 1 k = 1 m + 1 p 2 k 2 α m + 1 k 1 2 m k = 1 m p 2 k 1 α m k = p 0 2 m + 1 α m + α m 1 p 2 2 m + 1 p 1 2 m + α m 2 p 4 2 m + 1 p 3 2 m + + p 2 m 2 m + 1 p 2 m 1 2 m .
In this section, we will concentrate on the problem of maximizing the modulus of F n for f C 0 ( F α , p ) . For the class C z / ( 1 z 2 ) , i.e., for α = 1 , the same problem was studied in ([14], Zaprawa, Tra̧bka–Wiȩcław) and the following sharp inequalities for | F 2 | and | F 3 | were given
| F 2 | 1 2 ( 2 p ) when p [ 2 , 1 ] , 1 6 ( 2 p ) ( 2 p + 1 ) when p [ 1 , 2 ] ,
and
| F 3 | 1 36 ( 38 17 p ) when p [ 2 , 5 / 3 ] , 1 12 ( 2 p ) ( 3 p 2 + 2 p 2 ) when p [ 5 / 3 , 2 ] .
Let p [ 2 , 2 ] be fixed. In the following theorem, we derive the estimates of | F 2 | for the class C 0 ( F α , p ) .
Theorem 1. 
If f C 0 ( F α , p ) , p [ 2 , 2 ] , and if f has the form (1), then the following sharp inequality holds
| F 2 | = | a 3 a 2 | 1 6 ( 4 + 2 α 3 p ) when p [ 2 , p ] , 1 6 ( 4 2 α + 3 p 2 p 2 ) when p [ p , 2 ] ,
where p = 1 2 ( 3 9 8 α ) .
Proof. 
If f C 0 ( z / ( 1 α z 2 ) , p ) , then
( 1 α z 2 ) f ( z ) = h ( z )
for some function h P . If h has the series expansion (2), then comparing the coefficients on both sides, we obtain
n a n α ( n 2 ) a n 2 = p n 1 ,   f ( 0 ) = 2 a 2 = p 1 = p .
This gives
F 2 = a 3 a 2 = 1 3 p 2 1 2 p + α 3 ,
where α , p are fixed, p [ 2 , 2 ] , α [ 1 , 1 ] , and p 2 is a second coefficient of the function h P . Therefore, by Lemma 4, we obtain
| F 2 | = | a 3 a 2 | = α 3 + 1 6 [ p 2 + ( 4 p 2 ) x ] p 2 = 1 6 | p 2 3 p + 2 α + ( 4 p 2 ) x |
for some | x | < 1 . Note that if p 2 3 p + 2 α 0 , then the maximum of the expression on the right side of the above equality is reached for x = 1 . If p 2 3 p + 2 α < 0 , then it is reached for x = 1 . The square trinomial w ( p ) = p 2 3 p + 2 α has two roots
p = 1 2 ( 3 9 8 α ) and p = 1 2 ( 3 + 9 8 α ) .
Elementary computing shows that for all α [ 1 , 1 ] the first one is an interior point of the interval [ 2 , 2 ] and the second one is outside of [ 2 , 2 ] . Hence, (32) immediately follows.
The sharpness of the bounds follows from Lemma 4 after taking into account Remark 2. If p [ 2 , p ] , then the equality in (32) occurs for the function f given by (20) with p 1 = p , while if p [ p , 2 ] , the equality in (32) is realized by the function f given by (19) with p 1 = p . □
We can derive several corollaries from the above theorem. For example, for α = 1 we have p = ( 3 17 ) / 2 and in this case Theorem 1 yields the following
Corollary 1. 
If f C 0 ( z / ( 1 + z 2 ) , p ) , p [ 2 , 2 ] , has the form (1), then
| F 2 | = | a 3 a 2 | 1 6 ( 2 3 p ) when p [ 2 , ( 3 17 ) / 2 ] , 1 6 ( 6 + 3 p 2 p 2 ) when p [ ( 3 17 ) / 2 , 2 ] .
For α = 0 we have p = 0 and Theorem 1 reduces to the following result for the class of functions of bounded turning with the second coefficient fixed. Let us denote this class by R p .
Corollary 2. 
If f R p , p [ 2 , 2 ] , has the form (1), then
| F 2 | = | a 3 a 2 | 1 6 ( 4 3 p ) when p [ 2 , 0 ] , 1 6 ( 4 + 3 p 2 p 2 ) when p [ 0 , 2 ] .
Finally note that if α = 1 , then p = 1 and Theorem 1 yields the result of [14] which was recalled in (30).
Let us now turn to the estimates of the functional | F 3 | = | a 4 a 3 | . We start with the results in the classes with specific values of the α parameter. If α = 1 , then we have F 1 ( z ) = z 1 + z 2 . For class C 0 ( z 1 + z 2 , p ) , we have the following result.
Theorem 2. 
If f C 0 ( z 1 + z 2 , p ) , p [ 2 , 2 ] , has the form (1), then the following inequalities hold
| F 3 | = | a 4 a 3 | 2 3 ( p 2 2 ) 1 3 p 2 p + 4 3 3 p 4 8 p 3 12 p 2 + 16 p when p [ 2 , s 1 ) , 1 4 p 3 1 3 p 2 p + 1 when p [ s 1 , 1 3 ] , 1 36 ( 25 p + 38 ) when p ( 1 3 , 12 13 ) , 1 36 ( p + 14 ) when p [ 12 13 , 5 3 ) , 1 12 ( 3 p 3 + 4 p 2 + 12 p 12 ) when p [ 5 3 , 2 ] ,
where s 1 is the unique root of the polynomial W ( p ) = 3 p 3 8 p 2 12 p + 16 in the interval ( 2 , 0 ) .
Proof. 
By using (25) and (26) we obtain for p [ 2 , 2 ]
12 | F 3 | = | a 4 a 3 | = | 3 p + 3 p 3 + 4 4 p 2 | .
Applying Lemma 4 results in the following equality
12 | F 3 | = 3 p + 3 4 p 3 + 2 p x t p x 2 t + 2 y ( 1 | x | 2 ) t + 4 2 [ p 2 + x t ]
for some x, y such that | x | < 1 and | y | < 1 and where t = 4 p 2 . From this, we obtain at once that for p = 2 as for p = 2 , an estimate | F 3 | 1 3 holds. In case p = 2 the equality holds for the function given by (19) with α = 1 and p = 2 , that is, for f ( z ) = 1 2 log ( z + 1 ) 2 z 2 + 1 . In case p = 2 the equality is realized by the function given by (20) with α = 1 and p = 2 , that is, by f ( z ) = 1 2 log z 2 + 1 ( z 1 ) 2 .
Now, assume that p ( 2 , 2 ) . Further, after computing and simplifying, we obtain from the last equality that
12 | F 3 | 3 2 ( 4 p 2 ) | a + b x + c x 2 | + 1 | x | 2 ,
where
a = 3 p 3 8 p 2 12 p + 16 6 ( 4 p 2 ) ;   b = p 4 3 ;   c = p 2 .
Now, we will apply Lemma 5. For p ( 2 , s 1 ) , we have a c < 0 . Moreover, some calculations show that each of the following conditions from Lemma 5 is false in this case:
b 2 < 4 a ( 1 c 2 ) / c , | b | < 2 ( 1 | c | ) , | a b | | c | ( | b | + 4 | a | ) , | a b | | c | ( | b | 4 | a | ) .
It follows at once that for p ( 2 , s 1 )
12 | F 3 | 3 2 ( 4 p 2 ) | a | + | c | 1 b 2 4 a c
with a , b , c , given by (35). After calculating we obtain that
| F 3 | 2 3 ( p 2 2 ) 1 3 p 2 p + 4 3 3 p 4 8 p 3 12 p 2 + 16 p .
Now, let p [ s 1 , 0 ) . We have to consider two cases here because, in each of them, Lemma 5 will be used in a different form. Namely, if p [ s 1 , 1 3 ) then we have
a c 0   and   | b | 2 ( 1 | c | )
while for p [ 1 3 , 0 ) :
a c 0   and   | b | < 2 ( 1 | c | ) .
By Lemma 5 and after some computation we obtain for p [ s 1 , 1 3 ) :
12 | F 3 | 3 2 ( 4 p 2 ) | a | + | b | + | c | = 3 p 3 4 p 2 12 p + 12
and hence the appropriate result of Theorem 2 yields. If p [ 1 3 , 0 ) then we compute that
12 | F 3 | 3 2 ( 4 p 2 ) 1 + | a | + b 2 4 ( 1 | c | ) = 1 3 ( 25 p + 38 )
and the result follows. Now, consider the case p [ 0 , 12 13 ) . Then, we have
a c < 0   and   | b | < 2 ( 1 + | c | )   and   b 2 < 4 a ( 1 c 2 ) / c .
Thus, we obtain
12 | F 3 | 3 2 ( 4 p 2 ) 1 + | a | + b 2 4 ( 1 + | c | ) = 1 3 ( 25 p + 38 ) .
The interval [ 12 13 , 5 3 ) also has to be broken into two parts. If p [ 12 13 , s 2 ) , where s 2 is the only root of the polynomial W ( p ) = 3 p 3 8 p 2 12 p + 16 in the interval ( 0 , 1 ) , then
a c < 0   and   | b | < 2 ( 1 | c | )   and   b 2 4 a ( 1 c 2 ) / c
and consequently,
| F 3 | 3 24 ( 4 p 2 ) 1 | a | + b 2 4 ( 1 | c | ) = 1 36 ( p + 14 ) .
However, for p [ s 2 , 5 3 ) we have
a c 0   and   | b | < 2 ( 1 | c | ) .
So then
12 | F 3 | 3 2 ( 4 p 2 ) 1 + | a | + b 2 4 ( 1 | c | )
which gives the same result as we had in the previously considered interval. Finally, we have to deal with the case, if p [ 5 3 , 2 ) . Then,
a c 0   and   | b | 2 ( 1 | c | ) .
This results in the following inequality:
12 | F 3 | 3 2 ( 4 p 2 ) ( | a | + | b | + | c | ) = 3 p 3 + 4 p 2 + 12 p 12 .
In the next theorem, we derive the bounds of | F 3 | for the class R p .
Theorem 3. 
If f R p , p [ 2 , 2 ] then the following inequalities hold
| F 3 | 1 12 ( 2 p 2 3 p ) 8 p 3 + 12 p 2 24 p + 16 3 p 4 8 p 3 when p [ 2 , t 1 ) , 1 12 ( 3 p 3 4 p 2 9 p + 8 ) when p [ t 1 , 1 3 ] , 1 18 ( 13 8 p ) when p ( 1 3 , 0 ) , 1 18 13 2 p when p [ 0 , 5 3 ) , 1 24 ( 6 p 3 + 8 p 2 + 18 p 16 ) when p [ 5 3 , 2 ] ,
where t 1 is the only root of the polynomial T ( p ) = 12 p 3 32 p 2 4 / 3 p + 16 in the interval ( 1 , 0 ) .
Proof. 
From Lemma 4:
12 | F 3 | = 3 4 p 3 + 2 p x ( 4 p 2 ) p x 2 ( 4 p 2 ) + 2 y ( 1 | x | 2 ) ( 4 p 2 ) 2 [ p 2 + x ( 4 p 2 ) ]
for some x, y such that | x | < 1 and | y | < 1 . For p = 2 and p = 2 , we immediately obtain | F 3 | 7 6 and | F 3 | 1 6 , respectively. The equalities in these bounds are realized by the functions f ( z ) = log ( z + 1 ) 2 z and f ( z ) = log 1 ( 1 z ) 2 z , respectively.
Let p ( 2 , 2 ) . Then, after some calculations we obtain
12 | F 3 | 3 2 ( 4 p 2 ) | a + b x + c x 2 | + 1 | x | 2 ,
where
a = 3 p 3 8 p 2 6 ( 4 p 2 ) ; b = p 4 3 ; c = p 2 .
We will apply Lemma 5. For p ( 2 , 1 3 ) we have a c < 0 and none of the conditions
b 2 < 4 a ( 1 c 2 ) / c ,   | b | < 2 ( 1 | c | ) ,   | a b | | c | ( | b | + 4 | a | ) ,   | a b | | c | ( | b | 4 | a | )
of Lemma 5 are satisfied. Let us denote by t 1 the only root of the polynomial
T ( p ) = 12 p 3 32 p 2 4 3 p + 16
in the interval ( 1 , 0 ) . After some computation we can check that for p ( 2 , t 1 ) the inequalities
| a b | | c | ( | b | + 4 | a | )   and   | a b | | c | ( | b | 4 | a | )
are false. Then, from Lemma 5 we obtain
12 | F 3 | 3 2 ( 4 p 2 ) | a | + | c | 1 b 2 4 a c
with a , b , c , given by (38). This gives the first result of Theorem 3:
| F 3 | 1 12 ( 2 p 2 3 p ) 8 p 3 + 12 p 2 24 p + 16 3 p 4 8 p 3 .
For p [ t 1 , 1 3 ) we have | a b | | c | ( | b | 4 | a | ) . Therefore, from Lemma 5 we obtain in this case that
12 | F 3 | 3 2 ( 4 p 2 ) | a | + | b | + | c | = 3 p 3 4 p 2 9 p + 8
which implies the second estimate of our theorem.
Assume that p [ 1 3 , 0 ) . Then, we have
a c < 0   and   | b | < 2 ( 1 | c | )   and   b 2 4 a ( 1 c 2 ) / c
and consequently,
12 | F 3 | 3 2 ( 4 p 2 ) 1 | a | + b 2 4 ( 1 | c | ) = 1 18 ( 13 8 p )
which gives the next bound.
If p [ 0 , 5 3 ) then the conditions
a c 0   and   | b | < 2 ( 1 | c | )
are satisfied. By Lemma 5 and after some computation we obtain for p [ 0 , 5 3 )
| F 3 | 1 8 ( 4 p 2 ) 1 + | a | + b 2 4 ( 1 | c | ) = 1 9 13 2 p .
In the last case, i.e., for p [ 5 3 , 2 ] we have
a c 0   and   | b | 2 ( 1 | c | ) .
Therefore,
| F 3 | 1 8 ( 4 p 2 ) | a | + | b | + | c | = 1 24 ( 6 p 3 + 8 p 2 + 18 p 16 ) .
Now let us move on to the consideration of the investigated problem of | F 3 | estimation in the general case. Unfortunately, the result was not achieved in the full range of parameters, i.e., for all ( p , α ) from the rectangle [ 2 , 2 ] × [ 1 , 1 ] .
Theorem 4. 
If f C 0 ( F α , p ) α [ 0 , 4 45 ] and p ( 1 3 , 12 α 9 α 4 ] , then
| F 3 | 1 36 9 α 16 p + 26 12 α .
Proof. 
Applying (25) and (26) we obtain that
12 | F 3 | = | 3 p α + 3 p 3 4 α 4 p 2 | , p [ 2 , 2 ] .
Therefore, by Lemma 4 we have
12 | F 3 | = 3 p α + 3 4 p 3 + 2 p x t p x 2 t + 2 y ( 1 | x | 2 ) t 4 α 2 ( p 2 + x t )
for some | x | < 1 and | y | < 1 and where t = p 2 . After a simple computation we obtain
12 | F 3 | 3 2 ( 4 p 2 ) | a + b x + c x 2 | + 1 | x | 2 ,
where
a = 3 p 3 8 p 2 + 12 p α 16 α 6 ( 4 p 2 ) ; b = p 4 3 ; c = p 2 .
We will apply Lemma 5. For α ( 0 , 4 / 45 ] and p 1 3 , 12 α 9 α 4 the following inequalities hold
a c < 0   and   | b | < 2 ( 1 | c | )   and   b 2 4 a ( 1 c 2 ) / c .
Therefore, with the above assumptions we have
| F 3 | 3 2 ( 4 p 2 ) 1 | a | + b 2 4 ( 1 | c | ) = 1 36 9 α 16 p + 26 12 α
and the desired result (39) follows. □
Note that if α goes to zero, then the bound obtained from Theorem 4, coincides with what we got for p ( 1 3 , 0 ) in Theorem 3.

4. Conclusions

A key procedure leading to the results presented in this article was to relate the investigated class to the class of Carathéodory functions P . The resulting relationship between the coefficients of both classes, combined with known estimates of the coefficients in the class P and the use of Lemmas 4 and 5, allowed the studied coefficient functionals to be maximized. An interesting direction for future research seems to be the attempt to estimate other coefficient functionals, for example, some combinations of two successive coefficients or the sum of n initial coefficients of the Taylor series for functions in the studied class.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

The author thanks the referees for their valuable suggestions to improve an earlier draft of this article.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Kaplan, W. Close to convex schlicht functions. Mich. Math. J. 1952, 1, 169–185. [Google Scholar] [CrossRef]
  2. Goodman, A.W.; Saff, E.B. On the definition of close-to-convex function. Int. J. Math. Math. Sci. 1978, 1, 125–132. [Google Scholar] [CrossRef]
  3. Nunokawa, M.; Sokół, J.; Tra̧bka–Wiȩcław, K. Some remarks on close-to-convex and strongly convex functions. Math. Scand. 2015, 116, 309–319. [Google Scholar]
  4. Çağlar, M. The logarithmic coefficient inequality for close-to-convex functions of complex order. J. Math. Ineq. 2015, 9, 951–959. [Google Scholar] [CrossRef]
  5. Nunokawa, M.; Sokół, J. On the order of strong starlikeness and the radii of starlikeness for some close-to-convex functions. Anal. Math. Phys. 2019, 9, 2367–2378. [Google Scholar] [CrossRef]
  6. Cho, N.E.; Kowalczyk, B.; Kwon, O.S.; Lecko, A.; Sim, Y.J. On the third logarithmic coefficient in some subclasses of close-to-convex functions. Rev. Real Acad. Cienc. Exactas Físicas Nat. Ser. A Matemáticas 2020, 114, 52. [Google Scholar] [CrossRef]
  7. Lecko, A. On reciprocal dependence of some classes of regular functions. Folia Sci. Univ. Tech. Resov. 1994, 127, 35–53. [Google Scholar]
  8. Lecko, A. On a radius problem in some subclasses of univalent functions I. Folia Sci. Univ. Tech. Resov. 1996, 147, 35–54. [Google Scholar]
  9. Lecko, A.; Lecko, M. On a radius problem in some subclasses of univalent functions II. Folia Sci. Univ. Tech. Resov. 1996, 154, 73–87. [Google Scholar]
  10. Lecko, A. A generalization of analytic condition for convexity in one direction. Demonstr. Math. 1997, 30, 155–170. [Google Scholar] [CrossRef]
  11. Kowalczyk, B.; Lecko, A. The Fekete–Szegö inequality for close-to-convex functions with respect to a certain starlike function dependent on a real parameter. J. Inequal. Appl. 2014, 2014, 65. [Google Scholar] [CrossRef]
  12. Tra̧bka–Wiȩcław, K.; Zaprawa, P.; Gregorczyk, M.; Rysak, A. On the Fekete–Szegö type functionals for close-to-convex functions. Symmetry 2019, 11, 1497. [Google Scholar] [CrossRef]
  13. Zaprawa, P. Succesive coefficients of close-to-convex functions. In Forum Mathematicum; De Gruyter: Berlin, Germany, 2020. [Google Scholar]
  14. Zaprawa, P.; Tra̧bka–Wiȩcław, K. Estimates of coefficient functionals for functions convex in the imaginary-axis direction. Symmetry 2020, 12, 1736. [Google Scholar] [CrossRef]
  15. Lecko, A. On some classes of close-to-convex functions. Folia Sci. Univ. Tech. Resov. 1989, 60, 61–70. [Google Scholar]
  16. Lecko, A. Some subclasses of close-to-convex functions. Ann. Pol. Math. 1993, 58, 53–64. [Google Scholar] [CrossRef]
  17. Goodman, A.W. Univalent Functions; Mariner: Tampa, FL, USA, 1983. [Google Scholar]
  18. Li, M.; Sugawa, T. A note on successive coefficients of convex functions. Comput. Methods Funct. Theory 2017, 17, 179–193. [Google Scholar] [CrossRef]
  19. Peng, Z.; Obradović, M. The estimate of the difference of initial succesive coefficients of univalent functions. J. Math. Inequal. 2019, 13, 301–314. [Google Scholar] [CrossRef]
  20. Grenander, U.; Szego, G. Toeplitz Forms and Their Applications; University of California Press: Berkeley, CA, USA; Los Angeles, CA, USA, 1958. [Google Scholar]
  21. Libera, R.J.; Złotkiewicz, E.J. Coefficients bounds for the inverse of a function with derivative in P. Proc. Am. Math. Soc. 1983, 87, 251–257. [Google Scholar] [CrossRef]
  22. Libera, R.J.; Złotkiewicz, E.J. Early coefficients of the inverse of a regular convex function. Proc. Am. Math. Soc. 1982, 85, 225–230. [Google Scholar] [CrossRef]
  23. Choi, J.H.; Kim, Y.C.; Sugawa, T. A general approach to the Fekete–Szegö problem. J. Math. Soc. Jpn. 2007, 59, 707–727. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Trojnar-Spelina, L. Estimates of Some Coefficient Functionals for Close-to-Convex Functions. Symmetry 2024, 16, 1671. https://doi.org/10.3390/sym16121671

AMA Style

Trojnar-Spelina L. Estimates of Some Coefficient Functionals for Close-to-Convex Functions. Symmetry. 2024; 16(12):1671. https://doi.org/10.3390/sym16121671

Chicago/Turabian Style

Trojnar-Spelina, Lucyna. 2024. "Estimates of Some Coefficient Functionals for Close-to-Convex Functions" Symmetry 16, no. 12: 1671. https://doi.org/10.3390/sym16121671

APA Style

Trojnar-Spelina, L. (2024). Estimates of Some Coefficient Functionals for Close-to-Convex Functions. Symmetry, 16(12), 1671. https://doi.org/10.3390/sym16121671

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