# Delta method

In statistics, the delta method is a method of deriving the asymptotic distribution of a random variable. It is applicable when the random variable being considered can be defined as a differentiable function of a random variable which is asymptotically Gaussian.

## History

The delta method was derived from propagation of error, and the idea behind was known in the early 20th century. Its statistical application can be traced as far back as 1928 by T. L. Kelley. A formal description of the method was presented by J. L. Doob in 1935. Robert Dorfman also described a version of it in 1938.

## Univariate delta method

While the delta method generalizes easily to a multivariate setting, careful motivation of the technique is more easily demonstrated in univariate terms. Roughly, if there is a sequence of random variables X$_n$ satisfying
    ${{\sqrt {n}}[X_{n}-\theta ]\,{\xrightarrow {D}}\,{\mathcal {N}}(0,\sigma ^{2})},$
where θ and σ$^2$ are finite valued constants and ${\xrightarrow {D}}$ denotes convergence in distribution, then
    ${{\sqrt {n}}[g(X_{n})-g(\theta )]\,{\xrightarrow {D}}\,{\mathcal {N}}(0,\sigma ^{2}\cdot [g'(\theta )]^{2})}$
for any function g satisfying the property that its first derivative, evaluated at $\theta$, $g'(\theta )$ exists and is non-zero valued.
The intuition of the delta method is that any such g function, in a "small enough" range of the function, can be approximated via a first order Taylor series (which is basically a linear function). If the random variable is roughly normal then a linear transformation of it is also normal. Small range can be achieved when approximating the function around the mean, when the variance is "small enough". When g is applied to a random variable such as the mean, the delta method would tend to work better as the sample size increases, since it would help reduce the variance, and thus the taylor approximation would be applied to a smaller range of the function g at the point of interest.

### Proof in the univariate case

Demonstration of this result is fairly straightforward under the assumption that $g(x)$ is differentiable near the neighborhood of $\theta$ and $g'(x)$ is continuous at $\theta$ with $g'(\theta )\neq 0$. To begin, we use the mean value theorem (i.e.: the first order approximation of a Taylor series using Taylor's theorem):
    $g(X_{n})=g(\theta )+g'({\tilde {\theta }})(X_{n}-\theta ),$
where ${\tilde {\theta }}$ lies between X$_n$ and θ. Note that since $X_{n}\,{\xrightarrow {P}}\,\theta$ and $|{\tilde {\theta }}-\theta |<|X_{n}-\theta |$, it must be that ${\tilde {\theta }}\,{\xrightarrow {P}}\,\theta$ and since g′(θ) is continuous, applying the continuous mapping theorem yields
    $g'({\tilde {\theta }})\,{\xrightarrow {P}}\,g'(\theta ),$
where ${\xrightarrow {P}}$ denotes convergence in probability.
Rearranging the terms and multiplying by ${\sqrt {n}}$ gives
    ${\sqrt {n}}[g(X_{n})-g(\theta )]=g'\left({\tilde {\theta }}\right){\sqrt {n}}[X_{n}-\theta ].$
Since
    ${{\sqrt {n}}[X_{n}-\theta ]{\xrightarrow {D}}{\mathcal {N}}(0,\sigma ^{2})}$
by assumption, it follows immediately from appeal to Slutsky's theorem that
    ${{\sqrt {n}}[g(X_{n})-g(\theta )]{\xrightarrow {D}}{\mathcal {N}}(0,\sigma ^{2}[g'(\theta )]^{2})}.$
This concludes the proof.

#### Proof with an explicit order of approximation

Alternatively, one can add one more step at the end, to obtain the order of approximation:
    ${\begin{aligned}{\sqrt {n}}[g(X_{n})-g(\theta )]&=g'\left({\tilde {\theta }}\right){\sqrt {n}}[X_{n}-\theta ]\\[5pt]&={\sqrt {n}}[X_{n}-\theta ]\left[g'({\tilde {\theta }})+g'(\theta )-g'(\theta )\right]\\[5pt]&={\sqrt {n}}[X_{n}-\theta ]\left[g'(\theta )\right]+{\sqrt {n}}[X_{n}-\theta ]\left[g'({\tilde {\theta }})-g'(\theta )\right]\\[5pt]&={\sqrt {n}}[X_{n}-\theta ]\left[g'(\theta )\right]+O_{p}(1)\cdot o_{p}(1)\\[5pt]&={\sqrt {n}}[X_{n}-\theta ]\left[g'(\theta )\right]+o_{p}(1)\end{aligned}}$
This suggests that the error in the approximation converges to 0 in probability.

## Multivariate delta method

By definition, a consistent estimator B converges in probability to its true value β, and often a central limit theorem can be applied to obtain asymptotic normality:
    ${\sqrt {n}}\left(B-\beta \right)\,{\xrightarrow {D}}\,N\left(0,\Sigma \right),$
where n is the number of observations and Σ is a (symmetric positive semi-definite) covariance matrix. Suppose we want to estimate the variance of a scalar-valued function h of the estimator B. Keeping only the first two terms of the Taylor series, and using vector notation for the gradient, we can estimate h(B) as
    $h(B)\approx h(\beta )+\nabla h(\beta )^{T}\cdot (B-\beta )$
which implies the variance of h(B) is approximately
    ${\begin{aligned}\operatorname {Var} \left(h(B)\right)&\approx \operatorname {Var} \left(h(\beta )+\nabla h(\beta )^{T}\cdot (B-\beta )\right)\\[5pt]&=\operatorname {Var} \left(h(\beta )+\nabla h(\beta )^{T}\cdot B-\nabla h(\beta )^{T}\cdot \beta \right)\\[5pt]&=\operatorname {Var} \left(\nabla h(\beta )^{T}\cdot B\right)\\[5pt]&=\nabla h(\beta )^{T}\cdot \operatorname {Cov} (B)\cdot \nabla h(\beta )\\[5pt]&=\nabla h(\beta )^{T}\cdot {\frac {\Sigma }{n}}\cdot \nabla h(\beta )\end{aligned}}$
One can use the mean value theorem (for real-valued functions of many variables) to see that this does not rely on taking first order approximation.
The delta method therefore implies that
    ${\sqrt {n}}\left(h(B)-h(\beta )\right)\,{\xrightarrow {D}}\,N\left(0,\nabla h(\beta )^{T}\cdot \Sigma \cdot \nabla h(\beta )\right)$
or in univariate terms,
    ${\sqrt {n}}\left(h(B)-h(\beta )\right)\,{\xrightarrow {D}}\,N\left(0,\sigma ^{2}\cdot \left(h^{\prime }(\beta )\right)^{2}\right).$

## Example: the binomial proportion

Suppose X$_n$ is binomial with parameters $p\in (0,1]$ and n. Since
    ${{\sqrt {n}}\left[{\frac {X_{n}}{n}}-p\right]\,{\xrightarrow {D}}\,N(0,p(1-p))},$
we can apply the Delta method with g(θ) = log(θ) to see
    ${{\sqrt {n}}\left[\log \left({\frac {X_{n}}{n}}\right)-\log(p)\right]\,{\xrightarrow {D}}\,N(0,p(1-p)[1/p]^{2})}$
Hence, even though for any finite n, the variance of $\log \left({\frac {X_{n}}{n}}\right)$ does not actually exist (since X$_n$ can be zero), the asymptotic variance of $\log \left({\frac {X_{n}}{n}}\right)$ does exist and is equal to
    ${\frac {1-p}{np}}.$
Note that since p>0, $\Pr \left({\frac {X_{n}}{n}}>0\right)\rightarrow 1$ as $n\rightarrow \infty$, so with probability converging to one, $\log \left({\frac {X_{n}}{n}}\right)$ is finite for large n.
Moreover, if ${\hat {p}}$ and ${\hat {q}}$ are estimates of different group rates from independent samples of sizes n and m respectively, then the logarithm of the estimated relative risk ${\frac {\hat {p}}{\hat {q}}}$ has asymptotic variance equal to
    ${\frac {1-p}{p\,n}}+{\frac {1-q}{q\,m}}.$
This is useful to construct a hypothesis test or to make a confidence interval for the relative risk.

## Alternative form

The delta method is often used in a form that is essentially identical to that above, but without the assumption that X$_n$ or B is asymptotically normal. Often the only context is that the variance is "small". The results then just give approximations to the means and covariances of the transformed quantities. For example, the formulae presented in Klein (1953, p. 258) are:
    ${\begin{aligned}\operatorname {Var} \left(h_{r}\right)=&\sum _{i}\left({\frac {\partial h_{r}}{\partial B_{i}}}\right)^{2}\operatorname {Var} \left(B_{i}\right)+\sum _{i}\sum _{j\neq i}\left({\frac {\partial h_{r}}{\partial B_{i}}}\right)\left({\frac {\partial h_{r}}{\partial B_{j}}}\right)\operatorname {Cov} \left(B_{i},B_{j}\right)\\\operatorname {Cov} \left(h_{r},h_{s}\right)=&\sum _{i}\left({\frac {\partial h_{r}}{\partial B_{i}}}\right)\left({\frac {\partial h_{s}}{\partial B_{i}}}\right)\operatorname {Var} \left(B_{i}\right)+\sum _{i}\sum _{j\neq i}\left({\frac {\partial h_{r}}{\partial B_{i}}}\right)\left({\frac {\partial h_{s}}{\partial B_{j}}}\right)\operatorname {Cov} \left(B_{i},B_{j}\right)\end{aligned}}$
where h$_r$ is the rth element of h(B) and B$_i$ is the ith element of B.

## Second-order delta method

When g′(θ) = 0 the delta method cannot be applied. However, if g′′(θ) exists and is not zero, the second-order delta method can be applied. By the Taylor expansion, $n[g(X_{n})-g(\theta )]={\frac {1}{2}}n[X_{n}-\theta ]^{2}\left[g''(\theta )\right]+o_{p}(1)$, so that the variance of $g\left(X_{n}\right)$ relies on up to the 4th moment of $X_{n}$.
The second-order delta method is also useful in conducting a more accurate approximation of $g\left(X_{n}\right)$'s distribution when sample size is small. ${\sqrt {n}}[g(X_{n})-g(\theta )]={\sqrt {n}}[X_{n}-\theta ]g'(\theta )+{\frac {1}{2}}{\frac {n[X_{n}-\theta ]^{2}}{\sqrt {n}}}g''(\theta )+o_{p}(1)$. For example, when $X_{n}$ follows the standard normal distribution, $g\left(X_{n}\right)$ can be approximated as the weighted sum of a standard normal and a chi-square with degree-of-freedom of 1.

## Nonparametric delta method

A version of the delta method exists in nonparametric statistics. Let $X_{i}\sim F$ be an independent and identically distributed random variable with a sample of size $n$ with an empirical distribution function ${\hat {F}}_{n}$, and let $T$ be a functional. If $T$ is Hadamard differentiable with respect to the Chebyshev metric, then
    ${\frac {T({\hat {F}}_{n})-T(F)}{\widehat {\text{se}}}}\xrightarrow {D} N(0,1)$
where ${\widehat {\text{se}}}={\frac {\hat {\tau }}{\sqrt {n}}}$ and ${\hat {\tau }}^{2}={\frac {1}{n}}\sum _{i=1}^{n}{\hat {L}}^{2}(X_{i})$, with ${\hat {L}}(x)=L_{{\hat {F}}_{n}}(\delta _{x})$ denoting the empirical influence function for $T$. A nonparametric $(1-\alpha )$ pointwise asymptotic confidence interval for $T(F)$ is therefore given by
    $T({\hat {F}}_{n})\pm z_{\alpha /2}{\widehat {\text{se}}}$
where $z_{q}$ denotes the $q$-quantile of the standard normal. See Wasserman (2006) p. 19f. for details and examples.