Fixed point results for ℑ-Contractions in JS-generalized metric spaces with an application

TL;DR

This paper introduces new fixed point theorems for ℑ-contractions in generalized metric spaces and applies them to solve a differential equation in an RLC circuit.

Contribution

The paper introduces novel fixed point theorems for ℑ-contractions in JS-generalized metric spaces.

Findings

Fixed point theorems for ℑ-contractions are established in JS-generalized metric spaces.

An existence result for the solution of an RLC circuit’s current differential equation is derived using the fixed point results.

Abstract

The goal of this work is to establish ℑ-contractions and to show some novel fixed point theorems for these contractive conditions in the setting of generalized metric spaces in the sense of Jleli and Samet. Finally, using proven fixed point results, an existence result for a solution of the RLC circuit’s current differential equation is established.

Figures

RLC series circuit.

Full text

1 Introduction

The Banach fixed point theorem [1] served as the inspiration for metric fixed point theory. Because this approach has many applications in several disciplines, many authors have expanded it in many ways [2–5]. Wardowski [6] provides one such astonishing and significant generalization. He introduced the notion of ℑ-contraction as follows:

Definition 0.1. Let (z, m) be a metric space. A mapping ξ: z → z is said to be an ℑ-contraction, if there is ℑ ∈ Δ(ℑ) and λ > 0 such that for all x, y ∈ z

$$[eqn]$$

where Δ(ℑ) is the family of all mappings $[eqn]$ obeying the following conditions:

(ℑ_1_) ℑ(x) < ℑ(y) for all x < y;(ℑ_2_) for all sequences {η_p_} ⊆ (0, + ∞), lim_p→∞_ η_p_ = 0, if and only if lim_p→∞_ ℑ(η_p_) = −∞;(ℑ_3_) there exists 0 < ℓ < 1 such that $[eqn]$ η^ℓ^ℑ(η) = 0.

Wardowski’s result is given as follows:

THEOREM 0.1 [6]. Let (z, m) be a complete metric space and ξ: z → z be ℑ-contraction. Then x* ∈ z is a unique fixed point of ξ and for each x_0_ ∈ z the sequence $[eqn]$ is convergent to x*.

In [7], Secelean demonstrated that condition (ℑ_2_) may be overtaken by an equivalent and simpler one.

( $[eqn]$ ) $[eqn]$ ℑ(t) = −∞.

Lemma 0.1. Let $[eqn]$ be a function obeying (ℑ_1_) and ( $[eqn]$ ), then for all sequence {t_p_} ⊆ (0, ∞)

$$[eqn]$$

Following that, Piri and Kumam [8] established Wardowski’s theorem utilising ( $[eqn]$ ) and the continuity of ℑ rather than (ℑ_2_) and (ℑ_3_), respectively. Wardowski [9] later proved a fixed point theorem for ℑ-contractions when λ is treated as a function. Recently, other authors demonstrated (in various methods) Wardowski’s original results in the absence of both criterias (ℑ_2_) and (ℑ_3_) (see, [10, 11]. To more in this direction, consult [12–15]. Very recently, Derouiche and Ramoul [16] used a relaxed version of (ℑ_2_) and also dropped (ℑ_3_) to establish some new fixed point results in the context of b-metric spaces.

On the other side, the concept of standard metric space is generalized in numerous ways (see [17–21]. Jleli and Samet [22] recapitulated a huge class of topological spaces by introducing the most prevailing generalizations of metric spaces namely JS-generalized metric spaces. More far, in [23], Karapinar et al. achieved fixed point theorems under very general contractive conditions and Altun et al. [24] proved a Feng-Liu’s type fixed point theorem in JS-generalized metric spaces. While, in [25], Dumitrescu and Pitea presented extensions of some classic results regarding the existence and uniqueness of fixed points of operators fulfilling generalized contractive conditions in the setting of JS-generalized metric spaces. Quite recently, Saleem et al. [26] proved some new fixed point theorems, coincidence point theorems and common fixed point theorems for multivalued ℑ-contractions in the framework of JS-generalized metric spaces. Afterwards, Iqbal et al. [27] derived the coincidence point and common fixed point results for ℑ-type mappings with regard to JS-generalized metric spaces.

A binary relation on z is a non-empty subset $[eqn]$ of the Cartesian product z × z. For ease of use, we designate $[eqn]$ if $[eqn]$ . The concepts of antisymmetry, preorder, reflexivity, transitivity, and partial order can be found in [28]. The trivial preorder on z is denoted by $[eqn]$ , and is given by $[eqn]$ for each x, y ∈ z. Here after, $[eqn]$ and $[eqn]$ demonstrate the set of real numbers and the set of non-negative integers, respectively. Let z be a non-empty set and J_d_: z × z → [0, ∞] be a given mapping. Following Jleli and Samet [22], for every x ∈ z, define the set

$$[eqn]$$

Definition 0.2 [22]. Let z be a non-empty set and J_d_: z × z → [0, ∞] be a function that complies with the following criteria for all x, y ∈ z:

(J_d1_) J_d_(x, y) = 0 implies x = y;(J_d2_) J_d_(x, y) = J_d_(y, x);(J_d3_) there exist κ > 0 such that (x, y) ∈ z × z, {x_p_} ∈ J_d_, z, x) implies

$$[eqn]$$

Then J_d_ is called a JS-generalized metric and the pair (z, J_d_) is called a JS-generalized metric space. We renamed it as κ-JS-generalized metric space (in short, a $[eqn]$ -MS).

Remark 0.1 [22]. If the set c(J_d_, z, x) is empty for every x ∈ z, then (z, J_d_) is a $[eqn]$ -MS if and only if (J_d1_) and (J_d2_) are satisfied.

Many examples of $[eqn]$ -MS can be found in [22, 23, 26].

Example 0.1 [22].

A modular metric space (z, ρ) is a $[eqn]$ -MS.A standard metric space is a $[eqn]$ -MS.A 2-metric space is a $[eqn]$ -MS.

Definition 0.3. [22] Let (z, J_d_) be a $[eqn]$ -MS and x ∈ z.

A sequence {x_p_} ⊆ z is said to be J_d_-convergent and J_d_-converges to x if {x_p_} ∈ J_d_, z, x). In such case, we will write $[eqn]$ a sequence {x_p_} ⊆ z is said to be J_d_-Cauchy if

$$[eqn]$$

A $[eqn]$ -MS (z, J_d_) is said to be complete if every J_d_-Cauchy sequence in z is J_d_-convergent.

Proposition 0.1 [22]. Let (z, J_d_) be a $[eqn]$ -MS, {x_p_} be a sequence in z and (x, y) ∈ z × z. If {x_p_} is J_d_-convergent and J_d_-converges to x and {x_p_} J_d_-converges to y, then x = y.

Remark 0.2. Jleli and Samet defined J_d_-Cauchy sequence as

$$[eqn]$$

Clearly, (5) implies (4), the opposite, however, need not be true [23]. From here on, we assume that J_d_-Cauchy sequences are given by (5).

Definition 0.4 [23]. Let (z, J_d_) be a $[eqn]$ -MS and ξ: z → z. For x_0_ ∈ z, denote δ(J_d_, ξ, x_0_), the J_d_-diameter of the orbit of x_0_ by ξ, $[eqn]$ , and is defined as,

$$[eqn]$$

Definition 0.5 [23]. Let $[eqn]$ be a binary relation on $[eqn]$ -MS (z, J_d_). A sequence {x_p_} ⊆ z is $[eqn]$ -non-decreasing if x_p_ $[eqn]$ x_p+1_ for each $[eqn]$ .

Definition 0.6 [23]. A $[eqn]$ -MS (z, J_d_) is called $[eqn]$ -non-decreasing complete if every $[eqn]$ -non-decreasing and J_d_-Cauchy sequence is J_d_-convergent in z.

Remark 0.3. Notice that every complete $[eqn]$ -MS is also $[eqn]$ -non-decreasing complete. As evidenced by the case below, the contrary is untrue.

Example 0.2. Let z = (0, 1] furnished with the Euclidean metric m(x, y) = |x − y| for each x, y ∈ z. Define a binary relation $[eqn]$ on z by

$$[eqn]$$

Then (z, m) is $[eqn]$ -non-decreasing complete, however, the metric space is not complete.

Definition 0.7 [23]. Let (z, J_d_) be a $[eqn]$ -MS. A mapping ξ: z → z is $[eqn]$ -non-decreasing-continuous at ν ∈ z if {ξx_p_} ∈ J_d_, z, sν) for each $[eqn]$ -non-decreasing sequence {x_p_} ∈ J_d_, z, ν). A mapping ξ is $[eqn]$ -non-decreasing-continuous if it is $[eqn]$ -non-decreasing-continuous at every point of z.

Remark 0.4. [23] Every continuous mapping is also $[eqn]$ -non-decreasing-continuous, while the reverse is generally false, as seen in Example 4.6 of [23].

By getting inspiration from the work of Karapinar et al. [23], here, we prove fixed point theorems for ℑ-contractions in the context of JS-generalized metric space.

2 Fundamental results

Let (z, J_d_) be a $[eqn]$ -MS and let ξ be a self-mapping on z. Throughout this section, we denote, for all x, y ∈ z,

$$[eqn]$$

Following [23], define for given $[eqn]$ ,

$$[eqn]$$

and

$$[eqn]$$

By the symmetry of J_d_, we can alternatively express

$$[eqn]$$

Notice that if $[eqn]$ satisfy q ≥ p, then

$$[eqn]$$

Lemma 1.1. Let (z, J_d_) be a $[eqn]$ -MS with a preorder $[eqn]$ and let ξ: z → z be an $[eqn]$ -non-decreasing mapping. Let x_0_ ∈ z be a point such that x_0_ and ξx_0_ are $[eqn]$ -comparable. Assume, there is a function $[eqn]$ such that

$$[eqn]$$

for x, y ∈ z satisfying $[eqn]$ and λ > 0. Then (11) holds for each $[eqn]$ .

Proof. Consider the Picard sequence $[eqn]$ of ξ based on x_0_. Suppose that $[eqn]$ . As ξ is $[eqn]$ -non-decreasing, then $[eqn]$ . Repeating this argument, we get, $[eqn]$ for every $[eqn]$ . Since $[eqn]$ is a preorder, then $[eqn]$ for all $[eqn]$ such that p ≤ q. Furthermore, as condition (11) is symmetric on x and y, then (11) holds for each x_p_ and x_q_ (being $[eqn]$ arbitrary), so it holds for each $[eqn]$ .

Lemma 1.2. Let (z, J_d_) be a $[eqn]$ -MS and let ξ: z → z be a mapping. Let x_0_ ∈ z be a point for which there exists $[eqn]$ such that $[eqn]$ . Assume, there is a non-decreasing function $[eqn]$ obeying

$[eqn]$ : ℑ(sup M) = sup ℑ(M) for all M ⊂ (0, ∞) with sup M > 0

and

$$[eqn]$$

for all $[eqn]$ and λ > 0. Then

$$[eqn]$$

In particular,

$$[eqn]$$

Proof. Let $[eqn]$ be such that ℓ ≥ p_0_. From (10), we have

$$[eqn]$$

Let $[eqn]$ be such that p ≥ q ≥ ℓ + 1. Denote

$$[eqn]$$

then

$$[eqn]$$

Hence

$$[eqn]$$

From (13) and (13), we obtain

$$[eqn]$$

By the virtue of $[eqn]$ and (14), we get

$$[eqn]$$

Continuing this argument and recognizing that ℑ is non-decreasing, we get for all $[eqn]$

$$[eqn]$$

3 Main results

THEOREM 2.1. Let (z, J_d_) be a $[eqn]$ -MS with a preorder $[eqn]$ and let ξ: z → z be an $[eqn]$ -non-decreasing mapping. Let x_0_ ∈ z be a point such that $[eqn]$ and $[eqn]$ for some $[eqn]$ . Assume, there is a non-decreasing function $[eqn]$ obeying $[eqn]$ , $[eqn]$ and (11) for all $[eqn]$ and λ > 0. Then the sequence $[eqn]$ based on x_0_ is $[eqn]$ -non-decreasing and J_d_-Cauchy sequence.

Furthermore, if (z, J_d_) is $[eqn]$ -non-decreasing-complete, then $[eqn]$ J_d_-converges to a point ν ∈ z that obeys

$$[eqn]$$

Additionally, if ξ is $[eqn]$ -non-decreasing-continuous, then ν = ξν.

Proof. Consider the Picard sequence $[eqn]$ of ξ based on x_0_. As shown in the proof of Lemma 1.1, $[eqn]$ is $[eqn]$ -non-decreasing. If ξ^p^x_0_ = ξ^q^x_0_, then J_d_(x_p_, x_q_) = 0 for every q, p ≥ p_0_. In particular,

$$[eqn]$$

Consider ξ^p^x_0_ ≠ ξ^q^x_0_ and $[eqn]$ for some $[eqn]$ , then by using Lemma 1.2, we have

$$[eqn]$$

Letting limit in (16) as p, q → ∞, we have

$$[eqn]$$

Taking into account of $[eqn]$ , we have

$$[eqn]$$

Hence $[eqn]$ J_d_-Cauchy sequence. Since (z, J_d_) is $[eqn]$ -non-decreasing-complete, there exists ν ∈ z such that $[eqn]$ . By using (J_d3_), we get

$$[eqn]$$

which implies J_d_(ν, ν) = 0.

Moreover, as we additionally assume that ξ is $[eqn]$ -non-decreasing-continuous, then

$$[eqn]$$

Proposition 0.1 guarantees that ξν = ν, so ν is a fixed point of ξ.

Example 2.1. Consider the function $[eqn]$ defined as

$$[eqn]$$

Then ℑ is non-decreasing and continuous but does not satisfies $[eqn]$ .

So, in next theorem, we replace the condition of $[eqn]$ by the continuity of ℑ in Theorem 2.1 and we denote by $[eqn]$ , the collection of all functions $[eqn]$ that are continuous and non-decreasing.

THEOREM 2.2. Let (z, J_d_) be a $[eqn]$ -MS with a preorder $[eqn]$ and let ξ: z → z be an $[eqn]$ -non-decreasing self-mapping. Let x_0_ ∈ z be a point such that $[eqn]$ , $[eqn]$ for some $[eqn]$ and the following holds true:

$$[eqn]$$

If there exists a function $[eqn]$ and λ > 0 such that inequality (11) holds for all $[eqn]$ , then the sequence $[eqn]$ based on x_0_ is $[eqn]$ -non-decreasing and J_d_-Cauchy sequence.

Furthermore, if (z, J_d_) is $[eqn]$ -non-decreasing-complete, then $[eqn]$ J_d_-converges to a point ν ∈ z that satisfies

$$[eqn]$$

Additionally, if ξ is $[eqn]$ -non-decreasing-continuous, then ν = ξν.

Proof. Consider the Picard sequence $[eqn]$ of ξ based on x_0_. As shown in the proof of Lemma 1.1, $[eqn]$ is $[eqn]$ -non-decreasing. If $[eqn]$ , then J_d_(x_p_, x_q_) = 0 for all q, p ≥ p_0_. In particular,

$$[eqn]$$

Consider $[eqn]$ and $[eqn]$ for some $[eqn]$ . Denote

$$[eqn]$$

then

$$[eqn]$$

Hence

$$[eqn]$$

Assume that $[eqn]$ for $[eqn]$ be an arbitrary such that ℓ ≥ p_0_. Then, by using inequalities (11) and (19) and continuity of ℑ, we obtain

$$[eqn]$$

a contradiction because λ > 0. Hence $[eqn]$ J_d_-Cauchy sequence. Since (z, J_d_) is $[eqn]$ -non-decreasing-complete, there is ν ∈ z such that $[eqn]$ . By using (J_d3_), we get

$$[eqn]$$

which implies J_d_(ν, ν) = 0.

Moreover, as we additionally assume that ξ is $[eqn]$ -non-decreasing-continuous, then

$$[eqn]$$

Proposition 0.1 guarantees that ξν = ν.

