Топологическая степень совпадения фредгольмовых операторов и псевдоациклических многозначных отображений

УДК 517.988

ТОПОЛОГИЧЕСКАЯ СТЕПЕНЬ СОВПАДЕНИЯ ФРЕДГОЛЬМОВЫХ ОПЕРАТОРОВ И ПСЕВДОАЦИКЛИЧЕСКИХ МНОГОЗНАЧНЫХ

ОТОБРАЖЕНИЙ

© Дж. Аль-Обаиди, В. В. Обуховский

Ключевые слова: степень совпадения; точка совпадения; многозначное отображение; линейный фредгольмов оператор; мера некомпактности; уплотняющее отображение. Вводится топологическая степень совпадения для пары отображений банаховых пространств, состоящей из линейного фредгольмова оператора Ь нулевого индекса и псевдоациклического многозначного отображения Т, уплотняющего относительно Ь . Обосновывается корректность определения степени, описываются ее основные свойства и даются приложения к существованию точек совпадения.

Введение

Задача о точках совпадения фредгольмовых операторов с многозначными отображениями различных классов возникает при исследовании большого круга задач теории дифференциальных уравнений, теории управляемых систем и других ветвях современной математики. Весьма эффективным средством решения задач такого рода является использование топологических характеристик типа степени совпадения. Для случая однозначных отображений теория степени совпадения восходит к работам [1,2]. Для включений с линейными фредголь-мовыми операторами и различными типами многозначных отображений топологические характеристики такого рода исследовались и применялись в работах [3-6] и др. Конструкции степени совпадения для многозначных возмущений нелинейных фредгольмовых операторов также предлагались в ряде работ (см., например, монографию [7] и имеющуюся там библиографию).

В настоящей статье, опираясь на результаты работ [8,9], мы вводим топологическую степень совпадения для пары отображений банаховых пространств, состоящей из линейного фредгольмова оператора Ь нулевого индекса и псевдоациклического многозначного отображения Т, уплотняющего относительно Ь . Обосновывается корректность степени, описываются ее основные свойства и даются приложения к существованию точек совпадения.

1 Основные понятия и определения

1.1 Линейные фредгольмовы операторы

Пусть Е\ , Е2 - банаховы пространства, Ь : ОвтЬ С Е\ — - линейный оператор.

Напомним (см., например, [1,2]) следующие утверждения.

(1.1) Лемма. Пусть Р : Е\ — Е\ - линейная проекция такая, что 1тР = КегЬ . Тогда: а) оператор ЬР : БвтЬ П КегР — 1тЬ ,

Ьр(х) = Ь(х) для х € БвтЬ П КегР является линейным изоморфизмом;

1771

б) оператор Кр : 1тЬ — БотЬ П КетР ,

Кр(х) = Ь-

удовлетворяет соотношению

КР о Ьх = х — Рх

для всех х € БотЬ .

Оператор Кр называется псевдообратным к Ь.

(1.1) Определение. Линейный оператор Ь : БотЬ С Е\ — называется линейным фредгольмовым оператором нулевого индекса, если 1тЬ - замкнутое подмножество Е2 , пространства КегЬ и СокегЬ = Е2/1тЬ конечномерны и

йгтКетЬ = МтСокетЬ.

(1.2) Лемма. Пусть Ь : БотЬ С Е1 — Е2 - линейный фредгольмов оператор нулевого индекса. Тогда:

а) существуют линейные непрерывные операторы проектирования Р : Е1 — Е1 и Q : Е2 — Е2 такие, что 1тР = КетЬ и KeтQ = 1тЬ ;

б) псевдообратный оператор Кр непрерывен;

в) каноническая проекция П : Е2 — СокетЬ, заданная как Пу = у + 1тЬ, является непрерывным оператором;

г) существует линейный непрерывный изоморфизм Л : СокетЬ — КетЬ;

д) уравнение

Ьх = у, у € Е2

эквивалентно уравнению

