Владикавказский математический журнал 2024, Том 26, Выпуск 1, С. 56-67
УДК 514.1:517.965
Б01 10.46698/а1434-0819-2118-р
ОБЩЕЕ НЕВЫРОЖДЕННОЕ РЕШЕНИЕ ОДНОЙ СИСТЕМЫ ФУНКЦИОНАЛЬНЫХ УРАВНЕНИЙ
Р. А. Богданова1, Г. Г. Михайличенко
1 Горно-Алтайский государственный университет, Россия, 649000, Горно-Алтайск, ул. Ленина, 1 E-mail: [email protected]
Аннотация. Системы функциональных уравнений вида f (x, р, £, р, Д, Р) = x(g(x, У, р), Д, v) с шестью неизвестными функциями X, у, j р, Д, Р возникают при установлении взаимного вложения двуметрических феноменологически симметричных геометрий двух множеств (ДФС ГДМ). При установлении вложения аддитивной ДФС ГДМ ранга (2,2) с известной вектор-функцией g(x,y,£,p) = (g1,g1) = (x + с, У + р) в дуальную ДФС ГДМ ранга (3, 2) с известной вектор-функцией f (х,у,С,П,Д, v) = (f 1,f2) = (x£ + Д,хп + yC + v) явный вид системы двух функциональных уравнений будет следующим: + д = Х1(ж + £> У + т?, Д, v), + у£,+~ь' = Х2(х + У + т?, Д, Эта система двух функциональных уравнений разрешима, поскольку выражения вектор-функций g и f, входящие в систему, известны. Чтобы найти общее невырожденное решение заданной системы функциональных уравнений, необходимо разработать метод решения, что представляет собой интересную и содержательную математическую задачу. Основа метода состоит в дифференцировании одного из функциональных уравнений, входящих в систему, с последующим переходом к дифференциальным уравнениям. Далее, решения дифференциальных уравнений подставляются во второе функциональное уравнение исходной системы функциональных уравнений, откуда при соответствующих ограничениях находится общее невырожденное ее решение. Данный метод может быть развит и применен к другим такого же вида системам функциональных уравнений, возникающих в рамках задачи вложения ДФС ГДМ, для нахождения их общего невырожденного решения.
Ключевые слова: геометрия двух множеств, последовательное по рангу вложение, система функциональных уравнений, общее невырожденное решение системы функциональных уравнений, системы дифференциальных уравнений. AMS Subject Classification: 51K99, 34K99.
Образец цитирования: Богданова Р. А., Михайличенко Г. Г. Общее невырожденное решение
одной системы функциональных уравнений // Владикавк. мат. журн.—2024.—Т. 26, вып. 1.—C. 5667. DOI: 10.46698/a1434-0819-2118-p.
1. Введение
Двуметрическая феноменологически симметричная геометрия двух множеств (ДФС ГДМ) ранга (п + 1, 2), где п € N, задается на двумерном и 2п-мерном дифференцируемых многообразиях М и N дифференцируемой вектор-функцией (двухкомпонентной функцией) / : М х N ^ Я2 с открытой и плотной областью определения в М х N, сопоставляющей паре точек два действительных числа [1, 2]. Координатное представление для этой функции / = (/\ /2):
/ = / (х,у,£\£2,...,£2п),
2024 Богданова Р. А., Михайличенко Г. Г.
где (ж, у) и (£^£2,..., £2п) — локальные координаты соответственно в многообразиях М и N. Дополнительно имеют место следующие аксиомы:
Аксиома 1. Координатное представление функции / невырождено относительно координат (ж, у) и (£1, £2,..., £2п).
Невырожденность функции / в ее координатном представлении выражается необращением в нуль якобианов:
д(/ 1(г, а), /2(г, а))
d(/, a), /2(ii, а),..., / 1(i„, a), /2(i„, a))
= 0,
(in .a))
/0,
d (ea ,ea )
где y{) — координаты точки i, а (£a, £a, • • •, £an) — координаты точки a.
Аксиома 2. Для плотного и открытого множества точек (ii, i2, • • •, in+i, ai, a2) € Mn+1 x N2 все 4(n + 1) значений функции f связаны уравнением
Ф(/ 1(ii, ai), f2(ii, ai), • • •, f1 (in+i, a2), f2(in+i, a2)) = 0,
где Ф = (Ф1, Ф2) — вектор-функция (двухкомпонентная функция) 4(n + 1) переменных с rang Ф = 2.
Двуметрические феноменологически симметричные геометрии двух множеств появились в теории физических структур, разработанной Ю. И. Кулаковым и Г. Г. Михайли-ченко [3, 4]. Известна полная классификация этих геометрий [1, 2, 5, 6], которая была получена функциональным методом в свое время вторым автором. С точностью до замены координат в многообразиях и преобразованиях функции f, задающей двуметрическую феноменологически симметричную геометрию двух множеств, Г. Г. Михайличенко были найдены ДФС ГДМ ранга (n + 2,1) для n = 1, 2, 3, 4, причем им же было установлено, что для n > 4 не существует ДФС ГДМ. Стоит также отметить, что методом вложения В. А. Кыровым и Г. Г. Михайличенко в их работе [7] была получена классификация ДФС ГДМ ранга (3, 2). Исследования по изучению геометрических свойств таких геометрий проводились В. А. Кыровым в работе [8].
2. Постановка задачи и ее решение
Пусть функция g = (g1 , g2) = g(x, y; £2,..., £2n) задает ДФС ГДМ ранга (n + 1, 2), а функция f = (f1, f2) = f (x', y'; n1,..., n2n, n2n+1, n2n+2 ) задает ДФС ГДМ ранга (n + 2, 2), где n = 1, 2, 3.
Определение [5]. ДФС ГДМ ранга (n + 1,2) вложена в ДФС ГДМ ранга (n + 2,2), если выполняется функциональное соотношение
f (ж/, y/; n1,..., n2n, n2n+1, n2n+2) = X (g(x, y; £1,..., £2n), £2n+1, £2n+2) , где x, x' = A1 (ж, y), y' = A2(x,y), n1 = т 1(£1,..., £2n, £2n+1 ,£ 2n+2),...,
n2n = т 2n (£ 1 ,...,£2n, £ 2n+1,£2n+2), ^n+1 = т 2n+1 (£1,...,£ 2n ,£2n+1,£2n+2 ), ^n+2 =
т2n+2(£1,..., £2n, £2n+1 ,£2n+2) — дифференцируемые функции, причем выполняются неравенства
d(xt,yt) 3(?71,...,?72"+2)
d{x,у) ^ ' 9(£1,...,£2га+2) ^
В работе [5] доказано, что в каждую ДФС ГДМ ранга (п + 2,2) вложена по крайней мере одна из ДФС ГДМ ранга (п +1, 2), где п = 1, 2, 3. Установление всех возможных последовательных по рангу взаимных вложений ДФС ГДМ предполагает рассмотрение 23 систем функциональных уравнений. Нахождение общего невырожденного решения одной из таких систем функциональных уравнений представляет собой сложную задачу, как было отмечено В. А. Кыровым и Г. Г. Михайличенко в их работах [9, 10], в которых авторами с применением жордановых форм находятся канонические невырожденные решения одной из таких систем функциональных уравнений, возникающей в задаче о вложении ДФС ГДМ аддитивной, неаддитивной ранга (2, 2) в мультипликативную ранга (3, 2).
В последующем изложении будем использовать более удобные обозначения для координат и функций.
В данной статье ставится задача о нахождении всех возможных вложений аддитивной ДФС ГДМ ранга (2, 2) с вектор-функцией
д1 = ж + д2 = у + п
в дуальную ДФС ГДМ ранга (3, 2) с вектор-функцией
/1 = ж£ + /2 = жп + у£ + V,
которая сводится к нахождению общего невырожденного решения системы двух функциональных уравнений
(х1 + -р = хЧх + С,у + т],11,и), 1 Щ + Ж + V = Х2(х + у + г], /л, и)
относительно шести неизвестных функций ж = ж(ж,у), у = у(ж,у) и £ = г?, /л, и), г] = ?у(£, г], /л, г/), ~р = /1(£, г], /л, г/), V = 77(£, г], /л, и) от двух переменных ж, у и четырех переменных п, V. Стоит отметить, что функции х1 и х2, входящие в систему функциональных уравнений (1), также являются неизвестными.
Вложение оказывается возможным, если система (1) имеет хотя бы одно невырожденное решение, удовлетворяющее следующим двум условиям:
9(х,у) г], /х, V)
д(х,у)^ ' д((,г], /л,и)
При вложении допускаются обратимые замены локальных координат (ж; у) н-> (ж; у), <—>■ в двумерном и четырехмерном многообразиях, на которых мет-
рическая функция задает ДФС ГДМ ранга (3,2), а также ее масштабное преобразование х(/) ^ / . Заметим, что компоненты х1 и х2 этого преобразования по решению системы (1) и ее уравнениям определяются однозначно.
Теорема. Общее невырожденное решение системы (1) определяется строением его первой функции ж = ж (ж, у):
1. Общее экспоненциальное невырожденное решение
х = Л,ехр(аж + Ьу) + д, у = (Л,(сж + 7у) + (3) ехр(аж + Ьу) + а, ? = С(/х,^)ехр« + 6г?), V = + IV) »)) ехр« + 677),
7* = V) ехр« + Щ) + -р(1л, и),
17 = г/)(5'(сС + IV) +а)+ г/)) ехр« + 6г?) + г/),
где h ф 0, aj — be ф О, и), г/(/х, v))/d(/л, v) ф О, причем х1 = v) ехр(а(ж + {) +
Ь(у + r])+ Jl(ji, г/)), х2 = v) (h{c{x + 0+7(y + n))+P) + ")) ехр(а(ж + {) + Ь(у + rj) + i7(/х,г/));
2. Общее линейное невырожденное решение
rx = ax + by + д,
У _ асх^_ Ъсху + tai + (Д + дф + (13 + д7)у + а,
— - — (4)
V = £((*>, + 7»7) + ")>
Д = + bv) + 7К^, v),
У = Ж», v) + + ^ + ^ + /?г?) + rj(p, u){ai + brj) + г7(/л, г/),
где aj — be = 0, а/3 — bh Ф 0, (а/3 — bh)d{^{n,v),r}{n,v))/d{n,v) — (/Зс — hry)d(((fj,,u), -p(p,v))/d(jx,v) ф 0, причем х1 = l(p,v)(a(x + О + b(y + v) + 9) + X2 =
v)(ac(x + £)2/2 + (ж + £)(y + rj)+ f3j(y + r?)2/2 + (h + gc)(x + £) + (/3 + + + а) + v){a{x + £) + b(y + rj)) +V(/jl, v).
< Приступим к доказательству теоремы. Заметим, что в первое уравнение системы (1) из шести неизвестных функций входят только три, именно: ж = х(х,у), С = С(С) V? АЬ u) и ~Р = V? АЬ Определив их как его решение и подставив во второе уравнение системы (1), можно будет найти возможные на них ограничения, а также оставшиеся три неизвестные функции у = у(х, у),т} = ?у(£, т], /л, и) и V = z7(£, г/, /л, и). Первое уравнение системы (1) продифференцируем отдельно по переменным x и Поскольку в его правую часть они входят в виде суммы x + результаты дифференцирования по ним его левой части должны совпадать, откуда следует равенство
жж{ = ж{?(5)
По шести независимым переменным x, y и £, n, v равенство (5) является тождеством. Зафиксируем в нем последние четыре переменные £, n, v. Учитывая, что по второму из условий (2) имеем £ ф 0, для функции ж = ж (ж, у) по переменной ж, получаем следующее дифференциальное уравнение:
хх = ах + с. (6)
Если a = 0, то решение уравнения (6) будет экспоненциальным:
ж = ж(у)еах - с/а, (7)
причем по первому из условий (2) ж (у) ф 0.
Если же a = 0, но c = 0, то решение будет линейным:
ж = сж + ж(у). (8)
Если же, наконец, a = 0 и c = 0, то решение уравнения (6) от переменной x зависеть не будет:
ж = ж (у), (9)
причем по первому из условий (2) ж '(у) ф 0, т. е. ж (у) ф const. В дифференциальное равенство (5) подставим сначала экспоненциальное решение (7):
ах{у)еах1 = (ж[у)еах - с/а)^+Щ,
откуда для функций £ и /л получаем систему уравнений ^ = = с{ со следующим
решением:
71 = сС(г],11,и)е^/а+Т1(г],11,и), (10)
где, очевидно, ф 0.
Выражения (7), (10) для функций х, /I подставим в первое уравнение системы (1)
Производные его левой части по переменным у и п совпадают, поскольку в его правую часть они входят в виде суммы у + п, откуда следует равенство
х'(уШг],11,и)еа(-х+^ =хШГ](т],11,и)еа(-х+^ +7Ц(г],1л,и),
а из него затем система уравнений х'(у) = Ьх(у), = Ь((г],]1Г1(г], ¡л,, и) = 0
для функций х(у), ((т],/1,1/), ~р(г], со следующим решением:
ж(у) = = = П», (П)
Соединяя выражения (7), (10) с решением (11), получим экспоненциальное решение первого уравнения системы (1)
гх = Неах+Ьу - с/а, 1 = (12) ^ = <£{ц, и)еа^/а + и)
с явной зависимостью функции х от переменной х, поскольку а ф 0, в котором, очевидно, кф 0 и ф 0.
Подставим теперь в дифференциальное равенство (5) линейное решение (8)
с£ = (сх + х(у))1^ + Щ,
откуда получаем для функций £ и Д систему уравнений ^ = 0, ^ = со следующим решением:
£ = = (13)
где 1{г}, /л, V) ф 0.
Выражения (8) и (13) для функций х, £, Д подставим в первое уравнение системы (1)
(с(х + 0 + х(у))1(г],ц,и) + Д(г?, ц, и) =Х1{х + ^,У + Г],1Л,и).
Производные его левой части по переменным у и п, очевидно, совпадают:
= (с(х + 0 +х(у))^(г],11,и) +-р^Г],11,и),
откуда для функций х{у), ]1(г], ¡л,, и) получаем систему уравнений х'{у) = с1,
^(г], ¡л,,и) = 0, ^(г], ¡л,,и) = с1((г],со следующим решением:
х(у) = с!у + д, ]1(г],ц,и) = + (14)
Соединим выражения (8), (13) с решением (14). В результате получим линейное решение первого уравнения системы (1)
{х = сх + (1у + д, С = С(/х,г/), } р = Цц, V) (с£ + (1г}) + V)
с явной зависимостью функции х от переменной х, поскольку с ф 0, в котором £(//, ь>) ф 0. В дифференциальное равенство (5) подставим последнее решение (9), в котором отсутствует зависимость от переменной х:
+ Щ =
Поскольку х'(у) ф 0, для функций £ и ~р, отсюда получаем систему уравнений ^ = 0, = 0 с решением
£ = -р = -р(г!,ц,и), (16)
причем £(г], /л, и) ф 0.
Выражения (9), (16) подставим в первое уравнение системы (1)
Производные левой части этого уравнения по переменным у и п, очевидно, совпадают:
х'Ш(г],11,и) = х(у)1л(г],11,и) +7^(77,^,1/),
откуда для функций х(у), ((г],/л,и), ~Ц(г], ¡л,и) получаем систему уравнений х'(у) = рх(у) + д, £ (г],ц,1>) = р((г], /л, и), ]1Г1(г], /л, и) = д((г],/л,и) со следующими двумя решениями:
х(у) = геру — д/р,
ё(г?,/х,г/)=ё(_/х,г/)е™, (17)
Ж7!' ^ = у)ерг]/р + ~Ц(р,
если р ф 0, причем г ф 0, ((¡л, г/) ф 0, и
'Щу) = ЯУ + -%
(18)
если р = 0, причем д ф 0, ((¡л, г/) ф 0.
Соединяя выражения (9), (16) и (17), получим экспоненциальное решение системы (1), в котором функция х не зависит от переменной х:
х = геру — д/р,
1 = (19)
^ = д((/л, и)ерг>/р + 71(11, г/).
Решение (19) можно включить в решение (12), если допустить в нем более общее ограничение а2 + Ь2 = 0. Тогда при а = 0 должно быть Ь = 0. Вводя в решениях (12) и (19) единое обозначение констант и минимизируя их число, общее экспоненциальное решение первого уравнения системы (1), не противоречащее условиям (2), можно записать в следующем виде:
'х(у) = кеах+Ьу + д,
1(г],1л,и) =1(1л,р)еах+ы1, (20)
Ж7!, V) = -дШ, + ~р(/л, V),
где а2 + Ъ2 ф 0, к ф 0, Цр, г/) ф 0.
Соединяя выражения (9), (16) и (18), получим линейное решение первого уравнения системы (1), в котором функция х не зависит от переменной х:
х = ду +
(21)
Решение (21) можно включить в решение (15) на основаниях, аналогичных объединению решений (19) и (12):
х = ах + Ъу + д, 1 = (22) = V)« + Щ) + V),
где а2 + Ъ2 ф 0, ((/л, и) ф 0.
Заметим, что общее линейное решение (22) первого уравнения системы (1), как и его общее экспоненциальное решение (20), не противоречит условиям (2). В совокупности же эти решения составляют общее решение первого уравнения системы (1). Для того чтобы найти общее невырожденное решение системы (1), необходимо общие решения (20) и (22) ее первого уравнения подставить в ее второе уравнение. Сначала во второе уравнение системы (1) подставим решение (20)
[кеах+Ъу + д)Щ + уЦр, г/)еа?+ь,? + V = Х2{х + С, у + г?, /х, г/). (23)
Производные левой части уравнения (23) по переменным х и очевидно, совпадают:
аНеах+ЬуТ] + у^/л, и)еа^+ы> = [кеах+Ъу + д)щ + ауЦ», г/)еа?+ь,? +
Фиксируя в этом равенстве переменные п, V, сначала получим уравнения для функции у, используя которое затем из того же равенства получаем уравнения для функций г} и V. В итоге имеем систему уравнений ух — ау = сНеах+Ьу + с?, г^ — ату = с((/л, и)еа^+Ьг>1 + дг]^ = (1((/л, и)еа^+Ьг> со следующими решениями:
у = с1гхеах+Ьу + у(у)еах — (1/а,
т? = + т?(т?,/х,г/)еа«, (24)
17 = (—дс£ + (1/а)£(р, ь>)еа^+Ь11 — дг}(г], ¡л, ь>)еа^ +Т?(г), ¡л, и),
если а = 0 и
у = (с1геЬу + й)х + у (у),
г} = 1у)£еЬг1 + "77(77, /х, г/), (25)
чг7 = (-0с + сГ)£(/х, и)(еЬг] - дг](г], /л, и) + й(г], /л, г/),
если а = 0, причем Ь = 0, так как а2 + Ь2 = 0.
В уравнение (23), полагая а = 0, подставим выражения (24):
сЩ/л, и)(х + + г/)^
+ Щ(г], /л, г/)еЬу)еа(ж+?) + г/(ту, /л, V) = %2(ж + у + ту, /л, г/). (26)
Производные левой части уравнения (26) по переменным у и п, очевидно, совпадают:
СУ'(УШ^ + Ыщ(г}, ¡л, и)еЬу)еа(-х+^
= ШуШ^ + Щ„(г1,»,и)еьУ)е«х+П
откуда для функций у (у), 77(77, ¡л, и), и(г], ¡л,и) получаем уравнения у'(у) — Ьу(у) = 7¡геЬу, г]Г1(г], /л, и) — Ьг](г], /л, г/) = и)еЬг], Т'Г](г], /л, г/) = 0 со следующими решениями:
'у (у) = 7 Нуе*" + (ЗеЬу,
Т](г],[л,1у) = и)г]еЬг] + г}(¡л, и)еЬг], (27)
которые являются также и решениями функционального уравнения (26).
Объединяя выражения (24) и (27), получим решения исходного функционального уравнения (23) для случая а = 0
'у = {Н{сх + 7У) + /З)еах+Ьу - й/а,
V = "Ш + IV) + Ч», »))еа^+Ъг1, (28)
? = + ^г]) + (Щ(1л,и)/а - дг](1л,и))еа^ (/л, и).
В уравнение (23) с а = 0 подставим выражения (25):
hc4(p, u)(x + £)eb(-y+r>) + hrj(r), ¡л, u)eby + u)(x +
+ v(v)£(ß, v)ebv + Hv, fJ-, v) = x2(% + £,y + V,ß, v).
(29)
Производные левой части уравнения (29) по переменным y и п, очевидно, совпадают:
hbrj^ß,^ + у'(y)l(ß,v)e^
= hrjv(r], /л, v)eby + bdlip, v){x + 0еЬг] + ЩуШ», ^ + Щкп,
откуда выводим, что d = 0, так как 6/0, £(//, и) ф 0, и для функций у{у), rj(r], ¡л, v), V(г],/л,и) получаем уравнения у'(у)—Ьу(у) = ^heby+a, rjv(r], ¡л, и)—Щ(г], /л, v) = ь/)еЫ], vv(r], /л, ь>) = a((ß,u)ebv со следующими решениями:
'у(у) = 7hyeby + ße^ - a/b,
г](rj,ß,v) = г/)т?еь,? + rj(pi, г/)еь,?, (30)
V{rj, ¡л, и) = г/)еь,?/6 + V(p, и),
которые удовлетворяют также и уравнению (29) с d = 0. Соединяя выражения (30) с выражениями (25), в которых должно быть d = 0, получаем решение уравнения (23) при a = 0
у = (h(cx + 7 у) + ß)eby — a/b,
rj = (ЩиМ + ^+^и^, (31)
У = + in) + а((/л, v)/b - grfiti, + V(ß, v).
Решение (31) можно включить в решение (28), введя единое ограничение а2 + Ь2 = 0 и переобозначения й ^ — аа, а/Ь ^ —а,
'у = ((/г(сж + 7 у) + /3) + /З)еах+Ьу + а,
V = + -у»7) + (32)
^ = + IV) +а)+ дг}(Р, ^))еа?+ь'7 + г/).
Соединяя общие решения (20) и (32) первого и второго уравнений системы (1), получим ее общее экспоненциальное решение (3). Дополнительные ограничения в нем (а^ — Ьс ф 0, д(]1(1л,и))/д(1л,и) ф 0) определяются условиями (2) его невырожденности, а компоненты х1 и X2 масштабной функции х находятся его подстановкой в соответствующие функциональные уравнения системы (1).
Подставим теперь во второе уравнение системы (1) общее решение (22) ее первого уравнения:
(ах + Ьу + д)г} + и) + V = %2(ж + у + г], ц, и). (33)
Производные левой части уравнения (33) по переменным х и очевидно, совпадают:
Щ + УтЛ(Р, = (ах + Ъу + д)щ +г7?,
откуда для функций у, ту, V получаем систему уравнений ух = с(ах + Ьу + д) + Л,, ту^ = = аг] + /&£(//, и) со следующим решением:
у = асх2/2 + Ъсху + (дс + К)х + у (у),
г? = + г?(г?, ц, г/), (34)
^ = ас{(/х, г/){2/2 + г/) + ат?(т?, /х, + й(г], /л, г/),
(35)
которое подставим в исходное уравнение (33)
г/)(ж + С)2/2 + (^(/х, и)(Ьсу + дс + К) + ат?(т?, ц, г/)) (ж + £) +(6у + д)г}(г], /х, г/) + ^(/х, г/)у(у) + й(г], /х, и) = %2(ж + у + г], /х, г/).
Производные левой части уравнения (35) по переменным у и п, очевидно, совпадают:
откуда для функций у(у), 77(77, /х, г/), 77(77, /х, г/) получаем систему уравнений у'(у) = 7(Ьу + (?) + /3, ?у7?(ту, /л, и) = г/), й7](г], /л, и) = (3((/л, и) + 677(77, /л, и) со следующим решением:
'у(у) = &7У2/2 + (Ь + 57)2/ + а,
Ж»7> = г/)т? + т7(/х, г/), (36)
77(7?, /х, г/) = £(//, и)(Ь^г]2/2 + /Зту) + Ь7?(/х, и)г] + Т7(р,, г/),
в котором имеет место связь констант
а7 — Ьс = 0. (37)
Выражения (34) дополним выражениями из решения (36): у = асх2/2 + бсжу + &7у2/2 + (Л, + дс) ж + (/3 + 5*7)2/ + ск,
^ = £(/^)(с£ + 77?) +Д(/х,г/), (38)
= £(//, г/)(ас{2/2 + Ьс^т] + &77?2/2 + + /Зту) + ту(//, г/)« + Ьту) + !7(/х, г/).
В совокупности общие решения (22) и (38) первого и второго уравнений системы (1) представляют собой ее общее линейное решение (4). Дополнительные к связи (37) ограничения в нем (в частности, ав — Ыг = 0) вытекают из условий (2) его невырожденности, а компоненты масштабной функции % = (х1,х2) находятся его подстановкой в каждое из уравнений системы (1), что и завершает доказательство теоремы. >
3. Заключение
Поставленная выше задача полностью решена. Найдено общее невырожденное решение системы функциональных уравнений (1), которое можно записать в компактной форме, используя замену координат ж, у, г] и функций ж, у, г?, /I, ь>. Из этих форм выпишем явно только краткие выражения для функций ж и у.
Экспоненциальное решение
х = ех, у = уех
получается при следующей замене: ах + Ьу —> х, сх + 7у + /5//г —> у, (ж — д)/Н —> ж,
Линейное решение
ж = ж, у = 5х2 + у
получается при следующей замене: ах+Ьу+д —> ж, /г,ж+/?у+а: —> у, ж —> ж, у+<5д2 —)• у, где коэффициент 5 отражает связь векторов (с, 7) и (а, Ь) по формуле сх + 7у = 2£(ах + Ьу).
Литература
1. Михайличенко Г. Г. Групповая симметрия физических структур.—Барнаул: Барн. гос. пед. ун-т, 2003.-203 с.
2. Михайличенко Г. Г. Двуметрические феноменологические структуры ранга (п+1, 2) // Сиб. матем. журн.—1993.—Т. 34, № 3.—С. 132-143.
3. Кулаков Ю. И. Математическая формулировка теории физических структур // Сиб. матем. журн.—1971.—Т. 12, № 5.—С. 1142-1145.
4. Михайличенко Г. Г. Решение функциональных уравнений в теории физических структур // Докл. АН СССР.—1972.—Т. 206, № 5.—С. 1056-1058.
5. Кыров В. А. О вложении двуметрических феноменологически симметричных геометрий // Вестн. Томск. гос. ун-та. Матем. и мех.—2018.—№ 56.—С. 5-16. Б01: 10.17223/19988621/56/1.
6. Богданова Р. А., Михайличенко Г. Г., Мурадов Р. М. Последовательное по рангу (п + 1, 2) вложение двуметрических феноменологически симметричных геометрий двух множеств // Изв. вузов. Матем.—2020.—№ 6.—С. 9-14. Б01: 10.26907/0021-3446-2020-6-9-14.
7. Кыров В. А., Михайличенко Г. Г. Вложение аддитивной двуметрической феноменологически симметричной геометрии двух множеств ранга (2, 2) в двуметрические феноменологически симметричные геометрии двух множеств ранга (3, 2) // Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки.—2018.—Т. 28, № 1.—С. 305-327. Б01: 10.20537/уш180304.
8. Кы1ров В. А. Двуметрические пространства // Изв. вузов. Матем.—2005.—№ 8.—С. 27-38.
9. Кы1ров В. А., Михайличенко Г. Г. Невырожденные канонические решения одной системы функциональных уравнений // Изв. вузов. Матем.—2021.—№ 8.—С. 46-55. Б01: 10.26907/0021-3446-20218-46-55.
10. Кыров В. А., Михайличенко Г. Г. Невырожденные канонические решения некоторой системы функциональных уравнений // Владикавк. матем. журн.—2022.—Т. 24, № 1.—С. 44-53. Б01: 10.46698/и7680-5193-0172-а.
Статья поступила 28 июня 2023 г.
Богданова Рада Александровна Горно-Алтайский государственный университет, доцент кафедры математики, физики и информатики РОССИЯ, 649000, Горно-Алтайск, ул. Ленина, 1 E-mail: [email protected] https://orcid.org/0000-0002-1306-6426
Vladikavkaz Mathematical Journal 2024, Volume 26, Issue 1, P. 56-67
GENERAL NONDEGENERATE SOLUTION OF A SYSTEM OF FUNCTIONAL EQUATIONS
Bogdanova, R. A. and Mikhailichenko, G. G.
1 Corno-Altaisk State University, 1 Lenin St., Gorno-Altaisk 649000, Russia E-mail: [email protected]
Abstract. Systems of functional equations of the form f (x,y,£,fj, p,,P) = x(g(x,y, £, n), M, v) with six unknown functions X, y, £, n, M, ^ arise when establishing the mutual embedding of two-metric phenomenologically symmetric geometries of two sets (TPhS GTS). When establishing an embedding of an additive TPhS GTS of rank (2, 2) with a known vector function g(x, y, n) = (g1, g1) = (x + y + n) into a dual GDM DFS of rank (3, 2) with a known vector function f (x, y, £, n, M, v) = (f1, f2) = (x£ + M, xn + y£ + v) the explicit form of the system of two functional equations is as follows: x£ + ~jl = xX(x + £,,y + rj,fj,,u), xfj+y£, + i' = X2 (x + £, y + r), fj,, v). This system of two functional equations is solvable because the expressions for the vector functions g and f in the system are known. To find a general nondegenerate solution to a given system of functional equations, it is necessary to develop a solving method, which is an interesting and meaningful mathematical problem. The basis of the method is the differentiation of one of the functional equations included in the system, followed by the transition to differential equations. Further, the solutions of the differential equations are substituted into the second functional equation of the original system of functional equations, from which, under appropriate restrictions, its general nondegenerate solution is found. This method can be developed and applied to other systems of functional equations of the same type that arise in the framework of the TPhS GTS embedding problem in order to find their general nondegenerate solution.
Keywords: geometry of two sets, sequential in rank embedding, system of functional equations, general nondegenerate solution of a system of functional equations, system of differential equations.
AMS Subject Classification: 51K99, 34K99.
For citation: Bogdanova, R. A. and Mikhailichenko, G. G. General Nondegenerate Solution of a System
of Functional Equations, Vladikavkaz Math. J., 2024, vol. 26, no. 1, pp. 56-67 (in Russian). DOI: 10.46698/ a1434-0819-2118-p.
References
1. Mikhailichenko, G. G. Gruppovaya Simmetriya Fizicheskih Struktur [Group Symmetry of Physical Structures], Barnaul, BGPU, 2003, 203 p. (in Russian).
2. Mikhailichenko, G. G. Dimetric Physical Structures of Rank (n + 1, 2), Siberian Mathematical Journal, 1993, vol. 34, no. 3, pp. 513-522. DOI: 10.1007/BF00971227.
3. Kulakov, Yu. I. A Mathematical Formulation of the Theory of Physical Structures, Siberian Mathematical Journal, 1971, vol. 12, no. 5, pp. 822-824. DOI: 10.1007/BF00966522.
4. Mikhailichenko, G. G. The Solution of Functional Equations in the Theory of Physical Structures, Doklady Akademii Nauk, 1972, vol. 206, no. 5, pp. 1056-1058 (in Russian).
5. Kyrov, V. A. On the Embedding of Two-Dimetric Phenomenologically Symmetric Geometries, Vestnik Tomskogo Gosudarstvennogo Universiteta. Matematika i Mekhanika, 2018, no. 56, pp. 5-16 (in Russian). DOI 10.17223/19988621/56/1.
6. Bogdanova, R. A., Mikhailichenko, G. G. and Muradov, R. M. Successive in Rank (n +1, 2) Embedding of Dimetric Phenomenologically Symmetric Geometries of Two Sets, Russian Mathematics (Izvestiya VUZ. Matematika), 2020, no. 64, pp. 6-10. DOI: 10.3103/S1066369X2006002X.
7. Kyrov, V. A. and Mikhailichenko, G. G. Embedding of the Additive Two-Metric Phenomenologically Symmetric Geometry of Two Sets of Rank (2, 2) into the Two-Metric Phenomenologically Symmetric Geometries of Two Sets of Rank (3,2), Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Kompyuternye Nauki, 2018, vol. 28, no. 3, pp. 305-327 (in Russian). DOI: 10.20537/vm180304.
8. Kyrov, V. A. Two-Metric Spaces, Russian Mathematics, 2005, vol. 49, no. 5, pp. 25-35.
9. Kyrov, V. A. and Mikhailichenko, G. G. Nondegenerate Canonical Solutions of one System of Functional Equations, Russian Mathematics, 2021, vol. 65, no. 8, pp. 40-48. DOI: 10.3103/S1066369X21080053.
10. Kyrov, V. A. and Mikhailichenko, G. G. Nondegenerate Canonical Solutions of a Certain System of Functional Equations, Vladikavkaz Mathematical Journal, 2022, vol. 24, no. 1, pp. 44-53 (in Russian). DOI: 10.46698/u7680-5193-0172-d.
Received June 28, 2023
rada a. bogdanova
Gorno-Altaisk State University,
1 Lenin St., Gorno-Altaisk 649000, Russia,
Associate Professor
E-mail: [email protected]
https://orcid.org/0000-0002-1306-6426