Abstract
In this paper we introduce a group invariant version of the well-known Ekeland variational principle. To achieve this, we define the concept of convexity with respect to a group and establish a version of the theorem within this framework. Additionally, we present several consequences of the group invariant Ekeland variational principle, including Palais-Smale minimizing sequences, the Brønsted-Rockafellar theorem, and a characterization of the linear and continuous group invariant functionals space. Moreover, we provide an alternative proof of the Bishop-Phelps theorem and proofs for the group-invariant Hahn-Banach separating theorems. Finally, we discuss some implications and applications of these results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Group invariant mappings have been studied through the years on the late century with, special emphasis in the symmetric multilinear mappings between Banach spaces. However, group invariant mappings in a general framework of infinite dimensional analysis, to our knowledge, classically have only been studied in the measure theory context, as we can see in [10]. Recently this general point of view has been thoroughly studied in some other fields of analysis, different from the measure theory, such as multivariable complex analysis or norm-attaining operators, for the latter ones see [1, 2, 6].
The purpose of this paper is to give a group invariant version of the well-known Ekeland variational principle, which surprisingly, does not extend naturally to group invariant functionals like the Bishop-Phelps-Bollobás theorem presented in [9]. We had to define the notion of convexity with respect to a group in order to prove this version of the theorem. Furthermore, we will present some consequences of the Ekeland variational principle such as the Palais-Smale minimizing sequences theorem, the Brønsted-Rockafellar theorem, a criteria to know when the set of group invariant points of a Banach space is again a Banach space, and a complete description of the linear and continuous group invariant functionals space. Finally we will give an alternative proof to the one given in [9] of the Bishop-Phelps theorem, and we will also provide proofs of the group-invariant Hahn-Banach separating theorems.
We will begin this paper by presenting the notation we will use and setting the main definitions. Then we will move to study the Hahn-Banach separation theorems, extending the results considered in [6, Section 3]. To continue we will give the main result of this paper, which is the generalization of Ekeland’s variational principle for the group invariant functionals. To conclude, we will present some consequences of this result.
2 Preliminaries
Let us start by fixing some notation. We will denote a normed space by X, and the space of linear and continuous mappings from X to X by \({\mathcal {L}}(X)\). Hereinafter, our topological groups, G, are going to be subsets of this space, i.e, \(G \subseteq {\mathcal {L}}(X)\). Hence, G is reserved to denote a topological group of invertible bounded linear mappings with the topology endowed with the relative topology of \({\mathcal {L}}(X)\), also g is reserved to denote the elements of the group G.
Let us begin by presenting the fundamental definitions of this paper.
Definition 1
Let X, Y be two normed spaces:
-
(1)
A point \(x \in X\) is G-invariant, or invariant under the action of G, if \(g(x) = x\) for all \(g \in G\).
-
(2)
A set \(K \subset X\) is G-invariant if for every \(g \in G\), \(g(K) = K\).
-
(3)
A mapping \(f :X \rightarrow Y\) is G-invariant if for every \(x \in X\) and every \(g \in G\) we have that
$$\begin{aligned} f(g(x)) = f(x). \end{aligned}$$
We will denote by \(X_{G}\), \(B_{X}\), \(S_{X}\) the group invariant points of X, the open unit ball, and the unit sphere of the space X respectively. We will always assume that the norm of the space X, \(\Vert \cdot \Vert \), is G-invariant.
We denote the set of continuous linear functionals that are G-invariant by
Now we are going to define the symmetrizationFootnote 1 operator by using the Bochner integral and the Haar measure. Roughly speaking this operator takes one point and by averaging its orbit under the action of G produces a G-invariant point. This definition is a generalization of the Reynolds operator defined in [5, Chapter 7]. Hereinafter, the measure used is always going to be the Haar measure associated to the compact group, and the integral, the Bochner integral. For the elemental notions on Haar measure we recommend [4, Chapter 8].
Definition 2
Let X be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group acting on X. If \(x \in X\) we define the symmetrization point of x with respect to G, or the G-symmetrization point, as
Similarly if we have a functional \(f :X \rightarrow {\mathbb {R}}\) we define the symmetric functional of f with respect to G, or the G-symmetric functional, to be
We now define the notion of convexity and linearity with respect to the group that will be needed for the rest of the manuscript.
Definition 3
Let X be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group acting on X. Let \(\varphi :X \rightarrow {\mathbb {R}}\) be a function. We say that \(\varphi \) is convex with respect to G if
And we say that \(\varphi \) is linear with respect to G if
It is easy to see that if \(\varphi \) is G-invariant and convex, or linear, with respect to G then
respectively. Observe also that, for a function, being convex or linear with respect to the group is a weaker condition than being convex or linear.
In section 5 we will need to make use of the differentiability of a mapping in order to give a full description of the dual group invariant set of a Banach space.
We recall that if X is a Banach space, \(U \subseteq X\) is a nonempty and open set, and \(F :U \rightarrow {\mathbb {R}}\) is a mapping, then the Gâteaux variation of F at \(u_{0} \in U\) in the direction of h is the limit
if it exists and is finite. We denote this limit by \(\delta F(u_{0})(h)\). If the Gâteaux variation of F is linear and continuous, then F is said to be Gâteaux differentiable.
We recall that F is Fréchet differentiable at \(u_{0}\) if there exists a linear and continuous mapping \(L :X \rightarrow {\mathbb {R}}\) such that
It is well known that if L satisfies the definition of Fréchet differentiable, then L is unique, and we will denote it by \(F'(u_{0})\). We note that the G-invariance of the function is preserved by the Gâteaux and Fréchet differentiability.
3 Group invariant Hahn-Banach separating theorems
Our goal in this section is to obtain some versions of the Hahn-Banach separation theorems for group invariant mappings.
Let’s start recalling some definitions that will be used through this section.
If X is a Banach space, an affine hyperplane is a subset H of X of the form
where f is a nonzero linear functional and \(\alpha \in {\mathbb {R}}\) is a fixed constant.
If X is a Banach space, and \(A, B \subseteq X\), we say that the hyperplane \(H = \left\{ x \in X ~~ | ~~ f(x) = \alpha \right\} \) separates A and B if there exists some \(\alpha \in {\mathbb {R}}\) so that
Also, we say that H strictly separates A and B if there exists some \(\epsilon > 0\) and some \(\alpha \in {\mathbb {R}}\) such that
If X is a Banach space and \(C \subseteq X\) is an open convex set with \(0 \in C\), for every \(x \in X\) the functional
is called the Minkowski functional of C.
We will make use of the following well known properties of the Minkowski functional.
Property 4
The Minkowski functional of an open convex set C, p, satisfies the following properties
-
(i)
\(p(\lambda x) = \lambda p(x)\) for every \(x \in X\), \(\lambda > 0\).
-
(ii)
\(p(x + y) \le p(x) + p(y)\) for every \(x, y \in X\).
-
(iii)
There is a constant \(M > 0\) such that \(0 \le p(x) \le M\Vert x \Vert \) for every \(x \in X\).
-
(iv)
\(C = \left\{ x \in X ~ | ~ p(x) < 1\right\} \).
The proof of the previous result can be found in [3, Lemma 1.2].
Moreover, in [6, Theorem 3.1] it is proved that, if C is a G-invariant subset, then the Minkowski functional is a G-invariant functional. Let us start with the following lemma.
Lemma 5
Let X be a Banach space, \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries acting on X, and \(C \subseteq X\) a G-invariant open convex set. If there exists a G-invariant point \(x_{0} \in X\backslash C\), then we can find \(f \in X^{*}_{G}\) such that \(f(x) < f(x_{0})\) for all \(x \in C\).
Proof
Given \(x \in C\) we know by [6, Proposition 2.2] that \({\overline{x}} \in C\). Consider \(C - {\overline{x}}\), which is a G-invariant set, and the point \(x_{0} - {\overline{x}}\). We can suppose that \(0 \in C\), otherwise we can do a translation. Note that, since \(0 \in C\), we have that \(x_{0} \ne 0\). Consider the subspace \(H = {\mathbb {R}}x_{0}\) and the functional
Observe that H is a G-invariant subspace, since \(x_{0}\) is G-invariant, and so is the functional h since
Moreover, by doing a study of cases when \(t > 0\) and \(t \le 0\), is clear that \(h(x) \le p(x)\) for all \(x \in H\), where p is the Minkowski functional associated to C. Then, we can apply the G-invariant Hahn-Banach theorem, see [9, Proposition 1], to obtain a functional \(f \in X^{*}_{G}\) such that
-
(i)
\(f_{|_{H}} = h\),
-
(ii)
\(f(x) \le p(x)\) for every \(x \in X\).
In particular \(f(x_{0}) = 1\) and \(f(x) \le p(x) < 1\) for all \(x \in C\). \(\square \)
Theorem 6
Let X be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group os isometries acting on X. If A, B are two convex and G-invariant sets, with A open and \(A \cap B = \emptyset \), then there exists a G-invariant hyperplane that separates A and B.
Proof
Define \(C = A - B\) and notice that C is convex and G-invariant, since A and B are G-invariant. Also, C is open since we can write
and A is open. Moreover, 0 is clearly G-invariant and does not belongs to C since \(A \cap B = \emptyset \). Therefore, we can apply Lemma 5 to obtain a functional \(f \in X^{*}_{G}\) with
Since \(C = A - B\) and f is linear, we deduce that
Then, there exists an \(\alpha \in {\mathbb {R}}\) such that
\(\square \)
The classical version of this theorem is usually called the first Hahn-Banach geometric form. Now we want to give a proof of the so-called second Hahn-Banach geometric form for G-invariant functionals. To do so we will require to use the following lemma whose proof can be found in [6, Theorem 3.1].
Lemma 7
Let X be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries acting on X. If C is a closed convex G-invariant subset of X and \(x_{0} \in X \backslash C\) is a G-invariant point, then there exists \(f \in X^{*}_{G}\) such that
The main difference with Lemma 5 is the closeness of the set C, that makes the separation between the point and the set strict.
Theorem 8
Let X be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries acting on X. If \(A, B \subseteq X\) are nonempty, convex and G-invariant sets such that A is closed, B is compact and \(A \cap B = \emptyset \), then there exists a G-invariant hyperplane that strictly separates A and B.
Proof
Define \(C = A - B\) so that C is convex, closed, G-invariant and \(0 \notin C\). Hence, there exists some \(r > 0\) sufficiently small such that \(B(0, r) \cap C = \emptyset \).
Observe that by definition \(B(0, r) = \left\{ x \in X ~~ | ~~ \Vert x \Vert < r\right\} \), so since the norm is G-invariant, we can deduce the G-invariance of B(0, r). Applying now Theorem 6 we obtain that there exists \(f \in X^{*}_{G}\backslash \left\{ 0\right\} \) such that
By linearity of f, and symmetry of \(B_{X}\), i.e, if \(z \in B_{X}\) then \(-z \in B_{X}\), we have that
so
Letting \(\epsilon = \frac{1}{2}r\Vert f \Vert > 0\), we obtain
Now, we only have to choose \(\alpha \in {\mathbb {R}}\) such that
and the results follows. \(\square \)
To finish this section we will give a direct consequence of the previous result.
Corollary 9
Let \(X\ne \{0\}\) be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries acting on X. Let \(H \subseteq X\) be a G-invariant linear subspace such that \({\overline{H}} \ne X\). Then there exists a nonzero functional \(f \in X^{*}_{G}\) such that
Proof
Note that if \(H=\{0\}\), since \(X\ne \{0\}\), any non-zero functional of \(X^{*}_{G}\) satisfies the conclusion.
Otherwise, observe that \({\overline{H}}\) is again G-invariant because so is H and the points that are on the adherence are obtained as limit points of G-invariant sequences. Now let \(x_{0} \in X \backslash {\overline{H}}\) be G-invariant. By the previous result we know that there exists \(f \in X^{*}_{G}\), \(f \not \equiv 0\), that strictly separates \({\overline{H}}\) and \(\left\{ x_{0}\right\} \), i.e.:
for some \(\alpha \in {\mathbb {R}}\).
Therefore, for any \(x\in H, x\ne 0\) and using the last inequality we deduce that
since \(\langle f, \lambda x \rangle = \lambda \langle f, x \rangle < \alpha \) for all \(\lambda \in {\mathbb {R}}\). \(\square \)
4 Ekeland’s variational principle for G-invariant functions
In this section we are going to focus on the generalization of the Ekeland’s variational principle to the context of G-invariant functionals. In the proof of this result it is required the following group invariant Cantor set theorem, whose proof can be obtained directly from the Cantor set theorem, and a small observation.
Proposition 10
Let (X, d) be a complete metric space, and let \(G \subseteq {\mathcal {L}}(X)\) be a topological group acting on X. If \(\left\{ C_{n}\right\} _{n=1}^{+\infty }\) is a countable family of compact sets such that \(C_{n} \ne \emptyset \), \(C_{n+1} \subseteq C_{n}\) and \(C_{n}\) is G-invariant for every \(n \in {\mathbb {N}}\), then
Proof
By the Cantor set theorem we know that \(\cap _{n=1}^{+\infty }C_{n} \ne \emptyset \). It only remains to show that \(\cap _{n=1}^{+\infty }C_{n}\) is G-invariant, i.e.,
Let \(x \in \cap _{n=1}^{+\infty }C_{n}\). Then, \(x \in C_{n}\) for every \(n \in {\mathbb {N}}\), but since every \(C_{n}\) is G-invariant we get that
In particular, \(g(C_{n}) \subseteq C_{n}\) for all \(g \in G\), \(n \in {\mathbb {N}}\). Therefore, \(g\left( \bigcap _{n=1}^{+\infty }C_n\right) \subseteq C_n\) for all \(g \in G\), \(n \in {\mathbb {N}}\). Thus,
Using \(g^{-1}\) we obtain the reverse inclusion, hence \(\cap _{n=1}^{+\infty }C_{n}\) is G-invariant. \(\square \)
As a direct consequence, we obtain that if the diameter of the sets converges to zero, then the intersection is a G-invariant point.
Corollary 11
Let (X, d) be a complete metric space, and let \(G \subseteq {\mathcal {L}}(X)\) be a topological group acting on X. If \(\left\{ C_{n}\right\} _{n=1}^{+\infty }\) is a countable family of compact sets such that \(C_{n} \ne \emptyset \), \(C_{n+1} \subseteq C_{n}\), \(\delta (C_{n}) \rightarrow 0\) and \(C_{n}\) is G-invariant for every \(n \in {\mathbb {N}}\), then
where \(\delta (C_{n})\) denotes the diameter of the set \(C_{n}\).
Before we present the Ekeland variational principle, let us recall some required definitions.
If X is a topological space, we say that \(f :X \rightarrow {\mathbb {R}}\) is lower semicontinuous if for every \(\lambda \in {\mathbb {R}}\) the set
is closed.
We say that \(f :X \rightarrow {\mathbb {R}}\cup \left\{ -\infty , +\infty \right\} \) is proper if it has nonempty domain, never takes on the value \(-\infty \), and it is not identically equal to \(+\infty \).
To continue we present the main result of this section, that is, the group invariant Ekeland’s variational principle.
Theorem 12
Let X be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries acting on X. Let \(\varphi :X \rightarrow ]0, +\infty ]\) be proper, lower semicontinuous, bounded below, G-invariant, and convex with respect to the group G. Then, given \(\epsilon > 0\) and \(\delta > 0\), there exists a G-invariant point \(\tilde{x} \in X\) such that
Moreover, if \(x_{0} \in X\) satisfies that \(\varphi (x_{0}) < \inf \left\{ \varphi (x) ~ | ~ x \in X\right\} + \delta \), then we can choose \(\tilde{x}\) to be such that
Proof
Fix \(\delta > 0\), we want to define a sequence \(\left\{ x_{n}\right\} _{n=1}^{+\infty } \subseteq X\) of G-invariant points that is convergent to our desired \(\tilde{x}\).
Define \(b:= \inf \left\{ \varphi (x) ~ | ~ x \in X\right\} \), and let us verify that
Since the set on the right hand side of the equality is smaller than the set on the left hand side, it is obvious that
For the other inequality, choose \(x \in X\) and consider \({\overline{x}}\), the G-symmetric point of x. Let’s prove that \(\varphi ({\overline{x}}) \le \varphi (x)\). Using the definition of \({\overline{x}}\), the convexity of \(\varphi \) with respect to the group and that \(\varphi \) is G-invariant we have that
Therefore, we obtain the desired equality, that is,
Since b is an infimum, we can choose a G-invariant point \(x_{0} \in X\) such that
Inductively define, for \(n = 0, 1, \ldots \),
and choose \(x_{n+1} \in X\), G-invariant, satisfying the following properties
where we define
Observe that, since \(\Vert \cdot \Vert \) is G-invariant, then so is \(K_{\epsilon }\). Moreover by (1) we get:
By definition of \(K_{\epsilon }\) we know that
so
and then
Which means that \(\left\{ \varphi (x_{n})\right\} _{n=0}^{+\infty }\) is non increasing.
Note that \(\left\{ (x_{n}, \varphi (x_{n})) + K_{\epsilon }\right\} _{n=0}^{+\infty }\) is a sequence of nested sets and \(b_{n}\) is nondecreasing.
Now we will show that the sequence \(\left\{ x_{n}\right\} _{n=0}^{+\infty }\) is convergent to some point. By (1) and (2), we have that
Therefore
And from this we can obtain that
hence
Thus, we obtain that \(\left\{ x_{n}\right\} _{n=0}^{+\infty }\) is a Cauchy sequence, but since X is a Banach space, the sequence is convergent to some \(\tilde{x}\in X\).
Finally, we are going to check that we can apply Corollary 11. We already know that \((x_{n}, \varphi (x_{n})) + K_{\epsilon }\) are nested, and since \(\varphi \) is lower semicontinuous, it is clear that \(\hbox {epi }\varphi \cap ((x_{n}, \varphi (x_{n})) + K_{\epsilon })\) is closed for every \(n\in {\mathbb {N}}\). Let us estimate their diameter in \((X \times {\mathbb {R}}, \rho )\) where \(\rho (x, t) = \Vert x \Vert + |t|\) is the metric defined in the product space. Fix \(n \in {\mathbb {N}} \backslash \left\{ 0\right\} \), given \((x, t) \in (x_{n}, \varphi (x_{n})) + K_{\epsilon }\), by the definition of \(K_{\epsilon }\), we have that
and by the construction of the sequence
Thus
This proves that \(\hbox {diam}\left( \hbox {epi }\varphi \cap ((x_{n}, \varphi (x_{n}))+ K_{\epsilon })\right) \rightarrow 0\). Applying then Corollary 11 we get that
In particular we have that \(\tilde{x}\) is G-invariant.
By construction we have that \(\hbox {epi }\varphi \cap ((\tilde{x}, \varphi (\tilde{x})) + K_{\epsilon }) = (\tilde{x}, \varphi (\tilde{x}))\), and in particular
Moreover, we have that
therefore \(\Vert x_{0} - \tilde{x} \Vert \le \frac{\delta }{\epsilon }\). \(\square \)
We are going now to give an example that shows that the convexity of the functional with respect to the group cannot be completely removed.
Example 13
Consider the group \(G = \left\{ Id, -Id\right\} \) acting on \({\mathbb {R}}\). Then, the function
is not convex with respect to the group G. Observe that the only G-invariant point in \({\mathbb {R}}\) is 0. Then, for every \(\epsilon < 1\) and for \(x = \frac{1}{2}\), we have that
And thus, the conclusions of Theorem 12 does not hold.
5 Consequences of the Ekeland variational principle
5.1 Palais-Smale minimizing sequences
The first direct consequence of the Ekeland variational principle is the Palais-Smale minimizing sequences. Let us continue by generalizing this result.
Corollary 14
Let X be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries. Let \(\varphi :X \rightarrow {\mathbb {R}}\) be Gâteaux differentiable, bounded below, G-invariant and convex with respect to the group. Then, there exists a sequence \(\left\{ x_{n}\right\} _{n=1}^{+\infty } \subseteq X\) such that
-
(1)
\(x_{n}\) is G-invariant for all \(n \in {\mathbb {N}}\),
-
(2)
\(\varphi (x_{n}) \rightarrow \inf \left\{ \varphi (x) ~ | ~ x \in X\right\} ,\)
-
(3)
\(\Vert \delta \varphi (x_{n})\Vert \rightarrow 0\).
Proof
Choose \(\epsilon = \delta = \frac{1}{n}\). By Theorem 12 we can find a sequence \(\left\{ x_{n}\right\} _{n=1}^{+\infty } \subseteq X\) of G-invariant points such that
and such that
Therefore
Now let’s check that \(\Vert \delta \varphi (x_{n}) \Vert \rightarrow 0\). We know that
Fix \(y \in B_{X}\). Defining \(x = x_{n} + ty\), for \(t > 0\), we have that
therefore
Taking now limits when \(t \rightarrow 0\) we get that
Since we have the inequality for every y, considering \(-y\) and using the linearity of the Gâteaux differential, we have obtained that
Taking now limits when \(n \rightarrow +\infty \) we obtain the desired result. \(\square \)
Corollary 15
Let X be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries. Let \(f :X \rightarrow {\mathbb {R}}\cup \left\{ +\infty \right\} \) be a lower semicontinuous function, Gâteaux differentiable, bounded below, G-invariant, convex with respect to G, and so that there exists constants \(k, c > 0\) with
Then, the range of \(\delta f(x)\) is dense in \(kB_{G}\), where \(B_{G}\) is the closed unit ball in \(X_{G}^{*}\).
Proof
Choose \(u \in kB_{G}\). We want to see if there exists a sequence of G-invariant points \(\left\{ u_{n}\right\} _{n=1}^{+\infty } \subseteq X\) such that
Define
It is easy to see that h is Gâteaux differentiable, G-invariant and convex with respect to G. Note that
where we have used the hypothesis on the first inequality, and that \(u \in kB_{G}\) on the last line. Then, h is bounded below, and it satisfies the hypothesis of Corollary 14, therefore there exists a sequence of G-invariant points \(\left\{ u_{n}\right\} _{n=1}^{+\infty }\) such that \(\lim _{n \rightarrow +\infty }\Vert \delta h(u_{n}) \Vert = 0\), in particular
\(\square \)
Corollary 16
Let X be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries. Let \(f :X \rightarrow {\mathbb {R}}\cup \left\{ +\infty \right\} \) be a lower semicontinuous function, Gâteaux differentiable, bounded below, G-invariant, convex with respect to G, and suppose that there exists \(\phi :{\mathbb {R}}_{+} \rightarrow {\mathbb {R}}\cup \left\{ +\infty \right\} \) such that \(\frac{\phi (t)}{t} \rightarrow +\infty \) when \(t \rightarrow +\infty \) and
Then, the range of \(\delta f(x)\) is dense in \(X^{*}_{G}\).
Proof
It is clear that for all \(k > 0\), there exists \(c \in {\mathbb {R}}\) such that f satisfies that
Then, \(\delta f(x)\) is dense on every closed ball of \(X^{*}_{G}\) \(\square \)
5.2 Description of \(X^{*}_{G}\)
Let us start giving a lemma that will be useful on the proof of Theorem 18.
Lemma 17
Let X be a Banach space, \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group acting on X, and \(\varphi :X \rightarrow {\mathbb {R}}\) be G-invariant. If \(\varphi \) is linear with respect to G, then \(\frac{1}{\varphi ^{2}}\) is convex with respect to G.
Proof
Define \(\psi :X \rightarrow {\mathbb {R}}\) as follows
Observe that
Which is equivalent, by definition, to
By G-invariance of \(\varphi \) and definition of the symmetrized point, this is equivalent to
Hence,
By doing here a distinction of cases when \(\varphi \ge 0\) and when \(\varphi \le 0\), we obtain the desired result. \(\square \)
Theorem 18
Let X be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries acting on X. Let \(\varphi \) be a continuous function, Gâteaux differentiable, bump, G-invariant and linear with respect to G. Then
Proof
Define \(\psi :X \rightarrow {\mathbb {R}}\cup \left\{ +\infty \right\} \) as follows
Let \(f \in X^{*}_{G}\). Then it is clear that \(\psi (x) - f(x)\) is lower semicontinuous and bounded below function. Notice also that \(\psi \) is Gâteaux differentiable and by Lemma 17 is convex with respect to the group. Therefore, by Theorem 12, we have that there exists a G-invariant point \(x_{0} \in X\) such that for every \(h \in X\) and \(t > 0\) we have that
Hence
and by linearity of f we obtain
Taking now limits when \(t \rightarrow 0^{+}\) we finally have that
Considering \(-h\) and using the linearity of f and \(\partial \psi \), it follows that
Finally, we conclude that
\(\square \)
5.3 A characterization of the completeness of \(X_{G}\)
Our next result is based on the characterization given by Sullivan on 1981 about the completeness of a metric space in [12], and tells us exactly when the G-invariant normed spaces are indeed Banach spaces.
Theorem 19
Let \(\left( X, \Vert \cdot \Vert \right) \) be a normed space, and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries acting on X. \(X_{G}\) is a Banach space if, and only if, for all \(f :X \rightarrow {\mathbb {R}}\) that is bounded below, Lipschitz continuous, G-invariant, convex with respect to G,and for all \(\epsilon > 0\), there exists \(x_{0} \in X_{G}\) such that
and
Proof
The direct implication is clear by applying Theorem 12 with \(\delta = \epsilon ^{2}\).
For the sufficient condition, fix a Cauchy sequence \(\left\{ x_{n}\right\} _{n=1}^{+\infty } \subseteq X_{G}\). Then for all \(\epsilon < 1\) there exists \(N_{0} \in {\mathbb {N}}\) such that
Define now the functional
Observe that it is non negative and satisfies that \(\inf \left\{ f(x) ~ | ~ x \in X\right\} = 0\). Let’s see that it is well defined. We know that
so \(\left\{ \Vert x_{n} - {\overline{x}} \Vert \right\} _{n=1}^{+\infty } \subseteq {\mathbb {R}}\) is a Cauchy sequence, hence it is convergent and then f is well defined. Now we are going to see that f is Lipschitz-continuous. Indeed, given \(x, y \in X\) and \(n \in {\mathbb {N}}\) we know that
where we have used here the definition of the G-symmetrization and the fact that the norm is G-invariant. Then taking limits when \(n \rightarrow +\infty \), we deduce that
i.e., f is 1-Lipschitz-continuous. Finally, let’s see that f is G-invariant and linear with respect to G. Pick \(g \in G\), then
so f is G-invariant.
Notice that
where we have used that the sequence is made of G-invariant points, and the G-invariance of the norm. Moreover, since \(\left\{ x_{n}\right\} _{n=1}^{+\infty }\) is a Cauchy sequence, we have that
Hence,
Now, we can apply our hypothesis to obtain a G-invariant point, say \(x_{0} \in X\), such that
-
(1)
\(f(x_{0}) \le \epsilon \),
-
(2)
\(f(x_{0}) \le f(x) + \epsilon \Vert x - x_{0} \Vert \) for all \(x_{0} \ne x \in X\).
By using (2) with \(x = x_{m}\), we obtain that
Notice now that
and
So, taking limits over m in (3) we have that
which means that \((1 - \epsilon )f(x_{0}) \le 0\). But from the start we know that \(\epsilon < 1\) and that \(\inf _{x \in X}f(x) = 0\), hence, \(f(x_{0}) = 0\), which means that \(\Vert x_{n} - \overline{x_{0}} \Vert \rightarrow 0\) when \(n \rightarrow +\infty \). Finally, it is clear now that \(x_{0}\) is G-invariant, and \(x_{n} \rightarrow x_{0}\) when \(n \rightarrow +\infty \). Thus, \(X_{G}\) is a Bnach space. \(\square \)
Remark 20
Note that the fact that \(X_G\) is a Banach space does not guarantee that X is a Banach space. Indeed, if we consider for instance the space \(c_{00}\) consisting of all real sequences of finite support and the group of permutations of the first n coordinates \(G=\Sigma _n\) with n an arbitrary but fixed natural number, it is clear that G has a natural action on X by
for every \(\varphi \in G\) and every \((x_1,x_2,\ldots )\in c_{00}\). Then \(c_{00}\) is not a Banach space, but \((c_{00})_G\) is clearly a Banach space.
5.4 A proof of the Bishop-Phelps theorem by using Ekeland’s variational principle
Here we are going to present a proof of the group invariant Bishop-Phelps theorem, by using the group invariant Ekeland’s variational principle. This alternative proof is based on the proof of the Bishop-Phelps theorem presented in [11, Theorem 3.18].
Theorem 21
Let X be a real Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries acting on X. If \(C \subseteq X\) is a convex, closed, bounded and G-invariant subset, then the G-invariant norm-attaining functionals in C are dense in \(X^{*}_{G}\).
Proof
Choose \(f \in X^{*}_{G}\), \(\epsilon > 0\), and define \(\tilde{f} :X \rightarrow {\mathbb {R}}\cup \left\{ +\infty \right\} \)
Notice that \(\tilde{f}\) is proper, lower semicontinuous (because f is continuous), and bounded below. We have to show that \(\tilde{f}\) is G-invariant. Indeed, when \(x \in C\), we recall that by the convexity of C, \({\overline{x}} \in C\), so we can apply the G-invariance of f to obtain that
and when \(x \in X \backslash C\), in which case, by the G-invariance of C we have that
since C is convex. Let us continue by showing that \(\tilde{f}\) is convex with respect to G. Indeed, for \(x \in C\), by linearity and G-invariance of f we obtain that
Now, fix \(x \in X \backslash C\). Then, \({\overline{x}} \in X \backslash C\), so
Hence, \(\tilde{f}\) is linear with respect to G, and in particular it is convex with respect to G. Applying now Theorem 12 we obtain a G-invariant point \(x_{0} \in C\) such that
By definition of \(\tilde{f}\) we have that
Define the sets
and observe that both of them are (G, Id)-invariant since the first one is the epigraph of the function f, and the second one is a G-invariant set by the G-invariance of the norm and \(x_{0}\). Moreover, the interior of \(K_{2}\) is nonempty and disjoint from \(K_{1}\). Therefore, by Theorem 6, there exists a (G, Id)-invariant functional in \(X^{*} \times {\mathbb {R}}\) that separates \(K_{1}\) and \(K_{2}\), i.e., there exists \(h \in X^{*}\backslash \left\{ 0\right\} \) and \(\beta \in {\mathbb {R}}\) such that
and
for some \(\alpha \in {\mathbb {R}}\). Observe that \(\alpha \) cannot be negative, otherwise \(\langle h, x \rangle + \alpha t < \beta \) if \((x, t) \in K_{2}\) and t is large enough. On the same way, \(\alpha \) cannot be equal to 0, otherwise \(\langle h, x \rangle \ge \beta \) for all \(x \in X\), meaning that \(h = 0\). Then, \(\alpha > 0\), and we can normalize it to be \(\alpha = 1\).
Notice now that, since \((x_{0}, f(x_{0})) \in K_{1} \cap K_{2}\) we have that \(\langle h, x_{0} \rangle + f(x_{0}) = \beta \). Therefore
From where we deduce that \(h + f\) attains its maximum on C at \(x_{0}\). On the other hand, if \(x \in X\) and \(t = f(x_{0}) + \epsilon \Vert x - x_{0} \Vert \), then
since \((x, t) \in K_{2}\). Hence
so
and then \(\Vert h \Vert \le \epsilon \).
Defining now \(\tilde{h} = f + h\), it is clear that \(\tilde{h}\) attains its maximum on C, is G-invariant and
\(\square \)
Remark 22
The previous result in the complex case holds if C is the unit ball.
A closer look at the previous proof shows that, indeed, the following equivalence of the Bishop-Phelps theorem holds.
Corollary 23
Let X be a real Banach space, \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries acting on X, and C a nonempty, closed, convex and G-invariant subset of X. For \(\epsilon > 0\), suppose that \(f :C \rightarrow {\mathbb {R}}\) is lower semicontinuous, convex, bounded below and G-invariant. Then, there exists \(h \in X^{*}_{G}\) such that \(\Vert h \Vert \le \epsilon \), and \(f + h\) attains its maximum at some G-invariant point \(x_{0} \in C\).
5.5 Brønsted-Rockafellar theorem
In this section we want to give a group invariant version of the Brønsted-Rockafellar theorem, see [11, Theorem 3.17]. Before stating the result, let us recall the notions of \(\epsilon \)-subdifferential, subdifferential and subgradient.
Let X be a Banach space and \(f :X \rightarrow {\mathbb {R}}\cup \left\{ +\infty \right\} \) a proper, convex and lower semicontinuous function. Given \(x_{0} \in \text {Dom}(f)\) and \(\epsilon > 0\), the \(\epsilon \)-subdifferential of f at \(x_{0}\) is defined as
If \(x_{0} \notin \text {Dom}(f)\) we say that \(\partial f(x_{0}) = \emptyset \).
The subdifferential of f at \(x_{0}\) is defined as
If \(x_{0} \notin \text {Dom}(f)\) we say that \(\partial f(x_{0}) = \emptyset \). Also we say that \(h \in X^{*}\) is a subgradient of f at \(x_{0} \in \text {Dom}(f)\) if
We will also need to recall the definition of adjoint operator.
If X, Y are two Banach spaces, and \(T :X \rightarrow Y\) is a bounded operator, the adjoint operator of T, denoted by \(T^{*} :Y^{*} \rightarrow X^{*}\), is the operator defined by
Let us start with some elemental properties of the adjoint operator.
Proposition 24
If \(G \subseteq L(X)\) is a compact topological group, then so is \(G^{*} \subseteq L(X^{*})\).
The proof of this result follows from the norm-to-norm continuity of the adjoint operator and the compacity of G.
Property 25
Let X be a Banach space, \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group acting on X, \(f :X \rightarrow {\mathbb {R}}\cup \left\{ +\infty \right\} \) be a proper function, and \(x_{0} \in \text {Dom}(f)\) be a G-invariant point. Then, the \(\epsilon \)-subdifferential and the subdifferential of f at \(x_{0}\) are \(G^{*}\)-invariant.
Proof
We are going to show the \(G^{*}\)-invariance of the \(\partial f(x_{0})\). Let \(g^{*} \in G^{*}\), we want to see that if we choose \(g^{*} \in G^{*}\), then \(g^{*}(\partial f(x_{0})) = \partial f(x_{0})\). Observe that, by the definition of the adjoint of an operator, the linearity of g and the the G-invariance of \(x_{0}\) we have that
And now, since \(u \in \partial f(x_{0})\), and f is G-invariant it is clear that
This means that \(g^{*}u \in \partial f(x_{0})\), so we deduce that \(g^{*}(\partial f(x_{0})) \subseteq \partial f(x_{0})\). Using the inverse mapping of \(g^{*}\), we deduce the other inclusion. Then, we have that \(g^{*}(\partial f(x_{0})) = \partial f(x_{0})\) for every \(g^{*} \in G^{*}\). \(\square \)
Remark 26
An operator \(T \in L(X, Y)\) is G-invariant if, and only if, \(T^{**}\) is G-invariant, see [6, Proposition 2.4] for the details.
Now, we are going to give, without proof, two results that will prove crucial for the proof of the Brønsted-Rockafellar theorem. The first one is the so called Moreau-Rockafellar theorem, which says, roughly-speaking, that the sum of the subdifferentials is the subdifferential of the sum. For the proof of this results one can see [11, Theorem 3.16].
Theorem 27
Let X be a Banach space and let \(f, g :X \rightarrow {\mathbb {R}}\cup \left\{ +\infty \right\} \) be two proper, convex and lower semiconitnuous functions. Suppose that \(\text {Dom}(f) \cap \text {Dom}(g) \ne \emptyset \), then
Moreover, if there exists one point in \(\text {Dom}(f) \cap \text {Dom}(g)\) for which one of the two functions is continuous, then we have that
And as an easy Corollary of this result, we have the following.
Corollary 28
Let X be a Banach space, \(f :X \rightarrow {\mathbb {R}}\cup \left\{ +\infty \right\} \) be proper, convex and lower semiconitnuous, and \(h \in X^{*}\). For \(x_{0} \in \text {Dom}(f)\):
With this brief introduction we can move now to see the G-invariant version of the Brønsted-Rockafellar theorem.
Theorem 29
Let X be a Banach space and \(G \subseteq {\mathcal {L}}(X)\) be a compact topological group of isometries acting on X. Suppose that \(f :X \rightarrow {\mathbb {R}}\cup \left\{ +\infty \right\} \) is a proper, convex, lower semicontinuous and G-invariant function. Then for any G-invariant point \(x_0 \in Dom(f)\) and any G-invariant functional \(x_{0}^{*} \in \partial _{\epsilon }f(x_{0})\), and for all \(\epsilon , \lambda > 0\), there exists a G-invariant point \(z \in \text {Dom}(f)\) and a functional \(x^{*} \in X^{*}_{G}\) such that
Proof
Fix a G-invariant point \(x_{0} \in \text {Dom}(f)\), \(\epsilon > 0\) and \(\lambda > 0\). Then, we know that \(\partial _{\epsilon }f(x_{0})\) is nonempty and \(G^{*}\)-invariant. Consider a G-invariant functional \(x_{0}^{*} \in \partial _{\epsilon }f(x_{0})\) and define
It is clear that \(\phi \) is proper, and that \(\text {Dom}(\phi ) = \text {Dom}(f)\). Moreover \(\phi \) is lower semicontinuous, since it is a composition of a lower semicontinuous function with a continuous one. We want to see now that \(\phi \) is bounded below. Indeed, for all \(\epsilon > 0\), since \(x_{0}^{*} \in \partial _{\epsilon }f(x_{0})\) we have that
Therefore
which means that
From here we deduce that \(\phi \) is bounded below and in particular
It is also clear that \(\phi \) is G-invariant since it is a composition of G-invariant functions, and the only thing that remains to check is that \(\phi \) is convex with respect to G. We want to see that
which is equivalent, by definition of \(\phi \), to
But this is clear, since f is convex with respect to G and \(x_{0}^{*}\) is linear.
So, we can apply Theorem 12 to obtain that there exists a point \(z \in \text {Dom}(\phi )\) such that
-
(1)
z is G-invariant,
-
(2)
\(\phi (z) < \phi (x) + \lambda \Vert x - z \Vert \), for all \(z \ne x \in X\),
-
(3)
\(\Vert z - x_{0} \Vert \le \frac{\epsilon }{\lambda }\).
By (3), it is clear that \(\Vert z - x_{0} \Vert \le \frac{\epsilon }{\lambda }\), so we only need to show that \(x^{*} \in \partial f(z)\), and \(\Vert x^{*} - x_{0}^{*} \Vert \le \lambda \). We define now the function
which is proper, convex, lower semicontinuous and satisfies that \(h(z) = 0\). Observe that by (2) we have that
in particular \(0 \in \partial (\phi + h)(z)\). But we know that h has a point of continuity in \(\text {Dom}(h)\cap \text {Dom}(\phi ) = \text {Dom}(\phi )\), so applying now Theorem 27 we have that
Hence, \(0 \in \partial \phi (z) + \partial h(z)\), therefore there exists \(-z^{*} \in \partial \phi (z)\) such that \(z^{*} \in \partial h(z)\). Note that the symmetrized point \(\overline{z^{*}}\) belongs to \(\partial h(z)\) because the subdifferential is a convex set. Moreover, we know by Corollary 28 that \(\partial \phi (z) = \partial f(z) + x_{0}^{*}\), so there exists \(x^{*} \in \partial f(z)\) such that \(x^{*} = -\overline{z^{*}} + x_{0}^{*}\). Notice that \(x^{*}\) is G-invariant because so are \(x_{0}^{*}\) and \(\overline{z^{*}}\), and notice also that
Therefore
\(\square \)
Notes
The word symmetrization refers to the well-known process of applying Definition 2 to the group of permutations \(G = \Sigma _{n}\) acting on \({\mathbb {R}}^{n}\).
References
Aron, R.M., Falcó, J., Maestre, M.: Separation theorems for group invariant polynomials. J. Geom. Anal. 28(1), 303–404 (2018)
Aron, R.M., Falcó, J., García, D., Maestre, M.: Algebras of symmetric holomorphic functions of several complex variables. Rev. Mat. Complut. 32, 651–672 (2018)
Brezis, H.: Functional analysis. Springer, Sobolev spaces and partial differential equations (2010)
Cohn, D.: Measure theory, Birkhäuser, (2010)
Cox, D., Little, J., Oshea, D.: Ideals, varieties and algorithms: an introduction to computational algebraic geometry and commutative algebra, Springer Science & Buisness Media, (2013)
Dantas, S., Falcó, J., Jung, M.: Group invariant operators and some applications to norm-attaining theory. RM 78, 1–30 (2023)
Ekeland, I.: On the variational principle. J. Math. Anal. Appl. 47(2), 324–353 (1974)
Fabian, M., Habala, P., Hájek, P., Montesinos, V., Zizler, V.: Banach space theory: the basis for linear and nonlinear analysis, Springer, (2011)
Falco, J.: A group invariant Bishop-Phelps theorem. Proceedings of the American Mathematical Society 149.4, 1609–1612 (2021)
Fitzpatrick, P.M., Royden, H.L.: Real analysis, China Machine Press, (2010)
Phelps, R.: Convex functions, monotone operators and differentiability, Springer, (1992)
Sullivan, F.: A characterization of complete metric spaces. Proceed. Am. Math. Soc. 83, 345–346 (1981)
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author was supported by grant PID2021-122126NB-C33 funded by MCIN/AEI/10.13039/501100011033 and by “ERDF A way of making Europe”.
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
Falcó, J., Isert, D. Group invariant variational principles. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 118, 91 (2024). https://doi.org/10.1007/s13398-024-01585-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-024-01585-0