Magnetohydrodynamics approximation of the compressible full magneto- micropolar system

1.   Introduction

The idea of a fixed point was started in 19th century and different mathematicians, like Schauder, Tarski, Brouwer ^[1,2,3] and others worked on it in 20th century. The presence for common fixed points of different families with nonexpansive and contractive mappings in Hilbert spaces as well as in Banach spaces was the exhaustive topic of research since the early 1960s as explored by many researchers like Banach, Brouwer and Browder etc. Latterly, Khamsi and Kozlowski ^[4,5] proved results in modular function spaces for common fixed points of nonexpansive, asymptotically nonexpansive and contractive mappings. The theory of a fixed point has a substantial position in the fields of analysis, geometry, engineering, topology, optimization theory, etc. For some latest algorithms developed in the fields of optimisation and inverse problems, we refer to ^[6,7]. For more detailed study of fixed point and applications, see ^{[8,9,10,11,12,13,14,15,16,17,18,19,20,21,22]} and the references there in.

The concept of fixed points of one parameter semigroups of linear operators on a Banach space was originated from 19th century from the remarkable work of Hille-Yosida in 1948. Now-a-days, it has a lot of applications in many fields such as stochastic processes and differential equations. Semigroups have a monumental position in the fields of functional analysis, quantum mechanics, control theory, functional equations and integro-differential equations. Semigroups also play a significant role in mathematics and application fields. For example, in the field of dynamical systems, the state space will be defined by the vector function space and the system of an evolution function of the dynamical system will be represented by the map $(\mathfrak{h})\mathfrak{k}\rightarrow \mathsf{T}(\mathfrak{h})\mathfrak{k}.$ For related study, we refer to ^[23].

Browder ^[24] gave a result for the fixed point of nonexpansive mappings in a Banach space. Suzuki ^[25] proved a result for strong convergence of a fixed point in a Hilbert space. Reich ^[26] gave a result for a weak convergence in a Banach space. Similarly, Ishikawa ^[27] presented a result for common fixed points of nonexpansive mappings in a Banach space. Reich and Shoikhet also proved some results about fixed points in non-linear semigroups, see ^[20]. Nevanlinna and Reich gave a result for strong convergence of contraction semigroups and of iterative methods for accretive operators in Banach spaces, see ^[28,29]. There are different results on strong convergence of a fixed point of semigroups and there are sets of common fixed points of semigroups by the intersection of two operators from the family. These results are much significant in the field of fixed point theory. In a recent time, different mathematicians are working to generalize such type of results for a subfamily of an evolution family, see ^[30,31,32].

The fixed point of a periodic evolution subfamily was discussed in ^[30] by Rahmat et al. They gave a result for finding common fixed points of the evolution subfamily with the help of a strongly converging sequence. The method applied in ^[30] is successfully useful for showing the presence of a fixed point of an evolution subfamily. The purpose of this work is to show the existence of a fixed point of an evolution subfamily with the help of a sequence acting on a Banach space.

Definition 1.1. Let $\mathfrak{v}$: $\mathsf{A}\rightarrow \mathsf{A}$ be a self-mapping. A point $\mathsf{r}\in \mathsf{A}$ is a fixed point of $\mathfrak{v}$ if $\mathfrak{v}(\mathsf{r}) = \mathsf{r}.$

The idea of semigroups is originated from the solution of the Cuachy differnetial equations of the form:

where $\mathcal{K}$ is a linear operator.

Definition 1.2. A family ${\bf Y} = \{\mathtt{Y}(\mathfrak{a}); \mathfrak{a}\geq 0\}$ of bounded linear operators is a semigroup if the following conditions hold:

(i) $\mathtt{Y}(0) = I.$

(ii) $\mathtt{Y}(\mathsf{j}+\mathsf{k}) = \mathtt{Y}(\mathsf{j})\mathtt{Y}(\mathsf{k}), \ \forall \mathsf{j}, \mathsf{k}\geq 0.$

When $\mathcal{K} = \mathcal{K}(\mathfrak{t})$, then such a system is called a non-autonomous system. The result of this system produces the idea of an evolution family.

Definition 1.3. A family ${\bf E} = \{\mathsf{E}(\mathfrak{u}, \mathfrak{g}); \mathfrak{u}\geq \mathfrak{g}\geq 0\}$ of bounded linear operators is said to be an evolution family if the following conditions hold:

