On the ellipticity and solvability of an abstract second-order dierential equation