Some fixed point results for ξ-chainable neutrosophic and generalized neutrosophic cone metric spaces with application

1.   Introduction

In the field of fixed point theory, the notion of metric spaces (MS) and the Banach contraction principle play crucial roles. The axiomatic clarity of MS attracts many researchers. There have been a lot of generalizations to the MS so far. This demonstrates the allurement and scope of the definition of the MS. The notion of cone metric space (CMS) was proposed by Haung and Zhang ^[1] and to investigate some fixed point results for contractive mappings. The classical techniques cannot deal with uncertain analysis problems. To deal with such problems, Zadeh ^[2] introduced the notion of fuzzy sets (FSs). This concept succeeded in shifting a lot of mathematical structures from crisp set theory to fuzzy set theory. In this connectedness, Kramosil and Michalek ^[3] introduced the notion of fuzzy metric spaces (FMS), in which they used the idea of continuous triangular norms (CTN) and Garbiec ^[4] gave the fuzzy interpretation of Banach contraction principle in FMS. It deals with membership function only in the case of FMS. To generalize the idea of FMS, the notion of intuitionistic fuzzy metric spaces (IFMS) by using the idea of CTN and continuous triangular conorm (CTCN) was initiated by Park ^[5] that deals with membership and non-membership functions. The concept of intuitionistic fuzzy sets is initiated by Atanassov ^[6]. Recently, Kirisci ^[7] generalized the concept of IFMS by using the idea of neutrosophic sets (NSs), which was given by Smarandache ^[8] and coined the notion of neutrosophic metric space (NMS), in which we deal with membership (truthiness), indeterminacy (naturalness) and non-membership (falsity) functions. Riaz and Hashmi ^[18] gave fixed points of fuzzy neutrosophic soft mapping with decision-making.

Combining the idea of CMS and FSs, Oner ^[11] coined the notion of fuzzy cone metric space and proved fuzzy cone Banach contraction principle. Ali ^[12] proposed the notion of intuitionistic fuzzy cone metric space. Recently, Jeyaraman ^[13] tossed the notion of intuitionistic generalized fuzzy cone metric space (IGFCMS) and proved some common fixed point results and Ali ^[14] introduced the idea of $ϵ$-chainable intuitionistic fuzzy metric spaces. Congxin ^[20] investigates the fuzzy Fredholm integral equation of second kind. For further interesting notions of fuzzy fixed point theory, see ^{[9,10,15,16,17,19,23,24,25,26,27,28]}. Al-Omeri et al. ^[21] introduced neutrosophic fixed point theorems and cone metric spaces. Sowndrara et al. ^[22] proposed fixed point results for contraction theorems in neutrosophic metric spaces.

Rasham et al. ^{[23,24,25,26,27,28]} introduced several interesting results for fixed point theory using several mappings. Riaz et al. ^[29,30] introduced the novel concepts of linear Diophantine fuzzy sets and spherical linear Diophantine fuzzy sets. Sitara et al. ^[31] established decision-making analysis based on q-rung picture fuzzy graph structures. Akram et al. ^[32] proposed new decision-making approach under complex spherical fuzzy prioritized weighted aggregation operators. Ashraf and Abdullah ^[33] introduced spherical aggregation operators and their application in multi-attribute group decision-making. Liu et al. ^[34] introduced cosine similarity measures and distance measures between complex q-rung orthopair fuzzy sets. Riaz et al. ^[34] introduced multi-criteria decision making based on bipolar picture fuzzy operators and new distance measures. Al-Omeri et al. ^[35] proved several interesting fixed point results in generalization of neutrosophic metric spaces. Ishtiaq et al. ^[36] introduced the notion of orthogonal neutrosophic metric spaces and established some fixed point results. Also, we refer ^{[38,39,40,41,42]} for more detail.

Main objectives of the manuscript are as follows:

1) To introduce novel concepts of $\xi$-chainable neutrosophic metric space and generalized neutrosophic cone metric spaces.

2) To prove fixed point theorem for four self-mappings in the sense of $\xi$-chainable neutrosophic metric space.

3) To prove fixed point results for three self-mappings in the sense of generalized neutrosophic metric spaces.

4) Application to fuzzy Fredholm integral equation of second kind is given to verify the validity of proposed fixed point results.

5) To enhance existing literature of fuzzy metric spaces and fuzzy fixed theory.

This manuscript is organized as follows. In Section 2, some rudimentary concepts of CTN, CTCN, cone, cone metric space, NSs, IFMS, and IFGCMS are presented. In Section 3, the notion of GNCMS is introduced and some fixed point theorems are established using three self-mappings in the sense of GNCMS and non-trivial examples also are presented. In Section 4, the notion of $\xi$- chainable NMS is introduced and fixed point theorems are established by using four self-mappings. Lastly, the conclusion is given in Section 5.

2.   Preliminaries

In this section, we review some elementary concepts including, CTN, CTCN, cone, cone metric space, NSs, IFMS, and IFGCMS. These concepts are essential for the analysis in the whole manuscript.

Definition 2.1. ^[5] A binary operation $\mathit{*}$: [0, 1]$\times$ [0, 1] $\to$ [0, 1] is called a continuous triangular norm (CTN) if:

A. $\pi *{\rm{ \mathsf{ μ} }} = {\rm{ \mathsf{ μ} }} *\pi , \ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ , \pi , {\rm{ \mathsf{ μ} }} \in \left[0, 1\right];$

B. $*$ is continuous;

C. $\pi *1 = \pi , \ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ , \pi \in \left[0, 1\right];$

D. $\left(\pi *{\rm{ \mathsf{ μ} }} \right)*\rho = \pi *\left({\rm{ \mathsf{ μ} }} *\rho \right), \ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ , \pi , {\rm{ \mathsf{ μ} }} , \rho \in \left[0, 1\right];$

