arxiv: v1 [math.cv] 7 Jul 2016

Similar documents
The Relationships Between p valent Functions and Univalent Functions

BOUNDEDNESS, UNIVALENCE AND QUASICONFORMAL EXTENSION OF ROBERTSON FUNCTIONS. Ikkei Hotta and Li-Mei Wang

arxiv: v2 [math.cv] 26 Nov 2011

Differential Subordinations and Harmonic Means

STARLIKE MAPPINGS OF ORDER α ON THE UNIT BALL IN COMPLEX BANACH SPACES

arxiv: v1 [math.cv] 17 Nov 2016

Uniformly convex functions II

Weak Subordination for Convex Univalent Harmonic Functions

On neighborhoods of functions associated with conic domains

ON SOME LENGTH PROBLEMS FOR ANALYTIC FUNCTIONS

Subclasses of bi-univalent functions related to shell-like curves connected with Fibonacci numbers

Research Article Differential Subordinations of Arithmetic and Geometric Means of Some Functionals Related to a Sector

Applied Mathematics Letters

SOME APPLICATIONS OF SALAGEAN INTEGRAL OPERATOR. Let A denote the class of functions of the form: f(z) = z + a k z k (1.1)

QUASICONFORMAL EXTENSION OF HARMONIC MAPPINGS IN THE PLANE

Convolution properties for subclasses of meromorphic univalent functions of complex order. Teodor Bulboacă, Mohamed K. Aouf, Rabha M.

A NOTE ON RUSCHEWEYH TYPE OF INTEGRAL OPERATORS

Convolutions of Certain Analytic Functions

SOME SUBCLASSES OF ANALYTIC FUNCTIONS DEFINED BY GENERALIZED DIFFERENTIAL OPERATOR. Maslina Darus and Imran Faisal

Subordinate Solutions of a Differential Equation

Differential Operator of a Class of Meromorphic Univalent Functions With Negative Coefficients

On a class of analytic functions related to Hadamard products

arxiv: v1 [math.cv] 19 Jul 2012

arxiv: v1 [math.cv] 16 May 2017

Research Article A Study on Becker s Univalence Criteria

FUNCTIONS WITH NEGATIVE COEFFICIENTS

Rosihan M. Ali and V. Ravichandran 1. INTRODUCTION

ON POLYHARMONIC UNIVALENT MAPPINGS

arxiv: v2 [math.cv] 24 Nov 2017

APPLYING RUSCHEWEYH DERIVATIVE ON TWO SUB-CLASSES OF BI-UNIVALENT FUNCTIONS

Subordination and Superordination Results for Analytic Functions Associated With Convolution Structure

An ordinary differentail operator and its applications to certain classes of multivalently meromorphic functions

AN EXTENSION OF THE REGION OF VARIABILITY OF A SUBCLASS OF UNIVALENT FUNCTIONS

arxiv: v2 [math.cv] 24 Nov 2009

A NEW SUBCLASS OF MEROMORPHIC FUNCTION WITH POSITIVE COEFFICIENTS

SUBCLASS OF HARMONIC STARLIKE FUNCTIONS ASSOCIATED WITH SALAGEAN DERIVATIVE

Coefficient Estimates for Bazilevič Ma-Minda Functions in the Space of Sigmoid Function

Abstract. We derive a sharp bound for the modulus of the Schwarzian derivative of concave univalent functions with opening angle at infinity

ON CERTAIN CLASS OF UNIVALENT FUNCTIONS WITH CONIC DOMAINS INVOLVING SOKÓ L - NUNOKAWA CLASS

UDC S. Yu. Graf ON THE SCHWARZIAN NORM OF HARMONIC MAPPINGS

The Inner Mapping Radius of Harmonic Mappings of the Unit Disk 1

Majorization Properties for Subclass of Analytic p-valent Functions Defined by the Generalized Hypergeometric Function

Fekete-Szegö Inequality for Certain Classes of Analytic Functions Associated with Srivastava-Attiya Integral Operator

A New Subclasses of Meromorphic p-valent Functions with Positive Coefficient Defined by Fractional Calculus Operators

On certain subclasses of analytic functions associated with generalized struve functions

A Certain Subclass of Analytic Functions Defined by Means of Differential Subordination

Notes on Starlike log-harmonic Functions. of Order α

Quasiconformal and Lipschitz harmonic mappings of the unit disk onto bounded convex domains

New Results in the Theory of Differential Subordinations and Superordinations

DISTORTION THEOREMS FOR HIGHER ORDER SCHWARZIAN DERIVATIVES OF UNIVALENT FUNCTIONS

