Next Article in Journal
Recursive Estimation of the Expectile-Based Shortfall in Functional Ergodic Time Series
Next Article in Special Issue
An Efficient Iterative Scheme for Approximating the Fixed Point of a Function Endowed with Condition (Bγ,μ) Applied for Solving Infectious Disease Models
Previous Article in Journal
Numerical Study of the Thermal Energy Storage Container Shape Impact on the NePCM Melting Process
Previous Article in Special Issue
The Continuity and Convexity of a Nonlinear Scalarization Function with Applications in Set Optimization Problems Involving a Partial Order Relation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Applying Theorems on b-Metric Spaces to Differential and Integral Equations Through Connected-Image Contractions

by
Khuanchanok Chaichana
1,2,3,
Kanyuta Poochinapan
1,2,3,
Teeranush Suebcharoen
1,2,3 and
Phakdi Charoensawan
1,2,3,*
1
Advanced Research Center for Computational Simulation, Chiang Mai University, Chiang Mai 50200, Thailand
2
Department of Mathematics, Faculty of Science, Chiang Mai University, Chiang Mai 50200, Thailand
3
Centre of Excellence in Mathematics, MHESI, Bangkok 10400, Thailand
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(24), 3955; https://doi.org/10.3390/math12243955
Submission received: 18 November 2024 / Revised: 12 December 2024 / Accepted: 13 December 2024 / Published: 16 December 2024
(This article belongs to the Special Issue Fixed Point, Optimization, and Applications II)

Abstract

:
This paper introduces a new concept of a connected-image set for a mapping, which extends the notion of edge-preserving properties with respect to mapping. We also present novel definitions of connected-image contractions, with a focus on fixed-point theorems involving auxiliary functions in b-metric spaces. The relationships between these mathematical concepts are explored, along with their applications to solving differential and integral equations. In particular, we discuss existence results for solving integral equations and second-order ordinary differential equations with inhomogeneous Dirichlet boundary conditions, as well as theorems related to contractions of the integral type.

1. Introduction

Differential and integral equations play a vital role in agricultural economics by modeling key processes such as crop growth, resource allocation, and pest control. These equations allow people to study how changes in inputs, such as water, fertilizers, and labor, affect agricultural outcomes like crop yield and profitability. Differential equations provide valuable insights into the dynamics of economic systems, as illustrated in [1,2], enabling predictions about growth trends and resource use. On the other hand, integral equations are crucial for managing resources, assessing soil moisture, and optimizing irrigation practices, as demonstrated in [3,4,5]. The existence of solutions to these equations is often supported by fixed-point theorems, as shown in [6,7,8], ensuring that these models are reliable for practical agricultural applications. These mathematical tools help us understand and improve farming practices, leading to more efficient and sustainable agriculture.
In a general metric space, the distance function satisfies non-negativity, symmetry, and the strict triangle inequality. Banach’s fixed-point theorem in these spaces guarantees the existence of a unique fixed point for contraction mappings on complete metric spaces, forming a critical tool in various mathematical applications. Expanding on this, b-metric spaces, introduced by Czerwik in 1993 [9], generalize the strict triangle inequality by allowing a relaxation factor s 1 , as defined below.
Definition 1 
([9]). Let X be a nonempty set. A function d s : X × X [ 0 , ) is called a b-metric on X if, for all u , v , w X and for some constant s 1 , it satisfies the following conditions:
  • d s ( u , v ) = 0 if and only if u = v ;
  • d s ( u , v ) = d s ( v , u ) ;
  • d s ( u , w ) s [ d s ( u , v ) + d s ( v , w ) ] .
Additionally, the pair ( X , d s ) is known as a b-metric space.
It is important to note that every metric space can be considered a b-metric space with a fixed constant value of s = 1 . Later, in 1998, Czerwik [10] introduced the concept of Cauchy sequences in b-metric spaces, enhancing traditional notions of convergence.
Definition 2 
([10]). Let ( X , d s ) be a b-metric space and { u n } be a sequence in X. For any ε > 0 and n , m N , the following are true:
  • { u n } is Cauchy if and only if there exists N N such that d s ( u n , u m ) < ε for all n , m N .
  • { u n } converges to u X if and only if there exists N N such that d s ( u n , u ) < ε for all n N .
  • ( X , d s ) is complete if and only if every Cauchy sequence converges in X.
To clarify this concept, we present some examples of b-metric spaces below.
Example 1 
([6]). Let X = C [ 0 , L ] , where L > 0 , be the set of all real continuous functions on [ 0 , L ] . The fuction d s : C [ 0 , L ] × C [ 0 , L ] [ 0 , ) is defined by
d s ( u ( t ) , v ( t ) ) = sup 0 t L | u ( t ) v ( t ) | 2 , u ( t ) , v ( t ) C [ 0 , L ] .
Thus, ( C [ 0 , L ] , d s ) is a complete b-metric space with s = 2 .
In 2008, Jachymski [11] significantly advanced the field by introducing fixed-point theorems for metric spaces endowed with a directed graph G . He defined the concept of G -continuity, which facilitates the extension of the well-known Banach contraction principle to spaces with graphs. This generalization allows for the application of contraction mappings in more complex settings, enriching the study of mathematical analysis.
Definition 3 
([11]). Let X be endowed with a directed graph G = V ( G ) , E ( G ) such that the set V ( G ) of its vertices corresponds to X, and the set E ( G ) of its edges contains all loops but no parallel edges. For any x X , a function γ : X X is said to be G -continuous at x if γ x n γ x for each sequence { x n } in X with x n x and ( x n , x n + 1 ) E ( G ) for all n N . In addition, we say that γ is G -continuous if it is G -continuous at every point in X.
Subsequently, in 2023, Suebcharoen et al. [7] studied fixed-point theorems that utilize auxiliary functions in spaces with directed graphs, emphasizing how these functions aid in establishing fixed-point results within complex structures. Their research was inspired by earlier studies, particularly the work of Karapınar et al. [12], which demonstrated the effectiveness of auxiliary functions in fixed-point theorems for fractional differential equations. Together, these contributions highlight the significant role of auxiliary functions in the advancement of fixed-point theory, motivating us to modify and apply these concepts to b-metric spaces.
This paper is organized as follows: Section 2 introduces the concepts of connected-image set contractions, and examines the existence of fixed points for auxiliary functions. Section 3 demonstrates how these concepts can be applied to establish the existence of solutions for differential and integral equations. Finally, this work aims to provide a clear understanding of these topics and their practical use.

2. Main Results

We start this section by defining key concepts related to connected-image contractions.
Definition 4. 
Let ( X , d s ) be a b-metric space endowed with a directed graph G , and let γ : X X be a function. The connected-image set is defined as
D ( γ ) : = { u X : ( u , γ u ) E ( G ) } ,
with the following properties:
  • If u D ( γ ) , then γ u D ( γ ) for all u X ,
  • If ( u , v ) E ( G ) and v D ( γ ) , then ( u , γ v ) E ( G ) for all u , v X .
