Применение обобщенной формулы Родрига в комбинаторном анализе

УДК 519.1

Л. Н. Бондаренко, М. Л. Шарапова

ПРИМЕНЕНИЕ ОБОБЩЕННОЙ ФОРМУЛЫ РОДРИГА В КОМБИНАТОРНОМ АНАЛИЗЕ1

Аннотация. Рассматривается обобщенная формула Родрига, позволяющая определить некоторые важные семейства многочленов, используемые в комбинаторном анализе. Эта формула применяется для получения рекуррентных соотношений и производящих функций. В частности, с этих позиций исследуются обобщенные многочлены Эйлера и рассматриваются их свойства. Для комбинаторной интерпретации коэффициентов этих многочленов привлекаются обобщенные перестановки Гесселя - Стенли и корневые помеченные r-угольные кактусы. Также рассматриваются конечно-разностные и g-аналоги обобщенной формулы Родрига, с помощью которых, в частности, изучаются g-аналоги экспоненциальных многочленов и многочленов Эйлера, а также их свойства.

Ключевые слова: формула Родрига, рекуррентная формула, производящая функция, непрерывные дроби, многочлены Эйлера, тождество Ворпицкого, перестановки Гесселя - Стенли, корневые помеченные r-угольные кактусы, g-экспоненциальные многочлены, g-многочлены Эйлера.

Abstract. The article considers the generalized Rodrigues formula, which allows to define some important polynomial families applied in combinatorial analysis. This formula is used to obtain recurrence correlations and generating functions. In particular, from this point of view it is possible to study generalized Eulerian polynomials and consider their properties. In order to combinatorially interpret the coefficients of these polynomials the authors use generalized permutations of Gessel - Stanley and root marked r-angle cactuses. The article also considers finite-difference and q-analogues of the generalized Rodrigues' formula, by which, in particular, the authors study the g-analogs of exponential polynomials and Eulerian polynomials and their properties.

Key words: Rodrigues formula, recursion formula, generating function, continued fractions, Eulerian polynomials, Worpitzky identity, Gessel - Stanley permutations, root marked r-angle cactuses, g-exponential polynomials, g-Eulerian polynomials.

Введение

Важный метод характеризации классических ортогональных многочленов {Pn (t )}(^ состоит в применении обобщенной формулы Родрига

Pn (t) = )Dn (w(t) xn (t)),

где w(t) - весовая функция; D = d / dt; kn - постоянная; x(t) - функция, не зависящая от n. Эта формула имеет также конечно-разностный аналог [1].

Определим многочлены {Rn (t )}[^ с помощью следующей модификации обобщенной формулы Родрига:

Rn

1 Работа выполнена при финансовой поддержке первого автора грантом РФФИ, номер проекта 11-01-00212а.

где w(t) - весовая функция; Н = Н(і) В - дифференциальный оператор; к (і) и И(ґ) - функции, не зависящие от п, причем нормирующий множитель

к п (і); функция w(t) и оператор Н выбираются так, чтобы многочлен Яп (і) имел степень п и целые неотрицательные коэффициенты. Последовательность {Яп (і)}^ в [2] называется нормализованной, если Яо(і) = 1 и Яп (0) = 0, п > 1.

Такие последовательности и значения Яп (і) при і = 1; -1 часто встречаются в комбинаторном анализе. Например: экспоненциальные многочлены

^п

к (і) = (1 - і )-1, w(t) = (1 - і )-1, к(і) = і) являются производящей функцией для чисел Эйлера {Ап к}к=1, а {(-1)т А2от-1(-1)}і° - тангенциальные числа [2-5].

Выражение (1) не только задает схему вычисления многочленов {Яп (і)}^ , но также фиксирует отображение (Н, w) ^ {Яп (і)}^ , определяющее их комбинаторную интерпретацию. Выбор в (1) оператора Н и весовой функции w(і) позволяет определить различные многочлены, имеющие важные комбинаторные приложения, и исследовать их свойства.

1. Основные леммы

Для целей комбинаторного анализа рассмотрим связь обобщенной формулы Родрига (1) с рекуррентной формулой для многочленов Яп (і) и некоторыми производящими функциями последовательности {Яп (і)}(^ .

Лемма 1. Из (1) непосредственно следует рекуррентное соотношение

Яо(і) = 1, Кп(і) = к-п(і^-1(і)Мі)х

X

являющееся другим важным способом задания последовательности {Яп (і)}^ . Доказательство леммы 1 основано на следующей записи выражения

(1):

Яп (і) = к-п (і^-1 (і) Н(і) (кп-1 (і) w(і)Яп-1 (і))',

и вычисления производной от произведения функций кп-1(і) w(і)Яп-1 (і).

Отметим, что из формулы (2) несложно получить (1), а также с помощью леммы 1 легко найти рекуррентное соотношение для коэффициентов многочлена Яп (і), часто используемое при их комбинаторной интерпрета-

ции. Рекуррентная формула (2) успешно применяется для вычисления моментов распределения коэффициентов нормированного многочлена Яп 1(1)Яп (г) и исследования асимптотики этого распределения [6], причем с помощью формулы (1) для нормализованной последовательности [Яп (г)}0 при условии Я'п (0) Ф 0, п > 1, в ряде случаев удается установить следующее полезное свойство: все п корней многочлена Яп (г), п > 1, различны, действительны и неположительны.

Различные производящие функции последовательности {Яп (г)}° являются мощным инструментом комбинаторного анализа. Для экспоненциальной производящей функции, определяемой формальным степенным рядом

^оо 1 п

п 0Яп (^)(п!) г , справедливо следующее утверждение.

Лемма 2. При выборе в формуле (1) Н5 (г) = Г*+1, где 5 - неотрицательный целый параметр, производящая функция Я(г, г) описывается выражением

Яо((, г) = w _1(г) w (гек (г) г),

_1/5 Л

Я5

где в случае 5 = 0 Я5 (г, г) понимается как предел при 5 ^ 0 .

т

т=0 Wm г , запишем Я5 (г, г) в виде

Я.(,,г) = W_ 1(г)£ „•«,) = W_'(,)£ £ Wm е+,т .

П п! “ п! т-‘0

п=0 п=0 т=0

Меняя порядок суммирования, а также используя биномиальную фор-

мулу (1 + х) “ = £

п=0

( а Л

х и равенство

г5+ Бпгт = т

имеем

Я5(г,г) = W_1(г)£ Wmtm £(_1) т=0 п =0

_т5

ип =

= W 1(г) £ Wm (г(1_ 5и) 1/5 )т , т=0

где для простоты записи применено обозначение и = к 1(г) г'5г . С учетом вида весовой функции и предела Нш (1_ 5и) 1/5 = еи окончательно находим (3).

5^ 0

Для функции Я(г, £) = £ п=0 Яп (г) £ п 1, являющейся формальным преобразованием Лапласа Я(г, г) по переменной г, справедливо утверждение.

Лемма 3. Если в формуле (1) положить к (г) = 1, то производящая функция Я (г, £) удовлетворяет функциональному уравнению

Доказательство. Используя (1) для преобразования Я (г, £), получим

^(0^(і) ^ Нп ^ Я^_ у ^

(-и /—I (-П+1

^п=0 £ и=0 £

^(і) = м>(і) .

(£_Н)^-Тп+Ь = (£-Н)£7п+Ги"(г) = £~т~ £

п=0 £ п=0£

Условия теоремы Стилтьеса - Роджерса о /-дробях иногда позволяют

_1 — _1 ^ ч о п

перейти от ряда Я(г, г) к представлению г Я (г, г ) = £ п=0 Яп (г) г в виде ./-дроби:

I Л „ Ч I-2 ^ /'А -2

Л [к* (і), Л * (і): (0, -)] =-

1 Хо(і) г Лі(і) г

1_ К) (г) г 1_ К^) г 1_ К2(г) г

причем Яп (1) являются многочленами Якоби - Роджерса от переменных

Кк (1), ^к (1) и связаны с перечислением взвешенных путей с п шагами, начало и конец которых находятся на высоте 0 [4].

В ряде случаев непосредственно с помощью леммы 3 удается записать Я (г, £) в виде непрерывной /-дроби, что заменяет вычисления по алгоритму

частных и разностей ^Б-алгоритму) [6, 7], преобразующему {Яп (г )}0 в последовательности {екп)(0}°=0, {<?кп)(0}°=1, п = 0,1,. , где е0п)(г) = 0, д(п)(г) =

= Я~п1 (г) Яп+1 (г), а /-дробь при Кк (г) = (г) + е(к0) (г), Я к (г) = ек+Т (г) ?£+ (г),

к = 0,1,., имеет вид

ЯМ)=- 1 Л»(0 Л‘(0

£_ ю(0 £_К1(г) £_К2(г) ’

который можно рассматривать как четную форму «^-дроби:

- 1 д

Я(г,£) = - ---------------------------1-2-...

£- 1 - £ - 1 - £ "

Отметим, что замена г = т_1 в формуле (1) и ее умножение на тп+1 меняет порядок коэффициентов нормализованного многочлена Яп (г) на обратный. В частности, для многочленов Эйлера Ап (г) = (1_ г)п+1(г01 )п (1 _ г) 1, = й / й при г = хч имеем Ап (хч) = х_(п+1)(х_ 1)п+1(_х£>х )п (1_(1_ х)_1),

Ап (х) = хп+1 Ап (х 1), т.е. многочлен г 1 Ап (г) является возвратным. Замена

г = х(1 + х)_1 для многочленов Эйлера Ап (г) приводит к сопряженным относительно этого преобразования многочленам

Ап (х) = (1 + х)п Ап (х (1 + х)_1) = (1 + х)_1 (х (1 + х) Д)п (1 + х),

для которых в формуле (1) к(х) = 1, а коэффициенты Ап£ = к!Snk - числа Моргана.

В лемме 2 использовалось введение параметра 5 в оператор Н. Естественно рассматривать в формуле (1) весовую функцию wr (г), зависящую от неотрицательного целого параметра г.

2. Обобщенные многочлены Эйлера

В работах [8-10] исследовались обобщенные многочлены Эйлера Ап г (г), г > 1, коэффициенты которых Апг к перечисляют обобщенные

г-перестановки Гесселя - Стенли с к подъемами, причем Апг (1) = 1 • (г +1) •. • (г (п _ 1) +1) - число всех таких перестановок, а

Ап,1(г) = Ап(г).

*

Определение 1. Обобщенные многочлены Эйлера Ап г (г), г > 0, зададим соотношением (1) при кг (г) = (1 _ гг)_1, wr (г) = (1 _ гг)_1/г, Н(г) = г.

* *

По определению 1 получим Ап 1 (г) = Ап (г), а Нш Ап г (г) = Sn (г).

г ^ 0

Теорема 1. Для последовательности {Апг (г) }00=0, г = 0,1,., произво-

* _1 — * _1

дящие функции Аг (г, г) и соответственно г Аг (г, г ) имеют следующий

вид:

£

А (г) г

п ( , . Л1/г

1_ гг

п!

п=0

1_ не2

У

£ ап,г

п=0

где Нш Аг (г, г) = ег(е _1), а К к (г) = (гк +1) г + к и Я к (г) = (к + 1)(гк +1) г.

г ^ 0

Доказательство. Равенство (5,а) сразу следует из леммы 2 при 5 = 0 . Если г = (1 + гх)_1 х, то Апг(х) = (1 + гх)пАпг((1 + гх)_1 х) - многочлен, для

которого в (1) к(х) = 1, wr (х) = (1 + гх)1/г и Нг = х(1 + гх)Д. Полагая £ параметром и используя формулу (4) для функции и (х) = £ !=0 ап,г (х) £_п _, находим дифференциальное уравнение х (1 + гх)и _ (£_х)и = _1, причем за-48

мена х = _ г 1х, у(х) = и (_г 1х) приводит к уравнению х (1_ х)V _

1 1 _(£ + г х)у = _1, которое подстановкой у(х) = V0 (х) преобразуется в

начальный член последовательности дифференциальных уравнений Риккати

X 1_ X

V

т т , „ ,

Vm + л \ = ^т, т = 0,1, • •

х

с параметрами п о = г, Ьо = г + г 1, с о = _1, йо = 0 , а каждый член этой последовательности уравнений Риккати переходит в последующий при замене ст'^т = (пт Ьт) х пт + стх(1 х) vm+1, т = 0,1, ••• , и пт+1 = пт 1,

Ьт+1 = Ьт +1, ст+1 = йт + (Ьт_пт) ст\ ^1 = с о [11]. Поэтому находим пт = п о _т, Ьт = Ьо + т, ст _1ст = с ой о + т(т _1 + Ьо _п о), что с учетом

выполненных подстановок и упрощения непрерывной дроби приводит к равенству (5,б).

Следствие 1. Переход к пределу при г ^ і 1 в соотношении (5,а) дает У и=0(і)и(и!)1 гп = (1_г)_, где (і)и = і(і +1) (і + и _1) - символ Похгам-

*

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

* и * ^ и * *_и *

Определим числа {Аиг* }*=1, полагая Аиг (і) = у *=1 Аиг*г і . Тогда с помощью подстановок і = г _1т и г = г £ при г > 1 из равенства (5,а) при

^и *

*=1 Аиг* = 1 • (г +1) • _ • (г(и _ 1) +1) = Аиг (1), г > 1. **

Теорема 2. Для многочленов Аи г (і), г > 0 и чисел Аиг*, г > 1, справедливы следующие рекуррентные соотношения:

А0,г

А0,г,* = §0*, Аи,г,* = г*Аи_1,г,* +

где 8гу - символ Кронекера; 8^- = 1, если і = у, и 8гу = 0, если і Ф у ;

а Z - множество целых чисел.

Доказательство. Формула (6) находится по лемме 1. Приравнивание коэффициентов при одинаковых степенях х в формуле (6), домноженной на

ги , и в формуле, полученной из (6) заменой і = г 1х, г > 1, приводит к соотношению (7).

Числа Стирлинга второго рода Зи* и числа Эйлера Аи * часто опреде-

( і > и ( і + * -О

со-

и

ляют с помощью формул г ' = £ к .1 ^*к !1к I и <" = £ к= Ап

ч к ) ч

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

Теорема 3. При г > 0 справедливо обобщенное тождество Ворпиц-

кого

где биномиальные коэффициенты в общем случае выражаются через гамма-функцию, а при г ^ 0 (8) переходит в формулу, определяющую числа Sn к .

*

Доказательство. Обозначая множитель при коэффициенте Апг к в правой части выражения (8) через Хп г£ (г) и используя рекуррентную формулу (7), находим для функций Xп г£ (г) рекуррентное соотношение

проверяемое непосредственно, как и предельный случай при г ^ 0 .

Тождество (8) доказано в [12] другим способом, причем в [12] также описано его обращение в смысле Мебиуса. Это тождество определяет коэффициенты связи между двумя полиномиальными базисами [2, 3].

Теорема 3 влечет следующее утверждение.

Следствие 2. Пусть г-преобразование функции /(г), г > 0 определено равенством 2{/(г), г} = £ ^=0 /(к) гп . Тогда справедливо соотношение

причем г = 0 рассматривается как предельный случай.

*

Следствие 2 указывает причину появления многочленов Ап г (г) в при-

*

ложениях, а теорема 1 показывает, что Ап г (г) проще в применении, чем многочлены Ап г (г), для которых соотношения вида (5) в общем случае не найдены.

3. Комбинаторные интерпретации обобщенных чисел Эйлера

*

Для комбинаторной интерпретации чисел Апг к и Апг к, г > 1, рассмотрим биекцию между множеством GSn г обобщенных г-перестановок

Гесселя - Стенли мультимножества {1г,пг} [8-10] и множеством BSnr

корневых помеченных ^угольных кактусов BSnr [12].

Определение 2. ^перестановка ае GSnr - это слово а = а1...агп , у

которого все буквы, стоящие между любыми двумя вхождениями символа

1 е {1,..п}, не меньше этого 1.

Рекурсивный алгоритм генерации множества GSn+l г основан на построении (гп +1) -й перестановки из GSn+l г путем вставки слова (п +1)г

V

/

гХп_1,г,к (г) = г£Хпгг,к (г) + (г(п _ к _ 1) +1) Хп,г,к+1 (г), г > 1,

в начало, конец и между любыми двумя буквами выбранного слова л є 0Бп г , что дает | СБи+1 г | = 1 • (г +1) • _ • (ги +1). В работе [10] предложен второй рекурсивный алгоритм.

Связный граф, который не содержит ребер, лежащих более чем на одном простом цикле, называется кактусом [13].

Определение 3. Корневой помеченный г-угольный кактус у є ВБпг,

г > 1, - это связный граф, растущий (вверх) из корня (вершины с меткой 0) и составленный из и помеченных различными числами 1, _, и г-угольников, каждая пара которых имеет не более одной общей вершины (1-угольник изображается ребром с одной помеченной вершиной, а 2-угольник - помеченным ребром).

Рекурсивный алгоритм генерации множества В8и+1 г базируется на построении (ги + 1) -го кактуса из В8и+1 г с помощью соединения нижней вершины г-угольника с меткой и +1 (остальные его вершины считаются верхними) с каждой из (ги +1) -й вершин (включая корень) выбранного кактуса у є ВБп г, что позволяет найти | В8и+1 г | = 1 • (г +1) • _ • (ги +1) .

Считая, что в описанных алгоритмах вставка слова (и + 1)г и соединение г-угольника с меткой и + 1 проводятся последовательно слева направо и, соответственно, по часовой стрелке, начиная от корня, находим биекцию ф: 0Бп г ^ ВБп г (ВБп 1 является множеством неупорядоченных корневых

деревьев с (и +1) -й помеченной вершиной, а ВБп 2 -си помеченными ребрами).

Пусть оє 0Бп о - упорядоченное разбиение множества {1, _, и}, т.е.

о = о(1) _о(т), о(*) = {о(*) _ о(*)} - блок о, а о(*) < _ <о(*) и

11 Р*1 1 Р*

о11) < _ < о1т), 1 < * < т . Каждому о є 08и о сопоставим слоистую диаграмму у є ВБи о , состоящую из т горизонтальных отрезков плоскости, причем *-й отрезок соединяет точку (о( *), 1) с (о(*, 1) и проходит через вершины (о(*) ,1), _, (о<Р*), 1) [4]. Имеем равенства | 0Бп о |=| В8и,о | = 8и (1).

Пусть гІ8е(о) - число подъемов г-перестановки оє 0Бп г,Оо = 0 , г > 1. Тогда биекция ф: о ^ у для у є ВБп г определяет гІ8е(у) = гІ8е(о). В работах [8-10] показано, что коэффициенты Апг* = #{о: о є 0Бп г ,гІ8е(о) = *} обобщенного многочлена Эйлера Апг (і) = у и= Апг*і* удовлетворяют рекуррентной формуле

А0,г ,* =80*,

Ап,г,* = *Ап_1,г,* +

_Г _1

а для многочлена Апг (г) в (1) кг (г) = (1 _г) , м>(г) = (1 _г) ,

Иг (г) = (1_ г)^гг и

А0,г (г) = 1, Ап,г (г) = (Г (п _ 1) +1) г Ап _1,г (г) + г (1 _г) В Ап _1,г (г), п > 1.

Определение 4. Свободные левые верхние вершины всех г-угольников кактуса уе BSnr назовем листьями и обозначим I (у) - число листьев

Уе .

В работе [12] получено следующее утверждение.

Теорема 4. Ап г к = #{у: уе BSn,r, I(у) = к}.

Доказательство. При г = 1 дополнение С118е(а) = п + 1_118е(а) дает число спусков des(а) при ап+1 = 0 перестановки а е GSn 1. Биекция ф: а ^ у показывает, что I(у) = п + 1_rise(у) [3], и теорема 4 верна. Эта биекция и определение 4 показывают, что кактусу у е BSn г, г > 2, соответствует г-перестановка а е GSn г, а

I(у) = I(а) = #{аг-: аг- = аг+ьаг- Ф а у, у < 1, 1 < 1 < п _ 1}.

Поэтому формула (9) для г-перестановок несложно проверяется методом математической индукции. Заодно показано, что не рассматриваемая в [8-10] статистика I(а), ае GSn г, г > 2, также является обобщенной эйлеровой статистикой.

Удаление меток в каждом уе BSnr и, соответственно, расстановка

скобок в слове а е GSn г (перед первым и после последнего вхождения любого символа), а также отождествление букв приводит к разбиению BSn г и

GSn г на классы эквивалентности - фактор множества BSn,r и GSn,r. В работе [12] отмечено, что их мощности выражаются через числа Фусса - Ката-

(г ) 1 (ГП^

[5] С (П) =-----------------

(г _ 1)п +1

лана п

Теорема 5. При г > 2 справедливы равенства | BSn,r |=| GSп,г | = С(пг). Доказательство. Слово и е GSn^r состоит из (г + 2)п символов «(», «)», ^<х» и достаточно найти только | GSn,r | в силу биекции ф: а ^ у . Последовательное вычеркивание в слове и е GS п,г ровно г символов «х», заключенных в скобки, определяет соответствие с надлежащей расстановкой скобок в слове длины т = (г _ 1)п + 1, отвечающей п г-арным операциям. Так

как мощность множества указанных расстановок скобок равна СП) [14], то теорема доказана.

Приведем один из возможных алгоритмов приписывания весов

*

= ^(а) г-перестановкам ае GSn г, г > 1, так, чтобы Апг£ = #{а: ае GSn г,

^(а) = к}: а) перестановке аеGSlr присваивается вес, равный единице; б) если ае GSn г имеет вес w, то всем г-перестановкам из GSn+l г , получаемым из нее вставкой слева направо слова (п + 1)г, приписываются последовательные веса из слова wrwГ(п Г)+Г, где ^ ^ +1. В этом случае биекция

ф: GSn г ^ BSn г определяет соответствующие веса корневых помеченных

г-угольных кактусов у е BSn г.

Отметим, что в [15] впервые была доказана биекция ф: GSn 2 ^ BSn 2,

а в [16] при г = 2 рассмотрен аналог формулы (5,а) и исследованы на BSn,2

12 весов wi (п), причем Wll(n) =| BSn,2 | , Wl2(n) = аПд(1) .

4. Конечно-разностные и ^-аналоги обобщенной формулы Родрига

Определим многочлены Bn г (г) с неотрицательным целочисленным параметром г с помощью следующего конечно-разностного аналога формулы (1):

Bn,r (г) = (Г +1) _ (г (Е_Г1 ))п (Г + 1)г,

где Е/(г) = / (г + 1) задает оператор сдвига; I - тождественный оператор. Действуя аналогично лемме 1, находим рекуррентную формулу

B0,r (г) = 1

Bn,r (г) = (г +1) tBn _г,г (г +1) _ гtBn _г,г (г),

причем Bn 0 (г) = (г)п, а Bn 1 (г) определяется с помощью оператора Д = Е _ I.

В этом случае легко вычисляются только экспоненциальные производящие функции Bo (г, г) = (1 _ г)_ и Bl (г, г) = (2 _ в2)_ .

Теорема 6. Производящая функция

£ “=0Bn,r (г)гп = Л [Кк (г),Як (г): (0,~)],

где к£ (г) = г + (г + 2)к и Хк (г) = (г + 1)(к + 1)(г + к), г > 0.

Доказательство. Применяя формулу (4) при Нг = г ( Е_г1 ) и

wr (г) = (г + 1)г к функции и (г) = £ =0 Bn Г (г) £_п^ с параметром £, находим разностное уравнение (г + 1) г и (г + 1) _ (гг + £) и (г) = _1, преобразуемое подстановкой и (г) = V 01(г) в начальный член последовательности разностных

уравнений

(гг + с _ т) Vm (г +1) _ (Г + 1)(г + т) Vm (г) _

_^ (г)Vm (г + 1) = т(г + 1)(г + т), т = 0,1,.,

а каждый член этой последовательности уравнений переходит в последующий при замене vm (г) = £ _ г _ (г + 2)т _ (г + 1)(т +1)0^ + т) v_г1+l (г), т = 0,1,., что с учетом выполненных подстановок приводит к результату.

Для записи д-аналогов многочленов Sn (г), Ап (г), Ап (г), | д | < 1, с помощью обобщенной формулы Родрига используем обозначения

[п] ч = (1_ д)_1(1 _ дп),

(г; д)п = (1 _ г )(1 _ гд)... (1 _гд п _г ), [п] д! = (1 _ д) _п (д; д)п.

Тогда, полагая в формуле (1) Н = гДд, где гДд/(г) = (1_ д)_1 X х(/(г) _ /(гд)), а Дд - д-аналог конечно-разностного оператора Д, определим следующие многочлены:

Sn

$п

где

вд(г) = £ Г=0 (д; д)П1 гП =(г; д)-1, вд(г) = £ “=0 (д; д)П1 дп( п _1)/2гП = (_г; д)-,

а функции вд ((1_ д) г) и вд ((1_ д) г) являются д-аналогами экспоненты;

Ап

Ап

Верны равенства: Нш(1_ д)_п (д1; д) = (1)п, Нш [п] д = п,

д—1 д —1

liш [п] д ! = п!, Нш г Дд = гВ , а использование д-аналога леммы 1 позволяет

д ——1 д——1

записать для многочленов (10)-(13) следующие рекуррентные соотношения:

S0

50

А0

А0

Приравнивание коэффициентов при одинаковых степенях г в (14) и (16) соответственно при использовании записей

Sn (г; д) = £ П=г Sn,k (д) дк(к_1)/2 гк и Ап (г; д) = £ П=г Ап,к (д) дк(к_1)/2 гк

позволяет получить простые рекуррентные соотношения для коэффициентов

S п,к (д) и Ап,к (д):

S 0, к

А0,к (д) = §0к;

Ап,к

Выполняя аналогичные операции с выражениями (15) и (17) при использовании записей

*п (г;д) = £ П=г^к (д) дк(к_1)/2 гк и Ап (г; д) = £ П=г Ап,к (д)[к]д Нк,

а также рекуррентных формул (18)-(19), несложно получить следующие соотношения: Бп к (д) = д(п_к)(кЧ)Sn,k (д_1), Ап,к (д) = Sn£ (д).

Отметим, что д-аналог чисел Стирлинга второго рода Sn к (д) изучали Карлитц и Гульд, а д-аналог экспоненциальных многочленов Sn (г; д) рассмотрен Милном [17]. д-аналог чисел Эйлера Ап£ (д) введен в [18] с помощью д-аналога тождества Ворпицкого, а формула (19) и многочлены 1п+ГАп(1_Г;д) исследованы в [18, 19].

Теорема 7. а) Для многочленов Sn (г; д) производящая функция имеет

вид

£ !=0 Sn(г; д) гП = Л [к£ (г; д), Х к(г; д):(0, ^)];

К к (г; д) = гд2к + [к ] д ак _1 (г; д) и Х к (г; д) = д2к [к + 1] дг ак (г; д), где ак (г; д) = 1_ гдк (1_ д).

б) Для многочленов Ап (г; д) производящая функция имеет вид

£ ~=0 Ап(г; д) гП = Л [к£ (г; д), Х к(г; д):(0, ^)];

Кк (г; д) = гдк [к +1] д + [к ] д Ьк (г; д) и Х к (г; д) = дк [к + 1]2дtbk+l (г; д),

где Ьк (г; д) = 1 + гдк .

Доказательство. а) Полагая Нд = гДд , w(t;д) = вд ((1_ д) г) и применяя

формулу (4) к функции и (г; д) = £ =0 Sn (г; д) £_п ^ с параметром £, получаем, используя несложное соотношение гДдвд ((1 _ д) г) = гвд ((1 _ д) г), уравнение (£(1 _д)_1) и (г; д)_(г(1_ д)_1)) и (гд; д) = 1_ д , которое с помощью подстановки и (г; д) = V 0Г(1; д) преобразуется в начальный член последовательности

(£(1 _ д) _ 1 + гдт 1 (1 _ д)2 [т] д)Vm (гд; д) + дтат (г; д) Vm (г; д) _

_(1 _д)Vm(г;д)^(гд;д) = гд2т_г(1 _д)[т]дат(г;д), т = 0,1,.,

а каждый член этой последовательности переходит в последующий при замене:

Vm (г; д) = £ _ гд2т _ [т] д ат_г (г; д) _ гд2т [т + 1] д ат (г; д) vm1+l (г; д), т = 0,1,.,

что с учетом выполненных подстановок приводит к результату. В пределе при д — 1 равенство теоремы 7,а совпадает с выражением (5,б) при г = 0 .

б) Аналогично, полагая Нд = (1 + г) гДд, w(t) = 1 + г и применяя соотношение (4) к функции и (г; д) = £ =0 Ап (г; д) £ п 1 с параметром £, получаем уравнение (£(1_ д)_1 _г) и(г; д) + (1 +гд) и(гд; д) = 1_ д, которое с помощью замены и (г) = V 0Г(1 ) преобразуется в начальный член последовательности уравнений

(£(1 _ д) _ 1 _ г + г(1 _ д)2[т]2д) ^ (гд; д) + дтЬт+1 (г; д) ^ (г; д) _

_(1 _ д)Vm (г; д)^ (гд; д) = гдт [т]д Ьт+1 (г; д), т = 0,1,., а каждый член этой последовательности переходит в последующий при замене Vm(г) = £_гдт[т + 1]д _ [т]дЬт(г;д) _дт[т +1]^гЬт+1 (г;д)(г), т = 0,1,.,