(г — Р )х = (ЛП + КР^)(у), где г - тождественный оператор на Е1 , а оператор Кр^ : Е2 — Е1 задан как

Кр&(у) = Кр (у — Qy).

Пару (Р, Q) будем называть точной парой проекций, отвечающих оператору Ь . Отметим также, что сужение П на ImQ является алгебраическим изоморфизмом.

1.2 Многозначные и уплотняющие отображения

Напомним некоторые понятия (подробнее см., например, [10-13]).

Пусть X , У - метрические пространства, К (У) обозначает совокупность всех непустых компактных подмножеств У.

(1.2) Определение. Многозначное отображение (мультиотображение) Г : X — К (У) называется полунепрерывным сверху, если Г-1(У) = {х € X : Г(х) С V} открыто для любого открытого подмножества V С У .

Пусть Е - банахово пространство, Р(Е) - совокупность всех непустых подмножеств Е .

(1.3) Определение. Пусть (А, >) - частично упорядоченное множество. Отображение в : Р(Е) — А называется мерой некомпактности (МНК) в Е, если

в

для любого О С Е .

Мера некомпактности в называется:

(1) монотонной, если из О0, О1 € Р(Е), О0 С О1 следует в(Оо) < в(О1);

1772

(2) несингулярной, если ß({a} U Q) = ß(Q) для любых a € E , Q € P (E) ;

(3) полуаддитивной, если ß(Q0 U Qi) = max{ß(Q0), ß(Qi)} для любых Q0, Qi € P(E) ;

(4) инвариантной относительно отражения в нуле, если ß(—Q) = ß(Q) для любого Q €

P(E);

(5) полуоднородной, если ß(AQ) = |A|ß(Q) для любого А € R. Если A - конус в банаховом пространстве, то МНК ß называется:

(6) алгебраически полуаддитивной, если

ß

для любых Q0, Qi € P(E) ;

(7) правильной, если ß(Q) = 0 равносильно относительной компактности Q .

МНК ß называется вещественной, если A = [0, с естественным упорядочением и

ß

Распространенными примерами вещественных мер некомпактности, обладающими свойствами (1)-(7), являются мера некомпактности Хаусдорфа

X(Q) = inf {е : е > 0, Q имеет в E конечную е — сеть }

и мера некомпактности Куратовского

a(Q) = inf{d : d> 0, Q допускает разбиение на конечное

число множеств, диаметр которых меньше d}.

Важным примером удовлетворяющей указанным выше свойствам меры некомпактности в пространстве непрерывных функций E = C([a; b]; E) , где E - банахово пространство, является бинарная мера некомпактности v со значениями в конусе R+ с естественным полуупорядочением:

v(Q) = (<p(Q), modc(Q)),

где

V

a<t<b

— модуль послойной некомпактности, Q(t) = {x(t) : x € Q}, и

modc(Q) = lim sup max ||x(ti) — x(t2)\\E ¿^0 жеп |ti-t2|<5

— модуль равностепенной непрерывности.

Пусть X — замкнутое подмножество банахова пространства E; ß — МНК в E. (1.4) Определение (см., например, [11,13]). Мультиотображение F : X — K(E) или семейство мультиотображений G : X х Л — K(E) называется уплотняющим относительно МНК ß (или ß -уплотняющим), если для любого Q С X, не являющегося относительно компактным, выполнено, соответственно,

ß

или

ß(G(Q х Л)) £ ß(Q).

Рассмотрим следующий важный класс уплотняющих мультиотображений. Пусть в — вещественная МНК в Е и 0 < к < 1. Мультиотображение Е : X — К(Е) или семейство мультиотображений О : X х Л — К(Е) называются (к, в) -уплотняющими, если,

1773

соответственно, fi(F(Q)) < kfi(Q) или fi(G(Q х Л)) < кв(Q) для любого Q С X.

Пусть E — банахово пространство, в — монотонная несингулярная МНК в E, U С E — выпуклое ограниченное подмножество, F : U ^ K(E) — в -уплотняющее псевдоациклическое мультиотображение такое, что

Fix F П dU = 0,

где Fix F = {x €U : x € F(x)} — множество неподвижных точек F. Тогда (см. [9]) определена целочисленная характеристика — топологическая степень мультиполя i — F

deg

(здесь i(x) = x), обладающая свойством гомотопической инвариантности и свойством неподвижной точки: условие deg(i — F,U) = 0 влечет

0 = Fix F С U.

Пусть H обозначает функтор когомологий Александера-Спеньера с целыми коэффициентами (см. [14]).

Непустое пространство Y называется 0 -ацикличным, если H0(Y) = Z , к -ацикличным (к > 1) , если Hк(Y) =0, и ацикличным, если оно к -ациклично для любого к > 0 .

Пусть E\ , E2 - банаховы пространства; всюду ниже U С Ei - ограниченное открытое выпуклое множество.

Пусть Z - топологическое пространство и F : U ^ K(Z) - мультиотображение. Для i > 0 обозначим

M%F = {x\ x € U, F(x) не является i-ацикличным}.

(1.5) Определение. Полунепрерывное сверху мультиотображение F : U ^ K(Z) называется почти ациклическим, если:

(a) MlF = 0 для всех i, начиная с некоторого io > 0;

(b) £ = max (dim^ MlF) < то , где dim^ - обозначает относительную топологическую раз-

0<г<го

мерность [15].

(1.6) Определение [8,9]. Мультиотображение F : U ^ K(E2) называется псевдоациклическим, если существуют топологическое пространство Z и такое непрерывное отображение Q : Z ^ E2, что F представимо в виде композиции

F = @ о F,

где F почти ациклическое мультиотображение.

2 Степень совпадения

Пусть U С Ei — открытое выпуклое ограниченное множество; в — МНК в Ei . Для простоты будем предполагать, что в обладает указанными выше свойствами (1)-(7).

(2.1) Определение. Псевдоациклическое мультиотображение F : U ^ K(E2) называется (L, в) -уплотняющим, если:

(i) множество F(U) ограничено в E2 ;

(ii) мультиотображение

Kp,q о F : U ^ K

является в -уплотняющим.

1774

Нашей задачей теперь является построение топологической степени совпадения пары (L, F) , где L : DomL С Ei — — линейный фредгольмов оператор нулевого индекса, а F : U — K(E2) — (L, ß) -уплотняющее псевдоациклическое мультиотображение.

(2.2) Определение. Точка x € DomL П U называется точкой совпадения пары (L, F) , если

Lx € F (x).

Множество всех точек совпадения пары (L, F) будем обозначать Coin(L, F, U). Рассмотрим мультиотображение Q : U — K (Ei) вида

Q

Из Леммы 1.2 (д) вытекает, что множество Coin(L, F) совпадает с множеством неподвижных точек FixQ = {x € U : x € Q(x)} .

Основное свойство мультиотображения Q описывает следующее утверждение. (2.1) Лемма. Мультиотображение Q является ß -уплотняющим псевдоациклическим муль-тиотображением.

Доказательство. (i) Покажем, что Q псевдоациклично. Пусть F = (В о F) , FF : U — K(Z) , В : Z —> E2 — разложение F. Ясно, что мультиотображение F : U —У K(Ei x Z) ,

F = {x} x F

почти ациклично.

Далее, определим отображение S : E1 x Z — E1 как

S(x, z) = Px + (ЛП + Kp,q)z.

Тогда Q разложимо в (S о F).

(ii) Пусть Q С U — подмножество, для которого

ß(Q(Q)) > ß(Q).

Заметим, что

Q (Q) С P (Q) + ЛПF (Q) + Kpqqf (Q).

В силу того, что первые два слагаемых являются ограниченными конечномерными множествами, получаем

ß(Q (Q)) < ß(Kp, Q о F (Q)),

откуда, в силу Определения 2.1 (ii) вытекает, что множество Q относительно компактно. Лемма доказана.

Обозначим Sl(U,E2) совокупность всех (L,ß) -уплотняющих псевдоациклических мультиотображений F : U — K(E2) .

Выделим в Sl(U,E2) подкласс S^(U, E2) , состоящий из всех таких мультиотображений F , для которых

Coin(L, F, U) П (dU П DomL) = 0.

(2.3) Определение. Степенью совпадения

deg

пары (L, F), где F € Squ (U,E2), называется топологическая степень deg(i — Q ,U ) мульти-поля i - Q .

1775

Нашей задачей теперь является установить корректность Определений 2.1 и 2.3, т. е. их независимость от выбора точной пары проекций (P, Q) и изоморфизма Л (с точностью до его ориентации).

(2.2) Лемма. Пусть (P,Q) и (P',Q') —две точные пары проекций, отвечающих оператору L . Тогда, если мультиотображение Kp,q о F является ß -уплотняющим и выполняется условие (i) Определения 2.1, то Kp'Q о F — также ß -уплотняющее мультиотображение.

Доказательство. Нетрудно проверить следующие соотношения

Kp' = (i - P')Kp, PKP' + P'KP = 0,

где Kp , Kp' — псевдообратные к L операторы, ассоциированные с P и P', соответственно. Обозначим nQ = n\ImQ и nQ' = n\ImQ' . Тогда получаем

Kp',q' = Kp' (i - Q') =

= (i - P')Kp(i - Q') = = (i - P')Kp(i - Q) + (i - P')Kp(Q - Q') = = (i - P')Kpqq + (i - P')Kp(nQ1 - nQ,1 )П,

где K p обозначает сужение Kp на конечномерное подпространство Im(Q - Q' ) С E2 . Для Q С U , пусть

ß

Тогда получаем

Kp',Q' О F(Q) С KpqqF(Q) - P'KpqqF(Q)+ +(i - P')Kp(nQ1 - nQ})nF(Q).

В силу того, что последние два слагаемых представляют собой ограниченные подмножества конечномерного пространства, мы получаем, используя свойства меры некомпактности ß ,

ß

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

ß(Kp, Q О F (Q)) > ß (Q),

откуда вытекает относительная компактность Q .

Заметим теперь, что если ориентировать конечномерные пространства KerL и CokerL, то все изоморфизмы

Л : CokerL — KerL

распадаются на два класса и Li гомотопных друг другу изоморфизмов — сохраняющих ориентацию пространств и, соответственно, меняющих ее на противоположную.

(2.3) Лемма. Степень совпадения

deg

не зависит от выбора точной пары проекций (P, Q) и от выбора изоморфизмов Л в одном и том же гомотопическом классе Li, i = 0,1.

Доказательство. Пусть (P,Q) и (P',Q') — две точные пары проекций и Л, Л' : CokerL — KerL — два изоморфизма, принадлежащих одному из классов L0 или Li .

1776

Обозначим

Go(x) = Px + (ЛП + Kp, q)F (x),

Gi(x) = P'x + (Л'П + Kp ', Q' )F (x).

Пусть Л : CokerL x [0,1] — KerL - гомотопия, связывающая Л и Л', то есть Л(, 0) = Л , Л(, 1) = Л'. Известно [1], что для любого 0 < Л < 1 отображения

Px = (1 - Л)P + ЛP' и

Qx = (1 - л)Q + Л^

образуют точную пару проекций. Более того, справедливо следующее соотношение

Kpx = (1 - Л)Кр + ЛКр', откуда очевидным образом вытекает

Крх,Qx = Kpx(I - Qx).

Рассмотрим теперь семейство мультиотображений G : U x [0,1] — К (Ei),

G (x, Л) = Pxx + [À (П(-), Л) + Kpx , Qx ] о F (x). Нетрудно видеть, что мультиотображение G псевдоациклично,

x

для всех (x, Л) € dU x [0,1] и

G(x, 0) = Go(x), G(x, 1) = Gi(x).

Остается показать, что мультиотображение G является уплотняющим. Для этого проведем следующие преобразования

G (x, Л) = (1 - X)Px + ЛP'x + [Л (П(-), Л) + +{(1 - Л)Кр + ЛКр'}{I - (1 - Л)Q - Л^}]F(x) = = (1 - X)Px + Л^ x + [Л(П(-), Л) + {(1 - Л)КР+ +Л(1 - P')Кр}{I - Q + Л(Q - Q')}]F(x) = = (1 - Л)Px + Л^ x + [Л(П(^), X) + (I - Л^)Кр(I - Q) + +Л(^ - Л^)Кр(Q - Q')]F(x). Пусть теперь Q С U - множество такое, что

ß(G(Q x [0,1])) > ß(Q). Рассуждая как и выше, мы получаем, что

ß(G(Q x [0,1])) = ß(Kp(I - Q)F(Q)) = ß(Kp,qF(Q)).

Таким образом,

ß(Kp,qF(Q)) > ß(Q),

откуда следует относительная компактность Q .

Итак, мультиотображение G порождает гомотопию мультиполей i - Go и i - Gi , откуда следует

deg(i - Go,U) = deg(i - Gi,U),

что и доказывает лемму.

1777

3 Основные свойства степени совпадения

Непосредственно из определения вытекает следующий общий принцип существования точки совпадения.

(3.1) Теорема. Если

deg(L, F,U) = 0,

то

0 = Coin(L, F ,U) С U.

Для того, чтобы сформулировать следующее свойство, введем понятие L -гомотопии. Пусть ß - МНК в Ei .

(3.1) Определение. (L, ß) -уплотняющие псевдоациклические мультиотображения

Fo = Во oFo : U — K

такие, что

Coin(Li, Fi,U) П dU = 0, i = 0,1,

называются L -гомотопными,

Fo ~ Fi,

L

если существуют почти ациклическое мультиотображение FF : U x [0,1] — K (Z ) и непрерывное отображение В : Z x [0,1] — E2 такие, что

(i) Ft, 0) = Fo, Ft, 1) = Fi ;

(ii) ВО, 0) = Bo, BO, 1) = Bi; _

(iii) для псевдоациклического мультиотображения F : U x [0,1] — K(E2),

F

выполнено

а) множество F(U x [0,1]) ограничено в E2 ;

б) мультиотображение Kp, q о F : U x [0,1] — K (Ei) является ß -уплотняющим;

в) Coin(L, F(•, A)) П dU = 0 для всех A € [0,1] .

Имеет место следующее свойство гомотопической инвариантности.

(3.2) Теорема. Если

Fo ~ Fi,

L

то

deg(L, Fo, U) = deg(L, Fi, U). Доказательство. Рассмотрим мультиотображение Q : U x [0,1] — K (Ei),

Q (x, A) = Px + [ЛП + Kp, q] о F (x, A).

Как и ранее, мы можем установить, что Q — псевдоациклическое ß -уплотняющее мультиотображение, причем, в силу условия (iii) (в) Определения 3.1 x € Q(x, A) для всех (x, A) € dU x [0,1] .

Таким образом, Q порождает гомотопию мультиотображений Q(•, 0) и Q(•, 1) , откуда вытекает

deg(i — Q (•, 0),U) = deg(i — Q (•, 1),U),

1778

что даст в итоге

deg(L, F0, U) = deg(L, Fi, U).

Рассмотрим теперь некоторые применения введенной характеристики к задаче о точках совпадения пары (L, F) .

Справедлив следующий вариант теоремы о нечетном поле.

(3.3) Теорема. Пусть область U симметрична относительно нуля и мультиотображение F нечетно на dU , т. е.

F (-x) = -F (x) для всех x € dU.

Тогда степень совпадения

deg

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

