ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ, 2023, том 59, № 12, с. 1619-1640
УРАВНЕНИЯ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ
УДК 517.957
О ТОЧНЫХ РЕШЕНИЯХ МНОГОМЕРНОЙ СИСТЕМЫ
ЭЛЛИПТИЧЕСКИХ УРАВНЕНИЙ
СО СТЕПЕННЫМИ НЕЛИНЕЙНОСТЯМИ
© 2023 г. А. А. Косов, Э. И. Семенов
Рассматриваются уравнения и системы эллиптического типа со степенными нелинейностя-
ми. Такие уравнения встречаются при моделировании распределённых формаций роботов,
в химической кинетике, в биологии, астрофизике и многих других областях. Изучается
задача построения многомерных точных решений. Предлагается использовать специаль-
ного вида анзацы, сводящие задачу к решению систем алгебраических уравнений. Получен
ряд многопараметрических семейств новых точных многомерных решений (как радиаль-
но симметричных, так и анизотропных), представимых явными формулами. Приводятся
примеры, иллюстрирующие найденные точные решения.
DOI: 10.31857/S037406412312004X, EDN: NVACCC
Введение. В последнее десятилетие наметился существенный прогресс в направлении
развития техники, связанном с использованием организованных управляемых групп роботов,
называемых формациями, широко применяемым во многих областях. К числу характерных
представителей таких формаций относятся группы автономных мобильных роботов, стаи и
рои беспилотных летательных аппаратов и т.п. В недавнем подробном (181 источник в списке
литературы) обзоре [1] отмечается, что теоретические научные исследования роевой робототех-
ники нацелены в основном на математическое моделирование поведения роя. Дифференциаль-
ные уравнения в частных производных начали использоваться при моделировании движения
формаций подвижных объектов с распределёнными характеристиками. В работе [2] приводит-
ся одномерное уравнение в частных производных Фоккера-Планка, описывающее диффузию
плотности агентов, а для описания изменения плотности роя используется линейное одномер-
ное уравнение реакции-диффузии. В статье [3] для моделирования формации с управлением
по принципу отклонения от движения лидера применялось одномерное уравнение параболи-
ческого типа.
В обзоре [4] отмечается, что в последние годы при моделировании роевой робототехники
стали использоваться уравнения в частных производных, однако одна из основных проблем
при этом заключается в том, что находить точные решения удаётся только в небольшом числе
специальных случаев. Ранее нами [5] была предложена математическая модель процесса рас-
пространения двух взаимодействующих распределённых формаций роботов с некоторой базы
в окружающее пространство, описываемая системой двух уравнений параболического типа.
Были построены параметрические семейства точных решений, которые можно использовать
для отыскания законов управления граничными условиями, обеспечивающих распространение
формаций на область заданных размеров за заданное время. Если же плотности на границе
будут поддерживаться постоянными, то с течением времени плотности формаций, удовлетво-
ряющие параболической системе, могут стабилизироваться на стационарных решениях, кото-
рые удовлетворяют эллиптической системе. Поэтому точные решения эллиптической системы,
соответствующей стационарному случаю предложенной в [5] модели взаимодействующих фор-
маций с распределёнными параметрами, описываемых параболической системой, представля-
ют несомненный интерес для роевой робототехники. Кроме того, эллиптические системы и
отдельные уравнения такого степенного вида встречаются во многих других моделях и при-
кладных задачах. Построение многомерных точных решений таких эллиптических систем и
отдельных уравнений со степенными нелинейностями и рассматривается в данной статье.
1619
1620
КОСОВ, СЕМЕНОВ
1. Изучаемые уравнения и постановка задачи. Будем рассматривать задачу постро-
ения точных многомерных решений нелинейной системы двух эллиптических уравнений вида
ΔU = αUp + γUa1Vb1, ΔV = βVq + δUa2Vb2,
(1)
где U = U(x), V = V (x) - искомые функции, x Rn, n 2; Δ - оператор Лапласа в
Rn; p, q, a1, a2, b1, b2 - параметры нелинейности; α, β, γ = 0, δ = 0 - произвольные
коэффициенты. Система (1) является стационарным аналогом нелинейной эволюционной мо-
дели реакции-диффузии, в которой члены γUa1 Vb1 и δUa2 Vb2 отвечают за взаимодействие
(реакцию). В статье будут также представлены результаты по построению точных решений
отдельных эллиптических уравнений со степенной нелинейностью следующих видов:
ΔU = αUλ,
(2)
ΔU = αUλ + γU2λ-1,
(3)
которые получаются из системы (1) при некоторых значениях коэффициентов. В уравнениях
(2), (3) предполагается, что λ = 1, в противном случае они становятся линейными и в рамках
данного исследования интереса не представляют.
Актуальность построения точных многомерных решений нелинейной системы (1) и урав-
нений (2), (3), помимо ценности и значимости самих точных решений, обусловлена также
широким спектром применения указанных уравнений и систем в различных областях физики
и механики. Например, (2) является стационарным аналогом параболического уравнения Фуд-
житы [6] и встречается в теории горения и теории массопереноса с объёмной реакцией λ-го
порядка в плоском случае [7, с. 5, 57]. Уравнение (2) с λ = λ, где
n+2
λ =
,
(4)
n-2
встречается в огромном количестве публикаций, так как λ является критическим показате-
лем Соболева [8] с точки зрения вложения H10(Ω) ⊂ Lλ (Ω), где Ω - ограниченная область
в Rn, n 3, в которой задано уравнение (2) с α = -1. Отметим, что в этой статье мы
построим точное многомерное радиально-симметричное решение уравнения (2) с λ = λ для
любого n > 2 и анизотропное по пространственным переменным точное решение для показа-
теля λ = (m + 2)/(m - 2), m n, m = 2. В случае λ = 2 и n = 2 уравнение (2) описывает
пространственные околозвуковые течения идеального политропного газа [9, 10]. В статье [10]
отмечается, что уравнение (2) с параметром λ = 2 представляет определённый интерес и
с точки зрения теории нелинейных уравнений как уравнение с ведущим чётным нелиней-
ным оператором. Уравнение (2) в литературе иногда называют уравнением Эмдена-Фаулера
(Лейна-Эмдена), при отрицательных λ - сингулярным уравнением Эмдена-Фаулера, точные
радиальные решения которого для некоторых значений λ представляют интерес в астрофи-
зике [11, 12]. В случае λ = -1 получим уравнение, которое возникает при исследовании одной
нелинейной системы двух параболических уравнений четвёртого порядка [13] (см. пример 4).
Уравнение (2) с показателем λ = 5 исследовалось в работе [14]. При λ = 2 старшая степень
в правой части уравнения (3) будет третьей, такого рода нелинейности встречаются в популя-
ционной динамике, когда рассматриваются кубические функции роста [15, 16]. В статье [17]
рассматривалось уравнение
-ΔU = Us + εUr, s = λ,
1 < r < s, n 3,
которое получается из уравнения (3) в случае λ = r = n/(n - 2), α = -1, β = -ε. Отдельное
внимание в [17] уделено случаю s = 5 и r = 3, возникающему при рассмотрении задачи в
трёхмерном координатном пространстве (n = 3).
Так же как и отдельные уравнения (2), (3), нелинейная эллиптическая система (1) встре-
чается во многих задачах физики и биологии. Теория реакции-диффузии для формирования
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
О ТОЧНЫХ РЕШЕНИЯХ МНОГОМЕРНОЙ СИСТЕМЫ
1621
биологических паттернов была применена А. Тьюрингом в его основополагающей работе о хи-
мических основах морфогенеза [18]. Эта теория получила большое развитие и теперь для задач
математического моделирования паттернов используются различные вариации безразмерной
двухвидовой модели Тьюринга [19]
Ut = ΔU + f(U,V ), Vt = ΔV + g(U,V ).
(5)
Система (1) является стационарным аналогом модели Тьюринга (5), в случае когда кине-
тические члены реакции f, g задаются степенными функциями. Во многих публикациях
встречается нелинейная система вида
ΔU = γVa, ΔV = δUb,
(6)
которую называют расширением (обобщением) уравнения Эмдена-Фаулера [20, 21]. Если в (1)
положить α = β = 0, a1 = b2 = 0, a2 = b1 = 1/2, то получим частный случай системы
(6) вида ΔU = γV1/2, ΔV = δU1/2. Важным источником систем эллиптических уравнений
типа (1) являются нелинейные системы параболических уравнений со степенными нелинейно-
стями. Так, при условии λ = -1, μ = -1, полагая в формулах (1)
1
1
μ
1
λ
1
p=
,
a1 =
,
b1 =
,
q=
,
a2 =
,
b2 =
,
1+λ
1+λ
1+μ
1+μ
1+λ
1+μ
получаем систему вида
ΔU = U(1)/(1+λ)(αUλ/(1+λ) + γVμ/(1+μ)), ΔV = V(1)/(1+μ)(δUλ/(1+λ) + βVμ/(1+μ)),
(7)
возникающую при исследовании стационарных решений параболической системы двух нели-
нейных уравнений
ut = ∇ · (uλ∇u) + au1vμ- cu, vt = ∇ · (vμ∇v) + buλv1- dv.
(8)
Систему (8) можно использовать [5] в качестве математической модели распространения вза-
имодействующих распределённых формаций автономных роботов с некоторой базы в окружа-
ющее пространство (при n = 3) или на прилегающую территорию (при n = 2). При этом
u(x, t), v(x, t) трактуются как плотности формаций. Параболические системы вида (8) опи-
сывают также процессы нелинейной диффузии в реагирующих двухкомпонентных сплошных
средах [22-26], где u = u(x, t), v = v(x, t) - функции, которые можно трактовать как кон-
центрации взаимодействующих друг с другом компонентов некоторой смеси веществ; -
градиент; a, b, c, d - некоторые параметры, знаки которых характеризуют либо расхо-
дование, либо синтез компоненты смеси в ходе реакции. Стационарные решения u(x), v(x)
удовлетворяют следующей системе уравнений:
0 = ∇ · (uλ∇u) + au1vμ- cu,
0 = ∇ · (vμ∇v) + buλv1- dv.
(9)
Нелинейная эллиптическая система (7) получается из (9) преобразованием u1+λ = U, v1+μ =
= V при условии λ = -1, μ = -1. Отметим, что в статье [27] исследовался частный случай
системы (8) при c = d = 0, для которой строились точные многомерные решения с использо-
ванием конструкции
1
W (x) =
(Ax, x) + (B, x) + C, x Rn.
(10)
2
Как будет показано ниже, конструкцию вида (10) можно использовать для построения точных
многомерных решений уравнений (2), (3) и нелинейных эллиптических систем (7). Ранее [28-
30] функция W (x) уже использовалась нами при построении точных многомерных решений
уравнения нелинейной теплопроводности, систем реакции-диффузии и системы нелинейных
уравнений в частных производных первого порядка методом обобщённого разделения перемен-
ных. Отметим также, что при равенствах λ = -1 и μ = -1 система уравнений (9) сводится
3
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
1622
КОСОВ, СЕМЕНОВ
к системе с экспоненциальными нелинейностями, точные решения которой построены в рабо-
те [31].
Пусть p = 1, q = 1, тогда для построения точных решений системы (1) и отдельно
каждому из уравнений (2), (3) будем использовать метод редукции и степенные анзацы
U (x) = [W1(x)]l, V (x) = [W2(x)]k
(11)
с квадратичными функциями
1
Wi(x) =
(Aix, x) + (Bi, x) + Ci, i = 1, 2, x Rn.
(12)
2
При этом ненулевые числовые симметрические матрицы Ai размера n × n, постоянные век-
торы Bi Rn и константы Ci R, i = 1, 2, подлежат определению. Очевидно, что анзацы
(11) будут удовлетворять системе (1) не для всех значений параметров p, q, ai, bi, l, k.
Чтобы осуществить редукцию к алгебраическим уравнениям, для нахождения коэффициен-
тов функций (12) должны выполняться следующие равенства:
pl + 2 - l = 1 или pl + 2 - l = 0,
(13)
qk + 2 - k = 1 или qk + 2 - k = 0,
(14)
l-2
1
1
k-2
a1 =
,
b1 =
,
a2 =
,
b2 =
(15)
l
k
l
k
C учётом формул (13)-(15) получим четыре вида различных систем, для которых можно осу-
ществить необходимую редукцию с использованием анзацев (11). Так, для первых равенств
соотношений (13), (14) с учётом формул (15) система (1) запишется как
I. ΔU = αUp + γU2p-1V1-q, ΔV = βVq + δU1-pV2q-1,
(16)
при этом степенные анзацы для этой системы имеют вид
U (x) = [W1(x)]1/(1-p), V (x) = [W2(x)]1/(1-q).
(17)
Для трёх оставшихся возможных случаев система (1) получит следующие варианты правых
частей и соответствующие им анзацы:
II. ΔU = αUp + γU2p-1V(1-q)/2, ΔV = Vq(β + δU1-p),
(18)
U (x) = [W1(x)]1/(1-p), V (x) = [W2(x)]2/(1-q);
III. ΔU = Up(α + γV1-q), ΔV = βVq + δU(1-p)/2V2q-1,
(19)
U (x) = [W1(x)]2/(1-p), V (x) = [W2(x)]1/(1-q);
IV. ΔU = Up(α + γV(1-q)/2), ΔV = Vq(β + δU(1-p)/2),
(20)
U (x) = [W1(x)]2/(1-p), V (x) = [W2(x)]2/(1-q).
Напомним, что в формулах (16)-(20) мы полагаем p = 1, q = 1. Значения p = 1, q = 1 также
представляют интерес, при этом функции F и G будут следующими: F (U, V ) = γU ln V,
G(U, V ) = δV ln U. В этом случае для построения точных решений системы
ΔU = αU + γU ln V, ΔV = βV + δV ln U
(21)
мы должны применять экспоненциальные анзацы
U (x) = exp(W1(x)), V (x) = exp(W2(x)),
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
О ТОЧНЫХ РЕШЕНИЯХ МНОГОМЕРНОЙ СИСТЕМЫ
1623
где функции Wi(x), i = 1, 2, задаются формулой (12). Положим p = 1/(1 + λ), λ = {-1; 0},
q = 1/(1+μ), μ = {-1;0}, тогда система (16) примет вид (7). Как уже было отмечено, система
вида (7) возникает при исследовании стационарных решений параболической системы (8) со
степенными нелинейностями. Из-за ограничения объёма статьи построение точных решений
проведём только для нелинейной системы вида (7) и отдельно для уравнений (2), (3), которые
получаются из (16) при определённых значениях параметров и коэффициентов.
Изложение результатов проведём последовательно: сначала будем искать точные много-
мерные решения нелинейных эллиптических уравнений (2), (3), затем перейдём к построению
точных многомерных решений нелинейной эллиптической системы (7).
2. Многомерные точные решения эллиптических уравнений со степенной нели-
нейностью. Используя конструкцию вида (10), построим точные многомерные решения эл-
липтических уравнений (2), (3) со степенной нелинейностью для параметра λ = 1.
Утверждение 1. Нелинейное эллиптическое уравнение (2) с параметром λ = 1 имеет
частное точное многомерное решение
[
]1/(1)
1
U (x) =
(Ax, x) + (B, x) + C
,
xRn,
(22)
2
где ненулевая числовая симметрическая матрица A, постоянный вектор B Rn и кон-
станта C ∈ R удовлетворяют алгебраической системе
2λ
2λ
λ
ΘA +
A2 = 0, ΘB +
AB = 0, ΘC +
B2 = 0,
(23)
1
1
1
где Θ = tr A - α(1 - λ), tr A - след матрицы A,
∥ · ∥ - евклидова норма в Rn.
Доказательство. Подставив функцию
U (x) = [W (x)]1/(1)
(24)
в уравнение (2), после элементарных преобразований придём к равенству
λ
WΔW +
∥∇W ∥2 - α(1 - λ)W = 0.
(25)
1
Пусть функция W (x) задаётся формулой (10), в которой матрица A является симметриче-
ской. В силу симметричности матрицы A из (10) прямым вычислением находим
∥∇W (x)2 = (A2x, x) + 2(AB, x) +B2, ΔW (x) = tr A.
(26)
С учётом соотношений (26), приравнивая выражения при одинаковых степенях x, равенство
(25) сводится к системе алгебраических уравнений (23). Утверждение доказано.
Рассмотрим разрешимость матричного уравнения (23) в классе вещественных матриц. От-
метим, что оно всегда имеет тривиальное решение A = 0, поэтому далее будем рассматривать
только нетривиальные решения этого уравнения в предположении tr A = 0.
Утверждение 2. Пусть Em - диагональная матрица, у которой на диагонали произволь-
ным образом расположены m ∈ {1,2,... ,n} единиц и n - m нулей. Тогда при выполнении
условия
(1 - λ)m + 2λ = 0
(27)
матрица
2
α(1 - λ)
A=νSEmSт, ν =
,
(28)
(1 - λ)m + 2λ
где S - произвольная ортогональная матрица, является решением матричного уравне-
ния (23).
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
3
1624
КОСОВ, СЕМЕНОВ
Доказательство. Пусть выполнено условие (27), тогда след матрицы A, определяемой
по формуле (28), имеет вид
tr A = mν ≡ αm(1 - λ)2/((1 - λ)m + 2λ).
С учётом этого соотношения матричное уравнение (23) запишется как νA = A2. Легко про-
верить, что решением этого матричного уравнения является A = νP, где P - произвольная
идемпотентная матрица, т.е. матрица, удовлетворяющая равенству P2 = P. Известно [32,
с. 196], что любую идемпотентную матрицу P можно записать как P = MEmM-1, где M -
произвольная невырожденная матрица порядка n, Em - диагональная матрица, у которой на
диагонали произвольным образом расположены m ∈ {1, 2, . . . , n} единиц и n - m нулей; Em
также является идемпотентной: E2m = Em. Поскольку нас интересуют только симметрические
матрицы A, то идемпотентные матрицы P мы должны взять также симметрическими, т.е.
P = SEmSт, где S - произвольная ортогональная матрица. Отсюда получим окончательный
вид матрицы A, определяемой формулой (28). Утверждение доказано.
Векторные уравнения (23) представляют собой системы n линейных однородных алгеб-
раических уравнений относительно компонент b1, . . . , bn искомого вектора B. Для любой
фиксированной матрицы (28) с rank A = m < n всегда существует нетривиальное решение
линейной однородной системы, причём компоненты b1, . . . , bm вектора B могут быть вы-
браны произвольно из m-мерного линейного многообразия. В случае когда rank A = m ≡ n,
т.е. при Em ≡ E, линейная однородная система уравнений имеет решение - произвольный
вектор B Rn. После того как последовательно найдены решения матричного и векторного
уравнений, постоянные C определяются из скалярных уравнений (23) единственным образом.
Замечание. Если m = 1, то условие (27) равносильно условию λ = -1. Следовательно,
если в уравнении (2) λ = -1, то в формуле точного решения (22) мы должны использовать
матрицу A с условием rank A > 1. Если m = 2, то условие (27) выполнено для всех λ. Если
m > 2, то условие (27) равносильно условию λ = m/(m-2). Следовательно, если в уравнении
(2) λ = m/(m - 2), m > 2, то в формуле точного решения (22) мы должны использовать
матрицу A, ранг которой не равен m. Если λ = n/(n - 2), n > 2, то в формуле точного
решения (22) мы должны использовать матрицу A, ранг которой меньше n и не равен m.
Следствие 1. Нелинейное эллиптическое уравнение (2) с параметром λ = 1, λ = n/(n -
- 2), n > 2, имеет частное точное радиально-симметричное решение
[
]1/(1)
2
α(1 - λ)
(1 - λ)n + 2λ
U (x) =
x2 + (b, x) +
b2
,
xRn,
2(1 - λ)n + 4λ
2α(1 - λ)2
где b Rn - произвольный постоянный вектор.
Покажем, что при некоторых значениях параметра λ уравнение (2) помимо решения (22)
обладает и другими точными решениями. Перед тем как сформулировать соответствующий
результат, введём для удобства матрицу En-m = E - Em, где E - единичная матрица.
Утверждение 3. Нелинейное эллиптическое уравнение
ΔU = αU(m+2)/(m-2),
(29)
где m ∈ N, m = 2, m n, имеет частное точное многомерное решение
]1-m/2
[ν
1
2α
U (x) =
(SEmSтx, x) + (B, x) +
B2 -
,
xRn.
(30)
2
2ν
νm(m - 2)
Здесь Em - диагональная матрица, у которой на диагонали произвольным образом располо-
жены m ∈ {1, 3, 4, . . . , n} единиц и n - m нулей; S - произвольная ортогональная матри-
ца; B - постоянный вектор, удовлетворяющий системе линейных алгебраических уравнений
SEn-mSтB = 0; ν = 0 - произвольный параметр.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
О ТОЧНЫХ РЕШЕНИЯХ МНОГОМЕРНОЙ СИСТЕМЫ
1625
Доказательство. Подстановкой U(x) = [Ω(x)]1-m/2, m = 2, уравнение (29) после эле-
ментарных преобразований сводится к равенству
m
2α
ΩΔΩ -
∥∇Ω2 +
= 0.
(31)
2
m-2
Так как
ν
1
2α
Ω(x) =
(SEmSтx, x) + (B, x) +
B2 -
,
2
2ν
νm(m - 2)
то прямым вычислением находим
∥∇Ω2 = ν2(SEmSтx, x) + 2ν(SEmSтB, x) +B2, ΔΩ = mν.
С учётом этих соотношений равенство (31) упростится и примет вид
(B, x) - (SEmSтB, x) = 0.
Для этого соотношения справедлива цепочка равенств
(B, x) - (SEmSтB, x) = (EB, x) - (SEmSтB, x) = (SESтB, x) - (SEmSтB, x) =
= (S(E - Em)SтB, x) = (SEn-mSтB, x) = 0.
Осталось показать, что система линейных уравнений SEn-mSтB = 0 является разрешимой.
Если m = n, то матрица коэффициентов этой системы является нулевой, следовательно, её
решением является произвольный вектор B. Если m < n, то rank SEn-mSт = n - m <
< n и для указанной системы алгебраических уравнений всегда существует нетривиальное
решение, причём компоненты b1, . . . , bn-m вектора B могут быть выбраны произвольно из
(n - m)-мерного линейного многообразия. Утверждение доказано.
Следствие 2. Пусть m = n, тогда из утверждения 3 следует, что нелинейное эллип-
тическое уравнение
ΔU = αU(n+2)/(n-2)
(32)
имеет частное точное радиально-симметричное решение
]1-n/2
[q
1
2α
U (x) =
x2 + (b, x) +
b2 -
,
x Rn, n > 2,
(33)
2
2q
qn(n - 2)
где b - произвольный постоянный вектор, q = 0 - произвольная постоянная.
Как было отмечено в п. 1, уравнение (32) встречается в огромном количестве публикаций,
так как показатель степени λ является критическим с точки зрения вложения Соболева. Ещё
одна интересная особенность показателя (4) состоит в том, что при построении радиальных
решений уравнения (2) соответствующее ему редуцированное обыкновенное дифференциаль-
ное уравнение (ОДУ) допускает разделение переменных только при значении λ = λ. Будем
отыскивать радиально-симметричные решения уравнения (2) в виде
)1/2
U (x) = U(ξ), ξ =x =
x2
(34)
i
i=1
После подстановки функции (34) в (2) и несложных преобразований придём к одной из форм
уравнения Эмдена-Фаулера
d2U(ξ)
n - 1 dU(ξ)
+
= αU(ξ)λ.
(35)
2
ξ
Отметим, что уравнение Эмдена-Фаулера в виде (35) приведено в справочнике [33, с. 497] и
статье [12], где оно записано для случая n = 3 и α = ±1. В [33, с. 497, 498] указаны два
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
1626
КОСОВ, СЕМЕНОВ
частных точных решения уравнения (35) для λ = 2 и λ = 5. Кроме того, при n = 3 заменой
U (ξ) = ξ-1V (ξ) ОДУ (35) запишется как
d2V (ξ)
= αξ1V (ξ)λ.
(36)
2
Уравнение Эмдена-Фаулера вида (36) встречается в монографии [34, с. 171] и справочнике [35,
с. 236]. ОДУ (35) является обобщённо-однородным и подстановкой U(ξ) = ξkU(η), где η = ln ξ,
k = -2/(λ - 1), приводится к автономному виду
d2U(η)
λ(n - 2) - (n + 2) dU(η)
2(λ(n - 2) - n)
+
=
U (η) + αU(η)λ,
2
λ-1
(λ - 1)2
а заменой dU(η)/dη = Y (U) сводится к ОДУ первого порядка
dY (U)
λ(n - 2) - (n + 2)
2(λ(n - 2) - n)
Y (U)
+
Y (U) =
U + αUλ.
dU
λ-1
(λ - 1)2
Видно, что это ОДУ является дифференциальным уравнением с разделяющимися переменны-
ми в случае λ(n - 2)- (n + 2) = 0, т.е. когда параметр λ задаётся соотношением (4). Положив
λ = λ, придём к следующей квадратуре:
dU
1
α(n - 2)
2n
=η+C2, a=
(n - 2)2, b =
,
k=
,
(37)
4
n
n-1
aU2 + bUk + C1
где C1, C2 - константы интегрирования. При C1 = 0 интеграл в формуле (37) легко вычис-
ляется:
2
(√a + bUk-2)
,
если U < 0,
dU
(k - 2)√aArth
√a
)
|U|
a + bUk-2
=⎪⎪
2
( √a + bUk-2
-
,
если U > 0.
(k - 2)√aArth
√a
В итоге мы получим частное точное решение уравнения (32), которое является частным слу-
чаем решения (33) при нулевом векторе b.
Теперь перейдём к построению точных многомерных решений нелинейного эллиптического
уравнения (3), для которого справедливо
Утверждение 4. Нелинейное эллиптическое уравнение (3) с параметрами λ = 1, αγ = 0
имеет частное точное многомерное решение (22), где ненулевая числовая симметрическая
матрица A, постоянный вектор B Rn удовлетворяют первым двум уравнениям алгебра-
ической системы (23), а константа C ∈ R находится из скалярного уравнения
λ
ΘC +
B2 - γ(1 - λ) = 0,
1
где Θ = tr A - α(1 - λ), tr A - след матрицы A.
Доказательство этого утверждения аналогично доказательству утверждения 1. Как видно,
результаты утверждений 1, 4 совпадают в случае γ = 0.
Следствие 3. Нелинейное эллиптическое уравнение (3) с параметрами λ = 1, λ =
= n/(n - 2), n > 2, αγ = 0 имеет частное точное радиально-симметричное решение
]1/(1)
2
[1 α(1 - λ)
(1 - λ)n + 2λ
γ((1 - λ)n + 2λ)
U (x) =
x2 + (b, x) +
b2 -
,
2 (1 - λ)n + 2λ
2α(1 - λ)2
2αλ
где b Rn - произвольный постоянный вектор.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
О ТОЧНЫХ РЕШЕНИЯХ МНОГОМЕРНОЙ СИСТЕМЫ
1627
В заключение этого пункта покажем, что степенной анзац вида (24) является не единствен-
ным, с помощью которого можно строить точные многомерные решения уравнения (2). Пусть
U = f(W) и аргумент W задаётся формулой (10), причём числовая симметрическая матрица
A, постоянный вектор B Rn и константа C ∈ R удовлетворяют алгебраической системе
σA - 2A2 = 0, σB - 2AB = 0, σC - |B|2 = 0,
(38)
где σ = 0 - произвольная постоянная. Тогда после подстановки функции U = f(W ) в урав-
нение (2) придём к равенству
d2f(W)
df(W )
σW
+τ
= α[f(W )]λ.
(39)
dW2
dW
Здесь τ ≡ tr A = const. Соотношение (39) можно рассматривать как ОДУ для определения
функции f(W ), которое является обобщённо-однородным. ОДУ (39) подстановкой f(W ) =
= W1/(1)g(ξ), ξ = lnW, λ = 1, приводится к автономному уравнению для функции g(ξ):
(
)
(
)
σ(1 + λ)
1
σλ
σg′′(ξ) +
+ τ g(ξ) = αgλ(ξ) -
+ τ g(ξ).
(40)
1
1
1
Легко видеть, что ненулевая константа g0, которая удовлетворяет равенству
(
)
1
σλ
αgλ0 -
+ τ g0 = 0,
1
1
является частным решением ОДУ (40). Определяя из этого равенства значение константы g0,
получаем по формуле f(W ) = g0W1/(1), λ = 1, частное точное решение ОДУ (39) вида
[
]1/(1)
2
α(1 - λ)
f (W ) =
W
(41)
σλ + (1 - λ)τ
Отметим, что решению (41) отвечает степенной анзац вида (24). Перейдём к поиску нетри-
виальных решений ОДУ (40), которое заменой g(ξ) = Z(g) сводится к уравнению Абеля
второго рода
(
)
1
σλ
σZ(g)Z(g) + εZ(g) = αgλ -
+τ g,
(42)
1
1
где ε = σ(1 + λ)/(1 - λ) + τ. Решения уравнения (42) в параметрическом виде для ε = 0 и
некоторых показателей λ приведены в справочнике [35, с. 70, 83]. Видно, что ОДУ (42) при
ε = 0 является уравнением с разделяющимися переменными. Равенство ε = 0 возможно в
двух случаях: 1) λ = -1 и τ = 0; 2) σ = τ(λ - 1)/(λ + 1), при этом λ = -1 и τ = 0.
В случае 1) всё сводится к следующей квадратуре:
∫ (
)-1/2
2α
1
Φ1(g)
ln g +
g2 + C1
dg = ξ + C2.
σ
4
Очевидно, что ни при каких значениях параметров α = 0, σ = 0 и постоянных C1, C2
из уравнения Φ1(g) = ξ + C2 функцию g(ξ) выразить не удастся и, следовательно, этот
случай интереса не представляет. Пусть имеет место случай 2), тогда уравнение (42) легко
интегрируется и мы придём к квадратуре
dg
2α
1
Φ2(g)
=ξ+C2, A=
,
B=
,
(43)
τ (λ - 1)
(λ - 1)2
Agλ+1 + Bg2 + C1
где C1, C2 - константы интегрирования. Очевидно, что интеграл в равенстве (43) вычисляется
только при некоторых значениях параметра λ = 1. При этом важно не только вычислить
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
1628
КОСОВ, СЕМЕНОВ
интеграл (43), но и из уравнения Φ2(g) = ξ + C2 выразить функцию g(ξ) в явном виде, а для
этого могут потребоваться дополнительные условия на постоянные τ, α, C1. Пусть C1 = 0,
тогда из соотношения (43) находим
[
(
)
)]1/(λ-1)
τ
(ξ
g1,2(ξ) =
Φ
+C2
-1
,
2α(λ - 1)
2
где Φ(·) = {th2(·), cth2(·)}. С учётом формулы f(W ) = g(ξ)W1/(1) имеем
[
(
)
)]1/(λ-1)
τ
(1
f1,2(W) =
Φ
ln W + C2
-1
2α(λ - 1)W
2
Так как U = f(W ), то в этом частном случае уравнение (2) с параметрами λ = ±1 обладает
частными точными многомерными решениями
[
]1/(λ-1)
[
]1/(λ-1)
χ
χ
U1(x) =
-
,
U2(x) =
,
(44)
(C3W (x) + 1)2
(C3W (x) - 1)2
где χ = 2(λ+1)σC3/(α(λ-1)2), C3 = exp(C2), C2 - произвольная постоянная, функция W (x)
задаётся формулой (10), а ненулевая числовая симметрическая матрица A, постоянный век-
тор B Rn и константа C ∈ R определяются из алгебраической системы (38) с постоянной
σ = 0. Заметим, что матричное уравнение системы (38) подобно матричному уравнению (23).
Используя утверждение 2, получаем, что решение матричного уравнения системы (38) зада-
ётся формулой
σ
A =
SEmSт,
2
где τ = mσ/2 - след матрицы A. C другой стороны, в рассматриваемом случае должно вы-
полняться равенство τ = (λ + 1)σ/(λ - 1). Сравнив два равенства для параметра τ, получим,
что показатель степени λ в этом случае задаётся соотношением λ = (m + 2)/(m - 2), m = 2.
Нетрудно показать, что переобозначением постоянных и несложными преобразованиями ре-
шения (44) можно свести к решению (30) из утверждения 3. Точные решения уравнения (2)
вида (44) имеют место для любого λ = ±1. При этом для некоторых конкретных значений
λ из формулы (43) можно найти точные решения с другой функциональной зависимостью.
Пусть, например, λ = 2, тогда трёхчлен в формуле (43) будет кубическим и дискриминант
кубического уравнения 2αg3 + g2 + C1 = 0 имеет вид D = -4C1(27α2C1 + τ2)/τ. В случае
D = 0 интеграл в формуле (43) легко вычисляется в элементарных функциях. Случай C1 = 0
был рассмотрен выше. Полагая C1 =2/(27α2), находим
[
)
]
τ
(1
g3(ξ) =
3 tg2
ξ+C2
+1 .
6α
2
При этом непосредственной проверкой можно убедиться в том, что решением уравнения (40)
будет также функция g3(ξ), в которой тангенс нужно заменить на котангенс. Здесь и далее
решение с котангенсом приводить не будем. Для функции g3(ξ) получим следующее частное
точное решение ОДУ (39):
[
)
]
τ
(1
f3(W) =
3 tg2
ln W + C2
+1 .
6αW
2
Так как λ = 2, то из равенства σ = τ(λ - 1)/(λ + 1) получим τ = 3σ. Помимо приведён-
ного решения в элементарных функциях, можно также записать решение уравнения (39) с
использованием эллиптического синуса Якоби. Легко проверить, что функция
[
]
6σ
4b2(k2 + 1) + 1
f4(W) =
b2k2 sn2(bln W + C2,k) -
αW
12
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
О ТОЧНЫХ РЕШЕНИЯХ МНОГОМЕРНОЙ СИСТЕМЫ
1629
является точным решением уравнения (39), где sn( · , k) - эллиптический синус Якоби, а ве-
щественный модуль k = 0 и произвольная вещественная постоянная b = 0 удовлетворяют
равенству
16b4(k4 - k2 + 1) - 1 = 0.
(45)
Теперь мы должны предъявить нетривиальное решение алгебраической системы (38) с
дополнительным условием σ = τ/3, с учётом которого из равенства τ = mσ/2 имеем m = 6.
Таким образом, в этом случае мы можем записать явные точные решения уравнения
2U
2U
2U
+
+...+
= αU2, U = U(x), x Rn, n 6,
(46)
∂x21
∂x22
∂x2n
причём при n = 6 получим радиально-симметричные точные решения, а в случае n > 6 -
анизотропные решения уравнения (46). Пусть n = 7 и матрица A имеет вид
1/2
0
0
0
0
0
0
0
1/2
0
0
0
0
0
0
0
1/2
0
0
0
0
A = σ
0
0
0
1/2
0
0
0
0
0
0
0
221/450
-14/225
1/45
0
0
0
0
-14/225
29/450
7/45
0
0
0
0
1/45
7/45
4/9
Тогда по формуле (10) запишем функцию W (x), x R7 :
[
σ
W (x1, x2, x3, x4, x5, x6, x7) =
225(x21 + x22 + x23 + x24) +
900
]
+ 221x25 + 29x26 + 200x27 - 56x5x6 + 20x5x7 + 140x6x7 .
(47)
Здесь, для краткости, компоненты вектора B и константу C положили равными нулю. Окон-
чательно получим, что нелинейное эллиптическое уравнение (46) в случае n = 7 имеет сле-
дующие точные анизотропные решения:
σ 3tg2(0.5lnW(x) + C2) + 1
U3(x) =
,
2α
W (x)
[
]
6σ
4b2(k2 + 1) + 1
U4(x) =
b2k2 sn2(bln W(x) + C2,k) -
,
αW (x)
12
где σ = 0, C2, C3 = 0 - произвольные постоянные, а ненулевые константы b и k удовлетво-
ряют равенству (45).
Помимо этих решений можно также записать точное решение уравнения (46) с использо-
ванием функции (41):
α
U5(x) = -
σW(x)
В формулах точных решений U1(x) - U4(x) функция W (x) определяется соотношением (47).
Пусть m = n = 6, тогда имеем
σ
W0(x) =
(x21 + x22 + x23 + x24 + x25 + x26).
4
С функцией W0(x) решения U3(x) - U5(x) уравнения (46) являются радиально-симметрич-
ными в 6-мерном координатном пространстве.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
1630
КОСОВ, СЕМЕНОВ
Таким образом, мы показали, что для построения точных решений уравнения (2) можно
использовать не только степенной анзац U = [W ]1/(1), но и анзац вида U = f(W ), где
функция f(W ) удовлетворяет ОДУ (39). Отметим также, что анзац вида U = f(W ) можно
применять и для уравнения (3). В этом случае если коэффициенты функции (10) удовлетворя-
ют алгебраической системе (38), то для определения функции f(W ) мы получим следующее
дифференциальное уравнение:
d2f(W)
df(W )
σW
+τ
= α[f(W )]λ + γ[f(W )]2λ-1.
(48)
dW2
dW
Заметим, что ОДУ (48) уже не является обобщённо-однородным ни при каких λ = 1. Более
того, для нелинейной системы (16) помимо степенных анзацев (17) можно также использо-
вать анзацы U = f(W ), V = g(W ), где аргумент W задаётся формулой (10), причём ко-
эффициенты функции W удовлетворяют алгебраической системе (38), а неизвестные f, g
удовлетворяют системе ОДУ
d2f(W)
df(W )
σW
+τ
= α[f(W )]p + γ[f(W )]2p-1[g(W )]1-q,
dW2
dW
d2g(W)
dg(W )
σW
+τ
= β[g(W)]q + δ[f(W)]1-p[g(W)]2q-1,
(49)
dW2
dW
но это предмет отдельного исследования. В конце статьи мы только приведём пример точного
решения системы (16), которое будет построено с использованием анзацев U = f(W ), V =
= g(W) и соответственно системы ОДУ (49).
3. Многомерные точные решения нелинейных эллиптических систем. Далее, ис-
пользуя конструкцию вида (10), построим точные многомерные решения нелинейной эллип-
тической системы (7).
Утверждение 5. Нелинейная эллиптическая система вида (7) с параметрами λ = -1,
λ = 0, μ = -1, μ = 0 обладает точным многомерным решением
U (x) = [W1(x)](1+λ), V (x) = [W2(x)](1+μ),
(50)
где функции Wi(x) задаются формулой (12), причём числовые симметрические матрицы
Ai, постоянные векторы Bi Rn и константы Ci R, i = 1,2, удовлетворяют системе
алгебраических уравнений
2
γλ
2
δμ
A1Θ1 +
A21 -
A2 = 0, A2Θ2 +
A22 -
A1 = 0,
λ
1+λ
μ
1+μ
2
γλ
2
δμ
B1Θ1 +
A1B1 -
B2 = 0, B2Θ2 +
A2B2 -
B1 = 0,
λ
1+λ
μ
1+μ
1
γλ
1
δμ
C1Θ1 +
|B1|2 -
C2 = 0, C2Θ2 +
|B2|2 -
C1 = 0,
(51)
λ
1+λ
μ
1+μ
где введены обозначения
αλ
βμ
Θ1 = tr A1 -
,
Θ2 = tr A2 -
(52)
1+λ
1+μ
Доказательство утверждения 5 повторяет схему доказательства утверждения 1, поэтому
приводить его не будем.
Утверждение 6. Система матричных уравнений (51) обладает частным решением
(
)
ν
(1 + λ)( + 2)
A1 = νSEmSт, A2 =
ν-α SEmSт,
(53)
γ
λ2
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
О ТОЧНЫХ РЕШЕНИЯХ МНОГОМЕРНОЙ СИСТЕМЫ
1631
где S - произвольная ортогональная матрица, Em - диагональная матрица, у которой на
диагонали произвольным образом расположены m ∈ {1,2,... ,n} единиц и n - m нулей, а
параметр ν = 0 является вещественным корнем кубического уравнения
(
)2(
)
(
)(
)
(1 + λ)2
2
2
2α(1 + λ)
2
2
m+
m+
ν3 -
m+
m+
ν2 +
γ2λ2
λ
μ
γ2λ
λ
μ
(
)
(
))
(
)
2
(α
2
β(1 + λ)μ
2
δμ
αβ
+
m+
-
m+
ν+
-1
=0
(54)
γ2
μ
γλ(1 + μ)
λ
1+μ γδ
и удовлетворяет условию
(1 + λ)( + 2)
ν - α = 0.
(55)
λ2
Доказательство. Будем отыскивать числовую симметричную матрицу A1 в виде A1 =
= νSEmSт, где S - произвольная ортогональная матрица, Em - диагональная матрица, у ко-
торой на диагонали произвольным образом расположены m ∈ {1, 2, . . . , n} единиц и n - m ну-
лей, ν = 0 - вещественный параметр, подлежащий определению. После подстановки матрицы
A1 в первое матричное уравнение системы (51) и элементарных преобразований получим вы-
ражение для матрицы A2 следующего вида:
)
(1 + λ)ν
( 2ν
A2 =
1 SEmSт.
(56)
γλ
λ
При этом имеем
)
m(1 + λ)ν
( 2ν
tr A1 = mν, tr A2 =
1 .
γλ
λ
C учётом соотношений (52) находим
(
)
αλ
(1 + λ)m
2
βμ
Θ1 = mν -
,
Θ2 =
m+
ν2 -
ν-
1+λ
γλ
λ
γ
1+μ
Подставляя выражение для Θ1 в формулу (56), получаем окончательный вид матрицы A2,
определяемый формулой (53). Теперь подставим матрицы (53) во второе матричное уравнение
системы (51) и после несложных преобразований придём к равенству
(
)2(
)
(
)(
)
2
[ (1 + λ)
2
2
2α(1 + λ)
2
2
ν
m+
m+
ν3 -
m+
m+
ν2 +
γ2λ2
λ
μ
γ2λ
λ
μ
(
)
(
))
(
)]
2
(α
2
β(1 + λ)μ
2
δμ
αβ
+
m+
-
m+
ν+
-1
SEmSт = 0.
γ2
μ
γλ(1 + μ)
λ
1+μ γδ
По предположению ν = 0, поэтому чтобы это равенство обращалось в тождество мы долж-
ны потребовать равенство нулю выражения, стоящего в квадратных скобках, которое можно
рассматривать как кубическое уравнение (54) относительно искомого параметра ν. Посколь-
ку кубическое уравнение (54) имеет по крайней мере один вещественный корень, то матрицы
A1, A2, определяемые формулами (53), с вещественным параметром ν будут также веще-
ственными. Кроме того, найденный из уравнения (54) вещественный параметр ν должен удо-
влетворять условию (55), выполнение которого гарантирует нетривиальность матрицы A2.
Утверждение доказано.
Следствие 4. Нелинейная эллиптическая система вида (7) с параметрами λ = -1, λ =
= 0, μ = -1, μ = 0 имеет частное точное радиально-симметричное решение
](1+λ)
[
(
)
](1+μ)
[ν
ν
(1 + λ)( + 2)
U (x) =
x2
,
V (x) =
ν - α ∥x2
,
xRn,
2
2γ
λ2
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
1632
КОСОВ, СЕМЕНОВ
где постоянная ν удовлетворяет условию ν(1 + λ)( + 2) - αλ2 = 0 и является веще-
ственным корнем кубического уравнения (54), в котором параметр m нужно положить
равным n.
Отметим, что матрицы A1, A2, определяемые формулами (53), являются не единственны-
ми решениями системы матричных уравнений (51). Ниже в примере 7 мы приведём матрицы
A1, A2, которые удовлетворяют системе (51) и получены при определённых соотношениях на
параметры системы, но не задаются формулами (53).
4. Примеры. Приведём примеры, иллюстрирующие полученные выше результаты.
Пример 1. Пусть n = 3 и ортогональная матрица S имеет вид
3
3
3
5
-
8
4
8
1
3
3
3
S=
.
8
4
8
3
1
3
-
4
2
4
Матрицы Em возьмём трёх возможных рангов rank Em = m = 1, rank Em = m = 2 и
rank Em = m = 3:
1
0
0
1
0
0
1
0
0
E1 =0
0
0, E2 =0
1
0, E3 =0
1
0.
0
0
0
0
0
0
0
0
1
Тогда по формуле (28) матрицы
27
3
3
9
3
64
32
2
α(1 - λ)
3
3
1
3
A1 =
, λ = -1, λ = 1,
1+λ
4
64
32
6
9
3
3
9
32
32
16
39
15
3
5
3
6
64
32
1
15
3
37
9
A2 =
α(1 - λ)2
-
, λ = 1,
2
64
32
6
5
3
9
13
-
32
32
16
2
1
0
0
α(1 - λ)
A3 =
0
1
0=1=3,
3
0
0
1
являются решением матричного уравнения (23). Здесь и далее в этом примере нижние индексы
у матриц A, векторов B, констант C и решений U(x, y, z) означают ранг соответствующей
матрицы Em. Для матриц Ai, i = 1, 2, 3, векторное и скалярное уравнения (23) имеют,
соответственно, следующие решения:
(
)
2
3
1
8(1 + λ)b
B1 = col
b,
b, b
,
C1 =
,
b ∈ R,
2
6
9α(1 - λ)2
(
)
5
3
2
52b21 - 20
3b1b2 + 39b22
B2 = col b1,
b1 -
b2,b2
,
C2 =
,
b1,b2 R,
9
3
27α(1 - λ)2
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
О ТОЧНЫХ РЕШЕНИЯХ МНОГОМЕРНОЙ СИСТЕМЫ
1633
(3 - λ)(b21 + b22 + b23)
B3 = col(b1,b2,b3), C3 =
,
b1,b2,b3 R.
α(1 - λ)2
Для найденных матриц A, векторов B и постоянных C получим, что нелинейное эллиптиче-
ское уравнение (2) в трёхмерном координатном пространстве имеет параметрические семей-
ства точных многомерных решений
[
(
)2]1/(1)
2
α(1 - λ)
32b(1 + λ)
U1(x,y,z) =
9
3x + 3y + 18z +
,
1152(1 + λ)
α(1 - λ)2
2
[ α(1 - λ)
U2(x,y,z) =
(39x2 + 37y2 + 52z2 + 30
3xy + 20
3xz - 36yz) +
256
)
]1/(1)
(53
2
52b21 - 20
3b1b2 + 39b22
+b1x +
b1 -
b2
y+b2z+
,
9
3
27α(1 - λ)2
]1/(1)
2
[ α(1 - λ)
(3 - λ)(b21 + b22 + b23)
U3(x,y,z) =
(x2 + y2 + z2) + b1x + b2y + b3z +
2(3 - λ)
2α(1 - λ)2
Решение U1(x, y, z) является формально одномерным, так как зависит от линейной комби-
нации пространственных координат и имеет место для всех λ ∈ R \ {-1; 1}. анизотропное
решение представлено функцией U2(x, y, z) и имеет место для всех λ, кроме λ = 1. Решение
U3(x,y,z) является радиально-симметричным и имеет место для любых параметров λ = 1
2
α(1 - λ)
и λ = 3. Переобозначением констант bi по формулам bi =
ci, i = 1,2,3, решение
(3 - λ)
U3(x,y,z) можно записать как
]1/(1)
2
[ α(1 - λ)
U3(x,y,z) =
[(x + c1)2 + (y + c2)2 + (z + c3)2]1/(1),
2(3 - λ)
где ci - произвольные постоянные.
Пример 2. В этом примере построим частные точные анизотропные решения нелинейного
эллиптического уравнения
2U
2U
2U
2U
+
+
+
= αU5, U = U(x1, x2, x3, x4).
∂x21
∂x22
∂x23
∂x2
4
Положив λ = 5, n = 4, m = 3, из утверждения 1 получим
[
]-1/4
α
U1(x) =
-
(39x21 + 37x22 + 52x23 + 64x24 + 30
3x1x2 + 20
3x1x3 - 36x2x3)
16
Пусть n = 4, m = 3, тогда из утверждения 2 находим
[
]-1/2
ν
2α
U2(x) =
(5x21 + 8x22 + 5x23 + 9x24 + 4x1x2 + 8x1x3 - 4x2x3) -
,
18
3ν
где ν = 0 - произвольная постоянная. Для краткости записи в решениях U1(x), U2(x) ком-
поненты вектора B и константу C положили равными нулю.
Пример 3. В этом примере построим точные многомерные решения нелинейного эллип-
тического уравнения
ΔU = αU3, U = U(x), x Rn, n 4.
(57)
При λ = 3, n = 4, m = 2 из утверждения 1 находим анизотропное решение
[
]-1/2
α
U1(x) =
(121x21 + 4x22 + 100x23 + 225x24 + 44x1x2 + 220x1x3 + 40x2x3)
225
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
1634
КОСОВ, СЕМЕНОВ
Пусть λ = 3, n = 4, m = 4, тогда из утверждения 3 получим радиально-симметричное
решение
4ν
U2(x) =
,
2ν2(x21 + x22 + x23 + x24) - α
где ν = 0 - произвольная постоянная. Аналогичное решение можно получить из следствия 2.
Полагая C1 = τ/(64α), из формулы (43) при λ = 3 получаем
)
2
τ
(2
g(ξ) =
tg
ξ+C2
4
α
4
Пусть n = 5, m = 4. Тогда имеем τ = 2σ и с учётом равенств U = f(W ), f(W ) =
= g(ξ)W1/(1), ξ = ln W получим анизотропное решение уравнения (57) следующего вида:
)
1
1
σ
(2
U3(x) =
tg
ln W (x) + C2
,
xR5,
2
W (x) α
4
σ
W (x) =
(3x21 + x22 + 4(x23 + x24 + x25) + 2
3x1x2),
16
где σ = 0, C2 - произвольные постоянные. Для краткости записи в решениях U1(x), U2(x)
и функции W (x) компоненты вектора B и константу C положили равными нулю.
Пример 4. Пусть λ = -1, тогда нелинейное эллиптическое уравнение (2) примет вид
ΔU = αU-1.
(58)
В работе [13] уравнение (58) с α = 1 возникает при построении точных решений следующей
системы параболических уравнений четвёртого порядка:
ut = Δ(uΔu) + k1v, vt = Δ(vΔv) + k2u.
Воспользовавшись результатами примера 1, легко записать анизотропное точное решение урав-
нения (58) в трёхмерном координатном пространстве:
[
α
U (x, y, z) =
(39x2 + 37y2 + 52z2 + 30
3xy + 20
3xz - 36yz) +
64
)
]1/2
(53
2
1
+b1x +
b1 -
b2
y+b2z+
(52b21 - 20
3b1b2 + 39b22)
,
9
3
α108
где b1, b2 - произвольные постоянные. Отметим, что в [13] получено только радиально-сим-
метричное решение уравнения (58), которое для любого n > 1 приведено в следствии 1.
Пример 5. В этом примере, используя результаты утверждения 4 и примера 1, постро-
им частные точные многомерные решения нелинейного эллиптического уравнения (3). Так, в
трёхмерном случае уравнение (3) имеет анизотропное частное точное решение
2
[ α(1 - λ)
U (x, y, z) =
(39x2 + 37y2 + 52z2 + 30
3xy + 20
3xz - 36yz) +
256
)
]1/(1)
(53
2
52b21 - 20
3b1b2 + 39b22
β
+b1x +
b1 -
b2
y+b2z+
-
9
3
27α(1 - λ)2
αλ
и радиально-симметричное частное точное решение вида
]1/(1)[
]1/(1)
2
[ α(1 - λ)
β(3 - λ)2
U (x, y, z) =
(x + c1)2 + (y + c2)2 + (z + c3)2 -
,
2(3 - λ)
α2λ(1 - λ)2
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
О ТОЧНЫХ РЕШЕНИЯХ МНОГОМЕРНОЙ СИСТЕМЫ
1635
где λ = 1, α = 0, β, ci, i = 1, 2, 3, - произвольные параметры. Поскольку радиально-
симметричное решение получается для матрицы A полного ранга, то легко записать решение
нелинейного эллиптического уравнения (3) в случае произвольной размерности:
[
]1/(1)
2
α(1 - λ)
β(n + (2 - n)λ)
U (x) =
|x|2 -
2(n + (2 - n)λ)
2αλ
Пример 6. Пользуясь результатами утверждения 6 и примера 1, построим точное анизо-
тропное решение нелинейной эллиптической системы (7) в трёхмерном координатном прост-
ранстве. Как уже было отмечено выше, для построения анизотропных точных решений мы
должны использовать матрицы Em ранга m = 2. Кроме того, мы должны предъявить веще-
ственное решение кубического уравнения (54). Для упрощения задачи параметры α, β, γ, δ
системы (7) возьмём единичными, тогда уравнение (54) имеет три вещественных корня:
λ(λ + 2λμ + μ)
λ(λ - μ)
ν1 = 0, ν2 =
,
ν3 =
2(1 + λ)2(1 + μ)
2(1 + λ)2(1 + μ)
Корень ν1 интереса не представляет, так как приводит к тривиальному решению матричной
системы (51). В случае λ = μ получим ν3 = 0. Поэтому при равенстве параметров λ и μ из
кубического уравнения (54) получим единственный нетривиальный корень ν = λ2/(1 + λ)2.
В этом примере будем использовать корень ν2, ортогональную матрицу S и матрицу E2,
приведённые в примере 1. Также должно выполняться условие на параметры λ + 2λμ + μ = 0,
которое гарантирует нетривиальность матрицы A2. Кроме того, с учётом неравенства (55)
параметры системы (7) должны удовлетворять дополнительному ограничению
2(λ + 2λμ + μ) - αλ(1 + μ) = 0.
Таким образом, получим, что нелинейная эллиптическая система (7) с параметрами α =
= β = γ = δ = 1 имеет анизотропное параметрическое семейство точных решений вида
[ λ(λ + 2λμ + μ)(39x2 + 37y2 + 52z2 + 303xy + 203xz - 36yz)
U (x, y, z) =
+
256(1 + λ)2(1 + μ)
](1+λ)
5
3
52 (1 + λ)2(1 + μ)
+ bx +
by +
b2
,
9
27 λ(λ + 2λμ + μ)
[μ(λ + 2λμ + μ)(39x2 + 37y2 + 52z2 + 303xy + 203xz - 36yz)
V (x, y, z) =
+
256(1 + λ)2(1 + μ)
](1+μ)
(1 + λ)μ
5
3 (1 + λ)μ
52
(1 + λ)3μ
+
bx +
by +
b2
,
λ(1 + μ)
9
λ(1 + μ)
27 λ2(λ + 2λμ + μ)
где b - произвольный параметр.
Пример 7. В случае когда параметры матричной системы (51) удовлетворяют некоторым
соотношениям можно получить решение этой системы, отличное от матриц, приведённых в
утверждении 6. Пусть выполнены равенства
2
28(1 + λ)
28(1 + μ)2
8(1 + λ)
48(1 + μ)
α=
,
β=
,
γ=
,
δ=
,
(59)
5λ2
5μ2
5λ2
5μ2
тогда в трёхмерном случае матричная система (51) имеет следующее решение:
2
0
0
-2
0
0
A1 =0
4
0
, A2 = 0
6
0
.
0
0
-2/5
0
0
8/5
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
1636
КОСОВ, СЕМЕНОВ
Для этих матриц нелинейная эллиптическая система уравнений (7) с параметрами, заданными
формулами (59), имеет частное точное анизотропное решение
(
(
)(1+λ)
)(1+μ)
1
4
U (x, y, z) = x2 + 2y2 -
z2
,
V (x, y, z) =
-x2 + 3y2 +
z2
5
5
В частном случае при λ = μ = 1 получим, что нелинейная эллиптическая система вида
112
16
112
96
ΔU =
U1/2 +
V1/2, ΔV =
V1/2 +
U1/2
5
5
5
5
обладает точным решением
(
)2
(
)2
1
4
U (x, y, z) = x2 + 2y2 -
z2
,
V (x, y, z) =
-x2 + 3y2 +
z2
5
5
Пусть теперь выполнены соотношения
(5λ - 2)(1 + λ)
7(μ + 2)(1 + μ)
4(1 + λ)
12(1 + μ)
α=
,
β=
,
γ=
,
δ=-
,
(60)
λ2
μ2
λ2
μ2
тогда матричная система (51) в трёхмерном случае имеет решение
1
0
0
1
0
0
A1 =0
2
0, A2 =0
3
0.
(61)
0
0
2
0
0
3
Нелинейная эллиптическая система уравнений (7) с параметрами, заданными по формулам
(60), имеет частное точное анизотропное решение
)(1+λ)
)(1+μ)
(1
(1
3
3
U (x, y, z) =
x2 + y2 + z2
,
V (x, y, z) =
x2 +
y2 +
z2
2
2
2
2
Если λ = 2/5, μ = -2, то в силу (60) имеем α = β = 0, γ = 35, δ = 3, в этом случае
система уравнений (7) упростится и примет вид
ΔU = 35U3/7V2, ΔV = 3U2/7V-3.
Эта нелинейная эллиптическая система уравнений имеет частное точное анизотропное реше-
ние
)
7/2
)1/2
(1
(1
3
3
U (x, y, z) =
x2 + y2 + z2
,
V (x, y, z) =
x2 +
y2 +
z2
2
2
2
2
Пример 8. Рассматривается нелинейная эллиптическая система уравнений
ΔU = αU2/3 + γU1/3V1/5, ΔV = βU4/5 + δU1/3V3/5,
(62)
которая получается из (7) при λ = 1/2, μ = 1/4. Для указанных значений параметров λ, μ
из равенств (60) имеем
α = 3, β = 315, γ = 24, δ = -240.
(63)
В этом случае с использованием матриц (61) можно построить точное анизотропное решение
системы (62), которое имеет вид
)3
)5
(1
(1
3
3
U1(x,y,z) =
x2 + y2 + z2
,
V1(x,y,z) =
x2 +
y2 +
z2
2
2
2
2
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
О ТОЧНЫХ РЕШЕНИЯХ МНОГОМЕРНОЙ СИСТЕМЫ
1637
C другой стороны, по утверждению 6 матричная система (51) имеет частное решение (53),
где параметр ν является вещественным корнем уравнения (54). Пусть λ = 1/2, μ = 1/4,
m = 2 и α, β γ, δ задаются формулами (63), тогда кубическое уравнение (54) имеет три
вещественных корня:
3
7
1
7
1
ν1 =
,
ν2 = -
+
2785, ν3 = -
-
2785.
2
12
20
12
20
Для построения точных решений системы (62) возьмём матрицы S и E2, приведённые в
примере 1, также, для краткости, векторы Bi, постоянные Ci, i = 1, 2, положим равными
нулю. Заметим, что для корня ν1 матрицы A1 и A2 совпадают. В этом случае получим
точное решение системы (62) вида
(
)3
3
U2(x,y,z) =
(39x2 + 37y2 + 52z2 + 30
3xy + 20
3xz - 36yz)
,
256
(
)5
3
V2(x,y,z) =
(39x2 + 37y2 + 52z2 + 30
3xy + 20
3xz - 36yz)
256
Для корней ν2, ν3 имеем, соответственно, следующие точные решения системы (62):
)3
(-35 + 32785
U3(x,y,z) =
(39x2 + 37y2 + 52z2 + 30
3xy + 20
3xz - 36yz)
,
7680
)5
( 111 -√2785
V3(x,y,z) =
(39x2 + 37y2 + 52z2 + 30
3xy + 20
3xz - 36yz)
,
2560
(
)3
35 + 3
2785
U4(x,y,z) =
-
(39x2 + 37y2 + 52z2 + 30
3xy + 20
3xz - 36yz)
,
7680
)5
( 111 +2785
V4(x,y,z) =
(39x2 + 37y2 + 52z2 + 30
3xy + 20
3xz - 36yz)
2560
Воспользовавшись результатами примера 6, получим при α = β = γ = δ = 1 следующее
анизотропное параметрическое семейство точных решений системы (62):
)3
( 13
3
3
37
1
13
U (x, y, z) =
x2 +
xy +
xz +
y2 -
yz +
z2
,
480
48
72
1440
40
360
)5
( 13
3
3
37
3
13
V (x, y, z) =
x2 +
xy +
xz +
y2 -
yz +
z2
800
80
120
2400
200
600
Пример 9. В этом примере мы построим точное решением системы (16) с использованием
анзацев U = f(W ), V = g(W ). Пусть p = q = 2, тогда система (16) запишется как
ΔU = αU2 + γU3V-1, ΔV = βV2 + δU-1V3.
(64)
После подстановки функций U = f(W ), V = g(W ) и несложных преобразований с учётом
формулы (10) и равенств
|∇W |2 = σW, ΔW = tr A ≡ τ
придём к системе ОДУ (49), для которой при условии τ = 3σ можно получить частное точное
решение. Как уже было отмечено выше, равенство τ = 3σ приводит к необходимости рас-
смотрения задачи в пространстве шести и более переменных. Пусть искомые функции U(x),
4
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
1638
КОСОВ, СЕМЕНОВ
V (x) и оператор Лапласа Δ заданы в 7-мерном координатном пространстве, тогда система
(64) обладает частными точными анизотропными решениями в элементарных функциях
2
2γP
U1(x) = PF1(x), V1(x) =
F1(x), x R7,
σ - 2αP
2
2γQ
U2(x) = QF2(x), V2(x) = -
F2(x), x R7,
6σC3 + αQ
3 tg2(0.5 ln W (x) + C2) + 1
F1(x) =
,
F2(x) = (C3W(x) + 1)-2,
W (x)
где σ = 0, C2, C3 = 0 - произвольные постоянные; ненулевые константы P = σ/(2α), Q =
= -6σC3 являются вещественными решениями следующих кубических уравнений:
8γ(αβ - γδ)P3 + 4σ(α2 - βγ)P2 - 4ασ2P + σ3 = 0,
γ(αβ - γδ)Q3 - 6σC3(α2 - βγ)Q2 - 72ασ2C23Q - 216C23σ3 = 0,
а функция W (x) задаётся формулой (47).
Заключение. В статье получены формулы новых точных многомерных решений нелиней-
ной эллиптической системы (7) и нелинейных эллиптических уравнений (2), (3) с использова-
нием конструкции (10), которая в работах других авторов не применялась. При этом исполь-
зовались не только степенные анзацы (22), (50), но и анзацы с другой функциональной зави-
симостью. В частности, построено точное многомерное решение уравнения (2) с показателем
λ = 2, которое выражается формулой, содержащей эллиптический синус Якоби. Полезная осо-
бенность конструкции (10) с точки зрения построения точных многомерных решений состоит в
том, что помимо линейных слагаемых она содержит квадратичную форму (Ax, x) n перемен-
ных. Из полученных результатов следует, что пространственная структура решений опреде-
ляется рангом матрицы A. Если rank A = 1, то имеем “псевдомногомерные” точные решения,
т.е. решения с линейной комбинацией пространственных переменных. Если 1 < rank A < n,
то получим анизотропные точные решения. Наконец, если rank A = n, то имеем радиально-
симметричные точные решения. Определённые ограничения на существование решений вида
(22) с заданной пространственной структурой при некоторых значениях параметров λ накла-
дывает условие (27). Так, при λ = -1 уравнение (2) не имеет точных решений вида (22) ранга
1, т.е. решений с линейной комбинацией переменных. Нелинейное эллиптическое уравнение (2)
размерности n ∈ N, n > 2, с показателем λ = n/(n - 2) не имеет радиально-симметричных
решений вида (22) соответствующей размерности. Нелинейное эллиптическое уравнение (2)
размерности n = 2 не имеет точных анизотропных решений вида (22). Отметим, что в спра-
вочниках [7, 36, 37] приведено радиально-симметричное решение уравнения (2) в двумерном
координатном пространстве. Нелинейное эллиптическое уравнение (3) с показателем λ = 5 в
трёхмерном координатном пространстве не имеет точных анизотропных решений вида (30).
В статье остались не рассмотренными нелинейные системы (18)-(21) (по причине ограничения
объёма), для них мы только указали анзацы точных решений; этим системам будут посвящены
отдельные исследования. Задача построения точных решений с использованием функциональ-
ных анзацев U = f(W ), V = g(W ) сводится к нелинейным ОДУ второго порядка (39), (48) и
системе ОДУ (49), детальное исследование которых также осталось за рамками данной статьи.
Все полученные новые результаты подкреплены соответствующими примерами, а найденные
явные выражения точных многомерных решений в элементарных и специальных функциях
могут иметь не только теоретическое, но и прикладное значение, поскольку их можно исполь-
зовать для тестирования, настройки и адаптации численных методов и алгоритмов построения
приближённых решений краевых задач для нелинейных систем вида (7), (16) и нелинейного
эллиптического уравнения (2) большой размерности.
Работа выполнена при финансовой поддержке Российского научного фонда (проект 22-29-
00819).
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
О ТОЧНЫХ РЕШЕНИЯХ МНОГОМЕРНОЙ СИСТЕМЫ
1639
СПИСОК ЛИТЕРАТУРЫ
1. Shahzad M.M., Saeed. Z., Akhtar A., Munawar H., Yousaf M.H., Baloach N.K., Hussain F.A. Review
of swarm robotics in a nutshell // Drones. 2023. V. 7. № 4. Art. 269.
2. Muniganti P., Pujol A.O. A survey on mathematical models of swarm robotics // Conf. Paper. Workshop
of Physical Agents. 2010. P. 29-30.
3. Wei J., Fridman E., Johansson K.H. A PDE approach to deployment of mobile agents under leader
relative position measurements // Automatica. 2019. V. 106. P. 47-53.
4. Elamvazhuthi K., Berman S. Mean-field models in swarm robotics: a survey // Bioinspir Biomim. 2019.
V. 15. № 1. Art. 015001.
5. Kosov A.A., Semenov E.I. Distributed model of space exploration by two types of interacting robots and
its exact solutions // J. of Physics: Conf. Ser. 2021. V. 1847. № 1. Art. 012007.
6. Fujita H. On the blowing up of solutions of the Cauchy problem for ut = Δu + u1+α // J. Fac. Sci.
Univ. Tokyo. Sect. I. 1966. V. 13. P. 109-124.
7. Полянин А.Д., Зайцев В.Ф. Нелинейные уравнения математической физики. Ч. 2. М., 2017.
8. Brezis H., Nirenberg L. Positive solutions of nonlinear elliptic equations involving ctitical Sobolev
exponents // Comm. on Pure and Applied Mathematics. 1983. V. 34. P. 437-477.
9. Похожаев С.И. О задаче Дирихле для уравнения Δu = u2 // Докл. АН СССР. 1960. Т. 134. № 4.
С. 769-772.
10. Похожаев С.И. Об одной задаче Л.В. Овсянникова // Прикл. механика и техн. физика. 1989. № 2.
С. 5-10.
11. Horedt, G.P. Topology of the Lane-Emden equation // Astronomy and Astrophysics. 1987. V. 117.
№ 1-2. P. 117-130.
12. Bohmer C.G., Harko T. Nonlinear stability analysis of the Emden-Fowler equation // J. of Nonlin. Math.
Phys. 2010. V. 17. P. 503-516.
13. Косов А.А., Семенов Э.И. О существовании периодических решений одной нелинейной системы
параболических уравнений четвёртого порядка // Итоги науки и техн. Сер. Совр. математика и её
приложения. Темат. обзоры. 2021. Т. 196. С. 98-104.
14. Sharaf K. Existence of solutions for elliptic nonlinear problems on the unit ball of R3 // Electronic J.
of Differ. Equat. 2016. V. 229. P. 1-9.
15. Свирижев Ю.М. Нелинейные волны, диссипативные структуры и катастрофы в экологии. М., 1987.
16. Березовская Ф.С., Карев Г.П. Бифуркации бегущих волн в популяционных моделях с таксисом
// Успехи физ. наук. 1999. Т. 169. № 9. С. 1011-1024.
17. Brezis H. Some variational problems with lack of compactness // Proc. of Symposia in Pure Math. 1986.
V. 45. P. 167-201.
18. Turing A.M. The chemical basis of morphogenesis // Phil. Trans. R. Soc. Lond. 1952. V. 237. P. 37-72.
19. Maini P.K., Benson D.L., Sherratt J.A. Pattern formation in reaction-diffusion models with spatially
inhomogeneoos diffusion coefficients // J. of Math. Appl. in Medicine & Biology. 1992. V. 9. P. 197-213.
20. Lair A.V., Wood A.W. Existence of entire large positive solutions of semilinear elliptic systems // J. of
Differ. Equat. 2000. V. 164. P. 380-394.
21. Bozhkov Y., Freire I.L. Symmetry analysis of the bidimensional Lane-Emden systems // J. Math. Anal.
Appl. 2012. V. 388. P. 1279-1284.
22. Polyanin A.D., Kutepov A.M., Vyazmin A.V., Kazenin D.A. Hydrodynamics, Mass and Heat Transfer
in Chemical Engineering. London; N.Y., 2002.
23. Капцов О.В. Методы интегрирования уравнений с частными производными. М., 2009.
24. Шмидт А.В. Точные решения систем уравнений типа реакция-диффузия // Вычислит. технологии.
1998. Т. 3. № 4. С. 87-94.
25. Cherniha R., King J.R. Non-linear reaction-diffusion systems with variable diffusivities: Lie symmetries,
ansatze and exact solutions // J. Math. Anal. Appl. 2005. V. 308. P. 11-35.
26. Polyanin A.D., Zaitsev V.F. Handbook of Nonlinear Differential Equations. Boca Raton, 2012.
27. Косов А.А., Семенов Э.И. O точных многомерных решениях одной нелинейной системы уравнений
реакции-диффузии // Дифференц. уравнения. 2018. Т. 54. № 1. С. 108-122.
28. Косов А.А., Семенов Э.И. О точных многомерных решениях системы уравнений реакции-диф-
фузии со степенными нелинейностями // Сиб. мат. журн. 2017. Т. 58. № 4. С. 796-812.
29. Kosov A.A., Semenov E.I., Tirskikh V.V. On exact multidimensional solutions of a nonlinear system of
first order partial differential equation // Изв. Иркутского гос. ун-та. Сер. Математика. 2019. Т. 28.
С. 53-68.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023
4
1640
КОСОВ, СЕМЕНОВ
30. Косов А.А., Семенов Э.И. Новые точные решения уравнения диффузии со степенной нелинейно-
стью // Сиб. мат. журн. 2022. Т. 63. № 6. С. 1282-1299.
31. Косов А.А., Семенов Э.И. Анизотропные решения нелинейной кинетической модели эллиптиче-
ского типа // Вестн. Южно-Уральского гос. ун-та. Сер. Мат. моделирование и программирование.
2020. Т. 13. № 4. С. 48-57.
32. Гантмахер Ф.Р. Теория матриц. М., 1988.
33. Камке Э. Справочник по обыкновенным дифференциальным уравнениям. М., 1971.
34. Беллман Р. Теория устойчивости решений дифференциальных уравнений. М., 1954.
35. Зайцев В.Ф., Полянин А.Д. Справочник по обыкновенным дифференциальным уравнениям. М.,
2001.
36. Полянин А.Д., Зайцев В.Ф. Нелинейные уравнения математической физики: справочник. М., 2002.
37. Полянин А.Д., Зайцев В.Ф. Нелинейные уравнения математической физики. Ч. 1. М., 2017.
Институт динамики систем и теории управления
Поступила в редакцию 19.07.2023 г.
имени В.М. Матросова СО РАН, г. Иркутск
После доработки 28.09.2023 г.
Принята к публикации 11.10.2023 г.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 59
№ 12
2023