(i) $\mathsf{E}(\mathfrak{p}, \mathfrak{p}) = \mathtt{I}, \ \forall \mathfrak{p}\geq 0.$

(ii) $\mathsf{E}(\mathfrak{j}, \mathfrak{q})\mathsf{E}(\mathfrak{q}, \mathfrak{b}) = \mathsf{E}(\mathfrak{j}, \mathfrak{b}), \ \forall \mathfrak{j}\geq \mathfrak{q}\geq \mathfrak{b} \geq 0.$

Remark 1.4. If the evolution family is periodic of each number $\mathfrak{r}\geq 0$, then it forms a semigroup. If we take $\mathsf{E}(\mathfrak{c}, 0) = \mathtt{Y}(\mathfrak{c}),$ then

$(a1)$ $\mathtt{Y}(0) = \mathsf{E}(0, 0) = I.$

$(a2)$ $\mathtt{Y}(\mathfrak{c+y}) = \mathsf{E}(\mathfrak{c}+\mathfrak{y}, 0) = \mathsf{E}(\mathfrak{c}+\mathfrak{y}, \mathfrak{y})\mathsf{E}(\mathfrak{y}, 0) = \mathsf{E}(\mathfrak{c}, 0)\mathsf{E}(\mathfrak{y}, 0) = \mathtt{Y}(\mathfrak{c}) \mathtt{Y}(\mathfrak{y}),$ which shows that a periodic evolution family of each positive period, is a semigroup.

Similarly, if we take $\mathtt{Y}(\mathfrak{r-d}) = \mathsf{E}(\mathfrak{r}, \mathfrak{d})$, then

$(b1)$ $\mathsf{E}(\mathfrak{r}, \mathfrak{r}) = \mathtt{Y}(0) = I.$

$(b2)$ $\mathsf{E}(\mathfrak{r}, \mathfrak{b}) = \mathsf{E}(\mathfrak{r}, \mathfrak{d})\mathsf{E}(\mathfrak{d}, \mathfrak{b}) = \mathtt{Y}(\mathfrak{r-d}) \mathtt{Y}(\mathfrak{d-b}) = \mathtt{Y}(\mathfrak{r-b}),$ which shows that a semigroup is an evolution family.

Remark 1.5. A semigroup is an evolution family, but the converse is not true. In fact, the converse holds if the evolution family is periodic of every number $\mathfrak{s}\geq 0.$

Remark 1.6. ^[33] Let $0\leq \mathsf{s}\leq 1$ and $\mathsf{b}, \mathsf{k}\in \mathcal{H},$ then the following equality holds:

In this work, we will generalize results from ^[33] for an evolution subfamily and also give some other results for an evolution subfamily.

2.   Preliminaries

First, denote the set of real numbers and natural numbers by $\mathbb{R}$ and $\mathbb{N}$, respectively. We denote the family of semigroups by ${\bf Y}$, evolution family by ${\bf E}$ and evolution subfamily by ${\bf G}$. By $\mathsf{B}$, $\mathcal{H}$ and $\mathcal{D}$, we will indicate a Banach space, Hilbert space and a convex closed set, respectively. We use $\rightarrow$ for a strong and $\rightharpoonup$ for a weak convergence. The set of fixed points of

is denoted by

We generalize results of semigroups from ^[33] for an evolution subfamily ${\bf G}$ in a Banach space. These types of families are not semigroups. The following example illustrates this fact and gives the difference between them.

Example 2.1. As

is an evolution family because it satisfies both conditions of an evolution family.

If we take $\mathfrak{r} = 0$, that is, $\{\mathsf{E}(\mathfrak{h}, 0)\} = {\bf G}$, then it becomes a subfamily of ${\bf E}$ and it is not a semigroup.

Suzuki proved the following result in ^[25]:

Theorem 2.2. Consider a family

of strongly continuous non-expansive operators on $\mathcal{D}$ (where $\mathcal{D}$ is a subset of a Hilbert space $\mathcal{H}$) such that $F({\bf Y})\neq \emptyset$. Take two sequences $\{\gamma_{m}\}$ and $\{\mathfrak{q}_{m}\}$ in $\mathbb{R}$ with

$\mathfrak{q}_{m} > 0$ and $\gamma_{m}\in (0, 1)$. Let $\mathfrak{b}\in \mathcal{D}$ be fixed and $\{\mathfrak{k}_{m}\}$ be a sequence in $\mathcal{D}$ such that

