Strict Dirichlet Pólya Inequality for Simply Connected Planar Domains

Abstract: We establish the strict Dirichlet Pólya inequality on every bounded simply connected planar domain. The proof uses a unitary boundary transport formulation of the Helmholtz equation and relates Dirichlet resonances to unitary eigenphase crossings through the Dirichlet-to-Neumann map. An exact area identity yields the sharp Weyl coefficient, while a Ky Fan estimate leaves a strictly positive remainder in the counting estimate. The general case follows by conformal exhaustion.