On Fitzpatrick functions of monotone linear operators

Bauschke, Borwein and Wang have shown in [H.H. Bauschke, J.M. Borwein, X. Wang, Fitzpatrick functions and continuous linear monotone operators, Siam J. Optimization, 18 (3) (2007), 789–809] that if FT(⋅,⋅)FT(⋅,⋅) denotes the Fitzpatrick function of a continuous linear monotone operator TT on a separable real Hilbert space HH, then FT(x,u)=2qT+∗((u+T∗x)/2), where qA∗ denotes the Fenchel conjugate of the function qA:H→RqA:H→R sending xx to 2−1〈x,Ax〉2−1〈x,Ax〉 for an arbitrary continuous positive symmetric operator A∈B(H)A∈B(H). Here, T+≔(T+T∗)/2≥0T+≔(T+T∗)/2≥0 and A†A† denotes the Moore–Penrose type inverse of a positive symmetric operator AA. The main result of the present paper is a sharpening of the result, achieved by showing that dom(qA∗)=ran(A1/2) and that FT(x,u)=4−1‖(T+1/2)†(u+T∗x)‖2 on dom(qA∗), where dom(f) is the set on which an extended real-valued function ff is finite. We will also find a formula for the Fitzpatrick function of a general nn-cyclic monotone linear operator in terms of a corresponding ordinary monotone linear operator.