Av 2419341939

International Journal of Modern Engineering Research (IJMER)
www.ijmer.com Vol.2, Issue.4, July-Aug. 2012 pp-1934-1939 ISSN: 2249-6645

www.ijmer.com 1934 | Page

Y. P. Yadav, N. D. Sangle
1
(Research Scholar, Department of Mathematics, Singhania University, Pacheri Bari,
Dist-Jhunjhunu, Rajasthan-333515)
2
(Department of Mathematics, Annasaheb Dange College of Engineering,
Ashta, Sangali, (M.S) India 416 301)

Abstract: In this paper, we have introduced a new class of complex valued harmonic functions which are orientation
preserving and univalent in the open unit disc and are related to uniformly convex functions. Coefficient bounds,
neighborhood and extreme points for the functions belonging to this class are obtained.
2000 AMS subject classification: Primary 30C45, Secondary 30C50, 30C55.
Key Words: Harmonic, derivative operator, univalent, Neighborhoods, extreme points.

I. INTRODUCTION
A continuous complex-valued function ( ) f z u iv = + is defined in a simply-connected complex domain D is said to be
harmonic in D if both u and v are real harmonic in D. Such functions can be expressed as
( ) ( ) ( ) f z h z g z = + (1.1)
where ( ) h z and ( ) g z are analytic in D. We call ( ) h z the analytic part and ( ) g z the co-analytic part of ( ) f z . A
necessary and sufficient condition for ( ) f z to be locally univalent and sense preserving in D is that
( ) ( ) h z g z >
for all z in D
,
Clunie and Shell-Smail [2]. Let H be the class of functions of the form (1.1) that are harmonic univalent
and sense-preserving in the unit disk
{ }
: 1 U z z = < for which
( ) ( ) 0 0 1 0
z
f f = = .Then for
( ) ( ) ( ) f z h z g z H = + e ,
we may express the analytic functions ( ) h z and ( ) g z as
( ) ( )
1
2 1
, , , 1
k k
k k
k k
h z z a z g z b z z U b

= =
= + = e <

(1.2)
In 1984, Clunie and Sheil-Small [2] investigated the class
H
S as well as its geometric subclasses and obtained some
coefficient bounds. Since then, there have been several related papers on
H
S and its subclasses. Now we will introduce a
generalized derivative operator for ( ) ( ) ( ) f z h z g z = + given by (1.2). For fixed positive natural m and
2 1
0, > >

( ) ( ) ( )
1 2 1 2 1 2
, , ,
, , ,
m k m k m k
D f z D h z D g z

= + , z U e (1.3)
where
( )
( )( )
( )
1 2
1 2 ,
,
2
2
1 1
1 1
m
m k k
k
k
k
D h z z a z
k

=
| | + +
= +
|
|
+
\ .

and
( )
( )( )
( )
1 2
1 2 ,
,
1
2
1 1
1 1
m
m k k
k
k
k
D g z b z
k

=
| | + +
=
|
|
+
\ .
.
We note that by specializing the parameters, especially when
1 2
0, = =
1 2
,
,
m k
D

reduces to
m
D which introduced by
Salagean in [6].
Now we will introduce the following definition.

Definition 1.1. For 0 1 l s < , let
( )
1 2
, , , ,
H
G l m k denote the subfamily of starlike harmonic functions ( ) f z H e of
the form (1.1) such that
A class of Harmonic Univalent Functions with Varying
Arguments Defined by Generalized Derivative Operator

( )
( ) ( )
( ) ( )
1 2
1 2
'
,
,
' ,
,
Re 1
m k
i i
m k
t
z D f z
e e l
z D f z

