Perfusion-based co-culture model system for bone tissue engineering

1.   Introduction and preliminaries

Fixed point theory plays a fundamental role in mathematics and applied science, such as optimization, mathematical models and economic theories. Also, this theory has been applied to show the existence and uniqueness of the solutions of differential equations, integral equations and many other branches of mathematics, see ^[1,2]. A prominent result in fixed point theory is the Banach contraction principle ^[3]. Since the appearance of this principle, there has been a lot of activity in this area. Bakhtin ^[4] in 1989 introduced the notion of a $b$-metric space (Bms). Shoaib et. al ^[5] proved certain fixed point results in rectangular metric spaces. Multivalued mappings in various types of metric spaces have been extensively studied by many researchers to establish fixed point results and their applications, see for instance ^{[6,7,8,9,10,11,12]}.

In 1965, Zadeh ^[13] introduced the concept of a fuzzy set theory to deal with the unclear or inexplicit situations in daily life. Using this theory, Kramosil and Michálek ^[14] defined the concept of a fuzzy metric space (Fms). Grabiec ^[15] gave contractive mappings on a Fms and extended fixed point theorems of Banach and Edelstein in such a space. Successively, George and Veeramani ^[16] slightly modified the notion of a Fms introduced by Kramosil and Michálek ^[14] and then obtained a Hausdorff topology and a first countable topology on it. Many fixed point results have been established in a Fms. For instance, see ^{[17,18,19,20,21,22,23,24,25]} and the references therein. Recently, some coupled fuzzy fixed-point results on closed ball are established in fuzzy metric spaces ^[26]. The notion of generalized fuzzy metric spaces is studied in ^[27].

The notion of a fuzzy $b$-metric space (Fbms) was defined in ^[28]. The notion of a Hausdorff Fms is introduced in ^[29]. Fixed point theory for multivalued mapping in fuzzy metric spaces has been extended in many directions. For a multivalued mapping (Mvp) in a complete Fms, some fixed point results are establish in ^[30]. Some fixed point results for a Mvp in a Hausdorff fuzzy $b$-metric space (Hfbms) are proved in ^[31]. In this article, we prove some fixed point results for a Mvp using Geraghty type contractions in a Hfbms. Results in ^[31,32] and ^[30] turn out to be special cases of our results.

Throughout the article, $\mho$ refers to a non-empty set, $\mathbb{N}$ represents the set of natural numbers, $\mathbb{R}$ corresponds to the collection of real numbers, $CB(\mho)$ and $\hat{\mathcal{C}}_{_{0}}(\mho)$ represent the collection of closed and bounded subsets and compact subsets of $\mho$, respectively.

Let us have a look at some core concepts that will be helpful for the proof of our main results.

Definition 1.1. ^[33] For a real number $b\geq 1$, the triplet $(\mho, \Theta_{fb}, *)$ is called a Fbms on $\mho$ if for all $\psi_{1}, \psi_{2}, \psi_{3} \in \mho$ and $\gamma > 0$, the following axioms hold, where $*$ is a continuous $t$-norm and $\Theta_{fb}$ is a fuzzy set on $\mho\times \mho \times (0, \infty)$:

$[Fb1:]$ $\Theta_{fb}(\psi_{1}, \psi_{2}, \gamma) > 0 \; ;$

$[Fb2:]$ $\Theta_{fb}(\psi_{1}, \psi_{2}, \gamma) = 1$ if and only if $\psi_{1} = \psi_{2}\; ;$

$[Fb3:]$ $\Theta_{fb}(\psi_{1}, \psi_{2}, \gamma) = \Theta_{fb}(\psi_{2}, \psi_{1}, \gamma)\; ;$

$[Fb4:]$ $\Theta_{fb}(\psi_{1}, \psi_{3}, b(\gamma+\beta))\geq \Theta_{fb}(\psi_{1}, \psi_{2}, \gamma)* \Theta_{fb}(\psi_{2}, \psi_{3}, \beta)$ $\forall \; \gamma, \beta \geq 0 \; ;$

