7
$\begingroup$

Let $f$ and $g$ be non-negative continuous functions on $[0,1]$ such that $f(x)>g(x)$ for all $x$ in $[0,1]$. Show that there exists a constant $c>1$ such that for all $x$ in $[0,1]$ we have $f(x)\ge c g(x)$.

I tried using the fact that since $[0,1]$ is compact and $f$ and $g$ are continuous $f$ and $g$ each attain a maximum and a minimum on $[0,1]$, but it didn't get me anywhere. Anyone know how to prove this?

$\endgroup$
9
  • 3
    $\begingroup$ How can an account be deleted 2 minutes after asking a question? $\endgroup$ Dec 20, 2012 at 16:43
  • $\begingroup$ The question asked $f(x) \geq Mg(x)$. $\endgroup$
    – N. S.
    Dec 20, 2012 at 16:45
  • $\begingroup$ @N.S. Ah, made a mistake while converting to $\LaTeX$. Fixed now. $\endgroup$ Dec 20, 2012 at 16:46
  • 1
    $\begingroup$ @MattN. Good question. I thought only moderators could delete users. $\endgroup$
    – Nameless
    Dec 20, 2012 at 16:49
  • 1
    $\begingroup$ @MattN. This person appears to be posting exactly once then deleting their account, which this (unclearly phrased) meta.SO post indicates is possible. There have already been two "answers" posted here, intended as comments, and most likely by the same person as who posted the question, which are now deleted because they immediately deleted those accounts as well. $\endgroup$ Dec 20, 2012 at 17:08

5 Answers 5

4
$\begingroup$

Take $h(x)=\frac{g(x)}{f(x)}$. This function is continuous and well-defined because $f(x)>g(x)\geq 0$.

But the above says that $h(x)<1$ for all $x$. Then $h$ has a maximum, $m$ and it is less than $1$. We have that $\frac{g(x)}{f(x)}\leq m$ and therefore $m\cdot f(x)\geq g(x)$. Take $c=\frac1m$ then $c>1$ and we have $f(x)\geq c\cdot g(x)$.

$\endgroup$
6
  • $\begingroup$ elegant, thanks! $\endgroup$ Dec 20, 2012 at 23:53
  • $\begingroup$ @Eric: Thanks!! $\endgroup$
    – Asaf Karagila
    Dec 20, 2012 at 23:53
  • $\begingroup$ This the same, as N.S.'s solution here. Still, very nice! $\endgroup$
    – dtldarek
    Dec 20, 2012 at 23:54
  • $\begingroup$ @dtldarek: Well it is a reasonably obvious solution if you think about it... :-) $\endgroup$
    – Asaf Karagila
    Dec 20, 2012 at 23:55
  • $\begingroup$ @dtldarek: And now it's N.S.'s solution here. :-) $\endgroup$
    – Asaf Karagila
    Dec 21, 2012 at 0:27
3
$\begingroup$

Since $f(x) >g(x) \geq 0$ you know that $f(x) \neq 0$.

Then the function $\frac{g(x)}{f(x)}$ is continuous on $[0,1]$ and thus It attains it's maximum.

Let $N$ be its maximum, and let $x_0$ be the point where it is attained. Then

$$N=\frac{g(x_0)}{f(x_o)} <1$$

and since $N$ is the maximum

$$f(x)\geq \frac{1}{N} g(x) \,.$$

$\endgroup$
2
  • $\begingroup$ Is there an example where this fails when the domain is no longer [0,1] but the whole real line R? $\endgroup$
    – R.Q
    Dec 20, 2012 at 17:04
  • $\begingroup$ yes. $f(x)=1+\frac{1}{x^2+1}$ and $g(x)=1$. $\endgroup$
    – N. S.
    Dec 20, 2012 at 18:27
1
$\begingroup$

Edit: The function $f(x)-g(x)$ is continuous on $[0,1]$ and strictly positive, so it attains a minimum $k_1>0$. The function $g(x)$ is also continuous on this interval, and attains a maximum $k_2\geq 0$. If $k_2=0$, then $g(x)=0$ and the problem is trivial, so assume that $k_2>0$. With this maximum and minimum in mind, consider the function

$$h(x)=f(x)-\left(1+\frac{k_1}{2k_2}\right)g(x).$$

What can we say about it's minimum on $[0,1]$?

$\endgroup$
0
$\begingroup$

Hint:

Let $A = \{x \mid g(x) \neq 0\}$. Set $c = \inf_{x \in A} \frac{f(x)}{g(x)}$.

$\endgroup$
0
$\begingroup$

Set $\epsilon>0$ and $$ C=\left(1+\epsilon\right)>0 $$ Note that $\epsilon\cdot g(x)>0$ and \begin{align} f(x)-C\cdot g(x)= & f(x)-\left(1+\epsilon\right)\cdot g(x) \\ = & f(x)-g(x)+\epsilon\cdot g(x) \\ > & \epsilon\cdot g(x) \\ > & 0 \end{align}

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .