Some Results of Fekete-Szegö Type. Results for Some Holomorphic Functions of Several Complex Variables

: This paper is devoted to a generalization of the well-known Fekete-Szegö type coefﬁcients problem for holomorphic functions of a complex variable onto holomorphic functions of several variables. The considerations concern three families of such functions f , which are bounded, having positive real part and which Temljakov transform L f has positive real part, respectively. The main result arise some sharp estimates of the Minkowski balance of a combination of 2-homogeneous and the square of 1-homogeneous polynomials occurred in power series expansion of functions from aforementioned families.


Introduction
Since the several complex variables geometric analysis depends on the type of domains in C n (see for instance References [1][2][3]), we consider a special, but wide class of domains in C n . We say that a domain G ⊂ C n , n ≥ 1, is complete n-circular if zλ = (z 1 λ 1 , ..., z n λ n ) ∈ G for each z = (z 1 , ..., z n ) ∈ G and every λ = (λ 1 , ..., λ n ) ∈ U n , where U n is the open unit polydisc in C n , that is, the product of n copies of the open unit disc U = {ζ ∈ C : |ζ| < 1} . From now on by G will be denoted a bounded complete n-circular domain in C n , n ≥ 1. Such bounded domain G and its boundary ∂G can be redefined as follows G = {z ∈ C n : µ G (z) < 1}, ∂G = {z ∈ C n : µ G (z) = 1}, using the Minkowski function µ G : C n → [0, ∞) It is well-known (see e.g, Reference [4]) that µ G is a norm in C n if G is a convex bounded complete n-circular domain.
The function µ G is very useful in research the space H G of holomorphic functions f : G → C. By H G (1) will be denoted the collection of all f ∈ H G , normalized by the condition f (0) = 1. In the paper we consider the following subfamilies of H G where L : H G −→ H G means the Temljakov [5] linear operator defined by the Frechet differential D f (z) of f at the point z. Note that the operator L is invertible and its inverse has the form Let us recall that every function f ∈ H G has a unique power series expansion where Q f ,m : C n → C, m ∈ N ∪ {0} , are m-homogeneous polynomials. Usually the notion of m-homogeneous polynomial Q m : C n −→ C is defined by the formula where L m : (C n ) m −→ C is an m-linear mapping (0-homogeneous polynomial means a constant function Q 0 : C n → C). Note that the homogeneous polynomials occured in the expansion (1) have the form A simple kind of 1-homogeneous polynomial is the following linear functional J ∈ (C n ) * We will use the following generalization of the notion of the norm of m-homogeneous polynomial Q m : C n → C, that is, the µ G -balance of Q m [6][7][8] which is identical with the norm Q m if G is convex. The notion µ G -balance of m-homogeneous polynomial brings a very useful inequality which generalize the well-known inequality |Q m (z)| ≤ Q m z m .
Let us denote by I the linear functional It is obvious that µ G (I m ) = 1. In many papers (see for instance References [9][10][11][12][13]) there are presented some sharp estimations of m-homogeneous polynomials Q f ,m , m ≥ 1, for functions f of the form (1) from different subfamilies of H G . Below we give three Bavrin's [9] estimates, in the case C n , n ≥ 1, in term of µ G -balances of m-homogeneous polynomials, m ≥ 1 (2)

Main Results
In the present paper we give for It is a generalization of a solution of the well known Fekete-Szegö coefficient problem in complex plane [14] onto the case of several complex variables. The first result we demonstrate in the following theorem, which is a generalization of a result of Keogh and Merkes [15]: Then, for every γ ∈ C there holds the sharp estimate Proof. Let us fix arbitrarily z ∈ G\ {0} . Then using the classic Schwarz Lemma to the function U ζ → (it is also true for z = 0). Now, by this result we see that for every z ∈ G, the function transforms holomorphically the disc U into itself, fixes the point ζ = 0 and has the expression Thus, in view of the well known [16,17] sharp coefficient estimates we obtain for every z ∈ G Q ϕ,m (z) ≤ 1, m = 1, 2, ...
Therefore, for z ∈ G and every γ ∈ C The above inequality gives the estimate (4) from the thesis by the definition of µ G -balance of homogeneous polynomials and the fact that Q ϕ,2 − γ Q ϕ, 1 2 is a 2-homogeneous polynomial.
A next theorem includes a solution of the Fekete-Szegö type problem in the family C G .

