Stable distribution

Short description: Distribution of variables which satisfies a stability property under linear combinations

Stable

Probability density function Symmetric [math]\displaystyle{ \alpha }[/math]-stable distributions with unit scale factor Skewed centered stable distributions with unit scale factor
Cumulative distribution function CDFs for symmetric [math]\displaystyle{ \alpha }[/math]-stable distributions CDFs for skewed centered stable distributions
Parameters	[math]\displaystyle{ \alpha \in (0,2] }[/math] — stability parameter [math]\displaystyle{ \beta }[/math] ∈ [−1, 1] — skewness parameter (note that skewness is undefined) c ∈ (0, ∞) — scale parameter μ ∈ (−∞, ∞) — location parameter
Support	x ∈ [μ, +∞) if [math]\displaystyle{ \alpha \lt 1 }[/math] and [math]\displaystyle{ \beta=1 }[/math] x ∈ (-∞, μ] if [math]\displaystyle{ \alpha \lt 1 }[/math] and [math]\displaystyle{ \beta = -1 }[/math] x ∈ R otherwise
PDF	not analytically expressible, except for some parameter values
CDF	not analytically expressible, except for certain parameter values
Mean	μ when [math]\displaystyle{ \alpha \gt 1 }[/math], otherwise undefined
Median	μ when [math]\displaystyle{ \beta = 0 }[/math], otherwise not analytically expressible
Mode	μ when [math]\displaystyle{ \beta = 0 }[/math], otherwise not analytically expressible
Variance	2c2 when [math]\displaystyle{ \alpha = 2 }[/math], otherwise infinite
Skewness	0 when [math]\displaystyle{ \alpha = 2 }[/math], otherwise undefined
Kurtosis	0 when [math]\displaystyle{ \alpha = 2 }[/math], otherwise undefined
Entropy	not analytically expressible, except for certain parameter values
MGF	[math]\displaystyle{ \exp\!\left(t\mu + c^2t^2\right) }[/math] when [math]\displaystyle{ \alpha = 2 }[/math], otherwise undefined
CF	[math]\displaystyle{ \exp\!\Big[\; it\mu - |c\,t|^\alpha\,(1-i \beta\sgn(t)\Phi) \;\Big], }[/math] where [math]\displaystyle{ \Phi = \begin{cases} \tan\tfrac{\pi\alpha}{2} & \text{if }\alpha \ne 1 \\ -\tfrac{2}{\pi}\log|t| & \text{if }\alpha = 1 \end{cases} }[/math]

In probability theory, a distribution is said to be stable if a linear combination of two independent random variables with this distribution has the same distribution, up to location and scale parameters. A random variable is said to be stable if its distribution is stable. The stable distribution family is also sometimes referred to as the Lévy alpha-stable distribution, after Paul Lévy, the first mathematician to have studied it.

Of the four parameters defining the family, most attention has been focused on the stability parameter, [math]\displaystyle{ \alpha }[/math] (see panel). Stable distributions have [math]\displaystyle{ 0 \lt \alpha \leq 2 }[/math], with the upper bound corresponding to the normal distribution, and [math]\displaystyle{ \alpha=1 }[/math] to the Cauchy distribution. The distributions have undefined variance for [math]\displaystyle{ \alpha \lt 2 }[/math], and undefined mean for [math]\displaystyle{ \alpha \leq 1 }[/math]. The importance of stable probability distributions is that they are "attractors" for properly normed sums of independent and identically distributed (iid) random variables. The normal distribution defines a family of stable distributions. By the classical central limit theorem the properly normed sum of a set of random variables, each with finite variance, will tend toward a normal distribution as the number of variables increases. Without the finite variance assumption, the limit may be a stable distribution that is not normal. Mandelbrot referred to such distributions as "stable Paretian distributions", after Vilfredo Pareto. In particular, he referred to those maximally skewed in the positive direction with [math]\displaystyle{ 1 \lt \alpha \lt 2 }[/math] as "Pareto–Lévy distributions", which he regarded as better descriptions of stock and commodity prices than normal distributions.

Definition

A non-degenerate distribution is a stable distribution if it satisfies the following property:

Let X₁ and X₂ be independent realizations of a random variable X. Then X is said to be stable if for any constants a > 0 and b > 0 the random variable aX₁ + bX₂ has the same distribution as cX + d for some constants c > 0 and d. The distribution is said to be strictly stable if this holds with d = 0.

Since the normal distribution, the Cauchy distribution, and the Lévy distribution all have the above property, it follows that they are special cases of stable distributions.

Such distributions form a four-parameter family of continuous probability distributions parametrized by location and scale parameters μ and c, respectively, and two shape parameters [math]\displaystyle{ \beta }[/math] and [math]\displaystyle{ \alpha }[/math], roughly corresponding to measures of asymmetry and concentration, respectively (see the figures).

The characteristic function [math]\displaystyle{ \varphi(t) }[/math] of any probability distribution is the Fourier transform of its probability density function [math]\displaystyle{ f(x) }[/math]. The density function is therefore the inverse Fourier transform of the characteristic function: [math]\displaystyle{ f(x) = \frac{1}{2\pi}\int_{- \infty}^\infty \varphi(t)e^{- ixt}\,dt. }[/math]

