Файл: Кац М. Статистическая независимость в теории вероятностей, анализе и теории чисел.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 06.04.2024
Просмотров: 88
Скачиваний: 2
ПРОСТЫЕ ЧИСЛА «ИГРАЮТ В АЗАРТНУЮ ИГРУ» |
91 |
такая, что
со
^ da (со) = с (|) =
” = n ( ' - y + i « p : iE,“< i - y ) ) ) |
<2-25> |
р |
|
и в каждой точке непрерывности о (со) |
|
lim а^ (и) = а (со). |
(2.26) |
N-*оо |
|
Теперь легко доказать, что о (со) непрерывна при каж дом со. Для этого мы используем результат задачи 3
(стр. 71, гл. 3).
Имеем
I с (Е) I2 =
= п [(* - f A K 14 ) Ч Е108 |
< |
< П K1-;D,+f(14 ) c4 E4 1-7))+?]'
p^ph
(2.27)
Можно показать (см. следующую за этим пунктом задачу 1), что числа
log ( ‘ - А )
линейно независимы.
92 |
ГЛАВА 4 |
Согласно рассуждениям п. 5 гл. 3, имеем
П[(‘ —17)'+
оP^Pk
|- y ( 1 ^ y > 0S( E 1» g ( f - | ) ) + ^ ] 4 =
=п \L'-j;y+
4 - ( i - 1 lcoS- ( E l o g ( l - i ) ) + y r ] di =
- n [C‘ - t )’+>Jv
P^Ph
а из элементарных сведении о простых числах мы знаем, что
lz nro-Kj’+^j-nro-уУ+у Н-
p < p ft р
Таким образом, получаем |
|
||
|
|
т |
|
lim |
~ |
[ | с {I) |2 <Щ—0, |
(2.28) |
т-соо |
1 |
а |
|
и, следовательно, а (со) непрерывна при всех со. Сум мируем все сказанное.
ПРОСТЫЕ ЧИСЛА «ИГРАЮТ В АЗАРТНУЮ ИГРУ» |
93 |
Плотность
D jlo g - З ^ < со} = а (со)
существует при каждом со, ст (со) непрерывна и
I |
da (со) = JJ [ ( l - у ) + у exp (i£ log ( l - у ) ) ] • |
—ОО |
р |
Этот результат (впервые полученный Шёнбергом) мог быть выведен более элементарным путем и был в зна чительной степени обобщен Эрдёшем1). Мы выбрали более длинный путь, чтобы выявить своеобразие веро ятностного оттенка результата и продемонстрировать взаимодействие ряда идей и методов исследования.
Формула (2.21) является очевидным аналогом фор мулы
sin £ |
II |
I |
|
|
h=l |
с которой мы начинали. Это, так сказать, вариации одной и той же темы, и то, что тема допускает столь разнообразные вариации, есть очевидное подтвержде ние богатства ее «мелодического» содержания.
Э Эрдёш доказал также замечательную теорему о том, что наша а (со) сингулярна, т. о. о'(ш) = 0 почти всюду.
94 |
|
|
ГЛАВА 4 |
|
|
|
|
ЗАДАЧИ |
|
|
|
|
|
|
|
1. |
Доказать, |
что |
величины |
log (1 — (1ip)), а |
также |
||
и log (1+ (!//;)) линейно |
независимы. |
(суммы делителей |
|||||
2. |
Статистика |
значений функции о (п) |
|||||
числа п). |
|
|
|
|
|
|
|
(а) Пусть <Хр (п) обозначает показатель степени, в которой |
|||||||
простое число р появляется (в единственном) |
представлении п |
||||||
в виде произведения степеней |
его простых делителей, |
т. е. |
|||||
|
|
|
IT |
%<"> |
• |
|
|
|
|
|
" = 1J Р р |
|
|
||
|
|
|
Р |
|
|
|
|
Доказать, что функции ар (п) статистически независимы. |
|||||||
(б) |
Показать, что если сг (гс) обозначает |
сумму всех дели |
|||||
телей |
гс, то |
|
|
|
|
|
|
^ - = П ( 1+-7+ ---+ Т^))' |
||
р |
|
Р |
(в) Используя то, что |
|
|
а(п) |
^ |
1 |
п |
2л |
к ’ |
|
к\п |
|
доказать равенство
(г) Показать, что
м{ п (l+ |
1_ |
1 |
р |
% ( п ) )}-п |
|
P^vk |
|
v^vh |
(д) Положим |
|
|
1 1
|
ПРОСТЫЕ ЧИСЛА «ИГРАЮТ В АЗАРТНУЮ ИГРУ» |
95 |
||||||
Исходя из того, что |
п |
|
|
|
|
|||
|
/ft (”) _ |
|
1 |
|
|
|||
|
а (га) |
|
|
|
|
|||
|
га |
|
P>Pft1 + ^ + |
“ ' |
«г, (") |
|
|
|
вывести неравенство |
|
|
|
п |
|
|
||
|
п С* |
Q p |
( " ) |
/й(«) |
< |
|
|
|
|
|
|
)<-£ (га) |
Qp(n) |
|
|||
|
|
|
|
|
p>pk 1- |
|
|
|
|
v>pk |
|
|
|
|
|
|
|
(е) Показать, что |
|
|
|
|
|
|
||
iS io g ^ |
|
|
|
|
|
|
|
|
М{е |
п }=ЦМ{еХр [^l0gC1+7+"-+ ^ j ) l } = |
|||||||
|
р |
|
|
|
|
|
Р |
|
СО
=П [ ‘- 7 + 3 ( Л - - ^ г ) - .
а=1
X exp |
|^ j |l o g ^ l 4 - - y |
+ . - - + - ^ - ^ ) ] ] |
- c (D- |
|
(ж) Используя то, что |
|
|
||
СО |
V Р а |
|
|
|
‘-4+Р ‘ 2" |
P a + l |
ехр г| log ^ 1 + |
у + • • •+ |
|
|
|
^ |
||
а=1 |
F |
у |
|
|
+■ jr)] |< |* -7 + 4 (1^ 4 / “ р ['е1о8( ,+ 7 )]
Т , 1
+7^=(1~ 7 ) V^1+7 C0S [ |log( 1+y ) J + -F+ ^ ’
96 |
ГЛАВА 4 |
а также факт линейной независимости величин log (1-|-(!//>)), доказать, что плотность
< “ Н < » >
существует и непрерывна по со. |
|
Давенпортом, |
||||
Этот |
результат, |
полученный впервые Г. |
||||
содержится в более общей теореме Эрдёша. |
так как пока |
|||||
Случай (в = 2 представляет собой интерес, |
||||||
зывает, |
что |
«избыточные |
числа» (т. |
е. числа, для которых |
||
а (п) >■ 2га), а |
также |
и |
«дефектные |
числа» |
(т. е. те, для |
|
которых а (п) < 2п) имеют плотность. |
Из этого также следует, |
|||||
что «совершенные числа» |
(для которых а(п )= 2 п ) имеют плот |
|||||
ность, равную 0. Предполагают, что |
существует лишь конеч |
|||||
ное число «совершенных чисел». |
|
|
||||
3. Формула обращения. Пусть |
|
|
ОО
\e16“ dff(<B)= C©,
—ОО
где о (со)— функция распределения. Доказать, что если сщ и со2 —точки непрерывности функции о, то
_1_ |
еги2| _ |
Дон! |
2я |
« |
Г |
|
|
■C©d£=0(CD2)— 0(<В,). |
Если же или (Щ, или со2 (или и та, и другая) являются точ ками разрыва, то величины а (сщ) или о (со3) (или обе) сле дует заменить на
0 (Wj— 0)4-0 ({щ-1-0) |
или |
0(<о2—0)-f о (ш2-(-0) |
2 |
|
2 |