positive definite linear operator