Классификация численных методов

Численные методы условно разбиваются на следующие классы:

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

2) методы первого порядка (требуют использования производных первого порядка);

3) методы второго порядка (требуют использования производных второго и более высокого порядков).

Алгоритмы численных методов решения задач математического программирования

Рассмотрим несколько классических численных методов решения задач математического программирования (ЗМП) без ограничений

Классификация численных методов - student2.ru .[3] (5.1)

Идеи, лежащие в основе этих методов, могут быть использованы для построения аналогичных методов решения ЗМП с ограничениями.

5.3.1. Метод наискорейшего спуска (подъема)

Метод предназначен для решения задачи (5.1) и принадлежит классу методов первого порядка. Метод основан на том факте, что градиент Классификация численных методов - student2.ru целевой функции указывает направление ее максимального возрастания.

Описание алгоритма

Шаг 0. Выбирается точка начального приближения Классификация численных методов - student2.ru , параметр длины шага Классификация численных методов - student2.ru , параметр дробления шага Классификация численных методов - student2.ru и точность решения Классификация численных методов - student2.ru .

Шаг k. На k-м шаге пересчет приближений производится по формулам

Классификация численных методов - student2.ru (5.2)

Если при этом происходит «переход» через точку экстремума, то есть оказываются справедливыми неравенства

Классификация численных методов - student2.ru

то длина шага уменьшается в m раз.

Критерием останова алгоритма является неравенство

Классификация численных методов - student2.ru . (5.3)

Алгоритм завершает свою работу, как только выполнится (5.3). В качестве решения исходной задачи берется последнее полученное приближение Классификация численных методов - student2.ru .

На рис. 5.1 показана схема реализации метода наискорейшего спуска при поиске минимума выпуклой функции одной переменной.

Классификация численных методов - student2.ru

Рис. 5.1

Метод сопряженных градиентов

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

Описание алгоритма

Шаг 0. Выбирается точка начального приближения Классификация численных методов - student2.ru , параметр длины шага Классификация численных методов - student2.ru , точность решения Классификация численных методов - student2.ru и вычисляется начальное направление поиска Классификация численных методов - student2.ru .

Шаг k. На k-м шаге находится минимум (максимум) целевой функции Классификация численных методов - student2.ru на прямой, проведенной из точки Классификация численных методов - student2.ru по направлению Классификация численных методов - student2.ru . Найденная точка минимума (максимума) определяет очередное k-е приближение Классификация численных методов - student2.ru , после чего определяется направление поиска

Классификация численных методов - student2.ru . (5.4)

Формула (5.4) может быть переписана в эквивалентном виде

Классификация численных методов - student2.ru .

Алгоритм завершает свою работу, как только выполнится условие Классификация численных методов - student2.ru ; в качестве решения принимается значение последнего полученного приближения Классификация численных методов - student2.ru .

Метод Ньютона

Метод предназначен для решения задачи (5.1) и принадлежит классу методов второго порядка. В основе метода лежит разложение Тейлора целевой функции Классификация численных методов - student2.ru и то, что в точке экстремума Классификация численных методов - student2.ru градиент функции равен нулю, то есть Классификация численных методов - student2.ru .

Действительно, пусть некоторая точка Классификация численных методов - student2.ru лежит достаточно близко к точке искомого экстремума Классификация численных методов - student2.ru . Рассмотрим i-ю компоненту градиента целевой функции и разложим ее в точке Классификация численных методов - student2.ru по формуле Тейлора с точностью до производных первого порядка:

Классификация численных методов - student2.ru . (5.5)

Формулу (5.5) перепишем в матричной форме, учитывая при этом, что Классификация численных методов - student2.ru :

Классификация численных методов - student2.ru , (5.6)

где Классификация численных методов - student2.ru матрица Гессе целевой функции в точке Классификация численных методов - student2.ru .

Предположим, что матрица Гессе Классификация численных методов - student2.ru невырождена. Тогда она имеет обратную матрицу Классификация численных методов - student2.ru . Умножая обе части уравнения (5.6) на Классификация численных методов - student2.ru слева, получим Классификация численных методов - student2.ru , откуда

Классификация численных методов - student2.ru . (5.7)

