# The Oscillation of a Class of the Fractional-Order Delay Differential Equations

Authors: Qianli Lu; Feng Cen
Journal: Discrete Dynamics in Nature and Society
 (2014)

---

## Abstract

Several oscillation results are proposed including necessary and sufficient conditions for the oscillation of fractional-order delay differential equations with constant coefficients, the sufficient or necessary and sufficient conditions for the oscillation of fractional-order delay differential equations by analysis method, and the sufficient or necessary and sufficient conditions for the oscillation of delay partial differential equation with three different boundary conditions. For this,α-exponential function which is a kind of functions that play the same role of the classical exponential functions of fractional-order derivatives is used.


---

## Body

## 1. Introduction

For the past three centuries, fractional calculus has been dealt with by mathematicians. In the recent decades, it is widely used in the fields of engineering, science, and economy. Recently, fractional differential systems have gained scholar’s attention [1–3]. Many researchers demonstrated applications of fractional calculus in the frequency dependent damping behavior of many viscoelastic materials, dynamics of interfaces between nanoparticles and substrates, the nonlinear oscillation of earthquakes, bioengineering, continuum and statistical mechanics, signal processing, filter design, circuit theory, and robotics. In some practical systems, such as economic systems, biological systems, and space-light industry systems, due to the transmission of the signal or the mechanical transmission, the research on fractional differential systems with delay is desired.In [2], the authors described the application of the background and significance of the differential delay equations oscillation and fractional differential equations. The delay differential equation is different from ordinary differential equations. Moreover, compared with the periodic solution, oscillatory solution has more extensive application prospect and theory value in terms of the general solution of equation. In this paper, the necessary or sufficient conditions for the oscillation of several fractional-order delay differential equations are analyzed and discussed. Some oscillation results are proposed for the fractional-order linear delay differential equation as follows:
(1)
0
R
D
α
x
(
t
)
+
f
(
x
(
t
-
T
)
)
=
0
,
where 0
<
α
<
1. Some oscillation results are also given for the delay parabolic differential equation as follows:
(2)
0
R
D
α
u
(
x
,
t
)
=
a
(
t
)
Δ
u
(
x
,
t
)
+
∑
k
=
1
m
b
k
(
t
)
Δ
u
(
x
,
t
-
τ
k
)
-
∑
i
=
1
n
q
i
(
t
)
f
[
u
(
x
,
t
-
σ
i
)
]
.For the purpose, known methods are expanded for our results.


## 2. Preliminaries

We first give some definitions and make some preliminaries. The fractional-order derivativeD
α
x
(
t
) can be defined in different ways, wherein Riemann-Liouville’s definition and Caputo’s definition are two main expressions as follows.Definition 1.
Riemann-Liouville’s fractional order derivative [3, 4] is defined by
(3)
D
RL
α
x
(
t
)
=
1
Γ
(
1
-
α
)
d
d
t
∫
0
t
(
t
-
s
)
-
α
x
(
s
)
d
s
,
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
h
(
0
<
α
<
1
)
,
where Γ
(
α
)
=
∫
0
∞
e
-
t
t
α
-
1
d
t is the Gamma function.
Caputo’s fractional order derivative is defined by(4)
D
C
α
x
(
t
)
=
1
Γ
(
1
-
α
)
∫
0
t
(
t
-
s
)
-
α
x
′
(
s
)
d
s
,
(
0
<
α
<
1
)
.Definition 2.
α-exponential function is as follows [2]:
(5)
e
α
λ
t
=
t
α
-
1
∑
k
=
0
∞
(
λ
t
α
)
k
Γ
(
(
k
+
1
)
α
)
,
(
t
>
0
)
,
where c
e
α
λ
t satisfies the differential equation D
o
RL
α
x
(
t
)
=
λ
x
(
t
), (
t
>
0
).
The derivativeD
o
RL
α
x
(
t
) has the property of
(6)
D
o
RL
n
α
x
(
t
)
=
D
o
RL
(
n
-
1
)
α
[
D
o
RL
α
x
(
t
)
]
.
Mittag-Lefflerfunction [3, 4] can be defined by
(7)
E
α
,
β
(
z
)
=
∑
n
=
0
∞
z
n
Γ
(
α
n
+
β
)
,
E
α
(
z
)
=
∑
n
=
0
+
∞
z
n
Γ
(
(
n
+
1
)
α
)
.
The first order delay differential equation including fractional-order derivative [2] is expressed by
(8)
x
′
(
t
)
+
p
D
0
R
α
x
(
t
)
+
q
x
(
t
-
T
)
=
0
,
where p
,
q
,
T
∈
R, 0
<
α
<
1. Since α is a positive rational number, let α
=
k
/
n
=
k
β satisfy 0
<
α
<
1. The expression for (1) with constant coefficients is given by
(9)
[
D
0
R
n
β
+
p
D
0
R
k
β
+
q
e
k
β
-
λ
T
]
e
k
β
λ
t
=
f
(
λ
)
e
k
β
λ
t
,
where
(10)
f
(
λ
)
=
λ
n
+
p
λ
+
q
e
k
β
-
λ
T
.
Equation (10) is the characteristic polynomial of (8). The contribution in [2] is considered.Lemma 3.
The following statements are equivalent.(1)
Every solution of (8) oscillates.
(2)
The characteristic equation (10) has no real roots.In this paper, the main results are derived from the application of the basic theory in [2]. The oscillation or nonoscillation of solutions for several fractional-order delay differential equations can be obtained based on these main results.