Coefficient Estimates and Bloch s Constant in Some Classes of Harmonic Mappings

arxiv: v3 [math.cv] 11 Aug 2014

Subclass of Meromorphic Functions with Positive Coefficients Defined by Frasin and Darus Operator

On Some α-convex Functions

Convex Functions and Functions with Bounded Turning

Abstract. For the Briot-Bouquet differential equations of the form given in [1] zu (z) u(z) = h(z),

On close-to-convex functions satisfying a differential inequality

Starlike Functions of Complex Order

COMPOSITION SEMIGROUPS ON BMOA AND H AUSTIN ANDERSON, MIRJANA JOVOVIC, AND WAYNE SMITH

On a new class of (j, i)-symmetric function on conic regions

On sandwich theorems for p-valent functions involving a new generalized differential operator

Bulletin of the Transilvania University of Braşov Vol 8(57), No Series III: Mathematics, Informatics, Physics, 1-12

Hankel determinant for p-valently starlike and convex functions of order α

SOME CRITERIA FOR STRONGLY STARLIKE MULTIVALENT FUNCTIONS

Coecient bounds for certain subclasses of analytic functions of complex order

Faber polynomial coefficient bounds for a subclass of bi-univalent functions

Rosihan M. Ali, M. Hussain Khan, V. Ravichandran, and K. G. Subramanian. Let A(p, m) be the class of all p-valent analytic functions f(z) = z p +

CERTAIN DIFFERENTIAL SUBORDINATIONS USING A GENERALIZED SĂLĂGEAN OPERATOR AND RUSCHEWEYH OPERATOR. Alina Alb Lupaş

Journal of Inequalities in Pure and Applied Mathematics

HADAMARD PRODUCT OF CERTAIN CLASSES OF FUNCTIONS

Second Hankel determinant for the class of Bazilevic functions

On a subclass of n-close to convex functions associated with some hyperbola

Subclasses of starlike functions associated with some hyperbola 1

Coefficient bounds for some subclasses of p-valently starlike functions

Coefficient Bounds for a Certain Class of Analytic and Bi-Univalent Functions

Differential subordination related to conic sections

SUBCLASS OF HARMONIC UNIVALENT FUNCTIONS ASSOCIATED WITH THE DERIVATIVE OPERATOR

A Note on Coefficient Inequalities for (j, i)-symmetrical Functions with Conic Regions

arxiv: v1 [math.cv] 12 Apr 2014

Old and new order of linear invariant family of harmonic mappings and the bound for Jacobian

arxiv: v1 [math.cv] 1 Nov 2017

Certain properties of a new subclass of close-to-convex functions

COEFFICIENTS OF BI-UNIVALENT FUNCTIONS INVOLVING PSEUDO-STARLIKENESS ASSOCIATED WITH CHEBYSHEV POLYNOMIALS

SANDWICH-TYPE THEOREMS FOR A CLASS OF INTEGRAL OPERATORS ASSOCIATED WITH MEROMORPHIC FUNCTIONS

Subclass Of K Uniformly Starlike Functions Associated With Wright Generalized Hypergeometric Functions

Loewner chains and parametric representation in several complex variables

ON A SUBCLASS OF ANALYTIC CLOSE TO CONVEX FUNCTIONS IN q ANALOGUE ASSOCIATED WITH JANOWSKI FUNCTIONS. 1. Introduction and definitions

SOME INCLUSION PROPERTIES OF STARLIKE AND CONVEX FUNCTIONS ASSOCIATED WITH HOHLOV OPERATOR. II

On second-order differential subordinations for a class of analytic functions defined by convolution

A Class of Univalent Harmonic Mappings

SUBCLASSES OF P-VALENT STARLIKE FUNCTIONS DEFINED BY USING CERTAIN FRACTIONAL DERIVATIVE OPERATOR

A NOTE ON UNIVALENT FUNCTIONS WITH FINITELY MANY COEFFICIENTS. Abstract

A. Then p P( ) if and only if there exists w Ω such that p(z)= (z U). (1.4)

3. 4. Uniformly normal families and generalisations

Convolution Properties of Convex Harmonic Functions

SOME PROPERTIES OF A SUBCLASS OF ANALYTIC FUNCTIONS DEFINED BY A GENERALIZED SRIVASTAVA-ATTIYA OPERATOR. Nagat. M. Mustafa and Maslina Darus

arxiv: v1 [math.cv] 30 Sep 2017

On a subclass of analytic functions involving harmonic means

On the Class of Functions Starlike with Respect to a Boundary Point

Quasiconformal extensions, Loewner chains, and the lambda-lemma

