Widder's representation theorem for symmetric local Dirichlet spaces

In classical PDE theory, Widder’s theorem gives a representation for nonnegative solutions of the heat equation on ${\mathbb{R}}^n$. We show that an analogous theorem holds for local weak solutions of the canonical “heat equation” on a symmetric local Dirichlet space satisfying a local parabolic Harnack inequality.