## 3. Main Result

### 3.1. The Fractional-Order Delay Differential Equation with Constant Coefficients

The general form of the fractional-order linear delay differential equation is(11)
D
0
R
α
x
(
t
)
+
p
x
(
t
-
T
)
=
0
.Since[
D
0
R
α
+
p
e
α
-
λ
T
]
e
α
λ
t
=
[
λ
+
p
e
α
-
λ
T
]
e
α
λ
t
=
f
(
λ
)
e
α
λ
t, the characteristic polynomial of (11) is as follows:
(12)
f
(
λ
)
=
λ
+
p
e
α
-
λ
T
=
0
.The detailed derivation can be found in AppendicesA, B, and C. Using Lemma 3, we have the necessary and sufficient conditions for oscillation of all solutions of (11) as follows.Corollary 4.
The following statements are equivalent.(1)
Every solution of (11) oscillates.
(2)
The characteristic equation (12) has no real roots.In order to use Corollary4 more effectively, Theorem 6 is proposed. Before presenting the theorem, the function g
(
t
)
=
t
/
e
α
t
(
0
<
t
<
+
∞
) is given (see Appendices A, B, and C for details), and the maximum of g
(
t
) is as follows:
(13)
M
=
max
⁡
g
(
t
)
=
ω
e
α
ω
,
(
1
≤
ω
≤
2
)
.Lemma 5.
(1)
If0
<
p
T
<
ω
/
e
α
ω or p
<
0, (12) has a real root.
(2)
Ifp
T
>
ω
/
e
α
ω, (12) has not a real root.Proof.
(1) Ifp
<
0, it is obvious that (12) has a real root.
Asp
>
0, from the characteristic equation (12),
(14)
p
e
α
-
λ
T
=
-
λ
,
p
T
=
-
λ
T
e
α
-
λ
T
<
1
e
α
1
.
Sop
<
0 or 0
<
p
T
<
ω
/
e
α
ω, and (12) has a real root.
(2) In the same way, we getp
T
>
ω
/
e
α
ω, and (12) has not a real root.Theorem 6.
(1)
If0
<
p
T
<
ω
/
e
α
ω or p
<
0, the solution of (11) is nonoscillatory.
(2)
Ifp
T
>
ω
/
e
α
ω, the solution of (11) is oscillatory.Proof.
The equationD
0
R
α
x
(
t
)
+
p
x
(
t
-
T
)
=
0 has a solution c
e
α
λ
t, if and only if λ is a root of characteristic of equation f
(
λ
)
=
λ
+
p
e
α
-
λ
T
=
0. Using the conditions for (11), we have the following.(1)
If0
<
p
T
<
ω
/
e
α
ω or p
<
0, (12) has a real root, and the solution of (11) c
e
α
λ
t is nonoscillatory.
(2)
Ifp
T
>
ω
/
e
α
ω, (12) does not have a real root, and the solution c
e
α
λ
t is oscillatory. So we can obtain p
T
>
ω
/
e
α
ω, and the solutions of (11) are oscillatory. Therefore, the proof of the theorem can be completed.Example 7.
We consider delay differential equation with fractional-order derivatives(15)
D
0
R
1
/
2
x
(
t
)
+
x
(
t
-
3
π
4
)
=
0
,
(16)
p
T
=
3
π
4
>
ω
e
1
/
2
ω
≈
0.179641784
⋯
.All the conditions of Theorem6 are satisfied. Fractional derivative of some special functions is as D
1
/
2
sin
t
=
sin
(
t
+
π
/
4
). Thus, all the solutions of (15) are oscillatory. One of such solutions is x
(
t
)
=
sin
t.We consider the following fractional-order linear delay differential equation:(17)
D
0
R
α
x
(
t
)
+
f
(
x
(
t
-
T
)
)
=
0(
H
1
): u
>
0, f
(
u
)
≥
C
u.Theorem 8.
Assume that(
H
) holds, and C
T
>
ω
/
e
α
ω are satisfied. Every solution of the delay differential equation (17) oscillates.Proof.
We may assume that (17) has eventually positive solution. Then, there exists t
0, and if t
>
t
0, 0
=
D
0
R
α
x
(
t
)
+
f
(
x
(
t
-
T
)
)
≥
D
0
R
α
x
(
t
)
+
C
x
(
t
-
T
), x
(
t
)
>
0, and x
(
t
-
T
)
>
0.
We consider the eventually positive solution of the following inequality:(18)
D
0
R
α
x
(
t
)
+
C
x
(
t
-
T
)
≤
0
.
Assume the inequality (18) has a solution e
α
λ
t:
(19)
[
D
0
R
α
+
C
e
α
-
λ
T
]
e
α
λ
t
=
[
λ
+
C
e
α
-
λ
T
]
e
α
λ
t
≤
0
.
IfC
T
>
ω
/
e
α
ω, the inequality λ
+
C
e
α
-
λ
T
≤
0 does not have a real root. That means every solution of the inequality (18) is oscillatory. Thus, if C
T
>
ω
/
e
α
ω, every solution of the delay differential equation (17) oscillates.


