Реферат: Экстремумы функций

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

С этой целью положим x₂ =x₂ ⁰ ,…,x_n = x_n ⁰ сохраняя x₁ переменным ; тогда у нас получится функция от одной переменной x₁ :

u=f(x₁ , x₂ ⁰ ,…,x_n ⁰ )

Так как мы предположили, что в точке (x₁ ⁰ ,x₂ ⁰ ,…,x_n ⁰ ) существует экстремум (для определенности - пуcть это будет максимум), то, в частности, отсюда следует, что в некоторой окрестности(x₁ ⁰ - , x₁ ⁰ + ) точки x₁ = x₁ ⁰ , необходимо должно выполняться неравенство

f(x₁ , x₂ ⁰ ,…,x_n ⁰ )< f(x₁ ⁰ ,x₂ ⁰ ,…,x_n ⁰ )

так что упомянутая выше функция одной переменной в точке x₁ = =x₁ ⁰ будет иметь максимум, а отсюда по теореме Ферма следует, что

f_x1 ’(x₁ ⁰ ,x₂ ⁰ ,…,x_n ⁰ )=0

Таким образом можно показать, что в точке (x₁ ⁰ ,x₂ ⁰ ,…,x_n ⁰ ) и остальные частные производные равны нулю.

Итак, “подозрительными” на экстремум являются те точки, в которых частные производные первого порядка все обращаются в нуль: их координаты можно найти, решив систему уравнений

f_x1 ’(x₁ ⁰ ,x₂ ⁰ ,…,x_n ⁰ )=0

……………………. (5.1)

f ’_xn (x₁ ⁰ ,x₂ ⁰ ,…,x_n ⁰ )=0

Как и в случае функции одной переменной, подобные точки называются стационарными.

Замечения :Необходимое условие существования экстремума в случае дифференцируемой функции кратко можно записать так :

d f(x₁ ,x₂ ,…,x_n )=0

так как, если f_x1 ’= f_x2 ’=…= f ’_xn , то каковы бы ни были dx₁ ,dx₂ ,…,dx_n всегда

f(x₁ ,x₂ d,…,x_n )= f_x1 ’ dx₁ + f_x2 ’ dx₂ +…+ f ’_xn dx_n =0

И обратно : если в данной точке тождественно выполняется это условие, то ввиду произвольности dx₁ ,dx₂ ,…,dx_n производные f_x1 ’, f_x2 ’,…, f ’_xn порознь равны нулю.

Обычно, рассматриваемая функция f(x₁ ,x₂ ,…,x_n ) имеет (конечные) частные производные во всей области, и тогда точки, доставляющие функции экстреммы, следует искать лишь среди стационарных точек. Однако встречаются случаи, когда в отдельных точках некоторые частные производные имеют бесконечные значения или вовсе не существуют (в то время как остальные равны нулю). Подобные точки, собственно, тоже следует причислить к “подозрительным” по экстремуму, наряду со стационарными.

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

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

5.2.Достаточные условия экстремума.

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

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

Пусть функция f(x₁ ,x₂ ,…,x_n ) определена, непрерывна и имеет непрерывные производные первого и второго порядковокрестности некоторой стационарной точки (x₁ ⁰ ,x₂ ⁰ ,…,x_n ⁰ ).Разлагая разность

= f(x₁ ,x₂ ,…,x_n )-f(x₁ ⁰ ,x₂ ⁰ ,…,x_n ⁰ )

по формyле Тейлора, получим

= { f_x ’’ x₁ ² +f_x ’’ x₂ ² +…+f_x ’’ x_n ² +2f_x1x2 ’’ x₁ x₂ + +2f_x1x3 ’’ x₁ x₃ +…+2f_xn-1xn ’’ x_n-1 x_n }= f_xixj ’’ x_i x_j

где x= x_i -x_i ⁰ ; производные все вычеслены в некоторой точке

(x₁ ⁰ +0 x₁ , x₂ ⁰ +0 x₂ ,…, x_n ⁰ +0 x_n ) (0<0<1)

Введём и здесь значения

f_xixj ’’ (x₁ ⁰ ,x₂ ⁰ ,…,x_n ⁰ )=a_ik (i,k=1,2,…,n) (5.2)

так что

f_xixj ’’ (x₁ ⁰ +0 x₁ , x₂ ⁰ +0 x₂ ,…, x_n ⁰ +0 x_n )= a_ik + _ik

и

_ik 0 при x₁ 0,…, x_n 0 (5.3)

Теперь интеесующее нас выражение можно написать в виде:

= { a_ik x_i x_k + _ik x_i x_k } (5.4)

На первом месте в скобках здесь стоит второй дифференциал функции f в рассматриваемой точке : он представляет собой однородный одночлен второй степени или, как говорят, квадратичную форму от переменных x₁ ,…,x_n . От свойств этой квадратичной формы, как мы увидим, и зависит решение интересующего нас вопроса.

В высшей алгебре квадратичную форму

a_ik y_i y_k (a_ik = a_ki ) (5.5)

от переменных y₁ ,…,y_n называют определенной положительно (отрицательно), если она имеет положительные (отрицательные) значения при всех значениях аргументов, не равных одновременно нулю.

Необходимое и достаточное условие для того, чтобы форма (5.5) была определенной и положительной принадлежит ,как было уже сказано выше , Сильвестеру (J.J.Sylvester). Оно выражается цепью неравенств:

a₁₁ a₁₂ a₁₁ a₁₂ a₁₃ a₁₁ a₁₂ … a_1n

a₁₁ >0, a₂₁ a₂₂ , a₂₁ a₂₂ a₂₃ >0,…, a₂₁ a₂₂ … a_2n

a₃₁ a₃₂ a_{33 …………………}

a_n1 a_n2 … a_nn

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

Пользуясь этими понятиями. Сформулируем достаточные для существования экстремума условия :