Existence of Solutions of a Convolution Integral Equation

Henry Otoo¹, Benjamin Dadzie Mensah², Lewis Brew¹

¹Mathematical Sciences Department, University of Mines and Technology, Tarkwa, Ghana.
²Faculty of Science and Technology, University of Silesia in Katowice, Sosnowiec, Poland.

DOI: 10.4236/jamp.2024.125114                

Abstract

In this study, we prove the of existence of solutions of a convolution Volterra integral equation in the space of the Lebesgue integrable function on the set of positive real numbers and with the standard norm defined on it. An operator P was assigned to the convolution integral operator which was later expressed in terms of the superposition operator and the nonlinear operator. Given a ball B_r belonging to the space L it was established that the operator P maps the ball into itself. The Hausdorff measure of noncompactness was then applied by first proving that given a set $M\in B_r$ the set is bounded, closed, convex and nondecreasing. Finally, the Darbo fixed point theorem was applied on the measure obtained from the set E belonging to M. From this application, it was observed that the conditions for the Darbo fixed point theorem was satisfied. This indicated the presence of at least a fixed point for the integral equation which thereby implying the existence of solutions for the integral equation.

Keywords

Volterra, Integral Equation, Convolution, Fixed Point, Existence, Noncompactness

1. Introduction

The existence of an integral equation solution is a true indicator of whether or not a given integral equation can be solved [1] . Over the years, numerous function space-based methods have been implemented to test the nature of an integral equation solution. Although all these various procedures have the same end goal, the function spaces and the applied fixed-point theorems are the key components that differentiate them. According to [2] , fixed-point theorems are essential in determining whether there exists a solution for a given integral equation. The most used fixed point is the Schauder fixed point [3] . Other fixed points confirm that a self-mapping on a set, which is continuous, convex, nonempty, and a compact subset of a Banach space, possesses at least a fixed point [4] . However, finding this subset of a set belonging to a certain function space, which is bounded, convex, closed, and at the same time maps itself by the operator due to an underlying integral equation, is very difficult. For example, some of the approaches that apply either classical Banach or the Schauder fixed point normally result in inaccurate results since strong hypotheses are required for the use of these fixed-point theorems. To address these inaccuracies, the techniques of measures of noncompactness and the Darbo fixed-point theorem have been successfully employed in establishing the existence of solutions, rather than relying solely on methods like the classical Banach or Schauder fixed-point theorems. Measures of noncompactness and Darbo fixed point theorem are highly valuable in functional analysis spanning areas such as metric fixed-point theory and operator theory, differential equations, functional equations, integral and integro-differential equations, optimization, and more.

With the introduction of the concept of the measure of noncompactness, there have been successful applications through the Darbo Fixed point theorem in establishing the existence of the solution of an integral equation. [5] presented an approach that depends on the measure of noncompactness and the Darbo fixed-point theorem.

[6] provided an integral-type generalization of Darbo’s theorem and applied it to establish the existence of solutions for functional integral equations. [7] presented another generalization of Darbo’s theorem along with an application. Recently, integral equations of fractional orders have been investigated in [8] and [9] using measures of noncompactness. For various types of integral equations, refer to [10] [11] [12] [13] . [14] utilized shifting distance functions to establish several new generalizations.

Although this approach has been applied to prove the existence of monotonic solutions of integral equations of various types in the space of Lebesgue integrable functions, it’s application in establishing the solvability of the convolution Volterra integral equation in the space of Lebesgue integrable functions has not been extensively studied [15] [16] [17] [18] [19] .

Therefore, in this study, considering a convolution Volterra integral equation in the form of Equation (1):

$x\left(t\right)=f\left(t\right)+{\displaystyle \underset{0}{\overset{t}{\int }}\alpha \left(t-s\right)g}\left(s,x\left(\phi \left(s\right)\right)\right)\text{d}s,t>0$ , (1)

we establish the proof of existence of solutions of the convolution integral Equation (1) using the measure of noncompactness and the Darbo fixed-point theorem in the space of Lebesgue integrable functions. The mathematical preliminaries and theoretical concepts are in section two, while the main results are presented in section three.

2. Main Concept

2.1. Basic Definitions and Preliminaries

Some of the various mathematical concepts and theorems required for the study are recalled in this section. For the purpose of this study, $ℝ$ represent the set of real numbers, $\forall$ denotes for all and $\mathbb{N}$ the set of natural numbers.

Definition 1 A set $G\subset {ℝ}^n$ is convex if and only if for every two points in G, the line segment that connects them is entirely contained within G. That is $\lambda x_1$ $+\left(1-\lambda \right)x_2\in G$ $\forall \lambda \in \left[0,1\right]$ $x_1,x_2\in G$ [20] .

Definition 2 Let X be a vector space over the field $ℝ$ then X is said to be a Banach space if and only if X is equipped with a norm and is also complete.

The space X is complete if for every Cauchy sequence $\left\{x_n\right\}$ in X, there exist a subsequence $\left\{x_n\right\}$ which converges to $x\in X$ .

Definition 3 Let $ℝ$ denote the set of real numbers and $\left[0,\infty \right)$ be an interval on $ℝ$ . For a given nonempty, non-bounded and Lebesgue measurable subset $\left[0,\infty \right)$ of $ℝ$ , denoted by L¹, as the space of Lebesgue integrable functions on $\left[0,\infty \right)$ the standard norm is given by $\Vert x\Vert ={\displaystyle {\int }_0^{\infty }\left|x\left(t\right)\right|\text{d}t}$ .

