If
a and
b are trace-class operators, and if
u is a partial isometry, then
, where ∥⋅∥
1 denotes the norm in the trace class. The present paper characterises the cases of equality in this Young inequality, and
the characterisation is examined in the context of both the operator and the Hilbert–Schmidt forms of Young's inequality.
Received: 20 December 2001 / Revised version: 11 July 2002 / Published online: 10 February 2003
Mathematics Subject Classification (2000): 47A63, 15A60