автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.18, диссертация на тему:Обощенные математические модели и методы анализа явлений переноса и фильтрации в распределенных технических системах
Автореферат диссертации по теме "Обощенные математические модели и методы анализа явлений переноса и фильтрации в распределенных технических системах"
005005»^
На правах рукописи
Фирсов Андрей Николаевич
ОБОБЩЕННЫЕ МАТЕМАТИЧЕСКИЕ МОДЕЛИ И МЕТОДЫ АНАЛИЗА ЯВЛЕНИЙ ПЕРЕНОСА И ФИЛЬТРАЦИИ В РАСПРЕДЕЛЕННЫХ ТЕХНИЧЕСКИХ СИСТЕМАХ
Специальность 05.13.18 - Математическое моделирование, численные методы и комплексы программ
АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора технических наук
2 2 ДЕК 2011
Санкт-Петербург - 2011
005005809
Работа выполнена в федеральном государственном бюджетном образовательном учреждении высшего профессионального образования «Санкт-Петербургский государственный политехнический университет».
Научный консультант:
доктор технических наук, профессор Козлов Владимир Николаевич
Официальные оппоненты:
доктор технических наук, профессор Дегтярев Геннадий Лукич
доктор технических наук, профессор Магомедов Курбан Ахмедович
доктор технических наук, профессор Устинов Сергей Михайлович
Ведущая организация:
Московский государственный университет тонких химических технологий им. М. В. Ломоносова
Защита состоится «30» декабря 2011 г. в 14 часов 00 минут на заседании диссертационного совета Д 212.229.10 при ФГБОУ ВПО «Санкт-Петербургский государственный политехнический университет» по адресу: 195251 Санкт-Петербург, Политехническая ул., д. 21, 9-й учебный корпус.
С диссертацией можно ознакомиться в фундаментальной библиотеке ФГБОУ ВПО «Санкт-Петербургский государственный политехнический университет».
Автореферат разослан «
2011 г.
»
Ученый секретарь диссертационного совета к.т.н., доцент
1. ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность проблемы. Проблемы разработки и анализа математических моделей физических процессов переноса и фильтрации в технических объектах могут быть сведены к исследованию корректности задач для дифференциальных, интегральных и интегро-дифференциальных уравнений. Численные методы анализа таких проблем формируются на основе сходящихся алгоритмов. Оптимальной является ситуация формирования аналитических решений задач в форме рекуррентных соотношений с обоснованием их сходимости и оценки точности приближений. Декомпозиция проблемы исследования уравнений, и сведение ее решения к совокупности инженерно-технических задач позволяет использовать интегральные преобразования типа Фурье или Лапласа или формальные разложения искомых решений в ряды по системам функций. Однако эти методы не всегда эффективны, поскольку применение преобразований Фурье или Лапласа для нелинейных операторов, переходящих сами в себя, не упрощает задачи. Кроме этого, методы разложения искомых функций в ряды содержат коэффициенты, не всегда имеющие техническое или физическое содержание. Наконец, в задачах исследования технических и физических проблем указанными методами возникает проблема обращения соответствующих преобразований.
Таким образом, представляет большой интерес разработка методов решения дифференциальных, интегральных и интегро-дифференциальных уравнений, описывающих явления переноса и фильтрации в технических и физических задачах, которые обладают достоинствами упомянутых методов и лишены указанных выше недостатков. Это открывает возможность аналитического исследования и построения аналитических методов моделирования и эффективных алгоритмов приближенного решения новых
классов технических и физических задач, использующих модели математической физики, теории случайных процессов, теории управления и т.п. Исследованиями автора показано, что разработка и обоснование методов моделирования и решения прикладных задач возможно с помощью аппарата теории обобщенных функций.
Диссертация посвящена разработке, обоснованию и приложениям предлагаемого метода решения технических задач математической физики, описывающих процессы переноса и фильтрации, достаточно быстро затухающие на бесконечности. В основе метода лежит построение и анализ нового класса обобщенных функций как линейных функционалов в пространствах целых функций многих вещественных переменных. В частности, прослеживается конструктивная связь между указанными функциями и последовательностью их «степенных моментов», что позволяет дать для функций рассматриваемых классов полное и конструктивное решение «проблемы моментов».
Цель работы - разработка и теоретическое обоснование метода построения алгоритмов аналитического и численного решения и анализа задач переноса и фильтрации на основе специальных классов дифференциальных, интегральных и интегро-дифференциальных уравнений, адекватных прикладным задачам. К ним относятся задачи системного анализа, теории случайных процессов, теории автоматического управления, а также аналитическое решение ряда новых задач: построение и исследование решений уравнения Колмогорова-Феллера с квадратичным коэффициентом сноса, решений уравнения Больцмана кинетической теории газов, задачи фильтрации пуассоновских процессов.
Объект исследования: математические модели физических явлений переноса и фильтрации в технических системах, аналитические и численные методы решения линейных и нелинейные дифференциальных, интегральных и интегро-дифференциальных уравнений.
Предмет исследования - методы математического моделирования на основе аналитических и численных алгоритмов решения технических задач, формализуемых специальными классами линейных и нелинейных дифференциальных, интегральных и интегро-дифференциальных уравнений.
Для решения проблемы требуется решить следующие основные научные задачи:
- выделить соответствующие классы математических моделей физических явлений в технических системах;
- построить класс обобщенных функций (линейных функционалов) на пространствах целых функций многих вещественных переменных, допускающих представление в виде рядов по производным дельта-функции;
- определить и исследовать основные алгебраические и топологические структуры, связанные с этим классом обобщенных функций и связанные непосредственно с возможностью применения этих функций для решения задач математической физики;
- построить и обосновать аналитические и численные рекуррентные алгоритмы решения уравнения Колмогорова-Феллера с квадратичным коэффициентом сноса, решений уравнения Больцмана кинетической теории газов, задачи фильтрации пуассоновских процессов, широко используемые в технических системах.
Методы исследования. Методологическую основу работы составили специальные математические модели, физических процессов, использующие методы функционального анализа и математической физики: методы теории обобщенных функций, теории операторных уравнений, теории полугрупп линейных операторов, теории краевых задач для уравнений математической физики.
Научные положения, выносимые на защиту.
1) Математические модели кинетических явлений в технологических процессах, требующих для адекватного анализа применение специального класса обобщенных функций на пространствах целых функций многих
вещественных переменных, представляемых рядами по производным дельта-функций с коэффициентами, имеющими содержательный смысл.
2) Математические модели и методы, разработанные для корректного решения дифференциальных уравнений в частных производных, описывающих технологические процессы переноса и фильтрации. Адаптация основных алгебраических и топологических свойств обобщенных функций для решения и анализа специальных классов дифференциальных, интегральных и интегро-дифференциальных уравнений, используемых в задачах системного анализа, теории случайных процессов, теории автоматического управления.
3) Математические модели технологий, основанных на явлении переноса в классе аналитических и рекуррентных алгоритмов решения уравнения Колмогорова-Феллера с нелинейным коэффициентом сноса, решений уравнения Больцмана кинетической теории газов, задачи фильтрации пуассоновских процессов и их обоснование.
4) Решение технических задач на основе их сведения к задаче о неподвижной точке нерастягивающих отображений в функциональных пространствах.
5) Разработка кинетической теории многокомпонентных эмульсий на основе интегральных кинетических уравнений.
Научная новизна. Научная новизна диссертации заключается в разработанных методах математического моделирования физических процессов в технических системах для использования при решении специальных классов дифференциальных, интегральных и интегро-дифференциальных уравнений, встречающихся в задачах системного анализа, теории случайных процессов, теории управления:
1) Обоснование математических моделей и методов решения специальных классов дифференциальных, интегральных и интегро-дифференциальных уравнений, основанных на специальных классах
обобщенных функций, представляемых рядами по производным дельта-функции.
2) Решение комплекса задач моделирования технических систем на основе обобщенной проблемы моментов.
3) Разработка математических моделей технических систем на основе аналитических решений уравнения Колмогорова-Феллера с нелинейным коэффициентом сноса, уравнения Больцмана кинетической теории газов, задачи фильтрации пуассоновских процессов и их обоснование.
4) Математические модели исследования технических систем на основе решения задачи о неподвижной точке нерастягивающих отображений в функциональных пространствах.
5) Разработка кинетической теории многокомпонентных эмульсий на основе интегральных кинетических уравнений.
Достоверность научных результатов подтверждается строгостью и обоснованностью математических построений, рассуждений и выкладок, строгостью доказательств формулируемых утверждений.
Значимость научных положений и выводов состоит в:
- эффективности предложенного метода решения специальных классов дифференциальных, интегральных и интегро-дифференциальных уравнений, особенно в случаях невозможности использования для их решения классических методов интегральных преобразований;
построении аналитических алгоритмов решений уравнения Колмогорова-Феллера с квадратичным коэффициентом сноса, уравнения Больцмана кинетической теории газов, задачи фильтрации пуассоновских процессов;
- решении обобщенной проблемы моментов, эффективных для решения задачи о представлении (в частности, приближенном) случайной величины на основе ее моментов;
- разработке кинетической теории многокомпонентных эмульсий на основе интегральных кинетических уравнений.
Практическая значимость. Результаты диссертации использованы для анализа и синтеза физических процессов переноса, фильтрации, диффузии в технических системах на предприятиях и в организациях: Открытом акционерном обществе "Концерн "НПО "Аврора", заводе «Кризо», в учебных процессах Санкт-Петербургского государственного политехнического университета, Омского государственного университета, Тверского государственного университета и др.
Личный вклад. В диссертации излагаются результаты, полученные лично автором.
Апробация работы. Основное содержание работы опубликовано в статьях, докладывалось на следующих семинарах и конференциях: Всесоюзная конференция по уравнениям с частными производными (МГУ, Москва, 1978); 13th International Symposium on Rarefied Gas Dynamics (Novosibirsk, 1982); Семинар по математической физике проф. O.A. Ладыженской (ЛОМИ АН СССР, Ленинград, 1983-1985); VIII Всесоюзная конференция по динамике разреженных газов (Москва, 1985); X Всесоюзная конференция по динамике разреженных газов (Москва, 1989); V Всероссийская конференция по проблемам науки и высшей школы (СПб., 2001); XIII Всероссийская конференция по проблемам науки и высшей школы (СПб., 2009); XVII Международная научно-методическая конференция «Высокие интеллектуальные технологии и инновации в образовании и науке» (СПб., 2010); XV Международная научно-практическая конференция «Системный анализ в проектировании и управлении» (СПб., 2011).
Публикации. Основные материалы по теме диссертации опубликованы в 30 научных статьях и докладах, среди которых 11 публикаций в рецензируемых изданиях, рекомендованных ВАК, одна монография и два учебных пособия.
Структура и объем работы. Диссертационная работа состоит из введения, четырех глав, заключения, списка литературы, включающего 53 наименования. Основная часть диссертации изложена на 211 страницах.
2. СОДЕРЖАНИЕ РАБОТЫ
Во введении обоснована актуальность диссертационной работы, определены цели и основные задачи исследования, сформулированы основные положения, выносимые на защиту, кратко изложены основные результаты и показана их практическая ценность.
В первой главе определены основные математические модели теории переноса и фильтрации, исследуемые в диссертационной работе. Введен и исследован специальный класс обобщенных функций: линейных функционалов в пространствах целых функций многих вещественных переменных. В частности, установлена конструктивная связь между указанными функциями и последовательностью их «степенных моментов», что позволяет дать для функций рассматриваемых классов полное и конструктивное решение «проблемы моментов».
Хорошо известные принципы применения преобразований Фурье и Лапласа в прикладных задачах, использующие их свойства, позволяют переходить от соотношений, содержащих линейные дифференциальные операторы, к чисто алгебраическим (полиномиальным) соотношениям. Однако проблема остается, поскольку далеко не всегда тривиальной (если вообще аналитически возможной) оказывается задача обращения этих преобразований на заключительном этапе исследования. Кроме того, изображения не информативны с точки зрения оценки свойств соответствующих оригиналов. Наконец, применение преобразований Фурье или Лапласа для нелинейных операторов, переходящих сами в себя, не упрощает задачи.
В первой главе диссертации строится теоретическая основа метода, позволяющего трансформировать задачи, содержащие линейные
дифференциальные операторы (вообще говоря, с переменными коэффициентами), к линейным алгебраическим задачам рекуррентного типа, лишенным указанных выше недостатков. Кроме того, величины, входящие в преобразованные соотношения, сами по себе оказываются имеющими содержательный смысл, что во многих случаях не требует обратного перехода к оригиналам.
Обобщенные функции в пространствах целых функций изучались главным образом в связи с преобразованием Фурье. В работах И.М. Гельфанда, Г.Е. Шилова, В.П. Паламодова подробно исследованы свойства и структура обобщенных функций в пространстве 2 целых функций экспоненциального типа, убывающих при Лег ->со быстрее любой степени \г\, и в пространстве Н всех целых функций. Имеется, однако, ряд задач математической физики, которые не попадают в «сферу влияния» известных пространств обобщенных функций. Таковы, например, задачи теории вероятностей и статистической физики, задачи теории переноса, в которых естественным требованием является существование (степенных) моментов функции (плотности) распределения. В связи с этим, пространство 2' не адекватно решаемой задаче, поскольку полиномы от вещественных переменных основному пространству 2 не принадлежат (и, следовательно, не имеет смысла говорить о моментах функций из 2'). Что касается пространства #', то оно имеет слишком малый для таких задач запас регулярных функционалов: «обычная» функция принадлежит Н' лишь, если она очень быстро убывает (быстрее ехр(-|г|") для всех п).
В настоящей работе вводится и исследуется пространство обобщенных функций Е', для которого порождающее пространство основных функций Е является, по существу, сужением на Яу пространства целых функций многих комплексных переменных порядка роста < 1 (и, в частности, неограниченных при |х|—>оо). Оказывается, что обобщенные функции из Е' допускают представление (его можно назвать «моментным»), которое естественным
образом связано с основными операциями в £", и которое дает удобный метод решения некоторых важных классов задач математической физики.
Изложение строится для случая функций многих вещественных переменных. Переформулировка основных результатов на случай функций многих комплексных переменных не представляет особого труда.
Ниже приняты следующие обозначения. х = {х{,х1,...,ху)еЯу(V = 1,2,...); |х| = |х,| + |х2| + ... + |х1,|;
Ч = ?2. •••> ЧЛ Ч, = 0-1,2,...; = ?,+ 02 +... + ?„;?! = !... д„!
хч =х]«1 -х/2 •...•х/'; £>>(х) =
а'^(х)
= <Р["\ХУ,
/ % 9
\ (V н
/ ы и,
— С''1 (биномиальные коэффициенты).
Определение. Пусть > 0. Через £ будем обозначать пространство (комплекснозначных) функций ср € С х (/?") таких, что для любого р > 0
^(х^с^ + р/У^М, хег
Здесь С - постоянная, зависящая, вообще говоря, от и р, но не зависящая от <7.
Отметим, что полиномы Р(х,,х2,..., х^) и функции
ехр(5,х, +... + $„*„), ехр[г'(5,х,+... + 5'1.х1,)] принадлежат (последние - для
Введем в £( счетную систему норм
Ч\ > к< ИГ = БиР
|1)>(х)
а
I 1 1
2 3
(1)
Теорема 1. Пространство £., наделенное системой норм (1), является полным счетно-нормированным пространством.
Следующее свойство пространств £ является ключевым.
Теорема 2. Пусть (¿> € , а = (ар аг) е И1. Тогда: 1) ряд Тейлора для ^
сходится для всех х € Я"; 2) частичные суммы
»
сходится к в смысле сходимости в .
3) Если <р,феЕ, то и произведение (рф £ Е.
4) Если (рп -и• у, фп —> ф в Е, 1рп-фг —* <рф в Е.
5) Если <р е Е5, то £> V € .
6) Если —> в , то и Вч<рп —► Л4!/? в Е1.
Пространство Е' вводится стандартным образом как сопряженное к Е. В нем обычным образом определяются линейные операции, операция умножения на функции из Е и дифференцирование. Эти операции являются непрерывными в смысле сходимости в Е' (т.е. в смысле слабой сходимости). Пространство Е' полно (относительно слабой сходимости). Запас регулярных функционалов в Е' достаточно велик. Так, всякая суммируемая в Я" функция /(х), удовлетворяющая условию
№=„>8>о(ехр(~а1хГ))' И - °°>
порождает в Е' функционал / по формуле
(/,¥>) = f f{x)p{x)dx, peE.
R"
Дельта-функция 8a~6(x-a), определяемая обычным образом, т.е. (8a,<p) = tp(a), ip&E, тоже принадлежит Е' и является сингулярным функционалом. Отметим, что в Е' теряют смысл слова «8(х — а) сосредоточена в точке а», но этому не следует удивляться, поскольку в пространстве целых функций не имеет смысла понятие носителя функции.
Следующий результат представляет основное свойство обобщенных функций из пространства Е'.
Теорема 3. Пусть а е R". Всякую обобщенную функцию / Е Е' можно
единственным образом представить в виде
00__
/=EEci* (2)
ио 14-/
При этом, для того, чтобы / &Е', необходимо и достаточно, чтобы ряд
оо _ . .
E^'EfH сходился для всех л- > 0. И-о н-/1
Замечание. Поскольку коэффициенты можно
интерпретировать как степенные моменты функционала /, то последняя теорема дает решение проблемы степенных моментов в Е'.
Далее, в первой главе устанавливается связь разложений (2) с основными операциями в Е'. Нижеследующие теоремы 4, 5, 6 являются основой для применения развиваемого метода для построения конструктивных решений прикладных задач математической физики.
Теорема 4. Пусть f,geE'; c'f^d'f' - коэффициенты разложений (2) fug соответственно. Тогда:
оо
1) «/ + /?$ = £ аС*> + /зЛ^ (а,/? € €).
оо
М=»
го
3) Если гр^Е, то V'/гДе
ЬИ
ОО (у, |
В частности, если ф[х) = {х- а)", то
Теорема 5. Пусть для любого Л из некоторой окрестности и{\) точки ^ задана последовательность (комплексных) чисел ^ такая, что
для любого 5 > 0 и любого Л 6
'=0 1 Пусть далее для
(3)
и для любого 5 > О
Тогда ряд
|фО
(4)
(5)
(6)
определяет обобщенную функцию /(А) е Е', непрерывную по Л в точке Л,(т.е. (/(А),Я-, (/(Л,),^), <реЕ).
Если С{"](Л) непрерывно дифференцируемы по Л в и[\), и для
-^гС^(Л) имеют место соотношения вида (3) - (5), то ряд (6) определяет иЯ
непрерывно дифференцируемую обобщенную функцию /(Я)еЕ', и имеет ¿¡[(Х) т (]
место соотношение —-—- = ^—Я = Я0.
В пространстве Е' можно с помощью обычной процедуры определить свертку f*g двух функционалов / и # в Е'. При этом свертка в Е' существует всегда (в отличие от других пространств обобщенных функций), обладает обычными свойствами, и для нее справедлива следующая
Теорема 6. Если и / = £ то
|«Н |,|=0
со |,[=0
В частности, при а = О
Естественным представляется вопрос о восстановлении регулярного функционала по его моментам. В первой главе представлен следующий результат.
Теорема 7. Пусть / е ¿2(ГГ) и, кроме того, порождает в Е' регулярный функционал. Тогда равномерно для почти всех х е Я":
л (р \е)
где обозначено:
<7<*> = <ГЫ
£ )
;
а
Кроме того, для 1е20,Х6 И справедливы асимптотические соотношения:
Теорема 7а. В условиях предыдущей теоремы равномерно для почти всех дгеИ" справедливо асимптотическое соотношение:
Отметим, что такое представление позволяет давать приближенное значение для функции /(х) еЬ2(К"), порождающей в Е' регулярный функционал, если известно только конечное число ее моментов. В частности, такая ситуация возникает в том случае, когда преобразование Фурье функции /'(х) представляет собой аналитическую функцию, для которой практически можно указать лишь конечное число ее коэффициентов Тейлора.
Кроме того, в первой главе решается задача о неподвижных точках нерастягивающих отображений в функциональных пространствах. Теория
неподвижных точек нелинейных отображении?! в различных функциональных пространствах имеет большое прикладное значение, так как часто являет собой чуть ли не единственную возможность обосновать существование и построить эффективный алгоритм решения нелинейных операторных уравнений. Известно, что задача о существовании неподвижных точек (НТ) у нерастягивающего отображения в банаховом пространстве должна ставиться иначе, чем в случае сжимающего отображения, поскольку для нерастягивающего отображения (в отличие от сжимающего) задача о НТ может иметь несколько решений или вообще ни одного. Ф. Браудер формулировал задачу о НТ нерастягивающего отображения как задачу о НТ при отображении выпуклого слабо компактного множества в себя. Но даже в такой постановке задача долго не получала решения. В настоящей главе приводятся некоторые весьма общие результаты о существовании и распределении НТ нерастягивающих отображений в банаховом пространстве.
Ниже X обозначает (вещественное) банахово пространство с нормой ||.||, Е, ¥- подмножества X, дЕ- границу Е. Для элементов х,уеХ положим
[х,7] = {(у + (1-0х,0</<1}, [х,х) = {гу + ( 1-Г)х,0<?<1}. Заметим, что [х,х) = {.г}.
Отображение А: X -»X называется нерастягивающгш, если для любых х,у&Х ||Лх - Ду|| < ||х - строго нерастягивающим, если ||Л.г - Лу\\ < ||х - у|| и сжимающим, если ||/4х-Ду||<а||х->| для некоторого числа а е (0,1). Множество Е будем называть звездным относительно точки хо, если из условия хеЕследует, что отрезок [х0,х]сг Е.
Определение. Будем говорить, что Xудовлетворяет ОО-условию, если из *„—следует, что 1ттГ|х„ -х„||<Нт5ир||х„ -х||. Заметим, что этому условию удовлетворяют, например, гильбертово пространство и пространства 1р, р > 1. Значок —^обозначает здесь слабую
сходимость в X.
Основным результатом является следующая теорема: Теорема. Пусть X удовлетворяет вО-условию, Е - звездное слабо компактное подмножество X и А - нерастягивающее отображение X в X такое, что для любого хедЕ [Ах, х) п Е ^ 0.
Тогда А имеет в £ по крайней мере одну неподвижную точку.
В следующих главах диссертации представлены приложения полученных в первой главе результатов к различным задачам
математической физики, имеющим самостоятельное значение.
Во второй главе представленные выше результаты применяются для анализа явлений переноса, основанных на построении решения уравнения Колмогорова-Феллера с нелинейным коэффициентом сноса - интегро-дифференциального уравнения для переходной плотности вероятности марковских случайных процессов с разрывными (скачкообразными) изменениями состояния. Это и подобные уравнения имеют применение в задачах теории переноса и диффузии. Уравнения такого типа встречаются в стохастических задачах теории безопасности и надежности, динамике звездных систем и даже в экономических задачах. Рассмотрим следующее уравнение: с/
—[(ах + Рхг М*)] + V | р(а)и{х - а)с]а - = 0. (7)
—оо
Здесь а,р,у - постоянные вещественные числа, р(а) - заданная функция. К уравнению добавляются условия
п(х) —^^^ > 0, | ч>(х)с1х = 1.
-со
В случае /? = 0 для решения этого уравнения удается естественным образом использовать преобразование Фурье (такие результаты известны). В случае же р Ф 0 подобная задача, насколько нам известно, не исследовалась. Отметим далее, что применение преобразования Фурье, как правило, приводит к необходимости решения задачи его обращения, что часто вызывает серьезные трудности, тем более, если решение преобразованного уравнения известно лишь приближенно. Использование результатов главы 1 позволяет подобные трудности обойти.
Предположим, что преобразование Фурье р(к) функции р(х) является целой аналитической функцией вещественной переменной к. Пусть далее м>(к) - преобразование Фурье функции и(х). Положим
Г «
п{к) = <р(к)ехр^Ч—к .
Применяя к (7) преобразование Фурье и переходя к функции (р, получаем хорошо известное в теории линейных дифференциальных уравнений уравнение
<р"{к)-д{к)<р{к) = 0, (8)
где д(к) > 0 - известная целая аналитическая функция д(к) = д0 + д,к + д2к2 +....
Краевые условия для <р приобретают вид
Так как с/(к) - целая аналитическая функция, то <р(к) - тоже целая аналитическая функция (подчеркнем, что речь идет об аналитических функциях вещественной переменной). Пусть
<р{к) = \ + а1к + а2к2 +....
Тогда для коэффициентов а„ получаем систему уравнений:
(и + 1)(и + 2)я„+2-£ад„_5=0, и = 1,2,...; аа= 1.
i=0
При я = 0 сразу находим а2. Остальные коэффициенты, начиная с а3, выражаются линейно через а\. Таким образом, получается следующее представление для <р(к) :
<p(k) = alg(k) + h(k), где g(k) и h(k) - известные целые функции. Применение метода ВКБ к уравнению (8) дает следующие асимптотические представления:
axg{k) + h{k) = C-[qm4 ! + *,(*)),
axg\k) + И (к) = - С ■ lq(k)f{ 1 + ег(к)), где Б) и £2 - бесконечно-малые при |£|->оо. Отсюда
,. ( hq^+h'^
а. = um —пт- .
Hh»^ gq^+g')
Через коэффициенты разложения функции (р{к) находим тейлоровские коэффициенты функции w(k) (т.е. моменты функции w{x)). Для нахождения w(x) теперь достаточно воспользоваться теоремой 7а.
Третья глава посвящена качественному исследованию явлений переноса в разреженном газе на основе решений кинетического уравнения Больцмана для разреженных газов. Это уравнение используется в задачах высотной авиации, ракетной, космической, вакуумной техники. Сложность этого уравнения, несмотря на существенные достижения различных исследователей (Г. Трэд, К. Черчиньяни, А .Я. Повзнер, A.A. Арсеньев, Н.Б. Маслова, А.Н. Фирсов, A.B. Бобылев, В.В. Веденяпин, работы представителей ленинградской школы динамики разреженных газов и др.) привела к тому, что точные его решения (хотя бы в форме строго обоснованных и сравнительно просто реализуемых аналитических алгоритмов) практически отсутствуют. Более того, даже в линейном приближении анализ качественных свойств этого уравнения далеко не
исчерпан. Так, не все ясно с характером поведения решений уравнения Больцмана при I —» со(здесь / - время) и даже с корректностью постановки задачи Коши в общем случае (например, при произвольном законе межмолекулярного взаимодействия).
В третьей главе диссертации также представлены результаты автора, связанные с исследованием асимптотических свойств решений задачи Коши для уравнения Больцмана. Рассмотрим задачу Коши для линеаризованного уравнения Больцмана кинетической теории газов:
'>0> ¿[/]=К[/]-у/, (9)
/и=/оМ (Ю)
Здесь /(х,й,1) - линеаризованная функция распределения молекул по координатам х и скоростям и в момент времени I. К[/]- линейный ограниченный оператор, действующий на / как функцию и; V = у(и) = 0{и'>) при и —> со, 0 < /? < 1, г/=|й|. Свойства функции у(и) зависят от конкретной модели межмолекулярного взаимодействия, принимаемой при выводе кинетических уравнений.
Известно, что решение задачи (9), (10) имеет при ? —><ю в общем случае
степенную асимптотику вида ^ ^^/и>0. Этот результат получается в
предположении, что /(х,и,1) при лг=|х|—»со ведет себя в некотором смысле как функция из I р > 1.
Оказывается, что если на поведение /(х,й,() при х —»сю наложить более жесткие требования (например, потребовать, чтобы /(х,П,1) удовлетворяла по х условию регулярности функционала в смысле главы 1),
то установление равновесия (т.е. стремление функции / к нулю при /->со) происходит экспоненциально быстро.
Идея доказательства состоит в следующем. Будем искать f(x,u,l) в
классе функций таких, что при почти всех й е R3 и всех t > 0 f(x,и, t) е Ех, т.е. функцию / можно представить в виде
/(х,и,0 = ^с{"\и,03{<!](х). (11)
Подставляя это выражение в (9) и учитывая теорему 5, получим для коэффициентов c^\ii,t) бесконечную «зацепляющуюся» систему уравнений:
= (12),
at
я Ля)
^- = Z,[c(?,]-[м1c,?-/',+м2c,,-/2)+м3c(,-/',], |д|*0, (12)2
где через /,, /2, /3 обозначены мультииндексы (1,0, 0), (0, 1, 0) и (0, 0, 1) соответственно.
Уравнения (12)г представляют собой неоднородные уравнения вида
где gq(U,t) - известная функция (на каждом шаге - своя). Таким образом, свойства функций c[q)(u,t) зависят от свойств оператора L. Последние достаточно полно изучены. В частности, оператор L па подпространстве функций w{u,t), ортогональных в смысле ¿2(R') подпространству аддитивных инвариантов (что, по существу, эквивалентно выполнению классических законов сохранения для массы газа), порождает полугруппу ДО, t > 0 ограниченных операторов, дающую решение абстрактной задачи
Коши для уравнения (12)г, при этом оказывается ||T(t)\<const-e~'*,fi>G. По индукции получаем для решений уравнений (12)2 оценку вида |С<"(/)|<const ■ в7', у>0, где const зависит от начальной функции распределения f0(x,u) и параметров оператора L. Последняя оценка, с учетом теорем 7-7а, позволяет сделать заключение об экспоненциально быстром (по времени) установлении равновесия в системе, описываемой уравнением (9).
Вторая задача, связанная с уравнением Больцмана и рассмотренная в третьей главе диссертации, относится к несколько неожиданным особенностям решений задачи Коши для уравнения Больцмана в случае так называемых «мягких» потенциалов межмолекулярного взаимодействия.
Поведение решений уравнения Больцмана
03)
при больших значениях времени рассматривается в большинстве серьезных исследований этого объекта. Фактически еще Больцман высказывал соображения о возможности быстрой релаксации произвольной начальной функции распределения к равновесной. Такого вывода придерживаются и сейчас многие физики, хотя используемые ими доказательства весьма далеки от математического совершенства. Впервые серьезный анализ этих вопросов был проведен Карлеманом еще в 30-х годах, а затем лишь через 30 лет продолжен уже многими исследователями. В интересующем нас аспекте суть их состоит в том, что для решения F(x,u,t) задачи (13) справедливо неравенство вида
N(F-FM)<C«p{t), (14)
где N — подходящая норма в пространстве функций, зависящих от скорости и и радиус-вектора х (так что N(F)~ функция, зависящая от времени /); С0 — постоянная, зависящая, от начального распределения
FM =FM(|t/|) — максвелловское распределение; поведение функций p(t) существенно зависит, с одной стороны, от класса функциональных пространств, в которых ищется решение, а с другой - от свойств оператора столкновений Q[F,F), характеризующихся предположениями о виде потенциала межмолекулярного взаимодействия.
Для «жестких» потенциалов U~r~k, к> 4 задача исследовалась
очень активно; основной результат состоит в том, что функция p{t) в (14) стремится к нулю при бесконечном возрастании времени t либо как степенная, либо как экспонента в зависимости от степени гладкости по координатам начального распределения, ограниченности (или нет) пространственной области и скорости убывания F0(x,u) при |г/|,|х| —» оо.
Представленные выше результаты иллюстрируют новизну предлагаемых в диссертации решений.
Существенно беднее набор фактов, касающихся случая «мягких» (также обрезанных по углу) потенциалов U~r~k, 2<к<4. Здесь
имеются результаты Р. Кэфлиша, при получении которых полагалось, что, во-первых, имеет место ситуация так называемого «ящика Грэда» с зеркально отражающими стенками (т.е. рассматривается класс периодических по координатам решений), а во-вторых, начальная функция распределения достаточно гладкая и разность F — FM экспоненциально быстро (по скорости) убывает; кроме того, речь идет лишь о слабом решении уравнения (13).
Поскольку далее мы будем рассматривать ситуации, близкие к равновесным, то, как обычно, вместо функции F используем
/ = FM2 (F - FM ). Уравнение (13) перейдет в
f+4=L(/)+4<l)r (/,/); (15)
/и=/М-
Результат (14) в терминах функции / имеет вид
Щ/)<Ш)р{1),
где — норма, в общем случае отличная от нормы N (свойства решения /, вообще говоря, ухудшаются по сравнению со свойствами начальной функции /0, см. упомянутую выше работу Р. Кэфлиша), а /?(/) —> 0 при / —>00.
Характерной особенностью всех полученных выше результатов является равномерная по начальному распределению эволюция решения к равновесной функции распределения; иными словами, «долго живущие» начальные распределения отсутствуют.
Переход к «мягким» потенциалам и ослабление условий, налагаемых на /0, принципиально меняют картину асимптотического поведения решений уравнения (15). В третьей главе диссертации получен следующий результат:
Теорема. В случае «обрезанных по углу» степенных потенциалов межмолекулярного взаимодействия вида II ~г~к, 2<к<4, для каждого £ > 0 и каждого Т > 0 существует начальное распределение /0 € Ьг (х,и), такое, что для соответствующего решения задачи (15) имеет место
неравенство
т|г[ЛГ(/)/^(/0)]>1-е.
Здесь N(f) означает норму / в Ь2(х,и).
Таким образом, в рассматриваемом случае существуют «долго живущие» начальные возмущения.
Наконец, в третьей главе диссертации приведено доказательство теоремы существования и единственности решения нелинейного уравнения Больцмана на бесконечном промежутке времени в случае периодических
(по координатам) начальных условий, и исследована асимптотика по времени этого решения. Оказывается, что при определенных условиях гладкости начального распределения для случая молекул - твердых шариков или закона межмолекулярного взаимодействия с показателем степени больше 8, решение нелинейного уравнения Больцмана существует на бесконечном промежутке времени и единственно, причем равновесие устанавливается экспоненциально быстро.
В четвертой главе рассматривается задача о фильтрации пуассоновских процессов, являющихся основой математического моделирования широкого класса технических систем. Предлагается решение задачи фильтрации на основе разработанной методики, использующей понятие моментов. Пусть процесс иллюстрируется следующей схемой:
фильтр 1'/(/)
Зг(/)-А(/,;с(/))-ЛГд(/)-> □ ->*(*)- Ф -+у(0-Здесь >>(/) - наблюдаемая функция, г/(г) - гауссов шум с известными вероятностными характеристиками, х(/) - марковский процесс (векторный, размерности и), характеристики которого нас в конечном итоге интересуют.
- интенсивность пуассоновского процесса (известная функция / и х(?)). Процесс Агл(г) фильтруется (фильтр задан, в частности, известна его переходная функция) и преобразуется в сигнал который после усиления и смешения с шумом ?/(/) и является наблюдаемой величиной у^). Сигнал усвязан с выходным сигналом фильтра г(/) дифференциальным уравнением
ф(1) = г(()А + К2(1)с!т1(1), 5(?) = С(ф(/), (16)
где
*Ч<)
С( О
- заданные неслучайные функции.
Действие фильтра описывается дифференциальным уравнением
dz(t) = A(t)z(t)dt + b(t)dNx(t), (17)
где A(t) и b(t) - известные (неслучайные) функции.
Уравнения (16), (17) дают, таким образом, возможность связать наблюдаемые y[t) с процессом ЛГЛ(/).
Относительно процесса х(/) предполагается, что он задан стохастическим дифференциальным уравнением вида
dx(t) = f(t,x{tpt + G(t,x{t))dx (/)
\ - ' (
xVo) = Xo
где х{*)- винеровский процесс, а функции f(t,x(tfj и G(/,x(/)) заданы
(соответствующие векторная функция и матрица). Положим далее
г(0=я[*(0И0]=J г|лг(/))аг,
R"
А(/) = Е[А(/,Зс(0)|^(/)) = /А^ЗсЦаК'Ж
R"
где условная (апостериорная) плотность вероятности, которая
учитывает известную реализацию N(t) (или, в более общем случае, реализацию y(t)).
В предположении, что = (что верно с точностью до
малых второго порядка относительно |х;.(/)-.*,(/)|), и что фильтрация
проводится с помощью ЛС-цепочки, для хп сг выводится следующая система уравнений:
Л \ 1 дхкдх, \и,х\Т? дхк дх,
с начальными условиями
*/('о) = Е[*/о] = */о. / = 1,2,...,Л, ^(/„) = е[(*,0 -х,0)(дг>0 -*,„)], г',/=1,2,...,и.
Решения этой системы уравнений и дают решение исходной задачи фильтрации.
В пятой главе предложен вывод интегральных кинетических уравнений, описывающих процессы переноса в эмульсиях - сплошных
средах, содержащих включения в виде пузырьков газа.
В некоторых практически важных ситуациях (таких, например) как движение нефти по скважине) приходится иметь дело с задачей о движении вязкой жидкости, внутри которой имеются мелкие включения в виде газовых пузырьков, капелек воды, твердых частиц и т.п. Известные автору теоретические результаты в этом направлении связаны с конкретными (и довольно простыми) полуэмпирическими физическими моделями, что не позволяет достаточно полно охватить задачу о движении эмульсий и дать ее замкнутую математическую постановку. Предложенная автором модель описания процессов переноса в эмульсиях на основе кинетической теории позволяет дать (по аналогии с тем, как это делается в классической кинетической теории газов на основе уравнения Больцмана) теоретический вывод макроскопических уравнений переноса для эмульсий, а также вывести соответствующие формулы для коэффициентов вязкости и диффузии.
3. ОСНОВНЫЕ РЕЗУЛЬТАТЫ
В диссертационной работе получены следующие научные результаты.
1) Разработан комплекс методов математического моделирования физических процессов в технических системах, использующий аналитические методы, порождающие численные алгоритмы решения специальных классов дифференциальных, интегральных и интегро-дифференциальных уравнений, основанные на построении и анализе специального класса обобщенных функций на пространствах целых функций многих вещественных переменных, представленных в виде рядов по производным дельта-функции. В частности, прослеживается конструктивная связь между указанными функциями и последовательностью их «степенных моментов», что позволяет дать для функций рассматриваемых классов полное и конструктивное решение «проблемы моментов». Метод позволяет трансформировать задачи, содержащие линейные дифференциальные операторы (вообще говоря, с переменными коэффициентами), к линейным алгебраическим задачам рекуррентного типа, причем метод оказывается эффективным даже тогда, когда известные методы интегральных преобразований не дают конструктивного результата. Кроме того, величины, входящие в преобразованные соотношения, сами по себе оказываются имеющими содержательный смысл, что во многих случаях не требует обратного перехода к оригиналам.
2) Предложены аналитические и алгоритмизуемые численные методики математического моделирования технических систем на основе конструктивного решения уравнения Колмогорова-Феллера для случая нелинейной зависимости коэффициента сноса от пространственной координаты. Решение такой задачи ранее в литературе не встречалось.
3) Исследованы качественные свойства математических моделей физических явлений в технических системах, основанных на аналитических решениях уравнения Больцмана кинетической теории газов, в частности, для случая «мягких» потенциалов межмолекулярного взаимодействия, что позволило выявить специфические эффекты, касающиеся асимптотического поведения соответствующих решений этого уравнения.
4) Предложены методы математического моделирования технических систем, использующие решения общей задачи о фильтрации пуассоновских процессов при весьма слабых ограничительных предположениях.
5) Дан вывод интегральных кинетических уравнений, описывающих процессы переноса в многокомпонентных эмульсиях - сплошных средах, содержащих включения в виде пузырьков газа.
4. ОСНОВНЫЕ ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ
Публикации в изданиях по перечню ВАК Минобрнауки РФ
1. Фирсов А.Н. Об одной задаче Коши для нелинейного уравнения Больцмана. // Аэродинамика разреженных газов, вып. 8. Изд-во ЛГУ., Л., 1976, с. 22-37
2. Фирсов А.Н. О разрешимости в целом задачи Коши для нелинейного уравнения Больцмана. / Маслова Н.Б., Фирсов А.Н. // Труды Всесоюзной конф. по уравнениям с частными производными. Изд-во МГУ, М., 1978, с. 376-377
3. Фирсов А.Н. Слабо компактные множества и неподвижные точки нерастягивающих отображений в банаховом пространстве. // Доклады АН СССР, 1980, т. 254, № 3, с. 559 - 561
4. Firsov A.N. On asymptotic behaviour of solutions of the Boltzmann equation in the case of «soft» potentials. / Firsov A.N., Kulginov D.V. // 13th International Symposium on Rarefied Gas Dynamics. Novosibirsk, July 5-9, 1982. Book of Abstracts. Vol. 1, p. 20 - 21
5. Фирсов А.Н. Об одном моментном представлении быстро убывающих функций и его приложениях к решению кинетических уравнений. II Тезисы докладов VIII Всесоюзной конференции по динамике разреженных газов. Москва, 24 - 26 сентября 1985 г. Том 1. М., 1985, с.18
6. Фирсов А.Н. О решениях уравнения Больцмана для «мягких» потенциалов. // Труды X Всесоюзной конференции по динамике
разреженных газов. Том 1. Кинетическая теория газов. М., МЭИ, 1991, с. 40 -45
7. Фирсов А.Н. Момеитиое представление обобщенных функций. «Высокие интеллектуальные технологии и инновации в образовании и науке»: Материалы XVII Междунар. науч.-метод. конф. 11-12 февраля 2010 г. Том 2. - СПб.: Изд-во Политехи, ун-та, 2010, с. 66-68
8. Фирсов А.Н. Моментное представление быстро убывающих функций и его приложения. // «Высокие интеллектуальные технологии и инновации в образовании и науке»: Материалы XVII Междунар. науч.-метод. конф. 11-12 февраля 2010 г. Пленарные доклады. - СПб.: Изд-во Политехи, ун-та, 2010, с. 114-124
9. Фирсов А.Н. Метод моментов в теории обобщенных функций и его приложения в задачах системного анализа и управления. Основы теории. // НТВ СПбГПУ, сер. «Информатика, телекоммуникации, управление», вып. 6, 2010.-с. 74-81.
10. Фирсов А.Н. О свойствах решений уравнения Больцмана для «мягких» потенциалов. // НТВ СПбГПУ, сер. «Информатика, телекоммуникации, управление», вып. 2, 2011. - с. 78-80.
11. Фирсов А.Н. Решение уравнения Колмогорова - Феллера с квадратичным коэффициентом сноса. // Системный анализ в проектировании и управлении. Труды XV международной научно-практ. конференции. Часть 1. СПб.: Изд-во Политехи, ун-та, 2011, с. 120-122
12. Фирсов А.Н. К кинетической теории многокомпонентных эмульсий. I. Основные уравнения. - Аэродинамика разреженных газов. Вып. 11// Межвуз. сб. / Под ред. Р.Г. Баранцева, Л.: Изд-во Ленингр. ун-та, 1983, с. 54-67
Монография
13. Фирсов А.Н. Обобщенные математические модели и методы анализа явлений переноса и фильтрации в распределенных технических системах // СПб.: Изд-во Политехи, ун-та, 2011. - 150 с.
Учебные пособия
14. Фирсов А.Н. Уравнения и методы математической физики. Классические модели: учеб. пособие. / Куликов К.Г., Фирсов А.Н. // СПб.: Изд-во Политехи, ун-та, 2011. - 220 с.
15. Фирсов А.Н. Теория вероятностей. Ч. 1: учеб. пособие. // СПб.: Изд-во Политехи, ун-та, 2005. - 112 с.
Статьи и доклады
16. Фирсов А.Н. Граничные задачи для уравнения Больцмана. // Материалы III студенческой научной конференции ЛГУ. Изд-во ЛГУ, 1974, с. 46-47
17. Фирсов А.Н. Теоремы существования и единственности решения одной внешней граничной задачи для уравнения Больцмана. // Вестник Ленингр. Ун-та, 1975, № 7, с. 110 - 117
18. Фирсов А.Н. О дифференциальных свойствах решений уравнения Больцмана. // Вестник Ленингр. Ун-та, 1975, № 13, с. 99 - 105
19. Фирсов А.Н. Решение задачи Коши для нелинейного уравнения Больцмана. // IV Всесоюзная конф. по динамике разреженного газа. Сб. Аннотаций. М., 1975, с. 91 - 92
20. Фирсов А.Н. Исследование решений уравнения Больцмана, близких к равновесным. // Автореферат канд. диссертации на соиск. уч. степени канд. физ.-мат. наук. Л., ЛГУ, 1975, с. 1-15
21. Фирсов А.Н. Исследование решений уравнения Больцмана, близких к равновесным. // Диссертация на соиск. уч. степени канд. физ.-мат. наук. Л., ЛГУ, 1975, 127 с.
22. Фирсов А.Н. Решение задачи Коши для уравнения Больцмана. I. / Маслова Н.Б., Фирсов А.Н. // Вестник Ленингр. Ун-та, 1975, № 19, с. 83 - 88
23. Фирсов А.Н. Решение задачи Коши для уравнения Больцмана. II. / Маслова Н.Б., Фирсов А.Н. // Вестник Ленингр. Ун-та, 1976, № 1, с. 97 - 103
24. Фирсов А.Н. Расчетные исследования регенератора газовой холодильной машины. / Соколов С.А., Тамбовцев Б.З., Фирсов А.Н. // Отчет по х/д теме, Омск, ОмГУ, 1978, с. 1 - 18. Гос. регистр. № 78048989
25. Firsov A.N. Weakly compact sets and fixed points of nonexpansive mappings in a Banach space. // Soviet Math. Dokl., 1980, vol. 22, № 2, p. 422 -424
26. Фирсов A.H. Некоторые результаты и проблемы в теории неподвижных точек нерастягивающих отображений. // Омская областная математическая конференция. Аннотации докладов. Омск, ОмГУ, 1981, с. 12
27. Фирсов А.Н. Теоретическая механика. Часть 1. Кинематика, статика: справочное пособие. // Изд-во Омского политехи, ин-та, Омск, 1982, 23 с.
28. Фирсов А.Н. Теоретическая механика. Часть 2. Динамика: справочное пособие. // Изд-во Омского политехи, ин-та, Омск, 1983,28 с.
29. Фирсов А.Н. О решениях уравнения Больцмана для «мягких» потенциалов. // X Всесоюзная конференция по динамике разреженных газов. Тезисы докладов. (27 - 30 июня 1989 г.) М., МЭИ, 1989, с. 3
30. Фирсов А.Н. Решение задачи об управлении нестационарной транспортировкой углеводородов по системе трубопроводов. / Нгуен Д.Х., Козлов В.Н., Фирсов А.Н. // «Научные и технические средства обеспечения энергосбережения и энергоэффективности в экономике РФ»: Сб. научн. трудов 1-й Междунар. научно-практ. конф. - СПб.: Изд-во Политехи, ун-та, 2010, с. 83-85
31. Фирсов А.Н. Математическое моделирование и оптимизация гидравлических сетей при установившихся режимах транспортировки слабо сжимаемой жидкости. / Козлов В.Н., Нгуен Д.Х., Фирсов А.Н. // НТВ СПб ГПУ, сер. «Информатика, телекоммуникации, управление», вып. 4, 2011. - с. 42-46.
Подписано в печать 28.11.2011. Формат 60x84/16. Печать цифровая. Усл. печ. л. 2,0. Тираж 100. Заказ 8419Ь.
Отпечатано с готового оригинал-макета, предоставленного автором, в типографии Издательства Политехнического университета. 195251, Санкт-Петербург, Политехническая ул., 29. Тел.: (812) 550-40-14 Тел./факс: (812) 297-57-76
Оглавление автор диссертации — доктора технических наук Фирсов, Андрей Николаевич
ВВЕДЕНИЕ.
Глава 1. Математические модели и методы исследования процессов переноса в технических системах.
1.1. Кинетические модели теории переноса.
1.2. Математические методы исследования процессов переноса на основе обобщенных понятий дифференцирования и интегрирования, теории полугрупп линейных операторов, теории обобщенных функций.
1.3. Математические методы исследования процессов переноса, использующие «моментное» представление обобщенных функций.
1.4. Математические методы исследования процессов переноса, основанные на теории неподвижных точек нерастягивающих отображений.
1.5. Результаты и выводы.
Глава 2. Решение задач теории переноса в технических системах, моделируемых стационарным уравнением Колмогорова-Феллера с нелинейным коэффициентом сноса.
2.1. Постановка задачи.
2.2. Анализ математической модели.
2.3. Построение решения задачи теории переноса.
2.4. Результаты и выводы.
Глава 3. Построение и анализ решений задач теории переноса, основанные на исследовании нелинейного уравнения Больцмана.
3.1. Решение задач теории переноса, основанные на исследовании нелинейного уравнения Больцмана.
3.2. Анализ задач теории переноса, основанный на точном аналитическом решении пространственно-однородного линеаризованного уравнения Больцмана.
3.3. Устойчивость решений задач теории переноса, основанная на экспоненциальной устойчивости решений линеаризованного уравнения
Больцмана (модель «жестких» потенциалов межмолекулярного взаимодействия).
3.4. Эффект потери асимптотической устойчивости решений задач теории переноса в технических системах как следствие потери устойчивости решений уравнения Больцмана (модель «мягких» потенциалов межмолекулярного взаимодействия).
3.5. Результаты и выводы.
Глава 4. Математические модели и решение задач теории переноса в технических системах на основе задачи о фильтрации пуассоновского процесса.
4.1. Введение и постановка задачи.
4.2. Построение математической модели фильтрации пуассоновского процесса.
4.3. Вывод основных уравнений.
4.4. Уравнения для частных моделей фильтрации.
4.5. Результаты и выводы.
Глава 5. Исследование математических моделей задач теории переноса в технических системах на основе кинетической теории многокомпонентных эмульсий.
5.1. Постановка задачи моделирования многокомпонентных эмульсий на основе кинетического подхода.
5.2. Основные свойства моделей и связь с задачами теории переноса.
5.3. Вывод интегральных кинетических уравнений теории многокомпонентных эмульсий.
5.4. Анализ связи между макропараметрами смеси и основной жидкости
5.5. Математическое моделирование и оптимизация гидравлических сетей при установившихся режимах транспортировки слабо сжимаемой жидкости.
5.6. Решение задачи об управлении нестационарной транспортировкой вязкой жидкости по системе трубопроводов.
5.7. Результаты и выводы.
Введение 2011 год, диссертация по информатике, вычислительной технике и управлению, Фирсов, Андрей Николаевич
Проблемы разработки и анализа математических моделей физических процессов переноса и фильтрации в технических процессах могут быть сведены к исследованию корректности задач для дифференциальных, интегральных и интегро-дифференциальных уравнений. Численные методы анализа таких проблем формируются на основе сходящихся алгоритмов. Оптимальной является ситуация формирования аналитических решений задач в форме рекуррентных соотношений с обоснованием их сходимости и оценки точности приближений. Декомпозиция проблемы исследования уравнений, и сведение ее решения к совокупности инженерно-технических задач позволяет использовать интегральные преобразования типа Фурье или Лапласа или формальные разложения искомых решений в ряды по системам функций. Однако, эти методы не всегда эффективны, поскольку применение преобразований Фурье или Лапласа для операторов, переходящих при этих преобразованиях сами в себя (например, оператор дифференцирования, умноженный на независимую переменную), не упрощает задачи. Кроме этого, методы разложения искомых функций в ряды содержат коэффициенты, не всегда имеющие физическое содержание. Наконец, в задачах исследования технических и физических проблем указанными методами возникает проблема обращения соответствующих преобразований.
Таким образом, представляет большой интерес разработка методов решения дифференциальных, интегральных и интегро-дифференциальных уравнений, описывающих явления переноса и фильтрации в технических и физических задачах, которые обладают достоинствами упомянутых методов и лишены указанных выше недостатков. Это открывает возможность аналитического исследования и построения аналитических методов моделирования и эффективных алгоритмов приближенного решения новых классов технических и физических задач, использующих модели математической физики, теории случайных процессов, теории управления и т.п. Исследованиями автора показано, что разработка и обоснование методов моделирования и решения прикладных задач возможна с помощью аппарата теории обобщенных функций.
Диссертация посвящена разработке, обоснованию и приложениям предлагаемого метода решения технических задач математической физики, описывающих процессы переноса и фильтрации, достаточно быстро затухающие на бесконечности. В основе метода лежит построение и анализ нового класса обобщенных функций как линейных функционалов в пространствах целых функций многих вещественных переменных. В частности, прослеживается конструктивная связь между указанными функциями и последовательностью их «степенных моментов», что позволяет дать для функций рассматриваемых классов полное и конструктивное решение «проблемы моментов». С физической точки зрения, в основу постановки и исследования задач теории переноса в данной работе положен тот факт, что все основные макроскопические уравнения этой теории (дифференциальные уравнения в частных производных второго порядка) могут быть выведены из соответствующего кинетического уравнения для функции распределения (например, кинетического уравнения Больцмана). Такое уравнение является интегро-дифференциальным уравнением, в котором дифференциальная часть представляет собой линейный дифференциальный оператор первого порядка (по пространственным переменным), а интегральный оператор имеет квадратичный характер нелинейности. Через функцию распределения могут быть непосредственно выражены все основные макропараметры (плотность, скорость, давление, температура среды), входящие в соответствующие макроскопические уравнения. Следует также отметить, что физические условия, при которых использование предположений кинетической теории является корректным, лежат в достаточно широком (и, тем самым, интересном с прикладной точки зрения) диапазоне плотностей, давлений и температур изучаемых сред [4, 6].
Таким образом, задачу построения и анализа решений макроскопических уравнений теории переноса можно заменить задачей построения и анализа решений кинетических уравнений для функции распределения.
Цель работы - разработка и теоретическое обоснование метода построения алгоритмов аналитического и численного решения и анализа задач переноса и фильтрации на основе специальных классов дифференциальных, интегральных и интегро-дифференциальных уравнений, адекватных соответствующим прикладным задачам. В работе построены и исследованы: аналитические решения уравнения Колмогорова-Феллера с квадратичным коэффициентом сноса, решения линейного и нелинейного уравнения Больцмана кинетической теории газов, решение задачи фильтрации пуассоновских процессов со случайными параметрами. Кроме того, в пятой главе предложен общий вывод интегральных кинетических уравнений движения эмульсий, т.е. сплошных сред с включениями в виде пузырьков газа. Последнее дает возможность подвести теоретическую базу под используемые сейчас приближенные полуэмпирические модели движения нефти по трубам (например, в скважине при добыче нефти, или при ее транспортировке по магистральным трубопроводам).
Методологическую основу работы составили специальные математические модели физических процессов, использующие методы функционального анализа и математической физики: методы теории обобщенных функций, теории операторных уравнений, теории полугрупп линейных операторов, теории краевых задач для уравнений математической физики.
Заключение диссертация на тему "Обощенные математические модели и методы анализа явлений переноса и фильтрации в распределенных технических системах"
ЗАКЛЮЧЕНИЕ
В диссертации разработаны методы математического моделирования физических процессов в технических системах для использования при решении специальных классов дифференциальных, интегральных и интегро-дифференциальных уравнений, встречающихся в задачах системного анализа, теории случайных процессов, теории управления:
1) Дано обоснование математических моделей и методов решения специальных классов дифференциальных, интегральных и интегро-дифференциальных уравнений, основанных на специальных классах обобщенных функций, представляемых рядами по производным дельта-функции.
2) Решен комплекс задач моделирования технических систем на основе решения обобщенной проблемы моментов.
3) Разработаны математические модели технических систем на основе аналитических решений уравнения Колмогорова-Феллера с нелинейным коэффициентом сноса, уравнения Больцмана кинетической теории газов, задачи фильтрации пуассоновских процессов и дано их обоснование.
4) Разработаны математические модели исследования технических систем на основе решения задачи о неподвижной точке нерастягивающих отображений в функциональных пространствах.
5) Разработана кинетическая теории многокомпонентных эмульсий, т.е. сплошных сред с включениями в виде пузырьков газа, на основе интегральных кинетических уравнений. Это дает возможность подвести теоретическую базу и уточнить используемые сейчас приближенные полуэмпирические модели движения нефти по трубам.
6) Предложен вариант математического моделирования и оптимизации гидравлических сетей при установившихся режимах транспортировки углеводородов, а также дано решение задачи об управлении нестационарной транспортировкой вязкой жидкости, в частности, нефти, по системе трубопроводов.
Библиография Фирсов, Андрей Николаевич, диссертация по теме Математическое моделирование, численные методы и комплексы программ
1. Чепмен С., Каулинг Т. Математическая теория неоднородных газов. М.:1. Т Т TT 1 A S" ¿\1. JKLJI, 1УОО
2. Либов Р. Введение в теорию кинетических уравнений. М.: Мир, 1974
3. Черчиньяни К. Теория и приложения уравнения Больцмана. М.: Мир, 1978
4. Коган М.Н. Динамика разреженного газа. М.: Наука, 1967
5. Аэродинамика разреженных газов. Вып. 1 11// Сб. статей. Под ред. С.В. Валландера, Р.Г. Баранцева, Л.: Изд-во Ленингр. ун-та, 1963 - 1983.
6. Ферцигер Дж., Капер Г. Математическая теория процессов переноса в газах. М.: Мир, 1976
7. Шихов С.Б. Вопросы математической теории реакторов. Линейный анализ. М.: Атомиздат, 1973
8. Ершов Ю.И., Шихов С.Б. Математические основы теории переноса. В 2-х тт. М.: Энергоиздат, 1985
9. Кейз К., Цвайфель П. Линейная теория переноса. М.: Мир, 1978
10. Рытов С.М. Введение в статистическую радиофизику. Т.1. Случайные процессы. М.: Наука, 1976
11. Гихман И.И., Скороход A.B. Введение в теорию случайных процессов. М.: Наука, 1977
12. Тихонов В.И., Миронов М.А. Марковские процессы. М.: Советское радио, 1977
13. Трэд Г. Асимптотическая теория уравнения Больцмана. II. // В кн.: Некоторые вопросы кинетической теории газов. М.: Мир, с. 93-128
14. Grad Н. Asymptotic equivalence of the Navier-Stokes and nonlinear Boltzmann equations. Proc. symp. appl. math., 1965, vol. 17, p. 154 - 183
15. Arkeryd L. Intermolecular Forses of Infinite Range and the Biltzmann Equation.- Chalmers Univ. of Technology (Sweden). Preprint, 1980
16. Пао Юнг-пинг. Оператор столкновений Больцмана с бесконечной областью действия межмолекулярных потенциалов. // В кн.: Динамика разреженных газов,- М.: Мир, 1976, с. 85-90
17. Сакабеков А. О существовании глобального решения начально-краевой задачи для уравнения Больцмана.- Сиб. матем. журнал, 1993, т.34 № 1, с. 145156
18. Тихонов В.И., Харисов В.Н. Статистический анализ и синтез радиотехнических устройств и систем. М.: Радио и связь, 1991
19. Хилле Э., Филлипс П. Функциональный анализ и полугруппы. М.: ИЛ, 1962
20. Люстерник Л.А., Соболев В.И. Элементы функционального анализа. М.: Наука, 1965
21. Дынкин Е.Б. Марковские процессы. М.: Физматлит, 1963
22. Клемент Ф. и др. Однопараметрические полугруппы. Абстрактные дифференциальные уравнения с приложениями. М.: Мир, 1992
23. Шамин Р.В. Полугруппы операторов. М.: РУДН, 2008
24. Гельфанд И.М., Шилов Г.Е. Обобщенные функции и действия над ними. // Обобщенные функции, вып.1, 2-е изд. М.: Физматгиз, 1959
25. Гельфанд И.М., Шилов Г.Е. Пространства основных и обобщенных функций. // Обобщенные функции, вып.2. М.: Физматгиз, 1958
26. Паламодов В.П. Преобразования Фурье быстро растущих бесконечно дифференцируемых функций // Труды Моск. матем. о-ва., 1962., т.11, с. 309350
27. Функциональный анализ (серия СМБ), под ред. С.Г.Крейна, 2-е изд.- М.: Физматлит, 1972
28. Александров В.Д. Точное решение стационарного уравнения Колмогорова-Феллера. Обозрение прикл. и промышл. матем., 2002, т. 9, вып. 1, с. 106
29. Кинг А.Р. Введение в классическую звездную динамику. Пер. с англ. М.: УРСС, 2011
30. Артемьев В.М., Ивановский A.B. Дискретные системы управления со случайным периодом квантования. М.: Энергоатомиздат, 1986
31. Мамаев В.А., Одишария Г.Э. и др. Гидродинамика газожидкостных смесей в трубах. М.: изд-во "Недра", 1969
32. Баранов H.A., Турчак Л.И. Методы анализа функциональной безопасности сложных технических систем. М.: ВЦ РАН, 2006
33. Баранов H.A., Турчак Л.И. Численное решение уравнения Колмогорова-Феллера // Ж. выч. математики и мат. физики, т. 47, № 7, 2007. С. 1221-1228
34. Баранов H.A., Турчак Л.И. Численное решение уравнения Колмогорова-Феллера с сингулярными особенностями // Ж. выч. математики и мат. физики, т. 50, № 2, 2010. С. 347-351
35. Агошков В.И. Задачи и уравнения теории переноса частиц. М.: Отдел вычислительной математики АН СССР, 1985
36. Ниренберг Л. Лекции по нелинейному функциональному анализу, М.: Мир, 1977
37. Pro с. Symp. Pure Math., v. 28, Part 1, AMS, Providence, 1976
38. N.A. Assad, W.A. Kirk. Pacif. J. Math., v. 43, № 3, 553 (1972)
39. S. Itoh, W. Takahashi. J. Math. Anal. Appl., v. 59, № 3, 514 (1977)
40. Z. Opial. Bull. Am. Math. Soc., v.73, 591 (1967)
41. Губайдуллин Д.А. Динамика двухфазных парогазокапельных сред. -Казань, изд-во Казанского матем. об-ва, 1998
42. Кутателадзе С.С., Стырикович М.А. Гидродинамика газожидкостных систем,- М.: Энергия, 1976
43. Нигматулин Р.И. Динамика многофазных сред. В 2-х частях. М.: Наука, 1987
44. Федорюк М.В. Обыкновенные дифференциальные уравнения. М.: Наука, 1980
45. Вычислительные методы в динамике разреженных газов. Сборник статей под ред. В.П. Шидловского. М.: Мир, 1969
46. Басс В.П. Молекулярная газовая динамика и ее приложения в ракетно-космической технике / В. П. Басс. Киев : Наук, думка, 2008
47. Басс В. П. Численные и экспериментальные исследования в динамике разреженного газа / В. П. Басс // Техническая механика. 2008. - № 2 - С. 155л у г\ 10/.
48. Енгибарян Н.Б., Хачатрян А.Х. Вопросы нелинейной теории динамики разреженного газа, Матем. моделирование, т. 16 №1 (2004), 67-74
49. Берд Г., Молекулярная газовая динамика, пер. с англ., М: Мир, 1981
50. Белоцерковский О.М., Ерофеев А.И., Яницкий В.Е. О нестационарном методе прямого статистического моделирования течений разреженного газа, Ж. вычисл. матем. и матем. физ., т. 20 №4 (1980), с. 1174
51. Белоцерковский О.М., Яницкий В.Е. Численные методы в динамике разреженных газов. В кн. Труды IV Всесоюзной конференции по динамике разреженного газа и молекулярной газовой динамике. М.: Изд-во ЦАГИ, 1977
52. Иванов М.С., Рогазинский C.B. Сравнительный анализ алгоритмов метода прямого статистического моделирования в динамике разреженного газа, Ж. вычисл. матем. и матем. физ., т. 28 №7 (1988), 1058-1070
53. Хлопков Ю.И.Решение линеаризованного уравнения Больцмана, Ж. вычисл. матем. и матем. физ., т. 13 №5 (1973), 1307-1314
54. Maslova, N. В. Nonlinear evolution equations. Kinetic approach. // Series on Advances in Mathematics for Applied Sciences, 10. World Scientific Publishing Co., Inc., River Edge, NJ, 1993
55. Маслова Н.Б. Теоремы о разрешимости нелинейного уравнения Больцмана // Дополнение II к кн.: Черчиньяни К. Теория и приложения уравнения Больцмана. М.: Мир, 1978, с. 461-480
56. Арсеньев A.A. Задача Коши для линеаризованного уравнения Больцмана. Ж. вычисл. матем. и матем. физ., т. 5 №5 (1965), 864-882
57. Зигмунд А. Тригонометрические ряды. Т. 2.- М.: Мир, 1965
58. Grad H. Asymptotic equivalence of the Navier-Stokes and nonlinear Boltzmann equations.- Proc. Symp. Appl. Math., vol. 17 (1965), p. 154-183
59. Красносельский M.A. Интегральные операторы в пространствах суммируемых функций / М.А. Красносельский, П.П. Забрейко, Е.И. Пустыльник, П.Е. Соболевский // М.: Физматлит, 1966
60. Харди Г., Литтлвуд Дж.Е., Полиа Г. Неравенства. М.: ИЛ, 1948
61. Черчиньяни К. Математические методы в кинетической теории газов. М.: Мир, 1973
62. Маслова Н.Б. Математические методы исследования уравнения Больцмана // Алгебра и анализ. Т. 3, вып. 1. Л., 1991, с. 3 - 56
63. Müntz E.R. Rarefied gas dynamics // Ann. Rev. Fluid Mech., v. 21, 1989. p. 387-417
64. Деч Г. Руководство к практическому применению преобразования Лапласа и Z-преобразования. М.: Наука, 1971
65. Карлеман Т. Математические задачи кинетической теории газов. М.: ИЛ, 1960
66. Гринберг У., Полевчак Я., Цвайфель П.Ф. Теоремы существования в целом решения уравнения Больцмана // Неравновесные явления: Уравнение Больцмана. М.: Мир, 1986, с. 29-58.
67. Caflich R.E. The Boltzmann equation with a soft potential // Commun. Math, phys., 1980, v. 74, p. 71-95
68. Рид M., Саймон Б. Методы современной математической физики. Т. 2. М.: Мир, 1978.
69. Фомин В. Н. Рекуррентное оценивание и адаптивная фильтрация. — М.: Наука, 1984
70. Сосулин Н. Г. Теория обнаружения и оценивания стохастических сигналов. — М.: Сов. Радио, 1980
71. Сэйдж Э., Мэлс Дж. Теория оценивания и её применение в связи и управлении. — М.: Связь, 1976
72. Браммер К. Зиффлинг Г. Фильтр Калмана-Бьюси. М.: Наука, 1982
73. Миллер Г.Б., Панков А.Р. Фильтрация случайного процесса в статистически неопределенной линейной стохастической дифференциальной системе, Автомат, и телемех., 2005, № 1, 59-71
74. Пугачев B.C., Синицын И.Н. Стохастические дифференциальные системы. Анализ и фильтрация.- М.: Наука, 1990
75. Браммер К. Зиффлинг Г. Фильтр Калмана-Бьюси. М.: Наука, 1982
76. Богданович В.А., Вострецов А.Г. Теория устойчивого обнаружения, различения и оценивания сигналов.- М.: Физматлит, 2004
77. Шмелев А.Б. Основы марковской теории нелинейной обработки случайных полей.- М.: изд-во МФТИ, 1998
78. Тихонов В.И., Кульман Н.К. Нелинейная фильтрация и квазикогерентный прием сигналов.- М.: Сов. радио, 1975
79. Граничин О. Н. Введение в методы стохастической оптимизации и оценивания. СПб.: изд-во С.-Петербургского ун-та, 2003
80. Нобл В. Применение метода Винера Хопфа для решения дифференциальных уравнений в частных производных,- М.: ИЛ, 1962
81. Snyder D.L. Filtering and Detection for Doubly Stochastic Poisson Processes.// IEEE Transactions on Information Theory, IT-19, Jan. 1972, p. 91-103
82. Фортье А. Механика суспензий. M.: Мир, 1971
83. Реология суспензий: Сб. статей. М.: Мир, 1975
84. Цибаров В.А. Кинетическая модель псевдоожиженного слоя. Вестн. Ленингр. ун-та, 1975, №13, с.106-111.
85. Валландер C.B. Уравнения и постановка задач в аэродинамике разреженного газа. В кн.: Аэродинамика разреженных газов. Вып.1. Л.: изд-во Ленингр. ун-та, 1963, с. 7-37.
86. Валландер C.B., Белова A.B. Интегральные кинетические уравнения для смеси газов с внутренними степенями свободы. В кн.: Аэродинамика разреженных газов. Вып.1. Л.: изд-во Ленингр. ун-та, 1963, с. 45-52.
87. Филиппов Б.В. Вариант нестационарных кинетических уравнений.
88. В кн.: Аэродинамика разреженных газов. Вып.1. Л.: изд-во Ленингр. ун-та, 1963, с. 67-73.
89. Басниев, К.С. Нефтегазовая гидродинамика Текст. / Н.М. Дмитриев, Г.Д. Розенберг // Москва Ижевск. 2005.
90. Гусейнзаде, М.А. Неустановившееся движение нефти и газа в магистральных трубопроводах Текст. / В.А. Юфин // Москва Недра, 1983
91. Гусейнзаде, М.А. Методы расчета неустановившегося движения нефтепродуктов и нефтей в магистральных трубопроводах с промежуточными насосными станциями Текст. / Юфин В.А. /7 М. Недра.-1973
92. Козлов, В.Н. Системный анализ, оптимизация и принятие решений Текст. // Москва. 2010
93. Козлов, В.Н. Управления энергетическими системами Текст. // СПб.: Издательство Политехи, ун-та, 2008
94. Козлов, В.Н. Управления энергетическими системами. Электромеханические процессы // СПб.: Издательство Политехи, ун-та, 2000
95. Меренков, А.П. Теория гидравлических цепей Текст. / В.Я. Хасилев // М.: Наука, 1985
96. Попов, Д.Н. Нестационарные гидро-механические процессы Текст. // М.: Маширостроение, 1982.
97. Чарный, И.А. Неустановившееся движение реальной жидкости в трубах Текст.//М.: Недра, 1982.
98. Басниев, К.С. Нефтегазовая гидродинамика Текст. / Н.М. Дмитриев, Г.Д. Розенберг // Москва-Ижевск, ИКИ, 2005.
99. Гусейнзаде, М.А. Неустановившееся движение нефти и газа в магистральных трубопроводах Текст. / В.А. Юфин // М.: Недра, 1983
100. Ф1. Фирсов А.Н. К кинетической теории многокомпонентных эмульсий. I. Основные уравнения. Аэродинамика разреженных газов. Вып. 1III Межвуз. сб. / Под ред. Р.Г. Баранцева, Л.: Изд-во Ленингр. ун-та, 1983, с. 54 - 67
101. ФЗ. Фирсов А.Н. Моментное представление обобщенных функций. «Высокие интеллектуальные технологии и инновации в образовании и науке»: Материалы XVII Междунар. науч.-метод. конф. 11-12 февраля 2010 г. Том 2. СПб.: Изд-во Политехи, ун-та, 2010, с. 66-68
102. Ф5. Фирсов А.Н. Метод моментов в теории обобщенных функций и его приложения в задачах системного анализа и управления. Основы теории. // НТВ СПбГПУ, сер. «Информатика, телекоммуникации, управление», вып. 6, 2010.-с. 74-81
103. Ф6. Фирсов А.Н. Слабо компактные множества и неподвижные точки нерастягивающих отображений в банаховом пространстве. // Доклады АН СССР, 1980, т. 254, № 3, с. 559 561
104. Ф9. Фирсов А.Н. О разрешимости в целом задачи Коши для нелинейного уравнения Больцмана. / Маслова Н.Б., Фирсов А.Н. // Труды Всесоюзной конф. по уравнениям с частными производными. Изд-во МГУ, М., 1978, с. 376-377
105. Ф11. Фирсов A.H. Об одной задаче Коши для нелинейного уравнения Больцмана. // Аэродинамика разреженных газов, вып. 8. Изд-во ЛГУ, Л., 1976, с. 22-37
106. Ф12. Фирсов А.Н. Решение задачи Коши для уравнения Больцмана. I. / Маслова Н.Б., Фирсов А.Н. // Вестник Ленингр. Ун-та, 1975, № 19, с. 83 88
107. Ф13. Фирсов А.Н. Решение задачи Коши для уравнения Больцмана. II. /
108. Маслова Н.Б., Фирсов А.Н. // Вестник Ленингр. Ун-та, 1976, № 1, с. 97 103
109. Ф14. Фирсов А.Н. Теоремы существования и единственности решения одной внешней граничной задачи для уравнения Больцмана. // Вестник Ленингр. Ун-та, 1975, №7, с. 110- 117
110. Ф19. Решение задачи об управлении нестационарной транспортировкой вязкой жидкости по системе трубопроводов. / Нгуен Д.Х., Козлов В.Н.,
111. Фирсов А.Н. // НТВ СПб ГПУ, сер. «Информатика, телекоммуникации, управление», вып. 6, 2011. с. 190-194
-
Похожие работы
- Математическое моделирование релаксационных явлений при течении неоднородной жидкости в пористых средах
- Неизотермическая фильтрация воздуха через ограждающие конструкции замкнутых помещений
- Нелинейная фильтрация цифровых полутоновых изображений и видеопоследовательностей
- Математические модели упругого режима фильтрации жидкости в криволинейных пластах переменной толщины
- Математическое моделирование тепломассообмена в капиллярно-пористых средах на основе диффузионно-фильтрационных представлений о явлениях переноса
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность