Method in statistics
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.[1] Its statistical application can be traced as far back as 1928 by T. L. Kelley.[2] A formal description of the method was presented by J. L. Doob in 1935.[3] Robert Dorfman also described a version of it in 1938.[4]
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 Xn satisfying
![{\displaystyle {{\sqrt {n}}[X_{n}-\theta ]\,{\xrightarrow {D}}\,{\mathcal {N}}(0,\sigma ^{2})},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0c0cc5e1bb093d98be669c7ee437eea66d30816)
where θ and σ2 are finite valued constants and
denotes convergence in distribution, then
![{\displaystyle {{\sqrt {n}}[g(X_{n})-g(\theta )]\,{\xrightarrow {D}}\,{\mathcal {N}}(0,\sigma ^{2}\cdot [g'(\theta )]^{2})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1c9662a6c08b9088cbbd6bd091b9c46033c07a2)
for any function g satisfying the property that its first derivative, evaluated at
,
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
is differentiable near the neighborhood of
and
is continuous at
with
. To begin, we use the mean value theorem (i.e.: the first order approximation of a Taylor series using Taylor's theorem):
![{\displaystyle g(X_{n})=g(\theta )+g'({\tilde {\theta }})(X_{n}-\theta ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57cf6d6ec64cfe9cdcfb95f9c401489f937e4110)
where
lies between Xn and θ.
Note that since
and
, it must be that
and since g′(θ) is continuous, applying the continuous mapping theorem yields
![{\displaystyle g'({\tilde {\theta }})\,{\xrightarrow {P}}\,g'(\theta ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef61fd7f4e9b692e89fae0c3da16a37f85735985)
where
denotes convergence in probability.
Rearranging the terms and multiplying by
gives
![{\displaystyle {\sqrt {n}}[g(X_{n})-g(\theta )]=g'\left({\tilde {\theta }}\right){\sqrt {n}}[X_{n}-\theta ].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b513a1a33095be13ff8f87a9ccc51bc61267d43a)
Since
![{\displaystyle {{\sqrt {n}}[X_{n}-\theta ]{\xrightarrow {D}}{\mathcal {N}}(0,\sigma ^{2})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c66f8196a977e31de2cdc705d2dfd7924d58763)
by assumption, it follows immediately from appeal to Slutsky's theorem that
![{\displaystyle {{\sqrt {n}}[g(X_{n})-g(\theta )]{\xrightarrow {D}}{\mathcal {N}}(0,\sigma ^{2}[g'(\theta )]^{2})}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/411bbe64fc07d9b513ed6f0219381bed0b8bd470)
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:
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbce02edd832f7563e0d970e7910a13407b840d4)
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:
![{\displaystyle {\sqrt {n}}\left(B-\beta \right)\,{\xrightarrow {D}}\,N\left(0,\Sigma \right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9828d42068d36601945e6cf26460ff3281788db)
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
![{\displaystyle h(B)\approx h(\beta )+\nabla h(\beta )^{T}\cdot (B-\beta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90d65d4047dd1027d3f0ceca4c763a1402128ad3)
which implies the variance of h(B) is approximately
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a00c9975a111a65f01d3e63cdfbe131c5328b61)
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
![{\displaystyle {\sqrt {n}}\left(h(B)-h(\beta )\right)\,{\xrightarrow {D}}\,N\left(0,\nabla h(\beta )^{T}\cdot \Sigma \cdot \nabla h(\beta )\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebf24a2ec5d194fda14318ec36b9939cee82bd18)
or in univariate terms,
![{\displaystyle {\sqrt {n}}\left(h(B)-h(\beta )\right)\,{\xrightarrow {D}}\,N\left(0,\sigma ^{2}\cdot \left(h^{\prime }(\beta )\right)^{2}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33d4ec20f5da35f8b70a160700a6ccec83657fdb)
Example: the binomial proportion
Suppose Xn is binomial with parameters
and n. Since
![{\displaystyle {{\sqrt {n}}\left[{\frac {X_{n}}{n}}-p\right]\,{\xrightarrow {D}}\,N(0,p(1-p))},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f68936fde52a2d07cb6394ee23727f4e96300bd9)
we can apply the Delta method with g(θ) = log(θ) to see
![{\displaystyle {{\sqrt {n}}\left[\log \left({\frac {X_{n}}{n}}\right)-\log(p)\right]\,{\xrightarrow {D}}\,N(0,p(1-p)[1/p]^{2})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/500d2fd163eccb08acb6cb29e70516c27984d328)
Hence, even though for any finite n, the variance of
does not actually exist (since Xn can be zero), the asymptotic variance of
does exist and is equal to
![{\displaystyle {\frac {1-p}{np}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4956b5944be1747c6f76256d6b8b895e179ee366)
Note that since p>0,
as
, so with probability converging to one,
is finite for large n.
Moreover, if
and
are estimates of different group rates from independent samples of sizes n and m respectively, then the logarithm of the estimated relative risk
has asymptotic variance equal to
![{\displaystyle {\frac {1-p}{p\,n}}+{\frac {1-q}{q\,m}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ea0769dc6271b87997a5c75b6daa2a9451941fd)
This is useful to construct a hypothesis test or to make a confidence interval for the relative risk.
The delta method is often used in a form that is essentially identical to that above, but without the assumption that Xn 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:[5]
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76e1839bdd1713462ada7ebd8d74414ad2d2acb6)
where hr is the rth element of h(B) and Bi 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,
, so that the variance of
relies on up to the 4th moment of
.
The second-order delta method is also useful in conducting a more accurate approximation of
's distribution when sample size is small.
.
For example, when
follows the standard normal distribution,
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
be an independent and identically distributed random variable with a sample of size
with an empirical distribution function
, and let
be a functional. If
is Hadamard differentiable with respect to the Chebyshev metric, then
![{\displaystyle {\frac {T({\hat {F}}_{n})-T(F)}{\widehat {\text{se}}}}\xrightarrow {D} N(0,1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05aebb929360f99d4794a1e0d6c0be348622323e)
where
and
, with
denoting the empirical influence function for
. A nonparametric
pointwise asymptotic confidence interval for
is therefore given by
![{\displaystyle T({\hat {F}}_{n})\pm z_{\alpha /2}{\widehat {\text{se}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05ba46c3760e83e74956f425a4a4b9398f0768b2)
where
denotes the
-quantile of the standard normal. See Wasserman (2006) p. 19f. for details and examples.
See also
References
Further reading
External links