Definition 4 Suppose $0<p<\infty$ and $\left(X,M,\mu \right)$ represent a measure space. If $f:X\to ℝ$ is said to be a measurable function, then we define ${\Vert f\Vert }_{L^p\left(X\right)}:=$

${\left({\displaystyle \underset{X}{\int }{\left|f\right|}^p}\text{d}x\right)}^{\frac{1}{p}}$ and ${\Vert f\Vert }_{L^{\infty }\left(x\right)}:=\text{ess}{\sup }_{x\in X}\left|f\left(x\right)\right|$ .

The Lebesgue space can therefore be restated in the following definition.

Definition 5 Let $L^p\left(x\right)$ be a space then this is defined as a set of $L^p\left(x\right)=$ $\left\{f:x\to R|{\Vert f\Vert }_{L^p\left(x\right)}<\infty \right\}$

2.2. Volterra Integral Equations

Volterra Integral equation is a type of integral equation which has one of its limits to be a variable. The standard form of a Volterra integral equation is given by:

$\vartheta \left(t\right)u\left(t\right)=f\left(x\right)+\lambda {\displaystyle \underset{0}{\overset{x}{\int }}k\left(x,t\right)u\left(t\right)\text{d}t}$ (2)

The Volterra integral equation can be of either the first or second kind, depending on the position of the unknown variable inside or outside the integral sign. When the unknown function $u\left(x\right)$ appears inside and outside the integral sign and $\vartheta \left(t\right)=1$ in Equation (2), the resulting integral equation is called a Volterra integral equation of the second kind and is represented by:

$u\left(x\right)=f\left(x\right)+\lambda {\displaystyle \underset{0}{\overset{x}{\int }}k\left(x,t\right)u}\left(t\right)\text{d}t.$ (3)

The convolution integral equation results from the nature of the kernel of the integral equation.

2.3. Convolution and Regularization

Theorem 1 Let $f\in L^1\left({ℝ}^N\right)$ and $g\in L^p\left({ℝ}^N\right)$ with $1<p<\infty$ . Then for almost everywhere $x\in {ℝ}^N$ the function $y\to f\left(x-y\right)g\left(y\right)$ is integrable on ${ℝ}^N$ and so $\left(f\ast g\right)\left(x\right)={\displaystyle {\int }_{{ℝ}^N}f\left(x-y\right)g\left(y\right)\text{d}y}$ in addition $f\ast g\in L^p\left({ℝ}^N\right)$ and ${\Vert f\ast g\Vert }_p\le {\Vert f\Vert }_1{\Vert g\Vert }_p$ [21] .

Theorem 2 Suppose that $g:I\to R$ is differentiable on an open interval I and $g^{\prime }$ is integrable on I. Let $J=g\left(I\right)$ . If $f:J\to R$ is continuous then for

every $a,b\in I$ ${\displaystyle {\int }_a^{b}f\left(g\left(x\right)\right)g^{\prime }\left(x\right)\text{d}x}={\displaystyle {\int }_{g\left(a\right)}^{g\left(b\right)}f\left(u\right)\text{d}u}$ .

2.4. Carathéodory Conditions

The Carathéodory Conditions stipulate that in the domain of the $\left(t,x\right)$ space, the following conditions are fulfilled:

1) The function $f\left(t,x\right)$ be defined and continuous in x for almost all t;

2) The function $f\left(t,x\right)$ be measurable in t for each x;

3) $\Vert f\left(t,x\right)\Vert \le m\left(t\right)$ where the function $m\left(t\right)$ is integrable in the Lebesgue sense on each finite interval.

2.5. Superposition Operator

Suppose that a function $f\left(t,x\right)=f:\left[0,\infty \right)\times ℝ\to ℝ$ satisfies the Carathéodory conditions, then for the function $\left(Tx\right)t=f\left(t,x\left(t\right)\right)$ where $t\in \left[0,\infty \right)$ is assigned for every $x=x\left(t\right)$ which is measurable on $\left[0,\infty \right)$ . The operator T is called the superposition operator generated by f. Functions of several variables are converted to a single variable by the superposition operator T [22] . The superposition operator converts the functions of several variables to a single variable function which can be observed for the L norm.

Theorem 3 (Superposition) The space L¹ map continuously onto itself by the superposition operator T if and only if

$\left|f\left(t,x\right)\right|\le a\left(t\right)+b\left|x\right|$ (4)

$\forall t\in \left[0,\infty \right)$ and $x\in ℝ$ , where $b\ge 0$ and $a\left(t\right)$ is a function from L¹ [23] .

Next, we recall a theorem on the compactness of a measure subset X of L¹.

Theorem 4 X is a compact measure if and only if X is a bounded subset of L¹ comprising of function which are almost everywhere nondecreasing or nonincreasing on the interval [24] .

Also, we recall some facts on the convolution operator as indicated in [25] . Let $p\in L^1\left(R\right)$ and $g\in L^1\left(R\right)$ then the integral

$\left(Hx\right)t={\displaystyle \underset{0}{\overset{\infty }{\int }}p\left(t-s\right)g\left(s\right)\text{d}s}$ (5)

