Канонические уравнения прямой

Пусть М1(x1, y1, z1) – точка, лежащая на прямой l, и канонические уравнения прямой - student2.ru – её направляющий вектор. Вновь возьмём на прямой произвольную точку М(x,y,z) и рассмотрим вектор канонические уравнения прямой - student2.ru .

Ясно, что векторы канонические уравнения прямой - student2.ru и канонические уравнения прямой - student2.ru коллинеарные, поэтому их соответствующие координаты должны быть пропорциональны, следовательно,

канонические уравнения прямой - student2.ru – канонические уравнения прямой.

Замечание 1. Заметим, что канонические уравнения прямой можно было получить из параметрических,исключив параметр t. Действительно, из параметрических уравнений получаем канонические уравнения прямой - student2.ru или канонические уравнения прямой - student2.ru .

75. Общая постановка задачи оптимизации.

В процессе проектирования ставится обычно задача определения наилучших, в некотором смысле, структуры или значений параметров объектов. Такая задача называется оптимизационной. Если оптимизация связана с расчетом оптимальных значений параметров при заданной структуре объекта, то она называется параметрической оптимизацией. Задача выбора оптимальной структуры является структурной оптимизацией.

Стандартная математическая задача оптимизации формулируется таким образом. Среди элементов χ, образующих множества Χ, найти такой элемент χ* , который доставляет минимальное значение f(χ*) заданной функции f(χ). Для того, чтобы корректно поставить задачу оптимизации необходимо задать:

1. Допустимое множество — множество канонические уравнения прямой - student2.ru ;

2. Целевую функцию — отображение канонические уравнения прямой - student2.ru ;

3. Критерий поиска (max или min).

Тогда решить задачу канонические уравнения прямой - student2.ru означает одно из:

1. Показать, что канонические уравнения прямой - student2.ru .

2. Показать, что целевая функция канонические уравнения прямой - student2.ru не ограничена снизу.

3. Найти канонические уравнения прямой - student2.ru .

4. Если канонические уравнения прямой - student2.ru , то найти канонические уравнения прямой - student2.ru .

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

Если допустимое множество канонические уравнения прямой - student2.ru , то такая задача называется задачей безусловной оптимизации, в противном случае — задачей условной оптимизации.

76. Классическая задача на условный экстремум. Необходимое и достаточные условия условного экстремума.

Функция z=f(x,y) имеет в точке Р0 (x0,y0) максимум, если существует такая окрестность точки Р0, что для всех точек Р (x,y) этой окрестности, отличных от точки Р0, выполняется неравенство f(x0,y0)>f(x,y).

Соответственно, функция z=f(x,y) имеет в точке Р0 (x0,y0) минимум, если существует такая окрестность точки Р0, что для всех точек Р (x,y) этой окрестности, отличных от точки Р0, выполняется неравенство f(x0,y0)<f(x,y).

Необходимый признак существования экстремума:

Для нахождения экстремумов функции z =f (x,y) сначала нужно найти стационарные точки этой функции, в которых частные производные функции z =f (x,y) равны нулю. Для этого нужно решить систему уравнений:

канонические уравнения прямой - student2.ru (1)

Функция может иметь экстремум также в тех точках, где хотя бы одна из частных производных не существует.

Условие (1) является необходимым условием экстремума, но оно не является достаточным, т.е. в стационарной точке экстремума может и не быть.

Рассмотрим достаточное условие экстремума. Пусть точка M0 – стационарная точка функции z=f (x,y), которая имеет непрерывные частные производные второго порядка на некоторой окрестности точки M0,

канонические уравнения прямой - student2.ru

Если D>0, то экстремум в точке M0 есть, при этом M0 – точка минимума при A>0 и M0 – точка максимума при A<0. Если D<0, то экстремума в точке M0 нет.

При D=0 требуются дополнительные исследования функции в окрестности точки M0, мы не будем рассматривать этот случай.

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

Функция z=f(x,y) имеет в точке Р0 (x0,y0) условный максимум, если существует такая окрестность точки Р0, что для всех точек Р (x,y) этой окрестности, отличных от точки Р0, удовлетворяющих уравнению связи φ(x,y)=0, выполняется неравенство f(x0,y0)>f(x,y).

Соответственно, функция z=f(x,y) имеет в точке Р0 (x0,y0) условный минимум, если существует такая окрестность точки Р0, что для всех точек Р (x,y) этой окрестности, отличных от точки Р0, удовлетворяющих уравнению связи φ(x,y)=0 выполняется неравенство f(x0,y0)<f(x,y).

Задача нахождения условного экстремума сводится к исследованию на обычный экстремум функции Логранжа.

Координаты экстремальной точки должны удовлетворять 3 уравнениям:

канонические уравнения прямой - student2.ru

Из этой системы определяются критические точки и соответствующие значения λ.

Достаточным условием экстремума является знакопостоянство d2L(x,y,λ) в критической точке.

77. Метод множителей Лагранжа для решения классической задачи на условный экстремум.

Метод множителей Лагранжа, метод нахождения условного экстремума функции f(x), где канонические уравнения прямой - student2.ru , относительно m ограничений канонические уравнения прямой - student2.ru , i меняется от единицы до m. Описание метода