Example 2.2. Let z = [0, 1] ∪ {2} and let J_d_: z × z → [0, ∞] be a function defined by

$$[eqn]$$

Then (z, J_d_) is complete $[eqn]$ -MS (see [23]. Define a binary relation $[eqn]$ on z by

$$[eqn]$$

then $[eqn]$ is a preorder and (z, J_d_) is a preordered space. Let x_0_ = 0.25 ∈ z be a point such that 0 < x_0_ = 0.25 < 1 = ξ(0.25) = ξx_0_, then $[eqn]$ and

$$[eqn]$$

Also, $[eqn]$ and $[eqn]$ for any $[eqn]$ such that ℓ ≥ p_0_. Now Define ξ: z → z and ℑ: (0, ∞) → (−∞, ∞) by

$$[eqn]$$

respectively, then ℑ is continuous and non-decreasing function. Let $[eqn]$ such that ξx ≠ ξy, then there arises two cases:

Case 1: When x = 0.25, y = 0.5, then there exists λ = 0.25 > 0 such that

$$[eqn]$$

Case 2: When x = 0.25, y = 1, then there exists λ = 0.25 > 0 such that

$$[eqn]$$

This show that ℑ satisfies (11) for all $[eqn]$ . Thus, all hypotheses of Theorem 2.2 hold true and {0, 0.5} is the set of all fixed points of ξ.

4 Consequences

In this section, we find more results involving stronger contractive conditions.

Corollary 3.1. Let (z, J_d_) be a $[eqn]$ -MS with a preorder $[eqn]$ and let ξ: z → z be an $[eqn]$ -non-decreasing mapping. Let x_0_ ∈ z be a point such that $[eqn]$ and $[eqn]$ for some $[eqn]$ . Assume there is b ∈ (0, 1) such that

$$[eqn]$$

for all $[eqn]$ . Then the sequence $[eqn]$ based on x_0_ is $[eqn]$ -non-decreasing and J_d_-Cauchy sequence.

Furthermore, if (z, J_d_) is $[eqn]$ -non-decreasing-complete, then $[eqn]$ J_d_-converges to a point ν ∈ z that meets

$$[eqn]$$

Additionally, if ξ is $[eqn]$ -non-decreasing-continuous, then ν = ξν.

Proof. Define $[eqn]$ by ℑ(s) = ln s for all s ∈ (0, ∞). Put $[eqn]$ . Inequality (26) implies (11). Hence, all of the requirements of Theorem 2.1 have been met, and the proof is concluded.

Corollary 3.2. Let (z, J_d_) be a $[eqn]$ -MS with a preorder $[eqn]$ and let ξ: z → z be an $[eqn]$ -non-decreasing mapping. Let x_0_ ∈ z be a point such that $[eqn]$ and $[eqn]$ for some $[eqn]$ . Assume, there is a non-decreasing function ℑ: (0, ∞) → (−∞, ∞) fulfilling $[eqn]$ , $[eqn]$

$$[eqn]$$

for λ > 0. Then the sequence $[eqn]$ based on x_0_ is $[eqn]$ -non-decreasing and J_d_-Cauchy sequence.

Furthermore, if (z, J_d_) is $[eqn]$ -non-decreasing-complete, then $[eqn]$ J_d_-converges to a point ν ∈ z that meets

$$[eqn]$$

Additionally, if ξ is $[eqn]$ -non-decreasing-continuous, then ν = ξν.

Proof. Let the contractivity condition (27) hold for all x, y ∈ z such that $[eqn]$ , then Lemma 1.1 guarantees that it also holds for $[eqn]$ . So due to Theorem 2.1, we obtained the result.

Corollary 3.3. Let (z, J_d_) be a $[eqn]$ -MS with a preorder $[eqn]$ and let ξ: z → z be an $[eqn]$ -non-decreasing mapping. Let x_0_ ∈ z be a point such that $[eqn]$ , $[eqn]$ for some $[eqn]$ and the following holds true:

$$[eqn]$$

If there exists a function $[eqn]$ and λ > 0 fulfilling the inequality (27), then the sequence $[eqn]$ based on x_0_ is $[eqn]$ -non-decreasing and J_d_-Cauchy sequence.

Furthermore, if (z, J_d_) is $[eqn]$ -non-decreasing-complete, then $[eqn]$ J_d_-converges to a point ν ∈ z that meets

$$[eqn]$$

Additionally, if ξ is $[eqn]$ -non-decreasing-continuous, then ν = ξν.

Proof. By using the same reason as in the proof of Corollary 3.2, Theorem 2.2 gives the result.

Corollary 3.4. Let (z, J_d_) be a $[eqn]$ -MS with a partial order ≪ and let ξ: z → z be an ≪-non-decreasing mapping. Let x_0_ ∈ z be a point such that x_0_ ≪ ξx_0_ and $[eqn]$ for some $[eqn]$ . Assume, there is a non-decreasing function ℑ: (0, ∞) → (−∞, ∞) satisfying $[eqn]$ , $[eqn]$ and (11) for all $[eqn]$ and λ > 0. Then, the sequence $[eqn]$ based on x_0_ is ≪-non-decreasing and J_d_-Cauchy sequence.

Furthermore, if (z, J_d_) is ≪-non-decreasing-complete, then $[eqn]$ J_d_-converges to a point ν ∈ z that meets

$$[eqn]$$

Additionally, if ξ is ≪-non-decreasing-continuous, then ν = ξν.

Proof. Due to the fact that a partial order ≪ is a preorder $[eqn]$ , the conclusion is reached by applying Theorem ref 2.1.

Corollary 3.5. Let (z, J_d_) be a $[eqn]$ -MS with a partial order ≪ and let ξ: z → z be an ≪-non-decreasing mapping. Let x_0_ ∈ z be a point such that x_0_ ≪ ξx_0_, $[eqn]$ for some $[eqn]$ and the following holds true:

$$[eqn]$$

If there exists a function $[eqn]$ and λ > 0 fulfilling the inequality (11) for all $[eqn]$ , then the sequence $[eqn]$ based on x_0_ is ≪-non-decreasing and J_d_-Cauchy sequence.

Furthermore, if (z, J_d_) is ≪-non-decreasing-complete, then $[eqn]$ J_d_-converges to a point ν ∈ z that meets

$$[eqn]$$

Additionally, if ξ is ≪-non-decreasing-continuous, then ν = ξν.

Proof. Due to the fact that a partial order ≪ is a preorder $[eqn]$ , the conclusion is reached by applying Theorem ref 2.2.

Corollary 3.6. Let (z, J_d_) be a $[eqn]$ -MS with a preorder $[eqn]$ and let ξ: z → z be an $[eqn]$ -non-decreasing mapping. Let x_0_ ∈ z be a point such that $[eqn]$ and $[eqn]$ for some $[eqn]$ . Assume, there is a non-decreasing function ℑ: (0, ∞) → (−∞, ∞) satisfying $[eqn]$ , $[eqn]$ and

$$[eqn]$$

for all $[eqn]$ with ξx ≠ ξy and λ > 0. Then the sequence $[eqn]$ based on x_0_ is $[eqn]$ -non-decreasing and J_d_-Cauchy sequence.

Furthermore, if (z, J_d_) is $[eqn]$ -non-decreasing-complete, then $[eqn]$ J_d_-converges to a point ν ∈ z that satisfies

$$[eqn]$$

Additionally, if ξ is $[eqn]$ -non-decreasing-continuous, then ν = ξν.

Proof. Since $[eqn]$ for all s, r ∈ [0, ∞], so inequality (28) implies inequality (11) and Theorem 2.1 leads to the conclusion.

Corollary 3.7. Let (z, J_d_) be a $[eqn]$ -MS with a preorder $[eqn]$ and let ξ: z → z be an $[eqn]$ -non-decreasing mapping. Let x_0_ ∈ z be a point such that $[eqn]$ and $[eqn]$ for some $[eqn]$ . Assume, there is a continuous non-decreasing function ℑ: (0, ∞) → (−∞, ∞) obeying

$$[eqn]$$

for all $[eqn]$ with ξx ≠ ξy, λ > 0 and the following:

$$[eqn]$$

Then the sequence $[eqn]$ based on x_0_ is $[eqn]$ -non-decreasing and J_d_-Cauchy sequence.

Furthermore, if (z, J_d_) is $[eqn]$ -non-decreasing-complete, then $[eqn]$ J_d_-converges to a point ν ∈ z that obeys

$$[eqn]$$

Additionally, if ξ is $[eqn]$ -non-decreasing-continuous, then ν = ξν.

Proof. Since $[eqn]$ for all s, r ∈ [0, ∞], so inequality (28) implies inequality (11) and the result follows from Theorem 2.2.

Remark 3.1. Theorem 2.1, Theorem 2.2 and Corollaries 3.1-3.7 remain true if we do one or more of the following changes in their statement:

exchange the $[eqn]$ -non-decreasing-completeness of (z, J_d_) by the completeness of (z, J_d_);exchange the $[eqn]$ -non-decreasing-continuity of ξ by continuity;exchange the preorder $[eqn]$ by the trivial preorder $[eqn]$ given by $[eqn]$ for all x, y ∈ z;exchange, in the contractivity condition, for all $[eqn]$ by for all x, y ∈ z such that $[eqn]$ ;exchange the $[eqn]$ -MS by any of the abstract metric spaces that could be considered as a $[eqn]$ -MS: b-metric spaces, modular spaces, and standard metric spaces.exchange the contractivity condition (11) by

$$[eqn]$$

for every $[eqn]$ with ξx ≠ ξy.

5 Existence of solution to RLC circuit’s current differential equation

A tuning circuit is a mathematical representation of the electric current in an RLC parallel circuit to present with a rudimentary knowledge of how light is converted into electricity. Consider the following series of electric circuit (Fig 1), which includes a resistor R, a capacitor C, an inductor L, a voltage V, and an electromotive force E. With the aid of Kirchhoff’s Voltage Law, related problems are mathematically modelled as initial value problems for second order ordinary differential equations of the form:

$$[eqn]$$

where V_ν_(t) = V.

RLC series circuit.

In this part, we demonstrate the existence of the solution to the RLC differential equation (26). The problem (26) is identical to the following integral equation (see [29, 30]:

$$[eqn]$$

where $[eqn]$ is a monotonically non-decreasing function for all g ∈ [0, 1] and $[eqn]$ is the Green function defined as

$$[eqn]$$

τ is a constant computed in terms of R and L. Let $[eqn]$ be the space of all continuous real valued functions on J, where J = [0, 1]. Then z is a complete metric space with respect to the metric $[eqn]$ and so z is $[eqn]$ -MS for κ = 1. Hereafter, we assume that (z, J_d_) is a $[eqn]$ -MS with canonical preorder ≤ and (z, J_d_) is ≤-non-decreasing-complete. Define the operator ℵ: z → z as follows:

$$[eqn]$$

A fixed point of operator (29) is the solution of problem (26). We take into account the following hypotheses:

(H1) $[eqn]$ : J^2^ → [0, ∞) is a continuous function;(H2) |ℏ(t, q(t)) − ℏ(t, p(t))| ≤ |q(t) − p(t)| + 1 for all t ∈ [0, 1];(H3) $[eqn]$ ;(H4) ℵ is ≤-non-decreasing continuous.

THEOREM 4.1. Suppose that hypothesis (H1)-(H4) hold. Then, the initial value problem (26) has a common solution in z.

Proof. Firstly, note that for $[eqn]$ for all $[eqn]$ , inequality (11) is equivalent to the following for all x, y ∈ z:

$$[eqn]$$

Next, for all $[eqn]$ and t ∈ J, we have

$$[eqn]$$

This implies that

$$[eqn]$$

From (H3) and (31), we have

$$[eqn]$$

Hence (11) is satisfied for $[eqn]$ . Thus, all hypotheses of Theorem 2.2 are satisfied and therefore differential Eq (26) has a solution in J.

6 Conclusion

In this work, we establish ℑ-contractions and show some fixed point theorems for these contractive conditions in the JS-generalized metric spaces. Finally, we proved fixed point results, an existence result for the solution of the RLC circuit’s current differential equation is also established.