Bounded harmonic mappings related to starlike functions

Transkript

Bounded harmonic mappings related to starlike functions
Bounded harmonic mappings related to starlike functions
Durdane Varol, Melike Aydoğan, and Yaşar Polatoğlu
Citation: AIP Conference Proceedings 1602, 644 (2014); doi: 10.1063/1.4882553
View online: http://dx.doi.org/10.1063/1.4882553
View Table of Contents: http://scitation.aip.org/content/aip/proceeding/aipcp/1602?ver=pdfcov
Published by the AIP Publishing
Articles you may be interested in
Harmonic maps relative to α-connections of statistical manifolds
AIP Conf. Proc. 1641, 395 (2015); 10.1063/1.4906003
Quasiconformal harmonic mappings related to Janowski alpha-spirallike functions
AIP Conf. Proc. 1602, 779 (2014); 10.1063/1.4882574
Coherent state maps related to the bounded positive operators
J. Math. Phys. 48, 123514 (2007); 10.1063/1.2821615
On harmonic maps into gauge groups
J. Math. Phys. 39, 6684 (1998); 10.1063/1.532649
Harmonic vortices in bounded plasmas
Phys. Fluids 29, 339 (1986); 10.1063/1.865949
This article is copyrighted as indicated in the article. Reuse of AIP content is subject to the terms at: http://scitation.aip.org/termsconditions. Downloaded to IP:
193.255.121.155 On: Sat, 15 Aug 2015 00:44:20
Bounded Harmonic Mappings Related to Starlike Functions
Durdane Varola, Melike Aydoğana and Yaşar Polatoğlub
a
Department of Mathematics, Işık University,
Meşrutiyet Köyü, Şile, İstanbul, Turkey
Email: [email protected], [email protected]
b
Department of Mathematics and Computer Science,
İstanbul Kültür Üniversitesi, İstanbul, Turkey
Email: [email protected]
Abstract. Let ݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻ be a sense-preserving harmonic mapping in the open unit disc ࣞ ൌ ሼ‫ݖ‬ȁȁ‫ݖ‬ȁ ൏ ͳሽǤ If ݂
satisfies the conditionቤ
ͳ
݃Ԣሺ‫ݖ‬ሻ
ܾͳ
݄Ԣ ሺ‫ݖ‬ሻ
ͳ
െ ‫ܯ‬ቤ ൏ ‫ܯ‬ǡ ‫ ܯ‬൐ ǡ then݂ is called bounded harmonic mapping. The main purpose of this
ʹ
paper is to give some properties of the class of bounded harmonic mapping.
Keywords: bounded harmonic mapping, starlike functions, distortion theorem, growth theorem, coefficient inequality.
PACS: 02.30.Fn; 02.30.Gp; 02.30.Px
INTRODUCTION
Let ȳ be the family of functions ߶ሺ‫ݖ‬ሻ regular in ࣞ and satisfying the conditions ߶ሺͲሻ ൌ Ͳǡ ȁ߶ሺ‫ݖ‬ሻȁ ൏ ͳ for
every‫ࣞ א ݖ‬Ǥ
Next, denote by ܲ the family of functions ‫݌‬ሺ‫ݖ‬ሻ ൌ ͳ ൅ ‫ ݖ ͳ݌‬൅ ‫ ʹ ݖ ʹ݌‬൅ ‫ڮ‬regular in ࣞ and such that ‫݌‬ሺ‫ݖ‬ሻ is inܲ if
and only if
ͳ ൅ ߶ሺ‫ݖ‬ሻ
‫݌‬ሺ‫ݖ‬ሻ ൌ
ͳ െ ߶ሺ‫ݖ‬ሻ
for some߶ሺ‫ݖ‬ሻ ‫ א‬ȳand every ‫ࣞ א ݖ‬Ǥ
Moreover, letܵ ‫ כ‬denote the family of functions݄ሺ‫ݖ‬ሻ ൌ ‫ ݖ‬൅ ܿʹ ‫ ʹ ݖ‬൅ ‫ ڮ‬regular in ࣞ and such that ݄ሺ‫ݖ‬ሻis in ܵ ‫ כ‬if
and only if
݄Ԣሺ‫ݖ‬ሻ
ൌ ‫݌‬ሺ‫ݖ‬ሻ
‫ݖ‬
݄ሺ‫ݖ‬ሻ
ʹ
for some ‫݌‬ሺ‫ݖ‬ሻ ‫ ܲ א‬and ‫ࣞ א ݖ‬Ǥ Let‫ ͳݏ‬ሺ‫ݖ‬ሻ ൌ ‫ ݖ‬൅ ݀ʹ ‫ ݖ‬൅ ‫ڮ‬and ‫ ʹݏ‬ሺ‫ݖ‬ሻ ൌ ‫ ݖ‬൅ ݁ʹ ‫ ʹ ݖ‬൅ ‫ڮ‬be analytic functions in the open
unit discࣞǤ If there exists a function߶ሺ‫ݖ‬ሻ ‫ א‬ȳ such that ‫ ͳݏ‬ሺ‫ݖ‬ሻ ൌ ‫ ʹݏ‬ሺ߶ሺ‫ݖ‬ሻሻfor all ‫ࣞ א ݖ‬ǡ then we say that‫ ͳݏ‬ሺ‫ݖ‬ሻ is
subordinate to ‫ ʹݏ‬ሺ‫ݖ‬ሻ and we write ‫ ͳݏ‬ሺ‫ݖ‬ሻ ‫ ʹݏ ط‬ሺ‫ݖ‬ሻǤ Specially if‫ ʹݏ‬ሺ‫ݖ‬ሻ is univalent inࣞ, then‫ ͳݏ‬ሺ‫ݖ‬ሻ ‫ ʹݏ ط‬ሺ‫ݖ‬ሻ if and only
if ‫ ͳݏ‬ሺࣞሻ ‫ ʹݏ ؿ‬ሺࣞሻ implies ‫ ͳݏ‬ሺࣞ‫ ݎ‬ሻ ‫ ʹݏ ؿ‬ሺࣞ‫ ݎ‬ሻǡ whereࣞ‫ ݎ‬ൌ ሼ‫ݖ‬ȁȁ‫ݖ‬ȁ ൏ ‫ݎ‬ǡ Ͳ ൏ ‫ ݎ‬൏ ͳሽ. (Subordination and Lindelöf
principle [2],[4])
Finally, a planar harmonic mapping in the open unit disc ࣞis a complex-valued harmonic function ݂ǡ which
maps ࣞonto the some planar domain ݂ሺࣞሻǤ Since ࣞis a simply connected domain, the mapping ݂has a canonical
decomposition ݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻ,where ݄ሺ‫ݖ‬ሻ and ݃ሺ‫ݖ‬ሻ are analytic inࣞ and have the following power series
expansion,
λ
݄ሺ‫ݖ‬ሻ ൌ ෍ ܽ݊ ‫ ݊ ݖ‬ǡ
݊ൌͲ
λ
݃ሺ‫ݖ‬ሻ ൌ ෍ ܾ݊ ‫ ݊ ݖ‬ǡ
݊ൌͲ
whereܽ݊ ǡ ܾ݊ ‫ א‬ԧ, ݊ ൌ Ͳǡͳǡʹǡ ǥas usual we call ݄ሺ‫ݖ‬ሻ the analytic part of ݂and݃ሺ‫ݖ‬ሻ is co-analytic part of݂Ǥ An elegant
and complete treatment theory of the harmonic mapping is given Duren’s monograph.[3]
Proceedings of the 3rd International Conference on Mathematical Sciences
AIP Conf. Proc. 1602, 644-649 (2014); doi: 10.1063/1.4882553
© 2014 AIP Publishing LLC 978-0-7354-1236-1/$30.00
644 to the terms at: http://scitation.aip.org/termsconditions. Downloaded to IP:
This article is copyrighted as indicated in the article. Reuse of AIP content is subject
193.255.121.155 On: Sat, 15 Aug 2015 00:44:20
Lewy [7] proved in 1936 that the harmonic mapping of ݂ is locally univalent inࣞ if and only if its Jacobien
‫ ݂ܬ‬ൌ ȁ݄Ԣሺ‫ݖ‬ሻȁʹ െ ȁ݃Ԣ ሺ‫ݖ‬ሻȁʹ is different from zero inࣞǤ In the view of this result, locally univalent harmonic mappings in
the open unit disc ࣞare either sense-preserving ifȁ݄Ԣሺ‫ݖ‬ሻȁ ൐ ȁ݃Ԣሺ‫ݖ‬ሻȁ in ࣞor sense-reversing if ȁ݃Ԣሺ‫ݖ‬ሻȁ ൐ ȁ݄Ԣሺ‫ݖ‬ሻȁin ࣞǤ
Throughout this paper, we will restrict ourselves to the study of sense-preserving harmonic mappings. We also note
that݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻis sense-preserving in ࣞ if and only if݄Ԣሺ‫ݖ‬ሻ does not vanish in ࣞ and the second dilatation
݃Ԣ ሺ‫ݖ‬ሻ
has the property ȁ߱ሺ‫ݖ‬ሻȁ ൏ ͳfor all ‫ࣞ א ݖ‬Ǥ Therefore, the class of all sense-preserving harmonic
߱ሺ‫ݖ‬ሻ ൌ
݄Ԣ ሺ‫ݖ‬ሻ
mappings in the open unit discࣞ withܽͲ ൌ ܾͲ ൌ Ͳ and ܽͳ ൌ ͳwill be denoted by ܵ‫ ܪ‬Ǥ Thus,ܵ‫ ܪ‬contains standard class
ܵ of univalent functions. The family of all mappings݂ ‫ ܪܵ א‬with the additional property ݃Ԣ ሺͲሻ ൌ Ͳ, i.e., ܾͳ ൌ Ͳis
denoted byܵ‫ Ͳܪ‬. Hence it is clear thatܵ ‫ ܪܵ ؿ Ͳܪܵ ؿ‬Ǥ
The main purpose of this paper is to investigate the class of harmonic mappings
ͳ Ԣ
݃ ሺ‫ݖ‬ሻ
ͳ
ܾͳ
‫ כ‬ሺ‫ܯ‬ሻ
ൌ ቐ݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻ ‫ ܪܵ א‬ȁ ቮ Ԣ
ܵ‫ܪ‬
െ ‫ܯ‬ቮ ൏ ‫ܯ‬ǡ ‫ ܯ‬൐ ǡ ݄ሺ‫ݖ‬ሻ ‫ כܵ א‬ሺ‫ܯ‬ሻቑ
ʹ
݄ ሺ‫ݖ‬ሻ
For this investigation we will need the following theorem and lemma.
Theorem 1 ([2], [4])Let ݄ሺ‫ݖ‬ሻ be an element of ܵ ‫ כ‬ǡ then
‫ݎ‬
‫ݎ‬
൑ ȁ݄ሺ‫ݖ‬ሻȁ ൑
ሺͳ ൅ ‫ݎ‬ሻʹ
ሺͳ െ ‫ݎ‬ሻʹ
and
ͳ൅‫ݎ‬
ͳെ‫ݎ‬
൑ ȁ݄Ԣ ሺ‫ݖ‬ሻȁ ൑
Ǥ
͵
ሺͳ െ ‫ݎ‬ሻ͵
ሺͳ ൅ ‫ݎ‬ሻ
Theorem 2 ([2])If ‫ܨ‬ሺ‫ݖ‬ሻand ‫ܩ‬ሺ‫ݖ‬ሻ are regular in ࣞ, ‫ܨ‬ሺͲሻ ൌ ‫ܩ‬ሺͲሻǡ ‫ܩ‬ሺ‫ݖ‬ሻ mapsࣞ onto a many-sheeted region which is
‫ܨ‬Ԣ ሺ‫ݖ‬ሻ
‫ܨ‬ሺ‫ݖ‬ሻ
‫ ܲ א‬and
‫ܲ א‬Ǥ
starlike with respect to the origin and
‫ܩ‬Ԣ ሺ‫ݖ‬ሻ
‫ܩ‬ሺ‫ݖ‬ሻ
Lemma 1 ([5]) Let ߶ሺ‫ݖ‬ሻ be regular in the unit diskࣞ with߶ሺͲሻ ൌ ͲǤ Then if ȁ߶ሺ‫ݖ‬ሻȁ attains its maximum value on
the circle ȁ‫ݖ‬ȁ ൌ ‫ݎ‬at the point ‫ ͳݖ‬, one has ‫ ߶ ͳݖ‬Ԣ ሺ‫ ͳݖ‬ሻ ൌ ݇߶ሺ‫ ͳݖ‬ሻǡ for ݇ ൒ ͳǤ
MAIN RESULTS
Theorem 3 Let݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻ be an element ofܵ‫ כܪ‬ሺ‫ܯ‬ሻǡ then
݃Ԣ ሺ‫ݖ‬ሻ
݄Ԣ ሺ‫ݖ‬ሻ
ͳ
‫ͳܾ ط‬
ͳ൅‫ݖ‬
ͳ൅ߙ‫ݖ‬
(1)
whereߙ ൌ ͳ െ Ǥ
‫ܯ‬
Proof. Since ݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻ be an element of ܵ‫ כܪ‬ሺ‫ܯ‬ሻǡ then
݄ሺ‫ݖ‬ሻ ൌ ‫ ݖ‬൅ ܽʹ ‫ ʹ ݖ‬൅ ‫݄ ฺ ڮ‬Ԣ ሺ‫ݖ‬ሻ ൌ ͳ ൅ ʹܽʹ ‫ ݖ‬൅ ‫ڮ‬ǡ
݃ሺ‫ݖ‬ሻ ൌ ܾͳ ‫ ݖ‬൅ ܾʹ ‫ ʹ ݖ‬൅ ‫ฺ ڮ‬
Thus,
ͳ
ܾͳ
݃Ԣ ሺ‫ݖ‬ሻ
݄Ԣ ሺ‫ݖ‬ሻ
ൌ
ܾʹ
ͳ Ԣ
݃ ሺ‫ݖ‬ሻ ൌ ͳ ൅ ʹ ‫ ݖ‬൅ ‫ڮ‬Ǥ
ܾͳ
ܾͳ
‫ܩ‬Ԣሺ‫ݖ‬ሻ
‫ܩ‬Ԣሺ‫ݖ‬ሻ
ͳ ‫ܩ‬Ԣሺ‫ݖ‬ሻ
ฺቤ Ԣ
െ ‫ܯ‬ቤ ൏ ‫ ฺ ܯ‬ቤ ή Ԣ
െ ͳቤ ൏ ͳ
݄Ԣሺ‫ݖ‬ሻ
݄ ሺ‫ݖ‬ሻ
‫ ݄ ܯ‬ሺ‫ݖ‬ሻ
645 to the terms at: http://scitation.aip.org/termsconditions. Downloaded to IP:
This article is copyrighted as indicated in the article. Reuse of AIP content is subject
193.255.121.155 On: Sat, 15 Aug 2015 00:44:20
߮ሺ‫ݖ‬ሻ ൌ
ͳ
‫ܯ‬
ή
‫ܩ‬Ԣሺ‫ݖ‬ሻ
݄Ԣ ሺ‫ݖ‬ሻ
െ ͳ, ߮ሺ‫ݖ‬ሻis analytic and߮ሺͲሻ ൌ
߶ሺ‫ݖ‬ሻ ൌ
ͳ
‫ܯ‬
െ ͳǡ therefore we consider the function
ͳ
߮ሺ‫ݖ‬ሻ െ ߮ሺͲሻ
ൌ
ͳ െ ߮ሺͲሻ߮ሺ‫ݖ‬ሻ
‫ ܩ‬Ԣ ሺ‫ݖ‬ሻ
ሺ
െ ͳሻ
‫ ݄ ܯ‬Ԣ ሺ‫ݖ‬ሻ
ͳ
ͳ ‫ ܩ‬Ԣ ሺ‫ݖ‬ሻ
ͳ െ ሺͳ െ ሻሺ
‫ ݄ ܯ‬Ԣ ሺ‫ݖ‬ሻ
‫ܯ‬
െ ͳሻ
Ǥ
This function satisfies the conditions of Schwarz lemma. Then we can write
‫ܩ‬Ԣ ሺ‫ݖ‬ሻ
݄Ԣ ሺ‫ݖ‬ሻ
The equality (2) shows that
ൌ
ͳ൅߶ ሺ‫ݖ‬ሻ
ͳ൅ߙ߶ ሺ‫ݖ‬ሻ
ǡ
ͳ
ߙൌ
‫ܯ‬
െ ͳǤ
(2)
݃Ԣሺ‫ݖ‬ሻ
ͳ൅‫ݖ‬
‫ͳܾ ط‬
Ǥ
݄Ԣሺ‫ݖ‬ሻ
ͳ ൅ ߙ‫ݖ‬
Corollary 1 Let ݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻ be an element of ܵ‫ כܪ‬ሺ‫ܯ‬ሻǡ then
‫ܨ‬ሺȁܾͳ ȁǡ ߙǡ െ‫ݎ‬ሻ ൑ ȁ݃Ԣ ሺ‫ݖ‬ሻȁ ൑ ‫ܨ‬ሺȁܾͳ ȁǡ ߙǡ ‫ݎ‬ሻ
where
‫ܨ‬ሺȁܾͳ ȁǡ ߙǡ ‫ݎ‬ሻ ൌ
Proof. Since the transformation߱ሺ‫ݖ‬ሻ ൌ
radius ሺ‫ݎ‬ሻ ൌ
ሺͳെߙ ሻ‫ݎ‬
ͳെߙ ʹ ‫ʹ ݎ‬
ͳ൅‫ݖ‬
ͳ൅ߙ‫ݖ‬
(3)
ͳ ൅ ‫ ݎ‬ȁܾͳ ȁሺͳ ൅ ‫ݎ‬ሻ
ή
Ǥ
ሺͳ െ ‫ݎ‬ሻ͵
ͳ ൅ ߙ‫ݎ‬
maps ȁ‫ݖ‬ȁ ൌ ‫ ݎ‬onto the disc with the centre ‫ܥ‬ሺ‫ݎ‬ሻ ൌ ቀ
ͳെߙ‫ʹ ݎ‬
ͳെߙ ʹ ‫ʹ ݎ‬
ǡ Ͳቁand the
, then using Subordination or Lindelöf principle we can write
ቚ
‫ܩ‬Ԣ ሺ‫ݖ‬ሻ
݄Ԣ ሺ‫ݖ‬ሻ
െ
ͳെߙ ‫ʹ ݎ‬
ͳെߙ ʹ ‫ʹ ݎ‬
ቚ൑
ሺͳെߙ ሻ‫ݎ‬
ͳെߙ ʹ ‫ʹ ݎ‬
Ǥ
(4)
After the simple calculations from (4) and using Theorem 1 we obtain (3).
Theorem 4 Let ݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻ be an element of ܵ‫ כܪ‬ሺ‫ܯ‬ሻǡ then
݃ሺ‫ݖ‬ሻ
ͳ൅‫ݖ‬
‫ͳܾ ط‬
Ǥ
݄ሺ‫ݖ‬ሻ
ͳ ൅ ߙ‫ݖ‬
Proof. Using Corollary 2.2 we have
ͳ
݃Ԣሺ‫ݖ‬ሻ
ܾͳ
ቮ
݄Ԣሺ‫ݖ‬ሻ
െ
ሺͳ െ ߙሻ‫ݎ‬
ͳ െ ߙ‫ʹݎ‬
ቮ൑
ʹ
ʹ
ͳ െ ߙʹ ‫ʹ ݎ‬
ͳെߙ ‫ݎ‬
݃Ԣሺ‫ݖ‬ሻ ܾͳ ሺͳ െ ߙ‫ ʹݎ‬ሻ ȁܾͳ ȁሺͳ െ ߙሻ‫ݎ‬
െ
ቤ൑
݄Ԣሺ‫ݖ‬ሻ
ͳ െ ߙʹ ‫ʹ ݎ‬
ͳ െ ߙʹ ‫ʹ ݎ‬
ฺቤ
Therefore we can write
݃Ԣሺ‫ݖ‬ሻ
߱ሺࣞ‫ ݎ‬ሻ ൌ ቄ‫ݖ‬ȁ ቚ݄Ԣ ሺ‫ݖ‬ሻ െ
ܾͳ ሺͳെߙ‫ ʹ ݎ‬ሻ
ȁܾͳ ȁሺͳെߙሻ‫ݎ‬
ͳെߙ ʹ ‫ʹ ݎ‬
ͳെߙ ʹ ‫ʹ ݎ‬
ቚ൑
ቅ
(5)
Now we define the function ߶ሺ‫ݖ‬ሻby
݃ሺ‫ݖ‬ሻ
݄ ሺ‫ݖ‬ሻ
ൌ ܾͳ
ͳ൅߶ ሺ‫ݖ‬ሻ
ͳ൅ߙ߶ ሺ‫ݖ‬ሻ
ǡ
(6)
646 to the terms at: http://scitation.aip.org/termsconditions. Downloaded to IP:
This article is copyrighted as indicated in the article. Reuse of AIP content is subject
193.255.121.155 On: Sat, 15 Aug 2015 00:44:20
then we have
ͳ ൅ ߶ሺͲሻ
ͳ ൅ ߶ሺͲሻ
݃ሺͲሻ
ൌ ܾͳ ൌ ܾͳ
ฺͳൌ
ฺ ߶ሺͲሻ ൌ ͲǤ
ͳ ൅ ߙ߶ሺͲሻ
ͳ ൅ ߙ߶ሺͲሻ
݄ሺͲሻ
߶ሺ‫ݖ‬ሻis analytic.
Now we show thatȁ߶ሺ‫ݖ‬ሻȁ ൏ ͳfor all ‫ࣞ א ݖ‬Ǥ Indeed assume the contrary; there exists a point ‫ݖ‬onȁ‫ݖ‬ȁ ൌ ‫ ݎ‬such
thatȁ߶ሺ‫ ͳݖ‬ሻȁ ൌ ͳǤ Taking the derivative from (6) and using Jack lemma (Lemma 1) we obtain
ͳ ൅ ߶ሺ‫ݖ‬ሻ
ሺͳ െ ߙሻ‫߶ݖ‬Ԣሺ‫ݖ‬ሻ ݄ሺ‫ݖ‬ሻ
݃Ԣሺ‫ݖ‬ሻ
ൌ ܾͳ
൅ ܾͳ
ή
ͳ ൅ ߙ߶ሺ‫ݖ‬ሻ
ሺͳ ൅ ߙ߶ሺ‫ݖ‬ሻሻʹ ‫݄ݖ‬Ԣሺ‫ݖ‬ሻ
݄Ԣሺ‫ݖ‬ሻ
ฺ ߱ሺ‫ ͳݖ‬ሻ ൌ
ሺͳ െ ߙሻ‫ ߶ݖ‬Ԣ ሺ‫ ͳݖ‬ሻ
݃Ԣ ሺ‫ ͳݖ‬ሻ
ͳ ൅ ߶ሺ‫ ͳݖ‬ሻ
ͳ െ ‫ʹݎ‬
ൌ
ܾ
ቆ
൅
ή
ቇ ‫߱ ב‬ሺࣞ‫ ݎ‬ሻǤ
ͳ
݄Ԣ ሺ‫ ͳݖ‬ሻ
ͳ ൅ ߙ߶ሺ‫ ͳݖ‬ሻ ሺͳ ൅ ߙ߶ሺ‫ ͳݖ‬ሻሻʹ ሺͳ ൅ ‫ ʹ ݎ‬ሻ ൅ ʹ‫ߠ݅ ݁ݎ‬
because ȁ߶ሺ‫ ͳݖ‬ሻȁ ൌ ͳ and ݇ ൒ ͳǤ But this contradicts the condition (5) and so our assumption is wrong, i.e.,
ȁ߶ሺ‫ݖ‬ሻȁ ൏ ͳ for all‫ࣞ א ݖ‬Ǥ
Corollary 2 Let ݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻ be an element of ܵ‫ כܪ‬ሺ‫ܯ‬ሻǡ then
‫ݎ‬
ሺͳ൅‫ݎ‬ሻʹ
‫ ͳܨ‬ሺȁܾͳ ȁǡ ߙǡ െ‫ݎ‬ሻ ൑ ȁ݃ሺ‫ݖ‬ሻȁ ൑
where
‫ ͳܨ‬ሺȁܾͳ ȁǡ ߙǡ ‫ݎ‬ሻ ൌ
Proof. Since
݃ሺ‫ݖ‬ሻ
݄ሺ‫ݖ‬ሻ
‫ͳܾ ط‬
ͳ൅‫ݖ‬
ͳ൅ߙ‫ݖ‬
‫ݎ‬
ሺͳെ‫ݎ‬ሻʹ
‫ ͳܨ‬ሺȁܾͳ ȁǡ ߙǡ ‫ݎ‬ሻ
(7)
ȁܾͳ ȁሺͳ ൅ ‫ݎ‬ሻ
Ǥ
ͳ ൅ ߙ‫ݎ‬
,then we have
ฬ
݃ሺ‫ݖ‬ሻ
ܾͳ ሺͳെߙ‫ʹݎ‬ሻ
െ
ฬ
݄ሺ‫ݖ‬ሻ
ͳെߙʹ‫ʹݎ‬
ͳ หሺͳെߙ ‫ݎ‬
൑ หܾͳെߙ
ʹ ‫ ʹݎ‬Ǥ
ሻ
(8)
Using Theorem 1 and the inequality (8) we obtain (7).
Corollary 3Let ݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻ be an element of ܵ‫ כܪ‬ሺ‫ܯ‬ሻǡ then
ሺͳെ‫ݎ‬ሻʹ
ሺͳ൅‫ݎ‬ሻʹ
ሺͳ െ ሺ‫ ͳܨ‬ሺȁܾͳ ȁǡ ߙǡ ‫ݎ‬ሻሻʹ ሻ ൑ ‫ ݂ܬ‬൑
ሺͳ െ ሺ‫ ͳܨ‬ሺȁܾͳ ȁǡ ߙǡ െ‫ݎ‬ሻሻʹ ሻǤ
ሺͳ൅‫ݎ‬ሻ͸
ሺͳെ‫ݎ‬ሻ͸
Proof. Since
(9)
‫ ݂ܬ‬ൌ ȁ݄Ԣሺ‫ݖ‬ሻȁʹ െ ȁ݃Ԣ ሺ‫ݖ‬ሻȁʹ ൌ ȁ݄Ԣ ሺ‫ݖ‬ሻȁʹ ሺͳ െ ȁ߱ሺ‫ݖ‬ሻȁʹ ሻǡ
then using (5) we get (9).
Corollary 4 Let ݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻ be an element of ܵ‫ כܪ‬ሺ‫ܯ‬ሻǡ then
න
Proof. Using (5) we obtain
Therefore, we have
ȁܾͳ ȁሺͳ ൅ ‫ݎ‬ሻ ͳ ൅ ‫ݎ‬
ȁܾͳ ȁሺͳ െ ‫ݎ‬ሻ ͳ െ ‫ݎ‬
ή
݀‫ ݎ‬൑ ȁ݂ȁ ൑ න
ή
݀‫ݎ‬Ǥ
͵
ͳ െ ߙ‫ݎ‬
ͳ ൅ ߙ‫ݎ‬
ሺͳ ൅ ‫ݎ‬ሻ
ሺͳ െ ‫ݎ‬ሻ͵
ȁܾͳ ȁሺͳ െ ‫ݎ‬ሻ
ȁܾͳ ȁሺͳ ൅ ‫ݎ‬ሻ
൑ ȁ߱ሺ‫ݖ‬ሻȁ ൑
Ǥ
ͳ െ ߙ‫ݎ‬
ͳ ൅ ߙ‫ݎ‬
ሺͳ൅ߙ‫ ݎ‬ሻെȁܾͳ ȁሺͳ൅‫ݎ‬ሻ
ͳ൅ߙ‫ݎ‬
൑ ͳ െ ȁ߱ሺ‫ݖ‬ሻȁ ൑
ሺͳെߙ‫ ݎ‬ሻെȁܾͳ ȁሺͳെ‫ݎ‬ሻ
ͳെߙ‫ݎ‬
ǡ
(10)
647 to the terms at: http://scitation.aip.org/termsconditions. Downloaded to IP:
This article is copyrighted as indicated in the article. Reuse of AIP content is subject
193.255.121.155 On: Sat, 15 Aug 2015 00:44:20
ሺͳെߙ‫ ݎ‬ሻ൅ȁܾͳ ȁሺͳെ‫ݎ‬ሻ
ͳെߙ‫ݎ‬
ሺͳ൅ߙ‫ ݎ‬ሻ൅ȁܾͳ ȁሺͳ൅‫ݎ‬ሻ
൑ ͳ ൅ ȁ߱ሺ‫ݖ‬ሻȁ ൑
Ǥ
ͳ൅ߙ‫ݎ‬
(11)
On the other hand, we have
ሺͳ െ ȁ߱ሺ‫ݖ‬ሻȁሻȁ݄Ԣ ሺ‫ݖ‬ሻȁȁ݀‫ݖ‬ȁ ൑ ȁ݂݀ȁ ൑ ሺͳ ൅ ȁ߱ሺ‫ݖ‬ሻȁሻȁ݄Ԣ ሺ‫ݖ‬ሻȁȁ݀‫ݖ‬ȁǤ
(12)
Considering (10), (11), (12) and Theorem 1, we get the desired result.
Theorem 5 Let ݂ ൌ ݄ሺ‫ݖ‬ሻ ൅ ݃ሺ‫ݖ‬ሻ be an element of ܵ‫ כܪ‬ሺ‫ܯ‬ሻǡ then
ܾ ݇൅ͳ
σ݊݇ൌͳሺ݇ ൅ ͳሻʹ ቚ
ܾͳ
Proof. Since
ʹ
ͳ
ͳ
ܾ ݇൅ͳ
‫ܯ‬
‫ܯ‬
ܾͳ
ʹ
െ ܽ݇ ቚ ൑ ሺʹ െ ሻʹ ൅ σ݊െͳ
݇ൌͳ ሺ݇ ൅ ͳሻ ቚܽ݇ ൅ ሺͳ െ ሻ
ቚǤ
(13)
݃Ԣሺ‫ݖ‬ሻ
݃Ԣ ሺ‫ݖ‬ሻ
݃Ԣ ሺ‫ݖ‬ሻ
ͳ൅‫ݖ‬
ͳ൅‫ݖ‬
ͳ ൅ ߶ሺ‫ݖ‬ሻ
‫ͳܾ ط‬
ฺ Ԣ
‫ͳܾ ط‬
ฺ
ൌ ܾͳ
Ǥ
Ԣ ሺ‫ݖ‬ሻ
ͳ
ͳ
݄Ԣሺ‫ݖ‬ሻ
݄ ሺ‫ݖ‬ሻ
݄
ͳ ൅ ߙ‫ݖ‬
ͳ ൅ ቀ െ ͳቁ ‫ݖ‬
ͳ െ ቀͳ െ ቁ ߶ሺ‫ݖ‬ሻ
‫ܯ‬
ͳ Ԣ
݃ ሺ‫ݖ‬ሻ
ܾͳ
݄ Ԣ ሺ‫ݖ‬ሻ
ൌ
‫ܯ‬
ͳ൅߶ሺ‫ݖ‬ሻ
ͳ
‫ܯ‬
Ǥ
(14)
ͳെቀͳെ ቁ߶ ሺ‫ݖ‬ሻ
The equality (14) can be written in the following form
ͳ
ܾͳ
݃Ԣ ሺ‫ݖ‬ሻ
݄Ԣ ሺ‫ݖ‬ሻ
ൌ
‫ܩ‬ሺ‫ݖ‬ሻ
ͳ ൅ ߶ሺ‫ݖ‬ሻ
‫ܩ‬ሺ‫ݖ‬ሻ
ͳ ൅ ߶ሺ‫ݖ‬ሻ
ͳ
ൌ
ฺ
ൌ
ǡߙ ൌ ൬ͳ െ ൰
‫ܪ‬ሺ‫ݖ‬ሻ ͳ െ ቀͳ െ ͳ ቁ ߶ሺ‫ݖ‬ሻ
‫ܪ‬ሺ‫ݖ‬ሻ ͳ െ ߙ߶ሺ‫ݖ‬ሻ
‫ܯ‬
‫ܯ‬
Therefore, we have
‫ܩ‬ሺ‫ݖ‬ሻ െ ‫ܪ‬ሺ‫ݖ‬ሻ ൌ ൫‫ܪ‬ሺ‫ݖ‬ሻ ൅ ܽ‫ܩ‬ሺ‫ݖ‬ሻ൯߶ሺ‫ݖ‬ሻ
݊
λ
݇
λ
λ
ൌ ෍ሺ݀݇ െ ݁݇ ሻ‫ ݖ‬൅ ෍ ሺ݀݇ െ ݁݇ ሻ‫ ݖ‬െ ൭෍ሺ݁݇ ൅ ܽ݀݇ ሻ‫ ݖ‬൱ ൭෍ ܿ݇ ‫ ݇ ݖ‬൱
݇ൌͳ
݇
݇
݇ൌ݊൅ͳ
݇ൌ݊
݇ൌͳ
݇
ൌ ሾሺܽ ൅ ͳሻ ൅ σ݊െͳ
݇ൌͳ ሺ݁݇ ൅ ܽ݀݇ ሻ‫ ݖ‬ሿ
where ݀݇ ൌ
ሺ݇൅ͳሻܾ ݇൅ͳ
ܾͳ
(15)
ǡ ݁݇ ൌ ሺ݇ ൅ ͳሻܽ݇൅ͳ ǡ ݇ ൌ ͳǡʹǡ ǥ . Equality (15) can be written in the following manner
݊െͳ
݇
݇
σ݊݇ൌͳሺ݀݇ െ ݁݇ ሻ‫ ݇ ݖ‬൅ σλ
݇ൌ݊൅ͳ ‫ ݖ ݇ݏ‬ൌ ሾሺܽ ൅ ͳሻ ൅ σ݇ൌͳ ሺ݁݇ ൅ ܽ݀݇ ሻ‫ ݖ‬ሿ߶ሺ‫ݖ‬ሻ
(16)
where the coefficients ‫ ݇ݏ‬have been chosen suitably and the equality (16) can be written in the form
‫ ͳܨ‬ሺ‫ݖ‬ሻ ൌ ‫ ʹܨ‬ሺ‫ݖ‬ሻ߶ሺ‫ݖ‬ሻǡ
then we have
ȁ߶ሺ‫ݖ‬ሻȁ ൏ ͳ
ȁ‫ ͳܨ‬ሺ‫ݖ‬ሻȁʹ ൌ ȁ‫ ʹܨ‬ሺ‫ݖ‬ሻ߶ሺ‫ݖ‬ሻȁʹ ൌ ȁ‫ ʹܨ‬ሺ‫ݖ‬ሻȁʹ ȁ߶ሺ‫ݖ‬ሻȁʹ ൏ ȁ‫ ʹܨ‬ሺ‫ݖ‬ሻȁʹ
ฺ
ͳ ʹߨ
ͳ ʹߨ
ʹ
ʹ
න ห‫ ͳܨ‬൫‫ ߠ݅ ݁ݎ‬൯ห ݀ߠ ൑
න ห‫ ʹܨ‬൫‫ ߠ݅ ݁ݎ‬൯ห ݀ߠ
ʹߨ Ͳ
ʹߨ Ͳ
648 to the terms at: http://scitation.aip.org/termsconditions. Downloaded to IP:
This article is copyrighted as indicated in the article. Reuse of AIP content is subject
193.255.121.155 On: Sat, 15 Aug 2015 00:44:20
݊
ฺ ෍ȁ݀݇ െ ݁݇ ‫ݎ‬
݇ൌͳ
݊െͳ
λ
ȁʹ ʹ݇
ȁʹ ʹ݇
൅ ෍ ȁ‫ݎ ݇ݏ‬
ʹ ʹ݇
൑ ൥ሺܽ ൅ ͳሻ ‫ݎ‬
݇ൌ݊൅ͳ
൅ ෍ሺȁ݁݇ ൅ ܽ݀݇ ȁሻʹ ‫ ݇ʹ ݎ‬൩
݇ൌͳ
passing to the limit as ‫ ݎ‬՜ ͳ we obtain (13). The method of this proof has been based on the Clunie method[1]
CONCLUSION
In the present paper we have given the basic characterization which is analogue to the Libera Theorem ([4]).
This characterization is used for the investigation of the class of bounded harmonic mappings related to the starlike
functions.
REFERENCES
1. Clunie, J., “On Meromorphic Schlicht Functions”, J. London Math. Soc. 34, 215-216 (1959).
2. Duren, P., Univalent Functions, Springer Verlag, 1983.
3. Duren, P., Harmonic Mappings in the Plane, Cambridge Tracts in Mathematics, Cambridge UK: Cambridge University
Press, Vol. 156, 2004.
4. Goodman, A. W., Univalent Functions, Tampa Florida: Mariner publishing Company INC, Volume I, 1983.
5. Jack, I.S., “Functions starlike and convex of order alpha”, J. London Math. Soc. 3, 369-374 (1971).
6. Janowski, W., “Some extremal problems for certain families of analytic functions I”, Annales Policini Mathematici 28, 297326 (1973).
7. Lewys, H., “On the non-vanishing of the Jacobian in certain one-to-one mappings”, Bull. Amer. Math. Soc. 42, 689-692
(1936).
649 to the terms at: http://scitation.aip.org/termsconditions. Downloaded to IP:
This article is copyrighted as indicated in the article. Reuse of AIP content is subject
193.255.121.155 On: Sat, 15 Aug 2015 00:44:20

Benzer belgeler

Name : Önder Metin

Name : Önder Metin 15- Metin, Ö.; Duman, S.; Dinç, M.; Özkar, S. In Situ Generated Oleylamine Stabilized Palladium(0) Nanoclusters as Highly Active Heterogeneous Catalyst for the Dehydrogenation of Ammonia Borane. Jo...

Detaylı