$[Fb5:]$ $\Theta_{fb}(\psi_{1}, \psi_{2}, .)\colon (0, \infty) \rightarrow [0, 1]$ is left continuous.

The notion of a Fms in the sense of George and Veeramani ^[16] can be obtained by taking $b = 1$ in the above definition.

Example 1.1. For a Bms $(\mho, \Theta_ b, \wedge)$, define a mapping $\Theta_{fb} \colon \mho\times \mho \times (0, \infty)\rightarrow [0, 1]$ by

Then $(\mho, \Theta_{fb}, \wedge)$ is a Fbms.

Following Grabiec ^[15], the notions of $G$-Cauchyness and completeness are defined as follows:

Definition 1.2. ^[15]

$({\rm{i}})$ If for a sequence $\lbrace \psi_{n}\rbrace$ in a Fbms $(\mho, \Theta_{fb}, *),$ there is $\psi \in \mho$ such that

then $\lbrace \psi_{n}\rbrace$ is said to be convergent.

$({\rm{ii}})$ If for a sequence $\lbrace \psi_{n}\rbrace$ in a Fbms $(\mho, \Theta_{fb}, *)$, $\lim_{n\rightarrow \infty}\Theta_{fb}(\psi_n, \psi_{n+q}, \gamma) = 1$ then $\lbrace \psi_{n}\rbrace$ is a $G$-Cauchy sequence for all $\gamma > 0$ and positive integer $q$.

$({\rm{iii}})$ A Fbms is $G$-complete if every $G$-Cauchy sequence is convergent.

Definition 1.3. ^[30] Let $B$ be any nonempty subset of a Fms $(\mho, \Theta_{fb}, *)$ and $\gamma > 0$, then we define $F_{\Theta_{fb}}(\varrho_{1}, B, \gamma)$, the fuzzy distance between an element $\varrho_1 \in \mho$ and the subset $B$, as follows:

Note that $F_{\Theta_{fb}}(\varrho_{1}, B, \gamma) = F_{\Theta_{fb}}(B, \varrho_{1}, \alpha)$.

Lemma 1.1. ^[31] Consider a Fbms $(\mho, \Theta_{fb}, *)$ and let $CB(\mho)$ be the collection of closed bounded subsets of $\mho$. If $A \in CB(\mho)$ then $\psi \in A$ if and only if $F_{\Theta_{fb}}(A, \psi, \gamma) = 1 \; \forall\; \gamma > 0$.

Definition 1.4. ^[31] Let $(\mho, \Theta_{fb}, *)$ be a Fbms. Define $\mathcal{H}_{F_{\Theta_{fb}}}$ on $\hat{\mathcal{C}}_{_{0}} (\mho)\times \hat{\mathcal{C}}_{_{0}} (\mho)\times (0, \infty)$ by

for all $A, B\in \hat{C_{0}} (\mho)$ and $\gamma > 0.$

For Geraghty type contractions, follow ^[33] to define a class $\mathbb{F}_{\Theta b}$ of all functions $\beta:[0, \infty)\rightarrow [0, \frac{1}{b})$ for $b\ge 1$, as

Lemma 1.2. ^[31] Let $(\mho, \Theta_{fb}, *)$ be a $G$-complete Fbms. If $\psi, \varrho\in \mho$ and for a function $\beta\in \mathbb{F}_{\Theta_{fb}}$

then $\psi = \varrho$.

Lemma 1.3. ^[31] Let $(\hat{C_{0}} (\mho), \mathcal{H}_{F_{\Theta_{fb}}}, *)$ be a Hfbms where $(\Theta_{fb}, *)$ is a Fbm on $\mho$. If for all $A, B\in\hat{C_{_0}}(\mho)$, for each $\psi\in A$ and for $\gamma > 0$ there exists $\varrho_{\psi}\in B$, satisfying ${F}_{\Theta_{fb}}(\psi, B, \gamma) = \Theta_{fb}(\psi, \varrho_{\psi}, \gamma)$, then

2.   Main results

In this section, we develop some fixed point results by using the idea of a Hfbms. Furthermore, an example is also presented for a deeper understanding of our results.

