ЧЕБЫШЕВСКИЙ СБОРНИК
Том 19. Выпуск 2
УДК 517.513 DOI 10.22405/2226-8383-2018-19-2-334-340
Континуальные теоремы сложения для функций Мейера и
Макдональда
Нижников Александр Иванович — доктор педагогических наук, профессор, заведующий кафедрой математической физики Московского педагогического государственного университета, заслуженный работник высшей школы Российской Федерации. e-mail: ainizhnikov@mail.ru, nizhnikov.ai@mail.ru
Муханов Сергей Александрович — кандидат педагогических наук, доцент кафедры «Математика», Московский политехнический университет. e-mail: s_a_mukhanov@mail.ru
Аннотация
Специальные функции математической физики составляют основу математического аппарата в разнообразных областях анализа, прикладной математики, математической физики и квантовой механики. Хотя анализу свойств специальных функций уделяется традиционно большое внимание, тем не менее, огромное количество формул, часто эквивалентных или близких по структуре, а также большое разнообразие приемов, используемых для их вывода, указывают на отсутствие единых начал в этой важной области анализа, что создает определенные трудности как для систематизации известных свойств специальных функций, так и для вывода новых соотношений. В связи с этим, использование теоретико-группового подхода к изучению базисных функций неприводимых представлений полупростых групп дает технически эффективный и удобный для приложений метод вывода новых свойств, интегральных соотношений и континуальных теорем сложения для специальных функций. В этой работе рассмотрены лишь вырожденные унитарные представления группы 0(3,1), построены функции на конусе, реализующие эти представления, вычислены коэффициенты перехода между различными базисными функциями, отвечающими редукции группы Лоренца на различные подгруппы. В работе также показано, что формулы, содержащие функции Мейера и Макдональда можно получить используя представления группы Лоренца.
Ключевые слова: Континуальные теоремы сложения, функции Мейера и Макдональда, теоретико-групповые методы.
Библиография: 16 названий. Для цитирования:
А. И. Нижников, С. А. Муханов. Континуальные теоремы сложения для функций Мейера И Макдональда // Чебышевский сборник, 2018, т. 19, вып. 2, с. 334-340.
CHEBYSHEVSKII SBORNIK Vol. 19. No. 2
UDC 517.513 DOI 10.22405/2226-8383-2018-19-2-334-340
Continual addition theorems for Meyer and Mcdonald functions
Nijnikov Alexander Ivanovich — doctor of pedagogical sciences, professor, head of chair of the mathematical physics of the Moscow Pedagogical State University, honored worker of the higher school of the Russian Federation. e-mail: ainizhnikov@mail.ru, nizhnikov.ai@mail.ru
Mukhanov Sergey Alexandrovich — candidate of pedagogical sciences, associate professor, Department of Mathematics, Moscow Polytechnic University. e-mail: s_a_mukhanov@mail.ru
Abstract
Special functions of mathematical physics form the basis of the mathematical apparatus in various fields of analysis, applied mathematics, mathematical physics, and quantum mechanics. Special attention is paid to the analysis of the properties of special functions. However, a huge number of formulas, often equivalent or similar in structure, as well as a wide variety of techniques used for their derivation, indicate the absence of unified principles in this important area of analysis. This causes certain difficulties for the systematization of known properties of special functions and for the derivation of new relations. A group-theoretic method to the study of basis functions of irreducible representations of semisimple groups yields a technically-efficient and application-friendly method for deriving new properties, integral relations, and continual addition theorems for special functions. In this paper we consider only degenerate unitary representations of the 0(3,1) group, construct functions on the cone that realizing these representations, calculate the transition coefficients between different basis functions corresponding to the reduction of the Lorentz group to different subgroups. It is also shown that formulas containing Meyer and MacDonald functions can be obtained using representations of the Lorentz group.
Keywords: Continual addition theorems, Meyer and McDonald functions, group theoretical methods.
Bibliography: 16 titles. For citation:
A. I. Nizhnikov, S. A. Mukhanov, 2018, "Continual addition theorems for Meyer and Mcdonald functions" , Chebyshevskii sbornik, vol. 19, no. 2, pp. 334-340.
1. Введение
Пусть G — SO(3,1) - группа Лоренца, сохраняющая квадратичную форму [2, 8, 9, 10, 11]
г 2,2,2,2
[X, Х\ — Xq + Х- + Х2 + Х3.
Тогда имеем известные разложения группы G:
• G = КАК - разложение Картана,
• G = KAN - разложение Ивасавы,
• G = MANV - разложение Гельфанда-Наймарка-Брюа,
где К - максимальная компактная подгруппа, А - максимальная абелева подгруппа, M - централизатор А в К, N - нильпотентная подгруппа, V - подгруппа, контраградиентная N. [3]
Рассмотрим Ha - пространство бесконечно дифференцируемых функций на конусе [х,х\ — 0, однородных степени ст, где а - комплексное число.
Квазирегулярное представление g ^ Та (д) группы Лоренца в пространстве Ha определяется сдвигом
Та (g) f (х) = f (д-1х) .
Это представление неприводимо, если а не является целым числом. Мы полагаем, что —2 < Re а < 0 . Данное условие обеспечивает абсолютную сходимость рассматриваемых интегралов. [13]
Всякая однородная функция на конусе вполне определяется своими значениями на любом многообразии, пересекающем каждую образующую конуса по одному разу. Поэтому пространство Ha можно реализовать как пространство бесконечно дифференцируемых функций на многообразии.
Пусть Г - любое многообразие на конусе, пересекающее каждую образующую только в одной точке. Обозначим через d^ меру на этом многообразии, такую что dx — d (tj) — tdtdj, dx — dxidx2dx3 _ инвариантная мера на конусе. Билинейная форма
1
(/l,/2) — ¿/ fl (X) /2 h
Г
определенная на паре пространств На, Н-а-2 инвариантна относительно действия группы
Лоренца и не зависит от выбора многообразия на конусе. [4, 6, 7, 16]
Укажем некоторые многообразия и базисы, нужные нам в дальнейшем. [5] Рассмотрим
Г1 - сечение конуса плоскостью хо = 1, это сечение является сферой. В качестве параметров
точки ж выберем координаты Х1, Х2- Координаты жо и Ж3 выражаются через них по формулам 2 '
Жо — 1, Жз — д/1 — ж2 — х.
2
Обозначим через < alk/x > базис в пространстве Ha соответствующий сечению Г-
< alk/x >— ха0-кCl+kk (—) (Х2 + ixif ,
\%0/
где I = 0,1,2,..., к = —I, —I + 1,..., I — 1,1, С.) (ж) - многочлен Гегенбауэра.
Аналогично, Г2 - сечение конуса плос костью Жо + Ж3 = 1, это сечение является параболоидом вращения
/ 1 + Ж2 + Ж2 1 — X2 — х2
х — I-2-,ж1,ж2,-2-
,
г( А1Ж1 + Л2Ж2) <аА/х>=(х0 + х3) ехр-,
Хо +Х3
где Ль А2 - любые вещественные числа, такие что А = (Л1,Л2) - базис в пространстве Не
соответствующий сечению Г2.
И Г3 - сечение конуса плоскостью Х3 = 1, это сечение является гиперболоидом
x±
+xj + Х% ,Х\,Х2, ±1^ ,
< okv/x >= x°-kp-\ ( — ) (х2 + ixi)k , - \Х3/
где к = 0, ±1,..., v > 0 Pj (х) функция Лежандра - базис в пространстве Ha соответствующий Г3. [1, 12, 15]
2. Теоремы сложения для функций Мейера и Макдональда
Теорема 1. При -2 < Rea < 0
ж 2 (1 + 21) Г (a + 1 - I)
(-1)-1 2g+2Г (a + 1) sin (a + f) ж cha - 1 /cha - 1\12 / cha - 1 a+1 3
1 • sha Vcha + V 12 \
^ / П V (-1)" Г21 (Р2-П \dfí
T-) JO (n + 1) Г (n -a)T -CT-1,J d9,
где v = exp a, X = (p cos в,р sin 0).
Доказательство. Матричные элементы перехода от базиса < alk/x > на сфере к базису < a\/x > на парабалоиде имеют вид
„.,. ik exp ( г к в) Í 2\fc Г (к + 1)
<alk/a'x>=—2НЧ~р) Йрк+Г!)х
(-1)" (1 + к + n) 2fc-(J-1 / \
¿0 (I - к + п)!Г (к + n + 1) Г (к-a + n)n! 13 ^ 4 —^J ,
где a' = -a - 2, X = (рcos в,р sin#). Отсюда следует, что
те i
< a'X/к >= < a1 к'/a'X > • <Лк'/x > .
1=0 k=-l
Применяя к данным базисным функциям на конусе преобразование Пуассона мы получаем искомую теорему сложения для функций Мейера и Макдональда. [12] □
Теорема 2. Имеет место соотношение
Г- ж2 ch*a ^ Г (a + n) 2—2Г (г(th'a
Г (a) ¿ Г (n + 1) Г (n -a)
.,-1
Г (-а)
[na-1K ( Р \ Ж Г (1 - IV + П) Г( 1 + IV + п) Г(а - П + 1) JP К°+1{ v)^ 2°"+гаГ (п + 1)
J п=0 v '
exp (^ Ь20 ( Р2
(-1)2 2fc ги Р2 Г(п - a) GlM 4
0,—о—1
\ , exp (Г2о(г
J + rFTI)
—и—1,0 ,
dp
Доказательство. Рассмотрим матричные элементы перехода от базиса < аки/х > на гиперболоиде к базису < аХ/х > на параболоиде. Имеем
< akv+/a'X >=
ik exp (ik&)
2а—к+2г (1 - г (2 + iv)
ж
£
п=0
Г (2 - iv - п) Г (2 + iv + п) Г (а - к + 1 - п)
Г(1 - к + п) п\
М f5—П )
V4 k, t—0—1)
< akv—/a'X >=
ik exp (ik&)
2o—k+2г (2 - Г (2 + iv)
ж
£
п=0
Г (1 - iv + n) Г (1 + iv + n) Г (a - к + 1) 20 / p
Г(1 - к + n) n\ exp''
• G13 ^
1, k
Из этого следует, что
ж
< akv/x >= J < akv/a'X > • < aX/x > dp,
где к' = —к.
Аналогично доказательству предыдущей теоремы, применим к указанным базисным функциям на конусе преобразование Пуассона и, в результате, получим необходимое интегральное соотношение. [15, 14] □
Другие интегральные соотношения можно получить вычисляя ядра представления Та (д) в различных базисах. Из сравнения полученных выражений ядер и вытекают новые соотношения для специальных функций.
X
X
X
X
к
к
2
3. Заключение
Ясно, что мы рассмотрели далеко не все возможные теоремы сложения для специальных функций с помощью различных реализаций представлений групп в пространстве однородных функций. В частности представляет интерес реализация базисных функций неприводимых представлений группы 5*0(1, 4) на конусе 5-мерного пространства Минковского для редукции на различные подгруппы. Важно также иметь формулы преобразований от одной реализации представлений к другой. В дальнейшем мы предполагаем рассмотреть такие вопросы.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Erdelvi A.Ed. Tables of Integral Transforms. - New York : McGraw-Hill, 1954. - Vol. 1.
2. Kerimov G. A., Verdiev Yi. A. Clebsch-Gordan coefficients of the groups SO(p,l) // Reports on Mathematical Physics. - 1984 r. - No. 2: T. 20. - c. 247-254.
3. Knapp A. W.,Stein Е. М. Interwining Operators for Semisimple Groups // The Annals of Mathematics, Second Series. - 1971 r. - Vol. 93, No. 3. - c. 489-578.
4. Koornwinder Т. H. The addition formula for Jacobi polynomials and spherical harmonics // SI AM J. Appl. Math. - 1973 г. - T. 25. - c. 236-246.
5. Macfadven N. W. The reduction O(3,1) D O(2,1) D O(1,1) // Journal of mathematical physics. - 1971 г.. - 3 March. - c. 492-498.
6. Shilin I. A., Nizhnikov A. I. Some formulas for Legendre functions induced by the Poisson transform. // Acta Polvtechnica, 2011. Vol. 51 c. 70-73.
7. Shilin I. A., Nizhnikov A. I. Some formulas for Legendre functions related to the Poisson transform and Lorentz group representation. // Journal of Physics: Conference Series, 2012. Vol. 346. c. 1-6.
8. Барут А., Рончка P. Теория представлений групп и ее приложения. - М.: Мир, 1980.
9. Виленкин Н. Я. Специальные функции и теория представлений групп, М.: Наука, 1991.
10. Виленкин Н. Я., Нижников А. И. Интегральные соотношения для G-функций Мейера и представления n-мерной группы Лоренца // Известия ВУЗов, Математика. - 1979 г. № 5. - с. 13-19.
11. Гельфанд И. \!.. Граев М. И., Виленкин И. Я. Интегральная геометрия и связанные с ней вопросы теории представлений. - М.: Физматлит, 1962
12. Градштейн И. С., Рыжик И. М. Таблицы интегралов, рядов и произведений. - С.Пб.: БХВ-Петербург, 2011. - 7-е изд.
13. Нижников А. И. Полупростые группы ранга I и связанные с ними специальные функции. //В сборнике: Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения. Материалы XIII Международной конференции, посвященной 85-летию со дня рождения профессора Сергея Сергеевича Рышкова. - Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2015. с. 94-97.
14. Нижников А. И, Шилин И. А. Кратные интегральные преобразования и линейные комбинации функций Уиттекера, Макдональда и Бесселя // Преподаватель XXI век. - 2012, No. 1, Т. 2. - с. 227-232.
15. Прудников А. П., Брычков Ю. А., Маричев О. И. Интегралы и ряды. В 3-х томах. Том 3. Специальные функции. Дополнительные главы. - М.: Физматлит, 2003. - 2-е изд.
16. Хелгассон С. Группы и геометрический анализ. - Москва : Мир, 1987. REFERENCES
1. Erdelvi, А. Е., 1954. Tables of Integral Transforms. Vol. 1. New York: McGraw-Hill.
2. Kerimov, G. A., Verdiev, Y. A., 1984. "Clebsch-Gordan coefficients of the groups SO(p,l)". Reports on Mathematical Physics, Vol. 20(2), pp. 247-254.
3. Knapp, A. W., Stein, E. M., 1971. "Interwining Operators for Semisimple Groups". The Annals of Mathematics, Second Series, Vol. 93, No. 3, pp. 489-578.
4. Koornwinder, Т. Н., 1973. "The addition formula for Jacobi polynomials and spherical harmonics". SI AM J. Appl. Math., Vol. 25, pp. 236-246.
5. Macfadven, N. W., 1971. "The reduction O(3,1) D O(2,1) D O(1,1)". Journal of mathematical physics, Issue 3 March, pp. 492-498.
6. Shilin, I. A., Nizhnikov, A. I., 2011. "Some formulas for Legendre functions induced by the Poisson transform". Acta Polytechnica, Vol. 51, pp. 70-73.
7. Shilin, I. A., Nizhnikov, A. I., 2012. "Some formulas for Legendre functions related to the Poisson transform and Lorentz group representation". Journal of Physics: Conference Series, Vol. 346, pp. 1-6.
8. Barut, A. O., Raczka R., 1980. Theory of group representations and applications. Moscow: Mir.
9. Vilenkin, N. Ya., 1991. Special'ny'e funkcii i teoriya predstavlenij grupp [Special Functions and the Theory of Group Representations], Moscow, Nauka.
10. Vilenkin, N. Ya., Nizhnikov A. I., 1979. "Integral relations for the Meyer G-functions and the representation of the n-dimensional Lorentz group". Izvestiya VUZov, Mathematics. Vol. 5, 13-19.
11. Gel'fand, I. M., Graev, M. I., Vilenkin N. Ya. , 1962. Integral Geometry and Representation Theory. Moscow: Fizmatlit.
12. Gradstein, I. S., Rvshik, I. .I.. 2011. Tables of series, products and integrals. 7-e . S.Pb.: BHV-Peterburg.
13. Nizhnikov, A. I., 2015. "Semisimple groups of rank I and related special functions". Algebra, teoriya chisel i diskretnaya geometriya: sovremenny'e problemy' i prilozheniya. Materialy' XIII mezhdunarodnoj konferencii, posvyashhennoj 85-letiyu so dnya rozhdeniya professora Sergeya Sergeevicha Ry'shkova. /Algebra, number theory and discrete geometry: modern problems and applications. Materials of the XIII International Conference, dedicated to the 85th anniversary of the birth of Professor Sergey Sergeevich Ryshkov.f.
14. Nizhnikov, A. I., Shilin, I. A., 2012. "Multiple integral transforms and linear combinations of Whittaker, McDonald, and Bessel functions". Prepodavatel' XXI vek, Vol.2(l), pp. 227-232.
15. Prudnikov, A. P., Brvchkov, Yu. A., Marichev, О. I., 2003. Integrals and Series, Vol. 3: More Special Functions. Moscow: Fizmatlit.
16. Helgason, S., 1987. Groups and geometric analysis. Moscow, Mir.
Получено 18.05.2018
Принято в печать 17.08.2018