Constructive proofs for some semilinear PDEs on $H^2(e^{|x{|}^2/4},{\mathbb{R}}^d)$

Maxime Breden, Hugo Chu

We develop computer-assisted tools to study semilinear equations of the form \begin{equation*} -Δu -\frac{x}{2}\cdot \nabla{u}= f(x,u,\nabla u) ,\quad x\in\mathbb{R}^d. \end{equat…