Next Article in Journal
The Application of the Bidiagonal Factorization of Totally Positive Matrices in Numerical Linear Algebra
Next Article in Special Issue
Editorial Conclusion for the Special Issue “New Theory and Applications of Nonlinear Analysis, Fractional Calculus and Optimization”
Previous Article in Journal
Randomness Test of Thinning Parameters for the NBRCINAR(1) Process
Previous Article in Special Issue
New Summation and Integral Representations for 2-Variable (p,q)-Hermite Polynomials
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence of Solutions: Investigating Fredholm Integral Equations via a Fixed-Point Theorem

by
Faruk Özger
1,*,
Merve Temizer Ersoy
2 and
Zeynep Ödemiş Özger
3
1
Department of Computer Engineering, Igdır University, 76000 Igdır, Turkey
2
Faculty of Engineering, Department of Software Engineering, Istanbul Topkapi University, 34662 Istanbul, Turkey
3
Department of Software Engineering, Igdır University, 76000 Igdır, Turkey
*
Author to whom correspondence should be addressed.
Axioms 2024, 13(4), 261; https://doi.org/10.3390/axioms13040261
Submission received: 11 March 2024 / Revised: 11 April 2024 / Accepted: 12 April 2024 / Published: 14 April 2024

Abstract

:
Integral equations, which are defined as “the equation containing an unknown function under the integral sign”, have many applications of real-world problems. The second type of Fredholm integral equations is generally used in radiation transfer theory, kinetic theory of gases, and neutron transfer theory. A special case of these equations, known as the quadratic Chandrasekhar integral equation, given by x ( s ) = 1 + λ x ( s ) 0 1 s t + s x ( t ) d t , can be very often encountered in many applications, where x is the function to be determined, λ is a parameter, and t , s [ 0 , 1 ] . In this paper, using a fixed-point theorem, the existence conditions for the solution of Fredholm integral equations of the form χ ( l ) = ϱ ( l ) + χ ( l ) p q k ( l , z ) ( V χ ) ( z ) d z are investigated in the space C ω p , q , where χ is the unknown function to be determined, V is a given operator, and ϱ , k are two given functions. Moreover, certain important applications demonstrating the applicability of the existence theorem presented in this paper are provided.

1. Introduction

Fredholm integral equations are a class of integral equations named after the Swedish mathematician Erik Ivar Fredholm. These equations are of the form
ϕ ( x ) = f ( x ) + λ a b K ( x , t ) ϕ ( t ) d t ,
where ϕ ( x ) is the unknown function to be determined, f ( x ) is a given function, K ( x , t ) is the kernel function, and λ is a parameter, often referred to as the Fredholm parameter.
Fredholm integral equations arise in various areas of mathematics and physics, including potential theory, signal processing, and quantum mechanics. They represent a wide range of problems where an unknown function is defined in terms of its integral over some interval or domain.
One of the key aspects of Fredholm integral equations is the study of their solvability and properties of their solutions. Depending on the properties of the kernel function K ( x , t ) and the interval of integration, solutions to Fredholm integral equations may exhibit different behaviors, including uniqueness, existence, and convergence properties.
Fredholm integral equations have been extensively studied, and various numerical and analytical methods have been developed to solve them. These methods include—but are not limited to—Fredholm’s alternative, Green’s functions, eigenfunction expansions, and numerical quadrature techniques.
Overall, Fredholm integral equations play a significant role in mathematical analysis and have applications in diverse fields, making them an essential topic of study in both pure and applied mathematics.
Fractional integral and differential equations are becoming increasingly vital for modeling real-world scenarios in physics, mechanics, and related fields. They provide a powerful framework for describing complex phenomena that traditional integer-order calculus struggles to capture adequately.
Quadratic integral equations are a specific class of integral equations where the unknown function appears squared within the integral. They are represented by equations of the form
ϕ ( x ) = f ( x ) + λ a b K ( x , t ) ϕ ( t ) 2 d t .
These equations arise in various fields of science and engineering, particularly in problems where phenomena exhibit quadratic dependencies. Examples include nonlinear wave propagation, population dynamics, and certain types of chemical reaction kinetics.
The study of quadratic integral equations involves investigating the existence, uniqueness, and certain properties of their solutions. Analytical techniques such as iteration methods, Fredholm alternative, and fixed-point theorems are often employed. Numerical methods may also be used for practical solutions.
Understanding quadratic integral equations is crucial for modeling nonlinear phenomena accurately and finding solutions to a wide range of problems in diverse scientific and engineering applications.
Quadratic integral equations, in particular, have significant applications in fields like radiative transfer, neutron transport, and kinetic theory of gases. They arise naturally in these contexts and have been extensively studied for their existence properties and solution behavior.
Recent developments in fractional calculus, including Riemann–Liouville, Caputo, and Hadamard approaches, have further enriched our understanding and application of these equations. Researchers have been exploring various types of quadratic integral equations and extending their study to fractional versions like Urysohn type, Erdélyi–Kober type, and Hadamard types.
The existence, local attractivity, and stability of solutions to these fractional quadratic integral equations are crucial aspects of the research. Additionally, recent works have focused on studying the solvability of quadratic integral equations of Fredholm type in spaces of functions satisfying specific continuity conditions, such as the Hölder condition. These investigations contribute to both theoretical understanding and practical applications of these equations in diverse fields [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25].
Moreover, the mathematical description of many processes in engineering, biological and physical sciences give rise to quadratic integral equations. For instance, research in radiative transfer theory and in kinetic theory of gases leads to the quadratic integral equation (see [15,16]).
x ( t ) = 1 + t x ( t ) 0 1 Φ ( τ ) t + τ x ( τ ) d τ ,
Furthermore, some articles using simulant techniques have been applied to vibrations in thermoelasticity and a micropolar porous body [21,22]. That is, these articles are applied to a micropolar porous body, including voidage time derivative among the independent constitutive variables.
Quadratic integral equations are frequently applicable in neutron transport, radiative transfer and traffic theories and in kinetic theory of gases [16,17,18]. Particularly, the Chandrasekhar-type quadratic integral equation, which is defined as
x ( s ) = 1 + λ x ( s ) 0 1 s t + s x ( t ) d t ,
can be very frequently encountered in many applications [16].
Moreover, certain biology and queuing theory research problems lead to the following nonlinear integral equation [20]:
y ( t ) = f ( t ) + y ( t ) Γ ( α ) 0 t u ( τ , y ( τ ) ) ( t τ ) 1 α d τ , t [ 0 , T ] , α ( 0 , 1 ] .
The aim of current paper is to prove an existence theorem for the nonlinear quadratic integral equation of the following form in the space C ω p , q , where ω is a modulus of continuity (see Section 2):
χ ( l ) = ϱ ( l ) + χ ( l ) p q k ( l , z ) ( V χ ) ( z ) d z ,
where V is a given operator and ϱ , k THE GAP BEFORE k IS REMOVED are two given functions.
By using a sufficient condition for the relative compactness in the space of functions with moduli of continuity and the classical Schauder fixed-point theorem, we derive a new existence result (see Theorem 4).
In Section 2, general definitions and theorems are given. The third section provides the main result of the paper and shows that there is at least one solution of the investigated equation. In the last section, two applications are given to support our main result.

