Fixed-Point Results for a Generalized Almost (s, q)—Jaggi F-Contraction-Type on b—Metric-Like Spaces

Abstract

The purpose of this article is to present a new generalized almost $(s,q)-$Jaggi $F-$contraction-type and a generalized almost $(s,q)-$Jaggi $F-$Suzuki contraction-type and some results in related fixed point on it in the context of $b-$metric-like spaces are discussed. Also, we support our theoretical results with non-trivial examples. Finally, applications to find a solution for the electric circuit equation and second-order differential equations are presented and an strong example is given here to support the first application.

1. Introduction

Mathematical models can take many forms, including dynamical systems, statistical models, differential equations and game theoretic models and real world problems. In various branches of mathematics, The existence of solution for these matters has been checked, for example, differential equations, integral equations, functional analysis, etc. Fixed point technique is one of these methods to find the solution of these problems. So this technique has many applications not only is limited to mathematics but also occurs in various sciences, such that, economics, biology, chemistry, computer science, physics, etc. More clearly, for example, In economics, this technique is applied to find the solution of the equilibrium problem in game theory.

Problems in the nonlinear analysis are solved by a popular tool called Banach contraction principle. This principle appeared in Banach’s thesis [1], where it was used in proving the existence and uniqueness of solution of integral equations, it stated as: A nonlinear self mapping $\mathsf{\Gamma }$ on a metric space $(\mathsf{\Omega },d)$ is called a Banach contraction if there exists $\delta \in [0,1)$ such that

$$d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\le \delta d(\kappa ,\mu ),\forall \kappa ,\mu \in \mathsf{\Omega }.$$

(1)

Notice that the contractive condition (1) is satisfied for all $\kappa ,\mu \in \mathsf{\Omega }$ which forces the mapping $\mathsf{\Gamma }$ to be continuous, while it is not applicable in case of discontinuity. In view of the applicability of contraction principle this is the major draw-back of this principle. Many authors attempted to overcome this drawback (see, for example [2,3,4]).

In 1989, one of the interesting generalizations of this basic principle was given by Bakhtin [5] (and also Czerwik [6], 1993) by introducing the concept of $b-$metric spaces. For fixed point results in $b-$metric spaces. See [7,8,9,10,11,12,13,14].

In 2010, the concept of a $b-$metric-like initiated by Alghamdi et al. [9] as an extension of a $b-$metric. They studied some related fixed point consequences concerning with this space. Recently, many contributions on fixed points results via certain contractive conditions in mentioned spaces are made (for example, see [15,16,17,18,19,20]).

In 2012, a new contraction called $F-$contraction-type is presented by Wardowski [21], where $F:R^{+}\to R$. By this style, recent fixed point results and strong examples to obtain a different type of contractions are discussed.

Definition 1

([21]). A mapping $\mathsf{\Gamma }:\mathsf{\Omega }⟶\mathsf{\Omega }$ defined on a metric space $(\mathsf{\Omega },d)$, is called an $F-$contraction if there is $F\in \mathsf{\Sigma }$ and $\tau >0$ such that

$$d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )>0\mathit{implies}\tau +F\left(d\right(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu \left)\right)\le F\left(d\right(\kappa ,\mu \left)\right),\forall \kappa ,\mu \in \mathsf{\Omega },$$

(2)

where Σ is the set of functions $F:(0,+\infty )\to \mathbb{R}$ satisfying the following assumptions:

$\left({\Im }_1\right)$ F is strictly increasing, i.e., for all $a,b\in {\mathbb{R}}^{+}$ such that $a<b,$ $F\left(a\right)<F\left(b\right);$

$\left({\Im }_2\right)$ For every sequence ${\left\{a_n\right\}}_{n\in N}$ of positive numbers, ${lim}_{n\to \infty }{a}_n=0$ iff ${lim}_{n\to \infty }F\left(a_n\right)=-\infty ;$

$\left({\Im }_3\right)$ There exists $\mu \in (0,1)$ such that ${lim}_{a\to 0^{+}}{a}^{{}_{\mu }}F\left(a\right)=0.$

The following functions $F_a:(0,+\infty )⟶\mathbb{R}$ for $a\in \{1,2,3,4\},$ are the elements of $\mathsf{\Sigma }$. Furthermore, substituting these functions in (2), Wardowski obtained the following contractions:

$$\begin{array}{cc}\left(1\right)F_1\left(\theta \right)=ln\left(\theta \right),\hfill & \frac{d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )}{d(\kappa ,\mu )}\le e^{-\tau },\hfill \\ \left(2\right)F_2\left(\theta \right)=ln\left(\theta \right)+\theta ,\hfill & \frac{d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )}{d(\kappa ,\mu )}\le e^{-\tau +d(\kappa ,\mu )-d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )},\hfill \\ \left(3\right)F_3\left(\theta \right)=\frac{-1}{\sqrt{\theta }},\hfill & \frac{d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )}{d(\kappa ,\mu )}\le \frac{1}{{\left(1+\tau \sqrt{d(\kappa ,\mu )}\right)}^2}\hfill \\ \left(4\right)F_4\left(\theta \right)=ln({\theta }^2+\theta ),\hfill & \frac{d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )(1+d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu \left)\right)}{d(\kappa ,\mu )(1+d(\kappa ,\mu \left)\right)}\le e^{-\tau }.\hfill \end{array}$$

for all $\kappa ,\mu \in \mathsf{\Omega }$ with $\theta >0$ and $\mathsf{\Gamma }\kappa \ne \mathsf{\Gamma }\mu .$

Remark 1.

It follows from (2) that

$$d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )<d(\kappa ,\mu ),\mathit{for}\mathit{all}\kappa ,\mu \in \mathsf{\Omega },$$

this means that Γ is contractive with $\mathsf{\Gamma }\kappa \ne \mathsf{\Gamma }\mu$. Hence, if the mapping is $F-$contraction, then it continuous.

Remark 2

([22]). For $p>1$ and $\theta >0,$ the function $F\left(\theta \right)=\frac{-1}{\sqrt[p]{\theta }}$ belong to $\mathsf{\Sigma }.$

In a different way to generalize the Banach contraction principle, Wardowski [21] established the following theorem:

Theorem 1

([21]). Suppose that $(\mathsf{\Omega },d)$ is a complete metric space and Γ is a self-mapping on it satisfying the condition (2). Then there exists a unique fixed point ${\kappa }^{*}$ of $\mathsf{\Gamma }.$ As well as, the sequence ${\left\{{\mathsf{\Gamma }}^n{\kappa }_{\circ }\right\}}_{n\in \mathbb{N}}$ is convergent to ${\kappa }^{*}$, for any ${\kappa }_{\circ }\in \mathsf{\Omega }.$

The Wardowski-contraction is extended by many authors such as Abbas et al. [23] to give certain fixed point results, Batra et al. [24,25], to generalize it on graphs and alter distances, and Cosentino and Vetro [26] to introduce some fixed point consequences for Hardy-Rogers-type self-mappings in ordered and complete metric spaces.

In 2014, some fixed point consequences proved via the notion of an $F-$Suzuki contraction by Piri and Kumam [27]. This concept is stated as follows:

Definition 2

([27]). Let $(\mathsf{\Omega },d)$ be a complete metric space and a mapping $\mathsf{\Gamma }:\mathsf{\Omega }\to \mathsf{\Omega }$ is called $F-$Suzuki contraction if there exists $F\in \mathsf{\Sigma }$, and $\tau >0$ such that

$$\frac{1}{2}d(\kappa ,\mathsf{\Gamma }\kappa )<d(\kappa ,\mu )\Rightarrow \tau +F\left(d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\right)\le F\left(d(\kappa ,\mu )\right),\forall \kappa ,\mu \in \mathsf{\Omega },$$

with $\mathsf{\Gamma }\kappa \ne \mathsf{\Gamma }\mu .$

In 1975, Jaggi [28] defined the concept of a generalized Banach contraction principle as follows:

Definition 3.

Let $(\mathsf{\Omega },d)$ be a complete metric space. A continuous self-mapping Γ on a set Ω is called Jaggi contraction-type if

$$d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\le \alpha \frac{d(\kappa ,\mathsf{\Gamma }\kappa ).d(\mu ,\mathsf{\Gamma }\mu )}{d(\kappa ,\mu )}+\beta d(\kappa ,\mu ),$$

for all $\kappa ,\mu \in \mathsf{\Omega },$$\kappa \ne \mu$ and for some $\alpha ,\beta \in [0,1)$ with $\alpha +\beta <1.$

Recently, the same author [29], extended his above result on $b-$metric-like spaces as follows:

Definition 4.

Let $(\mathsf{\Omega },\varpi )$ be a $b-$metric-like space with parameter $s\ge 1$. A nonlinear self-mapping Γ on a set Ω is called $(s,q)-$Jaggi contraction type if it satisfies the following condition

$$s^q\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\le \alpha \frac{\varpi (\kappa ,\mathsf{\Gamma }\kappa ).\varpi (\mu ,\mathsf{\Gamma }\mu )}{\varpi (\kappa ,\mu )}+\beta \varpi (\kappa ,\mu ),$$

for all $\kappa ,\mu \in \mathsf{\Omega },$ whenever $\varpi (\kappa ,\mu )\ne 0,$ where $\alpha ,\beta \in [0,1)$ with $\alpha +\beta <1$ and for some $q\ge 1.$

In addition, Berinde [30] introduced the notion of almost contraction by generalized the Zamfirescu fixed point theorem, his result incorporated as follows:

Definition 5.

Let Γ be a nonlinear self-mapping on a complete metric space $(\mathsf{\Omega },d).$ Then it called Ciric almost contraction, if there exists $\delta \in [0,1)$ and $\exists L\ge 0$ such that

$$d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\le \delta d(\kappa ,\mu )+Ld(\mu ,\mathsf{\Gamma }\kappa ),$$

(3)

for all $\kappa ,\mu \in \mathsf{\Omega },$ $\kappa \ne \mu .$

After that, the same author [31] extended the contraction (3) and obtained some related fixed point results on complete metric spaces as follows:

Theorem 2.

Let $(\mathsf{\Omega },d)$ be a complete metric space and a self-mapping Γ on the set Ω be a Ciric almost contraction, if there exist $\alpha \in [0,1)$ and $\exists L\ge 0$ such that

