Несмотря на то, что теория специальных функций математической физики бурно развивается с середины XIX века, она не потеряла своей актуальности ив настоящее время. Для нахождения многих формул и изучения свойств специальных функций многие годы использовался классический подход — решение дифференциальных уравнений в частных производных методом разделения переменных и при отыскании собственных функций дифференциальных операторов в некоторых криволинейных системах координат. Исследования специальных функций классическим методам связаны с трудами Эйлера, Гаусса, Римана, А. Н. Тихонова, А. А. Самарского, Г. Н. Яковлева, Н. Н. Лебедева, А. Ф. Никифорова и др. Такой подход не мог дать достаточно полного охвата теории специальных функций и вывода многих интегральных соотношений, имеющих прикладное значение.
В работах Э. Картана впервые показана связь специальных функций математической физики с представлением групп. Тогда получает развитие новый подход изучения таких функций — теоретико-групповой.
Дальнейшее развитие данный метод получил в работах М. А. Наймарка, И. М. Гельфанда и их последователей в области представлений групп: Ф. А. Березина, Р. Годмана, Хари-Чандра, И. Шура, и др. В ходе этих исследований была установлена связь теории представлений групп с автоморфными функциями, построена теория специальных функций над конечными полями, специальных функций в однородных областях, построены представления многих групп и т. д. В работах Ф. Петера и Г. Вейля доказана полнота системы неприводимых представлений компактной группы Ли. В работах А. А. Кирилова построены унитарные представления нильпотентных групп Ли. Близким вопросам посвящены исследования в области теории представлений групп и их приложений, Д. П. Желобенко, В. Рудина, Г. Макки, М. И. Граева, И. С. Шапиро, В. К. Рогова, Р. С. Исмагйлова, С. Г. Гиндикина и др.
Особенный интерес, в области приложения представлений некоторых групп к теории специальных функций, представляют исследования Н.Я. Ви-ленкина, А. У. Климыка и их учеников.
Появление, а особенно развитие теории специальных функций связано с использованием математических методов в других науках, то есть с прикладным аспектом.
С развитием теории представлений групп появилась возможность изучения специальных функций с единой точки зрения, получение новых интересных соотношений, а также переключение интереса на другие, мало изученные специальные функции. Так например, первоначально интерес был связан с исследованием класса эллиптических и связанных с ними функциями. А с появлением работ Ф. Клейна внимание стало переключаться к другому классу специальных функций — гипергеометрическим, введённых Гауссом (классическая теории этой функции, отражена в книге А. Кратцера и В. Франца «Высшие трансцендентные функции ») и их различным частным и вырожденным случаям — функциям Лежандра (классическая теории этих функций, отражена в книгах Гобсона «Теория сферических и эллипсоидальных функций.», Е. Г. Уиттекера и Г. И. Ватсона «Курс современного анализа.» и др.) — Бесселя (данные функции подробно изучены Бесселем в 1824 г, классическая теория изложена в книгах Г. Ватсона «Теория бесселевых функций.» и их приложения в математической физике в книгах И. Н. Лебедева «Специальные функции и их приложения.», Я. С. Уфлянда «Интегральные преобразования в задачах теории упругости.») — ортогональным многочленам Якоби и Чебышева (классическая теория в книгах Д. Джексона «Ряды Фурье и ортогональные полиномы», Г. Сеге «Ортогональные многочлены.» и др.) — функциям Уиттекера и многочленам Лагерра (классическая теория в книгах А. Кратцера и В. Франца «Трансцендентные функции «, Уиттекера и Г. И. Ватсона «Курс современного анализа.» и др.) и т. д. Известная ещё со времён Эйлера обобщённая гипергеометрическая функция J7 в связи с развитием теории представлений групп р «приобрела большее значение. Введённая Мейером G — функция имеет особое значение, поскольку многочисленные специальные функции, возникающие в математике, либо являются её частными случаями, либо тесно связаны с ней. (Т.о. всякая формула, связанная с G — функцией, становится основной либо ключевой формулой, из которой можно получить целый ряд результатов для функций Бесселя, Лежандра, гипергеометрических и т. д., различных комбинаций этих функций и других функций, с ними связанных.).
Изучение специальных функций на основе теории представлений групп связано с трудами М. И. Граева, Н. Я. Виленкина, А. И. Нижникова, М. А. Шлейниковой, В. А. Петрова, JI.M. Клёсовой, С. В. Кольцовой, и др.
Теория представлений групп позволяет учитывать инвариантность операторов математической физики относительно некоторых групп преобразований. При этом, преобразования из данной группы переводят собственные функции оператора в собственные функции, отвечающие тому же собственному значению. Тогда элементам группы G ставится в соответствие литейное преобразование T (g) в пространстве собственных функций, удовлетворяющее свойству.
T (gi]r (g2) = T (gxg2) — (1).
Такие операторные функции и называются представлениями групп. Поэтому, существует связь собственных функций инвариантных операторов с представлениями групп, относительно которых инвариантен этот оператор.
Теоретико-групповой подход приводит к естественной трактовке интегральных представлений специальных функций. Если выбрать некоторый ор-тонормированный базис { ек } в пространстве представления, то операторы представления T (g) можно задавать в матричной форме.
Матричные элементы t и (g) = (T (g) ej, ej) (2) представления T (g) можно рассматривать, как числовые функции на группе. Многие из таких функций совпадают с классическими специальными функциями математической физики, но для многих групп оказалось, что не все матричные элементы представлений выражаются через известные специальные функции.
Так, например, при изучении псевдоортогональной группы или группы Лоренца лишь некоторые матричные элементы представления связаны с известными специальными функциями, а для остальных понадобились функции, ранее не встречавшиеся в математическом анализе. Появляющиеся таким образом новые специальные функции обладают столь же разнообразными свойствами, что и классические специальные функции (об этом можно подробнее узнать в статьях Н. Я. Виленкина «Специальные функции, связанные с представлениями класса 1 групп движений пространства постоянной кривизны» тр. Моск.мат. об-ва 1963.Т.12, А. И. Нижникова «Преобразование между базисами, связанными с представлением многомерной псевдоортогональной группы. «сб.н.тр.МГОПУ 1995 в.9. и др.
Так выявилась связь между специальными функциями и матричными элементами представлений групп. Причём, в зависимости от выбора подгрупп группы G, с ней можно связать различные специальные функции. Установление такой связи показало общий путь исследования свойств специальных функций. Например, пространство представления можно реализовать в виде некоторого функционального пространства (пространства собственных функций инвариантного оператора), а аналог скалярного произведения в этом пространстве — в виде интеграла. Поэтому правая часть формулы (2) выражается в виде интеграла, а левая сводится к специальным функциям. Это даёт интегральное представление для специальных функций.
В некоторых случаях, операторы представления T (g) принимают вид интегральных операторов, ядра которых выражаются через специальные функции. Это приводит к интегральным соотношениям для специальных функций, в частности к континуальным аналогам теорем сложения (работы в этой области связаны с именами И. М. Гельфанда, М. И. Граева, Н. Я. Виленкина, и др.).
Теоретико-групповой подход к специальным функциям тесно связан с гармоническим анализом функций. Гармонический анализ на группах связан с разложением функций на группах и однородных пространствах по матричным элементам представлений. Поскольку они выражаются через специальные функции, то получаются разложения в ряды и интегралы по специальным функциям. Это приводит к теоретико-групповой трактовке некоторых интегральных преобразований, встречающихся в математической физике (преобразования Ганкеля, Мелера-Фока, Лебедева), а также разложений в ряды по специальным функциям. Работы в этой области связаны с трудами И. М. Гельфанда, М. И. Граева, Н. Я. Виленкина, А.А. ЬСирилова, В. Ф. Молчанова.
Ещё один подход к выводу интегральных соотношений для специальных функций реализован в работах Н. Я. Виленкина, М. А. Шлейниковой, А. Орихари, Р Сэлли, А. И. Нижникова и др. Если рассмотреть в пространстве представления различные базисы, состоящие из собственных функций для операторов Ц/г), соответствующих некоторым подгруппам Н группы G (максимальной компактной, нильпотентной, абелевой и т. д.). При этом, некоторые из базисов дискретные, а другие континуальные. Рассмотрев соотношение вида: где 7(g) — матрица оператора представления в одном базисе, Q (g) — в другом базисе и, А — матрица перехода от одного базиса к другому. Элементы матриц перехода, а также матричные элементы матриц T (g), Q (g) выражаются через различные специальные функции. Тогда и получаются интегральные соотношения для специальных функций.
В таком направлении и проводится данное исследование. При этом рассматриваются неприводимые представления псевдоортогональной группы SO (p, q) (для частных случаев 50(2.1), 50(2.2) и SO (p.p+1)). Подробно, представления данной группы построены и исследованы в работах И. М. Гельфанда, М. И. Граева, М. А. Наймарка, Н. Я. Виленкина, и др.
Например, рассматривая базисные функции.
MMVy*^ на контУРах конуса и получив связь между ними, можно получить соотношения для специальных функций: многочленов Гегенбау-эра сШ, гипергеометрических функцийF (a, bс-z), обобщённых гипергео.
3) метрических рядов р л G — функция Мейера о&trade-'}} ах,., ар bu., bq — bx,., bqj функций Уиттекера Лежандра и Макдональда Kv{z). При этом, используется представление gh->T (g): Ta (g)f (Q = f (g-1^). Например, соотношение для функций Уиттекера: е’кЬ1*{сЬх)фкг]Га-к+1) x (hT{) сн-2 cx^izh^y^ik-aW, (2Х)+ex|-/zXv1)r-k-v)W [(2а,).
А'.гм— 2.
— k. Wr 2 ik или, связьшающее функции Уиттекера с гипергеометрическими:
Чао Нас rV-фГJtfW ,(^ф+Г^С^-Г1^!) п тУг k/Уг «-waи 2 2 и 2 2.
ГКо+1) г^д^^^^/ № Г&-КЛ-1) V ' V 9 4c.
4cf r^-KJ+1) k< k>m.
Acf v.
Данные соотношения связаны с группой 50(2,1).
Если же рассматривать группу SO (2,2), то можно получить соотношения: гт+а 5i и V 2 2 2 о2−1.
I 4 2.
— К.
X'.
4 г u2-l.
-(1-r)2 U = itf Г (-1-а+Г).
2 2 где X' > 0, X" > к', или.
X', <т+2 а> g '' {рГк ГСт2−0 г2/- (1-г)2Г2.
Vv2^ о.
0,2 u2-l.
2 2 dr = ft a: V.
M2 k'+k" ;
4 ' 4 л 1 1 — -2&-3 -2ct-1.
4 4'4' 4 ' 4.
Д2.
4 ' 4 J 1 -2cr-3 -2cr-l 4'4s 4 ' 4 где Г<0, M<|r|, Д6″ ««2 х"2.+э s/ia)2+e Г (2 + o) r (-2 — a).
ЕО Им) fe^-1 а также другие соотношения.
Актуальность темы
Несмотря на обширность литературы по исследованию специальных функций, использование метода теории представлений групп даёт огромные возможности получения интегральных соотношений для различных специальных функций и их комбинаций не встречавшихся ранее.
Цель работы состоит в исследовании некоторых классов специальных функций математической физики методами теории представлений группы SO (p, q).
При реализации этой цели были решены следующие задачи:
— описаны трёхмерная группа Лоренца SO (2,l), псевдоортогональные группы 50(2,2) и SO (p, p +1), их подгруппы и разложения;
— построены многообразия на конусе = 0, инвариантные относительно подгрупп в группах.
50(2,l), 50(2,2) и SO (jp, р +1) — системы координат на многообразиях и инвариантные относительно этих подгрупп меры на многообразиях;
— построены представления T{g) групп 50(2,l), 50(2,2) и SO (p, р +1);
— построены канонические базисы на многообразиях, связанные с редукциями групп.
50(2,1), 50(2,2) и SO (p, p + l) на подгруппы и состоящие из собственных функций операторов T{h), соответствующих некоторым подгруппам Н;
— матричные элементы операторов перехода между базисами, соответствующими редукции группы 50(2,l) на подгруппы, выражены через функции Уиттекера и гамма-функции;
— матричные элементы операторов перехода между базисами, соответствующими редукции группы 50(2,2) на некоторые подгруппы, выражены через функции Уиттекера, обобщённые гипергеометрические ФУНК" ции и бета-функции;
— матричные элементы операторов перехода между базисами, соответствующими редукции группы SO{p, p + l) на подгруппы, выражены через обобщённые гипергеометрические <*F функции и гамма-функцииз 2.
— получены интегральные соотношения для функций Макдональда, У штекера, обобщённых гипергеометрических, G — функций Мейера;
— получены интегральные соотношения для специальных функций, связанные с переходом между параболоидом, сферой и гиперболоидом. Объектом исследования являются специальные функции математической физики и квазирегулярные представления группы SO (p, p +1).
Предметом исследования являются интегральные соотношения для некоторых классов специальных функций (функций Уиттекера, Макдональда, Jle-жандра, гипергеометрических, G-функций Мейера, многочленов Гегенбауэра и обобщённых гипергеометрических рядов), полученные с помощью представлений групп SO (2,l), SO (2,2) и SO (p, p + l).
Методологическую основу исследования составляют методы теории представлений групп, математической физики и математического анализа. Общая теория представлений псевдоортогональной группы SO (p, q) была разработана в [58]. Применение метода теории представлений групп к исследованию специальных функций разработано Виленкиным Н. Я., Климыком А. У., Шлейниковой М. А., Нижниковым А. И. в работах [9], [12], [60], [61], (с использованием представлений группы Лоренца). Их труды и являются модельными для данного исследования.
Научная новизна. Все приведённые в работе тождества и интегральные соотношения доя специальных функций математической физики были получены автором и являются новыми.
Практическая значимость работы. Полученные в работе интегральные соотношения, связывают различные классы специальных функций. Приложения формул для специальных функций хорошо известны (например, к задачам математической физики, астрономии, генетики, в разделах физики таких, как ядерная спектроскопия, теории упругости и теплопроводности, квантовая механика и других областях). Аналогичные приложения могут, по-видимому, иметь полученные в работе соотношения, а также могут быть использованы для получения других соотношений для специальных функций с помощью представлений групп.
Апробация работы. Результаты исследований докладывались на первой всероссийской научно-технической конференции «Современные проблемы математики и естествознания» (Нижний Новгород, 2002г), на VI Конгрессе по математике (Нижний Новгород, 2004г), на научно-исследовательских конференциях в МГОПУ им. М. А. Шолохова (2000;04 гг.), обсуждались на семинарах по современным вопросам математики в МПГУ, на кафедре высшей математики МГОПУ им. М. А. Шолохова (2003;04гг.), а также на семинаре по мат. физике в Институте прикладной математики им. Келдыша (заседание № 191,2004 г.).
Публикации. По результатам исследований было опубликовано 12 работ, список которых приведён в конце автореферата — работы [50]-[61] из списка литературы.
Структура и объём работы. Работа состоит из введения, трёх глав, заключения и списка литературы. Глава 1 состоит из четырёх параграфов, глава 2 из двух параграфов, а глава 3 из пяти параграфов, каждый из которых разбит на пункты. Полный объём работы состоит из 164 страниц. В списке литературы содержится 88 работ (монографий и научных статей).
Заключение
.
Таким образом, данная работа посвящена изучению свойств специальных функций математической физики теоретико-групповыми методами.
В ходе диссертационного исследования были получены следующие результаты: построены многообразия на конусе = 0, инвариантные относительно подгрупп в группах SO (2,l), 50(2,2) и SO (p, p +1), системы координат на многообразиях и инвариантные относительно этих подгрупп меры на многообразияхпостроены представления T (g) групп 50(2,1), 50(2,2) и SO (p, p +1) — построены канонические базисы на многообразиях, связанные с редукциями групп 50(2,l), 50(2,2) и SO (p, p +1) на подгруппы и состоящие из собственных функций операторов T (h), соответствующих некоторым подгруппам Н — матричные элементы операторов перехода между базисами, соответствующими редукции группы 50(2,l) на подгруппы, вьфажены через функции Уиттекера и гамма-функции, между базисами, соответствующими редукции группы SO (2,2) на подгруппы, вьфажены через функции Уиттекера, обобщённые гипергеометрические 2^1и бета-функции, а между базисами, соответствующими редукции группы SO (p, p +1) на подгруппы, вьфажены через обобщённые гипергеометрические функции и гамма-функцииполучены.
•Э 2 интегральные соотношения для функций Макдональда, Уиттекера, обобщённых гипергеометрических функций, G — функций Мейераполучены интегральные соотношения для специальных функций, связанные с переходом между параболоидом, сферой и гиперболоидом.
