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!