Next Article in Journal
Flexible Birnbaum–Saunders Distribution
Previous Article in Journal
Quantum-Gravitational Trans-Planckian Energy of a Time-Dependent Black Hole
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Extremal Problems of Some Family of Holomorphic Functions of Several Complex Variables

College of Natural Sciences, Institute of Mathematics, University of Rzeszów, ul. Prof. Pigonia 1, 35-310 Rzeszów, Poland
Symmetry 2019, 11(10), 1304; https://doi.org/10.3390/sym11101304
Submission received: 25 September 2019 / Revised: 9 October 2019 / Accepted: 11 October 2019 / Published: 16 October 2019

Abstract

:
Many authors, e.g., Bavrin, Jakubowski, Liczberski, Pfaltzgraff, Sitarski, Suffridge, and Stankiewicz, have discussed some families of holomorphic functions of several complex variables described by some geometrical or analytical conditions. We consider a family of holomorphic functions of several complex variables described in n-circular domain of the space C n . We investigate relations between this family and some of type of Bavrin’s families. We give estimates of G-balance of k-homogeneous polynomial, a distortion type theorem and a sufficient condition for functions belonging to this family. Furthermore, we present some examples of functions from the considered class.

1. Introduction

A domain, G C n , n 2 , containing the origin is called complete n-circular, if z Λ = ( z 1 λ 1 , , z n λ n ) G , for each z = ( z 1 , z n ) G and every Λ = ( λ 1 , λ n ) E n ¯ , where E is the disc { ζ C : | ζ | < 1 } .
In the paper, we assume that G is a bounded complete n-circular domain.
Let us consider the Minkowski function μ G : C n [ 0 , )
μ G ( z ) = i n f { t > 0 : 1 t z G } , z C n .
We shall use the continuity of μ G and the following facts as well:
(i)
G = { z C n : μ G ( z ) < 1 } ,
(ii)
G = { z C n : μ G ( z ) = 1 } .
Remember that μ G is a seminorm in C n for complete n-circular domain G and is a norm in C n in the case if G is also convex. Taking this fact into account, we will use a generalization μ G ( Q f , k ) of the norm of k-homogeneous polynomials Q f , k (see [1]). In view of the k-homogeneity of Q f , k , the formula for G and the maximum principle for modulus of holomorphic functions of several variables, we can put for k N
μ G ( Q f , k ) = sup w C n { 0 } | Q f , k ( w ) | ( μ G ( w ) ) k = sup v G | Q f , k ( v ) | = sup u G | Q f , k ( u ) | .
For every k N , the quantity μ G ( Q f , k ) has the following basic property
| Q f , k | μ G ( Q f , k ) ( μ G ( w ) ) k , w C n ,
which generalizes the well-known inequality
| Q f , k | Q f , k · w k , w C n .
The quantities μ G ( Q f , k ) in [2] are called G-balance of the k-homogeneous polynomial Q f , k .
Let H G denote the family of holomorphic functions f : G C and let L : H G H G be the Temljakov linear operator (see [3]), which is defined by
L f ( z ) = f ( z ) + D f ( z ) ( z ) L f ( z ) = f ( z ) + D f ( z ) ( z ) , z G ,
where D f ( z ) is the Frechet derivative of f at the point z.
Bavrin (see [4,5]) considered the subclasses V G ( γ ) , M G ( γ ) , N G , and R G of the class H G ( 1 ) = { f H G : f ( 0 ) = 1 } . We say that f H G ( 1 ) belongs to
  • V G ( γ ) , 0 γ < 1 , if f ( z ) 0 for z G and
    R e L f ( z ) > γ , z G .
  • M G ( γ ) , 0 γ < 1 , if f ( z ) 0 , for z G and
    R e L f ( z ) f ( z ) > γ , z G .
  • N G , if L f ( z ) 0 , for z G and
    R e LL f ( z ) L f ( z ) > 0 , z G .
  • R G , if there exists a function ϕ N G such that
    R e L f ( z ) L ϕ ( z ) > 0 , z G .