2. Preliminaries

Let us give the notations, definitions and theorems that we will use in the paper.
Definition 1
([8]). A nondecreasing function ω : R + R + is said to be a modulus of continuity if ω 0 = 0 and ω ϵ > 0 for ϵ > 0 .
The space of continuous functions on [ p , q ] with the sup norm
χ = sup { | χ ( l ) | : l [ p , q ] }
is denoted by C [ p , q ] for χ C [ p , q ] . Let p , q , d be a given bounded metric space and C ω p , q be the set of all real functions defined on p , q such that their growths are tempered by the modulus of continuity ω with respect to d. A function χ = χ l is in the set C ω p , q if there exists a constant H > 0 satisfying
| χ ( l ) χ ( m ) | H ω d l , m
for all l , m [ p , q ] . Also, C ω p , q is a linear subspace of C [ p , q ] .
The least possible constant H χ ω for which the inequality (2) is satisfied is given as
H χ ω = sup | χ ( l ) χ ( m ) | ω d l , m : l , m [ p , q ] , l m ,
where χ C ω p , q .
The norm on the space C ω p , q is
χ ω = | χ ( p ) | + sup | χ ( l ) χ ( m ) | ω d l , m : l , m [ p , q ] , l m
for χ C ω p , q . By (3) and (4), we can write
χ ω = | χ ( p ) | + H χ ω .
The space C ω p , q depends on the metric d and continuity modulus ω .
If we take d l , m = l m and ω ε = ε α for 0 < α < 1 , the space C ω p , q becomes the space H α p , q (i.e., Hölder Space). In [8], the authors proved that ( C ω p , q , · ω ) is a Banach space.
Lemma 1
([25]). The following relation is satisfied for each χ C ω p , q :
χ max 1 , ω d i a m p , q χ ω ,
where diam p , q denotes the diameter of the metric space p , q .
Lemma 2
([25]). The following relation is satisfied for each χ C ω p , q . Suppose that ω 2 d l , m L ω 1 d l , m for all l , m p , q , where L > 0 . Then
C ω 2 p , q C ω 1 p , q C p , q .
Furthermore, the following expression is satisfied for any χ C ω 2 p , q :
χ ω 1 max 1 , L χ ω 2 .
Remark 1
([25]). Let lim ε 0 ω 2 ε ω 1 ε = 0 then, there exists a number M > 0 satisfying
ω 2 d l , m M ω 1 d l , m
for all l , m p , q and so imbedding relations in Lemma 2 and the inequality
χ ω 1 max 1 , M χ ω 2 .
also hold for any χ C ω 2 p , q .
Theorem 1
(Theorem 5 in [8]). Let X , d be a compact metric space and
lim ε 0 ω 2 ε ω 1 ε = 0 ,
where ω 1 , ω 2 are moduli of continuity being continuous at zero. Then, if A is a bounded subset of the space C ω 2 X , the set A is relatively compact in the space C ω 1 X .
Theorem 2
([25]). Let lim ε 0 ω 2 ε ω 1 ε = 0 . Then the set B r ω 2 C ω 1 p , q given by B r ω 2 = χ C ω 2 p , q : χ ω 2 r is compact.
Theorem 3
(Schauder’s fixed-point theorem [23]). Let T : Ω Ω be a continuous mapping, where Ω is a nonempty, compact and convex subset of a Banach space ( X , · ) , then T has at least one fixed point in Ω.

