- Research
- Open Access
- Published:

# Uncountably many solutions of first-order neutral nonlinear differential equations

*Advances in Difference Equations*
**volume 2013**, Article number: 140 (2013)

## Abstract

The article deals with the existence of uncountably many positive solutions which are bounded below and above by positive functions for the first-order nonlinear neutral differential equations. Some examples are included to illustrate the results presented in this article.

**MSC:**34K40, 34K12.

## 1 Introduction

In recent years, the study of existence and qualitative properties of solutions for various kinds of neutral delay differential equations has attracted much attention. For related results, we refer the reader to [1–13] and the references cited therein. The authors only considered the existence of solutions which are bounded by positive constants, *e.g.*, in [8, 9, 11–13]. For example, Erbe *et al.* [6] established a few oscillation and nonoscillation criteria for linear neutral delay differential equation

Diblík and co-autors in [1–4] studied the existence of positive and oscillatory solutions of differential equations with delay and nonlinear systems in view of Ważievski’s retract principle and later extended to retarded functional differential equations by Rybakowski. Zhou [12] deduced the existence of nonoscillatory solutions of the second-order nonlinear neutral differential equations and Lin *et al.* [9] discussed the existence of nonoscillatory solutions for a third-order nonlinear neutral delay differential equation, and by utilizing Krasnoselskii’s fixed point theorem and Schauder’s fixed point theorem, they developed some sufficient conditions for the existence of uncountably many nonoscillatory solutions bounded by positive constants. Some interesting results about the existence of nonoscillatory solutions of delay differential equations can also be found in [1, 5].

In this paper, we investigate the following nonlinear neutral differential delay differential equations:

where \tau >0, \sigma \ge 0, a\in C([{t}_{0},\mathrm{\infty}),(0,\mathrm{\infty})), p\in C(R,(0,\mathrm{\infty})), f\in C(R,R), *f* is a nondecreasing function for x>0 and f(x)>0, x>0.

By a solution of Eq. (1), we mean a function x\in C([{t}_{1}-\tau ,\mathrm{\infty}),R) for some {t}_{1}\ge {t}_{0} such that x(t)-a(t)x(t-\tau ) is continuously differentiable on [{t}_{1},\mathrm{\infty}) and such that Eq. (1) is satisfied for t\ge {t}_{1}.

As much as we know, in the literature there is no result for the existence of uncountably many solutions which are bounded below and above by positive functions. This problem is discussed and treated in this paper.

The following fixed point theorem will be used to prove the main results in the next section.

**Lemma 1.1** ([6, 12] Krasnoselskii’s fixed point theorem)

*Let* *X* *be a Banach space*, *let* Ω *be a bounded closed convex subset of* *X* *and let* {S}_{1}, {S}_{2} *be maps of* Ω *into* *X* *such that* {S}_{1}x+{S}_{2}y\in \mathrm{\Omega} *for every pair* x,y\in \mathrm{\Omega}. *If* {S}_{1} *is contractive and* {S}_{2} *is completely continuous*, *then the equation*

*has a solution in* Ω.

## 2 The existence of positive solutions

In this section we consider the existence of uncountably many positive solutions for Eq. (1) which are bounded by two positive functions. We use the notation m=max\{\tau ,\sigma \}.

**Theorem 2.1** *Suppose that there exist bounded from below and from above by the functions* *u* *and* v\in {C}^{1}([{t}_{0},\mathrm{\infty}),(0,\mathrm{\infty})) *constants* c>0, {K}_{2}>{K}_{1}\ge 0 *and* {t}_{1}\ge {t}_{0}+m *such that*

*Then Eq*. (1) *has uncountably many positive solutions which are bounded by the functions* *u*, *v*.

*Proof* Let C([{t}_{0},\mathrm{\infty}),R) be the set of all continuous bounded functions with the norm \parallel x\parallel ={sup}_{t\ge {t}_{0}}|x(t)|. Then C([{t}_{0},\mathrm{\infty}),R) is a Banach space. We define a closed, bounded and convex subset Ω of C([{t}_{0},\mathrm{\infty}),R) as follows:

For K\in [{K}_{1},{K}_{2}] we define two maps {S}_{1} and {S}_{2}:\mathrm{\Omega}\to C([{t}_{0},\mathrm{\infty}),R) as follows:

We will show that for any x,y\in \mathrm{\Omega}, we have {S}_{1}x+{S}_{2}y\in \mathrm{\Omega}. For every x,y\in \mathrm{\Omega} and t\ge {t}_{1} with regard to (4), we obtain

For t\in [{t}_{0},{t}_{1}] we have

Furthermore, for t\ge {t}_{1} we get

Let t\in [{t}_{0},{t}_{1}]. With regard to (3), we get

Then, for t\in [{t}_{0},{t}_{1}] and any x,y\in \mathrm{\Omega}, we obtain

Thus we have proved that {S}_{1}x+{S}_{2}y\in \mathrm{\Omega} for any x,y\in \mathrm{\Omega}.

