Lemma 2.5. (Concavity of ) On an open domain, suppose are continuous -psh functions, with
for . Then for , we have .
Verified tagged author-source HTML · 2007.01384v1 · cited publication edition alignment unverified.
Lemma 2.5. (Concavity of ) On an open domain, suppose are continuous -psh functions, with
for . Then for , we have .
Proof. In the smooth case this is a pointwise inequality expressing the concavity of on the set of Hermitian matrices. In general one shows this by an approximation argument [30, Lemma 1.2]. ∎