The kernel average for two convex functions and its application to the extension and representation of monotone operators

We provide and analyze an average for two convex functions, based on a kernel function. It covers several known averages such as the arithmetic average, epigraphical average, and the proximal average. When applied to the Fitzpatrick function and the conjugate of Fitzpatrick function associated with a monotone operator, our average produces an autoconjugate (also known as selfdual Lagrangian) which can be used for finding an explicit maximal monotone extension of the given monotone operator. This completely settles one of the open problems posed by Fitzpatrick in the setting of reflexive Banach spaces.

[1]  D. Varberg.  Convex Functions , 1973 .

[2]  丸山 徹.  Convex Analysisの二,三の進展について , 1977 .

[3]  S. Fitzpatrick.  Representing monotone operators by convex functions , 1988 .

[4]  S. Simons.  Minimax and monotonicity , 1998 .

[5]  C. Zălinescu.  Convex analysis in general vector spaces , 2002 .

[6]  B. F. Svaiter,et al.  Fixed points in the family of convex representations of a maximal monotone operator , 2003, 0802.1347.

[7]  Juan Enrique Martínez-Legaz,et al.  A CONVEX REPRESENTATION OF MAXIMAL MONOTONE OPERATORS , 2003 .

[8]  Jean-Paul Penot.  Autoconjugate functions and representations of monotone operators , 2003, Bulletin of the Australian Mathematical Society.

[9]  Stephen Simons,et al.  Fenchel duality, Fitzpatrick functions and the Kirszbraun-Valentine extension theorem , 2005 .

[10]  Jean-Paul Penot,et al.  The relevance of convex analysis for the study of monotonicity , 2004 .

[11]  Heinz H. Bauschke,et al.  Projection and proximal point methods: convergence results and counterexamples , 2004 .

[12]  C. Zalinescu,et al.  A new proof for Rockafellar’s characterization of maximal monotone operators , 2004 .

[13]  Fenchel duality, Fitzpatrick functions and the Kirszbraun-Valentine extension theorem , 2005 .

[14]  B. Svaiter,et al.  Monotone Operators Representable by l.s.c. Convex Functions , 2005 .

[15]  R. Burachik,et al.  On a Family of Convex Functions associated to Subdifferentials , 2005 .

[16]  C. Zalinescu,et al.  Some problems about the representation of monotone operators by convex functions , 2005 .

[17]  Hristo S. Sendov,et al.  Fitzpatrick functions: inequalities, examples, and remarks on a problem by S. Fitzpatrick , 2005 .

[18]  J. Borwein.  Maximal Monotonicity via Convex Analysis , 2006 .

[19]  Nassif Ghoussoub.  Maximal monotone operators are selfdual vector fields and vice-versa , 2006 .

[20]  Heinz H. Bauschke.  Fenchel duality, Fitzpatrick functions and the extension of firmly nonexpansive mappings , 2006 .

[21]  Heinz H. Bauschke,et al.  Fitzpatrick Functions and Continuous Linear Monotone Operators , 2007, SIAM J. Optim..

[22]  Heinz H. Bauschke,et al.  Fitzpatrick functions, cyclic monotonicity and Rockafellar's antiderivative , 2007 .

[23]  Heinz H. Bauschke,et al.  Primal-Dual Symmetric Intrinsic Methods for Finding Antiderivatives of Cyclically Monotone Operators , 2007, SIAM J. Control. Optim..

[24]  Heinz H. Bauschke,et al.  The Proximal Average: Basic Theory , 2008, SIAM J. Optim..

[25]  C. Zălinescu,et al.  FENCHEL DUALITY, FITZPATRICK FUNCTIONS AND MAXIMAL MONOTONICITY S. SIMONS AND C. ZĂLINESCU , 2022 .