UNIVERSITATIS MARIAE CURIE-SKŁODOWSKA LUBLIN - POLONIA
VOL. LIII, 19 SECTIO A 1999
HITOSHI SAITOH
Univalence and starlikeness ofsolutions of W" + aW' + bW = 0
Abstract. We consider the differential equation w"(z) + a(z)w'(z) + 6(z)w(z) = 0,
where a(z) and 6(z) are analytic in the unit disc A. We show that this differential equation has a solution w(z) univalent and starlike in A under some conditions imposed on a(z) and 6(z). It is related to results of S. S.
Miller and M. S. Robertson.
1. Introduction. Let /(z) = z + Y^=2anzn be an analytic function defined in the unit disc A = {z : |z| < 1}. We denote the class of such functions by A. If in addition f(z) is univalent, then we say f(z) 6 S. If f'(z) 0 in A, then we define
5(/,z) =
2
to be the Schwarzian derivative of f(z).
Our starting point is the following result of S. S. Miller.
Theorem A (Miller [4]). Let p(z) be analytic in the unit disc A with lzp(z)\ < 1. Let v(z), z £ A, be the unique solution of
(1.1) v"(z) + p(z)v(z) = 0 with u(0) = 0 and u'(0) = 1. Then
and v(z) is a starlike conformal map of the unit disc.
Theorem A is related to the next results of M. S. Robertson and Z.
Nehari.
Theorem B (Robertson [8]). Let zp(z) be analytic in A and
(1-3) Re{?p(z)}<^|z|2 (z£ A).
Then the unique solution W = W(z), W(0) = 0, W'(0) = 1 of (1.4) W"(z) + p(z)W(z) = 0
is univalent and starlike in A. The constant 7r2/4 is best possible.
Theorem C (Nehari [6]). If f(z) G A satisfies
(1-5) W,2)|<y (?6A),
then f(z) is univalent. The result is sharp.
Remark 1. The constant 7t2/2 is best possible as shown by the exam
ple [e,7r* - l]/z7r. We note that setting p(z) = |S(/, z) and using (1.5) we obtain (1.3). Therefore, Nehari’s theorem has a stronger hypothesis.
Robertson proved that the unique solution of the equation (1.4) is starlike whereas Nehari proved the quotient of the linearly independent solution of (1.4) is univalent.
We have also
Theorem D (Gabriel [2]). Suppose f(z) £ A and (1.6) |S(/, 2)| < 2c0 a 2.73 (zU),
where cq is the smallest positive root of the equation 2y/x — tan y/x = 0.
Then f(z) maps A onto a starlike domain.
Recall that /(zr) £ S is starlike with respect to the origin if and only if Re {zf'^z)/f(z)} > 0 for all z £ A. We denote the class of starlike functions by S*.
2. A class of bounded functions. Let Bj denote the class of bounded functions w(z) = w\Z + W2Z2 + ■ • • analytic in the unit disc A for which
|w(2)| < J. If 5(2) £ Bj, then by using the Schwarz lemma we can show that the function w(z) defined by w(z) = z~% g(t)t~^dt is also in Bj.
Writing this result in terms of derivatives we have
(2-1) ) + zw'(z) < J (2 £ A) 110(2)! < J (2 £ A).
If we set h(u, v) = + v, we can write (2.1) as an implication (2.2) |/i(w(2),2w'(2))| < J => |w(2)| < J.
In this section we show that (2.2) holds for functions fi(u,u) satisfying the following definition.
Definition 1. Let Hj be the set of complex functions h(u, u) satisfying:
(i) h(u, v) is continuous in a domain D C C X C, (ii) (0,0) £ D and |h(0,0)| < J,
(iii) \h(Je'e, A'e‘e)| > J when (Je,e, Ke'e) £ D, 6 is real and K > J.
Example 1. It is easy to check that the following function h(u, u) is in Hj:
h(u, u) = otu + v where a is complex with Re a > 0, and D = C X C.
Definition 2. Let h £ Hj with corresponding domain D. We denote by Bthe class those functions w(2) = W]Z + w222 + • • • which are analytic in A and satisfy
(i) (w(2),zw'(z)) £ D,
(ii) |/i(w(2),2w'(2))| < J (2£A).
The set Bj(hf) is not empty, since for any h £ Hj we have 10(2) - wiz £ Bj(JT) for |wiI sufficiently small depending on h.
We need the following lemma to prove our results.
Lemma 1 (Miller and Mocanu [5]). Let w(z) = w^z + W2Z2 + ••• be analytic in A with w(z) 0. If zq = roe's°, 0 < ro < 1, and |w(z0)| = max|2|<ro lw(2)l, then
0) and (ii)
where m > 1.
z0w'(zo) w(z0)
20w"(z0)
W'(2O) + 1 > m,
Theorem 1. For any h G Hj, we have Bj(li) C Bj.
Proof. Let w(z) G Bj(h). Suppose that 3zo = roe’*’0 G A (0 < r0 < 1) such that
max |w(z)| = |w(zo)| = J-
|«|<r0
Then w(z0) = Je'6 and by Lemma 1
20w'(z0)/w(z0) = m > 1, we have zow'(zo) = Ke'e, (K = mJ > J) and thus
/i(w(zo),zow'(zo)) = h(Je'6 ,Ke'6).
Since h G Hj, this implies
|/i(w(z0),20w'(z0))| > J
which contradicts w(z) G Bj(h'). Hence |w(z)| < J (2 G A), and thus w(z) G Bj. □
Remark 2. In other words, Theorem 1 shows that if h G Hj, with corre
sponding domain D and if w(z) — w^z + w2z2 + • • • is analytic in A and (w(z),2w'(2)) G D, then
|/i(w(z), zw'(z))| < J => |w(z)| < J.
Furthermore, Theorem 1 can be used to show that certain first order differential equations have bounded solutions. The proof of the following theorem follows immediately from Theorem 1.
Theorem 2. Let h E Hj and b(z) be an analytic function in A with
|6(2r)| < J.If the differential equation h(w(z), zw'(z')) = b(z), (w(0) = 0) has a solution w(z) analytic in A, then |w(z)| < J.
3. Main results. Our main result is the following theorem.
Theorem 3. Let a(z) and b(z) be analytic in A with
z (&(*) - 1
<2
and |a(2r)| < 1. Let w(z) (z G A) be the solution of the following second order linear differential equation
(3.1) w"(z) + a(z)w\z) + b(z)w(2) = 0 with w(0) = 0, w'(0) = 1. Then w(z) is starlike in A.
Proof. The transformation
(3.2) w(z) = exp (-j jf a(t)dt) u(z)
leads to the normal form
(3.3) v"(z) + (h(z) - |a'(z) - ^a2(z^ v(z) = 0
and u(0) = 0, u'(0) = 1. If we put
(3.4) „M = ^ - 1 (, € A),
then u(z) is analytic in A, u(0) = 0 and (3.3) becomes
(3.5) u2(z) + u(z) + zu'(z) = -? (h(z) - ^a'(z) - ^a2(z)^ ,
or equivalently
(3.6) h(w(xr), zu'(z)) = -z2 - ^a'(z) - |a2(z)) ,
where h(u,v) = u2 + u + v. It is easy to check h(u,u) E Hl. i.e.,
(i) h(u,u) is continuous in D = C x C, (ii) (0,0) eD, |/i(o,o)| = o< j
(iii) |/i (|e’e, A'e’9) j > | (A' > j).
From assumption, we have
-z2 ^(2)- ja'(2)-
<21 (z6A).By using Theorem 2, we have |u(a)| < 1/2, (2 6 A). Therefore, we obtain
2t/(z)
u(z)
-<Re
1
<2
3
<2
(3G A).
f 1 I <*)!
Qjf = v^'
(^e A).
This implies (3-7)
From (3.2), we have
(3.8) exp
Logarithmically differentiating of (3.8) leads to
(3-9) zw\z} zv'(z) z_(X
—rr— = —r-;---alz).
w(z) v(z) 2 Combining (3.9) and |a(2)| < 1, we obtain
(zw'(z) 1 ( zv'(z) 1 1 n1*' and thus w(z) is starlike in A.
(z e A), -1
□
Example 2. Let a(z) = —2, b(z) = z2/4 in Theorem 3, then the solution of
(3.10) w"(2) — zw'(z) + —w(z) = 0z2 is w(z) = \/2exp(22/4) sin(2/\/2) E S*.
Let a(z) = —z, b(z) = A (A 6 C) in Theorem 3, then differential equation (3.1) is
(3.11) w"(z) ~ zw'(z) + Aw(z) = 0.
The differential equation (3.11) is called Hermite’s differential equation.
By the transformation w(z) = 11(2) exp(z2/4), (3.11) lead to (3.12) v"(2)+ j - y) v(2) = 0.
This differential equation is a well-known, Weber’s equation (see [9]).
Theorem 4. We consider Weber’s differential equation (3.12). If
< 1, then the solution u(z) is starlike in A.
Proof. We put
(3.13) u(z) = zv'(z)
v(z) Then u(z) is analytic in A, u(0) = 0 and
(3.14) u1 2(z) + u(z) + zu'(z) = -z2 fA + | ~ y)
or equivalently
(3.15) h(u(z),zu'(z)) = -z2 (a + j - y) ,
where h(u,u) = u2 + u + v. It is easy to check h(n, u) 6 H^, i.e., (i) h(u, v) is continuous in D = C X C,
(ii) (0,0) e D, |h(0,0)| = 0 < 1 (hi) |h(eie,A'ete)| > 1 (K > 1).
From assumption we have
^2 ( a + |_ t ) < x
By using Theorem 2, we that
obtain |u(z)| < 1, zv'(z)
(z E A). Therefore, this shows
<
1,which implies Re {zu'(z)/u(z)} > 0 (z e A), so v(z) is starlike in A. □ Remark 3. The solutions of Weber’s differential equation
are (3.16) D\{z) — 2^
v'^z) + (A + | - j) u(z) = 0
1 A l z2^ V2z C,<l-A 3 z2^
r(4A) V 2’2’ 2 J r(-|) v 2 ’2’ 2 J
( Weber’s function}, where F is the confluent hypergeometric function. The following Di(z), D_i(z) are the solutions of (3.12) in Theorem 4.
References
1. Duren, P. L., Univalent Functions, Springer-Verlag, New York, 1983.
2. Gabriel, R. F., The Schwarzian derivative and convex functions, Proc. Amer. Math.
Soc. 6 (1955), 58-66.
3. Hille, E., Ordinary Differential Equations in the Complex Plane, Wiley, New York, 1976.
4. Miller, S. S., A class of differential inequalities implying boundedness, Illinois J.
Math. 20 (1976), 647-649.
5. Miller, S. S. and P. T. Mocanu, Second order differential inequalities in the complex plane, J. Math. Anal. Appl. 65 (1978), 289-305.
6. Nehari, Z., The Schwarzian derivative and schlicht functions, Bull. Amer. Math. Soc.
55 (1949), 545-551.
7. Pommerenke, Ch., Univalent Functions, Vanderhoeck and Ruprecht, Gottingen, 1975.
8. Robertson, M. S., Schlicht solution of W" + pW = 0, Trans. Amer. Math. Soc. 76 (1954), 254-274.
9. Whittaker, E. T. and G. N. Watson, A Course of Modern Analysis, Cambridge Univ.
Press, 1902.
Department of Mathematics received December 19, 1998 Gunma National College of Technology
Maebashi, Gunma 371-8530, Japan