## 1. Introduction

The variable exponent sequence spaces find their roots in the celebrated work by Orlicz [

1] where he introduced the vector space

where

$\left\{p\right(n\left)\right\}\subset [1,\infty )$. These spaces were extensively studied [

2,

3,

4,

5,

6]. They inspired the formal definition of a modular introduced by Nakano [

7]. These vector spaces are a special case of the variable exponent spaces

${L}^{p(.)}$. Toward the second half of the twentieth century, it was realized that these variable exponent spaces constituted the right framework for the mathematical formulation of a number of problems for which the classical Lebesgue spaces were inadequate. The applicability of these spaces and their properties made them a popular and efficient tool in the treatment of a variety of situations; today the area of

${L}^{p(\xb7)}(\Omega )$ spaces is a prolific field of research with ramifications reaching into very diverse mathematical specialties [

8]. The study of the variable exponent Lebesgue spaces

${L}^{p(\xb7)}$ received further impetus from the mathematical description of the hydrodynamics of non-Newtonian fluids [

9,

10]. Applications of non-Newtonian fluids, also called electrorheological, range from their use in military science to civil engineering and orthopedics.

This work is devoted to the investigation of the fixed point problem for Kannan maps defined within the spaces

${\ell}_{p(\xb7)}$. Some new results are presented. Metric fixed point theory constitutes an essential part of our work. Due to the vastness of the topic it would be impossible to include the background of metric fixed point theory here—the reader is referred to Reference [

11] and to Reference [

12] for the necessary elements on this topic.

## 2. Basic Notation and Terminology

We open the discussion by presenting some definitions and basic facts about the space ${\ell}_{p(\xb7)}$.

**Definition** **1** ([

1]).

Define the sequence vector spacewhere $p:\mathbb{N}\to [1,\infty )$.Orlicz [

1] did not use the terminology variable exponent sequence spaces for

${\ell}_{p(\xb7)}$. It was at a later stage that these spaces played a major role in the new theory of the more general concept of variable exponent spaces. Inspired by the structure of these spaces, Nakano [

4,

7] introduced the concept of modular vector spaces.

**Proposition** **1** ([

3,

5,

7]).

Consider the vector space ${\ell}_{p(\xb7)}$. Define the function $\upsilon :{\ell}_{p(\xb7)}\to [0,\infty ]$ byThen the following properties hold:

- (i)
$\upsilon \left(x\right)=0$ if and only if $x=0$;

- (ii)
$\upsilon \left(\gamma x\right)=\upsilon \left(x\right)$, if $\left|\gamma \right|=1$;

- (iii)
$\upsilon (s\phantom{\rule{4pt}{0ex}}x+(1-s\left)\phantom{\rule{4pt}{0ex}}y\right)\le s\phantom{\rule{4pt}{0ex}}\upsilon \left(x\right)+(1-s)\phantom{\rule{4pt}{0ex}}\upsilon \left(y\right)$, for any $s\in [0,1]$,

for any $x,y\in {\ell}_{p(\xb7)}$. In this case, we say that υ is a convex modular.

Note that $\upsilon $ is left-continuous, that is, $\underset{\alpha \to 1-}{lim}\phantom{\rule{4pt}{0ex}}\upsilon \left(\alpha x\right)=\upsilon \left(x\right)$, for any $x\in {\ell}_{p(\xb7)}$. Next, we introduce the modular version of some metric known properties.

**Definition** **2** - 1.
A sequence $\left\{{x}_{n}\right\}\subset {\ell}_{p(\xb7)}$ is υ-convergent to $x\in {\ell}_{p(\xb7)}$ if and only if $\upsilon ({x}_{n}-x)\to 0$. Note that the υ-limit is unique if it exists.

- 2.
A sequence $\left\{{x}_{n}\right\}\subset {\ell}_{p(\xb7)}$ is υ-Cauchy if $\upsilon ({x}_{n}-{x}_{m})\to 0$ as $n,m\to \infty $.

- 3.
A set $C\subset {\ell}_{p(\xb7)}$ is υ-closed if for any υ-converging sequence $\left\{{x}_{n}\right\}\subset C$ to x one has $x\in C$.

- 4.
A set $C\subset {\ell}_{p(\xb7)}$ is υ-bounded if ${\delta}_{\upsilon}\left(C\right)=sup\{\upsilon (x-y);x,y\in C\}<\infty $.

- 5.
The x-centered υ-ball of radius r is defined asfor any $x\in {\ell}_{p(\xb7)}$ and $r\ge 0$.

For the sake of completeness, note that

$\upsilon $ satisfies what is known as the Fatou’s property which says that for any sequence

$\left\{{y}_{n}\right\}\subseteq {\ell}_{p(\xb7)}$ which

$\upsilon $-converges to

y and any

$x\in {\ell}_{p(\xb7)}$, we have

Observe that this property implies the $\upsilon $-closedness of the $\upsilon $-balls. The next property, called the ${\Delta}_{2}$-condition, is central in investigating modular vector spaces.

**Definition** **3.** υ satisfies the ${\Delta}_{2}$-condition if there exists $K\ge 0$ such thatfor any $x\in {\ell}_{p(\xb7)}$. Note that

$\upsilon $ satisfies the

${\Delta}_{2}$-condition if and only if

${p}^{+}=\underset{n\in \mathbb{N}}{sup}p\left(n\right)<\infty $ [

3,

5,

7]. For more on this condition and its impact on the structure of modular vector spaces, the reader may consult References [

12,

14,

15]. The Luxemburg norm on

${\ell}_{p(\xb7)}$ is defined as the Minkowsky’s functional of the unit

$\upsilon $-ball, that is:

$({\ell}_{p(\xb7)},\parallel .{\parallel}_{\upsilon})$ is a uniformly convex Banach space if and only if

$1<{p}^{-}\le {p}^{+}<\infty $ [

5], where

## 3. Modular Kannan Mappings in ${\ell}_{p(\xb7)}$

Since the publication of the Banach fixed point theorem [

16], many mathematicians worked on possible extensions. It is Kannan [

17] who is credited for giving an example of a class of mappings with the same fixed point behavior as contractions but that fail to be continuous. The only attempt to define Kannan maps in modular vector spaces was made in Reference [

18]; however, the definition given there is not appropriate since the author assumes the mapping to be defined on the entire modular vector space. Furthermore, the authors fail to consider the case of Kannan nonexpansive mappings. Some definitions, which we now present, will be needed in the sequel:

**Definition** **4.** Let K be a nonempty subset of ${\ell}_{p(\xb7)}$. The map $T:K\to K$ is said to be Kannan υ-Lipschitzian if there exists $L\ge 0$ such thatfor any $x,y\in K$. We will say that T is: - (1)
Kannan υ-contraction if $L<1/2$;

- (2)
Kannan υ-nonexpansive if $L=1/2$.

$x\in K$ is called a fixed point of T if $T\left(x\right)=x$.

Note that Kannan $\upsilon $-Lipschitzian mappings have at most one fixed point.

Next we discuss the fixed point problem for Kannan $\upsilon $-contraction mappings.

**Theorem** **1.** Let K be a nonempty υ-closed subset of ${\ell}_{p(\xb7)}$. Let $T:K\to K$ be a Kannan υ-contraction mapping. Let $z\in K$ be such that $\upsilon (z-T(z\left)\right)<+\infty $. Then, $\left\{{T}^{n}\left(z\right)\right\}$ υ-converges to some point $w\in C$. Furthermore, we have $\upsilon (w-T(w\left)\right)=+\infty $ or $\upsilon (w-T(w\left)\right)=0$ (i.e., w is the fixed point of T).

**Proof.** Let

$z\in K$ such that

$\upsilon (z-T(z\left)\right)<+\infty $. Let us prove that

$\left\{{T}^{n}\left(z\right)\right\}$ is

$\upsilon $-convergent. Since

${\ell}_{p(\xb7)}$ is

$\upsilon $-complete, it suffices to prove that

$\left\{{T}^{n}\left(z\right)\right\}$ is

