Научная статья на тему 'К вопросу о существовании обобщенного решения возмущенного включения'

К вопросу о существовании обобщенного решения возмущенного включения Текст научной статьи по специальности «Математика»

CC BY
57
24
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ВОЗМУЩЕННОЕ ВКЛЮЧЕНИЕ / ОБОБЩЕННОЕ РЕШЕНИЕ / ПОЛУНЕПРЕРЫВНАЯ СНИЗУ АППРОКСИМАЦИЯ МНОГОЗНАЧНОГО ОТОБРАЖЕНИЯ

Аннотация научной статьи по математике, автор научной работы — Булгаков Александр Иванович, Коробко Анатолий Иванович

Рассмотрено возмущенное включение с многозначным отображением, не обладающим свойством выпуклости по переключению значений. Для этого включения введено понятие обобщенного решения. Приведены условия существования обобщенного решения с полунепрерывными снизу многозначными отображениями.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Булгаков Александр Иванович, Коробко Анатолий Иванович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

To the question of existence of the generalized solution for the perturbed inclusion

The «perturbed» differential inclusion with a multimap non necessarily convex valued with respect to the switching is under discussion. For an inclusion as such the concept of the generalized solution is represented. The conditions for existence of the generalized solution with lower semicontinuous multimap are derived.

Текст научной работы на тему «К вопросу о существовании обобщенного решения возмущенного включения»

УДК 517.9

© А. И. Булгаков, А. И. Коробко

aib@tsu.tmb.ru, prof13@yandex.ru

К ВОПРОСУ О СУЩЕСТВОВАНИИ ОБОБЩЕННОГО РЕШЕНИЯ ВОЗМУЩЕННОГО ВКЛЮЧЕНИЯ1

Ключевые слова: возмущенное включение, обобщенное решение, полунепрерывная снизу аппроксимация многозначного отображения.

Abstract. The «perturbed» differential inclusion with a multimap non necessarily convex valued with respect to the switching is under discussion. For an inclusion as such the concept of the generalized solution is represented. The conditions for existence of the generalized solution with lower semicontinuous multimap are derived.

§ 1. Обозначения и определения

Пусть X —нормированное пространство с нормой ||-||х, U —

подмножество в X, тогда ||U||х = sup ||u||x•

uQU

Пусть Rn — n -мерное пространство вектор-столбцов, с нормой |-|, Cn[a,b] —пространство непрерывных функций t — x(t) из [a,b] в Rn с нормой ||x||c"[a,b] = max{|x(t)| : t € [a, b]}, U С [a, b] — измеримое множество, ^(U) > 0 (^ — мера Лебега). Обозначим Ln(U) (L^(U)) — пространство суммируе-

мых по Лебегу (пространство измеримых ограниченных в существенном) функций x : U —— Rn с нормой ||x||£n(u) = fu |x(s)|ds ( (u) = vraisup |x(s)| ), Cl(Ln(U)) (S(Ln(U)) ) — множество

sQU

хРабота выполнена при финансовой поддержке РФФИ (грант 04-01-00324).

