Существование и единственность алгебраических решений интервальных линейных систем в полной арифметике Каухера

Вычислительные технологии

Том 4, № 4, 1999

СУЩЕСТВОВАНИЕ И ЕДИНСТВЕННОСТЬ АЛГЕБРАИЧЕСКИХ РЕШЕНИЙ ИНТЕРВАЛЬНЫХ ЛИНЕЙНЫХ СИСТЕМ В ПОЛНОЙ АРИФМЕТИКЕ КАУХЕРА*

А. В. Лакеев

Институт динамики систем и теории управления СО РАН

Иркутск, Россия e-ma.il: lakeyev@icc.ru

In this paper, existence and uniqueness of algebraic solutions to interval linear systems in Kaucher complete interval arithmetic is considered. We obtain sufficient uniqueness conditions which are similar to those derived by Neumaier and Rohn, and, for the square case, sufficient existence condition. A subclass of interval matrices has been singled out (“constant signs matrices”) for which the above conditions are both necessary and sufficient.

Введение

В настоящее время мы являемся свидетелями значительного роста интереса исследователей к линейным алгебраическим уравнениям в полной интервальной арифметике Ка-ухера [6]. В первую очередь это связано с тем, что с помощью алгебраических решений этих уравнений часто удается получить как внешние, так и внутренние интервальные оценки различных множеств решений интервальных линейных систем. Первые результаты такого сорта появились достаточно давно (в конце 1960-х — начале 70-х гг.) и касались внешнего оценивания объединенного множества решений системы линейных интервальных уравнений с помощью алгебраического решения некоторой вспомогательной системы, хотя в то время сами авторы выражали эти результаты в совершенно других терминах, не пользуясь понятием алгебраического решения (см., например, [2, 9, 12] и указанную в этих работах литературу). Позднее [7, 11] было показано, что с помощью алгебраических решений, но уже в расширенной интервальной арифметике Каухера, можно получать внутренние оценки для объединенного множества решений, а впоследствии С. П. Шарый [3, 4] распространил этот подход как на внутреннее, так и на внешнее оценивание обобщенных множеств решений интервальных линейных систем.

В настоящей работе исследуются вопросы существования и единственности алгебраических решений интервальных линейных систем уравнений в полной арифметике Каухера. Получены достаточные условия (аналогичные “условию нерасширяемости” А. Ноймайера

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

© А. В. Лакеев, 1999.

[9] и И. Рона [10]) единственности алгебраических решений и, в случае равенства числа уравнений числу неизвестных, существования алгебраических решений этих уравнений. Выделен класс матриц (интервальные матрицы постоянных знаков), для которых полученные условия являются необходимыми и достаточными.

1. Интервальные линейные уравнения в арифметике Каухера

Пусть IR = { [а, а] | а, а £ R } — расширенное множество интервалов (при этом не требуется выполнения условия а < а). Рассмотрим следующие операции сложения и умножения элементов этого множества [6] (см. также [5]).

Для двух интервалов a = [а, а], b = [b, b] £ IR их суммой называется интервал

a + b = [а + Ь,а + b].

Для того чтобы определить умножение интервалов IR, выделим в IR следующие подмножества:

P := { x £ IR | (х > /) & (х > /) } — неотрицательные интервалы,

Z := { х £ IR | х < ^ < х } — нульсодержащие интервалы,

—P := { х £ IR | — х £ P } — неположительные интервалы, dual Z := { х £ IR | dual х £ Z } — интервалы, содержащиеся в нуле.

Тогда умножение двух интервалов a = [а, а] и b = [b, b] в интервальной арифметике Каухера может быть описано следующей таблицей [6].

b £ P b £ Z b £ —P b £ dual Z

a £ P a £ Z a £ —P a £ dual Z [ аЬ,аЬ ] [ аЪ,аЪ ] [ аЬ,аЬ ] [ аЬ,аЬ ] г т-тп [min{ab,ab}, г_, п [ ab,ab ] г Г -п п [ ab,ab ] 0 max^o, ab} ] [ аЪ^аЪ ] [ аЪ,аЪ ] [ аЬ,аЪ ] [ аЪ,аЪ ] г и -hi п r-l [max{ab,ab}, [ ab,ab ] 0 [ ab,ab ] L Гт ттп min^b^b} ]

