Poincaré's Variational Problem in Potential Theory

One of the earliest attempts to rigorously prove the solvability of Dirichlet's boundary value problem was based on seeking the solution in the form of a "potential of double layer", and this leads to an integral equation whose kernel is (in general) both singular and non-symmetric. C. Neumann succeeded with this approach for smoothly bounded convex domains, and H. Poincaré, by a tremendous tour de force, showed how to push through the analysis for domains with sufficiently smooth boundaries but no hypothesis of convexity. In this work he was (according to his own account) guided by consideration of a variational problem involving the partition of energy of an electrostatic field induced by charges placed on the boundary of a domain, more precisely the charge distributions which render stationary the energy of the field inside the domain divided by the energy of the field outside the domain. Unfortunately, a rigorous treatment of this problem was not possible with the tools available at that time (as Poincaré was well aware). So far as we know, the only one to propose a rigorous treatment of Poincaré's problem was T. Carleman (in the two-dimensional case) in his doctoral dissertation. Thanks to later developments (especially concerning Sobolev spaces, and spectral theory of operators on Hilbert space) we can now give a complete, general and rigorous account of Poincaré's variational problem, and that is the main object of the present paper. As a by-product, we refine some technical aspects in the theory of symmetrizable operators and prove in any number of dimensions the basic properties of the analogue of the planar Bergman-Schiffer singular integral equation. We interpret Poincaré's variational principle as a non-selfadjoint eigenvalue problem for the angle operator between two distinct pairs of subspaces of potentials. We also prove a series of novel spectral analysis facts (some of them conjectured by Poincaré) related to the Poincaré-Neumann integral operator.