Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Производная по направлению и градиент. Выпуклые функции

Производной функции F (X) = F (x 1, x 2, …, xn) по направлению l в точке Х называется предел

.

Направление l обычно задается вектором l = (l 1, l 2, …, ln).

Если функция F дифференцируема в точке X, то она имеет в этой точке производную по любому направлению l, которая выражается через частные производные по формуле

, (11.1)

где | l | — длина вектора l, т.е. .

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

Градиентом Ñ F функции F (X) = F (x 1, x 2, …, xn) называется вектор, проекциями которого на координатные оси служат соответствующие частные производные, т.е.

.

Можно показать, что достигается тогда, когда направление l совпадает с направлением Ñ F. По формуле (11.1) производная функции F по направлению градиента Ñ F равна

.

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

Ñ 11. 1. Найти наибольшую скорость возрастания функции F = x 1 x 2 x 3 + 2 x 3 в точке A (0; 1; 2) и определить характер изменения этой функции в точке A в направлении l = (1; -2; 2).

Решение. Так как , , , то и Ñ F | A = (2; 0; 2). Таким образом, наибольшая скорость возрастания функции в точке A равна . Далее и . Так как , функция F в точке А в направлении l возрастает. Ñ

Напомним (см. разд. 2.2), что множество точек называется выпуклым, если оно вместе с любыми своими двумя точками содержит и весь отрезок, соединяющий эти точки. Если [ a, b ] отрезок на числовой прямой и x Î [ a, b ], то, как показано в разд. 3.1, x = a а + (1 - a) b, 0 £ a £ 1 или

х = a1 a + a2 b, a1 + a2 = 1, a1³ 0, a2 ³ 0. (11. 2)

Нетрудно видеть и обратное: если выполняется (11.2), то x Î [ a, b ]. Таким образом, отрезок [ a, b ] можно определить как множество всех точек x, удовлетворяющих условию (11.2). Тогда выпуклое множество — это множество, которое вместе с любой парой своих точек a, b содержит и все точки x, для которых выполняется (11.2). Эти определения отрезка и выпуклого множества сохраняются для случая, когда а, b, x — точки n -мерного пространства (где операции в равенстве (11.2) выполняются покоординатно).

Исходя из равенства (11.2), по индукции можно показать, что если М — выпуклое пространство, то для любых точек X 1, …, Xr Î M и любых действительных чисел ti ³ 0, удовлетворяющих условию .

Функция F (X) = F (x 1, …, xn), определенная на выпуклом множестве М n-мерного пространства, называется выпуклой на этом множестве, если

F (a X 1 + (1 - a) X 2)£a F (X 1) + (1 - a) F (X 2) (11. 3)

для любых точек Х 1, Х 2Î М и любого числа a Î [0; 1].

Если в условии (11.2) изменить знак неравенства £ на ³, то получим определение вогнутой функции. Если же в условии (11.3) неравенство выполняется как строгое, то функция называется строго выпуклой (или строго вогнутой).

На рис. 11.1 изображен график функции одной переменной, выпуклой на всей числовой прямой.

Для любой пары X 1, X 2 значений аргумента произвольную точку Х Î [ X 1, X 2](см. (11.2)) можно задать в виде Х = a X 1 + (1 - a) Х 2. Как видно из рис. 11.1, неравенство (11.3) означает, что отрезок, соединяющий точки (X 1; F (X 1)) и (X 2; F (X 2)) расположен не ниже графика функции на этом участке (для строго выпуклой функции этот отрезок лежит выше графика). Таким образом, выпуклость или вогнутость функции одной переменной сразу же видна по ее графику.

Ñ 11. 2. Установить выпуклость (вогнутость) функций, приведенных на рис. 11.2.

Рис. 11. 2

Решение. Функции у = х 2 и у = eх являются всюду строго выпуклыми, а у = lп х строго вогнута на интервале (0; ¥). Функция у = x (x - 3)2 не является ни выпуклой, ни вогнутой на всей числовой прямой, но точка x = 1 разбивает ее на два участка: слева от этой точки она вогнута, справа — выпукла (рис. 11.2). Ñ

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

Алгебраические и аналитические свойства выпуклых функций:

1. Если функция F (X) выпукла, то функция -F (X) вогнута.

2. Функция F (X) = С и линейная функция F (X) = aХ + b являются всюду выпуклыми и всюду вогнутыми.

3. Если функции Fi (X), i = 1, …, m, выпуклы, то при любых действительных числах a i ³ 0 функция также является выпуклой.

4. Если функция F (Х) выпукла, то для любого числа a область решений неравенства F (X) < a является либо выпуклым множеством, либо пустым.

Отметим следствия свойства 4 и теоремы о пересечении выпуклых множеств.

5. Если функции j i (X) выпуклые при всех неотрицательных значениях переменных, то область решений системы неравенств j i (Х) £ b, i = 1, …, m является выпуклым множеством (если она не пуста).

6. Выпуклая (вогнутая) функция, определенная на выпуклом множестве М, непрерывна в каждой внутренней точке этого множества.

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

8. Дважды дифференцируемая функция F (X) = F (x 1, …, xn) является выпуклой в том и только в том случае, когда

(11.4)

для любых Х Î М и D xi, D xj, не обращающихся в нуль одно временно.

Чтобы использовать это условие для определения выпуклости конкретной функции, часто бывает полезен критерий Сильвестра: условие (11.4) выполняется тогда и только тогда, когда неотрицательны все главные миноры D k матрицы вторых частных производных, т.е. определители

(11.5)

Если все D k > 0, то неравенство (11.4) выполняется как строгое, и тогда функция F является строго выпуклой.

Ñ 11. 3. Показать, что следующие функции являются выпуклыми:

а) ;

б) .

Решение. а) Находим частные производные: , , , , . Матрица вторых частных производных имеет вид . Ее главные миноры D1 = | 4 | = 4 > 0, D2 = | А | = 7 > 0. Значит, на основании свойства 8, функция F является строго выпуклой при всех X.

б) Здесь , , , , . Матрица вторых частных производных имеет вид:

; , .

Таким образом, G является выпуклой, но не строго выпуклой функцией при x 1 > 0, x 2 > 0. Ñ

<== предыдущая лекция | следующая лекция ==>
Лекция 4. 1.4.7. Схема замещения резистора | Приближенное решение задач выпуклого программирования методом кусочно-линейной аппроксимации
Поделиться с друзьями:


Дата добавления: 2014-01-13; Просмотров: 1524; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.009 сек.