Sharp lower bound of spectral gap for Schrödinger operator and related results