In particular, V G ( 0 ) = V G and M G ( 0 ) = M G .
In the case n = 2 , Bavrin (see [4]) gave the following geometrical interpretation for functions from M G . A function f H G ( 1 ) belongs to M G if two conditions are maintained:
(i)
The function z 1 f ( z 1 , α z 1 ) of one variable z 1 is starlike univalent in the disc, which is the projection onto the plane z 2 = 0 of the intersection of the domain G , and every analytic plane ( z 1 , z 2 ) C 2 : z 2 = α z 1 , α C ; .
(ii)
The function z 2 f ( 0 , z 2 ) is starlike univalent on the intersection G and the plane z 1 = 0 .
In connection with this interpretation, we may say that the family M G corresponds to the well-known class S of the normalized univalent starlike functions F : E C . In the same way, we can say that the family N G ( R G ) corresponds to the class S c ( S c c ) (see [6]) of normalized holomorphic univalent convex (close-to-convex) functions.
Note that the class M G has been used in research of some linear invariant families of locally biholomorphic mappings in C n (see [7]).
Here, we consider a subfamily K G ( γ ) of the family H G ( 1 ) .
We say that f H G ( 1 ) belongs to K G ( γ ) , 0 γ < 1 , if there exists such a function, h M G ( 1 2 ) , that satisfies the condition
Re L f ( z ) h ( z ) h ( z ) > γ , z G .
The family K G ( γ ) corresponds to the class K s ( γ ) of functions of one complex variable introduced by Kowalczyk and Leś-Bomba (see [8]) defined as follows.
Let F : E C , F ( 0 ) = 0 , F ( 0 ) = 1 , be a holomorphic function in E. We say that F K s ( γ ) , 0 γ < 1 , if there exists a function H S ( 1 2 ) such that
Re ζ 2 F ( ζ ) H ( ζ ) H ( ζ ) > γ , ζ E .
The family K G ( γ ) is in a way associated with the family K G considered by Leś-Bomba and Liczberski in [1]. In particular when γ = 0 , we have K G ( 0 ) = K G .
We say that f H G ( 1 ) belongs to family K G if there exists such a function h M G ( 1 2 ) that satisfies the condition
Re L f ( z ) h ( z ) h ( z ) > 0 , z G .
While presenting the properties of the family K G ( γ ) , we will use the number Δ ( G ) -characteristic, which is assigned to each bounded complete n-circular domain, G, by the following formula (see [4]),
Δ = Δ ( G ) = sup z = ( z 1 , , z n ) G j = 1 n z j .
Now, we present two examples of functions from this family:
Example 1.
Let α R , A = { z G : j = 1 n z j = 0 } , 0 γ < 1 and
f 1 ( z ) = ( 1 γ ) Δ e i α j = 1 n z j log Δ + e i α j = 1 n z j Δ 2 + ( e i α j = 1 n z j ) 2 + γ Δ e i α j = 1 n z j arctan e i α j = 1 n z j Δ , z G A , 1 , z A ,
where log 1 = 0 and 1 = 1 . Then, the function f 1 belongs to the family K G ( γ ) .
Indeed, this function belongs to H G ( 1 ) (has a holomorphic extension defined on G, A is a nowheredense and closed subset of G (see [9])) and f 1 for z G A expands into a series of homogenous polynomials
f 1 ( z ) = 1 e i α j = 1 n z j Δ + 1 3 ( 1 2 γ ) e i α j = 1 n z j Δ 2 ( higher   order   terms ) .
Moreover,
L f 1 ( z ) = Δ 2 Δ ( 1 2 γ ) e i α j = 1 n z j Δ + e i α j = 1 n z j Δ 2 + e i α j = 1 n z j 2 , z G .
Let us consider the function h 1 M G ( 1 2 ) (see [1]) of the form
h 1 ( z ) = Δ Δ 2 + e i α j = 1 n z j 2 , z G .
Therefore
Re L f 1 ( z ) h 1 ( z ) h 1 ( z ) = Re Δ ( 1 2 γ ) e i α j = 1 n z j Δ + e i α j = 1 n z j > γ , z G ,
the condition (7) holds and f 1 K G ( γ ) .
Example 2.
Let α R , A = { z G : j = 1 n z j = 0 } , 0 γ < 1 and
f 2 ( z ) = Δ γ 2 e i α j = 1 n z j log Δ + e i α j = 1 n z j Δ e i α j = 1 n z j + ( 1 γ ) Δ Δ e i α j = 1 n z j , z G A , 1 , z A ,
where log 1 = 0 and 1 = 1 . Then, the function f 2 belongs to the family K G ( γ ) .
Indeed, this function belongs to H G ( 1 ) and for z G A it expands into a series of homogenous polynomials
f 2 ( z ) = 1 + ( 1 γ ) e i α j = 1 n z j Δ + ( 1 2 3 γ ) e i α j = 1 n z j Δ 2 + ( higher   order   terms ) .
Moreover,
L f 2 ( z ) = Δ 2 Δ + ( 1 2 γ ) e i α j = 1 n z j Δ e i α j = 1 n z j Δ 2 e i α j = 1 n z j 2 , z G .
Let us consider the function h 2 M G ( 1 2 ) (see [1]) of the form
h 2 ( z ) = Δ Δ e i α j = 1 n z j , z G .
Therefore
Re L f 2 ( z ) h 2 ( z ) h 2 ( z ) = Re Δ + ( 1 2 γ ) e i α j = 1 n z j Δ e i α j = 1 n z j > γ , z G ,
the condition (7) holds and f 2 K G ( γ ) .