### 3.2. The Fractional-Order Delay Differential Equation with Oscillating Coefficients

We consider oscillation of solutions of the fractional-order delay differential equation with oscillating coefficients:(20)
D
0
R
α
x
(
t
)
+
p
(
t
)
x
(
t
-
T
)
=
0
.Letp
=
lim
⁡
t
→
∞
⁡
inf
⁡
(
1
/
T
)
∫
t
t
+
T
p
(
t
)
d
t
>
0. If t is sufficiently large,
(21)
[
D
0
R
α
+
p
(
t
)
e
α
-
λ
T
]
e
α
λ
t
=
[
λ
+
p
(
t
)
e
α
-
λ
T
]
e
α
λ
t
≥
[
λ
+
lim
⁡
t
→
∞
inf
⁡
1
T
∫
t
t
+
T
p
(
t
)
d
t
e
α
-
λ
T
]
e
α
λ
t
=
[
λ
+
p
e
α
-
λ
T
]
e
α
λ
t
,
[
λ
+
p
e
α
-
λ
T
]
e
α
λ
t
≤
0
.We have the sufficient conditions for oscillation of all solutions of (20) as follows.Theorem 9.
Ift is sufficiently large, lim
⁡
t
→
∞
⁡
inf
⁡
∫
t
t
+
T
p
(
t
)
d
t
>
ω
/
e
α
ω. Then, the solution of (20) is oscillatory.Proof.
Assume that (20) has eventually positive solution. If there exists t
0
>
0 such that t
>
t
0, then x
(
t
)
>
0, x
(
t
-
T
)
>
0,
(22)
D
0
R
α
x
(
t
)
+
P
(
t
)
x
(
t
-
T
)
≥
D
0
R
α
x
(
t
)
+
p
x
(
t
-
T
)
,
(23)
[
D
0
R
α
+
p
e
α
-
λ
T
]
e
α
λ
t
=
[
λ
+
p
e
α
-
λ
T
]
e
α
λ
t
=
f
(
λ
)
e
α
λ
t
=
0
,
(24)
D
0
R
α
x
(
t
)
+
p
x
(
t
-
T
)
≤
0
.
Similar to the proof process of Theorem8, every solution of the inequality (24) is oscillatory due to p
T
>
ω
/
e
α
ω. Thus, the inequality (24) does not have eventually positive solution. Therefore, if t is sufficiently large, p
T
>
ω
/
e
α
ω, and every solution of (20) is oscillatory. The proof of the theorem is complete.We consider the following fractional-order linear delay differential equations:(25)
D
0
R
α
V
(
t
)
+
∑
j
=
1
m
p
j
V
(
t
-
T
j
)
-
∑
j
=
1
m
q
j
V
(
t
-
σ
j
)
=
0
,
(26)
D
0
R
α
V
(
t
)
+
a
λ
0
V
(
t
)
+
∑
j
=
1
m
p
j
V
(
t
-
T
j
)
-
∑
j
=
1
m
q
j
V
(
t
-
σ
j
)
=
0
.Their characteristic equations are expressed by (27) and (28), respectively:
(27)
λ
+
∑
k
=
1
m
(
p
k
e
α
-
λ
T
k
-
q
k
e
α
-
λ
σ
k
)
=
0
,
(28)
λ
+
a
λ
0
+
∑
k
=
1
m
(
p
k
e
α
-
λ
T
k
-
q
k
e
α
-
λ
σ
k
)
=
0
,
where a, λ
0, p
k, q
k, T
k, σ
k are nonnegative constants.Based on Lemma3, the statements are equivalent for oscillation of all solutions of (25) and (26) as follows.Corollary 10.
The following statements are equivalent.(1)
Every solution of (25) and (26) oscillates.
(2)
The characteristic equations of (27) and (28) have no real roots.


## 3.1. The Fractional-Order Delay Differential Equation with Constant Coefficients

The general form of the fractional-order linear delay differential equation is(11)
D
0
R
α
x
(
t
)
+
p
x
(
t
-
T
)
=
0
.Since[
D
0
R
α
+
p
e
α
-
λ
T
]
e
α
λ
t
=
[
λ
+
p
e
α
-
λ
T
]
e
α
λ
t
=
f
(
λ
)
e
α
λ
t, the characteristic polynomial of (11) is as follows:
(12)
f
(
λ
)
=
λ
+
p
e
α
-
λ
T
=
0
.The detailed derivation can be found in AppendicesA, B, and C. Using Lemma 3, we have the necessary and sufficient conditions for oscillation of all solutions of (11) as follows.Corollary 4.
The following statements are equivalent.(1)
Every solution of (11) oscillates.
(2)
The characteristic equation (12) has no real roots.In order to use Corollary4 more effectively, Theorem 6 is proposed. Before presenting the theorem, the function g
(
t
)
=
t
/
e
α
t
(
0
<
t
<
+
∞
) is given (see Appendices A, B, and C for details), and the maximum of g
(
t
) is as follows:
(13)
M
=
max
⁡
g
(
t
)
=
ω
e
α
ω
,
(
1
≤
ω
≤
2
)
.Lemma 5.
(1)
If0
<
p
T
<
ω
/
e
α
ω or p
<
0, (12) has a real root.
(2)
Ifp
T
>
ω
/
e
α
ω, (12) has not a real root.Proof.
(1) Ifp
<
0, it is obvious that (12) has a real root.
Asp
>
0, from the characteristic equation (12),
(14)
p
e
α
-
λ
T
=
-
λ
,
p
T
=
-
λ
T
e
α
-
λ
T
<
1
e
α
1
.
Sop
<
0 or 0
<
p
T
<
ω
/
e
α
ω, and (12) has a real root.
(2) In the same way, we getp
T
>
ω
/
e
α
ω, and (12) has not a real root.Theorem 6.
(1)
If0
<
p
T
<
ω
/
e
α
ω or p
<
0, the solution of (11) is nonoscillatory.
(2)
Ifp
T
>
ω
/
e
α
ω, the solution of (11) is oscillatory.Proof.
The equationD
0
R
α
x
(
t
)
+
p
x
(
t
-
T
)
=
0 has a solution c
e
α
λ
t, if and only if λ is a root of characteristic of equation f
(
λ
)
=
λ
+
p
e
α
-
λ
T
=
0. Using the conditions for (11), we have the following.(1)
If0
<
p
T
<
ω
/
e
α
ω or p
<
0, (12) has a real root, and the solution of (11) c
e
α
λ
t is nonoscillatory.
(2)
Ifp
T
>
ω
/
e
α
ω, (12) does not have a real root, and the solution c
e
α
λ
t is oscillatory. So we can obtain p
T
>
ω
/
e
α
ω, and the solutions of (11) are oscillatory. Therefore, the proof of the theorem can be completed.Example 7.
We consider delay differential equation with fractional-order derivatives(15)
D
0
R
1
/
2
x
(
t
)
+
x
(
t
-
3
π
4
)
=
0
,
(16)
p
T
=
3
π
4
>
ω
e
1
/
2
ω
≈
0.179641784
⋯
.All the conditions of Theorem6 are satisfied. Fractional derivative of some special functions is as D
1
/
2
sin
t
=
sin
(
t
+
π
/
4
). Thus, all the solutions of (15) are oscillatory. One of such solutions is x
(
t
)
=
sin
t.We consider the following fractional-order linear delay differential equation:(17)
D
0
R
α
x
(
t
)
+
f
(
x
(
t
-
T
)
)
=
0(
H
1
): u
>
0, f
(
u
)
≥
C
u.Theorem 8.
Assume that(
H
) holds, and C
T
>
ω
/
e
α
ω are satisfied. Every solution of the delay differential equation (17) oscillates.Proof.
We may assume that (17) has eventually positive solution. Then, there exists t
0, and if t
>
t
0, 0
=
D
0
R
α
x
(
t
)
+
f
(
x
(
t
-
T
)
)
≥
D
0
R
α
x
(
t
)
+
C
x
(
t
-
T
), x
(
t
)
>
0, and x
(
t
-
T
)
>
0.
We consider the eventually positive solution of the following inequality:(18)
D
0
R
α
x
(
t
)
+
C
x
(
t
-
T
)
≤
0
.
Assume the inequality (18) has a solution e
α
λ
t:
(19)
[
D
0
R
α
+
C
e
α
-
λ
T
]
e
α
λ
t
=
[
λ
+
C
e
α
-
λ
T
]
e
α
λ
t
≤
0
.
IfC
T
>
ω
/
e
α
ω, the inequality λ
+
C
e
α
-
λ
T
≤
0 does not have a real root. That means every solution of the inequality (18) is oscillatory. Thus, if C
T
>
ω
/
e
α
ω, every solution of the delay differential equation (17) oscillates.


