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.

Articles by others on the same topic (NaN)

There are currently no matching articles.