Although the probability density function for a general stable distribution cannot be written analytically, the general characteristic function can be expressed analytically. A random variable X is called stable if its characteristic function can be written as [math]\displaystyle{ \varphi(t; \alpha, \beta, c, \mu) = \exp \left ( i t \mu - |c t|^\alpha \left ( 1 - i \beta \sgn(t) \Phi \right ) \right ) }[/math] where sgn(t) is just the sign of t and [math]\displaystyle{ \Phi = \begin{cases} \tan \left (\frac{\pi \alpha}{2} \right) & \alpha \neq 1 \\ - \frac{2}{\pi}\log|t| & \alpha = 1 \end{cases} }[/math] μ ∈ R is a shift parameter, [math]\displaystyle{ \beta \in [-1,1] }[/math], called the skewness parameter, is a measure of asymmetry. Notice that in this context the usual skewness is not well defined, as for [math]\displaystyle{ \alpha \lt 2 }[/math] the distribution does not admit 2nd or higher moments, and the usual skewness definition is the 3rd central moment.

The reason this gives a stable distribution is that the characteristic function for the sum of two independent random variables equals the product of the two corresponding characteristic functions. Adding two random variables from a stable distribution gives something with the same values of [math]\displaystyle{ \alpha }[/math] and [math]\displaystyle{ \beta }[/math], but possibly different values of μ and c.

Not every function is the characteristic function of a legitimate probability distribution (that is, one whose cumulative distribution function is real and goes from 0 to 1 without decreasing), but the characteristic functions given above will be legitimate so long as the parameters are in their ranges. The value of the characteristic function at some value t is the complex conjugate of its value at −t as it should be so that the probability distribution function will be real.

In the simplest case [math]\displaystyle{ \beta = 0 }[/math], the characteristic function is just a stretched exponential function; the distribution is symmetric about μ and is referred to as a (Lévy) symmetric alpha-stable distribution, often abbreviated SαS.

When [math]\displaystyle{ \alpha \lt 1 }[/math] and [math]\displaystyle{ \beta = 1 }[/math], the distribution is supported by [μ, ∞).

The parameter c > 0 is a scale factor which is a measure of the width of the distribution while [math]\displaystyle{ \alpha }[/math] is the exponent or index of the distribution and specifies the asymptotic behavior of the distribution.

Parametrizations

The above definition is only one of the parametrizations in use for stable distributions; it is the most common but its probability density is not continuous in the parameters at [math]\displaystyle{ \alpha =1 }[/math].

A continuous parametrization is [math]\displaystyle{ \varphi(t; \alpha, \beta, \gamma, \delta) = \exp \left (i t \delta - |\gamma t|^\alpha \left (1 - i \beta \sgn(t) \Phi \right ) \right ) }[/math] where: [math]\displaystyle{ \Phi = \begin{cases} \left ( |\gamma t|^{1 - \alpha} - 1 \right ) \tan \left (\tfrac{\pi \alpha}{2} \right ) & \alpha \neq 1 \\ - \frac{2}{\pi} \log|\gamma t| & \alpha = 1 \end{cases} }[/math]

The ranges of [math]\displaystyle{ \alpha }[/math] and [math]\displaystyle{ \beta }[/math] are the same as before, γ (like c) should be positive, and δ (like μ) should be real.

In either parametrization one can make a linear transformation of the random variable to get a random variable whose density is [math]\displaystyle{ f(y; \alpha, \beta, 1, 0) }[/math]. In the first parametrization, this is done by defining the new variable: [math]\displaystyle{ y = \begin{cases} \frac{x - \mu}\gamma & \alpha \neq 1 \\ \frac{x - \mu}\gamma - \beta\frac 2\pi\ln\gamma & \alpha = 1 \end{cases} }[/math]

For the second parametrization, we simply use [math]\displaystyle{ y = \frac{x-\delta}\gamma }[/math] no matter what [math]\displaystyle{ \alpha }[/math] is. In the first parametrization, if the mean exists (that is, [math]\displaystyle{ \alpha \gt 1 }[/math]) then it is equal to μ, whereas in the second parametrization when the mean exists it is equal to [math]\displaystyle{ \delta - \beta \gamma \tan \left (\tfrac{\pi\alpha}{2} \right). }[/math]

The distribution

A stable distribution is therefore specified by the above four parameters. It can be shown that any non-degenerate stable distribution has a smooth (infinitely differentiable) density function. If [math]\displaystyle{ f(x; \alpha, \beta, c, \mu) }[/math] denotes the density of X and Y is the sum of independent copies of X: [math]\displaystyle{ Y = \sum_{i = 1}^N k_i (X_i - \mu) }[/math] then Y has the density [math]\displaystyle{ \tfrac{1}{s} f(y / s; \alpha, \beta, c, 0) }[/math] with [math]\displaystyle{ s = \left(\sum_{i = 1}^N |k_i|^\alpha \right )^{\frac{1}{\alpha}} }[/math]

The asymptotic behavior is described, for [math]\displaystyle{ \alpha \lt 2 }[/math], by: [math]\displaystyle{ f(x) \sim \frac{1}{|x|^{1 + \alpha}} \left (c^\alpha (1 + \sgn(x) \beta) \sin \left (\frac{\pi \alpha}{2} \right ) \frac{\Gamma(\alpha + 1) }{\pi} \right ) }[/math] where Γ is the Gamma function (except that when [math]\displaystyle{ \alpha \geq 1 }[/math] and [math]\displaystyle{ \beta = \pm 1 }[/math], the tail does not vanish to the left or right, resp., of μ, although the above expression is 0). This "heavy tail" behavior causes the variance of stable distributions to be infinite for all [math]\displaystyle{ \alpha \lt 2 }[/math]. This property is illustrated in the log–log plots below.

When [math]\displaystyle{ \alpha = 2 }[/math], the distribution is Gaussian (see below), with tails asymptotic to exp(−x²/4c²)/(2c√π).

One-sided stable distribution and stable count distribution

When [math]\displaystyle{ \alpha \lt 1 }[/math] and [math]\displaystyle{ \beta = 1 }[/math], the distribution is supported by [μ, ∞). This family is called one-sided stable distribution. Its standard distribution (μ=0) is defined as