## 3.2. The Fractional-Order Delay Differential Equation with Oscillating Coefficients

We consider oscillation of solutions of the fractional-order delay differential equation with oscillating coefficients:(20)
D
0
R
α
x
(
t
)
+
p
(
t
)
x
(
t
-
T
)
=
0
.Letp
=
lim
⁡
t
→
∞
⁡
inf
⁡
(
1
/
T
)
∫
t
t
+
T
p
(
t
)
d
t
>
0. If t is sufficiently large,
(21)
[
D
0
R
α
+
p
(
t
)
e
α
-
λ
T
]
e
α
λ
t
=
[
λ
+
p
(
t
)
e
α
-
λ
T
]
e
α
λ
t
≥
[
λ
+
lim
⁡
t
→
∞
inf
⁡
1
T
∫
t
t
+
T
p
(
t
)
d
t
e
α
-
λ
T
]
e
α
λ
t
=
[
λ
+
p
e
α
-
λ
T
]
e
α
λ
t
,
[
λ
+
p
e
α
-
λ
T
]
e
α
λ
t
≤
0
.We have the sufficient conditions for oscillation of all solutions of (20) as follows.Theorem 9.
Ift is sufficiently large, lim
⁡
t
→
∞
⁡
inf
⁡
∫
t
t
+
T
p
(
t
)
d
t
>
ω
/
e
α
ω. Then, the solution of (20) is oscillatory.Proof.
Assume that (20) has eventually positive solution. If there exists t
0
>
0 such that t
>
t
0, then x
(
t
)
>
0, x
(
t
-
T
)
>
0,
(22)
D
0
R
α
x
(
t
)
+
P
(
t
)
x
(
t
-
T
)
≥
D
0
R
α
x
(
t
)
+
p
x
(
t
-
T
)
,
(23)
[
D
0
R
α
+
p
e
α
-
λ
T
]
e
α
λ
t
=
[
λ
+
p
e
α
-
λ
T
]
e
α
λ
t
=
f
(
λ
)
e
α
λ
t
=
0
,
(24)
D
0
R
α
x
(
t
)
+
p
x
(
t
-
T
)
≤
0
.
Similar to the proof process of Theorem8, every solution of the inequality (24) is oscillatory due to p
T
>
ω
/
e
α
ω. Thus, the inequality (24) does not have eventually positive solution. Therefore, if t is sufficiently large, p
T
>
ω
/
e
α
ω, and every solution of (20) is oscillatory. The proof of the theorem is complete.We consider the following fractional-order linear delay differential equations:(25)
D
0
R
α
V
(
t
)
+
∑
j
=
1
m
p
j
V
(
t
-
T
j
)
-
∑
j
=
1
m
q
j
V
(
t
-
σ
j
)
=
0
,
(26)
D
0
R
α
V
(
t
)
+
a
λ
0
V
(
t
)
+
∑
j
=
1
m
p
j
V
(
t
-
T
j
)
-
∑
j
=
1
m
q
j
V
(
t
-
σ
j
)
=
0
.Their characteristic equations are expressed by (27) and (28), respectively:
(27)
λ
+
∑
k
=
1
m
(
p
k
e
α
-
λ
T
k
-
q
k
e
α
-
λ
σ
k
)
=
0
,
(28)
λ
+
a
λ
0
+
∑
k
=
1
m
(
p
k
e
α
-
λ
T
k
-
q
k
e
α
-
λ
σ
k
)
=
0
,
where a, λ
0, p
k, q
k, T
k, σ
k are nonnegative constants.Based on Lemma3, the statements are equivalent for oscillation of all solutions of (25) and (26) as follows.Corollary 10.
The following statements are equivalent.(1)
Every solution of (25) and (26) oscillates.
(2)
The characteristic equations of (27) and (28) have no real roots.


## 4. The Fractional-Order Delay Partial Differential Equation

