Fuzzy fixed point approach to study the existence of solution for Volterra type integral equations using fuzzy Sehgal contraction

Abstract

In this manuscript, we present a novel concept known as the fuzzy Sehgal contraction, specifically designed for self-mappings defined in the context of a fuzzy metric space. Our primary objective is to explore the existence and uniqueness of fixed points for self-mappings in fuzzy metric space. To support our conclusions, we present a detailed illustrative case that demonstrates the superiority of the convergence obtained with our suggested method to those currently recorded in the literature. Moreover, we provide graphical depictions of the convergence behavior, which makes our study more understandable and transparent. Additionally, we extend the application of our results to address the existence and uniqueness of solutions for Volterra integral equations.

1 Introduction

In the realm of mathematics, the study of fixed points and their applications has appeared as a versatile and foundational field. Fixed point theory, a branch of mathematics with a very vast history, explores the existence and properties of points that remain unchanged when subjected to specific transformations. It has found widespread applications across diverse disciplines, including physics, economics, computer science, and engineering providing beneficial insights into the gentle attitude of functions and mappings.

Fixed point theory, in its traditional form, addresses questions like, “Under what conditions does a function have a point that remains unchanged after applying that function?” This seemingly simple question leads to a wealth of mathematical exploration and has provided powerful tools for solving problems with real-world significance.

The concept of fixed points has a rich history dating back to the beginning of 19^th century, with significant contributions from mathematicians like Banach, Kakutani, and Brouwer. They laid the essential groundwork for fixed point theory by flourishing theorems and concepts that continue to shape mathematical research and practical applications today. Since then, fixed point theory has evolved in different disciplines, including functional analysis, topology, optimization, and dynamical systems.

The Banach Contraction Principle [1], named after the mathematician Stefan Banach, is a fundamental theorem in mathematics. It attests to the presence and uniqueness of a fixed point for particular categories of mappings within a metric space.. In essence, if a mapping slowly brings points closer to each other, it must have a single point that remains stationary called as a fixed point. This principle has wide-ranging applications, particularly in numerical methods and the study of dynamical systems, making it a vital tool in various mathematical disciplines.

In 1968 Bryant [2], introduced the generalization of the Banach’s principle. He attained some results in fixed point theory, where the self mapping might not be a contraction but its n^th power becomes a contraction therefore it gives a fixed point for the n^th power of self map, which also results in the fixed of the self mapping.

In 1969, V. M. Sehgal [3] also introduced a generalization of the Banach’s principle named as sehgal contraction. In this generalization V.M. Sehgal basically generalized the idea of Bryant and introduces one of the generalized contraction where for each point ξ in the space there exist a natural number n(ξ) depends upon ξ which is termed as the power of the self mapping for which the contraction condition satisfied and fixed point is attained resulting in the fixed point of the self map itself, which doesn’t satisfy the contraction condition. After that dozen of modifications and generalizations were introduced.

In 1970, L.F. Guseman [4] extended the idea of Sehgal by relaxing the continuity condition to attain fixed point for self maps as discussed by Sehgal.

On the other hand, as mathematics evolved to tackle increasingly complex and ambiguous problems, fuzzy fixed point theory naturally extends from the foundation of fixed point theory. Fuzzy fixed point theory accommodates imprecision and uncertainty of crucial aspects of many world situations.

In 1965 Zadeh [5] extend the set theory’s concept by relaxing the well-defined condition and introduced a new concept that named a fuzzy set theory. He gave an idea to deal with the ambiguity in the statements. He introduced a membership function that deals with the containment of the elements in the set and the membership function varies with different scenarios.

In 1975 Kramosil and Michalek pioneered the study of fuzzy metric spaces by applying fuzzy set theory, as described in their work [6]. The construction of fuzzy metric space has followed basic idea of the fuzzy set that deals with ambiguity. Schweizer and Sklar [7] introduced the concept of continuous t-norm for the fuzzy metric space.

In 1988 Grabiec, M. [8] was first to introduce the study of fixed point in the fuzzy metric space and give fuzzy version of Banach’s principle. He introduced the concept of contraction into the framework of fuzzy metrics, establishing notions of sequence convergence, Cauchy sequences, and completeness within the context of fuzzy metrics.