[math]\displaystyle{ L_\alpha(x) = f{\left(x;\alpha,1,\cos\left(\frac{\alpha\pi}{2}\right)^{1/\alpha},0\right)} }[/math], where [math]\displaystyle{ \alpha \lt 1 }[/math].

Let [math]\displaystyle{ q = \exp(-i\alpha\pi/2) }[/math], its characteristic function is [math]\displaystyle{ \varphi(t;\alpha) = \exp\left (- q|t|^\alpha \right ) }[/math]. Thus the integral form of its PDF is (note: [math]\displaystyle{ \operatorname{Im}(q)\lt 0 }[/math]) [math]\displaystyle{ \begin{align} L_\alpha(x) & = \frac{1}{\pi}\Re\left[ \int_{-\infty}^\infty e^{itx}e^{-q|t|^\alpha}\,dt\right] \\ & = \frac{2}{\pi} \int_0^\infty e^{-\operatorname{Re}(q)\,t^\alpha} \sin(tx)\sin(-\operatorname{Im}(q)\,t^\alpha) \,dt, \text{ or } \\ & = \frac{2}{\pi} \int_0^\infty e^{-\text{Re}(q)\,t^\alpha} \cos(tx)\cos(\operatorname{Im}(q)\,t^\alpha) \,dt . \end{align} }[/math]

The double-sine integral is more effective for very small [math]\displaystyle{ x }[/math].

Consider the Lévy sum [math]\displaystyle{ Y = \sum_{i=1}^N X_i }[/math] where [math]\displaystyle{ X_i \sim L_\alpha(x) }[/math], then Y has the density [math]\displaystyle{ \frac{1}{\nu} L_\alpha{\left(\frac{x}{\nu}\right)} }[/math] where [math]\displaystyle{ \nu = N^{1/\alpha} }[/math]. Set [math]\displaystyle{ x = 1 }[/math], we arrive at the stable count distribution. Its standard distribution is defined as

[math]\displaystyle{ \mathfrak{N}_\alpha(\nu)=\frac{\alpha}{\Gamma\left(\frac{1}{\alpha}\right)} \frac{1}{\nu} L_\alpha{\left(\frac{1}{\nu}\right)} }[/math], where [math]\displaystyle{ \nu \gt 0 }[/math] and [math]\displaystyle{ \alpha \lt 1 }[/math].

The stable count distribution is the conjugate prior of the one-sided stable distribution. Its location-scale family is defined as

[math]\displaystyle{ \mathfrak{N}_\alpha(\nu;\nu_0,\theta) = \frac{\alpha}{\Gamma(\frac{1}{\alpha})} \frac{1}{\nu-\nu_0} L_\alpha{\left(\frac{\theta}{\nu-\nu_0}\right)} }[/math], where [math]\displaystyle{ \nu \gt \nu_0 }[/math], [math]\displaystyle{ \theta \gt 0 }[/math], and [math]\displaystyle{ \alpha \lt 1 }[/math].

It is also a one-sided distribution supported by [math]\displaystyle{ [\nu_0,\infty) }[/math]. The location parameter [math]\displaystyle{ \nu_0 }[/math] is the cut-off location, while [math]\displaystyle{ \theta }[/math] defines its scale.

When [math]\displaystyle{ \alpha = \frac{1}{2} }[/math], [math]\displaystyle{ L_{\frac{1}{2}}(x) }[/math] is the Lévy distribution which is an inverse gamma distribution. Thus [math]\displaystyle{ \mathfrak{N}_{\frac{1}{2}}(\nu; \nu_0, \theta) }[/math] is a shifted gamma distribution of shape 3/2 and scale [math]\displaystyle{ 4\theta }[/math],

[math]\displaystyle{ \mathfrak{N}_{\frac{1}{2}}(\nu;\nu_0,\theta) = \frac{1}{4\sqrt{\pi}\theta^{3/2}} (\nu-\nu_0)^{1/2} e^{-\frac{\nu-\nu_0}{4\theta}} }[/math], where [math]\displaystyle{ \nu \gt \nu_0 }[/math], [math]\displaystyle{ \theta \gt 0 }[/math].

Its mean is [math]\displaystyle{ \nu_0 + 6\theta }[/math] and its standard deviation is [math]\displaystyle{ \sqrt{24}\theta }[/math]. It is hypothesized that VIX is distributed like [math]\displaystyle{ \mathfrak{N}_{\frac{1}{2}}(\nu;\nu_0,\theta) }[/math] with [math]\displaystyle{ \nu_0 = 10.4 }[/math] and [math]\displaystyle{ \theta = 1.6 }[/math] (See Section 7 of ). Thus the stable count distribution is the first-order marginal distribution of a volatility process. In this context, [math]\displaystyle{ \nu_0 }[/math] is called the "floor volatility".

Another approach to derive the stable count distribution is to use the Laplace transform of the one-sided stable distribution, (Section 2.4 of )

[math]\displaystyle{ \int_0^\infty e^{-z x} L_\alpha(x) dx = e^{-z^\alpha} }[/math], where [math]\displaystyle{ \alpha\lt 1 }[/math].

Let [math]\displaystyle{ x = 1 / \nu }[/math], and one can decompose the integral on the left hand side as a product distribution of a standard Laplace distribution and a standard stable count distribution,f

[math]\displaystyle{ \int_0^\infty \frac{1}{\nu} \left ( \frac{1}{2} e^{-\frac{|z|}{\nu} }\right ) \left (\frac{\alpha}{\Gamma(\frac{1}{\alpha})} \frac{1}{\nu} L_\alpha{\left(\frac{1}{\nu}\right)} \right ) d \nu = \frac{1}{2} \frac{\alpha}{\Gamma(\frac{1}{\alpha})} e^{-|z|^\alpha} }[/math], where [math]\displaystyle{ \alpha\lt 1 }[/math].

This is called the "lambda decomposition" (See Section 4 of ) since the right hand side was named as "symmetric lambda distribution" in Lihn's former works. However, it has several more popular names such as "exponential power distribution", or the "generalized error/normal distribution", often referred to when [math]\displaystyle{ \alpha \gt 1 }[/math].

The n-th moment of [math]\displaystyle{ \mathfrak{N}_\alpha(\nu) }[/math] is the [math]\displaystyle{ -(n + 1) }[/math]-th moment of [math]\displaystyle{ L_\alpha(x) }[/math], and all positive moments are finite.

Properties

• All stable distributions are infinitely divisible.
• With the exception of the normal distribution ([math]\displaystyle{ \alpha = 2 }[/math]), stable distributions are leptokurtotic and heavy-tailed distributions.
• Closure under convolution

Stable distributions are closed under convolution for a fixed value of [math]\displaystyle{ \alpha }[/math]. Since convolution is equivalent to multiplication of the Fourier-transformed function, it follows that the product of two stable characteristic functions with the same [math]\displaystyle{ \alpha }[/math] will yield another such characteristic function. The product of two stable characteristic functions is given by: [math]\displaystyle{ \exp\left (it\mu_1+it\mu_2 - |c_1 t|^\alpha - |c_2 t|^\alpha +i\beta_1|c_1 t|^\alpha\sgn(t)\Phi + i\beta_2|c_2 t|^\alpha\sgn(t)\Phi \right ) }[/math]

Since Φ is not a function of the μ, c or [math]\displaystyle{ \beta }[/math] variables it follows that these parameters for the convolved function are given by: [math]\displaystyle{ \begin{align} \mu &=\mu_1+\mu_2 \\ |c| &= \left (|c_1|^\alpha+|c_2|^\alpha \right )^{\frac{1}{\alpha}} \\[6pt] \beta &= \frac{\beta_1 |c_1|^\alpha+\beta_2|c_2|^\alpha}{|c_1|^\alpha+|c_2|^\alpha} \end{align} }[/math]

In each case, it can be shown that the resulting parameters lie within the required intervals for a stable distribution.

The Generalized Central Limit Theorem

The Generalized Central Limit Theorem (GCLT) was an effort of multiple mathematicians (Berstein, Lindeberg, Lévy, Feller, Kolmogorov, and others) over the period from 1920 to 1937. The first published complete proof (in French) of the GCLT was in 1937 by Paul Lévy. An English language version of the complete proof of the GCLT is available in the translation of Gnedenko and Kolmogorov's 1954 book.

The statement of the GLCT is as follows:

A non-degenerate random variable Z is α-stable for some 0 < α ≤ 2 if and only if there is an independent, identically distributed sequence of random variables X₁, X₂, X₃, ... and constants a_n > 0, b_n ∈ ℝ with

a_n (X₁ + ... + X_n) - b_n → Z.

Here → means the sequence of random variable sums converges in distribution; i.e., the corresponding distributions satisfy F_n(y) → F(y) at all continuity points of F.

In other words, if sums of independent, identically distributed random variables converge in distribution to some Z, then Z must be a stable distribution.

A generalized central limit theorem

General reference: by Gnedenko.

Another important property of stable distributions is the role that they play in a generalized central limit theorem. The central limit theorem states that the sum of a number of independent and identically distributed (i.i.d.) random variables with finite non-zero variances will tend to a normal distribution as the number of variables grows.

A generalization due to Gnedenko and Kolmogorov states that the sum of a number of random variables with symmetric distributions having power-law tails (Paretian tails), decreasing as [math]\displaystyle{ |x|^{-\alpha-1} }[/math] where [math]\displaystyle{ 0 \lt \alpha \leqslant 2 }[/math] (and therefore having infinite variance), will tend to a stable distribution [math]\displaystyle{ f(x;\alpha,0,c,0) }[/math] as the number of summands grows. If [math]\displaystyle{ \alpha \gt 2 }[/math] then the sum converges to a stable distribution with stability parameter equal to 2, i.e. a Gaussian distribution.

There are other possibilities as well. For example, if the characteristic function of the random variable is asymptotic to [math]\displaystyle{ 1+a|t|^\alpha\ln|t| }[/math] for small t (positive or negative), then we may ask how t varies with n when the value of the characteristic function for the sum of n such random variables equals a given value u: [math]\displaystyle{ \varphi_\text{sum}=\varphi^n=u }[/math]

Assuming for the moment that t → 0, we take the limit of the above as n → ∞: [math]\displaystyle{ \ln u =\lim_{n\to\infty} n\ln\varphi =\lim_{n\to\infty} na|t|^\alpha\ln|t|. }[/math]

Therefore: [math]\displaystyle{ \begin{align} \ln(\ln u) & = \ln \left ( \lim_{n\to\infty} na|t|^\alpha\ln|t| \right ) \\[5pt] & = \lim_{n\to\infty}\ln \left ( na|t|^\alpha\ln|t| \right ) = \lim_{n\to\infty} \left [ \ln(na) + \alpha\ln|t|+\ln (\ln |t|) \right ] \end{align} }[/math]

This shows that [math]\displaystyle{ \ln|t| }[/math] is asymptotic to [math]\displaystyle{ \tfrac{-1}{\alpha}\ln n, }[/math] so using the previous equation we have [math]\displaystyle{ |t|\sim \left ( \frac{-\alpha \ln u}{na\ln n} \right )^{1/\alpha}. }[/math]

This implies that the sum divided by [math]\displaystyle{ \left ( \frac{na \ln n}{\alpha} \right ) ^{\frac{1}{\alpha}} }[/math] has a characteristic function whose value at some t′ goes to u (as n increases) when [math]\displaystyle{ t' = (-\ln u)^{{1}/{\alpha}}. }[/math] In other words, the characteristic function converges pointwise to [math]\displaystyle{ \exp(-(t')^\alpha) }[/math] and therefore by Lévy's continuity theorem the sum divided by [math]\displaystyle{ \left ( \frac{na \ln n}{\alpha} \right ) ^{\frac{1}{\alpha}} }[/math]

converges in distribution to the symmetric alpha-stable distribution with stability parameter [math]\displaystyle{ \alpha }[/math] and scale parameter 1.

This can be applied to a random variable whose tails decrease as [math]\displaystyle{ |x|^{-3} }[/math]. This random variable has a mean but the variance is infinite. Let us take the following distribution: [math]\displaystyle{ f(x)=\begin{cases} \frac 1 3 & |x|\leq 1 \\ \frac 1 3 x^{-3} & |x|\gt 1 \end{cases} }[/math]

We can write this as [math]\displaystyle{ f(x)=\int_1^\infty\frac 2{w^4} h \left ( \frac{x}{w} \right ) dw }[/math] where [math]\displaystyle{ h \left (\frac{x}{w} \right )= \begin{cases} \frac 12 & \left|\frac x w\right|\lt 1, \\ 0 & \left|\frac x w\right|\gt 1. \end{cases} }[/math]

We want to find the leading terms of the asymptotic expansion of the characteristic function. The characteristic function of the probability distribution [math]\displaystyle{ \frac {1}{w} h\left(\frac x w\right) }[/math] is [math]\displaystyle{ \tfrac{\sin(tw)}{tw}, }[/math] so the characteristic function for f(x) is [math]\displaystyle{ \varphi(t)=\int_1^\infty\frac{2\sin(tw)}{tw^4}dw }[/math] and we can calculate: [math]\displaystyle{ \begin{align} \varphi(t)-1 &=\int_1^\infty\frac 2 {w^3} \left[\frac{\sin(tw)}{tw} -1 \right] \,dw \\ &= \int_1^{\frac{1}{|t|}} \frac 2 {w^3} \left[\frac{\sin(tw)}{tw} -1 \right] \,dw + \int_{\frac{1}{|t|}}^{\infty} \frac 2 {w^3} \left[\frac{\sin(tw)}{tw} -1 \right] \,dw \\ &= \int_1^{\frac{1}{|t|}} \frac 2 {w^3} \left[\frac{\sin(tw)}{tw} -1 + \left \{ -\frac{t^2w^2}{3!} + \frac{t^2w^2}{3!} \right \} \right] \,dw + \int_{\frac{1}{|t|}}^{\infty} \frac 2 {w^3} \left[\frac{\sin(tw)}{tw} -1 \right] \,dw \\ &= \int_1^{\frac{1}{|t|}} -\frac{t^2dw}{3w} + \int_1^{\frac{1}{|t|}} \frac 2 {w^3} \left[\frac{\sin(tw)}{tw} -1 + \frac{t^2w^2}{3!} \right] dw +\int_{\frac{1}{|t|}}^{\infty} \frac 2 {w^3} \left[\frac{\sin(tw)}{tw} -1 \right] dw \\ &= \int_1^{\frac{1}{|t|}} -\frac{t^2dw}{3w} + \left \{ \int_0^{\frac{1}{|t|}} \frac 2 {w^3} \left[\frac{\sin(tw)}{tw} -1 + \frac{t^2w^2}{3!} \right] dw - \int_0^1 \frac 2 {w^3} \left[\frac{\sin(tw)}{tw} -1 + \frac{t^2w^2}{3!} \right] dw \right \} +\int_{\frac{1}{|t|}}^{\infty} \frac 2 {w^3} \left[\frac{\sin(tw)}{tw} -1 \right] dw \\ &= \int_1^{\frac{1}{|t|}} -\frac{t^2dw}{3w} +t^2\int_0^1\frac 2{y^3}\left[\frac{\sin(y)}{y}-1+\frac{y^2}6\right]dy -\int_0^1\frac 2{w^3}\left[\frac{\sin(tw)}{tw}-1+\frac{t^2w^2}6\right]dw +t^2\int_1^\infty\frac 2{y^3}\left[\frac{\sin(y)}y-1\right]dy \\ &= -\frac{t^2}{3} \int_1^{\frac{1}{|t|}} \frac{dw}{w} + t^2 C_1 - \int_0^1\frac 2{w^3}\left[\frac{\sin(tw)}{tw}-1+\frac{t^2w^2}6\right]dw + t^2 C_2 \\ &= \frac{t^2}3\ln|t| + t^2 C_3 - \int_0^1\frac 2{w^3}\left[\frac{\sin(tw)}{tw}-1+\frac{t^2w^2}6\right]dw \\ &= \frac{t^2}3\ln|t| + t^2 C_3 - \int_0^1\frac 2{w^3}\left[ \frac{t^4w^4}{5!} + \cdots \right ] dw \\ &= \frac{t^2}3\ln|t| + t^2 C_3 - \mathcal{O} \left ( t^4 \right ) \end{align} }[/math] where [math]\displaystyle{ C_1, C_2 }[/math] and [math]\displaystyle{ C_3 }[/math] are constants. Therefore, [math]\displaystyle{ \varphi(t)\sim 1+ \frac{t^2}{3}\ln|t| }[/math] and according to what was said above (and the fact that the variance of f(x;2,0,1,0) is 2), the sum of n instances of this random variable, divided by [math]\displaystyle{ \sqrt{n(\ln n)/12}, }[/math] will converge in distribution to a Gaussian distribution with variance 1. But the variance at any particular n will still be infinite. Note that the width of the limiting distribution grows faster than in the case where the random variable has a finite variance (in which case the width grows as the square root of n). The average, obtained by dividing the sum by n, tends toward a Gaussian whose width approaches zero as n increases, in accordance with the Law of large numbers.

Special cases

Log-log plot of symmetric centered stable distribution PDFs showing the power law behavior for large x. The power law behavior is evidenced by the straight-line appearance of the PDF for large x, with the slope equal to [math]\displaystyle{ -(\alpha+1) }[/math]. (The only exception is for [math]\displaystyle{ \alpha = 2 }[/math], in black, which is a normal distribution.)

Log-log plot of skewed centered stable distribution PDFs showing the power law behavior for large x. Again the slope of the linear portions is equal to [math]\displaystyle{ -(\alpha+1) }[/math]

There is no general analytic solution for the form of f(x). There are, however three special cases which can be expressed in terms of elementary functions as can be seen by inspection of the characteristic function:

• For [math]\displaystyle{ \alpha = 2 }[/math] the distribution reduces to a Gaussian distribution with variance σ² = 2c² and mean μ; the skewness parameter [math]\displaystyle{ \beta }[/math] has no effect.
• For [math]\displaystyle{ \alpha = 1 }[/math] and [math]\displaystyle{ \beta = 0 }[/math] the distribution reduces to a Cauchy distribution with scale parameter c and shift parameter μ.
• For [math]\displaystyle{ \alpha = 1/2 }[/math] and [math]\displaystyle{ \beta = 1 }[/math] the distribution reduces to a Lévy distribution with scale parameter c and shift parameter μ.

Note that the above three distributions are also connected, in the following way: A standard Cauchy random variable can be viewed as a mixture of Gaussian random variables (all with mean zero), with the variance being drawn from a standard Lévy distribution. And in fact this is a special case of a more general theorem (See p. 59 of ) which allows any symmetric alpha-stable distribution to be viewed in this way (with the alpha parameter of the mixture distribution equal to twice the alpha parameter of the mixing distribution—and the beta parameter of the mixing distribution always equal to one).

A general closed form expression for stable PDFs with rational values of [math]\displaystyle{ \alpha }[/math] is available in terms of Meijer G-functions. Fox H-Functions can also be used to express the stable probability density functions. For simple rational numbers, the closed form expression is often in terms of less complicated special functions. Several closed form expressions having rather simple expressions in terms of special functions are available. In the table below, PDFs expressible by elementary functions are indicated by an E and those that are expressible by special functions are indicated by an s.

		[math]\displaystyle{ \alpha }[/math]
		1/3	1/2	2/3	1	4/3	3/2	2
[math]\displaystyle{ \beta }[/math]	0	s	s	s	E	s	s	E
	1	s	E	s	L		s

Some of the special cases are known by particular names:

• For [math]\displaystyle{ \alpha = 1 }[/math] and [math]\displaystyle{ \beta = 1 }[/math], the distribution is a Landau distribution (L) which has a specific usage in physics under this name.
• For [math]\displaystyle{ \alpha = 3/2 }[/math] and [math]\displaystyle{ \beta = 0 }[/math] the distribution reduces to a Holtsmark distribution with scale parameter c and shift parameter μ.

Also, in the limit as c approaches zero or as α approaches zero the distribution will approach a Dirac delta function δ(x − μ).

Series representation

The stable distribution can be restated as the real part of a simpler integral: [math]\displaystyle{ f(x;\alpha,\beta,c,\mu)=\frac{1}{\pi}\Re\left[ \int_0^\infty e^{it(x-\mu)}e^{-(ct)^\alpha(1-i\beta\Phi)}\,dt\right]. }[/math]

Expressing the second exponential as a Taylor series, we have: [math]\displaystyle{ f(x;\alpha,\beta,c,\mu)=\frac{1}{\pi}\Re\left[ \int_0^\infty e^{it(x-\mu)}\sum_{n=0}^\infty\frac{(-qt^\alpha)^n}{n!}\,dt\right] }[/math] where [math]\displaystyle{ q=c^\alpha(1-i\beta\Phi) }[/math]. Reversing the order of integration and summation, and carrying out the integration yields: [math]\displaystyle{ f(x;\alpha,\beta,c,\mu)=\frac{1}{\pi}\Re\left[ \sum_{n=1}^\infty\frac{(-q)^n}{n!}\left(\frac{i}{x-\mu}\right)^{\alpha n+1}\Gamma(\alpha n+1)\right] }[/math] which will be valid for x ≠ μ and will converge for appropriate values of the parameters. (Note that the n = 0 term which yields a delta function in x − μ has therefore been dropped.) Expressing the first exponential as a series will yield another series in positive powers of x − μ which is generally less useful.

For one-sided stable distribution, the above series expansion needs to be modified, since [math]\displaystyle{ q=\exp(-i\alpha\pi/2) }[/math] and [math]\displaystyle{ q i^{\alpha}=1 }[/math]. There is no real part to sum. Instead, the integral of the characteristic function should be carried out on the negative axis, which yields: [math]\displaystyle{ \begin{align} L_\alpha(x) & = \frac{1}{\pi}\Re\left[ \sum_{n=1}^\infty\frac{(-q)^n}{n!}\left(\frac{-i}{x}\right)^{\alpha n+1}\Gamma(\alpha n+1)\right] \\ & = \frac{1}{\pi}\sum_{n=1}^\infty\frac{-\sin(n(\alpha+1)\pi)}{n!}\left(\frac{1}{x}\right)^{\alpha n+1}\Gamma(\alpha n+1) \end{align} }[/math]

Simulation of stable variables

Simulating sequences of stable random variables is not straightforward, since there are no analytic expressions for the inverse [math]\displaystyle{ F^{-1}(x) }[/math] nor the CDF [math]\displaystyle{ F(x) }[/math] itself. All standard approaches like the rejection or the inversion methods would require tedious computations. A much more elegant and efficient solution was proposed by Chambers, Mallows and Stuck (CMS), who noticed that a certain integral formula yielded the following algorithm:

• generate a random variable [math]\displaystyle{ U }[/math] uniformly distributed on [math]\displaystyle{ \left (-\tfrac{\pi}{2},\tfrac{\pi}{2} \right ) }[/math] and an independent exponential random variable [math]\displaystyle{ W }[/math] with mean 1;
• for [math]\displaystyle{ \alpha\ne 1 }[/math] compute: [math]\displaystyle{ X = \left (1+\zeta^2 \right )^\frac{1}{2\alpha} \frac{\sin ( \alpha(U+\xi)) }{ (\cos(U))^{\frac{1}{\alpha}}} \left (\frac{\cos (U - \alpha(U+\xi)) }{W} \right )^\frac{1-\alpha}{\alpha}, }[/math]
• for [math]\displaystyle{ \alpha=1 }[/math] compute: [math]\displaystyle{ X = \frac{1}{\xi}\left\{\left(\frac{\pi}{2}+\beta U \right)\tan U- \beta\log\left(\frac{\frac{\pi}{2} W\cos U}{\frac{\pi}{2}+\beta U}\right)\right\}, }[/math] where [math]\displaystyle{ \zeta = -\beta\tan\frac{\pi\alpha}{2}, \qquad \xi =\begin{cases} \frac{1}{\alpha} \arctan(-\zeta) & \alpha \ne 1 \\ \frac{\pi}{2} & \alpha=1 \end{cases} }[/math]

This algorithm yields a random variable [math]\displaystyle{ X\sim S_\alpha(\beta,1,0) }[/math]. For a detailed proof see.

Given the formulas for simulation of a standard stable random variable, we can easily simulate a stable random variable for all admissible values of the parameters [math]\displaystyle{ \alpha }[/math], [math]\displaystyle{ c }[/math], [math]\displaystyle{ \beta }[/math] and [math]\displaystyle{ \mu }[/math] using the following property. If [math]\displaystyle{ X \sim S_\alpha(\beta,1,0) }[/math] then [math]\displaystyle{ Y = \begin{cases} c X+\mu & \alpha \ne 1 \\ c X+\frac{2}{\pi}\beta c\log c + \mu & \alpha = 1 \end{cases} }[/math] is [math]\displaystyle{ S_\alpha(\beta,c,\mu) }[/math]. For [math]\displaystyle{ \alpha = 2 }[/math] (and [math]\displaystyle{ \beta = 0 }[/math]) the CMS method reduces to the well known Box-Muller transform for generating Gaussian random variables. Many other approaches have been proposed in the literature, including application of Bergström and LePage series expansions. However, the CMS method is regarded as the fastest and the most accurate.

Applications

Stable distributions owe their importance in both theory and practice to the generalization of the central limit theorem to random variables without second (and possibly first) order moments and the accompanying self-similarity of the stable family. It was the seeming departure from normality along with the demand for a self-similar model for financial data (i.e. the shape of the distribution for yearly asset price changes should resemble that of the constituent daily or monthly price changes) that led Benoît Mandelbrot to propose that cotton prices follow an alpha-stable distribution with [math]\displaystyle{ \alpha }[/math] equal to 1.7. Lévy distributions are frequently found in analysis of critical behavior and financial data.

They are also found in spectroscopy as a general expression for a quasistatically pressure broadened spectral line.

The Lévy distribution of solar flare waiting time events (time between flare events) was demonstrated for CGRO BATSE hard x-ray solar flares in December 2001. Analysis of the Lévy statistical signature revealed that two different memory signatures were evident; one related to the solar cycle and the second whose origin appears to be associated with a localized or combination of localized solar active region effects.

Other analytic cases

A number of cases of analytically expressible stable distributions are known. Let the stable distribution be expressed by [math]\displaystyle{ f(x;\alpha,\beta,c,\mu) }[/math] then we know:

