The strong Ekeland variational principle in quasi-pseudometric spaces

Roughly speaking, Ekeland's Variational Principle (EkVP) (J. Math. Anal. Appl. 47 (1974), 324--353) asserts the existence of strict minima of some perturbed versions of lower semicontinuous functions defined on a complete metric space. Later, Pando Georgiev (J. Math. Anal. Appl. \textbf{131} (1988), no.~1, 1--21) and Tomonari Suzuki (J. Math. Anal. Appl. \textbf{320} (2006), no.~2, 787--794 and Nonlinear Anal. \textbf{72} (2010), no.~5, 2204--2209)), proved a Strong Ekeland Variational Principle, meaning the existence of strong minima for such perturbations. Note that Suzuki also considered the case of functions defined on Banach spaces, emphasizing the key-role played by reflexivity. In the last years an increasing interest was manifested by many researchers to extend EkVP to the asymmetric case, that is, to quasi-metric spaces (see the references). Applications to optimization, behavioral sciences, and others, were obtained. The aim of the present paper is to extend the strong Ekeland principle, both Georgiev and Suzuki versions, to the quasi-pseudometric case. At the end we ask for the possibility to extend it to asymmetric normed spaces (i.e., the extension of Suzuki's results).


Introduction
A variational principle is a proposition asserting that some function, usually bounded below and lower semi-continuous (lsc), attains its minimum.If the original function does not attain its minimum then one looks for an appropriate perturbation such that the perturbed function has a minimum.Variational principles have numerous applications to problems of optimization, in the study of the differentiability properties of mappings, in fixed point theory, etc.Their origins go back to the early stage of development of the calculus of variations and are related to the principle of least action from physics.
Ivar Ekeland announced in 1972, [14] (the proof appeared in 1974 in [15]) a theorem asserting the existence of the minimum of a small perturbation of a lower semicontinuous (lsc) function defined on a complete metric space.This result, known as Ekeland Variational Principle (EkVP), proved to be a very versatile tool in various areas of mathematics and in applications -optimization theory, geometry of Banach spaces, optimal Date: February 13, 2024; published in Mathematics 2024.
1 "I am very honored that CEREMADE invited me to speak about the principle whose name I bear."CEREMADE -Centre de Recherche en Mathématiques de la Décision, Paris theory, economics, social sciences, and others.Some of these applications are presented by Ekeland himself in [16].
At the same time, it turned out that this principle is equivalent to a lot of results in fixed point theory (Caristi fixed point theorem), geometry of Banach spaces (drop property), and others (see [26], for instance).
Since then, many extensions of this principle have been published, a good record being given in the book by Meghea [24].
A version of EkVP in T 1 -quasi-metric spaces was proved in [5].The result was extended to arbitrary quasi-metric spaces in [21], where it was shown that the validity of this principle actually characterizes the right K-completeness of the underlying quasi-metric space.A fairly complete presentation of various situations when the validity of a variational principle, of a maximality (minimality) principle, or of a fixed point result implies a kind of completeness of the underlying space (metric, generalized metric, ordered metric, or simply just ordered) is given in the paper [8].
Strong versions of EkVP were proved by Georgiev [18,19] and Suzuki [35,36].The aim of this paper is to prove a quasi-metric version of the strong Ekeland Variational principle (see Section 2).Unfortunately, I was not able to extend Suzuki's results on the equivalence between the strong EkVP and the reflexivity of the involved Banach space, nor the converse results, meaning completeness results implied by the validity of this principle, formulated as open problems at the end of the paper.
Then given λ ′ > 0 there exists z = z λ ′ ∈ X such that The equivalence of Theorems 2.1 and 2.2 follows by the substitution 2.2.The strong Ekeland variational principle.Let X be a Banach space and f : Remark 2.3.A strong minimum point is a strict minimum point, but the converse is not true.
Indeed, if there exist z = z ′ such that f (z) = m = f (z ′ ), where m = inf f (X), then the sequence x 2k−1 = z, x 2k = z ′ , k ∈ N, satisfies lim n f (x n ) = m, but it is not convergent.Also, the function f : R → R, f (x) = x 2 e −x , has a strict minimum at 0, f (0) = 0, f (n) → 0, but the sequence (n) n∈N does not converge to 0.
Condition (b ′ ) in Theorem 2.2 asserts that, in fact, z is strict minimum point for the perturbed function f := f + λ ′ d(z, •).Georgiev [18,19] proved a stronger variant of Ekeland variational principle, guaranteeing the existence of a strong minimum point z for f .Theorem 2.4 (Strong Ekeland Variational Principle).Let (X, d) be a complete metric space and f : X → R ∪ {+∞} a lsc function bounded from below on X.Then for every γ, δ > 0 and x 0 ∈ dom f there exists z ∈ X such that Georgiev, loc.cit., also showed the equivalence of this strong form of EkVP with stronger forms of Danes' drop theorem, flower petal theorem, Phelps lemma, and others, extending so the results obtained by Penot [26].He gave a direct proof to the strong drop theorem, the strong EkVP being a consequence of the equivalence mentioned above.Later Turinici [37] has shown that this strong form of EkVP can be deduced from Theorem 2.2.us mention that another proof was given by Deville, Godefroy and Zizler [13] as a consequence of their generic smooth variational principle.
Observe that there is a discrepancy between the conditions (a ′ ) in Theorem 2.2 and condition (a) in Theorem 2.4, condition (a ′ ) being stronger than (a).As was remarked by Suzuki [35,36], a strong version of the Ekeland variational principle with condition (a ′ ) instead of (a) can be proved by imposing supplementary conditions on the underlying metric (or Banach) space X, which are, in some sense, also necessary.
Let f : X → (−∞, +∞] be a proper function defined on a metric space (X, ρ).For x 0 ∈ dom f and λ > 0 consider an element z = z x 0 ,λ satisfying the following conditions: A metric space (X, ρ) is called boundedly compact if every bounded closed subset of X is compact, or equivalently, if every bounded sequence in X contains a convergent subsequence.
Remark 2.5.It is obvious that a boundedly compact metric space is complete, and that a normed space is boundedly compact if and only if it is finite dimensional.
Remark 2.7. 1.Let X be a vector space.A function f : } , for all x, y ∈ X and t ∈ [0, 1].This is equivalent to the fact that the sublevel sets {x ∈ X : f (x) ≤ α} are convex for all α ∈ R (see [25]).
2. One says that a Banach space X is a dual Banach space if there exists a Banach space Y such that Y * = X.Obviously, a reflexive Banach space is a dual Banach space with X = (X * ) * and, in this case, the weak (i.e.σ(X * , X * * )) and the weak * (i.e.σ(X * , X)) topologies on X agree.
In the Banach space case the following results can be proved.