Recently, Mudasir, et al. gives some new results. In [9] they introduce a novel notion called “Kannan-graph-fuzzy contraction,” which combines ideas from Kannan mappings, fuzzy contractions, and graph mappings. This method provides a novel framework for solving nonlinear problems that arise in the real world and has many applications in engineering and technology. In [10] they investigates fixed point convergence in graphical B_c–Kannan–contractions within graphical extended b–metric spaces. In [11] using an alternating distance function, they report new findings on coincidence, best proximity, and fixed points in multivalued proximal contractions within b-metric spaces. Furthermore, recent advancements in the field can be found in [12–14].

In this manuscript we construct the Sehgal type contraction in fuzzy complete metric space. We will establish our results for continuous mappings and also prove some results omitting continuity. We will embellish our work with a non-trivial example to endorse our results. Furthermore, a thorough numerical and graphical analysis is performed to compare the rates of convergence. Our results clearly demonstrate that our proposed approach exhibits a significantly faster convergence. To further reinforce the validity of our study results, we finally use our results to determine the existence and uniqueness of solutions for Volterra integral equations.

2 Preliminaries

We will start with all the details required to prove our main results, we display some previous defined result, notations and definitions. Let us start with the basic definition of metric space.

Definition 2.1 [15] Upon satisfying the given conditions, a function , with a range of non-negative real numbers, is considered a metric, such that:

1. ϱ(ξ, η) ≥ 0,

2. ϱ(ξ, η) = 0 iff ξ = η,

3. ϱ(ξ, η) = ϱ(η, ξ),

4. ϱ(ξ, ζ) + ϱ(ζ, η ≥ ϱ(ξ, η), for each ξ, η, ζ ∈ Ξ.

Here ϱ is a metric on Ξ, and the pair (Ξ, ϱ) defines the metric space, with Ξ identified as the ground set. The individual elements ξ, η, ζ ∈ Ξ are recognized as points within this metric space. Consequently, the notation Ξ encompasses the metric space (Ξ, ϱ).

The metric space (ϱ, Ξ) is known to be the complete metric space if and only if each cauchy sequence is converges in the metric space.

Few examples are also presented from the literature [15] to explain the distance or metric.

Example 2.2. We have few functions given as:then ϱ₁ and ϱ₂ be metrics defined on the set of real numbers, . Furthermore, ϱ₃ is a metric defined on the real numbers excluding zero, denoted as .

Definition 2.3 [1] Let us take a metric space (Ξ, ϱ), and define a mapping ϑ: Ξ → Ξ. The mapping ϑ is known as contraction if for each ℏ ∈ (0, 1), The self mapping ϑ satisfy the following condition:(1)

Definition 2.4 [3] Let us take a metric space (Ξ, ϱ), and define a mapping ϑ: Ξ → Ξ. The mapping ϑ is known as Sehgal contraction if there exist ℏ ∈ (0, 1), then for each element ξ in Ξ there exist a positive integer n(ξ) such that:(2)

Bryant [3], gives the extension the Banach’s principle in the following way.

Theorem 2.1. Let us take a complete metric space (Ξ, ϱ), and a self mapping ϑ: Ξ → Ξ, If ϑⁿ satisfy the condition (1) then, the self map ϑ attain a unique fixed point.

V. M. Sehgal [3] extended the idea of Bryant, and result is defined as below.

Theorem 2.2. Let us take a complete metric space (Ξ, ϱ), and define a mapping ϑ: Ξ → Ξ, that is continuous and satisfies the Sahgal contraction for each ξ₀ in Ξ. The mapping ϑ, then has a fixed point α, that is unique and ϑⁿ(ξ₀) → α for each ξ₀ in Ξ.

Guseman, and Jr. [4] removed the continuity condition in Sehgal result and gives the following theorem.

Theorem 2.3. Let (Ξ, ϱ), be a complete metric space and define a self mapping ϑ: Ξ → Ξ. Assuming that there is a subset of Ξ called , where is the subset of , and the self mapping ϑ satisfy the Sahgal contraction condition (2) for each ξ₀ in and for some , then the mapping ϑ has a fixed point α that is unique in and ϑⁿ(ξ₀) → α for each ξ₀ in If ϑ satisfy the Sahgal contraction condition (2) for every ξ₀ in Ξ, then the unique fixed point α exist in Ξ, and ϑⁿ(ξ₀) → α for each ξ₀ in Ξ.

We start with the concept of the t-norm and the definition of fuzzy metric space before talking about some significant findings from fuzzy metric space.

Definition 2.5. [7] Let us define a binary operation ❃: [0, 1]² → [0, 1], if ([0, 1], ❃) is an abelian monoid with 1 (unity), wherethen we say that ❃ is a continuous t-norm.

Definition 2.6. [6] Let Ξ be a nonempty set, we define a fuzzy metric M: Ξ × Ξ × [0, ∞) → [0, 1] with the following conditions:

1. ) M(ξ, η, 0) = 0,

