О ПРОСТРАНСТВЕ ДЕ БРАНЖА, СВЯЗАННОМ С ДЗЕТА-ФУНКЦИЕЙ РИМАНА Текст научной статьи по специальности «Математика»

Вестник Самарского университета,. Естественнонаучная серия Vestnik of Samara University. Natural Science Series

2024. Том 30, № 2. С. 7-11 2024, vol. 30, no. 2, pp. 7-11

МАТЕМАТИКА

MATHEMATICS

ccl CTj Краткое сообщение

DOI: 10.18287/2541-7525-2024-30-2-7-11

УДК 517.98

Дата: поступления статьи: 15.02.2024 после рецензирования: 17.03.2024 принятия статьи: 15.05.2024

С.А. Бадонова

Самарский национальный исследовательский университет имени академика С.П. Королева, г. Самара, Российская Федерация;

Санкт-Петербургский государственный университет, г. Санкт-Петербург, Российская Федерация E-mail: badonova0116@mail.ru. ORCID: https://orcid.org/0009-0006-4477-9572

О ПРОСТРАНСТВЕ ДЕ БРАНЖА, СВЯЗАННОМ С ДЗЕТА-ФУНКЦИЕЙ РИМАНА1

АННОТАЦИЯ

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

Ключевые слова: пространство де Бранжа; кси-функция Римана; каноническая система с диагональным гамильтонианом; обобщенное преобразование Фурье.

Цитирование. Бадонова С.А. О пространстве де Бранжа, связанном с дзета-функцией Римана // Вестник Самарского университета. Естественнонаучная серия / Vestnik of Samara University. Natural Science Series. 2024. Т. 30, № 2. С. 7-11. DOI: http://doi.org/10.18287/2541-7525-2024-30-2-7-11.

Информация о конфликте интересов: автор и рецензенты заявляют об отсутствии конфликта интересов.

© Бадонова С.А., 2024

Светлана Алексеевна Бадонова — студент механико-математического факультета, Самарский национальный исследовательский университет имени академика С.П. Королева, 443086, Российская Федерация, г. Самара, Московское шоссе, 34; Санкт-Петербургский государственный университет, 199034, Российская Федерация, г. Санкт-Петербург, Университетская наб., 7/9.

Одним из важных положений теории пространств де Бранжа является их связь с каноническими системами — парами дифференциальных уравнений первого порядка, которые задаются гамильтонианом на интервале вещественной прямой. Такая связь осуществляется обобщенным преобразованием Фурье и позволяет проводить спектральный анализ дифференциальных операторов с помощью пространств де Бранжа. Пространства де Бранжа определяются их структурными функциями, представляющими собой целые функции из класса Эрмита — Билера; подпространства де Бранжа образуют упорядоченную по включению цепочку подпространств. Структурные функции подпространств де Бранжа могут быть выписаны через решения канонической системы. Таким образом, одной из важных задач при изучении пространств де Бранжа является нахождение канонической системы и обобщенного преобразования Фурье, соответствующих пространству.

1 Работа выполнена в Санкт-Петербургском международном математическом институте имени Леонарда Эйлера при финансовой поддержке Министерства науки и высшего образования Российской Федерации (соглашение № 075—15—2022—287 от 06.04.2022).

В статье [1] построено пространство де Бранжа, элементом которого является кси-функция Римана:

m = 2n-s/2s(s - 1)Г(2)С(s),

где Z — дзета-функция Римана, — деленная на некоторый полином; найдены гамильтониан канонической системы, соответствующей пространству, и оператор, являющийся обобщенным преобразованием Фурье канонической системы, изометрически отображающий гильбертово пространство канонической системы на пространство де Бранжа. В.В. Капустин предложил автору найти пространство де Бранжа, которому соответствует аналогичная каноническая система с некоторыми предпочтительными изменениями. В данном кратком сообщении представлены полученные результаты и отражающие их формулы.

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

Классом Эрмита — Билера HB называется множество целых функций E в комплексной плоскости, для которых выполнено неравенство

\e(z)\ < E(z)\

при всех z из верхней полуплоскости {z G C : Im z > 0}. Пространством де Бранжа Hg со структурной функцией E G HB называется гильбертово пространство, состоящее из целых функций F таких, что функции E и принадлежат пространству Харди H2 в верхней полуплоскости (здесь и далее F »( z) = = F (z)). Нормы функций ^ и совпадают в пространстве H2 и определяют норму функции F в пространстве Hg .

Каждому пространству де Бранжа соответствует каноническая система, которая задается гамильтонианом на интервале вещественной прямой. Гамильтониан H представляет собой локально суммируемую матричнозначную функцию на интервале (a, b) вещественной прямой, значениями которой являются вещественные матрицы размера 2 х 2 такие, что H(t) ^ 0 почти всюду.

Будем рассматривать гамильтониан H на интервале (a, b) вещественной прямой, который дополнительно обладает свойствами i-iv:

i. Гамильтониан является диагональным, то есть представим в виде

