New Fundamental Results on the Continuous and Discrete Integro-Differential Equations

: This work studies certain perturbed and un-perturbed nonlinear systems of continuous and discrete integro-delay differential equations (IDDEs). Using the Lyapunov–Krasovskii functional (LKF) method and the Lyapunov–Razumikhin method (LRM), uniform asymptotic stability (UAS), uniform stability (US), integrability and boundedness of solutions as well as exponential stability (ES) and instability of solutions are discussed. In this paper, ﬁve new theorems and a corollary are given and three numerical applications are provided with their simulations. With this work, we aim to make new contributions to the theory of the continuous and discrete integro-differential equations.


Introduction
Mathematical models called integro-differential equations, integral equations, integro-delay differential equations (IDDEs), ordinary differential equations, and so forth, are very attractive and interesting equations in the literature thanks to their very effective roles in numerous scientific fields and applications. In the past and in recent years, an extensive literature, such as a large number of books [1][2][3][4][5][6] and papers , has been devoted to discussions of uniform stability, uniform asymptotically stability, exponential stability, instability, integrability, boundedness, etc., of these kinds of mathematical models. However, in the literature, we only find the work of Crisci et al. ([14], Theorem 2.2) that is on the behaviors of continuous and discrete IDDEs.
In this work, by virtue of the continuous and discrete system (1), i.e., the result of Crisci et al. ([14], Theorem 2.2) and that in the references section of this paper, we consider the continuous and discrete nonlinear perturbed system of IDDEs: y(t) = − G(t, y(t)) + H(t, y(t), y(t − τ)) t t−τ K(t, s, y(s))ds + S(t, y(t), y(t − τ)), (2) where y ∈ R n , t ∈ [−τ, ∞), τ ∈ R, τ > 0. We assume that φ ∈ C([−τ, 0], R), φ is the initial condition (function), G is the same as in system (1), H ∈ C(R + × R n × R n , R n×n ), K ∈ C(R + × [−τ, ∞) × R n , R n ), G(t, 0) = H(t, 0, 0) = K(t, s, 0) = 0 and S ∈ C(R + × R n × R n , R n ). The continuity of the functions G, H, K and S is a sufficient condition for the existence of the solutions of the system of IDDEs (2). We also assume that the functions G, H, K and S satisfy the Lipschitz condition with respect to the variables y and y(t − τ). This condition guarantees the uniqueness of solutions of the system of IDDEs (2). The aim of this work is to obtain some new findings on the fundamental properties of solutions of the continuous and discrete unperturbed system (2) when S(.) = S(t, y(t), y(t − τ)) = 0 and the continuous and discrete perturbed system (2). Here, our goal is to produce five new results, a corollary, three examples and their numerical simulations, on the fundamental properties of solutions such as UAS, ES, instability, the integrability of the unperturbed continuous and discrete system and boundedness of the solutions of the perturbed continuous and discrete system. Next, the LKF method and the LRM are used as basic techniques to carry out the purpose of this paper. We note that LKM and LRM have very effective roles during the studies of the fundamental properties of solutions of ODEs, functional differential equations (FDEs), IDEs, IDDEs and so on, provided that they construct suitable LFs or LKFs. In this way, we note that the results of this paper are more general, i.e., Theorems 3-7 are new and they have more general results on the continuous and discrete IDDEs. Briefly, Theorems 3-7 have made new contributions to the relevant literature, which are explained in detail before the references in this paper.

Basic Results
Consider general non-autonomous FDE: where F : R × C → R n is a continuous mapping, The norm . is described as: Next, let X ∈ R n×n . Then, X is described as: Without mention, y(t) is represented by y. For any φ ∈ C, let: Throughout this paper, it is assumed that the uniqueness of solutions of FDE (3) is held. We should also note that the nonlinear continuous and discrete systems IDDEs (1) and (2) are particular cases of FDE (3). Let be a continuous in t and φ. Further, let d dt V 1 (t, y t ) represent the derivative of functional V 1 (t, y t ) on the right through any solution of FDE (3).
Firstly, we present the result of Crisci et al. ( [14], Theorem 2.2), which is given by the below theorem, Theorem 1.  γ(g(t, y)), γ(g(t, y)) is the logarithmic norm of the matrix g(t, y), D is in some neighborhood of the origin and k is defined as k(t, s, y) ≤ κ(t, s) y , and κ(t, s) is a continuous non-negative function. Then the trivial solution of the continuous and discrete system of IDDEs (1) is asymptotically stable. It is worth presenting that the LKF V = V(t, y), was defined and used by Crisci et al. ([14], Theorem 2.2) to prove the mentioned theorem.
Next, the below theorem is a key result of this paper during the proofs (A1) The functional V 1 (t, y t ) is locally Lipschitz in y t , i.e., for every compact S ⊂ R n and γ > t 0 , there is a A γs ∈ R with A γs > 0 such that: for all t ∈ [t 0 , γ] and x, y ∈ C([t 0 − τ, t 0 ], S). (A2) Z : R + × C H → R + is a continuous functional such that it is one sided locally Lipschitz in t, i.e., (A3) There are four strictly increasing functions ω, ω 1 , ω 2 , ω 3 : R + → R + with value 0 at 0 such that: ∀t ∈ R + and ∀y ∈ C H . Then, the trivial solution y(t) = 0 of FDE (3) is uniformly asymptotically stable.

Analysis of Solutions by LKF Method
We consider unperturbed system: System (4) was obtained from system (2) when S(.) = S(t, y(t), y(t − τ)) = 0. We now construct sufficient conditions, which are needed in the proofs of Theorems 3-5.

Assumption 1.
We need the below conditions through the proofs of our new results.
It should be noted that throughout the proofs of Theorems 3-5 and Corollary 1 as a basic tool, we utilize the LKFΛ := Λ(t, y t ) defined by: in which σ > 0, σ ∈ R, we choose σ in the proof. The first new result, i.e., the UAS result, is given by Theorem 3.

Theorem 3.
If conditions (C1) and (C2) are held, then the trivial solution of the unperturbed continuous and discrete system (4) is uniformly asymptotically stable.
Proof. As the steps of this proof, we will show that the LKF satisfies conditions (A1)-(A3) of Theorem 2 step by step, respectively. First, in view of the LKF (5), we see that the LKF Λ is positive definite. As for condition (A1) of Burton ([2], Theorem 4.2.9)), it is notable that: where M := 1 + στK L . As a result of this analysis, it is now seen that the LKF Λ satisfies the locally Lipschitz condition in y t , i.e., condition (A1) has been verified. For the coming step, let: Then, using condition (C2), it therefore follows that: Next, we have: where K L > 0 is the Lipschitz constant. Let t 1 > 0, t 2 > 0 and t 1 < t 2 < ∞.
As for the next step, we derive that: As a result of the above analysis, we see that the LKF Λ satisfies condition (A2). By virtue of the derivative of the LKF Λ along the continuous and discrete unperturbed system of IDDEs (4), we now derive that: According to condition (C1), it follows that: Thanks to (6) and (7), we derive that: Let us choose σ = 1. Next, using (8) and condition (C2), we have: Let ω 1 = y , ω 2 = στK L y(s) [t−τ,t] and ω 3 = g 0 y . According to the above discussion, conditions (A1)-(A3) of Theorem 2 (Burton ([2], Theorem 4.2.9)) are fulfilled. Thus, the trivial solution of the continuous and discrete unperturbed system (4) is uniformly asymptotically stable. Proof. Due to Theorem 3, the trivial solution of the continuous and discrete unperturbed system (4) is stable. To see the stability is uniform, let y ∈ R n and |y| be any norm, let C denote the Banach space of the functions We suppose that y(t) is a solution of the continuous and discrete unperturbed system By virtue of the LKF Λ(t, y t ), which is decreasing, using (5) and (C2), we have: Then, for given ε > 0, choose δ = 1 1+σK L ε 2 such that for any solution y(t) of the continuous and discrete unperturbed system of (4), if φ(t) < δ for t ∈ [t 0 − τ, t 0 ], then: Here, the number δ is independent of the constant t 0 . By virtue of the last inequality, we arrive at the solution y(t) ≡ 0 of the continuous and discrete unperturbed system (4), which is US. Hence, the proof is completed.
The next result discusses the integrability of solutions of the continuous and discrete unperturbed system of IDDEs (4). Proof. From Theorem 3, we have the inequality (9). Integrating the inequality (9), we derive: It is notable that the LKF Λ is decreasing. Therefore, it follows that: Hence, we conclude that: This result confirms that the solutions of the continuous and discrete unperturbed system of IDDEs (4) are integrable on R + , R + = [t 0 , ∞).

Theorem 5.
If conditions (C1) and (C5) are held, then the solutions of the perturbed continuous and discrete system of IDDEs (2) are bounded at infinity.
Proof. The derivative of LKF (5) along the continuous and discrete perturbed system (2) and conditions (C1) and (C5) give that: Hence, we know that the LKF Λ is decreasing. Integrating, we derive: Thus, the solution y(t) is bounded at infinity. The proof was completed.
As the next step, by the derivative of the LF Λ 1 in (10) with respect to the continuous and discrete unperturbed system (4) and condition (C3), we have: For the next step, consider the integral term, which is available in (11). Letting s = t + ξ gives ds = dξ. Hence, for s = t − τ and s = t, it follows that ξ = −τ and ξ = 0, respectively.
Using the Razumikhin condition on the set s ∈ [−τ, 0], we get: Then, from (10)- (12), it follows that: where ς 0 < G 0 − τK 0 and is defined by condition (C4). As for the next step, it is clear that: Integrating these terms, we derive that: It is now notable that: Thus, the trivial solution of the continuous and discrete unperturbed system of (4) is exponentially stable. Thus, this result completes the proof of Theorem 6. Theorem 7. If condition (C4) is held, then the trivial solution of the continuous and discrete system (4) is unstable.
As for the next step, differentiating the LF Λ 1 and using condition (C4), we have: Thus, the trivial solution of the continuous and discrete unperturbed system of IDDEs (4) is unstable and the proof of Theorem 7 is finished.
Hence, by the mentioned stability concepts, we mean that, by making a sufficiently small change in initial data, then the given conditions will not allow the solutions to remarkably deviate from the desired behaviors.
In Figure 1, the continuous and discrete scalar IDDE (13) is solved by MATLAB.
Next, comparing continuous and discrete scalar IDDE (14) with the continuous and discrete unpertubed system of IDDEs (4), it follows that S(.) = S(t, y, y(t − 1)) = y exp(t) 1 + exp(2t) + exp(y 2 ) + exp(y 2 (t − 1)) , and the delay term τ, the functions G(.), H(.), K(.) and K 1 (.) are the same as in Example 1. Thus, it is not needed to verify the conditions related to the functions G(.), H(.), K(.) and K 1 (.). As for the function S(.), it is obvious that: Next, Thus, conditions (C1) and (C5) of Theorem 5 are satisfied. By virtue of this information, the solutions of the continuous and discrete scalar IDDE (14) are bounded at infinity. This means that, under given conditions, every path of the solutions of IDDE (14) will remain inside a circle as t → ∞.
In Figure 2, the continuous and discrete scalar IDDE (14) is solved by MATLAB.
Next, comparing continuous and discrete scalar IDDE (15) with continuous and discrete unperturbed system of IDDEs (4), it follows that: the delay term τ = 1, the functions H(.) and K(.) are the same as in Example 1. Thus, it is not needed to show again the estimates related to the functions H(.) and K(.). Next, it is clear that: |G(t, y)| ≥ 20π|y| = G 0 |y|, G 0 = 20π.
As for the last step, considering the estimates of the functions H(.), K(.) and the last one, With this information, condition (C4) of Theorem 7 is held. For these reasons, the trivial solution of continuous and discrete scalar IDDE (15) is unstable. This means that, under given conditions, every path of the solutions of IDDE (15) will not remain inside a circle.
In Figure 3, the continuous and discrete scalar IDDE (15) is solved by MATLAB.

