Binomial approximation
   HOME

TheInfoList



OR:

The binomial approximation is useful for approximately calculating powers of sums of 1 and a small number ''x''. It states that : (1 + x)^\alpha \approx 1 + \alpha x. It is valid when , x, <1 and , \alpha x, \ll 1 where x and \alpha may be real or
complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the fo ...
s. The benefit of this approximation is that \alpha is converted from an exponent to a multiplicative factor. This can greatly simplify mathematical expressions (as in the example below) and is a common tool in physics.For example calculating the
multipole expansion A multipole expansion is a mathematical series representing a function that depends on angles—usually the two angles used in the spherical coordinate system (the polar and azimuthal angles) for three-dimensional Euclidean space, \R^3. Similar ...
.
The approximation can be proven several ways, and is closely related to the binomial theorem. By Bernoulli's inequality, the left-hand side of the approximation is greater than or equal to the right-hand side whenever x>-1 and \alpha \geq 1.


Derivations


Using linear approximation

The function : f(x) = (1 + x)^ is a
smooth function In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called ''differentiability class''. At the very minimum, a function could be considered smooth if ...
for ''x'' near 0. Thus, standard linear approximation tools from
calculus Calculus, originally called infinitesimal calculus or "the calculus of infinitesimals", is the mathematics, mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizati ...
apply: one has : f'(x) = \alpha (1 + x)^ and so : f'(0) = \alpha. Thus : f(x) \approx f(0) + f'(0)(x - 0) = 1 + \alpha x. By
Taylor's theorem In calculus, Taylor's theorem gives an approximation of a ''k''-times differentiable function around a given point by a polynomial of degree ''k'', called the ''k''th-order Taylor polynomial. For a smooth function, the Taylor polynomial is th ...
, the error in this approximation is equal to \frac \cdot (1 + \zeta)^ for some value of \zeta that lies between 0 and . For example, if x < 0 and \alpha \geq 2, the error is at most \frac. In little o notation, one can say that the error is o(, x, ), meaning that \lim_ \frac = 0.


Using Taylor Series

The function : f(x) = (1+x)^\alpha where x and \alpha may be real or complex can be expressed as a
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 ser ...
about the point zero. :\begin f(x) &= \sum_^ \frac x^n\\ f(x) &= f(0) + f'(0) x + \frac f''(0) x^2 + \frac f(0) x^3 + \frac f^(0) x^4 + \cdots\\ (1+x)^ &= 1 + \alpha x + \frac \alpha (\alpha-1) x^2 + \frac \alpha (\alpha-1)(\alpha-2)x^3 + \frac \alpha (\alpha-1)(\alpha-2)(\alpha-3)x^4 + \cdots \end If , x, < 1 and , \alpha x, \ll 1, then the terms in the series become progressively smaller and it can be truncated to :(1+x)^\alpha \approx 1 + \alpha x . This result from the binomial approximation can always be improved by keeping additional terms from the Taylor Series above. This is especially important when , \alpha x, starts to approach one, or when evaluating a more complex expression where the first two terms in the Taylor Series cancel ( see example). Sometimes it is wrongly claimed that , x, \ll 1 is a sufficient condition for the binomial approximation. A simple counterexample is to let x=10^ and \alpha=10^7. In this case (1+x)^\alpha > 22,000 but the binomial approximation yields 1 + \alpha x = 11. For small , x, but large , \alpha x, , a better approximation is: : (1 + x)^\alpha \approx e^ .


Example

The binomial approximation for the
square root In mathematics, a square root of a number is a number such that ; in other words, a number whose '' square'' (the result of multiplying the number by itself, or  ⋅ ) is . For example, 4 and −4 are square roots of 16, because . ...
, \sqrt \approx 1+x/2, can be applied for the following expression, : \frac - \frac where a and b are real but a \gg b. The mathematical form for the binomial approximation can be recovered by factoring out the large term a and recalling that a square root is the same as a power of one half. :\begin \frac - \frac &= \frac \left(\left(1+\frac\right)^ - \left(1-\frac\right)^\right)\\ &\approx\frac \left(\left(1+\left(-\frac\right)\frac\right) - \left(1-\left(-\frac\right)\frac\right)\right) \\ &\approx\frac \left(1-\frac - 1 -\frac\right) \\ &\approx -\frac \end Evidently the expression is linear in b when a \gg b which is otherwise not obvious from the original expression.


Generalization

While the binomial approximation is linear, it can be generalized to keep the quadratic term in the Taylor series: : (1+x)^\alpha \approx 1 + \alpha x + (\alpha/2) (\alpha-1) x^2 Applied to the square root, it results in: :\sqrt \approx 1 + x/2 - x^2 / 8.


Quadratic example

Consider the expression: : (1 + \epsilon)^n - (1 - \epsilon)^ where , \epsilon, <1 and , n \epsilon, \ll 1. If only the linear term from the binomial approximation is kept (1+x)^\alpha \approx 1 + \alpha x then the expression unhelpfully simplifies to zero :\begin (1 + \epsilon)^n - (1 - \epsilon)^ &\approx (1+ n \epsilon) - (1 - (-n) \epsilon)\\ &\approx (1+ n \epsilon) - (1 + n \epsilon)\\ &\approx 0 . \end While the expression is small, it is not exactly zero. So now, keeping the quadratic term: :\begin (1+\epsilon)^n - (1 - \epsilon)^&\approx \left(1+ n \epsilon + \frac n (n-1) \epsilon^2\right) - \left(1 + (-n)(-\epsilon) + \frac (-n) (-n-1) (-\epsilon)^2\right)\\ &\approx \left(1+ n \epsilon + \frac n (n-1) \epsilon^2\right) - \left(1 + n \epsilon + \frac n (n+1) \epsilon^2\right)\\ &\approx \frac n (n-1) \epsilon^2 - \frac n (n+1) \epsilon^2\\ &\approx \frac n \epsilon^2 ((n-1) - (n+1)) \\ &\approx - n \epsilon^2 \end This result is quadratic in \epsilon which is why it did not appear when only the linear in terms in \epsilon were kept.


References

{{Reflist Factorial and binomial topics Approximations