В дальнейшем через Жга (Мга) и Жтхга (Ктхп) будем обозначать множества п-мерных векторов и т х п-матриц с элементами из Ж (К) соответственно.

Теперь мы можем ввести понятие системы линейных алгебраических уравнений и ее алгебраического решения.

Определение 1. Пусть А = [А, А] £ Жтхга, Ь = [Ь,Ь] £ Жт. Алгебраическим решением системы уравнений вида

Ах = Ь

называется вектор х £ Жп такой, что при умножении на него матрицы А получается вектор Ь, причем сложение и умножение интервалов вычисляются в арифметике Каухера.

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

Для того чтобы понять, к какому классу в действительности относится уравнение (0), нам потребуется некоторая аналитическая формула для умножения интервалов в арифметике Каухера [8]. При этом в дальнейшем будем использовать следующие обозначения: пусть х,у £ Кп — п-мерные векторы (в частности, вещественные числа из К1), А, В £ Втхп

— т х п-матрицы; тогда

х V у = тах{х,у}, А V В = тах{А,В} — точная верхняя грань х,у и А, В соответственно;

х+ = тах{х, 0}, А+ = тах{А, 0} — положительные части вектора х и матрицы А;

х- = тах{-х, 0}, А- = тах{-А, 0} — отрицательные части вектора х и матрицы А;

|х| = х+ + х-, |А| = А+ + А- — модули вектора х и матрицы А соответственно.

В этом случае операции тах и | • | понимаются покомпонентно для векторов и поэлементно для матриц.

Используя введенные обозначения, нетрудно получить формулу для умножения интервалов в арифметике Каухера.

Лемма 1 [8]. Если а • Ь = [а, а], Ь = [Ъ,Ъ] £ Ж, то

аЬ = [

Доказательство получается непосредственным перебором всех вариантов распределения знаков для а, а, Ь, Ь и сравнением полученного результата с приведенной выше таблицей для умножения интервалов в арифметике Каухера.

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

Предложение 1 [8]. Если для А £ Жтхп и х £ Жп обозначим Ах = [Ах , Ах], то

Ах =

Ах =

Замечание. Нетрудно выписать и формулы, аналогичные (2), (3), для произведения двух интервальных матриц. Хотя далее в работе эти формулы не используются, но, на наш взгляд, они представляют самостоятельный интерес и могут быть применены как в теоретических исследованиях, так и в практических приложениях интервальных вычислений. Поэтому их мы приведем.

Пусть А £ Ктхп — т х п-матрица и В £ Кпхк — п х к-матрица. Обозначим через А В следующую т х (пк)-матрицу: если а1,... ,ап £ Ктх1 — вектор-столбцы матрицы А, т.е. А = (а1 ... ап), и Ь1,... ,Ьп £ К1хк — вектор-строки матрицы В, т.е. В = (Ь1 ... Ьп)т, то

АВ =

(отметим, что каждое произведение агЬг, г = 1, п является т х к-матрицей).

Кроме того, обозначим через Еп = еп  Ек матрицу размера (пк) х к, в которой еп £ Кпх1 — п-мерный вектор-столбец с единичными компонентами, Ек £ Ккхк — единичная к х к-матрица и “ ” — кронекерово (прямое тензорное) произведение матриц. Тогда верно следующее утверждение.

Предложение 2. Если А = [А, А] £ Жтхп, В = [В, В] £ Жпхк и АВ = [АВ, АВ] £

Жтхк, то

АВ = ( (А+  В+) V (А-  В-) - (А+  В ) V (А  В+) ) Е\

т+

АВ = ((А+ В+) V (А  В ) - (А+  В-) V (А-  Вг)) Еп

Доказательство предложений 1 и 2 получается с помощью формулы (1) простым расписыванием определений умножения матрицы на вектор и матрицы на матрицу соответственно, и поэтому мы его опускаем.

Используя формулы (2) и (3), уже нетрудно расписать уравнение (0) в явном виде. При этом сразу заменим операцию “ V” на следующее ее представление через модуль (которое верно в любой векторной решетке [1]):

А V В = 2(А + В + |А - В|),

где А и В — любые т х п-матрицы. Кроме того, учитывая соотношения П(х)ёп = х и (—х)+ = х- для х Є Кп, после несложных преобразований приходим к следующему утверждению.

Теорема 1 [8]. Пусть А = [А, А] Є Жтхп; Ь = [Ь, Ь] Є Жт. Вектор х Є Жп является алгебраическим решением уравнения (0) тогда и только тогда, когда х и х удовлетворяют системе уравнений

А+ А-А- А

+

х

-х

+

+

А+ -А-

-А-

А

+

Б

О

+

А+ А-А- А

+

х

-х

+

А+ -А-

-А- А

+

Б

Е

+2

Ь

-Ь

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

Для вывода требуемых уравнений представим матрицу А как сумму трех матриц:

А = Ао + Аі + А 2

где Аг = а\;, І Є {0,1, 2} такие, что

о 0

аг] •-

