横截性条件是当容许函数在固定边界满足一定的约束的情形时，由变分为零导出的极值函数在边界上满足的条件。