Recall that, given a multivalued mapping $\Xi :\mho\rightarrow \hat{C}_0(\mho)$, a point $\psi$ is said to be a fixed point of $\Xi$ if $\psi \in \Xi\psi$.

Theorem 2.1. Let $(\mho, \Theta_{fb}, *)$ be a $G$-complete Fbms and $(\hat{C_{0}} (\mho), \mathcal{H}_{F_{\Theta_{fb}}}, *)$ be a Hfbms. Let $\Xi \colon \mho \rightarrow \hat{C_{0}} (\mho)$ be a Mvp satisfying

for all $\psi, \varrho \in \mho$, where $\beta\in \mathbb{F}_{\Theta_{fb}}$ as defined in (1.1). Then $\Xi$ has a fixed point.

Proof. Choose $\lbrace \psi_{n}\rbrace$ for $\psi_{0} \in \mho$ as follows: Let $\psi_{1} \in \mho$ such that $\psi_{1} \in \Xi\psi_{0}$ by the application of Lemma 1.3, we can choose $\psi_{2} \in \Xi \psi_{1}$ such that for all $\gamma > 0$,

By induction, we have $\psi_{r+1} \in \Xi \psi_{r}$ satisfying

By the application of (2.1) and Lemma 1.3, we have

For any $q \in \mathbb{N}$, writing $q(\frac{\gamma}{q}) = \frac{\gamma}{q}+\frac{\gamma}{q} + \ldots + \frac{\gamma}{q}$ and using $[Fb4]$ repeatedly,

Using (2.2) and $[Fb5]$, we get

That is,

Taking limit as $r \rightarrow \infty$, we get

Hence, $\lbrace \psi_{r}\rbrace$ is $G$-Cauchy sequence. By the $G$-completeness of $\mho$, there exists $\phi \in \mho$ such that

By Lemma 1.1, it follows that $\phi \in \Xi \phi$. That is, $\phi$ is a fixed point for $\Xi$. □

Remark 2.1.

$(1)$ If we take $\beta(\Theta_{fb}(\psi, \varrho, \gamma)) = k$ with $bk < 1$, we get Theorem 3.1 of ^[31].

$(2)$ By setting $\hat{C_{0}} (\mho) = \mho$ the mapping $\Xi \colon \mho \rightarrow \hat{C_{0}} (\mho)$ becomes a single valued and we get Theorem 3.1 of ^[32]. Notice that when $\Xi$ is a singlevalued map, $\Xi\psi$ becomes a singleton set and the fact that $\mathcal{H}_{F_{\Theta_{fb}}}(\Xi\psi, \Xi\varrho, \gamma) = \Theta_{fb}(\Xi\psi, \Xi\varrho, \gamma)$ indicates that the fixed point will be unique as proved in ^[32].

$(3)$ Set $b = 1$ and $\hat{C_{0}} (\mho) = \mho$ and let $k\in (0, 1)$ be such that $\beta(\Theta_{fb}(\psi, \varrho, \gamma)) = k$ then we get the main result of ^[15].

The next example illustrates Theorem 2.1.

Example 2.1. Let $\mho = \left[0, 1\right]$ and define a $G$-complete Fbms by

with $b\geq1.$ For $\beta\in\mathbb{F}_{b}$, define a mapping $\Xi \colon \mho \rightarrow \hat{C_{0}} (\mho)$ by

For $\psi = \varrho$,

If $\psi\neq \varrho$, then following cases arise.

For $\psi = 0$ and $\varrho\in(0, 1]$, we have

It follows that

For $\psi$ and $\varrho\in(0, 1]$, after simplification we have

Thus, for all cases, we have

Since all conditions of Theorem 2.1 are satisfied and $0$ is a fixed point of $\Xi$.

Theorem 2.2. Let $(\mho, \Theta_{fb}, *)$ be a $G$-complete Fbms with $b\geqslant 1$ and $(\hat{C_{0}} (\mho), \mathcal{H}_{F_{\Theta_{fb}}}, *)$ be a Hfbms. Let $\Xi \colon \mho \rightarrow \hat{C_{0}} (\mho)$ be a Mvp satisfying

