HOME

TheInfoList



OR:

This is a list of
limit Limit or Limits may refer to: Arts and media * ''Limit'' (manga), a manga by Keiko Suenobu * ''Limit'' (film), a South Korean film * Limit (music), a way to characterize harmony * "Limit" (song), a 2016 single by Luna Sea * "Limits", a 2019 ...
s for common
function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-oriente ...
s such as
elementary function In mathematics, an elementary function is a function of a single variable (typically real or complex) that is defined as taking sums, products, roots and compositions of finitely many polynomial, rational, trigonometric, hyperbolic, and exponen ...
s. In this article, the terms ''a'', ''b'' and ''c'' are constants with respect to SM


Limits for general functions


Definitions of limits and related concepts

\lim_ f(x) = L
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is bicondi ...
This is the (ε, δ)-definition of limit. The
limit superior and limit inferior In mathematics, the limit inferior and limit superior of a sequence can be thought of as limiting (that is, eventual and extreme) bounds on the sequence. They can be thought of in a similar fashion for a function (see limit of a function). For a ...
of a sequence are defined as \limsup_ x_n = \lim_ \left(\sup_ x_m\right) and \liminf_ x_n = \lim_\left(\inf_ x_m\right) . A function, f(x), is said to be continuous at a point, ''c'', if \lim_ f(x) = f(c).


Operations on a single known limit

If \lim_ f(x) = L then: *\lim_ \, (x) \pm a= L \pm a *\lim_ \, a f(x) = a L *\lim_ \frac= \frac1L if L is not equal to 0. *\lim_ \, f(x)^n = L^n if ''n'' is a positive integer *\lim_ \, f(x)^ = L^ if ''n'' is a positive integer, and if ''n'' is even, then ''L'' > 0. In general, if ''g''(''x'') is continuous at ''L'' and \lim_ f(x) = L then *\lim_ g\left(f(x)\right) =g(L)


Operations on two known limits

If \lim_ f(x) = L_1 and \lim_ g(x) = L_2 then: *\lim_ \, (x) \pm g(x)= L_1 \pm L_2 *\lim_ \, (x)g(x)= L_1 \cdot L_2 *\lim_ \frac = \frac \qquad \text L_2 \ne 0


Limits involving derivatives or infinitesimal changes

In these limits, the infinitesimal change h is often denoted \Delta x or \delta x. If f(x)is
differentiable In mathematics, a differentiable function of one real variable is a function whose derivative exists at each point in its domain. In other words, the graph of a differentiable function has a non-vertical tangent line at each interior point in its ...
at x, *\lim_ = f'(x). This is the definition of the
derivative In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. F ...
. All differentiation rules can also be reframed as rules involving limits. For example, if ''g''(''x'') is differentiable at ''x'', **\lim_ =f'
(x) An emoticon (, , rarely , ), short for "emotion icon", also known simply as an emote, is a pictorial representation of a facial expression using characters—usually punctuation marks, numbers, and letters—to express a person's feelings, ...
'(x). This is the
chain rule In calculus, the chain rule is a formula that expresses the derivative of the composition of two differentiable functions and in terms of the derivatives of and . More precisely, if h=f\circ g is the function such that h(x)=f(g(x)) for every , ...
. **\lim_ =f'(x)g(x)+f(x)g'(x). This is the
product rule In calculus, the product rule (or Leibniz rule or Leibniz product rule) is a formula used to find the derivatives of products of two or more functions. For two functions, it may be stated in Lagrange's notation as (u \cdot v)' = u ' \cdot v + ...
. *\lim_ \left(\frac\right)^ = \exp\left(\frac\right) *\lim_ = \exp\left(\frac\right) If f(x) and g(x) are differentiable on an open interval containing ''c'', except possibly ''c'' itself, and \lim_ f(x) = \lim_ g(x) = 0 \text \pm\infty,
L'Hôpital's rule In calculus, l'Hôpital's rule or l'Hospital's rule (, , ), also known as Bernoulli's rule, is a theorem which provides a technique to evaluate limits of indeterminate forms. Application (or repeated application) of the rule often converts an i ...
can be used: *\lim_ \frac = \lim_ \frac


Inequalities

If f(x)\leq g(x) for all x in an interval that contains ''c'', except possibly ''c'' itself, and the limit of f(x) and g(x) both exist at ''c'', then \lim_f(x)\leq \lim_g(x) If \lim_ f(x) = \lim_ h(x) = L and f(x)\leq g(x)\leq h(x)for all ''x'' in an
open interval In mathematics, a (real) interval is a set of real numbers that contains all real numbers lying between any two numbers of the set. For example, the set of numbers satisfying is an interval which contains , , and all numbers in between. Other ...
that contains ''c'', except possibly ''c'' itself, \lim_ g(x) = L. This is known as the
squeeze theorem In calculus, the squeeze theorem (also known as the sandwich theorem, among other names) is a theorem regarding the limit of a function that is trapped between two other functions. The squeeze theorem is used in calculus and mathematical anal ...
. This applies even in the cases that ''f''(''x'') and ''g''(''x'') take on different values at ''c'', or are discontinuous at ''c''.


Polynomials and functions of the form ''xa''

*\lim_ a = a


Polynomials in x

*\lim_ x = c *\lim_ (ax + b) = ac + b *\lim_ x^n = c^n if ''n'' is a positive integer *\lim_ x/a = \begin \infty, & a > 0 \\ \text, & a = 0 \\ -\infty, & a < 0 \end In general, if p(x)is a polynomial then, by the continuity of polynomials, \lim_ p(x) = p(c) This is also true for
rational function In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be rat ...
s, as they are continuous on their domains.


Functions of the form ''xa''

*\lim_x^a=c^a. In particular, **\lim_x^a=\begin \infty, & a > 0 \\ 1, & a = 0 \\ 0, & a < 0 \end *\lim_x^=c^ . In particular, **\lim_ x^=\lim_\sqrt \infty \text a > 0 *\lim_ x^ =\lim \frac= +\infty *\lim_ x^ =\lim_ \frac =\begin -\infty, & \text n \text \\ +\infty, & \text n \text \end *\lim_ ax^=\lim_a/x=0 \texta


Exponential functions


Functions of the form ''a''''g''(''x'')

*\lim_ e^ = e^c , due to the continuity of e^ *\lim_a^x=\begin \infty, & a > 1 \\ 1, & a = 1 \\ 0, & 0 < a < 1 \end *\lim_a^=\begin 0, & a > 1 \\ 1, & a = 1 \\ \infty, & 0 < a < 1 \end *\lim_\sqrt \lim_^=\begin 1, & a > 0 \\ 0, & a = 0 \\ \text, & a < 0 \end


Functions of the form ''x''''g''(''x'')

*\lim_\sqrt \lim_^=1


Functions of the form ''f''(''x'')''g''(''x'')

*\lim_ \left( \frac\right)^x=e^ *\lim_ \left(1+x\right)^\frac=e *\lim_ \left(1+kx\right)^\frac=e^ *\lim_ \left(1+\frac\right)^x=e *\lim_ \left(1-\frac\right)^x=\frac *\lim_ \left(1+\frac\right)^=e^ * \lim_ \left(1+ a \left(\right)\right)^ = e^ . This limit can be derived from this limit.


Sums, products and composites

*\lim_ x e^ = 0 *\lim_ x e^ = 0 *\lim_ \left( \frac \right) = \ln, for all positive ''a''. *\lim_ \left( \frac \right) = 1 *\lim_ \left( \frac \right) = a


Logarithmic functions


Natural logarithms

*\lim_ \ln = \ln c , due to the continuity of \ln . In particular, **\lim_\log x=-\infty **\lim_\log x=\infty *\lim_\frac=1 *\lim_\frac=1 * \lim_ \frac = a. This limit follows from
L'Hôpital's rule In calculus, l'Hôpital's rule or l'Hospital's rule (, , ), also known as Bernoulli's rule, is a theorem which provides a technique to evaluate limits of indeterminate forms. Application (or repeated application) of the rule often converts an i ...
. *\lim_ x\ln x = 0 *\lim_ \frac = 0


Logarithms to arbitrary bases

For ''b'' > 1, *\lim_ \log_b x = -\infty *\lim_ \log_b x = \infty For ''b'' < 1, *\lim_ \log_b x = \infty *\lim_ \log_b x = -\infty Both cases can be generalized to: *\lim_ \log_b x = -F(b)\infty *\lim_ \log_b x = F(b)\infty where F(x) = 2H(x-1) - 1 and H(x) is the
Heaviside step function The Heaviside step function, or the unit step function, usually denoted by or (but sometimes , or ), is a step function, named after Oliver Heaviside (1850–1925), the value of which is zero for negative arguments and one for positive argume ...


Trigonometric functions

If x is expressed in radians: *\lim_ \sin x = \sin a *\lim_ \cos x = \cos a These limits both follow from the continuity of sin and cos. *\lim_ \frac = 1. Or, in general, **\lim_ \frac = 1, for ''a'' not equal to 0. **\lim_ \frac = a **\lim_ \frac = \frac, for ''b'' not equal to 0. *\lim_ x\sin \left(\frac1x\right) = 1 *\lim_ \frac = 0 *\lim_ \frac = \frac *\lim_ \tan \left(\pi x + \frac\right) = \mp\infty, for integer ''n''. *\lim_\ \underbrace_n= 0, where ''x''0 is an arbitrary real number. *\lim_\ \underbrace_n= d, where d is the
Dottie number The Dottie number is the unique real fixed point of the cosine function. In mathematics, the Dottie number is a constant that is the unique real root of the equation : \cos x = x , where the argument of \cos is in radians. The decimal expan ...
. ''x''0 can be any arbitrary real number.


Sums

In general, any
infinite series In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, math ...
is the limit of its
partial sums In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, math ...
. For example, an
analytic function In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex an ...
is the limit of its
Taylor series In mathematics, the Taylor series or Taylor expansion of a function is an infinite sum of terms that are expressed in terms of the function's derivatives at a single point. For most common functions, the function and the sum of its Taylor serie ...
, within its
radius of convergence In mathematics, the radius of convergence of a power series is the radius of the largest disk at the center of the series in which the series converges. It is either a non-negative real number or \infty. When it is positive, the power series co ...
. *\lim_ \sum_^n\frac=\infty. This is known as the harmonic series. *\lim_\left( \sum_^\frac-\log n\right)=\gamma. This is the Euler Mascheroni constant.


Notable special limits

*\lim_ \frac=e *\lim_\left(n!\right)^=\infty. This can be proven by considering the inequality e^x \geq \frac at x = n. *\lim_\, 2^ \underbrace_n= \pi. This can be derived from
Viète's formula In mathematics, Viète's formula is the following infinite product of nested radicals representing twice the reciprocal of the mathematical constant : \frac2\pi = \frac2 \cdot \frac2 \cdot \frac2 \cdots It can also be represented as: \frac2\pi ...
for .


Limiting behavior


Asymptotic equivalences

Asymptotic equivalences, f(x)\sim g(x), are true if \lim_\frac=1. Therefore, they can also be reframed as limits. Some notable asymptotic equivalences include *\lim_\frac=1, due to the
prime number theorem In mathematics, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers among the positive integers. It formalizes the intuitive idea that primes become less common as they become larger by precisely quantifying ...
, \pi(x)\sim\frac, where π(x) is the prime counting function. *\lim_\frac=1, due to
Stirling's approximation In mathematics, Stirling's approximation (or Stirling's formula) is an approximation for factorials. It is a good approximation, leading to accurate results even for small values of n. It is named after James Stirling, though a related but less p ...
, n! \sim \sqrt\left(\frac\right)^n.


Big O notation

The behaviour of functions described by
Big O notation Big ''O'' notation is a mathematical notation that describes the limiting behavior of a function when the argument tends towards a particular value or infinity. Big O is a member of a family of notations invented by Paul Bachmann, Edmund Lan ...
can also be described by limits. For example *f(x)\in\mathcal(g(x)) if \limsup_ \frac<\infty


References

{{Calculus topics Limits (mathematics)
Limits Limit or Limits may refer to: Arts and media * ''Limit'' (manga), a manga by Keiko Suenobu * ''Limit'' (film), a South Korean film * Limit (music), a way to characterize harmony * "Limit" (song), a 2016 single by Luna Sea * "Limits", a 2019 ...
Functions and mappings