E. If $\pi \le \rho$ and ${\rm{ \mathsf{ μ} }} \le \sigma ,$ with $\pi , {\rm{ \mathsf{ μ} }} , \rho , \sigma \in \left[0, 1\right],$ then $\pi *{\rm{ \mathsf{ μ} }} \le \rho *\sigma .$

Example 2.2. ^[5,16] Some fundamental examples of continuous triangular norms (CTNs) are: $\pi *{\rm{ \mathsf{ μ} }} = \pi \cdot {\rm{ \mathsf{ μ} }} , \pi *{\rm{ \mathsf{ μ} }} = \mathrm{m}\mathrm{i}\mathrm{n}\{\pi , {\rm{ \mathsf{ μ} }} \}$ and $\pi *{\rm{ \mathsf{ μ} }} = \mathrm{max}\left\{\pi +{\rm{ \mathsf{ μ} }} -1, 0\right\}.$

Definition 2.3. ^[5] A binary operation $○$ : [0, 1]$\times$ [0, 1] $\to$ [0, 1] is called a continuous triangular conorm (CTCN) if it meets the below assertions:

a. $\pi ○{\rm{ \mathsf{ μ} }} = {\rm{ \mathsf{ μ} }} ○\pi , \ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ , \pi , {\rm{ \mathsf{ μ} }} \in \left[0, 1\right];$

b. $○$ is continuous;

c. $\pi ○0 = 0, \ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ , \pi \in \left[0, 1\right];$

d. $\left(\pi ○{\rm{ \mathsf{ μ} }} \right)○\rho = \pi ○\left({\rm{ \mathsf{ μ} }} ○\rho \right), \ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ , \pi , {\rm{ \mathsf{ μ} }} , \rho \in \left[0, 1\right];$

e. If $\pi \le \rho$ and ${\rm{ \mathsf{ μ} }} \le \sigma ,$ with $\pi , {\rm{ \mathsf{ μ} }} , \rho , \sigma \in \left[0, 1\right],$ then $\pi ○{\rm{ \mathsf{ μ} }} \le \rho ○\sigma .$

Example 2.4. ^[5] $\pi ○{\rm{ \mathsf{ μ} }} = \mathrm{max}\left\{\pi , {\rm{ \mathsf{ μ} }} \right\}\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \pi ○{\rm{ \mathsf{ μ} }} = \mathrm{min}\left\{\pi +{\rm{ \mathsf{ μ} }} , 1\right\}$ are examples of CTCNs.

Definition 2.5. ^[1] Let a real Banach space $X$ and a subset $P$ of $X$, $P$ is named to be cone if and only if

c1) $P\ne \varnothing , P\ne \left\{0\right\}, \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ P$ is closed,

c2) $a, b\in R, a, b\ge 0, \vartheta , \zeta \in P, a\vartheta +b\zeta \in P,$

c3) $\vartheta \in P\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ -\vartheta \in P \ \ \mathrm{i}\mathrm{m}\mathrm{p}\mathrm{l}\mathrm{i}\mathrm{e}\mathrm{s} \ \ \vartheta = 0.$

Definition 2.6. ^[1] Let a set $X\ne \varnothing$ and assume that a mapping $\delta :X\times X\to Y$ ($Y$ is a Banach space) fulfills:

1) $\delta \left(\vartheta , \zeta \right)\succ 0\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ \ \ \vartheta , \zeta \in X\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \delta \left(\vartheta , \zeta \right) = 0\ \ \mathrm{i}\mathrm{f} \ \ \ \ \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \ \mathrm{o}\mathrm{n}\mathrm{l}\mathrm{y} \ \ \ \mathrm{i}\mathrm{f} \ \ \vartheta = \zeta ;$

2) $\delta \left(\vartheta , \zeta \right) = \delta \left(\zeta , \vartheta \right)\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ \ \ \vartheta , \zeta \in X;$

3) $\delta \left(\vartheta , \zeta \right)\preccurlyeq \delta \left(\vartheta , \lambda \right)+\delta \left(\lambda , \zeta \right)\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ \ \ \vartheta , \zeta , \lambda \in X.$

Then $\delta$ is called a cone metric on $X, \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \left(X, \delta \right)$ is called a cone metric space.

Definition 2.7. ^[15] Let a set $X\ne \varnothing$ and $\vartheta \in X.$ A neutrosophic set (NS) $G$ in $X$ is categorized by three components:

(i) truth-membership function ${M}_{G}\left(\vartheta \right),$

(ii) indeterminacy-membership function ${N}_{G}\left(\vartheta \right),$

(iii) falsity-membership function ${O}_{G}\left(\vartheta \right).$