Transcription:

UNIVALENCE AND QUASICONFORMAL EXTENSION OF AN INTEGRAL OPERATOR ERHAN DENIZ, STANIS LAWA KANAS, AND HALIT ORHAN arxiv:167.298v1 [math.cv] 7 Jul 216 Abstract. In this paper we give some sufficient conditions of analyticity and univalence for functions defined by an integral operator. Next, we refine the result to a quasiconformal extension criterion with the help of the Becker s method. Further, new univalence criteria and the significant relationships with other results are given. A number of known univalence conditions would follow upon specializing the parameters involved in our main results. 1. Introduction Denote by U r = {z C : z < r} < r 1) the disk of radius r and let U = U 1. Let A denote the class of analytic functions in the open unit disk U which satisfy the usual normalization condition f) = f ) 1 =, and let S be the subclass of A consisting of the functions f which are univalent in U. Also, let P denote the class of functions pz) = 1 + n=1 p kz k that satisfy the condition R pz) > z U), and Ω be a class of functions w which are analytic in U and such that wz) < 1 for z U. These classes have been one of the important subjects of research in geometric function theory for a long time see [29]). We say that a sense-preserving homeomorphism f of a plane domain G C is k quasiconformal, if f is absolutely continuous on almost all lines parallel to coordinate axes and f z k f z, almost everywhere in G, where f z = f/ z, f z = f/ z and k is a real constant with k < 1. For the general defnition of quasiconformal mappings see [1]. Univalence of complex functions is an important property but, in many cases is impossible to show directly that a certain function is univalent. For this reason, many authors found different sufficient conditions of univalence. Two of the most important are the well-known criteria of Becker [3] and Ahlfors [1]. Becker and Ahlfors works depend upon a ingenious use of the theory of the Loewner chains and the generalized Loewner differential equation. Extensions of these two criteria were given by Ruscheweyh [27], Singh and Chichra [28], Kanas and Lecko [13, 14] and Lewandowski [16]. The recent investigations on this subject are due to Raducanu et al. [26] and Deniz and Orhan [8], [9]. Furthermore, Pascu [21] and Pescar [22] obtained some extensions of Becker s univalence criterion for an integral operator, while Ovesea [2] obtained a generalization of Ruscheweyh s univalence criterion for an integral operator. In the present paper, we formulate a new criteria for univalence of the functions defined by an integral operator G α, considered in [2], and improve obtained there results. Also we obtain a refinement to a quasiconformal extension criterion of the main result. In the special cases, our univalence conditions contain the results obtained by some of the authors cited in references. Our considerations are based on the theory of Loewner chains. Key words and phrases. integral operator; univalent function; quasiconformal mapping; univalence criteria; Loewner chain 21 Mathematics Subject Classifcation: Primary 47A63; Secondary 3C8, 3C45, 3C62, 3C65. 1

2 ERHAN DENIZ, STANIS LAWA KANAS, AND HALIT ORHAN 2. Loewner chains and quasiconformal extension The method of Loewner chains will prove to be crucial in our later consideration therefore we present a brief summary of that method. Let Lz,t) = a 1 t)z + a 2 t)z 2 +..., a 1 t), be a function defined on U I, where I := [, ) and a 1 t) is a complex-valued, locally absolutely continuous function on I. Then Lz,t) is said to be Loewner chain if Lz,t) has the following conditions; i) Lz,t) is analytic and univalent in U for all t I ii) Lz,t) Lz,s) for all t s <, where the symbol stands for subordination. If a 1 t) = e t then we say that Lz,t) is a standard Loewner chain. In order to prove our main results we need the following theorem due to Pommerenke [24] see also [25]). This theorem is often used to find out univalency for an analytic function, apart from the theory of Loewner chains. Theorem 2.1. [25, Pommerenke] Let Lz,t) = a 1 t)z+a 2 t)z 2 +... be analytic in U r for all t I. Suppose that; i) Lz,t) is a locally absolutely continuous function in the interval I, and locally uniformly with respect to U r. ii) a 1 t) is a complex valued continuous function on I such that a 1 t), a 1 t) for t and { } Lz,t) a 1 t) t I forms a normal family of functions in U r. iii) There exists an analytic function p : U I C satisfying Rpz,t) > for all z U, t I and 2.1) z Lz,t) z = pz,t) Lz,t) z U r, t I). Then, for each t I, the function Lz,t) has an analytic and univalent extension to the whole disk U or the function Lz,t) is a Loewner chain. The equation 2.1) is called the generalized Loewner differential equation. The following strengthening of Theorem 2.1 leads to the method of constructing quasiconformal extension, and is based on the result due to Becker see [3], [4] and also [5]). Theorem 2.2. [3, 4, 5, Becker] Suppose that Lz,t) is a Loewner chain for which pz,t), defined in 2.1), satisfies the condition { } pz,t) Uk) := w C : w 1 w +1 k { = w C : w 1+k2 1 k 2 2k } 1 k 2 k < 1) for all z U and t I. Then Lz,t) admits a continuous extension to U for each t I and the function Fz, z) defined by { Lz,) ) for z < 1, Fz, z) = L z z,log z for z 1, is a k quasiconformal extension of Lz,) to C.