что с учетом выполненных подстановок приводит к результату. При д — 1 равенство теоремы 7,б совпадает с выражением для производящей функции

—*

сопряженных многочленов Ап 1 (г), использованных при доказательстве теоремы 1.

Отметим, что представления производящей функции многочленов

Sn (г; д) в виде непрерывных дробей исследовались другим способом в [20],

где также рассмотрена комбинаторная интерпретация Sn к (д). Карлитц в [18] показал, что 1п+ГАп (г Г; д) - производящий многочлен пары статистик (rise,

ша_|) на GSnг, а мажорирующий индекс ша_|(а) = £ 1 для аеGSnl

а; > а;+1

вычисляется при 1 = 1,., п _ 1 [3, 19]. Поэтому Ап (г; д) - производящий многочлен пары (des, ша_|) на GSn г. Для многочленов (10)-(13) при значениях г = 1 и, соответственно, д = 1 получаются надлежащие маргинальные распределения.

Заключение

Применение обобщенной формулы Родрига можно значительно расширить, используя в выражении (1) другие операторы Н и весовые функции

w(t). Так, в [10] исследовались многочлены, получаемые по формуле (1) при

выборе k(t) = tr, Hr = tr+1D, w(t) = et и целом неотрицательном параметре r.

Авторы выражают искреннюю благодарность Л. М. Коганову за ценную информационную поддержку и внимание к работе.

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

1. Бейтмен, Г. Высшие трансцендентные функции / Г. Бейтмен, А. Эрдейи. - М. : Наука, 1974. - Т. 2. - 296 с.

2. Айгнер, М. Комбинаторная теория / М. Айгнер. - М. : Мир, 1982. - 558 с.

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

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

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

6. Бондаренко, Л. Н. Статистики на классах отображений / Л. Н. Бондаренко, М. Л. Шарапова // Дискретные модели в теории управляющих систем : VIII Международная конференция (Москва, 6-9 апреля 2009 г.). - М. : Изд. отдел факультета ВМиК МГУ им. М. В. Ломоносова «МАКС Пресс», 2009. - С. 33-39.

7. Рутисхаузер, Г. Алгоритм частных и разностей / Г. Рутисхаузер. - М. : Изд-во иностр. лит., 1960. - 94 с.

8. Бондаренко, Л. Н. Два типа r-перестановок и r-многочлены Эйлера / Л. Н. Бондаренко, М. Л. Шарапова // Дискретная математика и ее приложения : материалы X Международного семинара (Москва, МГУ, 1-6 февраля 2010 г.). -М. : Изд-во Механико-математического факультета МГУ, 2010. - С. 217 220.

9. Бондаренко, Л. Н. Обобщенные распределения Эйлера и Мак-Магона на двух классах перестановок / Л. Н. Бондаренко, М. Л. Шарапова // Комбинаторные и вероятностные проблемы дискретной математики : сборник научных трудов. -Иркутск : Изд-во Иркут. гос. ун-та, 2010. - (Дискретный анализ и информатика; вып. 4). - С. 14-23.

10. Бондаренко, Л. Н. Параметрические комбинаторные задачи и методы их исследования / Л. Н. Бондаренко, М. Л. Шарапова // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2010. - № 4. -С. 50-63.

11. Хованский, А. Н. Приложение цепных дробей и их обобщений к вопросам приближенного анализа / А. Н. Хованский. - М. : ГИТТЛ, 1956. - 204 с.

12. Бондаренко, Л. Н. Интерполяционные взаимно обратные соотношения и обобщение формулы Ворпицкого / Л. Н. Бондаренко, М. Л. Шарапова // Проблемы теоретической кибернетики : материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.). - Нижний Новгород : Изд-во Нижегородского гос. ун-та, 2011 - С. 62-66.

13. Харари, Ф. Перечисление графов / Ф. Харари, Э. Палмер. - М. : Мир, 1977. -324 с.

14. Стенли, Р. Перечислительная комбинаторика / Р. Стенли. - М. : Мир, 2009. -

Т. 2. 767 с.

15. Коганов, Л. М. Универсальная биекция между перестановками Гесселя -Стенли и диаграммами связей соответствующих рангов / Л. М. Коганов // Успехи математических наук. - 1996. - Т. 51, № 2. - С. 165-166.

16. Klazar, M. Twelve countings with rooted plane trees / M. Klazar // European Journal of Combinatorics. - 1997. - V. 18, № 2. - P. 195-210.

17. Milne, St. C. A g-analog of restricted growth functions, Dobinski’s equality, and Charlier polynomials / St. C. Milne // Transactions of the American Mathematical Society. - 1978. - V. 245. - P. 89-118.

18. Carlitz, L. A combinatorial property of g-Eulerian numbers / L. Carlitz // The American Mathematical Monthly. - 1975. - V. 82, № 1. - P. 51-54.

19. Фоата, Д. Распределения типа Эйлера и Макмагона на группе перестановок / Д. Фоата // Проблемы комбинаторного анализа : сборник статей. - М : Мир, 1980. - С. 120-141.

20. Zeng, J. The g-Stirling numbers, continued fractions and the g-Charlier and q-Laguerre polynomials / J. Zeng / Journal of Computational and Applied Mathematics. - 1995. - V. 57. - P. 413-424.

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

кандидат технических наук, доцент, кафедра дискретной математики, Пензенский государственный университет

E-mail: leobond5@mail.ru

Шарапова Марина Леонидовна

старший преподаватель, кафедра математического анализа, механикоматематический факультет, Московский государственный университет им. М. В. Ломоносова

E-mail: msharapova@list.ru

Bondarenko Leonid Nikolaevich Candidate of engineering sciences, associate professor, sub-department of discrete mathematics,

Penza State University

Sharapova Marina Leonidovna Senior lecturer, sub-department of mathematical analysis, faculty of mechanics and mathematics, Moscow State University named after M. V. Lomonosov

УДК 519.1 Бондаренко, Л. Н.

Применение обобщенной формулы Родрига в комбинаторном анализе / Л. Н. Бондаренко, М. Л. Шарапова // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2011. -№ 4 (20). - С. 44-58.