Functions ${M}_{G}\left(\vartheta \right),$ ${N}_{G}\left(\vartheta \right)$ and ${O}_{G}\left(\vartheta \right)$ are real standard or non-standard subsets of $]{0}^{-}, {1}^{+}[,$ that is, ${M}_{G}\left(\vartheta \right):X\to ]{0}^{-}, {1}^{+}[,$ ${N}_{G}\left(\vartheta \right):X\to ]{0}^{-}, {1}^{+}[$ and ${O}_{G}\left(\vartheta \right):X\to ]{0}^{-}, {1}^{+}[$ such that

Definition 2.8. ^[5] Take $X\ne \varnothing$. Let $\text{*}$ be a CTN, $\text{○}$ be a CTCN, and $F, V$ be FSs on $X\times X\times \left(0, +\infty \right)$. If $(X, F, V, *, ○\text{)}$ verifies the following for all $\vartheta , \zeta \in X\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ s, t > 0:$

I. $F\left(\vartheta , \zeta , t\right)+V\left(\vartheta , \zeta , t\right)\le 1;$

II. $F\left(\vartheta , \zeta , t\right) > 0;$

III. $F\left(\vartheta , \zeta , t\right) = 1 \ if \ and \ only \ if \ \vartheta = \zeta ;$

IV. $F\left(\vartheta , \zeta , t\right) = F\left(\zeta , \vartheta , t\right);$

V. $F\left(\vartheta , \lambda , t+s\right)\ge F\left(\vartheta , \zeta , t\right)\text{*}F\left(\zeta , \lambda , s\right);$

VI. $F\left(\vartheta , \zeta , \cdot \right):\left(0, +\infty \right)\to \left[\mathrm{0, 1}\right]$ is continuous and $\mathop {{\rm{lim}}}\nolimits_{t \to + \infty } F\left(\vartheta , \zeta , t\right) = 1\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0$;

VII. $V\left(\vartheta , \zeta , t\right) > 0;$

VIII. $V\left(\vartheta , \zeta , t\right) = 0$ $\ if \ and \ only \ if \ \vartheta = \zeta ;$

IX. $V\left(\vartheta , \zeta , t\right) = V\left(\zeta , \vartheta , t\right);$

X. $V\left(\vartheta , \lambda , t+s\right)\le V\left(\vartheta , \zeta , t\right)\text{○}N\left(\zeta , \lambda , s\right);$

XI. $V\left(\vartheta , \zeta , \cdot \right):\left(0, +\infty \right)\to \left[\mathrm{0, 1}\right]$ is continuous and $\mathop {{\rm{lim}}}\nolimits_{t \to + \infty } V\left(\vartheta , \zeta , t\right) = 0\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0$;

then $(X, F, V, \text{*, ○)}$ is an intuitionistic fuzzy metric space (IFMS).

Definition 2.9. ^[13] An intuitionistic generalized fuzzy cone metric space (IGFCMS) is a 6-tuple $\left(X, D, U, *, ○, C\right)$ where $X$ is a arbitrary set, $*$ is a CTN $○$ is a CTCN, $C$ is a closed cone and $D\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ U$ are NSs in ${X}^{3}\times \mathrm{i}\mathrm{n}\mathrm{t} \ \ \left(C\right)$ fulfilling the following circumstances:

for all $\vartheta , \zeta , \lambda , u\in X$ and $\mathit{c}, {\mathit{c}}'\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)$,

F1. $D\left(\vartheta , \zeta , \lambda , \mathit{c}\right)+U\left(\vartheta , \zeta , \lambda , \mathit{c}\right)\le 1,$

F2. $D\left(\vartheta , \zeta , \lambda , \mathit{c}\right) > 0,$

F3. $D\left(\vartheta , \zeta , \lambda , \mathit{c}\right) = 1\ \ \mathrm{i}\mathrm{f} \ \ \ \ \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \ \mathrm{o}\mathrm{n}\mathrm{l}\mathrm{y} \ \ \ \mathrm{i}\mathrm{f} \ \ \vartheta = \zeta = \lambda ,$

F4. $D\left(\vartheta , \zeta , \lambda , \mathit{c}\right) = D\left(p\{\vartheta , \zeta , \lambda \}, c\right)\mathrm{w}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{e} \ \ p \ \ \mathrm{i}\mathrm{s} \ \ \mathrm{a} \ \mathrm{p}\mathrm{e}\mathrm{r}\mathrm{m}\mathrm{u}\mathrm{t}\mathrm{a}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n} \ \mathrm{f}\mathrm{u}\mathrm{n}\mathrm{c}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n},$

F5. $D\left(\vartheta , \zeta , \lambda , \mathit{c}+{\mathit{c}}'\right)\ge D\left(\vartheta , \zeta , u, \mathit{c}\right)*D\left(\vartheta , \lambda , \lambda , {\mathit{c}}'\right),$

F6. $D\left(\vartheta , \zeta , \lambda , \cdot \right):\mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)\to \left[0, 1\right]\mathrm{i}\mathrm{s} \ \mathrm{c}\mathrm{o}\mathrm{n}\mathrm{t}\mathrm{i}\mathrm{n}\mathrm{u}\mathrm{o}\mathrm{u}\mathrm{s}$,

F7. $U\left(\vartheta , \zeta , \lambda , \mathit{c}\right) < 1$,

F8. $U\left(\vartheta , \zeta , \lambda , \mathit{c}\right) = 1\ \ \mathrm{i}\mathrm{f} \ \ \ \ \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \ \mathrm{o}\mathrm{n}\mathrm{l}\mathrm{y} \ \ \ \mathrm{i}\mathrm{f} \ \ \vartheta = \zeta = \lambda ,$

F9. $U\left(\vartheta , \zeta , \lambda , \mathit{c}\right) = U\left(p\{\vartheta , \zeta , \lambda \}, c\right)\mathrm{w}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{e} \ \ p \ \ \mathrm{i}\mathrm{s} \ \ \mathrm{a} \ \mathrm{p}\mathrm{e}\mathrm{r}\mathrm{m}\mathrm{u}\mathrm{t}\mathrm{a}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n} \ \mathrm{f}\mathrm{u}\mathrm{n}\mathrm{c}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n},$

F10. $U\left(\vartheta , \zeta , \lambda , \mathit{c}+{\mathit{c}}'\right)\le U\left(\vartheta , \zeta , u, c\right)○U\left(\vartheta , \lambda , \lambda , {\mathit{c}}'\right),$

F11. $U\left(\vartheta , \zeta , \lambda , \cdot \right):\mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)\to \left[0, 1\right]\mathrm{i}\mathrm{s} \ \mathrm{c}\mathrm{o}\mathrm{n}\mathrm{t}\mathrm{i}\mathrm{n}\mathrm{u}\mathrm{o}\mathrm{u}\mathrm{s}$.

The triplet $(D, U, O)$ is called an IGFCMS on $X$.

Definition 2.10. ^[7] Let $X\ne \varnothing$ and $*$ is a CTN and $○$ be a CTCN. $L, W\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ Q$ are NSs on $X\times X\times \left(0, +\infty \right)$ is named neutrosophic metric on $X$, if for all $\vartheta , \zeta , \lambda \in X,$ the below circumstances fulfil:

