Rambler's Top100
џ­¤ҐЄб жЁвЁа®ў ­Ёп

Функции нескольких переменных

см. Пример (функция нескольких переменных)

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

Многомерная задача безусловной оптимизации формулируется следующим образом:

f(x)-> min, xО Rn, Rn-n-мерное пространство (т.е. ограничения на х отсутствуют),

где x - вектор управляемых переменных размерностью n,

f- скалярная целевая функция.

 

Точка является точкой глобального минимума, если для всех xО Rn, выполняется неравенство:

Df = f(x)-(x)>= 0 (1).

Точку глобального минимума будем обозначать x**.

Если формула (1) справедлива лишь в некоторой d - окрестности точки , т.е. для всех х, таких, что ||x-||<d , при заданном d >0, то есть точка локального минимума.

Ее будем обозначать х*.

Норма (модуль, длина) вектора:

(x, x)=xT x - скалярное произведение х на себя;

xT = (x1, x2, ..., xn)

Если же выполняется:


D f = f(x) - f() <= 0, (2)


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

Исключение знака равенства из формул (1) и (2) позволяет определить точку строгого минимума или максимума.


В случае, когда D f принимает как положительные и отрицательные, так и нулевые значения в зависимости от выбора точек из d - окрестности, точка представляет собой седловую точку.

Точка , в которой находится минимум или максимум, или седловая точка, должна удовлетворять условию стационарности:

Приведем некоторые сведения из линейной алгебры.

Квадратичной формой называется функция n переменных вида:

Q будем считать симметрической матрицей.

Определения:

  1. матрица Q является положительно определенной тогда и только тогда, когда xTQx > 0 для всех х № 0.
  2. матрица Q является положительно полуопределенной тогда и только тогда, когда значения квадратичной формы xTQz >= 0, для всех х и существует вектор х № 0 такой, что xTQz = 0.
  3. матрица Q является отрицательно определенной тогда и только тогда, когда - Q есть положительно определенная матрица. Другими словами - тогда и только тогда, когда xTQx < 0 для всех х № 0.
  4. матрица Q является отрицательно полуопределенной тогда и только тогда, когда - Q есть положительно полуопределенная матрица.
  5. матрица Q является неопределенной, если квадратичная форма xTQx может принимать как положительные, так и отрицательные значения.

Справедливы следующие утверждения:

  1. Стационарная точка есть точка минимума, если Hf() = С2f() - положительно полуопределенная матрица. Hf(x) = С2f(x) = [d2f/(dxid xj)] - матрица Гессе (гессиан).
  2. Стационарная точка есть точка максимума, если Hf() = С2f() - отрицательно полуопределенная матрица.
  3. Стационарная точка есть седловая точка, если Hf() = С2f() - неопределенная матрица.

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

Необходимые условия:

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

С f(x*) = 0 (чтобы точка х* была стационарной)

и матрица Hf(x*) = С 2f(x*) была положительно полуопределенной. (неотрицательно определенной)

Hf(x) = С 2f(x) = [d2f/(dxid xj)] - матрица Гессе (гессиан).

Достаточные условия:

Если С f(x*) = 0 и матрица Hf(x*) = С 2f(x*) - положительно определена, то х* - точка изолированного (строгого) локального минимума функции f(x).

Примечание.

Если удастся показать, что xTС 2f(x) >= 0 для всех х, то f(x) является выпуклой функцией, а локальный минимум оказывается глобальным.

см. Пример (функция нескольких переменных)

Hosted by uCoz