exists for almost every $t\in \left[0,\infty \right)$ . $\left(Hx\right)t$ belongs to the space L¹ where it is the linear operator which maps the space of L¹ to L¹. The linear operator H is also bounded and continuous since the norm

$\Vert Hx\Vert \le {\Vert H\Vert }_{L^1\left(R\right)}\Vert g\Vert$ (6)

For every $x\in L^1\left(R\right)$ . Thus, $\Vert H\Vert$ is a convolution operator which is majored by ${\Vert H\Vert }_{L^1\left(R\right)}$ .

Theorem 5 Suppose $p\left(t,s\right)=p:{\left[0,\infty \right)}^2\to \left[0,\infty \right)$ is measurable on ${\left[0,\infty \right)}^2$ such that the integral operator

$\left(Hx\right)t={\displaystyle \underset{0}{\overset{\infty }{\int }}p\left(t,s\right)g}\left(s\right)\text{d}s,t\ge 0$ (7)

maps L¹ into L¹, then H transforms the set of nonincreasing functions from L¹ into L¹ if and only if for $\forall A>0$ and , $t_1,t_2\in \left[0,\infty \right)$ then the assertion $t_1<t_2$

$\Rightarrow {\displaystyle \underset{0}{\overset{A}{\int }}p\left(t_1-s\right)\text{d}s}\ge {\displaystyle \underset{0}{\overset{A}{\int }}p\left(t_2-s\right)\text{d}s}$ is valid.

2.6. Measure of Non-Compactness

One of the most widely used techniques for proving that certain operator equation has a solution is, to reformulate the problem as a fixed-point problem and see if the latter can be solved via a fixed-point argument. Measure of non-compactness is a function defined as the family of all non-empty and bounded subset of a metric space such that it is equal to zero on the whole family of relatively compact sets [26] .

2.7. Hausdorff Measure of Non-Compactness

The Hausdorff measure of noncompactness of a nonempty and bounded subset Q of X denoted by $\chi \left(Q\right)$ according to [27] is defined as the infimum of all numbers $r>0$ such that Q has r-net in X.

$\chi \left(Q\right)=\inf \left\{r>0:Q\subset S+B_r,S\text{is}\text{finite}\right\}$ (8)

Also, [10] defined the Hausdorff measure in space L as for $\epsilon >0$ , let

$c\left(x\right)=\underset{\epsilon \to 0}{\lim }\left\{\underset{x\in X}{\sup }\left\{\sup \left[{\displaystyle \underset{D}{\int }\left|x\left(t\right)\right|\text{d}t},D\subset \left[0,\infty \right),measD\le \epsilon \right]\right\}\right\}$ (9)

and

$d\left(x\right)=\underset{T\to \infty }{\lim }\left\{\sup \left[{\displaystyle \underset{T}{\overset{\infty }{\int }}\left|x\left(t\right)\right|\text{d}t}:x\in Q\right]\right\}$ (10)

where $measD$ denotes the Lebesgue measure of a subset D. Also given that $\gamma \left(Q\right)=c\left(Q\right)+d\left(Q\right)$ , then these two measures $\chi \left(Q\right)$ and $\gamma \left(Q\right)$ are connected by the following theorem.

Theorem 6 Let Q be a nonempty, bounded and compact measure subset of L¹, then

$\chi \left(Q\right)\le \gamma \left(Q\right)\le 2\chi \left(Q\right)$ (11)

Since these measures of noncompactness are used alongside certain fixed-point theorem, the next theorem considers the fixed point which will be used in this paper.

2.8. Darbo Fixed Point Theorem

The Darbo fixed point theorem is an extension of the classical Banach contraction mapping and the Schauder fixed point theorem.

Theorem 7 (Darbo Fixed Point) Suppose Q is a nonempty, bounded, closed and convex subset of X and let $P:Q\to Q$ be a continuous transformation which is a contraction with respect to the measure of noncompactness μ, i.e. there exist $k\in \left[0,1\right)$ such that $\mu \left(PE\right)=k\mu \left(E\right)$ for any nonempty subset E of Q. Then P has at least one fixed point in the set Q [28] .

2.9. Lebesgue Integration

A measurable real-valued function φ defined on a set E is said to be simple provided it takes only a finite number of real values. Suppose φ assumes distinct values $a_1,\cdots ,a_n$ on E, then the measurability of φ, its level set ${\phi }^{-1}\left(a_i\right)$ are

measurable and the canonical representation of φ on E is given by $\phi ={\displaystyle \underset{i=1}{\overset{n}{\sum }}{a}_i\chi E_i}$ on E [29] .

The following definitions from [29] are also recalled.

Definition 6 A bounded function f on a domain E of finite measure is said to be Lebesgue integrable over E provided its upper and lower integrals is called the Lebesgue integral and is denoted by ${\displaystyle {\int }_{E}f}$ .

Definition 7 (Measurable function) let $\left(X,\mu \right)$ be a measure space. A function $f:X\to \left[-\infty ,\infty \right]$ is said to be measurable if the set $f\left(\left(a,\infty \right]\right)=\left\{x\in X|f\left(x\right)>a\right\}$ is measurable for each $a\in ℝ$ .

Suppose that X is a measure space, then the Lebesgue integral ${\displaystyle {\int }_{X}f\text{d}\mu }$ can be defined for any non-negative measurable function $f:X\to \left[0,\infty \right]$ . Although, this will depend more on the function, the integral can be infinite but will always be well-defined as $\left[0,\infty \right)$ .