i. $L\left(\vartheta , \zeta , t\right)+W\left(\vartheta , \zeta , t\right)+Q\left(\vartheta , \zeta , t\right)\le 3\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ \ \ t\in {\mathbb{R}}^{+};$

ii. $L\left(\vartheta , \zeta , t\right) > 0\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0;$

iii. $L\left(\vartheta , \zeta , t\right) = 1\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0, \ \ \mathrm{i}\mathrm{f} \ \ \ \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \ \mathrm{o}\mathrm{n}\mathrm{l}\mathrm{y} \ \ \ \mathrm{i}\mathrm{f} \ \ \vartheta = \zeta ;$

iv. $L\left(\vartheta , \zeta , t\right) = L\left(\zeta , \vartheta , t\right)\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0;$

v. $L\left(\vartheta , \lambda , t+s\right)\ge L\left(\vartheta , \zeta , t\right)*L\left(\zeta , \lambda , s\right)\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t, s > 0;$

vi. $L\left(\vartheta , \zeta , \cdot \right):\left(0, +\infty \right)\to \left[\mathrm{0, 1}\right]$ is continuous and $\mathop {{\rm{lim}}}\nolimits_{t \to + \infty } L\left(\vartheta , \zeta , t\right) = 1\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0$;

vii. $W\left(\vartheta , \zeta , t\right) < 1\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0;$

viii. $W\left(\vartheta , \zeta , t\right) = 0\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0, \ \ \mathrm{i}\mathrm{f} \ \ \ \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \ \mathrm{o}\mathrm{n}\mathrm{l}\mathrm{y} \ \ \ \mathrm{i}\mathrm{f} \ \ \vartheta = \zeta ;$

ix. $W\left(\vartheta , \zeta , t\right) = W\left(\zeta , \vartheta , t\right)\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0;$

x. $W\left(\vartheta , \lambda , t+s\right)\le W\left(\vartheta , \zeta , t\right)○W\left(\zeta , \lambda , s\right)\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t, s > 0;$

xi. $W\left(\vartheta , \zeta , \cdot \right):\left(0, +\infty \right)\to \left[\mathrm{0, 1}\right]$ is continuous and $\mathop {{\rm{lim}}}\nolimits_{t \to + \infty } W\left(\vartheta , \zeta , t\right) = 0\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0$;

xii. $Q\left(\vartheta , \zeta , t\right) < 1\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0;$

xiii. $Q\left(\vartheta , \zeta , t\right) = 0\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0, \ \ \mathrm{i}\mathrm{f} \ \ \ \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \ \mathrm{o}\mathrm{n}\mathrm{l}\mathrm{y} \ \ \ \mathrm{i}\mathrm{f} \ \ \vartheta = \zeta ;$

xiv.$Q\left(\vartheta , \zeta , t\right) = Q\left(\zeta , \vartheta , t\right)\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0;$

xv. $Q\left(\vartheta , \lambda , t+s\right)\le Q\left(\vartheta , \zeta , t\right)○Q\left(\zeta , \lambda , s\right)\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t, s > 0;$

xvi.$Q\left(\vartheta , \zeta , \cdot \right):\left(0, +\infty \right)\to \left[\mathrm{0, 1}\right]$ is continuous and $\mathop {{\rm{lim}}}\nolimits_{t \to + \infty } Q\left(\vartheta , \zeta , t\right) = 0\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ t > 0$.

Then $\left(X, L, W, Q, *, ○\right)$ is called a neutrosophic metric space (NMS).

3.   Generalized neutrosophic cone metric space (GNCMS)

In this section, the notion of GNCMS is given, some fixed point theorems are proved in the sense of GNCMS and non-trivial examples are also imparted.

Definition 3.1. A $GNCMS$ is a 7-tuple $\left(X, M, N, O, *, ○, C\right)$ where $X$ is an arbitrary non-empty set, $"*"$ is a CTN, $"○"$ is a CTCN, $C$ is a closed cone and $M, N\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ O$ are NSs in ${X}^{3}\times \mathrm{i}\mathrm{n}\mathrm{t} \ \ \left(C\right)$ fulfilling the following circumstances:

For all $\vartheta , \zeta , \lambda , u\in X$ and $c, {c}'\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)$,

The triplet $(M, N, O)$ is known as GNCM on $X$. The functions $M\left(\vartheta , \zeta , \lambda , c\right)$, $N\left(\vartheta , \zeta , \lambda , c\right)$, and $O\left(\vartheta , \zeta , \lambda , c\right)$ indicate respectively, the degree of nearness, the degree of non-nearness and neutral functions between $\vartheta , \zeta \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \lambda$ with respect to $c$.

Example 3.2. Consider the metric space $X = [0, +\infty )$ with metric $d$. Let $C = {\mathbb{R}}^{+}$, define $\mathbb{*}$ by $\pi *{\rm{ \mathsf{ μ} }} = \pi \cdot {\rm{ \mathsf{ μ} }}$, and $○$ by $\pi ○{\rm{ \mathsf{ μ} }} = \mathrm{max}\left\{\pi , {\rm{ \mathsf{ μ} }} \right\}$. Define $M, N, O:{X}^{3}\times \left(0, +\infty \right)\to [0, 1]$ by

for all $\vartheta , \zeta , \lambda \in X$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right).$ Then, it is clear that $\left(X, M, N, O, *, ○, C\right)$ is a $GNCMS$.

Definition 3.3. Let $\left(X, M, N, O, *, ○, C\right)$ be a GNCM. Then the radius $r\in \left(\mathrm{0, 1}\right)$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)$ the open ball $B\left(\vartheta , r, c\right)$ with centre $\vartheta$ and is defined by

Definition 3.4. Let $\left(X, M, N, O, *, ○, C\right)$ be a GNCM. Then the radius $r\in \left(\mathrm{0, 1}\right)$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)$ the closed ball $\stackrel{-}{B}\left(\vartheta , r, c\right)$ with centre $\vartheta$ and is defined by

