Научная статья на тему 'СИСТЕМАТИЗАЦИЯ КОМБИНАТОРНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ С ИСПОЛЬЗОВАНИЕМ T-МОДЕЛЕЙ И T-ДИАГРАММ'

СИСТЕМАТИЗАЦИЯ КОМБИНАТОРНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ С ИСПОЛЬЗОВАНИЕМ T-МОДЕЛЕЙ И T-ДИАГРАММ Текст научной статьи по специальности «Математика»

CC BY
70
18
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СИСТЕМАТИЗАЦИЯ / КЛАССИФИКАЦИЯ / КОМБИНАТОРНАЯ ПОСЛЕДОВАТЕЛЬНОСТЬ / T-МОДЕЛЬ / ПОСЕТ / T-ДИАГРАММА / ПРОИЗВОДЯЩАЯ ФУНКЦИЯ / SYSTEMATIZATION / CLASSIFICATION / COMBINATORIAL SEQUENCE / T-MODEL / POSET / T-DIAGRAM / GENERATING FUNCTION

Аннотация научной статьи по математике, автор научной работы — Бондаренко Леонид Николаевич

Для систематизации комбинаторных последовательностей, а также связанных с ними двухиндексных последовательностей применяются T-модели и T-диаграммы. T-модели представляют собой последовательности числовых таблиц своеобразного вида, а T-диаграммы являются диаграммами Хассе, строящимися на основе этих таблиц. Задание T-модели набором алфавита, специального отображения и начальной таблицы позволяет с помощью введения параметров легко получать классы T-моделей и T-диаграмм. Сравнение этих классов по виду специального отображения дает возможность строить их систематизацию. В качестве примера в статье приведена систематизация классов степеней, обобщенных факториалов, обобщенных чисел Фибоначчи, Каталана и чисел Белла, а также отмечены некоторые другие, просто систематизируемые этим методом классы обобщенных чисел.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

SYSTEMATIZATION OF COMBINATOR SEQUENCES USING T-MODELS AND T-DIAGRAMS

To systematize combinatorial sequences, as well as the associated to them two-index sequences, T-models and T-diagrams are used. T-models are sequences of numerical tables of a peculiar kind, and T-diagrams are Hasse diagrams based on these tables. Defining the T-model with a set of alphabet, special mapping, and initial table makes it easy to obtain classes of T-models and T-diagrams by introducing parameters. Comparison of these classes by the type of special mapping makes it possible to construct their systematization. As an example, the article gives a systematization of classes of degrees, generalized factorials, generalized Fibonacci numbers, Catalan numbers and Bell numbers, as well as some other classes of generalized numbers that are simply systematized by this method.

Текст научной работы на тему «СИСТЕМАТИЗАЦИЯ КОМБИНАТОРНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ С ИСПОЛЬЗОВАНИЕМ T-МОДЕЛЕЙ И T-ДИАГРАММ»

УДК 519.11

СИСТЕМАТИЗАЦИЯ КОМБИНАТОРНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ С ИСПОЛЬЗОВАНИЕМ T-МОДЕЛЕЙ

И T-ДИАГРАММ

Бондаренко Леонид Николаевич,

канд. техн. наук, доцент, заведующий кафедрой гуманитарных и естественнонаучных дисциплин,

e-mail: [email protected], Московский университет им. С.Ю. Витте, филиал в г. Сергиевом Посаде, Россия

Для систематизации комбинаторных последовательностей, а также связанных с ними двухиндексных последовательностей применяются T-модели и T-диаграммы. T-модели представляют собой последовательности числовых таблиц своеобразного вида, а T-диаграммы являются диаграммами Хассе, строящимися на основе этих таблиц. Задание T-модели набором алфавита, специального отображения и начальной таблицы позволяет с помощью введения параметров легко получать классы T-моделей и T-диаграмм. Сравнение этих классов по виду специального отображения дает возможность строить их систематизацию. В качестве примера в статье приведена систематизация классов степеней, обобщенных факториалов, обобщенных чисел Фибоначчи, Каталана и чисел Белла, а также отмечены некоторые другие, просто систематизируемые этим методом классы обобщенных чисел.

Ключевые слова: систематизация, классификация, комбинаторная последовательность, T-модель, посет, T-диаграмма, производящая функция

SYSTEMATIZATION OF COMBINATOR SEQUENCES USING T-MODELS AND T-DIAGRAMS

Bondarenko L.N.,

candidate of engineering sciences, Associate Professor, head of the sub-department of humanities and natural science disciplines, [email protected], Moscow Witte University, a branch in the city of Sergiev Posad, Russia