UNIVALENCE AND QUASICONFORMAL EXTENSIONS OF AN OPERATOR 3 Detailed information about Loewner chains and quasiconformal extension criterion can be found in [1], [2], [6], [7], [15], [23]. For a recent account of the theory we refer the reader to [1, 11, 12]. 3. Univalence criteria The first theorem is our glimpse of the role of the generalized Loewner chains in univalence results for an operator G α, studied in [2]. The theorem formulates the conditions under which such an operator is analytic and univalent. Theorem 3.1. Let α, c and s be complex numbers, that c / [, ); s = a+ib, a >, b R; m > and f,g A. If there exists a function h, analytic in U, and such that h) = h, h C, h /,], and the inequalities 3.1) α m < m 2a 2a, 3.2) c hz) + m 2α < m 2 α, and 3.3) cα ahz) z m/a + hold true for all z U, then the function 3.4) G α z) = α 1 z m/a)[ ] α 1) zg z) gz) +1+ zf z) f z) + zh z) hz) z g α 1 u)f u)du is analytic and univalent in U, where the principal branch is intended. 1/α m 2a m 2a Proof. We first prove that there exists a real number r,1] such that the function L : U r I C, defined formally by 3.5) Lz,t) = α e st z is analytic in U r for all t I. Because g A, the function g α 1 u)f u)du a e mt 1 ) e st zg α 1 e st z)f e st z)he st z) c φz) = gz) = 1+... z is analytic in U and φ) = 1. Then there exist a disc U r1, < r 1 1, in which φz) for all z U r1.we denote by φ 1 the uniform branch of φz)) α 1 equal to 1 at the origin. Consider now a function φ 2 z,t) = α e st z u α 1 φ 1 u)f u)du= e stα z α +..., then we have φ 2 z,t) = z α φ 3 z,t) where φ 3 is also analytic in U r1. Hence, the function φ 4 z,t) = φ 3 z,t) a e mt 1 ) e stα φ 1 e st z)f e st z)he st z) c 1/α,

4 ERHAN DENIZ, STANIS LAWA KANAS, AND HALIT ORHAN is analytic in U r1 and φ 4,t) = e stα[ 1+ a c h ) a c h e mt]. Now, we prove that φ 4,t) for all t I. It is easy to see that φ 4,) = 1. Suppose that there exists t > such that φ 4,t ) =. Then the equality e mt = c+ah ah holds. Since h /,], this equality implies that c >, which contradicts c / [, ). From this we conclude that φ 4,t) for all t I. Therefore, there is a disk U r2, r 2,r 1 ], in which φ 4 z,t) for all t I. Thus, we can choose an uniform branch of [φ 4 z)] 1/α analytic in U r2, and denoted by φ 5 z,t). It follows from 3.5) that Lz,t) = zφ 5 z,t) = a 1 t)z +a 2 t)z 2 +... and consequently the function Lz,t) is analytic in U r2. We note that a 1 t) = e tm s)[ α 1+ a ) c h e mt a 1/α, ] c h for which we consider the uniform branch equal to 1 at the origin. Since aα m 2 < m 2 is equivalent to R{ m α} > a = Rs), we have that lim a 1t) =. t Moreover, a 1 t) for all t I. From the analyticity of Lz,t) in U r2, it follows that there exists a number r 3 such that < r 3 < r 2, and a constant K = Kr 3 ) such that Lz, t) < K z U r 3, t I). By the Montel s Theorem, a 1 t) } { Lz,t) a 1 t) forms a normal family in U r 3. From the analyticity t I of Lz,t), it may be concluded that for all fixed numbers T > and r 4, < r 4 < r 3, there exists a constant K 1 > that depends on T and r 4 ) such that Lz, t) < K 1 z U r4, t [,T]). Therefore, the function Lz, t) is locally absolutely continuous in I, locally uniform with respect to U r4. Let p : U r I C denote a function pz,t) = z Lz,t) z / Lz,t), that is analytic in U r, < r < r 4, for all t I. If the function 3.6) wz,t) = pz,t) 1 z Lz,t) pz,t)+1 = z z Lz,t) z Lz,t) + Lz,t) is analytic in U I, and wz,t) < 1, for all z U and t I, then pz,t) has an analytic extension with positive real part in U, for all t I. According to 3.6) we have 3.7) wz,t) = 1+s)Az,t) m 1 s)az,t)+m,