We will show that {S}_{1} is a contraction mapping on Ω. For x,y\in \mathrm{\Omega} and t\ge {t}_{1}, we have

This implies that

Also, for t\in [{t}_{0},{t}_{1}] the inequality above is valid. We conclude that {S}_{1} is a contraction mapping on Ω.

We now show that {S}_{2} is completely continuous. First, we show that {S}_{2} is continuous. Let {x}_{k}={x}_{k}(t)\in \mathrm{\Omega} be such that {x}_{k}(t)\to x(t) as k\to \mathrm{\infty}. Because Ω is closed, x=x(t)\in \mathrm{\Omega}. For t\ge {t}_{1} we have

According to (7), we get

Since |f({x}_{k}(s-\sigma ))-f(x(s-\sigma ))|\to 0 as k\to \mathrm{\infty}, by applying the Lebesgue dominated convergence theorem, we obtain that

This means that {S}_{2} is continuous.

We now show that {S}_{2}\mathrm{\Omega} is relatively compact. It is sufficient to show by the Arzela-Ascoli theorem that the family of functions \{{S}_{2}x:x\in \mathrm{\Omega}\} is uniformly bounded and equicontinuous on [{t}_{0},\mathrm{\infty}). The uniform boundedness follows from the definition of Ω. For the equicontinuity, we only need to show, according to the Levitan result [7], that for any given \epsilon >0, the interval [{t}_{0},\mathrm{\infty}) can be decomposed into finite subintervals in such a way that on each subinterval all functions of the family have a change of amplitude less than *ε*. Then, with regard to condition (8), for x\in \mathrm{\Omega} and any \epsilon >0, we take {t}^{\ast}\ge {t}_{1} large enough so that

Then, for x\in \mathrm{\Omega}, {T}_{2}>{T}_{1}\ge {t}^{\ast}, we have

For x\in \mathrm{\Omega} and {t}_{1}\le {T}_{1}<{T}_{2}\le {t}^{\ast}, we get

Thus there exists {\delta}_{1}=\frac{\epsilon}{M}, where M={max}_{{t}_{1}\le s\le {t}^{\ast}}\{p(s)f(x(s-\sigma ))\}, such that

Finally, for any x\in \mathrm{\Omega}, {t}_{0}\le {T}_{1}<{T}_{2}\le {t}_{1}, there exists a {\delta}_{2}>0 such that

Then \{{S}_{2}x:x\in \mathrm{\Omega}\} is uniformly bounded and equicontinuous on [{t}_{0},\mathrm{\infty}), and hence {S}_{2}\mathrm{\Omega} is a relatively compact subset of C([{t}_{0},\mathrm{\infty}),R). By Lemma 1.1 there is an {x}_{0}\in \mathrm{\Omega} such that {S}_{1}{x}_{0}+{S}_{2}{x}_{0}={x}_{0}. We conclude that {x}_{0}(t) is a positive solution of (1).

Next we show that Eq. (1) has uncountably many bounded positive solutions in Ω. Let the constant \overline{K}\in [{K}_{1},{K}_{2}] be such that \overline{K}\ne K. We infer similarly that there exist mappings {\overline{S}}_{1}, {\overline{S}}_{2} satisfying (5), (6), where *K*, {S}_{1}, {S}_{2} are replaced by \overline{K}, {\overline{S}}_{1}, {\overline{S}}_{2}, respectively. We assume that x,y\in \mathrm{\Omega}, {S}_{1}x+{S}_{2}x=x, {\overline{S}}_{1}y+{\overline{S}}_{2}y=y, which are the bounded positive solutions of Eq. (1), that is,

From condition (8) it follows that there exists a {t}_{2}>{t}_{1} satisfying

In order to prove that the set of bounded positive solutions of Eq. (1) is uncountable, it is sufficient to verify that x\ne y. For t\ge {t}_{2} we get

Then we have

According to (9) we get that x\ne y. Since the interval [{K}_{1},{K}_{2}] contains uncountably many constants, then Eq. (1) has uncountably many positive solutions which are bounded by the functions u(t), v(t). This completes the proof. □

**Corollary 2.1** *Suppose that there exist bounded from below and from above by the functions* *u* *and* v\in {C}^{1}([{t}_{0},\mathrm{\infty}),(0,\mathrm{\infty})) *constants* c>0, {K}_{2}>{K}_{1}\ge 0 *and* {t}_{1}\ge {t}_{0}+m *such that* (2), (4) *hold and*

*Then Eq*. (1) *has uncountably many positive solutions which are bounded by the functions* *u*, *v*.

*Proof* We only need to prove that condition (10) implies (3). Let t\in [{t}_{0},{t}_{1}] and set

Then, with regard to (10), it follows that

Since H({t}_{1})=0 and {H}^{\prime}(t)\le 0 for t\in [{t}_{0},{t}_{1}], this implies that

Thus all the conditions of Theorem 2.1 are satisfied. □

**Example 2.1** Consider the nonlinear neutral differential equation

