Asymptotic analysis


In mathematical analysis, asymptotic analysis, also known as asymptotics, is a method of describing limiting behavior.
As an illustration, suppose that we are interested in the properties of a function as becomes very large. If, then as becomes very large, the term becomes insignificant compared to. The function is said to be "asymptotically equivalent to, as ". This is often written symbolically as, which is read as " is asymptotic to ".
An example of an important asymptotic result is the prime number theorem. Let denote the prime-counting function, i.e. is the number of prime numbers that are less than or equal to. Then the theorem states that

Definition

Formally, given functions and, we define a binary relation
if and only if
The symbol is the tilde. The relation is an equivalence relation on the set of functions of ; the functions and are said to be asymptotically equivalent. The domain of and can be any set for which the limit is defined: e.g. real numbers, complex numbers, positive integers.
The same notation is also used for other ways of passing to a limit: e.g.,,. The way of passing to the limit is often not stated explicitly, if it is clear from the context.
Although the above definition is common in the literature, it is problematic if is zero infinitely often as goes to the limiting value. For that reason, some authors use an alternative definition. The alternative definition, in little-o notation, is that if and only if
This definition is equivalent to the prior definition if is not zero in some neighbourhood of the limiting value.

Properties

If and, then under some mild conditions, the following hold.
Such properties allow asymptotically-equivalent functions to be freely exchanged in many algebraic expressions.

Examples of asymptotic formulas

General

Consider:
where and are real-valued analytic functions, and is a Cumulative distribution function.
Then is asymptotic to as and asymptotic to as.

Asymptotic to two different polynomials

Suppose we want a real-valued function that is asymptotic to as and is asymptotic to as. Then
will do this.

Asymptotic expansion

An asymptotic expansion of a function is in practice an expression of that function in terms of a series, the partial sums of which do not necessarily converge, but such that taking any initial partial sum provides an asymptotic formula for. The idea is that successive terms provide an increasingly accurate description of the order of growth of.
In symbols, it means we have but also and for each fixed k. In view of the definition of the symbol, the last equation means in the little o notation, i.e., is much smaller than
The relation takes its full meaning if for all k, which means the form an asymptotic scale. In that case, some authors may abusively write to denote the statement One should however be careful that this is not a standard use of the symbol, and that it does not correspond to the definition given in.
In the present situation, this relation actually follows from combining steps k and k−1; by subtracting from one gets i.e.
In case the asymptotic expansion does not converge, for any particular value of the argument there will be a particular partial sum which provides the best approximation and adding additional terms will decrease the accuracy. This optimal partial sum will usually have more terms as the argument approaches the limit value.

Examples of asymptotic expansions

Asymptotic expansions often occur when an ordinary series is used in a formal expression that forces the taking of values outside of its domain of convergence. For example, we might start with the ordinary series
The expression on the left is valid on the entire complex plane, while the right hand side converges only for. Multiplying by and integrating both sides yields
The integral on the left hand side can be expressed in terms of the exponential integral. The integral on the right hand side, after the substitution, may be recognized as the gamma function. Evaluating both, one obtains the asymptotic expansion
Here, the right hand side is clearly not convergent for any non-zero value of t. However, by keeping t small, and truncating the series on the right to a finite number of terms, one may obtain a fairly good approximation to the value of. Substituting and noting that results in the asymptotic expansion given earlier in this article.

Asymptotic distribution

In mathematical statistics, an asymptotic distribution is a hypothetical distribution that is in a sense the "limiting" distribution of a sequence of distributions. A distribution is an ordered set of random variables Zi for i = 1,..., n, for some positive integer n. An asymptotic distribution allows i to range without bound, that is, n is infinite.
A special case of an asymptotic distribution is when the late entries go to zero—that is, the Zi go to 0 as i goes to infinity. Some instances of "asymptotic distribution" refer only to this special case.
This is based on the notion of an asymptotic function which cleanly approaches a constant value as the independent variable goes to infinity; "clean" in this sense meaning that for any desired closeness epsilon there is some value of the independent variable after which the function never differs from the constant by more than epsilon.
An asymptote is a straight line that a curve approaches but never meets or crosses. Informally, one may speak of the curve meeting the asymptote "at infinity" although this is not a precise definition. In the equation y becomes arbitrarily small in magnitude as x increases.

Applications

Asymptotic analysis is used in several mathematical sciences. In statistics, asymptotic theory provides limiting approximations of the probability distribution of sample statistics, such as the likelihood ratio statistic and the expected value of the deviance. Asymptotic theory does not provide a method of evaluating the finite-sample distributions of sample statistics, however. Non-asymptotic bounds are provided by methods of approximation theory.
Examples of applications are the following.
Asymptotic analysis is a key tool for exploring the ordinary and partial differential equations which arise in the mathematical modelling of real-world phenomena. An illustrative example is the derivation of the boundary layer equations from the full Navier-Stokes equations governing fluid flow. In many cases, the asymptotic expansion is in power of a small parameter, : in the boundary layer case, this is the nondimensional ratio of the boundary layer thickness to a typical lengthscale of the problem. Indeed, applications of asymptotic analysis in mathematical modelling often center around a nondimensional parameter which has been shown, or assumed, to be small through a consideration of the scales of the problem at hand.
Asymptotic expansions typically arise in the approximation of certain integrals or in the approximation of probability distributions. The Feynman graphs in quantum field theory are another example of asymptotic expansions which often do not converge.