3. Main Results

According to [30] , in order to establish the existence of a solution of an integral equation in the form of Equation (1), if the integral equation has a convolution kernel, then the right-hand side of Equation (1) can be defined under more general hypotheses. Therefore, the following assumptions are made for establishing the proof of existence of solution of the convolution Volterra integral equation in Equation (1):

1) Let $f\left(t\right)\in L$ be such that f is continuous and bounded on ${ℝ}_{+}$ .

2) $\alpha :ℝ\to {ℝ}_{+}\in L(\; ℝ\; )$

3) $g:{ℝ}_{+}\times ℝ\to ℝ$ satisfies the Carathéodory condition.

4) $\phi :{ℝ}_{+}\to ℝ$ is increasing and absolutely continuous such that there exist u such that ${\phi }^{\prime }\left(t\right)\ge u$ .

5) $b\Vert C\Vert <u$

Theorem 8 There exists at least one solution for Equation (1) that is $x\in L$ which is almost everywhere nondecreasing on ${ℝ}_{+}$ if and only if the assumptions (1) - (5) are satisfied.

Proof Let the right-hand side of Equation (1) be represented by operator P, therefore,

$\left(Px\right)t=f\left(t\right)+{\displaystyle \underset{0}{\overset{t}{\int }}\alpha \left(t-s\right)g}\left(s,x\left(\phi \left(s\right)\right)\right)$ (12)

which implies that:

$x\left(t\right)=\left(Px\right)t$ (13)

Let the nonlinear Volterra integral operator as a result of Equation (1) be presented by Equation (14):

$\left(Tx\right)t={\displaystyle \underset{0}{\overset{t}{\int }}\alpha \left(t-s\right)g}\left(s,x\left(s\right)\right)\text{d}s$ (14)

According to [21] the nonlinear Volterra integral operator can be expressed in terms of the convolution operator as a result of Equation (1) which is given by:

$\left(Cx\right)t={\displaystyle \underset{0}{\overset{t}{\int }}\alpha \left(t-s\right)g}\left(s\right)\text{d}s$ (15)

and F, the superposition operator due to Equation (1) is also given by

$\left(Fx\right)t=g\left(t,x\left(t\right)\right)$ (16)

Therefore, Equation (1) can be written in the form:

$Px=f+Tx=f+CFx$ (17)

Next, in order to show that the operator Px will transform any ball of radius r, (B_r) into itself, it is established that for $x\in L$ , the function Px belongs to L when assumptions (1) - (5) are satisfied and will also imply that if there exist a ball B_r, Px transforms the ball into itself. Therefore,

${\displaystyle {\int }_0^{\infty }\left|\left(Px\right)t\right|\text{d}t}={\displaystyle {\int }_0^{\infty }\left|f\left(t\right)+{\displaystyle \underset{0}{\overset{t}{\int }}\alpha \left(t-s\right)g}\left(s,x\left(\phi \left(s\right)\right)\right)\right|\text{d}s\text{d}t}$ (18)

$\le {\displaystyle \underset{0}{\overset{\infty }{\int }}\left|f\left(t\right)\right|\text{d}t}+{\displaystyle \underset{0}{\overset{\infty }{\int }}\left|{\displaystyle \underset{0}{\overset{t}{\int }}\alpha \left(t-s\right)g}\left(s,x\left(\phi \left(s\right)\right)\right)\text{d}s\right|\text{d}t}$ (19)

$\Vert Px\Vert \le \Vert f\Vert +\Vert CFx\Vert$ (20)

In order to apply the superposition theorem, Equation (20) is expanded to separate the norms of the convolution and the superposition operators.

$\Vert Px\Vert \le \Vert f\Vert +\Vert C\Vert \Vert Fx\Vert$ (21)

Applying the superposition theorem on the superposition operator in Equation (21) results in:

$\Vert Px\Vert \le \Vert f\Vert +\Vert C\Vert {\displaystyle \underset{0}{\overset{\infty }{\int }}\left[a\left(t\right)+b\left|x\left(\phi \left(t\right)\right)\right|\right]\text{d}t}$ (22)

$\Vert Px\Vert \le \Vert f\Vert +\Vert C\Vert \Vert a\Vert +b\Vert C\Vert {\displaystyle \underset{0}{\overset{\infty }{\int }}\left|x\left(\phi \left(t\right)\right)\right|\text{d}t}$ (23)

from assumption (4), Equation (23) is rewritten as:

$\Vert Px\Vert \le \Vert f\Vert +\Vert C\Vert \Vert a\Vert +\frac{b\Vert C\Vert }{u}{\displaystyle \underset{0}{\overset{\infty }{\int }}\left|x\left(\phi \left(t\right)\right){\phi }^{\prime }\left(t\right)\right|\text{d}t}$ (24)

The theorem for Lebesgue integration by substitution (Theorem 2) is applied in order to convert the function of several variables under the integral sign in Equation (24) to a function of single variable as indicated in Equation (25)

$\Vert Px\Vert \le \Vert f\Vert +\Vert C\Vert \Vert a\Vert +\frac{b\Vert C\Vert }{u}{\displaystyle \underset{0}{\overset{\infty }{\int }}\left|x\left(t\right)\right|\text{d}t}$ (25)