Theorem 2.8 ([35]
).Let X be a Banach space, f : X → (−∞, +∞] a bounded from below function, x 0 ∈ dom f and λ > 0. 1.If X is a dual Banach space and f is w * -lsc, then there exists a point z ∈ X satisfying (2.5) with x n w * − → x in the condition (iii).2. Suppose that the Banach space X is reflexive.If f is weakly lsc, then there exists a point z ∈ X satisfying the conditions (2.5).The same is true if f is quasi-convex and norm-lsc.
As it was shown by Suzuki [36], in some sense, the results from Theorems 2.6 and 2.8 are the best that can be expected.Theorem 2.9.For a metric space (X, ρ) the following are equivalent.
1.The metric space X is boundedly compact.
A similar result holds in the case of normed spaces.
1. X is a reflexive Banach space.

The case of quasi-pseudometric spaces
We present in this section some versions of Ekeland and strong Ekeland principles in quasi-pseudometric spaces.

Topological properties
The topology τ d (or τ (d)) of a quasi-pseudometric space (X, d) can be defined starting from the family V d (x) of neighborhoods of an arbitrary point x ∈ X: x As a space equipped with two topologies, τ d and τ d , a quasi-pseudometric space can be viewed as a bitopological space in the sense of Kelly [22].In fact, this is the main example of such a space considered in [22] and, later on, the quasi-uniform spaces were considered as well.
The following topological properties are true for quasi-pseudometric spaces.
Proposition 3.1 (see [7]).If (X, d) is a quasi-pseudometric space, then the following hold.The topology τ d is T 1 if and only if d(x, y) > 0 for all x = y in X. 3.For every fixed x ∈ X, the mapping d(x, For every fixed y ∈ X, the mapping d(•, y) : The following remarks show that imposing too many conditions on a quasi-pseudometric space it becomes pseudometrizable.

Remark 3.2 ([22]
).Let (X, d) be a quasi-metric space.Then (a) if the mapping d(x, for every x ∈ X, then the topology τ d is pseudometrizable. Remark 3.3.The characterization of Hausdorff property (or T 2 ) of quasi-metric spaces can be given in terms of uniqueness of the limits, as in the metric case.The topology of a quasi-pseudometric space (X, d) is Hasudorff if and only if every sequence in X has at most one d-limit if and only if every sequence in X has at most one d-limit (see [38]).
In the case of an asymmetric normed space there exists a characterization in terms of the quasi-norm (see [7], Proposition 1.1.40).
Recall that a topological space (X, τ ) is called: • T 0 if for every pair of distinct points in X, at least one of them has a neighborhood not containing the other; • T 1 if for every pair of distinct points in X, each of them has a neighborhood not containing the other; • T 2 (or Hausdorff) if every two distinct points in X admit disjoint neighborhoods; • regular if for every point x ∈ X and closed set A not containing x there exist the disjoint open sets U, V such that x ∈ U and A ⊆ V.

Completeness in quasi-pseudometric spaces
The lack of symmetry in the definition of quasi-metric spaces causes a lot of troubles, mainly concerning completeness, compactness and total boundedness in such spaces.There are a lot of completeness notions in quasi-metric spaces, all agreeing with the usual notion of completeness in the metric case, each of them having its advantages and weaknesses (see [28], or [7]).
As in what follows we shall work only with two of these notions, we shall present only them, referring to [7] for others.
We use the notation • right d-K-Cauchy if for every ε > 0 there exists n ε ∈ N such that The quasi-pseudometric space (X, d) is called:  [32] (see also [33]), is an important notion in quasi-metric and quasi-uniform spaces as well as for the applications to theoretical computer science (see, for instance, [29], [31]).A good presentation of this notion is given in Section 7.1 of the book [20].
There are examples showing that a d-convergent sequence need not be left d-K-Cauchy, showing that in the asymmetric case the situation is far more complicated than in the symmetric one (see [28]). 4. If each convergent sequence in a regular quasi-metric space (X, d) admits a left K-Cauchy subsequence, then X is metrizable ( [23]).
1.One can define more general notions of completeness by replacing in Definition 3.4 the sequences with nets.Stoltenberg [34,Example 2.4] gave an example of a sequentially right K-complete T 1 quasi-metric space which is not right K-complete (i.e., not right K-complete by nets).See [10] for some further specifications.2. In the case of Smyth completeness, the completeness by nets is equivalent to the completeness by sequences (see [30]).Also, the left (or right) Smyth completeness implies the completeness of the pseudometric space (X, d s ).In this case one says that the quasi-pseudometric space (X, d) is bicomplete.
The following result is the quasi-pseudometric analog of a well-known property in metric spaces.

Ekeland principle in quasi-pseudometric spaces.
The following version of Ekeland variational principle in quasi-pseudometric spaces was proved in [9].For a quasipseudometric space X, a function f : Theorem 3.8.Let (X, d) be a sequentially right K-complete quasi-pseudometric space and f : X → R∪{∞} a proper bounded below lsc function.Given ε, λ > 0 and x 0 ∈ dom f there exists z ∈ X such that Obviously, an analog of Theorem 2.2 holds in this case too.
Theorem 3.9.Let (X, d) be a sequentially right K-complete quasi-pseudometric space and f : X → R∪{∞} a proper bounded below lsc function.Given ε, λ ′ > 0 and x 0 ∈ dom f there exists z ∈ X such that The proof of Theorem 3.8 is based on the properties of Picard sequences corresponding to the set-valued map S α : X ⇒ X.A sequence (x n ) ∞ n=0 in X is called a Picard sequence for S α if x n+1 ∈ S α (x n ) for all n ∈ N 0 , for a given x 0 ∈ X.We mention some of the properties of these sets S α (x) which will be used in what follows.
Proposition 3.10.Let (X, d) be a quasi-pseudometric space, f : X → R ∪ {∞} a proper function, α > 0 and x ∈ dom f.The set S α (x) has the following properties: (3.9) (i) x ∈ S α (x) and S α (x) ⊆ dom f ; (ii) y ∈ S α (x) ⇒ f (y) ≤ f (x) and S α (y) ⊆ S α (x); (iii) y ∈ S α (x) {x} ⇒ f (y) < f (x); (iv) if f is bounded below, then The key result used in the proofs of various variational principles in [9] is the following.Remark 3.12.In fact, in [9], Proposition 3.11 is proved in a slightly more general context, namely for a nearly lsc function f , meaning that The strong Ekeland principle -Georgiev's version.We show that Turinici proof [37] of the strong EkVP (Theorem 2.4) can be adapted to obtain a proof of a quasi-pseudometric version of the strong Ekeland Variational Principle.Theorem 3.13.Let (X, d) be a sequentially right K-complete quasi-pseudometric space and f : X → R∪{∞} a proper bounded below lsc function.Given γ, δ > 0 and x 0 ∈ dom f there exists z ∈ X such that Then x 0 ∈ X 0 and X 0 is closed (because f is lsc) and so sequentially right K-complete.Also (3.12) inf f (X 0 ) = inf f (X) .
Indeed, if m := inf f (X) and M := inf f (X 0 ), then m ≤ M. Let (x n ) be a sequence in X such that f (x n ) → m as n → ∞.Then there exists n By Theorem 3.9 applied to X 0 , f | X 0 and λ ′ := (1 − λ)γ, there exists z ∈ X 0 such that To justify the equality Indeed, the existence of an element x ∈ (X X 0 ) ∩S λ ′ (z) would yield the contradiction: By (3.14).(i), the definition of λ ′ and (3.13), showing that condition (3.11).(a)holds.
The inequality λ 3.4.The strong Ekeland principle -Suzuki's versions.As we have seen in Subsection 3.1 completeness in quasi-pseudometric spaces has totally different features than that in metric spaces.The situation is the same with compactness, see [7].
In order to extend Theorem 2.6 to quasi-pseudometric spaces we consider the following notion.A subset Y of a quasi-pseudometric space (X, d) is called d-bounded if there exist x ∈ X and r > 0 such that Y ⊆ B d [x, r] , or, equivalently, sup{d(x, y) : y ∈ Y } < ∞ for every x ∈ X.We say that a sequence (x n ) n∈N in X is d-bounded if the set {x n : n ∈ N} is d-bounded.Similar definitions are given for d-boundedness.We have seen (Remark 2.5) that a boundedly compact metric space is complete.In the case of quasi-pseudometric spaces we have.for all n ≥ n 1 , which shows that the sequence (x n ) is d-bounded.By hypothesis, it contains a subsequence (x n k ) k∈N d s -convergent to some y ∈ X.
Observe that Consequently, we must have lim n→∞ d(x n , z) = 0.

3. 1 .
Quasi-pseudometric spaces.A quasi-pseudometric on an arbitrary set X is a mapping d : X × X → [0, ∞) satisfying the following conditions: (QM1) d(x, y) ≥ 0, and d(x, x) = 0; (QM2) d(x, z) ≤ d(x, y) + d(y, z), for all x, y, z ∈ X.If further(QM3) d(x, y) = d(y, x) = 0 ⇒ x = y,for all x, y ∈ X, then d is called a quasi-metric.The pair (X, d) is called a quasipseudometric space, respectively a quasi-metric space2 The conjugate of the quasi-pseudometric d is the quasi-pseudometric d(x, y) = d(y, x), x, y ∈ X.The mapping d s (x, y) = max{d(x, y), d(x, y)}, x, y ∈ X, is a pseudometric on X which is a metric if and only if d is a quasi-metric.If (X, d) is a quasi-pseudometric space, then for x ∈ X and r > 0 we define the balls in X by the formulae B d (x, r) ={y ∈ X : d(x, y) < r} -the open ball, and B d [x, r] ={y ∈ X : d(x, y) ≤ r} -the closed ball.
convergence of a sequence (x n ) to x with respect to τ d , called d-convergence and denoted by x n d − → x, can be characterized in the following way(3.1)

1 . 2 .
The ball B d (x, r) is τ d -open and the ball B d [x, r] is τ d-closed.The ball B d [x, r] need not be τ d -closed.The topology τ d is T 0 if and only if d is a quasi-metric.
5. 1.It is obvious that a sequence is left d-K-Cauchy if and only if it is right d-K-Cauchy.Also a left (right) Smyth complete quasi-pseudometric space is left (right) K-complete and the space (X, d) is right Smyth complete if and only if (X, d) is left Smyth complete.For this reason, some authors call a Smyth complete space a left Smyth complete.2. The notion of Smyth completeness, introduced by Smyth in