Theorem 2.
Let G ⊂ C n be a bounded complete n-circular domain and let p ∈ C G . If the expansion of the function p into a series of m-homogenous polynomials Q p,m has the form then for the homogeneous polynomials Q p,2 , Q p,1 and every λ ∈ C there holds the following sharp estimate: Proof. It is known, that between the functions p ∈ C G and ϕ ∈ B G (0), there holds the following relationship [9]: Inserting the expansions (3) and (5) of functions into (7), we receive Then, comparing the m-homogeneous polynomials on both sides of the above equality, we determine the homogeneous polynomials Q ϕ,1 , Q ϕ,2 , as follows Putting the above equalities into Theorem 2.1 and using the fact that the mapping Q f ,1 2 is a 2-homogenous polynomial, we obtain we get Now, we show the sharpness of the estimate. To do it, let us consider two cases.
At the beginning, we prove that, in the case |2λ − 1| ≥ 1 the equality in (6) is attained by the function p = p with Indeed. The function p belongs to C G and Q p,1 = 2I, Q p,2 = 2I 2 . From this, by the case condition for λ, we have step by step: Now, we show that, in the case |2λ − 1| < 1 the equality in (6) realizes the function p = p, with To do it observe that p belongs to C G and Q p,1 = 0, Q p,2 = 2I 2 . From this, by the case condition for λ, we have: This completes the proof.
In the sequel we apply the Fekete-Szegö type result in C G to study the family V G . We start with the observation that for the transform L f of the functions f ∈ H G (1), we have We present the Fekete-Szegö type result in the family V G in the following theorem:  (1), with Q f ,0 = 1. Then for the homogeneous polynomials Q f ,2 , Q f ,1 and η ∈ C there holds the following sharp estimate: Proof. Let f ∈ V G . Then p = L f belongs to the family C G . Inserting into this equality the expansions (5) of functions p ∈ C G and the expansions (8) of L f of functions f ∈ V G , we obtain Then, comparing the m-homogeneous polynomials on both sides of the above equality, we can determine the homogeneous polynomials Q p,1 , Q p,2 , as follows Putting the above equalities into Theorem 2.2 and using the fact that the mapping Q f ,1 2 is a 2-homogenous polynomial, we obtain we get Now, we will show the sharpnes of the estimates (9) .To this aim, we consider two cases. At the begining, we prove that the equality in (9) holds in the case To do it let us denote by Z the analytic set {z ∈ G : I(z) = 0}. In this case the extremal function has the form where the branch of the function log(1 − ζ), ζ ∈ U, takes the value 0 at the point ζ = 0.
First we observe that f ∈ V G , because L f = 1+I 1−I ∈ C G . Now we show that f realizes the equality in the thesis. To do it observe that the power series expansion of the function log(1 − ζ), ζ ∈ U, implies the expression Thus Q f ,1 (z) = I(z) Q f ,2 (z) = 2 3 I 2 (z).
Actually, we also have a similar result for the family V G . More precisely, it is true the following statement. If the function f of the form (1), with Q f ,0 = 1, belongs to V G , then for every m ≥ 1 To this aim it suffices to recall that, by the assumptions, the function belongs to the family C G and use the previous original inequality in C G . Therefore, if a function f ∈ V G is extremal in appropriate estimate (2) for m = 1, that is, if µ G Q f ,1 = 1, then it is also extremal in required estimate (2) for each m ≥ 1, that is, µ G Q f ,m = 2 m+1 . We close the paper with a suggestion of characterization of the set of all extremal functions in different estimates of homogeneous polynomials (also of Fekete-Szegö type) in series of functions from subfamilies of the family H G .