Additionally, we define the fixed-point set of γ as
F ( γ ) : = { u X : γ u = u } ,
which contains all fixed points of γ.
Remark 1. 
Let X be endowed with a directed graph G = ( V ( G ) , E ( G ) ) , and let γ be a self-mapping on X. If the edge set E ( G ) is transitive edge-preserving with respect to γ, then D ( γ ) is a connected-image set.
The next example will demonstrate that D ( γ ) is a connected-image set, while E ( G ) is not transitive edge-preserving with respect to γ .
Example 2. 
Let X = { 0 , 1 , 2 , 3 } be endowed with a directed graph G = V ( G ) , where γ is a self-mapping defined as follows:
γ 0 = 0 , γ 1 = 2 , γ 2 = 1 , γ 3 = 3 .
The edge set E ( G ) is given by:
E ( G ) = { ( 0 , 1 ) , ( 0 , 2 ) , ( 1 , 1 ) , ( 2 , 2 ) , ( 1 , 2 ) , ( 2 , 1 ) , ( 1 , 3 ) , ( 2 , 3 ) } .
Since ( 1 , γ 1 ) = ( 1 , 2 ) and ( 2 , γ 2 ) = ( 2 , 1 ) are both in E ( G ) , it follows that 1 , 2 D ( γ ) . Consequently, we also have ( γ 1 , γ 2 1 ) = ( 2 , 1 ) and ( γ 2 , γ 2 2 ) = ( 1 , 2 ) in E ( G ) , which implies that γ 1 , γ 2 D ( γ ) . Additionally, since ( 0 , 1 ) , ( 0 , 2 ) , ( 1 , 1 ) , ( 1 , 2 ) , ( 2 , 1 ) , ( 2 , 2 ) E ( G ) and 1 , 2 D ( γ ) , we can conclude that ( 0 , γ 1 ) , ( 0 , γ 2 ) , ( 1 , γ 1 ) , ( 1 , γ 2 ) , ( 2 , γ 1 ) , ( 2 , γ 2 ) E ( G ) . Therefore, D ( γ ) is a connected-image set. However, while ( 0 , 1 ) , ( 1 , 3 ) E ( G ) , the pair ( 0 , 3 ) E ( G ) . This indicates that E ( G ) ) is not transitive edge-preserving with respect to γ.
Let ( X , d s , γ , G ) represent a structure with the following properties throughout this work:
  • X , and ( X , d s ) is a b-metric space;
  • X is endowed with a directed graph G = ( V ( G ) , E ( G ) ) ;
  • γ is a self-mapping.
Definition 5. 
On ( X , d s , γ , G ) , the sequence { x n } is called a G γ -sequence if it satisfies the following conditions:
(S1)
x n = γ x n 1 = γ n x 0 ;
(S2)
( x m , x n ) E ( G ) for all n m 0 .
Lemma 1. 
On ( X , d s , γ , G ) , if D ( γ ) is a nonempty connected-image set, then there exists a G γ -sequence.
Proof. 
Assume that D ( γ ) . There exists an element x 0 X such that ( x 0 , γ x 0 ) E ( G ) . We define a sequence { x n } in X as
x n = γ x n 1 = γ n x 0
for all n 1 . It follows from the initial condition that ( x 0 , x 1 ) = ( x 0 , γ x 0 ) E ( G ) . According to the definition of D ( γ ) , we can conclude that ( x n , x n + 1 ) = ( γ n x 0 , γ n + 1 x 0 ) E ( G ) for all n 0 . Moreover, since ( x n + 1 , γ x n + 1 ) E ( G ) , we can assert that ( x n , x n + 2 ) E ( G ) . By repeating this reasoning, we deduce that
( x m , x n ) E ( G )
for all n m 0 .  □
Next, we introduce the class A ( X ) as the collection of all auxiliary functions h : X × X [ 0 , 1 s ] that satisfy the condition
if lim n h ( x n , y n ) = 1 s , then lim n d s ( x n , y n ) = 0
for every pair of sequences { x n } and { y n } in X such that the sequence { d s ( x n , y n ) } is decreasing, where ( X , d s ) is a b-metric space with s 1 .
Example 3. 
Consider the function h : R × R [ 0 , 1 s ] with s 1 , defined for all x , y R as
h ( x , y ) = e d s ( x , y ) s .
It follows that h A ( X ) .
Let ψ : [ 0 , ) [ 0 , ) be a function that satisfies the following properties:
  • ψ is an increasing and continuous function;
  • ψ ( t ) = 0 if and only if t = 0 ;
  • For any constant C > 0 , ψ ( C t ) = C ψ ( t ) for all t 0 .
We will refer to the collection of all functions ψ that meet these criteria as Ψ . Now, we are ready to present the connected-image contractions of types R and M.
Definition 6. 
On ( X , d s , γ , G ) , a mapping γ is said to be a connected-image contraction of type R if for each x , y X , the following hold:
  • D ( γ ) is a connected-image set;
  • There exists h A ( X ) and ψ Ψ such that ( x , y ) E ( G ) and
    ψ ( d s ( γ x , γ y ) ) h ( x , y ) ψ ( R ( x , y ) ) ,
    where R : X × X [ 0 , ) is defined by
    R ( x , y ) = max { d s ( x , γ x ) d s ( γ y , y ) d s ( x , y ) + | d s ( x , y ) d s ( x , γ x ) | , d s ( x , y ) + | d s ( x , γ x ) d s ( y , γ y ) | , d s ( x , γ x ) + | d s ( x , y ) d s ( y , γ y ) | , d s ( y , γ y ) + | d s ( x , y ) d s ( x , γ x ) | , d s ( x , γ y ) + d s ( y , γ x ) + s | d s ( x , γ x ) d s ( y , γ y ) | 2 s } .
Definition 7. 
On ( X , d s , γ , G ) , a mapping γ is said to be a connected-image contraction of type M if for each x , y X , the following hold:
  • D ( γ ) is a connected-image set;
  • There exists h A ( X ) and ψ Ψ such that ( x , y ) E ( G ) and
    ψ ( d s ( γ x , γ y ) ) h ( x , y ) ψ ( M ( x , y ) ) ,
    where M : X × X [ 0 , ) is defined by
    M ( x , y ) = max { d s ( x , γ x ) [ 1 + d s ( y , γ y ) ] 1 + d s ( x , y ) + | d s ( x , y ) d s ( x , γ x ) | , d s ( y , γ y ) [ 1 + d s ( x , γ x ) ] 1 + d s ( x , y ) + | d s ( x , y ) d s ( x , γ x ) | , d s ( x , y ) + | d s ( x , γ x ) d s ( y , γ y ) | } .
