Abstract
We prove some new results on existence of solutions to firstorder ordinary differential equations with deviated arguments. Delay differential equations are included in our general framework, which even allows deviations to depend on the unknown solutions. Our existence results lean on new definitions of lower and upper solutions introduced in this article, and we show with an example that similar results with the classical definitions are false. We also introduce an example showing that the problems considered need not have the least (or the greatest) solution between given lower and upper solutions, but we can prove that they do have minimal and maximal solutions in the usual settheoretic sense. Sufficient conditions for the existence of lower and upper solutions, with some examples of application, are provided too.
1 Introduction
Let I_{0 }= [t_{0}, t_{0 }+ L] be a closed interval, r ≥ 0, and put I_{ }= [t_{0 } r, t_{0}] and I = I_{ }∪ I_{0}. In this article, we are concerned with the existence of solutions for the following problem with deviated arguments:
where f : I × ℝ^{2 }→ ℝ and
For example, our framework admits deviated arguments of the form
or
We define a solution of problem (1) to be a function
In the space
Interestingly, we will show that problem (1) may have minimal (maximal) solutions between given lower and upper solutions and not have the least (greatest) solution. This seems to be a peculiar feature of equations with deviated arguments, see [1] for an example with a secondorder equation. Therefore, we are obliged to distinguish between the concepts of minimal solution and least solution (or maximal and greatest solutions), unfortunately often identified in the literature on lower and upper solutions.
Firstorder differential equations with statedependent deviated arguments have received a lot of attention in the last years. We can cite the recent articles [27] which deal with existence results for this kind of problems. For the qualitative study of this type of problems we can cite the survey of Hartung et al. [8] and references therein.
As main improvements in this article with regard to previous works in the literature we can cite the following:
(1) The deviating argument τ depends at each moment t on the global behavior of the solution, and not only on the values that it takes at the instant t.
(2) Delay problems, which correspond to differential equations of the form x'(t) = f(t, x(t), x(t  r)) along with a functional start condition, are included in the framework of problem (1). This is not allowed in articles [36].
(3) No monotonicity conditions are required for the functions f and τ, and they need not be continuous with respect to their first variable.
This article is organized as follows. In Section 2, we state and prove the main results in this article, which are two existence results for problem (1) between given lower and upper solutions. The first result ensures the existence of maximal and minimal solutions, and the second one establishes the existence of the greatest and the least solutions in a particular case. The concepts of lower and upper solutions introduced in Section 2 are new, and we show with an example that our existence results are false if we consider lower and upper solutions in the usual sense. We also show with an example that our problems need not have the least or the greatest solution between given lower and upper solutions. In Section 3, we prove some results on the existence of lower and upper solutions with some examples of application.
2 Main results
We begin this section by introducing adequate new definitions of lower and upper solutions for problem (1).
Notice first that τ(t, γ) ∈ I = I_{ }∪ I_{0 }for all
Definition 1 We say that
where
and
Remark 1 Definition 1 requires implicitly that Λ be bounded in [α, β].
On the other hand, the values
are really attained for almost every fixed t ∈ I_{0 }thanks to the continuity of f(t, α(t), ·) and f(t, β(t), ·) on the compact set E(t).
Now we introduce the main result of this article.
Theorem 1 Assume that the following conditions hold:
(H_{1}) (Lower and upper solutions) There exist
(H_{2}) (Carathéodory conditions)
(H_{2})  (a) For all x, y ∈ [min_{t∈I }α(t), max_{t∈I }β(t)] the function f(·,x,y) is measurable and for a.a. t ∈ I_{0}, all x ∈ [α(t), β(t)] and all y ∈ E(t) (as defined in Definition 1) the functions f(t, ·, y) and f(t, x, •) are continuous.
(H_{2})  (b) For all
(H_{2})  (c) The nonlinear operator
(H_{3}) (L^{1}bound) There exists ψ ∈ L^{1}( I_{0}) such that for a.a. t ∈ I_{0}, all x ∈ [α(t), β(t)] and all y ∈ E(t) we have
Then problem (1) has maximal and minimal solutions in [α, β].
Proof. As usual, we consider the function
and the modified problem
Claim 1: Problem (4) has a nonempty and compact set of solutions. Consider the operator
and for each t ∈ I_{0 }as
It is an elementary matter to check that T is a completely continuous operator from
Claim 2: Every solution x of (4) satisfies α ≤ x ≤ β on I and, therefore, it is a solution of (1) in [α, β]. First, notice that if x is a solution of (4) then p(·,x(·)) ∈ [α, β]. Hence the definition of lower solution implies that for all t ∈ I_{ }we have
Assume now, reasoning by contradiction, that
Therefore, for all
so for a.a.
Hence for
a contradiction with (5).
Similar arguments prove that all solutions x of (4) obey x ≤ β on I. Claim 3: The set of solutions of problem (1) in [α, β] has maximal and minimal elements. The set
is nonempty and compact in
attains its maximum and its minimum, that is, there exist
Now, if
One might be tempted to follow the standard ideas with lower and upper solutions to define a lower solution of (1) as some function α such that
and an upper solution as some function β such that
These definitions are not adequate to ensure the existence of solutions of (1) between given lower and upper solutions, as we show in the following example.
Example 1 Consider the problem with delay
Notice that functions α(t) = 0 and β(t) = 1, t ∈ [1, 1], are lower and upper solutions in the usual sense for problem (9). However, if x is a solution for problem (9) then for a.a. t ∈ [0, 1] we have
so for all t ∈ [0,1] we compute
and then x(t) < α(t) for all t ∈ (0,1]. Hence (9) has no solution at all between α and β.
Remark 2 Notice that inequalities (2) and (3) imply (7) and (8), so lower and upper solutions in the sense of Definition 1 are lower and upper solutions in the usual sense, but the converse is false in general.
Definition 1 is probably the best possible for (1) because it reduces to some definitions that one can find in the literature in connection with particular cases of (1). Indeed, when the function τ does not depend on the second variable then for all t ∈ I_{0 }we have E(t) = [α(τ(t)), β(τ(t))] in Definition 1. Therefore, if f is nondecreasing with respect to its third variable, then Definition 1 and the usual definition of lower and upper solutions are the same (we will use this fact in the proof of Theorem 2). If, in turn, f is nonincreasing with respect to its third variable, then Definition 1 coincides with the usual definition of coupled lower and upper solutions (see for example [5]).
In general, in the conditions of Theorem 1 we cannot expect problem (1) to have the extremal solutions in [α, β] (that is, the greatest and the least solutions in [α, β ]). This is justified by the following example.
Example 2 Consider the problem
where
and
First we check that
where, according to Definition 1,
Moreover,
The family x_{x}(t) = λ cos t, t ∈ I_{0}, with λ ∈ [1,1], defines a set of solutions of problem (10) such that α ≤ x_{λ }≤ β for each λ ∈ [1,1]. Notice that the zero solution is neither the least nor the greatest solution
of (10) in [α, β]. Now let
The previous example notwithstanding, existence of extremal solutions for problem (1) between given lower and upper solutions can be proven under a few more assumptions. Specifically, we have the following extremality result.
Theorem 2 Consider the problem
If (11) satisfies all the conditions in Theorem 1 and, moreover, f is nondecreasing with respect to its third variable and Λ is nondecreasing in [α, β], then problem (11) has the extremal solutions in [α, β].
Proof. Theorem 1 guarantees that problem (11) has a nonempty set of solutions between α and β. We will show that this set of solutions is, in fact, a directed set, and then we can conclude that it has the extremal elements by virtue of [9, Theorem 1.2].
According to Remark 2, the lower solution α and the upper solution β satisfy, respectively, inequalities (7) and (8) and, conversely, if α and β satisfy (7) and (8) then they are lower and upper solutions in the sense of Definition 1.
Let x_{1}, x_{2 }∈ [α, β] be two solutions of problem (11). We are going to prove that there is a solution
x_{3 }∈ [α, β] such that x_{i }≤ x_{3 }(i = 1, 2), thus showing that the set of solutions in [α, β] is upwards directed. To do so, we consider the function
or
and, since f is nondecreasing with respect to its third variable, we obtain
We also have
Analogous arguments show that the set of solutions of (11) in [α, β] is downwards directed and, therefore, it is a directed set.
Next we show the applicability of Theorem 2.
Example 3 Let L > 0 and consider the following differential equation with reflection of argument and a singularity at x = 0:
In this case, the function defining the equation is
and
are lower and upper solutions for problem (12). Indeed, for t ∈ [L,0] we have 2t ≤ k(t) ≤ 4t and for a.a. t ∈ I_{0 }we have
Hence α and β are lower and upper solutions for problem (12) by virtue of Remark 2.
Finally, for a.a. t ∈ I_{0 }and all y ∈ [α(t), β(t)] we have
so problem (12) has the extremal solutions in [α, β ]. Notice that f admits a Carathéodory extension to I_{0 }× ℝ outside the set
so Theorem 2 can be applied.
In fact, we can explicitly solve problem (12) because the differential equation and the initial condition yield
hence problem (12) has a unique solution (see Figure 1) which is given by
Figure 1. Solution of (12) bracketed by the lower and the upper solution.
3 Construction of lower and upper solutions
In general, condition (H_{1}) is the most difficult to check among all the hypotheses in Theorem 1. Because of this, we include in this section some sufficient conditions on the existence of linear lower and upper solutions for problem (1) in particular cases We begin by considering a problem of the form
where
Proposition 1 Assume that f is a continuous function satisfying
Then there exist
and
are, respectively, a lower and an upper solution for problem (13), where
In particular, problem (13) has maximal and minimal solutions between α and β, and this does not depend on the choice of τ.
Proof. Conditions (15) and (16) imply that
so there exists y_{1 }< min{0, φ_{t}} such that
On the other hand, condition (14) implies that there exists y_{2 }> 0 such that
Let λ = min{f(y): y_{1 }≤ y ≤ y_{2}}. By condition (15) and continuity of f, there exists y_{3 }≤ y_{1 }such that
and this choice of y_{3 }also provides that
and, by virtue of (19),
Now, define α as in (17), with
so we deduce from (22) and (23) that for all t ∈ I_{0 }we have
In the same way, we can find
So we deduce from (24) and (25) that α and β are lower and upper solutions for problem (13).
Example 4 The function
satisfies all the conditions in Proposition 1 for every compact interval I_{0}. So the corresponding problem (13) has at least one solution for any choice of
We use now the ideas of Proposition 1 to construct lower and upper solutions for the general problem (1).
Proposition 2 Let
and
Moreover, assume that the next conditions involving F_{α }and F_{β }hold:
Then there exist
Proof. Reasoning in the same way as in the proof of Proposition 1, we obtain that there exists m ≥ 0 such that α(t) ≤ φ_{* }for all t ∈ I_{ }and
As α(t) ≤ φ_{* }for all t ∈ I, we obtain by virtue of (26) that
In the same way there exists
Therefore, α and β are lower and upper solutions for problem (1).
Example 5 Let F be the function defined in Example 4 and consider the problem
where γ ≥ 0, L > 0, and g is a nonnegative Carathéodory function.
In this case, we have φ_{* }= π, φ* ≈ 0.5611, and the function f(t,x,y) which defines the equation satisfies
so in particular conditions (26) and (27) hold. As conditions (28)(33) also hold
(see Example 4) we obtain that there exist
Remark 3 Notice that the lower and upper solutions obtained both in Propositions 1 and 2 satisfy a slightly stronger condition than the one required in Definition 1.
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
Both authors' contributions to this paper are similar and it is impossible to say which part corresponds to each author's work. All authors read and approved the final manuscript.
Acknowledgements
This study was partially supported by the FEDER and Ministerio de Educación y Ciencia, Spain, project MTM201015314.
References

