On the energy image density conjecture of Bouleau and Hirsch

Sylvester Eriksson-Bique, Mathav Murugan

We affirmatively resolve the energy image density conjecture of Bouleau and Hirsch (1986). Beyond the original framework of Dirichlet structures, we establish the energy image dens…