Is this a valid explanation of why ln() is unbounded near zero?

Click For Summary
SUMMARY

The discussion centers on the behavior of the natural logarithm function, specifically its unbounded nature near zero. The derivative of the function defined as ##f(x) = -\ln(-x)## is shown to be ##f'(x) = -\frac{1}{x}##, which is always positive on the interval ##(-1,0)##, indicating that ##f## is monotonically increasing. The conclusion drawn is that for any positive value ##M##, there exists a region ##R=(0,r]## such that ##\ln(x) > M##, confirming that the logarithm is indeed unbounded as ##x## approaches zero from the right.

PREREQUISITES
  • Understanding of calculus, specifically derivatives and monotonic functions.
  • Familiarity with the natural logarithm function and its properties.
  • Knowledge of the exponential function and its behavior.
  • Basic concepts of limits and unbounded functions in real analysis.
NEXT STEPS
  • Study the properties of the natural logarithm function, particularly its limits as ##x## approaches zero.
  • Explore the relationship between the natural logarithm and the exponential function in detail.
  • Learn about monotonic functions and their implications in calculus.
  • Investigate the concept of unbounded functions and their definitions in mathematical analysis.
USEFUL FOR

Students and professionals in mathematics, particularly those studying calculus and real analysis, as well as educators looking to deepen their understanding of logarithmic functions and their properties.

Eclair_de_XII
Messages
1,082
Reaction score
91
Homework Statement
Define ##f:(-1,0)\rightarrow \mathbb{R}## by ##f(x)=-\ln(-x)##. Show that ##f## is unbounded.
Relevant Equations
A function ##f## is said to be unbounded if for all positive numbers ##M##, there is a ##y## in ##\textrm{dom}(f)## such that ##|f(y)|>M##.
So far, I found the derivative of ##f##:

\begin{align*}
\frac{d}{dx}\,f(x)&=&-\frac{d}{dx}\,\ln(-x)\\
&=&-\left(\frac{1}{(-x)}\right)(-1)\\
&=&-\frac{1}{x}
\end{align*}

##f'(x)## is always positive and never zero on its domain.

Hence, ##f## does not have a local maximum and is always increasing on the interval ##(-1,0)##.

Are these conditions sufficient to argue that ##\ln## is unbounded near zero?
 
Physics news on Phys.org
What about f(x)=x? The derivative is always positive as well. Is that unbounded?
 
  • Like
Likes vela and Delta2
That is not what they are looking for. You should directly use the definition of "unbounded" that you gave. Assume that you have a value for ##M \gt 0## and determine a region ##R=(0,r]## for which ##x\in R## implies ##ln(x)\gt M##.

EDIT: The above is wrong. Determine a value, ##r \in (-1,0)## where ##|f(r)|\gt M##.
 
Last edited:
It's not as simple as setting ##f(r) = M + 1## and then solving for ##r##, is it?

##r=-\exp[-(M+1)]##

\begin{align*}
f(r)&=&-\ln(-r)\\
&=&-\ln[-(-\exp[-(M+1)])]\\
&=&-\ln[\exp[-(M+1)]]\\
&=&\ln[\exp(M+1)]\\
&=&M+1\\
&>&M
\end{align*}
 
Is r inside the interval you are supposed to be working on?
 
Let me see:

1. The ##\exp## function is always positive, so ##-\exp(x)## for some ##x## is always negative.
2. ##e>2>0##. ##M## is positive, so the sum ##M+1## is positive. ##|e^{-(M+1)}|=\frac{1}{e^{M+1}}<1##, as a result.

I should think that ##r=-\exp[-(M+1)]## is in ##(-1,0)##
 
Last edited:
Looks right to me.
 
  • Like
Likes Eclair_de_XII
Arr, thanks for the help and giving that counter-example that I overlooked.
 
Eclair_de_XII said:
Define ##f:(-1,0)\rightarrow \mathbb{R}## by ##f(x)=-\ln(-x)##. Show that ##f## is unbounded.
It would have been simpler to work with ##g(x) = \ln(x)## on the interval (0, 1). It would have made the arithmetic a bit less tedious. This function is the reflection across both the x and y axes of the one you have. Both f and g are unbounded for x near 0.
 
  • Like
Likes FactChecker

Similar threads

Replies
6
Views
1K
Replies
12
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
6
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 26 ·
Replies
26
Views
3K