Expressing ${\displaystyle \underset{0}{\overset{\infty }{\int }}\left|x\left(t\right)\right|\text{d}t}$ in terms of the norm on the space of Lebesgue integrable functions, results in Equation (26)

$\Vert Px\Vert \le \Vert f\Vert +\Vert C\Vert \Vert a\Vert +\frac{\Vert C\Vert b}{u}\Vert x\Vert$ (26)

Since the operator Px maps the space of Lebesgue integrable functions into itself by the superposition operator, then for any $x\in L$ , if $\Vert x\Vert \le r$ , then the operator P assumes the radius of x that is $\Vert Px\Vert \le r$ . This is due to the fact that P is an operator and cannot have a norm so it assumes the norm defined on the space of Lebesgue integrable functions.

Therefore, the exact value of the radius, r of the ball B_r is deduced from Equation (26) by assuming that $\Vert x\Vert \le r$ and also $\Vert Px\Vert \le r$ .

Hence from Equation (26):

$r\le \Vert f\Vert +\Vert C\Vert \Vert a\Vert +\frac{b}{u}\Vert C\Vert r$ (27)

$r-\frac{b}{u}\Vert C\Vert r\le \Vert f\Vert +\Vert C\Vert \Vert a\Vert$ (28)

$r\left(1-\frac{b}{u}\Vert C\Vert \right)\le \Vert f\Vert +\Vert C\Vert \Vert a\Vert$ (29)

Hence

$r=\frac{\Vert f\Vert +\Vert C\Vert \Vert a\Vert }{1-\frac{b}{u}\Vert C\Vert }$ (30)

Therefore, let the radius r of a ball be defined by:

$r=\frac{\Vert f\Vert +\Vert C\Vert \Vert a\Vert }{1-\frac{\Vert C\Vert b}{u}},\text{where}\frac{\Vert C\Vert b}{u}\ne 1$ (31)

Then, given that $x\in B_r$ then it can be concluded that $Px\in B_r$ . This means that P maps the ball B_r into itself since substituting the value of the radius r in Equation (31) in place of x in Equation (26) results in the inequality,

$\Vert Px\Vert \le \Vert f\Vert +\Vert C\Vert \Vert a\Vert +\frac{b\Vert C\Vert }{u}\left(\frac{\Vert f\Vert +\Vert C\Vert \Vert a\Vert }{1-\frac{\Vert C\Vert b}{u}}\right)$ (32)

$\Vert Px\Vert \le \Vert f\Vert +\Vert C\Vert \Vert a\Vert +\frac{\frac{b\Vert C\Vert \Vert f\Vert }{u}+\frac{b{\Vert C\Vert }^2\Vert a\Vert }{u}}{1-\frac{\Vert C\Vert b}{u}}$ (33)

$\Vert Px\Vert \le \frac{\left(\Vert f\Vert +\Vert C\Vert \Vert a\Vert \right)\left(1-\frac{\Vert C\Vert b}{u}\right)+\frac{b\Vert C\Vert \Vert f\Vert }{u}+\frac{b{\Vert C\Vert }^2\Vert a\Vert }{u}}{1-\frac{\Vert C\Vert b}{u}}$ (34)

$\Vert Px\Vert \le \frac{\Vert f\Vert -\Vert f\Vert \frac{\Vert C\Vert b}{u}+\Vert C\Vert \Vert a\Vert -\frac{b}{u}{\Vert C\Vert }^2\Vert a\Vert +\frac{b\Vert C\Vert \Vert f\Vert }{u}+\frac{b{\Vert C\Vert }^2\Vert a\Vert }{u}}{1-\frac{\Vert C\Vert b}{u}}$ (35)

Therefore,

$\Vert Px\Vert \le \Vert f\Vert +\Vert C\Vert \Vert a\Vert +\frac{b\Vert C\Vert }{u}r=r$ (36)

Next, in order to apply the Hausdorff measure of non-compactness and the Darbo fixed point theorem, Lemma 1 is established since the Darbo fixed point theorem is applied on sets which are closed, bounded, convex and a compact measure.

Lemma 1 Let $M\in B_r$ consisting of all functions which are almost everywhere positive and nondecreasing on $\left[0,\infty \right)$ then M is closed, bounded, convex subset of $L\left(R_{+}\right)$ and a compact measure.

Proof Suppose for $x\in M$ there exist $r\ge 0$ then x is bounded for all functions of M with respect to time if and only if $\Vert x\Vert \le r$ .

Then, for M to be closed, there exist a sequence $x_n\in M$ such that $\Vert x_n-x\Vert$ $\to 0$ and the sequence $x_n$ converges to a point in $x\in M$ as $n\to \infty$ .

Furthermore, to show also that M contains functions which are nondecreasing, let $\epsilon >0$ such that $\left|x\left(t_1\right)-x_{n_k}\left(t_1\right)\right|\le \frac{\epsilon }{2}$ and $\left|x\left(t_2\right)-x_{n_k}\left(t_2\right)\right|\le \frac{\epsilon }{2}$ for $x\left(t_2\right)-x\left(t_1\right)\le \epsilon$ .

Thus, for every $n_k\in \mathbb{N}$

$x\left(t_1\right)-x\left(t_2\right)=-\left(x\left(t_2\right)-x\left(t_1\right)\right)$

