О коградиентности и контрградиентности линейных дифференциальных уравнений и систем

  • Василий [Vasiliy] Александрович [A.] Горелов [Gorelov]
Ключевые слова: метод Зигеля, алгебраическая независимость, Е-функции

Аннотация

В теории трансцендентных чисел одним из основных методов остаётся метод Зигеля–Шидловского, с помощью которого можно доказывать трансцендентность и алгебраическую независимость значений целых функций некоторого класса (так называемых Е-функций).  Для применения данного метода необходимо, чтобы рассматриваемые функции составляли решение системы линейных дифференциальных уравнений и были алгебраически независимы над .

Вопрос об алгебраической независимости решений линейных дифференциальных уравнений и систем подобных уравнений имеет большое значение в дифференциальной алгебре, аналитической теории дифференциальных уравнений, теории специальных функций и математическом анализе в широком смысле. В работах Е. Колчина, Ф. Бейкерса, В. Браунвела и Г. Хекмана показано, что этот вопрос во многом сводится к проверке условия коградиентности и контрградиентности.

Две системы линейных однородных дифференциальных уравнений 1-го порядка с коэффициентами из  называют коградиентными (соответственно, контрградиентными), если для произвольных фундаментальных матриц  и Ψ этих систем выполняется одно из равенств  Φ=gBΨC; Φ (ΨC)^*=gB,

где C∈GL(C), B∈GL(C(z)), g=g(z)     — функция с условием ; g^'/g∈C(z); A^* — матрица, транспонированная с матрицей . Аналогично понятия коградиентности и контрградиентности определяются для линейных однородных дифференциальных уравнений произвольного порядка.

В некоторых работах автора, посвящённых обобщённым гипергеометрическим функциям, фактически использованы другие, более узкие определения коградиентности и контрградиентности. Согласно им, в равенствах (1) функция  является произведением степенной и показательной функций некоторого вида.

Найдены условия эквивалентности данных определений.

Сведения об авторе

Василий [Vasiliy] Александрович [A.] Горелов [Gorelov]

доктор физико-математических наук, доцент кафедры математического и компьютерного моделирования НИУ «МЭИ», e-mail: gorelov.va@mail.ru

Литература

1. Beukers F., Brownawell W.D., Heckman G. Siegel Normality // Annals Math. 1988. V. 127. Pp. 279—308.
2. Kolchin E.R. Algebraic Groups and Algebraic Dependence // Amer. J. Math. 1968. V. 90. No. 4. Pp. 1151—1164.
3. Beukers F. Some New Results on Algebraic Independence of E-functions // New Advances in Transcendence Theory. Cambridge: Cambridge Univ. Press., 1988. Pp. 56—67.
4. Katz N.M. Exponential Sums and Differential Equations. Princeton: Princeton Univ. Press, 1990.
5. Siegel C.L. Uber Einige Anwendungen Diophantischer Approximationen // Abh. Preuss. Acad. Wiss. Phys.-math. Kl. 1929—1930. No. 1. Pp. 1—70.
6. Шидловский А.Б. Трансцендентные числа. М.: Наука, 1987.
7. Van der Put M., Singer M.. Galois Theory of Linear Differential Equations. N.-Y.: Springer, 2003.
8. Люк Ю. Специальные математические функции и их аппроксимации. М: Мир, 1980.
9. Аски Р., Рой Р., Эндрюс Дж. Специальные функции. М.: МЦНМО, 2013.
10. Горелов В.А. Об алгебраической независимости значений обобщённых гипергеометрических функций // Матем. заметки. 2013. Т. 94. Вып. 1. С. 94—108.
11. Gorelov V.А. On Contiguity Relations for Generalized Hypergeometric Functions // Problemy Analiza — Issues of Analysis. 2018. V. 7(25). No. 2. Pp. 39—46.
12. Нестеренко Ю.В. Приближения Эрмита – Паде обобщённых гипергеометрических функций // Матем. сборник. 1994. Т. 185. № 10. С. 39—72.
13. Горелов В.А. Об алгебраических тождествах между фундаментальными матрицами обобщённых гипергеометрических уравнений // Чебышевский сборник. 2020. Т. 21. Вып. 1. С. 135—144.
14. Горелов В.А. Оценки многочленов от значений Е-функций // Вестник МЭИ. 2020. № 4. С. 136—143
---
Для цитирования: Горелов В.А. О коградиентности и контрградиентности линейных дифференциальных уравнений и систем // Вестник МЭИ. 2021. № 6. С. 148—151. DOI: 10.24160/1993-6982-2021-6-148-151
---
Работа выполнена при поддержке: Министерства науки и высшего образования РФ (проект № FSWF-2020-0022)
The work is executed at support: Ministry of Science and Higher Education of the Russian Federation (Project No. FSWF-2020-0022)
#
1. Beukers F., Brownawell W.D., Heckman G. Siegel Normality. Annals Math. 1988;127:279—308.
2. Kolchin E.R. Algebraic Groups and Algebraic Dependence. Amer. J. Math. 1968;90;4:1151—1164.
3. Beukers F. Some New Results on Algebraic Independence of E-functions. New Advances in Transcendence Theory. Cambridge: Cambridge Univ. Press., 1988:56—67.
4. Katz N.M. Exponential Sums and Differential Equations. Princeton: Princeton Univ. Press, 1990.
5. Siegel C.L. Uber Einige Anwendungen Diophantischer Approximationen. Abh. Preuss. Acad. Wiss. Phys.-math. Kl. 1929—1930;1:1—70.
6. Shidlovskiy A.B. Transtsendentnye Chisla. M.: Nauka, 1987. (in Russian).
7. Van der Put M., Singer M.. Galois Theory of Linear Differential Equations. N.-Y.: Springer, 2003.
8. Luke Yu. Spetsial'nye Matematicheskie Funktsii i Ikh Approksimatsii. M: Mir, 1980. (in Russian).
9. Askey R., Roy R., Andrews G. Spetsial'nye Funktsii. M.: MTSNMO, 2013. (in Russian).
10. Gorelov V.A. Ob Algebraicheskoy Nezavisimosti Znacheniy Obobshchennykh Gipergeometricheskikh Funktsiy. Matem. Zametki. 2013;94;1:94—108. (in Russian).
11. Gorelov V.A. On Contiguity Relations for Generalized Hypergeometric Functions. Problemy Analiza — Issues of Analysis. 2018;7(25);2:39—46.
12. Nesterenko Yu.V. Priblizheniya Ermita – Pade Obobshchennykh Gipergeometricheskikh Funktsiy. Matem. sbornik. 1994;185;10:39—72. (in Russian).
13. Gorelov V.A. Ob Algebraicheskikh Tozhdestvakh Mezhdu Fundamental'nymi Matritsami Obobshchennykh Gipergeometricheskikh Uravneniy. Chebyshevskiy Sbornik. 2020;21;1:135—144. (in Russian).
14. Gorelov V.A. Otsenki Mnogochlenov ot Znacheniy E-funktsiy. Vestnik MEI. 2020;4:136—143. (in Russian)
---
For citation: Gorelov V.A. On the Cogredience and Contragredience of Linear Differential Equations and Systems. Bulletin of MPEI. 2021;6:148—151. (in Russian). DOI: 10.24160/1993-6982-2021-6-148-151
---
The work is executed at support: Ministry of Science and Higher Education of the Russian Federation (Project No. FSWF-2020-0022)
Опубликован
2021-04-16
Раздел
МАТЕМАТИЧЕСКАЯ ЛОГИКА, АЛГЕБРА и ТЕОРИЯ ЧИСЕЛ (01.01.06)