Solution of infinite system of ordinary differential equations and fractional hybrid differential equations via measure of noncompactness

ABSTRACT In this work, we use the notion of convex power condensing mapping under measure of noncompactness in locally convex spaces and establish some new coupled fixed point results. The results proved herein are the generalization and extension of some widely known results in the existing literature. Furthermore, we apply our results for the existence of solution to infinite system of ordinary differential equations and system of fractional hybrid differential equations.


Introduction
The Mathematical model has a vital role in Mathematical analysis and supports plenty of real-world problems. Some of the problems that come up in geology, physical sciences, engineering, mechanics, applied mathematics and economics find its way into mathematical models expressed by differential equations. The following equation can be used to simulate many real-world problems.
where A is a subset of a linear space. The operator form of (1) is where f is a contraction in some sense (expansive or nonexpansive), and g fulfils some conditions (completely continuous, compactness, convex power condensing, . . . ) and T itself has neither of these properties.
To check the existence of solution, we use fixed point theory, because the problem of existence solution usually turns into the problem of finding a fixed point of a particular mapping. Due to this fact, the results of fixed point theory could be implemented to get results of an operator equation. Thus finding the existence solution of Equation (1) is equivalent to finding the fixed point of the operator equation (2). To find the fixed point of Equation (2), it becomes desirable to develop fixed point theorems for such situations. An early theorem of this type was given by Krasnosel'skii [1], which combined both the Schauder fixed point theorem and the Banach fixed point theorem. In Krasnosel'skii fixed point theorem, the notion of the compactness plays an essential role. To tackle this obstacle, a feasible technique is to use the notion of measure of noncompactness (MNC, for short). The notion of MNC suggested by Kuratowski [2] is a new area for the researchers. The MNC appears in several contexts and played a key role in various branches of mathematics, especially in nonlinear analysis and determines the existence of solution to non-linear problems. On the other hand, Sun and Zhang [3] launched the notion of convex power condensing mapping under the Kuratowski MNC. This notion was extended by Ezzinbi and Taoudi [4] and then by Shi [5]. Recently, Khchine et al. [6] extended the view of a convex power condensing operator T in connection with another operator S of [5] in complete Hausdorff locally convex space. In particular, they relaxed the compactness condition in Krasnosel'skii fixed point theorem by using the notion of MNC.
In fixed point theory, one of the remarkable and pivotal result is a coupled fixed point theorem, which was introduced by Guo and Lakhsmikantham [7]. Bhaskar and Lakhsmikantham [8] were the pioneers who used coupled fixed points results for the existence of unique solution to a periodic boundary value problem. Many prominent researchers have taken greater interest regarding the application potential of coupled fixed point theory.
Using the notions of MNC and a convex-power condensing mapping, we established coupled fixed point results in complete Hausdorff locally convex space. Further, we apply our results for the existence solution to two classes of infinite system of ordinary differential equations and system of fractional hybrid differential equations. In support we provide an example for the effectiveness of our existence results.

Preliminaries
Thoroughly this work, I = [0, k] with (k > 0) denote the real numbers set by R, the topological dual of a locally convex space H by H * , the collection of all bounded subsets of H by B(H) and the class of seminorms which produces the topology on H by P = {p α } α∈I .
Also, A stands for the closure of A, co(A) stands for the closure convex hull of A. Moreover, let us denote Note that the semi-norm p α for the product space is defined as p α (u, v) = p α (u) + p α (v). Now, we list some basic concepts and essential results.

Definition 2.1 ([9]):
Let (H, ϒ) be a Hausdorff topological vector space with 0 as its zero element and L be a lattice with θ as its least element. Then a function ϒ : B(H) → L is called an MNC on H if it fulfils the following axioms: Additionally, if L is a cone in a linear space over the real field, then the MNC ϒ is

Definition 2.2:
Let M ⊆ H such that M = ∅. Then a mapping F : M → H is (a) p α -contraction if for every α ∈ I, there exist κ α ∈ [0, 1) such that for all υ 1 , υ 2 ∈ M, for all υ 1 , υ 2 ∈ M. Definition 2.3: Let X be a nonempty set. Then the mapping G : X × X → X has a coupled fixed point Let P be a non-empty, closed and convex subset of X with u 0 ∈ P. Let f : P → X and g : X → X be two nonlinear mappings. Then for any Q ⊂ P, set for m = 2, 3, . . . .