а

г],

если аг] аг] > 0, иначе,

П

Є

п

Є

а

а

а^, если а^ < 0 < а^, 0, иначе,

а^, если а^ > 0 > а^, 0, иначе.

Нетрудно заметить, что при этом

А — А0 + А1, А — А0 - А2, А+ = А+ + А2, А- = А- - А1.

Учитывая тот факт, что при любых фиксированных г = 1,т, ] = 1,п только один из трех интервалов а-, а1, а0 может быть отличен от нулевого интервала, уравнение (4) преобразуем к виду

А+ + А+ А- + А+ А- + А- А+ + А+

— \ +

+

А1 А1

А1 А^ \В

В(х)' +

А+ + А+ А + Ап

А + Ао

х

А+ + А+) [-х

+

А2

_ АЛ / В

А2 А2) \В

еп + 2

-Ь

Таким образом, интервальный вектор х = [х, х] будет алгебраическим решением уравнения (0) тогда и только тогда, когда х и х удовлетворяют уравнению (5).

1

п

е

Ь

2. Условия существования и единственности

Рассмотрим следующий класс уравнений, к которому принадлежат уравнения вида

(4), (5).

Пусть А1,А2 £ Е5хг и Ь1,Ь2 : ^ Е5хк — линейные отображения из в Е5хк,

т. е. Ь1(х) и Ь2(х) — в х к-матрицы, элементами которых являются некоторые линейные функции от х.

Тогда для любого Ь £ К5 можно записать уравнение

А1 х + |^1 (х )|е — А2х + |¿2(х )|е + Ь,

где х £ К, х — неизвестное.

Уравнения

2п, в = 2т, к = п и,

А = | А+ + А+ А- + А- . .

А1 = и- + А- А+ + А+ '-А

_ А+ + А++ А + А0

2 = 'А- + А- А+ + А+

х

х

-х

Ь

-Ь

¿1

А1 аЛ

Прежде чем дать общие условия единственности (а в случае г = в и существования) решения уравнения (6), рассмотрим его частный случай, получаемый при Ь1(х) = Ь2(х) = 0. Уравнение (6) имеет при этом вид

А1х+ = А2х + Ь,

Ь

где A\, A2 £ Rsxr, b £ Rs, x £ Rr. Для (7) верно следующее утверждение.

Теорема 2. Следующие два условия эквивалентны:

1) уравнение (7) имеет не более одного решения при любом b £ Rs;

2) система уравнений и неравенств

имеет только нулевое решение. Если, кроме того, r = s, то эти условия также эквивалентны следующим:

3) уравнение (7) имеет единственное решение при любом b £ Rs;

4) для любой диагональной матрицы D = diag(d1;... ,ds) такой, что |dj| = 1, i = 1,s, уравнение

A1Dx+ = A2Dx- + b (7)d

имеет по крайней мере одно решение при любом b £ Rs.

Для доказательства теоремы 2 нам понадобится вспомогательный результат:

Лемма 2. Пусть a,b £ Rn и |a| < |b|. Тогда

где для векторов x,y £ Rn через x Л y обозначена точная нижняя грань, т. е.

x Л y = min{x, y},

а операция min понимается покоординатно.

a% < |b*| при любом i = 1,n. Далее из неравенства a^ < |bj| следует, что если bi — 0, то

ai < bi, и поэтому (ai — bi)+ = 0, а если bi < 0, то ai < —bi, и тогда (ai + bi)+ = 0.

Таким образом, для любого i = 1, n либо (ai — bi)+ = 0, либо (ai + bi)+ = 0, и следовательно, (a + b)+ Л (a — b)+ = 0.

Равенство (a + b)- Л (a — b)- = 0 получается аналогичным образом из неравенства

— |b| < a. Лемма доказана.

Доказательство теоремы 2. Докажем сначала эквивалентность условий 1) и 2). Пусть условие 1) выполняется и y,x £ Rr удовлетворяют системе (8). Положим

x1 = (x + y)+ — (x — y)+, x2 = (x + y)- — (x — y)-.

Так как |y| — |x|, то из леммы 2 получаем (x + y)+ Л (x — y)+ = (x + y)- Л (x — y)- = 0, и

следовательно,

x+ = (x + y)+, x- = (x — y)+, x+ = (x + y)-, x- = (x — y)-.

Далее из первого уравнения системы (8) вытекает A1(x + y) = A2(x — y), что совместно с предыдущими равенствами дает

A1(x+ — x+) = A1 ((x + y)+ — (x + y)-) = A1(x + y) = A2 (x — y) =

= A2((x — y)+ — (x — y)-) = A2(x- —

и поэтому А1х+ - А2х- = А1х+ - А2х-. Следовательно, полагая Ь = А1х+ - А2х- = А1х+ - А2х-, получаем, что х1 и х2 — решения уравнения (7) с одним и тем же Ь. Но тогда из условия 1) следует, что х1 = х2, т. е.

(х + у)+ - (х - у)+ = (х + у)- - (х - y)-,

или

х + у = (х + у)+ - (х + у)- = (х - у)+ - (х - у)- = х - у,

и следовательно, у = 0. Кроме того, |у| > |х|, поэтому х = 0, т. е. х = у = 0 — единственное решение системы (8).

Обратно, пусть система (8) имеет только нулевое решение и х1,х2 £ К удовлетворяют

уравнению (7). Тогда А1х+ - А2х- = А1х+ - А2х-, или А1(х+ - х+) = А2(х- - х-).

Положим

Так как для любого х £ К имеет место |х| = х+ + х-, то выполняются следующие равенства:

х + у = |х1| + х1 - |х2| - х2 = 2(х+ - х+), х - у = |х1| - х1 - |х2| + х2 = 2(х- - х-).

Следовательно,

А1(х + у) = 2А1(х+ - х+) = 2А2(х- - х-) = А2(х - у),

или

(А1 + А2)у + (А1 - А2)х = 0,

т. е. для х,у выполняется первое уравнение системы (8).

Так как, кроме того, очевидно, что

то х, у удовлетворяют системе (8). Следовательно, у = х1 - х2 = 0 и х1 = х2, т. е. (7) имеет не более одного решения.

Рассмотрим случай г = в.

Очевидно, что из 3) следует 1). Покажем, что из 2) следует 3).

Допустим, что условие 2) выполняется. Заменяя в уравнение (7) х+ и х- на их выражения через модули, т. е. х+ = 2(|х| + х), х- = 2(|х| - х), перепишем уравнение (7) в следующей эквивалентной форме:

Заметим, что матрица А1 + А2 должна быть невырожденной, так как если вектор у0 = 0 такой, что (А1 + А2)у0 = 0, то пара (у0, 0) будет ненулевым решением системы (8). Поэтому уравнение (10) можно записать в виде

х =

Обозначим В = (А1 + А2)-1(А2 - А1) и покажем, что матрица В нерасширяющая. Действительно, если это не так, то найдется вектор х0 = 0 такой, что |Вх0| > |х0|. В этом