To systematize combinatorial sequences, as well as the associated to them two-index sequences, T-models and T-diagrams are used. T-models are sequences of numerical tables of a peculiar kind, and T-diagrams are Hasse diagrams based on these tables. Defining the T-model with a set of alphabet, special mapping, and initial table makes it easy to obtain classes of T-models and T-diagrams by introducing parameters. Comparison of these classes by the type of special mapping makes it possible to construct their systematization. As an example, the article gives a systematization of classes of degrees, generalized factorials, generalized Fibonacci numbers, Catalan numbers and Bell numbers, as well as some other classes of generalized numbers that are simply systematized by this method.

Keywords: Systematization, classification, combinatorial sequence, T-model, poset, T-diagram, generating function

DOI 10.21777/2500-2112-2020-2-58-68

Введение

Задачи перечисления различных объектов часто встречаются в химии, физике, информатике и т.п. Рассмотрение этих задач методами перечислительной комбинаторики привело к возникновению огромного числа целочисленных последовательностей. Многие из них можно найти в уникальной «The on-line encyclopedia of integer sequences» (OEIS) [1], которая в настоящее время содержит более 330000 статей по числовым последовательностям, встречающимся в комбинаторике, теории графов и т.д.

Возрастающие последовательности целых положительных чисел из [1] естественно называть комбинаторными последовательностями. Большой объем содержащихся в ОЕК данных, несмотря на ее прекрасный интерфейс, не всегда позволяет обнаруживать различные существенные связи между такими последовательностями.

Эта проблема только усугубляется многочисленными возможностями построения на базе одной комбинаторной последовательности ряда связанных с ней двухиндексных последовательностей. Многие из таких последовательностей можно также найти в ОЕ^, а важной областью их применения является, в частности, математическая статистика.

Хотя бы частичному решению этой проблемы может способствовать подходящая систематизация ряда комбинаторных последовательностей и связанных с ними важнейших двухиндексных последовательностей. Трудности систематизации в комбинаторике хорошо известны и превосходно отмечены в предисловии к книге [2].

В фундаментальных трудах по перечислительной комбинаторике, например, [3-5] в качестве инструмента описания комбинаторных последовательностей особо выделяются производящие функции. Наряду с ними используются соответствующие задачи перечисления заданных перестановок и разбиений множеств, матриц, деревьев и т.п., а также рекуррентные соотношения, решетки и многое другое.

Поэтому в каждой статье ОЕ^, обозначаемой буквой А с шестизначным номером, имеются комментарии по задачам, связанным с рассматриваемой последовательностью, ссылки на источники, а также номера других близких по тематике статей ОЕК и основные формулы, включающие производящие функции, рекуррентные соотношения и т.д.

Таким образом, по данной статье ОЕ^ обычно нелегко выделить класс, состоящий из аналогичных комбинаторных последовательностей, а также классы соответствующих двухиндексных последовательностей, определенное упорядочение которых и приводит к требуемой систематизации.

Рассматривая различные описания комбинаторной последовательности как ее модели и выполняя некоторую параметризацию выбранной модели, можно определить класс комбинаторных последовательностей. Отметим, что параметры легко вводятся во многие производящие функции, но это является непростой задачей для ряда других моделей. Для целей систематизации выбранная модель также должна иметь простую связь с соответствующими моделями двухиндексных последовательностей, что не выполняется, например, для ряда производящих функций.

Для моделирования и классификации комбинаторных последовательностей из ОЕК в [6, 7] использовались Г-модели, представляющие собой последовательности числовых таблиц определенного вида. В эти модели легко вводятся параметры, и они имеют простую связь с многими двухиндексными последовательностями. Основными методами систематизации комбинаторных последовательностей с помощью Г-моделей могут служить их параметризация и введение в них определенных регулярностей.

Отметим, что из-за неустановившейся терминологии некоторые обозначения работ [6, 7] в данной статье несколько изменены.

1. Классы Т-моделей, Т-диаграмм и их свойства

Г-модель (табличная модель) комбинаторной последовательности является последовательностью числовых таблиц Г1, Г2, . ., построенных так, что все последовательности соответствующих им числовых 1 -характеристик (1 -х весов) для I = 0,1,... отвечают исходной комбинаторной последовательности с точностью до сдвига. Таким образом, каждой Г-модели по построению соответствует одна комбинаторная последовательность, но обратное неверно, так как ей может отвечать множество Г-моделей [6, 7].

Определение 1.

Г-модель задается тройкой ^, 9, Г1), в которой S ^ N = {1,2,...} - алфавит; 0 : я ^ j1 j2... js -дискретное многозначное отображение, где символы я, j1,..., js е S и выполнены неравенства 1 < j1 < j2 < ... < js; Г - фиксированная начальная таблица. 0 отображает каждый я е Гп в числовую неубывающую последовательность (строку) ,/1 72... js длины | 9 (я) | = я следующей таблицы Тп+1, которая находится рекурсивно по формуле:

Т„+1 =е (Тп), п е N.

(1)

Определение 1 дополняется введением, при 1 > 0 блоков 1 -го ранга таблиц Тп+, являющимися степенями образов ег (5) элементов 5 е Тп, а также веса | е (| блока ег ($), равного при I > 1 числу содержащихся в нем блоков (1 -1) -го ранга и Т п+г

1 -й вес:

|Тп+г I =|ег (Тп )| = Це' (5 )|, I > 0, п е N.

войству инвариантности

Т

Т

Это приводит при I > 0 для всех п е N к важному следовательности весов таблиц Т-модели, причем веса

ственно сумме элементов, числу элементов, числу строк и т.д. таблицы Тп [6, 7].

т, г е N

= Т_

по-

при п > I и 1 = 0,1,... равны соответ-

. Для этого за-

Введем двухпараметрический класс Т-моделей с помощью параметров дадим регулярный алфавит ^(г), у которого расстояния между соседними символами все одинаковы и равны г , и уменьшим произвол в выборе начальной таблицы Т-модели, полагая T1(m, г) = (тг +1) .

Тогда систематизацию полученных классов Т-моделей можно реализовать за счет выбора соответствующих отображений е , который также накладывает ограничение на выбор первого символа алфавита S(г).

Для примера рассмотрим отображение е : 5 ^ ^, дублирующее символ 5 е S(г) ровно 5 раз. В этом случае параметр т излишен, и определение 1 задает класс Т-моделей с односимвольным алфавитом s(г) = {г +1} и Т(г) = (г +1), которому, при п е N отвечает класс степеней (г +1)п.

В частности, по определению 1 получим следующую последовательность таблиц

Т« Т (!) Т (!) Т (!) Т (!) :

'----

(22\ (22 22^ (22 22 22 22^

(2), (22),

22

22 22

J

22 22

22 22

22

(2)

а суммы элементов таблиц

Т (1)

задают последовательность 2п, при п е N.

Для каждой таблицы Тп Т-модели определения 1 двухиндексная последовательность вво-

дится с помощью соответствующего производящего многочлена

е(Г) = г11 + г1

2 +...+г1

I

веТ„

а простое тождество

сразу дает:

г

л

I г5 =е Iг5 =1е(г5),

V5еТп J

IТп I: и IТп

0 соответственно как значения производящего многочлена и

что позволяет вычислять веса его производной при г = 1 [6, 7].

Для получения простого рекуррентного соотношения между такими производящими многочленами их можно модифицировать с помощью несложных преобразований (например, деление на некоторую степень г или замена г на ), сохраняющих их значения при г = 1. Так модифицированный производящий многочлен таблицы Tn(m, г) двухпараметрического класса Т-моделей будем обозначать и(пт'г)(г), а его коэффициенты, при п е N рассматривать как одну из основных двухиндексных последовательностей.

Подчеркнем, что нахождение значений г )(1) приводит к определению класса комбинаторных последовательностей, отвечающего рассматриваемому классу Т-моделей. Так же отметим, что рекур-

рентное соотношение между многочленами Ц т'г )(г) иногда позволяет определить Ц0 т'г )(г). Так же иногда полезно использовать значение параметра т = 0, вводя образ е(1) .

Для класса Т-моделей степеней (г +1)п делением на г получим Цг) (г) = (г +1)п-1 гг, при п е N, что соответствует вырожденному случаю класса двухпараметрических числовых последовательностей (г +1)п-1, при п е N.

При построении других двухиндексных последовательностей будем считать для простоты, что в Т-модели определения 1 начальная таблица Т1 содержит только один элемент, который больше 1, и определим рекурсивно нумерацию элементов таблиц этой Т-модели [6, 7]:

г

- положим номер у1 элемента таблицы Г1, равным 1;

- если п > 2 и я е Гп—1 имеет номер V... , то сопоставим элементу я' е Тп строки 9(я) номер (слово) V = V"!... Vп_1 Vп, в котором суффикс vn совпадает с порядковым номером из N элемента я' в строке 0(я).

На множестве номеров Рп таблицы Гп задаются различные статистики, производящие многочлены которых определяют двухиндексные последовательности [7], причем в ряде случаев находится отображение п, позволяющее, при Р1 = {1} аналогично соотношению (1) записать:

Рп+1 =п (Рп), п е N.

Хотя нумерация элементов таблиц Г-модели определения 1 сложнее нумерации элементов обычных матриц, она позволяет найти локально конечное частично упорядоченное множество (посет), соответствующее таблице Гп этой модели [6, 7].

Определение 2.

На множестве номеров Рп таблицы Гп, рассматриваемых как векторы, зададим частичный порядок, полагая, что номер V' е Рп покрывает vеPn, если вектор V' — V имеет все нулевые координаты, кроме одной, равной единице. Диаграмму Хассе посета Рп обозначим Ьп и назовем ее Г-диаграммой таблицы Гп .

Г-диаграмма Ьп таблицы Гп является ориентированным графом, а введенные понятия естественно переносятся на классы Г-моделей. В частности, по определению 2 строится Г-диаграмма Ь(51) таблицы Г5(1) выражения (2), представляющая собой 4-х мерный булев куб, изображенный на рисунке 1.

Рисунок 1 - Г-диаграмма Ь(51) таблицы Г5(1) выражения (2)

Для получения Т-диаграмм наиболее простого вида в [6, 7] предложено для Г-модели определения 1 использовать регулярное отображение 9 : я ^ j1 j2... js, для которого все столбцы таблицы:

^ Jl1 -/12 ... Jls1

я2 ^ /21 /22 ... /2 я,

являются неубывающими числовыми последовательностями для всех символов < я2 <... алфавита S . Для этого случая в [7] доказано утверждение. Теорема 1.

Для Г-модели ^, 9, Г1) с регулярным отображением 0 , при п > 2 все посеты Рп являются дистрибутивными решетками.

Значимость теоремы 1 состоит в том, что класс дистрибутивных решеток наиболее важен с комбинаторной точки зрения [4].

Поэтому при систематизации классов комбинаторных последовательностей с использованием соответствующих классов Т-моделей и Т-диаграмм целесообразно ограничиться регулярными отображениями 0 .

Изображение Т-диаграммы Ь п таблицы Тп, пример которого показан на рисунке 1, позволяет ввести две важные двухиндексные последовательности, связанные с Г-моделью определения 1.

Определение 3.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

а) для Г-диаграммы Ь п таблицы Тп число ее частей, изоморфных булеву кубу размерности к, обозначим Rnk и определим:

К (х) = 1 ; (3)

к=0

б) для Г-диаграммы Ьп таблицы Тп число ее вершин, имеющих положительную валентность (степень) к, обозначим Упк и определим многочлен:

V (х) = £ Уплхк. (4)

Справедливы равенства Кп (— 1) = 1 [7] и V (0) = 1, из которого вытекает большая эффективность многочленов Уп (х) при рассматриваемой систематизации, причем для регулярного отображения 0 между многочленами (3) и (4) имеется несложная зависимость.

Теорема 2.

Для Т-модели (£, 0, Т1) с регулярным отображением 0 справедливо равенство:

Яп(х) = Уп (х +1). (5)

Доказательство. Используя простую связь между коэффициентами многочленов (3) и (4) [4], находим:

п—1 п—1 п—1 ( 7 Л п—1 ] ( 7 Л п—1

К(х) = £КЛхк = £хк£ 7 Уп^ =£Уп,7£ ; хк =^п,;(х +1)7 = Уя(х +1)

к=0 к=0 } =к Vк J }=0 к=0

]

VkJ 7=0

что и требовалось доказать (круглые скобки в формулах используются для стандартного обозначения биномиальных коэффициентов).

Из полученных результатов сразу вытекает важное следствие. Теорема 3.

Для введенных двухпараметрических классов Т-моделей многочлены У(nm, г)(х) принимают следующий вид:

у(тУ)(х)=£ Уп(,т }гкхк. (6)

к=0

В частности, для рассматриваемого примера однопараметрического класса Т-моделей формулы

Г п — л

(5) и (6) легко приводят к двухиндексной последовательности V к =

V к J

, а Уп г )(х) = (гх +1)п—1■.

Таким образом, при алфавите £(г) = {г +1}, отображении 0 :5 ^ 5х, где 5 е £(г), начальной таблице Т(г) = (г +1) и п е N классу Т-моделей (£(г), 0, Т(г)) соответствует класс степеней (г +1) и

класс двухиндексных последовательностей

Г п — ^

V Л J

гк, где к = 0,1,..., п — 1, содержащие, в частности,

степени двойки и обычные биномиальные коэффициенты.

Перечислим некоторые статьи ОЕ^, в которых рассматриваются элементы полученных классов: [1; А000079, А000244, А000302, А000351, А000400, А000420, А007318, А013609 - А013619]. Уже этот список показывает полезность рассматриваемой систематизации.

В ряде случаев можно называть классы Т-моделей по имени отвечающих им комбинаторным последовательностям, а произвол выбора начальной таблицы в определении 1 отражает одну из трудностей систематизации комбинаторных последовательностей.

2. Класс обобщенных факториалов и его свойства

В качестве следующего по сложности регулярного отображения 0 рассмотрим 0 : ^ ^ s"l, где символ s непосредственно следует за s в алфавите S(г) = {тг +1, (т + 1)г +1,...}, а начальная таблица Т1(т-Г) = (тг +1).

В этом случае для двухпараметрического класса Т-моделей легко проверить, что многочлены и(„ тг ^) удовлетворяют рекуррентному выражению:

Л

с помощью которого для них несложно находится экспоненциальная производящая функция:

ит )(t)=г, ит )(t)=^ит )(t)), п е N.

и

F(т,г )(t, и) = ^и(п7 ^ ) — =

п!

(1 - гГи)

1

т+—

Так как и(пт,г)(t) = (г(т + п - 2) + 1)!(г) Г(т+п-2),

и(п т,г )(1) = (г (т + п - 2) +1)!

( г )

(7)

где

(г(т + п-2) +1)!(г) = 1 • (гт +1)• (г(т +1) + 1)...(г(т + п-2) +1), при п е N обозначает обобщенный факториал с шагом г [8], то рассматриваемому двухпараметрическому классу Т-моделей соответствует класс обобщенных факториалов (г (т + п - 2) +1)!(г), причем многочлены г) (t) также как и для класса степеней не определяют двухиндексной последовательности.

С помощью формулы (5) и результатов из [7] находится выражение:

п—1

Vп т,г)( х) = П ((т + ¿-1) гх +1),

(8)

а рассмотрение коэффициентов многочленов (8) с использованием формулы (6) приводит к двухин-дексной последовательности:

V(т) =

п, k

п п - k

(т)

* (т + ] -

1 =0

п -1-1 п - * -1

(п -1)!

(п -1 -1)!

* = 0,1,..., п -1,

(9)

где квадратные скобки, как и в [9], использованы для обозначения чисел Стирлинга первого рода без учета их знака и их т -обобщений, а выражения (9) проверяются методом математической индукции. Соотношение (8) позволяет получить экспоненциальную производящую функцию:

ш ип 1

а(т,г) (х, и) = ^ ^+т,г) (х)— =--,

п=0

(10)

(1 - г хи)

которую полезно сравнить с формулой (7).

Так как в (9) У^ = 1, то при фиксированном т двухиндексная последовательность (9) может быть записана в виде нижней треугольной матрицы Н(т) с единичной главной диагональю. Ее обращение приводит к т -обобщениям чисел Стирлинга второго рода, появляющихся в рамках рассматриваемой систематизации при определенном выборе отображения 0 .

Числа У^} из (9), стоящие на диагоналях матрицы Н(т) при фиксированном * и п е N определяют также двухиндексную последовательность ^^), образующуюся при записи У(п1) в форме интерполяционного многочлена Ньютона следующего вида:

г

а

У(С} = У( т\п) = ^(,т}

7=0

Г п — 1 ^ к + 7,

(11)

где Wk'nj) = Лк+1У(п1) определяет конечную разность порядка к + 7 по п, причем Wk'k) = (2к —1)!(2), а числа ^т) = £ .=0Щс[т) образуют еще одну комбинаторную последовательность.

Последовательность Wk(^m) в (11) находится по рекуррентной формуле:

Wo(m) =8^, Wk^ = (к + 7 — 1^17 1 + (т + к + 7 — 1^),, к е N, 7 е Z

/■(т) _

К т)

( т)

(12)

в которой 817 - символ Кронекера, равный 1, при / = 7 и 0 при / ^ 7. Для класса степеней сумма (10) вырождается в одно слагаемое, а ^^ = 1.

Таким образом, в рассматриваемом случае классу Т-моделей (£(г), 0, Т(m,г)), при п е N соответствует класс обобщенных факториалов (г (т + п — 2) +1)!(г), а также классы двухиндексных

последовательностей

п

п — к

(т)

гк, где к = 0,1,...,п — 1, и ^^), где 7 = 0,1,...,к, содержащие, в част-

ности, обычные факториалы и числа Стирлинга первого рода.

Перечислим некоторые из статей ОЕ^, в которых рассматриваются элементы полученных классов: [1; А000142, А001147, А007559, А007696, А008548, А130534, А143491 - А143493, А112486, А112487, А234289].

3. Класс обобщенных чисел Фибоначчи и его свойства

Рассмотрим алфавит £(г) = {г +1, 2г +1} , состоящий из двух символов. Для этого случая имеются два варианта выбора начальных таблиц: Т;(иг) = (г+1) Т1(2,г) = (2г+1) . параметр . Отображение 0 зададим следующим образом: 0 :5 ^ 5г5', 5 ^ 5г5п+1, где 5 = г +1 и 5' = 2г +1.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Это приводит к задаче построения двух однопараметрических классов Т-моделей и соответствующих им Т-диаграмм.

При Т^1, г) = (г +1) для соответствующих Т-моделей многочлены и('7г ^(7) удовлетворяют следующему рекуррентному соотношению:

и(1, г)(t) = Г, и21, г)(t) = Г (Г + г), Щ г)(0 = (2г + 1)ип——г )(t) — г 2ип—2r)(t), п > 3

а многочлены У(1'г)(х) с помощью результатов из [7] и формулы (5) находятся при п е N в следующем явном виде:

Уп(и)( х)=£

1Г 2п — к — 2 ^

к=0

гкхк

Аналогично при Т|(2,г) = (2г +1) для соответствующих Т-моделей многочлены Щ2'^^ )удовлет-воряют следующему рекуррентному соотношению:

и(2,г)(0 = t2г, и22,г)(0 = Г ((г + 1У + г), un2•г)(t) = (2г + 1)Ц—^) — г2и£г)(0, п > 3

(2, )

(2, )

2 (2, )

а многочлены Уп(2'г) (х) с помощью результатов из [7] и формулы (5) находятся при п е N в следующем явном виде:

4 Г 2п — к — Л

У(2,г)(х)=£

к=0

гкхк

Несмотря на то, что построенные для I и II варианта классы Т-моделей нельзя объединить в один заданием одного регулярного отображения 0 , полученные для них результаты допускают объединение. Для многочленов и(п г ^), определяемых рекуррентной формулой:

Ц(г)^) = г, и2г40 = t2г, ип)(t) = Ц-^)+гип-■2(0, п > 3

Кг)/л _ г

(г- ТТ(г)1

т( г )

получаем при п е N равенства Цп^) = Цп-г^), Ц) = Щ' г)(t). Аналогично для V(n г)(х) , определяемых рекуррентной формулой:

^(г)(х) = 1, V2(г)(x) = 1, ^(г)(х) = ^(х) + гх^х), п > 3,

получаем при п е N равенства К,(пг-1(х) = V(l^г)(х), К,(пг)(х) = V?;2-г)(х) .

Для многочленов V(г )(х) запишем также производящую функцию:

ш и

а(г)( х, и ) = г)(х) ип = -—и—2.

1 - и - гхи

По полученным результатам видно, что при Т^1' г) = (г +1) и п е N однопараметрический класс Т-моделей соответствует классу обобщенных нечетных чисел Фибоначчи и двухиндексному классу

( 2п - * - 2 ^

последовательностей

г*, где * = 0,1,...,п-1, а при Т1(2,г) = (2г +1) - классу обобщен-

(2п - * - Л

г*, где

У

ных четных чисел Фибоначчи и двухиндексному классу последовательностей * = 0,1,..., п -1.

Перечислим некоторые статьи ОЕ^, в которых рассматриваются элементы полученных классов: [1; А001519, А085478, А007583, А114192, А001906, А078812, А002450, А099459, А000045, А102426, А001045].

4. Класс обобщенных чисел Каталана и его свойства

Рассмотрим алфавит S(г) = {тг +1, (т + 1)г +1,...}, многосимвольное отображение 0 : s ^ (тг + 1)г((т + 1)г + 1)г...(s + (т - 1)г)г(s + тг) и Т^г) = (тг +1) .

В этом случае для двухпараметрического класса Т-моделей легко проверить, что многочлены Щ тг ^) удовлетворяют рекуррентному выражению:

Щт,г)(t) = 1, (1 - Г )ит)(t) + Г($г + г - 1)ипт,г= г^ит)(1), п е N (13) и могут быть записаны в следующем виде:

т ( п-1)

ц0п,г)(t) = г £ и{тгУ*, п е N.

*=0

Частные случаи многочленов Ц т'г )(t) с помощью Т-моделей были подробно изучены в [6, 7], что позволяет рассматривать их коэффициенты г) как обобщения известных баллотировочных чисел:

да =

п

- * (п + * ^

п, * , I

п + *

* = 0,...,п-1, п е N.

V п У

В [7] для рекуррентных выражений типа (13) использовался новый метод, позволяющий получать производящие функции чисел Цт'г)(1) . Для применения этого метода введем обычную производящую функцию F('т'г)(t, и) = ^Цm,г^)ип , и для нее с помощью (13) найдем соотношение:

(т,г)(t и) = 1 - Г + ПтгиР)(1, и) , ' 1 - Г + Г (tг + г -1)и ' полагая в котором ^(тг)(1, и) = ^ + г -1, придем при t ^ 1 к неопределенности вида 0 / 0 . Следовательно, при z = ^(т,г)(1, и) - г + 1 для неявного описания F(т,г )(1, и) справедливо следующее алгебраическое уравнение:

uzm (z + г-1) - z +1 = 0,

которому, в частности, удовлетворяет производящие функции чисел Фусса - Каталана и(п т,1)(1) [9] и малых чисел Шрёдера иЩ'2)(1) [5].

С помощью формулы (5) и результатов из [7] находится выражение:

1

!—1 ^ п ^ С тпЛ

у( т,г)(х)

п к=0

Vk + 1J

тп

V к J

гкхк, п е N.

(14)

которое при т = г = 1 описывает известные многочлены Нараяны [5].

Простого описания обычных производящих функций F(m,г)(t,и) и G(m,г)(х,и) = гх2Уп(т г)(х)ип

п=1

не найдено, но можно на основе аналогичных результатов из [7] компактно записать производящую функцию, обратную к функции V = G(тг)(х, и) :

(G (т,г)(х, V))—1 =-V-■

1 ; (V + гх)( V +1)т

В частности, обращение функции (15) при т =1 дает:

1 — (гх +1) и — у] (1 — (гх — 1) и)2 — 4 и

(15)

G(1,г)(х, и) = -При т = 1 для коэффициентов из формулы (14):

О х) =1

п

( п ЛГгЛ

Vk + 1J

п

Vk J

к = 0,1,...,к, п е N ;

также несложно получить числа из выражения (11) в виде:

W=_(к + 7)!

-к , 7 = 0,1,...,к, к = 0,1,...,п — 1

к,; 7!(к — 7)!(7 +1)!

что дает при 7 = к известные числа Каталана [5, 9]:

1 Г2кЛ

W (1) = -

" к, к

к+1

V к

к е N и{0},

а =2 W/f() определяют последовательность больших чисел Шредера.

^^ J=0 ,7

Таким образом, рассматриваемый двухпараметрический класс Т-моделей соответствует, при п е N, классу обобщенных чисел Каталана и(пт'г)(1) и двухиндексной последовательности обобщенных баллотировочных чисел и{™:г), а применение Т-диаграмм приводит к двухиндексной

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

{ п ^^тпЛ

последовательности чисел

п

Vk + Ъ

тп

V к J

гк, к = 0,1,..., п — 1 из (14).

Перечислим некоторые статьи ОЕ^, в которых рассматриваются элементы полученных классов: [1; А000108, А001764, А002293 - А002296, А009766, А062745, А001003, А007564, А059231, А078009, А033877, А034015, А001263, А120986, А114656, А088617, А006318].

1

6. Класс обобщенных чисел Белла и его свойства

Рассмотрим алфавит £(г) = {тг +1, (т + 1)г +1,...}, простое отображение 0 : 5 ^ 55 15', где 5 = 5 + г , и начальную таблицу Т((m, г) = (тг +1) .

В этом случае для двухпараметрического класса Т-моделей легко проверить, что многочлены и(п т'г ^) удовлетворяют рекуррентному выражению:

U(m'r)(t) = tmr, Un;г)(t) = trU(nm-r)(t) + tdU(nm-r)(t), n g N, (16)

dt

и записываются в следующей форме:

n—1

цт= г £ц^^, п е N.

*=0

Соотношение (16) позволяет легко получить экспоненциальную производящую функцию многочленов Ц т,г ^ ):

,г / ги IX

ад ип { (е -1)

F(т,г )(t, и) = Уи( т1г )(t)— = Ггетгие г . (17)

п=0 п п!

С помощью формулы (5) и результатов из [7] находится экспоненциальную производящая функция многочленов V(nm,г)(х) :

- ип —

а(т,г)(t,и) = У/(+{гЧ0~ = етгхие гх . (18)

п=0 п п!

Сравнение выражений (17) и (18) показывает, что многочлены Цт'г)(t) и V(n m, г)(х) записываются в аналогичной форме, но m,г)(х) более просты, а их коэффициенты У^) из (6) могут быть получены в следующем виде:

I (т) и-

п;'={n"nk\ ^I(-i)'

m

m — J

In + m — J —11

; r, k=0,1,...,n—i, (19)

n + m — k — 11

где фигурные скобки, как и в [9], использованы для обозначения чисел Стирлинга второго рода и их

f n 1(m)

m -обобщений, а U(^r)(1) = У " 1 \ I rk могут рассматриваться как обобщения чисел Белла.

n ¿—ik=о ^n — k J

С помощью выражений (10) и (18) числа (9) и (19) могут быть объединены следующим соотношением ортогональности:

-|( m )

M ( m )

У—1)k—J fk t

J

= Ô,j , i, J G n

а для коэффициентов W^) в (11) справедлива рекуррентная формула:

W0,m) = 8о,j , Wk,m} = (k + J — 1)Wk(—1)j—1 + (m + JWk^j, k g N, J g Z, (20)

просто связанная с аналогичной формулой (12), и также Wk(m} = (2 k —1)!(2)

Отметим, что выражения (7) - (12) и (16) - (20) можно использовать в соответствующих классах Г-моделей и при значении параметра m = 0.

Таким образом, в рассматриваемом случае классу Г-моделей (S(r), 0, Т[m,r)), при n g N

с л(m)

^"—1 I n I k

соответствует класс обобщенных чисел Белла У, „^ r r , а также классы двухиндексных

k=0 [n — k J

f n 1(m)

последовательностей \ r rk и Wkm), где k = 0,1,...,n — 1 и J = 0,1,...,k, содержащие, в частности,

[n — kJ 'J

обычные числа Белла и числа Стирлинга второго рода.

Перечислим некоторые из статей OEIS, в которых рассматриваются элементы полученных классов: [1; A000110, A005493, A005494, A004213, A005011, A008277, A126351, A143494 - A143496, A112493].

Заключение

Полученные автором статьи результаты позволяют существенно расширить приведенный список комбинаторных последовательностей, систематизируемых с использованием Т-моделей и Т-диаграмм.

Так, при выборе отображения 0 : s ^ s's-1s", где s' = s + r, s" = s' + r , появляется класс обобщений последовательности [1; A002720], в который, в частности, входит двухиндексная последовательность чисел Лаха без учета знака [1; A105278], а небольшое изменение отображения 0 в классе Каталана приводит к классу обобщений больших чисел Шредера [1; A006318].

Несложная модификация использованных Г-моделей позволяет получить классы обобщений чисел Бесселя [1; A001515], Фубини [1; A000670], чисел инволюции [1; A000085] и т. д.

Обычный порядок классификации в статье опирается на применение производящих функций. Полученные на базе Г-моделей результаты показывают возможность его улучшения. При рассматриваемой классификации в один класс включаются как комбинаторные последовательности, так и важнейшие, связанные с ними двухиндексные последовательности.

Описанная систематизация приводит не только к обобщению, но и к появлению многих новых комбинаторных последовательностей, описание которых отсутствует в OEIS. Построение таких последовательностей на основе Г-моделей следует рассматривать как своеобразные задачи комбинаторики. Также найдены случаи, когда с помощью Г-модели можно продолжить последовательность трудно вычисляемых чисел, имеющуюся в OEIS.

Список литературы

1. Sloane N.J.A. The on-line encyclopedia of integer sequences. - 2020. - http://oeis.org.

2. Риордан Дж. Комбинаторные тождества / пер. с англ. - М.: Наука. Гл. ред. физ.-мат. лит., 1982. - 256 с.

3. Гульден Я., Джексон Д. Перечислительная комбинаторика / пер. с англ. - М.: Наука. Гл. ред. физ.-мат. лит., 1990. - 504 с.

4. Стенли Р. Перечислительная комбинаторика / пер. с англ. Т. 1. - М.: Мир, 1990. - 440 с.

5. Стенли Р. Перечислительная комбинаторика / пер. с англ. Т. 2. - М.: Мир, 2009. - 768 с.

6. Бондаренко Л.Н. Моделирование комбинаторных последовательностей // Образовательные ресурсы и технологии. (Электронный научный журнал). - 2019 - №2 (27), С. 64-74.

7. Бондаренко Л.Н. Модели комбинаторного анализа. Монография. - М.: изд. «МУ им. С.Ю. Витте», 2019. - 248 с.

8. Ониши Ё. Обобщенные числа Бернулли-Гурвица и универсальные числа Бернулли // Успехи математических наук. - 2011. - Т. 66. - Вып. 5 (401). - С. 47-108.

9. Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики / пер. с англ. -М.: Мир, 1998. - 703 с.

References

1. Sloane N.J.A. The on-line encyclopedia of integer sequences. - 2020. - http://oeis.org.

2. Riordan Dzh. Kombinatornye tozhdestva / per. s angl. - M.: Nauka. Gl. red. fiz.-mat. lit., 1982. - 256 s.

3. Gul'den Ya., Dzhekson D. Perechislitel'naya kombinatorika / per. s angl. - M.: Nauka. Gl. red. fiz.-mat. lit., 1990. - 504 s.

4. Stenli R. Perechislitel'naya kombinatorika / per. s angl. T. 1. - M.: Mir, 1990. - 440 s.

5. Stenli R. Perechislitel'naya kombinatorika / per. s angl. T. 2. - M.: Mir, 2009. - 768 s.

6. Bondarenko L.N.Modelirovanie kombinatornyh posledova-tel'nostej // Obrazovatel'nye resursy i tekhnologii. (Elektronnyj nauchnyj zhurnal). - 2019 - №2 (27), S. 64-74.

7. Bondarenko L.N. Modeli kombinatornogo analiza. Mo-nografiya. - M.: izd. «MU im. S.Yu. Vitte», 2019. - 248 s.

8. Onishi Yo. Obobshchennye chisla Bernulli-Gurvica i universal'-nye chisla Bernulli // Uspekhi matematicheskih nauk. - 2011. - T. 66. - Vyp. 5 (401). - S. 47-108.

9. Grekhem R., Knut D., Patashnik O. Konkretnaya matematika. Osno-vanie informatiki / per. s angl. - M.: Mir, 1998. - 703 s.

i Надоели баннеры? Вы всегда можете отключить рекламу.