where 3.8) UNIVALENCE AND QUASICONFORMAL EXTENSIONS OF AN OPERATOR 5 Az,t) = cα ahe st z) e mt + [ 1 e mt) α 1) e st zg e st z) ge st z) ] +1+ e st zf e st z) e st z)+ e st zh e st z) f he st z) for z U and t I. Hence, the inequality wz,t) < 1 is equivalent to 3.9) Az,t) m < m, a = Rs) z U, t I). 2a 2a Define now Bz,t) = Az,t) m z U, t I). 2a From 3.1), 3.2) and 3.8) it follows that 3.1) Bz, ) = cα ahz) + m 2a < m 2a, and 3.11) 3.12) B,t) = 1 cαe mt a aα 1 e mt) + m h 2 = 1 cα a + m ) m ) 1 e e + mt h 2 2 aα mt ) < m 2a. Since e st z e st = e at < 1 for all z U = {z C : z 1} and t >, we conclude that for each t > Bz,t) is an analytic function in U. Using the maximum modulus principle it follows that for all z U \ {} and each t > arbitrarily fixed there exists θ = θt) R such that 3.13) Bz, t) < lim z =1 Bz,t) = Be iθ,t) for all z U and t I. Denote u = e st e iθ. Then u = e at, and from 3.8) we obtain Be iθ,t) = cα ahu) u m/a + m 2a 1 u m/a)[ ] α 1) ug u) gu) +1+ uf u) f u) + uh u). hu) Since u U, the inequality 3.3) implies that Be iθ,t) m 2a, and from 3.1), 3.11) and 3.13), we conclude that Bz,t) = Az,t) m < m 2a 2a for all z U and t I. Therefore wz,t) < 1 for all z U and t I. Since all the conditions of Theorem 2.1 are satisfied, we obtain that the function Lz,t) has an analytic and univalent extension to the whole unit disk U, for all t I. For t = we have Lz,) = G α z), for z U and therefore the function G α z) is analytic and univalent in U. Abbreviating 3.3) we can now rephrase Theorem 3.1 in a simpler form.,

6 ERHAN DENIZ, STANIS LAWA KANAS, AND HALIT ORHAN Theorem 3.2. Let f,g A. Let m >, the complex numbers α, c, s and the function h be as in Theorem 3.1. Moreover, suppose that the inequalities 3.1) and 3.2) are satisfied. If the inequality 3.14) z) α 1)zg gz) +1+ zf z) f z) + zh z) hz) m 2a m 2a holds true for all z U, then the function G α defined by 3.4) is analytic and univalent in U. Proof. Making use of 3.2) and 3.14) we obtain cα hz) z m/a + m 2 a 1 z m/a)[ ] α 1) zg z) gz) +1+ zf z) f z) + zh z) hz) = cα hz) + m ) z m/a 2 + 1 z m/a)[ ) a α 1) zg z) gz) +1+ zf z) f z) + zh z) + m ] hz) 2 z m/a m 2 + 1 z m/a) m 2 =m 2, so that the condition 3.3) is satisfied. This finishes the proof, since all the assumption of Theorem 3.1 are satisfied. The special case of Theorem 3.1 i.e. for s = α = 1, and hz) = c leads to the following result. Corollary 3.3. Let f A and m > 1. If 3.15) m 2 1 z m ) zf z) 2 f z) m 2 holds for z U, then the function f univalent in U. Corollary 3.3 in turn implies the well-known Becker s univalence citerion [3]. Remark 3.4. Important examples of univalence criteria may be obtained by a suitable choices of f and g, below. 1) Choose g 1 z) = z. Then Theorem 3.1 gives analyticity and univalence of the operator Fz) = α z u α 1 f u)du which was studied by Pascu [21]. 2) Setting fz) = z in Theorem 3.1, we obtain that the operator Gz) = α z g α 1 u)du is analytic and univalent in U. The operator G was introduced by Moldoveanu and Pascu [18]. 3) Taking f z) = gz) z in Theorem 3.1 we find that z g Hz) = α α 1/α u) u du 1/α 1/α,

