Puneet Varma (Editor)

Slowly varying function

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

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.

Contents

Basic definitions

Definition 1. A function L : (0,+∞) → (0,+∞) is called slowly varying (at infinity) if for all a > 0,

lim x L ( a x ) L ( x ) = 1.

Definition 2. A function L : (0,+∞) → (0,+∞) for which the limit

g ( a ) = lim x L ( a x ) L ( x )

is finite but nonzero for every a > 0, is called a regularly varying function.

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 Bingham, Goldie & Teugels (1987).

Uniformity of the limiting behaviour

Theorem 1. The limit in definitions 1 and 2 is uniform if a is restricted to a compact interval.

Karamata's characterization theorem

Theorem 2. Every regularly varying function f is of the form

f ( x ) = x β L ( x )

where

  • β is a real number, i.e. β ∈ R
  • L is a slowly varying function.
  • Note. This implies that the function g(a) in definition 2 has necessarily to be of the following form

    g ( a ) = a ρ

    where the real number ρ is called the index of regular variation.

    Karamata representation theorem

    Theorem 3. A function L is slowly varying if and only if there exists B > 0 such that for all xB the function can be written in the form

    L ( x ) = exp ( η ( x ) + B x ε ( t ) t d t )

    where

  • η(x) is a bounded measurable function of a real variable converging to a finite number as x goes to infinity
  • ε(x) is a bounded measurable function of a real variable converging to zero as x goes to infinity.
  • Examples

  • If L has a limit
  • then L is a slowly varying function.
  • For any βR, the function L(x) = logβ x is slowly varying.
  • The function L(x) = x is not slowly varying, neither is L(x) = xβ for any real β ≠ 0. However, these functions are regularly varying.
  • References

    Slowly varying function Wikipedia