Professional Documents
Culture Documents
M. I. GIL
EJDE-2012/107
In the above cited works mainly the asymptotic distributions of zeros and counting functions of zeros are investigated. At the same time, bounds for the zeros
of solutions are very important in various applications. But to the best of our
knowledge, they have been investigated considerably less than the asymptotic distributions. In the paper [10], bounds for the sums of the zeros of solutions are
established for the second order equations with polynomial coefficients. In this
paper, we obtain such bounds in the case of non-polynomial coefficients. Besides,
below we estimate the zero free domains. That estimation supplements the wellknown results of Eloe and Henderson [7] on the positivity of solutions for higher
order ordinary differential equations, since the positivity of solutions implies the
absence of zeros. Note that, the proof of the main result of the present paper is
considerably different from the proof of the paper [10].
Consider the equation
d2 y(z)
= F (z)y(z)
(1.1)
dz 2
with an entire function F , satisfying the condition
|z|
|F (z)| A exp
( 1; A = const > 0; z C).
(1.2)
In Section 3 below we check that to inequality (1.2) can be reduced the formally
more general inequality
|F (z)| A exp[B|z| ]
(B = const > 0)
(1.3)
by the substitution
w
(1.4)
(B)1/
into (1.1). Everywhere below, y(z) is a solution of (1.1) with y(0) = 1. Enumerate
the zeros zk (y) of y(z), with multiplicities taken into account, in order of increasing
modulus: |zk (y)| |zk+1 (y)| (k = 1, 2, . . . ). Put
z=
vn = n
e1+2/
.
Theorem 1.1. Let y(z) be a solution of (1.1) with y(0) = 1 and let condition (1.2)
hold. Then
j
j
X
X
1
1
< 0 + 0
(j = 1, 2, . . . ),
|zk (y)|
ln vk
k=1
k=1
0 = 2e1/2 (3/)1/ .
The proof of this theorem is presented in the next section. Let us point some
corollaries of Theorem 1.1.
Denote by (y, r) (r > 0) the counting function of the zeros of y in |z| r.
Theorem 1.1 implies
Corollary 1.2. With the notation
j (y) :=
0 + 0
j
Pj
k=1
ln vk
(j = 1, 2, . . . ),
EJDE-2012/107
the inequality |zj (y)| > j (y) holds and thus (u, r) j 1 for any r j (y)
(j 2).
Furthermore, put
1 = 0 +
0
ln1/ v1
k =
0
ln1/ vk
(k = 2, 3, . . . ).
Theorem 1.1 and [9, Lemma 1.2.1] yield the following result.
Corollary 1.3. Under the hypothesis of Theorem 1.1, let (t) (0 t < ) be a
continuous convex scalar-valued function, such that (0) = 0. Then
j
X
(|zk (y)|1 )
k=1
j
X
(k )
(j = 1, 2, . . . ).
k=1
In particular, take
(t) = t+1 exp[
0
].
t
Then
(k ) =
0+1
1+1/
ln
vk
exp[ ln vk ]
const
(ln k)1+1/ k
(k > 1).
X
k=1
1
e(0 |zk (y)|) < .
+1
|zk (y)|
In addition, in light of Theorem 1.1 and [9, Lemma 1.2.2] we obtain our next
result.
Corollary 1.5. Let (t1 , t2 , . . . , tj ) be a function with an integer j defined on the
domain
0 < tj tj1 t2 t1 <
and satisfying the condition
>
> >
>0
t1
t2
tj
Then
1
1
,...,
(1 , . . . , j ).
|z1 (y)|
|zj (y)|
X
dk
dk k
|zk (y)|
k=1
(j = 1, 2, . . . ).
M. I. GIL
EJDE-2012/107
ck z k
(c0 = 1)
(2.1)
k0
(2.2)
Put
1
C = (1 + q) exp[ e2/ A2 ].
2
Lemma 2.1. Let condition (2.2) hold. Then the Taylor coefficients of f are subjected to the inequality
3 (n1)/
|cn | Cen/2
.
ln vn
Proof. Let
Mf (r) = max |f (z)|.
|z|=r
A exp(r /)
Due to (2.2),
A2
exp[e2r / ]
]h(r) where h(r) :=
4
rn
Let us use the usual method for finding extrema. Clearly,
|cn | (1 + qr) exp[
2r /
r2n h0 (r) = ee
[2e2r
/ n+1
(n = 1, 2, . . . ).
(2.3)
nrn1 ].
2r0 e2r0 / = n.
Take
=
Then
(2.4)
1 2/
e
.
2
r0 e2(r0 1)/ = n.
So for n 1 we have r0 1. Hence by (2.4),
e2r0 / n/2.
3r0 /
(2.5)
(2.6)
r0 ( ln vn )1/ .
(2.7)
3
EJDE-2012/107
Since r0 1, we obtain
1+qr0
r0
|cn | exp[
en/2
A2
](1 + q) n1 .
4
r0
n = 2e1/2
3
ln vn
1/
.
j
X
k=1
X
1
(f ) +
mk+1
|zk (f )|
k=1
is valid, where zk (f ) are the zeros of f (z), with multiplicities taken into account,
enumerated in order of increasing modulus, and
hX
i1/2
|ak |2
.
(f ) :=
k=1
n1
X
1
= 4D2 /3.
4k
k=0
k=1
k=1
X
X
1
1
0 +
n = 0 + 0
1/
|zk (f )|
ln vk
(j = 1, 2, . . . ).
Lemma 2.3. A solution y of (1.1) with the conditions (1.2) and y(0) = 1 is an
entire function satisfying the inequality
|y(z)| (1 + |y 0 (0)|r) exp[Aer
(z C).
Proof. From (1.1) for a z = reit with a fixed argument t we have e2it d2 y(z)/dr2 =
F (z)y(z). Hence, putting q = |y 0 (0)|, g(r) = |y(reit )|, and taking into account (1.2)
we obtain
Z r
Z r
g(r) 1 + qr +
(r s)|F (seit )|g(s)ds 1 + qr + A
(r s) exp[s /]g(s)ds.
0
By [6, Lemma III.2.1] we have g(r) m(r), where m(r) is a solution of the equation
Z r
m(r) = 1 + qr + A
(r s) exp[s /]m(s)ds.
0
M. I. GIL
EJDE-2012/107
However,
Z
(r s)f (s)ds =
f ( )d ds
m(r) = 1 + qr + A
0
exp[s /]ds d.
But for r 1,
r
and for an r 1,
Z
Z r
s /
e
ds
0
s /
s1 es
ds +
ds e1/ + (er
e1/ ) = er
Thus,
r
Then the assertion of Theorem 1.1 follows from Lemmas 2.2 and 2.3.
3. Example
In this section we consider an example that illustrates Theorem 1.1. First substitute (1.4) into (1.1). Then we arrive at the equation
d2 x(w)
= F1 (w),
dw2
where F1 (w) =
1
w
F
2/
(B)
(B)1/
|w|
,
X
1
1
< 1 + 0
1/
|zk (x)|
ln vk
(j = 1, 2, . . . ),
(3.1)
k=1
where
r
r
e
dx(0)
e
1
dy(0)
2 2/
1+|
| exp[A1 e ] = 2
1+
|
| exp[A21 e2/ ].
1 = 2
3
dw
3
(B)1/ dz
EJDE-2012/107
h
X
1 i
1
< (B)1/ 1 + 0
|zk (y)|
ln1/ vk
(j = 1, 2, . . . ).
(3.2)
k=1
(3.3)
k=1
k=1
X
1
1 X 1
1
1
=
.
=
+
+
|zk (y)|
|z2k1 (y)| |z2k (y)|
ln k | ln(k)|
(3.5)
On the other hand, due to (3.4),F (z) = 14 e2z and therefore, |F (z)| (1 + 41 )e2|z| .
By (3.2) with B = 2, A = 1 + 1/4, we have
j
X
k=1
X
1
1
< 21 + 20
|zk (y)|
ln(ke3 )
(j = 1, 2, . . . ).
k=1
M. I. GIL
EJDE-2012/107
[12] C. H. Lin, Y. Sibuya, T. Tabara; Zeros of solutions of a second order linear differential
equation with polynomial coefficients. Funkcial. Ekvac. 36 (1993), no. 2, 375-384.
[13] G. M. Muminov; On the zeros of solutions of the differential equation (2m) + p(z) = 0.
Demonstr. Math., 35 (2002), no. 1, 41-48.
[14] F. Peng, Z. X. Chen; On the growth of solutions of some second-order differential equations,
J. Ineq. Appl., 2011 (2011), 1-9.
[15] J. Tu, Z. X. Chen; Zeros of solutions of certain second order linear differential equation, J.
Math. Anal. Appl. 332 (2007), no. 1, 279-291.
[16] J. Wang, I. Laine; Growth of solutions of second order linear differential equations, J. Math.
Anal. Appl. 342 (2008), 39-51.
[17] J. F. Xu, H. X. Yi; Solutions of higher order linear differential equations in an angle, Appl.
Math. Letters, 22 (2009), no. 4, 484-489.
Michael I. Gil
Department of Mathematics, Ben Gurion University of the Negev, P.0. Box 653, BeerSheva 84105, Israel
E-mail address: gilmi@bezeqint.net