Definition 3.5. Let $\left(X, M, N, O, *, ○, C\right)$ be a GNCM. Define $\tau = \{A\subseteq X:\vartheta \in A$ if and only if there exist $r\in \left(\mathrm{0, 1}\right)$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)$ such that $B\left(\vartheta , r, c\right)\subset A\}.$ Then $\tau$ is called a topology on $X.$

Proof. The proof of Definition 3.5 is easy to examine on the line as in ^[12].

Remark 3.6. A $GNCMS$ is symmetric.

Definition 3.7. Let $\left(X, M, N, O, *, ○, C\right)$ be an $GNCMS.$ A self mapping $T:X\to X$ is said to be $k-\mathrm{N}\mathrm{e}\mathrm{u}\mathrm{t}\mathrm{r}\mathrm{o}\mathrm{s}\mathrm{o}\mathrm{p}\mathrm{i}\mathrm{c}$ cone contraction ($k-NCC$) if there exists $k\in (0, 1)$ such that

for all $\vartheta , \zeta , \lambda \in X\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)$.

Definition 3.8. In $GNCMS(X, M, N, O, *, ○, C)$, the triplet $(M, N, O)$ is named to be triangular if, for all $\vartheta , \zeta , \lambda , u\in X\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)$,

Definition 3.9. Let $(X, M, N, O, *, ○, C)$ be a $GNCMS$, ${\vartheta }'\in X$ and $\left\{{\vartheta }_{n}\right\}$ be a sequence in $X$, then

A1) ${\{\vartheta }_{n}\}$ is said to be a convergent to ${\vartheta }'\in X$ if, for all $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)$,

It is represented by $\underset{n\to +\infty }{\mathrm{lim}{\vartheta }_{n} = {\vartheta }'}$ or ${\vartheta }_{n}\to {\vartheta }' \ \ \mathrm{a}\mathrm{s} \ \ n\to +\infty$.

A2) ${\{\vartheta }_{n}\}$ is said to be a Cauchy sequence if, for all $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)$ and $m\in \mathbb{N},$

and

A3) $(X, M, N, O, *, ○, C)$ is said to be a complete $GNCM$S if every Cauchy sequence in $X$ converges.

Definition 3.10. Let $(X, M, N, O, *, ○, C)$ be a $GNCM$S. A sequence ${\{\vartheta }_{n}\}$ in $X$ is $k$-neutrosophic cone contractive ($k$-NCC) if their exists $k\in (0, 1)$ such that

for all $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right).$

From the help of ^[12], we have the following Theorem.

Theorem 3.11. Let $(X, M, N, O, *, ○, C)$ be a complete $GNCM$S in which $k$-NCC sequences are Cauchy. Let $T:X\to X$ be a $k$-NCC mapping. Then, $T$ has a unique fixed point.

Remark 3.12. The proof of Theorem 3.11 follows from Theorem 3.13 when $T = Q$ and ${k}_{2} = {k}_{3} = {k}_{4} = 0.$

Next, let us prove some common fixed point theorems for two self-mappings satisfying generalized contractive conditions in a complete $GNCMS.$

Theorem 3.13. Let $(X, M, N, O, *, ○, C)$ be a complete $GNCM$S where $(M, N, O)$ be triangular. If $T, Q:X\to X$ satisfy the following: for all $\vartheta , \zeta , \lambda \in X$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right),$

where ${k}_{i}\in \left[\mathrm{0, 1}\right), i = 1, \dots , 4$ and ${k}_{1}+2\left({k}_{2}+{k}_{3}\right)+{k}_{4} < 1.$ Then, $T\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ Q$ have a unique common point.

Proof. Let ${\vartheta }_{0}\in X$ be a random. Let $\left\{{\vartheta }_{n}\right\}$ be a $k-NCC$ sequence defined by

From (1), we have

Therefore,

Similarly,

Put ${M}_{n} = \left(\frac{1}{M\left({\vartheta }_{n}, {\vartheta }_{n+1}, {\vartheta }_{n+1}, c\right)}-1\right)$ and

Then we get the inequalities:

These imply that

From (2), we have

Therefore,

Similarly,

Putting ${N}_{n} = N\left({\vartheta }_{n}, {\vartheta }_{n+1}, {\vartheta }_{n+1}, c\right),$ we have the following inequalities:

For $n = \mathrm{0, 1}, 2, \dots ,$

These imply that

From (3), we have

Therefore,

Similarly,

Putting ${O}_{n} = O\left({\vartheta }_{n}, {\vartheta }_{n+1}, {\vartheta }_{n+1}, c\right)$ we have the following inequalities:

For $n = \mathrm{0, 1}, 2, \dots ,$

These imply that

The inequalities (4)–(6) make $\left\{{\vartheta }_{n}\right\}$ a $k$-NCC sequence.

Now $(M, N, O)$ is triangular and the space $(X, M, N, O, *, ⃘, C)$ is symmetric. Therefore, we have

and

Therefore, a sequence ${\{\vartheta }_{n}\}$ is Cauchy. As $X$ is complete, there exists $\vartheta \in X$ such that

From (5)–(7), we deduce that

Since $\left(M, N, O\right)$ is triangular,

From (1), we have

Therefore,

From (2), we have

Therefore,

From (3), we have

Therefore,

From (9) to (14), we obtain that

Since ${k}_{2}+{k}_{3} < 1,$ we have

Therefore $T\vartheta = \vartheta .$

In a similar way, we can examine that $Q\vartheta = \vartheta .$ Then, $T\vartheta = Q\vartheta = \vartheta .$

Suppose $Tu = Qu = u.$

From (1), we have

This is,

Therefore,

Hence, '$\vartheta$' is the unique common fixed point of $T\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ Q.$

Corollary 3.14. Let $(X, M, N, O, *, ○, C)$ be a complete $GNCMS$ where $(M, N, O)$ be triangular. If $T:X\to X$ for all $\vartheta , \zeta , \lambda \in X$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right),$

where ${k}_{i}\in \left[\mathrm{0, 1}\right), i = 1, \dots , 4$ and ${k}_{1}+2\left({k}_{2}+{k}_{3}\right)+{k}_{4} < 1.$ Then, $T$ has a unique fixed point.

Proof. Easy to prove on the lines of Theorem 3.13.

Example 3.15. Consider the metric space $X = [0, +\infty )$ with metric $d$ given by $d\left(\vartheta , \zeta \right) = |\vartheta -\zeta |$ for all $\vartheta , \zeta \in X.$ Let $C = {\mathbb{R}}^{+}$, define $\mathbb{*}$ by $\pi *{\rm{ \mathsf{ μ} }} = \pi \cdot {\rm{ \mathsf{ μ} }}$, and $○$ by $\pi ○{\rm{ \mathsf{ μ} }} = \mathrm{max}\left\{\pi , {\rm{ \mathsf{ μ} }} \right\}$. Define $M, N, O:{X}^{3}\times \left(0, +\infty \right)\to [0, 1]$ by

for all $\vartheta , \zeta , \lambda \in X$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right).$ Then, it is clear that $(X, M, N, O, *, ○)$ is a complete $GNCMS$ and that $(M, N, O)$ is triangular. Assume the self mappings $T, Q:X\to X$ are given by

Here, $T\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ Q$ together satisfy the conditions (1)–(3) with ${k}_{1} = \frac{1}{2}, {k}_{2} = \frac{1}{8}, {k}_{3} = \frac{1}{16}, {k}_{4} = \frac{1}{16}.$ Therefore, $T\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ Q$ have a unique common fixed point and it is $\vartheta = 0.$

Theorem 3.16. Let $(X, M, N, O, *, ○, C)$ be a complete $GNCMS$ where $(M, N, O)$ is triangular. Assume that $T, Q, R:X\to X$ satisfy the following

for all $\vartheta , \zeta , \lambda \in X$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)$ where $k\in (0, 1)$ and

Then, $T, Q\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ R$ have a unique common fixed point.

Proof. Let ${\vartheta }_{0}\in X$ be arbitrary. Define the sequence $\left\{{\vartheta }_{n}\right\}$ as in Theorem 3.10. Then, from (15)–(17) for $n = 0, 1, 2, \dots ,$

Therefore, we have

Using these inequalities repeatedly, we obtain that

Therefore, $\left\{{\vartheta }_{n}\right\}$ is $k$-FCC and Cauchy and hence we can find an element $\vartheta \in X$ such that

Since $(M, N, O)$ is triangular,

From (15)–(17), we obtain

From (19) to (24), we obtain that

As $k < 1,$ we obtain

Therefore, $T\vartheta = \vartheta .$ In a similar way, we can bring that $Q\vartheta = \vartheta \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ R\vartheta = \vartheta .$ Suppose

From (15), we have that

where,

From (16), we have

where,

From (17), we have

where,

Therefore,

Hence,

Therefore, $\vartheta = u$ and we can conclude that $T, Q\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ R$ have a unique common fixed point.

Example 3.17. Consider $X = [0, +\infty )$ with for all $\vartheta , \zeta \in X.$ Let $C = {\mathbb{R}}^{+}$. Define $\mathbb{*}$ by $\pi *{\rm{ \mathsf{ μ} }} = \pi \cdot {\rm{ \mathsf{ μ} }}$ and $○$ by $\pi ○{\rm{ \mathsf{ μ} }} = \mathrm{max}\left\{\pi , {\rm{ \mathsf{ μ} }} \right\}$. Define $M, N, O:{X}^{3}\times \left(0, +\infty \right)\to [0, 1]$ by

for all $\vartheta , \zeta , \lambda \in X$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right).$ Then, it is clear that $(X, M, N, O, *, ○, C)$ be a complete $GNCMS$ and that $(M, N, O)$ is triangular. Define self-mappings $T, Q\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ R\ \ \mathrm{f}\mathrm{r}\mathrm{o}\mathrm{m} \ \ X \ \ \mathrm{t}\mathrm{o} \ \ X$ by

Then,

for all $\vartheta , \zeta , \lambda \in X.$ Thus, $T, Q\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ R$ together satisfy the conditions (15)–(17) with $k = \frac{1}{4}.$ Therefore, $T, Q\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ R$ have a unique common fixed point, and it is $\vartheta = 3.$

Corollary 3.18. Let $(X, M, N, O, *, ○, C)$ be a complete $GNCM$S where $(M, N, O)$ be triangular. If $T:X\to X$ satisfy the following

for all $\vartheta , \zeta , \lambda \in X$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right)$ where $k\in (0, 1)$ and

Then, $T$ has a unique fixed point.

Application to fuzzy Fredholm integral equation

Let $X = C(\left[e, g\right], \mathbb{ }\mathbb{R})$ be the set of all real valued continuous functions defined on $[e, g]$ and $C = {\mathbb{R}}^{+} .$

Now, we consider the fuzzy Fredholm integral equation:

where $\delta > 0, f\left(j\right)$ is a fuzzy function of $j\in \left[e, g\right]$ and $F\in X.$ Define $M, N\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ O$ by

for all $\vartheta , \zeta , \lambda \in X$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right),$

for all $\vartheta , \zeta , \lambda \in X$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right),$ and

for all $\vartheta , \zeta , \lambda \in X$ and $c\in \mathrm{i}\mathrm{n}\mathrm{t}\left(C\right),$ with CTN and CTCN respectively. Define $\pi *{\rm{ \mathsf{ μ} }} = \pi .{\rm{ \mathsf{ μ} }} \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \pi ○{\rm{ \mathsf{ μ} }} = \mathrm{max}\left\{\pi , {\rm{ \mathsf{ μ} }} \right\}.$ Then $(X, M, N, O, *, ○, C)$ is a complete GNCMS and $(M, N, O)$ is triangular. Assume that