+ >
`

)
for z U e
,
(1.4)
Where
( ) ( )
( )
1 ( ) ( )
t
f z t z t h z g z = + +
,

( ) ( ) ( ) ( ) ( )
1 2 1 2
'
, ,
, ,
, .
m k m k i i
d d
D f z D f re z re
d d
u u

u u
= =
We also let
( ) ( )
1 2 1 2
, , , , , , , ,
H H H
V l m k G l m k V =

where
H
V is the class of harmonic functions with varying
arguments introduced by Jahangiri and Silverman [3] consisting of functions ( ) f z of the form (1.1) in H for which there
exists a real number | such that

( ) ( ) 1 mod2 ,
k
k q | t t + = ( ) ( ) 1 0 2 ,
k
k k o | + = > (1.5)
where
( ) arg
k k
a q = and
( ) arg
k k
b o = . The same class introduced in [4] with different differential operator.
In this paper, we obtain a sufficient coefficient condition for functions ( ) f z given by (1.2) to be in the class
( )
1 2
, , , ,
H
G l m k . It is shown that this coefficient condition is necessary also for functions belonging to the class
( )
1 2
, , , ,
H
V l m k . Further, extreme points for functions in
( )
1 2
, , , ,
H
V l m k are also obtained.

II. MAIN RESULT
We begin deriving a sufficient coefficient condition for the functions belonging to the class
( )
1 2
, , , ,
H
G l m k . This result
is contained in the following.
Theorem 2.1. Let ( ) ( ) ( ) f z h z g z = + given by (1.2). Furthermore, let
( )( )
( )
1 2
1
2
2
1 1
2 2 2
1
1 1 1 1 3
m
k k
k
k
k t lt k t lt t lt
a b b
l l k l

=
| | + +
+ + + + | |
+ s
|
|
|
+
\ .
\ .
(2.1)

where 0 1 l s < , then
( )
1 2
, , , ,
H
f G l m k e .
Proof: We first show that if the inequality (2.1) holds for the coefficients of ( ) ( ) ( ) f z h z g z = + , then the required
condition (1.4) is satisfied. Using (1.3) and (1.4), we can write

( )
( ) ( ) ( ) ( )
( ) ( ) ( )
( )
( )
( )
1 2 1 2
1 2 1 2
' '
, ,
, ,
, ,
, ,
Re 1 Re
1
m k m k
i i
m k m k
z D h z z D g z
A z
e e
B z
t z t D h z D g z

+ =
` `
+ +
)
)
(2.2)

where
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
1 2 1 2 1 2 1 2
' '
, , , ,
, , , ,
1 1
i m k m k i m k m k
A z e z D h z z D g z e t z t D h z D g z

(
(
= + + +
( (

( ) ( ) ( ) ( )
( )
1 2 1 2
, ,
, ,
1 .
m k m k
B z t z t D h z D g z

= + +
In view of the simple assertion that
( ) Re w l > if and only if 1 1 l w l w + > + ,it is sufficies to show that

( ) ( ) ( ) ( ) ( ) ( ) 1 1 0. A z l B z A z l B z + + > (2.3)
Substituting for
( ) A z and
( ) B z the appropriate expressions in (2.3), we get
( ) ( ) ( ) ( ) ( ) ( ) 1 1 A z l B z A z l B z + +

( ) ( )
( )( )
( )
1 2
2
2
1 1
2 1 4 2 2
1 1
m
k
k
k
k
l z k t lt a z
k

=
| | + +
>
|
|
+
\ .


( )
( )( )
( )
1 2
1 1 1
2
2
1 1
4 2 2 4 2 2
1 1
m
k
k
k
k
k t lt b z b t b lt b
k

=
| | + +
+ +
|
|
+
\ .

( )
( )( )
( )
( )( )
( )
1 2
1
2
2
1 2
2
1 1
2 2
2 1 1
1 1 1
1 1
2
0
1 1
m
k
k
m
k
k
t lt k t lt
l b a
l l k
k
k t lt
b
l k

=
|
| | + +
+ +

>
|
|

\ .
\
|
| | + +
+ +
|
+ >
| `
|
|
\ .
.)

by virtue of the inequality (2.1). This implies that
( )
1 2
( ) , , , ,
H
f z G l m k e .
Now we obtain the necessary and sufficient condition for function ( ) ( ) ( ) f z h z g z = + be given with condition (1.5).

Theorem 2.2. Let ( ) ( ) ( ) f z h z g z = + be given by (2). Then
( ) ( )
1 2
, , , ,
H
f z V l m k e

