Abstract:We propose a unified view of the polarity of functions, that encompasses all specific definitions, generalizes several well-known properties and provides new results. We show that bipolar sets and bipolar functions are isomorphic lattices. Also, we explore three possible notions of polar subdifferential associated with a nonnegative function, and we make the connection with the notion of alignement of vectors.
What problem does this paper attempt to address?
This paper attempts to solve the problems of unifying and generalizing the concept of the polarity of functions. Specifically, the author proposes a unified perspective to understand the polarity of functions, which covers all specific definitions, generalizes several known properties, and provides new results. The following are the main contributions of the paper:
1. **Unifying the concept of polarity**:
- The author proposes a unified method to define the polarity of functions, which can cover various different definitions that already exist in the literature.
- In this way, the author is able to integrate different polarity definitions into one framework, thus providing a more comprehensive understanding.
2. **Isomorphic lattices of bipolar sets and bipolar functions**:
- The paper shows that bipolar sets and bipolar functions form isomorphic lattices. This means that there is a structural symmetry and consistency between these sets and functions.
3. **The concept of polar subdifferential**:
- The author explores three possible concepts of polar subdifferential related to non - negative functions and links them to the concept of alignment of vectors. This provides a new perspective for understanding the geometric properties of functions.
4. **Handling special values**:
- When defining polar functions, the author specifically deals with the problems of 0 and +∞ values, ensuring that the formulas can also be correctly applied in these special cases. For example, using lower and upper multiplications to handle these special cases.
5. **Analogy of Fenchel conjugate**:
- The author draws on the idea of Fenchel transformation. First, the polar transformation of any function is defined, and then bipolar functions are defined as those functions that are equal to their bipolar transformations. This analogy makes the study of polar transformation more systematic and in - depth.
6. **New results**:
- The paper not only integrates existing knowledge but also provides some new results, such as proving that the lattices formed by bipolar sets and bipolar functions are isomorphic.
In summary, the main objective of this paper is to bridge the differences between existing definitions by proposing a unified and general framework of the polarity concept, and to derive new theoretical results on this basis. This helps to better understand and apply the role of function polarity in convex analysis and other related fields.