0 = Coin(L, F ,U) С U П DomL. Доказательство. В силу линейности операторов P , Л , П и Кр,q мультиотображение

G

нечетно и результат вытекает тогда из теоремы о нечетном поле для псевдоациклического мультиотображения.

Рассмотрим теперь следующую теорему о продолжении.

(3.4) Теорема. Пусть F : U — К(E2) — (L, ß) -уплотняющее псевдоациклическое муль-тиотображение такое, что

(i) Lx € ЛF(x) для всех x € DomL П dU, Л € (0,1] ;

(ii) 0 € nF(x) для всех x € KerL П dU ;

(iii) degKerL (ЛnF\uKerL ,U Kerb) = 0 . Тогда

0 = Coin(L, F, U) С (U П DomL).

Доказательство. Нетрудно видеть, что мультиотображение G : U x [0,1] — К (Ei), заданное как

G (x, Л) = Px + [ЛП + ЛКр^ q ] о F (x),

является псевдоациклическим и ß -уплотняющим.

Если Л € (0,1] , то, принимая во внимание, что XЛ также является линейным изоморфизмом пространств CokerL и KerL, мы получаем из условия (i), что

x € G

для (x, Л) € (DomL П dU) x (0,1] .

Если же Л = 0 , то из условия (ii) вытекает, что x € G (x, 0) для всех x € DomL П dU . Таким образом, G порождает гомотопию псевдоациклических мультиотображений, откуда получаем

deg(L, F, U) = deg(i - P - ЛnF, U),

где в правой части - топологическая степень мультиполя, соответствующего конечномерному отображению P + ЛПF. Согласно свойству сужения отображения (п. (2.7) в [8]), мы получаем

deg(i - P - ЛnF ,U) = ^Ке^-ЛП^^^ , ~U KerL). Применение условия (iii) завершает доказательство.

1779

Мы завершим этот раздел теоремой о точке совпадения, являющейся обобщением теоремы Б.Н. Садовского о неподвижной точке. Эту теорему мы докажем для мультиотображений более узкого класса, впрочем вполне достаточного для главных приложений. Дадим необходимые определения.

(3.2) Определение [16]. Компактное метрическое пространство А называется -множеством, если существует убывающая последовательность {Ап} компактных стягиваемых множеств такая, что

А = р| Ап.

п>1

(3.1) Замечание. Всякое -множество ациклично [17]. Очевидно, что декартово произведение -множеств является -множеством.

Пусть 2 — топологическое пространство, и ¥ : и — К(2) — мультиотображение. Определим сингулярное множество N С и следующим образом:

N = {х € и : ¥(х) не является Щ-множеством.}

Пусть

те

N = и МЬ,

г=0

где М~ , как и прежде, состоит из всех таких точек х € и, для которых 1р(х) не является

г

г -ацикличным.

(3.3) Определение. Полунепрерывное сверху мультиотображение ¥ : и — К(2) называется почти- Щ -мультиотображением, если множества М~ удовлетворяют условиям (а) и

г

(Ь) Определения 1.5.

Соответственно, псевдо- Щ -мультиотображением мы назовем мультиотображение Т : и — К(Е2) , представимое в виде Т = В оТ, где Т : и — К(2) — почти- Щ -мультиотображение, а В : 2 — Е2 — непрерывное отображение.

(3.5) Теорема. Пусть пространство Е1 сепарабельно, множество и симметрично относительно нуля, Т : и — К(Е2) — (Ь, в) -уплотняющее псевдо- -мультиотображение, удовлетворяющее следующему граничному условию:

для всех х € ди, / > 0.

Тогда степень йвд(Ь, Т,и) нечетна и, следовательно,

0 = Согп(Ь, Т,й) С и П БошЬ.

Доказательство. Рассмотрим мультиотображение Н : и х [0,1] — К(Е2), заданное как

Н(х, А) = (1 — 2)Т(х) — АТ(—х).