$$d(\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\le \alpha M(\kappa ,\mu )+Ld(\mu ,\mathsf{\Gamma }\kappa )\mathit{for}\mathit{all}\kappa ,\mu \in \mathsf{\Omega },$$

where $M(\kappa ,\mu )=max\left\{d\right(\kappa ,\mu ),d(\kappa ,\mathsf{\Gamma }\kappa ),d(\mu ,\mathsf{\Gamma }\mu ),d(\kappa ,\mathsf{\Gamma }\mu ),d(\mu ,\mathsf{\Gamma }\kappa \left)\right\}.$ Then,

i. 

there is a non-empty fixed point of the mapping $\mathsf{\Gamma },$ i.e., $Fix\left(\mathsf{\Gamma }\right)\ne \varnothing ;$

ii. 

for any ${\kappa }_{\circ }=\kappa \in \mathsf{\Omega }$, $n\ge 0$ the Picard iteration ${\kappa }_{n+1}=\mathsf{\Gamma }{\kappa }_n$ converges to ${\kappa }^{*}\in Fix\left(\mathsf{\Gamma }\right);$

iii. 

The following estimate holds

$$d({\kappa }_n,{\kappa }^{*})\le \frac{{\alpha }^n}{{\left(1-\alpha \right)}^2}d(\kappa ,\mathsf{\Gamma }\kappa ),$$

for all $n\ge 1.$

Inspired by Definitions 1, 4 and 5, we introduce a new generalized $(s,q)-$Jaggi $F-$contraction-type on the context of $b-$metric-like spaces as the following:

Definition 6.

Let Γ be a self-mapping on a $b-$metric-like space $(\mathsf{\Omega },\varpi )$ with parameter $s\ge 1.$ Then the mapping Γ is said to be generalized $(s,q)-$Jaggi F contraction-type if there is $F\in \mathsf{\Sigma }$ and $\tau >0$ such that

$$\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )>0\Rightarrow \tau +F\left(s^q\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\right)\le F\left(\alpha \frac{\varpi (\kappa ,\mathsf{\Gamma }\kappa ).\varpi (\mu ,\mathsf{\Gamma }\mu )}{\varpi (\kappa ,\mu )}+\beta \varpi (\kappa ,\mu )+\gamma \varpi (\mu ,\mathsf{\Gamma }\kappa )\right),$$

(4)

for all $\kappa ,\mu \in \mathsf{\Omega }$ and $\alpha ,\beta ,\gamma \ge 0$ with $\alpha +\beta +2\gamma s<1,$ and for some $q>1.$

To support our definition, we state the following example:

Example 1.

Let $\mathsf{\Omega }=[0,+\infty )$ and $\varpi (\kappa ,\mu )={\kappa }^2+{\mu }^2+{\left|\kappa -\mu \right|}^2\forall \kappa ,\mu \in \mathsf{\Omega }.$ It’s obvious that ϖ is a $b-$metric like on $\mathsf{\Omega },$ with coefficient $s=2$. Define a nonlinear self-mapping $\mathsf{\Gamma }:\mathsf{\Omega }\to \mathsf{\Omega }$ by $\mathsf{\Gamma }\kappa =\frac{1}{16}ln(1+\frac{\kappa }{2})$, for all $\kappa \in \mathsf{\Omega },$ and the function $F\left(\theta \right)=ln\left(\theta \right).$ Consider the constants $q=2$, $\tau =ln\left(2\right),$ $\alpha =\gamma =0$ and $\beta =\frac{1}{4}.$ So $\alpha +\beta +2s\gamma =\frac{1}{4}<1.$ Since $t\ge ln(1+t)$ for each $t\in [0,\infty ),$ for all $\kappa ,\mu \in \mathsf{\Omega }$, we have

$$\begin{array}{ccc}\hfill \tau +F\left(s^q\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\right)& =& \tau +F\left(s^2\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\right)=\tau +F\left(s^2\left(T^2\kappa +T^2\mu -{\left|T\kappa -T\mu \right|}^2\right)\right)\hfill \\ & =& ln\left(2\right)+F\left(4\left({\left(\frac{ln(1+\frac{\kappa }{2})}{16}\right)}^2+{\left(\frac{ln(1+\frac{\mu }{2})}{16}\right)}^2+{\left|\frac{ln(1+\frac{\kappa }{2})}{16}-\frac{ln(1+\frac{\mu }{2})}{16}\right|}^2\right)\right)\hfill \\ & \le & ln\left(2\right)+F\left(\frac{1}{16}\left(\frac{{\kappa }^2}{4}+\frac{{\mu }^2}{4}+{\left|\frac{\kappa }{4}-\frac{\mu }{4}\right|}^2\right)\right)\hfill \\ & =& ln\left(2\right)+ln\left(\frac{1}{16}\left(\frac{{\kappa }^2}{4}+\frac{{\mu }^2}{4}+{\left|\frac{\kappa }{4}-\frac{\mu }{4}\right|}^2\right)\right)\hfill \\ & \le & ln\left(\frac{1}{4}\left({\kappa }^2+{\mu }^2+{\left|\kappa -\mu \right|}^2\right)\right)\hfill \\ & =& F\left(\alpha \frac{\varpi (\kappa ,\mathsf{\Gamma }\kappa ).\varpi (\mu ,\mathsf{\Gamma }\mu )}{\varpi (\kappa ,\mu )}+\beta \varpi (\kappa ,\mu )+\gamma \varpi (\mu ,\mathsf{\Gamma }\kappa )\right).\hfill \end{array}$$

Therefore the mapping Γ is a generalized almost $(s,q)-$Jaggi $F-$contraction-type.

In this article, we present some related fixed point results for a generalized almost $(s,q)-$Jaggi F-contraction-type and generalized almost $(s,q)-$Jaggi $F-$Suzuki contraction-type on $b-$metric-like spaces. Also, we give some examples to illustrate these main results. Moreover, applications to find solutions of electric circuit equations and second-order differential equations are discussed and we justify the first application with an example.

2. Preliminaries and Known Results

In the context of this paper, we will use the following notations: $\mathbb{N},\mathbb{R},$ ${\mathbb{R}}^{+}$ and $\mathbb{Q}$ denotes the set of positive integers, real numbers, nonnegative real numbers and rational numbers, respectively. We begin this part with backgrounds about metric-like and $b-$metric-like spaces.

Definition 7

([9]). Let Ω be a nonempty set. A mapping $\omega :\mathsf{\Omega }\times \mathsf{\Omega }\to {\mathbb{R}}^{+}$ is said to be dislocated (metric-like) if the following three conditions hold for all $\kappa ,\mu ,\tau \in \mathsf{\Omega }:$

$\left({\omega }_1\right)$$\omega (\kappa ,\mu )=0\Rightarrow \kappa =\mu ;$

$\left({\omega }_2\right)$$\omega (\kappa ,\mu )=\omega (\mu ,\kappa );$

$\left({\omega }_3\right)$$\omega (\kappa ,\tau )\le \omega (\kappa ,\mu )+\omega (\mu ,\tau ).$

In this case, the pair $(\mathsf{\Omega },\omega )$ is called a dislocated (metric-like) space.

Definition 8

([32]). A $b-$dislocated on a nonempty set Ω is a function $\varpi :\mathsf{\Omega }\times \mathsf{\Omega }\to {\mathbb{R}}^{+}$ such that for all $\kappa ,\mu ,\tau \in \mathsf{\Omega }$ and a constant $s\ge 1,$ the following three conditions are satisfied:

$\left({\varpi }_1\right)$$\varpi (\kappa ,\mu )=0\Rightarrow \kappa =\mu ;$

$\left({\varpi }_2\right)$$\varpi (\kappa ,\mu )=\varpi (\mu ,\kappa );$

$\left({\varpi }_3\right)$$\varpi (\kappa ,\tau )\le s\left[\varpi \right(\kappa ,\mu )+\varpi (\mu ,\tau \left)\right].$

In this case, the pair $(\mathsf{\Omega },\varpi )$ is called a $b-$dislocated (metric-like) space (with constant s).

It should be noted that the class of $b-$metric-like spaces is larger than the class of metric-like spaces, since a $b-$metric-like is a metric-like with $s=1.$

For new examples in metric-like and $b-$metric-like spaces (see [33,34]).

A $b-$metric-like on $\mathsf{\Omega }$ satisfies all of the conditions of a metric except that $\varpi (\kappa ,\mu )$ may be positive for $\kappa \in \mathsf{\Omega }$, so each $b-$metric-like $\varpi$ on $\mathsf{\Omega }$ generates a topology ${\Re }_{\varpi }$ on $\mathsf{\Omega }$ whose base is the family of open $\varpi -$balls

$${\Re }_{\varpi }(\kappa ,ϵ)=\{\mu \in \mathsf{\Omega }:\left|\varpi (\kappa ,\mu )-\varpi (\kappa ,\kappa )\right|<\frac{ϵ}{s}\},$$

for all $\kappa \in \mathsf{\Omega }$, $s\ge 1$ and $ϵ>0$.

According to a topology ${\Re }_{\varpi },$ we can present the following results:

Definition 9.

Let $(\mathsf{\Omega },\varpi )$ be a $b-$metric-like space and χ be a subset of $\mathsf{\Omega }.$ We say that χ is a $\varpi -$open subset of $\mathsf{\Omega },$ if for all $\kappa \in \mathsf{\Omega }$ there exists $ϵ>0$ such that ${\Re }_{\varpi }(\kappa ,ϵ)\subseteq \chi .$ Also $\sigma \subseteq \mathsf{\Omega }$ is a $\varpi -$closed subset of Ω if $\mathsf{\Omega }\backslash \chi$ is a $\varpi -$open subset in $\mathsf{\Omega }.$

Lemma 1.

Let $(\mathsf{\Omega },\varpi )$ be a $b-$metric-like space and σ be a $\varpi -$closed subset of $\mathsf{\Omega }.$ Let $\left\{{\kappa }_n\right\}$ be a sequence in σ such that ${lim}_{n\to \infty }{\kappa }_n=\kappa .$ Then $\kappa \in \sigma .$

Proof. 

Let $\kappa$$\notin \sigma$ by Definition 9, $(\mathsf{\Omega }\backslash \sigma )$ is a $\varpi -$open set. Then there exists $ϵ>0$ such that ${\Re }_{\varpi }(\kappa ,ϵ)\subseteq \mathsf{\Omega }\backslash \sigma .$ On the other hand, we have ${lim}_{n\to \infty }\left|\varpi ({\kappa }_n,\kappa )-\varpi (\kappa ,\kappa )\right|=0$ since ${lim}_{n\to \infty }{\kappa }_n=\kappa .$ Hence, there exists ${\iota }_{\circ }\in N$ such that

$$\left|\varpi ({\kappa }_n,\kappa )-\varpi (\kappa ,\kappa )\right|<\frac{ϵ}{s},$$

for all $\iota \ge {\iota }_{\circ }$. So, we conclude that $\left\{{\kappa }_n\right\}\subseteq {\Re }_{\varpi }(\kappa ,ϵ)\subseteq \mathsf{\Omega }\backslash \sigma$ for all $\iota \ge {\iota }_{\circ }.$ This is a contradiction since $\left\{{\kappa }_n\right\}\subseteq \sigma$ for all ${\iota }_{\circ }\in N.$ □

In a $b-$metric-like space $(\mathsf{\Omega },\varpi )$, if $\kappa ,\mu \in \mathsf{\Omega }$ and $\varpi (\kappa ,\mu )=0$, then $\kappa =\mu$, but the converse is not true in general.

Example 2.

Let $\mathsf{\Omega }=\{0,1,2,3,4\}$ and let

$$\varpi (\kappa ,\mu )=\left\{\begin{array}{ccc}5,& & \kappa =\mu =0,\\ \frac{1}{5},& & \mathit{otherwise}.\end{array}\right.$$

Then $(\mathsf{\Omega },\varpi )$ is a $b-$metric-like space with the constant $s=5.$

Definition 10.

Let $\left\{{\kappa }_n\right\}$ be a sequence on a $b-$metric-like space $(\mathsf{\Omega },\varpi )$ with a coefficient $s.$ Then

$1.$ If ${lim}_{m,n\to \infty }\varpi ({\kappa }_n,\kappa )=\varpi (\kappa ,\kappa ),$ then the sequence $\left\{{\kappa }_n\right\}$ is said to be convergent to $\kappa .$ $\left\{{\kappa }_n\right\}$ is said to be a Cauchy sequence if ${lim}_{m,n\to \infty }\varpi ({\kappa }_m,{\kappa }_n)$ exists and is finite. The pair $(\mathsf{\Omega },\varpi )$ is said to be a complete $b-$metric-like space if for every Cauchy sequence $\left\{{\kappa }_n\right\}$ in $\mathsf{\Omega },$ there exists a $\kappa \in \mathsf{\Omega },$ such that

$$\underset{m,n\to \infty }{lim}\varpi ({\kappa }_m,{\kappa }_n)=\varpi (\kappa ,\kappa )=\underset{n\to \infty }{lim}\varpi ({\kappa }_n,\kappa ).$$

$2.$$\left\{{\kappa }_n\right\}$in Ω is called a $0-\varpi -$Cauchy sequence if ${lim}_{m,n\to \infty }\varpi ({\kappa }_m,{\kappa }_n)=0$. The space $(\mathsf{\Omega },\varpi )$ is said to be $0-\varpi -$complete if every $0-\varpi -$Cauchy sequence in Ω converges with respect to ${\Re }_{\varpi }$ to a point $\kappa \in \mathsf{\Omega }$ such that $\varpi (\kappa ,\kappa )=0.$

$3.$A nonlinear mapping Γ is continuous on the set Ω, if the following limits

$$\underset{n\to \infty }{lim}\varpi ({\kappa }_n,\kappa ),\underset{n\to \infty }{lim}\varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }\kappa ).$$

Existing and equal.

The following example elucidates every $\varpi -$complete $b-$metric-like space is $0-\varpi -$complete but the converse is not true.

Example 3.

Let $\mathsf{\Omega }=[0,1)\cap \mathbb{Q}$ and $\varpi :\mathsf{\Omega }\times \mathsf{\Omega }\to [0,+\infty )$ be a function defined by

$$\varpi (\kappa ,\mu )=\left\{\begin{array}{cc}2\kappa & \mathit{if}\kappa =\mu ,\\ {\left(max\{\kappa ,\mu \}\right)}^2& \mathit{otherwise}.\end{array}\right.$$

$\forall \kappa ,\mu \in \mathsf{\Omega }.$ Then $(\mathsf{\Omega },\varpi )$ is a $b-$metric like spaces with a coefficient $s=2.$ Also, if we take a Cauchy sequence $\left\{{\kappa }_n\right\}={\left(\frac{1}{n}\right)}_{{}_{n\in \mathbb{N}}},$ then ${lim}_{m,n\to \infty }\varpi ({\kappa }_m,{\kappa }_n)=0.$ So $\left\{{\kappa }_n\right\}$ is a $0-\varpi -$Cauchy sequence converges to a point $0\in \mathsf{\Omega }.$ Therefore the pair $(\mathsf{\Omega },\varpi )$ is a $0-\varpi -$complete $b-$metric-like space, while, if we consider $\left\{{\kappa }_n\right\}={\left(\frac{n}{n+1}\right)}_{{}_{n\in \mathbb{N}}},$ then ${lim}_{m,n\to \infty }\varpi ({\kappa }_m,{\kappa }_n)$ exists and is finite but converges to a point $2\notin \mathsf{\Omega },$ so, the pair $(\mathsf{\Omega },\varpi )$ is not a $\varpi -$complete $b-$metric-like space.

Remark 3.

In a $b-$metric-like space the limit of a sequence need not be unique and a convergent sequence need not be a Cauchy sequence.

To show this remark, we gave the following example:

Example 4.

Let $\mathsf{\Omega }=[0,+\infty ).$ Define a function $\varpi :[0,+\infty )\times [0,+\infty )\to [0,+\infty )$ by $\varpi (\kappa ,\mu )={\left(max\{\kappa ,\mu \}\right)}^2$. Then $(\mathsf{\Omega },\varpi )$ is a $b-$metric-like space with a coefficient $s=2.$ Suppose that

$$\left\{{\kappa }_n\right\}=\left\{\begin{array}{ccc}0& \mathit{when}& n\mathit{is}\mathit{odd}\\ 1& \mathit{when}& n\mathit{is}\mathit{even}\end{array}\right..$$

For $\kappa \in \mathsf{\Omega },$${lim}_{n\to \infty }\varpi ({\kappa }_n,\kappa )={lim}_{n\to \infty }{\left(max\{{\kappa }_n,\kappa \}\right)}^2={\kappa }^2=\varpi (\kappa ,\kappa ).$ Therefore, it is a convergent sequence and ${\kappa }_n\to \kappa .$ Now if we take $\kappa =0,$ therefore,

if n is an odd number, we have ${lim}_{n\to \infty }\varpi ({\kappa }_n,\kappa )={lim}_{n\to \infty }{\left(max\{0,0\}\right)}^2=0$,

if n is an even number, we get ${lim}_{n\to \infty }\varpi ({\kappa }_n,\kappa )={lim}_{n\to \infty }{\left(max\{1,0\}\right)}^2=1$.

That is, the sequence has not limit although it has two subsequences (for odd n and for even n) both having a limit with both limits being distinct.

3. New Fixed Point Results

This section is devoted to present some new fixed point results for a generalized almost $(s,q)-$Jaggi $F-$contraction-type and almost $(s,q)-$Jaggi $F-$Suzuki-type contraction on the context of $b-$ metric-like spaces.

We begin with the first main result.

Theorem 3.

Let $(\mathsf{\Omega },\varpi )$ be a $0-\varpi -$complete $b-$metric-like space with a coefficient $s\ge 1$ and Γ be a self mapping satisfying a generalized almost $(s,q)-$Jaggi $F-$contraction-type (4). Then, Γ has a unique fixed point whenever F or Γ is continuous.

Proof. 

Let ${\kappa }_{\circ }$ be an arbitrary point of $\mathsf{\Omega }.$ Define a sequence ${\left\{{\kappa }_n\right\}}_{n\in \mathbb{N}}$ by ${\kappa }_{n+1}=\mathsf{\Gamma }{\kappa }_n.$ If $\mathsf{\Gamma }{\kappa }_{\circ }={\kappa }_{\circ },$ then the proof is finished. Again, if there exists $i_{\circ }\in \{1,2,..\}$ the right hand side of (4) is 0 for $\kappa ={\kappa }_{i_{\circ }-1}$ and $\mu ={\kappa }_{i_{\circ }}$ so the proof is stopped. So, without loss of generality we may assume that ${\kappa }_{n+1}\ne {\kappa }_n$ for all $n\ge 1$ and ${\varpi }_n=\varpi ({\kappa }_{n+1},{\kappa }_n).$ Then ${\varpi }_n>0.$ On the other hand, $\mathsf{\Gamma }$ is a generalized almost $(s,q)-$Jaggi $F-$contraction-type, hence we get

$$\begin{array}{ccc}\hfill \tau +F\left({\varpi }_n\right)& \le & \tau +F\left(s^q{\varpi }_n\right)=\tau +F\left(s^q\varpi ({\kappa }_{n+1},{\kappa }_n)\right)\hfill \\ & =& \tau +F\left(s^q\varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }_{n-1})\right)\hfill \\ & \le & F\left(\alpha \frac{\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n).\varpi ({\kappa }_{n-1},\mathsf{\Gamma }{\kappa }_{n-1})}{\varpi ({\kappa }_n,{\kappa }_{n-1})}+\beta \varpi ({\kappa }_n,{\kappa }_{n-1})+\gamma \varpi ({\kappa }_{n-1},\mathsf{\Gamma }{\kappa }_n)\right)\hfill \\ & =& F\left(\alpha \varpi ({\kappa }_n,{\kappa }_{n+1})+\beta \varpi ({\kappa }_n,{\kappa }_{n-1})+\gamma \varpi ({\kappa }_{n-1},{\kappa }_{n+1})\right).\hfill \end{array}$$

(5)

By condition $\left({\varpi }_3\right)$, we have

$$\varpi ({\kappa }_{n-1},{\kappa }_{n+1})\le s[\varpi ({\kappa }_{n-1},{\kappa }_n)+\varpi ({\kappa }_n,{\kappa }_{n+1})].$$

(6)

Applying (6) in (5), one can write

$$\tau +F\left({\varpi }_n\right)\le F\left(\alpha \varpi ({\kappa }_n,{\kappa }_{n+1})+\beta \varpi ({\kappa }_n,{\kappa }_{n-1})+\gamma s\varpi ({\kappa }_{n-1},{\kappa }_n)+\gamma s\varpi ({\kappa }_n,{\kappa }_{n+1})\right).$$

Since F is strictly increasing, then

$${\varpi }_n<\alpha {\varpi }_n+\beta {\varpi }_{n-1}+\gamma s{\varpi }_{n-1}+\gamma s{\varpi }_n,$$

this leads to

$$(1-\alpha -\gamma s){\varpi }_n<(\beta +\gamma s){\varpi }_{n-1}\mathrm{for}\mathrm{all}n\ge 1.$$

Since $\alpha +\beta +2\gamma s<1,$ we deduce that $1-\alpha -\gamma s>0,$ and thus

$${\varpi }_n<\frac{\beta +\gamma s}{1-\alpha -\gamma s}{\varpi }_{n-1}<{\varpi }_{n-1}.$$

Consequently,

$$\tau +F\left({\varpi }_n\right)\le F\left({\varpi }_{n-1}\right).$$

By the same method, we can prove that

$$\begin{array}{ccc}\hfill F\left({\varpi }_n\right)& \le & F\left({\varpi }_{n-1}\right)-\tau \hfill \\ & \le & F\left({\varpi }_{n-2}\right)-2\tau \hfill \\ & & .\hfill \\ & & .\hfill \\ & \le & F\left({\varpi }_{\circ }\right)-n\tau \mathrm{for}\mathrm{all}n\ge 1.\hfill \end{array}$$

(7)

Passing the limit as $n\to \infty$ in (7), we can get

$$\underset{n\to \infty }{lim}F\left({\varpi }_n\right)=-\infty .$$

So, by $\left({\Im }_2\right)$, we obtain

$$\underset{n\to \infty }{lim}{\varpi }_n=0.$$

(8)

Apply $\left({\Im }_3\right)$, there exists $\lambda \in (0,1)$ such that

$$\underset{n\to \infty }{lim}{\varpi }_n^{\lambda }F\left({\varpi }_n\right)=0.$$

(9)

By (7), for all $n\ge 1,$ yields

$${\varpi }_n^{\lambda }\left(F\left({\varpi }_n\right)-F\left({\varpi }_{\circ }\right)\right)\le -n\tau {\varpi }_n^{\lambda }\le 0.$$

(10)

Considering (8), (9) and passing $n\to \infty$ in (10), we get

$$\underset{n\to \infty }{lim}n{\varpi }_n^{\lambda }=0.$$

(11)

By (11), there exists $n_1\in \mathbb{N}$ such that $n{\varpi }_n^{\lambda }\le 1$ for all $n\ge n_1,$ or

$${\varpi }_n\le \frac{1}{n^{\frac{1}{\lambda }}}\forall n\ge n_1.$$

