Validated numerical solutions for some semilinear elliptic equations on the disk

Gianni Arioli, Hans Koch

Starting with approximate solutions of the equation $-\Delta u=w{u}^3$ on the disk, with zero boundary conditions, we prove that there exist true solutions nearby. One of the challenges he…