Why is the growth of exps & logs so fast & slow, respectively?

  • Context: High School 
  • Thread starter Thread starter mcastillo356
  • Start date Start date
  • Tags Tags
    Theorem
Click For Summary

Discussion Overview

The discussion revolves around the growth rates of the exponential function \(e^x\) and the logarithmic function \(\ln x\). Participants explore the implications of a theorem regarding the relationship between these functions and their respective growth behaviors, examining both theoretical aspects and mathematical proofs.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant presents a theorem stating that \(\ln x \leq x - 1\) for \(x > 0\) and discusses its proof, noting that \(g(x) = \ln x - (x - 1)\) is increasing for \(0 < x < 1\) and decreasing for \(x > 1\).
  • Another participant questions the interpretation of "steady growth" of \(\ln x\), suggesting that while it is strictly monotone increasing, its growth rate is always less than 1, which may not align with the typical understanding of steady growth.
  • A participant argues that the proof does not imply the quick growth of \(e^x\) and clarifies that the bounds established do not guarantee a specific growth rate for \(\ln x\).
  • There is a mention of the relationship between \(e^x\) and powers of \(x\), with one participant stating that \(e^x\) increases more slowly than any positive power of \(x\), while \(\ln x\) increases more slowly than any positive power of \(x\) regardless of the power's size.
  • Discussion includes terminology related to growth rates, such as "monotone increasing" and "strictly monotone increasing," with clarifications on how these terms apply to different functions.

Areas of Agreement / Disagreement

Participants express differing views on the interpretation of growth rates and the implications of the theorem. There is no consensus on the characterization of the growth of \(\ln x\) or the relationship between \(e^x\) and powers of \(x\), indicating ongoing debate and exploration of the topic.

Contextual Notes

Participants highlight the need for clarity regarding definitions of growth rates and the conditions under which the theorem applies. Some assumptions about the behavior of functions at different intervals are discussed, but no definitive conclusions are reached.

mcastillo356
Gold Member
Messages
660
Reaction score
364
TL;DR
I don't understand the theorem that proves the question of the thread's title.
Hi, PF, there goes the theorem, questions, and attempt
THEOREM 4 If ##x>0##, then ##\ln x\leq{x-1}##
PROOF Let ##g(x)=\ln x-(x-1)## for ##x>0##. Then ##g(1)=0## and

##g'(x)=\displaystyle\frac{1}{x}-1\quad\begin{cases}>0&\mbox{if}\,0<x<1\\
<0&\mbox{if}\,x>1\end{cases}## (...). Thus, ##g(x)\leq{g(1)=0}##, ## \forall {x>0}## and ##\ln x\leq{x-1}## for all such ##x##

Question: The proof, why implies the quick growth of ##e^x## and the steady growing of ##\ln x##?

Attempt: ##g## grows in ##x\in{(0,1)}## and decreases in ##x\in{(1,\infty)}## (##g'(x)>0\,\forall{(0<x<1)}## and ##g'(x)<0\,\forall{(1<x<\infty)}##

Greetings!

Logaritmo neperiano.jpg

I will post without preview, apologizes. If it makes no sense, I will repeat promptly
 
Physics news on Phys.org
mcastillo356 said:
Question: The proof, why implies the quick growth of ##e^x## and the steady growing of ##\ln x##?
Let us take the latter question first: "How does the proof imply the steady growth of ##\ln x##?

What do you even mean by the "steady growth" of ##\ln x##?

Certainly the proof examines the difference between the first derivative of ##\ln x## and the first derivative of ##x-1##. It concludes that the "growth rate" (first derivative) of ##\ln x## is less than the growth rate of ##x-1##.

By itself, this does not assure us that ##\ln x## even has a growth rate. But we can easily see that indeed, ##\ln x## is strictly monotone increasing.

I suppose that "strictly monotone increasing" with a growth rate that is always less than 1 might count as "steady growth" to you.

Personally, I'd use the adjective "steady growth" for something with a growth rate that converged on a positive constant. ##\ln x## does not qualify.We are in a position now to attack the other question: "How does the proof imply the quick growth of ##\ln x##?

That answer is shorter. It does not.

Roughly speaking, the proof of the first part puts a bound on the graph of ##\ln x##. It bounds it below a 45 degree line, the graph of ##f(x) = x-1##. The graph of ##e^x## will be the mirror image, obtained by swapping the x and y axes. The proof puts a lower bound on ##e^x## at the mirror image 45 degree line, the graph of ##f(x) = x + 1##.

There are plenty of "steadily growing" functions with such a lower bound.
 
  • Like
Likes   Reactions: PeroK and scottdave
It depends on where on the x-axis whether it is increasing rapidly or slowly. I've forgotten a lot of Spanish, but I think it is asking about when x is large.
 
You might like to check Courant’s “Differential and Integral Calculus”, Vol. I, Rev. Ed., about the order of magnitude of functions, pp. 189.
 
Hi, PF, @jbriggs444, @scottdave, @apostolosdt.

jbriggs444 said:
Let us take the latter question first: "How does the proof imply the steady growth of ##\ln x##?

What do you even mean by the "steady growth" of ##\ln x##?

It's been an own's and free translation, @jbriggs444. I agree with your statement:

jbriggs444 said:
I suppose that "strictly monotone increasing" with a growth rate that is always less than 1 might count as "steady growth" to you.

This is, for all ##x## and ##y## such that ##x\leq y\rightarrow{f(x)\leq{f(y)}}##. One question: how could I get some info on growth rate?

Now, the question I do not solve is that ##e^x## increases more slowly than any positive power of ##x## (no matter how large the power), while ##\ln x## increases more slowly than any positive power of ##x## (no matter how small the power). The fact that ##g(x)\leq{g(1)=0}## for all ##x>0## and ##\ln\leq{x-1}## for all such ##x## is bounds, but not a proof of the singular growing properties of ##\ln x## and ##e^x##.

Now I think that it is all about introducing exponential growth and decay models, a few paragraphs forward.

Greetings!
 
mcastillo356 said:
This is, for all ##x## and ##y## such that ##x\leq y\rightarrow{f(x)\leq{f(y)}}##. One question: how could I get some info on growth rate?
The terminology I learned (in the 70's) for that attribute is "monotone increasing".

If one strengthens the inequality to ##x \lt y \rightarrow f(x) \lt f(y)## then the term is "strictly monotone increasing".

So a constant function such as ##f(x) = 1## would be "monotone increasing" but not "strictly monotone increasing". A function such as ##f(x) = x^3## would be both monotone increasing and strictly monotone increasing despite the inflection at ##x=0##.

mcastillo356 said:
Now, the question I do not solve is that ##e^x## increases more slowly than any positive power of ##x## (no matter how large the power), while ##\ln x## increases more slowly than any positive power of ##x## (no matter how small the power).
Here, you appear not to be worried about any constant multiplier or fixed offset. So, for instance, you would say that ##x^2## increases more rapidly than ##10x + 15##.

That sounds like an application for "big O notation".
 
Last edited:
  • Like
Likes   Reactions: mcastillo356

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K