(12)

Now, we shall prove that $\left\{{\kappa }_n\right\}$ is $0-\varpi -$Cauchy sequence, let $m,n\in \mathbb{N}$ such that $m>n\ge n_1.$ By (12) and the assumption $\left({\varpi }_3\right),$ we have

$$\begin{array}{ccc}\hfill \varpi ({\kappa }_n,{\kappa }_m)& \le & s\varpi ({\kappa }_n,{\kappa }_{n+1})+s\varpi ({\kappa }_{n+1},{\kappa }_m)\hfill \\ & \le & s\varpi ({\kappa }_n,{\kappa }_{n+1})+s^2\varpi ({\kappa }_{n+1},{\kappa }_{n+2})+s^2\varpi ({\kappa }_{n+2},{\kappa }_m)\hfill \\ & & .\hfill \\ & & .\hfill \\ & \le & s\varpi ({\kappa }_n,{\kappa }_{n+1})+s^2\varpi ({\kappa }_{n+1},{\kappa }_{n+2})+s^3\varpi ({\kappa }_{n+2},{\kappa }_{n+3})+...\hfill \\ & & +s^{m-n-1}\varpi ({\kappa }_{m-2},{\kappa }_{m-1})+s^{m-n}\varpi ({\kappa }_{m-1},{\kappa }_m)\hfill \\ & =& \sum _{i=n}^{m-1}{s}^{i-n+1}{\varpi }_i\hfill \\ & \le & \sum _{i=n}^{\infty }{s}^{i-n+1}\left(\frac{1}{i^{\frac{1}{\lambda }}}\right).\hfill \end{array}$$

Since the series ${\displaystyle \sum _{i=n}^{\infty }}\frac{1}{i^{\frac{1}{\lambda }}}$ is converges, as $i\to \infty$ and since multiply a scalar number in a convergent series gives a convergent series, so, $\varpi ({\kappa }_n,{\kappa }_m)\to 0.$ Therefore $\left\{{\kappa }_n\right\}$ is $0-\varpi -$ Cauchy sequence in $(\mathsf{\Omega },\varpi )$. Since $\mathsf{\Omega }$ is $0-\varpi -$complete $b-$metric-like space, there exists ${\kappa }^{*}\in \mathsf{\Omega }$ such that ${\kappa }_n\to {\kappa }^{*}$ or equivalently,

$$\underset{n,m\to \infty }{lim}\varpi ({\kappa }_n,{\kappa }_m)=\underset{n\to \infty }{lim}\varpi ({\kappa }_n,{\kappa }^{*})=\varpi ({\kappa }^{*},{\kappa }^{*})=0.$$

(13)

If $\mathsf{\Gamma }$ is $\varpi$ continuous, it follows from (12) that

$$\underset{n\to \infty }{lim}\varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})=\underset{n\to \infty }{lim}\varpi ({\kappa }_{n+1},\mathsf{\Gamma }{\kappa }^{*})=\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})=0.$$

this implies that

$${\kappa }^{*}=\mathsf{\Gamma }{\kappa }^{*}.$$

Furthermore, suppose that F is continuous, we prove that ${\kappa }^{*}$ is a fixed point of $\mathsf{\Gamma }$ by contrary, suppose ${\kappa }^{*}\ne \mathsf{\Gamma }{\kappa }^{*},$ so there exist an $n_{\circ }\in \mathbb{N}$ and a subsequence $\left\{{\kappa }_{n_i}\right\}$ of $\left\{{\kappa }_n\right\}$ such that $\varpi ({\kappa }_{n_i+1},\mathsf{\Gamma }{\kappa }^{*})>0$ for all $n_i\ge n_{\circ }$ (otherwise, there exists $n_1\in N$ such that ${\kappa }_n=\mathsf{\Gamma }{\kappa }^{*}\forall n\ge n_1,$ which implies that ${\kappa }_n\to {\kappa }^{*}$. That is a contradiction, with ${\kappa }^{*}\ne \mathsf{\Gamma }{\kappa }^{*}).$ Since $\varpi ({\kappa }_{n_i+1},\mathsf{\Gamma }{\kappa }^{*})>0 \forall n_i\ge n_{\circ },$ then by (4), we have

$$\begin{array}{cc}& \tau +F\left(s^q\varpi ({\kappa }_{n_i+1},\mathsf{\Gamma }{\kappa }^{*})\right)\hfill \\ =& \tau +F\left(s^q\varpi (\mathsf{\Gamma }{\kappa }_{n_i},\mathsf{\Gamma }{\kappa }^{*})\right)\hfill \\ \le & F\left(\alpha \frac{\varpi ({\kappa }_{n_i},\mathsf{\Gamma }{\kappa }_{n_i}).\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})}{\varpi ({\kappa }_{n_i},{\kappa }^{*})}+\beta \varpi ({\kappa }_{n_i},{\kappa }^{*})+\gamma \varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_{n_i})\right)\hfill \\ =& F\left(\alpha \frac{\varpi ({\kappa }_{n_i},{\kappa }_{n_i+1}).\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})}{\varpi ({\kappa }_{n_i},{\kappa }^{*})}+\beta \varpi ({\kappa }_{n_i},{\kappa }^{*})+\gamma \varpi ({\kappa }^{*},{\kappa }_{n_i+1})\right).\hfill \end{array}$$

(14)

Letting $n\to \infty$ in (14) and since F is continuous, we can get

$$\begin{array}{ccc}\hfill \tau +F\left(s^q\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})\right)& \le & F\left(\alpha \varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})\right)\hfill \\ & <& F\left(\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})\right),\hfill \end{array}$$

the above inequality say that $s^q<1$ for some $q>1.$ This a contradiction. Hence ${\kappa }^{*}=\mathsf{\Gamma }{\kappa }^{*}.$

For uniqueness. Suppose that ${\kappa }_1^{*}$ and ${\kappa }_2^{*}$ are two distinct fixed points of a mapping $\mathsf{\Gamma },$ hence $F\left(\varpi (\mathsf{\Gamma }{\kappa }_1^{*},\mathsf{\Gamma }{\kappa }_2^{*})\right)=\varpi ({\kappa }_1^{*},{\kappa }_2^{*})>0,$ which implies by (4) that

$$\begin{array}{ccc}\hfill F\left(s^q\varpi ({\kappa }_1^{*},{\kappa }_2^{*})\right)& =& F\left(s^q\varpi (\mathsf{\Gamma }{\kappa }_1^{*},\mathsf{\Gamma }{\kappa }_2^{*})\right)\hfill \\ & <& \tau +F\left(s^q\varpi (\mathsf{\Gamma }{\kappa }_1^{*},\mathsf{\Gamma }{\kappa }_2^{*})\right)\hfill \\ & \le & F\left(\alpha \frac{\varpi ({\kappa }_1^{*},\mathsf{\Gamma }{\kappa }_1^{*}).\varpi ({\kappa }_2^{*},\mathsf{\Gamma }{\kappa }_2^{*})}{\varpi ({\kappa }_1^{*},{\kappa }_2^{*})}+\beta \varpi ({\kappa }_1^{*},{\kappa }_2^{*})+\gamma \varpi ({\kappa }_2^{*},\mathsf{\Gamma }{\kappa }_1^{*})\right)\hfill \\ & =& F\left(\left(\beta +\gamma \left)\varpi \right({\kappa }_1^{*},{\kappa }_2^{*}\right)\right)\hfill \\ & <& F\left(\varpi ({\kappa }_1^{*},{\kappa }_2^{*})\right),\hfill \end{array}$$

a contradiction again. Hence, the fixed point is unique. The proof is finished. □

Remark 4.

In the real, we can obtain some classical results of our new contraction (4) if we take the following considerations on a complete metric space $(\mathsf{\Omega },d)$.

• Put $\alpha =\gamma =0$ and $\beta =1$, we have Wardowski contraction [21].
• Take $\alpha =\gamma =0$, $\beta \in [0,1),$ $F\left(\theta \right)=ln\left(\theta \right)$ with $\theta >0$, we get Banach contraction [1].
• Consider $\gamma =0$ and $F\left(\theta \right)=ln\left(\theta \right)$ with $\theta >0,$ we have Jaggi-contraction [29].
• Let $\gamma =0,$ $F\left(\theta \right)=ln\left(\theta \right)$ with $\theta >0$, we have Jaggi-contraction [28].
• Set $\alpha =0,$ $\beta \in [0,1),$ $\gamma \ge 0,$ $F\left(\theta \right)=ln\left(\theta \right)$ with $\theta >0$, we get Ciric almost contraction [30].

Now, we present the following example to discuss the validity results of Theorem 3.

Example 5.

Let $\mathsf{\Omega }=[0,1)\cap \mathbb{Q}$ and $\varpi :\mathsf{\Omega }\times \mathsf{\Omega }\to {\mathbb{R}}^{+}$ be a function defined by

$$\varpi (\kappa ,\mu )=\left\{\begin{array}{ccc}2\sqrt[3]{\kappa },\hfill & \hfill & \mathit{if}\kappa =\mu \hfill \\ \hfill & \hfill \\ {\left(max\{2\sqrt[3]{\kappa },2\sqrt[3]{\mu }\}\right)}^2\hfill & \hfill & \mathit{otherwise}\hfill \end{array}\right.$$

for all $\kappa ,\mu \in \mathsf{\Omega }.$ Suppose that $\left\{{\kappa }_n\right\}\in \mathsf{\Omega }.$ If ${lim}_{n\to \infty }\varpi ({\kappa }_n,\kappa )=(\kappa ,\kappa )=0,$ then ${lim}_{n\to \infty }\varpi ({\kappa }_n,\mu )=(\kappa ,\mu )$ for all $\mu \in \mathsf{\Omega }.$ By the condition $\left({\varpi }_3\right),$ we can write

$$\varpi ({\kappa }_n,{\kappa }_m)\le 2(\varpi ({\kappa }_n,\kappa )+\varpi (\kappa ,{\kappa }_m)).$$

(15)

Passing limit as $n,m\to \infty$ in (15), we obtain ${lim}_{n,m\to \infty }\varpi ({\kappa }_n,{\kappa }_m)=0.$ Thus $(\mathsf{\Omega },\varpi )$ is $0-\omega -$complete $b-$metric-like space with a coefficient $s=2.$ Note, here $(\mathsf{\Omega },\varpi )$ is not a complete $b-$metric like space. Indeed, consider the sequence $\left\{{\kappa }_n\right\}=\frac{1}{n}$ for $n\in \mathbb{N}$ in $\mathsf{\Omega }.$ then ${lim}_{n\to \infty }{\kappa }_n=0.$ Let ${lim}_{n\to \infty }\varpi ({\kappa }_n,\kappa )=\varpi (0,\kappa )$ for all $\kappa \in \mathsf{\Omega }.$

If $\kappa =0,$ then $\varpi (0,\kappa )=0.$ So ${lim}_{n,m\to \infty }\varpi ({\kappa }_n,{\kappa }_m)=\varpi (0,\kappa )=\varpi ({\kappa }_n,\kappa ).$

If $\kappa \ne 0,$ then $\varpi (0,\kappa )=2\sqrt[3]{\kappa }.$ So ${lim}_{n,m\to \infty }\varpi ({\kappa }_n,{\kappa }_m)\ne \varpi (0,\kappa )=\varpi ({\kappa }_n,\kappa ).$

Therefore, $(\mathsf{\Omega },\varpi )$ is a $0-\varpi -$complete $b-$metric-like space, which is not a $\varpi -$complete $b-$metric-like space. Define a nonlinear mapping Γ by $\mathsf{\Gamma }\kappa =\frac{\kappa }{512}$. Take $F\left(\theta \right)=ln\left(\theta \right)+\theta ,$ $q=3$ and $\tau =ln\left(2\right).$ We shall prove that Γ satisfy the condition (4) with $\alpha =\gamma =0$ and $\beta =\frac{1}{4}.$ So $\alpha +\beta +2\gamma s=\frac{1}{4}<1$. Then for $\kappa <\mu ,$

$$\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )=\varpi (\frac{\kappa }{512},\frac{\mu }{512})={\left(\frac{2\sqrt[3]{\mu }}{8}\right)}^2=\frac{{\left(\sqrt[3]{\mu }\right)}^2}{16}>0,$$

by simple calculations, we can get

$$\begin{array}{cc}\varpi (\kappa ,\mathsf{\Gamma }\kappa )=\varpi (\kappa ,\frac{\kappa }{512})=4{\left(\sqrt[3]{\kappa }\right)}^2,& \varpi (\mu ,\mathsf{\Gamma }\mu )=\varpi (\mu ,\frac{\mu }{512})=4{\left(\sqrt[3]{\mu }\right)}^2,\\ \varpi (\kappa ,\mu )=4{\left(\sqrt[3]{\mu }\right)}^2,& \varpi (\mu ,\mathsf{\Gamma }\kappa )=\varpi (\mu ,\frac{\kappa }{512})=4{\left(\sqrt[3]{\mu }\right)}^2,\end{array}$$

and

$$\begin{array}{cc}& \alpha \frac{\varpi (\kappa ,\mathsf{\Gamma }\kappa ).\varpi (\mu ,\mathsf{\Gamma }\mu )}{\varpi (\kappa ,\mu )}+\beta \varpi (\kappa ,\mu )+\gamma \varpi (\mu ,\mathsf{\Gamma }\kappa )\hfill \\ =& \left(\alpha \times 4{\left(\sqrt[3]{\kappa }\right)}^2\right)+\left(\beta \times 4{\left(\sqrt[3]{\mu }\right)}^2\right)+\left(\gamma \times 4{\left(\sqrt[3]{\mu }\right)}^2\right)={\left(\sqrt[3]{\mu }\right)}^2.\hfill \end{array}$$

Hence

$$\begin{array}{ccc}\hfill \tau +F(s^q\left(\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\right)& =& ln\left(2\right)+F(8\times \frac{{\left(\sqrt[3]{\mu }\right)}^2}{16})\hfill \\ & =& ln\left(2\right)+F\left(\frac{{\left(\sqrt[3]{\mu }\right)}^2}{2}\right)\hfill \\ & \le & ln\left(2\right)+ln\left(\frac{{\left(\sqrt[3]{\mu }\right)}^2}{2}\right)+\frac{{\left(\sqrt[3]{\mu }\right)}^2}{2}\hfill \\ & \le & ln\left({\left(\sqrt[3]{\mu }\right)}^2\right)+{\left(\sqrt[3]{\mu }\right)}^2\hfill \\ & =& F\left({\left(\sqrt[3]{\mu }\right)}^2\right)\hfill \\ & =& F(\alpha \frac{\varpi (\kappa ,\mathsf{\Gamma }\kappa )\times \varpi (\mu ,\mathsf{\Gamma }\mu )}{\varpi (\kappa ,\mu )}+\beta \varpi (\kappa ,\mu )+\gamma \varpi (\mu ,\mathsf{\Gamma }\kappa )).\hfill \end{array}$$

By the same manner, for $\kappa =\mu \ne 0$, one gets that

$$\begin{array}{ccc}\hfill \tau +F(s^q\left(\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\right)& =& ln\left(2\right)+F(8\times \frac{{\left(\sqrt[3]{\kappa }\right)}^2}{16})\hfill \\ & =& ln\left(2\right)+F\left(\frac{{\left(\sqrt[3]{\kappa }\right)}^2}{2}\right)\hfill \\ & \le & ln\left(2\right)+ln\left(\frac{{\left(\sqrt[3]{\kappa }\right)}^2}{2}\right)+\frac{{\left(\sqrt[3]{\kappa }\right)}^2}{2}\hfill \\ & \le & ln\left({\left(\sqrt[3]{\kappa }\right)}^2\right)+{\left(\sqrt[3]{\kappa }\right)}^2\hfill \\ & =& F\left({\left(\sqrt[3]{\kappa }\right)}^2\right)\hfill \\ & =& F(\alpha \frac{\varpi (\kappa ,\mathsf{\Gamma }\kappa ).\varpi (\mu ,\mathsf{\Gamma }\mu )}{\varpi (\kappa ,\mu )}+\beta \varpi (\kappa ,\mu )+\gamma \varpi (\mu ,\mathsf{\Gamma }\kappa )).\hfill \end{array}$$

So, all required hypotheses of Theorem 3 are verified and the point $0\in \mathsf{\Omega }$ is a unique fixed point of $\mathsf{\Gamma }.$

The second result of this section is to introduce the notion of a generalized almost $(s,q)-$Jaggi $F-$Suzuki contraction-type in the context of $b-$metric-like spaces and study some related fixed point results in this direction.

Definition 11.

Let Γ be a self-mapping on a $b-$metric-like space $(\mathsf{\Omega },\varpi )$ with parameter $s\ge 1.$ Then the mapping Γ is said to be a generalized almost $(s,q)-$Jaggi $F-$Suzuki contraction-type if there exists $F\in \mathsf{\Sigma }$ and $\tau \in (0,+\infty )$ such that

$$\frac{1}{2s}\varpi (\kappa ,\mathsf{\Gamma }\kappa )<\varpi (\kappa ,\mu )\Rightarrow \tau +F\left(s^q\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\right)\le F\left(\alpha \frac{\varpi (\kappa ,\mathsf{\Gamma }\kappa ).\varpi (\mu ,\mathsf{\Gamma }\mu )}{\varpi (\kappa ,\mu )}+\beta \varpi (\kappa ,\mu )+\gamma \varpi (\mu ,\mathsf{\Gamma }\kappa )\right),$$

(16)

for all $\kappa ,\mu \in \mathsf{\Omega }$ and $\alpha ,\beta ,\gamma \ge 0$ with $\alpha +\beta +2\gamma s<1,$ for some $q>1$ and satisfying $\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )>0.$

Theorem 4.

Let $(\mathsf{\Omega },\varpi )$ be a $0-\varpi -$complete $b-$metric-like space with a coefficient $s\ge 1$ and Γ be a self mapping satisfying a generalized almost $(s,q)-$Jaggi-type $F-$Suzuki contraction (16).Then, Γ has a unique fixed point whenever F or Γ is continuous.

Proof. 

Let ${\kappa }_{\circ }\in \mathsf{\Omega }$ and ${\left\{{\kappa }_n\right\}}_{n=1}^{\infty }$ defined by ${\kappa }_{n+1}=\mathsf{\Gamma }{\kappa }_n={\mathsf{\Gamma }}^{n+1}{\kappa }_{\circ }.$ If there exists $n\in \mathbb{N}$ such that $\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)=0,$ thus the proof is completed. So, suppose that $0<\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)=\varpi ({\kappa }_n,{\kappa }_{n+1})={\varpi }_n,$ therefore for all $n\in \mathbb{N}$

$$\frac{1}{2s}\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)<\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n),$$

yields

$$\begin{array}{ccc}\hfill \tau +F\left(\varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)\right)& \le & \tau +F\left(s^q\varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)\right)=\tau +F\left(s^q\varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }\left(\mathsf{\Gamma }{\kappa }_n\right)\right))\hfill \\ & \le & F\left(\alpha \frac{\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n).\varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)}{\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)}+\beta \varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)+\gamma \varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }_n)\right)\hfill \\ & =& F\left(\alpha \varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)+\beta \varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)+\gamma \varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }_n)\right)\hfill \\ & \le & F\left(\alpha \varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)+\beta \varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)+2s\gamma \varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)\right).\hfill \end{array}$$

Since F is strictly increasing, then

$$\varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)<\alpha \varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)+\beta \varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)+2s\gamma \varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n).$$

(17)

Since $1-\alpha >0,$ and $\alpha +\beta +2\gamma s<1$ then we can write

$$\varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)<\left(\frac{\beta +2s\gamma }{1-\alpha }\right)\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)<\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n).$$

(18)

Consequently,

$$\tau +F\left(\varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)\right)\le F\left(\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)\right),$$

or,

$$F\left(\varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)\right)\le F\left(\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)\right)-\tau ,$$

By the same method, we can deduce that

$$\begin{array}{ccc}\hfill F\left({\varpi }_n\right)& =& F\left(\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)\right)=F\left(\varpi (\mathsf{\Gamma }{\kappa }_{n-1},{\mathsf{\Gamma }}^2{\kappa }_{n-1})\right)\hfill \\ & \le & F\left(\varpi ({\kappa }_{n-1},\mathsf{\Gamma }{\kappa }_{n-1})\right)-\tau \hfill \\ & \le & F\left(\varpi ({\kappa }_{n-2},\mathsf{\Gamma }{\kappa }_{n-2})\right)-2\tau \hfill \\ & & .\hfill \\ & & .\hfill \\ & \le & F\left(\varpi ({\kappa }_{\circ },\mathsf{\Gamma }{\kappa }_{\circ })\right)-n\tau \mathrm{for}\mathrm{all}n\ge 1.\hfill \end{array}$$

By the same manner of Theorem 3, we deduce that $\left\{{\kappa }_n\right\}$ is $0-\varpi -$Cauchy sequence in $(\mathsf{\Omega },\varpi )$. Since $\mathsf{\Omega }$ is $0-$$\varpi -$complete $b-$metric-like space, there exists ${\kappa }^{*}\in \mathsf{\Omega }$ such that ${\kappa }_n\to {\kappa }^{*}$ or equivalently,

$$\underset{n,m\to \infty }{lim}\varpi ({\kappa }_n,{\kappa }_m)=\underset{n\to \infty }{lim}\varpi ({\kappa }_n,{\kappa }^{*})=\varpi ({\kappa }^{*},{\kappa }^{*})=0.$$

(19)

Now, we shall prove that

$$\frac{1}{2s}\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)<\varpi ({\kappa }_n,{\kappa }^{*})\mathrm{or}\frac{1}{2s}\varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)<\varpi (\mathsf{\Gamma }{\kappa }_n,{\kappa }^{*}).$$

(20)

Assuming the opposite, that there is $m\in \mathbb{N}$ such that

$$\frac{1}{2s}\varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m)\ge \varpi ({\kappa }_m,{\kappa }^{*})\mathrm{or}\frac{1}{2s}\varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m)\ge \varpi (\mathsf{\Gamma }{\kappa }_m,{\kappa }^{*}).$$

(21)

Hence

$$2s\varpi ({\kappa }_m,{\kappa }^{*})\le \varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m)\le s[\varpi ({\kappa }_m,{\kappa }^{*})+\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_m)],$$

