3
$\begingroup$

Given $a>1$ and $f:\mathbb{R}\backslash{\{0}\} \rightarrow\mathbb{R}$ defined $f(x)=a^\frac{1}{x}$

how do I show that $\lim_{x \to 0^+}f(x)=\infty$?

Also, is the following claim on sequences correct and can it be used somehow on the question above(by using Heine and the relationship between sequences and fucntions)? Given two sequences {$a_n$},{$b_n$} that converge to $a$ and $b$ respectively, then $a_n^{b_n}$ converges to $a^b$ as $n$ approces to $\infty$.

I think about this claim because in respect to the original question I know that $a^\frac{1}{x}$ is composed of a constant function $a$ which at any point converges to a and $\frac{1}{x}$ which converges to infinity as x approaches to zero, however I'm not sure how to make the transition between sequences and fucntions in this particular case.

I hope the question is clear.

(By the way, this isn't an homework assignment).

Thanks.

  • 0
    On the limit, have you tried taking a large number $N$ and working out whether you can identify a value of $x$ which would make $f(x)>N$?2012-05-15

3 Answers 3

2

You could do this:

$$\begin{align} \lim_{x \to 0^{+}} a^{\frac{1}{x}} &= \lim_{u \to \infty} a^u = \infty. \end{align} $$

EDIT: Just to add a bit more to my answer. What I have written is all fine and good. The idea is that as $x$ goes to $0$ from the right, then $u = \frac{1}{x}$ goes to infinity. And when you take $a>1$ and raise it to increasing powers, then the result will also go to infinity.

You mention in your question something about sequences. In general, I think, that is a good way to think about it. But in your example the functions (sequence) in the exponent is not convergent (does not have a limit as $x$ goes to $0$ from the right) as it goes to infinity (as so by definition is not convergent). Hence you can't really use the result that you are referring to.

So what can you do? It depends on what you already "know". My answer of course assumed that you know that $\lim_{x\to 0^{+}} = \infty$. And it assumes that you can bring the limit up in the exponent. But if you want to know why these things are so - if you want to prove that the limit is infinity going back to the the definition, then you have to do as in Mark's answer.

  • 0
    You should specify $+\infty$.2012-05-15
  • 0
    @PeterTamaroff Some might disagree with that: http://math.stackexchange.com/questions/127609/is-infty-enough-or-do-i-need-to-write-infty/127671#1276712012-05-15
  • 0
    I see. In general, in the [extended real number line](http://en.wikipedia.org/wiki/Extended_real_number_line), it is convention to use $+\infty$ and $-\infty$. $\infty$ is usually used for [unsigned infinity](http://en.wikipedia.org/wiki/Unsigned_infinity).2012-05-15
  • 0
    what is u and why the transition legit?2012-05-15
  • 0
    @Anonymous One more thing: My answer was just an attempt to get across that as $u$ approaches $0$ from the right, $\frac{1}{x}$ approaches infinity, i.e. it increases without bound. Since $a > 1$ and you are taking greater and greater powers of $a$ the result will also increase without bound. If you are looking for something more precise, then Mark's answer is much better. It all depends on what you already "know" for this problem. So why is this legit? Because of Mark's answer.2012-05-15
2

My thought was to go back to the definition of the limit. Choose $N$ large and positive. You want to show that you can choose (a small positive) $x$ so that $f(x)>N$

So we want $$a^{\frac1x}>N$$

Take logs (note log is an increasing function) $$\frac1x \log a > \log N$$

and this is true if $$x < \frac{\log a}{\log N}$$

This inequality is the right way round, and we can reverse the logic. $N$ was arbitrary, so for $x$ small enough $f(x)$ is greater than $N$.

Note that we can take logs to any base - I did not specify which above, and it does not make a difference to the ratio - $e$ would be normal, but if we note that $a>1$ we can use $a$ as a base for logarithms with $\log_a a=1$ the second equation becomes: $$\frac 1x>\log_a N$$ and the third beomes: $$x<\frac 1 {\log_a N}$$ These equations look simpler, but contain the same information - to compute them using tables or a calculator requires a base which is tabulated or calculated.

  • 0
    assuming $x < \frac{\log_a a}{\log_a N}$ therefore $\frac1x \log_a a > \log_a N$ why can I deduce that $a^{\frac1x}>N$?2012-05-15
  • 0
    The exponential function is the inverse of the logarithm. So take the exponential of each side (as you have edited for me, you could take logs to base $a$, which would be neat)2012-05-15
  • 0
    why does $exp(\frac1x \log_a a) = a^{\frac1x}$?2012-05-15
  • 0
    Note that $y\log a = \log a^y$ and apply this with $y=\frac 1x$ to give $\frac 1 x \log a = \log a^{1/x}$. To whatever base we then have $\exp (\log {a^\frac1x}) = a^{\frac1x}$.2012-05-15
  • 0
    OK, I see. Two more questions: 1. according to wiki the Exponential function is the function $e^x$ but we we were talking about a!=e. What am I missing? 2.why does $exp(\log_a N)=N$ in general? could you prove it by definition maybe?(as you can see I'm new to log and exp). Thanks a lot.2012-05-15
  • 0
    Well, I was using exponential to any base, which is slightly unconventional, but is the power function $a^{\log_a N} = N$2012-05-15
  • 0
    You could of course do everything to base e, but $\log_a a =1$2012-05-15
  • 0
    I don't understand why $exp(\log_a N)=a^{\log_a N}$2012-05-15
  • 0
    Let's just say I might have put $exp_a$ instead of $exp$ like $log_a$ instead of $log$ or $ln$2012-05-15
  • 0
    I'm sorry, I don't understand the definition of $exp_a$, therefore I don't understand why $exp_a(\log_a N)=a^{\log_a N}$.2012-05-15
  • 0
    $exp_a N = a^N$ (definition) line $exp N = e^N$ with the base understood - it's just a question of working to consistent bases2012-05-15
  • 0
    now I understand, thanks! :)2012-05-15
1

I think it is easier to use this:

$$\lim_{x \to 0^+} a^{1/x}=\exp\lim_{x \to 0^+} \log a^{1/x}$$

$$=\exp\lim_{x \to 0^+} \left( \frac{1}{x}\log a \right)$$

$$=\exp \left( +\infty\cdot\log a \right)=\exp +\infty =+\infty$$

This is all legitimate because the exponential and logarithmic functions are continuous in $(0,+\infty)$, and we're working with positive quantities. (Note that if $0