О классах пространств Кёте, в которых каждое дополняемое подпространство имеет базис Текст научной статьи по специальности «Математика»

Владикавказский математический журнал 2008, Том 10, Выпуск 2, С. 21-29

УДК 513.881

О КЛАССАХ ПРОСТРАНСТВ КЁТЕ, В КОТОРЫХ КАЖДОЕ ДОПОЛНЯЕМОЕ ПОДПРОСТРАНСТВО ИМЕЕТ БАЗИС1

В. П. Кондаков, А. И. Ефимов

Исследуются классы пространств Кете, аналогичных в определенном смысле известным пространствам Lf, определяемым функциями Драгилева. Показывается, что в пространствах из отдельных классов, а также в декартовых произведениях некоторых классов каждое дополняемое подпространство имеет базис и изоморфно подходящеиму координатному (базисному) подпространству. В частности, декартовы произведения пространств Кете — Фреше из разных классов Lf типа 0 и 1 обладают этим свойством.

Ключевые слова: пространства Кете, базисы, дополняемые подпространства.

В работах [1, 2] приводятся классы пространств Кёте, в которых каждое дополняемое подпространство имеет базис и изоморфно подходящему координатному подпространству. В [3] модификацией приемов работы [4] показано, что в декартовых произведениях пространств из выделенных классов при дополнительных предположениях относительно сомножителей дополняемые подпространства также имеют базисы и изоморфны произведениям координатных подпространств сомножителей.

В настоящей работе результаты работы [2] дополняются описанием класса пространств Кете с упомянутым свойством дополняемых подпространств (доказанным в [2]). Затем излагается обобщение результатов из [4] о существовании базисов в дополняемых подпространствах декартовых произведений пространств Кете Е, Р в каждом из которых дополняемые подпространства имеют базисы, и все непрерывные линейные отображения из Е в Р компактны. Это является ослаблением условий на сомножители, налагавшихся в [3, 4].

Определение 1 [2]. Будем говорить, что правильная матрица Кете ([аг(п)]) определяется последовательностью весовых функций с упорядоченностью парных композиций с обратными функциями, если выполнено условие

3г(1) Vг(2) 3 г(3) С > 0, аК2) (а"^)) < Саф) («"^(¿)) .

Для краткости будем называть такие матрицы матрицами Кёте со свойством ($1).

В частности, любое пространство класса (/)о определяется канонической матрицей (из определения) со свойством ($1).

© 2008 Кондаков В. П., Ефимов А. И.

1 Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований, проект № 07-01-00329-а.

Определение 2 [2]. Будем говорить, что правильная матрица Кете [аг(п)] определяется последовательностью весовых функций с обратной упорядоченностью парных композиций с обратными функциями, если выполнено условие

Vг(1) 3 г(2) Vг(3) 3 С(г(3)) > 0, 1-(2)(

аг(3) (д^) < С(г(3)К(2) (аг(1)(г)) Vг

Для краткости будем называть такие матрицы Кете матрицами Кёте со свойством ($2).

Определение 3 [2]. Будем говорить, что правильная матрица Кете [аг (п)] обладает свойством (32), если выполнено условие

Vг(1) 3г(2), 3 С(г(2)) > 0 Vг(3) аг(з)(аг"(2)(^)) < С(г(2))аг(2)(а--(!)(4)) Vг.

Пространство Кете из класса (/)1 обладает свойством (32). Заметим, что классы пространств Кете, соответствующих матрицам со свойствами ($1) и (З2), могут пересекаться.

Предложение 1 [2]. Пусть Е = ¿2 (п)], ^ — блочное счетно-гильбертово

пространство Кёте, где М(п) ^ то, п £ N класса (¿1), определенное правильной матрицей [аг (п)] со свойством (32)- Тогда произвольное дополняемое подпространство Р в Е изоморфно некоторому координатному подпространству в Е вида Е = ¿2 ([аг (т(п))], , где (т(п)) —последовательность натуральных чисел без по-

вторений и Р(п) ^ М(п), п £ N.

Предложение 2 [2]. Пусть Е = ¿2 (п)], ^ — блочное счетно-гильбертово

пространство Кёте, где М(п) ^ то, п £ N класса (¿2), определенное правильной матрицей [аг (п)] со свойством ($1) (упорядоченности парных композиций с обратными функциями). Тогда произвольное дополняемое подпространство Р в Е иооморфно некоторому координатному подпространству в Е вида 12 ^[аг(т(п))], ^, где (т(п)) — последовательность натуральных чисел без повторений и Р(п) ^ М(п), п £ N.

Приведем пример пространств Кете, отличных от Рц, обладающих указанными выше свойствами.

Пример. Матрицу Кете будем определять следующим образом:

п раз

аг(п) = ехр /(/(... /(Ат) •••))= ехр /(п)(Аг),

где / — нечетная, монотонно возрастающая функция, удовлетворяющая следующим условиям:

1. (Vа > 1) Ц^ т +то, г Т +то,

2. (3 а > 1) (Vг > 0) /(г) > аг,

3. (Vг > 0) (Vа > 1) /(аг) > а/(г). А для Аг выполняется:

Аг Т А, А £ Ж и {+то}. Покажем правильность данной матрицы Кете.

Пусть £ > 0, тогда

Иш /(п)(£) = Иш ап£ = +то,

ПШП ПШП

Иш

аг (п)

Шп а (п) = Шп ехр (/(п)(Лг) - /(п)(Лг+1)) = Шп ехр/(п)(Лг+1) | \ - 1 )

пшп аг+1 (п) пшп \ / пшп у/(га)(Лг+1) у

< Иш ехр /(п)(Лг+1) (-

ПШП \ Л

Лт

- 1} = 0,

/М > а ^ 1 >Ж ^ А> Ж ^ £ = /Н(Х._) а£ = /(п)

^ — >

а / (а£) а£ / (а£)

/ (П)(ЛГ) /(п+1) (Лг) аг (п)

>

^ £ = /(п)(Лг), 1 = /(п)(Лг+1),

I 0.

/ (п)(Лг+1) / (п+1)(Лг+1) аг+1(п)

Введенный в этом примере класс пространств можно разбить на подклассы, содержащиеся в известных классах (^1), (^2) Драгилева [5].

1. Пусть Л = Покажем, что тогда 1р[аг(п)] £ (^1) П (в1). Возьмем в(г) так, чтобы —> лГ, что возможно, так как

Лг Лх1 1

Л3 Т /(га)(Л5(г)) - /(п)(Лг) = /(п)(Лг) - /(п)(Лг)

Лг

Л

Положим

> /(га)(Л1^) - /(П)(Л1) > /(п)(Лг) - /(п)(Л1) ^ №).

Лг

(£) = _ шт чп, т. е. (£) - 1 < а-1(£) < (£),

^<«а0 (п)

пг (£) = шах п, т. е. пг (£) + 1 > аг (£) > пг (£).

(п)

Тогда аг (пг (£)) < £ < а50 (п50 (£)),

Ко(£) - 1) <£<аг(пг(£) + 1) ^ /(п(Лг) </(па0^(Л^)

и для всех £ выполнены соотношения

/ (п*0 (^)"1)(Л50 ) < / (п (^)+1)(Лг ) ^ / (п*0 (^)"2)(Л50 ) < Лг < / (па0 «-пг (*))(Л50 )

^ (3 т > 2) (V£) пг(£) + т - 2 < п50(£), п50(£) < пг(£) + т, аг (а-01(£)) < аг (пзд (£)) < аг (пг (£) + т) = ехр /(п «+т)(Лг)

где

= ехр/(п(*))(Л5(г)) = а5(г)(пг(£)) < а^К 1 (£)), Лв(г) = /(т)(Лг) ^ аг(а-1(£)) < С(гК^а-1^)) V£ ^ (в1).

2. Пусть 0 < Л < Покажем, что тогда 1р[аг(п)] £ (^1) П (в2). Существуют по, в (г) такие, что для любого п > по справедливы соотношения

