Все выпуски

Изучаются свойства дискретной вариационной задачи динамической аппроксимации в комплексном евклидовом (L + 1)-мерном пространстве E. Она обобщает известные задачи среднеквадратической полиномиальной аппроксимации функций, заданных своими отсчетами в конечном интервале. В рассматриваемой задаче аппроксимация последовательности y = {y_i}_L⁰ отсчетов функции y(t) ∈ L²[0, T], T = Lh на сетке I_h осуществляется решениями однородных линейных дифференциальных или разностных уравнений заданного порядка n с постоянными, но, возможно, неизвестными коэффициентами. Тем самым показано, что в последнем случае задача аппроксимации включает в себя и задачу идентификации. Анализ ее особенностей - основная тема статьи. Ставится задача нахождения вектора коэффициентов  разностного уравнения Σ_n⁰ ŷ_i+k α_i = 0, где k = 0,L − n. Оптимизируются коэффициенты  и начальные условия переходного процесса y этого уравнения. Цель оптимизации - наилучшая аппроксимация исследуемого динамического процесса y ∈ E. Критерий аппроксимации  минимум величины ||y − ŷ||²_E. Показано, что изучаемая вариационная задача сводится к задачам проектирования в E вектора y на ядра разностных операторов с неизвестными коэффициентами α ∈ ω ⊂ S ⊂ Eⁿ⁺¹. Здесь α - направление, S - сфера или гиперплоскость. Показана связь изучаемой задачи с задачами дискретизации и идентифицируемости. Тогда координаты вектора y ∈ E есть точное решение дифференциального уравнения на сетке I_h и y = ŷ. Дано сравнение изучаемой задачи вариационной идентификации с алгебраическими методами идентификации. Показано, что ортогональные дополнения к ядрам разностных операторов всегда имеют теплицев базис. Это приводит к быстрым проекционным алгоритмам вычислений. Показано, что задача нахождения оптимального вектора α сводится к задаче безусловной минимизации функционала идентификации, зависящего от направления  в Eⁿ⁺¹. Предложена итерационная процедура его минимизации на сфере с широкой областью и высокой скоростью сходимости. Изучаемую вариационную задачу можно применять при математическом моделировании в управлении и научных исследованиях. При этом на конечных интервалах может использоваться, в частности, возможность кусочно-линейной динамической аппроксимации сложных динамических процессов разностными и дифференциальными уравнениями указанного типа.

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

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