Это мультиотображение является псевдо- -мультиотображением. Действительно, его полунепрерывность сверху вытекает из свойств непрерывности мультиотображений (см., например, [12]). Далее, пусть Т = В о Т. Представим мультиотображение Н в виде следующей композиции:

и х [0,1] —2 х 2 х [0,1] Е2 х Е2 х [0,1] Е2 ,

где

1780

в'(г,г',Х) = {вг, вг', X}

и

х{У,У',Х) = (1 - - ^V'-

Мультиотображение Т является почти- . В самом деле, если Т(х) и Т(-х) являются -множествами, то и Т(х) х Т(-х) х {X} - тоже -множество. Далее, очевидно, что М^ = М~и (-М~) и, применяя теорему суммы [15], мы можем убедиться, что множества М^, г > 0 удовлетворяют условиям (а) и (Ь) Определения 1.5.

Покажем теперь, что мультиотображение Н является (Ь, в) -уплотняющим. Ограниченность множества Н(и х [0,1]) очевидна. Пусть теперь О С и - множество такое, что

в(Кр,дН(О X [0, 1])) > в(О).

Тогда получаем

в(Кр,дН(О X [0, 1])) < < в[со[КрддТ(О) и (-Кр,дТ(-О))]] = = тах{в[Кр, дТ (О)], в [Кр, дТ(-О)]} < < в [Кр, дТ (О и (-О))].

Заметим теперь, что

в

Тогда из (3.1) и (3.2) получаем

в[Кр,дТ(О и (-О))] > > в[Кр,дН(О х [0,1])] > > в(О) = в[О и (-О)],

откуда следует, что множество О и (-О) относительно компактно, а значит и О относительно компактно.

Покажем теперь, что

Ьх £ Н

Если X = 0, то Н(х, 0) = Т(х) и (3.3) при X = 0 вытекает из (3.1) при / = 0. Пусть найдутся такие хо £ ди и Xo £ (0; 1] , что

Ьхо £ Н(хо, Xo).

Тогда имеем

Ьхо £(1 - у)Т(хо) - уТ(-хо),

откуда

Ьхо £(1 - -2)Уо - уУo,

для некоторых уо £ Т(хо) , у'о £ Т(-хо) . Но тогда

1 _ Ао

1 о

Ь(-хо) - у'о 2 (Ьхо - Уo),

Ао 2

что противоречит условию (3.1).

1781

Осталось заметить, что мультиотображение

Н

нечетно, и тогда, воспользовавшись теоремами о гомотопической инвариантности и о нечетном поле, получаем

<1вд(Ь, Т,и) = <1вд(Ь, Н(, 0),Щ =

deg(L, H(-, 1),U) = l(mod2).

Теорема доказана.

ЛИТЕРАТУРА

1. Gaines R.E., Mawhin J.L. Coincidence Degree and Nonlinear Differential Equations // Lecture Notes in Mathematics. Berlin; New York: Springer-Verlag, 1977. № 568.

2. Mawhin J. Topological Degree Methods in Nonlinear Boundary Value Problems // Expository lectures from the CBMS Regional Conference held at Harvey Mudd College, Claremont, Calif., June 9-15, 1977. CBMS Regional Conference Series in Mathematics. V 40. American Mathematical Society. Providence, R.I., 1977.

3. Корпев С.В., Обуховский В.В. О некоторых вариантах теории топологической степени для невы-пуклозначных мультиотображений // Труды матем. ф-та (новая серия). Воронеж: ВорГУ, 2004. № 8. С. 56-74.

4. Gabor D, Kryszewski W. A coincidence theory involving Fredholm operators of nonnegative index // Topol. Methods Nonlinear Anal. 2000. V. 15. № 1. Р. 43-59.

5. Pruszko T. A coincidence degree for L -compact convex-valued mappings and its application to the Picard problem of orientors fields // Bull. Acad. Polon. Sci. Ser. Sci. Math. 1979. V. 27. № 11-12. Р. 895-902 (1981).

6. Tarafdar E., Teo S.K. On the existence of solutions of the equation Lx e Nx and a coincidence degree theory // J. Austral. Math. Soc. Ser. A. 1979. V.28. № 2. Р. 139-173.

7. Obukhovskii V., Zecca P., Loi N.V., Kornev S. Method of Guiding Functions in Problems of Nonlinear Analysis // Lecture Notes in Math. V. 2076. Berlin: Springer, 2013. 177 p.

8. Аль-Обаиди Дж. Топологическая степень для псевдоациклических многозначных векторных полей // Вестник ВГУ. Сер. Физика, математика. 2014. № 2. С. 95-110.

9. Аль-Обаиди Дж., Обуховский В.В. Топологическая степень для одного класса некомпактных мультиполей в локально выпуклых пространствах // Вестник ВГУ. Сер. Физика, математика. 2014. № 3. С. 88-98.

10. Ахмеров Р.Р., Каменский М.И., Потапов А.С., Родкипа А.Е., Садовский Б.Н. Меры некомпактности и уплотняющие операторы. Новосибирск: Наука, 1986.

11. Борисович Ю.Г., Гельман Б.Д., Мышкис А.Д., Обуховский В.В. Топологические методы в теории неподвижных точек многозначных отображений // Успехи мат. наук. 1980. Т. 35. № 1. С. 59-126.

12. Борисович Ю.Г., Гельман Б.Д., Мышкис А.Д., Обуховский В.В. Введение в теорию многозначных отображений и дифференциальных включений. 2-е изд. М.: Либроком, 2011.

13. Kamenskii M., Obukhovskii V., Zecca P. Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces // De Gruyter Series in Nonlinear Analysis 7. Berlin; New York: Walter de Gruyter, 2001.

14. Спепьер Э. Алгебраическая топология. М.: Мир, 1971.

15. Александров П.С., Пасынков Б.А. Введение в теорию размерности. М.: Наука, 1973.

16. Hyman D.M. On decreasing sequences of compact absolute retracts // Fund Math. 1969. V. 64. Р. 91-97.

17. Gorniewicz L. Topological Fixed Point Theory of Multivalued Mappings// Second edition. Topological Fixed Point Theory and Its Applications. Springer, Dordrecht, 2006. № 4.

1782

БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке РФФИ (проект № 14-01-00468), РНФ (проект № 14-21-00066) и Минобрнауки России в рамках базовой части госзадания.

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

Al-Obaidi J.M., Obukhovskii V.V.

TOPOLOGICAL COINCIDENCE DEGREE OF FREDHOLM OPERATORS AND PSEUDO-ACYCLIC MULTIVALUED MAPPINGS

In the present paper we introduce the topological coincidence degree for a pair of mappings of Banach spaces consisting of a linear Fredholm operator L of zero index and pseudo-acyclic multivalued mapping F, condensing with respect to L . We verify that the degree is well-defined, describe its main properties and give applications to the existence of coincidence points.

Key words: coincidence degree; coincidence point; multivalued map; linear Fredholm operator; measure of noncompactness; condensing map.

Аль-Обаиди Джамхур, Воронежский государственный педагогический университет, г. Воронеж, Российская Федерация, аспирант, кафедра высшей математики, e-mail: alobadi@mail.ru

Al-Obaidi Jamhur, Voronezh State Pedagogical University, Voronezh, Russian Federation, Post-graduate Student, Higher Mathematics Department, e-mail: alobadi@mail.ru

Обуховский Валерий Владимирович, Воронежский государственный педагогический университет, г. Воронеж, Российская Федерация, доктор физико-математических наук, профессор, зав. кафедрой высшей математики, е-mail: valerio-ob2000@mail.ru

Obukhovskii Valerii Vladimirovich, Voronezh State Pedagogical University, Voronezh, Russian Federation, Doctor of Physics and Mathematics, Professor, Head of Higher Mathematics Department, е-mail: valerio-ob2000@mail.ru

1783