边值问题的变分形式