Novel iterative criteria for oscillatory behavior in nonlinear neutral differential equations

1.   Introduction

Structural stability of systems is important since structural stable systems can resist external disturbance; we refer the reader to ^{[10,11,12,13,14,15,16,17,18,19,20,21,22]}. Many researchers provided sufficient conditions for structural stability of planar (2-dimension) polynomial vector fields under polynomial perturbations ^{[30,31,32,33,34,35,36]}. In this paper, we focus on the high-dimensional systems. Usually authors study structural stability under the assumption that the linear system has some hyperbolic property and in most papers the authors assume that the linear system admits (classical or uniform) exponential dichotomy ^[7,8]. However, it is argued that (uniform) exponential dichotomy restrict the behavior of dynamical systems. For this reason, we need a more general concept of hyperbolicity. Recently, nonuniform exponential behavior and nonuniform exponential dichotomy was introduced (see e.g. ^{[1,3,4,5,6,20,21]}). As a result a natural question arises: if the linear system admits a nonuniform exponential dichotomy, can structural stability of systems be destroyed by the nonuniformity? This paper gives a nonuniform version of structural stability of nonlinear systems.

2.   Main results

In this section, we state our main theorem. Consider the systems

where $t\in \mathbb{R}, x\in \mathbb{R}^{n}$, $A(t)$ is a continuous matrix function, and $f: \mathbb{R}\times \mathbb{R}^{n}\rightarrow \mathbb{R}^{n}$ is a piecewise continuous function. Let $T(t, s)$ be the evolution operator satisfying $x(t) = T(t, s)x(s)$, $t, s \in \mathbb{R}$, where $x(t)$ is a solution of the system (2.1).

Definition 2.1. The linear system (2.1) is said to admit a nonuniform exponential dichotomy if there exists a projection $P(t)$ ($P^2 = P$) and constants $\alpha > 0, K > 0, \varepsilon \geq 0$, such that

where $P(t)+Q(t) = Id \, \, \, (identity), T(t, s)P(s) = P(t)T(t, s), t, s \in \mathbb{R}$, and $\|\cdot \|$ is the Euclidean norm (see e.g. ^[1,2,27]).

Remark 2.1. The nonuniform exponential dichotomy reduces to the classical (uniform) exponential dichotomy by taking $\varepsilon = 0$ in (2.3). In bad situations, an example is given in ^[1,2] to show that linear system does not admit an exponential dichotomy, but it admits a nonuniform exponential dichotomy.

Let $f:\mathbb{R}\times\mathbb{R}^{n}\rightarrow \mathbb{R}^{n}$ be a piecewise continuous function. There exists $L_{f} > 0$ such that for any $x_{1}, x_{2}\in \mathbb{R}^{n}, t\in \mathbb{R}$, the piecewise continuous function $f(t, x)$ satisfies (here $\varepsilon \geq 0$ as above)

$(H_{1})$ $\|f(t, x_{1})-f(t, x_{2})\|\leq L_{f} e^{-\varepsilon |t|}\cdot\|x_{1}-x_{2}\|$.

For a small enough number $0 < \gamma < 1$, denote

Since the conditions in $\mathcal{S}$ are used in the following proof, for sake of convenience, we denote

$(H_{2})$ $2KL_{f}\alpha^{-1}\leq \gamma$,

$(H_3)$ $\sup_{t\in \mathbb{R}} \int^{t+1}_{t}\|f(\sigma, 0)\|e^{\varepsilon |\sigma|}d\sigma < +\infty$.

For any $f(t, x)\in \mathcal{S}$, define $L_{f} = \inf\{c > 0| \|f(t, x_1)-f(t, x_2)\| \leq ce^{-\varepsilon |t|} \|x_1-x_2\| \}$. Taking $\|f(t, x)\|_{1} = \max\{ L_{f}| f\in \mathcal{S}\}$, then $\mathcal{S}$ is a normed linear vector space with norm $\|\cdot\|_{1}$. If $\dot{x}(t) = A(t)x+f(t, x)$ is topologically conjugated to $\dot{y}(t) = A(t)y+g(t, y)$, we denote it by $f \approx g$. For detailed definition of a topological conjugacy, for example, one can refer to ^{[11,13,23,26,27,28,29]}.

Definition 2.2. The differential equation $\dot{x}(t) = A(t)x+f(t, x)$ is said to be structurally stable in $\mathcal{S}$, if for any $g(t, y) \in \mathcal{S}$, we have $\dot{y}(t) = A(t)y+g(t, y)$ is topologically conjugated to $\dot{x}(t) = A(t)x+f(t, x)$ (i.e. $g \approx f$).

Theorem 2.1. For any $f(t, x)\in \mathcal{S}$, if the linear system $(2.1)$ admits a nonuniform exponential dichotomy, then system (2.2) is structurally stable in $\mathcal{S}$.

3.   Proofs of main results

To prove the main result, some preliminary lemmas are needed.

Lemma 3.1(^[26]) Let $\varphi(t)$ be a non-negative locally integrable function on $\mathbb{R}$. If there exist constants $p > 0, C > 0$ such that

then for any $\beta > 0$, we have

Lemma 3.2 Suppose that system $(2.1)$ admits a nonuniform exponential dichotomy with the constants $\varepsilon, \alpha$. If the nonlinear term $f(t, x)\in \mathcal{S}$, then the nonlinear system $(2.2)$ has a unique bounded solution $y(t)$ satisfying

Proof. Now we prove this lemma in three steps.

Step 1. First, we prove that the nonlinear system $(2.2)$ has a unique bounded solution. For this purpose, let $\sup_{t\in \mathbb{R}} \int^{t+1}_{t}\|f(\sigma, 0)\|e^{\varepsilon |\sigma|}d\sigma = M$, $x_{0}(t)\equiv 0$, and

Take $t\in \mathbb{R}$. From $({H}_{1})$ and Lemma 3.1, it is easy to obtain that

which implies $x_1(t)$ is bounded. Assume that $x_{m}(t)$ is bounded. Define $x_{m+1}(t)$ as

From (2.3) and $({H}_{2})$, we have

It follows from $({H}_{1})$ and Lemma 3.1 that

and this implies

Consequently, we have

In view of $({H}_{3})$, $\frac{2KL_{f}}{\alpha} < 1$, we obtain

which implies that the sequence of function $\{x_{m}(t)\}$ is bounded on $\mathbb{R}$. Also,

Let $T_{m} = \sup_{t\in \mathbb{R}}\|x_{m}(t)-x_{m-1}(t)\|$. It follows from $({H}_{3})$ that

Since $0 < \gamma < 1$, the series $\mathop \sum \limits_{m = 1}^{ + \infty } \|x_{m}(t)-x_{m-1}(t)\|$ converges uniformly on $\mathbb{R}$. Denote $\lim\limits_{m\rightarrow \infty}x_{m}(t) = y(t)$, and note $y(t)$ is bounded. In addition,

Step 2. We will prove that any bounded solution of system (2.2) can be expressed by formula (3.1). Now assume that system (2.2) has another bounded solution $x(t)$ satisfying $x(0) = x_{0}, \|x(t)\|\leq \vartheta$. We have

From Lemma 3.1, we have

Hence, we see that

is bounded. In addition, the above formula is the solution of system (2.1), so it is a bounded solution. Note that the linear system has no non-trival bounded solution due to the nonuniform exponential dichotomy. Thus we have

and therefore,

Step 3. We prove the uniqueness of the bounded solution. From (2.3), $({H}_{2})$ and $({H}_{3})$, we have

That is, $\sup_{t\in \mathbb{R}}\|y(t)-x(t)\|\leq \gamma \sup_{t\in \mathbb{R}}\|y(t)-x(t)\|$, which implies $y(t) = x(t)$. Thus, the uniqueness is proved.

Remark 3.1 In the proof, the function sequence $\{x_{m}(t)\}$ can be seen as the approximation sequence of the solution of system (2.2) and we conclude that $\{x_{m}(t)\}$ is bounded on $\mathbb{R}$.

Lemma 3.3 Suppose that the system $(2.1)$ admits a nonuniform exponential dichotomy, $f_{i}(t, x)\in \mathcal{S}, (i = 1, 2)$ and $2KL_{f_{i}}\alpha^{-1}\leq \gamma$. Let $y(t, \varrho, x)$ be the bounded solution of

