Showing 1–7 of 7 results for author: Moffat, S M

Nearly convex sets: fine properties and domains or ranges of subdifferentials of convex functions

Authors: Sarah M. Moffat, Walaa M. Moursi, Xianfu Wang

Abstract: Nearly convex sets play important roles in convex analysis, optimization and theory of monotone operators. We give a systematic study of nearly convex sets, and construct examples of subdifferentials of lower semicontinuous convex functions whose domain or ranges are nonconvex. Nearly convex sets play important roles in convex analysis, optimization and theory of monotone operators. We give a systematic study of nearly convex sets, and construct examples of subdifferentials of lower semicontinuous convex functions whose domain or ranges are nonconvex. △ Less

Submitted 25 July, 2015; originally announced July 2015.

MSC Class: 52A41; 26A51; 47H05

The resolvent average of monotone operators: dominant and recessive properties

Authors: Sedi Bartz, Heinz H. Bauschke, Sarah M. Moffat, Xianfu Wang

Abstract: Within convex analysis, a rich theory with various applications has been evolving since the proximal average of convex functions was first introduced over a decade ago. When one considers the subdifferential of the proximal average, a natural averaging operation of the subdifferentials of the averaged functions emerges. In the present paper we extend the reach of this averaging operation to the fr… ▽ More Within convex analysis, a rich theory with various applications has been evolving since the proximal average of convex functions was first introduced over a decade ago. When one considers the subdifferential of the proximal average, a natural averaging operation of the subdifferentials of the averaged functions emerges. In the present paper we extend the reach of this averaging operation to the framework of monotone operator theory in Hilbert spaces, transforming it into the resolvent average. The theory of resolvent averages contains many desirable properties. In particular, we study a detailed list of properties of monotone operators and classify them as dominant or recessive with respect to the resolvent average. As a consequence, we recover a significant part of the theory of proximal averages. Furthermore, we shed new light on the proximal average and present novel results and desirable properties the proximal average possesses which have not been previously available. △ Less

Submitted 11 May, 2015; originally announced May 2015.

MSC Class: 47H05; 52A41; 90C25 (Primary) 15A09; 26A51; 26B25; 26E60; 47H09; 47A63 (Secondary)

Compositions and convex combinations of asymptotically regular firmly nonexpansive mappings are also asymptotically regular

Authors: Heinz H. Bauschke, Victoria Martin-Marquez, Sarah M. Moffat, Xianfu Wang

Abstract: Because of Minty's classical correspondence between firmly nonexpansive mappings and maximally monotone operators, the notion of a firmly nonexpansive mapping has proven to be of basic importance in fixed point theory, monotone operator theory, and convex optimization. In this note, we show that if finitely many firmly nonexpansive mappings defined on a real Hilbert space are given and each of the… ▽ More Because of Minty's classical correspondence between firmly nonexpansive mappings and maximally monotone operators, the notion of a firmly nonexpansive mapping has proven to be of basic importance in fixed point theory, monotone operator theory, and convex optimization. In this note, we show that if finitely many firmly nonexpansive mappings defined on a real Hilbert space are given and each of these mappings is asymptotically regular, which is equivalent to saying that they have or "almost have" fixed points, then the same is true for their composition. This significantly generalizes the result by Bauschke from 2003 for the case of projectors (nearest point mappings). The proof resides in a Hilbert product space and it relies upon the Brezis-Haraux range approximation result. By working in a suitably scaled Hilbert product space, we also establish the asymptotic regularity of convex combinations. △ Less

Submitted 20 December, 2011; originally announced December 2011.

MSC Class: 47H05; 47H09 (Primary) 47H10; 90C25 (Secondary)

Near equality, near convexity, sums of maximally monotone operators, and averages of firmly nonexpansive mappings

Authors: Heinz H. Bauschke, Sarah M. Moffat, Xianfu Wang

Abstract: We study nearly equal and nearly convex sets, ranges of maximally monotone operators, and ranges and fixed points of convex combinations of firmly nonexpansive mappings. The main result states that the range of an average of firmly nonexpansive mappings is nearly equal to the average of the ranges of the mappings. A striking application of this result yields that the average of asymptotically regu… ▽ More We study nearly equal and nearly convex sets, ranges of maximally monotone operators, and ranges and fixed points of convex combinations of firmly nonexpansive mappings. The main result states that the range of an average of firmly nonexpansive mappings is nearly equal to the average of the ranges of the mappings. A striking application of this result yields that the average of asymptotically regular firmly nonexpansive mappings is also asymptotically regular. Throughout, examples are provided to illustrate the theory. We also obtain detailed information on the domain and range of the resolvent average. △ Less

Submitted 29 April, 2011; originally announced May 2011.

MSC Class: 47H05; 47H09; 47H10 (Primary) 52A20; 90C25 (Secondary)

Firmly nonexpansive mappings and maximally monotone operators: correspondence and duality

Authors: Heinz H. Bauschke, Sarah M. Moffat, Xianfu Wang

Abstract: The notion of a firmly nonexpansive mapping is central in fixed point theory because of attractive convergence properties for iterates and the correspondence with maximal monotone operators due to Minty. In this paper, we systematically analyze the relationship between properties of firmly nonexpansive mappings and associated maximal monotone operators. Dual and self-dual properties are also ident… ▽ More The notion of a firmly nonexpansive mapping is central in fixed point theory because of attractive convergence properties for iterates and the correspondence with maximal monotone operators due to Minty. In this paper, we systematically analyze the relationship between properties of firmly nonexpansive mappings and associated maximal monotone operators. Dual and self-dual properties are also identified. The results are illustrated through several examples. △ Less

Submitted 24 January, 2011; originally announced January 2011.

MSC Class: 47H05; 47H09 (Primary) 26B25; 52A41; 90C25 (Secondary)

Self-dual Smooth Approximations of Convex Functions via the Proximal Average

Authors: Heinz H. Bauschke, Sarah M. Moffat, Xianfu Wang

Abstract: The proximal average of two convex functions has proven to be a useful tool in convex analysis. In this note, we express Goebel's self-dual smoothing operator in terms of the proximal average, which allows us to give a simple proof of self duality. We also provide a novel self-dual smoothing operator. Both operators are illustrated by smoothing the norm. The proximal average of two convex functions has proven to be a useful tool in convex analysis. In this note, we express Goebel's self-dual smoothing operator in terms of the proximal average, which allows us to give a simple proof of self duality. We also provide a novel self-dual smoothing operator. Both operators are illustrated by smoothing the norm. △ Less

Submitted 30 March, 2010; originally announced March 2010.

MSC Class: 26B25 (Primary); 26B05; 65D10; 90C25 (Secondary)

The Resolvent Average for Positive Semidefinite Matrices

Authors: Heinz H. Bauschke, Sarah M. Moffat, Xianfu Wang

Abstract: We define a new average - termed the resolvent average - for positive semidefinite matrices. For positive definite matrices, the resolvent average enjoys self-duality and it interpolates between the harmonic and the arithmetic averages, which it approaches when taking appropriate limits. We compare the resolvent average to the geometric mean. Some applications to matrix functions are also given. We define a new average - termed the resolvent average - for positive semidefinite matrices. For positive definite matrices, the resolvent average enjoys self-duality and it interpolates between the harmonic and the arithmetic averages, which it approaches when taking appropriate limits. We compare the resolvent average to the geometric mean. Some applications to matrix functions are also given. △ Less

Submitted 19 October, 2009; originally announced October 2009.

MSC Class: 47A64; 15A45; 15A24; 47H05; 90C25