Definition 2.4 ([6]):
Let P be a non-empty, closed and convex subset of a complete Hausdorff locally convex space X with u 0 ∈ P and f , g : P → X are two bounded mappings. If ϒ is an MNC on X such that where Q ⊂ P is bounded with ϒ(Q) > 0. Then f is g-convex power condensing mapping about u 0 and m 0 ∈ N * under ϒ. Definitely, f : P → P is convex power condensing mapping under ϒ about u 0 and m 0 iff f is 0-convex power condensing under ϒ about u 0 and m 0 .
Throughout the rest of this work, = (H, {p α } α∈I ) is a Hausdorff locally convex space, P is a non-empty, convex, complete and bounded subset of and ϒ is an MNC on .

Theorem 2.5 ([6]
): Let f : P → and g : H * → H * be two mappings such that there exists a vector u 0 in P and a positive integer m 0 , for which f is g-convex power condensing about u 0 and m 0 under ϒ; Then there is at least one fixed point of f + g in P.

Fixed point results
In this section, we present coupled fixed point results.
To proceed further, let τ , f : P → and g : H * → H * and H * = H * × H * , P = P × P. Define τ , f : P → H * and g : H * → H * by Thus to prove that G(x 1 , x 2 ) has a coupled fixed point in P, it is sufficient to show that f (x 1 , x 2 ) + g(x 1 , x 2 ) has a fixed point in P. Theorem 3.1: Let f : P → and g : H * → H * be two mappings fulfilling the following conditions: Then there is a coupled fixed point of G(u, v) = fu + gv in P.

