Функція Салема

Функція Салема — одна із перших сингулярних строго зростаючих функцій на відрізку ${\displaystyle [0;1]}$[1]. В деяких джерелах[2] відповідну функцію називають функцією Салема-Такача. Це викликано тим, що Такач, у відповідному дослідженні[3], розглядав аналогічну функцію для параметра ${\displaystyle p={\tfrac {1}{3}}.}$
Функція Салема є цікавою тим, що є одним з перших прикладів строго зростаючих функцій розподілу, існування яких було далеко незрозумілим та неочевидним всілякому загалу наукового рівня відповідного характеру. У зв'язку з чим навіть в роботах достатньо визнаного характеру[4] зустрічалось означення сингулярної функції розподілу ймовірностей наступного типу: під сингулярною функцією розподілу ймовірностей розуміють функцію розподілу множина точок росту якої має міру Лебега 0.

Для ${\displaystyle F_{\xi }(x)}$ виконуються так властивості:

1) ${\displaystyle F_{\xi }(x)}$ сингулярна, тобто ${\displaystyle F_{\xi }^{'}(x)=0}$ майже скрізь в розумінні міри Лебега.

2) ${\displaystyle F_{\xi }(x)}$ строго зростає на відрізку ${\displaystyle [0;1].}$

3) Для функції Салема виконується наступна функціональна рівність ${\displaystyle F_{\xi }(x)=pF_{\xi }(2x)+(1-p)F_{\xi }(2x-1),}$ причому ${\displaystyle F_{\xi }(x)=}$ ${\displaystyle {\begin{cases}0,&x\leq 0,\\1,&x\geq 1.\end{cases}}}$

Відомо, що правильне обернене твердження: якщо неперервна функція ${\displaystyle \varphi (x)}$ задовольняє умови ${\displaystyle \varphi (x)=p\varphi (2x)+(1-p)\varphi (2x-1)}$ для деякого ${\displaystyle p\in \left(0;{\tfrac {1}{2}}\right)\cup \left({\tfrac {1}{2}};1\right)}$ і ${\displaystyle {\begin{cases}0,&x\leq 0,\\1,&x\geq 1,\end{cases}}}$ то ${\displaystyle \varphi (x)}$ є функцією Салема[5].

4) ${\displaystyle F_{\xi }(x)}$ задовольняє умову Гьольдера з показником ${\displaystyle \lambda =\log _{2}\max\{p;1-p\},}$ який не можна покращити:

${\displaystyle |F_{\xi }(x_{1})+F_{\xi }(x_{2})|\leq C|x_{1}-x_{2}|^{\lambda },}$ ${\displaystyle \forall x_{1},x_{2}\in {\mathbb {R} },{\mathbb {C} }}$[6].

5) Якщо ${\displaystyle N_{\infty }}$ — множина точок ${\displaystyle x\in [0;1]}$ таких, що ${\displaystyle F_{\xi }^{'}(x)=+\infty ,}$ то ${\displaystyle \alpha _{0}(N_{\infty })\geq -{\frac {\ln p^{p}(1-p)^{1-p}}{\ln _{2}}},}$ де ${\displaystyle \alpha _{0}}$ — розмірність Гаусдорфа-Безиковича[7].

6) Якщо ${\displaystyle f_{\tau }(t)}$ — характеристична функція випадкової величини ${\displaystyle \tau ,}$ то ${\displaystyle L_{\xi }\geq \left(\prod _{n=1}^{+\infty }\left(1-4p\left(1-p\right)\sin {\tfrac {2\pi }{2^{n}}}\right)\right)^{\tfrac {1}{2}},}$ де ${\displaystyle L_{\xi }=\lim _{|t|\to +\infty }\sup |f_{\xi }(t)|}$[8].