Funkcja wolno zmieniająca się

Funkcja wolno zmieniająca się – funkcja będąca pewnym uogólnieniem funkcji zbieżnych w nieskończoności. Funkcje wolno zmieniające się są szczególnie ważne w rachunku prawdopodobieństwa.

Definicja formalna

Funkcja $L:(0,\mathrm{\infty })\to (0,\mathrm{\infty })$ jest wolno zmieniająca się (w nieskończoności), jeżeli dla dowolnego $a>0,$

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

Jeżeli ta granica jest skończona, ale niezerowa dla wszystkich $a>0,$ wówczas $L$ jest nazywana regularnie zmieniająca się funkcją. Definicja pochodzi od Jovana Karamaty.

Przykłady

• Jeśli funkcja $L$ jest zbieżna do dodatniej, skończonej granicy, $\underset{x\to \mathrm{\infty }}{\lim }L(x)=b\in (0,\mathrm{\infty }),$ to jest ona funkcją wolno zmieniającą się.
• Dla dowolnego $\beta \in ℝ,$ $L(x)=(\log x{)}^{\beta }$ jest funkcją wolno zmieniającą się.
• Funkcja $L(x)=x$ nie jest wolno zmieniająca się; nie jest taką też $L(x)=x^{\beta }$ dla dowolnego rzeczywistego $\beta \ne 0.$

Własności

Najważniejsze własności.

• Granica w definicji jest jednostajna, jeśli $a$ jest ograniczone do odcinka skończonego.
• Każda regularnie zmieniająca się funkcja ma formę $x^{\beta }L(x)$ gdzie $\beta ⩾0$ i $L$ i jest wolno zmieniającą się funkcją.
• Dla każdej wolno zmieniającej się funkcji $L,$ istnieje $B>0$ takie, że dla wszystkich $x⩾B$ funkcja może być zapisana jako

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

gdzie:

$\eta (x)$ zbiega do skończonej liczby,

$ϵ(x)$ zbiega do zera, gdy $x$ zmierza do nieskończoności.