Next Article in Journal
Reversible Transitions in a Fluctuation Assay Modify the Tail of Luria–Delbrück Distribution
Next Article in Special Issue
A Systematic Approach to Standard Dissipative Continua
Previous Article in Journal
The VM2D Open Source Code for Two-Dimensional Incompressible Flow Simulation by Using Fully Lagrangian Vortex Particle Methods
Previous Article in Special Issue
Unfolding a Hidden Lagrangian Structure of a Class of Evolution Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Ekeland Variational Principle and Some of Its Equivalents on a Weighted Graph, Completeness and the OSC Property

1
Department of Mathematics, School of Science, University of Management and Technology, C-II, Johar Town, Lahore 54770, Pakistan
2
Faculty of Mathematics and Computer Science, Babeş-Bolyai University, 400 084 Cluj-Napoca, Romania
3
Department of Mathematics, University of Pretoria, 0002 Pretoria, South Africa
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(3), 247; https://doi.org/10.3390/axioms12030247
Submission received: 25 January 2023 / Revised: 20 February 2023 / Accepted: 21 February 2023 / Published: 28 February 2023
(This article belongs to the Special Issue Principles of Variational Methods in Mathematical Physics)

Abstract

:
We prove a version of the Ekeland Variational Principle (EkVP) in a weighted graph G and its equivalence to Caristi fixed point theorem and to the Takahashi minimization principle. The usual completeness and topological notions are replaced with some weaker versions expressed in terms of the graph G. The main tool used in the proof is the OSC property for sequences in a graph. Converse results, meaning the completeness of weighted graphs for which one of these principles holds, are also considered.

1. Introduction

Ekeland Variational Principle (EkVP) [1] is one of the most important tools in nonlinear analysis that is used to minimize lower semicontinuous (LSC for short) and bounded from below functions on a metric space. To date, it has been applied in various contexts, see [2,3,4,5,6,7], and the references therein. For instance, in [7], it was applied to the so-called “end problem” in behavioral sciences, that is, to know when and where a human dynamic, which starts from an initial position and follows a transition, ends somewhere. On the other hand, another important issue is the “Completeness problem”, meaning to know under what circumstances the validity of some result implies the completeness of the underlying space. Notice that a thorough analysis of various situations when the validity of a result (variational principle, fixed point) on a metric space forces its completeness was given in [8].
Due to its usefulness and applicability in mathematics and other related disciplines, EkVP has been studied in different contexts. Not so long ago, Alfuraidan, and Khamsi [9], following the approach taken by Jachymski [10], obtained a version of EkVP in metric spaces endowed with a graph, via the OSC property for sequences. In the present paper we follow this line by proving a version of Ekeland Variational Principle (EkVP) in a weighted graph G and its equivalence to Caristi fixed point theorem and to Takahashi minimization principle. The usual completeness and topological notions are replaced with some weaker versions expressed in terms of the graph G (called G-completeness, G-LSC, etc). Converse results, meaning the completeness of weighted graphs for which one of these principles holds, are also considered.
We start by recalling Ekeland Variational Principle, both the weak and the full version.
Theorem 1 (Ekeland Variational Principle—weak form (wEkVP)).
Let ( X , d ) be a complete metric space and f : X R { + } an LSC and bounded from below proper function. Then for every ε > 0 there exists an element y ε X such that
f ( y ε ) inf f ( X ) + ε ,
and
f ( y ε ) < f ( y ) + ε d ( y , y ε ) , y X \ { y ε } .
The full version of EkVP is the following.
Theorem 2 (Ekeland Variational Principle—EkVP).
Let ( X , d ) be a complete metric space and f : X R { + } an LSC bounded below proper function. Let ε > 0 and x 0 dom f .
Then, given λ > 0 , there exists z = z ε , λ X such that
( a ) f ( z ) + ε λ d ( z , x 0 ) f ( x 0 ) ; ( b ) x X , x z , f ( z ) < f ( x ) + ε λ d ( z , x ) .
If further, x 0 satisfies the condition
f ( x 0 ) inf f ( X ) + ε ,
then
( c ) d ( z , x 0 ) λ .
A function f : X R { } is called proper if dom ( f ) : = { x X : f ( x ) R } is nonempty.
Remark 1.
Notice that condition (a) in the above theorem implies f ( z ) f ( x 0 ) . Sometimes EkVP is formulated with this condition instead of (a).
An important consequence of the full version of EkVP is obtained by taking λ = ε in Theorem 2.
Corollary 1.
Under the hypotheses of Theorem 2, for every ε > 0 and x 0 X with f ( x 0 ) inf f ( X ) + ε there exists y ε X such that
( a ) f ( y ε ) + ε d ( y ε , x 0 ) f ( x 0 ) ; ( b ) x X , x y ε , f ( y ε ) < f ( x ) + ε d ( y ε , x ) ; ( c ) d ( y ε , x 0 ) ε .
Taking further ε n = 1 / n , one obtains a sequence ( y n ) approximating the minimum point of the function f.
Note that the validity of Ekeland Variational Principle (in its weak form) implies the completeness of the metric space X . This was discovered by Weston [11] in 1977 and rediscovered by Sullivan [12] in 1981 (see also the survey [13]).
More exactly, the following result holds.
Theorem 3.
For a metric space ( X , d ) the following statements are equivalent.
  • The metric space ( X , d ) is complete.
  • If for every Lipschitz function f : X [ 0 , ) there exists a point z X such that