where p(t)={e}^{-t}. We will show that the conditions of Corollary 2.1 are satisfied. The functions u(t)=0.5, v(t)=2 satisfy (2) and also condition (10) for t\in [{t}_{0},{t}_{1}]=[0,4]. For the constants {K}_{1}=0.5, {K}_{2}=1, condition (4) has the form

If the function a(t) satisfies (12), then Eq. (11) has uncountably many positive solutions which are bounded by the functions *u*, *v*.

**Example 2.2** Consider the nonlinear neutral differential equation

where \tau ,\sigma \in (0,\mathrm{\infty}), p(t)={e}^{-3t}. We will show that the conditions of Corollary 2.1 are satisfied. The functions u(t)={e}^{-2t}, v(t)={e}^{\tau}+{e}^{-t}, t\ge 1, satisfy (2) and since

condition (10) is also satisfied. For the constants {K}_{1}=0, {K}_{2}={e}^{\tau}-1, condition (4) has the form

For \tau =\sigma =1 we get

If the function a(t) satisfies (14), then Eq. (13) has uncountably many solutions which are bounded by the functions *u*, *v*.

**Example 2.3** Consider the nonlinear neutral differential equation

where \tau ,\sigma \in (0,\mathrm{\infty}), p(t)={e}^{-t}. We will show that the conditions of Corollary 2.1 are satisfied. The functions u(t)={e}^{-t}, v(t)={e}^{\tau}+2{e}^{-t}, t\ge 1 satisfy (2) and also (10)

For the constants {K}_{1}=1, {K}_{2}={e}^{\tau}-1, where \tau >ln2, t\ge 3.2, condition (4) has the form

For \tau =\sigma =1 and t\ge 3.2, we have

Then for a(t), which satisfies the inequalities

Eq. (11) has uncountably many solutions which are bounded by the functions *u*, *v*.

## References

Boichuk A, Diblík J, Khusainov D, Růžičková M: Fredholm’s boundary-value problems for differential systems with a single delay.

*Nonlinear Anal.*2010, 72: 2251-2258. 10.1016/j.na.2009.10.025Diblík J, Svoboda Z, Šmarda Z: Retract principle for neutral functional differential equations.

*Nonlinear Anal., Theory Methods Appl.*2009, 71: 1393-1400. 10.1016/j.na.2009.01.164Diblík J, Růžičková M: Existence of positive solutions of a singular initial problem for a nonlinear system of differential equations.

*Rocky Mt. J. Math.*2004, 3: 923-944.Diblík J, Růžičková M, Šutá Z: Asymptotical convergence of the solutions of a linear differential equation with delays.

*Adv. Differ. Equ.*2010., 2010: Article ID 749852Dorociaková B, Najmanová A, Olach R: Existence of nonoscillatory solutions of first-order neutral differential equations.

*Abstr. Appl. Anal.*2011., 2011: Article ID 346745. doi:10.1155/2011/346745Erbe LH, Kong QK, Zhang BG:

*Oscillation Theory for Functional Differential Equations*. Dekker, New York; 1995.Levitan BM: Some problems of the theory of almost periodic functions I.

*Usp. Mat. Nauk*1947, 2(5):133-192.Lin X: Oscillation of second-order nonlinear neutral differential equations.

*J. Math. Anal. Appl.*2005, 309: 442-452. 10.1016/j.jmaa.2004.08.023Lin Z, Chen L, Kang SM, Cho SY: Existence of nonoscillatory solutions for a third order nonlinear neutral delay differential equation.

*Abstr. Appl. Anal.*2011., 2011: Article ID 693890. doi:10.1155/2011/693890Špániková E, Šamajová H: Asymptotic properties of solutions to

*n*-dimensional neutral differential systems.*Nonlinear Anal., Theory Methods Appl.*2009, 71: 2877-2885. 10.1016/j.na.2009.01.159Wang X, Liao L: Asymptotic behaviour of solutions of neutral differential equations with positive and negative coefficients.

*J. Math. Anal. Appl.*2003, 279: 326-338. 10.1016/S0022-247X(03)00021-0Zhou Y: Existence for nonoscillatory solutions of second-order nonlinear differential equations.

*J. Math. Anal. Appl.*2007, 331: 91-96. 10.1016/j.jmaa.2006.08.048Zhou Y, Zhang BG: Existence of nonoscillatory solutions of neutral differential equations with positive and negative coefficients.

*Appl. Math. Lett.*2002, 15: 867-874. 10.1016/S0893-9659(02)00055-1

## Acknowledgements

The research was supported by the grant 1/0090/09 of the Scientific Grant Agency of the Ministry of Education of the Slovak Republic.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

The authors have made the same contribution. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Dorociaková, B., Kubjatková, M. & Olach, R. Uncountably many solutions of first-order neutral nonlinear differential equations.
*Adv Differ Equ* **2013**, 140 (2013). https://doi.org/10.1186/1687-1847-2013-140

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2013-140

### Keywords

- neutral differential equation
- nonlinear
- existence
- uncountably many positive solutions
- Banach space