2. Main Results

The relation between the class K G ( γ ) and another type of Bavrin’s families is the following.
Theorem 1.
Let 0 γ < 1 and let G C n be a bounded complete n-circular domain. Then, the following inclusions hold,
V G ( γ ) K G ( γ ) K G .
Proof. 
Firstly, we show that V G ( γ ) K G ( γ ) . Let us assume that f V G ( γ ) . Then condition (3) is satisfied. Let us note that the function h = 1 belongs to the family M G ( 1 2 ) and
Re L f ( z ) h ( z ) h ( z ) = Re L f ( z ) > γ , z G .
This means that f belongs to the family K G ( γ ) .
Now, we show that V G ( γ ) K G ( γ ) . Let us consider the function f 2 K G ( γ ) (see Example 2) with α = 0 . Then there exists a point, z G , such that for Δ = Δ ( G ) we have
j = 1 n z j = Δ · 2 3 1 2 i .
Let us fix γ = 1 2 . For such z we have
Re L f ( z ) = 3024 18421 < 0 ,
therefore f is not in V G , so K G ( γ ) V G .
Let f K G ( γ ) . Therefore, for 0 γ < 1 the condition (7) occurs, but since γ 0 the condition (9) also applies. Thus f K G . □
In the paper, [1] it has been proved that K G R G , so we have
Corollary 1.
Let 0 γ < 1 and let G C n be a bounded complete n-circular domain. Then the following inclusion holds
K G ( γ ) R G .
We will now present estimates of G-balance of k-homogenous polynomial Q f , k in the family K G ( γ ) .
Theorem 2.
Let 0 γ < 1 and let G C n be a bounded complete n-circular domain and let f K G ( γ ) . If the expansion of the holomorphic function f into a series of homogeneous polynomials is of the form
f ( z ) = k = 0 Q f , k ( z ) , z G , Q f , 0 = 1
then
μ G ( Q f , k ( z ) ) 1 k k + 1 γ , f o r k e v e n , 1 γ , f o r k o d d .
The estimates are sharp.
Proof. 
Let f K G ( γ ) and h M G ( 1 2 ) be associated with f by condition (7). Then, g ( z ) = h ( z ) h ( z ) M G and g is even (see [1]). Therefore, from condition (7), there exists function g M G and function p C G ( γ ) = { p H G ( 1 ) : R e ( z ) > γ , 0 γ < 1 , z G } , such that
L f ( z ) = g ( z ) p ( z ) .
Assuming that
p ( z ) = k = 0 Q p , k ( z ) , z G , Q p , 0 = 1
and
g ( z ) = k = 0 Q g , k ( z ) , z G , Q g , 0 = 1 ,
therefore, in view of the fact that
L f ( z ) = k = 0 ( k + 1 ) Q f , k ( z ) , z G ,
and the uniqueness theorems for expansions into series of homogenous polynomials, we obtain for k N ,
( k + 1 ) Q f , k ( z ) = l = 0 k Q p , k l ( z ) Q g , l ( z ) , z G .
We have (see [10])
| Q p , ν | 2 ( 1 γ ) , z G , ν N ,
and we have (see [1])
| Q g , 2 m ( z ) | 1 , z G , m N ,
because Q g , 2 m 1 = 0 for m N (g in Equation (15) is even).
While, identity (19) implies that for z G and k N , we obtain
( k + 1 ) | Q f , k ( z ) | l = 0 k Q p , k l ( z ) Q g , l ( z ) | Q p , 0 ( z ) | | Q g , k | + l = 0 k 1 Q p , k l ( z ) Q g , l ( z ) 1 + 2 ( 1 γ ) · k 2 , f o r k e v e n , 0 + 2 ( 1 γ ) · k + 1 2 , f o r k o d d .
Then
sup z G | ( Q f , k ( z ) ) | 1 k k + 1 γ , f o r k e v e n , 1 γ , f o r k o d d .
Having (1), we obtain (14). It remains to show the sharpness of (14). Let us observe that the function f 2 K G ( γ ) of the form (12) is the extremal function. Indeed, as the homogenous polynomials Q f , k in its development (13), k N and 0 γ < 1 have the form
Q f , k ( z ) = 1 k k + 1 γ e i α Δ j = 1 n z j k , f o r k e v e n , ( 1 γ ) e i α Δ j = 1 n z j k , f o r k o d d .
Moreover, if k N is even, using (10), we have
μ G ( Q f , k ) = sup z G | Q f , k ( z ) | = sup z G 1 k k + 1 γ e i α Δ j = 1 n z j k = 1 k k + 1 γ .
In the same way we get for a natural odd k that
μ G ( Q f , k ) = 1 γ .
 □