$\upsilon $-Cauchy. Since

T is a Kannan

$\upsilon $-contraction mapping, there exists

$L\in [0,1/2)$ such that

for any

$x,y\in K$. Set

$k=L/(1-L)$. Note that

$k<1$. Moreover,

which implies

for any

$n\ge 1$. Hence,

for any

$n\in \mathbb{N}$. Since

T is a Kannan

$\upsilon $-contraction mapping, we have

which implies

for

$n\ge 1$ and

$h\in \mathbb{N}$. Since

$k<1$ and

$\upsilon (z-T(z\left)\right)<+\infty $, we conclude that

$\left\{{T}^{n}\left(z\right)\right\}$ is

$\upsilon $-Cauchy, as claimed. Let

$w\in {\ell}_{p(\xb7)}$ be the

$\upsilon $-limit of

$\left\{{T}^{n}\left(z\right)\right\}$. Since

K is

$\upsilon $-closed, we get

$w\in K$. Assume that

$\upsilon (w-T(w\left)\right)<+\infty $; we will prove that

$\upsilon (w-T(w\left)\right)=0$. Since

for any

$n\ge 1$, using the Fatou’s property, we get

Since $L<1/2$, we conclude that $\upsilon (w-T(w\left)\right)=0$, i.e., w is the fixed point of T. □

Note that there is no reason for

$\upsilon (w-T(w\left)\right)<+\infty $ to hold. The proof of the main theorem of Reference [

18] fails because it assumes this condition. The next corollary is the analogue to Kannan’s extension of the classical Banach fixed point theorem in

${\ell}_{p(\xb7)}$.

**Corollary** **1.** Let K be a nonempty υ-closed subset of ${\ell}_{p(\xb7)}$. Let $T:K\to K$ be a Kannan υ-contraction mapping such that $\upsilon (x-T(x\left)\right)<+\infty $, for any $x\in K$. Then for any $z\in K$, $\left\{{T}^{n}\left(z\right)\right\}$ υ-converges to the unique fixed point w of T. Moreover, if L is the Kannan constant associated to T, then we havefor any $x\in C$ and $n\ge 1$. **Proof.** The first part follows directly from Theorem 1. Using the inequality

$\left(NL\right)$ above combined with the Fatou’s property, we get

for any

$n\ge 1$ and

$z\in K$. □

Next we prove a new result that is known in Banach spaces but that is still elusive in the case of modular vector spaces. To prepare the ground for this step, we present some material that, though known in the case of Banach spaces is new in the setting of metric spaces.

**Definition** **5.** We will say that:

- (i)
${\ell}_{p(\xb7)}$ satisfies the property $\left(R\right)$ if any decreasing sequence of nonempty υ-bounded and υ-closed convex subsets have a nonempty intersection;

- (ii)
${\ell}_{p(\xb7)}$ satisfies the υ-quasi-normal property if for any nonempty υ-bounded and υ-closed convex subset K with more than one point, there exists $x\in K$ such thatfor any $y\in K$.

**Remark** **1.** In Reference [19], the authors proved that if ${p}^{-}=\underset{n\in \mathbb{N}}{inf}\phantom{\rule{4pt}{0ex}}p\left(n\right)>1$, then ${\ell}_{p(\xb7)}$ satisfies a weaker form of modular uniform convexity which implies the property $\left(R\right)$. The case when ${p}^{-}=1$ remains elusive and hard to tackle. Recently, the authors of Reference [20] proved that if $\{n\in \mathbb{N};p(n)=1\}$ has at most one element, then ${\ell}_{p(\xb7)}$ satisfies a modular geometric property known as the modular uniform convexity in every direction (in short υ-UCED). Note that this property implies the modular normal property [20] which in turn implies the υ-quasi-normal property. Note that in both cases, we may have ${p}^{+}=\underset{n\in \mathbb{N}}{sup}\phantom{\rule{4pt}{0ex}}p\left(n\right)=\infty $ which implies the failure of the ${\Delta}_{2}$-condition. Before we state the main result of this work, we will need the following technical lemma.

