Suppose that $a,b\in\mathbb{R}^+$ which $a+b<1$ and $f:[0,+\infty) \rightarrow [0,+\infty) $ be the increasing function s.t. $\forall x\geq 0 ,\int _0^x f(t)dt=\int _0^{ax} f(t)dt+\int _0^{bx} f(t)dt$. Prove that $\forall x\geq 0 , f(x)=0$
Problem
Source: Romania 1998
Tags: calculus, integration, function, real analysis, real analysis unsolved
24.08.2005 14:15
not hard but
25.08.2005 01:10
If you know the solution, then this is not the place to post the problem. Try "Algebra Proposed and Own Problems" instead. If you don't know the solution (but, still, you find it "not hard but cool...") I'll post it.
25.08.2005 02:02
Because $f$ is positive and increasing, it's easy to see that $\forall x,u>0 : uf(x) \leq \int _x^{x+u} f(t)dt=\int _{ax}^{a(x+u)} f(t)dt+\int _{bx}^{b(x+u)} f(t)dt $ $\leq auf(a(x+u)) + buf(b(x+u))$ so $f(x) \leq af(a(x+u)) + bf(b(x+u))$ . I take $u = \frac{1-a-b}{a+b}x \Longrightarrow (a(x+u) \leq x)\& ( b(x+u) \leq x) $ $\Longrightarrow (f(a(x+u)) \leq f(x))\& ( f(b(x+u)) \leq f(x))$ , so $f(x) \leq (a+b)f(x)$ But $0 < a+b < 1$ and $ 0 \leq f(x)$, so we have to have $\forall x>0, f(x)=0$ and $0 \leq f(0) \leq f(1)=0 \Longrightarrow f(0)=0$ q.e.d.= c.q.f.d.
25.08.2005 12:53
enescu wrote: If you know the solution, then this is not the place to post the problem. Try "Algebra Proposed and Own Problems" instead. If you don't know the solution (but, still, you find it "not hard but cool...") I'll post it.