Penalized complementarity functions on symmetric cones

We show that penalized functions of the Fischer–Burmeister and the natural residual functions defined on symmetric cones are complementarity functions. Boundedness of the solution set of a symmetric cone complementarity problem, based on the penalized natural residual function, is proved under monotonicity and strict feasibility. The proof relies on a trace inequality on Euclidean Jordan algebras.