Lemma 2. 
On ( X , d s , γ , G ) , let γ be an a connected-image contraction of type R with D ( γ ) . Then, we obtain a G γ -sequence { x n } such that, if d s ( x n , x n + 1 ) 0 for all n 0 , then lim n d s ( x n , x n + 1 ) = 0 .
Proof. 
According to Lemma 1, we have a G γ -sequence { x n } , and since γ is a connected-image contraction of type R, for each n 0 and s 1 ,
ψ ( d s ( x n + 1 , x n + 2 ) ) = ψ ( d s ( γ x n , γ x n + 1 ) ) h ( x n , x n + 1 ) ψ ( R ( x n , x n + 1 ) ) 1 s ψ ( R ( x n , x n + 1 ) ) ψ ( R ( x n , x n + 1 ) ) .
Furthermore, a straightforward calculation shows that
R ( x n , x n + 1 ) = max { d s ( x n , γ x n ) d s ( γ x n + 1 , x n + 1 ) d s ( x n , x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n , γ x n ) | , d s ( x n , x n + 1 ) + | d s ( x n , γ x n ) d s ( x n + 1 , γ x n + 1 ) | , d s ( x n , γ x n ) + | d s ( x n , x n + 1 ) d s ( x n + 1 , γ x n + 1 ) | , d s ( x n + 1 , γ x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n , γ x n ) | , d s ( x n , γ x n + 1 ) + d s ( x n + 1 , γ x n ) + s | d s ( x n , γ x n ) d s ( x n + 1 , γ x n + 1 ) | 2 s }
= max { d s ( x n , x n + 1 ) d s ( x n + 2 , x n + 1 ) d s ( x n , x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n , x n + 1 ) | , d s ( x n , x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n + 1 , x n + 2 ) | , d s ( x n , x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n + 1 , x n + 2 ) | , d s ( x n + 1 , x n + 2 ) + | d s ( x n , x n + 1 ) d s ( x n , x n + 1 ) | , d s ( x n , x n + 2 ) + d s ( x n + 1 , x n + 1 ) + s | d s ( x n , x n + 1 ) d s ( x n + 1 , x n + 2 ) | 2 s }
= max { d s ( x n + 2 , x n + 1 ) , d s ( x n , x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n + 1 , x n + 2 ) | , d s ( x n , x n + 2 ) + s | d s ( x n , x n + 1 ) d s ( x n + 1 , x n + 2 ) | 2 s } .
If we denote
δ n = d s ( x n , x n + 1 ) ,
since d s ( x n , x n + 2 ) s [ d s ( x n , x n + 1 ) + d s ( x n + 1 , x n + 2 ) ] , s 1 , we obtain
R ( x n , x n + 1 ) max δ n + 1 , δ n + | δ n δ n + 1 | , δ n + δ n + 1 + | δ n δ n + 1 | 2 .
If δ n is not a decreasing sequence, then there exists an integer C N such that δ C δ C + 1 . Consequently, we can state that
R ( x C , x C + 1 ) δ C + 1 .
Using the inequality (1) along with the properties of ψ , we can obtain
1 s ψ ( δ C + 1 ) ψ ( δ C + 1 ) h ( x C , x C + 1 ) ψ ( R ( x C , x C + 1 ) ) h ( x C , x C + 1 ) ψ ( δ C + 1 ) 1 s ψ ( δ C + 1 ) .
Since d s ( x n , x n + 1 ) 0 for every n 0 , we have δ C + 1 = d s ( x C + 1 , x C + 2 ) > 0 . From the inequality above, it follows that
h ( x C , x C + 1 ) = 1 s .
However, since h A ( X ) , this leads to the conclusion that d s ( x C , x C + 1 ) = 0 , which is a contradiction. Therefore, δ n must be decreasing, meaning δ n > δ n + 1 for all n 0 . Thus, we can obtain the following inequality:
R ( x n , x n + 1 ) max { δ n + 1 , 2 δ n δ n + 1 , δ n } = R * ( n ) .
Since δ n is bounded below, the sequence converges, and we have
lim n δ n = L 0 .
Now, suppose that L > 0 . Due to the properties of ψ , we have
lim n ψ ( R * ( n ) ) = ψ ( L ) > 0 .
From the inequality (1), it follows that
1 s ψ ( δ n + 1 ) = 1 s ψ ( d s ( x n + 1 , x n + 2 ) ) = 1 s ψ ( d s ( γ x n , γ x n + 1 ) ) ψ ( d s ( γ x n , γ x n + 1 ) ) h ( x n , x n + 1 ) ψ ( R ( x n , x n + 1 ) ) h ( x n , x n + 1 ) ψ ( R * ( n ) ) 1 s ψ ( R * ( n ) ) .
In the inequality above, taking the limit as n gives us
1 s = lim n 1 s ψ ( δ n + 1 ) ψ ( R * ( n ) ) lim n h ( x n , x n + 1 ) 1 s .
Therefore, we conclude that
lim n h ( x n , x n + 1 ) = 1 s .
According to the definition of auxiliary functions, it follows that
lim n d s ( x n , x n + 1 ) = lim n δ n = 0 ,
which contradicts the assumption that L > 0 . Hence, lim n d ( x n , x n + 1 ) = L = 0 . □
Lemma 3. 
On ( X , d s , γ , G ) , let γ be a connected-image contraction of type M with D ( γ ) . Then, we obtain a G γ -sequence { x n } such that, if d s ( x n , x n + 1 ) 0 for all n 0 , then lim n d s ( x n , x n + 1 ) = 0 .
Proof. 
According to Lemma 1, we have a G γ -sequence { x n } , and since γ is a connected-image contraction of type M, for each n 0 and s 1 ,
ψ ( d s ( x n + 1 , x n + 2 ) ) = ψ ( d s ( γ x n , γ x n + 1 ) ) h ( x n , x n + 1 ) ψ ( M ( x n , x n + 1 ) ) 1 s ψ ( M ( x n , x n + 1 ) ) ψ ( M ( x n , x n + 1 ) ) .
Furthermore, a straightforward calculation shows that
M ( x n , x n + 1 ) = max { d s ( x n , γ x n ) [ 1 + d s ( x n + 1 , γ x n + 1 ) ] 1 + d s ( x n , x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n , γ x n ) | , d s ( x n + 1 , γ x n + 1 ) [ 1 + d s ( x n , γ x n ) ] 1 + d s ( x n , x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n , γ x n ) | , d s ( x n , x n + 1 ) + | d s ( x n , γ x n ) d s ( x n + 1 , γ x n + 1 ) | }
= max { d s ( x n , x n + 1 ) [ 1 + d s ( x n + 1 , x n + 2 ) ] 1 + d s ( x n , x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n , x n + 1 ) | , d s ( x n + 1 , x n + 2 ) [ 1 + d s ( x n , x n + 1 ) ] 1 + d s ( x n , x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n , x n + 1 ) | , d s ( x n , x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n + 1 , x n + 2 ) | }
= max { d s ( x n , x n + 1 ) [ 1 + d s ( x n + 1 , x n + 2 ) ] 1 + d s ( x n , x n + 1 ) , d s ( x n + 1 , x n + 2 ) , d s ( x n , x n + 1 ) + | d s ( x n , x n + 1 ) d s ( x n + 1 , x n + 2 ) | } .
If we denote
δ n = d s ( x n , x n + 1 ) ,
then we obtain
M ( x n , x n + 1 ) = max δ n ( 1 + δ n + 1 ) 1 + δ n , δ n + 1 , δ n + | δ n δ n + 1 | .
If δ n is not a decreasing sequence, then there exists an integer C N such that δ C δ C + 1 . Consequently, we can state that
M ( x C , x C + 1 ) = δ C + 1
Using the inequality (2) along with the properties of ψ , we can obtain
1 s ψ ( δ C + 1 ) ψ ( δ C + 1 ) h ( x C , x C + 1 ) ψ ( M ( x C , x C + 1 ) ) = h ( x C , x C + 1 ) ψ ( δ C + 1 ) 1 s ψ ( δ C + 1 ) .
Following the same reasoning as in the proof of Lemma 2, δ n must be decreasing, meaning δ n > δ n + 1 for all n 0 . Thus, we can obtain the following inequality:
M ( x n , x n + 1 ) = max { δ n ( 1 + δ n + 1 ) 1 + δ n , δ n + 1 , 2 δ n δ n + 1 } .
Since δ n is bounded below, the sequence converges, and we have
lim n δ n = K 0 ,
that is,
lim n M ( x n , x n + 1 ) = K .
Now, suppose that K > 0 . Due to the properties of ψ , we have
lim n ψ ( δ n ) = ψ ( K ) > 0 .
From the inequality (2), it follows that
1 s ψ ( δ n + 1 ) = 1 s ψ ( d s ( γ x n , γ x n + 1 ) ) ψ ( d s ( γ x n , γ x n + 1 ) ) h ( x n , x n + 1 ) ψ ( M ( x n , x n + 1 ) ) 1 s ψ ( M ( x n , x n + 1 ) ) .
In the inequality above, taking the limit as n gives us
1 s = lim n 1 s ψ ( δ n + 1 ) ψ ( M ( x n , x n + 1 ) ) lim n h ( x n , x n + 1 ) 1 s .
Therefore, we conclude that
lim n h ( x n , x n + 1 ) = 1 s .
According to the definition of auxiliary functions, it follows that
lim n d s ( x n , x n + 1 ) = lim n δ n = 0 ,
which contradicts the assumption that K > 0 . Hence, lim n d s ( x n , x n + 1 ) = K = 0 . □
Lemma 4. 
On ( X , d s , γ , G ) , if F ( γ ) , then D ( γ ) .
Proof. 
Suppose F ( γ ) . Then, there exists some u X such that ( u , γ u ) = ( u , u ) E ( G ) , which implies that D ( γ ) . □
Here, we outline the conditions necessary for the existence of fixed points for connected-image contractions of types R and M.
Theorem 1. 
On ( X , d s , γ , G ) , let γ be a connected-image contraction of type R with G -continuity. Then, we have
D ( γ ) F ( γ ) .
Proof. 
The sufficient condition is satisfied, as established in Lemma 4. We will now demonstrate the necessary condition. According to Lemma 1, we have a sequence
x n = γ x n 1 = γ n x 0
such that
( x m , x n ) E ( G )
for all n m 0 . If 0 = d s ( x k , x k + 1 ) = d s ( x k , γ x k ) for some k N , then x k is a fixed point. Conversely, let us assume that d s ( x n , x n + 1 ) 0 for all n N . According to Lemma 2, for each n 0 , we have
lim n d s ( x n , x n + 1 ) = 0 .
The sequence { x n } must be a Cauchy sequence, as we will demonstrate below. To assume otherwise, suppose that { x n } is not Cauchy. This means there exists some ϵ > 0 such that, for every k N , we can find indices n k and m k in N with n k > m k k , where n k is the smallest integer that satisfies the following conditions:
d s ( x m k , x n k ) ϵ and d s ( x m k , x n k 1 ) < ϵ .
From (5) and applying the b-triangular inequality, we obtain
ϵ d s ( x m k , x n k ) s ( d s ( x m k , x m k + 1 ) + d s ( x m k + 1 , x n k ) ) .
Using the properties of ψ , we can express this as
1 s ψ ( ϵ ) = ψ ( ϵ s ) ψ ( d s ( x m k , x n k ) s ) ψ ( d s ( x m k , x m k + 1 ) + d s ( x m k + 1 , x n k ) ) .
Taking the limit as k along with (4), we obtain
1 s ψ ( ϵ ) lim sup k ψ ( d s ( x m k + 1 , x n k ) ) .
We now conclude that
R ( x m k , x n k 1 )
= max { d s ( x m k , γ x m k ) d s ( γ x n k 1 , x n k 1 ) d s ( x m k , x n k 1 ) + | d s ( x m k , x n k 1 ) d s ( x m k , γ x m k ) | , d s ( x m k , x n k 1 ) + | d s ( x m k , γ x m k ) d s ( x n k 1 , γ x n k 1 ) | , d s ( x m k , γ x m k ) + | d s ( x m k , x n k 1 ) d s ( x n k 1 , γ x n k 1 ) | , d s ( x n k 1 , γ x n k 1 ) + | d s ( x m k , x n k 1 ) d s ( x m k , γ x m k ) | , d s ( x m k , γ x n k 1 ) + d s ( x n k 1 , γ x m k ) + s | d s ( x m k , γ x m k ) d s ( x n k 1 , γ x n k 1 ) | 2 s }
= max { d s ( x m k , x m k + 1 ) d s ( x n k , x n k 1 ) d s ( x m k , x n k 1 ) + | d s ( x m k , x n k 1 ) d s ( x m k , x m k + 1 ) | , d s ( x m k , x n k 1 ) + | d s ( x m k , x m k + 1 ) d s ( x n k 1 , x n k ) | , d s ( x m k , x m k + 1 ) + | d s ( x m k , x n k 1 ) d s ( x n k 1 , x n k ) | , d s ( x n k 1 , x n k ) + | d s ( x m k , x n k 1 ) d s ( x m k , x m k + 1 ) | , d s ( x m k , x n k ) + d s ( x n k 1 , x m k + 1 ) + s | d s ( x m k , x m k + 1 ) d s ( x n k 1 , x n k ) | 2 s } .
max { d s ( x m k , x m k + 1 ) d s ( x n k , x n k 1 ) d s ( x m k , x n k 1 ) + d s ( x m k , x n k 1 ) + d s ( x m k , x m k + 1 ) , d s ( x m k , x n k 1 ) + d s ( x m k , x m k + 1 ) + d s ( x n k 1 , x n k ) , d s ( x m k , x m k + 1 ) + d s ( x m k , x n k 1 ) + d s ( x n k 1 , x n k ) , d s ( x n k 1 , x n k ) + d s ( x m k , x n k 1 ) + d s ( x m k , x m k + 1 ) , d s ( x m k , x n k ) + d s ( x n k 1 , x m k + 1 ) + s d s ( x m k , x m k + 1 ) + s d s ( x n k 1 , x n k ) 2 s } .
By applying the b-triangular inequality, we obtain
d s ( x m k , x n k ) + d s ( x n k 1 , x m k + 1 ) s ( d s ( x m k , x n k 1 ) + d s ( x n k 1 , x n k ) ) + s ( d s ( x n k 1 , x m k ) + d s ( x m k , x m k + 1 ) ) s ϵ + s d s ( x n k 1 , x n k ) ) + s ϵ + s d s ( x m k , x m k + 1 ) = 2 s ϵ + s d s ( x n k 1 , x n k ) ) + s d s ( x m k , x m k + 1 ) .
By substituting (5) and (7) into the inequality (6), we obtain
R ( x m k , x n k 1 ) max { d s ( x m k , x m k + 1 ) d s ( x n k , x n k 1 ) d s ( x m k , x n k 1 ) + ϵ + d s ( x m k , x m k + 1 ) , ϵ + d s ( x m k , x m k + 1 ) + d s ( x n k 1 , x n k ) , d s ( x m k , x m k + 1 ) + ϵ + d s ( x n k 1 , x n k ) , d s ( x n k 1 , x n k ) + ϵ + d s ( x m k , x m k + 1 ) , 2 s ϵ + 2 s d s ( x n k 1 , x n k ) ) + 2 s d s ( x m k , x m k + 1 ) 2 s } .
Using (4) and the properties of ψ , we conclude that
lim sup k ψ ( R ( x m k , x n k 1 ) ) ψ ( ϵ ) .
From (3), we can infer that ( x m k , x n k 1 ) E ( G ) for each k N . Consequently, we have
ψ ( d s ( x m k + 1 , x n k ) ) = ψ ( d s ( γ x m k , γ x n k 1 ) ) h ( x m k , x n k 1 ) ψ ( R ( x m k , x n k 1 ) ) 1 s ψ ( R ( x m k , x n k 1 ) ) .
Since lim n d s ( x n , x n + 1 ) = 0 , applying the previous equality as k yields
1 s ψ ( ϵ ) lim sup k ψ ( d s ( x m k + 1 , x n k ) ) lim sup k h ( x m k , x n k 1 ) ψ ( R ( x m k , x n k 1 ) ) lim sup k h ( x m k , x n k 1 ) ψ ( ϵ ) 1 s ψ ( ϵ ) .
As a result, we find that
lim sup k h ( x m k , x n k 1 ) = 1 s .
This implies that
lim k d s ( x m k , x n k 1 ) = 0
By employing (5) and the b-triangular inequality, we obtain
0 < ϵ d s ( x m k , x n k ) s ( d s ( x m k , x n k 1 ) + d s ( x n k 1 , x n k ) ) .
Taking the limit as k in the above inequality, we utilize (3) and (8) to conclude that
lim k d s ( x m k , x n k ) = 0 ,
which contradicts (5). Therefore, the sequence { x n } must be Cauchy in ( X , d s ) . According to the completeness of the b-metric space, there exists an element x X such that
lim n d s ( x n , x ) = 0 .
Given the G -continuity of γ , we have
x = lim n x n + 1 = lim n γ x n = γ ( lim n x n ) = γ x .
Thus, we conclude that x F ( γ ) . □
Theorem 2. 
On ( X , d s , γ , G ) , if γ is a connected-image contraction of type M and satisfies at least one of the following statements, then we conclude that
D ( γ ) F ( γ ) .
(a)
γ is G -continuous;
(b)
If a sequence { u n } converges to u X and satisfies the condition ( u n , u n + 1 ) E ( G ) for every n, then there exists a subsequence { u n k } from { u n } such that ( u n k , u ) E ( G ) for every k, and
if lim n h ( x n , y n ) = 1 s , then lim n d s ( γ x n , γ y n ) = 0 .
Proof. 
The sufficient condition is satisfied, as established in Lemma 4. We will now demonstrate the necessary condition. According to Lemma 1, we have the sequence
x n = γ x n 1 = γ n x 0
such that
( x m , x n ) E ( G )
for all n m 0 . If 0 = d s ( x k , x k + 1 ) = d s ( x k , γ x k ) for some k N , then x k is a fixed point. Conversely, let us assume that d s ( x n , x n + 1 ) 0 for all n N . According to Lemma 3, for each n 0 , we have
lim n d s ( x n , x n + 1 ) = 0 .
The sequence { x n } must be a Cauchy sequence, as we will demonstrate below. To assume otherwise, suppose that { x n } is not Cauchy. This means there exists some ϵ > 0 such that, for every k N , we can find indices n k and m k in N with n k > m k k , where n k is the smallest integer that satisfies the following conditions:
d s ( x m k , x n k ) ϵ and d s ( x m k , x n k 1 ) < ϵ .
By applying the reasoning from the proof of Theorem 1, we can derive that
M ( x m k , x n k 1 )
= max { d s ( x m k , γ x m k ) [ 1 + d s ( x n k 1 , γ x n k 1 ) ] 1 + d s ( x m k , x n k 1 ) + | d s ( x m k , x n k 1 ) d s ( x m k , γ x m k ) | , d s ( x n k 1 , γ x n k 1 ) [ 1 + d s ( x m k , γ x m k ) ] 1 + d s ( x m k , x n k 1 ) + | d ( x m k , x n k 1 ) d s ( x m k , γ x m k ) | , d s ( x m k , x n k 1 ) + | d s ( x m k , γ x m k ) d s ( x n k 1 , γ x n k 1 ) | }
max { d s ( x m k , x m k + 1 ) [ 1 + d s ( x n k 1 , x n k ) ] 1 + d s ( x m k , x n k 1 ) + ϵ + d s ( x m k , x m k + 1 ) , d s ( x n k 1 , x n k ) [ 1 + d s ( x m k , x m k + 1 ) ] 1 + d s ( x m k , x n k 1 ) + ϵ + d s ( x m k , x m k + 1 ) , ϵ + d s ( x m k , x m k + 1 ) + d s ( x n k 1 , x n k ) } .
Using (10) along with the properties of ψ , we have
lim sup k ψ ( M ( x m k , x n k 1 ) ) ψ ( ϵ ) .
From (9), we can infer that ( x m k , x n k 1 ) E ( G ) for each k N . Consequently, we have
ψ ( d s ( x m k + 1 , x n k ) ) = ψ ( d s ( γ x m k , γ x n k 1 ) ) h ( x m k , x n k 1 ) ψ ( M ( x m k , x n k 1 ) ) 1 s ψ ( M ( x m k , x n k 1 ) ) .
Since lim n d s ( x n , x n + 1 ) = 0 , applying the previous equality as k yields
1 s ψ ( ϵ ) lim sup k ψ ( d s ( x m k + 1 , x n k ) ) lim sup k h ( x m k , x n k 1 ) ψ ( M ( x m k , x n k 1 ) ) lim sup k h ( x m k , x n k 1 ) ψ ( ϵ ) 1 s ψ ( ϵ ) .
By utilizing the arguments presented in the proof of Theorem 1, we can conclude that the sequence { x n } must be Cauchy in ( X , d s ) . Based on the completeness of the b-metric space, there exists an element x X such that
lim n d s ( x n , x ) = 0 .
Assuming that the statement ( a ) holds, according to the G -continuity of γ , we have
x = lim n x n + 1 = lim n γ x n = γ ( lim n x n ) = γ x , that is , x F ( γ ) .
Now, let us consider the case where the statement ( b ) holds. If we assume that x is not a fixed point of γ , it follows that γ x x , and consequently, d s ( γ x , x ) > 0 . According to Lemma 1 and Equation (11), we have ( x n k , x ) E ( G ) for all k N . Thus, we can derive
d s ( x , γ x ) s [ d s ( x , γ x n k ) + d s ( γ x n k , γ x ) ] .
This leads to the conclusion that
d s ( x , γ x ) s d s ( x , γ x n k ) s d s ( γ x n k , γ x ) .
The definition of ψ effectively demonstrates that
1 s ψ ( d s ( x , γ x ) s d s ( x , γ x n k ) ) 1 s ψ ( s d s ( γ x n k , γ x ) ) = ψ ( d s ( γ x n k , γ x ) ) h ( x n k , x ) ψ ( M ( x n k , x ) ) 1 s ψ ( M ( x n k , x ) ) ,
where
M ( x n k , x ) = max { d s ( x n k , γ x n k ) [ 1 + d s ( x , γ x ) ] 1 + d s ( x n k , x ) + | d s ( x n k , x ) d s ( x n k , γ x n k ) | , d s ( x , γ x ) [ 1 + d s ( x n k , γ x n k ) ] 1 + d s ( x n k , x ) + | d s ( x n k , x ) d s ( x n k , γ x n k ) | , d s ( x n k , x ) + | d s ( x n k , γ x n k ) d s ( x , γ x ) | } .
In the equation above, as we take k and apply Lemma 3 along with (11), we obtain
lim k M ( x n k , x ) = d s ( x , γ x ) > 0 .
Utilizing the properties of ψ , we find
lim k ψ ( M ( x n k , x ) ) = ψ ( d s ( x , γ x ) ) > 0 .
Next, taking k in (12) yields
lim k h ( x n k , x ) = 1 s .
According to assumption ( b ) , we have
d s ( x , γ x ) = lim k d s ( γ x n k , γ x ) = 0 ,
which leads to a contradiction. Consequently, we conclude that γ x = x , establishing that γ has x as one of its fixed points. □
Theorem 3. 
Let us apply all the conditions from Theorem 1 (Theorem 2) under the assumption that ( x , y ) E ( G ) for all x , y F ( γ ) with x y . D ( γ ) is nonempty if and only if there exists a unique fixed point of γ.
Proof. 
The sufficient condition is satisfied, as established in Lemma 4. We will now demonstrate the necessary condition. Let D ( γ ) be nonempty and let x , y F ( γ ) . Suppose that x y ; then, we have d s ( x , y ) > 0 . Since ( x , y ) E ( G ) , we can conclude that
1 s ψ ( d s ( γ x , γ y ) ) ψ ( d s ( γ x , γ y ) ) h ( x , y ) ψ ( R ( x , y ) ) 1 s ψ ( R ( x , y ) ) = 1 s ψ ( d s ( γ x , γ y ) ) .
Based on the properties of ψ , we have h ( x , y ) = 1 s , which implies that d s ( x , y ) = 0 . This contradicts the assumption that x and y are distinct points; therefore, x must equal y. □
To further strengthen our key findings, we offer the following illustrative example.
Example 4. 
Let X = R and define a distance function d s as follows:
d s ( u , v ) = ( u v ) 2 f o r a l l u , v X .
This establishes ( X , d s ) as a complete b-metric space with a constant s = 2 . Next, we set
h ( u , v ) = 4 9 a n d ψ ( t ) = 2 t f o r a l l t 0 .
We now define a mapping γ : X X and a set E ( G ) as follows:
γ u = 3 2 i f u < 0 , u + 3 2 i f 0 u < 1 , u + 6 2 i f 1 u 3 , 2 ( u 4 ) 2 + 7 2 i f u > 3 ,
and
E ( G ) = { ( u , v ) : u , v [ 3 , 3 ] } .
We can observe that the mapping γ is G -continuous. We will demonstrate that γ is a connected-image contraction of type R with D ( γ ) . Since ( 0 , γ 0 ) = ( 0 , 3 2 ) E ( G ) , it follows that D ( γ ) . If u D ( γ ) , then u , γ u [ 3 , 3 ] . According to the definition of γ, we have γ u , γ 2 u [ 3 2 , 5 2 ] , which implies that γ u D ( γ ) . For each u , v X such that ( u , v ) E ( G ) and v D ( γ ) , we know that u , γ v [ 3 , 3 ] . Consequently, ( u , γ v ) E ( G ) . To analyze the case when ( u , v ) E ( G ) , we observe that u , v [ 3 , 3 ] . This necessitates consideration of the following cases:
Case 1: Suppose u , v 0 and u > v . We can identify the following three subcases:
Subcase (1.1) If u , v [ 0 , 1 ) , then
ψ ( d s ( γ u , γ v ) ) = 2 d s ( γ u , γ v ) = 2 ( u v ) 2 2 ( 4 9 ) ( 9 4 ) 2 ( 4 9 ) 9 4 + | ( u v ) 2 9 4 | = 2 ( 4 9 ) d s ( u , γ u ) + | d s ( u , v ) d s ( v , γ v ) | 4 9 2 R ( u , v ) = h ( u , v ) ψ ( R ( u , v ) ) .
Subcase (1.2) If u , v [ 1 , 3 ] , then
ψ ( d s ( γ u , γ v ) ) = 2 d s ( γ u , γ v ) = 2 u v 2 2 2 ( 4 9 ) ( u v ) 2 2 ( 4 9 ) ( u v ) 2 + | ( 3 u 6 2 ) 2 ( 3 v 6 2 ) 2 | = 2 ( 4 9 ) d s ( u , v ) + | d s ( u , γ u ) d s ( v , γ v ) | 4 9 2 R ( u , v ) = h ( u , v ) ψ ( R ( u , v ) ) .
Subcase (1.3) If u [ 1 , 3 ] and v [ 0 , 1 ) , then
ψ ( d s ( γ u , γ v ) ) = 2 d s ( γ u , γ v ) = 2 u + 2 v 3 2 2 2 ( 4 9 ) ( 9 4 ) 2 ( 4 9 ) 9 4 + | ( u v ) 2 ( 3 u 6 2 ) 2 | = 2 ( 4 9 ) d s ( v , γ v ) + | d s ( u , v ) d s ( u , γ u ) | 4 9 2 R ( u , v ) = h ( u , v ) ψ ( R ( u , v ) ) .
Case 2: Suppose u , v < 0 . We have γ u = γ v = 3 2 . Therefore, we obtain
0 = ψ ( d s ( γ u , γ v ) ) = ψ ( 0 ) h ( u , v ) ψ ( R ( u , v ) ) .
Case 3: Suppose u 0 and v < 0 . We will consider the following two subcases:
Subcase (3.1) If u [ 0 , 1 ) and v < 0 , then
ψ ( d s ( γ u , γ v ) ) = 2 d s ( γ u , γ v ) = 2 u 2 2 ( 4 9 ) ( 9 4 ) 2 ( 4 9 ) 9 4 + | ( u v ) 2 9 4 | = 2 ( 4 9 ) d s ( u , γ u ) + | d s ( u , v ) d s ( v , γ v ) | 4 9 2 R ( u , v ) = h ( u , v ) ψ ( R ( u , v ) ) .
Subcase (3.2) If u [ 1 , 3 ] and v < 0 , then
ψ ( d s ( γ u , γ v ) ) = 2 d s ( γ u , γ v ) = 2 3 u 2 2 2 4 9 v 3 2 2 2 4 9 ( v 3 2 ) 2 + | ( u v ) 2 ( 3 u 6 2 ) 2 | = 2 4 9 d s ( v , γ v ) + | d s ( u , v ) d s ( u , γ u ) | 4 9 2 R ( u , v ) = h ( u , v ) ψ ( R ( u , v ) ) .
As all conditions of Theorem 1 are fulfilled, it follows that γ has a fixed point, namely 2.