2. ) M(ξ, η, κ) = 1, ∀ κ > 0, ⇔ ξ = η,

3. ) M(ξ, η, κ) = M(η, ξ, κ), ∀ ξ, η ∈ Ξ, κ > 0,

4. ) M(ξ, η, κ) ❃ M(η, γ, μ) ≤ M(ξ, η, κ + μ).

Then the triplet (Ξ, M, ❃), is known as fuzzy metric space.

Here are a few illustrative examples of fuzzy metrics space:

Example 2.4. Let Ξ = R. Define α❃β = αβ, ∀ α, β ∈ [0, 1]. For ξ, η ∈ Ξ and κ ≥ 0, define (4) Then M is fuzzy metric on and is known as fuzzy metric space.

Definition 2.7. [8] Let us take the sequence {ξ_n} in a fuzzy metric space (Ξ, M, ❃). We say that the sequence {ξ_n} is said to be converges to a point ξ in the fuzzy metric space (Ξ, M, ❃), if (3)

Definition 2.8. [8] When each Cauchy sequence within a fuzzy metric space converges, we declare it to be complete.

Similarly, we can define the compactness on the fuzzy metric space. If every sequence in fuzzy metric has a convergent subsequence, the fuzzy metric space is said to be compact.

Definition 2.9. [8] Let (Ξ, M, ❃) be a fuzzy metric space and we define a self mapping ϑ defined on Ξ into itself. We say that ϑ is fuzzy contraction if (4)

Theorem 2.5. [8] We assume that (Ξ, M, ❃) be a complete fuzzy metric space, and define a self mapping ϑ: Ξ → Ξ, which satisfy the condition (4). Then the self mapping ϑ have a unique fixed point.

3 Primary results on fuzzy Sehgal contraction

Let us start this section with the definition of Sehgal Fuzzy contraction in the fuzzy metric space.

Definition 3.1. Let us consider (Ξ, M, ❃), be a fuzzy metric space and a self mapping ϑ from Ξ into itself. The mapping ϑ is said to be Fuzzy Sehgal contraction if for each ξ in Ξ, there exist a natural number n(ξ), such that ∀ y ∈ Ξ and ℏ ∈ (0, 1)(5)

Now, we are equipped with all basic tools. Now, move to our main results.

Theorem 3.1. Let us take a complete fuzzy metric space (Ξ, M, ❃), such that Define a self mapping ϑ from Ξ into itself, which is continuous and satisfy condition (5), then the mapping ϑ has a unique fixed point ξ in Ξ, and ϑⁿ(ξ₀) → ξ, for each ξ₀ in Ξ.

Proof. Let us take an element ξ₀ from the complete fuzzy metric space Ξ, and m₀ = n(ξ₀), such that , and by the induction, we say m_i = n(ξ_i) such that . Here, our aim to show that the sequence {ξ_n} is convergent in fuzzy metric space Ξ. So, we first shoe the sequence {ξ_n} is cauchy in Ξ.Now, take ξ_n+p, ξ_n and we have by applying the triangular inequality in fuzzy metric spaceThis demonstrates that the sequence ξ_n exhibits Cauchy behavior within Ξ. As, Ξ is the complete fuzzy metric, the sequence {ξ_n} is converges to a point ξ in Ξ. Since, ϑ is continuous, and we assume that ϑ(ξ) ≠ ξ, then there is different closed neighborhoods and , such that and andHence, M(ϑ(ξ_n), ξ_n, κ) → 1. This means that the lim_n→∞ ϑ(ξ_n) = lim_n→∞(ξ_n), from this we get the fixed point ξ of ϑ in Ξ.

Next, we establish the uniqueness of the fixed point within Ξ. Take two distinct fixed points ξ, η in Ξ, such that ϑ(ξ) = ξ and ϑ(η) = η, such thatNow, as n tends to infinity we get ξ = η, which complete our result. For, sufficiently large number n, we have n = α ⋅ n(ξ) + c, with α > 0, 0 ≤ c < n(ξ), thenbuy this we get ϑⁿ(ξ₀) tends to ξ, whenever n tends to ∞.

Now, we will omit the continuity condition to prove the above result. The subsequent lemma plays a crucial role within this context.

