Программа вступительного экзамена в аспирантуру ФИЦ ИВТ по специальности 05.13.18 Математическое моделирование, численные методы и комплексы программ
I. ВЕЩЕСТВЕННЫЙ И КОМПЛЕКСНЫЙ АНАЛИЗ
Математический анализ
- Теория пределов. Теория рядов. основные теоремы о непрерывных функциях.
- Основные теоремы дифференциального исчисления (теорема о средних значениях, теорема о неявных функциях, формула Тейлора).
- Основные теоремы интегрального исчисления (теоремы о замене переменных, теоремы о повторных интегралах, формулы Грина, Остроградского, Стокса).
Основы функционального анализа
- Конечномерные вещественные пространства (характеризация открытых, замкнутых и компактных множеств).
- Определение и основные свойства интеграла Лебега.
- Основные нормированные пространства. Полнота, сепарабельность, критерий компактности, сильная и слабая сходимость.
- Гильбертовы пространства. Теорема Рисса-Фишера. Ряды и интегралы Фурье.
- Элементы теории линейных операторов. Теорема Фредгольма для вполне непрерывных операторов.
Основы теории функций комплексного переменного
- Условия Коши-Римана. Конформные отображения, осуществляемые элементарными функциями. Точки ветвления и римановы поверхности.
- Комплексное интегрирование. Теорема Коши. Интеграл типа Коши.
- Ряды Тейлора и Лорана. Изолированные особые точки аналитической функции. Теорема единственности аналитической функции. Принцип модуля и аргумента для аналитических функций. Элементы теории вычетов.
II. АЛГЕБРА
- Теория определителей.
- Векторные пространства. База и ранг системы векторов. Формулы преобразования координат.
- Системы линейных уравнений. Теорема о ранге матриц. Теорема Кронекера-Капелли. Общее решение системы линейных уравнений (определение). Однородные системы (пространство решений, фундаментальная система решений).
- Многочлены. Делимость многочленов (алгоритмы деления с остатком, наибольший общий делитель, алгоритм Евклида). Разложение на неприводимые множители. Теорема Безу, формула Тейлора, интерполяционный многочлен..
- Линейные преобразования векторных пространств. Изоморфизм с алгеброй матриц. Образ, ядро, ранг, дефект линейного преобразования. Невырожденные преобразования. Инвариантность пространства.
- Жорданова форма матриц.
- Евклидовы и унитарные пространства. Процесс ортогонализации, изоморфизм евклидовых (унитарных) пространств, ортогональные и симметрические преобразования.
- Квадратичные формы. Приведение квадратичной формы к каноническому виду. Закон инерции квадратичной формы. Положительно определенные формы.
III. ГЕОМЕТРИЯ
- Векторное и смешанное произведение в 3-мерном евклидовом пространстве.
- Линии и поверхности 2-го порядка. Алгебраические поверхности. Пересечение алгебраической поверхности с прямой, условие касания. Линия второго порядка. (Фокусы, асимптоты, оптические свойства). Строение поверхностей 2-го порядка. Алгоритмы отыскания канонического уравнения и главных осей поверхности, заданной общим уравнением 2-ой степени.
IV. УРАВНЕНИЯ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ
- Математические модели физических задач, приводящие к уравнениям математической физики. Основные уравнения математической физики.
- Постановка задач для уравнений математической физики. Корректно и не корректно поставленные задачи.
Гиперболические уравнения
- Приведение к каноническому виду гиперболического уравнения 2-го порядка с двумя независимыми переменными. Задача Коши и смешанная задача в квадрате для полученной системы уравнений. Теорема существования и единственности.
- Одномерное волновое уравнение (струна). Постановка задачи и формулы для ее решения.
- Получение решения неоднородного волнового уравнения методом толчков (интеграл Дюамеля).
- Интеграл энергии. Теорема единственности решения задачи Коши и смешанной задачи.
Эллиптические уравнения
- Фундаментальное решение уравнения Лапласа. Формула Грина.
- Принцип максимума для эллиптических уравнений 2-го порядка. Единственность решения задачи Дирихле и задачи Неймана.
- Краевые задачи для уравнения Лапласа в шаре и в полупространстве. Формула Грина.
Метод Фурье
- Преобразование Фурье. Формула Фурье.
- Решение с помощью преобразования Фурье задачи Коши с постоянными коэффициентами.
- Применение метода Фурье к решению первой краевой задачи для уравнения теплопроводности.
- Решение уравнения Лапласа в пространстве методом Фурье.
V. МЕТОДЫ ВЫЧИСЛЕНИЙ
- Численные методы линейной алгебры. Вычисление наибольшего по модулю собственного значения матрицы. Прямые и итерационные методы. Способы ускорения сходимости. Градиентные методы. Методы ортогонализации.
- Основные численные методы: метод конечных разностей и конечных объемов, метод конечных элементов. Аппроксимация, устойчивость и сходимость. Теорема о сходимости. Корректность постановок краевых задач при их численной аппроксимации.
- Специальные численные алгоритмы: метод частиц в ячейках и метод статистических испытаний, метод граничных элементов. Их свойства и особенности применения.
- Основные численные алгоритмы решения обыкновенных дифференциальных уравнений: методы Рунге-Кутта и Адамса, методы типа Розенброка, А-устойчивые методы.
- Основные методы решения уравнений в частных производных. Понятие слабой аппроксимации и метод дробных шагов. Схемы расщепления для многомерных задач мат. физики. Метод предиктор-корректор. Полная и приближенная факторизация. Метод приближенной факторизации для многомерных задач.
- Схемы повышенного порядка. Компактные разностные схемы повышенного порядка. Обобщение схем на многомерный случай.
- Разностные схемы и схемы метода конечных объемов для гиперболических уравнений. Схема Годунова, принцип минимальных производных, TVD и ENO схемы, алгоритмы коррекции в задачах мат. физики. Явные и неявные схемы типа Рунге-Кутта для гиперболических уравнений.
- Алгоритмы решения параболических уравнений. Методы расщепления и приближенной факторизации. Схемы повышенного порядка.
- Метод линеаризации для решения нелинейных задач. Обобщение метода приближенной факторизации и схем расщепления на нелинейные многомерные уравнения.
- Методы решения стационарных задач мат. физики. Эллиптические краевые задачи. Основные итерационные алгоритмы решения стационарных задач: простейший итерационный метод, метод верхней релаксации, градиентные итерационные методы.
VI. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОГО МОДЕЛИРОВАНИЯ
- Основные понятия моделирования. Основы теории подобия и верификации моделей. Технологическая цепочка моделирования. Основные этапы моделирования. Постановка задач и определение типа модели. Требования к моделям. Построение математической, алгоритмической, программной моделей и численного алгоритма. Обоснования корректности моделей.
- Основные функции, выполняемые программным обеспечением (ПО) научных исследований. Требования, предъявляемые к ПО со стороны исследователей в период разработки программ. Операционные системы: назначение, выполняемые функции.
- Прикладное программное обеспечение научных исследований. Формы представления комплексов прикладных программ: библиотека, пакет прикладных программ (ППП), диалоговая система.
- Технология разработки комплексов прикладных программ. Структурное проектирование программ. Применение инструментальных средств разработки ППП и диалоговых систем.
ЛИТЕРАТУРА
- Александров П.С. Лекции по аналитической геометрии. М.: Наука, 1968.
- Бахвалов Н.С., Жидков Н.П., Кобельков Т.М. Численные методы. М.: Наука, 1987.
- Бицадзе А.В. Основы теории аналитических функций комплексного переменного. М.: Наука, 1972.
- Владимиров В.С. Уравнения математической физики. М.: Наука, 1976.
- Говорухин В.Н., Цибулин В.Г. Введение в Maple. Математический пакет для всех. М.: Мир, 1997.
- Гультяев А.К. Matlab 5.2 Имитационное моделирование в среде Windows. С.П.: Корона-принт, 1999.
- Карамышев В.Б. Монотонные схемы и их приложения в газовой динамике. Учебное пособие. Новосибирск, изд-во НГУ, 1994.
- Ковеня В.М. Методы вычислений (дополнительные главы). Учебное пособие, Новосибирск, изд-во НГУ, 1995.
- Курош А.Г. Курс высшей алгебры. М.: Наука, 1971.
- Лаврентьев М.А., Шабат Б.В. Методы теории функции комплексного переменного. М.: ФМЛ, 1965.
- Марчук Г.И. Методы вычислительной математики. М: Наука, 1980.
- Никольский С.М. Курс математического анализа, т.1 и 2. М.: Наука, 1973.
- Понтрягин Л.С. Обыкновенные дифференциальные уравнения. М.: Наука, 1982.
- Самарский А.А. Теория разностных схем .М.: Наука, 1977.
- Самарский А.А., Николаев Е.С. Методы решения сеточных уравнений. М: Наука, 1978.
- Фаддеев О.К., Фаддеева В.Н. Вычислительные методы линейной алгебры. М.: Физматгиз, 1963.
- Фигурнов В.Э. IBM PC для всех. М.: Мир, 1997.
- Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления, т.1,2,3. М.-Л.: ФМЛ, 1969.
- Флетчер К. Вычислительные методы в динамике жидкостей. М.: Мир, 1991, т. 1.
- Холл Дж., Уатт Дж. Современные численные методы решения обыкновенных дифференциальных уравнений. М.: Мир, 1979.
- Шокин Ю.И., Яненко Н.Н. Метод дифференциального приближения. Применение к газовой динамике. Новосибирск, Наука, 1985.
Программа утверждена на заседании Ученого совета ИВТ СО РАН (протокол № 4 от 11.05.2007)