对formula_17的导数（A的一阶导数）在formula_18时必为formula_1：formula_20此条件可视为在可微分函数的空间中，formula_21在各方向的导数均为formula_1。若假设formula_9二阶可微（或至少弱微分存在），则利用分部积分法可得其中formula_10为在两端点皆为0的任意二阶可微函数。这是变分法基本引理的一个特例：其中formula_10为在两端点皆为formula_1的任意可微函数。若存在formula_29使formula_30，则