with $\varphi(\varrho, \varrho, x) = x$. Then for any $x\in \mathbb{R}^{n}, \varrho \in \mathbb{R}$, the following differential equation

has a unique bounded solution $z^{(\varrho, x)}(t)$ satisfying

Moreover, $z^{(\varrho, x)}(\varrho)$ uniformly converges to $z^{(\varrho, x_{0})}(\varrho)$ for $x\rightarrow x_{0}\in \mathbb{R}^{n}$.

Proof. For fixed $(\varrho, x)\in \mathbb{R}\times \mathbb{R}^{n}$, clearly, system (3.4) satisfies the conditions of Lemma 3.2. Thus, (3.4) has a unique bounded solution $z^{(\varrho, x)}(t)$ satisfying (3.5). Now we construct a sequence $\{z_{m}^{(\varrho, x)}(t)\}$. Let $z_{0}^{(\varrho, x)}(t)\equiv 0$, and

Assume that $z_{m}^{(\varrho, x)}(t)$ is well defined. Take

From Remark 3.1 and Lemma 3.2, the approximation sequence $\{z_{m}^{(\varrho, x)}(t)\}$ of the solution of system (3.4) uniformly converges to $z^{(\varrho, x)}(t)$ on $\mathbb{R} \times (\mathbb{R}\times \mathbb{R}^{n})$.

Now we claim that for any non-negative integer $m$, $x_{0}\in \mathbb{R}^{n}, h > 0$, $z_{m}^{(\varrho, x)}(t)$ uniformly converges to $z_{m}^{(\varrho, x_{0})}(t)$ on $|t-\varrho|\leq h$, for $x\rightarrow x_{0}$.

For $m = 0$, $z_{0}^{(\varrho, x)}(t) = 0$, the claim is clear. Assume that the above claim holds for $m = k$. Now we consider $m = k+1$. For $x_{0}\in \mathbb{R}^{n}, h > 0$, we prove that for any $\varepsilon > 0$, there exists a constant $\delta^{*}$ such that

where $\|x-x_{0}\| < \delta^{*}$.

Since $f_{i}(t, x)\in {\cal{S}}, \, i = 1, 2$, let $\sup_{t\in \mathbb{R}} \int^{t+1}_{t}\|f_i(\sigma, 0)\|e^{\varepsilon |\sigma|} d\sigma = M_i, \, i = 1, 2$.

From (2.3) and $(H_{1})$, we have

where $\tau = \frac{1}{\alpha}|\ln\frac{\varepsilon \alpha}{8[(L_{f_1}+L_{f_2})\overline{M}+2M]}|$. From Remark 3.1 and Lemma 3.2, we see that the approximation sequence $\{z_{m}^{(\varrho, x)}(t)\}$ of the solution of system (3.4) is bounded on $\mathbb{R}$. Also, $y(s, \varrho, x)$ is bounded on $\mathbb{R}$. Without loss of generality, we assume that they are all bounded above by $\overline{M}$. Since $f_{i}(t, x)\in \mathcal{S}, (i = 1, 2)$, a standard computations lead us to

By assumption, for the above $\varepsilon > 0$, there exists a constant $\delta_{k} > 0$ such that when $\|x-x_{0}\| < \delta_{k}$, $\begin{array}{lll} \|z_{k}^{(\varrho, x)}(t)-z_{k}^{(\varrho, x_{0})}(t)\| < \varepsilon, \, \, \, \, \, \, |t-\varrho|\leq h. \end{array}$ Since $\varphi(t, \varrho, x)$ is the solution of (2.2),

Due to the continuity, we can assume that there is a positive constant $\theta$ such that $\|A(t)\|\leq \theta$, for $|t-\varrho|\leq h+\tau$. We have

It follows from Bellmen's inequality that

That is, for the above $\varepsilon > 0$, there exists a constant $\delta_{0}$ such that

where $\|x-x_{0}\| < \delta_{0}$. Consequently,

Similarly, there exists a constant $\underline{\delta} > 0$, for $\|x-x_{0}\| < \underline{\delta}$, $\int^{t+\tau}_{t}Jds\leq \frac{3\gamma}{2}, \, \, \, |t-\varrho|\leq h.$ Taking $\delta^{*} = \min\{\overline{\delta}, \underline{\delta}\}$, then for $|x-x_{0}| < \delta^{*}$, we have