Contributions
(1) The systems of this paper, i.e., the continuous and discrete systems of IDDEs (2) and IDDEs (4), extend and improve the continuous and discrete system of IDDEs (1), which were studied by Crisci et al. ([14], Theorem 2.2). This is the first contribution of this paper.  [14], Theorem 2.2). In this paper, we define a novel LKF, such as to prove the UAS of the trivial solution of the unperturbed system (4). Here, the LKF Λ(t, y t ) was also used to prove Corollary 1, Theorems 4 and 5. The LKF Λ(t, y t ) is different from the LKF V of Crisci et al. ( [14], Theorem 2.2). Next, the LKF Λ(t, y t ) can lead more suitable conditions related to Theorems 3-5. This is the second contribution of this paper.
(3) In the paper of Crisci et al. ( [14], Theorem 2.2), the AS of the trivial solution of system (1) is proved by the LKF method, see Theorem 1. In this paper, instead of the AS result, we proved the UAS of the trivial solution of the unperturbed system (4) by Theorem 3. The UAS implies the AS; however, on the contrary, the AS does not imply the UAS. Our result, Theorem 3, is stronger than Theorem 1, i.e., Crisci et al. ([14], Theorem 2.2). This is the third contribution of this paper. (4) In this paper, we used the LRM method to prove the ES and instability of the trivial solution of the continuous and discrete unperturbed system of IDDEs (4) via the LF defined by: In the relevant literature, we did not find a paper on the properties of solutions of continuous and discrete perturbed system of IDDEs (2) and unperturbed system of IDDEs (4), where the LRM method is used as a basic technique to prove those kinds of results. Here, the effectiveness of the LRM can be seen from Theorems 6 and 7. This is the fourth contribution of this paper. (5) Crisci et al. ([14], Theorem 2.2) investigated the AS of the trivial solution of the continuous and discrete system of IDDEs (1). In this paper, we discussed the UAS, US, ES, instability of the trivial solution, integrability of non-trivial solutions of the continuous and discrete scalar unperturbed system (4) as well as the boundedness of non-trivial solutions at infinity of the continuous and discrete scalar perturbed system of IDDEs (2), which includes and extends the continuous and discrete system of IDDEs (1). Thus, we establish five new results and a corollary on the fundamental properties of solutions. This is the fifth contribution of this paper to the topic of the paper and the qualitative theory of solutions.  (2) and (4), we constructed three examples and solved them by MATLAB software. The conditions of Theorems 3-7 are held by Examples 1-3. Hence, the applications of Theorems 3-7 were provided. This is the sixth contribution of this paper. (7) In this paper the boundedness theorem, Theorem 5, was proved the use of Gronwall's inequality was not needed. Hence, Theorem 5 has less restrictive conditions.

Conclusions
In this work, certain systems of continuous and discrete IDDEs were taken into consideration. Five theorems and a corollary related to the fundamental qualitative concepts, such as the US, UAS, ES, integrability, instability and boundedness of solutions of that systems of continuous and discrete IDDEs, were proved with the help of the LKF method and the LRM. In particular cases, as numerical applications of the obtained results,

Acknowledgments:
The authors would like to thank reviewers of this paper for their careful reading and pertinent correction suggestions, which improved the paper.

Conflicts of Interest:
The authors declare no conflict of interest.