To research the oscillation properties of solutions for delay partial differential equations, we consider the delay parabolic differential equations [5]:
(29)
D
0
R
t
α
u
(
x
,
t
)
=
a
(
t
)
Δ
u
(
x
,
t
)
+
∑
k
=
1
s
b
k
(
t
)
Δ
u
(
x
,
t
-
σ
k
)
-
q
u
(
x
,
t
-
T
)
,
where (
x
,
t
)
∈
Ω
×
(
t
,
∞
)
=
G. ∂
Ω is the bounded region with piecewise smooth in R
n.The hypotheses are always true as follows.(
C
1
)
a
,
b
k
∈
C
(
[
0
,
∞
)
;
[
0
,
∞
)
), and q is a nonnegative constant.
(
C
2
)
T
,
σ
k are nonnegative constants.Consider the boundary conditions as follows:(
B
1
)
∂
u
(
x
,
t
)
∂
N
=
0
,
on
⁡
(
x
,
t
)
∈
∂
Ω
×
[
t
0
,
∞
)
,
where N is the unit exterior normal vector in ∂
Ω.If there are no special instructions in this section, we only discuss the oscillation of solutions of the fractional-order delay partial differential equation with respect to time variablet.Theorem 11.
Assume that(
C
1
)and (
C
2
)hold, and (
B
1
) is satisfied.(1)
As0
<
q
T
<
ω
/
e
α
ω or q
<
0, the solution of (29) and (
B
1
) is nonoscillatory.
(2)
Asq
T
>
ω
/
e
α
ω, the solution of (29) and (
B
1
) is oscillatory.Proof.
Let(
x
,
t
)
∈
Ω
×
[
t
1
,
∞
). Equation (29) on both sides of the integral of x in Ω is expressed by
(30)
D
t
α
[
∫
Ω
u
(
x
,
t
)
d
x
]
=
a
(
t
)
∫
Ω
Δ
u
(
x
,
t
)
d
x
+
∑
k
=
1
s
a
k
(
t
)
∫
Ω
Δ
u
(
x
,
t
-
σ
k
)
d
x
-
q
∫
Ω
u
(
x
,
t
-
T
)
d
x
.
By using Green’s formula and boundary conditions(
B
1
),
(31)
∫
Ω
Δ
u
(
x
,
t
)
d
x
=
∫
∂
Ω
∂
u
(
x
,
t
)
∂
N
d
S
=
0
,
∫
Ω
Δ
u
(
x
,
t
-
ρ
k
)
d
x
=
∫
∂
Ω
∂
u
(
x
,
t
-
ρ
k
)
∂
N
d
S
=
0
.
Letv
(
t
)
=
∫
Ω
u
(
x
,
t
)
d
x. Substituting (30) with (31),
(32)
D
0
R
α
v
(
t
)
+
q
v
(
t
-
T
)
=
0
.
Based on Corollary10, (1) and (2) in Theorem 14 are proved.Example 12.
Consider the parabolic equation:(33)
D
0
R
t
2
/
3
u
(
x
,
t
)
=
1
4
∂
2
u
(
x
,
t
)
∂
x
2
-
3
u
(
x
,
t
-
5
π
6
)
.
Because of3
×
(
5
π
/
6
)
>
ω
/
e
2
/
3
ω
≈
0.240874076
⋯, all the conditions in Theorem 11 (1) are satisfied. By using Theorem 11, every solution of (33), with
(34)
∂
u
∂
x
|
x
=
0
=
∂
u
∂
x
|
x
=
π
=
0
,
t
≥
0
,
oscillates in (
0
,
π
)
×
R
+. One of such solutions is u
(
x
,
t
)
=
sin
t
cos
⁡
2
x.For the more general equation of (29) with coefficients,
(35)
D
0
R
α
u
(
x
,
t
)
=
a
(
t
)
Δ
u
(
x
,
t
)
-
∑
j
=
1
m
p
j
u
(
x
,
t
-
T
j
)
+
∑
j
=
1
m
q
j
u
(
x
,
t
-
σ
j
)
.There are the boundary conditions as follows:(
B
2
)
u
(
x
,
t
)
=
0
,
with
(
x
,
t
)
∈
∂
Ω
×
[
t
0
,
∞
)
,
(
B
3
)
∂
u
(
x
,
t
)
∂
N
+
κ
u
=
0
,
with
(
x
,
t
)
∈
∂
Ω
×
[
t
0
,
∞
)
,
where N is the unit exterior normal vector in ∂
Ω.Assume that(
C
3
)   p
j, q
j, T
j, σ
j are nonnegative constants.Some sufficient conditions for oscillation of all solutions of (35) with (
B
2
) and (
B
3
) are established in Theorem 15. Before presenting the theorem, the lemma is given as follows.Lemma 13.
For the Dirichlet problem,(36)
Δ
u
+
λ
u
=
0
,
x
∈
Ω
u
|
∂
Ω
=
0
,
where λ is a constant. The smallest eigenvalue λ
0 of problem (36) is positive, and the corresponding eigenfunction Φ
(
x
) is also positive on x
∈
Ω [5]. With each solution u
(
x
,
t
) of problem (35) with the boundary condition (
B
2
), the function V
(
t
) is defined as
(37)
V
(
t
)
=
∫
Ω
u
(
x
,
t
)
Φ
(
x
)
d
x
,
t
>
t
1
.Theorem 14.
Assume that(
C
1
) and (
C
3
)hold, and (
B
2
) is satisfied. Every solution of the delay differential equation (26) with several coefficients oscillates. Then, every solution of (35) oscillates.Proof.
Let(
x
,
t
)
∈
Ω
×
[
t
1
,
∞
). If we multiply both sides of (35) by Φ
(
x
) and integrate x in Ω, we obtain
(38)
D
t
α
∫
Ω
u
(
x
,
t
)
Φ
(
x
)
d
x
=
a
(
t
)
∫
Ω
Δ
u
(
x
,
t
)
Φ
(
x
)
d
x
-
∑
j
=
1
m
p
j
∫
Ω
u
(
x
,
t
-
T
j
)
Φ
(
x
)
d
x
+
∑
j
=
1
m
q
j
u
(
x
,
t
-
σ
j
)
Φ
(
x
)
d
x
,
where Φ
(
x
)
>
0, which satisfies Lemma 13.
By using Green’s formula and boundary condition(
B
2
), we obtain
(39)
∫
Ω
Δ
u
(
x
,
t
)
Φ
(
x
)
d
x
=
∫
∂
Ω
[
Φ
(
x
)
∂
u
∂
N
-
u
∂
Φ
(
x
)
∂
N
]
d
S
+
∫
Ω
u
(
x
,
t
)
Δ
Φ
(
x
)
d
x
=
-
λ
0
∫
Ω
u
(
x
,
t
)
Φ
(
x
)
d
x
,
where d
S is the surface element on ∂
Ω. Substituting with (37), we obtain
(40)
D
0
R
α
V
(
t
)
+
a
λ
0
V
(
t
)
+
∑
j
=
1
m
p
j
V
(
t
-
T
j
)
-
∑
j
=
1
m
q
j
V
(
t
-
σ
j
)
=
0
.
Based on Corollary10, the proof of the theorem can be immediately completed. Let v
(
t
) be defined as v
(
t
)
=
∫
Ω
u
(
x
,
t
)
d
x, t
>
t
1, where u
(
x
,
t
) denotes a solution of problem (35) with the boundary condition (
B
1
) or (
B
3
). Then, we obtain
(41)
D
0
R
α
v
(
t
)
+
∑
j
=
1
m
p
j
v
(
t
-
T
j
)
-
∑
j
=
1
m
q
j
v
(
t
-
σ
j
)
=
0
.Theorem 15.
Assume that(
C
1
)
(
C
3
) hold and (
B
1
) is satisfied. Every solution of the delay differential equation with several coefficients (25) oscillates. Then, every solution of (35) with the boundary condition (
B
1
) oscillates.Proof.
Let(
x
,
t
)
∈
Ω
×
[
t
1
,
∞
) on the x be the definite integral in Ω. Assume that (35) with the boundary condition (
B
1
) has a nonoscillatory solution and (35) has an eventually positive solution:
(42)
D
t
α
∫
Ω
u
(
x
,
t
)
d
x
=
a
(
t
)
∫
Ω
Δ
u
(
x
,
t
)
d
x
-
∑
j
=
1
m
p
j
∫
Ω
u
(
x
,
t
-
T
j
)
d
x
+
∑
j
=
1
m
q
j
u
(
x
,
t
-
σ
j
)
d
x
.
By using Green’s formula and boundary condition(
B
1
), we obtain
(43)
∫
Ω
Δ
u
(
x
,
t
)
d
x
=
∫
∂
Ω
∂
u
(
x
,
t
)
∂
N
d
S
=
0
,
where d
S is the surface element on ∂
Ω.
Letv
(
t
)
=
∫
Ω
u
(
x
,
t
)
d
x (t
>
t
1) be substituted into (42). We obtain
(44)
D
0
R
α
v
(
t
)
+
∑
j
=
1
m
p
j
v
(
t
-
T
j
)
-
∑
j
=
1
m
q
j
v
(
t
-
σ
j
)
=
0
.
The detail of the proof process is similar to the proof process of Theorem15.Theorem 16.
Assume that(
C
1
)and (
C
2
)hold and (
B
3
) is satisfied. Every solution of the delay differential equation with the coefficients (25) oscillates. Then, every solution of (35) with the boundary condition (
B
3
) oscillates.Proof.
Let(
x
,
t
)
∈
Ω
×
[
t
1
,
∞
) on the x be the definite integral in Ω. For the sake of contradiction, assume that (35) with the boundary condition (
B
3
) has a nonoscillatory solution and (35) with the boundary condition (
B
1
) has an eventually positive solution:
(45)
D
t
α
∫
Ω
u
(
x
,
t
)
d
x
=
a
∫
Ω
Δ
u
(
x
,
t
)
d
x
-
∑
j
=
1
m
p
j
∫
Ω
u
(
x
,
t
-
T
j
)
d
x
+
∑
j
=
1
m
q
j
u
(
x
,
t
-
σ
j
)
d
x
.
By using Green’s formula and boundary condition(
B
3
), we obtain
(46)
∫
Ω
Δ
u
(
x
,
t
)
d
x
=
∫
∂
Ω
∂
u
(
x
,
t
)
∂
N
d
S
=
-
κ
∫
∂
Ω
u
(
x
,
t
)
d
S
≤
0
,
where d
S is the surface element on ∂
Ω. Let v
(
t
)
=
∫
Ω
u
(
x
,
t
)
d
x (t
>
t
1) be substituted into (45). We obtain
(47)
D
0
R
α
v
(
t
)
+
∑
j
=
1
m
p
j
v
(
t
-
T
j
)
-
∑
j
=
1
m
q
j
v
(
t
-
σ
j
)
≤
0
.
The detail of the proof process is similar to the proof process of Theorem15.The delay parabolic differential equations are expressed by(48)
D
0
R
α
u
(
x
,
t
)
=
a
(
t
)
Δ
u
(
x
,
t
)
+
∑
k
=
1
m
b
k
(
t
)
Δ
u
(
x
,
t
-
T
k
)
-
∑
i
=
1
n
q
i
(
t
)
f
i
[
u
(
x
,
t
-
σ
i
)
]
.Consider the boundary conditions, as shown in(
B
1
) where N is the unit exterior normal vector in ∂
Ω.(
C
4
)
T
k
,
σ
i are nonnegative constants.
(
C
5
)
a
(
t
)
,
b
k
(
t
)
,
q
i
(
t
)
∈
C
(
[
0
,
∞
)
;
[
0
,
∞
)
), k
=
1
,
2
,
…
,
m; i
=
1
,
2
,
…
,
n; where q
i
=
inf
⁡
q
i
(
t
) is a nonnegative constant.
(
H
2
)
f
i
(
u
)
∈
C
(
R
,
R
), and u
>
0
,
f
i
(
u
)
≥
c
i
u, i
=
1
,
2
,
…
,
n.Theorem 17.
Assume that(
C
4
), (
C
5
), and (
H
2
) hold and (
B
1
) is satisfied. If ∑
i
=
1
n
c
i
q
i
σ
i
>
ω
/
e
α
ω, the solution of (48) with the boundary condition (
B
1
) is oscillatory.Proof.
Let(
x
,
t
)
∈
Ω
×
[
t
1
,
∞
). Assume that (48) with the boundary condition (
B
2
) has no oscillation solutions, and (48) has eventually positive solution. If there exists t
2
>
t
1 such that t
>
t
2, then u
(
x
,
t
)
>
0,  u
(
x
,
t
-
T
k
)
>
0,  u
(
x
,
t
-
σ
j
)
>
0. If (
H
2
) is satisfied, (48) can be transformed into the inequality as follows:
(49)
D
0
R
α
u
(
x
,
t
)
≤
a
(
t
)
Δ
u
(
x
,
t
)
+
∑
k
=
1
m
b
k
(
t
)
Δ
u
(
x
,
t
-
τ
k
)
-
∑
i
=
1
n
q
i
C
i
u
(
x
,
t
-
σ
i
)
.
The inequality (49) on both sides of the integral of x in Ω is expressed by
(50)
D
t
α
∫
Ω
u
(
x
,
t
)
d
x
≤
a
(
t
)
∫
Ω
Δ
u
(
x
,
t
)
d
x
+
∑
j
=
1
m
b
k
(
t
)
∫
Ω
u
(
x
,
t
-
T
k
)
d
x
-
∑
j
=
1
n
∫
Ω
q
j
C
j
u
(
x
,
t
-
σ
j
)
d
x
.
By using Green’s formula and boundary conditions(
B
1
), we obtain
(51)
∫
Ω
Δ
u
(
x
,
t
)
d
x
=
∫
∂
Ω
∂
u
(
x
,
t
)
∂
N
d
S
=
0
,
∫
Ω
Δ
u
(
x
,
t
-
ρ
k
)
d
x
=
∫
∂
Ω
∂
u
(
x
,
t
-
ρ
k
)
∂
N
d
S
=
0
.
Substituting (50) with (51) and v
(
t
)
=
∫
Ω
u
(
x
,
t
)
d
x, we obtain
(52)
D
α
v
(
t
)
+
∑
j
=
1
n
q
j
C
j
v
(
t
-
T
j
)
≤
0
.
By using Theorem9, the proof of the theorem can be completed.



---

*Source: 272198-2014-08-03.xml*