Ekeland Variational Principle in the Variable Exponent Sequence Spaces (cid:96) p ( · )

: In this work , we investigate the modular version of the Ekeland variational principle (EVP) in the context of variable exponent sequence spaces (cid:96) p ( · ) . The core obstacle in the development of a modular version of the EVP is the failure of the triangle inequality for the module. It is the lack of this inequality, which is indispensable in the establishment of the classical EVP, that has hitherto prevented a successful treatment of the modular case. As an application, we establish a modular version of Caristi’s ﬁxed point theorem in (cid:96) p ( · ) .


Introduction
The variable exponent sequence spaces can be traced back to the seminal work by W. Orlicz [1] where he introduced the vector space p(·) = {x n } ⊂ R N ; ∞ ∑ n=0 |λ x n | p(n) < ∞ for some λ > 0 , where {p(n)} ⊂ [1, ∞). The variable exponent sequence spaces were thoroughly examined by many, among others: [2][3][4][5][6]. Their generalization, the function spaces L p(·) , is currently an active field of research extending into very diverse mathematical and applied areas [7]. In particular, variable exponent Lebesgue spaces L p(·) are the natural spaces for the mathematical description of non-Newtonian fluids [8,9]. Non-Newtonian fluids (also known as smart fluids or electro-rheological fluids) have a wide range of applications, including military science, civil engineering, and medicine. This work is devoted to the investigation of the modular version of the Ekeland variational principle (EVP) in the spaces p(·) . This line of research has never been undertaken due to the lack of the triangle inequality for the modular version. In the absence of the ∆ 2 -condition, it is unclear how to approach this problem even if one wants to use the Luxemburg distance. As a byproduct of our result, we present a modular version of the Caristi fixed point theorem. The vastness of the subject known as metric fixed point theory prevents us from including the necessary background in this work. The reader is referred to [10,11] for background material.

Preliminaries
We open the discussion by presenting some definitions and basic facts about the space p(·) . Definition 1. [1] Consider the vector space Though not under this name, these spaces were first considered by Orlicz [1]. It was at a later stage that the importance of these sequence spaces and their continuous counterpart, the Lebesgue spaces of variable exponent, became major objects of research. Inspired by the structure of these spaces, Nakano [4,12] introduced the notion of modular vector space. Proposition 1. [3,5,12] Consider the vector space p(·) . The function υ : p(·) → [0, ∞], defined by has the following properties: (iii) For arbitrary x, y ∈ p(·) and any t : 0 ≤ t ≤ 1, the inequality holds.
A function satisfying the preceding set of properties is said to be convex modular.
We stress the left continuity of υ, i.e., the fact that lim α→1− υ(αx) = υ(x), for any x ∈ p(·) . Next, we introduce the modular version of some properties known in the metric setting.
We emphasize the fact that υ satisfies the Fatou's property, namely, for any sequence {y n } ⊆ p(·) which υ-converges to y and any x ∈ p(·) , it holds that The next property, called the ∆ 2 -condition, plays a crucial role in the study of modular vector spaces.
It is a matter of routine to verify that υ satisfies the ∆ 2 -condition if, and only if, p + = sup n∈N p(n) < ∞ [3,5,12]. The validity of this condition has far reaching implications in the study of modular vector spaces, [11,13,14].

Main Results
The modular version of EVP was difficult to establish because the modular fails the triangle inequality, which is indispensable in the establishment of EVP in metric spaces. In the spirit of the work by Farkas [15], we present the following result: Theorem 1. Let C be a nonempty, υ-closed subset of p(·) and f : C → R ∪ {+∞} be a proper, υ-lower semi-continuous function bounded from below, i.e., inf Then, there exists {x n } in C which υ-converges to some x ε , such that Clearly S(x 0 ) is nonempty, as x 0 ∈ S(x 0 ), and is υ-closed because f is υ-lower semi-continuous, υ satisfies the Fatou property and C is υ-closed. Pick x 1 ∈ S(x 0 ) such that Arguing, as in the case of S(x 0 ), it is easily concluded that S(x 1 ) is nonempty and υ-closed. We assume that {x 0 , x 1 , · · · , x n } and {S(x 0 ), S(x 1 ), · · · , S(x n )} are constructed. Then we pick x n+1 ∈ S(x n ) such that We define the set By induction, we build the sequences {x n } and {S(x n )}. We fix n ∈ N. Let z ∈ S(x n ). Then As {S(x n )} is decreasing with x n ∈ S(x n ), for any n ∈ N, we conclude that for any n, h ∈ N. In other words, we have proved that {x n } is υ-Cauchy. As p(·) is υ-complete the υ-limit x ε of {x n } exists and n∈N S(x n ) = {x ε } holds. Note that, since x n+1 ∈ S(x n ), we have such that x is not in S(x n ), for any n ≥ m, i.e., As x ε ∈ S(x n ), for any n ≥ m, we obtain Letting n → +∞ in the preceding inequality, it follows that In conclusion, which completes the proof of the theorem.
As an application of Theorem 1, we derive an extension of Caristi's fixed point theorem in p(·) .

Theorem 2.
Let C be a nonempty υ-closed subset of p(·) . We fix ε > 0 and {δ n } such that η = ∞ ∑ n=0 δ n < +∞ and η > 0. Let T : C → C be a mapping such that there exists a proper, υ-lower semi-continuous function f : C → R ∪ {+∞} bounded from below, i.e., inf Then, T has a fixed point in C.
Proof. As η = ∞ ∑ n=0 δ n is a nonzero positive number, the function defined by f * = η f is also proper, υ-lower semi-continuous and bounded from below. Moreover, we have for any x ∈ C, From the inequality inf Using Theorem 1, one concludes that there exists {x n } which υ-converges to some x ε ∈ C, such that for any x = x ε . We claim that T(x ε ) = x ε , and assume not. Then, we have T(x ε ) = x ε . Hence, we have Using the assumption (1), we find The inequality (AM) implies This is the sought contradiction. Therefore, we must have T(x ε ) = x ε , as claimed.

Conflicts of Interest:
The authors declare no conflict of interest.

Abbreviations
The following abbreviations are used in this manuscript :