UNIVALENCE AND QUASICONFORMAL EXTENSIONS OF AN OPERATOR 7 is analytic and univalent in U. The operator H was introduced and studied by Mocanu [17]. If we limit a range of parameter a to the case a 1 then, applying the Theorem 3.1, we obtain the following. Theorem 3.5. Let α, c and s be complex numbers, that c / [, ); s = a + ib, a 1, b R; m > and f,g A. Let the function h be as in Theorem 3.1. Moreover, suppose that the inequalities 3.1) and 3.2) are satisfied. If the inequality [ ] 3.16) cα ahz) z m +1 z m ) α 1) zg z) gz) +1+ zf z) f z) + zh z) m hz) 2a m 2a holds true for all z U, then the function G α z) defined by 3.4) is analytic and univalent in U. Proof. For λ [,1] define the linear function where and φz,λ) = λkz)+1 λ)lz), z U, t I) kz) = cα hz) + m 2 [ ] lz) = a α 1) zg z) gz) +1+ zf z) f z) + zh z) + m hz) 2. For fixed z U and t I, φz,λ) is a point of a segment with endpoints at kz) and lz). The function φz,λ) is analytic in U for all λ [,1] and z U, satisfies 3.17) phiz,1) = kz) < m 2 and 3.18) φz, z m ) m 2, which follows from 3.2) and 3.16). If λ increases from λ 1 = z m to λ 2 = 1, then the point φz,λ) moves on the segment whose endpoints are φz, z m ) and φz,1). Because a 1, from 3.17) and 3.18) it follows that 3.19) φz, z m/a ) m 2, z U. We can observe that the inequality 3.19) is just the condition 3.3), and then Theorem 3.1 now yields that the function G α z), defined by 3.4), is analytic and univalent in U. Remark 3.6. Applying Theorem 3.5 to m = 2 and the function hz) 1, and gz) = fz),α = 1/s or gz) = z, a = 1, c = 1 α, respectively) we obtain the results by Ruscheweyh [27] or Moldoveanu and Pascu [19], resp.). Remark 3.7. Substituting 1/h instead of h with h) = 1 and setting gz) = fz), α = 1/s,m = 2 in Theorem 3.5 we obtain the result due to Singh and Chichra [28]. Remark 3.8. Setting gz) = fz), s = α = 1, c = 1, m = 2 and hz) = kz)+1 2, where k is an analytic function with positive real part in U with k) = 1 in Theorem 3.5, we obtain the result by Lewandowski [16]. Remark 3.9. For the case when m = 2 and h) = h = 1 Theorem 3.1 and 3.5 reduce to the results by Ovesea [2].

8 ERHAN DENIZ, STANIS LAWA KANAS, AND HALIT ORHAN 4. Quasiconformal extension criterion In this section we will refine the univalence condition given in Theorem 3.1 to a quasiconformal extension criterion. Theorem 4.1. Let α, c and s be complex numbers, that c / [, ); s = a + ib, a >, b R; m > ; k [,1) and let f,g A. If there exists a function h, analytic in U, such that h) = h, h C, h /,] and the inequalities α m < m 2a 2a, 4.1) cα hz) + m 2 < km 2 and 4.2) cα ahz) z m/a + 1 z m/a)[ ] α 1) zg z) gz) +1+ zf z) f z) + zh z) hz) m 2a km 2a hold true for all z U, then the function G α z) given by 3.4) has an K quasiconformal extension to C, where k for s = 1, 4.3) K = s 1 2 +k s 2 1 s 2 1 +k s 1 2 for s 1. Proof. In the proof of Theorem 3.1 it has been shown that the function Lz,t), given by 3.5), is a subordination chain in U. Applying Theorem 2.2 to the function wz,t) given by 3.7), we obtain that the condition 4.4) 1+s)Az,t) m 1 s)az,t)+m < l z U, t I, l < 1) with Az,t) defined by 3.8), implies l quasiconformal extensibility of G α z). Lengthy, but elementary calculations, show that the inequality 4.4) is equivalent to 4.5) Az,t) m 1+l 2 )+a1 l 2 ) ib1 l 2 ) ) 2a1+l 2 )+1 l 2 )1+ s 2 ) 2lm 2a1+l 2 )+1 l 2 )1+ s 2 ). Taking into account 4.1) and 4.2), we clearly see that 4.6) Az,t) m k m 2a 2a. Consider the two disks 1 s 1,r 1 ) and 2 s 2,r 2 ) defined by 4.5) and 4.6) respectively, where Az,t) is replaced by a complex variable w. The proof is completed by showing that there exists l [,1) for which 2 is contained in 1. Equivalently 2 1 holds, if s 1 s 2 +r 2 r 1, that is m 1+l 2 )+a1 l 2 ) ) imb1 l 2 ) 2a1+l 2 )+1 l 2 )1+ s 2 m ) 2a +km 2a 2lm 2a1+l 2 )+1 l 2 )1+ s 2 ) or 4.7) with the condition 4.8) 1 l 2 ) s 2 1 2a[2a1+l 2 )+1 l 2 )1+ s 2 )] 2l 2a1+l 2 )+1 l 2 )1+ s 2 ) k 2a. 2l 2a1+l 2 )+1 l 2 )1+ s 2 ) k 2a