f ( z ) f ( x ) + ρ ( z , x ) f o r   a l l x X ,
Notice that the class of Lipschitz functions considered in 2 is smaller than that of LSC functions considered in Theorem 1.
Ekeland Variational Principle is equivalent to many results in fixed point theory, geometry of Banach spaces (the drop theorem) and optimization. We mention only two of these, namely Caristi fixed point theorem and Takahashi minimization principle.
We start with Caristi fixed point theorem [14] (see also [15]), presented both in single-valued and set-valued versions.
Theorem 4 (Caristi fixed point theorem).
Let ( X , d ) be a complete metric space and φ : X [ 0 , ) be an LSC function.
  • If T : X X is a mapping satisfying the condition
    x X , d ( T ( x ) , x ) φ ( x ) φ ( T ( x ) ) ,
    then T has a fixed point, i.e., there exists z X such that z = T ( z ) .
  • If T : X X is a set-valued mapping satisfying the condition
    x X , y T ( x ) , d ( y , x ) φ ( x ) φ ( y ) ,
    then T has a fixed point, i.e., there exists z X such that z T ( z ) .
  • If T : X X is a set-valued mapping with nonempty values satisfying the condition
    x X , y T ( x ) , d ( y , x ) φ ( x ) φ ( y ) ,
    then there exists z X such that T ( z ) = { z } .
Notice that both 2 and 3 are extensions of 1—if the mapping T is single-valued, then each of them agrees with 1.
Another result is Takahashi minimization principle [16] (see also [17]).
Theorem 5 (Takahashi minimization principle).
Let ( X , d ) be a complete metric space and let φ : X [ 0 , ) be an LSC function.
If for every x X satisfying the condition φ ( x ) > inf φ ( X ) there exists y X \ { x } such that
φ ( y ) + d ( x , y ) φ ( x ) ,
then φ attains its infimum on X, i.e., there exists z X such that φ ( z ) = inf φ ( X ) .
Remark 2.
Replacing φ with φ ˜ = φ inf φ ( X ) , the above results can be automatically extended to a bounded from below LSC function φ : X R . Considering an extended proper LSC function φ : X R { } , then the results hold on dom ( φ ) : = { x X : φ ( x ) R } .
Recall that a function φ : X R { } is called proper if dom ( φ ) .

2. Preliminaries

In this section, we present some notions and results on partially ordered metric spaces and graph theory, needed for the main results of the paper.
A partial order on a nonempty set X is a reflexive, transitive and antisymmetric relation ⪯ on X. One also says that ( X , ) is a partially ordered set. We consider orders ⪯ on a metric space ( X , d ) in which case we shall say that ( X , d , ) is a partially ordered metric space. Initially, no relation between the order ⪯ and the metric d is supposed to hold but, in order to make the things to work, some connections are needed (see Definition 1).
We present now some preliminary notions from graph theory. A good introductory text, with many examples, is [18], Chapter 8, (see also [19] or [20]).
A directed graph (digraph for short) G is formed by a set V ( G ) , called the set of vertices of the graph G, and a set E ( G ) of edges corresponding to ordered pairs ( u , v ) V ( G ) × V ( G ) . The graph will be denoted by G = ( V ( G ) , E ( G ) ) . Two edges e 1 , e 2 are called parallel if they correspond to the same pair ( u , v ) . In this paper, we shall always suppose that the graph G has no parallel edges, so that the set E ( G ) can be viewed as a subset of V ( G ) × V ( G ) . A path in the graph G connecting two points u , v V ( G ) is a succession ( u , u 1 ) , ( u 1 , u 2 ) , , ( u n , v ) of edges, where n 1 and the points u , u 1 , , u n , v are pairwise distinct. A path with v = u is called a cycle. A graph without cycles is called acyclic.
A graph G = ( V ( G ) , E ( G ) ) is called:
  • reflexive if ( u , u ) E ( G ) for all u V ( G ) ;
  • transitive if ( u , v ) , ( v , w ) E ( G ) implies ( u , w ) E ( G ) .
A weight on a graph G = ( V ( G ) , E ( G ) ) is a function (usually non-negative) d : E ( G ) R . We say that G = ( V ( G ) , E ( G ) , d ) is a weighted graph. In this paper, we shall suppose that the graph is contained in a metric space ( X , d ) and that the weight is the metric d.
The next remark emphasizes the tight connection between graphs and partial orders.
Remark 3.
Let ( X , ) be a partially ordered set. Put V ( G ) = X and E ( G ) = { ( x , y ) X × X : x y } . Then G = ( V ( G ) , E ( G ) ) is a reflexive transitive acyclic directed graph.
Conversely, given a reflexive transitive acyclic directed graph G = ( V ( G ) , E ( G ) ) put
x G y ( x , y ) E ( G ) .
Then G is a partial order on V ( G ) and the graph G ˜ associated with the order G in the way described above agrees with G.
Consequently, there is a one-to-one correspondence between reflexive transitive acyclic directed graphs and partial orders.
Only the relation between acyclicity and antisymmetry needs some explanation, the others (reflexivity, transitivity) being obvious.
Suppose that G is the graph corresponding to a partial order ⪯ in the way described in Remark 3. If u , u 1 , , u n , u is a loop in G, then, by the definition of E ( G ) , u u 1 u with u 1 u , in contradiction to the antisymmetry of ⪯. This shows that the graph G is acyclic.
Conversely, let G be the partial order associated with a graph G (having the properties mentioned in Remark 3). If u G v and v G u , for some u v in V ( G ) , then ( u , v ) , ( v , u ) E ( G ) , i.e., u , v , u is a loop in G, in contradiction to the acyclicity of G.
We introduce now some notions in weighted graphs and their analogs in partially ordered metric spaces.
Definition 1.
  • A weighted digraph G = ( V ( G ) , E ( G ) , d ) , where d is a metric on V ( G ) , is said to satisfy the OSC property if ( x , x n ) E ( G ) for all n N , for every sequence ( x n ) in V ( G ) such that x n d x and ( x n + 1 , x n ) E ( G ) for all n N .
  • A partially ordered metric space ( X , d , ) is said to satisfy the OSC condition if x x n for all n N , for every sequence ( x n ) in X such that x n d x and x n + 1 x n for all n N .
