Полная цитата предыдущего сообщения удалена за полной ненадобностию.
Усредненные количественные оценки некоторых кортежей чисел на больших интервалах ПСВ и простых чиселВ работе рассматриваются усредненные количественные оценки числа кортежей из 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. |