H (t) = ( w+(t) 0 )

H(t) = ^ 0 w-(t)) ■

ii. Каждая из функций w+, w- отлична от нуля почти всюду.

iii. Гамильтониан суммируем вблизи правого конца b интервала.

iv. Вблизи левого конца a интервала гамильтониан не суммируем, но выполняется условие

b

lim ¡J w+(t) dt x J w-(t) dt\ =0.

Канонической системой называется матричное дифференциальное уравнение Jf(t) = zH(Ь)/(Ь) на

интервале (а, Ь), где J = ' / = ^/+ ) — векторнозначная функция от переменной Ь, z £ С —

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

| -/— = zw+/+,

Пространством канонической системы называется гильбертово пространство, состоящее из вектор-нозначных функций / на интервале (а, Ь); норма в пространстве определяется по формуле

ь

I/II2 = 1 (Н(Ь)/(Ь), /(Ь))

а

где {•, •) — скалярное произведение в С2. (Если свойство И не выполнено, дополнительно требуется факторизация пространства). В случае гамильтониана Н, обладающего свойствами 1, п, пространство может быть представлено в виде прямой суммы © пространств, для которых диагональные элементы ,ш— гамильтониана являются весовыми функциями.

Вестник Самарского университета,. Естественнонаучная серия 2024. Том 30, № 2. С. 7-11 Vestnik of Samara University. Natural Science Series 2024, vol. 30, no. 2, pp. 7-11

Пусть А(Ь,г), В(Ь,г) — целые функции при каждом Ь. Предположим, что для любого г функции А и В определяют решение канонической системы и выполнено условие

A(t,z) ^ 1, B(t,z) ^ 0

(1)

при t ^ а. В случае диагонального гамильтониана H существование такого решения обеспечивается свойством iv. Данное утверждение получено как сообщение от Р.В. Романова. Приведем схему доказательства. Не умаляя общности, можно полагать trH = 1. Тогда несуммируемость гамильтониана H вблизи левого конца а интервала равносильна тому, что а = —то; свойство iv переписывается в

x

виде lim x w+(t) dt = 0. Функция A может быть найдена как неподвижная точка отображения

x t

f+ ^ 1 — z2 j w-(t) J w+(r)f+(r) dr dt, которое является сжимающим на пространстве C(—<х,Ъ) при

достаточно большом по модулю отрицательном Ь € М с нормой ||/+||с = вир \/+(х)\. Тогда функция В находится по А из уравнения канонической системы. Можно показать, что для таких функций А и В условие (1) выполнено, кроме того, А$ = А, В$ = В. Функции А и В могут быть найдены как целые функции при каждом Ь.

При каждом Ь функция Е(Ь, г) = А(Ь, г)+гВ(Ь, г) как функция от г принадлежит классу Эрмита — Би-лера и потому является структурной функцией некоторого пространства де Бранжа. Оператор V:

(Vf) (z) = -±=J U (t)f (t),

[A(t,z)\\ \B(t,z))/

dt =

(2)

О

= -±= j (f+(t)A(t, z)w+(t) + f-(t)B(t, z)w-(t)) dt,

определяет обобщенное преобразование Фурье канонической системы. Он изометрически отображает пространство канонической системы на пространство де Бранжа со структурной функцией Е(Ь,г). Существование такого пространства обеспечивается свойством 111. Отметим, что утверждение также имеет место, если вместо интервала (а, Ь) рассматривать интервал (а, с), где с € (а, Ь). При разных значениях с получается упорядоченная по включению цепочка подпространств де Бранжа.

Будем рассматривать каноническую систему на интервале (—то, —4п) с гамильтонианом Н:

H (t)

Можно показать, что для гамильтониана выполняются свойства 1—1у. Отметим, что каноническую систему с таким гамильтонианом можно определить на всей отрицательной полуоси, но рассматривается только ее сужение на указанный интервал. Обозначим а = а(г) = 2 — гг.

Теорема.

1. Функции

—t

A(t>z) = V4ne-

(

, . . —t t

B(t,z) = ^e 2

- (—2) K (—2)

+ Ka-1 TT

Ka\ — 2 ) — Ka-1

(—2))• (—2))

определяют решение канонической системы на интервале (—то, —4п) с гамильтонианом Н, где Ка — модифицированная функция Бесселя. Кроме того, для функций А и В выполнено условие (1).

2. Оператор V, определяющий обобщенное преобразование Фурье канонической системы, имеет вид

(Vf )(z) = i

г t f \

J f+ <" — 2) + «a-l( — 2) — k* ( — 2) — Ka-1 (— 2)

— if-(t)

dt.

О

2

3. Пространство де Бранжа со структурной функцией Е(—4п^) является образом оператора V. Оно совпадает (в смысле совпадения множеств и равенства норм) с пространством де Бранжа Не со структурной функцией Е= 2Ка(2п).

4. Пространство Не содержит функцию 2р(г) ), где £ — кси-функция Римана, р — полином степени не меньше трех, нулями которого являются различные нули функции £ — 2^).

