2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Комплемент посл.-ти рекуррентно
Сообщение22.12.2021, 14:10 
Аватара пользователя


22/11/13
02/04/25
549
Нашел одну интересную и вероятно тривиальную закономерность, но доказать ее, увы, не могу. Разберем на примерах.

Имеем последовательность простых чисел $\operatorname{prime}(n)$. Последовательность начинается
$$2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79$$
Ее комплемент (без учета $0$ и $1$) - это последовательность составных чисел $\operatorname{composite}(n)$. Последовательность начинается
$$4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21, 22, 24, 25, 26, 27, 28, 30, 32, 33, 34$$
Пусть задана последовательность
$$a(n)=\operatorname{prime}(n)-n$$
а также последовательность
$$b(n)=\begin{cases}
1,&\text{если $n\in a(k)$;}\\
0,&\text{в противном случае.}
\end{cases}$$
Тогда справедливо рекуррентное соотношение
$$\operatorname{composite}(n)=1+\operatorname{composite}(n-1)+b(n), \operatorname{composite}(1)=4$$
Что примечательно, все члены $a(n)$ за исключением первых двух не повторяются. Возможна и обратная операция.

Пусть задана последовательность
$$a_1(n)=\operatorname{composite}(n)-n$$
а также последовательность
$$b_1(n)=\begin{cases}
m,&\text{если $n\in a(k)$, где $m$ - это число повторений $n$ в $a(k)$;}\\
0,&\text{в противном случае.}
\end{cases}$$
Тогда справедливо рекуррентное соотношение
$$\operatorname{prime}(n)=1+\operatorname{prime}(n-1)+b_1(n), \operatorname{prime}(1)=2$$

Определение $b_1(n)$ более полно, чем определение $b(n)$. Все это работает для любых комплементарных последовательностей. Но почему?

 Профиль  
                  
 
 Re: Комплемент посл.-ти рекуррентно
Сообщение22.12.2021, 16:33 
Заслуженный участник


16/02/13
4195
Владивосток
Лень доводить до конца, но для возрастающей последовательности $\{a_n\}$ $a_n-n$ есть число членов комплементарной на отрезке $[1;a_n]$. Уточняя, что наша последовательность не содержит пар чисел $k, k+1$, $b_n=b_{n-1}+1$ либо $b_n=b_{n-1}+2$. Подозреваю, отсюда выводятся прочие формулы.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group