3. Existence Theorem

In this part, we provide sufficient conditions that guarantee the Equation (1) has at least one solution in C ω 1 p , q .
Let p , q , d be a compact metric space and
lim ε 0 ω 2 ε ω 1 ε = 0 ,
where ω 1 , ω 2 are moduli of continuity being continuous at zero. We use the hypotheses presented below:
(i) 
ϱ C ω 2 p , q ,
(ii) 
The continuous function k : [ p , q ] × [ p , q ] R satisfies the tempered by the modulus of continuity with respect to the first variable, that is, there exists a constant k ω 2 such that
| k ( l , z ) k ( m , z ) | k ω 2 ω 2 d l , m
for any l , m , z [ p , q ] .
(iii) 
Let V : C ω 2 p , q C p , q be a continuous operator on C ω 2 p , q with respect to norm . ω 1 and f : R + R + be a non-decreasing function, the following inequality is satisfied for each χ C ω 2 p , q :
V χ f ( χ ω 2 ) .
(iv) 
There exists a positive solution r = r 0 of the inequality
P ¯ + η 2 K + K + η 2 k ω 2 q p f r r r ,
where P ¯ , K and η 2 are the constants such that ϱ ω 2 P ¯ ,
sup p q | k ( l , z ) | d z : l [ p , q ] K
and
η 2 = max 1 , ω 2 diam p , q .
Theorem 4.
The Equation (1) has at least one solution belonging to the space C ω 1 p , q under the assumptions (i)–(iv).
Proof. 
We set the operator Λ C ω 2 p , q as follows:
( Λ χ ) ( l ) = ϱ ( l ) + χ ( l ) p q k ( l , z ) ( V χ ) ( z ) d z , l [ p , q ] .
We first show that Λ transforms the space C ω 2 [ p , q ] into itself. For arbitrarily fixed χ C ω 2 p , q and l , m [ p , q ] , taking into account the assumptions, we obtain that
( Λ χ ) ( l ) ( Λ χ ) ( m ) = ϱ ( l ) + χ ( l ) p q k ( l , z ) ( V χ ) ( z ) d z ϱ ( m ) χ ( m ) p q k ( m , z ) ( V χ ) ( z ) d z = ϱ ( l ) ϱ ( m ) + χ ( l ) χ ( m ) p q k ( l , z ) ( V χ ) ( z ) d z + χ ( m ) p q k ( l , z ) k ( m , z ) ( V χ ) ( z ) d z
which implies that
( Λ χ ) ( l ) ( Λ χ ) ( m ) ω 2 d l , m ϱ ( l ) ϱ ( m ) ω 2 d l , m + χ ( l ) χ ( m ) ω 2 d l , m p q k ( l , z ) ( V χ ) ( z ) d z + χ ( m ) p q k ( l , z ) k ( m , z ) ω 2 d l , m ( V χ ) ( z ) d z ϱ ( l ) ϱ ( m ) ω 2 d l , m + χ ( l ) χ ( m ) ω 2 d l , m V χ p q k ( l , z ) d z + χ V χ p q k ω 2 ω 2 d l , m ω 2 d l , m d z H ϱ ω 2 + H χ ω 2 V χ K + χ V χ k ω 2 q p
for all l , m [ p , q ] and l m . By using the fact that H χ ω χ ω and Lemma 1, we infer from (5) that
( Λ χ ) ( l ) ( Λ χ ) ( m ) ω 2 d l , m H ϱ ω 2 + V χ χ ω 2 K + η 2 V χ χ ω 2 k ω 2 q p H ϱ ω 2 + f χ ω 2 χ ω 2 K + f χ ω 2 η 2 χ ω 2 k ω 2 q p ,
where
η 2 = max 1 , ω 2 diam p , q .
From (6), we have Λ χ C ω 2 p , q . This proves that the operator Λ maps the space C ω 2 [ p , q ] into itself.
Also, we derive that
Λ χ p = ϱ ( p ) + χ ( p ) p q k ( p , z ) ( V χ ) ( z ) d z ϱ ( p ) + χ ( p ) p q k ( p , z ) ( V χ ) ( z ) d z ϱ ( p ) + χ V χ K ϱ p + max 1 , ω 2 diam p , q χ ω 2 V χ K ϱ ( p ) + η 2 χ ω 2 f χ ω 2 K .
By using definition of the norm Λ χ ω 2 , (6) and (7), we can write
Λ χ ω 2 = Λ χ p + sup ( Λ χ ) ( l ) ( Λ χ ) ( m ) ω 2 d l , m : l , m p , q , l m ϱ p + f χ ω 2 η 2 χ ω 2 K + H ϱ ω 2 + f χ ω 2 χ ω 2 K + f χ ω 2 η 2 χ ω 2 k ω 2 q p ϱ ω 2 + η 2 K + K + η 2 k ω 2 q p f χ ω 2 χ ω 2
for any χ C ω 2 p , q . So, if we take χ in B r 0 ω 2 then by (8) and the assumption (iv) we get the following inequality:
Λ χ ω 2 P ¯ + η 2 K + K + η 2 k ω 2 q p f r 0 r 0 r 0 .
So Λ χ B r 0 ω 2 . Thus, Λ transforms the ball
B r 0 ω 2 = { χ C ω 2 p , q : χ ω 2 r 0 }
into itself. That is, Λ : B r 0 ω 2 B r 0 ω 2 . Next, we will show that the operator Λ is continuous on B r 0 ω 2 with respect to norm · ω 1 . To carry this out, we fix ψ B r 0 ω 2 and an arbitrary ε > 0 . Since the operator V : C ω 2 p , q C p , q is continuous on C ω 2 p , q with respect to norm . ω 1 , there is a positive number δ such that the estimate
V χ V ψ < ε 2 K L + L ( q p ) η 2 k ω 2 + K η 2 r 0
is satisfied for all χ B r 0 ω 2 , where χ ψ ω 1 < δ , where δ is a number satisfying the following inequality:
0 < δ < ε 2 K + η 1 L ( q p ) k ω 2 + K η 1 f ( r 0 ) ,
where
max 1 , ω 1 diam p , q = η 1 .
By using the equality
( Λ χ ) ( l ) ( Λ ψ ) ( l ) ( ( Λ χ ) ( m ) ( Λ ψ ) ( m ) ) = χ ( l ) p q k ( l , z ) ( V χ ) ( z ) d z ψ ( l ) p q k ( l , z ) ( V ψ ) ( z ) d z χ ( m ) p q k ( m , z ) ( V χ ) ( z ) d z + ψ ( m ) p q k ( m , z ) ( V ψ ) ( z ) d z = χ ( l ) ψ ( l ) p q k ( l , z ) ( V χ ) ( z ) d z + ψ ( l ) p q k ( l , z ) ( V χ ) ( z ) ( V ψ ) ( z ) d z χ ( m ) ψ ( m ) p q k ( m , z ) ( V χ ) ( z ) d z ψ ( m ) p q k ( m , z ) ( V χ ) ( z ) ( V ψ ) ( z ) d z = χ ( l ) ψ ( l ) χ ( m ) ψ ( m ) p q k ( l , z ) ( V χ ) ( z ) d z + χ ( m ) ψ ( m ) p q k ( l , z ) k ( m , z ) ( V χ ) ( z ) d z + ψ ( l ) ψ ( m ) p q k ( l , z ) ( V χ ) ( z ) ( V ψ ) ( z ) d z + ψ ( m ) p q k ( l , z ) k ( m , z ) ( V χ ) ( z ) ( V ψ ) ( z ) d z ,
we obtain that
( Λ χ ) ( l ) ( Λ ψ ) ( l ) ( Λ χ ) ( m ) ( Λ ψ ) ( m ) ω 1 d l , m 1 ω 1 d l , m χ ( l ) ψ ( l ) χ ( m ) ψ ( m ) p q k ( l , z ) ( V χ ) ( z ) d z + 1 ω 1 d l , m χ ( m ) ψ ( m ) p q k ( l , z ) k ( m , z ) ( V χ ) ( z ) d z + 1 ω 1 d l , m ψ ( l ) ψ ( m ) p q k ( l , z ) ( V χ ) ( z ) ( V ψ ) ( z ) d z + 1 ω 1 d l , m ψ ( m ) p q k ( l , z ) k ( m , z ) ( V χ ) ( z ) ( V ψ ) ( z ) d z
which yields that
( Λ χ ) ( l ) ( Λ ψ ) ( l ) ( Λ χ ) ( m ) ( Λ ψ ) ( m ) ω 1 d l , m χ ( l ) ψ ( l ) χ ( m ) ψ ( m ) ω 1 d l , m V χ p q k ( l , z ) d z + χ ψ V χ p q k ( l , z ) k ( m , z ) ω 1 d l , m d z + ψ ( l ) ψ ( m ) ω 1 d l , m p q k ( l , z ) ( V χ ) ( z ) ( V ψ ) ( z ) d z + ψ ( m ) p q k ( l , z ) k ( m , z ) ω 1 d l , m ( V χ ) ( z ) ( V ψ ) ( z ) d z H χ ψ ω 1 V χ K + η 1 χ ψ ω 1 V χ p q k ( l , z ) k ( m , z ) ω 1 d l , m d z + ψ ( l ) ψ ( m ) ω 1 d l , m p q k ( l , z ) ( V χ ) ( z ) ( V ψ ) ( z ) d z + ψ ( m ) p q k ( l , z ) k ( m , z ) ω 1 d l , m ( V χ ) ( z ) ( V ψ ) ( z ) d z
for all l , m [ p , q ] with l m . The estimates
χ max 1 , ω 2 diam p , q χ ω 2
and
H χ ω χ ω
hold from Lemma 1 and definition of the norm χ ω . By (9), we derive the following estimate:
( Λ χ ) ( l ) ( Λ ψ ) ( l ) ( Λ χ ) ( m ) ( Λ ψ ) ( m ) ω 1 d l , m K V χ H χ ψ ω 1 + η 1 χ ψ ω 1 V χ p q k ω 2 ω 2 d l , m ω 1 d l , m d z + ψ ( l ) ψ ( m ) ω 2 d l , m ω 2 d l , m ω 1 d l , m p q k ( l , z ) ( V χ ) ( z ) ( V ψ ) ( z ) d z + ψ ( m ) p q k ω 2 ω 2 d l , m ω 1 d l , m ( V χ ) ( z ) ( V ψ ) ( z ) d z K V χ χ ψ ω 1 + η 1 L q p k ω 2 V χ χ ψ ω 1 + K L H ψ ω 2 V χ V ψ + L q p k ω 2 ψ V χ V ψ ,
Then, by the assumption ( i i i ) , Lemma 1 and (10), we obtain the following inequality:
( Λ χ ) ( l ) ( Λ ψ ) ( l ) ( Λ χ ) ( m ) ( Λ ψ ) ( m ) ω 1 d l , m K f χ ω 2 χ ψ ω 1 + η 1 L q p k ω 2 f χ ω 2 χ ψ ω 1 + K L ψ ω 2 V χ V ψ + L q p η 2 k ω 2 ψ ω 2 V χ V ψ K f r 0 δ + η 1 L q p k ω 2 f r 0 δ + K L r 0 V χ V ψ + L q p η 2 k ω 2 r 0 V χ V ψ .
On the other hand,
Λ χ p Λ ψ p = χ p p q k ( p , z ) ( V χ ) ( z ) d z ψ p p q k ( p , z ) ( V ψ ) ( z ) d z = χ p p q k ( p , z ) ( V χ ) ( z ) ( V ψ ) ( z ) d z + χ p ψ p p q k ( p , z ) ( V ψ ) ( z ) d z
and hence
Λ χ p Λ ψ p χ p p q k ( p , z ) ( V χ ) ( z ) ( V ψ ) ( z ) d z + χ p ψ ( p ) p q k ( p , z ) ( V ψ ) ( z ) d z K χ V χ V ψ + K V ψ χ ψ K χ ω 2 η 2 V χ V ψ + K V ψ η 1 χ ψ ω 1 K η 2 χ ω 2 V χ V ψ + K η 1 f ( ψ ω 2 ) χ ψ ω 1 K η 2 r 0 V χ V ψ + K η 1 f ( r 0 ) δ .
From (11) and (12), it follows that
Λ χ Λ ψ ω 1 = Λ χ p Λ ψ p + H Λ χ Λ ψ ω 1 = Λ χ p Λ ψ p + sup Λ χ ( l ) Λ ψ ( l ) Λ χ ( m ) Λ ψ ( m ) ω 1 d l , m : l , m p , q , l m K + η 1 L ( q p ) k ω 2 + K η 1 f ( r 0 ) δ + K L + L ( q p ) η 2 k ω 2 + K η 2 r 0 V χ V ψ < ε 2 + ε 2 = ε .
Therefore, the operator Λ is continuous at the point χ B r 0 ω 2 . We conclude that Λ is continuous on B r 0 ω 2 with respect to the norm · ω 1 . By Theorem 2, B r 0 ω 2 is compact in C ω 1 p , q and through Schauder fixed-point theorem proof is completed. □

