Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Karamata's Theorem

Statement

Let LL be eventually positive, measurable, locally bounded, and slowly varying at infinity. If ρ>1\rho>-1, then

axtρL(t)dtxρ+1L(x)ρ+1,x.\int_a^x t^\rho L(t)\,dt \sim \frac{x^{\rho+1}L(x)}{\rho+1}, \qquad x\to\infty.

If ρ<1\rho<-1, then

xtρL(t)dtxρ+1L(x)ρ1,x.\int_x^\infty t^\rho L(t)\,dt \sim \frac{x^{\rho+1}L(x)}{-\rho-1}, \qquad x\to\infty.

Here a>0a>0 is fixed, and A(x)B(x)A(x)\sim B(x) means A(x)/B(x)1A(x)/B(x)\to1.

For a nonnegative random variable XX with regularly varying survival function Fˉ(x)=xαL(x)\bar F(x)=x^{-\alpha}L(x) and α>0\alpha>0, integration by parts gives the moment-test consequences

E[Xp1{X>x}]ααpxpFˉ(x),0<p<α,\mathbb E[X^p\mathbf 1_{\{X>x\}}] \sim \frac{\alpha}{\alpha-p}x^p\bar F(x), \qquad 0<p<\alpha,

and

E[Xp1{Xx}]αpαxpFˉ(x),p>α.\mathbb E[X^p\mathbf 1_{\{X\le x\}}] \sim \frac{\alpha}{p-\alpha}x^p\bar F(x), \qquad p>\alpha.

Thus a Pareto-type tail has finite ppth moment for p<αp<\alpha and infinite ppth moment for p>αp>\alpha. The boundary case p=αp=\alpha is not decided by this theorem alone; it depends on the slowly varying factor LL.

Here Fˉ(x)=P(X>x)\bar F(x)=\mathbb P(X>x), α\alpha is the positive tail exponent, and pp is the moment order. The integration parameters aa and ρ\rho belong to the integral theorem.

Intuition

Karamata’s theorem says that, for regularly varying functions, integrals are asymptotically governed by the endpoint where the mass accumulates. When ρ>1\rho>-1, the integral up to xx is controlled by the upper endpoint. When ρ<1\rho<-1, the remaining tail integral beyond xx is controlled by the lower endpoint.

This is the bridge between tail shape and moment existence. Once the survival tail behaves like xαL(x)x^{-\alpha}L(x), multiplying by xpx^p tests whether the ppth moment is still dominated by ordinary observations or by the far tail.

Examples

Deriving the moment consequences

We use Karamata’s integral asymptotics as a cited theorem, then derive the two moment consequences by integration by parts. The boundary case p=αp=\alpha is not decided by Karamata alone; it depends on the slowly varying factor and is handled through examples and caveats.

The integral asymptotics are the classical form of Karamata’s theorem for regularly varying functions. The full proof uses uniform convergence of slowly varying functions on compact multiplier intervals and a split of the integral into a near-endpoint part and a negligible remainder; this page cites the standard theorem rather than reproducing that argument here.

The moment consequences follow from integration by parts. For 0<p<α0<p<\alpha,

E[Xp1{X>x}]=xpFˉ(x)+pxtp1Fˉ(t)dt.\mathbb E[X^p\mathbf 1_{\{X>x\}}] =x^p\bar F(x)+p\int_x^\infty t^{p-1}\bar F(t)\,dt.

Since tp1Fˉ(t)=tpα1L(t)t^{p-1}\bar F(t)=t^{p-\alpha-1}L(t) and pα1<1p-\alpha-1<-1, Karamata’s tail-integral form gives

xtp1Fˉ(t)dtxpαL(x)αp=xpFˉ(x)αp.\int_x^\infty t^{p-1}\bar F(t)\,dt \sim \frac{x^{p-\alpha}L(x)}{\alpha-p} = \frac{x^p\bar F(x)}{\alpha-p}.

Therefore

E[Xp1{X>x}](1+pαp)xpFˉ(x)=ααpxpFˉ(x).\mathbb E[X^p\mathbf 1_{\{X>x\}}] \sim \left(1+\frac{p}{\alpha-p}\right)x^p\bar F(x) = \frac{\alpha}{\alpha-p}x^p\bar F(x).

For p>αp>\alpha,

E[Xp1{Xx}]=p0xtp1Fˉ(t)dtxpFˉ(x).\mathbb E[X^p\mathbf 1_{\{X\le x\}}] =p\int_0^x t^{p-1}\bar F(t)\,dt-x^p\bar F(x).

The part of the integral over any fixed bounded interval is negligible relative to xpFˉ(x)x^p\bar F(x). Applying Karamata to tpα1L(t)t^{p-\alpha-1}L(t) gives

p0xtp1Fˉ(t)dtppαxpFˉ(x),p\int_0^x t^{p-1}\bar F(t)\,dt \sim \frac{p}{p-\alpha}x^p\bar F(x),

so subtracting xpFˉ(x)x^p\bar F(x) leaves

E[Xp1{Xx}]αpαxpFˉ(x).\mathbb E[X^p\mathbf 1_{\{X\le x\}}] \sim \frac{\alpha}{p-\alpha}x^p\bar F(x).

For the exact Pareto special case, LL is constant and the same formulas are obtained by direct power integration.

Moment-test calculation

For a slowly varying example take L(t)=logtL(t)=\log t on t>1t>1 and ρ>1\rho>-1. Integration by parts gives the exact identity

1xtρlogtdt=xρ+1logxρ+1xρ+11(ρ+1)2.\int_1^x t^\rho\log t\,dt =\frac{x^{\rho+1}\log x}{\rho+1} -\frac{x^{\rho+1}-1}{(\rho+1)^2}.

Dividing by Karamata’s leading term yields

1xtρlogtdtxρ+1logx/(ρ+1)=11x(ρ+1)(ρ+1)logx1.\frac{\int_1^x t^\rho\log t\,dt} {x^{\rho+1}\log x/(\rho+1)} =1-\frac{1-x^{-(\rho+1)}}{(\rho+1)\log x}\longrightarrow1.

For exact Pareto with xm=1x_m=1 and p>αp>\alpha, the ratio of the truncated moment to its leading term is 1x(pα)11-x^{-(p-\alpha)}\to1. At p=αp=\alpha, the truncated moment is αlogx\alpha\log x instead. These are exact calculations illustrating the cited theorem.

Caveats

References

Source and adaptation

Adapted from incerto-wiki, content/concepts/theorems/karamata.md, revision 9717c9c (2026-09-13 import). Copyright (c) 2023 xshi19. Licensed under MIT. Links and notation were adapted for this site; executable figures and simulations were replaced with static calculations. No upstream execution or formal-proof verification is claimed for this adaptation.

MIT permission notice

MIT License

Copyright (c) 2023 xshi19

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

References
  1. Bingham, N. H., Goldie, C. M., & Teugels, J. L. (1987). Regular Variation. Cambridge University Press. 10.1017/cbo9780511721434
  2. Embrechts, P., Klüppelberg, C., & Mikosch, T. (1997). Modelling Extremal Events. Springer Berlin Heidelberg. 10.1007/978-3-642-33483-2
  3. Resnick, S. I. (2007). Heavy-Tail Phenomena: Probabilistic and Statistical Modeling. In Springer Series in Operations Research and Financial Engineering. Springer New York. 10.1007/978-0-387-45024-7