$x\left(t_1\right)-x\left(t_2\right)=-\left(x\left(t_2\right)-x_{n_k}\left(t_2\right)+x_{n_k}\left(t_2\right)-x_{n_k}\left(t_1\right)+x_{n_k}\left(t_1\right)-x\left(t_1\right)\right)$ (37)

$=\left|-1\right|\left|\left(x\left(t_2\right)-x_{n_k}\left(t_2\right)+x_{n_k}\left(t_2\right)-x_{n_k}\left(t_1\right)+x_{n_k}\left(t_1\right)-x\left(t_1\right)\right)\right|$

$\le \left|x\left(t_2\right)-x_{n_k}\left(t_2\right)\right|+\left|x_{n_k}\left(t_1\right)-x\left(t_1\right)\right|$ (38)

$x\left(t_1\right)-x\left(t_2\right)\le \frac{\epsilon }{2}+\frac{\epsilon }{2}$ (39)

Since $x_{n_k}\to x$ almost everywhere on $\left[0,\infty \right)$ and also $\epsilon >0$ then

$x\left(t_1\right)-x\left(t_2\right)<\epsilon$ (40)

Therefore, $x\left(t_1\right)\le x\left(t_2\right)$ . This implies that x is nondecreasing on $\left[0,\infty \right)$ and as such M is closed. Next, for M to be convex, Let $x_1,x_2\in M$ for $r>0$ then $\Vert x_i\Vert \le r$ for all $i=1,2$

Let $z\left(t\right)=\lambda x_1\left(t\right)+\left(1-\lambda \right)x_2\left(t\right)$ for all $t\in \left[0,\infty \right)$ and $0\le \lambda \le 1$ hence

$\Vert z\Vert \le \lambda \Vert x\Vert +\left(1-\lambda \right)\Vert x\Vert \le \lambda r+\left(1-\lambda \right)r$ (41)

$\Vert z\Vert \le r$ (42)

Thus, the convexity of M is established.

Again, the subset M is a compact measure as a result of Theorem 4, since it is bounded and contains functions which are nondecreasing almost everywhere on $\left[0,\infty \right)$ . Therefore, $x\in M$ implies that $x\left(t\right)$ is nondecreasing and positive almost everywhere on $\left[0,\infty \right)$ . Hence Px is also nondecreasing and positive on $\left[0,\infty \right)$ . Also, since $P:B_r\to B_r$ and P is nondecreasing and positive on $\left[0,\infty \right)$ , it can be concluded also that $P:M\to M$ .

In order to apply the Hausdorff measure of noncompactness, let $E\subseteq M$ , which is nonempty and $\epsilon >0$ . Then for $x\in E$ and for a set $d\subset \left[0,\infty \right)$ if meas $d\le \epsilon$ then from Equation (17)

${\displaystyle \underset{d}{\int }\left|\left(Px\right)t\right|\text{d}t}\le {\displaystyle \underset{d}{\int }\left|f\left(t\right)\right|\text{d}t}+{\displaystyle \underset{d}{\int }\left|CFx\right|\text{d}t}$ (43)

${\displaystyle \underset{d}{\int }\left|\left(Px\right)t\right|\text{d}t}\le {\displaystyle \underset{d}{\int }\left|f\left(t\right)\right|\text{d}t}+{\Vert CFx\Vert }_{l\left(d\right)}$ (44)

Applying the superposition operator on Equation (44), Equation (45) is obtained.

${\displaystyle \underset{d}{\int }\left|\left(Px\right)t\right|\text{d}t}\le {\displaystyle \underset{d}{\int }\left|f\left(t\right)\right|\text{d}t}+{\Vert C\Vert }_d{\displaystyle \underset{d}{\int }\left(a\left(s\right)+b\left|x\left(\phi \left(s\right)\right)\right|\right)\text{d}s}$ (45)

To convert the function of several variables to a function of single variable under the integral sign in Equation (45), assumption (4) is applied on Equation (45) which generates into Equation (46) as follows:

${\displaystyle \underset{d}{\int }\left|\left(Px\right)t\right|\text{d}t}\le {\displaystyle \underset{d}{\int }\left|f\left(t\right)\right|\text{d}t}+{\Vert C\Vert }_d{\displaystyle \underset{d}{\int }a\left(s\right)\text{d}s}+\frac{b}{u}{\Vert C\Vert }_d{\displaystyle \underset{d}{\int }\left|x\left(\phi \left(s\right)\right)\right|{\phi }^{\prime }\left(s\right)\text{d}s}$ (46)

${\displaystyle \underset{d}{\int }\left|\left(Px\right)t\right|\text{d}t}\le {\displaystyle \underset{d}{\int }\left|f\left(t\right)\right|\text{d}t}+{\Vert C\Vert }_d{\displaystyle \underset{d}{\int }a\left(s\right)\text{d}s}+\frac{b}{u}{\Vert C\Vert }_d{\displaystyle \underset{\phi \left(d\right)}{\int }\left|x\left(t\right)\right|\text{d}t}$ (47)

Applying the Hausdorff measure of noncompactness in Equation (9) to Equation (47)

$\underset{\epsilon \to 0}{\lim }\left\{\sup \left[\underset{x\in E}{\sup }{\displaystyle \underset{d}{\int }\left|f\left(t\right)\right|\text{d}t}+{\Vert C\Vert }_d{\displaystyle \underset{d}{\int }a\left(s\right)\text{d}s}:d\subset \left[0,\infty \right),measd\le \epsilon \right]\right\}=0$ (48)

Therefore, the measure for the last inequality becomes:

$c\left(PE\right)\le \frac{b}{u}{\Vert C\Vert }_{d}c\left(E\right)$ (49)

Furthermore, fixing $S>0$ so that the lower limit of the integral equation could be any value apart from zero, Equation (47) becomes:

${\displaystyle \underset{S}{\overset{\infty }{\int }}\left|\left(Px\right)t\right|\text{d}t}\le {\displaystyle \underset{S}{\overset{\infty }{\int }}\left|f\left(t\right)\right|\text{d}t}+{\Vert C\Vert }_d{\displaystyle \underset{S}{\overset{\infty }{\int }}a\left(s\right)\text{d}s}+\frac{b}{u}{\Vert C\Vert }_d{\displaystyle \underset{S}{\overset{\infty }{\int }}\left|x\left(t\right)\right|\text{d}t}$ (50)

Applying the measure of noncompactness in Equation (10) to Equation (50) result in Equation (51):

$\underset{S\to \infty }{\lim }\left\{\sup {\displaystyle \underset{S}{\overset{\infty }{\int }}\left|\left(Px\right)t\right|\text{d}t}\le {\displaystyle \underset{S}{\overset{\infty }{\int }}\left|f\left(t\right)\right|\text{d}t}+{\Vert C\Vert }_d{\displaystyle \underset{S}{\overset{\infty }{\int }}a\left(s\right)\text{d}s}+\frac{b}{u}{\Vert C\Vert }_d{\displaystyle \underset{S}{\overset{\infty }{\int }}\left|x\left(t\right)\right|\text{d}t},x\in E\right\}$ (51)

Therefore,

$d\left(PE\right)\le \frac{b{\Vert C\Vert }_d}{u}d\left(E\right)$ (52)

Combining Equations (49) and (52), the measure of noncompactness is given by

$\beta \left(PE\right)\le \frac{b}{u}\Vert c\Vert \beta \left(E\right)$ (53)

By assumption (4), applying the Darbo fixed point theorem in Theorem 7 implies that, there exist at least one fixed point for the operator P in M. This also implies that, there exist a solution for the integral Equation (1) since the condition for the Darbo fixed point theorem is satisfied.

4. Conclusion