if and only if

( )( )
( )
1 2
1
2
2
1 1
2 2 2
1
1 1 1 3
m
k k
k
k
k t lt k t lt t lt
a b b
l l k l

=
| | + +
+ + + + (
+ s
|
(
|

\ .
(2.4) where
0 1 l s < .

Proof. Since
( ) ( )
1 2 1 2
, , , , , , , ,
H H
V l m k G l m k c , we only need to prove the
necessary part of the theorem. Assume that
( )
1 2
( ) , , , ,
H
f z V l m k e , then by virtue of (1.3) to (1.4), we obtain

( )
( ) ( ) ( ) ( )
( ) ( ) ( )
( )
( )
1 2 1 2
1 2 1 2
' '
, ,
, ,
, ,
, ,
Re 1 0.
1
m k m k
i i
m k m k
z D h z z D g z
e e l
t z t D h z D g z

+ + >
`
+ +

)

(2.5)
The above inequality is equivalent to
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
( ) ( ) ( )
( ) ( )
1 2 1 2 1 2 1 2
1 2 1 2
' '
, , , ,
, , , ,
1
, ,
, ,
Re 1 1
1
i m k m k i m k m k
m k m k
e z D h z z D g z e l t z t D h z D g z
t z t D h z D g z

| | (
(
+ + + +
|
( (

\ .
+ +
`
)
( ) ( )
( )( )
( )
1 2
2
2
1 1
Re 1 1
1 1
m
i i k
k
k
k
l z k e e t lt a z
k

=
|
| | + +
(
= + +
|
|
+
\ .
\

( )
( )( )
( )
1 2
1
2
1 1
1
1 1
m
k
i i
k
k
k
k e e t lt b z
k

=
|
| | + +
| (
+ + +
|
|
| +
\ .
.

( )( )
( )
( )( )
( )
1
1 2 1 2
1 1
2 2
1 1 1 1
1 1 1 1
m m
k
k
k k
k k
k k
z t a z t b z
k k

= =
| |
| | | | + + + +

|
+ +
| | `
| |
| + +
\ . \ .
\ .
)

( ) ( )
( )( )
( )
1 2 1
2
2
1 1
Re 1 1
1 1
m
i i k
k
k
k
l k e e t lt a z
k

=
|
| | + +
(
= + +
|
|
+
\ .
\


( )
( )( )
( )
1
1 2
1
2
1 1
1
1 1
m
k
i i
k
k
k
z
k e e t lt b z
z k

=
|
| | + +
| (
+ + +
|
|
| +
\ .
.

( )( )
( )
( )( )
( )
1
1
1 2 1 2 1
1 1
2 2
1 1 1 1
1
1 1 1 1
m m
k
k
k k
k k
k k
z
t a z t b z
k z k

= =
| |
| | | | + + + +

|
+ +
| | `
| |
| + +
\ . \ .
\ .
)

0. >

This condition must hold for all values of z , such that 1 z r = < .Upon choosing | according to (1.5) and noting that
( )
Re 1
i i
e e

> = , the above inequality reduces to

( ) ( ) ( )
( )( )
( )
1 2 1
1
2
2
1 1
1 2 1
1 1
m
i i k
k
k
k
l t lt b k e e t lt a r
k

=
|
| | + +
(
+ + + +
|
|
+
\ .
\

( )
( )( )
( )
1 2 1
2
1 1
1
1 1
m
i i k
k
k
k e e t lt b r
k

|
| | + +
| (
+ + + +
|
|
| +
\ .
.

( )( )
( )
( )( )
( )
1
1 2 1 2 1 1
1 1
2 2
1 1 1 1
1 0.
1 1 1 1
m m
k k
k k
k k
k k
t a r t b r
k k

= =
| |
| | | | + + + +

|
+ + >
| | `
| |
| + +
\ . \ .
\ .
)

(2.6)

If (2.4) does not hold, then the numerator in (2.6) is negative for r sufficiently close to 1. Therefore, there exists a point
0 0
z r = in
( ) 0,1 for which the quotient in (2.6) is negative. This contradicts our assumption that
( )
1 2
( ) , , , ,
H
f z V l m k e . We thus conclude that it is both necessary and sufficient that the coefficient bound inequality
(2.4) holds true when
( )
1 2
( ) , , , ,
H
f z V l m k e .
This completes the proof of Theorem 2.2.

Theorem 2.3. The closed convex hull of
( )
1 2
( ) , , , ,
H
f z V l m k e (denoted by
( )
1 2
, , , , )
H
clcoV l m k is

( )
1
2 1 2
: 1
k k
k k k k
k k k
f z z a z b z k a b b

= = =

= + + + ( <
`

)

By setting

( )
( )( )
( )
1 2
2
1
1 1
2
1
k m
l
k
k t lt
k
=
| | + +

|
\ .

and

( )
( ) ( )
( )
1 2
2
1
1 1
2
1
k m
l
k
k t lt
k
+
=
| | + +
+ +
|
\ .
, then
for
1
b fixed, the extreme points for
( )
1 2
, , , ,
H
clcoV l m k are

{ } { } 1 1
k k
k k
z xz b z z b z xz + + + + (2.7)
where 2 k > and
1
1 x b = .
Proof: Any function ( ) f z in
( )
1 2
, , , ,
H
clcoV l m k may be expressed as
( )
1
2 1
i k k i k k
k k
k k
f z z a e z b z b e z
q o

= =
= + + +

where the coefficients satisfy the inequality (2.1). Set
( )
1
h z z = ,
( )
1 1
g z b z = ,
( )
i k k
k k
h z z e z
q
= + ,
( )
1
i k k
k k
g z b z e z
o
= + for 2, 3, 4,... k = Writing
k
k
k
a
_
= ,
k
k
k
b
Y
= , 2, 3, 4,... k = and
1
2
1
k
k
_ _
=
=
;
1
2
1
k
k
Y Y
=
=
, we get
( ) ( ) ( ) ( )
1
k k k k
k
f z h z Y g z _
=
= +
.

In particular, setting
( )
1 1
f z z b z = + and
( )
1
k k
k k k
f z z xz b z yz = + + + ,
( )
1
2, 1 , k x y b > + =
we see that extreme points of clco
( ) ( ) { }
1 2
( ) , , , ,
H k
f z V l m k f z e c .
To see that
( )
1
f z is not in extreme point, note that
( )
1
f z may written as

( ) ( ) ( ) { } ( ) ( ) { }
2 2
1 1 2 1 1 2 1
1 1
1 1
2 2
f z f z b z f z b z = + +
a convex linear combination of functions in
( )
1 2
, , , ,
H
clcoV l m k .
To see that
m
f is not an extreme point if both 0 x = and 0 y = , we will show that it can then also be expressed as a
convex linear combinations of functions in
( )
1 2
, , , ,
H
clcoV l m k . Without loss of generality, assume x y > .
Choose 0 e>

small enough so that
x
y
e> . Set 1 A= +e and 1
x
B
y
e
= + . We then see that both
( )
1 1
k k
k k
t z z Axz b z yBz = + + + and
( ) ( ) ( )
2 1
2 2
k k
k k
t z z A xz b z y B z = + + + are in
( )
1 2
, , , ,
H
clcoV l m k and that
( ) ( ) ( ) { }
1 2
1
.
2
k
f z t z t z = +
The extremal coefficient bounds show that functions of the form (12) are the extreme points for
( )
1 2
, , , ,
H
clcoV l m k ,
and so the proof is complete.
Following Avici and Zlotkiewicz [1] and Ruscheweyh [5], we refer to the o -neighborhood of the functions
( ) f z
defined by (1.2) to be the set of functions F for which
( ) ( )
2 1
,
k k
k k
k k
N f F z z A z B z
o

= =
= = + +

( )
1 1
2
k k k k
k
k a A b B b B o
+ + s
`
)
(2.8)
In our case, let us define the generalized o -neighborhood of ( ) f z to be the set
( ) ( )
( )( )
( )
( ) ( )
1 2
2
2
1 1
: 2 2
1
m
k k k k
k
k
N f F z k t lt a A k t lt b B
k
o

| | + +
= + + + (
|

|
\ .

( ) ( ) }
1 1
1 1 . l b B l o + s

(2.9)
Theorem 2.4. Let ( ) f z be given by (1.2). If ( ) f z satisfies the conditions

( )
( )( )
( )
1 2
2
2
1 1
2
1
m
k
k
k
k k t lt a
k

=
| | + +

|
|
\ .


( )
( )( )
( )
( ) ( )
1 2
1
2
1 1
2 1 , 2.10
1
m
k
k
k
k k t lt b l
k

=
| | + +
+ + + s
|
|
\ .

where 0 1 l s < and
1
1 2
1
3 1
l t lt
b
t lt l
o
+ + | |
=
|

\ .
(2.11)
then
( ) ( )
1 2
, , , , .
H
N f G l m k c
Proof. Let ( ) f z satisfy (15) and
( ) F z be given by
( )
( ) 1
2
k k
k k
k
F z z B z A z B z
=
= + + +

which belong to to
( ) N f . We obtain
( ) ( ) ( ) ( )
( )( )
( )
1 2
1
2
2
1 1
2 2 2
1
m
k k
k
k
t lt B k t lt A k t lt B
k

=
| | + +
+ + + + + +
|
|
\ .

( ) ( )
1 1 1
2 2 t lt B b t lt b s + + + + +

( ) ( ) ( )
( )( )
( )
1 2
2
2
1 1
2 2
1
m
k k k k
k
k
k t lt A a k t lt B b
k

=
| | + +
+ + + +
|
|
\ .

( ) ( ) ( )
( )( )
( )
1 2
2
2
1 1
2 2
1
m
k k
k
k
k t lt a k t lt b
k

=
| | + +
+ + + +
|
|
\ .

( ) ( )
1
1 2 l t lt b o s + + +

( ) ( ) ( )
( )( )
( )
1 2
2
2
1 1
1
2 2
3 1
m
k k
k
k
k k t lt a k t lt b
l k

=
| | + +
+ + + +
|
|

\ .

( ) ( ) ( ) ( )
1 1
1
1 2 1 2 1 .
3
l t lt b l t lt b l
l
o s + + + + + + ( s

Hence for
1
1 2
1 ,
3 1
l t lt
b
l l
o
+ + | |
=
|

\ .
we infer that
( ) ( )
1 2
, , , ,
H
F z G l m k e which concludes the proof Theorem
2.4.

REFERENCES
[1] Y. Avici and E. Zlotkiewicz, On harmonic univalent mappings, Ann. Univ. Mariae Curie-Sklodowska Sect. A 44
(1990), 1-7.

[2] J. Clunie and T. Shell-Smail, Harmonic univalent functions, Ann. Acad. Sci. Fenn. Ser. A. I. Math., 9:(1984), 3-25.

[3] J. M. Jahangiri and H. Silverman, Harmonic univalent functions with varying arguments, Int. J. Appl. Math.
8(3):(2002), 267-275.

[4] G.Murugusundaramoorthy, K. Vijaya, and R. K. Raina, A subclass of harmonic functions with varying arguments
defined by Dziok-Srivastava operator, Archivum Mathematicum. 45 (2009), 37-46.

[5] S. Ruscheweyh. Neighborhoods of univalent functions, Proc. Amer. Math. Soc.81 (1981), 521-528.

[6] G. S. Salagean, Subclass of univalent functions, Lecture Notes in Math., Springer-Verlag, Berlin, Heidelberg and New
York., 1013:(1983), 362-372.

Av 2419341939

Enviado por

Dados do documento

Descrição original:

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Av 2419341939

Enviado por

Direitos autorais:

Formatos disponíveis

International Journal of Modern Engineering Research (IJMER)

www.ijmer.com Vol.2, Issue.4, July-Aug. 2012 pp-1934-1939 ISSN: 2249-6645

Você também pode gostar