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,+\infty[$. As a consequence, we derive some comparison principles and various positivity results.