3. Applications to Integral Equations and Ordinary Differential Equations

In this section, we examined how the fixed-point theorems developed in the previous section can be applied to prove the existence of solutions for nonlinear integral equations. Building on this foundation, we also explore their application to ordinary differential equations (ODEs). By applying fixed-point theorems to ODEs, we establish the existence of solutions in this setting as well, showcasing the broad applicability of these theorems. This approach highlights the role of fixed-point theory as a valuable tool for proving the existence of solutions across different types of mathematical equations, from differential to integral.
To introduce the framework for applying the fixed-point theorems to ordinary differential equations, we first define a structure that will help establish the necessary conditions for existence theorems.
Let X be a non-empty set, and let γ : X X be a given mapping. Define Γ as a family of functions η : R 2 R that satisfy the following conditions:
  • If η ( u , γ u ) 0 , then η ( γ u , γ 2 u ) 0 for all u X ;
  • If η ( u , v ) 0 and η ( v , γ v ) 0 , then η ( u , γ v ) 0 for all u , v X .
Given η Γ , we define G η = ( X , E ( G η ) ) , where E ( G η ) is the edge set of a directed graph, specified as:
E ( G η ) = { ( u , v ) X × X : η ( u , v ) 0 } .
This configuration creates the foundation for the subsequent analysis. It is now possible to state the following lemma, which links these abstract definitions to the existence of solutions for nonlinear differential and integral equations.
Lemma 5. 
On ( C [ 0 , L ] , d s , γ , G η ) , where η Γ , the set D ( γ ) = { u C [ 0 , L ] : ( u , γ u ) E ( G η ) } forms a connected-image set.
Let L > 0 , and and define the distance function d s : C [ 0 , L ] × C [ 0 , L ] [ 0 , ) as
d s ( u , v ) = sup t [ 0 , L ] | u ( t ) v ( t ) | 2 ,
for u , v C [ 0 , L ] . The pair ( C [ 0 , L ] , d s ) forms a complete b-metric space with s = 2 . We now provide an example of how Theorem 1 can be applied to ordinary differential equations. Consider the second-order differential equation
u ( t ) = g ( t , u ( t ) ) , for all t [ 0 , 1 ] ,
subject to the Dirichlet conditions
u ( 0 ) = ξ u ( ω ) and u ( 1 ) = 0 ,
where g : [ 0 , 1 ] × C [ 0 , 1 ] R is a continuous function, ω ( 0 , 1 ) is a fixed point, and ξ is a constant such that ( 1 ω ) ξ 1 . It is essential to note that a function u C [ 0 , 1 ] is a solution to the differential Equation (13) with the boundary conditions (14) if and only if it satisfies the following integral equation:
u ( t ) = 0 1 Φ ( t , s ) g ( s , u ( s ) ) d s + ξ ( 1 t ) 1 ( 1 ω ) ξ 0 1 Φ ( ω , s ) g ( s , u ( s ) ) d s ,
where Φ ( t , s ) is the Green’s function for the corresponding boundary value problem:
u ( t ) = g ( t , u ( t ) ) , for all t [ 0 , 1 ] ,
with the homogeneous Dirichlet conditions
u ( 0 ) = 0 and u ( 1 ) = 0 .
The Green’s function G ( t , s ) for the boundary value problem (13)–(14) is given by the expression
G ( t , s ) = Φ ( t , s ) + ξ ( 1 t ) 1 ( 1 η ) ξ Φ ( ω , s ) ,
where Φ ( t , s ) is defined as
Φ ( t , s ) = ( t 1 ) s if 0 s t 1 , t ( s 1 ) if 0 t s 1 .
This Green’s function represents the solution to the second-order differential equation with homogeneous Dirichlet conditions and is used to transform the original boundary value problem into an equivalent integral equation. As such, G ( t , s ) captures both the dynamics of the differential operator and the specified boundary conditions of the inhomogeneous Dirichlet. Furthermore, it is straightforward to verify the following estimate:
0 1 Φ ( t , s ) d s 1 8 .
This bound ensures that the Green’s function is integrable over the interval [ 0 , 1 ] , with a controlled upper bound on its integral. Such a result is crucial for the subsequent analysis of the solution to the differential equation, as it guarantees the existence of a well-behaved integral representation for the solution.
Lemma 6. 
The Green’s function G ( t , s ) defined in (15) satisfies the following inequality for t [ 0 , 1 ] :
0 1 G ( t , s ) d s 1 8 1 + ξ 1 ( 1 ω ) ξ .
Proof. 
Begin by expressing the integral of G ( t , s ) as
0 1 G ( t , s ) d s = 0 1 Φ ( t , s ) + ξ ( 1 t ) 1 ( 1 ω ) ξ Φ ( ω , s ) d s .
The integral can be split into two terms:
0 1 G ( t , s ) d s 0 1 Φ ( t , s ) d s + ξ ( 1 t ) 1 ( 1 ω ) ξ 0 1 Φ ( ω , s ) d s .
Next, apply the known bound on the integral of Φ ( t , s ) , which is
0 1 Φ ( t , s ) d s 1 8 .
Thus, the inequality becomes
0 1 G ( t , s ) d s 1 8 + ξ ( 1 t ) 1 ( 1 ω ) ξ 1 8 .
Finally, since 1 t 1 for all t [ 0 , 1 ] , the second term can be bounded as follows:
0 1 G ( t , s ) d s 1 8 1 + ξ 1 ( 1 ω ) ξ .
This completes the proof. □
We now introduce an operator T : C [ 0 , 1 ] C [ 0 , 1 ] defined by the expression
T u ( t ) = 0 1 G ( t , s ) g ( s , u ( s ) ) d s ,
where G ( t , s ) represents the Green’s function associated with the differential operator, and g ( s , u ( s ) ) is the given function in the differential equation. It follows that a function u C [ 0 , 1 ] is a solution to the differential Equation (13) subject to the boundary conditions (14) if and only if u is a fixed point of the operator T. In other words, solving the boundary value problem is equivalent to finding a fixed point of the operator T.
Lemma 7. 
On ( C [ 0 , 1 ] , d s , T , G η ) , where η Γ and T is defined as in (16). Assume that the following condition holds:
(H1)
For all s [ 0 , 1 ] and u , v C [ 0 , 1 ] ,
| g ( s , u ( s ) ) g ( s , v ( s ) ) | 1 α R ( u , v ) ln ( 1 + d s ( u , v ) ) 2 d s ( u , v ) ,
where
α = 1 8 1 + ξ 1 ( 1 ω ) ξ
and d s ( u , v ) denotes the distance between u and v in the space C [ 0 , 1 ] . Under these assumptions, it follows that the operator T is a connected-image contraction of type R.
Proof. 
Let ψ ( t ) = t 2 for t [ 0 , ) . For ( u , v ) E ( G η ) , the following steps are performed:
ψ ( d s ( T u , T v ) ) = 1 2 d s ( T u , T v ) ,
where the distance between T u ( t ) and T v ( t ) is given by
d s ( T u , T v ) = sup t [ 0 , 1 ] | T u ( t ) T v ( t ) | 2 .
Substituting for T u ( t ) and T v ( t ) from the definition of the operator T, the expression becomes
d s ( T u , T v ) = sup t [ 0 , 1 ] | 0 1 G ( t , s ) ( g ( s , u ( s ) ) g ( s , v ( s ) ) ) d s | 2 .
This simplifies to
d s ( T u , T v ) sup t [ 0 , 1 ] 0 1 G ( t , s ) ( g ( s , u ( s ) ) g ( s , v ( s ) ) ) d s 2 .
Using the condition ( H 1 ) for the difference between g ( s , u ( s ) ) and g ( s , v ( s ) ) , the following inequality holds:
| g ( s , u ( s ) ) g ( s , v ( s ) ) | 1 α R ( u , v ) ln ( 1 + d s ( u , v ) ) 2 d s ( u , v ) .
Substituting this inequality into the expression for d s ( T u , T v ) , we obtain
d s ( T u , T v ) 1 α 2 R ( u , v ) ln ( 1 + d s ( u , v ) ) 2 d s ( u , v ) sup t [ 0 , 1 ] 0 1 | G ( t , s ) | d s 2 .
Using Lemma 6, the distance between T u ( t ) and T v ( t ) is therefore bounded by
d s ( T u , T v ) R ( u , v ) ln ( 1 + d s ( u , v ) ) 2 d s ( u , v ) .
Finally, we define h ( u , v ) = ln ( 1 + d s ( u , v ) ) 2 d s ( u , v ) , yielding the inequality
ψ ( d s ( T u , T v ) ) = 1 2 d s ( T u , T v ) h ( u , v ) ψ ( R ( u , v ) )
where ψ ( R ( u , v ) ) is a function related to the distance R ( u , v ) . From the definition of a connected-image contraction of type R (see Definition 6), it follows that the operator T is a connected-image contraction of type R. □
Theorem 4. 
On ( C [ 0 , 1 ] , d s , T , G η ) , where η Γ and T is defined as in (16), suppose that condition ( H 1 ) is satisfied, and that there exists a function u 0 ( t ) C [ 0 , 1 ] such that η ( u 0 ( t ) , T u 0 ( t ) ) 0 for all t [ 0 , 1 ] . Then, T has a fixed point u * C [ 0 , 1 ] , which is a solution to the boundary value problem (13) subject to the conditions (14).
Proof. 
Based on the assumptions, T is a connected-image contraction of type R and D ( F ) . Therefore, since all conditions in Theorem 1 are satisfied, it follows that T has a fixed point u * C [ 0 , 1 ] , which is a solution to the boundary value problem (13) subject to the boundary conditions (14). □
We now turn our attention to the following integral equation:
u ( t ) 0 L G ( t , s ) K ( t , s , u ( s ) ) d s = q ( t ) ,
where L > 0 and q : [ 0 , L ] R , G : [ 0 , L ] × [ 0 , L ] R and K : [ 0 , L ] × [ 0 , L ] × C [ 0 , L ] R are continuous functions. Define a mapping T : C [ 0 , L ] C [ 0 , L ] as
T u ( t ) = q ( t ) + 0 L G ( t , s ) K ( t , s , u ( s ) ) d s , u C [ 0 , L ] , t , s [ 0 , L ] .
It follows that the solution to the integral Equation (17) is given by the fixed-point equation T u = u .
Lemma 8. 
On ( C [ 0 , L ] , d s , T , G η ) , where η Γ and T is defined as in (18), assume the following conditions are satisfied:
(A1)
For all t , s [ 0 , L ] and u , v C [ 0 , L ] ,
| K ( t , s , u ( s ) ) K ( t , s , v ( s ) ) | e d s ( u , v ) R ( u , v ) 2 .
(A2)
For all t , s [ 0 , L ] ,
0 L | G ( t , s ) | d s 1 L .
Then, the mapping T is a connected-image contraction of type R.
Proof. 
Let ψ ( t ) = t for each t [ 0 , ) . For u , v C [ 0 , L ] such that ( u , v ) E ( G η ) , conditions ( A 1 ) and ( A 2 ) are applied to demonstrate that T is a connected-image contraction of type R. The steps are as follows:
ψ ( d s ( T u , T v ) ) = d s ( T u , T v ) ,
where
d s ( T u , T v ) = sup t [ 0 , L ] | T u ( t ) T v ( t ) | 2 .
If we substitute the expression for T u ( t ) and T v ( t ) from the definition of the mapping T, we obtain
d s ( T u , T v ) = sup t [ 0 , L ] 0 L G ( t , s ) K ( t , s , u ( s ) ) d s 0 L G ( t , s ) K ( t , s , v ( s ) ) d s 2 .
This simplifies to
d s ( T u , T v ) sup t [ 0 , L ] 0 L | G ( t , s ) ( K ( t , s , u ( s ) ) K ( t , s , v ( s ) ) ) | d s 2 .
Now, using conditions ( A 1 ) and ( A 2 ) , the estimate becomes
d s ( T u , T v ) e d s ( u , v ) R ( u , v ) 2 L 2 sup t [ 0 , L ] 0 L G ( t , s ) d s 2 e d s ( u , v ) 2 R ( u , v ) .
Thus, the following inequality holds:
d s ( T u , T v ) h ( u , v ) R ( u , v ) ,
where
h ( u , v ) = e d s ( u , v ) 2 .
Since, ψ ( t ) = t , we conclude that
ψ ( d s ( T u , T v ) ) h ( u , v ) ψ ( R ( u , v ) ) .
According to Lemma 5, this inequality shows that T satisfies the conditions of a connected-image contraction of type R, as required. This completes the proof that T is a connected-image contraction under the given assumptions. □
Therefore, by invoking Lemma 8, the existence of a solution to the integral equation is established.
Theorem 5. 
On ( C [ 0 , L ] , d s , T , G η ) , where η Γ and T is defined as in (18), suppose that conditions ( A 1 ) and ( A 2 ) hold, and that there exists a function u 0 ( t ) C [ 0 , L ] such that η ( u 0 ( t ) , T u 0 ( t ) ) 0 for all t [ 0 , L ] . Under these conditions, T possesses a fixed point u * C [ 0 , L ] , which serves as a solution to the integral Equation (17).
Proof. 
Under these assumptions, T is a connected-image contraction of type R, and D ( T ) . Consequently, all the conditions of Theorem 1 are satisfied, ensuring that T has a fixed point u * C [ 0 , L ] , which provides a solution to the integral Equation (17). □

4. Conclusions

This paper introduces new definitions of connected-image contractions and explores their role in b-metric spaces. It focuses on developing a theoretical framework for fixed-point theorems that utilize auxiliary functions, highlighting their effectiveness in solving differential and integral equations. This work advances our understanding of fixed-point theory and provides a solid foundation for future research and applications in mathematical modeling and decision-making.

Author Contributions

Conceptualization, methodology, writing—original draft preparation, writing—review and editing, K.C., K.P., T.S. and P.C. All authors have read and agreed to the published version of the manuscript.

Funding

This research was partially supported by Fundamental Fund 2025, Chiang Mai University, Chiang Mai, Thailand; Chiang Mai University, Chiang Mai, Thailand; and Centre of Excellence in Mathematics, MHESI, Bangkok 10400, Thailand.

Data Availability Statement

No new data were created or analyzed in this study.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Tsoularis, A. On Some Important Ordinary Differential Equations of Dynamic Economics. In Recent Developments in the Solution of Nonlinear Differential Equations; IntechOpen: London, UK, 2021; pp. 147–153. [Google Scholar]
  2. Achdou, Y.; Buera, F.J.; Lasry, J.M.; Lions, P.L.; Moll, B. Partial Differential Equation Models in Macroeconomics. Philos. Trans. R. Soc. A Math. Phys. Eng. Sci. 2014, 372, 20130397. [Google Scholar] [CrossRef] [PubMed]
  3. Hritonenko, N.; Yatsenko, Y. Integral Equation of Optimal Replacement: Analysis and Algorithms. Appl. Math. Model. 2009, 33, 2737–2747. [Google Scholar] [CrossRef]
  4. Colpitts, B.G. The Integral Equation Model and Surface Roughness Signatures in Soil Moisture and Tillage Type Determination. IEEE Trans. Geosci. Remote Sens. 1998, 36, 833–837. [Google Scholar] [CrossRef]
  5. Reddy, J.M. Integral Equation Solutions to Surface Irrigation. J. Agric. Eng. Res. 1989, 42, 251–265. [Google Scholar] [CrossRef]
  6. Faraji, H.; Savić, D.; Radenović, S. Fixed Point Theorems for Geraghty Contraction Type Mappings in b-Metric Spaces and Applications. Axioms 2019, 8, 34. [Google Scholar] [CrossRef]
  7. Teeranush, S.; Watchareepan, A.; Khuanchanok, C. Fixed Point Theorems via Auxiliary Functions with Applications to Two-Term Fractional Differential Equations with Nonlocal Boundary Conditions. AIMS Math. 2023, 8, 7394–7418. [Google Scholar]
  8. Wongsaijai, B.; Charoensawan, P.; Suebcharoen, T.; Atiponrat, W. Common Fixed Point Theorems for Auxiliary Functions with Applications in Fractional Differential Equations. Adv. Differ. Equ. 2021, 2021, 503. [Google Scholar] [CrossRef]
  9. Czerwik, S. Contraction Mappings in b-Metric Spaces. Acta Math. Inform. Univ. Ostrav. 1993, 1, 5–11. [Google Scholar]
  10. Czerwik, S. Nonlinear Set-Valued Contraction Mappings in b-Metric Spaces. Atti Semin. Mat. Fis. Univ. Modena 1998, 46, 263–276. [Google Scholar]
  11. Jachymski, J. The Contraction Principle for Mappings on a Metric Space with a Graph. Proc. Am. Math. Soc. 2007, 136, 1359–1373. [Google Scholar] [CrossRef]
  12. Karapınar, E.; Abdeljawad, T.; Jarad, F. Applying New Fixed Point Theorems on Fractional and Ordinary Differential Equations. Adv. Differ. Equ. 2019, 2019, 421. [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

Chaichana, K.; Poochinapan, K.; Suebcharoen, T.; Charoensawan, P. Applying Theorems on b-Metric Spaces to Differential and Integral Equations Through Connected-Image Contractions. Mathematics 2024, 12, 3955. https://doi.org/10.3390/math12243955

AMA Style

Chaichana K, Poochinapan K, Suebcharoen T, Charoensawan P. Applying Theorems on b-Metric Spaces to Differential and Integral Equations Through Connected-Image Contractions. Mathematics. 2024; 12(24):3955. https://doi.org/10.3390/math12243955

Chicago/Turabian Style

Chaichana, Khuanchanok, Kanyuta Poochinapan, Teeranush Suebcharoen, and Phakdi Charoensawan. 2024. "Applying Theorems on b-Metric Spaces to Differential and Integral Equations Through Connected-Image Contractions" Mathematics 12, no. 24: 3955. https://doi.org/10.3390/math12243955

APA Style

Chaichana, K., Poochinapan, K., Suebcharoen, T., & Charoensawan, P. (2024). Applying Theorems on b-Metric Spaces to Differential and Integral Equations Through Connected-Image Contractions. Mathematics, 12(24), 3955. https://doi.org/10.3390/math12243955

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