抽象变分问题