Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $f(t)$ be a convex function and define $g(t)$ to be the running average of $f(t)$

$$g(t) = \frac{1}{t} \displaystyle\int_0^t f(\tau) ~d\tau$$ Then $g$ is convex.

This is easy enough to prove just by differentiating twice. My question is: is there an easy geometric proof of this statement?

share|cite|improve this question
A possibly useful change of variables: $g(t) = \int_0^1 f(ts)\,ds$. – Sean Eberhard Sep 11 '12 at 22:12
@SeanEberhard: Very nice. – copper.hat Sep 11 '12 at 22:15
up vote 2 down vote accepted

I would not differentiate twice, only because of the simple reason that you don't even know that $f$ is differentiable. However, there is a geometric way of looking at this. A convex function $f$ is defined by the following property: the graph of $f(x)$ between $x = a$ and $x = b$ lies below the line connecting the points $(a,f(a))$, $(b, f(b))$. I would like to say that pictorially I can think of the averages of the endpoints as always being larger than the full average over the whole interval $(a,b)$. So when you're averaging the average, this should remain the case. But maybe that isn't really precise enough...

Sean Eberhard's change of variables is very useful for formalizing this; for $r \in [0,1]$, $$ rg(a) + (1-r)g(b) = \int_0^1 rf(as) + (1 -r)f(bs) \, ds \geq \int_0^1 f(ras + (1-r)bs) \, ds = g(ra + (1 - r)b). $$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.