Results on Neutral Partial Integrodifferential Equations Using Monch-Krasnosel’Skii Fixed Point Theorem with Nonlocal Conditions

: In this theory, the existence of a mild solution for a neutral partial integrodifferential nonlocal system with ﬁnite delay is presented and proved using the techniques of the Monch– Krasnosel’skii type of ﬁxed point theorem, a measure of noncompactness and resolvent operator theory. For this work, we have introduced some sufﬁcient conditions to conﬁrm the existence of the neutral partial integrodifferential system. An illustration of the derived results is offered at the end with a ﬁlter system corresponding to our existence result.


Introduction
We establish the solution of the existence of Equations (1) and (2) with finite delay Here, A is a closed linear operator defined on Banach space (X, · ) with domain D(A). Let [H(v)] v≥0 be the set of all closed linear operators on X with domain D(H) ⊃ D(A) and C([−r, 0]; X) denote the set of all continuous functions defined on [−r, 0] into X. Throughout this theory, X will be used as Banach space. The function D in R + × C → X is defined as follows where the function F is continuous from R + × C into X and the function φ is also continuous from R + × C × X into X. Let z ∈ C([−r, 0]; X), ∀v ≥ 0, then the history function z v ∈ C is defined by Semigroup theory provides a unified and powerful tool for the study of differential equations on Banach space-covering systems described by ordinary differential equations, functional differential equations, partial differential equations, and neutral differential equations, etc. In recent years, among many other applications, semigroup theory has been widely used in the study of control and stability of systems governed by differential equations on Banach space. It has been discussed by many authors for A is densely defined. In [1,2], the authors studied the hypotheses for the existence of resolvent operators for the abstract integrodifferential equations. Further, in [3][4][5][6][7], the authors discussed the solutions of the existence of nonlinear neutral partial differential equations using different approaches. Lizama et al. [8] studied (1) with the nonlocal initial values when φ = 0, and using the fixed point of Sadovskii's technique, derived the solution of existence when the nonlocal condition is compact, and R 1 (·) is continuous with respect to the norm. Many authors have proven the existence of the solution for neutral integrodifferential equations with initial and nonlocal conditions. In [9], the authors proved the solutions of neutral functional integrodifferential equations with an initial condition in finite delay, and in [4], the authors proved the existence of the mild solution for a class of neutral partial integrodifferential equations using resolvent operator theory and measure of noncompactness and proved the existence using the Monch-Krasnosel'skii type of fixed point theorem with initial conditions. Motivated by the above two particular articles, we construct a new problem (1) and (2) using nonlocal conditions with finite delay and apply the Monch-Krasnosel'skii fixed point technique. The contribution of this article is extended from the neutral integrodifferential equation, including an integral term in functional and taking nonlocal conditions with finite delay. As is well-known, the nonlocal problems are more desirable when compared with Cauchy problems. In considerations with real-life phenomena, generally, the physical changes of a system depend on both its present and past states. In order to face certain situations, nonlocal conditions play a vital role. Many problems in the field of ordinary and partial differential equations can be recast as integral equations. Several existence and uniqueness results can be derived from the corresponding results of integral equations. The fixed point method is the most powerful method in proving existence theorems for integrodifferential equations. This paper consists of Section 2, to provide basic lemmas and results to use in this article. In Section 3, we provide some results from the new Monch-Krasnosel'skii type of fixed point theorem. In Section 4, we derive the mild solution of (1) and (2) and discuss the existence result. Section 5 gives an application to validate our theory, and Section 6 gives a filter system corresponding to the solution of existence in our differential system. Finally in Section 7, we provide the conclusion about this article.

Results on Measure of Noncompactness
Here, we define some useful definitions and lemmas to use in this analysis. Let C([0, b]; X) be the set of all continuous functions defined on [0, b] in X with a standard supreme norm. For Banach spaces Z and W, we denote by L(Z, W) the Banach space of all bounded linear operators from Z into W. The Banach space X with graph norm is declared as x G = Ax X + x X and denoted by (Y, · ). For this theory, we need the following results about the resolvent operator theory, see [1,2]. Consider the following integrodifferential equation Assume that (P1) A is a closed linear operator and densely defined on Banach space (X, · ) with graph norm x = Ax + x , which is denoted as (Y, · ). (P2) [B(t 1 )] t 1 ≥0 be the set of all linear operators on X and B(t 1 ) is continuous for t 1 ≥ 0, there is a positive real-valued function b such that B(t 1 )(y) X ≤ b(t 1 ) y G , ∀y ∈ Y, t 1 ≥ 0. (P3) For any y ∈ Y, then t 1 → B(t 1 )y ∈ W 1,1 loc (R + , X) and | d dt 1 Definition 1. Let R 1 (t 1 ) ∈ L(X) be a bound linear operator for t 1 ≥ 0 and a resolvent operator for (3); then, it satisfies (i) R 1 (0) = I and R 1 (t 1 ) L ≤ Me βt 1 , where M, β are constants. (ii) R 1 (t 1 )x is strongly continuous, ∀x ∈ X and t 1 ≥ 0. (iii) R 1 (t 1 ) ∈ L(X), t 1 ≥ 0 and let x ∈ Y such that R 1 (·)x in both C 1 (R + , X) and C(R + , X) and Now we define the Hausdorff measure: ψ(S) = inf{r > 0; where S has a number of sets that covers S with diameter ≤ r} . Here, the Hausdorff measure is full, monotone and non-singular.

Lemma 2 ([10]
). Let S 1 and S 2 be bounded subsets of X, then the following properties are satisfied for some bounded subset S of X.
For this connection, C(I, X) is continuous and functions on I = [0, b] in X and supreme norm defined by X ∞ = sup{ X(t 1 ) X ; t 1 ∈ I}.
From ( [11], p. 273), let M be a closed convex subset of X and K and S be two nonlinear mappings from M to X. For some Ω 0 ⊆ M and x 0 ∈ X, we define Here, all the sets F(K, S, Ω 0 ) are nonempty, because if S = 0 then F (n 0 ,x 0 ) (K, 0, Ω 0 ) reduces to F(K, Ω 0 ). In this case, F(K, S, Ω 0 ) is maybe empty. Therefore, it is difficult to find a fixed point for the sum S + K in Ω 0 . Therefore, F(K, S, Ω 0 ) must be nonempty.

Lemma 3 ([11]
). Let M be a closed convex nonempty subset of X. Then (a) S is a strict contradiction of X into itself with constant k in (0, 1).

Important Results on Fixed Point Theorem
Here, we provide some results based on a new fixed point technique.
Lemma 8. Let S be a contraction map on X → X with constant k in [0, 1), then (I − S) −1 is a continuous map from X into itself with a lipschitzian constant 1 1−k .
Theorem 2. Let M be a nonempty closed convex subset of X. Let K : M → X and S : X → X be two continuous mappings satisfying the following axioms (i) There exist x 0 ∈ M and n 0 > 0 such that for all countable subsets C ⊂ M, we have C = F (n 0 ,x 0 ) (K, S, C), which implies that C is relatively compact. (ii) The mapping S is a strict contraction.
Then, K + S has a fixed point in M.
Corollary 1. Let M be a nonempty closed convex subset of X and φ be a non-singular measure of noncompactness on X. Let K : M → X and S : X → X be two continuous mappings. Then (i) Let Ω ⊆ X be a countable set with φ(Ω) > 0 such that (ii) The mapping S is a strict contraction.
(iii) If x = S x + Ky, for some y in M ⇒ x ∈ M. Then K + S has a fixed point in M.

Corollary 2 ([15]
). Let M be a nonempty closed convex subset of X and φ be a measure of noncompactness on X. Let K : M → X be a continuous map and let Ω ⊆ M be countable with φ(Ω) > 0 such that then K has a fixed point in M.

Results on Existence
Here, to establish the result on the existence of (1) and (2), we need the following results and lemmas. Theorem 3. The continuous function F from [0, ∞) to L(X) and for some compact set K ⊂ X, then Assume that for all v ∈ [0, b] and for some q ∈ L 1 (0, b) such that Then (1) and (2) if the following integral equation is satisfied,
(H3) The mapping h : R + × R + × C → X is continuous and m h : where Ω h : R + → R + is the increasing function. (H4) There exists the functions p 1 , v→∞ Ω(r) r b 0 m φ (s)ds < 1. Now we define the following operators as follows: Then z is a mild solution of (1) and (2) if and only if z is a fixed point of K + S. Clearly, the linear operator K is continuous on C([0, b]; X) into itself.
Then S x − Sy ≤ k x − y . This implies that S is a contraction.

Lemma 10.
There is r > 0, such that z = Sz + Kw, w ∈ B r implies that z ∈ B r . Where Proof. We prove this by the contradiction method.
Suppose r > 0 and z ∈ C([0, b]; X) and w ∈ B r , then z = Sz + Kw and z / ∈ B r . Then Dividing r on both sides, we have This implies that, which contradicts (H7), hence z ∈ B r 0 .
By Lemma 12, F (n 0 ,x 0 ) (K, S, C) is equicontinuous and by Lemma 5, ψ C (C) = ψ ∞ (C) = 0, which implies that C is relatively compact. From Theorem 2 and Lemmas 9 and 10, we have S + K, which have a fixed point in B r . Hence systems (1) and (2)
It is clear that A is an infinitesimal generator of semigroup T(t) defined by T(t)w(s) = w(t + s), for each w ∈ X. Thus, [T(t)] t≥0 is not compact in X and β(T(t)D) ≤ β(D) where β is the Hausdorff measure of noncompactness and sup t∈I T(t) ≤ 1.
Next, to assume the following, g : C([0, b]; X) → X is a continuous function defined by g(z)(y) = b 0 m(s)log(1 + z(s)(y))ds, z ∈ C([0, b]; X). Moreover, for any v ≥ 0 and y ∈ X, we have We could see that the above system admits a resolvent operator. Further, the functions H and k satisfy all our assumptions. Finally, the above said partial differential system (11) has a mild solution of [−r, b].

Application II-Filter System
Digital filters are easily understood and calculated. The practical challenges of their design and implementation are significant and are the subject of much advanced research. A digital filter is a system that performs mathematical operations on a sampled, discrete time signal to reduce or enhance certain aspects of that signal. A variety of mathematical techniques may be employed to analyze the behavior of a given digital filter. There are two categories of digital filters, such as infinite impulse response (IIR) filters and finite impulse response (FIR) filters. For example, the FIR filter is often used to smooth a random process to suppress noise and bring out a slower-varying signal and the detection of a signal in a noisy background with a matched filter.
In [17,18], the authors discussed the methodology for an upgraded framework of FIR from the software level to the hardware level. Moreover, in [19], the authors discussed the coupling between an asynchronas designs and non-uniform sampling schemes in order to implement a digital filter. In [20,21], the authors discussed the reconstruction of the speech signal, and compared FIR and IIR filter banks and also studied the transfer functions related to one-dimensional and two-dimensional filter systems. Motivated by the above works, we present our filter system shown in Figure 1, which describes the rough pattern of a block diagram. it provides the solutions with respect to a minimum number of inputs with high accuracy and fast execution time.

Conclusions
This manuscript illustrates that the existence of a mild solution for the neutral partial integrodifferential nonlocal system with finite delay is supported by a Monch-Krasnosel'skii type fixed point theorem, measure of noncompactness, and resolvent operator theory. Finally, we have constructed a rough filter system associated with our existence result.