случае, полагая у0 = Вх0, получим у0 = (А1+А2)-1(А2-А1)х0, или (А1+А2)у0 = (А2-А1)х0 и |уо| > |х0|, что противоречит условию 2). Но тогда , по теореме 6.1.5 [9] можем заключить, что уравнение (11), а следовательно и уравнение (7), имеют решение при любом Ь £ К5.

Докажем теперь, что условие 4) эквивалентно условию 2). Если система (8) имеет только нулевое решение и Д = diag( ^1,... ,^) — диагональная матрица такая, что |^| = 1, г = 1, в, то система

(А1 + А2)Ду + (А1 - А2)Дх = 0,

очевидно также имеет только нулевое решение. Поэтому, по уже доказанному, из условия 2) следует, что уравнение (7)д имеет единственное решение при любом Ь £ К5 и, в частности, будет выполняться условие 4).

Докажем обратное, т. е., что из условия 4) следует условие 2). Покажем сначала, что при выполнении 4) матрица А1 + А2 должна быть невырожденной. Допустим противное. Тогда найдется вектор г = 0, г £ К5Х1 такой, что гТ(А1 + А2) = 0 (где гТ — транспонированный вектор, т.е. гт £ К1Х5).

Выберем диагональную матрицу Д = diag(d1,... , ^), |^| = 1, г = 1,в так, чтобы выполнялось равенство |гтА1| = гТА1Д. Пусть х — решение уравнения

А1Дх+ = А2Дх- - г.

Тогда, используя равенства гТА2 = -гТА1 и г = А2Дх- - А1Дх+, нетрудно получить

гтг = гТ(А2Дх- - А1 Дх+) = гТА2Дх- - гТА1Дх+ = -гТА1Дх- - гТА1Дх+ =

= -гТА1 Д(х- + х+) = -гТА1Д|х| = -|гТА1||х| < 0, что противоречит предположению г = 0. Следовательно, А1 + А2 невырождена. Далее, так же как при доказательстве того, что из 2) следует 3), с помощью замены х+ = ^(|х| + х),

х- = — (|х| - х), получаем следующую эквивалентную форму уравнения (7)д:

Дх = (А1 + А2) 1 (А2 - А^Д|х| + 2(А1 + А2) 1Ь.

Обозначая В = (А1 + А2)-1(А2 - А1), Ь = 2(А1 + А2)-1Ь и делая замену у = Дх, заключаем, что условие 4) эквивалентно существованию по крайней мере одного решения уравнения

при любых Д = diag(d1,... , ^), |^| = 1, г = 1,в, и Ь £ К5. Но тогда из теоремы 6.1.5

[9] получаем, что матрица В — нерасширяющая. Покажем, что в этом случае система (8) имеет только нулевое решение. Действительно, пусть х,у £ К5 удовлетворяют системе (8). Тогда из первого уравнения этой системы, учитывая, что А1 + А2 невырождена, выводим

у = (А1 + А2) 1 (А2 - А1)х = Вх,

а из неравенства |у| > |х| получается, что |Вх| > |х|. Так как матрица В — нерасширяющая, то из последнего неравенства следует, что х = 0, а значит и у = Вх = 0, т. е. система

(8) действительно имеет только нулевое решение. Теорема доказана.

Замечание. Из доказательства теоремы нетрудно заметить, что при в = г условие 2) эквивалентно тому, что det(A1+А2) = 0 и матрица (А+А2)-1(А2 — Аі) — нерасширяющая. Таким образом, теорему 2 можно считать распространением на прямоугольный случай (т. е. при г = в) результатов [9, 10] по исследованию систем с модулями.

Рассмотрим теперь общее уравнение (6). Для него верно следующее утверждение. Теорема 3. Если система неравенств

имеет только нулевое решение, то уравнение (6) имеет не более одного решения при любом Ь Є К5. Если, кроме того, г = в, то уравнение (6) имеет единственное решение при любом Ь Є К5.