/(П) (Л5(г)) > / (П)(Лг) ^ (

/ \ N Л (<г> ^ / Л N "

/(п)(Лг) /(п)(Л1) / (п)(Лг )

(п)

(Лв(г)) - / (П) (Лг )= / (П)(Л5(г))

1-

/ (п)(Лг ) /(п) (Лв(г))

>/(п) (Лг)

1-

/ (П)(Л5(г))

>/ (п)(Лг )

1-

/ (п)(Л1)

/ (п)(Лг )

= /(п)(Лг) - /(п)(Л1) ^ (^1)

Пусть a^(n) = exp f (n)(A), n (t) = min^^(n) n, ns(t) = max^^) n, т. е. as(ns(t)) < t < ar(nr(t)) и ar(nr(t) — 1) < t < as(ns(t) + 1). Тогда, так же как и выше, получаем

(3 m > 2) (Vt) ns(t) + m < nr(t), nr(t) < ns(t) + m + 2.

Подберем s так, чтобы f (m—4)(As) ^ A. Тогда nr (t) — ns(t) > m, a^(n) ^ as(n + m — 2) и

afc(a-1(t)) ^ a^(ns(t) + 1) ^ a^(nr(t) — m + 1) ^ as(nr(t) — 1) ^ as(a-1(t)) ^ (S2).

3. Пусть A = 0. Покажем, что тогда 1p[ar (n)] € (^2) П (si). Положим

nS0 (t) = min n, т. е. nS0 (t) + 1 > a-01(t) > nS0 (t),

i<aSQ (n)

nr(t) = max n, т. е. nr(t) — 1 < a-1(t) < nr(t),

t>ar (n)

и заметим, что существуют to > 0 и m такие, что для любых t < tonS0 (t) > nr (t) — m, поэтому

ar (a-01(t)) < ar (n^ (t)) < ar (nr (t) — m) = exp f(nr (t)-m)(Ar) = expf(n(t))(As(r)) = as(r)(nr(t)) < a^a-^t)) Vt > to,

где Ar = f(m)(Ar) ^ ar(a-1(t)) < C(rKw(a-1(t)) Vt ^ (S1)

V r 3 s(r) V k > s(r) 3 n0 V n > n0, f(n)(As(r))f(n)(Ar) > f(n)(Ak) — f(n)(As(r)) ^ (d2).

4. Пусть A < 0. Покажем, что тогда 1p[ar (n)] € (d2) П (s2).

Vr 3 s(r) Vk > s(r) 3 n0 Vn > n0, f(n) (As(r)) — f(n) (Ar ) > f (n)(Ak) — f (n)(As(r)) ^ (d2).

Пусть a^(n) = expf(n)(A), nr(t) = max^(n) n, т. е. a-1(t) < nr(t), ns(t) = min^^n) n, т. е. a-1(t) > ns(t). Возьмем s такое, что ns(t) — nr (t) > m и a^(n) ^ as(n — m). Тогда

afc(a-1(t)) ^ a^(ns(t)) ^ a^n(t) + m) ^ as(n(t)) ^ as(a-1(t)) ^ (S2).

Из результатов работы [2] вытекает справедливость следующего утверждения

Предложение 3. Пусть E = 1p[exp f (n)(Ar)], 1 ^ p ^ ж. Если A € [0, ж) (Ar | A), то в E каждое дополняемое подпространство имеет базис и изоморфно (базисному) подпространству.

Лемма [3-5, 8]. Пусть в декартовом произведении X = E х F пространств Фреше E, F задана проекция P на дополняемое подпространство G С X и эта проекция имеет треугольный вид

P = ( P01 р22 ) , где Pij = PiPPj, i, j = 1, 2,

P1, P2 — проекции на E, F соответственно. Тогда G изоморфно дополняемому подпространству вида G = E1 х F1, где E1 дополняемо в E, а F1 дополняемо в F.

< Сначала заметим, что поскольку P — проекция, т. е. P2 = P, справедливы равенства P11P11 = P11, P11P12 + P12P22 = P12 и P22P22 = P22, откуда P11P11 + P11P12 + P12P22 = P11 + P12. Введем изоморфное отображение (автоморфизм)

T =

и определим линейный оператор

P = TPT =

I -P12 0 I

P11 0

0 P22

Здесь равенство получено с использованием отмеченных выше равенств и из них же следует, что Р — проекция на подпространство С указанного вида.

Пусть Е и Р — локально выпуклые пространства. Линейное отображение Т пространства Е в Р называют компактным или вполне непрерывным, если существует такая окрестность нуля и в Р, что образ Ти является предкомпактным множеством в Р [7]. Если Т является компактным отображением, действующим в пространствах Фре-ше (Е, (| ■ |г)) и (Р, (У ■ ||г)), то как бы ни были выбраны системы полунорм, задающие исходные топологии в этих пространствах, выполнено условие

