2
$\begingroup$

A continuous function satisfies the condition $f(x)=\frac{1}{t}\int_{0}^{t}[f(x+y)-f(y)]dy\quad\forall x\in\mathbb{R}, \forall t>0$

We need to show $f(x)=cx$ for some constant $c$, well from the data we see $f(0)=0$ and I am unable to show $f(x+y)=f(x)+f(y)$ as then I can claim $f(x)=cx$ right? Would any one give me hint for that?

3 Answers 3

3

Fix $x$ and let $g(t) = tf(x)$. Then on the one hand $g'(t) = f(x)$ and on the other (fundamental theorem of calculus) $g'(t) = f(x + t) - f(t)$. Equating the right hand sides gives what you want.

  • 0
    @PeterTamaroff: Thanks. I d$i$dn't know that..:)2012-04-28
2

$f(x+y)= \frac{1}{t}\int_{0}^{t}[f(x+y+z)-f(z)]dz= \frac{1}{t}\int_{0}^{t}[f(x+y+z)-f(x+z)+f(x+z)-f(z)]dz= \frac{1}{t}\int_{0}^{t}[f(x+y+z)-f(x+z)]dz+\int_0^t[f(x+z)-f(z)]dz$

for all $,x,y,t$.

Thus

$f(x+y)-f(x)=\frac{1}{t}\int_{0}^{t}[f(x+y+z)-f(x+z)]dz$

After the substitution $u=x+z$ we get

$f(x+y)-f(x)=\frac{1}{t}\int_{x}^{x+t}[f(y+u)-f(u)]du=\frac{1}{t}\left[\int_{0}^{x+t}[f(y+u)-f(u)]du -\int_{0}^{x}[f(y+u)-f(u)]du \right]=\frac{1}{t}\left[(x+t)f(y)-xf(y) \right]=f(y)$

Hence

$f(x+y)-f(x)=f(y)$

2

This answer is meant to be a sort of stream-of-consciousness -- it's not meant to present the answer, but instead how you might follow your proof idea to obtain the answer. The thing we want to show is

$ \begin{align} \frac{1}{t_1} \int_0^{t_1} f(x + y + z_1) - f(z_1) \, dz_1 &= \frac{1}{t_2} \int_0^{t_2} f(x + z_2) - f(z_2) \, dz_2 \\ &+ \frac{1}{t_3} \int_0^{t_3} f(y + z_3) - f(z_3) \, dz_3 \end{align}$

for all $x, y$, and we are allowed to choose $t_1, t_2, t_3$ (and the choices may even depend on $x$ and $y$)

(to avoid confusing them, I've disambiguated the dummy variables! It turns out I didn't need to -- but at this point we don't yet know if we need the freedom!)

Well, to make the right side look like the left side, we could make a substitution. $z_2 = y + z_1$ will make $f(x + y + z_1)$ appear on the right hand side, so let's do that. (I could use $z_4$ to disambiguate some more, but I don't want it this time)

$ \begin{align} \frac{1}{t_1} \int_0^{t_1} f(x + y + z_1) - f(z_1) \, dz_1 &= \frac{1}{t_2} \int_{-y}^{t_2 - y} f(x + y + z_1) - f(y + z_1) \, dz_1 \\ &+ \frac{1}{t_3} \int_0^{t_3} f(y + z_3) - f(z_3) \, dz_3 \end{align}$

So that first integral on the right almost looks like the one on the left. Let's split it into two parts: one with the same integrand, and one for what's left over:

$ \begin{align} \frac{1}{t_1} \int_0^{t_1} f(x + y + z_1) - f(z_1) \, dz_1 &= \frac{1}{t_2} \int_{-y}^{t_2 - y} f(x + y + z_1) - f(z_1) \, dz_1 \\ &- \frac{1}{t_2} \int_{-y}^{t_2 - y} f(y + z_1) - f(z_1) \, dz_1 \\ &+ \frac{1}{t_3} \int_0^{t_3} f(y + z_3) - f(z_3) \, dz_3 \end{align}$

Let's choose $t_2 = t_1$ and cancel out what we can of those integrals:

$ \begin{align} \frac{1}{t_1} \int_{t_1 - y}^{t_1} f(x + y + z_1) - f(z_1) \, dz_1 &= \frac{1}{t_1} \int_{-y}^{0} f(x + y + z_1) - f(z_1) \, dz_1 \\ &- \frac{1}{t_1} \int_{-y}^{t_1 - y} f(y + z_1) - f(z_1) \, dz_1 \\ &+ \frac{1}{t_3} \int_0^{t_3} f(y + z_3) - f(z_3) \, dz_3 \end{align}$

Let's do the same with the last two integrals; substitute $z_3=z_1$ and $t_3=t_1$, and cancel:

$ \begin{align} \frac{1}{t_1} \int_{t_1 - y}^{t_1} f(x + y + z_1) - f(z_1) \, dz_1 &= \frac{1}{t_1} \int_{-y}^{0} f(x + y + z_1) - f(z_1) \, dz_1 \\ &- \frac{1}{t_1} \int_{-y}^{0} f(y + z_1) - f(z_1) \, dz_1 \\ &+ \frac{1}{t_1} \int_{t_1-y}^{t_1} f(y + z_1) - f(z_1) \, dz_1 \end{align}$

I'll now write $t_1=t$ and $z_1=z$. We can now simplify by multiplying through by $t$. With nothing else obvious to do, let's combine the integrals over the same ranges now. (I'm bringing the last one on the right over to the left side)

$ \int_{t - y}^{t} f(x + y + z) - f(y+z) \, dz = \int_{-y}^{0} f(x + y + z) - f(y+z) \, dz$

Note that everything we've done so far has been reversible. This is an important point, because we're working backwards -- I haven't been working towards the thing I'm trying to prove. Instead, I started with the thing I'm trying to prove and saw what I could derive from that!

Explicitly, given the choice of $t_2$ and $t_3$ I made above, this last equation is true if and only if the thing we are trying to prove is true.

Unfortunately, we can't choose $t=0$ to finish the proof. (do you see why?) Let's simplify again, by substituting $z = z_4 - y$:

$ \int_{t}^{t+y} f(x + z) - f(z) \, dz_4 = \int_{0}^{y} f(x + z) - f(z) \, dz_4$

At this point, I see N.S.'s proof, and he shows the last trick needed:

$ \int_{0}^{t+y} f(x + z_4) - f(z_4) \, dz_4 = \int_{0}^{y} f(x + z_4) - f(z_4) \, dz_4 + \int_0^t f(x+z_4) - f(z_4) \, dz_4$

$ (t+y) f(x) = y f(x) + t f(x)$

One might have discovered this by recognizing we know things about $\int_0^{\star}$, so we should try writing $\int_{t}^{t+y}$ in terms of such things.

This last statement is obviously true. Now, by following the derivation in reverse, we eventually obtain the thing we wanted to prove.