4. Applications

In this section, we employed the regularization method combined with some of the proper well-known techniques to handle the Fredholm integral equations. Our approach has demonstrated reliability in tackling these challenging problems. To further illustrate the effectiveness of our method, we present two numerical applications that corroborate our fundamental theorem. Through these applications, we aim to reinforce our findings and foster a deeper, more abstract comprehension of the topic.
Application 1.
Let n and n ^ be two non-negative constants and l [ 0 , 1 ] . Consider the integral equation given below:
χ ( l ) = n sin ( π l ) + n ^ 3 + χ ( l ) 0 1 5 l 2 + z 5 | χ ( z ) | d z .
Also, define the operator V as V χ z = | χ ( z ) | for all l , z [ 0 , 1 ] and set ϱ ( l ) = n sin ( π l ) + n ^ 3 , k ( l , z ) = 5 l 2 + z 5 .
Additionally we choose ω 2 ε = ε 1 3 , ω 1 ε = ε α such that 0 < α < 1 / 3 and d l , m = l m . Since the function h l = l 3 is concave for h : R + R + , this function is subadditive from Lemma 4.4 in [24]. Moreover, if we take into account sin χ sin ψ χ ψ for χ , ψ R , we have
| ϱ ( l ) ϱ ( m ) | = n sin π l + n ^ 3 n sin π m + n ^ 3 n sin π l sin π m 3 n π 3 l m 1 3 .
Thus,
ϱ ω 2 = ϱ 0 + sup ϱ ( l ) ϱ ( m ) ω 2 d l , m : l , m 0 , 1 , l m = n ^ 3 + sup ϱ ( l ) ϱ ( m ) l m 1 3 : l , m 0 , 1 , l m n ^ 3 + sup n π 3 l m 1 3 l m 1 3 : l , m 0 , 1 , l m n ^ 3 + n π 3 = P ¯
which means that the condition ( i ) of Theorem 4 is fulfilled.
Further, we have
| k ( l , z ) k ( m , z ) | = 5 l 2 + z 5 5 m 2 + z 5 5 l 2 5 m 2 5 10 5 l m 1 5
for all l , m 0 , 1 . The condition ( i i ) of Theorem 4 holds with k ω 2 = 10 5 , d ( l , m ) = | l m | and ω 2 d ( l , m ) = | l m | 1 / 5 .
Since
sup 0 1 | k ( l , z ) | d z : l [ 0 , 1 ] = sup 0 1 5 l 2 + z 5 d z : l [ 0 , 1 ] = 5 6 ( 5 l 2 + z ) 6 / 5 | 0 1 5 6 ( 6 6 5 5 5 5 ) ,
the constant K can be taken as K = 5 6 ( 6 6 5 5 5 5 ) .
Since
η 2 = max 1 , ω 2 diam 0 , 1 = max 1 , 1 1 5 = 1 ,
we have
| ( V χ ) ( z ) | = | χ ( z ) | χ η 2 χ ω 2 = χ ω 2
for all χ C ω 2 [ 0 , 1 ] and z [ 0 , 1 ] . (14) yields that
V χ χ ω 2
for all χ C ω 2 [ 0 , 1 ] . Therefore, V is an operator from C ω 2 [ 0 , 1 ] into C 0 , 1 and we can choose the function f : R + R + as f χ = χ . This function is non-decreasing and verifies the assumption ( i i i ) .
Now, we prove that V is continuous on C ω 2 0 , 1 with . ω 1 . Let ψ C ω 2 0 , 1 and ε > 0 . Also, let χ C ω 2 0 , 1 be an arbitrary function satisfying χ ψ ω 1 < δ such that 0 < δ ε 2 .
The inequality
| ( V χ ) ( z ) ( V ψ ) ( z ) | = | χ ( z ) ψ ( z ) | χ ψ η 1 χ ψ ω 1
holds for all χ , ψ C ω 2 [ 0 , 1 ] and z [ 0 , 1 ] . Since
η 1 = max 1 , ω 1 diam 0 , 1 = max 1 , 1 α = 1 ,
we have
V χ V ψ χ ψ ω 1
for all χ , ψ C ω 2 [ 0 , 1 ] .
Hence, V is continuous at the point ψ C ω 2 0 , 1 with . ω 1 since ψ is arbitrarily selected.
P ¯ + η 2 K + K + η 2 k ω 2 q p f r r r
is equivalent to
n ^ 3 + n π 3 + 5 3 6 6 5 5 5 5 + 10 5 1 0 r r r .
If we take the constants n and n ^ as suitable, then there exists a positive number r 0 satisfying (15). For instance, if we select n = 0 and n ^ = 0 , then (15) holds for r = r 0 ( 0 , 0.0517272 ] .
Therefore, we show the existence of the solution for Equation (13) in the space C ω 1 0 , 1 via Theorem 4.
Application 2.
Consider the following quadratic integral equation:
χ ( l ) = 1 100 arctan ( l 1 ) + χ ( l ) 1 e ln l + ln z 3 z sin χ ( z ) d z ,
where l , z [ 1 , e ] .
Set ϱ ( l ) = 1 100 arctan ( l 1 ) , k ( l , z ) = ln l + ln z 3 z , V χ z = sin χ z and ω 2 ε = ε 1 3 , ω 1 ε = ε α for 0 < α < 1 / 3 , d l , m = ln l ln m .
Since the function h : R + R + defined by h ( χ ) = χ is concave and h ( 0 ) = 0 , this function is subadditive from Remark 4.5 in [24] ref IS CHANGED AS cite. If we consider arctan χ arctan ψ χ ψ for χ , ψ R , we can write
| ϱ ( l ) ϱ ( m ) | = 1 100 arctan ( l 1 ) 1 100 arctan ( m 1 ) 1 100 arctan ( l 1 ) arctan ( m 1 ) 1 100 l m
for all l , m [ 1 , e ] .
Let l < m , so there is ξ ( l , m ) satisfying
ln l ln m = 1 ξ l m
which yields that
ln l ln m 1 e l m
and hence
1 ln l ln m 1 3 e 3 l m 1 3
for all l , m [ 1 , e ] and l m .
Since
ϱ ω 2 = ϱ 1 + sup ϱ ( l ) ϱ ( m ) ω 2 d l , m : l , m 1 , e , l m = sup ϱ ( l ) ϱ ( m ) ln l ln m 1 3 : l , m 1 , e , l m e 3 100 sup l m 1 6 : l , m 1 , e , l m 1 50 = P ¯ ,
assumption (i) of Theorem 4 is satisfied.
Further, we have
| k ( l , z ) k ( m , z ) | = 1 z ln l + ln z 3 ln m + ln z 3 1 z ln l ln m 3 ln l ln m 1 3 = ω 2 d l , m
for all l , m , z 1 , e . Condition (ii) of Theorem 4 holds with the constant k ω 2 = 1 .
Also,
sup 1 e | k ( l , z ) | d z : l [ 1 , e ] = sup 1 e ln l + ln z 3 z d z : l [ 1 , e ] 1 e 1 + ln z 3 z d z = 3 4 16 3 1 .
So the constant K can be taken as 3 4 16 3 1 .
Since
η 2 = max 1 , ω 2 diam 1 , e = max 1 , ( ln e ln 1 ) 1 3 = 1 ,
the estimate
( V χ ) ( z ) = sin χ ( z ) χ ( z ) χ η 2 χ ω 2 = χ ω 2
holds for all χ C ω 2 1 , e and z [ 1 , e ] , and hence
V χ = sup z [ 0 , 1 ] ( V χ ) ( z ) χ ω 2 .
Therefore, V is an operator from C ω 2 1 , e into C 1 , e , and we can take the function f : R + R + as f χ = χ . It is obvious that the function f is non-decreasing and satisfies assumption (iv).
Now, we show that the operator V is continuous on C ω 2 1 , e with . ω 1 . Let ψ C ω 2 1 , e be arbitrarily selected, ε > 0 and χ C ω 2 1 , e be an arbitrary function, and inequality χ ψ ω 1 < δ be satisfied such that 0 < δ ε .
Then, for arbitrary l , m 1 , e , we obtain
sin χ ( z ) sin ψ ( z ) χ ( z ) ψ ( z ) χ ψ η 1 χ ψ ω 1 = χ ψ ω 1 ,
where
η 1 = max 1 , ω 1 diam 1 , e = max 1 , ( ln e ln 1 ) α = 1 .
Thus,
V χ V ψ = sup z [ 0 , 1 ] sin χ ( z ) sin ψ ( z ) χ ψ ω 1
which implies
V χ V ψ < δ ε
is satisfied for all χ C ω 2 1 , e . This proves that the operator V is continuous at the point ψ C ω 2 1 , e , and it is continuous on C ω 2 1 , e with . ω 1 because ψ is arbitrarily selected.
Hypothesis (iv) of Theorem 4
P ¯ + η 2 K + K + η 2 k ω 2 q p f r r r
is equivalent to
1 50 + 3 2 16 3 1 + e 1 r 2 r .
The number r 0 chosen as r 0 [ 0.0219212 , 0.228201 ] satisfies inequality (17).
Therefore, we show the existence of solution for Equation (16) in the space C ω 1 1 , e via Theorem 4.

