Group invariant variational principles

Javier Falcó,Daniel Isert
2024-03-06
Abstract:In this paper we introduce a group invariant version of the wellknown Ekeland variational principle. To achieve this, we defne 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.
Functional Analysis
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to introduce a group - invariant version of the Ekeland variational principle. Specifically, the author defines the concept of convexity with respect to a group and establishes a version of the theorem within this framework. In addition, the paper also explores several important consequences of the group - invariant Ekeland variational principle, including Palais - Smale minimizing sequences, the Brønsted - Rockafellar theorem, and the characterization of linear and continuous group - invariant functional spaces. Moreover, the author also provides an alternative proof of the Bishop - Phelps theorem and proves the group - invariant Hahn - Banach separation theorem. Finally, some implications and applications of these results are discussed. ### Main Contributions 1. **Group - Invariant Ekeland Variational Principle**: The author defines convexity with respect to a group and, on this basis, establishes the group - invariant Ekeland variational principle. 2. **Palais - Smale Minimizing Sequences**: Using the group - invariant Ekeland variational principle, the existence of Palais - Smale minimizing sequences is proved. 3. **Brønsted - Rockafellar Theorem**: A group - invariant version of the Brønsted - Rockafellar theorem is given. 4. **Characterization of Linear and Continuous Group - Invariant Functional Spaces**: The properties of linear and continuous group - invariant functional spaces are described in detail. 5. **Alternative Proof of the Bishop - Phelps Theorem**: A new proof of the Bishop - Phelps theorem based on the group - invariant Ekeland variational principle is provided. 6. **Group - Invariant Hahn - Banach Separation Theorem**: The group - invariant version of the Hahn - Banach separation theorem is proved. ### Mathematical Background - **Banach Space**: A complete normed vector space. - **Group - Invariant Mapping**: A mapping that remains invariant under the action of a group. - **Ekeland Variational Principle**: An important variational principle used to prove the existence of extreme points of a function. - **Palais - Smale Condition**: Used to study minimization problems in nonlinear functional analysis. - **Hahn - Banach Separation Theorem**: A fundamental functional analysis theorem used to separate convex sets. ### Applications These results have wide applications in functional analysis, optimization theory, and nonlinear analysis, and are particularly useful when dealing with problems under symmetry and group actions. ### Conclusion By introducing the group - invariant version of the Ekeland variational principle, the author not only extends the application range of the classical Ekeland variational principle but also provides a new tool for dealing with variational problems under group actions. These results are of great significance both theoretically and in terms of applications.