for all $\psi, \varrho \in \mho$, where $\beta\in \mathbb{F}_{\Theta_{fb}}$ as given in (1.1). Then $\Xi$ has a fixed point.

Proof. Choose $\lbrace \psi_{n}\rbrace$ for $\psi_{0} \in \mho$ as follows: Let $\psi_{1} \in \mho$ such that $\psi_{1} \in \Xi\psi_{0}$. By the application of Lemma 1.3 we can choose $\psi_{2} \in \Xi \psi_{1}$ such that

By induction, we have $\psi_{r+1} \in \Xi \psi_{r}$ satisfying

By the application of (2.3) and Lemma 1.3 we have

If

then (2.4) implies

The result is obvious by Lemma 1.2.

If

then from (2.4) we have

The rest of the proof can be done by proceeding same as in Theorem 2.1. □

Remark 2.2.

$(1)$ If we take $\beta(\Theta_{fb}(\psi, \varrho, \gamma)) = k$ with $bk < 1$, we get Theorem 3.2 of ^[31].

$(2)$ By taking $b = 1$ and for some $0 < k < 1$ setting $\beta(\Theta_{fb}(\psi, \varrho, \gamma)) = k$ in Theorem 2.2, we get the main result of ^[30].

Theorem 2.3. Let $(\mho, \Theta_{fb}, *)$ be a $G$-complete Fbms with $b\geqslant 1$ and $(\hat{C_{0}} (\mho), \mathcal{H}_{F_{\Theta_{fb}}}, *)$ be a Hfbms. Let $\Xi \colon \mho \rightarrow \hat{C}_{0}(\mho)$ be a Mvp satisfying

for all $\psi, \varrho \in \mho$, where $\beta\in \mathbb{F}_{\Theta_{fb}}$, the class of functions defined in (1.1). Then $\Xi$ has a fixed point.

Proof. Choose $\lbrace \psi_{n}\rbrace$ for $\psi_{0} \in \mho$ as follows: Let $\psi_{1} \in \mho$ such that $\psi_{1} \in \Xi\psi_{0}$. by the application of Lemma 1.3 we can choose $\psi_{2} \in \Xi \psi_{1}$ such that

By induction, we have $\psi_{r+1} \in \Xi \psi_{r}$ satisfying

By the application of (2.5) and Lemma 1.3, we have

If

then (2.6) implies

and the proof follows by Lemma 1.2.

If

Then from (2.6) we have

The rest of the proof is same as in Theorem 2.1. □

Remark 2.3. Theorem 3.3 of ^[31] becomes a special csae of the above theorem by setting $\beta(\Theta_{fb}(\psi, \varrho, \gamma)) = k$ where $k$ is chosen such that $bk < 1$.

Theorem 2.4. Let $(\mho, \Theta_{fb}, *)$ be a $G$-complete Fbms with $b\geqslant 1$ and $(\hat{C_{0}} (\mho), \mathcal{H}_{F_{\Theta_{fb}}}, *)$ be a Hfbms. Let $\Xi \colon \mho \rightarrow \hat{C}_{0}(\mho)$ be a multivalued mapping satisfying

for all $\psi, \varrho \in \mho$, where $\beta \in \mathbb{F}_{fb}$, the class of functions defined in (1.1). Then $\Xi$ has a fixed point.

Proof. In the same way as Theorem 2.1, we have

By induction, we obtain $\psi_{r+1} \in \Xi \psi_{r}$ satisfying

Now, by (2.7) together with Lemma 1.3, we have

If

then (2.8) implies

Then the proof follows by Lemma 1.2.

If

then from (2.6) we have

The rest of the proof is similar as in Theorem 2.1. □

Remark 2.4. Again by taking $\beta(\Theta_{fb}(\psi, \varrho, \gamma)) = k$ with $kb < 1$, we get Theorem 3.4 of ^[31].

