Compact L2 potential perturbation of the Dirichlet Laplacian
ID: compact-l2-potential-perturbation-of-the-dirichlet-laplacian
On a bounded open set, let be the weak solution of . The energy estimate bounds . For , put . The zero-boundary Rellich-Kondrachov compactness theorem gives compact embedding into , and Hölder's inequality gives . Hence is compact on , without a regularity assumption on the boundary. Writing makes equivalent to . The Fredholm alternative for a compact operator then identifies unique solvability with triviality of the homogeneous kernel.
New to topics? Read the docs here!