which leads to

$$s\varpi ({\kappa }_m,{\kappa }^{*})\le s\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_m),$$

or

$$\varpi ({\kappa }_m,{\kappa }^{*})\le \varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_m),$$

(22)

From (21) and (22), we have

$$\varpi ({\kappa }_m,{\kappa }^{*})\le \varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_m)\le \frac{1}{2s}\varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m).$$

Since $\frac{1}{2s}\varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m)<\varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m)$ and using (16), we can get

$$\begin{array}{ccc}\hfill \tau +F\left(\varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m)\right)& \le & \tau +F\left(s^q\varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m)\right)\hfill \\ & \le & F\left(\alpha \frac{\varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m)}{\varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m)}+\beta \varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m)+\gamma \varpi (\mathsf{\Gamma }{\kappa }_m,\mathsf{\Gamma }{\kappa }_m)\right)\hfill \\ & =& F\left(\alpha \varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m)+\beta \varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m)+\gamma \varpi (\mathsf{\Gamma }{\kappa }_m,\mathsf{\Gamma }{\kappa }_m)\right)\hfill \\ & \le & F\left(\alpha \varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m)+\beta \varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m)+2s\gamma \varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m)\right).\hfill \end{array}$$

Replace n with m in the inequalities (17) and (18) and apply the same above steps, we can write

$$\varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m)<\varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m).$$

It follows from (21) and (22), that

$$\begin{array}{ccc}\hfill \varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m)& <& \varpi ({\kappa }_m,\mathsf{\Gamma }{\kappa }_m)\hfill \\ & \le & s[\varpi ({\kappa }_m,{\kappa }^{*})+\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_m)]\hfill \\ & \le & s[\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_m)+\frac{1}{2s}\varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m)]\hfill \\ & \le & s[\frac{1}{2s}\varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m)+\frac{1}{2s}\varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m)]\hfill \\ & =& \varpi (\mathsf{\Gamma }{\kappa }_m,{\mathsf{\Gamma }}^2{\kappa }_m).\hfill \end{array}$$

A contradiction, so (20) holds for all $n\in \mathbb{N},$ this leads to

$$\begin{array}{ccc}\hfill \tau +F\left(2s^2\varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})\right)& \le & \tau +F\left(2s^q\varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})\right)\hfill \\ & \le & F\left(\alpha \frac{\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n).\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})}{\varpi ({\kappa }_n,{\kappa }^{*})}+\beta \varpi ({\kappa }_n,{\kappa }^{*})+\gamma \varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_n)\right)\hfill \\ & <& F\left(\alpha \frac{2s\varpi ({\kappa }_n,{\kappa }^{*}).\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})}{\varpi ({\kappa }_n,{\kappa }^{*})}+\beta \varpi ({\kappa }_n,{\kappa }^{*})+\gamma \varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_n)\right)\hfill \\ & =& F\left(2s\alpha \varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})+\beta \varpi ({\kappa }_n,{\kappa }^{*})+\gamma \varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_n)\right)\hfill \\ & \le & F\left(\begin{array}{c}2s^2\alpha \varpi ({\kappa }^{*},{\kappa }_n)+2s^3\alpha \varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)+2s^3\alpha \varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})\\ +\beta \varpi ({\kappa }_n,{\kappa }^{*})+\gamma s\varpi ({\kappa }^{*},{\kappa }_n)+\gamma s\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)\end{array}\right),\hfill \end{array}$$

a gain, since $\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }_n)<2s\varpi ({\kappa }_n,{\kappa }^{*})$, $\tau >0$ and F is strictly increasing, this yields,

$$2s^2\varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})<(2s^2\alpha +4s^4\alpha +\beta +\gamma s+2s^2\gamma )\varpi ({\kappa }_n,{\kappa }^{*})+2s^3\alpha \varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*}),$$

or,

$$\left(1-2\alpha s\right)\varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})<(\alpha +2s^2\alpha +\beta +2\gamma )\varpi ({\kappa }_n,{\kappa }^{*}),$$

Thus,

$$\begin{array}{ccc}\hfill \tau +F\left(\left(1-2\alpha s\right)\varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})\right)& \le & F\left((\alpha +2s^2\alpha +\beta +2\gamma )\varpi ({\kappa }_n,{\kappa }^{*})\right)\hfill \\ & =& F(\alpha +2s^2\alpha +\beta +2\gamma )\varpi (\mathsf{\Gamma }{\kappa }_{n+1},{\kappa }^{*})).\hfill \end{array}$$

(23)

Passing the limit as $n\to \infty$ in (23), using $\left({\Im }_2\right)$ and (19) we can get

$$\underset{n\to \infty }{lim}\varpi (\mathsf{\Gamma }{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})=0.$$

Therefore, $\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})={lim}_{n\to \infty }\varpi ({\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})={lim}_{n\to \infty }\varpi (\mathsf{\Gamma }{\kappa }_{n+1},\mathsf{\Gamma }{\kappa }^{*})=0.$

Similarly, by (20) for all $n\in \mathbb{N},$ one can write

$$\begin{array}{ccc}\hfill \tau +F\left(2s^2\varpi ({\mathsf{\Gamma }}^2{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})\right)& \le & \tau +F\left(2s^q\varpi ({\mathsf{\Gamma }}^2{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})\right)\hfill \\ & \le & F\left(\alpha \frac{\varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n).\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})}{\varpi (\mathsf{\Gamma }{\kappa }_n,{\kappa }^{*})}+\beta \varpi (\mathsf{\Gamma }{\kappa }_n,{\kappa }^{*})+\gamma \varpi ({\kappa }^{*},{\mathsf{\Gamma }}^2{\kappa }_n)\right)\hfill \\ & <& F\left(\alpha \frac{2s\varpi (\mathsf{\Gamma }{\kappa }_n,{\kappa }^{*}).\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})}{\varpi (\mathsf{\Gamma }{\kappa }_n,{\kappa }^{*})}+\beta \varpi (\mathsf{\Gamma }{\kappa }_n,{\kappa }^{*})+\gamma \varpi ({\kappa }^{*},{\mathsf{\Gamma }}^2{\kappa }_n)\right)\hfill \\ & =& F\left(2s\alpha \varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})+\beta \varpi (\mathsf{\Gamma }{\kappa }_n,{\kappa }^{*})+\gamma \varpi ({\kappa }^{*},{\mathsf{\Gamma }}^2{\kappa }_n)\right)\hfill \\ & \le & F\left(\begin{array}{c}2s^2\alpha \varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_n)+2s^3\alpha \varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)+2s^3\alpha \varpi ({\mathsf{\Gamma }}^2{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})\\ +\beta \varpi (\mathsf{\Gamma }{\kappa }_n,{\kappa }^{*})+\gamma s\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_n)+\gamma s\varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)\end{array}\right),\hfill \end{array}$$

since $\varpi (\mathsf{\Gamma }{\kappa }_n,{\mathsf{\Gamma }}^2{\kappa }_n)<2s\varpi (\mathsf{\Gamma }{\kappa }_n,{\kappa }^{*})$, $\tau >0$ and F is strictly increasing, this leads to

$$2s^2\varpi ({\mathsf{\Gamma }}^2{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})<(2s^2\alpha +4s^4\alpha +\beta +\gamma s+2\gamma s^2)\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_n)+2s^3\alpha \varpi ({\mathsf{\Gamma }}^2{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*}),$$

or,

$$(1-2\alpha s)\varpi ({\mathsf{\Gamma }}^2{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})<(\alpha +2s^2\alpha +\beta +2\gamma )\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_n).$$

Thus,

$$\begin{array}{ccc}\hfill \tau +F\left(\left(1-2\alpha s\right)\varpi ({\mathsf{\Gamma }}^2{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})\right)& \le & F\left((\alpha +2s^2\alpha +\beta +2\gamma )\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }_n)\right)\hfill \\ & =& F(\alpha +2s^2\alpha +\beta +2\gamma )\varpi ({\kappa }_{n+1},{\kappa }^{*})).\hfill \end{array}$$

(24)

Taking the limit as $n\to \infty$ in (24), using $\left({\Im }_2\right)$ and (19) we can get

$$\underset{n\to \infty }{lim}\varpi ({\mathsf{\Gamma }}^2{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})=0.$$

Therefore, $\varpi ({\kappa }^{*},\mathsf{\Gamma }{\kappa }^{*})={lim}_{n\to \infty }\varpi ({\kappa }_{n+2},\mathsf{\Gamma }{\kappa }^{*})={lim}_{n\to \infty }\varpi ({\mathsf{\Gamma }}^2{\kappa }_n,\mathsf{\Gamma }{\kappa }^{*})=0.$ Hence, ${\kappa }^{*}=\mathsf{\Gamma }{\kappa }^{*}.$

The uniqueness follows immediately from the proof of Theorem 3, and this completes the proof. □

Example 6.

By taking all assumptions of Example 5, if $\kappa <\mu ,$ we have

$$\frac{1}{2s}\varpi (\kappa ,\mathsf{\Gamma }\kappa )=\frac{1}{4}\times 4{\left(\sqrt[3]{\kappa }\right)}^2={\left(\sqrt[3]{\kappa }\right)}^2<4{\left(\sqrt[3]{\mu }\right)}^2=\varpi (\kappa ,\mu ),$$

also, if $\kappa =\mu \ne 0,$ we deduce that

$$\frac{1}{2s}\varpi (\kappa ,\mathsf{\Gamma }\kappa )=\frac{1}{4}\times 4{\left(\sqrt[3]{\kappa }\right)}^2={\left(\sqrt[3]{\kappa }\right)}^2<4{\left(\sqrt[3]{\kappa }\right)}^2=\varpi (\kappa ,\mu ).$$

Therefore all required hypotheses of Theorem 4 are satisfied and a mapping Γ has a unique fixed point $0\in \mathsf{\Omega }.$ □

4. Solution of Electric Circuit Equation

Fixed point theory is involved in physical applications especially the solution of the the electric circuit equation, which was presented in [35,36]. The authors applied their theorems obtained to solve this equation under $F-$contraction mapping. In this part, we present the solution of electric circuit equation, which is in the form of second-order differential equation. It contains a resistor R, an electromotive force E, a capacitor $C,$ an inductor L and a voltage V in series as Figure 1.

If the rate of change of charge q with respect to time t denoted by the current $I,$ i.e., $I=\frac{dq}{dt}$. We get the following relations:

• $V=IR;$
• $V=\frac{q}{C};$
• $V=L\frac{dI}{dt}.$

The sum of these voltage drops is equal to the supplied voltage (law of Kirchhoff voltage), i.e.,

$$IR+\frac{q}{C}+L\frac{dI}{dt}=V\left(t\right),$$

or

$$L\frac{d^{2}q}{d{t}^2}+R\frac{dq}{dt}+\frac{q}{C}=V\left(t\right),q\left(0\right)=0,q^{\prime }\left(0\right)=0,$$

(25)

where $C=\frac{4L}{R^2}$ and $\tau =\frac{R}{2L}$, this case is said to be the resonance solution in a Physics context. Then, the Green function associated with (25) is given by

