Постоянная Голомба — Дикмана


Постоянная Голомба — Дикмана — математическая константа, возникающая в случайных перестановках и в теории чисел, равная:

λ = 0,624 32998854355087099293638310083724 … {displaystyle lambda =0{,}62432998854355087099293638310083724dots } .

Названа по именам Соломона Голомба и Карла Дикмана. Вычисляется из всех перестановок множества из n {displaystyle n} элементов с использованием средней длины наиболее длинного цикла перестановки a n {displaystyle a_{n}} :

λ = lim n → ∞ a n n {displaystyle lambda =lim _{n o infty }{frac {a_{n}}{n}}} .

С точки зрения теории вероятностей λ n {displaystyle lambda n} является асимптотой ожидания длины наиболее длинного цикла равномерно распределённых случайных перестановок множества из n {displaystyle n} элементов.

В теории чисел постоянная возникает в связи со средним значением наибольшего простого делителя целого числа:

λ = lim n → ∞ 1 n ∑ k = 2 n log ⁡ ( P 1 ( k ) ) log ⁡ ( k ) {displaystyle lambda =lim _{n o infty }{frac {1}{n}}sum _{k=2}^{n}{frac {log(P_{1}(k))}{log(k)}}}

где P 1 ( k ) {displaystyle P_{1}(k)} — наибольший простой делитель числа k {displaystyle k} . Таким образом, если k {displaystyle k} — d {displaystyle d} -значное десятичное целое, то λ d {displaystyle lambda d} является асимптотой среднего числа знаков в наибольшем простом делителе k {displaystyle k} .

Другой источник из теории чисел — вероятность того, что второй по величине простой делитель числа n {displaystyle n} меньше квадратного корня из наибольшего простого делителя n {displaystyle n} , асимптотически равная λ {displaystyle lambda } :

λ = lim n → ∞ prob ⁡ { P 2 ( n ) ⩽ P 1 ( n ) } {displaystyle lambda =lim _{n o infty }operatorname {prob} left{P_{2}(n)leqslant {sqrt {P_{1}(n)}} ight}}

где P 2 ( n ) {displaystyle P_{2}(n)} — второй по величине простой делитель n {displaystyle n} .

Существует несколько интегральных представлений для λ {displaystyle lambda } :

λ = ∫ 0 ∞ e − t − Ei 1 ⁡ ( t ) d t {displaystyle lambda =int _{0}^{infty }e^{-t-operatorname {Ei} _{1}(t)}dt} , где Ei 1 ⁡ ( t ) {displaystyle operatorname {Ei} _{1}(t)} — модифицированная интегральная показательная функция, λ = ∫ 0 ∞ ρ ( t ) t + 2 d t {displaystyle lambda =int _{0}^{infty }{frac { ho (t)}{t+2}}dt} λ = ∫ 0 ∞ ρ ( t ) ( t + 1 ) 2 d t {displaystyle lambda =int _{0}^{infty }{frac { ho (t)}{(t+1)^{2}}}dt} , где ρ ( t ) {displaystyle ho (t)} — это функция Дикмана.

Вопрос о рациональности или иррациональности постоянной открыт.