5. Conclusions

In this paper, using a fixed-point theorem, the existence conditions for the solution of Fredholm integral equations of the form
χ ( l ) = ϱ ( l ) + χ ( l ) p q k ( l , z ) ( V χ ) ( z ) d z
are investigated in the space C ω p , q . The main theorem is based on a useful technique. It is clear that this theorem is more general than many equations considered so far. By using a sufficient condition for the relative compactness in the space of functions with tempered moduli of continuity (see Theorem 2) and the classical Schauder fixed-point theorem, we derive a new existence result (see Theorem 4). Fredholm integral equations are used in various scientific and engineering disciplines to model phenomena like heat transfer, population dynamics, and signal processing. The established results in this paper could be applied to problems in these fields where existence of solutions is crucial for model validity. The existence theorems provide a theoretical foundation for developing numerical methods to solve Fredholm integral equations. By guaranteeing the existence of a solution, these results can help guide the development of more robust and efficient numerical algorithms.

Author Contributions

Methodology and writing—original draft preparation: F.Ö., M.T.E. and Z.Ö.Ö. All authors have read and agreed to the published version of the manuscript.

Funding

The authors did not receive support from any organization for the submitted work.

Data Availability Statement

All data generated or analyzed during this study are included in this published article.

Conflicts of Interest

