Полная цитата предыдущего сообщения удалена за полной ненадобностию.
Усредненные количественные оценки некоторых кортежей чисел на больших интервалах ПСВ и простых чиселВ работе рассматриваются усредненные количественные оценки числа кортежей из k чисел на больших интервалах (стремящихся к бесконечности) в последовательности ПСВ и простых чисел. В частности рассматривается асимптотическая средняя плотность числа кортежей из k чисел на больших интервалах, стремящихся к бесконечности. (Не путать с локализованной плотностью на малых интервалах, стремящихся к 0.)
Рассмотрим приведенную систему вычетов по модулю
- ПСВ(m), где
- простое число с номером i.
Назовем кортежами вычетов последовательно расположенные вычеты в ПСВ(m). Рассмотрим кортежи, состоящие из k вычетов, количество которых определяется по формуле:
Примером таких кортежей для k=2 являются близнецы, так как число вычетов близнецов в ПСВ(m)
определяется по формуле:
Другим примером таких кортежей для k=4 являются 4 вычета, расстояния между которыми равны соответственно: 6,2,6, так как число таких кортежей в ПСВ(m) определяется по формуле:
Число вычетов для кортежей в ПСВ(m) взято из темы vorvalm "Бесконечность простых близнецов".
Средняя плотность вычетов указанных кортежей в ПСВ(m) на основании (1) определяется по формуле:
где
.
Определим асимптотику числа указанных кортежей вычетов в последовательности в ПСВ(m).
Теорема 1
, где
- число указанных кортежей из k вычетов не более действительного x в ПСВ(m).
Доказательство
Рассмотрим
.
Прологарифмируем и разложим в ряд выражение
:
Используем формулу:
, где М-постоянная Мертенса.
Получаем:
i |
AKM: |
Ваши \lnx пропадают: нет такой команды в ЛаТеХе. Правильно \ln x, \sin x, etc --- после команды пробел (или другая не_буква). Ваша предыдущая формула в моей редакции (зацените потрясающие скобочки!):
|
Потенциируем и получаем:
Следовательно,
Поэтому из формулы (4) получаем асимптотическую среднюю плотность указанных кортежей вычетов в ПСВ(m):
, где
.
Число кортежей из k вычетов в ПСВ на интервале от k+1 до достаточно большого x, на котором определена асимптотическая средняя плотность, определяется по формуле:
На основании формулы (6.1):
Рассмотрим (6.2).
Числитель и знаменатель данного выражения являются функциями верхнего предела интегрирования, поэтому на основании теоремы о производной от определенного интеграла по переменному верхнему пределу производная от такой функции существует и равна подынтегральной функции, где в качестве переменной находится верхний предел.
Поэтому на основании правила Лопиталя и определения асимптотического равенства:
или
ч.т.д.
Продолжение следует.
i |
AKM: |
Исправил "\egno" на "\eqno" =eq(uation) nomer. |