Все выпуски

Излагаются основы теории неосцилляции решений обыкновенного линейного однородного дифференциального уравнения n-го порядка с новыми доказательствами некоторых основных теорем: признаки неосцилляции, ее следствия, свойства неосцилляционных уравнений. Для уравнения второго порядка приводятся новые достаточные признаки неосцилляции.

В работе рассматривается задача Коши для системы квазилинейных уравнений первого порядка специального вида. Система представлена в симметричном виде, фазовая переменная n-мерная. Рассматриваемая задача Коши получается из задачи Коши для одного уравнения Гамильтона-Якоби-Беллмана с помощью операции дифференцирования этого уравнения и краевого условия по переменной x_i. Предполагается, что гамильтониан и начальное условие принадлежат классу непрерывно дифференцируемых функций. Гамильтониан является выпуклым по сопряженной переменной.

В работе предложен новый подход к определению обобщенного решения системы квазилинейных уравнений первого порядка. Обобщенное решение рассматривается в классе многозначных функций с выпуклыми компактными значениями. Доказаны теоремы существования, единственности и устойчивости решения по начальным данным. Получено полугрупповое свойство для введенного обобщенного решения. Показано, что потенциал для обобщенного решения системы квазилинейных уравнений совпадает с единственным минимаксным/вязкостным решением соответствующей задачи Коши для уравнения Гамильтона-Якоби-Беллмана, а в точках дифференцируемости минимаксного решения его градиент совпадает с обобщенным решением исходной задачи Коши. На основе этой связи получены свойства обобщенного решения задачи Коши для системы квазилинейных уравнений. В частности, показано, что введенное обобщенное решение совпадает с супердифференциалом минимаксного решения соответствующей задачи Коши и однозначно почти всюду.

С помощью характеристик уравнения Гамильтона-Якоби-Беллмана описана структура множества точек, в которых минимаксное решение недифференцируемо.

Показано, что свойство обобщенного решения для одного квазилинейного уравнения со скалярной фазовой переменной, введенное О.А. Олейник, может быть распространено на случай рассматриваемой системы квазилинейных уравнений.

Проведен численный анализ сопряженной естественной конвекции в пористой среде, насыщенной газом, окруженной твердыми стенками конечной толщины при наличии локального источника тепла. Краевая задач сформулирована в безразмерных переменных "функция тока - вектор завихренности - температура" и решена методом конечных разностей. Установлены масштабы влияние источника тепла, проницаемости внутреннего объема, фактора нестационарности и теплофизических характеристик ограждающих стенок на режимы течения и теплопереноса.

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

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

Проведено математическое моделирование конвективно-кондуктивно-радиационного теплообмена в кубической полости, заполненной прозрачной для излучения средой. Анализируемый объект представлял собой замкнутый объем с теплопроводными стенками конечной толщины, имеющими диффузно-серые внутренние поверхности. Внешние поверхности двух вертикальных стенок являлись изотермическими, а остальные внешние грани области решения - адиабатическими. Краевая задача сформулирована в безразмерных переменных «векторный потенциал-вектор завихренности-температура» в приближении Буссинеска и с учетом диатермичности сплошной среды. Анализ радиационного теплообмена проведен с использованием метода сальдо в варианте Поляка. Сформулированная нестационарная краевая задача реализована численно методом конечных разностей в широком диапазоне изменения числа Рэлея, коэффициента теплопроводности материала ограждающих твердых стенок и коэффициента излучения. Получены корреляционные соотношения для средних конвективного и радиационного чисел Нуссельта на характерной внутренней границе раздела сред. Проведено сравнение полученных результатов с данными двумерной модели. Установлено, что при рассмотрении трехмерной задачи можно оценить формирование интенсивных поперечных перетоков среды со стороны двух вертикальных поверхностей, которые отсутствуют в двумерной постановке. Показано, что решение задач конвективно-радиационного теплопереноса в сопряженной постановке приводит к существенным изменениям в распределениях локальных и интегральных характеристик по сравнению с несопряженной моделью, что в первую очередь связано с более корректным описанием механизма теплового излучения в диатермичных средах за счет учета теплопроводности ограждающих твердых стенок.

В работе исследуются нелокальные краевые задачи со смещением и разрывными условиями сопряжения на линии изменения типа для модельного нагруженного уравнения смешанного гиперболо-параболического типа. В параболической области уравнение представляет собой уравнение дробной диффузии, в гиперболической - характеристически нагруженное волновое уравнение. Единственность решения исследуемых задач при определенных условиях на коэффициенты задачи доказывается методом Трикоми. Существование решения задач сводится к решению интегрального уравнения Фредгольма второго рода относительно следа искомого решения на линии изменения типа. Однозначная разрешимость интегрального уравнения следует из единственности решения задач. После решения интегрального уравнения решение задач сводится к решению первой краевой задачи для уравнения дробной диффузии в параболической области и решению задачи Коши для неоднородного волнового уравнения в гиперболической. Выписаны формулы представления решений исследуемых задач в параболической и гиперболической областях.

Изучаются аппроксимирующие конечномерные задачи математического программирования, возникающие в результате кусочно-постоянной дискретизации управления (в рамках техники параметризации управления) при оптимизации распределенных систем достаточно широкого класса. Устанавливается непрерывность по Липшицу градиентов функций аппроксимирующих задач; приводятся соответствующие формулы градиентов, использующие аналитическое решение исходной управляемой системы и сопряженной к ней системы и тем самым обеспечивающие возможность алгоритмического разделения проблемы оптимизации и проблемы решения управляемой начально-краевой задачи. Применение к численному решению задач оптимизации иллюстрируется на примере задачи Коши-Дарбу, управляемой по интегральному критерию. Приводятся результаты численного решения соответствующей аппроксимирующей задачи в системе MatLab с помощью программы fmincon, а также авторской программы, реализующей метод условного градиента. Кроме того, рассматривается задача безусловной минимизации, получаемая из аппроксимирующей задачи с ограничениями методом синус-параметризации. Приводятся результаты численного решения указанной задачи в системе MatLab с помощью программы fminunc, а также авторских программ, реализующих методы наискорейшего спуска и BFGS. Результаты численных экспериментов подробно анализируются.

Проведено математическое моделирование сложного теплообмена в замкнутой области, заполненной диатермичной средой. Область решения представляет собой замкнутую полость с теплопроводными стенками конечной толщины, имеющими диффузно-серые внутренние поверхности. Краевая задача сформулирована в безразмерных переменных «функция тока–завихренность–температура» и решена методом конечных разностей. Установлены масштабы влияния числа Рэлея, степени черноты внутренних поверхностей и коэффициента теплопроводности материала ограждающих твердых стенок на режимы течения и теплопереноса.