Lim |f(x)| = +infty and f decreasing implies lim f(x) = +infty

[fmam3]

Homework Statement

If f is defined on (a,b), \lim_{x \to a^{+}} |f(x)| = +\infty and f is decreasing on (a,b), show that \lim_{x \to a^{+}} f(x) = +\infty.

Homework Equations

The Attempt at a Solution

If \lim_{x \to a^{+}} |f(x)| = +\infty, then \forall M > 0, \exists \delta > 0 such that \forall x \in (a,b) and a < x < a + \delta, we have |f(x)| > M, which implies we either have f(x) > M or f(x) < -M. It suffices to show that f(x) < -M does not hold.

For contradiction, suppose that f(x) < -M for x \in (a,b) \cap (a, a + \delta). Consider a sequence of real numbers (x_n) such that x_n \in (a,b) \cap (a, a + \delta) and x_{n+1} > x_n and \lim_{n \to \infty}x_n = a for \forall n \in \mathbb{N}. Since f is decreasing, x_{n+1} > x_n implies f(x_n) \geq f(x_{n+1}). Thus, we have that -M > f(x_n) \geq f(x_{n+1})...

But this is the part where I got stuck... any help appreciated! Thanks in advance!

 

[Office_Shredder]

It's always entirely possible that for some x really close to a, f(x) is really large in magnitude and negative. The key is that once you have that, f(x) can never get smaller than that. So for example, if you pick M cleverly, like

M=|f(\frac{a+b}{2})|

then you know that for x<(a+b)/2 f(x) cannot be less than -M

 

[fmam3]

It's always entirely possible that for some x really close to a, f(x) is really large in magnitude and negative. The key is that once you have that, f(x) can never get smaller than that. So for example, if you pick M cleverly, like

M=|f(\frac{a+b}{2})|

then you know that for x<(a+b)/2 f(x) cannot be less than -M

Thanks for the reply! I just want to follow up on this.

Suppose we have picked M=|f(\frac{a+b}{2})|, but since I want to show that f(x) &lt; -M cannot hold, I want to reach a contradiction somewhere. But I'm not seeing the contradiction. That is, suppose that we have f(x) &lt; -M = -|f(\frac{a+b}{2})| for x \in (a,b) \cap (a, a + \delta). But since f is decreasing on (a,b), then we have for x &lt; (a + b)/2, f(x) \geq f(\frac{a+b}{2}) (1)

But even with this, how can I show that f cannot be less than -M? That is, since M = |f(\frac{a+b}{2})| is in terms of absolute values, but expression (1) does not exactly involve M (i.e. no absolute values).

Any further help is appreciated! Thanks :)

 

[Office_Shredder]

Thanks for the reply! I just want to follow up on this.

Suppose we have picked M=|f(\frac{a+b}{2})|, but since I want to show that f(x) &lt; -M cannot hold, I want to reach a contradiction somewhere. But I'm not seeing the contradiction. That is, suppose that we have f(x) &lt; -M = -|f(\frac{a+b}{2})| for x \in (a,b) \cap (a, a + \delta). But since f is decreasing on (a,b), then we have for x &lt; (a + b)/2, f(x) \geq f(\frac{a+b}{2}) (1)

But even with this, how can I show that f cannot be less than -M? That is, since M = |f(\frac{a+b}{2})| is in terms of absolute values, but expression (1) does not exactly involve M (i.e. no absolute values).

Any further help is appreciated! Thanks :)

f(\frac{a+b}{2})

is either M or -M. I f(x)<-M, we have f(x)<M also (since M is positive). So regardless of whether f(\frac{a+b}{2} is positive or negative, we have that f(x) is less than it.

But if x&lt; \frac{a+b}{2} it must be f(x) &gt;f( \frac{a+b}{2}) as f is decreasing

 

[fmam3]

f(\frac{a+b}{2})

is either M or -M. I f(x)<-M, we have f(x)<M also (since M is positive). So regardless of whether f(\frac{a+b}{2} is positive or negative, we have that f(x) is less than it.

But if x&lt; \frac{a+b}{2} it must be f(x) &gt;f( \frac{a+b}{2}) as f is decreasing

Thanks for the quick reply! I get the contradiction part in your last sentence, but I'm a little fuzzy on the first sentence. Just to be absolutely clear, I'll just spell it all out. Hope I'm understanding you correctly!

Let M &gt; 0. Then set M = |f(\frac{a+b}{2})|. Then we must have that f(\frac{a+b}{2}) = M (i.e. positive f) or f(\frac{a+b}{2}) = -M (i.e. negative f). Now, we consider only the case f(x) &lt; -M &lt; 0. Then, in this case, we must have the case of negative f. Hence, this would imply that f(x) &lt; -M = -(-f(\frac{a+b}{2})) = f(\frac{a+b}{2}). And from this, we use the fact that f is decreasing to reach the contradiction.

I just want to be sure that this is how I'm interpreting the below:

f(\frac{a+b}{2}) is either M or -M. I f(x)<-M, we have f(x)<M also (since M is positive). So regardless of whether f(\frac{a+b}{2} is positive or negative, we have that f(x) is less than it.

Thanks again for the help!

 

[fmam3]

Actually, just to be nitpicking a bit. I think just saying x &lt; (a + b) / 2 is not sufficient. Since the statement f(x) &lt; -M only holds for x \in (a,b) \cap (a, a + \delta), it is not necessarily true that (a + b) / 2 falls into that range. Hence, I think it would be better if we write, for a &lt; x &lt; \min\{(a+b)/2, a + \delta\}, then since f is decreasing on (a,b), it follows that f(x) \geq f(\frac{a+b}{2}) --- contradiction to the above.