Доказательство.

В работе [1] показано, что функции = А (2Ь, |) , В\(Ь^) = В (2Ь, |) определяют решение

канонической системы на интервале (—те, —2п) с гамильтонианом Н\(Ь) = Н(2Ь) и удовлетворяют условию (1). Заменив Ь на Ь/2 и z на 2z, получим доказательство утверждения 1.

Для рассматриваемого гамильтониана Н(Ь) диагональными элементами являются функции =

= , м—(Ь) = ^—¡г. Подставив функции А, В, в формулу (2), найдем выражение для операто-

ра V. Таким образом, получим доказательство утверждения 2.

Из приведенных выше утверждений следует, что образом оператора V является пространство де Бранжа со структурной функцией Е(—4п^). Совпадение этого пространства с пространством Не, Е= = 2Ка(2п), связано со свойством пространств де Бранжа. Известно, что структурная функция пространств де Бранжа определяется неоднозначно: пространства Не и Нев совпадают (в смысле совпадения множеств и равенства норм), где

ЕР = ^^, Щ < 1. '1- \0\2

Положив ¡3 = _4п- для функции Е= 2Ка(2п), получим Ер^) = Е(—4п^). Таким образом, про-

е + 1

странство де Бранжа со структурной функцией Е(—4п^) совпадает с пространством Не. Утверждение 3 доказано.

Для доказательства утверждения 4 определим оператор

Ф : Г(z ) ^ а/2 Г2).

Он изометрически отображает пространство де Бранжа со структурной функцией 2К2а+1 (2п) на про-

4

странство Не. Из работы [1] следует, что если р — полином степени не меньше трех, нулями которого

являются различные нули функции £ (^ — г^), то функция Г ^) = ) принадлежит пространству

Р( 2 )

де Бранжа со структурной функцией 2К2а+1 (2п). Тогда функция р(г) = ФГ принадлежит пространству Не как элемент образа оператора Ф. Утверждение 4 доказано. Теорема доказана.

Литература

[1] Капустин В.В. Множество нулей дзета-функции Римана как точечный спектр оператора // Алгебра и анализ. 2021. T. 33, № 4. C. 107-124. URL: https://www.mathnet.ru/rus/aa1771.

[2] Romanov R. Canonical systems and de Branges spaces. URL: https://arxiv.org/abs/1408.6022v1.

DOI: 10.18287/2541-7525-2024-30-2-7-11 Submited: 15.02.2024

Revised: 17.03.2024 Accepted: 15.05.2024

S.A. Badonova

Samara National Research University, Samara, Russian Federation; Saint Petersburg University, Saint Petersburg, Russian Federation E-mail: badonova0116@mail.ru. ORCID: https://orcid.org/0009-0006-4477-9572

Вестник Самарского университета. Естественнонаучная серия 2024. Том 30, № 2. С. 7-11 Vestnik of Samara University. Natural Science Series 2024, vol. 30, no. 2, pp. 7-11

ON A DE BRANGES SPACE RELATED TO THE RIEMANN ZETA FUNCTION2

ABSTRACT

In a recent article by V.V. Kapustin a de Branges space, whose element is an expression containing the Riemann xi function, was constructed; the canonical system with a diagonal Hamiltonian and the generalized Fourier transform corresponding to the space were found. In this article we present a similar de Branges space with some preferred modifications and we provide formulas related to it; we also write down the Hamiltonian and the generalized Fourier transform.

Key words: De Branges space; Riemann xi function; canonical system with diagonal Hamiltonian; generalized Fourier transform.

Citation. Badonova S.A. On a de Branges space related to the Riemann zeta function. Vestnik Samarskogo universiteta. Estestvennonauchnaya seriya / Vestnik of Samara University. Natural Science Series, 2024, vol. 30, no. 2, pp. 7-11. DOI: http://doi.org/10.18287/2541-7525-2024-30-2-7-11. (In Russ.)

Information about the conflict of interests: author and reviewers declare no conflict of interests.

© Badonova S.A., 2024

Svetlana A. Badonova — undergraduate student of the Faculty of Mechanics and Mathematics, Samara National Research University, 34, Moskovskoye shosse, Samara, 443086, Russian Federation; Saint Petersburg University, 7/9 Universitetskaya nab., Saint Petersburg, 199034, Russian Federation.

References

[1] Kapustin V.V. The set of zeros of the Riemann zeta function as the point spectrum of an operator. St. Petersburg Mathematical Journal, 2022, vol. 33, issue 4, pp. 661-673. DOI: https://doi.org/10.1090/spmj/1720. (In English; original in Russian)

[2] Romanov R. Canonical systems and de Branges spaces. Available at: http://arxiv.org/abs/1408.6022v1.

2The work was performed at the Saint Petersburg Leonhard Euler International Mathematical Institute and supported by the Ministry of Science and Higher Education of the Russian Federation (agreement no. 075-15-2022-287).