All authors certify that they have no affiliations with or involvement in any organization or entity with any financial interest or non-financial interest in the subject matter or materials discussed in this manuscript.

References

  1. Baleanu, D.; Machado, J.A.T.; Luo, A.C.-J. Fractional Dynamics and Control; Springer: Berlin/Heidelberg, Germany, 2012. [Google Scholar]
  2. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; North-Holland Mathematics Studies; Elsevier Science B. V.: Amsterdam, The Netherland, 2006; Volume 204. [Google Scholar]
  3. Lakshmikantham, V.; Leela, S.; Devi, J.V. Theory of Fractional Dynamic Systems; Cambridge Scientific Publishers: Cambridge, UK, 2009. [Google Scholar]
  4. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Differential Equations; John Wiley: New York, NY, USA, 1993. [Google Scholar]
  5. Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
  6. Tarasov, V.E. Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media; HEP; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  7. Srivastava, H.M.; Deep, A.; Abbas, S.; Hazarika, B. Solvability for a class of generalized functional-integral equations by means of Petryshyn’s fixed point theorem. J. Nonlinear Convex Anal. 2021, 22, 2715–2737. [Google Scholar]
  8. Banaś, J.; Nalepa, R. On the space of functions with growths tempered by a modulus of continuity and its applications. J. Funct. Spaces Appl. 2013, 2013, 820437. [Google Scholar] [CrossRef]
  9. O’Regan, D. Existence theory for nonlinear Volterra integrodifferential and integral equations. Nonlinear Anal. 1998, 31, 317–341. [Google Scholar]
  10. Banaś, J.; Rzepka, B. On existence and asymptotic stability of solutions of a nonlinear integral equation. J. Math. Anal. Appl. 2003, 284, 165–173. [Google Scholar] [CrossRef]
  11. Argyros, I.K. Quadratic equations and applications to Chandrasekhars and related equations. Bull. Austral. Math. Soc. 1985, 32, 275–292. [Google Scholar] [CrossRef]
  12. Freed, A.D.; Diethelm, K.; Luchko, Y. Fractional-Order Viscoelasticity (FOV): Constitutive Developments Using the Fractional Calculus: First Annual Report; Technical Memorandum, TM-2002-211914; NASA Glenn Research Center: Cleveland, OH, USA, 2002. [Google Scholar]
  13. Agarwal, R.P.; O’Regan, D. Infinite Interval Problems for Differential, Difference and Integral Equations; Kluwer Academic Publishers: Dordrecht, The Netherlands, 2001. [Google Scholar]
  14. Agarwal, R.P.; O’Regan, D.; Wong, P.J.Y. Positive Solutions of Differential, Difference and Integral Equations; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1991. [Google Scholar]
  15. Chandrasekhar, S. Radiative Transfer; Oxford University Press: London, UK, 1950. [Google Scholar]
  16. Hu, S.; Khavani, M.; Zhuang, W. Integral equations arising in the kinetic theory of gases. J. Appl. Anal. 1989, 34, 261–266. [Google Scholar] [CrossRef]
  17. Kelly, C.T. Approximation of solutions of some quadratic integral equations in transport theory. J. Int. Eq. 1982, 4, 221–237. [Google Scholar]
  18. Argyros, I.K. On a class of quadratic integral equations with perturbation. Funct. Approx. Comment. Math. 1992, 20, 51–63. [Google Scholar]
  19. Okrasinska-Plociniczak, H.; Plociniczak, L.; Rocha, J.; Sadarangani, K. Solvability in Hölder spaces of an integral equation which models dynamics of the capillary rise. J. Math. Anal. Appl. 2020, 490, 124237. [Google Scholar] [CrossRef]
  20. Deimling, K. Nonlinear Functional Analysis; Springer: Berlin, Germany, 1985. [Google Scholar]
  21. Marin, M. An approach of a heat-flux dependent theory for micropolar porous media. Meccanica 2016, 51, 1127–1133. [Google Scholar] [CrossRef]
  22. Marin, M. Some estimates on vibrations in thermoelasticity of dipolar bodies. J. Vib. Control 2010, 16, 33–47. [Google Scholar] [CrossRef]
  23. Toledano, J.M.A.; Benavides, T.D.; Acedo, G.L. Measures of Noncompactness in Metric Fixed Point Theory; Birkhauser: Basel, Switzerland, 1997. [Google Scholar]
  24. Caballero, J.; Abdalla Darwish, M.; Sadarangani, K. Solvability of a quadratic integral equation of Fredholm type in Hölder spaces. Electron. J. Differ. Equ. 2014, 2014, 1–10. [Google Scholar] [CrossRef]
  25. Peng, S.; Wang, J.; Chen, F. A Quadratic integral equations in the space of functions with tempered moduli of continuity. J. Appl. Math. Inform. 2015, 33, 351–363. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Özger, F.; Temizer Ersoy, M.; Ödemiş Özger, Z. Existence of Solutions: Investigating Fredholm Integral Equations via a Fixed-Point Theorem. Axioms 2024, 13, 261. https://doi.org/10.3390/axioms13040261

AMA Style

Özger F, Temizer Ersoy M, Ödemiş Özger Z. Existence of Solutions: Investigating Fredholm Integral Equations via a Fixed-Point Theorem. Axioms. 2024; 13(4):261. https://doi.org/10.3390/axioms13040261

Chicago/Turabian Style

Özger, Faruk, Merve Temizer Ersoy, and Zeynep Ödemiş Özger. 2024. "Existence of Solutions: Investigating Fredholm Integral Equations via a Fixed-Point Theorem" Axioms 13, no. 4: 261. https://doi.org/10.3390/axioms13040261

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop