Limits at Infinity and Horizontal Asymptotes

Key Questions

  • Example 1

    #lim_{x to infty}{x-5x^3}/{2x^3-x+7}#

    by dividing the numerator and the denominator by #x^3#,

    #=lim_{x to infty}{1/x^2-5}/{2-1/x^2+7/x^3}={0-5}/{2-0+0}=-5/2#


    Example 2

    #lim_{x to -infty}xe^x#

    since #-infty cdot 0# is an indeterminate form, by rewriting,

    #=lim_{x to -infty}x/e^{-x}#

    by l'Hopital's Rule,

    #=lim_{x to -infty}1/{-e^{-x}}=1/{-infty}=0#


    I hope that this was helpful.

  • Answer:

    Another perspective...

    Explanation:

    #color(white)()#
    As a Real function

    Treating #e^x# as a function of Real values of #x#, it has the following properties:

    • The domain of #e^x# is the whole of #RR#.

    • The range of #e^x# is #(0, oo)#.

    • #e^x# is continuous on the whole of #RR# and infinitely differentiable, with #d/(dx) e^x = e^x#.

    • #e^x# is one to one, so has a well defined inverse function (#ln x#) from #(0, oo)# onto #RR#.

    • #lim_(x->+oo) e^x = +oo#

    • #lim_(x->-oo) e^x = 0#

    At first sight this answers the question, but what about Complex values of #x#?

    #color(white)()#
    As a Complex function

    Treated as a function of Complex values of #x#, #e^x# has the properties:

    • The domain of #e^x# is the whole of #CC#.

    • The range of #e^x# is #CC "\" { 0 }#.

    • #e^x# is continuous on the whole of #CC# and infinitely differentiable, with #d/(dx) e^x = e^x#.

    • #e^x# is many to one, so has no inverse function. The definition of #ln x# can be extended to a function from #CC "\" { 0 }# into #CC#, typically onto #{ x + iy : x in RR, y in (- pi, pi] }#.

    What do we mean by the limit of #e^x# as #x -> "infinity"# in this context?

    From the origin, we can head off towards "infinity" in all sorts of ways.

    For example, if we just set off along the imaginary axis, the value of #e^x# just goes round and around the unit circle.

    If we choose any complex number #c = r(cos theta + i sin theta)#, then following the line #ln r + it# for #t in RR# as #t->+oo#, the value of #e^(ln r + it)# will take the value #c# infinitely many times.

    We can project the Complex plane onto a sphere called the Riemann sphere #CC_oo#, with an additional point called #oo#. This allows us to picture the "neighbourhood of #oo#" and think about the behaviour of the function #e^x# there.

    From our preceding observations, #e^x# takes every non-zero complex value infinitely many times in any arbitrarily small neighbourhood of #oo#. That is called an essential singularity at infinity.

Questions