ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ, 2022, том 58, № 12, с. 1624-1632
УРАВНЕНИЯ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ
УДК 517.955.2
КОРРЕКТНОСТЬ КОМПЛЕКСНОЙ ЗАДАЧИ КОШИ
ДЛЯ СИСТЕМ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
С ЧАСТНЫМИ ПРОИЗВОДНЫМИ
В ПРОСТРАНСТВАХ ЦЕЛЫХ ФУНКЦИЙ
С ИНТЕГРАЛЬНЫМИ МЕТРИКАМИ
© 2022 г. А. М. Бирюков
Изучается задача Коши для общих линейных систем комплексных дифференциальных
уравнений с частными производными в банаховых пространствах целых вектор-функций
с интегральными метриками. Тип экспоненциального роста решения задачи и правой части
системы дифференциальных уравнений по переменной z может зависеть определённым
образом от другой переменной t. Получены необходимые и достаточные условия, при
выполнении которых данная задача является корректно разрешимой в заданной шкале
функциональных пространств. Следовательно, дано описание структуры систем диффе-
ренциальных уравнений, задача Коши для которых является корректной.
DOI: 10.31857/S0374064122120044, EDN: NCBSFO
В предлагаемой работе рассматривается задача Коши для систем комплексных линейных
дифференциальных уравнений с частными производными
∂u
- A(t, z, D)u = h(t, z), t, z ∈ C,
(1)
∂t
u(t0, z) = ϕ(z),
(2)
где A(t, z, D) - матричный дифференциальный или функциональный оператор.
Решения задачи (1), (2) ищутся в пространствах Харди-Лебега с весом целых по перемен-
ной z и аналитических по переменной t при |t - t0| < δ вектор-функций u(t, z). Функции
из указанных пространств могут допускать рост экспоненциального типа на бесконечности
по переменной z, при этом тип экспоненциального роста зависит определённым образом от
временной переменной t. Ограничения на порядок q ≥ 1, q ∈ N, и тип роста задаются с
помощью веса.
Ранее в работе [1, с. 48-70] были получены необходимые и достаточные условия коррект-
ности задачи Коши (1), (2) в шкале пространств функций вектор-экспоненциального типа с
супремум-нормами. Оказывается, что условия для корректности задачи Коши в случаях про-
странств с интегральными метриками и с супремум-нормами совпадают.
В статье [2] была рассмотрена задача Коши (1), (2) в шкале пространств функций вектор-
экспоненциального типа в случае, когда тип роста решения по переменной z не зависел от
временной переменной t и были получены необходимые и достаточные условия корректности
в данной шкале функциональных пространств. В настоящей работе при рассмотрении задачи
Коши (1), (2) в шкале пространств функций вектор-экспоненциального типа в случае, когда
тип экспоненциального роста решения зависит определённым образом от временной перемен-
ной t, существенно расширяется класс систем дифференциальных уравнений, для которых
имеет место корректность поставленной задачи Коши за счёт того, что условия на коэффици-
енты дифференциального оператора, необходимые и достаточные для разрешимости в данной
шкале функциональных пространств, получаются более мягкими. В частности, если рассмат-
ривать задачу Коши для комплексного уравнения теплопроводности
∂u
∂2u
- a(t, z)
= h(t, z), u(t0, z) = ϕ(z),
∂t
∂z2
1624
КОРРЕКТНОСТЬ КОМПЛЕКСНОЙ ЗАДАЧИ КОШИ
1625
то в случае гауссовой шкалы (порядок q роста решения по переменной z равен двум) задача
Коши будет корректной тогда и только тогда, когда a(t, z) ≡ 0, если тип роста решения не
зависит от переменной t, и задача Коши будет корректной тогда и только тогда, когда a(t, z)-
произвольная аналитическая функция, не зависящая от z, если тип роста решения зависит
определённым образом от t.
Отметим, что в работе [3] задача Коши была изучена в шкалах более быстрого роста по
z, чем конечного экспоненциального порядка. А в случае порядка экспоненциального роста
0 < q < 1 вопрос о корректности задачи Коши был исследован в статье [4].
Главное отличие настоящей работы от известных автору исследований по аналитической
разрешимости задачи Коши состоит в том, что, во-первых, в качестве пространств решений ис-
пользуются банаховы пространства с интегральными метриками, и, во-вторых, область опре-
деления решения совпадает с областью определения правой части системы дифференциальных
уравнений.
В этой работе будут получены условия на коэффициенты дифференциального оператора,
выполнение которых равносильно корректной разрешимости задачи Коши (1), (2) в шкале
пространств функций экспоненциального типа по переменной z.
Для установления основного результата отметим несколько лемм об интегральных свой-
ствах аналитических функций, которые, возможно, имеют самостоятельный интерес.
Перейдём к точным формулировкам. Будем пользоваться следующими обозначениями:
t,z ∈ C - комплексные переменные; N ≥ 1, q ≥ 1 - натуральные числа; p ≥ 1, R > 0,
σ > 0 - вещественные числа, m = (m1,...,mN) - вектор с натуральными координатами
mj ≥ 1, j = 1,N.
В области V = Gt × C, где Gt - произвольная область на комплексной плоскости t, рас-
смотрим задачу Коши (1), (2), в которой A(t, z, D) - матрица дифференциальных операторов
конечного порядка, каждый элемент которой действует на скалярную функцию u(t, z) по
правилу
mij
∑
Aij(t,z,D)u =
aαij(t,z)Dαu(t,z),
α=0
где aαij (t, z) - аналитические в области V коэффициенты. Здесь и далее через Dαu(t, z) обо-
значаем частную производную функции u(t, z) по переменной z порядка α. Таким образом,
i-е уравнение в системе (1) имеет вид
mij
∑∑
∂ui
(t, z) =
aαij(t,z)Dαuj(t,z) + hi(t,z), i = 1,N.
∂t
j=1 α=0
Введём следующие функциональные пространства: Expm,R,q;p(C) - пространство целых
вектор-функций ϕ(z) = (ϕ1(z), . . . , ϕN (z)), для которых конечна норма
[(∫2π
)1/p
]
∑
∑
∥ϕ∥m,R,q;p =
∥ϕj ∥mj ,R,q;p =
sup
|ϕj (reiθ)|p dθ
(1 + r)-mj exp{-Rrq} .
0<r<+∞
j=1
j=1
0
Решение задачи Коши (1), (2) будем искать в пространстве ϑ(δ; Expm,R,σ,q;p)(t0) целых по
z и аналитических по t при |t - t0| < δ вектор-функций u(t,z) = (u1(t,z),...,uN(t,z)), для
которых конечна норма
∑
∥u∥δ;m,R,σ,q;p =
∥uj ∥δ;mj ,R,σ,q;p =
j=1
[
((∫2π
)1/p
)]
∑
=
sup
sup
|uj (t, reiθ)|p dθ
(1 + r)-mj exp{-(R + σ|t - t0|)rq}
|t-t0|<δ
0<r<+∞
j=1
0
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 58
№ 12
2022
1626
БИРЮКОВ
Заметим, что функции из введённых пространств допускают рост экспоненциального ти-
па на бесконечности по переменной z, при этом тип роста зависит от переменной t. Также
можно показать, используя утверждение из [5, с. 46] о свойстве голоморфных функций ком-
плексного переменного, что введённые функциональные пространства являются банаховыми
пространствами.
Определение. Будемговорить,чтозадача(1),(2)локально корректна в шкале Expm,R,σ,q;p,
если для любой точки t0 ∈ Gt и любого R > 0 найдутся такие числа δ > 0, σ > 0,
что для любой начальной вектор-функции ϕ ∈ Expm,R,q;p(C) и любой правой части h ∈
∈ ϑ(δ;Expm+q,R,σ,q;p)(t0) системы (1) существует единственное решение задачи (1), (2) u ∈
∈ ϑ(δ;Expm,R,σ,q;p)(t0) и справедливо неравенство
∥u∥δ;m,R,σ,q;p ≤ M(∥ϕ∥m,R,q;p + ∥h∥δ;m+q,R,σ,q;p),
где M > 0 - постоянная, ограниченная при ограниченных значениях R.
Сформулируем теперь основной результат настоящей работы в виде следующей теоремы.
Теорема. Задача (1), (2) локально корректна в шкале Expm,R,σ,q;p тогда и только тогда,
когда выполнены следующие условия:
1) aαij (t, z) - суть полиномы по z;
2) степени этих полиномов удовлетворяют неравенствам
deg aαij (t, z) ≤ mi - mj - α(q - 1) + q,
(3)
причём если правая часть неравенства (3) получается отрицательной, то по определению
считаем aαij (t, z) ≡ 0, а его степень deg aαij (t, z) = -∞.
В доказательстве достаточности условий (3) используется следующая лемма об оценке нор-
мы производной целой функции через норму самой функции. Эту и все леммы в дальнейшем
для упрощения записи будем формулировать для случая N = 1.
Лемма 1 [6]. Пусть функция v(z) ∈ Expm,R,q;p(C). Тогда Dv(z) ∈ Expm+(q-1),R,q;p(C),
причём
∥Dv∥m+(q-1),R,q;p ≤ C exp{R2q}∥v∥m,R,q;p,
где C > 0 - постоянная, зависящая только от m и q.
∫t
Лемма 2 [6]. Пусть функция h ∈ ϑ(δ; Expm+q,R,σ,q;p). Тогда функция
h(τ, z) dτ
∈
0
∈ ϑ(δ;Expm,R,σ,q;p) и справедливо неравенство
∫
t
h(τ, z) dτ
≤ 2q max{δ,1/σ}∥h∥δ;m+q,R,σ,q;p.
δ;m,R,σ,q;p
0
Докажем сначала достаточность условий (3) основной теоремы 1. Запишем интегро-диф-
ференциальное уравнение, эквивалентное исходной задаче (1), (2) (без ограничения общности
рассматриваем случай t0 = 0, доказательство для t0 = 0 сводится к случаю t0 = 0 формаль-
ным сдвигом t → t - t0)
∫t
∫t
u(t, z) = A(τ, z, D)u(τ, z) dτ + ϕ(z) + h(τ, z) dτ,
(4)
0
0
где интегрирование проводится по отрезку, соединяющему точки 0 и t.
Покажем, что оператор
∫t
(Bu)(t, z) = A(τ, z, D)u(τ, z) dτ
0
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 58
№ 12
2022
КОРРЕКТНОСТЬ КОМПЛЕКСНОЙ ЗАДАЧИ КОШИ
1627
определён в пространстве ϑ(δ; Expm,R,σ,q;p) и является сжимающим, если δ > 0 достаточно
мало, а σ > 0, напротив, достаточно велико. Для этого рассмотрим i-ю компоненту, i = 1, N :
∫t
∑
(Bu)i(t, z) =
aαij(τ,z)Dαuj(τ,z)dτ.
j=1 α=0
0
Отсюда видно, что справедливо неравенство
|t|
mij
∫
∑∑
|(Bu)i(t, z)| ≤
C(1 + |z|)nij |Dαuj(τ, z)| d|τ|,
j=1 α=0 0
где nαij - степень многочлена aαij(t, z). Поэтому имеет место оценка
mij
(∫|t|
)p
∑∑
|(Bu)i(t, reiθ)|p ≤ Cp(aαij , N, mij )
(1 + r)nijp
|Dαuj(τ, reiθ)| d|τ|
j=1 α=0
0
Для краткости записи обозначим
(∫2π
)1/p
I ≡
|(Bu)i(t, reiθ)|p dθ
≤
0
mij
(∫2π(∫|t|
)p
)1/p
∑∑
≤ C(aαij,N,mij)
(1 + r)ni
j
|Dαuj (τ, reiθ)| d|τ| dθ
j=1 α=0
0
0
Применив теперь обобщённое неравенство Минковского, получим
|t|
mij
∫
(∫2π
)1/p
∑∑
I ≤ C(aαij,N,mij)
(1 + r)ni
j
|Dαuj (τ, reiθ)|p dθ
d|τ|.
j=1 α=0
0
0
Так как вектор-функция u ∈ ϑ(δ; Expm,R,σ,q;p), то uj (τ, · ) ∈ Expmj ,R+σ|τ|,q;p(C), а значит, в
силу леммы 1 Dαuj (τ, · ) ∈ Expmj +|α|(q-1),R+σ|τ|,q;p(C) и справедливо неравенство
(∫2π
)1/p
|Dαuj (τ, reiθ)|p dθ
≤
0
≤ ∥Dαuj(τ, · )∥m
j+|α|(q-1),R+σ|τ|,q;p(1+r)mj+|α|(q-1) exp{(R+σ|τ|)rq}≤
≤ C(q,mij,m)exp{Rmij2q}∥uj∥δ;m
j,R,σ,q;p(1+r)mj+|α|(q-1) exp{(R + σ|τ|)rq}.
Возвращаемся к оценке выражения для интеграла I :
mij
∑∑
I ≤ C(aαij,N,mij)
(1 + r)nij ×
j=1 α=0
|t|
∫
× C(q,mij,m)exp{Rmij2q}∥uj∥δ;m
j,R,σ,q;p(1+r)mj+|α|(q-1) exp{(R + σ|τ|)rq}d|τ|.
0
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 58
№ 12
2022
1628
БИРЮКОВ
Обозначив
m = maxmij и использовав условие (3) теоремы, имеем
|t|
mij
∫
∑∑
I ≤ C(aαij,N,mij,q,m)exp{R m2q}
(1 + r)mi+q
∥uj ∥δ;mj ,R,σ,q;p
exp{(R + σ|τ|)rq} d|τ| ≤
j=1 α=0
0
|t|
∫
≤ C exp{R m2q}(1 + r)mi+q∥u∥δ;m,R,σ,q;p exp{(R + σ|τ|)rq}d|τ|.
0
Вычислим интеграл, рассмотрев отдельно два случая:
1) 0 < r ≤ 1:
I ≤ C exp{R m2q}(1 + r)mi2q∥u∥δ;m,R,σ,q;p exp{(R + σ|t|)rq}δ;
2) r > 1:
1
I ≤ C exp{R m 2q}(1 + r)mi+q∥u∥δ;m,R,σ,q;p exp{Rrq}
exp{σ|t|rq} ≤
σrq
1
≤C
exp{R m2q}(1 + r)mi ∥u∥δ;m,R,σ,q;p exp{(R + σ|t|)rq}.
σ
Таким образом, для любого r : 0 < r < +∞ и для любого t : |t| < δ справедливо
неравенство
(∫2π
)1/p
(
)
1
|(Bu)i(t, reiθ)|p dθ
(1 + r)-mi exp{-(R + σ|t|)rq} ≤ C max δ,
exp{R m2q}∥u∥δ;m,R,σ,q;p,
σ
0
где C > 0 - постоянная, зависящая от коэффициентов aαij , N, mij, m, q. Важно отметить,
что C не зависит от R, σ и δ. Из последнего неравенства и следует, что (Bu)i(t, z) ∈
∈ ϑ(δ;Expmi,R,σ,q;p), а значит, (Bu)(t,z) ∈ ϑ(δ;Expm,R,σ,q;p), причём справедлива оценка
∥Bu∥δ;m,R,σ,q;p ≤ C max(1/σ, δ) exp{R m2q}∥u∥δ;m,R,σ,q;p.
Выберем σ достаточно большим и δ достаточно малым так, чтобы
C max(1/σ,δ)exp{R m2q} ≤ 1/2.
Тогда оператор B будет сжимающим в пространстве ϑ(δ; Expm,R,σ,q;p). Если ϕ∈Expm,R,q;p(C),
то включение ϕ ∈ ϑ(δ; Expm,R,σ,q;p) очевидно. Далее, если h ∈ ϑ(δ; Expm+q,R,σ,q;p), то вклю-
∫t
чение
h(τ, z) dτ ∈ ϑ(δ; Expm,R,σ,q;p) следует из леммы 2. Поэтому существует единственное
0
решение уравнения (4), а значит, и задачи (1), (2) u ∈ ϑ(δ; Expm,R,σ,q;p), и для него справедли-
ва оценка из приведённого выше определения локальной корректности задачи Коши (1), (2).
Тем самым достаточность условий (3) теоремы доказана.
Замечание. Из проведённого доказательства следует, что “время жизни” δ > 0 комплекс-
ного решения u(t, z) зависит от R непрерывно. В частности, при ограниченных значениях
R ≤ R0 постоянные δ > 0, σ > 0 можно выбрать не зависящими от R.
Докажем теперь необходимость условий (3), т.е. будем считать, что задача Коши (1), (2) яв-
ляется локально корректной в шкале Expm,R,σ,q;p. Покажем, что в этом случае aαij(t, z) - суть
полиномы по z, степени которых удовлетворяют неравенствам (3). В доказательстве необхо-
димости условий (3) также будем использовать леммы о свойствах аналитических функций.
Вначале сформулируем лемму, являющуюся обобщением известной теоремы Лиувилля.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 58
№ 12
2022
КОРРЕКТНОСТЬ КОМПЛЕКСНОЙ ЗАДАЧИ КОШИ
1629
Лемма 3 [6]. Пусть v(z) - целая функция и существует число M > 0 такое, что для
любого r > 0 справедливо неравенство
(∫2π
)1/p
|v(reiθ)|p dθ
≤ M(1 + r)m.
0
Тогда v(z) - полином, степень которого не превосходит m.
Лемма 4 [6]. Пусть функция u(t, z) ∈ ϑ(δ; Expm,R,σ,q;p). Тогда функция
u′t(0,z) ∈ Expm+q,R,q;p(C)
и справедливо неравенство
δ
∥u∥δ;m,R,σ,q;p.
∥u′t(0, · )∥m+q,R,q;p ≤max{1,σ}eδ
Лемма 5 [2]. Функция v(z) = zm+s exp{Rzq}, s - целое, принадлежит пространству
Expm,R,q;p(C), если s ≤ q/(2p), и не принадлежит Expm,R,q;p(C), если s > q/(2p).
Вернёмся теперь к доказательству необходимости условий (3) теоремы. Считаем, что за-
дача (1), (2) локально корректна в шкале Expm,R,σ,q;p(C). Сначала установим, что коэффици-
енты aαij (t, z) - полиномы по z, используя метод математической индукции, а затем уточним
степени этих полиномов.
Положим t0 = 0, R ∈ (0, 1] - произвольное. Из условия локальной корректности найдём
δ > 0, σ > 0, которые от выбора R не зависят. Зафиксируем j = 1,N - любое. В качестве
начальной вектор-функции возьмём ϕ(z) = (ϕ1(z), . . . , ϕN (z)), где ϕi(z) ≡ 0 при i = j,
ϕj (z) = 1. Заметим, что ϕ ∈ Expm,R,q;p(C), причём ∥ϕ∥m,R,q;p ≤ (2π)1/p. В качестве правой
части системы (1) положим h(t, z) ≡ 0. Для решения u ∈ ϑ(δ; Expm,R,σ,q;p) задачи Коши
(1), (2) с выбранной начальной вектор-функцией ϕ и правой частью системы h справедливы
равенства
∂ui
a0ij(0,z) =
(0, z), i, j = 1, N .
∂t
Полагая z = reiθ, где r = R-1/q, в силу леммы 4 будем иметь следующие неравенства:
(∫2π
)1/p
∂u
i
|a0ij (0, reiθ)|p dθ
≤
(0, · )
(1 + r)mi+q exp{Rrq} ≤
∂t
mi+q,R,q;p
0
max{1, σ}
≤
eδ∥u∥δ;m,R,σ,q;p(1 + r)mi+q exp{Rrq} ≤
δ
max{1, σ}
≤
eδM(2π)1/p(1 + r)mi+q exp{Rrq} ≤ M1(1 + r)mi+q,
δ
где M1 > 0 - постоянная, которая от выбора R не зависит, i, j = 1, N . Поэтому из леммы 3
следует, что все функции a0ij(0, z) - полиномы, степени которых не превосходят mi + q.
Предположим теперь, что для всех α = 0, k - 1 aαij (0, z) - полиномы и имеют место нера-
венства deg aαij(0, z) ≤ mi + q + α. Докажем, что akij (0, z) также полиномы степени не выше
mi + q + k, k ∈ N.
Сначала рассмотрим случай k ≤ mj. Полагаем t0 = 0, R ∈ (0, 1] - произвольное. Из усло-
вия локальной корректности задачи Коши (1), (2) найдём δ > 0, σ > 0, которые от выбора
R ∈ (0,1] не зависят. Теперь начальную вектор-функцию определим по правилу
ϕ(z) = (0, . . . , 0, ϕj (z), 0, . . . , 0), ϕj (z) = zk.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 58
№ 12
2022
1630
БИРЮКОВ
Заметим, что ∥ϕ∥m,R,q;p ≤ (2π)1/p. В качестве правой части системы (1) снова возьмём вектор-
функцию h(t, z) ≡ 0. Для соответствующего решения задачи Коши (1), (2) вектор-функции
u ∈ ϑ(δ;Expm,R,σ,q;p) справедливы равенства
∑
∂ui
(0, z) =
aαij(0,z)k(k - 1)··· (k - α + 1)zk-α + akij(0,z)k!, i = 1,N.
(5)
∂t
α=0
В силу предположения математической индукции для всех α таких, что 0 ≤ α ≤ k - 1,
имеют место оценки
|aαij (0, z)| ≤ C(aαij)(1 + |z|)mi+q+α.
Тогда, используя утверждение леммы 4 и обобщённое неравенство Минковского, получаем
(∫2π
)1/p
∂u
i
|akij (0, reiθ)|p dθ
≤
(0, · )
(1 + r)mi+q exp{Rrq} + C(1 + r)mi+q+k,
∂t
mi+q,R,q;p
0
где C > 0 - постоянная, зависящая только от aαij, mij и p. Положим в последнем неравенстве
r = R-1/q. Из оценки в утверждении леммы 4 следует, что
(∫2π
)1/p
|akij (0, reiθ)|p dθ
≤ M1(1 + r)mi+q+k,
0
где M1 > 0 - постоянная, которая от выбора R не зависит. Следовательно, для любого r ≥ 1
справедливо неравенство
(∫2π
)1/p
|akij (0, reiθ)|p dθ
≤ M1(1 + r)mi+q+k,
0
которое в силу леммы 3 и означает, что все функции akij (0, z) - полиномы степени не выше
mi + q + k при k ≤ mj.
Пусть теперь k ≥ mj + 1. Задаём произвольное значение R ∈ (0, 1]. Так как задача Коши
(1), (2) локально корректна, то найдутся константы δ > 0, σ > 0, которые от выбора R не
зависят. Начальную вектор-функцию определим по правилу
ϕ(z) = (0, . . . , 0, ϕj (z), 0, . . . , 0), ϕj (z) = zk,
а в правой части системы (1) положим h(t,z) ≡ 0. Как показывают вычисления и оценки
интегралов, и в этом случае ϕ ∈ Expm,R,q;p(C) и справедливо неравенство
C
∥ϕ∥m,R,q;p ≤ (2π)1/p
R(k-mj)/q
для любого r > 0, где C > 0 зависит только от k, mj и q.
Решение задачи Коши (1), (2) с данной начальной вектор-функцией и нулевой правой
частью удовлетворяет равенствам (5). Применяя к равенствам (5) обобщённое неравенство
Минковского и утверждение леммы 4, получаем следующие оценки для всех i, j = 1, N :
(∫2π
)1/p
|akij (0, reiθ)|p dθ
≤
0
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 58
№ 12
2022
КОРРЕКТНОСТЬ КОМПЛЕКСНОЙ ЗАДАЧИ КОШИ
1631
δ
max{1, σ}e
C(p, k, mj , q)
≤
M
(1 + r)mi+q exp{Rrq} + C(p, aαij , mij )(1 + r)mi+q+k.
δ
R(k-mj)/q
В последнем неравенстве положим r = R-1/q. Теперь имеем
(∫2π
)1/p
|akij (0, reiθ)|p dθ
≤ M1(1 + r)mi+q+k,
0
где M1 > 0 - постоянная, которая от выбора R не зависит. Поэтому в силу леммы 3 все
функции akij (0, z), i, j = 1, N , являются полиномами степени не выше mi + q + k и для
случая k ≥ mj + 1.
Таким образом, установлено, что все коэффициенты дифференциального оператора сис-
темы (1) являются полиномами по переменной z. Более точно, все функции aαij (0, z) имеют
следующий вид:
aαij(0,z) = ai,j,α0 + ai,j,α1z + ai,j,α2z2 + ... + ai,j,αm
zmi+q+α, i,j = 1,N, α = 0,mij.
i+q+α
Уточним теперь степени этих полиномов. Вновь полагаем t0 = 0, значения R будем по-
следовательно перебирать: R = 1, mij + 1. В качестве начальной вектор-функции возьмём
ϕR(z) = (0, . . . , 0, ϕRj (z), 0, . . . , 0), ϕRj (z) = zmj +[q/(2p)] exp{Rzq}.
Заметим, что в силу леммы 5 вектор-функция ϕR(z) ∈ Expm,R,q;p(C). В качестве правой части
системы (1) возьмём h(t, z) ≡ 0.
Так как задача Коши (1), (2) является локально корректной в шкале Expm,R,σ,q;p(C), то
существует единственное решение этой задачи uR(t, z) ∈ ϑ(δ; Expm,R,σ,q;p), для которого спра-
ведливо равенство
mij
∑
∂uRi
(0, z) =
aαij(0,z)DαϕRj(z).
∂t
α=0
Вычислив производные функций ϕRj (z), получим следующие равенства для любого α =
= 0, mij :
DαϕRj(z) = (Rq)αzmj+[q/(2p)]+α(q-1) exp{Rzq} + ...
(записано только слагаемое, которое содержит в качестве множителя переменную z в макси-
мальной степени, т.е. zmj +[q/(2p)]+α(q-1)). Следовательно, решение задачи Коши (1), (2) удо-
влетворяет соотношению
∂uRi
(0, z) = zmj +[q/(2p)]-mij exp{Rzq} ×
∂t
mij
∑
×
[(ai,j,α0 + ai,j,α1z + . . . + ai,j,αm
zmi+q+α)((Rq)αzmij +α(q-1) + ...)].
(6)
i+q+α
α=0
В силу леммы 4 функция, стоящая в левой части равенства (6), принадлежит пространству
Expmi+q,R,q;p(C), поэтому функция, стоящая в правой части (6), тоже должна принадлежать
данному классу. Исходя из этого, получим условия на коэффициенты многочленов aαij (0, z).
Отметим, что в правой части равенства (6) под знаком суммы стоит многочлен, степень
которого не превосходит mi + mij + mijq + q. Будем задавать значения параметра s от mi +
+mij(q+1)+q до mi+q-mj +mij +1 (включительно), последовательно уменьшая значение
параметра на единицу. При каждом значении s в силу леммы 5 получаем систему линей-
ных алгебраических уравнений относительно коэффициентов многочленов aαij (0, z) следую-
щего вида:
mij
∑
(Rq)αai,j,αs-m
= 0, R = 1, mij + 1.
ij -α(q-1)
α=0
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 58
№ 12
2022
1632
БИРЮКОВ
Определитель матрицы этой системы линейных алгебраических уравнений не равен нулю,
так как является определителем Вандермонда, а значит, сама система имеет только триви-
альное решение. Поэтому справедливы равенства ai,j,αs-m
= 0 при любых α = 0,mij,
ij -α(q-1)
s ≥ mi + q - mj + mij + 1 или, что то же самое, ai,j,αk = 0 для k ≥ mi - mj - α(q - 1) + q +
+ 1. Последние равенства и означают, что deg aαij(0, z) ≤ mi - mj - α(q - 1) + q, i, j = 1, N ,
α = 0,mij. Необходимость условий (3) доказана.
Таким образом, теорема полностью доказана.
Работа выполнена при финансовой поддержке Российского научного фонда (проект 19-11-
00033).
СПИСОК ЛИТЕРАТУРЫ
1. Дубинский Ю.А. Задача Коши в комплексной области. М., 1996.
2. Бирюков А.М. Необходимые и достаточные условия разрешимости комплексной задачи Коши в
классах функций вектор-экспоненциального типа // Дифференц. уравнения. 2020. Т. 56. № 8.
С. 1055-1064.
3. Chin Ngok Min. Linear differential infinite degree operator and its applications // Acta Math. Vietnamica.
1987. V. 12. № 1. P. 101-124.
4. Одиноков О.В. О корректности задачи Коши для операторов с гладкими символами// Изв. АН
Армянской ССР. 1988. Т. 23. № 1. С. 65-75.
5. Владимиров В.С. Методы теории функций многих комплексных переменных. М., 1964.
6. Бирюков А.М. О корректности аналитической задачи Коши в классах целых функций конечного
порядка // Дифференц. уравнения. 2017. Т. 53. № 10. С. 1336-1350.
Национальный исследовательский университет
Поступила в редакцию 19.06.2022 г.
“Московский энергетический институт”
После доработки 07.10.2022 г.
Принята к публикации 21.10.2022 г.
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ том 58
№ 12
2022