3 г(0) V г 3 С (г) > 0, ||Те||г < С (г)|е|г(0), е £ Е, и с некоторого номера

||Те||г < С (г) |е|г, е £ Е (г > г(0)). (1)

Более общим образом, если для оператора Т : Е ^ Р, действующего в пространствах Фреше, при любом выборе систем полунорм (| ■ |г) в Е и (|| ■ ||г) в Р выполнены условия ограниченности Т в парах нормированных пространств (Е, (| ■ |г)), (Р, (|| ■ ||г)) для достаточно больших г (3 (г(к)) : г(к) ^ то), т. е. выполнено (1), и никакое сужение Т на бесконечномерное подпространство в Е не будет обратимо, то оператор Т будем называть ограниченно строго сингулярным. Очевидно, компактное отображение является ограниченно строго сингулярным. Известно, что спектр строго сингулярного оператора Т : Е ^ Е состоит из не более чем счетного множества точек комплексной плоскости с А = 0 как единственной возможной предельной точкой [9, 10]. Пространство Фреше Е и Р назовем структурно различными, если все непрерывные линейные отображения из Е в Р (или из Р в Е) ограниченно строго сингулярны. В частности, Е и Р структурно различны, если все непрерывные линейные отображения из Е в Р компактны. >

Теорема 1 [3-5, 8]. Пусть в декартовом произведении X = Е х Р структурно различных пространств Фреше Е, Р подпространство С дополняемо. Тогда С изоморфно дополняемому подпространству вида С = Е1 х Р\, где Е1 дополняемо в Е, а Р1 дополняемо в Р.

< Для определенности будем предполагать, что все непрерывные линейные отображения из Е в Р ограниченно строго сингулярны. Как и выше, Р», I = 1, 2, обозначаем проекторы из X на сомножители Е, Р соответственно и обозначим Р — проектор из X на С.

Пространство Фреше (X, (| ■ |г)) всегда можно наделить новой системой полунорм (|| ■ ||г), определяющей исходную топологию так, чтобы проектор Р был ограничен в каждом нормированном пространстве

^/^0, || ■ ||г), где = {ж £ X : ||ж||г = 0}.

Для этого достаточно положить

1М|г = V |Рж|2 + |(/ - Р )ж|г, Г = 1, 2,...

Будем считать, что Е наделено именно такой системой норм.

Согласно сделанным предположениям, оператор Б = Р2РР1 является ограниченно строго сингулярным и в каждом ассоциированном банаховом пространстве Хг, полученном пополнением Х/^го по норме || ■ ||г, оператор с треугольной матрицей