Remark 4.
In [9], the OSC property for graphs is defined with the supplementary condition that ( y , x n ) E ( G ) , n N , implies ( y , x ) E ( G ) . In a partially ordered metric space this corresponds to the condition that x = inf n x n .
The condition OSC, as given in Definition 1, is also used by Jachymski [10].
For partially ordered metric spaces the OSC condition was introduced in [21] in the study of fixed points for contractions on ordered metric spaces. Some authors consider a weakened version of the OSC, where one asks that the conclusion holds only for a subsequence ( x n k ) k N of ( x n ) . As remarked Jachymski [10], the transitivity of ⪯ implies the equivalence of these conditions. Furthermore, if ⪯ is a reflexive relation on the metric space ( X , d ) satisfying the OSC property, then ⪯ is transitive.
We introduce now the definitions of completeness and of some topological notions expressed in terms of the graph and of the partial order.
Definition 2.
Let G = ( V ( G ) , E ( G ) , d ) be a weighted digraph, where d is a metric on V ( G ) .
  • A sequence ( x n ) in V ( G ) is called a G-sequence if ( x n + 1 , x n ) E ( G ) for all n N .
  • A G-Cauchy sequence is a G-sequence that is Cauchy with respect to d.
  • A subset Y of V ( G ) is called G-closed if y Y for every G-sequence ( y n ) in Y, d-convergent to y V ( G ) .
  • A function f : V ( G ) R is called G-continuous G-LSC) if lim n f ( x n ) = f ( x ) (resp. f ( x ) lim inf n f ( x n ) ) for every G-sequence ( x n ) in V ( G ) d -convergent to x.
In a partially ordered metric space ( X , d , ) the notions of decreasingly Cauchy sequence, decreasingly closed set, decreasingly continuous (or LSC) function, can be defined in a similar way by replacing the condition ( x n + 1 , x n ) E ( G ) with x n + 1 x n .
Let ( X , d ) be a metric space and φ : X [ 0 , ) be a function. We define a partial order φ on X by
x φ y d ( x , y ) φ ( y ) φ ( x ) φ ( x ) + d ( x , y ) φ ( y ) .
Remark 5.
The relation (12) is a partial order on X, called by some authors the Brønsted order (see [22,23]). It is related to the Bishop-Phelps theorem on the denseness of the support functionals of a closed bounded convex subset of a Banach space, see [24,25].
The following proposition contains some simple remarks about φ .
Proposition 1.
Let ( X , d ) be a metric space, φ : X [ 0 , ) and let φ be defined by (12).
  • The relation φ is a partial order on X.
  • Every φ -decreasing sequence in X is Cauchy.
  • If φ is LSC, then y φ x for every sequence ( y n ) in X satisfying y n φ x and y n d y . Furthermore, the partial order φ satisfies the OSC.
Proof. 
  • The proof is a straightforward verification.
  • Let ( x n ) be a sequence in X such that x n + 1 φ x n for all n N . The inequality
    0 d ( x n , x n + 1 ) φ ( x n ) φ ( x n + 1 )
    shows that ( φ ( x n ) ) n N is a decreasing sequence in R + , so convergent and, hence, Cauchy. The transitivity of φ implies x n + k φ x n , that is,
    d ( x n , x n + k ) φ ( x n ) φ ( x n + k ) ,
    an inequality which shows that ( x n ) is d-Cauchy.
  • We have
    y n φ x φ ( y n ) + d ( y n , x ) φ ( x ) .
Taking into account the LSC of the function φ , one obtains
φ ( y ) + d ( y , x ) lim inf n [ φ ( y n ) + d ( y n , x ) ] φ ( x ) ,
that is, y φ x .
Let now ( y n ) be a sequence in X such that y n + 1 φ y n , n N , and y n d y . By transitivity y n + k φ y n , n , k N , which, fixing n and letting k , yields y φ y n for all n N . □
Remark 6.
Supposing φ only decreasingly LSC, then 3 holds for convergent decreasing sequences only. A similar result holds for G-sequences in a weighted graph G.

3. Ekeland Variational Principle in Metric Spaces Endowed with a Graph