then $\{\mathfrak{k}_{m}\}\rightarrow \mathfrak{h}\in F({\bf Y}).$

The following result was given by Shimizu and Takahashi ^[15] in 1998:

Theorem 2.3. Take a family

of operators which are non-expansive and strongly continuous on $\mathcal{D}\subset \mathcal{H}$ such that $F({\bf Y})\neq \emptyset$. Take two sequences $\{\zeta_{m}\}$ and $\{\lambda_{m}\}$ in $\mathbb{R}$ with

where $\zeta_{m}\in (0, 1)$ and $\lambda_{m} > 0$. Let $\mathfrak{c}\in \mathcal{D}$ be fixed and $\{\mathfrak{g}_{m}\}\in \mathcal{D}$ be a sequence such that

for all $m\in \mathbb{N}$. Then $\{\mathfrak{g}_{m}\}\rightarrow \mathfrak{a}\in F({\bf Y}).$

Motivated from above results, we take an implicit iteration for ${\bf G} = \{\mathsf{G}(\mathfrak{b}, 0), \mathfrak{b}\geq 0\}$ of nonexpansive mappings, given as:

We present some results for convergence of Eq (2.1) in a Banach space and a Hilbert space for a nonexpansive evolution subfamily.

3.   Main results

We start with the following lemmas:

Lemma 3.1. Consider an evolution family ${\bf E}$ and a subfamily ${\bf G} = \{\mathsf{G}(\mathfrak{c, 0}); \mathfrak{c}\geq 0\}$ of ${\bf E}$ with period ${\bf r} \in \mathbb{R^{+}}$, then

Proof. As it is obviously true that

we are proving the other part, i.e.,

Take a real number

then

As we know that any real number $\mathfrak{c}\geq 0$ is written in the form of $\mathfrak{c} = \mathsf{m}{\bf r}+\varepsilon,$ for some $\mathsf{m}\in \mathbb{Z^{+}}$ and $0\leq \varepsilon \leq {\bf r}$, consider

This shows that

Hence, we conclude that

This completes the proof. □

Lemma 3.2. If ${\bf Y} = \{\mathtt{Y}(\beta); \beta\geq 0\}$ is a semigroup on a Hilbert space $\mathcal{H},$ then

Proof. Since

we only prove the other part, that is,

Take a real number $\mathsf{u}$ such that

then we have $\mathtt{Y}(\mathsf{u}) = \mathsf{u},$ for every $\beta\in [0, 1].$ Since $\beta\in [0, 1]$, we can write it as $\beta = \mathsf{n}+\varrho$, where $\mathsf{n}\in \mathbb{Z^{+}}$ and $0\leq \varrho \leq 1$. Therefore, we have

This shows that $\mathsf{u}\in \bigcap_{\beta\geq 0}F(\mathtt{Y}(\beta)).$ It implies that

Thus,

This completes the proof. □

Now, we give a result for a weak convergence of a sequence in a Hilbert space.

Theorem 3.3. Let ${\bf G} = \{\mathsf{G}(a, 0)\}$ be a subfamily of ${\bf E}$ of strongly continuous nonexpansive operators on $\mathcal{D}$ and $\mathsf{F}({\bf G})\neq \varnothing$, where $\mathcal{D}$ is a subset of $\mathcal{H}.$ Take two sequences $\{\gamma_{m}\}$ and $\{\zeta_{m}\}$ in $\mathbb{R}$ such that

and

Then

where $\tau \in \mathsf{F}({\bf G}).$

Proof. Claim (ⅰ). For any $\mathsf{z}\in \mathsf{F}({\bf G}),$ $\lim_{m\rightarrow \infty}||\tau_{m}-\mathsf{z}||$ exists. In fact,

Thus, we have

This shows that $\lim_{m\rightarrow \infty}||\tau_{m}-\mathsf{z}||$ exists. Therefore, the sequence $\{\tau_{m}\}$ is bounded.

Claim (ⅱ).

From Remark 1.6, we have

Thus, we have

As we know that $\{\gamma_{m}\}\subset (0, \mathsf{c}]\subset (0, 1)$, so we have

i.e.,

Therefore,

On the other hand,

Claim (ⅲ).