Формула (5.7) определяет алгоритм метода Ньютона: пересчет приближений на k-й итерации выполняется в соответствии с формулой

Классификация численных методов - student2.ru . (5.8)

Алгоритм заканчивает свою работу, как только выполнится условие

Классификация численных методов - student2.ru ,

где Классификация численных методов - student2.ru заданная точность решения; в качестве решения принимается значение последнего полученного приближения Классификация численных методов - student2.ru .

Метод Ньютона-Рафсона

Метод является методом первого порядка и предназначен для решения систем n нелинейных уравнений c n неизвестными:

Классификация численных методов - student2.ru Классификация численных методов - student2.ru (5.9)

В частности, этот метод может быть применен при поиске стационарных точек целевой функции задачи (5.1), когда необходимо решить систему уравнений из условия Классификация численных методов - student2.ru .

Пусть точка Классификация численных методов - student2.ru есть решение системы (5.9), а точка Классификация численных методов - student2.ru расположена вблизи Классификация численных методов - student2.ru . Разлагая функцию Классификация численных методов - student2.ru в точке Классификация численных методов - student2.ru по формуле Тейлора, имеем

Классификация численных методов - student2.ru , (5.10)

откуда (по условию Классификация численных методов - student2.ru ) вытекает

Классификация численных методов - student2.ru , (5.11)

где Классификация численных методов - student2.ru матрица Якоби вектор-функции Классификация численных методов - student2.ru . Предположим, что матрица Якоби Классификация численных методов - student2.ru невырождена. Тогда она имеет обратную матрицу Классификация численных методов - student2.ru . Умножая обе части уравнения (5.11) на Классификация численных методов - student2.ru слева, получим Классификация численных методов - student2.ru, откуда

Классификация численных методов - student2.ru . (5.12)

Формула (5.12) определяет алгоритм метода Ньютона-Рафсона: пересчет приближений на k-й итерации выполняется в соответствии с формулой

Классификация численных методов - student2.ru . (5.13)

В случае одной переменной, когда система (5.9) вырождается в единственное уравнение Классификация численных методов - student2.ru , формула (5.13) принимает вид

Классификация численных методов - student2.ru , (5.14)

где Классификация численных методов - student2.ru значение производной функции Классификация численных методов - student2.ru в точке Классификация численных методов - student2.ru .

На рис. 5.2 показана схема реализации метода Ньютона-Рафсона при поиске решения уравнения Классификация численных методов - student2.ru .

Классификация численных методов - student2.ru

Рис. 5.2

Замечание 5.1. Сходимость численных методов, как правило, сильно зависит от начального приближения.

Замечание 5.2. Методы Ньютона и Ньютона-Рафсона требуют большого объема вычислений (надо на каждом шаге вычислять и обращать матрицы Гессе и Якоби).

Замечание 5.3. При использовании методов обязательно следует учитывать возможность наличия многих экстремумов у целевой функции (свойство мультимодальности).

ЛИТЕРАТУРА

1. Афанасьев М.Ю., Суворов Б.П. Исследование операций в экономике: Учебное пособие. – М.: Экономический факультет МГУ, ТЕИС, 2003 – 312 с.

2. Базара М, Шетти К. Нелинейное программирование. Теория и алгоритмы: Пер. с англ. – М.: Мир, 1982 – 583 с.

3. Берман Г.Н. Сборник задач по курсу математического анализа: Учебное пособие для вузов. – СПб: «Специальная Литература», 1998. – 446 с.

4. Вагнер Г. Основы исследования операций: В 3-х томах. Пер. с англ. – М.: Мир, 1972. – 336 с.

5. Вентцель Е.С. Исследование операций. Задачи, принципы, методология – М.: Наука, 1988. – 208 с.

6. Демидович Б.П. Сборник задач и упражнений по математическому анализу. – М.: Наука, 1977. – 528 с.

7. Дегтярев Ю.И. Исследование операций. – М.: Высш. шк., 1986. – 320 с.

8. Нуреев Р.М. Сборник задач по микроэкономике. – М.: НОРМА, 2006. – 432 с.

9. Солодовников А.С., Бабайцев В.А., Браилов А.В. Математика в экономике: Учебник: В 2-х ч. – М.:Финансы и статистика, 1999. – 224 с.

