The Birman--Solomyak theorem revisited: a novel elementary proof, generalisation, and applications

We provide a new short proof for the Birman–Solomyak theorem for Hilbert–Schmidt operators and give an application to a Schrödinger–Poisson system.