1. Introduction
Let A(p) denote a class of functions f(z) of the form
(1)f(z)=zp+∑n = 1∞ap+nzp+n (p∈N={1,2,3,…}),
which are analytic in the open unit disk U={z∈C:|z|<1}. When p=1, we write A=A(1).
Let f(z) and g(z) be analytic in U. Then, the function f(z) is said to be subordinate to g(z), written as
(2)f(z)≺g(z) (z∈U),
if there exists a Schwarz function w(z) with w(0)=0 and |w(z)|<1 (z∈U) such that f(z)=g(w(z)) (z∈U). Furthermore, if the function g(z) is univalent in U, then
(3)f(z)≺g(z) (z∈U)⟺f(0)=g(0),f(U)⊂g(U).
A function f(z) in A(p) is said to be starlike of order α in U if it satisfies
(4)Re(zf′(z)f(z))>α (z∈U)
or equivalently
(5)zf′(z)f(z)≺p+(p-2α)z1-z (z∈U)
for some real α (0≤α<p). We denote by Sp*(α) the subclass of A(p) consisting of all starlike functions of order α in U.
A function f(z)∈A(p) is said to be convex of order α in U if it satisfies
(6)Re(1+zf′′(z)f′(z))>α (z∈U)
or equivalently
(7)1+zf′′(z)f′(z)≺p+(p-2α)z1-z (z∈U)
for some real α (0≤α<p). We denote by Kp(α) the subclass of A(p) consisting of all functions which are convex of order α in U. Also, we denote that Sp*(0)=Sp*, S1*(0)=S*, and K1(0)=K, respectively.
There are many results for conditions for f(z)∈A to be in the classes S* and K (e.g., see [1–11]). In the present paper, we aim at deriving some sufficient conditions for starlikeness and convexity of order α of functions in A(p). In particular, we extend some related results obtained by several authors [4–6, 10]. Possible applications of the subordination results to electromagnetic cloaking are also discussed in Section 3.
To derive our results, we need the following lemmas.
Lemma 1 (see [3]).
Let p(z) be analytic and nonconstant in U with p(0)=1. If 0<|z0|<1 and Rep(z0)=min|z|≤|z0|Rep(z), then
(8)z0p′(z0)≤-|1-p(z0)|22(1- Rep(z0)).
Lemma 2 (see [4]).
If f(z)∈A satisfies
(9)|f′(z)-1|<25 (z∈U),
then f(z)∈S*.
Lemma 3 (see [4]).
If f(z)∈A satisfies
(10)|argf′(z)|<π2δ (z∈U),
then f(z)∈S*, where δ=0.6165… is the unique root of the equation
(11)2 tan-1(1-δ)+(1-2δ)π=0.
2. Main Results
Our first result is contained in the following.
Theorem 4.
If f(z)∈A(p) satisfies f(z)f′(z)≠0 in 0<|z|<1 and
(12)|Im(z2f′′(z)f(z)-λzf′′(z)f′(z))|<λ(2p+3λ) (z∈U)
for some real λ (λ>0), then
(13)zf′(z)f(z)≺p1+z1-z (z∈U),
which is equivalent to f(z)∈Sp*.
Proof.
Let us define the analytic function h(z) in U by
(14)h(z)=zf′(z)pf(z).
Then, h(0)=1, h(z)≠0, and
(15)z2f′′(z)f(z)-λzf′′(z)f′(z)=zf′′(z)f′(z)(zf′(z)f(z)-λ)=(ph(z)-λ)(zh′(z)h(z)+h(z)-1).
Suppose that there exists a point z0 (0<|z0|<1) such that
(16)Reh(z)>0 (|z|<|z0|), h(z0)=iβ,
where β is real and β≠0. Then, applying Lemma 1, we get
(17)z0h′(z0)≤-1+β22.
Thus, it follows from (15), (16), and (17) that
(18)I0=Im(z02f′′(z0)f(z0)-λz0f′′(z0)f′(z0))=-β(p+λ)+λβz0h′(z0).
In view of λ>0, from (17) and (18), we obtain
(19)I0≥-λ+(2p+3λ)β22β≥λ(2p+3λ) (β<0),(20)I0≤-λ+(2p+3λ)β22β≤-λ(2p+3λ) (β>0).
But both (19) and (20) contradict assumption (12). Therefore, we must have Reh(z)>0 (z∈U); that is,
(21)zf′(z)f(z)≺p1+z1-z (z∈U).
The proof of the theorem is complete.
By taking p=λ=1 in Theorem 4, we have the following result which is due to Lin and Owa [2].
Corollary 5.
If f(z)∈A satisfies f(z)f′(z)≠0 in 0<|z|<1 and
(22)|Im{z2f′′(z)f′(z)-zf′′(z)f′(z)}|<5 (z∈U),
then f(z)∈S*.
Next, we derive the following.
Theorem 6.
If f(z)∈A(p) satisfies
(23)|(f(z)zp)1/(p-α)(zf′(z)f(z)-α)-p+α| <25(p-α) (z∈U)
for some real α (0≤α<p), then
(24)zf′(z)f(z)≺p+(p-2α)z1-z (z∈U),
or equivalently f(z)∈Sp*(α).
Proof.
For f(z)∈A(p), we define the function p(z) by
(25)p(z)=(f(z)zα)1/(p-α)=z+⋯.
Then, p(z) is analytic in U, and
(26)|p′(z)-1|=1p-α|(f(z)zp)1/(p-α)(zf′(z)f(z)-α)-p+α|<25 (z∈U)
according to the condition of the theorem. By using Lemma 2, we have that p(z)∈S*.
Note that
(27)zp′(z)p(z)=1p-α(zf′(z)f(z)-α).
This shows that
(28)zf′(z)f(z)≺p+(p-2α)z1-z (z∈U);
that is, f(z)∈Sp*(α). The proof of the theorem is complete.
Theorem 7.
If f(z)∈A(p) satisfies
(29)|arg(f(z)zp)+(p-α)arg(zf′(z)f(z)-α)| <π2(p-α)δ (z∈U)
for some real α (0≤α<p), then
(30)zf′(z)f(z)≺p+(p-2α)z1-z (z∈U),
or equivalently f(z)∈Sp*(α), where δ=0.6165… is the unique root of the equation
(31)2 tan-1(1-δ)+(1-2δ)π=0.
Proof.
Let us define the function p(z) as in (25). Then, we have
(32)argp′(z)=arg(1p-α(f(z)zp)1/(p-α)(zf′(z)f(z)-α))=1p-αarg(f(z)zp)+arg(zf′(z)f(z)-α).
In view of Lemma 3, we see that if
(33)1p-α|arg(f(z)zp)+(p-α)arg(zf′(z)f(z)-α)| <π2δ (z∈U),
then p(z)∈S*. This shows that f(z)∈Sp*(α).
Finally, we discuss the following theorem.
Theorem 8.
If f(z)∈A(p) satisfies
(34)|arg(f′(z)zp-1)+(p-α)arg(1+zf′′(z)f′(z)-α)| <π2(p-α)δ (z∈U)
for some real α (0≤α<p), then
(35)1+zf′′(z)f′(z)≺p+(p-2α)z1-z (z∈U),
or equivalently f(z)∈Kp(α), where δ=0.6165… is the unique root of the equation
(36)2 tan-1(1-δ)+(1-2δ)π=0.
Proof.
For f(z)∈A(p), we define the function p(z) by
(37)p(z)=∫0z(f′(t)ptp-1)1/(p-α)dt=z+⋯.
Then, p(z) is analytic in U. Further, letting g(z)=zp′(z), we obtain that
(38)g′(z)=1p-α(f′(z)pzp-1)1/(p-α)(1+zf′′(z)f′(z)-α).
Thus, applying Lemma 3, we have that
(39)|arg(g′(z))| =|1p-αarg(f′(z)zp-1)+arg(1+zf′′(z)f′(z)-α)| <π2δ
for z∈U, which shows that g(z)∈S*. This gives us that p(z)∈K; that is, f(z)∈Kp(α).
3. Applications
To make objects invisible to human eyes has been long for a subject of science fiction. But just in 2006, this imagination has been materialized in the range of microwave radiation. This is attributed to pioneering papers published in Science by Leonhardt [12] and Pendry et al. [13] in 2006, in which they proposed an ingenious idea to control electromagnetic waves by specially designed materials. They suggest that a cloak, made of metamaterial (in which the refractive index spatially varies), can be designed so that an incident electromagnetic wave can be guided through the cloak giving an impression of free space when viewed from outside. This ensures that the cloak neither reflects nor scatters waves nor casts a shadow in the transmitted field. The cloak remains undetected by a viewing device. At the same time, the cloak reduces scattering of radiation from the object where the imperfections are exponentially small. Hence, the object becomes invisible to the detector.
Reports are available in the published literature (e.g., see [12, 13]) that electromagnetic cloaking, which seemed impossible earlier, is technologically realizable when the cloak and the cloaked object have a circular symmetry in at least one plane, namely, spheres and cylinders. The cross-section is a laminar or two-dimensional cloaking. For some important research contributions on this subject, see, for example, [14–17].
Mathematically, the two-dimensional cloak and the cloaked object are simply connected regions in the complex plane, the latter being a subset of the former. By the Riemann mapping theorem, both regions are equivalent to conformal maps on the unit disk U. If we denote the cloaked object by the function g(z) and the cloak by the function q(z), then it is required that
(40)g(z)≺q(z) (z∈U).
Very recently, Mishra et al. [18] have given some applications of subordination relationship (40) to electromagnetic cloaking. In the present paper, we found several sufficient conditions under which relationship of the form (40) holds for functions which are more general than circular maps. For example, in Theorem 4, we have taken the cloak function
(41)q(z)=p1+z1-z
to be an analytic univalent convex map. If a function f(z) satisfies condition (12), then the subordination relationship (40) holds true.