The following theorem is an extension of a result proved in [9], Theorem 3.3, (see also [26]). The main modification consists of the replacement of topological and completeness conditions with their G-versions. A property P on a set X can be interpreted as a function P : X { 0 , 1 } , where P ( x ) = 1 means that x has property P , while P ( x ) = 0 means that x does not have it. Let Dom ( P ) : = { x X : P ( x ) = 1 } . If X is a topological space, then we say that P is closed if Dom ( P ) is closed.
The following example will be used to prove the equivalence of EkVP in weighted graphs to that in ordered metric spaces (see Theorem 7).
Example 1.
Let G = ( V ( G ) , E ( G ) , d ) be a weighted digraph, where d is a metric on V ( G ) and let φ : X [ 0 , ) be a function. For ε > 0 we define a property P ε on X by
P ε h o l d s f o r x V ( G ) φ ( x ) inf φ ( X ) + ε .
Then
Dom ( P ε ) = { x X : φ ( x ) inf φ ( X ) + ε } .
The set Dom ( P ε ) is closed (G-closed) provided the function φ is LSC (G-LSC).
The closedness property of Dom ( P ε ) follows from the fact that a function φ is LSC (G-LSC) if and only if the set { x X : φ ( x ) α } is closed (G-closed) for every α R .
Theorem 6.
Let G = ( V ( G ) , E ( G ) , d ) be a reflexive transitive acyclic weighted digraph, where d is a G-complete metric on V ( G ) having the OSC property for G-sequences. Consider a G-closed property P on V ( G ) such that Dom ( P ) is nonempty and a G-lower semi-continuous function φ : V ( G ) [ 0 , ) . For any given ε > 0 and λ > 0 let x 0 Dom ( P ) be such that
φ ( x 0 ) inf φ ( Dom ( P ) ) + ε .
Then there exists z Dom ( P ) such that
( i ) φ ( z ) + λ 1 ε d ( x 0 , z ) , φ ( x 0 ) , ( ii ) d ( x 0 , z ) λ , ( iii ) φ ( z ) < φ ( x ) + λ 1 ε d ( x , z ) ,
for all x Dom ( P ) such that x z and ( x , z ) E ( G ) .
Proof. 
Put, for convenience, Y = Dom ( P ) . Let also γ = ε / λ and d γ = γ · d . Then d γ is a metric on V ( G ) , Lipschitz equivalent to d, so that all the properties holding for d holds for d γ too. Define the partial order γ by (12) with d γ instead of d. For x Y let
S ( x ) = { y Y : y γ x and ( y , x ) E ( G ) } .
Claim I. The sets  S ( x )  have the following properties:
( i ) y S ( x ) implies S ( y ) S ( x ) and φ ( y ) + d γ ( y , x ) φ ( x ) ; ( ii ) S ( x ) is G closed .
Indeed, let y S ( x ) and z S ( y ) . Then
y γ x and ( y , x ) E ( G ) , z γ y and ( y , z ) E ( G ) ,
so that, by the transitivity of γ and of E ( G ) ,
z γ x and ( z , x ) E ( G ) ,
that is, z S ( x ) .
Let ( y n ) be a G-sequence in S ( x ) , d -convergent to some y Y . Then y n γ x for all n N , so that, by the G-LSC of φ , y γ x (see Proposition 1 and Remark 6). Furthermore, ( y n , x ) E ( G ) and, by the OSC, ( y , y n ) E ( G ) , so that, by transitivity, ( y , x ) E ( G ) .
Consequently, y S ( x ) , showing that S ( x ) is G-closed.
Let J ( x ) = inf φ ( S ( x ) ) . We define now inductively a sequence of sets in Y.
Choose x 1 S ( x 0 ) such that
φ ( x 1 ) J ( x 0 ) + 1 2 ,
and let x n + 1 S ( x n ) be such that
φ ( x n + 1 ) J ( x n ) + 1 2 n + 1 , n N .
Then ( x n ) satisfies
x n + 1 γ x n and ( x n + 1 , x n ) E ( G ) ,
for all n 0 , so that, By Proposition 1, it is a G-Cauchy sequence. Since Y is a G-closed subset of V ( g ) , it follows that it is also G-complete, so that the sequence ( x n ) is d-convergent to some z Y .
Since x n + k S ( x n + k ) S ( x n ) and S ( x n ) is G-closed, it follows z S ( x n ) for all n 0 . From z S ( x 0 ) and Claim I, φ ( z ) + λ 1 ε d ( x 0 , z ) φ ( x 0 ) , i.e., the inequality (i) from (14) holds true.
Let us show that
S ( z ) = { z } .
Let x S ( z ) . We have S ( z ) S ( x n ) for all n 0 , so that, taking into account the choice of the elements x n , one obtains
φ ( x n + 1 ) 1 2 n + 1 J ( x n ) φ ( x ) ,
implying φ ( x n + 1 ) φ ( x ) 1 2 n + 1 . Since x γ x n + 1 , we have
d γ ( x , x n + 1 ) φ ( x n + 1 ) φ ( x ) 1 2 n + 1 ,
for all n 0 . Letting n , one obtains d γ ( x , z ) = 0 and so x = z .
Suppose now that x Y is such that x z and ( x , z ) E ( G ) . Then, by (17), x S ( z ) , so that the inequality x γ z fails, that is
γ d ( x , z ) > φ ( z ) φ ( x ) ,
which is equivalent to the inequality (iii) in (14).
Since z S ( x 0 ) we have z γ x 0 , so that, by (13),
ε λ d ( z , x 0 ) φ ( x 0 ) φ ( z ) φ ( x 0 ) inf φ ( Y ) ε .
Hence d ( z , x 0 ) λ .
Taking P on X with Dom ( P ) = X one obtains the following weak form of EkVP in weighted graphs.
Corollary 2.
Let G = ( V ( G ) , E ( G ) , d ) be a weighted graph satisfying the hypotheses of Theorem 6. Then for every ε , λ > o there exists z X such that
φ ( z ) < φ ( x ) + λ 1 ε d ( x , z ) ,
for all x X \ { z } with ( x , z ) E ( G ) .
Remark 7.
Similar results for equilibrium versions of Ekeland Variational Principle were obtained by Alfuraidan and Khamsi [2].
Theorem 7.
Consider the following statements.
  • For every reflexive transitive acyclic weighted digraph G = ( V ( G ) , E ( G ) , d ) , where d is a G-complete metric on V ( G ) such that the OSC property for G-sequences is satisfied, the following property holds.
    (A 1 ) For any G-closed property P on V ( G ) such that Dom ( P ) is nonempty, every G-lower semi-continuous function φ : V ( G ) [ 0 , ) , any given ε > 0 and λ > 0 and x 0 Dom ( P ) such that
    φ ( x 0 ) inf φ ( Dom ( P ) ) + ε ,
    there exists z Dom ( P ) such that
    ( i ) φ ( z ) + λ 1 ε d ( x 0 , z ) φ ( x 0 ) , ( ii ) d ( z , x 0 ) λ , ( iii ) φ ( z ) < φ ( x ) + λ 1 ε d ( x , z ) ,
    for all x Dom ( P ) with x z and ( x , z ) E ( G ) .
  • For every partially ordered decreasingly complete metric space ( X , d , ) with the OSC property for decreasing sequences, the following property holds.
    (A 2 ) For any decreasingly lower semi-continuous function φ : X [ 0 , ) , any ε > 0 , any λ > 0 , and any x 0 X satisfying
    φ ( x 0 ) inf φ ( X ) + ε
    there exists z X such that
    ( i ) φ ( z ) + λ 1 ε d ( x 0 , z ) φ ( x 0 ) , ( ii ) d ( z , x 0 ) λ , ( iii ) φ ( z ) < φ ( x ) + ε λ 1 d ( x , z ) ,
    for all x X with x z and x z .
  • For every complete metric space ( X , d ) the following property holds.
    (A 3 ) For any LSC function φ : X [ 0 , ) , any ε > 0 and any x 0 X satisfying
    φ ( x 0 ) inf φ ( X ) + ε
    there exists x ε X such that
    ( i ) φ ( x ε ) + ε d ( x ε , z ) φ ( x 0 ) , ( ii ) d ( x ε , x 0 ) 1 , ( iii ) φ ( x ε ) < φ ( x ) + ε d ( x , x ε ) ,
    for all x X with x x ε .
  • For every complete metric space ( X , d ) the following property holds.
    (A 4 ) For any LSC function ϕ : X [ 0 , ) and for any ε > 0 there exists x ε X such that
    ϕ ( x ε ) inf ϕ ( X ) + ε
    and
    φ ( x ε ) < φ ( x ) + ε d ( x , x ε ) ,
    for all x X with x x ε .
