Lebesgue measure
是函数u在定义域formula_1 上的平均值，而formula_9指的是区域formula_1的勒贝格测度。