KPP traveling waves in the half-space

We study traveling waves of the KPP equation in the half-space with Dirichlet boundary conditions. We show that minimal-speed waves are unique up to translation and rotation but faster waves are not. We represent our waves as Laplace transforms of martingales associated to branching Brownian motion in the half-plane with killing on the boundary. We thereby identify the waves' asymptotic behavior and uncover a novel feature of the minimal-speed wave $\Phi$. Far from the boundary, $\Phi$ converges to a logarithmic shift of the 1D wave $w$ of the same speed: $\displaystyle \lim_{y \to \infty} \Phi\big(x + \tfrac{1}{\sqrt{2}}\log y, y\big) = w(x)$.
Comment: 54 pages. Added Remark 1.1 on the applicability of our methods to more general, "KPP" nonlinearities. Minor typos corrected