Введение
1Формулировка математической модели
1.1Обзор литературы
1.2Формулировка математической модели в общем виде на примере
планарного световода
1.3Математическая модель прямой задачи Штурма-Лиувилля
1.4Математическая модель обратной задачи Штурма-Лиувилля
2Реализация алгоритма решения обратной задачи Штурма-Лиувилля
2.1Методы исследования
2.2Аппроксимация исходной функции
2.3Реализация прямой задачи Штурма-Лиувилля на интервале
2.4Реализация обратной задачи Штурма-Лиувилля на интервале
2.5Численные эксперименты с готовым кодом
Заключение
Список используемой литературы
Приложение А Планарные волноводы
Приложение Б Код программы
Цель выпускной квалификационной работы (ВКР) реализовать градиентный метод решения обратной задачи Штурма-Лиувилля на интервале и провести исследование с готовой программой. Для достижения цели ВКР необходимо выполнить следующие задачи:
-выбрать инструменты и технологии для программной реализации цели бакалаврской работы;
-реализовать решение прямой задачи Штурма-Лиувилля методом стрельбы для получения спектральных данных;
-реализовать градиентный метод решения обратной задачи Штурма-Лиувилля на интервале;
-провести тестирование программного продукта, решающего прямую и обратную задачу прямой Штурма-Лиувилля;
-провести численные эксперименты с готовой программой.
Объектом исследования выпускной квалификационной работы является обратная задача Штурма-Лиувилля.
Предметом исследования выпускной квалификационной работы является градиентный метод решение обратной задачи Штурма-Лиувилля на интервале.
Для понимания сути ВКР определим используемые понятия: обратные и некорректные задачи, градиентные методы, планарные волноводы, уравнение Шредингера.
Конкретного определения обратной задачи нету, это зависти от решаемой задачи. Прежде чем дать определение обратной задачи, нужно дать определение прямой задачи. Прямая задача - это нахождение следствий, обратная задача противоположна прямой задаче - это нахождение причин. В обратной задаче известны параметры, которые получились после решение прямой задачи. Решение обратной задачи — это нахождение того, что в прямой задаче известно и входит в условие прямой задачи. Чаще всего это нахождение параметров модели при известных данных, которые получились в ходе эксперимента или наблюдений. Обратные задачи можно классифицировать: по искомой функции, по дополнительной информации, по уравнениям.
Задача называется корректной или корректно поставленной по Адамару если выполняются следующие условия: существования, единственности, устойчивости решения. Если хотя бы одно из трех условий не выполняется, то задача называется некорректной или некорректно поставленной [7]. Соответственно некорректной задачей называется задача, которая либо не имеет решения, либо имеет много решений, минимум два решения, либо решение неустойчиво, то есть при маленьком изменении входных параметров решение может сильно отличаться от точного решения.
Рассмотрим градиентные методы решения обратных и некорректных задач. Дано уравнение обратной задачи (1), записанной в операторном виде:
Aq = f, (1)
где A: Q ^ F - оператор уравнения, дифференцируемый по Фреше;
Q и F - гильбертовы пространства.
В градиентном методе последовательно минимизируется функционал J(q) = 1 ||Aq — f||2 ^ min. Для решения обратной задачи Штурма-Лиувилля в качестве функционала берется невязка, описывающая разницу между спектральными данными. Градиентный метод строит последовательность q0,qi, ...,qn в которой следующее значение - это приближение искомого значения [14]. Последовательность строится по формуле qn+1 = qn — а • J'qn, где а - параметр, определяющий скорость градиентного спуска, J'qn - градиент невязки. Элемент J'qn указывает направление наискорейшего убывания функционала. Таким образом с помощью градиента невязки
последовательно минимизируется невязка. Последний элемент qn - приближение искомого значения с заданной точность. Для сходимости градиентного метода необходимо ограничить функцию q.
Обратная задача Штурма-Лиувилля является задачей спектрального анализа, обратная классическим задачам о собственных значениях дифференциальных операторов. В классических задачах известен дифференциальный оператор и требуется найти спектральные характеристики(спектр) [20]. В спектральные характеристики могут входить: собственные числа, собственные функции и нормировочные коэффициенты. В обратной задаче Штурма-Лиувилля требуется найти дифференциальный оператор по его спектральным характеристикам. Пусть задано классическое уравнение Штурма-Лиувилля (2). Прямая задача состоит в нахождении нетривиальных решений уравнения на отрезке [a; b], с граничными
условиями (3).
-y" + q(x)y = Ay, xe[0;n],
У1У'(а) + Р1У(а) = 0, Y2 + в2 * 0 <У2У'(Ь) + Р2У(Ь) = 0, y2 + в2 * 0, где q(x) - потенциал;
Y, в - произвольные вещественные числа.
В результате решения этой задачи появляется набор из собственных чисел, собственных функций и нормировочных коэффициентов. Обратная задача Штурма-Лиувилля заключается в восстановлении потенциала q(x), имея данные рассеяния.
Теория обратных задач спектрального анализа активно развивается и имеет множество приложений. Такие задачи имеют приложения в таких сферах как физика, электроника, геофизика, метеорология и в других естественных науках. В квантовой механике уравнение Штурма-Лиувилля называется стационарным уравнением Шредингера [8]. Стационарное уравнение Шредингера записывается следующим образом:
2^У + (Е - u(x)W(x) = о, (4)
где x - декартовая координата частицы;
^ - волновая функция;
u(x) - потенциальная энергия частицы;
Е - энергия частицы.
Решая уравнение (4) находят состояние частицы на различных уровнях энергии. Обратная задача состоит в отыскании потенциала u(x) при известной энергии частицы и волновой функции ^ [19]. В волноводной оптике распространение света может быть описано уравнением Гельмгольца (см. приложение А), которое можно свести к уравнению Штурма-Лиувилля. Решение прямой задачи - это волновые моды, которые образуются при определенном показателе преломления волноводного слоя. Обратная задача состоит в отыскании такого показателя преломления, который приводил бы к заданному набору волновых мод.
В результате выполнения выпускной квалификационной работы были проделаны все шаги для реализации и исследования градиентного метода решения обратной задачи Штурма-Лиувилля на интервале.
-подобраны инструменты и технологии для разработки программы;
-описан и запрограммирован алгоритм для решения прямой задачи Штурма-Лиувилля методом стрельбы;
-описан и запрограммирован градиентный метод решения обратной задачи Штурма-Лиувилля;
-проведены численные эксперименты с готовой программой.
В первом разделе сформулирована математическая модель задачи Штурма-Лиувилля. В подразделе 1.1 приведена вся необходимая литература для понимания ВКР. В подразделе 1.2 описан планарный волновод, показана схема распространения волн в волноводе и сформулирована математическая модель в общем виде на примере планарного волновода. В подразделе 1.3 сформулирована математическая модель прямой задачи, описан алгоритм аппроксимации исходной функции и описан алгоритм решения прямой задачи методом стрельбы. В подразделе 1.4 сформулирована математическая модель обратной задачи и описан алгоритм решения обратной задачи с помощью градиентного метода. Во втором разделе реализован алгоритм решения обратной задачи Штурма-Лиувилля. В подразделе 2.1 описаны используемые библиотеки для реализации программы на языке Python. В подразделе 2.2 описана реализация алгоритма аппроксимации исходной функции. В подразделе 2.3 реализован алгоритм метода стрельбы. В подразделе 2.4 реализован алгоритм градиентного метода для решения обратной задачи Штурма-Лиувилля на интервале. В подразделе 2.5 проведены численные эксперименты с готовым кодом.
1.Алифанов О. М., Артюхин Е. А. Экстремальные методы решения некорректных задач и их приложения к обратным задачам теплообмена. - " Наука," Глав. ред. физико-математической лит-ры, 1988. - 286 с.
2.Бакушинский, А. Б. К распространению принципа невязки. - Журнал вычислительной математики и математической физики, 10(1), 210213.
3.Григорьев Л.В. Кремниевая фотоника. Учебно-методическое пособие по практическим работам. - СПб: Университет ИТМО, 2015. - 69 с
4.Егоров А.А. Обратная задача рассеяния лазерного излучения в интегрально-оптическом волноводе с двумерными нерегулярностями при наличии шума. - Сборник научных трудов МНТОРЭС им. А.С. Попова «Интегральная оптика и волноводная оптоэлектроника», 2015. - 30 с.
5.Емелин И. В., Красносельский М. А. Правило останова в итерационных процедурах решения некорректных задач //Автоматика и телемеханика. - 1978. - №. 12. - С. 59-63.
6.Зеленовский П. С. Основы интегральной и волоконной оптики: учебное пособие. Учебное пособие. — Екатеринбург.: Издательство Уральского университета, 2019 - 136 с.
7.Кабанихин С. И. Обратные и некорректные задачи. Учебник для студентов высших учебных заведений. - Новосибирск: Сибирское научное издательство, 2009. - 457 с.
8.Кабанов С. Н. и др. Метод обратной задачи в теории нелинейных волн. Учебное пособие. - Саратовский государственный университет, 2013. - 115 с.
9.Карчевский М. М. Лекции по уравнениям математической физики. Учебное пособие. — 2-е изд., испр. — СПб.: Издательство «Лань», 2016. — 164 с.
10.Левитан Б. М. Обратные задачи Штурма-Лиувилля. - Наука, Главная редакция физико-математической литературы, 1984. - 240 с.
11.Марченко В. А. Операторы Штурма-Лиувилля и их приложения. - Наук. думка, 1975. - 330 с.
12.Морозов В.А. О регуляризирующих семействах операторов. - Изд-во Моск. ун-та Москва, 1967. - 93 с.
13.Никоноров Н. В., Шандаров С. М. Волноводная фотоника. Учебное пособие. — Санкт Петербург, ИТМО, 2008. - 142 с.
14.Поляк Б. Т. Градиентные методы минимизации функционалов //Журнал вычислительной математики и математической физики. - 1963. - Т. 3. - №. 4. - С. 643-653.
15.Самарский А. А., Вабищевич П. Н. Численные методы решения обратных задач математической физики. - Издательство ЛКИ, 2009. - 480 с...