Then
1 2 3 4 .
Proof. 
1⇒2. Take V ( G ) = X and
E ( G ) = { ( x , y ) X × X : x y } .
Then G = ( V ( G ) , E ( G ) ) is a reflexive transitive acyclic digraph (see Remark 3). The completeness of ( X , d , ) for decreasing Cauchy sequences implies the G-completeness of ( V ( G ) , d ) .
Furthermore, by the definition of the graph G, the OSC property for decreasing sequences in ( X , d , ) implies the OSC property for G-sequences of the graph G.
Define now P as in Example 1, i.e., P ( x ) holds if and only if φ ( x ) inf φ ( X ) + ε . Then Dom ( P ) is nonempty as φ is bounded below (by 0) and decreasingly closed (because φ is decreasingly LSC), hence Dom ( P ) is G-closed in G.
Now, a direct application of 1 yields the first two inequalities in (20) as well as the third one, but only for x Dom ( P ) with x z and x z . If x Dom ( P ) , then
φ ( x ) > inf φ ( X ) + ε φ ( x 0 ) φ ( z ) ,
so that
φ ( z ) < φ ( x ) < φ ( x ) + ε λ 1 d ( x , z ) ,
(no matter x satisfies x z or not).
Consequently, the third inequality holds for all x X with x z and x z .
2⇒1. Suppose that we are given a weighted graph G ( V ( G ) , E ( G ) , d ) , a function φ : V ( G ) [ 0 , ) and a property P on V ( G ) such that the hypotheses from 1 hold for these data.
Define X = Dom ( P ) and the partial order ⪯ by
x y ( x , y ) E ( G ) ,
for x , y X . Again, the G-closedness of X and the G-completeness of G, imply the G-completeness of ( X , d ) , and so the completeness of ( X , d ) for decreasing Cauchy sequences. The fact that φ is decreasingly LSC is a direct consequence of G-lower smicontinuity of φ .
Now, the conclusions from (A 1 ) follows from those in (A 2 ).
2⇒ 3. Define an order on X by
x y d ( x , y ) φ ( x ) φ ( y ) .
Then ⪯ is a partial order on X which, by Proposition 1, satisfies the OSC. The result follows now from 2 with λ = 1 .
Indeed, by 2, the third inequality in (23) holds for all x X \ { x ε } with x x ε and, by the definition of the order ⪯, it is automatically satisfied for all x X for which the inequality x x ε fails.
3⇒ 4. Notice that 4 is a particular case of 3. □
Theorem 8.
The following properties hold.
  • Let G = ( V ( G ) , E ( G ) , d ) be a reflexive transitive acyclic digraph, where d is a metric on G such that the OSC property holds on G. The following statements are equivalent:
    (i)
    The metric space ( V ( G ) , d ) is complete.
    (ii)
    For any lower semi-continuous function φ : V ( G ) [ 0 , ) and any ε > 0 there exists x ε V ( G ) such that
    φ ( x ε ) < φ ( x ) + ε d ( x , x ε ) ,
    for all x V ( G ) with x x ε and ( x , x ε ) E ( G ) .
  • Let now ( X , d ) be a metric space. The following statements are equivalent:
    (i)
    The metric space ( X , d ) is complete.
    (ii)
    For any partial order ⪯ on X satisfying the OSC property, any continuous function φ : X [ 0 , ) and any ε > 0 there exists x ε X such that
    φ ( x ε ) < φ ( x ) + ε d ( x , x ε ) ,
    for all x X with x x ε and x x ε .
  • For a metric space ( X , d ) the following statements are equivalent:
    (i)
    The metric space ( X , d ) is complete.
    (ii)
    For any continuous function φ : X [ 0 , ) , any ε > 0 , λ > 0 and any x 0 X satisfying
    φ ( x 0 ) inf φ ( X ) + ε
    there exists z X such that
    φ ( z ) + λ 1 ε φ ( x 0 ) , d ( x ε , x 0 ) λ , φ ( z ) < φ ( x ) + λ 1 ε d ( x , z ) ,
    for all x X with x z .
    (iii)
    For any continuous function φ : X [ 0 , ) and for any ε > 0 there exists x ε X such that
    φ ( x ε ) < φ ( x ) + ε d ( x , x ε ) ,
    for all x X with x x ε .
Proof. 
3. (i)⇒(ii) is Ekeland Variational principle, while (ii)⇒(iii) is trivial. The implication (iii)⇒(i) is Sullivan’s result [12] (see Theorem 3).
2. We suppose that (ii) from 2 holds for the metric space ( X , d ) and show that, in this case, statement (iii) from 3 holds, which will imply the completeness of ( X , d ) .
Let φ : X [ 0 , ) be a continuous function and ε > 0 .
On the metric space ( X , d ) consider the order
x y d ( x , y ) φ ( y ) φ ( x ) .
Since φ is continuous, the OSC property holds in ( X , d , ) (by Proposition 1). It follows that there exists x ε X such that the inequality (23) holds. Since d ( x , x ε ) > φ ( x ε ) φ ( x ) for all x X for which x x ε fails, it follows that the inequality (23) holds for all x X \ { x ε } with x x ε . Consequently, the statement (ii) from 3 holds, implying the completeness of ( X , d ) .
1. The relation
x y ( x , y ) E ( G )
establishes a one-to-one correspondence between reflexive transitive acyclic weighted graphs and partially ordered metric spaces (see Remark 3) as well as the equivalence between the properties expressed in terms of the graph and those expressed in terms of the order. Consequently, 1 is a rephrasing of 2 in terms of graphs. □

4. Caristi Fixed Point Theorem and Takahashi Minimization Principle on Weighted Graphs

In this section, we present versions of Caristi fixed point theorem (Theorem 4) and Takahashi minimization principle (Theorem 5) on weighted graphs.
We start with Caristi fixed point theorem.
Theorem 9.
Let G = ( V ( G ) , E ( G ) , d ) be a reflexive transitive acyclic digraph, where d is a G-complete metric on V ( G ) such that the OSC property for G-sequences holds on G and let φ : X [ 0 , ) be a G-LSC function.
1.
If T : X X is a mapping satisfying the condition
x X , ( T ( x ) , x ) E ( G ) a n d d ( T ( x ) , x ) φ ( x ) φ ( T ( x ) ) ,
then T has a fixed point, i.e., there exists z X such that z = T ( z ) .
2.
If T : X X is a set-valued mapping such that for every x X there exists y T ( x ) satisfying the condition
( y , x ) E ( G ) a n d d ( y , x ) φ ( x ) φ ( y ) ,
then T has a fixed point, i.e., there exists z X such that z T ( z ) .
3.
Suppose that T : X X is a set-valued mapping with nonempty values such that T ( X ) × X E ( G ) and for every x X and all y T ( x ) ,
d ( y , x ) φ ( x ) φ ( y ) .
Then there exists z X such that T ( z ) = { z } .
Proof. 
Consider again the order φ given by
x φ y d ( x , y ) φ ( y ) φ ( x ) ,
and for x V ( G ) let
S ( x ) = { y V ( G ) : y φ x and ( y , x ) E ( G ) } .
Since a single-valued mapping T : X X can be viewed as a set-valued one x { T ( x ) } , x X , conditions (25) and (26) can be expressed as
x X , S ( x ) T ( x ) ,
implying that 1 is a particular case of 2.
To prove 2 we appeal to Corollary 2. Observe that condition (18) for λ = ε = 1 can be expressed as: there exists z X such that
S ( z ) = { z } .
But the condition S ( z ) T ( z ) means that z T ( z ) , i.e., z is a fixed point for T.
3. Observe that
T ( X ) × X E ( G ) x X , T ( x ) × { x } E ( G ) x X , y T ( x ) , ( y , x ) E ( G ) .
Let z X satisfying (18).
Since the mapping T has nonempty values and T ( X ) × X E ( G ) , it follows that condition (27) implies (26). Hence, the proof of statement 2 shows that z F ( z ) . If it would exists and element x z in F ( z ) , then ( x , z ) E ( G ) so that, by (18),
φ ( z ) < φ ( x ) + d ( x , z ) ,
in contradiction to (27). □
A point z satisfying T ( z ) = { z } is called a stationary point (or a strict fixed point) of T.
A point z satisfying T ( z ) = { z } is called a stationary point (or a strict fixed point) of T.
A point z satisfying T ( z ) = { z } is called a stationary point (or a strict fixed point) of T.
We present now a version of Takahashi minimization principle in weighted graphs.
Theorem 10.
Let G = ( V ( G ) , E ( G ) , d ) be a reflexive transitive acyclic digraph, where d is a G-complete metric on V ( G ) such that the OSC property for G-sequences holds on G and let φ : X [ 0 , ) be a G-LSC function.
If for every x V ( G ) satisfying the condition φ ( x ) > inf φ ( X ) there exists y V ( G ) \ { x } such that
( y , x ) E ( G ) a n d φ ( y ) + d ( x , y ) φ ( x ) ,
then φ attains its infimum on V ( G ) , i.e., there exists z V ( G ) such that φ ( z ) = inf φ ( V ( G ) ) .
Proof. 
Considering again the order φ and the sets S ( x ) as given in the proof of Theorem 9, condition (28) can be expressed as
S ( x ) \ { x } ,
for every x V ( G ) with φ ( x ) > inf φ ( V ( G ) ) . By Corollary 2 there exists z V ( G ) with S ( z ) = { z } . It follows that this z must satisfy
φ ( z ) = inf φ ( V ( G ) ) .

