Slowly varying function

Template:Short description In real analysis, a branch of mathematics, a slowly varying function is a function of a real variable whose behaviour at infinity is in some sense similar to the behaviour of a function converging at infinity. Similarly, a regularly varying function is a function of a real variable whose behaviour at infinity is similar to the behaviour of a power law function (like a polynomial) near infinity. These classes of functions were both introduced by Jovan Karamata, and have found several important applications, for example in probability theory.

Basic definitions

Template:EquationRef. A measurable function Template:Math is called slowly varying (at infinity) if for all Template:Math,

$\underset{x\to \mathrm{\infty }}{\lim }\frac{L(ax)}{L(x)}=1.$

Template:EquationRef. Let Template:Math. Then Template:Math is a regularly varying function if and only if $\mathrm{\forall }a>0,g_L(a)=\underset{x\to \mathrm{\infty }}{\lim }\frac{L(ax)}{L(x)}\in {ℝ}^{+}$. In particular, the limit must be finite.

These definitions are due to Jovan Karamata.

Basic properties

Regularly varying functions have some important properties: a partial list of them is reported below. More extensive analyses of the properties characterizing regular variation are presented in the monograph by Template:Harvtxt.

Uniformity of the limiting behaviour

Template:EquationRef. The limit in Template:EquationNote and Template:EquationNote is uniform if Template:Mvar is restricted to a compact interval.

Karamata's characterization theorem

Template:EquationRef. Every regularly varying function Template:Math is of the form

$f(x)=x^{\beta }L(x)$

where

• Template:Mvar is a real number,
• Template:Mvar is a slowly varying function.

Note. This implies that the function Template:Math in Template:EquationNote has necessarily to be of the following form

$g(a)=a^{\rho }$

where the real number Template:Mvar is called the index of regular variation.

Karamata representation theorem

Template:EquationRef. A function Template:Mvar is slowly varying if and only if there exists Template:Math such that for all Template:Math the function can be written in the form

$L(x)=\exp (\eta (x)+\underset{B}{\overset{x}{\int }}\frac{\epsilon (t)}{t}dt)$

where

• Template:Math is a bounded measurable function of a real variable converging to a finite number as Template:Mvar goes to infinity
• Template:Math is a bounded measurable function of a real variable converging to zero as Template:Mvar goes to infinity.

Examples

• If Template:Mvar is a measurable function and has a limit

$\underset{x\to \mathrm{\infty }}{\lim }L(x)=b\in (0,\mathrm{\infty }),$

then Template:Mvar is a slowly varying function.

• For any Template:Math, the function Template:Math is slowly varying.
• The function Template:Math is not slowly varying, nor is Template:Math for any real Template:Math. However, these functions are regularly varying.

See also

• Analytic number theory
• Hardy–Littlewood tauberian theorem and its treatment by Karamata

References

• Template:SpringerEOM
• Template:Citation
• Template:Citation.