One-sided interval averaging operator

ID: one-sided-interval-averaging-operator

For , the forward average is and the backward average is , both with positive interval length in the denominator. They are linear operators. Their absolute values are bounded by the uncentered maximal function: enlarge the interval to put in its interior and pass to the limit. The same boundary-enlargement argument works regardless of the value of the chosen representative at .

New to topics? Read the docs here!