5. The Equivalence of Principles

We prove in this section the equivalence of Ekekand, Caristi and Takahashi principles. We formulate them in terms of the order ϕ and the sets S ( x ) .
Theorem 11.
Let G = ( V ( G ) , E ( G ) , d ) be a reflexive transitive acyclic digraph, where d is a metric on V ( G ) and let φ : X [ 0 , ) be a function. Let φ be the partial order on V ( G ) given for x , y V ( G ) by
y φ x d ( x , y ) φ ( x ) φ ( y ) ,
and, for x V ( G ) , put
S ( x ) = { y X : y φ x a n d ( y , x ) E ( G ) } .
Then the following statements are equivalent.
(wEk)
The following holds
z V ( G ) s u c h   t h a t S ( z ) = { z } .
(Car)
Any mapping T : X X satisfying
T ( x ) S ( x ) f o r   a l l x V ( G ) ,
has a fixed point, i.e., there exists z V ( G ) such that T ( z ) = z .
(Tak)
If
S ( x ) \ { x } ,
for every x V ( G ) with φ ( x ) > inf φ ( V ( G ) ) , then there exists z V ( G ) such that φ ( z ) = inf φ ( V ( G ) ) .
Proof. 
The implication (wEk) (Car) is contained in the proof of Theorem 9.
(Car) (wEk).
We prove the equivalent implication ¬(wEk) ¬ (Car).
Observe that ¬(wEk) means that
S ( x ) \ { x } f o r   a l l x V ( G ) .
Let T : V ( G ) V ( G ) be defined for x V ( G ) by T ( x ) = y x , where y x S ( x ) \ { x } . Then T satisfies (30), but, by the choice of y x , T ( x ) x for all x V ( G ) , i.e., (Car) fails.
(Tak)⇔(wEk).
We prove the equivalent assertion ¬(Tak) ¬ (wEk).
Observe that (Tak) can be formally written as
x V ( G ) , φ ( x ) > inf φ ( X ) S ( x ) \ { x } z V ( G ) , φ ( z ) = inf φ ( V ( G ) ) ,
so that, its negation ¬(Tak) is given by
¬ ( Tak ) x V ( G ) , φ ( x ) > inf φ ( X ) S ( x ) \ { x } z V ( G ) , φ ( z ) > inf φ ( V ( G ) x V ( G ) , S ( x ) \ { x } ¬ ( wEk ) .
(The last equivalence from above follows from (32)). □
These equivalences and Theorem 8 show that the completeness of ( V ( G ) , d ) is also equivalent to the fulfillment of each of these principles.
Corollary 3.
Let G = ( V ( G ) , E ( G ) , d ) be a reflexive transitive acyclic digraph, where d is a metric on V ( G ) such that the OSC property for G-sequences holds on G. Then the following statements are equivalent.
  • The metric space ( V ( G ) , d ) is G-complete.
  • (wEk) For every G-LSC function φ : V ( G ) [ 0 , ) there exists z V ( G ) such that
    S ( z ) = { z } .
  • (Car) For every G-LSC function φ : V ( G ) [ 0 , ) and any mapping T : V ( G ) V ( G ) satisfying
    T ( x ) S ( x ) f o r   a l l x V ( G ) ,
    there exists z V ( G ) such that T ( z ) = z .
  • (Tak) For every G-LSC function φ : V ( G ) [ 0 , ) such that
    S ( x ) \ { x } ,
    for all x V ( G ) with φ ( x ) > inf φ ( V ( G ) ) , there exists z V ( G ) with φ ( z ) = inf φ ( V ( G ) ) .
Remark 8.
In the proof of Theorem 11 we have used some rules from Mathematical Logic (calculus of propositions and calculus of predicates). The sign ¬ stands for negation, is for “or”, while is for “and”.
¬ ( ¬ p ) p , ¬ ( p q ) ( ¬ p ¬ q ) , ¬ ( p q ) ( ¬ p ¬ q ) , ( p q ) ( ¬ p q ) , ¬ ( p q ) ( p ¬ q ) , ( p q ) ( ¬ q ¬ p ) , ¬ ( x , P ( x ) ) ( x , ¬ P ( x ) ) , ¬ ( x , P ( x ) ) ( x , ¬ P ( x ) ) .

6. Conclusions

There are many extensions of Ekeland Variational Principles and its equivalences obtained either relaxing the conditions on the function φ (e.g., by considering functions with values in an ordered vector space) or considering spaces more general than the metric ones (uniform spaces, quasi-metric spaces, w-metric spaces, partial-metric spaces, etc.), or both.
In the present paper such an extension is given within the framework of metric spaces endowed with a graph and for a function φ satisfying a weaker notion of lower semi-continuity as well as a weaker notion of completeness, all expressed in terms of the graph, completing in this way the results obtained by Alfuraidan and Khamsi [2] and Jachymski [10].

Author Contributions

Conceptualization, A.B., Ş.C. and M.D.M.; investigation, A.B., Ş.C. and M.D.M.; writing–original draft preparation, A.B., Ş.C. and M.D.M.; review and editing, A.B., Ş.C. and M.D.M. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

The authors express their thanks to reviewers for their remarks and suggestions that led to a substantial improvement of the presentation.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Ekeland, I. On the variational principle. J. Math. Anal. Appl. 1974, 47, 324–353. [Google Scholar] [CrossRef] [Green Version]
  2. Alfuraidan, M.R.; Khamsi, M. Graphical Ekeland’s principle for equilibrium problems. Proc. Am. Math. Soc. Ser. B 2022, 9, 33–40. [Google Scholar] [CrossRef]
  3. Al-Homidan, S.; Ansari, Q.H.; Yao, J.-C. Some generalizations of Ekeland-type variational principle with applications to equilibrium problems and fixed point theory. Nonlinear Anal. 2008, 69, 26–139. [Google Scholar] [CrossRef]
  4. De Figueiredo, D.G. Lectures on the Ekeland Variational Principle with Applications and Detours; Lectures on Mathematics and Physics, Mathematics, Tata Institute of Fundamental Research 81; Springer: Berlin/Heidelberg, Germany, 1989. [Google Scholar]
  5. Ekeland, I. Nonconvex minimization problems. Bull. Am. Math. Soc. 1979, 1, 443–474. [Google Scholar] [CrossRef] [Green Version]
  6. Qiu, J.-H. An equilibrium version of vectorial Ekeland variational principle and its applications to equilibrium problems. Nonlinear Anal. Real World Appl. 2016, 27, 26–42. [Google Scholar] [CrossRef]
  7. Bao, T.Q.; Cobzaş, S.; Soubeyran, A. Variational principles, completeness and the existence of traps in behavioral sciences. Ann. Oper. Res. 2018, 269, 53–79. [Google Scholar] [CrossRef]
  8. Cobzaş, S. Fixed points and completeness in metric and generalized metric spaces. J. Math. Sci. 2020, 250, 475–535, (Translated from Russian: Fundam. Prikl. Mat. 2018, 22, 127–215). [Google Scholar] [CrossRef]
  9. Alfuraidan, M.R.; Khamsi, M. Ekeland variational principle on weighted graphs. Proc. Am. Math. Soc. 2019, 147, 5313–5321. [Google Scholar] [CrossRef]
  10. Jachymski, J. The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 2008, 136, 1359–1373. [Google Scholar] [CrossRef] [Green Version]
  11. Weston, J.D. A characterization of metric completeness. Proc. Am. Math. Soc. 1977, 64, 186–188. [Google Scholar] [CrossRef]
  12. Sullivan, F. A characterization of complete metric spaces. Proc. Am. Math. Soc. 1981, 83, 345–346. [Google Scholar] [CrossRef]
  13. Sullivan, F. Ordering and completeness of metric spaces. Nieuw Arch. Wisk. 1981, 29, 178–193. [Google Scholar]
  14. Caristi, J. Fixed point theorems for mappings satisfying inwardness conditions. Trans. Am. Math. Soc. 1976, 215, 241–251. [Google Scholar] [CrossRef]
  15. Caristi, J.; Kirk, W.A. Geometric fixed point theory and inwardness conditions. In Geometry of Metric and Linear Spaces; Lecture Notes in Mathematics 490; Springer: Berlin/Heidelberg, Germany, 1975; pp. 74–83. [Google Scholar]
  16. Takahashi, W. Existence theorems generalizing fixed point theorems for multivalued mappings. In Fixed Point Theory and Applications (Marseille, 1989); Pitman Research Notes in Mathematics Series; Longman Scientific and Technical: Harlow, UK, 1991; Volume 252, pp. 397–406. [Google Scholar]
  17. Takahashi, W. Nonlinear Functional Analysis—Fixed Point Theory and Its Applications; Yokohama Publishers: Yokohama, Japan, 2000. [Google Scholar]
  18. Johnsonbaugh, R. Discrete Mathematics, 7th ed.; Prentice Hall: Upper Saddle River, NJ, USA, 2009. [Google Scholar]
  19. Bollobás, B. Graph Theory: An Introductory Course, 3rd ed.; Springer: Berlin/Heidelberg, Germany, 1990. [Google Scholar]
  20. Wallis, W.D. A Beginner’s Guide to Graph Theory, 2nd ed.; Birkhäuser: Boston, MA, USA, 2007. [Google Scholar]
  21. Nieto, J.J.; Rodríguez-López, R. Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 2005, 22, 223–239. [Google Scholar] [CrossRef]
  22. Brøndsted, A. On a lemma of Bishop and Phelps. Pac. J. Math. 1974, 55, 335–341. [Google Scholar] [CrossRef] [Green Version]
  23. Brøndsted, A. Fixed points and partial orders. Proc. Am. Math. Soc. 1976, 60, 365–366. [Google Scholar] [CrossRef] [Green Version]
  24. Bishop, E.; Phelps, R.R. The support functionals of a convex set. In Proceedings of Symposia in Pure Mathematics VII; American Mathematical Society: Providence, RI, USA, 1963; pp. 27–35. [Google Scholar]
  25. Phelps, R.R. Convex Functions, Monotone Operators and Differentiability, 2nd ed.; Lecture Notes in Mathematics 1364; Springer: Berlin/Heidelberg, Germany, 1993. [Google Scholar]
  26. Alfuraidan, M.R.; Khamsi, M.A. Caristi fixed point theorem in metric spaces with a graph. Abstr. Appl. Anal. 2014, 2014, 303484. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Ali, B.; Cobzaş, Ş.; Mabula, M.D. Ekeland Variational Principle and Some of Its Equivalents on a Weighted Graph, Completeness and the OSC Property. Axioms 2023, 12, 247. https://doi.org/10.3390/axioms12030247

AMA Style

Ali B, Cobzaş Ş, Mabula MD. Ekeland Variational Principle and Some of Its Equivalents on a Weighted Graph, Completeness and the OSC Property. Axioms. 2023; 12(3):247. https://doi.org/10.3390/axioms12030247

Chicago/Turabian Style

Ali, Basit, Ştefan Cobzaş, and Mokhwetha Daniel Mabula. 2023. "Ekeland Variational Principle and Some of Its Equivalents on a Weighted Graph, Completeness and the OSC Property" Axioms 12, no. 3: 247. https://doi.org/10.3390/axioms12030247

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop