边值问题变分形式