CC BY
6
DOI: https://doi.org/10.23670/IRJ.2021.106.4.002
КЛАССИФИКАЦИЯ ОБОБЩЕННЫХ УРАВНЕНИЙ БЕТХЕРА ВТОРОГО ПОРЯДКА
Научная статья
Кальницкий В.С.1' *, Петров А.Н.2
1 ORCID: 0000-0002-3937-6078;
2 ORCID: 0000-0001-6853-5480;
1 Санкт-Петербургский государственный университет, Санкт-Петербург, Россия;
2 Военная академия материально-технического обеспечения имени генерала армии А. В. Хрулёва,
Санкт-Петербург, Россия
* Корреспондирующий автор (st006987[at]spbu.ru)
Аннотация
В статье подводится итог исследований авторов о решении обобщенных уравнений Бетхера второго порядка от двух аргументов. Целью исследования является описание класса гладких решений таких уравнений, определённых на некоторой конической области с вершиной в начале координат. Решающим оказался метод прямого описания орбит действия общей линейной группы на пространстве тензоров типа (2,1), симметричных по ковариантным индексам. В статье были доказаны структурные теоремы о строении орбит (теоремы 1-4). Было доказано, что любое обобщённое уравнение Бетхера второго порядка приводит к одному из тринадцати типов уравнений, соответствующих тензорам, названных авторами каноническими (теорема 5). В данном исследовании часть обобщённых уравнений Бетхера решена полностью, и остальная часть сведена к четырём однопараметрическим и двум двухпараметрическим семействам функциональных уравнений Шрёдера от одной переменной. Приведены частичные решения указанных уравнений.
Ключевые слова: уравнение Бетхера, уравнение Шрёдера, функциональное уравнение, эндоморфизм Фробениуса.
A CLASSIFICATION OF GENERALIZED SECOND-ORDER BÖTTCHER'S EQUATIONS
Research article
Kalnitsky V.S.1' *, Petrov A.N.2
1 ORCID: 0000-0002-3937-6078;
2 ORCID: 0000-0001-6853-5480;
1 Saint Petersburg State University, Saint Petersburg, Russia;
2 Military Educational Institution of Logistics named after General of the Army A.V. Khrulyov, Saint Petersburg, Russia
*
Corresponding author (st006987[at]spbu.ru)
Abstract
The authors of the article summarize their research on the solution of generalized Bottcher's equation of the second order from two arguments. The aim of the study is to describe a class of smooth solutions of these equations defined on a certain conic domain with a vertex at the origin. The method of direct description of the orbits of the action of a general linear group on the space of tensors of type (2,1), which are symmetric with respect to covariant indices, proved to be resolving. In the article, structural theorems on the structure of orbits were proved (Theorems 1-4). It was also proved that any generalized second-order Bottcher's equation belongs to one of the thirteen types of equations corresponding to tensors, which were called canonical b y the authors (Theorem 5). In this article, part of the generalized Bottcher's equation is solved completely and the rest is reduced to four one-parameter and two two-parameter families of the functional Schroder's equations from one variable. The study also presents partial solutions to these equations.
Keywords: Bottcher's equation, Schroder's equation, functional equation, Frobenius endomorphism.
Основные определения и обозначения
Определение 1 ([1]). А - 2-мерная коммутативная R-алгебра. Отображения Sn: R ^ R, Sn(k) = kn,n £N, и Ап: А ^ А, Ап (а) = ап, называются эндоморфизмами Фробениуса.
Определение 2. Отображение <р: А^ R, для которого выполняется соотношение 82(<р) = ф(А2), называется сплетающим отображением, эндоморфизм А2 называется 2-мерным представлением эндоморфизма S2 в алгебре А. Если отображение <р определено на некоторой открытой в стандартной топологии области П с А, то будем говорить о локальном представлении.
Зафиксируем базис Хг, Х2 2-мерной алгебры и запишем структурные константы
XrXj = ctj Xk, $ = (1)
здесь и далее мы будем придерживаться соглашения Эйнштейна о суммировании. Пусть <р:А^ R является сплетающим отображением <p2 (Y) = <р (Y2). Разложим произвольный элемент алгебры по выбранному базису Y = аХ1 + ЪХ2 и определим функцию F(a, b) = (fi(Y). Выполнено следующее соотношение
F2(a,b) = ц>2(аХ1 + ЪХ2) = ф((аХ1 + ЪХ2)2) = F(a2c^1 + 2c^2ab + 42b2, a2c'21 + 2cl2ab + 42b2). (2)
Таким образом, сплетающее отображение является решением уравнения (2), которое называется обобщённым уравнением Бетхера порядка 2 [2, C. 375].
Рассмотрим задачу поиска неизвестной функции Е для фиксированных коэффициентов с^. Если решение Е уравнения (2) найдено, то полагая ф(аХ1 + ЪХ2) = Р(а,Ъ) мы получим (локальное) сплетающее отображение для 52 и А2.
Действие группы в 1.(2) на пространстве
Изменим базис алгебры А: Хь = <1{Х¿', Ц^-'Ц Е вЬ(2). Структурные константы преобразуются по тензорному закону
ck,', = dk'cs- d\ dj,
Сi'j' ds Ll} di'
(3)
Пространство всех двухмерных коммутативных Е-алгебр с выбранным базисом отождествляется с пространством БТ2 тензоров типа (2,1), симметричных по ковариантным индексам. Действие группы а (2) на пространстве БТ2 задается формулами (3). Две алгебры, принадлежащие одной орбите действия группы 0,(2), являются изоморфными и наоборот.
Определение 3. Тензор { с-к} назовем каноническими, если с11 = 0.
Теорема 1. В каждой орбите действия группы БО(2) на пространстве БТ2 существует канонический тензор.
Доказательство. Пусть {с^} - произвольный тензор. Запишем явно формулы преобразований коэффициентов тензора при повороте на угол t, т.е. действие матрицы Q Е БО(2)
Q =
dl' d2 d2 d2'
I cos t sin t I I — sin t cos 11
; Q-
dl
di
cos
sin
sin cos
Обозначим s = tg t. Согласно (3)
ci'1' = cos3 t(c^1 + (2cl2
ch)s + (c%2 — 242)s2 — ci2s3).
Если с2 Ф 0, то рассмотрим два возможных случая:
а) с22 = 0. Чтобы добиться равенства с2'1' = 0 достаточно взять ^ = ~.
б) с22 Ф 0. В силу того, что свободный коэффициент с21 и старший коэффициент с22 многочлена третьей степени не равны нулю, он имеет вещественный корень 50 Ф 0. Значит, определено = агсЬд б0 Ф 0 такое, что действие матрицы приводит к выполнению равенства 2'' ' = 0.
Следствие. В каждой орбите действия группы 0(2) на пространстве БТ2 существует канонический тензор.
Будем записывать группы структурных констант с верхним индексом 1 и 2 как коэффициенты двух квадратичных форм
= (с11,с12,с22),1 = 1,2,
а тензор Т Е БТ2 как пару Т = (Ч\, Ф2). В пространстве тензоров выделим совокупность <В тензоров вида
(4)
которые мы будем называть вырожденными.
Теорема 2. Если тензор Т не является вырожденным, то в его SO (2) -орбите содержится не более трёх канонических тензоров. SO(2)-орбита вырожденного тензора состоит из вырожденных тензоров.
Доказательство. В силу теоремы 1 в SO(2)-орбите тензора Т содержится канонический тензор Т0. Рассмотрим SO (2)-орбиту тензора Т0. Формула преобразования коэффициента сЦ = 0 примет вид
с^' = cos31 ((2сli — chJs + (c!i — 2cl2)s2 — c^s3).
Если c\2 Ф 0, то кубический многочлен имеет не более трёх корней, из которых один s = 0. Если с\2 = 0, то при условии, что хотя бы один из двух коэффициентов квадратного трёхчлена не равен нулю, он имеет не более двух корней, из которых один s = 0 и ещё один канонический тензор соответствует t = В случае полного вырождения
2с12 — С11 = 0; С22 — 2с12 = 0; С22 = 0
вся орбита состоит из канонических тензоров, являющихся вырожденными.
Рассмотрим LQ-разложение ([3]) произвольной невырожденной матрицы А = LQ, где Ь Е Ь(2) - невырожденная нижнетреугольная матрица, Q Е БО(2).
Теорема 3. Ь(2)-орбита канонического тензора Т0 состоит из канонических тензоров. Доказательство. Рассмотрим нижнетреугольную матрицу и обратную к ней
d11
d12
1 _
Т
I =
X 0 V л
1/Х 0 -/Ц
Согласно (3)
-,1 = 0 • (4 4 + 2с%2 -а-0 + с22 - 02) = 0.
Теорема 4. Группа а(2) действует на множестве 0\0, где О - тождественно нулевой тензор, транзитивно. Доказательство. Так как мы рассматриваем ненулевой тензор, то либо с^ Ф 0 либо с2;2 Ф 0. При повороте на п/2 оба коэффициента, согласно (3), меняются по правилу
1 _ 2 2' _ С11 = С22; С2'2' =
-с;
Таким образом, в орбите вырожденного тензора есть тензор с сФ 0. Рассмотрим этот тензор. Запишем явно все формулы (3) для действия нижнетреугольной матрицы Ь на тензор Т
1 1 ау + ру 1 с 11 = Ла; С12> =---; с^^ = 0;
аЛ
(5)
с11 = 0; с12 = —; с1,2 = + рц.
Полученный тензор имеет структуру вырожденного. Для доказательства транзитивности действия группы а (2) необходимо доказать, что любой ненулевой вырожденный тензор можно перевести в любой ненулевой вырожденный тензор. Рассмотрим два вырожденных тензора
=((40М44г=(К4К4
если необходимо, применим поворот на п/2 чтобы оба первых коэффициента первых квадратичных форм были ненулевыми. Найдём коэффициенты нижнетреугольной матрицы, такие что выполняются соотношения
Решением этой системы является, например, матрица
Ь =
а
— 0
а
0?
, если р Ф 0; Ъ =
= Р'.
а'
— 0
а
01
а -
, если р = 0.
Следствие. Вырожденный ненулевой тензор всегда может быть приведён к виду = (-,0,0); *¥2 = (0,0).
Определение 4. ¿(2)-орбиту канонического тензора будем называть канонической поверхностью.
Теорема 4 означает, что множество 6\0 является 2-мерной а(2) -орбитой и канонической поверхностью одновременно. Теорема 3 означает, что в каждой а(2)-орбите невырожденного тензора содержится не более трёх канонических поверхностей, являющихся не более чем 3-мерными ¿(2)-орбитами канонических тензоров.
Классификационная теорема
Определение 5. Обобщённое уравнение Бетхера второго порядка, отвечающее каноническому тензору, будем называть каноническим уравнением.
Определение 6. Выбор одного канонического уравнения для каждой канонической поверхности будем называть классификацией обобщённых уравнений Бетхера второго порядка.
Теорема 5. Существует 13 типов канонических уравнений Бетхера, к которым может быть сведено любое нетривиальное уравнение Бетхера второго порядка.
Доказательство. Перечисление канонических уравнений начнём с канонической поверхности вырожденных тензоров, нумерацию типов будем вести римскими цифрами. Согласно следствию теоремы 4 в этой орбите всегда можно выбрать тензор, соответствующий уравнению Бетхера следующего вида: тип I. Р2(а, Ь) = Р(а2, аЬ).
Далее, вновь рассмотрим нижнетреугольную матрицу и обратную к ней
I =
Я 0 , I-1 = -/А 0
V л -/V
Согласно (3) образом канонического тензора Т станет канонический тензор Т'
с
Т
с1!1' = Äcl1; с^2' = (ch - cl2)ß + с^Ц,
2 2
±'_(1_'у2 \ ^__I (") 1 _ 2 \ 1 .
С2'2' = (С11 2С12) д + (2С12 С22) Д + С22 д ;
= 0; с"2''2' = Лс^2'; с2'2' = + с^щ.
Из соотношений следует, что если у канонического тензора с^ = 0 или с^ = с?;2 = 0, то эти равенства сохраняются во всей ¿(2)-орбите. Таким образом, для классификации орбит следует рассмотреть три различных случая: II) *¥2 = (0,0,0); III) ^2 = (0,0, С^); IV) ^2 = (0,с12,с%2). В случае II возникают три альтернативы:
II. а) с11 = с12 =0,7) = \,Х = \, Р2(а,Ъ) = Р(Ъ2,0).
С 22
II. Ь) с11 = 0,7 =^,Л = 1,/и = --С221[, Р2(а,Ъ) = Р(2аЪ,0).
С22 2(с±2) 2
II. с) Л = -^.ц = -с227, Р2(а,Ъ) = Р(а2 +уЪ2,0).
С222 222
В случае III возникают четыре альтернативы:
2
III. а) с11 = с12 = 0,Л = 1,ц = С22), Р2(а,Ъ) = Р(0,Ъ2).
л.
„1 _ „1 _ п 1 — 1 ,, - r2f„ м - cCn h2
г2 c22
III. b) cl1 = 42 = 0,ß = 0,ц = F2(a,b) = F(2ßab,b2),ß Ф 0.
22
III. c) c!1 = 0,ß = 0,ц = = F2(a,b) = F(2ßab + b2,b2),ß Ф 0.
c22 c22
III. d) Х = =\,\i = F2(a,b) = F(a2 +yb2,b2).
c22 C22 c22c22 В случае IV возникают пять альтернатив:
1 c2
IV. а) ch = 0,с%2 + 2 ch = 0,cl2ch - c&h = 0,Ä = TT=
1
c2 2 c2
2
F2(a,b) = F(0,2ab).
IV. b) ch = 0,c22 + 2c12 = 0,X = = = \ ^ ,
c22 c22 ¡lc2 c2 2 c2 | nc22c22 c22c22l
F2(a,b) = F(±b2,2ab).
IV. c) ch = 0,c22 + 2ch Ф 0,X = =
F2 (a, b) = F(2ab +yb2,2ab).
IV. d) Ä = ~T= -c22ch + c&h + 2^12^12 = ^
22 2 22
F2(a,b) = F(aa2+yb2,2ab), а Ф 0.
IV. e) Ä = = --ВтЦ,Ц =
22 22 22 222 22 22 22 22 2 2
Р2(а,Ъ) = Р(аа2+2аЪ + уЪ2,2аЪ),а Ф 0. Мы получили 13 канонических уравнений Бетхера второго порядка. Любое уравнение может быть сведено к одному из перечисленных.
2 222
Решение канонических уравнений
Определение 7. Два дифференцируемых решения Р1,Р2 уравнения (2) такие, что на общей (не пустой) конической области определения с вершиной в начале системы координат, принимающие все положительные значения и при этом являющиеся функционально независимыми, называются базовыми решениями.
Теорема 6 ([1]). Если существуют два базовых решения, то общее решение обобщенного уравнения Бетхера имеет
вид
Р(а,Ъ) = Р"(а, Ъ)Р2 (а, Ъ),а,р 6 Е.
I. Р2(а,Ъ) =Р(а2,аЪ).
Решение. Сразу запишем Р2(0,Ъ) = Р(0,0), то есть на оси ОЬ функция Е должна быть константой 1 или 0. Рассмотрим функцию в^(х) = Р(х, %х)
в^х) = Р2(х,^х) = Р(х2,^х2) = в^(х2).
Единственным гладким решением этого уравнения, определенном на луче, является функция в^(х) = ) -
произвольная функция числового аргумента % (см. напр. [8]). Так иных значений на конической области функция принимать не может, то общее решение имеет вид
Р(а,Ъ) = { аг(а),а Ф 0 .
(0 или 1,а = 0
II. a) F2(a,b) = F(b2,0).
II. b) F2(a,b) = F(2ab,0).
Решение (II. a, II. b). Коническая область должна содержать ось Oa по условию. На этой оси функция постоянна и равна 0 или 1, так как F2(a, 0) = F(0,0). Общее непрерывное решение - константа 0 или 1.
II. c) F2(a,b)=F(a2+yb2,0).
Решение. Верно тождество F2(a,0) = F(a2,0). Следовательно, на луче Oa, а>0, функция имеет вид F(a,0) = ат, m Е Ш. Из уравнения следует, что значения функции F на линиях уровня а2 + yb2 = с, представляющие собой либо эллипсы, либо гиперболы, либо вертикальные прямые (при у = 0), равны F(c,0) = ст , т.е. F2(a,b) = (а2 + yb2)m является базовым решением. Общее решение уравнения имеет вид
F (a, b) = (а2 + yb2)m, п,тЕШ,
и определено на конической области положительности
П.+ = {а2 + yb2 > 0}.
III. a) F2(a,b) = F(0,b2).
Решение. На луче Ob,b > 0, F2(0,b) = F(0,b2). Следовательно F(0,b) = bm,m Е Ш. Для любого а выполнено F2(a,b) = F(0,b2) = b2m, т.е. общее решение F(a,b) = bm, на области П+ = {Ь > 0}.
III. b) F2(a,b) = F(2fiab, b2),p Ф 0.
Решение. Функция F1(a,b) = b является решением.
i) Если 1Р1ф1, то рассмотрим функцию ^(j) = F(a,b). Для нее выполнено ty2(t) = ^(2pt). Тогда ^(t) =
exp(n2l°g2iei^),n Е Ш, ([4], стр. 114), и общее решение имеет вид
ii)
F (a, b) = Ьтехр (^^еЩ.т.п Е Ш, на П+ = {Ь > 0}.
ii) Если IPI =1, то определим функцию в^(Ъ) = F(Çb,b), тогда в^(Ь) = F2(Çb,b) = F(±(Çb)b,b2) = в±^(Ъ2). Все решения имеют вид в^(Ь) = где f(^) - произвольная функция числового аргумента ^, для знака плюс, и четная -
для знака минус. Общее решение имеет вид F (а, Ь) =
III. c) F2(a,b) = F(2fiab + b2,b2),p Ф 0.
Решение. Первым базовым решением, очевидно, является функция F(a,b) = bm. Для нахождения второй базовой функции рассмотрим функцию вида F (а, Ь) = в
в2 Q = F2(a,b) = F(2pab + b2,b2) = в (ip^ + l).
a) IPI В этом случае можно сделать замену
m = , *2 (*) = в fe (1 + тЬф) + i) = ^(2pt).
Возникшее функциональное уравнение имеет семейство решений
^(t) = exp(m2log2\P\ltl),m Е Ш.
Таким образом, общее решение исходного уравнения имеет вид
F(a,b) = bnexp(m2l°gm\b 1-2P\),n,m Е Ш.
b) Р =1 Задав произвольную функцию вЮ на промежутке [0,1) и используя тождество в2^) = + 1),
продолжим её на промежуток [1,2) и т.д. При выполнении граничных условий, можно добиться непрерывности и гладкости построенной функции. Общее решение исходного уравнения будет иметь вид
Р(а, Ь) = Ъпвт ,п,тЕШ.
c) р = -1. Снова рассмотрим функцию вида Р(а, Ь) = в
в2(С) = в(1-С).
Сделаем замену
^(г) = е(1 + 1); ^2(1) = е(1-(1 + ^ = ^(-г),^4(г) = ^р(г).
Следовательно, непрерывные решения только = 0; 1. Общее решение Р(а, Ь) = Ьт, те! III. О) Р2 (а, Ъ) = Р(а2 + уЬ2, Ь2).
Решение. Функция Р(а,Ь) = Ьт является решением. Для нахождения второй базовой функции рассмотрим
функцию вида Р(а,Ь) = в (-).
в2(ь) = в(12 +у).
1) При у = 0 очевидное общее решение Р(а, Ь) = атЬп, а > 0,Ь > 0.
-
И) При у > - зададим на промежутке (0; у] произвольную функцию в (Ь) и пользуясь соотношением будем
4
доопределять ее последовательно на промежутках (у; у2 + у], (у2 + у; (у2 + у)2 + у],... В силу условия у > - эти промежутки покроют всю полуось. Общее решение на конической области (а > 0, Ь > 0} имеет вид Р(а,Ь) = Ътвп
ш) При у < 1 ,у Ф 0, сделаем замену $(€) = в(Ь + у0), где у0 - любой корень уравнения Ь2 + у = Ь. Тогда гр2(¿) =
4
1р(12 + 2у01). Положив ф(Ь) = Ыгр(1), мы получим уравнение Шрёдера 2ф(1) = ф(Ь2 + 2у01).
Теорема 7 ([5], п. 6.5.24, стр. 122). Пусть £ е [10,11],а: [£0, ^ [£0, ¿1.] строго возрастает, а^-) = \(3\ < 1,
тогда единственным непрерывным решением уравнения
Ф(ь) = №<*))
на отрезке [£0, Ь-] является ф(Ь) = 0.
Доказательство этой теоремы можно найти в [6, 7]. Для гладкой строго возрастающей функции а(Ь), называющейся ядром, условия теоремы будут выполнены на некотором промежутке при 0 < а'(10) < 1. Применительно к нашему уравнению это условие запишется как = 0, \2у0\ < 1, что выполнено только для левого корня при -3/4 < у < 0. IV. а) Р2(а,Ъ) = Р(0,2аЬ).
Решение. Функция Е равна 1 или 0 тождественно на оси ОЬ, следовательно в любой точке (а, Ь) значение Р(а, Ь) есть 0 или 1.
IV. Ь) Р2 (а, Ъ) = Р(±Ъ2,2аЪ).
Решение. Рассмотрим функцию вк(а) = Р(а,ка).
в2(а) = Р2(а,ка) = Р(±к2а2,2ка2).
в4(а) = Р2(±к2а2,2ка2) = Р(±4к2а4,±4к3а4) = вк(±4к2а4).
Общее решение имеет вид 0к (а) =
(±ГГ4к2 а) , где в случае знака минус аргумент а < 0. Определим свойства
функции [(к), подставив в исходное равенство
Р2(а,Ь) = ( ±
а) = Р(±Ъ2,2аЪ) = ( (±Ь2)
2Г&
(2аЬ\2
г0 = г(±т).
1) (+). Задав любую функцию [(I) на промежутке (0, Г2] и по указанному равенству продолжив на [Г2, мы получим искомую функцию.
И) (-). Задав любую функцию [(ь) на промежутке (0, +го) и по указанному равенству продолжив на (-<х, 0), мы получим искомую функцию. Итак, общее решение
Р(а,Ь) = (±4зЪзаз\ .
IV. с) Р2(а, Ъ) = Р(2аЪ + уЪ2,2аЪ).
Решение. 1) При у = 0, уравнение имеет очевидное общее решение
Р(а,Ъ) = (4аЬ)т.
3
4
iii) При у > —1,у Ф 0, рассмотрим F(a, b) = в (j).
Обозначим у1, у2 корни квадратного уравнения Ь2 — Ь — у= 0. Сделав замены ф(Ь) = 1п в ^ + у¿), мы получим два уравнения Шрёдера ([9]) 2ф(Ь) = ф(^у2-] ,2ф(Ь)(1) = ф(^у2-). Применим стандартную схему рассуждений ([8]),
V ь+ул/ \Ь+У2/
Y2t
сделав подстановку ^ t, например, в первое уравнение
Повторяя подстановку, рекурсивно получим для любых t > 0,t Ф У1,ип
_ У 7п
2 \ 1 + у2'
11
Аналогичное равенство верно и для второго уравнения. При у = — корни равны У1 = у2 = - и тогда для любого £
4 2
1 ( 2-2П1 \
При у > -1 ,у Ф 0, одно из отношений |—|, |—| строго меньше единицы и соответствующее уравнение Шрёдера
4 у2 у2
имеет лишь тривиальное решение. Для второго отношения (будем считать, что у1 - правый корень) применим теорему 7 к уравнению 4ф( 1) = ф (-^У Ядро а(Ь) = обладает свойствами: Ь0 = у2 — у2,а^0) = ¿0,0 < а'(С0) = у2 <
+ у22 + у22 у22
1,а&): [С0, у1] ^ [С0, у2]. По теореме 7, решение тривиально на указанном отрезке. IV. £)Р2(а,Ъ) = Р(аа2+уЪ2,2аЪ), а Ф 0.
Решение. 1) При у = 0, уравнение имеет очевидное решение Р(а,Ъ) = (аа)т. Для поиска остальных решений запишем Р(а, Ъ) = в
в2а)=в(а^
Возникают две альтернативы: а) 1а1 Ф 2; б) 1а1 = 2.
а) решение уже известно в(Ь) = ехр(21о8|а|/2^). Общее решение имеет вид
F(a, b) = (aa)m exp (п21°Ш1а1/2Щ.
б) При 1а1 = 2, в4(Ь) = в(Ь). Следовательно, в(Ь) = 1;0,и общее решение Р(а, Ъ) = (аа)т. И) При у Ф 0, (а — 2)у < 0, в обозначениях предыдущего пункта,
в^'в^+у).
Сделаем замену ф(t) = в(Ь + у0), где у0 = ± Iг^. Тогда
ф2(1) = ф
at2 + 2ay0t — 2y0t 2t + 2y0
При 1 < а < 2 мы находимся в условиях теоремы 7, нетривиальных решений нет. IV. e) F2(a,b) = F(aa2+2ab +yb2,2ab),a Ф 0. Решение. В принятых обозначениях
e2(t) = eQt + L + 1).
i) При у = 0, это уравнение было решено полностью в п. III. c). Общее решение имеет вид
F(a, b) = exp (т21°ё1а1,2^ь ^-"/Л) ,при\а\Ф2; /а\
F(a, b) = вт ^J, 9(t) функция из III, c), b), при а = 2; F(a, b) = 0; 1, при а = -2.
ii) При уФ0,(а- 2)у <1,e2(t) = e("t + Yt + l). Сделаем замену ip(t) = 9(t + у0), где
Yo =■
1 ± ^1 + 2Y — aY а — 2
корень уравнения (а — 2)t2 + 2t + y = 0. Тогда
t(a t + 2aY0 — 2y0 + 2)
4
2Ь + 2у0
Условия теоремы 7 выделяют области параметров у, а, для которых решения уравнения тривиальны. Заключение
Завершение описания гладких общих решений уравнений Бетхера второго порядка состоит в решении пяти оставшихся не решёнными канонических уравнений. Перечислим уравнения от одной переменной, к которым они сводятся:
1 9
1) При 0 < у < - ,у0 - корень уравнения Ь2 + у = Ь
ii) При Y <
iii) При y ^ 0,
xp2(t) = xp(t2+2Yot).
e2(t) = e(i + Y)
iv) При Y*0,(a — 2)y < 0,Yo =
i ¡at2 + 2aY0t — 2Y0t
ip2(t) = ip
2t + 2Y0
v) При Y*0,(a — 2)y > 1,
a
(t) = e(2t + 2i+1)
Перечисленные уравнения могут быть интерпретированы как вопрос о вещественной сопряженности многочлена Ь2 и рациональной функции (ядра). Полное решение этого вопроса в комплексном случае можно найти в [10].
Не указан.
Конфликт интересов
Conflict of Interest
None declared.
Список литературы / References
1. Кальницкий В.С. Локальные гладкие сопряжения эндоморфизмов Фробениуса / В.С. Кальницкий, А.Н. Петров // Записки науч. сем. ПОМИ. - 2018. - T. 476. - С. 111-124.
2. Кальницкий В.С. Связь уравнения Бетхера с параметризованным интегралом Пуассона / В.С. Кальницкий, А.Н. Петров // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. - 2018. - 5(63). - С. 614622.
3. Horn R. A. Matrix Analysis / R. A. Horn, C. R. Johnson // Cambridge University Press. - 1985. - 561 P.
4. Пелюх Г.П. Метод инвариантов в теории функциональных уравнений / Г.П. Пелюх, А.Н. Шарковский // Прац i 1нституту математики НАНУ. Т. 95 - Киев: Инст. мат. НАН, Украина, 2013. - 255 с.
5. Нечепуренко М.И. Итерации вещественных функций и функциональные уравнения / М.И. Нечепуренко. -Новосибирск, 1997. - 228 с.
2
в
6. Dyjak C. BV-solution of a linear functional equation / C. Dyjak // Publ. Math. - 1986. - 33, N 1-2. - P. 83-85.
7. Matkowski J.A. Solutions of bounded variation of a linear functional equation / J.A. Matkowski, M.A. Zdun // Aequat. Math. - 1974. - 10, N 2,3. - P. 223-235.
8. Полянин А.Д. Справочник по интегральным уравнениям: Точные решения / А.Д. Полянин, А.В. Манжиров. -Москва: Факториал, 1998. - 432 с.
9. Schroeder E. Über iterirte Funktionen / E. Schroeder // Math. Ann. - 1871. - 3. - P. 296-322.
10. Еременко А.Э. О некоторых функциональных уравнениях, связанных с итерацией рациональных функций / А.Э. Еременко // Алгебра и анализ. - 1989. - Т. 1, Вып. 4. - С. 102-116.
Список литературы на английском языке / References in English
1. Kalnitsky V.S. Lokal'nye gladkie soprjazhenija jendomorfizmov Frobeniusa [Local smooth conjugations of Frobenius endomorphisms] / V.S. Kal'nickij, A.N. Petrov // Zapiski nauch. sem. POMI [Journal of mathematical sciences]. - 2020. - v. 251, No. 4. - p. 503-511. [in Russian]
2. Kalnitsky V.S. Svjaz' uravnenija Bethera s parametrizovannym integralom Puassona [Relation of the Böttcher Equation with the parametrized Poisson Integral] / V.S. Kal'nickij, A.N. Petrov // Vestnik Sankt-Peterburgskogo universiteta. Matematika. Mehanika. Astronomija [Vestnik St. Petersburg University: Mathematics]. - 2018. - 51 (4). - p. 373-379. [in Russian]
3. Horn R. A. Matrix Analysis / R. A. Horn, C. R. Johnson // Cambridge University Press. - 1985. - 561 P.
4. Peluh G.P. Metod invariantov v teorii funkcional'nyh uravnenij [Method of invariants in the functional equations theory] / G.P. Peljuh, A.N. Sharkovskij // Praci institutu matematiki NAS Ukrainy. V. 95 - Kyiv: Inst. of Math. NASU, 2013. - 255 p. [in Russian]
5. Nechepurenko M.I. Iteracii veshhestvennyh funkcij i funkcional'nye uravnenija [Real functions iterations and functional equations] / M.I. Nechepurenko. - Novosibirsk, 1997. - 228 p. [in Russian]
6. Dyjak C. BV-solution of a linear functional equation / C. Dyjak // Publ. Math. - 1986. - 33, N 1-2. - P. 83-85.
7. Matkowski J.A. Solutions of bounded variation of a linear functional equation / J.A. Matkowski, M.A. Zdun // Aequat. Math. - 1974. - 10, N 2,3. - P. 223-235.
8. Polyanin, A. D. Spravochnik po integral'nym uravnenijam: Tochnye reshenija [Handbook of Integral Equations: Exact Solutions (Supplement. Some Functional Equations)] / A.D. Poljanin, A.V. Manzhirov. - Moscow: Faktorial, 1998. - 432 P. [in Russian]
9. Schroeder E. Über iterirte Funktionen [About iterated functions] // Math. Ann. - 1871. - 3. - P. 296-322. [in German]
10. Eremenko A.E. O nekotoryh funkcional'nyh uravnenijah, svjazannyh s iteraciej racional'nyh funkcij [On some functional equations related to the iteration of rational functions] / A.Je. Eremenko // Algebra i analiz [Algebra and Analysis]. - 1989. - V. 1, Issue. 4. - P. 102-116. [in Russian]