Lemma 3.2. Let a fuzzy metric space (Ξ, M, ❃) and a self mapping ϑ: Ξ → Ξ. If we take a subset of Ξ, with . Then there exist and a natural number n(ξ), such that ϑ^n(ξ) = ξ and ϑ satisfy the condition (5) (Fuzzy Sehgal Contraction), then ξ represent a fixed point of ϑ in which is unique and ϑⁿ(η₀) → ξ, for each η₀ in .

Proof. Since, ξ is a fixed point of ϑ^n(ξ) and ϑ is satisfy the Fuzzy Sehgal contraction condition, that gives ξ is the unique fuzzy fixed point of ϑ in Then ϑ(ξ) = ϑ(ϑ^n(ξ)(ξ)) = ϑ^n(ξ)(ϑ(ξ)) Now,So, whenever n → ∞, for all κ ∈ (0, 1), its gives ϑ(ξ) = ξ. The calculation for Uniqueness and ϑ → ξ are similar to previous theorem.

Theorem 3.3. Let us take a complete fuzzy metric space (Ξ, M, ❃), and a self mapping ϑ from Ξ into itself, and subset of Ξ, such that and ϑ satisfy the fuzzy sehgal contraction condition and for some , . Then there exist a unique fuzzy fixed point ξ in and ϑⁿ(η₀) → ξ, for each η₀ in . If ϑ satisfy fuzzy sehgal contraction (5) in Ξ, the result holds in Ξ.

Proof. The convergence of the sequence ξ_n to a point ξ in , similar as in theorem (3.1). So, that ξ_n → ξ in , thus there exist a natural number n(ξ) such that the ϑ satisfy the fuzzy sehgal contraction (5), for each . So, its gives ϑ^n(ξ)(ξ_n) → ξ, by simple calculation we get ϑ^n(ξ)(ξ) = ξ, then by Lemma (3.2), ξ is unique fuzzy fixed point of ϑ in , and ϑⁿ(η₀) → ξ, for each .

Similarly, if ϑ satisfy fuzzy sehgal contraction (5), in Ξ, the result holds in Ξ.

Example 3.4. Let us take Ξ = [0, 1], with the fuzzy metric , for all κ > 0, with continuous t-norm “❃”. Taking a self mapping ϑ: Ξ → Ξ, Here we write and we define the self mapping for each N = 1, 2, 3, 4, ⋯, defined by:

We see that ϑ is clearly non-decreasing and continuous function. Here we chose and η ∈ Ξ, we chose . If then , and for then . Now, by simple calculation we can calculate By this we get,

But if we chose then and for then , from these we getand we see that So, its clearly that’s gives that So, ϑ is not contraction. Now, and ϑ²(2^ℵ+4), then we can find so, that So, ϑ² is a fuzzy contraction. Therefore, we can say ϑ is Fuzzy Sehgal Contraction and there is a unique fixed point of ϑ is 0.

A detailed analysis can be seen in the table the following Table 1, which shows that our results’ convergence rate is significantly faster than that of the Picard operator’s. We have selected an initial guess, x₀ = 1 and chose n = 1, and agreed to attain accuracy up to six decimal places.

[Figure omitted. See PDF.]

We present a graphically representation of convergence comparison of the sequences produced by Picard and Sehgal in Fig 1. as follows:

[Figure omitted. See PDF.]

4 Application

When the metric space under investigation is a function space, the applications of fixed point theorems become especially intriguing. In this context, we use Theorem 3.1 to investigate the existence and uniqueness of the Volterra integral equation.

If Υ is a continuous function defined on the space [a, b] × [a, b], and ϕ is continuous on the interval [a, b], then the Volterra equation is defined as:(6)where Λ is the parameter.

Theorem 4.1. For each , the Volterra equation (6) has a unique solution that is continuous on [a, b].

Proof. Let Ξ = C[a, b] the set of all continuous real-valued functions defined on [a, b] with the metric . Since Υ is continuous, there exist a constant ζ > 0 such that |Υ(ξ, η)| ≤ ζ for all ξ, η ∈ [a, b]. Define a transformation on Ξ by(7)for all ξ, η ∈ Ξ, we havewe getFrom this we getthis impliesWhich shows that Volterra integral equation has a unique solution.

5 Conclusion

In this work we have introduced the Sehgal fuzzy contraction and established some fixed point results in fuzzy complete metric space. We have proved results using continuity condition and also omitting the continuity condition. We have constructed a non-trivial example to validate our result. Additionally, we carefully analyzed the sequence in our findings using both numerical and graphical methods in order to compare its convergence with the Picard operator. A detailed graphical comparison has been conducted. The outcomes clearly show that our method has a higher rate of convergence than the Picard method.Finally, we applied our methodology to establish the existence and uniqueness of solutions for the Volterra integral equation, thereby enhancing the robustness of our findings.

