Математическое моделирование 22 — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(2. Дифференциальная геометрия)
(3. Задача Коши для УрЧП)
 
(не показано 49 промежуточных версии этого же участника)
Строка 41: Строка 41:
  
 
0.6 Дифференциальные операции векторного анализа
 
0.6 Дифференциальные операции векторного анализа
 +
 +
'''Занятие 5 (31.01):'''
  
 
0.7 Примеры моделей, связанных с УрЧП
 
0.7 Примеры моделей, связанных с УрЧП
Строка 55: Строка 57:
  
 
===1. Вариационное исчисление===
 
===1. Вариационное исчисление===
 +
 +
[https://drive.google.com/file/d/1GaKItH4MikGh1QjYH0pttQNtGWcqj36r/view?usp=sharing Задачи]
 +
 +
'''Занятие 6 (31.01):'''
 +
 +
1.1 Основные нормированные пространства
 +
 +
1.2 Понятие непрерывного функционала
 +
 +
'''Занятия 7,8 (07.02):'''
 +
 +
1.3 Механическая система, функция Лагранжа и функционал действия
 +
 +
1.4 Типы вариационных задач
 +
 +
1.5 Дифференциал (вариация) функционала и необходимое условие экстремума
 +
 +
'''Занятия 9,10 (14.02):'''
 +
 +
1.6 Основные леммы вариационного исчисления
 +
 +
1.7 Задача с закрепленной границей
 +
 +
'''Занятия 11,12 (21.02):'''
 +
 +
1.8 Задача со свободной границей
 +
 +
1.9 Задача с подвижной границей, условие трансверсальности
 +
 +
1.10 Задача на условный экстремум
 +
 +
'''Занятия 13,14 (28.02):'''
 +
 +
1.11 Уравнения Гамильтона
 +
 +
1.12 Теорема Нётер и законы сохранения
 +
 +
1.13 Уравнение Гамильтона - Якоби
  
 
'''Литература:'''
 
'''Литература:'''
Строка 60: Строка 100:
 
1. Гельфанд И.М., Фомин С.В. - Вариационное исчисление. М.: Физматлит, 1961
 
1. Гельфанд И.М., Фомин С.В. - Вариационное исчисление. М.: Физматлит, 1961
  
2. Ландау Л.Д., Лифшиц Е.М. - Курс теоретической физики. Том 1. Механика.
+
2. Смирнов В.И. - Курс высшей математики. Том 4 часть 1. М.: Наука, 1974. Глава 2
  
3. Дубровин Б.А., Новиков С.П., Фоменко А.Т. - Современная геометрия. М.: URSS, 2013. Том 1. Главы 5, 6
+
3. Ландау Л.Д., Лифшиц Е.М. - Курс теоретической физики. Том 1. Механика.
 +
 
 +
4. Дубровин Б.А., Новиков С.П., Фоменко А.Т. - Современная геометрия. М.: URSS, 2013. Том 1. Главы 5, 6
  
 
===2. Дифференциальная геометрия===
 
===2. Дифференциальная геометрия===
  
'''Литература:'''
+
[ Задачи]
  
1. Фиников С.П. - Теория поверхностей. М.: ЛЕНАНД, 2016
+
'''Занятия 15,16 (07.03):'''
  
2. Дубровин Б.А., Новиков С.П., Фоменко А.Т. - Современная геометрия. М.: URSS, 2013. Том 1. Главы 1, 2
+
2.1 Понятие кривой. Примеры кривых
  
3. Алексеевский Д.В., Виноградов А.М., Лычагин В.В. - [http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=intf&paperid=108 Основные идеи и понятия дифференциальной геометрии] // Итоги науки и техн. Соврем. пробл. мат. Фундам. направления, том 28, Геометрия-1. М.: ВИНИТИ, 1988. Главы 1,2
+
2.2 Кривизны, сопровождающий базис и уравнения Френе
  
4. Савелов А.А. - Плоские кривые. М.: ЛИБРОКОМ, 2014
+
'''Занятия 17,18 (14.03):'''
  
5. Кривошапко С.Н., Иванов В.Н., Халаби С.М. - Аналитические поверхности. М.: Наука, 2006
+
2.3 Понятие поверхности. Примеры поверхностей
  
===3. УрЧП математической физики===
+
2.4 Первая квадратичная форма. Изометричность
  
'''Литература:'''
+
'''Занятия 19,20 (04.04):'''
 +
 
 +
2.5 Вторая квадратичная форма. Главные кривизны
 +
 
 +
2.6 Средняя кривизна и полная кривизна. Сферическое отображение
 +
 
 +
'''Занятия 21,22 (11.04):'''
  
1. Франк Ф., Мизес Р. - Дифференциальные и интегральные уравнения математической физики. М-Л: ОНТИ, 1937
+
2.7 Деривационные формулы Гаусса - Вейнгартена. Символы Кристоффеля
  
2. Тихонов А.Н., Самарский А.А. - Уравнения математической физики. М.: Наука, 2004
+
2.8 Уравнения Гаусса и Петерсона - Кодацци
  
3. Годунов С.К. - Уравнения математической физики. М.: Наука, 1971
+
'''Занятие 23,24 (18.04):'''
  
===4. Задача Коши для УрЧП===
+
2.9 Ковариантная производная, параллельный перенос и геодезические линии
  
 
'''Литература:'''
 
'''Литература:'''
  
1. Хартман Ф. - Обыкновенные дифференциальные уравнения. М.: Мир, 1970. Глава 6
+
1. Шилов Г.Е. - Математический анализ. Функции одного переменного. Часть 3. М.: 1970. Глава 16
  
2. Курант Р. - Уравнения с частными производными. М.: Мир, 1964. Глава 2
+
2. Шилов Г.Е. - Математический анализ. Функции нескольких вещественных переменных. Части 1-2. М.: 1972. Глава 5.
  
3. Рашевский П.К. - Геометрическая теория уравнений с частными производными. М.: УРСС, 2012
+
3. Дубровин Б.А., Новиков С.П., Фоменко А.Т. - Современная геометрия. М.: URSS, 2013. Том 1. Главы 1, 2
  
4. Фиников С.П. - Метод внешних форм Картана. М.-Л.: ОГИЗ, 1948.
+
4. Алексеевский Д.В., Виноградов А., Лычагин В.В. - [http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=intf&paperid=108 Основные идеи и понятия дифференциальной геометрии] // Итоги науки и техн. Соврем. пробл. мат. Фундам. направления, том 28, Геометрия-1. М.: ВИНИТИ, 1988. Главы 1,2
  
===5. Краевые задачи для УрЧП===
+
5. Савелов А.А. - Плоские кривые. М.: ЛИБРОКОМ, 2014
  
'''Литература:'''
+
6. Кривошапко С.Н., Иванов В.Н., Халаби С.М. - Аналитические поверхности. М.: Наука, 2006
  
1. Тихонов А.Н., Самарский А.А. - Уравнения математической физики. М.: Наука, 2004
+
===3. Задача Коши для УрЧП===
  
2. Годунов С.К. - Уравнения математической физики. М.: Наука, 1971
+
[ Задачи]
  
3. Курант Р. - Уравнения с частными производными. М.: Мир, 1964
+
'''Занятие 25,26 (25.04):'''
  
4. Гахов Ф.Д. - Краевые задачи. М.: Физматлит, 1963
+
3.1 Система уравнений в дифференциалах и сопряженная система УрЧП
  
5. Самарский А.А., Гулин А.В. - Численные методы. М.: Наука, 1989
+
3.2 Теорема Фробениуса и сведение к ОДУ
  
===6. УрЧП 2-го порядка===
+
'''Занятия 27,28 (16.05):'''
  
'''Литература:'''
+
3.3 Линейное однородное УрЧП I-го порядка и характеристики
  
1. Курант Р. - Уравнения с частными производными. М.: Мир, 1964
+
3.4 Нелинейное УрЧП I-го порядка и характеристические полосы
  
2. Тихонов А.Н., Самарский А.А. - Уравнения математической физики. М.: Наука, 2004
+
'''Занятия 29,30 (23.05):'''
  
3. Годунов С.К. - Уравнения математической физики. М.: Наука, 1971
+
3.5 Уравнения и системы уравнений класса Ковалевской. Сведение к системе I-го порядка
  
4. Самарский А.А., Гулин А.В. - Численные методы. М.: Наука, 1989
+
3.6 Задача Коши для системы уравнений класса Ковалевской. Теорема Коши - Ковалевской
  
===7. Метод малого параметра===
+
'''Занятия 31,32 (30.05):'''
 +
 
 +
3.7 Линейные системы класса Ковалевской
 +
 
 +
3.8 Метод Римана. Характеристики и римановы инварианты
 +
 
 +
'''Занятия 33,34 (06.06):'''
 +
 
 +
3.9 Метод Фурье. Разделение переменных и исследование устойчивости
  
 
'''Литература:'''
 
'''Литература:'''
  
1. Найфэ А.Х. - Методы возмущений. М.: Мир, 1976
+
1. Хартман Ф. - Обыкновенные дифференциальные уравнения. М.: Мир, 1970. Глава 6
 +
 
 +
2. Курант Р. - Уравнения с частными производными. М.: Мир, 1964. Глава 1 §7, глава 2
 +
 
 +
3. Егоров Ю.В., Шубин М.А. - [http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=intf&paperid=111&option_lang=rus Линейные дифференциальные уравнения с частными производными. Основы классической теории] // Итоги науки и техн. Сер. Соврем. пробл. мат. Фундам. направления, т.30, Дифференциальные уравнения с частными производными – 1, М.: ВИНИТИ, 1988, Глава 1
 +
 
 +
4. Рашевский П.К. - Геометрическая теория уравнений с частными производными. М.: УРСС, 2012
 +
 
 +
5. Фиников С.П. - Метод внешних форм Картана. М.-Л.: ОГИЗ, 1948.
  
 
== Занятия ==
 
== Занятия ==
Строка 138: Строка 202:
  
 
== Формы контроля ==
 
== Формы контроля ==
По каждой теме выдается список задач, который рекомендуется рассматривать как большое домашнее задание. После прохождения темы (кроме Введения) проводится контрольная работа.
+
По каждой теме (кроме Введения) выдается домашнее задание, выполнение которого оценивается.
  
Текущие оценки за контрольные выставляются в [ гугл-таблицу]
+
Текущие оценки за домашние работы выставляются в [ гугл-таблицу]. Все домашние работы учитываются с одинаковым весом и складываются в среднюю оценку (Д).
  
В конце семестра предусмотрен экзамен, имеющий формат большой контрольной работы по всему материалу курса.
+
В конце семестра предусмотрен экзамен (Э), имеющий формат большой контрольной работы по всему материалу курса.
  
Итоговая оценка = 0.7 К + 0.3 Э
+
Итоговая оценка = 0.7 Д + 0.3 Э

Текущая версия на 12:37, 6 июня 2022

О курсе

Данный курс Математическое моделирование читается во 2-ом семестре 2021/2022 учебного года на Факультете компьютерных наук НИУ ВШЭ для специализации Математическая инженерия.

Курс состоит из следующих перемежающихся друг с другом разделов:

  • собственно модели (вариационное исчисление, дифференциальная геометрия, физика),
  • точные методы исследования моделей (алгебраические, аналитические),
  • численные методы исследования моделей.

Рассчитан на 1 семестр (2 модуля).

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

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

Наиболее долгий и плодотворный путь в этом направлении прошла физика, влиянием которой проникнуты многие разделы математики. Можно даже сказать, что математика и физика развивались параллельно, взаимно обогащая друг друга идеями и методами. Поэтому выбор физики как плацдарма для курса математического моделирования вполне закономерен. С другой стороны, конечно, математическое моделирование не есть физика. Мы берем из физики лишь сами модели, оставляя физикам мотивировки и интерпретации.

План курса

В рамках семестрового курса мы вряд ли имеем возможность вникать в изучаемые темы слишком глубоко. Многие из представленных ниже тем в отдельности могли бы претендовать на семестровый курс, или даже более. Наш курс следует рассматривать как не более, чем знакомство с некоторыми задачами и методами математического моделирования. Приведенные в каждой теме литературные ссылки могут быть полезны для более детального изучения (эти книги рекомендуется по крайней мере бегло просматривать, чтобы составить себе общее представление). Дополнительные, более конкретные ссылки приведены в списках задач.

0. Введение в математическое моделирование

Задачи

Занятия 1,2 (17.01):

0.1 Общее представление о математической модели.

0.2 Корректность по Адамару.

0.3 Математическая модель как система уравнений.

0.4 Пример алгебраического уравнения: уравнение Кеплера.

Занятия 3,4 (24.01):

0.5 Примеры моделей, связанных с ОДУ

0.6 Дифференциальные операции векторного анализа

Занятие 5 (31.01):

0.7 Примеры моделей, связанных с УрЧП

0.8 Примеры моделей, некорректных по Адамару

Литература (вообще по предмету математическое моделирование):

1. Самарский А.А., Михайлов А.П. - Математическое моделирование. М.: Физматлит, 2001

2. Зарубин В.С. - Математическое моделирование в технике. М.: Изд-во МГТУ им. Баумана, 2003

3. Амелькин В.В., Садовский А.П. - Математические модели и дифференциальные уравнения. Минск: Выш. школа, 1982

1. Вариационное исчисление

Задачи

Занятие 6 (31.01):

1.1 Основные нормированные пространства

1.2 Понятие непрерывного функционала

Занятия 7,8 (07.02):

1.3 Механическая система, функция Лагранжа и функционал действия

1.4 Типы вариационных задач

1.5 Дифференциал (вариация) функционала и необходимое условие экстремума

Занятия 9,10 (14.02):

1.6 Основные леммы вариационного исчисления

1.7 Задача с закрепленной границей

Занятия 11,12 (21.02):

1.8 Задача со свободной границей

1.9 Задача с подвижной границей, условие трансверсальности

1.10 Задача на условный экстремум

Занятия 13,14 (28.02):

1.11 Уравнения Гамильтона

1.12 Теорема Нётер и законы сохранения

1.13 Уравнение Гамильтона - Якоби

Литература:

1. Гельфанд И.М., Фомин С.В. - Вариационное исчисление. М.: Физматлит, 1961

2. Смирнов В.И. - Курс высшей математики. Том 4 часть 1. М.: Наука, 1974. Глава 2

3. Ландау Л.Д., Лифшиц Е.М. - Курс теоретической физики. Том 1. Механика.

4. Дубровин Б.А., Новиков С.П., Фоменко А.Т. - Современная геометрия. М.: URSS, 2013. Том 1. Главы 5, 6

2. Дифференциальная геометрия

[ Задачи]

Занятия 15,16 (07.03):

2.1 Понятие кривой. Примеры кривых

2.2 Кривизны, сопровождающий базис и уравнения Френе

Занятия 17,18 (14.03):

2.3 Понятие поверхности. Примеры поверхностей

2.4 Первая квадратичная форма. Изометричность

Занятия 19,20 (04.04):

2.5 Вторая квадратичная форма. Главные кривизны

2.6 Средняя кривизна и полная кривизна. Сферическое отображение

Занятия 21,22 (11.04):

2.7 Деривационные формулы Гаусса - Вейнгартена. Символы Кристоффеля

2.8 Уравнения Гаусса и Петерсона - Кодацци

Занятие 23,24 (18.04):

2.9 Ковариантная производная, параллельный перенос и геодезические линии

Литература:

1. Шилов Г.Е. - Математический анализ. Функции одного переменного. Часть 3. М.: 1970. Глава 16

2. Шилов Г.Е. - Математический анализ. Функции нескольких вещественных переменных. Части 1-2. М.: 1972. Глава 5.

3. Дубровин Б.А., Новиков С.П., Фоменко А.Т. - Современная геометрия. М.: URSS, 2013. Том 1. Главы 1, 2

4. Алексеевский Д.В., Виноградов А.М., Лычагин В.В. - Основные идеи и понятия дифференциальной геометрии // Итоги науки и техн. Соврем. пробл. мат. Фундам. направления, том 28, Геометрия-1. М.: ВИНИТИ, 1988. Главы 1,2

5. Савелов А.А. - Плоские кривые. М.: ЛИБРОКОМ, 2014

6. Кривошапко С.Н., Иванов В.Н., Халаби С.М. - Аналитические поверхности. М.: Наука, 2006

3. Задача Коши для УрЧП

[ Задачи]

Занятие 25,26 (25.04):

3.1 Система уравнений в дифференциалах и сопряженная система УрЧП

3.2 Теорема Фробениуса и сведение к ОДУ

Занятия 27,28 (16.05):

3.3 Линейное однородное УрЧП I-го порядка и характеристики

3.4 Нелинейное УрЧП I-го порядка и характеристические полосы

Занятия 29,30 (23.05):

3.5 Уравнения и системы уравнений класса Ковалевской. Сведение к системе I-го порядка

3.6 Задача Коши для системы уравнений класса Ковалевской. Теорема Коши - Ковалевской

Занятия 31,32 (30.05):

3.7 Линейные системы класса Ковалевской

3.8 Метод Римана. Характеристики и римановы инварианты

Занятия 33,34 (06.06):

3.9 Метод Фурье. Разделение переменных и исследование устойчивости

Литература:

1. Хартман Ф. - Обыкновенные дифференциальные уравнения. М.: Мир, 1970. Глава 6

2. Курант Р. - Уравнения с частными производными. М.: Мир, 1964. Глава 1 §7, глава 2

3. Егоров Ю.В., Шубин М.А. - Линейные дифференциальные уравнения с частными производными. Основы классической теории // Итоги науки и техн. Сер. Соврем. пробл. мат. Фундам. направления, т.30, Дифференциальные уравнения с частными производными – 1, М.: ВИНИТИ, 1988, Глава 1

4. Рашевский П.К. - Геометрическая теория уравнений с частными производными. М.: УРСС, 2012

5. Фиников С.П. - Метод внешних форм Картана. М.-Л.: ОГИЗ, 1948.

Занятия

Занятия проводятся в смешанном формате, без разделения материала на теорию / практику. Теоретический материал сопровождается практическим решением задач как аналитически (вручную или в системе компьютерной алгебры), так и численно (например, в питоне).

Записи занятий выкладываются в [ плейлист]

Формы контроля

По каждой теме (кроме Введения) выдается домашнее задание, выполнение которого оценивается.

Текущие оценки за домашние работы выставляются в [ гугл-таблицу]. Все домашние работы учитываются с одинаковым весом и складываются в среднюю оценку (Д).

В конце семестра предусмотрен экзамен (Э), имеющий формат большой контрольной работы по всему материалу курса.

Итоговая оценка = 0.7 Д + 0.3 Э