Now, we prove a sufficient condition for functions belonging to the investigated class K G ( γ ) .
Theorem 3.
Let h M G ( 1 2 ) , 0 γ < 1 and g ( z ) = h ( z ) h ( z ) for z G expands, as in (17). If the expansion of the holomorphic function, f, into a series of homogeneous polynomials is of the form (13) and the function f satisfies the condition
2 k = 1 ( k + 1 ) | Q f , k ( z ) | + ( | 1 2 γ | + 1 ) k = 1 | Q g , 2 k ( z ) | < 2 ( 1 γ ) , k N , z G ,
then f belongs to K G ( γ ) and it is generated by h.
Proof. 
Let 0 γ < 1 . If the expansion of f into a series of homogenous polynomials has the form (13), then L f ( z ) has the form (18). Let
Λ = L f ( z ) h ( z ) h ( z ) L f ( z ) + ( 1 2 γ ) h ( z ) h ( z ) = k = 1 ( k + 1 ) Q f , k ( z ) k = 1 Q g , 2 k ( z ) 2 ( 1 γ ) + k = 1 ( k + 1 ) Q f , k ( z ) + ( 1 2 γ ) k = 1 Q g , 2 k ( z ) .
Therefore, for z G from (24), we have the inequalities
Λ k = 1 ( k + 1 ) | Q f , k ( z ) | + k = 1 | Q g , 2 k ( z ) | | 2 ( 1 γ ) | k = 1 ( k + 1 ) Q f , k ( z ) + ( 1 2 γ ) k = 1 Q g , 2 k ( z ) k = 1 ( k + 1 ) | Q f , k ( z ) | + k = 1 | Q g , 2 k ( z ) | 2 ( 1 γ ) + k = 1 ( k + 1 ) | Q f , k ( z ) | + | 1 2 γ | k = 1 | Q g , 2 k ( z ) | = 2 ( 1 γ ) + k = 1 2 ( k + 1 ) | Q f , k ( z ) | + ( | 1 2 γ | + 1 ) k = 1 | Q g , 2 k ( z ) | < 0 .
Thus, we obtain
L f ( z ) h ( z ) h ( z ) < L f ( z ) + ( 1 2 γ ) h ( z ) h ( z ) , z G ,
which is equivalent to the inequality
L f ( z ) h ( z ) h ( z ) 1 < L f ( z ) h ( z ) h ( z ) + 1 2 γ , z G ,
and consequently we have (7). Thus, f K G ( γ ) , which completes the proof. □
Below, we provide a distortion type theorem for the considered family of functions.
Theorem 4.
Let 0 γ < 1 and 0 r < 1 , and let G C n be a bounded complete n-circular domain. If f K G ( γ ) , then
1 ( 1 2 γ ) r ( 1 + r ) ( 1 + r 2 ) | L f ( z ) | 1 + ( 1 2 γ ) r ( 1 r ) ( 1 r 2 ) , μ G ( z ) r ,
1 γ r log 1 + r 1 + r 2 + γ r arctan r | f ( z ) | γ 2 r log 1 + r 1 r + 1 γ 1 r , μ G ( z ) r .
The both lower estimates and the upper estimation in (27) are sharp.
Proof. 
Let 0 γ < 1 . In the case r = 0 , the estimates (26) and (27) hold (in (27) for r = 0 ; it is understood as a limit when r tends to 0).
Let r ( 0 , 1 ) and μ G ( z ) = r . First, we put
H ( ζ ) = ζ h ζ z μ G ( z ) , ζ E ,
where h M G ( 1 2 ) . The function H is holomorphic, H ( 0 ) = 0 ,
H ( ζ ) = L h ζ z μ G ( z ) , ζ E
and H ( 0 ) = 1 . As a result, by (4) for γ = 1 2 , we obtain
Re ζ H ( ζ ) H ( ζ ) = Re L h ζ z μ G ( z ) h ζ z μ G ( z ) > 1 2 , ζ E .
Therefore, H S 1 2 . Let us fix
F ( ζ ) = ζ f ζ z μ G ( z ) , ζ E ,
where f K G ( γ ) is connected with h by (7). The function F is holomorphic, F ( 0 ) = 0 , and
F ( ζ ) = L f ζ z μ G ( z ) , ζ E .
Therefore,
Re ζ 2 F ( ζ ) H ( ζ ) H ( ζ ) = Re L f ζ z μ G ( z ) h ζ z μ G ( z ) h ζ z μ G ( z ) > γ , ζ E ,
thus F belongs to K s ( γ ) (F satisfies the condition (8)). Therefore, by the growth and distortion theorem for functions of the family K s ( γ ) (see [8]) we conclude that
1 ( 1 2 γ ) r ( 1 + r ) ( 1 + r 2 ) L f ζ z μ G ( z ) 1 + ( 1 2 γ ) r ( 1 r ) ( 1 r 2 ) , ζ E
1 γ r log 1 + r 1 + r 2 + γ r arctan r ζ f ζ z μ G ( z ) γ 2 r log 1 + r 1 r + 1 γ 1 r , ζ E .
Putting ζ = μ G ( z ) = r ( 0 , 1 ) , by the maximum principle, we obtain the estimates (26) and (27).
Now, we will prove the second part of the theorem.
We show that for every r [ 0 , 1 ) there exists a point z , μ G ( z ) = r , such that the function f 1 K G ( γ ) with an appropriate α gives the equality in the lower part of inequalities (26) and (27).
It is obvious that Δ = max z G | j = 1 n z j | , so there exists a point z G for which j = 1 n z j = Δ . By virtue of the properties of the domain G and the Minkowski function μ G there exists a point z = ( z 1 , , z n ) G { 0 } , μ G ( z ) = r ( 0 , 1 ) for which z = ( μ G ( z ) ) 1 z . Therefore, we have
j = 1 n z j = Δ μ G ( z ) .
For z G { 0 } , let us choose a function f 1 with α = α 0 R , such that
e i α 0 j = 1 n z j = j = 1 n z j .
Therefore,
| L f 1 ( z ) | = 1 ( 1 2 γ ) μ G ( z ) ( 1 + μ G ( z ) ) ( 1 + ( μ G ( z ) ) 2 ) = 1 ( 1 2 γ ) r ( 1 + r ) ( 1 + r 2 ) ,
and
| f 1 ( z ) | = 1 γ μ G ( z ) log 1 + μ G ( z ) 1 + ( μ G ( z ) ) 2 + γ μ G ( z ) arctan μ G ( z ) = 1 γ r log 1 + r 1 + r 2 + γ r arctan r ,
which makes the lower estimations (26) and (27) sharp for z G , such that μ G ( z ) r , i.e., for z r G ¯ , r ( 0 , 1 ) .
Similarly, we can show that the function f 2 K G ( γ ) gives the equality in the upper part of the inequality (27). The upper estimation in (26) is not sharp. □