Доказательство. Докажем сначала первое утверждение. Пусть система (8) имеет только нулевое решение, а ж1,ж2 Є К — два решения уравнения (6). Тогда

А1х+ — А2х1 + ( |^1(х+)| — |^2(х1 )| )бк = А1х+ — А2х2 + ( |^1(х+)| — ^2(х2 )| )бк, и следовательно,

А1

Положим 1 1

х = 2(|х^ — |х2^ У = 2(х1 — Х2).

Тогда |х| = —1|х11 — |х21| < —|х1 — х2| = |у|, и, как и при доказательстве теоремы 2, нетрудно показать, что

-•у* _1_ -7/ --------------- /у*+ _ <у+ ґу _ /1« ------------ /у* _ /у*

1 2 1 2

Далее из (13) следует

| А (х + у) + А 2 (у — х) | = | А1(х+ — х+) + А 2 (ж 2 — х1 ) | =

< | ¿1(х+) — Ь1(х+)|ек + |¿2(х 1 ) — |^2(х2 ) |єк = ( |^1(х+ — х+)| + |^2(х 1 — х2 )| )єк =

= ( |^1 (—(х + у))| + |¿2(х — у)| )ек = ( |^1(х + у)| + |¿2(х — у)| )ек.

Таким образом, для х, у выполняется система неравенств (12), и поэтому х = у = 0. Но тогда х1 — х2 = 2у = 0 и х1 = х2, т. е. любые два решения уравнения (6) совпадают.

Пусть теперь г = в и система (12) имеет только нулевое решение. Нужно показать, что уравнение (6) имеет решение при любом Ь Є К5. Для этого преобразуем уравнение (6) к виду (7) и воспользуемся теоремой 2. Введем новые матричные переменные ^1, ^2 Є К5Хк и запишем уравнение (6) в виде системы

^1 = ¿1

^2 = ¿2(х ).

Далее, представляя г = 1, 2, в виде Z i = ^ и |^| как |^| = + Zi , преобразуем

систему (14) к следующему виду:

АіХ+ + ^+ек - ^2+ек = А2Х- + ^-ек - ^2-ек + Ь, —¿і(х+) + ^ ,

= ¿2(х ) + ^2 •

Обозначим через Ек линейный оператор из М в М5, определяемый умножением на ек, т. е., если Z Є М5Хк, то Ек(^) = ^. Тогда систему (15) можно представить в виде матрицы

Аі Ек —Е

—¿і Е 0

0 0 Е

( \

X

VZ2/

+

А2 —Е к Ек / X

0 Е 0 и

¿2 0 Е VZ2

+

где Е — тождественный оператор, а 0 — нулевой оператор.

Система (16) (эквивалентная уравнению (6)) уже имеет вид (7). Поэтому, по теореме 2, для существования решения этой системы достаточно, чтобы соответствующая система вида (8) имела только нулевое решение. Выпишем ее:

А1 Ек —Е;

—¿і Е

00

X

VI

<

0

Е

У

и

^2,

х \ ¡У

VI I + I и

V

и

2

А2 —Ек Ек 0Е0 0

Е

VI — и

Расписывая (17) покоординатно, после несложных преобразований получаем следующую систему:

(А + АОу + (А — А2)ж = — 2^ек + 2У2ек,

иі = 1 ¿і(х + У^ и2 = 1 ¿2(х — У),

Итак, если система (18) имеет только нулевое решение, то система (14), а значит и

уравнение (6), имеют решение при любом Ь £ К5.

Предположим теперь, что X, у £ К, VI, V, и1, и2 € К5Хк — некоторое решение системы (18). Тогда

| (А1 + А2)у + (А — А.2)х| = | — 2У1ек + 2V2ек | <

< 2|^|ек + 2|V2|ek < 2|Ц. |ек + 2|^2|вк = |^(х + у)|ек + |^2(х — у)|ек, и так как |х| < |у|, то пара (ж,у) удовлетворяет системе (12). Но тогда х = у = 0 и,

следовательно, и1 = -Ь1(х + у) = 0, и2 = ^Ь2(х — у) = 0 и |V!| < |и1| = 0, |^| < |и2| = 0,

т. е. система (18) действительно имеет только нулевое решение.

к

Замечание. Проводя преобразования аналогичные использованным при доказательстве теоремы 2, можно показать, что условие существования только нулевого решения (12) эквивалентно тому, что уравнение

А1Ж+ + |^1

имеет не более одного решения при любых Ь € К5, В1, В2 € К5Хк (а при в = г имеет

единственное решение). Уравнение (6) получается из (19) при В1 = В2 = 0. Поэтому, скорее всего, условия теоремы 3 не являются в общем случае необходимыми.

Используя теорему 3, нетрудно выписать достаточные условия единственности (а при т = п и существования) решений для уравнений (4), (5), а значит и для исходной интервальной линейной системы (0). В общем случае эти условия получаются достаточно громоздкими и практически не поддаются упрощению. Однако в одном частном случае, когда уравнение (5) имеет вид (7), они могут быть записаны достаточно компактно. Введем следующее определение.

Определение 2. Матрицу А = ([а^-, ]) € ЖтХга будем называть матрицей постоянных знаков, если > 0 для всех г = 1, т, ] = 1, п.

Заметим, что в этом случае в разложении А = Ао + А1 + А2, А = Ао, А1 = А2 = 0. Следовательно, уравнение (5) (но не (4)) имеет вид (7) и можно использовать теорему 2. После несложных преобразований системы (7) приходим к более сильному утверждению: Следствие. Пусть матрица А € ЖтХга является матрицей постоянных знаков и

Тогда следующие условия эквивалентны:

1) интервальная линейная система (0) имеет не более одного алгебраического решения при любом Ь € Жт;

2) система уравнений и неравенств

Асу2 = Д0Ж2,

имеет только нулевое решение. Если, кроме того, т = п, то эти условия также эквивалентны следующему:

3) интервальная линейная система (0) имеет единственное алгебраическое решение при любом Ь € Жт.