Theorem 2.5. Let $(\mho, \Theta_{fb}, *)$ be a $G$-complete Fbms with $b\geqslant 1$ and $(\hat{C_{0}} (\mho), \mathcal{H}_{F_{\Theta_{fb}}}, *)$ be a Hfbms. Let $\Xi \colon \mho \rightarrow \hat{C}_{0}(\mho)$ be a Mvp satisfying

for all $\psi, \varrho \in \mho$, where $\beta \in \mathbb{F}_{fb}.$ Then $\Xi$ has a fixed point.

Proof. In the same way as Theorem 2.1, we have

By induction we have $\psi_{r+1} \in \Xi \psi_{r}$ satisfying

Now by (2.7) together with Lemma 1.3 and some obvious simplification step, we have

If

then (2.10) implies

Then the proof follows by Lemma 1.2.

If

then from (2.10) we have

The remaining proof follows in the same way as in Theorem 2.1. □

Theorem 2.6. Let $(\mho, \Theta_{fb}, *)$ be a $G$-complete Fbms with $b\geqslant 1$ and $(\hat{C_{0}} (\mho), \mathcal{H}_{F_{\Theta_{fb}}}, *)$ be a Hfbms. Let $\Xi \colon \mho \rightarrow \hat{C}_{0}(\mho)$ be a Mvp satisfying

where,

for all $\psi, \varrho \in \mho$, and $\beta \in \mathbb{F}_{fb}.$ Then $\Xi$ has a fixed point.

Proof. In the same way as Theorem 2.1, we have

By induction we have $\psi_{r+1} \in \Xi \psi_{r}$ satisfying

Now,

Using (2.14) and (2.15) in (2.13) we have

If

then (2.16) implies

Then the proof follows by Lemma 1.2

If

then from (2.16), we have

The remaining proof is similar as in Theorem 2.1. □

Remark 2.5. If we set $\hat{C_{0}} (\mho) = \mho$ the map $\Xi$ becomes a singlevalued and we get Theorem 3.11 of ^[32]. Again as stated in Remark 2.1, the corresponding fixed point will be unique.

Theorem 2.7. Let $(\mho, \Theta_{fb}, *)$ be a $G$-complete Fbms with $b\geqslant 1$ and $(\hat{C_{0}} (\mho), \mathcal{H}_{F_{\Theta_{fb}}}, *)$ be a Hfbms. Let $\Xi \colon \mho \rightarrow \hat{C}_{0}(\mho)$ be a Mvp satisfying

where

for all $\psi, \varrho \in \mho$, and $\beta \in \mathbb{F}_{fb}.$ Then $\Xi$ has a fixed point.

Proof. In the same way as Theorem 2.1, we have

By induction we have $\psi_{r+1} \in \Xi \psi_{r}$ satisfying

Similarly,

It follows that

Using (2.20), (2.21) and (2.22) in (2.19), we have

If

then (2.23) implies

It is obvious by Lemma 1.2.

If

then from (2.23), we have

Continuing in this way, we will get

The rest of the proof follows in the same way as in Theorem 2.1. □

Remark 2.6. By setting $\hat{C_{_0}} (\mho) = \mho$, the mapping $\Xi \colon \mho \rightarrow \hat{C_{_0}} (\mho)$ becomes a self (singlevalued) mapping and we get Theorem 3.13 of ^[32].

3.   Application

An application of Theorem 2.1 is presented here. Recall that the space of all continuous realvalued functions on $[0, 1]$ is denoted by $C([0, 1], \mathbb{R})$. Now set $\mho = C([0, 1], \mathbb{R})$ and define the $G$-complete Fbm on $\mho$ by

Consider

Here $G \colon [0, 1]\times[0, 1] \times \mathbb{R}\rightarrow P_{cv}(\mathbb{R})$ is multivalued function and $P_{cv}(\mathbb{R})$ represents the collections of convex and compact subsets of $\mathbb{R}$. Moreover, for each $\psi$ in $C([0, 1], \mathbb{R})$ the operator $G(\cdot, \cdot, \psi)$ is lower semi-continuous.