· Составим функцию Лагранжа в виде линейной комбинации функции f и функций канонические уравнения прямой - student2.ru , взятыми с коэффициентами, называемыми множителями Лагранжа — λi:

канонические уравнения прямой - student2.ru

где канонические уравнения прямой - student2.ru .

· Составим систему из n + m уравнений, приравняв к нулю частные производные функции Лагранжа канонические уравнения прямой - student2.ru по xj и λi.

· Если полученная система имеет решение относительно параметров x'j и λ'i, тогда точка x' может быть условным экстремумом, то есть решением исходной задачи. Заметим, что это условие носит необходимый, но не достаточный характер.

Обоснование

Нижеприведенное обоснование метода множителей Лагранжа не является его строгим доказательством. Оно содержит эвристические рассуждения, помогающие понять геометрический смысл метода.

Двумерный случай

канонические уравнения прямой - student2.ru

Линии уровня канонические уравнения прямой - student2.ru и кривая канонические уравнения прямой - student2.ru .

Пусть требуется найти экстремум некоторой функции двух переменных канонические уравнения прямой - student2.ru при условии, задаваемом уравнением канонические уравнения прямой - student2.ru . Мы будем считать, что все функции непрерывно дифференцируемы, и данное уравнение задает гладкую кривую S на плоскости канонические уравнения прямой - student2.ru . Тогда задача сводится к нахождению экстремума функции f на кривой S. Будем также считать, что S не проходит через точки, в которых градиент f обращается в 0.

Нарисуем на плоскости канонические уравнения прямой - student2.ru линии уровня функции f (то есть кривые канонические уравнения прямой - student2.ru ). Из геометрических соображений видно, что экстремумом функции f на кривой S могут быть только точки, в которых касательные к S и соответствующей линии уровня совпадают. Действительно, если кривая S пересекает линию уровня f в точке канонические уравнения прямой - student2.ru трансверсально (то есть под некоторым ненулевым углом), то двигаясь по кривой S из точки канонические уравнения прямой - student2.ru мы можем попасть как на линии уровня, соответствующие большему значению f, так и меньшему. Следовательно, такая точка не может быть точкой экстремума.

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

канонические уравнения прямой - student2.ru

где λ — некоторое число, отличное от нуля, и являющееся множителем Лагранжа.

Рассмотрим теперь функцию Лагранжа , зависящую от канонические уравнения прямой - student2.ru и λ:

канонические уравнения прямой - student2.ru

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

канонические уравнения прямой - student2.ru

Мы получили систему, первые два уравнения которой эквивалентны необходимому условию локального экстремума (1), а третье — уравнению канонические уравнения прямой - student2.ru . Из нее можно найти канонические уравнения прямой - student2.ru . При этом канонические уравнения прямой - student2.ru , поскольку в противном случае градиент функции f обращается в нуль в точке канонические уравнения прямой - student2.ru , что противоречит нашим предположениям. Следует заметить, что найденные таким образом точки канонические уравнения прямой - student2.ru могут и не являться искомыми точками условного экстремума — рассмотренное условие носит необходимый, но не достаточный характер. Нахождение условного экстремума с помощью вспомогательной функции L и составляет основу метода множителей Лагранжа, примененного здесь для простейшего случая двух переменных. Оказывается, вышеприведенные рассуждения обобщаются на случай произвольного числа переменных и уравнений, задающих условия.

78. Общая задача линейного программирования. Геометрическая интерпретация задачи.

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

Действительно, путь необходимо исследовать на экстремум линейную функцию Z = С 1 х 1 2 х 2 +… +С N x N

при линейных ограничениях

a 11 x 1 + a 22 x 2 + … + a 1N Х N = b 1

a 21 x 1 + a 22 x 2 + … + a 2N Х N = b 2

. . . . . . . . . . .

a М1 x 1 + a М2 x 2 + … + a МN Х N = b М

Так как Z – линейная функция, то = С j (j = 1, 2, …, n), то все коэффициенты линейной функции не могут быть равны нулю, следовательно, внутри области, образованной системой ограничений, экстремальные точки не существуют. Они могут быть на границе области, но исследовать точки границы невозможно, поскольку частные производные являются константами

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

1. Общая задача линейного программирования

1. Формулировка задачи.

Даны линейная функция

(1.1) Z = С 1 х 1 2 х 2 +… +С N x N

и система линейных ограничений

a 11 x 1 + a 22 x 2 + … + a 1N Х N = b 1

a 21 x 1 + a 22 x 2 + … + a 2N Х N = b 2

. . . . . . . . . . .

a i1 x 1 + a i2 x 2 + … + a iN Х N = b i (1.2)

. . . . . . . . . . .

a M1 x 1 + a M2 x 2 + … + a MN Х N = b M

(1.3) x j 0 (j = 1, 2, … ,n)

где а ij , Ь j и С j - заданные постоянные величины

Найти такие неотрицательные значения х 1 , х 2 , …, х n , которые удовлетворяют системе ограничений (1.2) и доставляют линейной функции (1.1)минимальное значение

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