As $\{\tau_{m}\}$ is bounded, take a subsequence $\{\omega_{m_{i}}\}$ of $\{\tau_{m}\}$ such that $\{\omega_{m_{i}}\} \rightharpoonup \tau$. Let $\omega_{m_{i}} = \mathsf{h_{i}}$, $\gamma_{m_{i}} = \xi_{i}$ and $\zeta_{m_{i}} = \mathsf{v_{i}}$. From ^[34], we have

Now, we will show that $\mathsf{G}(\zeta, 0)\tau = \tau$.

We have

Thus, we get

Hence, $\mathsf{G}(\zeta, 0)\tau = \tau$ by using Opial's condition. Therefore, $\tau \in F({\bf G}).$ Now, we need to show that $\{\tau_{m}\}\rightharpoonup \tau.$ For this, take a subsequence $\{\eta_{m_{j}}\}$ of $\{\tau_{m}\}$ such that $\eta_{m_{j}}\rightharpoonup \mathsf{u}$ and $\mathsf{u}\neq \tau.$ By above method, we can show that $\mathsf{u}\in F({\bf G})$. Since both limits $\lim_{m\rightarrow \infty}||\tau_{m}-\tau||$ and $\lim_{m\rightarrow \infty}||\tau_{m}-\mathsf{u}||$ exist, we can write

It shows that $\mathsf{u} = \tau$, which is a contradiction. Thus, $\tau_{m} \rightharpoonup \tau.$

This completes the proof. □

Now, we will provide a theorem in a Banach space for a weak convergence.

Theorem 3.4. Consider a reflexive Banach space $\mathsf{B}$ in $\mathbb{R}$ with Opial's property and a subset $\mathcal{D}$ of $\mathsf{B}.$ Let ${\bf G} = \{G(\mathsf{a}, 0)\}$ be a subfamily of ${\bf E}$ of nonexpansive and strongly continuous mappings such that $F({\bf G})\neq \emptyset.$ Take two sequences $\{\gamma_{m}\}$ and $\{\zeta_{m}\}$ such that $\gamma_{m}\subset (0, 1),$ $\zeta_{m} > 0$ and

Then

Proof. Claim 1. As

then we have $\lim_{m\rightarrow \infty}\gamma_{m} = 0.$ This shows that there exists a positive integer $p$, for all $k\in \mathbb{N}$ so that $\gamma_{m}\subset (0, \mathsf{c}]\subset (0, 1)$.

From Theorem 3.3, $\lim_{m\rightarrow \infty}||\tau_{m}-\mathsf{z}||$ exists for each $\mathsf{z}\in F({\bf G}).$

Claim 2. $\{\mathsf{G}(\zeta_{m}, 0)\tau_{m}\}$ is bounded. From (2.1), we have

which shows that $\{\mathsf{G}(\zeta_{m}, 0)\tau_{m}\}$ is bounded.

Claim 3. $\{\tau_{m}\} \rightharpoonup \tau.$

As $\{\tau_{}m\}$ is bounded, take a sub-sequence $\{\omega_{m_{l}}\}$ of $\{\tau_{m}\}$ such that $\omega_{m_{l}} \rightharpoonup \tau.$ Let $\omega_{m_{l}} = \mathsf{b_{l}}$, $\gamma_{m_{l}} = \rho_{l}$ and $\zeta_{m_{l}} = \mathsf{y_{l}}$, $l\in \mathbb{N}.$ Let $\zeta > 0$ be fixed, then

Thus, we have

Therefore,

by using Opial's property. By same method given in Theorem 3.3, we can prove that $\{\tau_{m}\} \rightharpoonup \tau.$

This completes the proof. □

Theorem 3.5. Consider a real reflexive Banach space $\mathsf{B}$ with Opial's property and a subset $\mathcal{D}$ of $\mathsf{B}.$ Let ${\bf G} = \{G(\mathsf{a}, 0)\}$ be a subfamily of ${\bf E}$ of strongly continuous nonexpansive mappings such that $F({\bf G})\neq \emptyset.$ Take two sequences $\{\gamma_{m}\}$ and $\{\zeta_{m}\}$ such that $\gamma_{m}\subset (0, 1),$ $\zeta_{m} > 0$ and

Then

Proof. Claim 1. For any $\mathsf{z}\in F({\bf G}),$ $\lim_{m\rightarrow \infty}||\tau_{m}-\mathsf{z}||$ exists.

Claim 2.

As from Theorem 3.4, $\{\mathsf{G}(\zeta_{m}, 0)\tau_{m}\}$ is bounded. Also, from (1.4), we have

Therefore,