Proof:
One can easily check that is a Hausdorff locally convex space and P is a non-empty, bounded, complete and convex subset of .
We have to show that the mappings f and g fulfil all the conditions of Theorem 2.5. First, we check the continuity of f , for this we have Thus g is p α -contraction.
Next, we must show that there is a vector u 0 ∈ P and an integer m 0 > 0 such that the mapping f is g-convex power condensing about u 0 and m 0 under ϒ. For this, let Q ⊂ P such that Q is bounded and ϒ( Q) > 0 and let τ be the map that assigns a unique point in to each (u 1 , u 2 ) ∈ P such that τ (u 1 , Let us claim that for any positive integer m, To support our claim, we use induction. As co( That is, co( τ ( Q) ∪ {u 0 }) ∈ L and hence Q ⊂ co( τ ( Q) ∪ {u 0 }). Thus Q = co( τ ( Q) ∪ {u 0 }). This shows that Equation (5) is true for m = 1. Assume that Equation (5) is true for m = k > 1, that is, Hence by induction our claim (5) is true. In particular, Now, using (6) and the fact that Hence f is g-convex power condensing about u 0 and m 0 under ϒ.
Finally, if u = gu + f v, for some v = (v 1 , v 2 ) ∈ P, then we have to show that u = (u 1 , u 2 ) ∈ P. For this, since which implies that u 1 = gu 2 + fv 1 and u 2 = gu 1 + fv 2 , by condition (C 3 ), u 1 , u 2 ∈ P and hence u ∈ P. Thus by Theorem 2.5, there exists at least one fixed point of f + g in P and hence there exists at least one coupled fixed point of G(u, v) in P.

Remark 3.2:
The arguments of Theorem 3.1 are the same if we alternatively change the contraction in (C 2 ) by p α -contraction.
From Theorem 3.1, without any hurdle we can derive the following corollary.

Corollary 3.3:
Let P be a non-empty, convex, bounded and closed subset of a Banach space . Let f : P → and g : → be two mappings such that (C 3 ) if u = gu * + fv for some u * , v ∈ P, then u ∈ P.
Then there exists a coupled fixed point of G(u, v) = fu + gv in P. [11]. In Theorem 1 of [11], f : P → is completely continuous, however in Corollary 3.3, f : P → is continuous.

Remark 3.4: Corollary 3.3 generalizes Theorem 1 of
If 0 is a Banach space equipped with its weak topology, then 0 is locally convex induced by the family of seminorms p f (x) = |f (x)| for all f ∈ * 0 . We can deduce corollary from Theorem 3.1 as: Corollary 3.5: Let P be a non-empty, convex, closed and bounded subset of a Banach space 0 . Let f : P → 0 and g : 0 → 0 be two mappings such that (C 1 ) f is weakly sequentially continuous; (C 2 ) there exists β g ∈ and for each φ ∈ * 0 , there exists 0 < k φ < 1 such that for all u, v ∈ 0 , we have Then there exists a coupled fixed point of G(u, v) = fu + gv in P. Theorem 3.6: Theorem 3.1 is true if we interchange the conditions (C 2 ) and (C 3 ) by ( C 2 ) there exists β g ∈ and κ α ∈ [0, 1) such that p α (gu − gv) ≥ κ α β g (p α (u − v)), for all u, v ∈ ; ( C 3 ) p 1 ∈ f (P) implies g(P) + p 1 ⊃ P, where g(P) + p 1 = {p 2 + p 1 , p 2 ∈ g(P)}.

Proof:
We need to show that the mappings f and g fulfil all the conditions of Theorem 2.6 on . f is continuous and g-convex power condensing under ϒ as proved in Theorem 3.1. Now, we show that g is p α -expansive. To do this, using condition (C 2 ) we have for every u = (u 1 , Thus g is p α -expansive. Finally, let w ∈ f (P). Then we have to show that g(P) + w ⊃ P. For this, since (w 1 , w 2 ) = w ∈ f (P) implies that w 1 , w 2 ∈ f (P) and thus by condition (C 3 ), we have g(P) + w 1 ⊃ P and g(P) + w 2 ⊃ P =⇒ {v 1 + w 1 : v 1 ∈ g(P)} ⊃ P and Thus by Theorem 2.6, there exists at least one fixed point of f + g in P and hence there exists at least one coupled fixed point of G(u, v) in P.

Remark 3.7:
The arguments of Theorem 3.6 are the same if we change the contraction in ( C 2 ) by p αexpansive.

Infinite systems of differential equations
Let E = C(I, X ) be the space of continuous functions from I to X and P = { p α : each p α is semi-norms defined by p α = max t∈I p α (a(t)), for each a ∈ E}. Note that, E equipped with the topology induced by the class P is a complete Hausdorff locally convex space. In this section, we are interested with the existence solution to the following two classes of infinite system of ordinary differential equations: where t ∈ I, k i,j ≥ 0 and ϕ i (i = 1, 2, . . .) are continuous mappings on I × R ω (R ω = i∈N X i is the countable Cartesian product of X i = R) and take real values. Note that the derivative in (7) measures the speed of change in time for every parameter/coordinate. (7) is

Theorem 4.2:
The class of two infinite systems (7) has at least one solution in C(I, R ω ) if the following conditions hold: , there exists a continuous function ξ ∈ C(I, R) such that Clearly M is a convex, closed, bounded and complete. Now, since a(t) is a solution of (7) if and only if a(t) satisfies (8). Thus to show the existence solution of (7), it is enough to show the existence solution of (8). For this, define S : E → E and T : M → E by Ta(t) = t 0 ϕ(s, a(s)) ds.
The system (8) is turned into the system We have to show that the system (9) fulfils all the conditions of Theorem 3.1. First we show the continuity of T. For this, let us take the sequence {a n } in M such that a n → a ∈ E as n → ∞. For α ∈ I and t ∈ I, one can write (ϕ(s, a n (s)) − ϕ(s, a(s))) ds ≤ t 0 p α (ϕ(s, a n (s)) − ϕ(s, a(s))) ds = t 0 p α (ϕ i (s, a n (s)) − ϕ(s, a(s))) ds.
Next, we show condition (C 2 ) of Theorem 3.1. For this, let a, b ∈ E and t ∈ I, we have where β S (x) = x/ ∈ is a control function and k α = 1/ . Finally, we prove condition (C 3 ) of Theorem 3.1. For this, let a * , b ∈ M such that a = Sa * + Tb, then for α ∈ I, t ∈ I and using (A 1 ), we have where σ > 0, p ∈ (0, 1), and the functions f : I × R → R, f (0, 0) = 0 and g : I × R × R → R satisfy certain conditions. D p is the Riemann-Liouville fractional order derivative.
To proceed further, assume that the mappings f : I × R → I and g : I × R × R → I satisfy the following conditions: for every (κ, a, I σ a) ∈ I × R × R, there exist positive constants l g and g such that g(κ, a, I σ a) ≤ l g a + g ; , for all a, b ∈ R and for all κ ∈ I; (A 4 ) ζ : R → I is continuous function such that where ≥ 2; (A 5 ) there exists a continuous function ∈ C(I, R) such that Using Lemma 4.3, we can write system (11) as (12) Now, we present the existence result. where ≥ 1 + 0 + (k p / (p + 1)) h L 1 with 0 = max κ∈I |f (κ, 0)| + max η∈I |ζ(u * (η))|. Then, clearly M is nonempty convex, bounded and closed subset of X. Now, since u(κ) is a solution of the system (11) if and only if u(κ) satisfies the system (12). Thus finding the existence solution of system (11) is equivalent to finding the existence solution of (12). For this, define the operators S : X → X and T : M → X by κ ∈ I, so, the system of integral equations (12) is transformed into the system of the following operator equations: We have to show that the system (13) satisfies all the conditions of Corollary 3.3. First we check the continuity of T. For this, let {u n } be a sequence in M such that u n → u as n → ∞. Now, consider − g( , u( ), I σ (u( ))) d .
To illustrate the existence result Theorem 4.4, we present an example.