$$\mathsf{\Lambda }(t,\varrho )=\left\{\begin{array}{cc}-\varrho e^{-\tau (\varrho -t)}\mathrm{if}& 0\le \varrho \le t\le 1\\ -t{e}^{-\tau (\varrho -t)}\mathrm{if}& 0\le t\le \varrho \le 1\end{array}\right..$$

Using Green function, problem (25) is equivalent to the following nonlinear integral equation

$$\kappa \left(t\right)=\underset{0}{\overset{t}{\int }}\mathsf{\Lambda }(t,\varrho )\chi (\varrho ,\kappa \left(\varrho \right))d\varrho ,$$

(26)

where $t\in [0,1]$.

Let $\mathsf{\Omega }=C\left(\right[0,1\left]\right)$ be the set of all continuous functions defined on $[0,1]$, endowed with

$$\varpi (\kappa ,\mu )={\left({∥\kappa ∥}_{\infty }+{∥\mu ∥}_{\infty }\right)}^m\mathrm{for}\mathrm{all}\kappa ,\mu \in \mathsf{\Omega },$$

where ${∥\kappa ∥}_{\infty }={sup}_{t\in [0,1]}\left\{\left|\kappa \left(t\right)\right|e^{-2t\tau m}\right\}$ and $m>1$. It is clear that $(\mathsf{\Omega },\varpi )$ is a complete $b-$metric-like space with parameter $s=2^{m-1}.$

Now, we state and prove the main theorem of this section.

Theorem 5.

Let Γ be a nonlinear self mapping on Ω of a $b-$metric-like space $(\mathsf{\Omega },\varpi ),$ such that the following conditions hold

(i) 

$\mathsf{\Lambda }:[0,1]\times [0,1]\to [0,\infty )$ is a continuous function;

(ii) 

$\chi :[0,1]\times \mathbb{R}\to \mathbb{R}$, where $\chi (\varrho ,.)$ is monotone nondecreasing mapping for all $\varrho \in [0,1]$;

(iii) 

there exists a constant $\tau \in {\mathbb{R}}^{+}$ such that for all $(t,\varrho )\in {[0,1]}^2$ and $\kappa ,\mu \in {\mathbb{R}}^{+}$,

$$\left|\chi (t,\kappa )+\chi (t,\mu )\right|\le {\tau }^2{\left(\frac{e^{-\tau }}{s^2}\right)}^{\frac{1}{m}}{B}^{\frac{1}{m}}(\kappa ,\mu ),$$

where

$$B(\kappa ,\mu )=\alpha \frac{\varpi (\kappa ,\mathsf{\Gamma }\kappa ).\varpi (\mu ,\mathsf{\Gamma }\mu )}{\varpi (\kappa ,\mu )}+\beta \varpi (\kappa ,\mu )+\gamma \varpi (\mu ,\mathsf{\Gamma }\kappa ),$$

for all, $t\in [0,1]$ and $\alpha ,\beta ,\gamma \ge 0$ such that $\alpha +\beta +2\gamma s<1.$ Then the Equation (25) has a unique solution.

Proof. 

Define a nonlinear self-mapping $\mathsf{\Gamma }:\mathsf{\Omega }\to \mathsf{\Omega }$ by

$$\mathsf{\Gamma }\kappa \left(t\right)=\underset{0}{\overset{t}{\int }}\mathsf{\Lambda }(t,\varrho )\chi (\varrho ,\kappa \left(\varrho \right))d\varrho .$$

It is clear that if ${\kappa }^{*}$ is a fixed point of the mapping $\mathsf{\Gamma },$ then it a solution of the problem (26). Suppose that $\kappa ,\mu \in \mathsf{\Omega },$ we can get $\varpi \left(\mathsf{\Gamma }\kappa \right(t),\mathsf{\Gamma }\mu (t\left)\right)>0,$

$$\begin{array}{cc}& s^2{\left(\left|\mathsf{\Gamma }\kappa \left(t\right)\right|+\left|\mathsf{\Gamma }\mu \left(t\right)\right|\right)}^m\hfill \\ =& s^2{\left(\left|\underset{0}{\overset{t}{\int }}\mathsf{\Lambda }(t,\varrho )\chi (\varrho ,\kappa \left(\varrho \right))d\varrho \right|+\left|\underset{0}{\overset{t}{\int }}\mathsf{\Lambda }(t,\varrho )\chi (\varrho ,\mu \left(\varrho \right))d\varrho \right|\right)}^m\hfill \\ \le & s^2{\left(\underset{0}{\overset{t}{\int }}\left|\mathsf{\Lambda }(t,\varrho )\chi (\varrho ,\kappa (\varrho \left)\right)\right|d\varrho +\underset{0}{\overset{t}{\int }}\left|\mathsf{\Lambda }(t,\varrho )\chi (\varrho ,\mu (\varrho \left)\right)d\varrho \right|\right)}^m\hfill \\ =& s^2{\left(\underset{0}{\overset{t}{\int }}\mathsf{\Lambda }(t,\varrho )\left(\left|\chi (\varrho ,\kappa (\varrho \left)\right)\right|+\left|\chi (\varrho ,\mu (\varrho \left)\right)\right|\right)d\varrho \right)}^m\hfill \\ \le & s^2{\left(\underset{0}{\overset{t}{\int }}\mathsf{\Lambda }(t,\varrho ){\tau }^2{\left(\frac{e^{-\tau }}{s^2}\right)}^{\frac{1}{m}}{B}^{\frac{1}{m}}(\kappa ,\mu )d\varrho \right)}^m\hfill \\ =& s^2{\left(\underset{0}{\overset{t}{\int }}\mathsf{\Lambda }(t,\varrho ){\tau }^2{e}^{2\tau \varrho }{e}^{-2\tau \varrho }{\left(\frac{e^{-\tau }}{s^2}\right)}^{\frac{1}{m}}{B}^{\frac{1}{m}}(\kappa ,\mu )d\varrho \right)}^m\hfill \\ \le & e^{-\tau }{∥B(\kappa ,\mu )∥}_{\infty }{\left({\tau }^2\underset{0}{\overset{t}{\int }}{e}^{2\tau \varrho }\mathsf{\Lambda }(t,\varrho )d\varrho \right)}^m\hfill \\ \le & e^{-\tau }{∥B(\kappa ,\mu )∥}_{\infty }{\left(e^{2\tau t}\left[1-2\tau t+\tau t{e}^{-\tau t}-e^{-\tau t}\right]\right)}^m,\hfill \end{array}$$

so we have

$$s^2{\left(\left|\mathsf{\Gamma }\kappa \left(t\right)\right|+\left|\mathsf{\Gamma }\mu \left(t\right)\right|\right)}^m.e^{-2t\tau m}\le e^{-\tau }{∥B(\kappa ,\mu )∥}_{\infty }{\left[1-2\tau t+\tau t{e}^{-\tau t}-e^{-\tau t}\right]}^m,$$

which leads to,

$$s^2{\left({∥\mathsf{\Gamma }\kappa \left(t\right)∥}_{\infty }+{∥\mathsf{\Gamma }\mu \left(t\right)∥}_{\infty }\right)}^m\le e^{-\tau }{∥B(\kappa ,\mu )∥}_{\infty }{\left[1-2\tau t+\tau t{e}^{-\tau t}-e^{-\tau t}\right]}^m,$$

since $1-2\tau t+\tau t{e}^{-\tau t}-e^{-\tau t}\le 1,$ we obtain that

$$s^2\varpi (\mathsf{\Gamma }\kappa \left(t\right),\mathsf{\Gamma }\mu \left(t\right))\le e^{-\tau }{∥B(\kappa ,\mu )∥}_{\infty }.$$

Taking $F\left(\theta \right)=ln\left(\theta \right),$ for all $\theta >0,$ which is $F\in \mathsf{\Sigma }$, we obtain

$$ln\left(s^2\varpi (\mathsf{\Gamma }\kappa \left(t\right),\mathsf{\Gamma }\mu \left(t\right))\right)\le ln\left(e^{-\tau }{∥B(\kappa ,\mu )∥}_{\infty }\right),$$

or

$$\tau +ln\left(s^2\varpi (\mathsf{\Gamma }\kappa \left(t\right),\mathsf{\Gamma }\mu \left(t\right))\right)\le ln\left({∥B(\kappa ,\mu )∥}_{\infty }\right).$$

Equivalently

$$\tau +F\left(s^q\varpi (\mathsf{\Gamma }\kappa \left(\rho \right),\mathsf{\Gamma }\mu \left(\rho \right))\right)\le F(\alpha \frac{\varpi (\kappa ,\mathsf{\Gamma }\kappa ).\varpi (\mu ,\mathsf{\Gamma }\mu )}{\varpi (\kappa ,\mu )}+\beta \varpi (\kappa ,\mu )+\gamma \varpi (\mu ,\mathsf{\Gamma }\kappa )).$$

By Theorem 3 and taking the coefficient $q=2,$ we deduce that $\mathsf{\Gamma }$ has a fixed point, which is a solution of the differential equation arising in the electric circuit equation. This finished the proof. □

The following example satisfy all required hypotheses of Theorem 5.

Example 7.

Consider the following nonlinear integral equation

$$\kappa \left(t\right)=\frac{{\tau }^2{e}^{-4t\tau }}{50s^3}\underset{0}{\overset{1}{\int }}{\varrho }^3\kappa \left(\varrho \right)d\varrho ,\varrho \in [0,1].$$

(27)

Then it has a solution in Ω.

Proof. 

Let $\mathsf{\Gamma }:\mathsf{\Omega }\to \mathsf{\Omega }$ be defined by $\mathsf{\Gamma }\kappa \left(t\right)=\frac{{\tau }^2{e}^{-4t\tau }}{50s^3}\underset{0}{\overset{1}{\int }}{\varrho }^3\kappa \left(\varrho \right)d\varrho .$ By specifying $\mathsf{\Lambda }(t,\varrho )=\frac{{\varrho }^3}{5},$ $\chi (t,\kappa )=\frac{{\tau }^2{e}^{-4t\tau }\kappa \left(\varrho \right)}{10s^3}$ in Theorem 5, it follows that:

(i)

the function $\mathsf{\Lambda }(t,\varrho )$ is continuous on $[0,1]\times [0,1],$

(ii)

$\chi (\varrho ,\kappa (\varrho \left)\right)$ is monotone increasing on $[0,1]\times \mathbb{R}$ for all $\varrho \in [0,1],$

(iii)

By taking $m=2$ and $\tau =ln\left(4\right),$ hence $s=2,$ so, for all $(t,\varrho )\in [0,1]\times [0,1]$ and $\kappa ,\mu \in {\mathbb{R}}^{+},$ we obtain that

$$\begin{array}{ccc}\hfill \left|\chi (t,\kappa )+\chi (t,\mu )\right|& =& \frac{{\tau }^2{e}^{-4t\tau }}{10s^3}\left|\kappa \left(\varrho \right)+\mu \left(\varrho \right)\right|\le \frac{{\tau }^2{e}^{-4t\tau }}{20s^2}\left(\left|\kappa \left(\varrho \right)\right|+\left|\mu \left(\varrho \right)\right|\right)\hfill \\ & \le & \frac{{\tau }^2{e}^{-4t\tau }}{4s^2}{\left(\left|\kappa \left(\varrho \right)\right|+\left|\mu \left(\varrho \right)\right|\right)}^2\hfill \\ & =& {\left(\frac{\tau }{s}\right)}^2{\left(\frac{1}{e^{ln4}.2^2}\right)}^{\frac{1}{2}}{\left(\left[\left|\kappa \left(\varrho \right)\right|+\left|\mu \left(\varrho \right)\right|\right]e^{-4t\tau }\right)}^2\hfill \\ & =& {\left(\frac{\tau }{s}\right)}^2{\left(\frac{1}{e^{\tau }.s^2}\right)}^{\frac{1}{m}}{\left(\left[\left|\kappa \left(\varrho \right)\right|+\left|\mu \left(\varrho \right)\right|\right]e^{-2t\tau m}\right)}^m\hfill \\ & =& {\left(\frac{\tau }{s}\right)}^2{\left(\frac{1}{e^{\tau }.s^2}\right)}^{\frac{1}{m}}{\left({∥\kappa \left(\varrho \right)∥}_{\infty }+{∥\mu \left(\varrho \right)∥}_{\infty }\right)}^m\hfill \\ & =& {\left(\frac{\tau }{s}\right)}^2{\left(\frac{1}{e^{\tau }.s^2}\right)}^{\frac{1}{m}}\varpi (\kappa ,\mu )\hfill \\ & \le & {\tau }^2{\left(\frac{e^{-\tau }}{s^2}\right)}^{\frac{1}{m}}{B}^{\frac{1}{m}}(\kappa ,\mu ).\hfill \end{array}$$

Finally

$$\underset{t,\varrho \in [0,1]}{sup}\underset{0}{\overset{1}{\int }}\mathsf{\Lambda }(t,\varrho )d\varrho =\underset{t\in [0,1]}{sup}\underset{0}{\overset{1}{\int }}\frac{{\varrho }^3}{5}d\varrho \le \underset{\rho \in [0,1]}{sup}\frac{1}{20}=\frac{1}{20}<1.$$

Therefore, all conditions of Theorem 5 are satisfied, therefore a mapping $\mathsf{\Gamma }$ has a fixed point in $\mathsf{\Omega }$, which is a solution to the problem (27). □

5. Solution of Second-Order Differential Equations

In this part, we shall apply the previous theoretical results of Theorem 3 to study the existence and uniqueness of solutions for the following second-order differential equation:

$$\left\{\begin{array}{cc}{\kappa }^{″}\left(t\right)=-\chi (t,\kappa \left(t\right)),& t\in [0,1]\\ \kappa \left(0\right)=\kappa \left(1\right)=0\end{array}\right.,$$

(28)

where $\chi :[0,1]\times [0,1]\to \mathbb{R}$ is a continuous functions.

The problem (28) is equivalent to the following integral equation:

$$\kappa \left(t\right)=\underset{0}{\overset{1}{\int }}\mathsf{\Lambda }(t,\varrho )\chi (t,\kappa \left(\varrho \right))d\varrho ,\forall t\in [0,1]$$

(29)

where $\mathsf{\Lambda }$ is the Green function defined by

$$\mathsf{\Lambda }(\rho ,\varrho )=\left\{\begin{array}{cc}t(1-\varrho )\mathrm{if}& 0\le t\le \varrho \le 1\\ \varrho (1-t)\mathrm{if}& 0\le \varrho \le t\le 1\end{array}\right.,$$

and $\chi$ be a function as in Theorem 5. Hence if $\kappa \in C^2([0,1],\mathbb{R}),$ then $\kappa$ is a solution of (28) if and only if $\kappa$ is a solution of (29).

Let $\mathsf{\Omega }=C\left(\right[0,1],\mathbb{R})$ be the set of all continuous functions defined on $[0,1]$, endowed with the same distance of the above section. Then $(\mathsf{\Omega },\varpi )$ is a complete $b-$metric-like space with parameter $s=2^{m-1}.$

Now, we introduce the main theorem of this part.

Theorem 6.

Let Γ be a nonlinear self mapping on Ω of a $b-$metric-like space $(\mathsf{\Omega },\varpi ),$ such that there exists monotone nondecreasing mapping $\chi :[0,1]\times \mathbb{R}\to \mathbb{R}$ such that

$$\left|\chi (\varrho ,\kappa )+\chi (\varrho ,\mu )\right|\le {\left(\frac{7\beta e^{-\tau }}{s^2}\right)}^{\frac{1}{m}}\left(\left|\kappa \right|+\left|\mu \right|\right),$$

for all $\varrho \in [0,1],$$\kappa ,\mu \in \mathbb{R},$$0\le \beta <\frac{1}{8}$ and for $m>1.$

Then the problem (28) has a unique solution $\kappa \in C\left(\right[0,1],\mathbb{R})$, provided that the conditions (i) and (ii) of Theorem 5 are satisfied.

Proof. 

Let us define a nonlinear self-mapping $\mathsf{\Gamma }$ on a set $\mathsf{\Omega }$ by

$$\mathsf{\Gamma }\kappa \left(t\right)=\underset{0}{\overset{1}{\int }}\mathsf{\Lambda }(t,\varrho )\chi (t,\kappa \left(\varrho \right))d\varrho ,$$

for all $t\in [0,1]$ and $\kappa \in \mathsf{\Omega }.$ The solution of the problem (28) is equivalent to find a fixed point $\kappa$ of $\mathsf{\Gamma }$ on $\mathsf{\Omega }.$ Suppose that $\kappa ,\mu \in \mathsf{\Omega },$ we have $\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )>0,$

$$\begin{array}{ccc}\hfill s^2{\left(\left|\mathsf{\Gamma }\kappa \left(t\right)\right|+\left|\mathsf{\Gamma }\mu \left(t\right)\right|\right)}^m& =& s^2{\left(\left|\underset{0}{\overset{1}{\int }}\mathsf{\Lambda }(t,\varrho )\chi (t,\kappa \left(\varrho \right))d\varrho \right|+\left|\underset{0}{\overset{1}{\int }}\mathsf{\Lambda }(t,\varrho )\chi (t,\mu \left(\varrho \right))d\varrho \right|\right)}^m\hfill \\ & \le & s^2{\left(\underset{0}{\overset{1}{\int }}\left|\mathsf{\Lambda }(t,\varrho )\chi (t,\kappa (\varrho \left)\right)\right|d\varrho +\left|\underset{0}{\overset{1}{\int }}\left|\mathsf{\Lambda }(t,\varrho )\chi (t,\mu (\varrho \left)\right)\right|d\varrho \right|\right)}^m\hfill \\ & =& s^2{\left(\underset{0}{\overset{1}{\int }}\mathsf{\Lambda }(t,\varrho )\left|\chi (t,\kappa (\varrho \left)\right)+\chi (t,\mu (\varrho \left)\right)\right|d\varrho \right)}^m\hfill \\ & \le & s^2{\left(\underset{0}{\overset{1}{\int }}\mathsf{\Lambda }(t,\varrho ){\left(\frac{7\beta e^{-\tau }}{s^2}\right)}^{\frac{1}{m}}(\left|\kappa \right|+\left|\mu \right|)d\varrho \right)}^m\hfill \\ & =& 7\beta e^{-\tau }{\left(\underset{0}{\overset{1}{\int }}\mathsf{\Lambda }(t,\varrho )e^{2t\tau }{e}^{-2t\tau }\left(\left|\kappa \right|+\left|\mu \right|\right)d\varrho \right)}^m\hfill \\ & \le & 7\beta e^{-\tau }{\left({∥\kappa ∥}_{\infty }+{∥\mu ∥}_{\infty }\right)}^m{e}^{2t\tau m}{\left(\underset{0}{\overset{1}{\int }}\mathsf{\Lambda }(t,\varrho )d\varrho \right)}^m\hfill \\ & =& \frac{7}{7^m}\beta e^{-\tau }{e}^{2t\tau m}{\left({∥\kappa ∥}_{\infty }+{∥\mu ∥}_{\infty }\right)}^m\hfill \\ & \le & \beta e^{-\tau }{e}^{2t\tau m}{\left({∥\kappa ∥}_{\infty }+{∥\mu ∥}_{\infty }\right)}^m.\hfill \end{array}$$

For instance above, for all $t\in [0,1],$ we can get $\underset{0}{\overset{1}{\int }}\mathsf{\Lambda }(t,\varrho )d\varrho =\frac{1}{2}(1-t)$ and thus, we choose ${sup}_{\varrho \in [0,1]}\underset{0}{\overset{1}{\int }}\mathsf{\Lambda }(t,\varrho )d\varrho =\frac{1}{7}.$ Hence

$$s^2{\left(\mathsf{\Gamma }\kappa \left(t\right)+\left|\mathsf{\Gamma }\mu \left(t\right)\right|\right)}^m.e^{-2t\tau m}\le e^{-\tau }\beta {\left({∥\kappa ∥}_{\infty }+{∥\mu ∥}_{\infty }\right)}^m,$$

or

$$s^2{\left({∥\mathsf{\Gamma }\kappa ∥}_{\infty }+{∥\mathsf{\Gamma }\mu ∥}_{\infty }\right)}^m\le e^{-\tau }\beta {\left({∥\kappa ∥}_{\infty }+{∥\mu ∥}_{\infty }\right)}^m,$$

(30)

Let $\alpha =\gamma =0$, hence $\alpha +\beta +2s\gamma <\frac{1}{8}.$ It follows from (30) that

$$s^2\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\le \left(e^{-\tau }\right)\left[\beta \varpi (\kappa ,\mu )\right].$$

(31)

Taking the function $F\left(\theta \right)=ln\left(\theta \right)$ in (31), such that $F\in \mathsf{\Sigma },$ we can obtain

$$\begin{array}{ccc}\hfill \tau +F\left(s^2\varpi (\mathsf{\Gamma }\kappa ,\mathsf{\Gamma }\mu )\right)& \le & F\left(\beta \varpi \right(\kappa ,\mu \left)\right)\hfill \\ & =& F(\alpha \frac{\varpi (\kappa ,\mathsf{\Gamma }\kappa ).\varpi (\mu ,\mathsf{\Gamma }\mu )}{\varpi (\kappa ,\mu )}+\beta \varpi (\kappa ,\mu )+\gamma \varpi (\mu ,\mathsf{\Gamma }\kappa )).\hfill \end{array}$$

Hence all requirements of Theorem 3 are holds by taking the coefficient $q=2,$ therefore $\mathsf{\Gamma }$ has a fixed point $\kappa \in \mathsf{\Omega }$, that is, (28) has a unique solution $\kappa \in C^2([0,1],\mathbb{R}).$ □

6. Question

It was proved in [22] that if $F\left(\theta \right)=\frac{-1}{\sqrt[p]{\theta }},$ where $p>1$ and $\theta >0,$ then $F\in \mathsf{\Sigma }.$ The question that arises here, what are the properties of the contraction mapping under this function?

7. Conclusions

The paper generalizes known contraction conditions and the obtained fixed point results, generalized several results known before such as Banach contraction [1], Jaggi-contraction [28,29], and Ciric almost contraction [30]. Furthermore, as it has been observed in studies, fixed point results in $b-$metric-like spaces can be derived from the results of ordinary and $b-$metric spaces under some suitable conditions. We have applied our results to get the existence of a solution for electric circuit equation and second-order differential equation.