positive difinite linear operator