Therefore, for any $x_{0}\in\mathbb{R}^{n}, h > 0$, when $x\rightarrow x_{0}$, $z_{k+1}^{(\varrho, x)}(t)$ uniformly converges to $z_{k+1}^{(\varrho, x_{0})}(t)$ on $|t-\varrho|\leq h$. From the induction principle, for any non-negative integer $m$, $x_{0}\in \mathbb{R}^{n}$ and $h > 0$, if $x\rightarrow x_{0}$, then $z_{m}^{(\varrho, x)}(t)$ uniformly converges to $z_{m}^{(\varrho, x_{0})}(t)$ on $|t-\varrho|\leq h$.

In particular, taking $h = 0$, we have for any non-negative integer $m$, $x_{0}\in \mathbb{R}^{n}$, if $x\rightarrow x_{0}$, then $z_{m}^{(\varrho, x)}(\varrho)$ uniformly converges to $z_{m}^{(\varrho, x_{0})}(\varrho)$.

We finally need to prove that for $x\rightarrow x_{0}$, $z^{(\varrho, x)}(\varrho)$ uniformly converges to $z^{(\varrho, x_{0})}(\varrho)$ on $\mathbb{R}$. In fact, for any $\widetilde{\varepsilon} > 0$, since $\{z_{m}^{(\varrho, x)}(\varrho)\}$ uniformly converges to $z^{(\varrho, x)}(\varrho)$ on $\mathbb{R}$, there exists a constant $m_{0}$ such that

In addition, for $x\rightarrow x_{0}$, since $\{z_{m_{0}}^{(\varrho, x)}(\varrho)\}$ uniformly converges to $z_{m_{0}}^{(\varrho, x_{0})}(\varrho)$ on $\mathbb{R}$, there exists a constant $\delta^{*}$, $\|x-x_{0}\| < \delta^{*}$ such that for the above $\widetilde{\varepsilon} > 0$,

Hence, for $|x-x_{0}| < \delta^{*}$,

Therefore, for $x\rightarrow x_{0}$, $z^{(\varrho, x)}(\varrho)$ uniformly converges to $z^{(\varrho, x_{0})}(\varrho)$ on $\mathbb{R}$. This completes the proof of Lemma 3.3.

Proof of Theorem 2.1. For any $g$ in $\mathcal{S}$, it suffices to prove that

is topologically conjugated to

For any $\varrho \in \mathbb{R}, x\in \mathbb{R}^{n}$, let $y(t, \varrho, x)$ be a solution of system (2.2) and $y(\varrho, \varrho, x) = x$. From Lemma 3.3, the differential function (3.4) has a unique bounded solution $z^{(\varrho, x)}(t)$ satisfying (3.5). For $x\rightarrow x_{0}\in \mathbb{R}$, $z^{(\varrho, x)}(\varrho) \rightarrow z^{(\varrho, x_{0})}(\varrho)$ uniformly with respect to $\varrho$. Now we take

Then by a similar argument as in ^[9] or ^[25,26], it is not difficult to prove the conjugacy between system (3.6) and (3.7).

4.   Conclusions

This paper provides a nonuniform version of the theorem on the structural stability of nonlinear systems. We show that if the linear system $\dot{x}(t) = A(t)x(t)$ admits a nonuniform exponential dichotomy, then the perturbed nonautonomous system $\dot{x}(t) = A(t)x(t)+f(t, x)$ is structurally stable under suitable conditions.

Acknowledgments

This work was supported by the National Natural Science Foundation of China under Grant (No. 11671176 and No. 11931016), Natural Science Foundation of Zhejiang Province under Grant (No. LY20A010016).

Conflict of interest

The authors declare that there is no conflict of interests regarding the publication of this article.

Authors' contributions

Yonghui Xia conceived of the study, outlined the proof, proposed the project, drafted the manuscript. Yuzhen Bai participated in the discussion, smooth the English, made the corrections and proofread the final version. Xiaoqing Yuan carried out some part of computations in the proof. Donal O'Regan participated in the discussion and help to smooth the manuscript. All authors read and approved the final manuscript.