Наконец, отметим в заключение, что, если А < А, т. е. в интервальной системе матрица правильная, то Д = |Д0|.

Список литературы

[1] Акилов Г. П., КУТАТЕЛАДЗЕ С. С. Упорядоченные векторные пространства. Наука, Новосибирск, 1978.

[2] Алефельд Г., Херцбергер Ю. Введение в интервальные вычисления. Мир, М., 1987.

[3] ШАРЫй С. П. Алгебраический подход к анализу линейных статических систем с интервальной неопределенностью. Изв. РАН. Теория и системы управления, №3, 1997, 51-61.

[4] ШАРЫй С. П. Внешнее оценивание обобщенных множеств решений интервальных линейных систем. Вычисл. технологии, 4, №4, 1999, 83-113.

[5] GARDENES E., TREPAT A. Fundamentals of SIGLA, an interval computing system over the completed set of intervals. Computing, 24, 1980, 161-179.

[6] KAUCHER E. Interval analysis in the extended interval spase IR. Computing Suppl., 2, 1980, 33-49.

[7] KUPRIYANOVA L. V. Inner estimation of the united solution set of interval linear algebraic system. Reliable Computing, 1, 1995, 15-31.

[8] LAKEYEV A. V. Linear algebraic equations in Kaucher arithmetic. In: Reliable Computing

1995. Supplement (Extended Abstracts of APIC’95: Inter. Workshop on Appl. of Interval Comput., El Paso, TX, Febr. 23-25, 1995), El Paso, 1995, 130-133.

[9] NEUMAIER A. Interval methods for systems of equations. Cambridge University Press, 1990.

[10] ROHN J. Systems of linear interval equations. Linear Algebra and its Appl., 126, 1989, 39-78.

[11] SHARY S. P. Algebraic approach to the interval linear static identification, tolerance and control problems, or One more application of Kaucher arithmetic. Reliable Comput., 2,

1996, 3-33.

[12] SHARY S. P. Algebraic approach in the “outer problem” for interval linear equations. Reliable Comput., 3, 1997, 103-135.

Поступила в редакцию 22 декабря 1998 г.