Abstract
In this article, we investigate the notion of the pre-quasi norm on a generalized Cesàro backward difference sequence space of non-absolute type \((\Xi (\Delta,r) )_{\psi }\) under definite function ψ. We introduce the sufficient set-up on it to form a pre-quasi Banach and a closed special space of sequences (sss), the actuality of a fixed point of a Kannan pre-quasi norm contraction mapping on \((\Xi (\Delta,r) )_{\psi }\), it supports the property (R) and has the pre-quasi normal structure property. The existence of a fixed point of the Kannan pre-quasi norm nonexpansive mapping on \((\Xi (\Delta,r) )_{\psi }\) and the Kannan pre-quasi norm contraction mapping in the pre-quasi Banach operator ideal constructed by \((\Xi (\Delta,r) )_{\psi }\) and s-numbers has been determined. Finally, we support our results by some applications to the existence of solutions of summable equations and illustrative examples.
Similar content being viewed by others
1 Introduction
Ideal operator theorems are very important in mathematical models and have numerous implementations, such as normal series theory, ideal transformations, geometry of Banach spaces, approximation theory, fixed point theory, and so forth. Nakano sequence spaces \(\ell (r)\) are contained in the variable exponent spaces \(L_{(r)}\). Regarding the second half of the twentieth century, it used to be fulfilled that these variable exponent spaces constituted the proper framework for the mathematical components of numerous issues for which the classical Lebesgue spaces have been inadequate. The relevancy of these spaces and their effects made them a famous and environment friendly device in the remedy of a range of situations. These days the region of \(L_{(r)}(\Omega )\) spaces is a prolific subject of lookup with ramifications achieving into very numerous mathematical specialties [1]. Learning about the variable exponent Lebesgue spaces \(L_{(r)}\) gained in addition impetus from the mathematical description of the hydrodynamics of non-Newtonian fluids [2, 3]. Applications of non-Newtonian fluids, additionally known as electrorheological, vary from their use in army science to civil engineering and orthopedics. By \(\mathfrak{R}^{\mathcal{N}}\), \(\ell _{\infty }\), \(\ell _{r}\), and \(c_{0}\) we signify the spaces of each bounded, r-absolutely summable, and convergent to zero sequences of real numbers. We signify the space of all bounded linear operators from a Banach space Z into a Banach space M by \(\mathcal{L}(Z, M)\), and if \(Z=M\), we write \(\mathcal{L}(Z)\), and \(e_{d}=\{0, 0,\ldots,1,0,0,\ldots\}\), while 1 presents the \(d^{th}\) place for every \(d\in \mathcal{N}=\{0, 1, 2,\ldots\}\).
Definition 1.1
([4])
An s-number function is a map defined on \(\mathcal{L}(Z, M)\) which sort to every map \(W\in \mathcal{L}(Z, M)\) a nonnegative scaler sequence \((s_{d}(W))_{d=0}^{\infty }\) satisfies the following setting:
-
(a)
\(\|W\|=s_{0}(W)\geq s_{1}(W)\geq s_{2}(W)\geq \cdots\geq 0\) for all \(W\in \mathcal{L}(Z, M)\);
-
(b)
\(s_{l+d}(W_{1}+W_{2})\leq s_{l}(W_{1})+s_{d}(W_{2})\) for every \(W_{1}, W_{2}\in \mathcal{L}(Z, M)\) and l, \(d\in \mathcal{N}\);
-
(c)
Ideal property: \(s_{d}(VYW)\leq \|V \| s_{d}(Y) \|W \|\) for every \(W\in \mathcal{L}(Z_{0}, Z)\), \(Y\in \mathcal{L}(Z, M)\) and \(V\in \mathcal{L}(M, M_{0})\), where \(Z_{0}\) and \(M_{0}\) are discretionary Banach spaces;
-
(d)
For \(W\in \mathcal{L}(Z, M)\) and \(\gamma \in \mathfrak{R}\), one has \(s_{d}(\gamma W)=|\gamma |s_{d}(W)\);
-
(e)
Rank property: Assume \(\operatorname{rank}(W)\leq d\), then \(s_{d}(W)=0\) for each \(W\in \mathcal{L}(Z, M)\);
-
(f)
Norming property: \(s_{l\geq a}(I_{a})=0\) or \(s_{l< a}(I_{a})=1\), where \(I_{a}\) mirrors the unit map on the a-dimensional Hilbert space \(\ell _{2}^{a}\).
The dth approximation number, established by \(\alpha _{d}(W)\), is defined as follows:
Notations 1.2
The sets \(S_{A}\), \(S_{A}(Z, M)\), \(S_{A}^{\mathrm{app}}\), and \(S_{A}^{\mathrm{app}}(Z, M)\) (cf. [5]) are as follows:
Also
In [5], Faried and Bakery made known the theory of pre-quasi operator ideal that is more conventional than the quasi operator ideal. Bakery and Abou Elmatty [6] gave the sufficient (not necessary) conditions on \(\ell (r)\) such that \(S_{\ell (r)}\) constructed a simple Banach pre-quasi operator ideal. The pre-quasi operator ideal \(S_{\ell (r)}^{\mathrm{app}}\) was once strictly contained for different exponents. It was once a small pre-quasi operator ideal. Since the booklet of the Banach fixed point theorem [7], many mathematicians worked on feasible extensions. Kannan [8] approved an instance of a class of operators with the identical fixed point actions as contractions though that flop to be continuous. The only attempt to describe Kannan operators in modular vector spaces was made by Ghoncheh [9]. The intention of this paper is to learn about the thinking of pre-quasi norm on \(\Xi (\Delta,r)\). We explain the sufficient conditions on \(\Xi (\Delta,r)\) equipped with the definite pre-quasi norm to structure pre-quasi Banach and closed (sss), the existence of a fixed point of a Kannan pre-quasi norm contraction mapping in the pre-quasi Banach (sss), \((\Xi (\Delta,r) )_{\psi }\) satisfies the property (R) and \((\Xi (\Delta,r) )_{\psi }\) has the ψ-normal structure property. The existence of a fixed point of the Kannan pre-quasi norm nonexpansive mapping in the pre-quasi Banach (sss) is determined. In addition, we provide the idea of a Kannan pre-quasi norm contraction mapping in the pre-quasi operator ideal. The existence of a fixed point of the Kannan pre-quasi norm contraction mapping in the pre-quasi Banach operator ideal \(S_{ (\Xi (\Delta,r) )_{\psi }}\) is given. Finally, we give some applications to the existence of solutions of summable equations with some examples to illustrate our results.
2 Definitions and preliminaries
Definition 2.1
([5])
The linear space of sequences \(\mathfrak{A}\) is known as a special space of sequences (sss) if:
-
(1)
\(\{e_{a}\}_{a\in \mathcal{N}}\subseteq \mathfrak{A}\);
-
(2)
\(\mathfrak{A}\) is solid, i.e., conceited \(v=(v_{a})\in \mathfrak{R}^{\mathcal{N}}\), \(t=(t_{a})\in \mathfrak{A}\), and \(|v_{a}|\leq |t_{a}|\) for each \(a\in \mathcal{N}\), then \(v\in \mathfrak{A}\);
-
(3)
\((v_{[\frac{a}{2}]})_{a=0}^{\infty }\in \mathfrak{A}\), where \([\frac{a}{2}]\) illustrates the integral part of \(\frac{a}{2}\) in case \((v_{a})_{a=0}^{\infty }\in \mathfrak{A}\).
By \([0,\infty )^{\mathfrak{A}}\), we denote the space of all functions \(\phi:\mathfrak{A}\longrightarrow [0,\infty )\).
Definition 2.2
([5])
A subclass \(\mathfrak{A}_{\psi }\) of \(\mathfrak{A}\) is called a pre-modular (sss) if there is \(\psi \in [0,\infty )^{\mathfrak{A}}\) with the following:
-
(i)
For \(v\in \mathfrak{A}\), \(v=\theta \Leftrightarrow \psi (v)=0\) with \(\psi (v)\geq 0\), where θ is the zero vector of \(\mathfrak{A}\);
-
(ii)
For all \(v\in \mathfrak{A}\) and \(\eta \in \mathfrak{R}\), there is \(B\geq 1\) for which \(\psi (\eta v)\leq B|\eta |\psi ( v)\);
-
(iii)
\(\psi (v+t)\leq J(\psi (v)+\psi (t))\) for each \(v, t\in \mathfrak{A}\) embodies for some \(J\geq 1\);
-
(iv)
For \(a\in \mathcal{N}\) and \(|v_{a}|\leq |t_{a}|\), we obtain \(\psi ((v_{a}))\leq \psi ((t_{a}))\);
-
(v)
The inequality \(\psi ((v_{a}))\leq \psi ((v_{[\frac{a}{2}]}))\leq J_{0}\psi ((v_{a}))\) holds for some \(J_{0}\geq 1\);
-
(vi)
If F is the space of finite sequences, then \(\overline{F}=\mathfrak{A}_{\psi }\);
-
(vii)
There is \(\varsigma >0\) such that \(\psi (\beta, 0, 0, 0,\ldots)\geq \varsigma |\beta |\psi (1, 0, 0, 0,\ldots)\) for every \(\beta \in \mathfrak{R}\).
Definition 2.3
([10])
Let \(\mathfrak{A}\) be a (sss). The function \(\psi \in [0,\infty )^{\mathfrak{A}}\) is named a pre-quasi norm on \(\mathfrak{A}\) if it provides the following setting:
-
(i)
For \(v\in \mathfrak{A}\), \(v=\theta \Leftrightarrow \psi (v)=0\) with \(\psi (v)\geq 0\), where θ is the zero vector of \(\mathfrak{A}\);
-
(ii)
For some \(B\geq 1\), the inequality \(\psi (\eta v)\leq B|\eta |\psi ( v)\) holds for all \(v\in \mathfrak{A}\) and \(\eta \in \mathfrak{R}\);
-
(iii)
For some \(J\geq 1\), the inequality \(\psi (v+t)\leq J(\psi (v)+\psi (t))\) is satisfied for all \(v, t\in \mathfrak{A}\).
Theorem 2.4
([10])
If \(\mathfrak{A}\) is a pre-modular (sss), then it is a pre-quasi normed (sss).
Theorem 2.5
([10])
\(\mathfrak{A}\) is a pre-quasi normed (sss) if it is a quasi-normed (sss).
Definition 2.6
([11])
If \(\mathcal{L}\) is the class of bounded linear maps within any two Banach spaces. A subclass \(\mathcal{U}\) of \(\mathcal{L}\) is named an operator ideal if every element \(\mathcal{U}(Z, M)=\mathcal{U}\cap \mathcal{L}(Z, M)\) fulfills the following setting:
-
(i)
\(I_{\Gamma }\in \mathcal{U}\) throughout Γ characterizes a Banach space of one dimension.
-
(ii)
The space \(\mathcal{U}(Z, M)\) is linear over \(\mathfrak{R}\).
-
(iii)
If \(W\in \mathcal{L}(Z_{0}, Z)\), \(X\in \mathcal{U}(Z, M)\), and \(Y\in \mathcal{L}(M, M_{0})\), then \(YXW\in \mathcal{U}(Z_{0}, M_{0})\), where \(Z_{0}\) and \(M_{0}\) are normed spaces.
The notion of pre-quasi operator ideal is more regular than the quasi operator ideal.
Definition 2.7
([5])
A function \(\Psi \in [0,\infty )^{\mathcal{U}}\) is named a pre-quasi norm on the ideal \(\mathcal{U}\) if the following setting holds:
-
(1)
Assume \(W\in \mathcal{U}(Z, M)\), \(\Psi (W)\geq 0\), and \(\Psi (W)=0\) if and only if \(W=0\);
-
(2)
There is \(D\geq 1\) so as to \(\Psi (\eta W)\leq D|\eta |\Psi (W)\) for all \(W\in \mathcal{U}(Z, M)\) and \(\eta \in \mathfrak{R}\);
-
(3)
There is \(J\geq 1\) so that \(\Psi (W_{1}+W_{2})\leq J[\Psi (W_{1})+\Psi (W_{2})]\) for all \(W_{1},W_{2}\in \mathcal{U}(Z, M)\);
-
(4)
There is \(\sigma \geq 1\) if \(W\in \mathcal{L}(Z_{0}, Z)\), \(X\in \mathcal{U}(Z, M)\), and \(Y\in \mathcal{L}(M, M_{0})\), then \(\Psi (YXW)\leq \sigma \|Y \| \Psi (X) \|W \|\).
Theorem 2.8
([12])
Pick up \(\mathfrak{A}_{\psi }\) to be a pre-modular (sss), then \(\Psi (W)=\psi (s_{a}(W))_{a=0}^{\infty }\) is a pre-quasi norm on \(S_{\mathfrak{A}_{\psi }}\).
Theorem 2.9
([6])
Let Z and M be Banach spaces and \(\mathfrak{A}_{\psi }\) be a pre-modular (sss), then \((S_{\mathfrak{A}_{\psi }},\Psi )\) is a pre-quasi Banach operator ideal, so that \(\Psi (W)=\psi ((s_{a}(W))_{a=0}^{\infty } )\).
Theorem 2.10
([5])
Ψ is a pre-quasi norm on the ideal \(\mathcal{U}\) if Ψ is a quasi norm on the ideal \(\mathcal{U}\).
Lemma 2.11
The given inequalities will be used in the sequel:
-
(i)
[13] Let \(r\geq 2\) and for every \(v, t\in \mathfrak{R}\), then
$$\begin{aligned} \biggl\vert \frac{v+t}{2} \biggr\vert ^{r}+ \biggl\vert \frac{v-t}{2} \biggr\vert ^{r} \leq \frac{1}{2} \bigl(|v|^{r}+|t|^{r} \bigr). \end{aligned}$$ -
(ii)
[14] Assume \(1< r\leq 2\) and for all \(v, t\in \mathfrak{R}\) so that \(|v|+|t|\neq 0\), then
$$\begin{aligned} \biggl\vert \frac{v+t}{2} \biggr\vert ^{r}+\frac{r(r-1)}{2} \biggl\vert \frac{v-t}{|v|+|t|} \biggr\vert ^{2-r} \biggl\vert \frac{v-t}{2} \biggr\vert ^{r} \leq \frac{1}{2} \bigl(|v|^{r}+|t|^{r} \bigr). \end{aligned}$$ -
(iii)
[15] Suppose \(r_{a}>0\) and \(v_{a}, t_{a}\in \mathfrak{R}\) for every \(a\in \mathcal{N}\), then \(|v_{a}+t_{a}|^{r_{a}}\leq 2^{K-1}(|v_{a}|^{r_{a}}+|t_{a}|^{r_{a}}) \), where \(K=\max \{1,\sup_{a}r_{a}\}\).
3 The sequence space \((\Xi (\Delta,r) )_{\psi }\)
We introduce in this section the definition of generalized Cesàro backward difference sequence space of non-absolute type \((\Xi (\Delta,r) )_{\psi }\) under the function ψ and some inclusion relations.
The Cesàro matrix \(\Lambda _{1}\) of order 1 is represented explicitly as
Definition 3.1
For all \((r_{l})\in \mathfrak{R^{+}}^{\mathcal{N}}\), the sequence spaces \((\ell _{\infty }(r) )_{\psi }\), \((c_{0}(r) )_{\psi }\), and \((\ell (r) )_{\psi }\) are defined as follows:
Definition 3.2
For all \((r_{l})\in \mathfrak{R^{+}}^{\mathcal{N}}\), we define the following sequence spaces:
Theorem 3.3
If \((r_{l})\in \mathfrak{R^{+}}^{\mathcal{N}}\), then \(\Xi (\Delta,r)\subsetneqq \Xi _{0}(\Delta,r)\subsetneqq \Xi _{ \infty }(\Delta,r)\).
Definition 3.4
For all \((r_{l})\in \mathfrak{R^{+}}^{\mathcal{N}}\), the sequence space \((\Xi (\Delta,r) )_{\psi }\) under the function ψ is defined as follows:
where \(\psi (f)=\sum^{\infty }_{l=0} ( \frac{ \vert \sum^{l}_{z=0}\Delta f_{z} \vert }{l+1} )^{r_{l}}\) and \(\Delta f_{z}=f_{z}-f_{z-1}\) with \(f_{z}=0\) for \(z<0\).
Theorem 3.5
If \((r_{l})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\), then
Proof
Assume \((r_{l})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\), one has
□
Theorem 3.6
If \((r_{l})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\), then \((\Xi (\Delta,r) )_{\psi }\) is of absolute type.
Proof
We have
Therefore, the sequence space \((\Xi (\Delta,r) )_{\psi }\) is of absolute type. □
Theorem 3.7
If \((r_{l})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\), then \((\ell (r) )_{\psi }\subsetneqq (\Xi (\Delta,r) )_{\psi }\).
Proof
Let \(f\in (\ell (r) )_{\psi }\), since
then \(f\in (\Xi (\Delta,r) )_{\psi }\). For \((r_{l})\in (1,\infty )^{\mathcal{N}}\cap \ell _{\infty }\), we choose \(f=(1,1,1,\ldots )\), one has \(f\in (\Xi (\Delta,r) )_{\psi }\) and \(f\notin \ell (r)\). For \((r_{l})\in (0,1]^{\mathcal{N}}\), we choose \(f= (\frac{1}{l+1} )^{r^{-1}_{l}}\), one has \(f\in (\Xi (\Delta,r) )_{\psi }\) and \(f\notin \ell (r)\). □
Definition 3.8
For all \((r_{l})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\), the generalized Cesàro backward difference sequence space of absolute type \((\mathrm{ces}(\Delta,r) )_{\varphi }\) is defined as follows:
Theorem 3.9
If \((r_{l})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\), then \((\mathrm{ces}(\Delta,r) )_{\varphi }\subsetneqq (\Xi ( \Delta,r) )_{\psi }\).
Proof
Let \(f\in (\mathrm{ces}(\Delta,r) )_{\varphi }\), since
Then \(f\in (\Xi (\Delta,r) )_{\psi }\). For \((r_{l})\in (1,\infty )^{\mathcal{N}}\cap \ell _{\infty }\), we choose \(f=((-1)^{z})_{z\in \mathcal{N}}\), one has \(f\in (\Xi (\Delta,r) )_{\psi }\) and \(f\notin (\mathrm{ces}(\Delta,r) )_{\varphi }\). For \((r_{l})\in (0,1]^{\mathcal{N}}\), we choose \(f=(1,0,0,\ldots )\), one has \(f\in (\Xi (\Delta,r) )_{\psi }\) and \(f\notin (\mathrm{ces}(\Delta,r) )_{\varphi }\). □
4 Pre-quasi norm on \(\Xi (\Delta,r)\)
We investigate in this section the sufficient set-up on \(\Xi (\Delta,r)\) with a pre-quasi norm ψ to form a pre-quasi Banach and a closed (sss). The Fatou property for different pre-quasi norm ψ on \(\Xi (\Delta,r)\) is studied.
Definition 4.1
-
(a)
The function ψ on \(\Xi (\Delta,r)\) is called ψ-convex if
$$\begin{aligned} \psi \bigl(\omega v+(1-\omega )t\bigr)\leq \omega \psi (v)+(1-\omega )\psi (t) \end{aligned}$$for each \(\omega \in [0, 1]\) and \(v,t\in \Xi (\Delta,r)\).
-
(b)
\(\{v_{a}\}_{a\in \mathcal{N}}\subseteq (\Xi (\Delta,r) )_{ \psi }\) is ψ-convergent to \(v\in (\Xi (\Delta,r) )_{\psi }\) if and only if \(\lim_{a\rightarrow \infty }\psi (v_{a}-v)=0\). If the ψ-limit exists, then it is unique.
-
(c)
\(\{v_{a}\}_{a\in \mathcal{N}}\subseteq (\Xi (\Delta,r) )_{ \psi }\) is ψ-Cauchy, when \(\lim_{a,b\rightarrow \infty }\psi (v_{a}-v_{b})=0\).
-
(d)
\(\Lambda \subset (\Xi (\Delta,r) )_{\psi }\) is ψ-closed, if for all ψ-converging \(\{v_{a}\}_{a\in \mathcal{N}}\subset \Lambda \) to v, then \(v\in \Lambda \).
-
(e)
\(\Lambda \subset (\Xi (\Delta,r) )_{\psi }\) is ψ-bounded, when \(\delta _{\psi }(\Lambda )=\sup \{\psi (v-t): v,t\in \Lambda \}<\infty \).
-
(f)
The ψ-ball of radius \(d\geq 0\) and center v, for every \(v\in (\Xi (\Delta,r) )_{\psi }\), is detailed
$$\begin{aligned} \mathcal{B}_{\psi }(v,d)= \bigl\{ t\in \bigl(\Xi (\Delta,r) \bigr)_{\psi }: \psi (v-t)\leq d \bigr\} . \end{aligned}$$ -
(g)
A pre-quasi norm ψ on \(\Xi (\Delta,r)\) satisfies the Fatou property if for any sequence \(\{t^{a}\}\subseteq (\Xi (\Delta,r) )_{\psi }\) with \(\lim_{a\rightarrow \infty }\psi (t^{a}-t)=0\) and any \(v\in (\Xi (\Delta,r) )_{\psi }\), then \(\psi (v-t)\leq \sup_{j}\inf_{a\geq j}\psi (v-t^{a})\).
Note that the Fatou property gives the ψ-closedness of the ψ-balls.
Theorem 4.2
If \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) is increasing, then the space \((\Xi (\Delta,r) )_{\psi }\) is a pre-modular (sss), where \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for each \(v\in \Xi (\Delta,r)\).
Proof
Firstly, we have to prove \(\Xi (\Delta,r)\) is a (sss):
(1-i) Suppose \(v, t\in \Xi (\Delta,r)\). Since \((r_{a})\) is bounded, we obtain
so \(v+t\in \Xi (\Delta,r)\).
(1-ii) Assume \(\eta \in \mathfrak{R}\) and \(v\in \Xi (\Delta,r)\). As \((r_{a})\) is bounded, we have
Hence \(\eta v\in \Xi (\Delta,r)\). Then, by using Parts (1-i) and (1-ii), we get \(\Xi (\Delta,r)\) is a linear space. Also \(e_{a}\in \Xi (\Delta,r)\) for all \(a\in \mathcal{N}\) since
(2) Let \(|v_{a}|\leq |t_{a}|\) for all \(a\in \mathcal{N}\) and \(t\in \Xi (\Delta,r)\). One has
we get \(v\in \Xi (\Delta,r)\).
(3) Let \((v_{a})\in \Xi (\Delta,r)\), one can see
then \((v_{[\frac{a}{2}]})\in \Xi (\Delta,r)\). Secondly, we show that the function ψ on \(\Xi (\Delta,r)\) is pre-modular:
(i) Evidently, \(\psi (v)\geq 0\) and \(\psi (v)=0\Leftrightarrow v=\theta \).
(ii) We have \(D=\max \{1, \sup_{a}|\eta |^{\frac{r_{a}}{K}-1} \}\geq 1\) so that \(\psi (\eta v)\leq D|\eta |\psi ( v)\) for every \(v\in \Xi (\Delta,r)\) and \(\eta \in \mathfrak{R}\).
(iii) There is \(J\geq 1\) such that \(\psi (v+t)\leq J(\psi (v)+\psi (t))\) for all \(v, t\in \Xi (\Delta,r)\).
(iv) Clearly from (2).
(v) It is obtained from (3) that \(J_{0}=2^{\frac{1}{K}}\geq 1\).
(vi) Patently \(\overline{F}=\Xi (\Delta,r)\).
(vii) There is ς so that \(0<\varsigma \leq |\beta |^{\frac{r_{0}}{K}-1}\) for \(\beta \neq 0\) or \(\varsigma >0\), for \(\beta =0\) such that
□
Theorem 4.3
If \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) is increasing, then \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi Banach (sss), where \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for each \(v\in \Xi (\Delta,r)\).
Proof
Assume that the set-up is verified. From Theorem 4.2, the space \((\Xi (\Delta,r) )_{\psi }\) is a pre-modular (sss). By Theorem 2.4, the space \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi normed (sss). To demonstrate that \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi Banach (sss), assume \(v^{p}=(v_{a}^{p})_{a=0}^{\infty }\) to be a Cauchy sequence in \((\Xi (\Delta,r) )_{\psi }\). Hence, for every \(\varepsilon \in (0, 1)\), there is \(p_{0}\in \mathcal{N}\) so that, for all \(p,q\geq p_{0}\), one has
Therefore, for \(p,q\geq p_{0}\) and \(a\in \mathcal{N}\), we obtain \(|v_{a}^{p}-v_{a}^{q}|<\varepsilon \). So \((v^{q}_{a})\) is a Cauchy sequence in \(\mathfrak{R}\) for constant \(a\in \mathcal{N}\), which implies \(\lim_{q\rightarrow \infty }v^{q}_{a}=v^{0}_{a}\) for fixed \(a\in \mathcal{N}\). Hence \(\psi (v^{p}-v^{0})<\varepsilon \) for each \(p\geq p_{0}\). Conclusively to show that \(v^{0}\in \Xi (\Delta,r)\), we have \(\psi (v^{0})=\psi (v^{0}-v^{p}+v^{p})\leq \psi (v^{p}-v^{0})+\psi (v^{p})< \infty \), so \(v^{0}\in \Xi (\Delta,r)\). This means that \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi Banach (sss). □
Theorem 4.4
If \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) is increasing, then \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi closed (sss), where \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for each \(v\in \Xi (\Delta,r)\).
Proof
Assume that the set-up is verified. From Theorem 4.2, the space \((\Xi (\Delta,r) )_{\psi }\) is a pre-modular (sss). By Theorem 2.4, the space \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi normed (sss). To show that \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi closed (sss), assume \(v^{p}=(v_{a}^{p})_{a=0}^{\infty }\in (\Xi (\Delta,r) )_{\psi }\) and \(\lim_{p\rightarrow \infty }\psi (v^{p}-v^{0})=0\), then for every \(\varepsilon \in (0, 1)\), there is \(p_{0}\in \mathcal{N}\) such that, for all \(p\geq p_{0}\), one has
Hence, for \(p\geq p_{0}\) and \(a\in \mathcal{N}\), we get \(|v_{a}^{p}-v_{a}^{0}|<\varepsilon \). So \((v^{p}_{a})\) is a convergent sequence in \(\mathfrak{R}\) for fixed \(a\in \mathcal{N}\). Therefore, \(\lim_{p\rightarrow \infty }v^{p}_{a}=v^{0}_{a}\) for fixed \(a\in \mathcal{N}\). Finally, to prove that \(v^{0}\in \Xi (\Delta,r)\), we have
so \(v^{0}\in \Xi (\Delta,r)\). This means that \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi closed (sss). □
Theorem 4.5
If \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) is increasing, then \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) verifies the Fatou property.
Proof
Suppose that the set-up is fulfilled and \(\{t^{b}\}\subseteq (\Xi (\Delta,r) )_{\psi }\) with \(\lim_{b\rightarrow \infty }\psi (t^{b}-t)=0\). Since the space \((\Xi (\Delta,r) )_{\psi }\) is pre-quasi closed, then \(t\in (\Xi (\Delta,r) )_{\psi }\). Then, for any \(v\in (\Xi (\Delta,r) )_{\psi }\), one can see
□
Theorem 4.6
If \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) is increasing with \(r_{0}>1\), then \(\psi (v)=\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}}\) does not satisfy the Fatou property for all \(v\in \Xi (\Delta,r)\).
Proof
Let the conditions be fulfilled and \(\{t^{b}\}\subseteq (\Xi (\Delta,r) )_{\psi }\) with \(\lim_{b\rightarrow \infty }\psi (t^{b}-t)=0\). Since the space \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi closed space, then \(t\in (\Xi (\Delta,r) )_{\psi }\). Then, for any \(v\in (\Xi (\Delta,r) )_{\psi }\), we have
Hence, ψ does not satisfy the Fatou property. □
Theorem 4.7
If \((r_{a})\in (0,1)^{\mathcal{N}}\) is increasing, then \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{r_{0}}}\) does not satisfy the Fatou property for all \(v\in \Xi (\Delta,r)\).
Proof
Let the conditions be fulfilled and \(\{t^{b}\}\subseteq (\Xi (\Delta,r) )_{\psi }\) with \(\lim_{b\rightarrow \infty }\psi (t^{b}-t)=0\). Since the space \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi closed space, then \(t\in (\Xi (\Delta,r) )_{\psi }\). Then, for any \(v\in (\Xi (\Delta,r) )_{\psi }\), we have
Hence, ψ does not satisfy the Fatou property. □
Example 4.8
The function \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) is a pre-quasi norm, not quasi, and not a norm for each \(v\in \Xi (\Delta,r)\).
Example 4.9
The function \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r} ]^{ \frac{1}{r}}\) is a pre-quasi norm, a quasi norm, and not a norm on \(\Xi (\Delta,(r))\) for \(0< r<1\).
Example 4.10
The function \(\psi (v)=\inf \{\kappa >0:\sum^{\infty }_{a=0} (\frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{(a+1)\kappa } )^{r_{a}}\leq 1 \}\) is a pre-quasi norm, a quasi norm, and a norm on \(\Xi (\Delta,r)\).
5 Fixed points of Kannan pre-quasi contraction mapping
Now, we give the definition of Kannan ψ-Lipschitzian mapping in the pre-quasi normed (sss). We examine the sufficient conditions on \((\Xi (\Delta,r) )_{\psi }\) equipped with definite pre-quasi norm such that there is a unique fixed point of the Kannan pre-quasi norm contraction mapping.
Definition 5.1
An operator \(W:\mathfrak{A}_{\psi }\rightarrow \mathfrak{A}_{\psi }\) is called Kannan ψ-Lipschitzian if there is \(\xi \geq 0\) such that
for all \(v,t\in \mathfrak{A}_{\psi }\). The operator W is called:
-
(1)
Kannan ψ-contraction if \(\xi \in [0, \frac{1}{2})\).
-
(2)
Kannan ψ-nonexpansive if \(\xi =\frac{1}{2}\).
A vector \(v\in \mathfrak{A}_{\psi }\) is named a fixed point of W when \(W(v)=v\).
Theorem 5.2
If \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) is increasing and \(W: (\Xi (\Delta,r) )_{\psi }\rightarrow (\Xi (\Delta,r) )_{\psi }\) is a Kannan ψ-contraction mapping, where \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for all \(v\in \Xi (\Delta,r)\), hence W has a unique fixed point.
Proof
Suppose that the conditions are satisfied. For any \(v\in \Xi (\Delta,r)\), then \(W^{p}v\in \Xi (\Delta,r)\). As W is a Kannan ψ-contraction mapping, one has
Hence, for all \(p,q\in \mathcal{N}\) with \(q>p\), we get
So, \(\{W^{p}v\}\) is a Cauchy sequence in \((\Xi (\Delta,r) )_{\psi }\). As the space \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi Banach space, there is \(t\in (\Xi (\Delta,r) )_{\psi }\) such that \(\lim_{p\rightarrow \infty }W^{p}v=t\). To prove that \(Wt=t\), since ψ has the Fatou property, one can see
hence \(Wt=t\). Then t is a fixed point of W. To show that the fixed point is unique, let us have two different fixed points \(b,t\in (\Xi (\Delta,r) )_{\psi }\) of W. Hence, we obtain
Therefore, \(b=t\). □
Corollary 5.3
Let \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) be increasing and \(W: (\Xi (\Delta,r) )_{\psi }\rightarrow (\Xi (\Delta,r) )_{\psi }\) be a Kannan ψ-contraction mapping, where \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for all \(v\in \Xi (\Delta,r)\), then W has one and only one fixed point b with \(\psi (W^{p}v-b)\leq \xi (\frac{\xi }{1-\xi } )^{p-1}\psi (Wv-v)\).
Proof
Let the conditions be satisfied. By Theorem 5.2, there is a unique fixed point b of W. Consequently, we have
□
Definition 5.4
Assume that \(\mathfrak{A}_{\psi }\) is a pre-quasi normed (sss) and \(W:\mathfrak{A}_{\psi }\rightarrow \mathfrak{A}_{\psi }\). The operator W is called ψ-sequentially continuous at \(b\in \mathfrak{A}_{\psi }\) if and only if, when \(\lim_{a\rightarrow \infty }\psi (v_{a}-b)=0\), then \(\lim_{a\rightarrow \infty }\psi (Wv_{a}-Wb)=0\).
Theorem 5.5
Let \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) be increasing with \(r_{0}>1\), and let \(W: (\Xi (\Delta,r) )_{\psi }\rightarrow (\Xi (\Delta,r) )_{\psi }\), where \(\psi (v)=\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}}\) for all \(v\in \Xi (\Delta,r)\). The point \(g\in (\Xi (\Delta,r) )_{\psi }\) is the only fixed point of W if the following conditions are satisfied:
-
(a)
W is a Kannan ψ-contraction mapping;
-
(b)
W is ψ-sequentially continuous at a point \(g\in (\Xi (\Delta,r) )_{\psi }\);
-
(c)
There is \(v\in (\Xi (\Delta,r) )_{\psi }\) so that the sequence of iterates \(\{W^{p}v\}\) has a subsequence \(\{W^{p_{i}}v\}\) converging to g.
Proof
Let the conditions be verified. If g is not a fixed point of W, then \(Wg\neq g\). By conditions (b) and (c), we have
As the operator W is a Kannan ψ-contraction, one can see
As \(p_{i}\rightarrow \infty \), we have a contradiction. Therefore, g is a fixed point of W. To explain that the fixed point g is unique, let us have two different fixed points \(g,b\in (\Xi (\Delta,r) )_{\psi }\) of W. Hence, we obtain
Therefore, \(g=b\). □
Theorem 5.6
Let \((r_{a})\in (0,1)^{\mathcal{N}}\) be increasing, and let \(W: (\Xi (\Delta,r) )_{\psi }\rightarrow (\Xi (\Delta,r) )_{\psi }\), where \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{r_{0}}}\) for all \(v\in \Xi (\Delta,r)\). The point \(g\in (\Xi (\Delta,r) )_{\psi }\) is the only fixed point of W if the following conditions are satisfied:
-
(a)
W is a Kannan ψ-contraction mapping;
-
(b)
W is ψ-sequentially continuous at \(g\in (\Xi (\Delta,r) )_{\psi }\);
-
(c)
There is \(v\in (\Xi (\Delta,r) )_{\psi }\) such that the sequence of iterates \(\{W^{p}v\}\) has a subsequence \(\{W^{p_{i}}v\}\) converging to g.
Proof
Let the conditions be verified. If g is not a fixed point of W, then \(Wg\neq g\). By conditions (b) and (c), we have
As the operator W is a Kannan ψ-contraction, one can see
As \(p_{i}\rightarrow \infty \), we have a contradiction. Therefore, g is a fixed point of W. To explain that the fixed point g is unique, let us have two different fixed points \(g,b\in (\Xi (\Delta,r) )_{\psi }\) of W. Hence, we obtain
Therefore, \(g=b\). □
Example 5.7
Let \(W: (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{\psi } \rightarrow (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\), where \(\psi (v)= \sum_{a\in \mathcal{N}} |\frac{v_{a}}{a+1} |^{ \frac{a+1}{2a+4}}\) for all \(v\in \Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty })\) and
Since for all \(v_{1},v_{2}\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1}),\psi (v_{2})\in [0,1)\), we have
For all \(v_{1},v_{2}\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1}),\psi (v_{2})\in [1,\infty )\), we have
For all \(v_{1},v_{2}\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1})\in [0,1)\) and \(\psi (v_{2})\in [1,\infty )\), we have
Therefore, the map W is a Kannan ψ-contraction mapping. Since ψ satisfies the Fatou property, by Theorem 5.2, the map W has a unique fixed point \(\theta \in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\).
Let \(\{v^{(n)}\}\subseteq (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{ \infty }) )_{\psi }\) be such that \(\lim_{n\rightarrow \infty }\psi (v^{(n)}-v^{(0)})=0\), where \(v^{(0)}\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\) with \(\psi (v^{(0)})=1\). Since the pre-quasi norm ψ is continuous, we have
Hence W is not ψ-sequentially continuous at \(v^{(0)}\). So, the map W is not continuous at \(v^{(0)}\).
If \(\psi (v)= [\sum_{a\in \mathcal{N}} |\frac{v_{a}}{a+1} |^{ \frac{a+1}{2a+4}} ]^{4}\) for all \(v\in \Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty })\). Since for all \(v_{1},v_{2}\in (\Xi (\Delta, (\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1}),\psi (v_{2})\in [0,1)\), we have
For all \(v_{1},v_{2}\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1}),\psi (v_{2})\in [1,\infty )\), we have
For all \(v_{1},v_{2}\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1})\in [0,1)\) and \(\psi (v_{2})\in [1,\infty )\), we have
Therefore, the map W is a Kannan ψ-contraction mapping and
It is clear that W is ψ-sequentially continuous at \(\theta \in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\) and \(\{W^{p}v\}\) has a subsequence \(\{W^{p_{i}}v\}\) converging to θ. By Theorem 5.5, the point \(\theta \in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\) is the only fixed point of W.
Example 5.8
Let \(W: (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi } \rightarrow (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\), where \(\psi (v)= \sqrt{\sum_{a\in \mathcal{N}} |\frac{v_{a}}{a+1} |^{ \frac{2a+3}{a+2}}}\) for all \(v\in \Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty })\) and
Since for all \(v_{1},v_{2}\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1}),\psi (v_{2})\in [0,1)\), we have
For all \(v_{1},v_{2}\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1}),\psi (v_{2})\in [1,\infty )\), we have
For all \(v_{1},v_{2}\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1})\in [0,1)\) and \(\psi (v_{2})\in [1,\infty )\), we have
Therefore, the map W is a Kannan ψ-contraction mapping. Since ψ satisfies the Fatou property, by Theorem 5.2, the map W has a unique fixed point \(\theta \in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\).
Let \(\{v^{(n)}\}\subseteq (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{ \infty }) )_{\psi }\) be such that \(\lim_{n\rightarrow \infty }\psi (v^{(n)}-v^{(0)})=0\), where \(v^{(0)}\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\) with \(\psi (v^{(0)})=1\). Since the pre-quasi norm ψ is continuous, we have
Hence W is not ψ-sequentially continuous at \(v^{(0)}\). So, the map W is not continuous at \(v^{(0)}\).
If \(\psi (v)=\sum_{a\in \mathcal{N}} |\frac{v_{a}}{a+1} |^{ \frac{2a+3}{a+2}}\) for all \(v\in \Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty })\). Since for all \(v_{1},v_{2}\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1}),\psi (v_{2})\in [0,1)\), we have
For all \(v_{1},v_{2}\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1}),\psi (v_{2})\in [1,\infty )\), we have
For all \(v_{1},v_{2}\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi }\) with \(\psi (v_{1})\in [0,1)\) and \(\psi (v_{2})\in [1,\infty )\), we have
Therefore, the map W is a Kannan ψ-contraction mapping and
It is clear that W is ψ-sequentially continuous at \(\theta \in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\) and \(\{W^{p}v\}\) has a subsequence \(\{W^{p_{i}}v\}\) converging to θ. By Theorem 5.5, the point \(\theta \in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\) is the only fixed point of W.
Example 5.9
Let \(W: (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{\psi } \rightarrow (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\), where \(\psi (v)= [\sum_{a\in \mathcal{N}} |\frac{v_{a}}{a+1} |^{ \frac{a+1}{2a+4}} ]^{4}\) for all \(v\in \Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty })\) and
Since for all \(v,t\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}, t_{0}\in (-\infty,\frac{1}{17})\), we have
For all \(v,t\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}, t_{0}\in (\frac{1}{17},\infty )\), then for any \(\varepsilon >0\) we have
For all \(v,t\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}\in (-\infty,\frac{1}{17})\) and \(t_{0}\in (\frac{1}{17},\infty )\), we have
Therefore, the map W is a Kannan ψ-contraction mapping. It is clear that W is ψ-sequentially continuous at \(\frac{1}{17}e_{0}\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{ \infty }) )_{\psi }\), and there is \(v\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{\psi }\) with \(v_{0}\in (-\infty,\frac{1}{17})\) such that the sequence of iterates \(\{W^{p}v\}= \{\sum_{n=1}^{p}\frac{1}{18^{n}}e_{0}+ \frac{1}{18^{p}}v \}\) has a subsequence \(\{W^{p_{i}}v\}= \{\sum_{n=1}^{p_{i}}\frac{1}{18^{n}}e_{0}+ \frac{1}{18^{p_{i}}}v \}\) converging to \(\frac{1}{17}e_{0}\). By Theorem 5.5, the map W has one fixed point \(\frac{1}{17}e_{0}\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{ \infty }) )_{\psi }\). Note that W is not continuous at \(\frac{1}{17}e_{0}\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{ \infty }) )_{\psi }\).
If \(\psi (v)=\sum_{a\in \mathcal{N}} |\frac{v_{a}}{a+1} |^{ \frac{a+1}{2a+4}}\) for all \(v\in \Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty })\). Since for all \(v,t\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}, t_{0}\in (-\infty,\frac{1}{17})\), we have
For all \(v,t\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}, t_{0}\in (\frac{1}{17},\infty )\), then for any \(\varepsilon >0\) we have
For all \(v,t\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}\in (-\infty,\frac{1}{17})\) and \(t_{0}\in (\frac{1}{17},\infty )\), we have
Therefore, the map W is a Kannan ψ-contraction mapping. Since ψ satisfies the Fatou property, by Theorem 5.2, the map W has a unique fixed point \(\frac{1}{17}e_{0}\in (\Xi (\Delta,(\frac{a+1}{2a+4})_{a=0}^{ \infty }) )_{\psi }\).
Example 5.10
Let \(W: (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi } \rightarrow (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\), where \(\psi (v)= \sum_{a\in \mathcal{N}} |\frac{v_{a}}{a+1} |^{ \frac{2a+3}{a+2}}\) for all \(v\in \Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty })\) and
Since for all \(v,t\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}, t_{0}\in (-\infty,\frac{1}{3})\), we have
For all \(v,t\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}, t_{0}\in (\frac{1}{3},\infty )\), then for any \(\varepsilon >0\) we have
For all \(v,t\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}\in (-\infty,\frac{1}{3})\) and \(t_{0}\in (\frac{1}{3},\infty )\), we have
Therefore, the map W is a Kannan ψ-contraction mapping. It is clear that W is ψ-sequentially continuous at \(\frac{1}{3}e_{1}\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{ \infty }) )_{\psi }\), and there is \(v\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi }\) with \(v_{0}\in (-\infty,\frac{1}{3})\) such that the sequence of iterates \(\{W^{p}v\}= \{\sum_{n=1}^{p}\frac{1}{4^{n}}e_{1}+\frac{1}{4^{p}}v \}\) has a subsequence \(\{W^{p_{i}}v\}= \{\sum_{n=1}^{p_{i}}\frac{1}{4^{n}}e_{1}+ \frac{1}{4^{p_{i}}}v \}\) converging to \(\frac{1}{3}e_{1}\). By Theorem 5.5, the map W has one fixed point \(\frac{1}{3}e_{1}\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{ \infty }) )_{\psi }\). Note that W is not continuous at \(\frac{1}{3}e_{1}\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{ \infty }) )_{\psi }\).
If \(\psi (v)=\sqrt{\sum_{a\in \mathcal{N}} |\frac{v_{a}}{a+1} |^{ \frac{2a+3}{a+2}}}\) for all \(v\in \Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty })\). Since for all \(v,t\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}, t_{0}\in (-\infty,\frac{1}{3})\), we have
For all \(v,t\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}, t_{0}\in (\frac{1}{3},\infty )\), then for any \(\varepsilon >0\) we have
For all \(v,t\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{ \psi }\) with \(v_{0}\in (-\infty,\frac{1}{3})\) and \(t_{0}\in (\frac{1}{3},\infty )\), we have
Therefore, the map W is a Kannan ψ-contraction mapping. Since ψ satisfies the Fatou property, by Theorem 5.2, the map W has a unique fixed point \(\frac{1}{3}e_{1}\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{ \infty }) )_{\psi }\).
6 Fixed points of Kannan pre-quasi nonexpansive mapping
In this part, we discuss the uniform convexity (UUC 2) defined in [16] of the pre-quasi normed (sss) \((\Xi (\Delta,r) )_{\psi }\).
Definition 6.1
We define the coming uniform convexity type behavior of the pre-quasi norm ψ:
-
(1)
[18] Suppose \(a>0\) and \(b>0\). Denote
$$\begin{aligned} \mathbb{H}_{1}(a, b)= \bigl\{ (v, t): v, t\in \mathfrak{A}_{\psi }, \psi (v)\leq a, \psi (t)\leq b, \psi (v-t)\geq ab \bigr\} . \end{aligned}$$When \(\mathbb{H}_{1}(a, b)\neq \emptyset \), we put
$$\begin{aligned} \mathrm{H}_{1}(a, b)=\inf \biggl\{ 1-\frac{1}{a}\psi \biggl( \frac{v+t}{2} \biggr): (v, t)\in \mathbb{H}_{1}(a, b) \biggr\} . \end{aligned}$$When \(\mathbb{H}_{1}(a, b)=\emptyset \), we put \(\mathrm{H}_{1}(a, b)=1\). The function ψ supports the uniform convexity (UC) if, for every \(a>0\) and \(b>0\), we have \(\mathrm{H}_{1}(a, b)>0\). Observe that for all \(a>0\), then \(\mathbb{H}_{1}(a, b)\neq \emptyset \) for very small \(b>0\).
-
(2)
[16] The function ψ provides (UUC) if, for all \(p\geq 0\) and \(b>0\), there is \(\beta _{1}(p, b)\) based on p and \(b>0\) such that
$$\begin{aligned} \mathrm{H}_{1}(a, b)>\beta _{1}(p, b)>0 \quad\text{for } a>p. \end{aligned}$$ -
(3)
[16] Assume \(a>0\) and \(b>0\). Denote
$$\begin{aligned} \mathbb{H}_{2}(a, b)= \biggl\{ (v, t): v, t\in \mathfrak{A}_{\psi }, \psi (v)\leq a, \psi (t)\leq a, \psi \biggl(\frac{v-t}{2} \biggr) \geq ab \biggr\} . \end{aligned}$$When \(\mathbb{H}_{2}(a, b)\neq \emptyset \), we put
$$\begin{aligned} \mathrm{H}_{2}(a, b)=\inf \biggl\{ 1-\frac{1}{a}\psi \biggl( \frac{v+t}{2} \biggr): (v, t)\in \mathbb{H}_{2}(a, b) \biggr\} . \end{aligned}$$When \(\mathbb{H}_{2}(a, b)=\emptyset \), we place \(\mathrm{H}_{2}(a, b)=1\). The function ψ supports (UC 2) if, for all \(a>0\) and \(b>0\), we obtain \(\mathrm{H}_{2}(a, b)>0\). Observe that, for each \(a>0\), \(\mathbb{H}_{2}(a, b)\neq \emptyset \) for very small \(b>0\).
-
(4)
[16] The function ψ verifies (UUC 2) if, for every \(p\geq 0\) and \(b>0\), there is \(\beta _{2}(p, b)\) based on p and \(b>0\) such that
$$\begin{aligned} \mathrm{H}_{2}(a, b)>\beta _{2}(p, b)>0 \quad\text{for } a>p. \end{aligned}$$ -
(5)
[18] The function ψ is strictly convex (SC) if, for all \(v, t\in \mathfrak{A}_{\psi }\) so that \(\psi (v) = \psi (t)\) and \(\psi (\frac{v+t}{2} )=\frac{\psi (v)+\psi (t)}{2}\), we get \(v=t\).
Here and after, we will need the comment: \(\psi _{U}(v)= [\sum_{m\in U}|\frac{v_{m}}{m+1}|^{r_{m}} ]^{ \frac{1}{K}}\) for all \(U\subset \mathcal{N}\) and \(v\in (\Xi (\Delta,r) )_{\psi }\). When \(U=\emptyset \), we put \(\psi _{U}(v)=0\).
Theorem 6.2
The pre-quasi norm ψ on \(\Xi (\Delta,r)\) is (UUC2), where \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for all \(v\in \Xi (\Delta,r)\) if \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) is increasing with \(r_{0}>1\).
Proof
Assume that the setting is satisfied, \(a>p\geq 0\) and \(b>0\). Suppose \(v, t\in \Xi (\Delta,r)\) so that
From the definition of ψ, we have
this gives \(b\leq 2\). Consequently, put \(P=\{d\in \mathcal{N}:r_{d}\geq 2\}\) and \(Q=\{d\in \mathcal{N}:1< r_{d}<2\}=\mathcal{N}\setminus P\). For all \(w\in \Xi (\Delta,r)\), one has \(\psi ^{K}(w)=\psi _{P}^{K}(w)+\psi _{Q}^{K}(w)\). By using the conditions, we get \(\psi _{P} (\frac{v-t}{2} )\geq \frac{ab}{2}\) or \(\psi _{Q} (\frac{v-t}{2} )\geq \frac{ab}{2}\). Assume first \(\psi _{P} (\frac{v-t}{2} )\geq \frac{ab}{2}\). Using Lemma 2.11, we obtain
this explains
As
one can see
This gives
Next, suppose \(\psi _{Q} (\frac{v-t}{2} )\geq \frac{ab}{2}\). Set \(B=\frac{b}{4}\),
Since the power function is convex and \(B\leq 1\),
Since \(\psi _{Q} (\frac{v-t}{2} )\geq \frac{ab}{2}\), we get
For any \(d\in Q_{2}\), we have
By Lemma 2.11, we have that
Hence
this leads to
Since
one has
Since
we obtain
It is clear that
If we put
Therefore, we have \(\mathrm{H}_{2}(a, b)>\beta _{2}(p, b)>0\), we conclude that ψ is (UUC2). □
In this part, we investigate the property (R) of the pre-quasi normed (sss) \((\Xi (\Delta,r) )_{\psi }\).
Theorem 6.3
If \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) is increasing with \(r_{0}>1\), then:
-
(1)
The space \((\Xi (\Delta,r) )_{\psi }\) is a pre-quasi Banach (sss), where \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for all \(v\in \Xi (\Delta,r)\).
-
(2)
Assume that Λ is a nonempty ψ-closed and ψ-convex subset of \((\Xi (\Delta,r) )_{\psi }\). Suppose that \(v\in (\Xi (\Delta,r) )_{\psi }\) is such that
$$\begin{aligned} d_{\psi }(v, \Lambda )=\inf \bigl\{ \psi (v-t):t\in \Lambda \bigr\} < \infty. \end{aligned}$$Then there is unique \(\lambda \in \Lambda \) such that \(d_{\psi }(v, \Lambda )=\psi (v-\lambda )\).
-
(3)
\((\Xi (\Delta,r) )_{\psi }\) satisfies the property (R), i.e., for all decreasing sequence \(\{\Lambda _{j}\}_{j\in \mathcal{N}}\) of ψ-closed and ψ-convex nonempty subsets of \((\Xi (\Delta,r) )_{\psi }\) so that \(\sup_{j\in \mathcal{N}}d_{\psi }(v, \Lambda _{j})<\infty \) for some \(v\in (\Xi (\Delta,r) )_{\psi }\), hence we have \(\bigcap_{j\in \mathcal{N}}\Lambda _{j}\neq \emptyset \).
Proof
Let the conditions be satisfied. The proof of (1) follows from Theorem 4.3. To show (2), let \(v\notin \Lambda \) as Λ is ψ-closed. Hence, we get \(A:=d_{\psi }(v, \Lambda )>0\). Therefore, for all \(p\in \mathcal{N}\), there is \(t_{p}\in \Lambda \) such that \(\psi (v-t_{p})< A(1+\frac{1}{p})\). Suppose \(\{\frac{t_{p}}{2}\}\) is not ψ-Cauchy. Hence there is a subsequence \(\{\frac{t_{f(p)}}{2}\}\) and \(b_{0}>0\) such that \(\psi (\frac{t_{f(p)}-t_{f(q)}}{2} )\geq b_{0}\) for all \(p>q\geq 0\). Furthermore, one has \(\mathrm{H}_{2} (A(1+\frac{1}{p}), \frac{b_{0}}{2A} )>\xi:= \beta _{2} (A(1+\frac{1}{p}), \frac{b_{0}}{2A} )>0\) for each \(p\in \mathcal{N}\). As
and
for every \(p>q\geq 0\), one can see
So
for any \(q\in \mathcal{N}\). If we let \(q\rightarrow \infty \), we get
this gives a contradiction. Hence, \(\{\frac{t_{p}}{2}\}\) is ψ-Cauchy. As \((\Xi (\Delta,r) )_{\psi }\) is ψ-complete, so \(\{\frac{t_{p}}{2}\}\) ψ-converges to some t. For all \(q\in \mathcal{N}\), we have the sequence \(\{\frac{t_{p}+t_{q}}{2}\}\) ψ-converges to \(t+\frac{t_{q}}{2}\). As Λ is ψ-closed and ψ-convex, we obtain \(t+\frac{t_{q}}{2}\in \Lambda \). Surely \(t+\frac{t_{q}}{2}\) ψ-converges to 2t, this gives \(2t\in \Lambda \). By putting \(\lambda =2t\) and using Theorem 4.5, since ψ satisfies the Fatou property, one has
Therefore, \(\psi (v-\lambda )=d_{\psi }(v, \Lambda )\). Since the function ψ is (UUC2), hence it is (SC), which implies the uniqueness of λ. To show (3), let \(v\notin \Lambda _{p_{0}}\) for some \(p_{0}\in \mathcal{N}\). Since \((d_{\psi }(v, \Lambda _{p}) )_{p\in \mathcal{N}}\in \ell _{ \infty }\) is increasing, put \(\lim_{p\rightarrow \infty } d_{\psi }(v, \Lambda _{p})=A\) if \(A>0\). Else \(v\in \Lambda _{p}\) for all \(p\in \mathcal{N}\). From (2), there is one point \(t_{p}\in \Lambda _{p}\) such that \(d_{\psi }(v, \Lambda _{p})=\psi (v-t_{p})\) for every \(p\in \mathcal{N}\). A consistent proof will prove that \(\{\frac{t_{p}}{2}\}\) ψ-converges to some \(t\in (\Xi (\Delta,r) )_{\psi }\). As \(\{\Lambda _{p}\}\) is ψ-convex, decreasing, and ψ-closed, one has \(2t\in \bigcap_{p\in \mathcal{N}}\Lambda _{p}\). □
In this part, we explain the ψ-normal structure property of the pre-quasi normed (sss) \((\Xi (\Delta,r) )_{\psi }\).
Definition 6.4
\((\Xi (\Delta,r) )_{\psi }\) satisfies the ψ-normal structure property if, for all nonempty ψ-bounded, ψ-convex, and ψ-closed subset Λ of \((\Xi (\Delta,r) )_{\psi }\) not decreased to one point, there is \(v\in \Lambda \) such that
Theorem 6.5
If \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) is increasing with \(r_{0}>1\), then \((\Xi (\Delta,r) )_{\psi }\) has the ψ-normal structure property, where \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for every \(v\in \Xi (\Delta,r)\).
Proof
Let the conditions be satisfied. Theorem 6.2 gives that ψ is (UUC2). Suppose that Λ is a ψ-bounded, ψ-convex, and ψ-closed subset of \((\Xi (\Delta,r) )_{\psi }\) not decreasing to the unique point. Therefore, \(\delta _{\psi }(\Lambda )>0\). Put \(A=\delta _{\psi }(\Lambda )\). Assume \(v, t\in \Lambda \) so that \(v\neq t\). So \(\psi (\frac{v-t}{2} )=b>0\). For all \(\lambda \in \Lambda \), one has \(\psi (v-\lambda )\leq A\) and \(\psi (t-\lambda )\leq A\). As Λ is ψ-convex, we get \(\frac{v+t}{2}\in \Lambda \). Hence
for all \(\lambda \in \Lambda \). Then
□
Lemma 6.6
Let the pre-quasi normed (sss) \((\Xi (\Delta,r) )_{\psi }\) verify the (R) property and the ψ-quasi-normal property. Suppose that Λ is a nonempty ψ-bounded, ψ-convex, and ψ-closed subset of \((\Xi (\Delta,r) )_{\psi }\). Assume that \(W: \Lambda \rightarrow \Lambda \) is a Kannan ψ-nonexpansive mapping. For \(a>0\), let \(G_{a}= \{v\in \Lambda:\psi (v-W(v))\leq a \}\neq \emptyset \). Put
Then \(\Lambda _{a}\) is a nonempty, ψ-convex, ψ-closed subset of Λ and
Proof
Since \(W(G_{a})\subset \Lambda _{a}\), this gives \(\Lambda _{a}\neq \emptyset \). As the ψ-balls are ψ-convex and ψ-closed, hence \(\Lambda _{a}\) is a ψ-closed and ψ-convex subset of Λ. To show that \(\Lambda _{a}\subset G_{a}\). Assume \(v\in \Lambda _{a}\). If \(\psi (v-W(v))=0\), one has \(v\in G_{a}\). Else, suppose \(\psi (v-W(v))>0\). Put
By using the definition of p, then \(W(G_{a})\subset \mathcal{B}_{\psi } (W(v),p )\). Therefore, \(\Lambda _{a}\subset \mathcal{B}_{\psi } (W(v),p )\), this gives \(\psi (v-W(v) )\leq p\). Assume \(b>0\). So there is \(w\in G_{a}\) so that \(p-b\leq \psi (W(w)-W(v) )\). Then
As b is randomly positive, one has \(\psi (v-W(v) )\leq a\), hence we have \(v\in G_{a}\). As \(W(G_{a})\subset \Lambda _{a}\), one can see \(W(\Lambda _{a})\subset W(G_{a})\subset \Lambda _{a}\), this indicates \(\Lambda _{a}\) is W-invariant. Consequently, to show that \(\delta _{\psi }(\Lambda _{a})\leq a\). Since
for all \(v, t\in G_{a}\). Let \(v\in G_{a}\). Hence \(W(G_{a})\subset \mathcal{B}_{\psi } (W(v),a )\). The definition of \(\Lambda _{a}\) gives \(\Lambda _{a}\subset \mathcal{B}_{\psi } (W(v),a )\). Therefore, \(W(v)\in \bigcap_{t\in \Lambda _{a}}\mathcal{B}_{\psi }(t,a)\). So, one has \(\psi (t-w )\leq a\) for all \(t, w\in \Lambda _{a}\), this means \(\delta _{\psi }(\Lambda _{a})\leq a\). This completes the proof. □
We study here the sufficient conditions on the pre-quasi normed (sss) \((\Xi (\Delta,r) )_{\psi }\) such that the Kannan pre-quasi norm nonexpansive mapping on it has a fixed point.
Theorem 6.7
Assume that the pre-quasi normed (sss) \((\Xi (\Delta,r) )_{\psi }\) verifies the ψ-quasi-normal property and the (R) property. Suppose that Λ is a nonempty, ψ-convex, ψ-closed, and ψ-bounded subset of \((\Xi (\Delta,r) )_{\psi }\). Pick up \(W: \Lambda \rightarrow \Lambda \) to be a Kannan ψ-nonexpansive mapping. Then W has a fixed point.
Proof
Put \(a_{0}=\inf \{\psi (v-W(v) ):v\in \Lambda \}\) and \(a_{p}=a_{0}+\frac{1}{p}\) for all \(p\geq 1\). From the definition of \(a_{0}\), one has \(G_{a_{p}}= \{v\in \Lambda:\psi (v-W(v) )\leq a_{p} \} \neq \emptyset \) for every \(p\geq 1\). Let \(\Lambda _{a_{p}}\) be indicated as in Lemma 6.6. Evidently, \(\{\Lambda _{a_{p}}\}\) is a decreasing sequence of nonempty ψ-bounded, ψ-closed, and ψ-convex subsets of Λ. The property (R) explains that \(\Lambda _{\infty }=\bigcap_{p\geq 1}\Lambda _{a_{p}}\neq \emptyset \). Assume \(v\in \Lambda _{\infty }\), one can see \(\psi (v-W(v) )\leq a_{p}\) for all \(p\geq 1\). Let \(p\rightarrow \infty \), we have \(\psi (v-W(v) )\leq a_{0}\), this gives \(\psi (v-W(v) )=a_{0}\). Therefore, \(G_{a_{0}}\neq \emptyset \). We have \(a_{0}=0\). Else, \(a_{0}>0\) this gives that W misses to have a fixed point. Let \(\Lambda _{a_{0}}\) be as defined in Lemma 6.6. As W misses to have a fixed point and \(\Lambda _{a_{0}}\) is W-invariant, so \(\Lambda _{a_{0}}\) has more than one point. This implies \(\delta _{\psi }(\Lambda _{a_{0}})>0\). By the ψ-quasi-normal property, there is \(v\in \Lambda _{a_{0}}\) such that
for all \(t\in \Lambda _{a_{0}}\). By Lemma 6.6, we have \(\Lambda _{a_{0}}\subset G_{a_{0}}\). By definition of \(\Lambda _{a_{0}}\), then \(W(v)\in G_{a_{0}}\subset \Lambda _{a_{0}}\). Clearly this gives
this contradicts the definition of \(a_{0}\). So \(a_{0}=0\), which explains that any point in \(G_{a_{0}}\) is a fixed point of W, i.e., W has a fixed point in Λ. □
Using Theorems 6.3, 6.5, and 6.7, we obtain the following corollary.
Corollary 6.8
If \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) is increasing with \(r_{0}>1\). Assume Λ to be a nonempty, ψ-convex, ψ-closed, and ψ-bounded subset of \((\Xi (\Delta,r) )_{\psi }\), where \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for every \(v\in \Xi (\Delta,r)\). Suppose that \(W: \Lambda \rightarrow \Lambda \) is a Kannan ψ-nonexpansive mapping. Then W has a fixed point.
Example 6.9
Let \(W:\Lambda \rightarrow \Lambda \) with
where \(\Lambda = \{v\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{ \infty }) )_{\psi }:v_{0}=v_{1}=0 \}\) and \(\psi (v)=\sqrt{\sum_{a\in \mathcal{N}} |\frac{v_{a}}{a+1} |^{ \frac{2a+3}{a+2}}}\) for all \(v\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi }\). From Example 5.8, the map W is a Kannan ψ-contraction mapping. So it is a Kannan ψ-nonexpansive mapping. Clearly, Λ is a nonempty, ψ-convex, ψ-closed, and ψ-bounded subset of \((\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi }\). By Corollary 6.8, the map W has one fixed point (\(v=\theta \)) in Λ.
7 Kannan contraction maps on pre-quasi operator ideal
We investigate the existence of a fixed point of Kannan pre-quasi norm contraction mapping in the pre-quasi Banach operator ideal formed by \((\Xi (\Delta,r) )_{\psi }\) and s-numbers.
The following theorem follows from Theorem 2.9.
Theorem 7.1
Pick up Z and M to be Banach spaces and \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) to be increasing, then \((S_{ (\Xi (\Delta,r) )_{\psi }},\Psi )\), where \(\Psi (W)=\psi ((s_{z}(W))_{z=0}^{\infty } )= [ \sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta s_{z}(W) |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) is a pre-quasi Banach operator ideal.
Theorem 7.2
Pick up Z and M to be Banach spaces and \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) to be increasing, then \((S_{ (\Xi (\Delta,r) )_{\psi }},\Psi )\), where \(\Psi (W)=\psi ((s_{z}(W))_{z=0}^{\infty } )= [ \sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta s_{z}(W) |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) is a pre-quasi closed operator ideal.
Proof
Assume \(W_{q}\in S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\) for every \(q\in \mathcal{N}\) and \(\lim_{q\rightarrow \infty }\Psi (W_{q}-W)=0\). Since \(\mathcal{L}(Z, M)\supseteq S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\), we get
Hence \((W_{q})_{q\in \mathcal{N}}\) is convergent in \(\mathcal{L}(Z, M)\), i.e., \(\lim_{q\rightarrow \infty } \|W_{q}-W \|=0\), and while \((s_{a}(W_{q}))_{a=0}^{\infty }\in (\Xi (\Delta,r) )_{\psi }\) for every \(q\in \mathcal{N}\) and \((\Xi (\Delta,r) )_{\psi }\) is a pre-modular (sss). Therefore, one has
we have \((s_{a}(W))_{a=0}^{\infty }\in (\Xi (\Delta,r) )_{\psi }\), then \(W\in S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\). □
Definition 7.3
A pre-quasi norm Ψ on the ideal \(S_{\mathfrak{A}_{\psi }}\), where \(\Psi (W)=\psi ((s_{a}(W))_{a=0}^{\infty } )\), satisfies the Fatou property if for any sequence \(\{W_{a}\}_{a\in \mathcal{N}}\subseteq S_{\mathfrak{A}_{\psi }}(Z, M)\) with \(\lim_{a\rightarrow \infty }\Psi (W_{a}-W)=0\) and any \(V\in S_{\mathfrak{A}_{\psi }}(Z, M)\), then
Theorem 7.4
The pre-quasi norm \(\Psi (W)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta s_{z}(W) |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for all \(W\in S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\) does not satisfy the Fatou property if \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) is increasing.
Proof
Assume the setting to be satisfied and \(\{W_{p}\}_{p\in \mathcal{N}}\subseteq S_{ (\Xi (\Delta,r) )_{ \psi }}(Z, M)\) with \(\lim_{p\rightarrow \infty }\Psi (W_{p}-W)=0\). Since the space \(S_{ (\Xi (\Delta,r) )_{\psi }}\) is a pre-quasi closed ideal, then \(W\in S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\). Then, for any \(V\in S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\), we have
Hence, Ψ does not satisfy the Fatou property. □
Now, we give the definition of Kannan Ψ-Lipschitzian mapping in the pre-quasi operator ideal.
Definition 7.5
For the pre-quasi norm Ψ on the ideal \(S_{\mathfrak{A}_{\psi }}\), where \(\Psi (W)=\psi ((s_{a}(W))_{a=0}^{\infty } )\). An operator \(G:S_{\mathfrak{A}_{\psi }}(Z, M)\rightarrow S_{\mathfrak{A}_{\psi }}(Z, M)\) is called a Kannan Ψ-Lipschitzian, if there is \(\xi \geq 0\) such that
for all \(W,A\in S_{\mathfrak{A}_{\psi }}(Z, M)\). An operator G is called:
-
(1)
Kannan Ψ-contraction if \(\xi \in [0, \frac{1}{2})\).
-
(2)
Kannan Ψ-nonexpansive if \(\xi =\frac{1}{2}\).
Definition 7.6
For the pre-quasi norm Ψ on the ideal \(S_{\mathfrak{A}_{\psi }}\), where \(\Psi (W)=\psi ((s_{a}(W))_{a=0}^{\infty } )\), \(G:S_{\mathfrak{A}_{\psi }}(Z, M)\rightarrow S_{\mathfrak{A}_{\psi }}(Z, M)\) and \(B\in S_{\mathfrak{A}_{\psi }}(Z, M)\). The operator G is called Ψ-sequentially continuous at B if and only if, when \(\lim_{p\rightarrow \infty }\Psi (W_{p}-B)=0\), then \(\lim_{p\rightarrow \infty }\Psi (GW_{p}-GB)=0\).
Theorem 7.7
Let \((r_{a})\in \mathfrak{R^{+}}^{\mathcal{N}}\cap \ell _{\infty }\) be increasing and \(G:S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\rightarrow S_{ (\Xi ( \Delta,r) )_{\psi }}(Z, M)\), where \(\Psi (W)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta s_{z}(W) |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for all \(W\in S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\). The point \(A\in S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\) is the unique fixed point of G if the following conditions are satisfied:
-
(a)
G is a Kannan Ψ-contraction mapping;
-
(b)
G is Ψ-sequentially continuous at a point \(A\in S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\);
-
(c)
There is \(B\in S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\) such that the sequence of iterates \(\{G^{p}B\}\) has a subsequence \(\{G^{p_{i}}B\}\) converging to A.
Proof
Let the conditions be verified. If A is not a fixed point of G, then \(GA\neq A\). From conditions (b) and (c), we have
Since G is a Kannan Ψ-contraction mapping, one can see
As \(p_{i}\rightarrow \infty \), we have a contradiction. Therefore, A is a fixed point of G. To show that the fixed point A is unique, let us have two different fixed points \(A,D\in S_{ (\Xi (\Delta,r) )_{\psi }}(Z, M)\) of G. Hence, we obtain
Therefore, \(A=D\). □
Example 7.8
Let Z and M be Banach spaces, \(G:S_{ (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{\psi }}(Z, M)\rightarrow S_{ (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{\psi }}(Z, M)\), where \(\Psi (W)=\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta s_{z}(W) |}{a+1} )^{ \frac{a+1}{a+2}}\) for every \(W\in S_{ (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{ \psi }}(Z, M)\) and
Since for all \(W_{1},W_{2}\in S_{ (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{\psi }}\) with \(\Psi (W_{1}),\Psi (W_{2})\in [0,1)\), we have
For all \(W_{1},W_{2}\in S_{ (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{\psi }}\) with \(\Psi (W_{1}),\Psi (W_{2})\in [1,\infty )\), we have
For all \(W_{1},W_{2}\in S_{ (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{\psi }}\) with \(\Psi (W_{1})\in [0,1)\) and \(\Psi (W_{2})\in [1,\infty )\), we have
Therefore, the map W is a Kannan Ψ-contraction mapping and
It is clear that G is Ψ-sequentially continuous at the zero operator \(\Theta \in S_{ (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{\psi }}\) and \(\{G^{p}W\}\) has a subsequence \(\{G^{p_{i}}W\}\) converging to Θ. By Theorem 7.7, the zero operator \(\Theta \in S_{ (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{\psi }}\) is the only fixed point of G. Let \(\{W^{(n)}\}\subseteq S_{ (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{ \infty }) )_{\psi }}\) be such that \(\lim_{n\rightarrow \infty }\Psi (W^{(n)}-W^{(0)})=0\), where \(W^{(0)}\in S_{ (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{\psi }}\) with \(\Psi (W^{(0)})=1\). Since the pre-quasi norm Ψ is continuous, we have
Hence G is not Ψ-sequentially continuous at \(W^{(0)}\). So, the map G is not continuous at \(W^{(0)}\).
Example 7.9
Let Z and M be Banach spaces, \(G:S_{ (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{\psi }}(Z, M)\rightarrow S_{ (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{\psi }}(Z, M)\), where \(\Psi (W)=\sqrt{\sum^{\infty }_{a=0} ( \frac{ s_{a}(W)}{a+1} )^{\frac{2a+1}{a+3}}}\) for every \(W\in S_{ (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{ \psi }}(Z, M)\) and
Since for all \(W_{1},W_{2}\in S_{ (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{\psi }}\) with \(\Psi (W_{1}),\Psi (W_{2})\in [0,1)\), we have
For all \(W_{1},W_{2}\in S_{ (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{\psi }}\) with \(\Psi (W_{1}),\Psi (W_{2})\in [1,\infty )\), we have
For all \(W_{1},W_{2}\in S_{ (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{\psi }}\) with \(\Psi (W_{1})\in [0,1)\) and \(\Psi (W_{2})\in [1,\infty )\), we have
Therefore, the map W is a Kannan Ψ-contraction mapping and
It is clear that G is Ψ-sequentially continuous at the zero operator \(\Theta \in S_{ (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{\psi }}\) and \(\{G^{p}W\}\) has a subsequence \(\{G^{p_{i}}W\}\) converging to Θ. By Theorem 7.7, the zero operator \(\Theta \in S_{ (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{\psi }}\) is the only fixed point of G. Let \(\{W^{(n)}\}\subseteq S_{ (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{ \infty }) )_{\psi }}\) be such that \(\lim_{n\rightarrow \infty }\Psi (W^{(n)}-W^{(0)})=0\), where \(W^{(0)}\in S_{ (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{\psi }}\) with \(\Psi (W^{(0)})=1\). Since the pre-quasi norm Ψ is continuous, we have
Hence G is not Ψ-sequentially continuous at \(W^{(0)}\). So, the map G is not continuous at \(W^{(0)}\).
8 Application to the existence of solutions of summable equations
Summable equations such as (1) were studied by Salimi et al. [19], Agarwal et al. [20], and Hussain et al. [21]. In this section, we search for a solution to (1) in \((\Xi (\Delta,r) )_{\psi }\), where \((r_{l})\in \mathfrak{R^{+}}^{\mathcal{N}}\) is increasing and \(\psi (v)= [\sum^{\infty }_{a=0} ( \frac{ |\sum^{a}_{z=0}\Delta v_{z} |}{a+1} )^{r_{a}} ]^{\frac{1}{K}}\) for all \(v\in \Xi (\Delta,r)\). Consider the summable equation
and let \(W: (\Xi (\Delta,r) )_{\psi }\rightarrow (\Xi (\Delta,r) )_{\psi }\) be defined by
Theorem 8.1
Summable equation (1) has a solution in \((\Xi (\Delta,r) )_{\psi }\) if \(A:\mathcal{N}^{2}\rightarrow \mathfrak{R}\), \(f:\mathcal{N}\times \mathfrak{R}\rightarrow \mathfrak{R}\), \(p:\mathcal{N}\rightarrow \mathfrak{R}\), and for all \(a\in \mathcal{N}\), there is \(\xi \in [0, \frac{1}{2})\) such that
Proof
Let the conditions be verified. Consider the mapping \(W: (\Xi (\Delta,r) )_{\psi }\rightarrow (\Xi (\Delta,r) )_{\psi }\) defined by (2). We have
Then, from Theorem 5.2, we have one solution of equation(1) in \((\Xi (\Delta,r) )_{\psi }\). □
Example 8.2
Given the sequence space \((\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{\psi }\), where \(\psi (v)=\sum_{a\in \mathcal{N}} (\frac{|v_{a}|}{a+1} )^{ \frac{a+1}{a+2}}\) for all \(v\in \Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty })\). Consider the summable equation
where \(q>2\), and let \(W: (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{\psi } \rightarrow (\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{ \psi }\) be defined by
It is easy to see that
By Theorem 8.1, summable equation (3) has a solution in \((\Xi (\Delta,(\frac{a+1}{a+2})_{a=0}^{\infty }) )_{\psi }\).
Example 8.3
Given the sequence space \((\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{\psi }\), where \(\psi (v)=\sqrt{\sum_{a\in \mathcal{N}} (\frac{|v_{a}|}{a+1} )^{ \frac{2a+1}{a+3}}}\) for all \(v\in \Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty })\). Consider the summable equation
where \(q>2\), and let \(W: (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{\psi } \rightarrow (\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{ \psi }\) be defined by
It is easy to see that
By Theorem 8.1, summable equation (5) has a solution in \((\Xi (\Delta,(\frac{2a+1}{a+3})_{a=0}^{\infty }) )_{\psi }\).
Example 8.4
Given the sequence space \((\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi }\), where \(\psi (v)=\sqrt{\sum_{a\in \mathcal{N}} (\frac{|v_{a}|}{a+1} )^{ \frac{2a+3}{a+2}}}\) for all \(v\in \Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{\infty })\). Consider the summable equation
with \(a\geq 2\) and \(q>2\), and let \(W:\Lambda \rightarrow \Lambda \), where \(\Lambda = \{v\in (\Xi (\Delta,(\frac{2a+3}{a+2})_{a=0}^{ \infty }) )_{\psi }:v_{0}=v_{1}=0 \}\), be defined by
Clearly, Λ is a nonempty, ψ-convex, ψ-closed, and ψ-bounded subset of \((\Xi (\Delta, (\frac{2a+3}{a+2})_{a=0}^{\infty }) )_{\psi }\). It is easy to see that
Availability of data and materials
Not applicable.
References
Diening, L., Harjulehto, P., Hästö, P., Ruẑiĉka, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Springer, Berlin (2011)
Rajagopal, K., Ruẑiĉka, M.: On the modeling of electrorheological materials. Mech. Res. Commun. 23, 401–407 (1996)
Ruẑiĉka, M.: Electrorheological fluids. Modeling and mathematical theory. In: Lecture Notes in Mathematics 1748. Springer, Berlin (2000)
Pietsch, A.: Eigenvalues and s-Numbers. Cambridge University Press, New York (1986)
Faried, N., Bakery, A.A.: Small operator ideals formed by s-numbers on generalized Cesàro and Orlicz sequence spaces. J. Inequal. Appl. (2018). https://doi.org/10.1186/s13660-018-1945-y
Bakery, A.A., Abou Elmatty, A.R.: Pre-quasi simple Banach operator ideal generated by s-numbers. J. Funct. Spaces 2020, Article ID 9164781 (2020). https://doi.org/10.1155/2020/9164781
Banach, S.: Sur les opérations dans les ensembles abstraits et leurs applications. Fundam. Math. 3, 133–181 (1922)
Kannan, R.: Some results on fixed points- II. Am. Math. Mon. 76, 405–408 (1969)
Ghoncheh, S.J.H.: Some fixed point theorems for Kannan mapping in the modular spaces. Ciĕnc. Nat. 37, 462–466 (2015)
Bakery, A.A., Abou Elmatty, A.R.: Some properties of pre-quasi norm on Orlicz sequence space. J. Inequal. Appl. 2020, 55 (2020). https://doi.org/10.1186/s13660-020-02318-8
Pietsch, A.: Operator Ideals. North-Holland, Amsterdam (1980)
Bakery, A.A., Mohammed, M.M.: Some properties of pre-quasi operator ideal of type generalized Cesàro sequence space defined by weighted means. Open Math. 17, 1703–1715 (2019). https://doi.org/10.1515/math-2019-0135
Clarkson, J.A.: Uniformly convex spaces. Trans. Am. Math. Soc. 40, 396–414 (1936)
Sundaresan, K.: Uniform convexity of Banach spaces \(\ell (\{pi\})\). Stud. Math. 39, 227–231 (1971)
Altay, B., Başar, F.: Generalization of the sequence space \(\ell (p)\) derived by weighted means. J. Math. Anal. Appl. 1(330), 147–185 (2007)
Khamsi, M.A., Kozlowski, W.M.: Fixed Point Theory in Modular Function Spaces. Birkhäuser, New York (2015)
Musielak, J.: Orlicz Spaces and Modular Spaces. Springer, Berlin (1983)
Nakano, H.: Topology of Linear Topological Spaces. Maruzen, Tokyo (1951)
Salimi, P., Latif, A., Hussain, N.: Modified α-ψ-contractive mappings with applications. Fixed Point Theory Appl. 2013, 151 (2013)
Agarwal, R.P., Hussain, N., Taoudi, M.-A.: Fixed point theorems in ordered Banach spaces and applications to nonlinear integral equations. Abstr. Appl. Anal. 2012, Article ID 245872 (2012)
Hussain, N., Khan, A.R., Agarwal, R.P.: Krasnosel’skii and Ky Fan type fixed point theorems in ordered Banach spaces. J. Nonlinear Convex Anal. 11(3), 475–489 (2010)
Acknowledgements
This work was funded by the University of Jeddah, Saudi Arabia, under grant No.(UJ-02-054-DR). The authors, therefore, acknowledge with thanks the University technical and financial support. Additionally, the writers wish to express their gratitude to the anonymous referees for their insightful advice and supportive comments, which resulted in a major improvement to this paper’s initial draft.
Funding
Applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
This article does not contain any studies with human participants or animals performed by any of the authors.
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bakery, A.A., Mohamed, O.K.S.K. Kannan nonexpansive maps on generalized Cesàro backward difference sequence space of non-absolute type with applications to summable equations. J Inequal Appl 2021, 103 (2021). https://doi.org/10.1186/s13660-021-02631-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-021-02631-w