Экстремумы функции (стр. 3 из 4)

Исследуем на экстремум:

— максимум в т.М(1,5; 1,5).

Функция

имеет условный экстремум

= 4-2 · 2,25 + 6 · 1,5 = 13 - 4,5 = 8,5. 2. Составим

линейная система уравнений.

Используя метод Крамера, получим:

и

— т. условного максимума

Для функции

при наличии m уравнений связи функция Лагранжа будет иметь вид

Необходимые условия условного экстремума выражаются системой (n + m) уравнений:

Правило исключения интервалов

Пусть функция f унимодальна на интервале a£x£b, а ее минимум достигается в точке x*.

Рассмотрим точки x₁ и x₂, расположенные в интервале таким образом, что a<x₁<x₂<b. Сравнивая значения функции в точках x₁ и x₂, можно сделать следующие выводы:

Если f(x₁)>f(x₂), то точка минимума f(x) не лежит в интервале (a,x₁), т.е. x*Î(x₁,b)

2. Если f(x₁)<f(x₂), то точка минимума не лежит в интервале (x₂,b), т.е. x*Î(a,x₂)

3. Если f(x₁)=f(x₂), то можно исключить оба крайних интервала (a,x₁) и (x₂,b), при этом x*Î(x₁,x₂).

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

Поиск завершается, когда оставшийся интервал уменьшается до достаточно малых размеров.

Достоинства этих методов:

устраняется необходимость полного перебора всех допустимых точек.

методы основаны лишь на вычислении значений функции.

(при этом не требуется, чтобы исследуемые функции были дифференцируемы).

Метод золотого сечения

В методе же золотого сечения мы будем выбирать расположение точек х₁ и х₂, рассекающих интервал, таким образом, чтобы на каждом шаге уменьшения интервала одна из этих точек совпадала с одной из аналогичных точек предыдущего шага, т.е. на каждом шагу уменьшения интервала фактически вводится только одна новая точка, для которой требуется произвести только одно вычисление значения целевой функции.

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

Точки х₁ и х₂ расположены симметрично относительно середины интервала (a, b).

b-x₁ x₂-a -1+

= = » 0.618

b-a b-a 2 .

Такое рассечение интервала и получило название золотого сечения.

Введем обозначения:

D¹ = b-a – исходный интервал.

D² – интервал, полученный после уменьшения интервала D¹ отбрасыванием его левого или правого подинтервала.

D^К+1 – интервал, полученный после уменьшения интервала D^К.

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

Золотое сечение отрезка [a, b] производится двумя симметрично расположенными точками (х₁ и х₂).

Т.е. (b-a)/(b-x₁)=(b-x₁)/(x₁-a)=g и (b-a)/(x₂-a)=(x₂-a)/(b-x₂)=g.

Можно показать, что g = (1+Ö5)/2»1.618.

Примечательно то, что точка х₁ в свою очередь производит золотое сечение отрезка [a, x₂], т.е. (x₂-a)/(x₁-a) = (x₁-a)/(x₂-x₁) = g.

Аналогично, точка х₂ производит золотое сечение отрезка [x₁, b].

Итак, метод золотого сечения состоит в том, что длины последовательных интервалов берутся в фиксированном отношении:

D¹/D² = D²/D³ = … =g.

Из соотношений D^К/D^K+1 = D^K+1/D^K+2 = g и D^K = D^K+1 + D^K+2

Получаем: D^K/D^K+1 = (D^K+1+D^K+2)/D^K+1=1+D^K+2/D^K+1

g = 1 + 1/g или g² - g -1 = 0.

Корнем этого уравнения является золотое сечение.

g=(Ö5+1)/2 » 1.618

t = 1/g = (Ö5-1)/2 » 0.618.

Можно записать формулы для точек х₁ и х₂, производящих золотое сечение на интервале [a, b]:

x₁ = a+(1-t)(b-a) x₂ = a+t(b-a)

Алгоритм метода золотого сечения.

Ввести a, b, e-точность вычисления, t=(Ö5-1)/2

Вычислить:

x₁ =b – (b-a)t; x₂ =a + (b-a)t

Вычислить: y₁ = f(x₁); y₂ = f(x₂)

если y₁£y₂, то для дальнейшего деления оставляют интервал [a, x₂]

и выполняют следующее:

b: = x₂; x₂: = x₁; y₂: = y₁; x₁ := b-(b-a)t y₁ := f(x₁)

в противном случае (если y₁ > y₂), для дальнейшего деления оставляют интервал [x₁, b] и выполняют следующее:

a := x₁; x₁ := x₂; y₁ := y₂; x₂ := a+(b-a)t; y₂ :=f(x₂);

Сравнение длины интервала неопределенности с заданной точностью e:

Если (b-a)£e, то положить x* := (b-a)/2 (точка минимума), иначе (если (b-a)<e) перейти к п.4.

Максимум и минимум функции нескольких переменных

Напомним, что под окрестностью точки плоскости понимается внутренность любого прямоугольника, окружающего эту точку, исключая саму точку (проколотая окрестность).

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

Определение 15.1. Максимумом (строгим) функции f (x, y) называется такое значение f(x₁, y₁) этой функции, которое больше всех ее значений f(x, y), принимаемых данной функцией в точках некоторой окрестности точки О(х₁, у₁). (Окрестность может быть весьма малой по своим линейным размерам).

Определение 15.2. Минимумом (строгим) функции f (x, y) называется такое значение f (x₂,y₂), которое меньше всех ее значений f (x,y), принимаемых данной функцией в точках некоторой окрестности О (х₂, у₂).

Максимум или минимум функции f (x, y) называется экстремумом этой функции. Точка, в которой достигается экстремум, называется точкой экстремума (точка минимума, точка максимума).

Аналогично определяется экстремум функции f (x, y, z) и т.д.

Теорема 15.1. (Необходимый признак экстремума функции нескольких переменных). В точке экстремума функции нескольких переменных каждая ее частная производная первого порядка либо равна нулю, либо не существует.

Доказательство. Пусть u = f (x, y) и f (x_o, y_o) - ее максимум (для минимума рассуждения аналогичны). Зафиксируем одну из переменных, например, у, полагая у = у_о, тогда получим функцию одной переменной U₁ = f (x, y_o), которая, очевидно, будет иметь максимум при х = х_о. Отсюда, на основании теории экстремума одной переменной, получаем, что

или

не существует.

Пусть теперь у=у_о, а х_о- фиксируем, тогда

или не существует.

Следствие В точке экстремума М_о (х_о, у_о) дифференцируемой функции f (x, y) выполнены равенства

Для U = f(x, y, z) в точке М_о (х_{о ,}у_о, z_о) будет выполнено условие

.

Замечание. Точку, в которой частные производные первого порядка либо не существуют, либо равны нулю, называют критической.

Т.е. экстремумы функции нескольких переменных могут достигаться лишь в критических точках.

Пример 15.1. Покажем, что указанные выше условия не являются достаточными. Пусть z = f(x, y) = x × y тогда имеем