Characterization of positive superharmonic functions in a half-space

We prove a representation formula for superharmonic functions on the half-space ${\mathbb{R}}_{+}^N:={\mathbb{R}}^{N-1}\times ]0,+\mathrm{\infty }[$. As a consequence, we derive some comparison principles and various positivity results.