2

Problem: Suppose $f$ is continuous for $x\ge 0$, differentiable for $x>0$, $f(0)=0$, and $f'$ is monotonically increasing.

Define $g(x)=\frac{f(x)}{x}$ for $x>0$. Prove that $g$ is monotonically increasing.

Source: W. Rudin, Principles of Mathematical Analysis, Chapter 5, exercise 6.

Jonas Meyer
  • 53,602
Potato
  • 40,171
  • 3
  • 1
    @did, Potato: I think this discussion on meta is quite relevant here: User flooding the site with questions - more than 6/day. –  Jun 30 '12 at 06:40
  • 1
    I don't think that Rahul's link is very relevant, because there were different factors beyond the number of questions being posted that caused much of the concern there. – Jonas Meyer Jun 30 '12 at 06:52
  • @JonasMeyer The situation is not identical but 6 questions in 8 hours in the present case make it similar in at least one aspect hence Rahul's link is definitely relevant. And I agree some specifics are different. – Did Jun 30 '12 at 07:02
  • 1
    @JonasMeyer, I think many of the responses in the meta discussion remain relevant, for example: "The questions should be judged on their individual merits. The site should be filled with good questions." and "What is the difference if one person posts 10 monthly problems in one day, and if 10 different people post one monthly problem each in different months?" vs. "What bothers me about a large number of questions in a short period of time is that typically the effort put in by the poster is minimal." and "We don't need a list of textbook questions and answers on this site." –  Jun 30 '12 at 07:18
  • 1
    "...typically the effort put in by the poster is minimal."--I don't think that applies here. – Jonas Meyer Jun 30 '12 at 07:21
  • @JonasMeyer The effort put in the question is minimal since the question is merely copied from PMA. (I know the same remark does not apply to the answer.) – Did Jun 30 '12 at 07:33

5 Answers5

17

$${f(x)\over x}=\int_0^1 f'(t\, x)\ dt\qquad(x>0)\ .$$

  • This is neat. Side note: There could be problems applying the FTC, or even with the derivative not being integrable in general (e.g., see this MathOverflow question), which is a reason the mean value theorem is often preferred for problems of this sort. However, it follows from the hypotheses of the problem that $f'$ is continuous, so there is no difficulty here applying FTC. – Jonas Meyer Jun 30 '12 at 08:15
  • 1
    This is the way a proof should look like :-) (+1) – user 1591719 Jun 30 '12 at 09:17
3

Note that $g$ is differentiable everywhere it is defined. Fix $x, y\in\mathbb{R}$ with $y>x$. By the mean-value theorem, for some $t\in(x,y)$, we have

$$\frac{g(y)-g(x)}{y-x} = g'(t)= \frac{tf'(t)-f(t)}{t^2}.$$

Because $y-x$ is positive, it suffices to show that $$h(x)=\frac{xf'(x)-f(x)}{x^2}$$ is nonnegative. This reduces to showing that

$$f'(x)\ge \frac{f(x)}{x}$$

for $x>0$.

Consider the mean-value theorem applied to $[0,x]$ For some $t\in(0,x)$,

$$\frac{f(x)-f(0)}{x}=f'(t),$$

and the result follows because $f(0)=0$ and $f'$ is monotonically increasing.

Potato
  • 40,171
2

By assumption, $f$ is a convex function. Then $$g(x)=\frac{f(x)-f(0)}{x-0}$$ must be increasing in $x$, by a standard property of convex functions of one variable.

Siminore
  • 35,136
1

The condition that $f'$ is increasing implies that $f$ is convex. Geometrically, the statement to be proved is that for $0 < x < y$ the slope of the chord from $(0,0)$ to $(x,f(x))$ is less than or equal to the slope of the chord from $(0,0)$ to $(y,f(y))$. Thus we expect to use the definition of convexity for the three points $0,x$, and $y$: $$f({1 -x \over y}0 + {x \over y}y) \leq {1 -x \over y}f(0) + {x \over y}f(y)$$ Since $f(0) = 0$, this is the same as $$f(x) \leq {x \over y} f(y)$$ This in turn is the same as $${f(x) \over x} \leq {f(y) \over y}$$

Zarrax
  • 44,950
0

Proud of this one (even if it wasn't impressive). After taking the derivative of g, you can use the fact that the integral of $\int_{0}^{x}f'(x')dx'$ must be bounded like $\int_{0}^{x}f'(x')dx' < xf'(x)$. (Note: x' is dummy var)

EEH
  • 19
  • 6