• The Cauchy Distribution is given by [math]\displaystyle{ f(x;1,0,1,0). }[/math]
• The Lévy distribution is given by [math]\displaystyle{ f(x;\tfrac{1}{2},1,1,0). }[/math]
• The Normal distribution is given by [math]\displaystyle{ f(x;2,0,1,0). }[/math]
• Let [math]\displaystyle{ S_{\mu,\nu}(z) }[/math] be a Lommel function, then: [math]\displaystyle{ f \left (x;\tfrac{1}{3},0,1,0\right ) = \Re\left ( \frac{2e^{- \frac{i \pi}{4}}}{3 \sqrt{3} \pi} \frac{1}{\sqrt{x^3}} S_{0,\frac{1}{3}} \left (\frac{2e^{\frac{i \pi}{4}}}{3 \sqrt{3}} \frac{1}{\sqrt{x}} \right) \right ) }[/math]
• Let [math]\displaystyle{ S(x) }[/math] and [math]\displaystyle{ C(x) }[/math] denote the Fresnel integrals then: [math]\displaystyle{ f\left (x;\tfrac{1}{2},0,1,0\right ) = \frac{1}{{\sqrt{2\pi|x|^3}}}\left (\sin\left(\tfrac{1}{4|x|}\right) \left [\frac{1}{2} - S\left (\tfrac{1}{\sqrt{2\pi|x|}}\right )\right ]+\cos\left(\tfrac{1}{4|x|} \right) \left [\frac{1}{2}-C\left (\tfrac{1}{\sqrt{2\pi|x|}}\right )\right ]\right ) }[/math]
• Let [math]\displaystyle{ K_v(x) }[/math] be the modified Bessel function of the second kind then: [math]\displaystyle{ f\left (x;\tfrac{1}{3},1,1,0\right ) = \frac{1}{\pi} \frac{2\sqrt{2}}{3^{\frac{7}{4}}} \frac{1}{\sqrt{x^3}} K_{\frac{1}{3}}\left (\frac{4\sqrt{2}}{3^{\frac{9}{4}}} \frac{1}{\sqrt{x}} \right ) }[/math]
• If the [math]\displaystyle{ {}_mF_n }[/math] denote the hypergeometric functions then: [math]\displaystyle{ \begin{align} f\left (x;\tfrac{4}{3},0,1,0\right ) &= \frac{3^{\frac{5}{4}}}{4 \sqrt{2 \pi}} \frac{\Gamma \left (\tfrac{7}{12} \right ) \Gamma \left (\tfrac{11}{12} \right )}{\Gamma\left (\tfrac{6}{12} \right ) \Gamma \left (\tfrac{8}{12} \right )} {}_2F_2 \left ( \tfrac{7}{12}, \tfrac{11}{12}; \tfrac{6}{12}, \tfrac{8}{12}; \tfrac{3^3 x^4}{4^4} \right ) - \frac{3^{\frac{11}{4}}x^3}{4^3 \sqrt{2 \pi}} \frac{\Gamma \left (\tfrac{13}{12} \right ) \Gamma \left (\tfrac{17}{12} \right )}{\Gamma \left (\tfrac{18}{12} \right ) \Gamma \left (\tfrac{15}{12} \right )} {}_2F_2 \left ( \tfrac{13}{12}, \tfrac{17}{12}; \tfrac{18}{12}, \tfrac{15}{12}; \tfrac{3^3 x^4}{4^4} \right ) \\[6pt] f\left (x;\tfrac{3}{2},0,1,0\right ) &= \frac{\Gamma \left(\tfrac{5}{3} \right)}{\pi} {}_2F_3 \left ( \tfrac{5}{12}, \tfrac{11}{12}; \tfrac{1}{3}, \tfrac{1}{2}, \tfrac{5}{6}; - \tfrac{2^2 x^6}{3^6} \right ) - \frac{x^2}{3 \pi} {}_3F_4 \left ( \tfrac{3}{4}, 1, \tfrac{5}{4}; \tfrac{2}{3}, \tfrac{5}{6}, \tfrac{7}{6}, \tfrac{4}{3}; - \tfrac{2^2 x^6}{3^6} \right ) + \frac{7 x^4\Gamma \left(\tfrac{4}{3} \right)}{3^4 \pi ^ 2} {}_2F_3 \left ( \tfrac{13}{12}, \tfrac{19}{12}; \tfrac{7}{6}, \tfrac{3}{2}, \tfrac{5}{3}; -\tfrac{2^2 x^6}{3^6} \right) \end{align} }[/math] with the latter being the Holtsmark distribution.
• Let [math]\displaystyle{ W_{k,\mu}(z) }[/math] be a Whittaker function, then: [math]\displaystyle{ \begin{align} f\left (x;\tfrac{2}{3},0,1,0\right ) &= \frac{\sqrt{3}}{6\sqrt{\pi}|x|} \exp\left (\tfrac{2}{27}x^{-2}\right ) W_{-\frac{1}{2},\frac{1}{6}}\left (\tfrac{4}{27}x^{-2}\right ) \\[8pt] f\left (x;\tfrac{2}{3},1,1,0\right ) &= \frac{\sqrt{3}}{\sqrt{\pi}|x|} \exp\left (-\tfrac{16}{27}x^{-2}\right ) W_{\frac{1}{2},\frac{1}{6}} \left (\tfrac{32}{27}x^{-2}\right ) \\[8pt] f\left (x;\tfrac{3}{2},1,1,0\right ) &= \begin{cases} \frac{\sqrt{3}}{\sqrt{\pi}|x|} \exp\left (\frac{1}{27}x^3\right ) W_{\frac{1}{2},\frac{1}{6}}\left (- \frac{2}{27}x^3\right ) & x\lt 0\\ {} \\ \frac{\sqrt{3}}{6\sqrt{\pi}|x|} \exp\left (\frac{1}{27}x^3\right ) W_{-\frac{1}{2},\frac{1}{6}}\left (\frac{2}{27}x^3\right ) & x \geq 0 \end{cases} \end{align} }[/math]

See also

• Lévy flight
• Lévy process
• Other "power law" distributions
  • Pareto distribution
  • Zeta distribution
  • Zipf distribution
  • Zipf–Mandelbrot distribution
• Financial models with long-tailed distributions and volatility clustering
• Multivariate stable distribution
• Discrete-stable distribution

Notes

• The STABLE program for Windows is available from John Nolan's stable webpage: http://www.robustanalysis.com/public/stable.html. It calculates the density (pdf), cumulative distribution function (cdf) and quantiles for a general stable distribution, and performs maximum likelihood estimation of stable parameters and some exploratory data analysis techniques for assessing the fit of a data set.
• libstable is a C implementation for the Stable distribution pdf, cdf, random number, quantile and fitting functions (along with a benchmark replication package and an R package).
• R Package 'stabledist' by Diethelm Wuertz, Martin Maechler and Rmetrics core team members. Computes stable density, probability, quantiles, and random numbers. Updated Sept. 12, 2016.
• Python implementation is located in scipy.stats.levy_stable in the SciPy package.