5.1 Future direction

In the future, we plan to enhance the efficiency of contractions further. Additionally, we aim to validate these results across various spaces and for different types of mappings.

Citation: Zahid M, Ud Din F, Shah K, Abdeljawad T (2024) Fuzzy fixed point approach to study the existence of solution for Volterra type integral equations using fuzzy Sehgal contraction. PLoS ONE 19(6): e0303642. https://doi.org/10.1371/journal.pone.0303642

About the Authors:

Muhammad Zahid

Roles: Data curation, Software, Writing – original draft, Writing – review & editing

Affiliation: Abdus Salam School of Mathematical Sciences, Government College University, Lahore, Pakistan

Fahim Ud Din

Roles: Investigation, Methodology, Supervision, Validation, Visualization, Writing – review & editing

E-mail: [email protected] (FUD); [email protected] (TA)

Affiliation: Abdus Salam School of Mathematical Sciences, Government College University, Lahore, Pakistan

ORICD: https://orcid.org/0000-0002-9623-6629

Kamal Shah

Roles: Formal analysis, Funding acquisition, Validation, Visualization

Affiliations: Department of Mathematics and Sciences, Prince Sultan University, Riyadh, Saudi Arabia, Department of Mathematics, University of Malakand, Chakdara, Dir(L), KPK, Pakistan

ORICD: https://orcid.org/0000-0002-8851-4844

Thabet Abdeljawad

Roles: Conceptualization, Formal analysis, Funding acquisition

E-mail: [email protected] (FUD); [email protected] (TA)

Affiliations: Department of Mathematics and Sciences, Prince Sultan University, Riyadh, Saudi Arabia, Department of Medical Research, China Medical University, Taichung, Taiwan, Department of Mathematics and Applied Mathematics School of Science and Technology, Sefako Makgatho Health Sciences University, Ga-Rankuwa, South Africa

ORICD: https://orcid.org/0000-0002-8889-3768

References

1. Banach S. Sur les oprations dans les ensembles abstraits et leur applications aux équations intégrales. Fundam. Math. 1922; 3: 133–181.

2. Bryant V. W. A remark on a fixed point theorem for itereted mappings. Am. Math. Mon. 1968; 76: 399–400.

3. Sehgal V. M. A fixed point theorem for mapping with a contractive iterate Proc. Amer. Math. Soc. 1969; 23, 631–634.

4. Guseman L. F. Fixed point theorem for mapping with a contractive iterate at a point Proc. Amer. Math. Soc. 1970; 26(4): 615–618.

5. Zadeh L. A. Fuzzy sets. Information and Control, 1965; 8(3): 338–353.

6. Karmosil J., Michalek J. Fuzzy metric and statical metric spaces. Kybernetika 1975; 11: 334–336.

7. Schweizer B., Sklar A. Statistical metric space. Pacific J. Math. 1960; 10: 314–334.

8. Grabiec M. Fixed points in fuzzy metric spaces. Fuzzy sets and system 1988: 27(3): 385–389.

9. Younis M., Abdou A. A. Novel fuzzy contractions and applications to engineering science. Fractal and Fractional. 2023; 8(1): 28.

10. Younis M., Ahmad H., Chen L., Han M. Computation and convergence of fixed points in graphical spaces with an application to elastic beam deformations. Journal of Geometry and Physics. 2023; 192: 104955.

11. Younis M., Ahmad H., Shahid W. Best proximity points for multivalued mappings and equation of motion. Journal of Applied Analysis and Computation. 2024;14(1):298–316.

12. Baleanu D., Khan H., Jafari H., and Khan R. A. On the exact solution of wave equations on cantor sets. Entropy. 2015; 17(9): 6229–6237.

13. Jamal N., Sarwar M., Mlaiki N., and Aloqaily A. Solution of linear correlated fuzzy differential equations in the linear correlated fuzzy spaces. AIMS Mathematics. 2024; 9(2): 2695–2721.

14. Uddin F., Ishtiaq U., Javed K., Aiadi S. S., Arshad M., Souayah N., et al. A New Extension to the Intuitionistic Fuzzy Metric-like Spaces. Symmetry. 2022; 14(7): 1400.

15. Frechet M. M. Sur quelques points du calcul fonctionnel. Rendiconti del Circolo Matematico di Palermo. 1906; 22: 1–72.