The study proved the existence of solution of the convolution Volterra integral equation in Equation (1). For a set $M\in B_r$ which is a compact measure, bounded and convex, the condition for the Darbo fixed point theorem is satisfied. This indicates the presence of a fixed point for the convolution Volterra integral equation after the Hausdorff measure of noncompactness was applied to obtain the measure of the set $x\in E\subset M$ . The presence of the fixed point is an indication that there exists at least one solution to the convolution Volterra integral equation.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Otoo, H., Obeng-Denteh, W. and Brew, L. (2023) Oscillatory Solution of a Convolution Volterra Integral Equation. Asian Research Journal of Mathematics, 19, 59-68. https://doi.org/10.9734/arjom/2023/v19i12772
[2]	Miller, R.K. and Sell, G.R. (1968) Existence, Uniqueness and Continuity of Solutions of Integral Equations. Annali di Matematica Pura ed Applicata, 80, 135-152. https://doi.org/10.1007/BF02413625
[3]	López Pouso, R. (2012) Schauder’s Fixed-Point Theorem: New Applications and a New Version for Discontinuous Operators. Boundary Value Problems, 2012, Article No. 92. https://doi.org/10.1186/1687-2770-2012-92
[4]	Aghajani, A., Banaś, J. and Jalilian, Y. (2011) Existence of Solutions for a Class of Nonlinear Volterra Singular Integral Equations. Computers & Mathematics with Applications, 62, 1215-1227. https://doi.org/10.1016/j.camwa.2011.03.049
[5]	Banaś, J. (1997) Applications of Measures of Weak Noncompactness and Some Classes of Operators in the Theory of Functional Equations in the Lebesgue Space. Nonlinear Analysis: Theory, Methods & Applications, 30, 3283-3293. https://doi.org/10.1016/S0362-546X(96)00157-5
[6]	Aghajania, A. and Aliaskari, M. (2011) Generalization of Darbo’s Fixed Point Theorem and Application. Journal of Mathematical Inequalities, 2, 86-95.
[7]	Jleli, M., Karapinar, E., O’Regan, D. and Samet, B. (2016) Some Generalizations of Darbo’s Theorem and Applications to Fractional Integral Equations. Fixed Point Theory and Applications, 2016, Article No. 11. https://doi.org/10.1186/s13663-016-0497-4
[8]	Jleli, M., Mursaleen, M. and Samet, B. (2016) Q-Integral Equations of Fractional Orders, Electronic. Journal of Differential. Diff. Eq, Vol. 2016 (17), (2016) 1-14. https://doi.org/10.1155/2016/9896502
[9]	Mursaleen, M., Bilalov, B. and Rizvi, S. (2017) Applications of Measures of Noncompactness to Infinite System of Fractional Differential Equations. Filomat, 31, 3421-3432. https://doi.org/10.2298/FIL1711421M
[10]	Aghajani, A., Allahyari, R. and Mursaleen, M. (2014) A Generalization of Darbo’s Theorem with Application to the Solvability of Systems of Integral Equations. Journal of Computational and Applied Mathematics, 260, 68-77. https://doi.org/10.1016/j.cam.2013.09.039
[11]	Samadi, A., Avini, M.M. and Mursaleen, M. (2020) Solutions of an Infinite System of Integral Equations of Volterra-Stieltjes Type in the Sequence Spaces P (1 < P < 1). AIMS Mathematics, 5, 3791-3808. https://doi.org/10.3934/math.2020246
[12]	Samadi, A. and Ghaemi, M.B. (2014) An Extension of Darbo Fixed Point Theorem and Its Applications to Coupled Fixed Point and Integral Equations. Filomat, 28, 879-886. https://doi.org/10.2298/FIL1404879S
[13]	Cai, L. and Liang, J. (2015) New Generalizations of Darbo’s Fixed Point Theorem. Fixed Point Theory and Applications, 2015, Article No. 156. https://doi.org/10.1186/s13663-015-0406-2
[14]	Banaś, J. and Dronka, J. (2000) Integral Operators of Volterra-Stieltjes Type, Their Properties and Applications. Mathematical and Computer Modelling, 32, 1321-1331. https://doi.org/10.1016/S0895-7177(00)00207-7
[15]	Gordji, M.E., Khodaei, H. and Kamyar, M. (2011) Stability of Cauchy-Jensen Type Functional Equation in Generalized Fuzzy Normed Spaces. Computers & Mathematics with Applications, 62, 2950-2960. https://doi.org/10.1016/j.camwa.2011.07.072
[16]	Gordji, M.E., Baghani, H. and Baghani, O. (2011) On Existence and Uniqueness of Solutions of a Nonlinear Integral Equation. Journal of Applied Mathematics, 2011, Article ID: 743923. https://doi.org/10.1155/2011/743923
[17]	Parvaneh, V., Khorshidi, M., De La Sen, M., Işık, H. and Mursaleen, M. (2020) Measure of Noncompactness and a Generalized Darbo’s Fixed-Point Theorem and Its Applications to a System of Integral Equations. Advances in Difference Equations, 2020, Article No. 243. https://doi.org/10.1186/s13662-020-02703-z
[18]	Chen, C.M. and Karapınar, E. (2017) Some Fixed-Point Results via Measure of Noncompactness. Journal of Nonlinear Sciences & Applications, 10, 4015-4024. https://doi.org/10.22436/jnsa.010.07.50
[19]	Roubíček, T. (2021) Convex Locally Compact Extensions of Lebesgue Spaces and Their Applications. In: Ioffe, A., Reich, S. and Shafrir, I., Eds., Calculus of Variations and Optimal Control, Chapman and Hall/CRC, London, 237-250.
[20]	Royden, H.L. and Fitzpatrick, P. (2010) Real Analysis, Featured Titles for Real Analysis Series. Springer, Berlin, 436 p.
[21]	Chen, T. and Chen, H. (1995) Approximation Capability to Functions of Several Variables, Nonlinear Functionals, and Operators by Radial Basis Function Neural Networks. IEEE Transactions on Neural Networks, 6, 904-910. https://doi.org/10.1109/72.392252
[22]	Appell, J. and Zabrejko, P.P. (1987) On the Degeneration of the Class of Differentiable Superposition Operators in Function Spaces. Analysis, 7, 305-312. https://doi.org/10.1524/anly.1987.7.34.305
[23]	Agarwal, R.P., Banaś, J., Banaś, K. and O’Regan, D. (2011) Solvability of a Quadratic Hammerstein Integral Equation in the Class of Functions Having Limits at Infinity. Journal of Integral Equations and Applications, 23, 157-181. https://doi.org/10.1216/JIE-2011-23-2-157
[24]	Rudin, W. (2006) Real and Complex Analysis. Tata McGraw-Hill, New York, 416.
[25]	Mursaleen, M., Banaś, J., Jleli, M., Samet, B. and Vetro, C. (2017) Advances in Nonlinear Analysis via the Concept of Measure of Noncompactness. Springer, New Delhi, 487.
[26]	Chlebowicz, A. and Taoudi, M.A. (2017) Measures of Weak Noncompactness and Fixed Points. In: Banaś, J., et al., Eds., Advances in Nonlinear Analysis via the Concept of Measure of Noncompactness, Springer, Berlin, 247-296. https://doi.org/10.1007/978-981-10-3722-1_6
[27]	Arab, R. (2017) Some Generalizations of Darbo Fixed Point Theorem and Its Application. Miskolc Mathematical Notes, 18, 595-610. https://doi.org/10.18514/MMN.2017.1202
[28]	Jakubowski, J. and Wiśniewolski, M. (2021) Explicit Solutions of Volterra Integro-Differential Convolution Equations. Journal of Differential Equations, 292, 416-426. https://doi.org/10.1016/j.jde.2021.05.023
[29]	Šikić (1991) Riemann Integral vs. Lebesgue Integral. Real Analysis Exchange, 17, 622-632. https://doi.org/10.2307/44153755
[30]	Banaś, J. and Knap, Z. (1990) Measures of Weak Noncompactness and Nonlinear Integral Equations of Convolution Type. Journal of Mathematical Analysis and Applications, 146, 353-362. https://doi.org/10.1016/0022-247X(90)90307-2