A ground state alternative for singular Schrödinger operators

Let a be a quadratic form associated with a Schrödinger operator L=-∇·(A∇)+V on a domain Ω⊂R^d. If a is nonnegative on , then either there is W>0 such that for all , or there is a sequence and a function ?>0 satisfying L?=0 such that a[?_k]→0, ?_k→? locally uniformly in Ω?{x₀}. This dichotomy is equivalent to the dichotomy between L being subcritical resp. critical in Ω. In the latter case, one has an inequality of Poincaré type: there exists W>0 such that for every satisfying there exists a constant C>0 such that for all .