For the integral inclusion given in (3.1), define a multivalued operator $S: \mho\rightarrow \hat{C_{0}} (\mho)$ by

Now for arbitrary $\psi \in (C([0, 1], \mathbb{R})$, denote $G_\psi(u, v) = G(u, v, \psi(v))$ where $u, v\in [0, 1]$. For the multivalued map $G_\psi : [0, 1]\times [0, 1]\rightarrow P_{cv}(\mathbb{R})$, by Michael selection theorem ^[34], there exists a continuous selection $g_\psi :[0, 1] \times [0, 1]\rightarrow \mathbb{R}$ such that $g_\psi(u, v)\in G_\psi(u, v)$ for each $u, v\in [0, 1]$. It follows that

Since $g_\psi$ is continuous on $[0, 1]\times [0, 1]$ and $h$ is continuous on $[0, 1]$, therefore both $g_\psi$ and $h$ are bounded realvalued functions. It follows that, the operator $S\psi$ is nonempty and $S\psi \in \hat{C_{0}} (\mho)$.

With the above setting, the upcoming outcome shows the existence of a solution of the integral inclusion (3.1).

Theorem 3.1. Let $\mho = C([0, 1], \mathbb{R})$ and define the multivalued operator $S: \mho \rightarrow \hat{C_{0}} (\mho)$ by

where $h:[0, 1]\rightarrow \mathbb{R}$ is continuous and the map $G:[0, 1]\times [0, 1]\times \mathbb{R}\rightarrow P_{cv}(\mathbb{R})$ is defined in such a way that for every $\psi\in C([0, 1], \mathbb{R})$, the operator $G(\cdot, \cdot, \psi)$ is lower semi-continuous. Assume further that the given terms are satisfied:

(i) There exists a continuous mapping $f \colon [0, 1]\times [0, 1]\rightarrow [0, \infty)$ such that

for each $\psi, \varrho \in \mho$ and $u, v\in [0, 1]$.

(ii) There exists $\beta \in \mathbb{F}_{\Theta 2}$, such that

Then (3.1) has a solution in $\mho$.

Proof. We will show that the operator $S$ satisfies the conditions of Theorem 2.1. In particular we prove (2.1) as follows:

Let $\psi, \varrho \in \mho$ be such that $q\in S\psi$. As stated earlier, by selection theorem there is $g_\psi(u, v)\in G_\psi(u, v) = G(u, v, \psi(v))$ for $u, v \in [0, 1]$ such that

Further, the condition (ⅰ) ensures that there is some $g(u, v)\in G_\varrho(u, v)$ such that

Now consider the multivalued operator $T$ defined as follows:

Since, by construction, $T$ is lower semi-continuous, it follows again by the selection theorem that there is continuous function $g_\varrho(u, v):[0, 1]\times [0, 1]\rightarrow \mathbb{R}$ such that for each $u, v \in [0, 1]$, $g_\varrho(u, v) \in T(u, v)$.

Thus, we have

Therefore, for each $u\in [0, 1]$ we get

This implies that,

Interchanging the roles of $\psi$ and $\varrho$, we get

Hence, by Theorem 2.1, the operator $S$ has a fixed point which in turn proves the existence of a solution of integral inclusion (3.1). □

4.   Conclusions

In the present work, in the setting of a Hausdorff Fbms, some fixed fixed point results for multivalued mappings are established. The main result, that is, Theorem 2.1 shows that a multivalued mapping satisfying Geraghty type contractions on $G$-complete Hfbms has a fixed point. Example 2.1 illustrates the main result. Some other interesting fixed point theorems are also proved for the multivalued mappings satisfying certain contraction condition on $G$-complete Hfbms. The results proved in ^[30,31,32] turn out to be special cases of the results established in this work. For the significance of our results, an application is presented to prove the existence of solution of an integral inclusion.

Acknowledgements

The authors would like to thank the Deanship of Scientific Research at Umm Al-Qura University for supporting this work grant code: 22UQU4331214DSR02

Conflict of interest

The authors declare that they have no conflict of interest.