**Lemma** **1.** Assume that ${\ell}_{p(\xb7)}$ satisfy the $\left(R\right)$ property and the υ-quasi-normal property. Let K be a nonempty, υ-bounded, υ-closed and convex subset of ${\ell}_{p(\xb7)}$. Let $T:K\to K$ be a Kannan υ-nonexpansive mapping. Fix $r>0$. Assume that ${A}_{r}=\{x\in K;\phantom{\rule{4pt}{0ex}}\upsilon (x-T\left(x\right))\le r\}$ is not empty. Set Then ${K}_{r}$ is a nonempty, υ-closed and convex subset of K and **Proof.** Note that

$T\left({A}_{r}\right)\subset {K}_{r}$ which implies that

${K}_{r}$ is not empty. Since the

$\upsilon $-balls are

$\upsilon $-closed and convex, we deduce that

${K}_{r}$ is a

$\upsilon $-closed convex subset of

K. Let us prove that

${K}_{r}\subset {A}_{r}$. Let

$x\in {K}_{r}$. If

$\upsilon (x-T(x\left)\right)=0$, then obviously we have

$x\in {A}_{r}$. Otherwise, assume

$\upsilon (x-T(x\left)\right)>0$. Set

From the definition of

s, we have

$T\left({A}_{r}\right)\subset {B}_{\upsilon}(T\left(x\right),s)$. Hence

${K}_{r}\subset {B}_{\upsilon}(T\left(x\right),s)$, which implies

$\upsilon (x-T(x\left)\right)\le s$. Let

$\epsilon >0$. Then there exists

$z\in {A}_{r}$ such that

$s-\epsilon \le \upsilon \left(T\right(x)-T(z\left)\right)$. Hence

Since

$\epsilon $ is taken arbitrarily positive, we get

which implies

$\upsilon (x-T(x\left)\right)\le r$, that is,

$x\in {A}_{r}$ as claimed. Since

$T\left({A}_{r}\right)\subset {K}_{r}$, we get

$T\left({K}_{r}\right)\subset T\left({A}_{r}\right)\subset {K}_{r}$, that is,

${K}_{r}$ is

T-invariant. Next we prove that

${\delta}_{\upsilon}\left({K}_{r}\right)\le r$. First, we notice that

for any

$x,y\in {A}_{r}$. Fix

$x\in {A}_{r}$. Then

$T\left({A}_{r}\right)\subset {B}_{\upsilon}(T\left(x\right),r)$. The definition of

${K}_{r}$ implies

${K}_{r}\subset {B}_{\upsilon}(T\left(x\right),r)$. Hence

$T\left(x\right)\in {\displaystyle \bigcap _{y\in {K}_{r}}}\phantom{\rule{4pt}{0ex}}{B}_{\upsilon}(y,r)$, which implies

$T\left({A}_{r}\right)\subset {\displaystyle \bigcap _{y\in {K}_{r}}}\phantom{\rule{4pt}{0ex}}{B}_{\upsilon}(y,r)$. Again from the definition of

${K}_{r}$, we get

${K}_{r}\subset {\displaystyle \bigcap _{y\in {K}_{r}}}\phantom{\rule{4pt}{0ex}}{B}_{\upsilon}(y,r)$. Therefore, we have

$\upsilon (y-z)\le r$, for any

$y,z\in {K}_{r}$, that is,

${\delta}_{\upsilon}\left({K}_{r}\right)\le r$. The proof of the Lemma 1 is complete. □

Now we are ready to state the main result of our work.

**Theorem** **2.** Assume that ${\ell}_{p(\xb7)}$ satisfy the $\left(R\right)$ property and the υ-quasi-normal property. Let K be a nonempty υ-bounded υ-closed and convex subset of ${\ell}_{p(\xb7)}$. Let $T:K\to K$ be a Kannan υ-nonexpansive mapping. Then T has a fixed point.

**Proof.** Set

${r}_{0}=inf\phantom{\rule{4pt}{0ex}}\{\upsilon (x-T\left(x\right));\phantom{\rule{4pt}{0ex}}x\in K\}$ and

