elliptic PDE, semilinear, disk, Morse index, symmetries, 
Zernike, Henon, Banach algebra, Laplacean, eigenvalues, 
computer, validated, numerical