la_20此条件可视为在可微分函数的空间中，formula_21在各方向的导数均为formula_1。若假设formula_9二阶可微（或至少弱微分存在），则利用分部积分法可得其中formula_10为在两端点皆为0的任意二阶可微函数。这是变分法基本引理的一个特例：其中formula_10为在两端点皆为formula_1的任意可微函数。若存在formula_29使formula_30，则在formula_31周围有一区间的H也是正值。可以选择formula_10在此区间外为formula_1