${r}_{n}={r}_{0}+1/n$, for

$n\ge 1$. By definition of

${r}_{0}$, the set

${A}_{{r}_{n}}=\{x\in K;\phantom{\rule{4pt}{0ex}}\upsilon (x-T\left(x\right))\le {r}_{n}\}$ is not empty, for any

$n\ge 1$. Consider the subset

${K}_{{r}_{n}}$ defined in Lemma 1. It is easy to check that

$\left\{{K}_{{r}_{n}}\right\}$ is a decreasing sequence of nonempty

$\upsilon $-bounded

$\upsilon $-closed and convex subsets of

K. The property

$\left(R\right)$ implies that

${K}_{\infty}={\displaystyle \bigcap _{n\ge 1}}\phantom{\rule{4pt}{0ex}}{K}_{{r}_{n}}$ is not empty. Let

$x\in {K}_{\infty}$. Then we have

$\upsilon (x-T\left(x\right))\le {r}_{n}$, for any

$n\ge 1$. If we let

$n\to \infty $, we get

$\upsilon (x-T\left(x\right))\le {r}_{0}$ which implies

$\upsilon (x-T\left(x\right))={r}_{0}$. Hence the set

${A}_{{r}_{0}}\ne \varnothing $. We claim that

${r}_{0}=0$. Otherwise,

${r}_{0}>0$ which implies that

T fails to have a fixed point. Again consider the set

${K}_{{r}_{0}}$ as defined in Lemma 1. Note that since

T fails to have a fixed point and

${K}_{{r}_{0}}$ is

T-invariant, then

${K}_{{r}_{0}}$ has more than one point, that is,

${\delta}_{\upsilon}\left({K}_{{r}_{0}}\right)>0$. It follows from the

$\upsilon $-quasi-normal property that there exists

$x\in {K}_{{r}_{0}}$ such that

for any

$y\in {K}_{{r}_{0}}$. From Lemma 1, we know that

${K}_{{r}_{0}}\subset {A}_{{r}_{0}}$. Hence

$T\left(x\right)\in T\left({A}_{{r}_{0}}\right)\subset {K}_{{r}_{0}}$ by definition of

${K}_{{r}_{0}}$. Obviously this will imply

which is a contradiction with the definition of

${r}_{0}$. Hence

${r}_{0}=0$ which implies that any point in

${A}_{{r}_{0}}$ is a fixed point of

T, that is,

T has a fixed point in

K. □

**Remark** **2.** In fact, the conclusion of Theorem 2 gives a characterization of the υ-quasi-normal property of ${\ell}_{p(\xb7)}$. Indeed, assume that ${\ell}_{p(\xb7)}$ fails the υ-quasi-normal property. Then there exists a nonempty υ-bounded υ-closed and convex subset K of ${\ell}_{p(\xb7)}$ not reduced to one point such that for any $x\in K$, there exists ${z}_{x}\in K$ such that $\upsilon (x-{z}_{x})={\delta}_{\upsilon}\left(K\right)>0$. The mapping $T:K\to K$ defined by $T\left(x\right)={z}_{x}$ is a Kannan υ-nonexpansive mapping. Indeed, we havefor any $x,y\in K$. Since $\upsilon (x-T\left(x\right))={\delta}_{\upsilon}\left(K\right)>0$, for any $x\in K$, then T fails to have a fixed point. Using Remark 1 combined with Theorem 2, we get the following corollary:

**Corollary** **2.** Assume that ${p}^{-}=\underset{n\in \mathbb{N}}{inf}\phantom{\rule{4pt}{0ex}}p\left(n\right)>1$. Let K be a nonempty υ-bounded υ-closed and convex subset of ${\ell}_{p(\xb7)}$. Let $T:K\to K$ be a Kannan υ-nonexpansive mapping. Then T has a fixed point.

## Author Contributions

A.A.N.A. and M.A.K. contributed equally on the development of the theory and their respective analysis. All authors have read and agreed to the published version of the manuscript.

## Funding

This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under grant No. (D-037-363-1441). The authors, therefore, gratefully acknowledge DSR for their technical and financial support.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

