 Research
 Open Access
 Published:
Existence of solutions of firstorder differential equations via a fixed point theorem for discontinuous operators
Fixed Point Theory and Applications volume 2015, Article number: 220 (2015)
Abstract
We use a recent Schaudertype result for discontinuous operators in order to look for solutions for firstorder differential equations subject to initial functional conditions. We show how this abstract fixedpoint result allows us to consider a nonlinearity which can be strongly discontinuous. Some examples of applications and comparison with recent literature are included.
Introduction and preliminaries
In this paper we are concerned with the existence of absolutely continuous solutions of the initial value problem
We assume that \(t_{0} \in \mathbb {R}\) and \(L>0\) are given (so (1.1) is a nonlocal problem), and \(f:I \times \mathbb {R}\longrightarrow \mathbb {R}\) is a not necessarily continuous function, satisfying some assumptions to be detailed. Finally, \(F: \mathcal{C}(I) \longrightarrow\mathbb {R}\) is assumed to be continuous, but not necessarily linear or bounded. Notice that, under this framework, classical initial and multipoint conditions are included.
Our goal is to show that the following general version of Schauder’s theorem proven in [1] can be employed to prove the existence of solutions of (1.1) under very general conditions.
Theorem 1.1
([1], Theorem 3.1)
Let K be a nonempty, convex, and compact subset of a normed space X.
Any mapping \(T:K \longrightarrow K\) has at least one fixed point provided that for every \(x \in K\) we have
where \(B_{\varepsilon}(x)\) stands for the closed ball in X with center x and radius \(\varepsilon>0\), and \(\overline{\operatorname{co}}\) denotes the closed convex hull.
Basically, the use of Theorem 1.1 instead of the classical Schauder’s theorem allows f to be discontinuous over the graphs of countably many functions in the conditions of the following definition. Readers are referred to [2–4] for similar definitions.
Definition 1.1
An admissible discontinuity curve for the differential equation \(x'=f(t,x)\) is an absolutely continuous function \(\gamma:[a,b]\subset I \longrightarrow \mathbb {R}\) satisfying one of the following conditions:

either \(\gamma'(t)=f(t,\gamma(t))\) for a.a. \(t \in[a,b]\) (and we then say that γ is viable for the differential equation),
or there exist \(\varepsilon>0\) and \(\psi\in L^{1}(a,b)\), \(\psi(t) >0\) for a.a. \(t \in[a,b]\), such that

either
$$ \gamma'(t)+\psi(t)< f(t,y) \quad \mbox{for a.a. }t \in I\mbox{ and all }y \in \bigl[\gamma(t)\varepsilon,\gamma(t)+\varepsilon\bigr], $$(1.3)or
$$ \gamma'(t)\psi(t)>f(t,y) \quad \mbox{for a.a. }t \in I\mbox{ and all }y \in \bigl[\gamma(t)\varepsilon,\gamma(t)+\varepsilon\bigr]. $$(1.4)
We say that the admissible discontinuity curve γ is inviable for the differential equation if it satisfies (1.3) or (1.4).
The following notation and proposition are useful to check condition (1.2) in Theorem 1.1: for a given operator \(T:K \longrightarrow K\) in the conditions of Theorem 1.1 we define
Notice that \(\mathbb {T} x=\{Tx\}\) when T is continuous at \(x \in K\). Moreover, the definition of \(\mathbb {T}\) can be expressed analytically as follows.
Proposition 1.2
In the conditions of Theorem 1.1, let \(x, y\in K\) be fixed.
The following two statements are equivalent:

1.
\(y \in{\mathbb {T}}x\) as defined in (1.5).

2.
For every \(\varepsilon>0\) and every \(\rho>0\) there exists a finite family of vectors \(x_{i} \in B_{\varepsilon}(x) \cap K\) and coefficients \(\lambda_{i} \in[0,1]\) (\(i=1,2,\dots,m\)) such that \(\sum \lambda_{i}=1\) and
$$\Biggl\Vert y\sum_{i=1}^{m} \lambda_{i} Tx_{i}\Biggr\Vert _{X}< \rho. $$
Main result
This section is devoted to the proof of the following existence principle. Notice that f need not be continuous with respect to any of its arguments.
Theorem 2.1
Let \(R \in(0,\infty)\) be fixed. Problem (1.1) has at least one absolutely continuous solution \(x:I \longrightarrow\mathbb {R}\) such that \(\x \_{\infty} \le R\), provided that \(F: \mathcal{C}(I) \longrightarrow\mathbb {R}\) is continuous and the following conditions are satisfied:

(H1)
There exist \(N \ge0\) and \(M \in L^{1}(I,[0,\infty))\) such that \(N + \M\_{1} \le R\), \(F(x) \le N\) if \(\x\_{\infty} \le R\), and for a.a. \(t \in I\) and all \(x \in[R,R]\) we have \(f(t,x) \le M(t)\).

(H2)
The compositions \(t \in I \mapsto f(t,x(t))\) are measurable if \(x \in\mathcal{C}(I)\) and \(\x\_{\infty} \le R\).

(H3)
There exist admissible discontinuity curves \(\gamma _{n}:I_{n}=[a_{n},b_{n}]\longrightarrow \mathbb {R}\) (\(n \in \mathbb {N}\)) such that for a.a. \(t \in I\) the function \(x \mapsto f(t,x)\) is continuous at every \(x \in [R,R] \setminus\bigcup_{\{n : t \in I_{n}\}} \{\gamma_{n}(t)\}\).
Proof
Consider the Banach space \(X=\mathcal{C}(I)\) with the supnorm \(\ \cdot\_{\infty}\). In the convex subset
we define a fixed point operator \(T: K \longrightarrow K\) by
Notice that, thanks to conditions (H1) and (H2), K is a compact subset of the ball \(\{ x \in\mathcal{C}(I) : \x\_{\infty} \le R\} \) and T is welldefined and maps K into itself. Therefore it only remains to prove that condition (1.2) in Theorem 1.1 is satisfied. Let \(x \in K\) be fixed; we have to prove that \({\mathbb {T}}x \cap\{x\} \subset\{Tx\}\), where \(\mathbb {T}\) is as in (1.5).
Case 1  \(m(\{t \in I_{n} : x(t)=\gamma_{n}(t)\})=0\) for all \(n \in \mathbb {N}\). Let us prove that then T is continuous at x, which implies that \({\mathbb {T}}x=\{Tx\}\), and then (1.2) is satisfied.
The assumption implies that for a.a. \(t \in I\) the mapping \(f(t,\cdot)\) is continuous at \(x(t)\). Hence if \(x_{k} \to x\) in K then \(F(x_{k}) \to F(x)\), and
which, along with (H1), yield \(Tx_{k} \to T x\) uniformly on I.
Case 2  \(m(\{t \in I_{n} : x(t)=\gamma_{n}(t)\})>0\) for some \(n \in \mathbb {N}\) such that \(\gamma_{n}\) is inviable. In this case we can prove that \(x \notin{\mathbb {T}}x\), and so (1.2) obtains.
First, we fix some notation. Let us assume that for some \(n \in \mathbb {N}\) we have \(m(\{t \in I_{n} : x(t)=\gamma_{n}(t)\})>0\) and there exist \(\varepsilon>0\) and \(\psi\in L^{1}(I_{n})\), \(\psi(t)>0\) for a.a. \(t \in I_{n}\), such that (1.4) holds with γ replaced by \(\gamma_{n}\) (The proof is similar if we assume (1.3) instead of (1.4), so we omit it.).
We denote \(J=\{t \in I_{n} : x(t)=\gamma_{n}(t)\}\), and we deduce from [1], Lemma 4.1, that there is a measurable set \(J_{0} \subset J\) with \(m(J_{0})=m(J)>0\) such that for all \(\tau_{0} \in J_{0}\) we have
By [1], Corollary 4.3, there exists \(J_{1} \subset J_{0}\) with \(m(J_{0} \setminus J_{1})=0\) such that for all \(\tau_{0} \in J_{1}\) we have
Let us now fix a point \(\tau_{0} \in J_{1}\). From (2.2) and (2.3) we deduce that there exist \(t_{}<\tau_{0}\) and \(t_{+}>\tau_{0}\), \(t_{\pm}\) sufficiently close to \(\tau_{0}\) so that the following inequalities are satisfied:
Finally, we define a positive number
and we are now in a position to prove that \(x \notin{\mathbb {T}}x\). By virtue of Proposition 1.2, it suffices to prove the following claim.
Claim  Let \(\varepsilon>0\) be given by our assumptions over \(\gamma_{n}\) and let ρ be as in ( 2.8 ). For every finite family \(x_{i} \in B_{\varepsilon}(x) \cap K\) and \(\lambda_{i} \in[0,1]\) (\(i=1,2,\dots,m\)), with \(\sum\lambda_{i}=1\) , we have \(\x\sum\lambda_{i} Tx_{i}\_{\infty} \ge\rho\) .
Let us denote \(y=\sum\lambda_{i} Tx_{i}\). For a.a. \(t \in I\) we have
On the other hand, for every \(t \in J=\{t \in I_{n} : x(t)=\gamma _{n}(t)\}\), we have
and then the assumptions on \(\gamma_{n}\) ensure that for a.a. \(t \in J\) we have
Wellknown results, e.g. [5], Lemma 6.92, guarantee that \(\gamma_{n}'(t)=x'(t)\) for a.a. \(t \in J\), hence
Now we use (2.10) and (2.9) to deduce the following estimate:
Hence \(\xy\_{\infty} \ge y(t_{})x(t_{}) \ge\rho\) provided that \(y(\tau_{0}) \ge x(\tau_{0})\).
Similar computations with \(t_{+}\) instead of \(t_{}\) show that if \(y(\tau _{0}) \le x(\tau_{0})\) then we also have \(\xy\_{\infty} \ge\rho\).
Case 3  \(m(\{t \in I_{n} : x(t)=\gamma_{n}(t)\})>0\) only for some of those \(n \in \mathbb {N}\) such that \(\gamma_{n}\) is viable. Let us prove that in this case the relation \(x \in{\mathbb {T}}x\) implies \(x=Tx\).
We lose no generality if we assume that all admissible discontinuity curves are viable and \(m(J_{n})>0\) for all \(n \in \mathbb {N}\), where
For each \(n \in \mathbb {N}\) and for a.a. \(t \in J_{n}\) we have
and therefore \(x'(t)=f(t,x(t))\) a.e. in \(A=\bigcup_{n \in\scriptsize{ \mathbb {N}}}J_{n}\).
Now we assume that \(x \in{\mathbb {T}}x\) and we prove that it implies that \(x'(t)=f(t,x(t))\) a.e. in \(I \setminus A\), and that \(x(t_{0})=F(x)\), thus showing that \(x=Tx\).
Since \(x \in{\mathbb {T}}x\) then for each \(k \in \mathbb {N}\) we can use Proposition 1.2 with \(\varepsilon=\rho=1/k\) to guarantee that we can find functions \(x_{k,i} \in B_{1/k}(x)\cap K\) and coefficients \(\lambda_{k,i} \in[0,1]\) (\(i=1,2,\dots,m(k)\)) such that \(\sum_{i}\lambda _{k,i}=1\) and
Let us denote \(y_{k}=\sum_{i=1}^{m(k)}\lambda_{k,i}Tx_{k,i}\), and notice that \(y_{k} \to x\) uniformly in I and \(\x_{k,i}x\\le1/k\) for all \(k \in \mathbb {N}\) and all \(i \in\{1,2,\dots,m(k)\}\).
On the other hand, for a.a. \(t \in I\setminus A\) we see that \(f(t,\cdot )\) is continuous at \(x(t)\) so for any \(\varepsilon>0\) there is some \(k_{0}=k_{0}(t) \in \mathbb {N}\) such that for all \(k \in \mathbb {N}\), \(k \ge k_{0}\), we have
and therefore
Hence \(y_{k}'(t) \to f(t,x(t))\) for a.a. \(t \in I \setminus A\), and then we conclude from [1], Corollary 4.3, that \(x'(t)=f(t,x(t))\) for a.a. \(t \in I \setminus A\).
Finally, to prove that \(x(t_{0})=F(x)\) we fix \(\rho>0\) and, since F is continuous, there exists \(\varepsilon>0\) such that
Since \(x \in\mathbb {T}x\), we know from Proposition 1.2 that we can find functions \(x_{i} \in B_{\varepsilon}(x)\cap K\) and coefficients \(\lambda_{i} \in[0,1]\) (\(i=1,2,\dots,m\)) such that \(\sum_{i}\lambda_{i}=1\) and
The definition of T ensures that \(\sum\lambda_{i} Tx_{i}(t_{0})=\sum \lambda_{i} F(x_{i})\), so (2.12) implies that
Using (2.13) and (2.11), we deduce that
This proves that \(x(t_{0})=F(x)\) because \(\rho>0\) can be chosen as small as we wish. □
Examples and nonexistence of extremal solutions
Given \(n \in \mathbb {N}\), we define \(\phi(1)=2\) and \(\phi(n)\) as the number of divisors of n if \(n \ge2\). Thus constructed, ϕ is an unbounded sequence satisfying that \(\phi(n) \ge2\) for all \(n \in \mathbb {N}\) and, as there exist infinitely many prime numbers,
Now we consider the function
where \(n \in \mathbb {N}\) is chosen such that
We will show that Theorem 2.1 can be applied to guarantee the existence of solutions for the following multipoint problem:
where \(t_{i} \in I\) for \(i=1,\ldots,5\), and the functions \(p_{i}:\mathbb {R} \longrightarrow\mathbb {R}\) are continuous and satisfy
Proposition 3.1
Problem (3.2), with \(f(t,x)\) defined in (3.1), has at least one absolutely continuous solution x such that \(\x\_{\infty} \le5\).
Proof
First, notice that we can write the multipoint condition in the form \(x(0)=F(x)\) for
and \(F:\mathcal{C}(I) \longrightarrow\mathbb {R}\) is continuous.
Now we take \(R=5\) and we note that if \(x \in\mathcal{C}(I)\) and \(\x\_{\infty} \le R\), then \(F(x) \le N = 2\). On the other hand, since \(\phi(n) \ge2\) for all \(n \in \mathbb {N}\), then for a.a. \(t \in I\) and all \(x \in[5,5]\) we have
Since
condition (H1) is satisfied.
To check condition (H2), notice that for every \(x \in\mathcal{C}(I)\) we can write the composition \(t \in I \longmapsto f(t,x(t))\) as
with
and so \(f(\cdot,x(\cdot))\) is a measurable function.
Finally, to check condition (H3) notice that definition of ϕ implies that for a.a. \(t \in I\) there exists a countable set \(K \subset \mathbb {N}\) such that \(f(t,\cdot)\) is discontinuous in \(\bigcup_{k \in K} \gamma _{k}(t)\) and \(\bigcup_{k \in K} \hat{\gamma}_{k}(t)\), with
We have \(\gamma'_{k}(t) <0\) and \(\hat{\gamma}'_{k}(t) <0\) for a.a. \(t \in I\) and all \(k \in K\); however, \(f(t,u) \ge\frac{1}{2}\) for a.a. \(t \in I\) and all \(u \in \mathbb {R}\), and so the discontinuity curves are inviable for the differential equation.
We can conclude by application of Theorem 2.1 that problem (3.2) has at least one absolutely continuous solution x, which, moreover, satisfies \(\x\_{\infty} \le5\). □
In the next example we show that, in general, there is no hope to have extremal solutions of (1.1) in the conditions of Theorem 2.1. By extremal solutions we mean a pair of solutions \(x_{*}\) and \(x^{*}\) (possibly identical) such that any other solution x of (1.1) satisfies \(x_{*}(t) \le x(t) \le x^{*}(t)\) for all \(t \in I\).
Example 3.1
Consider the following particular case of (1.1):
It is easy to show that problem (3.3)(3.4) satisfies conditions (H1) and (H2) in Theorem 2.1. Indeed, for (H1) it suffices to take \(R=3\), \(N=6/7\), and \(M(t)=1\) for all \(t \in I\). Condition (H3) is equally easy to check: we only need one admissible discontinuity curve, namely, \(\gamma(t)=0\) for all \(t \in I\), which is also a solution of the problem (3.3)(3.4) and, in particular, a viable discontinuity curve for (3.3).
Other solutions of (3.3)(3.4) are, obviously, \(x_{\pm }(t)=\pm t\) for \(t \in[1,1]\). The remaining solutions can be obtained using the general solution of the differential equation (3.3) and then imposing the initial condition (3.4). In doing so, we find that the set of solutions of (3.3)(3.4) is the uniparametric family
Notice that there is not a greatest or a least element in \(\{x_{\tau} : \tau\in[0,1]\}\) with respect to the usual pointwise partial order. Summing up, we have an example of a problem under the conditions of Theorem 2.1 which lacks extremal solutions.
Comparison with recent literature
Theorem 2.1 complements some recent existence results. Pikuta and Rzymowski [6] proved that the problem
has absolutely continuous local solutions provided that

(C1)
there exists \(M >0\) such that \(0< f(x)<+\infty\) for a.a. \(x\in[0,M]\) and \(\int_{0}^{M} \frac{dx}{f(x)}<+\infty\);

(C2)
\(h:[0,+\infty)\to[0,+\infty]\) is locally integrable.
Uniqueness of solutions for (4.1) is studied in [7] under similar conditions for f and assuming that h is of bounded variation.
In this section we show that Theorem 2.1 guarantees existence of solutions to some cases of (4.1) not covered by the existence results in [6, 7].
Let us consider the discontinuous even function \(\phi: \mathbb {R} \longrightarrow\mathbb {R}\) defined by \(\phi(0)=0\), \(\phi(x)=1/(n+1)\) if \(1/(n+1) \le x < 1/n\) for some \(n \in\mathbb {N}\), and \(\phi(x)=1\) for \(x \ge1\).
Now we fix \(\delta>0\), \(h \in L^{1}(\delta,\delta)\), \(h(t) >0\) for a.a. \(t \in(\delta,\delta)\), and we consider the initial value problem
Notice that (4.2) is the particular case of (4.1) corresponding to \(f(x)=x+\phi(x)\). Since \(0 \le\phi(x) \le x\) for all \(x \ge0\), we have
for all \(M>0\). Therefore, f does not satisfy the condition (C1) and, as a result, problem (4.2) falls outside the scope of the existence results in [6, 7].
However, Theorem 2.1 ensures the existence of solutions of (4.2).
Proposition 4.1
If \(\delta\in(0,1/4)\), then (4.2) has at least one solution defined on the interval \([\delta,\delta]\).
Proof
We note that (4.2) is the particular case of (1.1) corresponding to \(f(t,x)=x+\phi(x)+h(t)\), \(t_{0}=0\), \(L=\delta\), and \(F(x)=0\) for all \(x \in\mathcal{C}(I)\), \(I=[\delta,\delta]\).
Since \(14\delta>0\), we can take \(R >0\) such that
For each \(x \in[R,R]\) we have
and then condition (H1) in Theorem 2.1 is satisfied for this choice of \(M(t)\), R as in (4.3), and \(N=0\).
For every \(x \in\mathcal{C}(I)\) the sets \(\{t \in I : 1/(n+1) \le x(t) < 1/n\}\), \(n \in\mathbb {N}\), are measurable and \(\phi(x(t))\) is constant on those sets. Hence \(f(\cdot,x(\cdot))\) is measurable.
Finally, for almost all \(t \in I\) the mapping \(x \in\mathbb {R} \longmapsto f(t,x)\) is continuous in \(\mathbb {R} \setminus\{\pm1/n : n \in\mathbb {N}\}\), and each function
is an inviable discontinuity curve because \(f(t,y)>h(t)\) for every \(y \neq0\) and \(h(t)>0\) almost everywhere.
Since all the conditions in Theorem 2.1 are satisfied, we conclude that (4.2) has at least one solution \(x:[\delta,\delta] \longrightarrow\mathbb {R}\). □
References
 1.
López Pouso, R: Schauder’s fixedpoint theorem: new applications and a new version for discontinuous operators. Bound. Value Probl. 2012, Article ID 92 (2012)
 2.
Biles, DC, López Pouso, R: Firstorder singular and discontinuous differential equations. Bound. Value Probl. 2009, Article ID 507671 (2009)
 3.
Cid, JÁ, Pouso, RL: Ordinary differential equations and systems with timedependent discontinuity sets. Proc. R. Soc. Edinb., Sect. A 134(4), 617637 (2004)
 4.
López Pouso, R: On the Cauchy problem for first order discontinuous ordinary differential equations. J. Math. Anal. Appl. 264(1), 230252 (2001)
 5.
Stromberg, KR: An Introduction to Classical Real Analysis. Wadsworth, Belmont (1981)
 6.
Pikuta, P, Rzymowski, W: Nonautonomous scalar discontinuous ordinary differential equation. J. Math. Anal. Appl. 307(1), 496503 (2005)
 7.
Cid, JÁ, Pouso, RL: Existence of unique solutions for perturbed autonomous differential equations. J. Lond. Math. Soc. (2) 78, 798812 (2008)
Acknowledgements
The first author is partially supported by Xunta de Galicia, Consellería de Cultura, Educación e Ordenación Universitaria, through the project EM2014/032 ‘Ecuacións diferenciais non lineares. The second author is partially supported by Ministerio de Economía y Competitividad, Spain, and FEDER, Projects MTM201015314 and MTM201343014P.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors have contributed equally to this paper. Both authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
Keywords
 Point Theorem
 Fixed Point Theorem
 Bounded Variation
 Continuous Solution
 Extremal Solution