The graph of $-J_0\partial_t - S$ on $L^2(S^1,\mathbb{R}^{2n})$ is closed under real scalar multiplication

Initializing...

The graph of $-J_0\partial_t - S$ on $L^2(S^1,\mathbb{R}^{2n})$ is closed under real scalar multiplication · Prove2Me