$\left|F\left(l, j\right)\vartheta \left(l\right)-F\left(l, j\right)\zeta \left(l\right)\right|\le \left|\vartheta \left(l\right)-\zeta \left(l\right)\right|$, $\left|F\left(l, j\right)\zeta \left(l\right)-F\left(l, j\right)\lambda \left(l\right)\right|\le \left|\zeta \left(l\right)-\lambda \left(l\right)\right|$, and $\left|F\left(l, j\right)\lambda \left(l\right)-F\left(l, j\right)\vartheta \left(l\right)\right|\le \left|\lambda \left(l\right)-\vartheta \left(l\right)\right|$, for $\vartheta , \zeta , \lambda \in X$, $0 < k < 1$ and $\ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \ \mathrm{a}\mathrm{l}\mathrm{l} \ \ \ l, j\in [e, g]$. Also consider $\delta {\int }_{e}^{g}dj\le k < 1.$ Then the fuzzy integral equation (25) has a unique solution.

Proof. Define $T:X\to X$ by

Scrutinize that survival of a fixed point of the operator $T$ is come from the survival of solution of fuzzy integral equation.

Now for all $\vartheta , \zeta , \lambda \in X$, we obtain

Now,

Hence,

Now,

By using (26)–(28), we can examine that

and

By using (26)–(28), we can examine that

Therefore, all the circumstances of Corollary 3.14 are fulfilled. Hence operator $T$ has a unique fixed point. This implies that fuzzy integral equation (25) has a unique solution.

4.   $\mathit{\xi }$-chainable neutrosophic metric space

In this section, we introduce the notion of $\xi$-chainable NMS and prove a fixed point theorem by using four self-maps.

Definition 4.1. Let $\left(X, E, H, Z, *, ○\right)$ be an NMS and $T, S:X\to X$ are mappings. A point $\vartheta \in X$ is called coincident point of $T\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ S$ if and only if $T\vartheta = S\vartheta .$

Definition 4.2. A self-mapping pair $\left(T, S\right)$ of an NMS is said to be weakly compatible if they commute at the coincident points i.e., $T\vartheta = S\vartheta \ \ \mathrm{f}\mathrm{o}\mathrm{r} \ \ \ \ \mathrm{s}\mathrm{o}\mathrm{m}\mathrm{e}\vartheta \in X, \mathrm{t}\mathrm{h}\mathrm{e}\mathrm{n}TS\vartheta = ST\vartheta .$

In ^[7] definitions of convergent sequence, Cauchy sequence and completeness in the sense of NMS are defined as follows.

Definition 4.3. A sequence $\left\{{\vartheta }_{n}\right\}$ in an NMS $\left(X, E, H, Z, *, ○\right)$ is said to be convergent to $\vartheta \in X$, if

Definition 4.4. A sequence $\left\{{\vartheta }_{n}\right\}$ in an NMS $\left(X, E, H, Z, *, ○\right)$ is said to be Cauchy if there exists $n\in \mathbb{N}$ such that

for all $t\ge 0, p\ge 1$.

Definition 4.5. An NMS $\left(X, E, H, Z, *, ○\right)$ is said to complete if every Cauchy sequence is convergent in $X$.

Definition 4.6. Let $\left(X, E, H, Z, *, ○\right)$ be an NMS. A finite sequence $\vartheta = {\vartheta }_{0}, {\vartheta }_{1}, {\vartheta }_{2}, \cdots , {\vartheta }_{n} = \zeta$ is called $\xi$-chain from $\vartheta \ \ \mathrm{t}\mathrm{o} \ \ \zeta$ if there exists a positive integer $\xi > 0$ such that $E\left({\vartheta }_{i}, {\vartheta }_{i-1}, t\right) > 1-\xi ,$ $H\left({\vartheta }_{i}, {\vartheta }_{i-1}, t\right) < 1-\xi$ and $Z\left({\vartheta }_{i}, {\vartheta }_{i-1}, t\right) < 1-\xi$ for all $t > 0\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ i = \mathrm{1, 2}, 3, \dots , n.$

An NMS $\left(X, E, H, Z, *, ○\right)$ is called $\xi$-chainable if for any $\vartheta , \zeta \in X,$ there exists an $\xi$-chain from $\vartheta \ \ \mathrm{t}\mathrm{o} \ \ \zeta .$

Lemma 4.7. Let $\left(X, E, H, Z, *, ○\right)$ be an NMS, if $E\left(\vartheta , \zeta , kt\right)\ge E\left(\vartheta , \zeta , t\right), H\left(\vartheta , \zeta , kt\right)\le H\left(\vartheta , \zeta , t\right)$ and $Z\left(\vartheta , \zeta , kt\right)\le Z\left(\vartheta , \zeta , t\right)$ for a number $k\in \left(\mathrm{0, 1}\right)$ and for all $\vartheta , \zeta \in X, t > 0,$ then $\vartheta = \zeta .$

Proof. Since $E\left(\vartheta , \zeta , kt\right)\ge E\left(\vartheta , \zeta , t\right), H\left(\vartheta , \zeta , kt\right)\le H\left(\vartheta , \zeta , t\right)\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ Z\left(\vartheta , \zeta , kt\right)\le Z\left(\vartheta , \zeta , t\right)$, by using results in ^[17], we obtain

By repeating application of above inequalities, we deduce

for $n\in \mathbb{N},$ by proceeding limit as $n\to +\infty ,$ we obtain $E\left(\vartheta , \zeta , t\right) = 1, H\left(\vartheta , \zeta , t\right) = 0$ and $Z\left(\vartheta , \zeta , t\right) = 0$ for all $t > 0$ and by using definition of an NMS we have $\vartheta = \zeta .$