Claim 3. For any $\zeta > 0,$

In fact, we have

Thus, from this equation and Eq (3.2), we get

Claim 4. Now, we will show that $\{\tau_{m}\}\rightarrow \tau \in F({\bf G}).$

Since $\{\tau_{m}\}$ is bounded, it must have a convergent sub-sequence $\{\mu_{m_{k}}\}$ such that $\mu_{m_{k}}\rightarrow \tau.$ From Claim 3, we have

Thus, $\tau\in F({\bf G}).$ Hence, we have

This completes the proof. □

4.   An example and open problem

Example 4.1. Consider the Hilbert space $\mathcal{H} = \mathsf{L}^{2}([0, \pi], \mathbb{C})$ and let ${\bf T} = \{\mathsf{T}(\mathsf{a}); \mathsf{a}\geq 0\}$ be a semigroup such that

Here,

Surely, it is nonexpansive and strongly continuous semigroup in this Hilbert space. The linear operator $\Lambda$ generates this semigroup such that $\Lambda \mathfrak{u} = \ddot{\mathfrak{u}}$. Let for all $\mathfrak{k}\in \mathcal{H}$, the set $\mathcal{M}(\Lambda)$ represent the maximal domain of $\Lambda$ such that $\mathfrak{u}$ and $\ddot{\mathfrak{u}}$ must be continuous. Also, $\mathfrak{u}(0) = 0 = \mathfrak{u}(\pi).$ Now, consider the non-autonomous Cauchy problem:

where $\mathfrak{b}(.)\in \mathcal{H}$ and $\mathfrak{g}$: $\mathbb{R^{+}}\rightarrow [1, \infty)$ are nonexpansive functions on $\mathbb{R^{+}}$. This function $\mathfrak{g}$ is periodic, i.e., $\mathfrak{g}(\mathsf{j+p}) = \mathfrak{g}(\mathsf{j})$ for every $\mathsf{j}\in \mathbb{R^{+}}$ and for some $\mathsf{p}\geq 1.$ Take the function

then the property of evolution equations will be satisfied by the solution $\mathfrak{k}(.)$ of the above non-autonomous Cauchy problem. Therefore,

where

see Example 2.9b ^[35].

As the function $\mathtt{t}\rightarrow \mathsf{e}^{\mathfrak{r}\mathtt{t}}||\mathsf{h}(\mathtt{t})||$ is bounded for any $\mathfrak{r}\geq 0$ on the set of non-negative real numbers, we have

On the other side, we have

Therefore, we have

By using Theorem 3.2 from ^[36], we have $\mathfrak{a}(\mathsf{A})\leq \frac{-1}{2\mathsf{C}}$, where $\mathfrak{a}(\mathsf{A})$ is the growth bound of the family $\mathsf{A}$ and $\mathsf{C}\geq 1$. For more details, see ^[36].

This shows that the evolution family on the Hilbert space $\mathcal{H}$ is nonexpansive, so Theorem 3.5 can be applied to such evolution families and will be helpful in finding its solution and uniqueness.

Example 4.2. Let

be an evolution family on the space $l_3$, then clearly the space $l_3$ is not a Hilbert space, but it is reflexive. If we take its subfamily $\mathsf{G}(t, 0) = t+1$ then we still can apply our results to this subfamily. Let $\gamma_m = \frac{1}{m^2}$ and $\zeta_m = \frac{1}{m},$ then clearly

so by Theorem 3.5 we have the sequence of iteration

where $0$ is the unique fixed point of the subfamily $\mathsf{G}$.

Open problem. We have an open problem for the readers that whether Lemmas 3.1 and 3.2 and Theorem 3.5 can be generalized to all periodic and non-periodic evolution families?

5.   Conclusions

The idea of semigroupos arise from the solution of autonomous abstract Cauchy problem while the idea of evolution family arise from the solution of non-autonomous abstrct Cauchy problem, which is more genreal than the semigroups. In ^[33], the strong convergence theorms for fixed points for nonexpansive semigroups on Hilbert spaces are proved. We generalized the results to a subfamily of an evolution family on a Hilbert space. These results may be come a gateway for many researchers to extends these ideas to the whole evolution family rather than the subfamily in future. Also these results are helpfull for the mathematician and others to use for existence and uniqeness of solution of non-autonomous abstarct Cauchy problems.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

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

Conflict of interest

The authors declare that they have no conflicts of interest.