Р -Б=«= ( Р0' р12

согласно теории Рисса, имеет спектр ст((), состоящий из не более чем счетного множества точек с единственно возможными предельными точками 0 и 1 [4, лемма 3.1]. В этом можно убедиться и непосредственно, как в [3], с учетом того, что оператор Р — А/ имеет непрерывный обратный

1 ((1 — А)/ — Р) при А = 0,1,

А2 - А

а тогда Р — А/ — Б может только иметь дискретный спектр указанного вида. Кроме того, для чисел А £ ст(()\{0,1} соответствующие спектральные проекторы конечномерны (подробнее см., например, [4, 9]).

Для того, чтобы применить результат доказанной леммы, по оператору (, который может не являться проекцией, построим проектор ( с образом (Х, который почти изоморфен образу проектора Р, то либо РЕ изоморфно подпространству конечной коразмерности в ((Е), либо наоборот.

Сказанное выше, позволяет определить проектор в точности как в [4, 6] и др., а именно, полагаем

( = —¿7 (^ — А/)^А,

7

где 7 — некоторая кривая, зависящая только от ( (не пересекающая спектра а((), который также не зависит от индексов полунорм г > г(0) [6] с 1 во внутренности и 0 во внешности 7).

Так как спектр ( не зависит от того, в каком ассоциированном банаховом пространстве (пополнением Х/х>(о) по || ■ ||г при г > г(0)) его рассматривать, согласно спектральной теории операторов в банаховых пространствах [13, с. 226, теорема 6.17], [6] определяется разложение пространства X = Х1 х Х2, где Х1 = (X и Х2 = (/ — ()Х — замкнутые пространства, инвариантные относительно Причем ( обратим на Х1, а на Х2 обратим оператор / — ( согласно выбору 7.

Легко проверить, что оператор

(2 — ( = (Р — Б )2 — (Р — Б) = —РБ — БР + Б2 + Б

строго сингулярен в каждом ассоциированном банаховом пространстве с индексом Г > г(0). Поэтому на Х1 строго сингулярно сужение оператора / — (, а на Х2 строго сингулярно сужение Записывая оператор ( в виде

( = ( + (( — /)( + ((/ — (),

получаем Р — ( = Б = Б + (( — /)( + ((/ — (), т. е. проекции Р и ( отличаются на строго сингулярный оператор. Кроме того, проекция ( имеет требуемое для применения леммы треугольное представление, поскольку такое представление имеют операторы С — А/ и обратные к ним.

Чтобы проверить почти изоморфность образов проекторов Р и (, представим тождественное отображение X на X в матричной форме, соответствующей разложениям

х = (С + Й1)х е (/ — (С? + Й1))х ^ х = (х е (/ — С)х.

Имеем

/ ( 0(0 + Й1) 0(/ — (С? + Б1)) \ = / ( + (Б ^ —(СБ1 V (/ — ()(( + Б1) (/ — (?)(/ — (( + й)) ) I (/ — 0)Б1 / — ( — (/ — (?)Б1

= (+ (Б 0 / ^ — (??Б1

\ 0 / — ( — (/ — у \ (/ — ()Б1 0 )'

Второе слагаемое определяет строго сингулярный оператор в любом ассоциированном банаховом пространстве, начиная с некоторого индекса, так что, согласно [11] (см. также [9]), первое слагаемое, определяет почти изоморфизм. Согласно тому же факту из [9, 10, 11] компоненты первого слагаемого тоже являются почти изоморфизмами соответствующих сомножителей указанных двух представлений х. Применив утверждение леммы к проектору (? с треугольной матрицей, соответствующей исходному представлению х = Е х Р, получаем изоморфизм образа проектора ( подпространству вида Е1 х Р1, где Е1 дополняемо в Е, а Р1 дополняемо в Р. Учитывая нулевой индекс почти изоморфизма в приведенном выше разложении тождественного оператора, почти изоморфизм образа проектора Р в (или на) подпространство Е1 х Р1 достраивается до изоморфизма подпространству требуемого вида С = Е1 х Р1, поскольку конечномерные подпространства одинаковой размерности изоморфны при любом сопоставлении базисов. >

Замечание. Приведенное утверждение и для случая банаховых пространств усиливает соответствующий результат из [4]. Напомним, что в [4] рассматривались произведения вида 1р х 1д и при получении аналогичного описанному выше изоморфизма существенно использовался тот факт, что все непрерывные линейные отображения из 1д в 1р при д > р компактны, а из 1Р в 1д строго сингулярны. Выше достаточно компактности и (ограниченной) строго сингулярности в одну сторону и это существенно будет ниже при рассмотрении ненормируемых пространств, когда известны случаи компактности всех непрерывных линейных отображений из Е в Р и в тоже время Р изоморфно подпространству в Е. В частности, это верно для пространства А1 аналитических функций внутри единичного круга в качестве Е и пространства целых функций Р = Ас топологиями равномерной сходимости на компактах.

Упомянем здесь и произведения банаховых пространств вида 1р х Ьд(а, 6) с р > тах(2, д) и р < тш(2, д), в которых дополняемые подпространства изоморфны произведениям дополняемых подпространств сомножителей. В этих случаях компактность всех непрерывных отображений из 1Р в Ьд(а, 6) при р > тах(2,д) и из Ьд(а, 6) в 1Р при р < тт(2,д) отмечалась в [12].

Теорема 2. Пусть х = Е х Р — декартово произведение пространств Кете Е = 12[аГ1)(п)], Р = 12[аГ2)(п)], матрицы которых правильные и удовлетворяют условиям (^2) и ($1), (^1) и ($2) соответственно. Тогда каждое дополняемое подпространство С

в Х имеет безусловный базис и изоморфно подходящему координатному подпространству.

< Согласно [14], каждый оператор из Е в Р компактен и дополняемое подпространство О изоморфно ввиду теоремы 1 подпространству вида Е1 х где Е1 дополняемо в Е, а дополняемо в Р. Утверждение теоремы теперь вытекает из предложений 1 и 2. >

Из приведенного выше предложения и теоремы 2 непосредственно выводится

Следствие 1. В пространствах Кёте вида 12[ехр /1п)(Аг)] х 12[ехр )], где Аг Т 0,

^г Т ^, 0 < ^ < то, а /1, /2 удовлетворяют условиям 1-3 примера (где и описаны свойства пространств-сомножителей), каждое дополняемое подпространство имеет безусловный базис и изоморфно подходящему координатному подпространству.

Следствие 2 [3]. Каждое дополняемое подпространство декартова произведения Е х Р пространств Кёте Е = ^[ехр /1(1 а„)] и Р = ^[ехр /2(1 — 1 )6П)], где / —выпуклые функции, ап Т то, Ьп Т то, имеет безусловный базис и изоморфно подходящему координатному подпространству.

Анализ приведенных выше рассуждений показывает, что перечисленные результаты легко и непосредственно переносятся на случай блочных пространств из тех же классов. В случае бесконечномерных размерностей блоков ссылаться на спектральные свойства компактных или строго сингулярных операторов нельзя, но обойти эту трудность можно, наложив дополнительное требование, чтобы правильные матрицы блочных пространств сомножителей определяли (не блочные) пространства, изоморфные своим гиперподпространствам. Аналитические характеризации таких матриц хорошо известны. Можно высказать предположение, что более детальный анализ прямых рассуждений доказательств, то есть не использующий теории Рисса и ее обобщений на строго сингулярные операторы, позволит снять упомянутое дополнительное требование.

Литература

1. Кондаков В. П. О дополняемых подпространствах некоторых пространств Кете бесконечного типа // Сиб. мат. журн.—2003.—Т. 44, № 1.—С. 112-119.

2. Кондаков В. П., Ефимов А. И. О двух классах пространств Кете — Фреше, в которых каждое дополняемое подпространство имеет базис // Владикавк. мат. журн.—2003.—Т. 5, вып. 4.—С. 4349.

3. Кондаков В. П. Характеризация дополняемых подпространств в декартовых произведениях структурно несравнимых пространств Кете из классов (f)0 и (f)i Драгилева // Владикавк. мат. журн.—2004.—Т. 6, вып. 2.—С. 1-4.

4. Edelstein I. S., Wojtaszcyk P. On projections and unconditional bases in direct sums of Banach spaces // Studia Math.—1976.—V. 106.—P. 203-276.

5. Драгилев М. М. О правильных базисах в ядерных пространствах // Мат. сб.—1965.—Т. 68, № 2.— С. 153-173.

6. Prada J. On idempotent operators on Frechet spaces // Arch. Math.—1984.—V. 43.—P. 179-182.

7. Робертсон А. П., Робертсон В. Дж. Топологические векторные пространства.—М.: Мир, 1967.— 257 с.

8. Djakov P. B., Onal S., Terzioglu T., Yurdakul M. Strictly singular operators and isomorphisms of Cartesian products of power series spaces // Arch. Math.—1998.—V. 70.—P. 57-65.

9. Wrobel V. Streng singulare Operatoren in lokalkonvexen Räumen // Math. Nachr.—1978.—Bd. 83.— S. 127-142.

10. Wrobel V. Streng singuläre Operatoren in lokalkonvexen Räumen II // Beschränkte Operatoren Math. Nachr.—1983.—V. 110.—P. 205-213.

11. Пич А. Операторные идеалы.—М.: Мир, 1982.—536 с.

12. Мильман В. Д. Геометрическая теория пространств Банаха. Ч. 2 // Успехи мат. наук.—1971.—Т. 26, вып. 6(162).—С. 73-149.

13. Като Т. Теория возмущений линейных операторов.—М.: Мир, 1972.—740 с.

14. Захарюта В. П. Об изоморфизме декартовых произведений линейных топологических пространств // Функцион. анализ.—1970.—Т. 4, вып. 2.—С. 87-88.

Статья поступила 6 декабря 2007 г.

Конддков Владимир Петрович Институт прикладной математики и информатики ВНЦ РАН; Южный федеральный университет Ростов-на-Дону, 344090, РОССИЯ E-mail: [email protected]

Ефимов Анатолий Иванович Институт прикладной математики и информатики ВНЦ РАН; Южный федеральный университет Ростов-на-Дону, 344090, РОССИЯ E-mail: [email protected]