主要结果（非正式）：对于局部最小值具有相同值的非凸函数，即所有局部最小值都是全局的，薛定谔方程的演化表现为：