Funding

This research received no external funding.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Leś-Bomba, E.; Liczberski, P. On some family of holomorphic functions of several complex variables. Sci. Bull. Chem. Sec. Math. Comput. Sci. 2007, 2, 7–16. [Google Scholar]
  2. Długosz, R.; Leś, E. Embedding theorems and extremal problems for holomorphic functions on circular domains of C n . Complex Var. Elliptic Equ. 2014, 59, 883–899. [Google Scholar] [CrossRef]
  3. Temljakov, A.A. Integral representation of functions of two complex variables. Izv. Akad. Nauk. SSSR Ser. Mat. 1957, 21, 89–92. (In Russian) [Google Scholar]
  4. Bavrin, I.I. A Class of Regular Bounded Functions in the Case of Several Complex Variables and Extremal Problems in that Class; Moskow Obl. Ped. Inst.: Moscow, Russia, 1976; pp. 1–69. (In Russian) [Google Scholar]
  5. Bavrin, I.I. Generalization of functions, regular in the disc and close-to-starlike, to the case of several complex variables. Anal. Math. 1979, 5, 257–267. (In Russian) [Google Scholar]
  6. Duren, P.L. Univalent Functions; Sringer: New York, NY, USA, 1983. [Google Scholar]
  7. Pfaltzgraff, J.A.; Suffridge, T.J. An extension theorem and linear invariant families generated by starlike maps. Ann. UMCS Sect. Math. 1999, 53, 193–207. [Google Scholar]
  8. Kowalczyk, J.; Leś-Bomba, E. On a subclass of close-to-convex functions. Appl. Math. Lett. 2010, 23, 1147–1151. [Google Scholar] [CrossRef] [Green Version]
  9. Cha̧dzyski, J. Wstȩp do Analizy Zespolonej, cze II. Funkcje Holomorficzne Wielu Zmiennych Zespolonych; Wydawnictwo UŁ, Łódź Universitas: Kraków, Poland, 2006. (In Polish) [Google Scholar]
  10. Dziok, J. Wstȩp do Geometrycznej Teorii Funkcji Analitycznych; Wydawnictwo Uniwersytetu Rzeszowskiego: Rzeszów, Poland, 2008. (In Polish) [Google Scholar]

Share and Cite

MDPI and ACS Style

Trybucka, E. Extremal Problems of Some Family of Holomorphic Functions of Several Complex Variables. Symmetry 2019, 11, 1304. https://doi.org/10.3390/sym11101304

AMA Style

Trybucka E. Extremal Problems of Some Family of Holomorphic Functions of Several Complex Variables. Symmetry. 2019; 11(10):1304. https://doi.org/10.3390/sym11101304

Chicago/Turabian Style

Trybucka, Edyta. 2019. "Extremal Problems of Some Family of Holomorphic Functions of Several Complex Variables" Symmetry 11, no. 10: 1304. https://doi.org/10.3390/sym11101304

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