непустых замкнутых ограниченных суммируемыми функциями (непустых ограниченных замкнутых выпуклых по переключению) подмножеств пространства Ьп(Ы); пусть также (^(Ь^Ы)) — множество всех непустых замкнутых ограниченных подмножеств пространства Ь^Ы). Обозначим еошр(Сп[а, 6]) (2СП[“,Ь1) множество всех непустых выпуклых компактных (непустых ограниченных) подмножеств пространства Сп[а, Ь].

Для множества Ф С Ьп [а, Ь] обозначим через 8*№Ф совокупность всевозможных конечных комбинаций

У = х(и )Ж1 + х(^2 )Ж2 + ... + х(ит)жт элементов Жг € Ф, в которых и г — непересекающиеся измеримые

т

множества отрезка [а, Ь] такие, что [а, Ь] = и и^. Пусть далее,

г= 1

—замыкание множества swФ в пространстве Ьп[а,Ь\. Множество ¡зте7 Ф будем называть выпуклой по переключению замкнутой оболочкой множества Ф.

Рассмотрим отображение Ф : Сп[а, Ь] ^ С1(Ьп[а, Ь]). Отображение Фи : Сп[а, Ь] ^ С1(Ьп(Ы)) определим следующим образом: каждое значение Фи (ж) состоит из всех сужений на Ы функций множества Ф(ж).

Определение 1.1. Будем говорить (см. [1, 2]), что отображение Ф : Сп[а, Ь] ^ а(Ьп[а, Ь]) полунепрерывно снизу аппроксимируется в Ь^ на множестве К С Сп[а, Ь], если для любого

V > 0 существует такое измеримое множество Ыи С [а, Ь], что выполнены условия: ^([а, Ь]\Ы^) < V; для любого ж € К множество Ф^(ж) € С1(Ь^3(Ы^)); отображение Ф^ : К ^ С1(Ь^3(Ы^)) полунепрерывно снизу по Хаусдорфу, здесь Ф^ = Фи^.

По заданному отображению Ф : Сп[а, Ь] ^ С1(Ьп[а, Ь]) определим оператор Ф : Сп[а, Ь] ^ S(Ьп[а, Ь]) равенством

Ф(ж) = ^Ф(ж). (1.1)

§ 2. Основной результат

Рассмотрим в пространстве Сп[а, Ь] включение

ж € Ф(ж) + VФ(ж), (2.1)

где оператор Ф : Сп[а, Ь] ^ сошр(Сп[а, Ь]) полунепрерывен снизу и переводит каждое ограниченное множество пространства

Сп[а, Ь] в предкомпактное множество пространства Сп[а, Ь]; отображение Ф : Сп[а, Ь] ^ С1(Ьп[а, Ь]) полунепрерывно снизу аппроксимируется в Ь'2о и обладает свойством: образ каждого ограниченного множества пространства Сп[а, Ь] ограничен суммируемой функцией. Линейный непрерывный интегральный оператор V : Ьп[а, Ь] ^ Сп[а, Ь], определеный равенством

(^)(£) = / V(Ь, 5)г(з)^5, Ь € [а, Ь], (2.2)

</ а

переводит каждое слабо предкомпактное в Ьп[а, Ь] множество в предкомпактное множество пространства Сп[а, Ь].

Определение 2.1. Под обобщенным решением включения (2.1) будем понимать функцию ж € Сп[а, Ь], для которой существуют элементы V € Ф(ж) и г € ф(ж), что выполнено равенство ж = V + V,?.

Определим отображение М : Сп[а, Ь] ^ 2сп[а,ь равенством

М(ж) = Ф(ж) + V ф (ж).

Теорема 2.1. Пусть и — такое выпуклое замкнутое ограниченное множество пространства Сп [а, Ь], что имеет место вложение М(и) С и. Тогда включение (2.1) имеет обобщенное решение.

Определение 2.2. Будем говорить, что отображения

V : Ьп[а, Ь] ^ Сп[а, Ь], Ф: Сп[а,Ь] ^ сошр(Сп[а,Ь]), (2.3)

Ф: Сп[а, Ь] ^С1(£п[а,Ь]) (2.4)

обладают свойством А, если найдутся изотонные непрерывные операторы Г : С:[а, Ь] ^ ^[а, Ь] и Р : С:[а, Ь] ^ М1, удовлетворяющие следующим условиям: для любого ж € Сп[а, Ь] и любого измеримого множества и С [а, Ь] выполнены неравенства

У Ф(ж)1кп (М) < ||Г^ (ж))Уь1(М) , 11Ф(ж)11сп [а,Ь] < Р(^ (ж));

для непрерывного оператора Т : С 1[а, Ь] ^ С 1[а, Ь], определенного равенством

(тг)(ь) = [ |v(мжвд)^)^ +

а

сходятся последовательные приближения. Здесь IV(Ь^)| — норма матрицы V(¿,8), согласованная с нормой пространства Мп, непрерывное отображение Z : Сп[а, Ь] ^ С 1[а, Ь] задано равенством (£ж)(Ь) = |ж(Ь)|.

Следствие 2.1. Пусть отображения (2.3) и (2.4) обладают свойством А. Тогда включение (2.1) имеет обобщенное решение.

* * *

1. Булгаков А. И. К вопросу существования непрерывных ветвей у многозначных отображений с невыпуклыми образами в пространстве суммируемых функций // Матем. сб. 1988. Т. 136, № 2. С. 292-300.

2. Булгаков А. И., Беляева О. П., Мачина А. Н. Функциональнодифференциальное включение с многозначным отображением, не обладающим свойством выпуклости по переключению значений // Вестн. Удм. ун-та. 2005. № 1. С. 3-20.

i Надоели баннеры? Вы всегда можете отключить рекламу.