Figueroa, R, Pouso, RL: Minimal and maximal solutions to secondorder boundary value problems with statedependent deviating arguments Bull. Lond Math Soc. 43, 164–174 (2011). Publisher Full Text

Arino, O, Hadeler, KP, Hbid, ML: Existence of periodic solutions for delay differential equations with state dependent delay. J Diff Equ. 144(2), 263–301 (1998). Publisher Full Text

Dyki, A: Boundary value problems for differential equations with deviated arguments which depend on the unknown solution. Appl Math Comput. 215(5), 1895–1899 (2009). Publisher Full Text

Dyki, A, Jankowski, T: Boundary value problems for ordinary differential equations with deviated arguments. J Optim Theory Appl. 135(2), 257–269 (2007). Publisher Full Text

Jankowski, T: Existence of solutions of boundary value problems for differential equations in which deviated arguments depend on the unknown solution. Comput Math Appl. 54(3), 357–363 (2007). Publisher Full Text

Jankowski, T: Monotone method to Volterra and Fredholm integral equations with deviating arguments. Integ Transforms Spec Funct. 19(12), 95–104 (2008)

Walther, HO: A periodic solution of a differential equation with statedependent delay. J Diff Equ. 244(8), 1910–1945 (2008). Publisher Full Text

Hartung, F, Krisztin, T, Walther, HO, Wu, J: Functional differential equations with statedependent delays: theory and applications. Handbook of Differential Equations: Ordinary Differential Equations, vol. III, pp. 435–545. Elsevier/NorthHolland, Amsterdam (2006)

Cid, JÁ: On extremal fixed points in Schauder's theorem with applications to differential equations. Bull Belg Math Soc Simon Stevin. 11(1), 15–20 (2004)