- Orlicz, W. Über Konjugierte Exponentenfolgen. Stud. Math.
**1931**, 3, 200–211. [Google Scholar] [CrossRef] - Bardaro, C.; Musielak, J.; Vinti, G. Nonlinear Integral Operators and Applications, de Gruyter Series in Nonlinear Analisys; Walter de Gruyter: Berlin, Germany, 2003. [Google Scholar]
- Klee, V. Summability in ℓ(p
_{11},p_{21},⋯) Spaces. Stud. Math. **1965**, 25, 277–280. [Google Scholar] [CrossRef] - Nakano, H. Modulared Sequence Spaces. Proc. Jpn. Acad.
**1951**, 27, 508–512. [Google Scholar] [CrossRef] - Sundaresan, K. Uniform convexity of Banach spaces ℓ({p
_{i}}). Stud. Math. **1971**, 39, 227–231. [Google Scholar] [CrossRef] - Waterman, D.; Ito, T.; Barber, F.; Ratti, J. Reflexivity and Summability: The Nakano ℓ(p
_{i}) spaces. Stud Math. **1969**, 331, 141–146. [Google Scholar] [CrossRef] - Nakano, H. Modulared Semi-Ordered Linear Spaces; Maruzen Co.: Tokyo, Japan, 1950. [Google Scholar]
- Diening, L.; Harjulehto, P.; Hästö, P.; Ruẑiĉka, M. Lebesgue and Sobolev Spaces with Variable Exponents. In Lecture Note in Mathematics 2017; Springer: Berlin, Germany, 2011. [Google Scholar]
- Rajagopal, K.; Ružička, M. On the modeling of electrorheological materials. Mech. Res. Commun.
**1996**, 23, 401–407. [Google Scholar] [CrossRef] - Ružička, M. Electrorheological fluids: Modeling and mathematical theory. In Lecture Notes in Mathematics; Springer: Berlin, Germany, 2000; Volume 1748. [Google Scholar]
- Khamsi, M.A.; Kirk, W.A. An Introduction to Metric Spaces and Fixed Point Theory; John Wiley: New York, NY, USA, 2001. [Google Scholar]
- Khamsi, M.A.; Kozlowski, W.M. Fixed Point Theory in Modular Function Spaces; Birkhauser: New York, NY, USA, 2015. [Google Scholar]
- Khamsi, M.A.; Kozlowski, W.K.; Reich, S. Fixed point theory in modular function spaces. Nonlinear Anal.
**1990**, 14, 935–953. [Google Scholar] [CrossRef] - Kozlowski, W.M. Modular Function Spaces. In Series of Monographs and Textbooks in Pure and Applied Mathematics; Dekker: New York, NY, USA; Basel, Switzerland, 1988; Volume 122. [Google Scholar]
- Musielak, J. Orlicz Spaces and Modular Spaces. In Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany; New York, NY, USA; Tokyo, Japan, 1983; Volume 1034. [Google Scholar]
- Banach, S. Sur les opérations dans les ensembles abstraits et leurs applications. Fund. Math.
**1922**, 3, 133–181. [Google Scholar] [CrossRef] - Kannan, R. Some results on fixed points- II. Am. Math. Mon.
**1969**, 76, 405–408. [Google Scholar] - Ghoncheh, S.J.H. Some Fixed Point Theorems for Kannan Mapping in the Modular Spaces; Ciěncia eNatura: Santa Maria, CA, USA, 2015; Volume 37, pp. 462–466. [Google Scholar] [CrossRef]
- Bachar, M.; Bounkhel, M.; Khamsi, M.A. Uniform Convexity in ℓ
_{p(.)}. J. Nonlinear Sci. Appl. **2017**, 10, 5292–5299. [Google Scholar] [CrossRef] - Bachar, M.; Khamsi, M.A.; Mendez, O.; Bounkhel, M. A geometric property in ℓ
_{p(·)} and its applications. Math. Nachr. **2019**, 292, 1931–1940. [Google Scholar] [CrossRef]

© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).