Computation of interface density profiles by density functional theories: application to the two-dimensional one-component plasma

We derive a density functional theory appropriate for hard wall problems. This formalism and the familiar square gradient theory are tested in the case of the two dimensional, one component plasma. Comparisons with exact (analytic and Monte Carlo) results show that both theories are reasonably accurate for not too strong coupling.