10. Таха Х. Введение в исследование операций, 6-е изд.: Пер. с англ. – М.: Издательский дом «Вильямс», 2001. – 912 с.

11. Химмельблау Д. Прикладное нелинейное программирование: Пер. с англ. – М.: Мир, 1975 – 534 с.

12. Шикин Е.В., Шикина Г.Е. Исследование операций: Учебник – М.: ТК Велби, Изд-во Проспект, 2006. – 280 с.

13. Исследование операций в экономике: Учебн. пособие для вузов/ Н.Ш.Кремер, Б.А.Путко, И.М.Тришин, М.Н.Фридман; Под ред. проф. Н.Ш.Кремера. – М.: Банки и биржи, ЮНИТИ, 1997. – 407 с.

14. Матрицы и векторы: Учебн. пособие/ Рюмкин В.И. – Томск: ТГУ, 1999. – 40 с.

15. Системы линейных уравнений: Учебн. пособие / Рюмкин В.И. – Томск: ТГУ, 2000. – 45 с.

ОГЛАВЛЕНИЕ

ВВЕДЕНИЕ……………………………………...................................
1. ОСНОВЫ МАТЕМАТИЧЕСКОГО ПРОГРАММИРОВАНИЯ………………...
1.1. Постановка задачи математического программирования...............................
1.2. Разновидности ЗМП…………….…………..........................................
1.3. Базовые понятия математического программирования ................................
1.4. Производная по направлению. Градиент………….........................................
1.5. Касательные гиперплоскости и нормали…………..........................................
1.6. Разложение Тейлора……………………………...............................................
1.7. ЗНЛП и условия существования ее решения...................................................
1.8. Задачи ……………..……...................................................................................
2. РЕШЕНИЕ ЗАДАЧИ НЕЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ БЕЗ ОГРАНИЧЕНИЙ................................................................................................................  
2.1. Необходимые условия решения ЗНЛП без ограничений...............................
2.2. Достаточные условия решения ЗНЛП без ограничений.................................
2.3. Классический метод решения ЗНЛП без ограничений...................................
2.4. Задачи……………..............................................................................................
3. РЕШЕНИЕ ЗАДАЧИ НЕЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ ПРИ ОГРАНИЧЕНИЯХ-РАВЕНСТВАХ.................................................................................  
3.1. Метод множителей Лагранжа…………………………...................................
3.1.1. Назначение и обоснование метода множителей Лагранжа……………
3.1.2. Схема реализации метода множителей Лагранжа……………………...
3.1.3. Интерпретация множителей Лагранжа…………………………………
3.2. Метод подстановки…………………………….................................................
3.3. Задачи…………………………..........................................................................
4. РЕШЕНИЕ ЗАДАЧИ НЕЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ ПРИ ОГРАНИЧЕНИЯХ-НЕРАВЕНСТВАХ………………………………………………..  
4.1. Обобщенный метод множителей Лагранжа…………………………………
4.2. Условия Куна-Таккера…………………………..............................................
4.2.1. Необходимость условий Куна-Таккера…………………………………
4.2.2. Достаточность условий Куна-Таккера…………………………………..
4.2.3. Метод Куна-Таккера………………………...............................................
4.3. Задачи…………………………..........................................................................
5. ЧИСЛЕННЫЕ МЕТОДЫ РЕШЕНИЯ ЗАДАЧИ НЕЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ …………………………...……………………………………  
5.1. Понятие алгоритма…………………………....................................................
5.2. Классификация численных методов…………………………………………
5.3. Алгоритмы численных методов……………………………………………...
5.3.1. Метод наискорейшего спуска (подъема)…………………………………
5.3.2. Метод сопряженных градиентов………………………….........................
5.3.3. Метод Ньютона………………………….....................................................
5.3.4. Метод Ньютона-Рафсона………………………………………………...
ЛИТЕРАТУРА………………………………..............................................................

[1] Определения линейной и нелинейной функций см. в разделе 1.2

[2] Крейсерской скоростью называется скорость, при которой расход топлива на единицу пути минимален.

[3] Выражение (5.1) означает «найти максимум (и (или) минимум) функции ».

Наши рекомендации