UNIVALENCE AND QUASICONFORMAL EXTENSIONS OF AN OPERATOR 9 For the case, when k =, the condition 4.8) holds for every l, while 4.7) is satisfied for l 1 l < 1, where 4.9) l 1 = s 1 2 s 2 1. If, on the other hand, s = 1 and k,1), then 4.8) and 4.7) hold for k l < 1. Assume now s 1, and k,1). The condition 4.8) reduces to the quadratic inequality or l 2[ k1+ s 2 ) 2ak ] +4al k[2a+1+ s 2 ], 4.1) kl 2 s 1 2 +4al k s+1 2. Therefore, we find that 4.8) or 4.1)) holds for l 2 l < 1, where 4.11) l 2 = 4a 2 +k 2 s 2 1 2 2a k s 1 2. Similarly, 4.8) may be rewritten as or 1 l 2 ) s 2 1 4al 2ak1+l 2 ) k1 l 2 )1+ s 2 ), 4.12) l 2[ k s 1 2 + s 2 1 ] +4al k s+1 2 s 2 1, that is satisfied for l 3 l < 1, where 4.13) l 3 = s 1 2 +k s 2 1 s 2 1 +k s 1 2. We note that l 2 l 3. Indeed, it is trivial that [ s 2 1 +k s 1 2] 4a 2 +k 2 s 2 1 2 [ s 2 1 +k s 1 2][ 2a+k s 2 1 ]. Moreover, we see at once that [ s 2 1 +k s 1 2][ 2a+k s 2 1 ] [ s 2 1 +k s 1 2][ 2a+k s 2 1 ] +4ak s 1 2. Combining the last two inequalities we obtain [ s 2 1 +k s 1 2] 4a 2 +k 2 s 2 1 2 [ s 2 1 +k s 1 2][ 2a+k s 2 1 ] +4ak s 1 2, which is equivalent to the desired inequality l 2 l 3. Likewise, it is a simple matter to show that l 3 < 1, and the proof is complete, by setting K := l 3. We note also, that the case k = may be included to the last case i.e. s 1). Several similar sufficient conditions for quasiconformal extensions as in the Theorem 4.1 can be derived. Here we select a few example out of a large variety of possibilities. The following is based on the Theorem 2.2. Theorem 4.2. Let α >, and f,g A. If z 1 α gz) α 1 f z) Uk) for all z U, then the function G α z) can be extended to a k quasiconformal automorphism of C.

1 ERHAN DENIZ, STANIS LAWA KANAS, AND HALIT ORHAN Proof. Set Lz,t) = α An easy computation shows z g α 1 u)f u)du+e αt 1)z α pz,t) = 1 e αt z 1 α gz) α 1 f z) ) + 1/α 1 1 ) e αt, and the assertion follows by the same methods as in Theorem 4.1, applying Theorems 2.1 and 2.2. In the same manner, by definition of the suitable Loewner chain, several univalence criterion may by found. For example, the condition zg αz) G α z) Uk) α C), which is based on the integral operator G α z), is given by the Loewner chain Lz,t) = e t G α z). This work was partially supported by the Centre for Innovation and Transfer of Natural Sciences and Engineering Knowledge, Faculty of Mathematics and Natural Sciences, University of Rzeszow.. References [1] L. V. Ahlfors, Sufficient conditions for quasiconformal extension, Ann. Math. Stud. 79 1974), 23-29. [2] J. M. Anderson and A. Hinkkanen, Univalence criteria and quasiconformal extensions, Trans. Amer. Math. Soc. 324 1991), 823-842. [3] J. Becker, Löwnersche differential gleichung und quasikonform fortsetzbare schlichte functionen, J. Reine Angew. Math. 255 1972), 23-43. [In German]. [4] J. Becker, Über die Lösungsstruktur einer Differentialgleichung in der Konformen Abbildung, J. Reine Angew. Math. 285 1976), 66-74. [5] J. Becker, Conformal mappings with quasiconformal extensions, Aspects of Contemporary Complex Analysis, Ed. by D. A. Brannan and J. G. Clunie, Acad. Press, 198), 37-77. [6] Th. Betker, Löewner chains and quasiconformal extensions, Complex Variables Theory Appl. 21-4) 1992), 17-111. [7] M. Cağlar and H. Orhan, Sufficient conditions for univalence and quasiconformal extensions, Indian J. Pure Appl. Math. 461), 215), 41-5. [8] E. Deniz and H. Orhan, Some notes on extensions of basic univalence criteria, J. Korean Math. Soc. 481) 211), 179-189. [9] E. Deniz and H. Orhan, Loewner chains and univalence criteria related with Ruscheweyh and Sălăgean derivatives, J. Appl. Anal. Comput. 53) 215), 465-478. [1] I. Hotta, Löwner chains with complex leading coefficient, Monatsh. Math. 1633) 211), 315-325. [11] I. Hotta, Explicit quasiconformal extensions and Loewner chains, Proc. Japan Acad. Ser. A. Math. Sci. 85 29), 18-111. [12] I. Hotta, Löewner chains and quasiconformal extension of univalent functions, Dissertation, Tohoku Univ., 21. 5. S. [13] S. Kanas and A. Lecko, Univalence criteria connected with arithmetic and geometric means, I, Folia Sci. Univ.Tech. Resov. 21996), 49-59. [14] S. Kanas and A. Lecko, Univalence criteria connected with arithmetic and geometric means, II, Proceedings of the Second Int. Workshop of Transform Methods and Special Functions, Varna 96, Bulgar. Acad. Sci. Sofia)1996), 21-29. [15] J. G. Krzyż, Convolution and quasiconformal extension, Comment. Math. Helv. 51 1976), 99-14. [16] Z. Lewandowski, On a univalence criterion, Bull. Acad. Polon. Sci. Ser. Sci. Math. 29 1981), 123-126.

UNIVALENCE AND QUASICONFORMAL EXTENSIONS OF AN OPERATOR 11 [17] P. T. Mocanu, Une propriĕtĕ de convexitĕ generalisĕes dans la thĕorie de la rĕpresentation conforme, Studia Universitatis Babeş-Bolyai Mathematica Cluj) 1134) 1969), 127 133. [In French] [18] S. Moldoveanu and N. N. Pascu, A new generalization of Becker s univalence criterion I), Studia Universitatis Babeş-Bolyai Mathematica Cluj) 3154) 2 1989), 153-157. [19] S. Moldoveanu and N.N. Pascu, Integral operators which preserve the univalence, Studia Universitatis Babeş-Bolyai Mathematica Cluj) 32 55), no:2, 199), 159-166. [2] H. Ovesea, A generalization of Ruscheweyh s univalence criterion, J. Math. Anal. Appl. 258 21), 12-19. [21] N. N. Pascu, On a univalence criterion, II, Itinerant seminar on functional equations approximation and convexity, Cluj-Napoca, Preprint nr. 6 1985), 153-154.V. [22] V. Pescar, A new generalization of Ahlfor s and Becker s criterion of univalence, Bull. Malays. Math. Soc. 19 1996), 53 54. [23] J. A. Pfaltzgraff, K quasiconformal extension criteria in the disk, Complex Variables Theory Appl. 21 1993), 293-31. [24] Ch. Pommerenke, Über die Subordination analytischer Funktionen, J. Reine Angew. Math. 218 1965), 159-173. [25] Ch. Pommerenke, Univalent Functions, Vandenhoeck Ruprecht in Göttingen, 1975. [26] D. Raducanu, H. Orhan and E. Deniz, On some sufficient conditions for univalence, An. Stiint Univ. Ovidius Constanta Ser. Mat. 182) 21), 217-222. [27] S. Ruscheweyh, An extension of Becker s univalence condition, Math. Ann. 22 1976), 285-29. [28] V. Singh and P. N. Chichra, An extension of Becker s criterion for univalence, J. Indian Math. Soc. 41 1977), 353-361. [29] H. M. Srivastava and S. Owa Editors), Current Topics in Analytic Function Theory, World Scientific Publishing Company, Singapore, New Jersey, London and Hong Kong, 1992. E. Deniz) Department of Mathematics, Faculty of Science and Letters, Kafkas University, Kars, Turkey E-mail address: edeniz36@gmail.com S. Kanas) Institute of Mathematics, University of Rzeszów, Rzeszów, Poland E-mail address: skanas@ur.edu.pl H. Orhan) Department of Mathematics, Faculty of Science Atatürk University, TR-2524 Erzurum, Turkey E-mail address: horhan@atauni.edu.tr