Lemma 4.8. Let $\left(X, E, H, Z, *, ○\right)$ be an NMS. For a number $k\in \left(\mathrm{0, 1}\right)$ and a sequence $\left\{{\zeta }_{n}\right\}$ such that

for all $t > 0\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ n\in \mathbb{N},$ $\left\{{\zeta }_{n}\right\}$ is a Cauchy sequence.

Proof. By using induction with (29)–(31), we obtain for all $t > 0\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ n = \mathrm{0, 1}, 2, \cdots ,$

Thus by using (32)–(34) and definition of NMS, for any $p\in \mathbb{N},$ we get

Therefore, by using the definition of NMS, we obtain

Hence, $\left\{{\zeta }_{n}\right\}$ is a Cauchy sequence in $X.$

Theorem 4.9. Assume $A, B, S\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ T$ are self mappings of a G-complete $\xi$-chainable NMS $\left(X, E, H, Z, *, ○\right)$ with CTN $*$ and CTCN $○$ defined by $a*a\ge a$ and $\left(1-a\right)○\left(1-a\right)\le \left(1-a\right)$ for all $a\in \left[0, 1\right]$ fulfilling the below circumstances:

1) $A\left(X\right)\subseteq T\left(X\right)\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ B\left(X\right)\subseteq S\left(X\right),$

2) $A\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ S$ are continuous.

3) The pairs $\left(A, S\right)\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \left(B, T\right)$ are W-compatible.

4) There exists $q\in \left(\mathrm{0, 1}\right)$ such that

for all $\vartheta , \zeta \in X\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ t > 0.$ Then $A, B, S\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ T$ have a common unique fixed point.

Proof. As $A\left(X\right)\subseteq T\left(X\right),$ for any point ${\vartheta }_{0}\in X$ there exists ${\vartheta }_{1}\in X$ such that $A{\vartheta }_{0} = T{\vartheta }_{1}.$ Since $B\left(X\right)\subseteq S\left(X\right),$ for ${\vartheta }_{1},$ we can pick ${\vartheta }_{2}\in X$ such that ${B\vartheta }_{1} = {S\vartheta }_{2}.$ By induction, we obtain a sequence $\left\{{\zeta }_{n}\right\}$ in $X$ as follows:

We can easily examine that $\left\{{\zeta }_{n}\right\}$ is a sequence in $X$ and by the completeness of $\left(X, E, H, Z, *, ○\right),$ the sequence $\left\{{\zeta }_{n}\right\}$ converges to $z\in X.$ Hence, the sequences $\left\{{T\vartheta }_{2n-1}\right\}, \left\{{A\vartheta }_{2n-2}\right\}, \left\{{S\vartheta }_{2n}\right\}\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ $

$\left\{{B\vartheta }_{2n}\right\}$ are also convergent to $z\in X.$

Since $X$ is $\xi$-chainable there exists $\xi$-chain from ${\vartheta }_{n} \ \ \mathrm{t}\mathrm{o} \ \ {\vartheta }_{n+1},$ that is,

such that

for all $t > 0\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ i = \mathrm{1, 2}, 3, \cdots , l.$ Thus

For $m > n,$

Therefore $\left\{{\vartheta }_{n}\right\}$ is a Cauchy sequence in $X$, hence there exists $\vartheta \in X$ such that $\left\{{\vartheta }_{n}\right\}$ converges $\vartheta .$ By using (2) ${A\vartheta }_{2n-2}\to A\vartheta , S{\vartheta }_{2n}\to S\vartheta \ \ \mathrm{a}\mathrm{s} \ \ n\to +\infty .$ From the uniqueness of limits, we get $A\vartheta = z = S\vartheta .$ Since the pair $\left(A, S\right)$ is W-compatible, $AS\vartheta = SA\vartheta \ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ \ \ \mathrm{s}\mathrm{o}Az = Sz.$ By using (2) we have ${AS\vartheta }_{2n}\to AS\vartheta$ and therefore, ${AS\vartheta }_{2n}\to Sz.$ By the continuity of $S,$ we have ${SS\vartheta }_{2n}\to Sz.$ By using (4), we obtain

Taking the limit as $n\to +\infty ,$ we deduce

By Lemma 4.7, we obtain $Sz = z,$ hence $Az = Sz = z.$ Since $A\left(X\right)\subseteq T\left(X\right),$ there exists $v\in X$ such that $Tv = Az = z.$ By using (4), we get

Taking the limit $n\to +\infty ,$ we obtain

By Lemma 4.7, we get $Bv = z,$ and therefore, we obtain $Tv = Bv = z.$ Since $\left(B, T\right)$ is W-compatible, $TBv = BTv$ and hence $Tz = Bz.$ By using (4), we deduce

Taking the limit $n\to +\infty ,$ we obtain

The above inequalities imply that $Bz = z.$ Therefore, $Az = Sz = Bz = Tz = z.$ Hence $A, B, S\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ T$ have a common fixed point in $X.$

Now we are going to examine the uniqueness. For this, let $w$ be another common fixed point of $A, B, S\ \ \mathrm{a}\mathrm{n}\mathrm{d} \ \ T.$ By using (4), we obtain

By Lemma 4.7, we obtain that $z = w.$ Hence A, B, S and T have a unique common fixed point in X.

5.   Conclusions

We introduced the novel concepts of generalized neutrosophic cone metric space and $\xi$-chainable neutrosophic metric space. We investigated common fixed point results for two and three self-mappings in the sense of generalized neutrosophic cone metric space and common fixed point results for four self mappings in the sense of $\xi$-chainable neutrosophic metric space. The uniqueness of solution is investigated by using fuzzy Fredholm integral equation of second kind. This new setting has many applications in fuzzy analysis and it will open new doors to generalize common fixed point results. Also this work can be extended to other self-mappings.

Conflict of interest

The authors declare no conflict of interest.