Математический анализ функции нескольких переменных. Учебное пособие
.pdfПример 1.6. |
|
Найти |
частные |
производные |
||||
∂z |
∂z |
∂2 z |
|
∂2 z |
∂2 z |
|
|
|
(0,0), |
(0,0), |
∂x2 |
(0,0), |
|
(0,0), |
∂y2 |
(0,0) |
неявной функции |
|
||||||||
∂x |
∂y |
|
∂x ∂y |
|
|
|||
z = z(x, y) , определяемой уравнением |
|
|
|
|||||
|
|
|
ez + xy + z − 1 = 0, |
|
(1.42) |
|||
если z(0,0)= 0 . |
|
|
|
|
|
|
|
|
Решение. Функция F (x, y, z) ≡ ez + xy + z − 1 удовлетворяет всем ус-
ловиям теоремы 1.10. Дифференцируя уравнение (1.42) по переменной х, при этом у – независимая переменная, а z = z(x, y) , получаем
ez ∂z + y + |
∂z = 0. |
(1.43) |
∂x |
∂x |
|
Полагая в равенстве (1.43) х = у = z(0,0)= 0 , получаем |
∂z (0,0) = 0. |
|
Аналогично, используя равенство |
∂x |
|
|
||
ez ∂z + x + |
∂z = 0 |
(1.44) |
∂y |
∂y |
|
и условия х = у = z(0,0)= 0 , имеем |
∂z (0,0) = 0. |
|
|
∂y |
|
Далее из (1.43) и (1.44) дифференцированием получаем
|
|
z ∂z 2 |
|
|
z ∂2 z ∂2 z |
|
|
|||||||
|
e |
|
∂x + e |
∂x2 |
+ |
∂x2 |
|
= 0, |
||||||
e |
z ∂z ∂z |
+ e |
z |
∂2 z |
+ 1+ |
∂ |
2 z |
= 0, |
||||||
∂x ∂y |
|
∂x∂y |
∂x∂y |
|||||||||||
|
|
|
|
|
|
|
||||||||
|
e |
z |
∂z 2 |
+ e |
z ∂2 z |
+ |
∂2 z |
= 0. |
||||||
|
|
|
|
∂y2 |
∂y2 |
|||||||||
|
|
|
∂y |
|
|
|
|
|
||||||
(1.45)
(1.46)
(1.47)
21
Полагая в (1.45)–(1.47) |
|
x = y = z(0,0) = |
∂z (0,0) = |
∂z (0,0) = 0, |
по- |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂x |
|
|
∂y |
|
|
|
|||
|
∂2 z |
|
|
∂2 z |
|
|
|
|
|
∂2 z |
|
|
1 |
|
|
|
|
|
|
|||||
лучаем |
∂x2 |
(0,0) |
= |
∂y2 |
(0,0) |
= 0, |
|
|
|
|
(0,0) = − |
|
. |
|
|
|
|
|
||||||
|
|
|
|
2 |
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
∂x∂y |
|
|
|
|
|
|
|
|
||||||||
Ответ: |
|
|
∂z |
|
∂z |
|
|
|
∂2z |
|
∂2z |
|
|
|
|
∂2z |
|
1 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
z(0,0) = ∂x |
(0,0) = ∂y |
(0,0) |
= ∂x2 (0,0) = ∂y2 (0,0) = 0, ∂x∂y |
(0,0) = − |
2. |
|||||||||||||||||||
|
|
|||||||||||||||||||||||
Аналогично определяются неявные функции любого числа пере- менных и находятся их частные производные.
1.12. Экстремумы ФНП (безусловные)
Определение 1.18. Пусть функция f (x, y) определена в некото-
рой окрестности точки М0 (х0 , у0 ). Точка М0 (х0 , у0 ) называется точ-
кой локального минимума функции f (x, y) , если существует такая
окрестность точки М0 , в которой выполняется неравенство
f (x, y) ≥ f (x0 , y0 ). |
(1.48) |
Аналогично определяется точка локального максимума функции. Точки минимума и максимума функции называются точками экстре-
мума функции. |
f ≥ 0 (см. (1.48)), а в точках |
Замечание 1. В точках минимума |
|
максимума f ≤ 0. |
|
Определение 1.19. Точка М0 (х0 , у0 ) |
называется точкой строгого |
минимума функции f (x, y) , если существует такая проколотая окре-
стность точки М0 (х0 , у0 ), в которой выполняется неравенство
f (x, y) > f (x0 , y0 ). |
(1.49) |
Аналогично определяется точка строгого |
максимума функции |
f (x, y) . В точках строгого минимума f > 0 ((x, y) ≠ (x0 , y0 )), а в точках строгого максимума f < 0 ((x, y) ≠ (x0 , y0 )).
Теорема 1.11 (необходимое условие экстремума). Если точка М0 (х0 , у0 ) является точкой экстремума функции f (x, y) и сущест-
22
вует |
|
|
частная |
|
производная |
|
|
|
∂f (x0 |
|
то |
|||||||||||
|
|
|
|
∂f (x0 , y0 ) |
, y0 ) , |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂x |
|
∂y |
|
|
∂f (x |
, y |
|
) = 0 |
|
∂f |
(x |
, y |
) = |
0 . |
|
|
|
|
|
|
|
||||||
0 |
|
|
|
|
|
|
|
|
|
|||||||||||||
∂x |
|
0 |
|
|
∂y |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Следствие. |
Если точка |
|
М0 |
(х0 , у0 ) является точкой экстремума |
|||||||||||||||||
дифференцируемой функции f |
(x, y) |
, то df (x0 , y0 ) = 0. |
|
|
||||||||||||||||||
|
Определение 1.20. Если функция |
|
f (x, y) |
дифференцируема в точке |
||||||||||||||||||
М (х , у ) и |
|
|
∂f |
(x , y |
) = |
∂f |
(x , y |
|
) = 0, то эта точка называется ста- |
|||||||||||||
|
|
∂x |
|
|
||||||||||||||||||
0 |
|
0 |
0 |
|
|
|
0 |
0 |
|
∂y |
0 |
0 |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
ционарной точкой функции |
f (x, y) . |
|
|
|
|
|
|
|||||||||||||||
Замечание 2. Всякая точка экстремума дифференцируемой функ- ции является стационарной точкой (см. теорему 1.11), но не всякая стационарная точка является точкой экстремума.
Пример 1.7. Пусть f (x, y) = x2 y . Покажем, что точка (0,0) – стацио- нарная точка, но не является точкой экстремума этой функции. Действи-
тельно, функция |
f (x, y) = x2 y |
всюду дифференцируема (доказать) |
|||||||||
и |
∂f |
(0,0) = |
∂f |
(0,0) = 0, |
т.е. |
точка (0,0) |
– стационарная. |
Далее, |
|||
|
∂y |
||||||||||
|
∂x |
|
|
|
|
|
|
|
|
||
|
|
0, |
(x, y) = (0,0), |
|
|
|
|
|
|||
|
|
|
|
|
|
|
y > 0, |
|
|
|
|
f (x, y) = > 0, (x, y) ≠ (0,0), |
|
|
|
||||||||
|
|
|
|
|
|
|
y < 0. |
|
|
|
|
|
|
< 0, (x, y) ≠ (0,0), |
|
|
|
||||||
|
Отсюда |
следует, что |
ни |
в |
какой |
окрестности точки |
(0,0) |
||||
f (x, y) ≥ f (0,0) |
или |
f (x, y) ≤ f (0,0). Значит, точка (0,0) не явля- |
|||||||||
ется точкой экстремума функции |
f (x, y) . |
|
|
||||||||
Далее рассмотрим достаточные условия существования экстре- мума ФНП.
Пусть f (x) ≡ f (x1, x2 ,…, xn ), n N. Подчеркнем, что здесь n (количе-
ство переменных) не обязательно равно двум. Если функция f (x) в не-
которой окрестности точки М0 (х10 , х20 ,…, хn0 ) имеет непрерывные про- изводные второго порядка, то ее второй дифференциал имеет вид
|
2 |
n n |
∂2 f |
|
|
|
|
|
d |
|
f (M0 ) = ∑∑ |
|
|
|
(M |
0 ) dxi dxj . |
(1.50) |
|
∂x |
∂x |
|
|||||
|
|
i =1 j =1 |
j |
|
|
|||
|
|
i |
|
|
|
|||
23
Отсюда следует, что второй дифференциал d 2 f (M0 ) является квадратичной формой переменных dxi , i = 1, 2,…, n.
Для рассмотрения достаточных условий существования экстре- мума нам понадобятся некоторые сведения о квадратичных формах.
Определение 1.21. Квадратичная форма
|
|
|
n n |
|
|
|
|
|
F(ξ) ≡ F(ξ1,ξ2 ,…,ξn ) = ∑∑ai jξiξ j , |
ai j |
= aj i , |
i, j = 1,2,…,n, (1.51) |
|||||
|
|
|
i =1 j =1 |
|
|
|
|
|
называется: |
|
|
|
|
|
|
|
|
а) |
положительно |
определенной, |
если |
F(ξ) > 0 |
при |
|||
(ξ1, ,ξ2 ,…,ξn ) ≠ (0,0,…,0) ; |
|
|
|
|
|
|||
б) |
отрицательно |
определенной, |
если |
F(ξ) < 0 |
при |
|||
(ξ1,ξ2 ,…,ξn ) ≠ (0,0,…,0) ; |
|
|
|
|
|
|||
в) |
неопределенной, |
если существуют |
ξ′ = (ξ′ |
,ξ′ |
,…,ξ′ ) |
|||
|
|
|
|
|
|
1 |
2 |
n |
и ξ′′ |
= (ξ′′,ξ′′,…,ξ′′) такие, что F(ξ′) > 0 |
и |
F(ξ′′) < 0. |
|
|
|||
|
1 2 |
n |
|
|
|
|
|
|
Теорема 1.12 (критерий Сильвестра положительной определенно- сти квадратичной формы). Для того чтобы квадратичная форма F(ξ)
(см. (1.51)) была положительно определенной, необходимо и достаточно, чтобы все главные миноры ее матрицы были положи- тельны, т.е.
|
|
|
|
|
|
|
|
|
a11 |
a12 …a1n |
|
1 |
= a > 0, |
2 |
= |
a11 |
a12 |
> 0,…, |
n |
= |
a21 |
a22 …a2n |
> 0. |
11 |
|
a21 |
a22 |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
an1 |
an2 …ann |
|
Замечание 3. Квадратичная форма F(ξ) отрицательно определена тогда и только тогда, когда квадратичная форма −F(ξ) положитель-
но определена.
Теорема 1.13 (достаточное условие экстремума). Пусть функ-
ция |
f (x) = f (x1, x2 ,…, xn ) |
в |
некоторой окрестности |
|
точки |
|||
М (х |
, х ,..., х ) |
|
|
|
|
∂2 f |
||
имеет |
непрерывные производные |
|
|
, |
||||
|
|
|||||||
0 10 |
20 |
n0 |
|
|
|
∂xi∂xj |
||
|
|
|
|
|
|
|||
i, j = 1, 2, ..., n, |
и, |
кроме того, |
M0 – стационарная точка. |
Тогда, |
||||
24
если d 2 f (M0 ) – положительно определенная квадратичная форма, |
|||||||
то точка |
М0 |
– точка строгого минимума функции |
f (x) , а ес- |
||||
ли d 2 f (M0 ) |
– отрицательно определенная квадратичная форма, |
||||||
то M0 – |
точка строгого максимума функции f (x) , если |
же |
|||||
d 2 f (M |
0 |
) |
– |
неопределенная квадратичная форма, то |
точка |
M |
0 |
не является точкой экстремума функции f (x) . |
|
|
|
||||
Если n = 2, то формулировка достаточного условия существова- ния экстремума функции упрощается.
Теорема 1.14 (достаточное условие существования экстремума, n = 2).
Пусть функция f (x, y) в некоторой окрестности точки М0 (х0 , у0 )
имеет непрерывные частные производные до второго порядка вклю- чительно, и, кроме того, М0 − стационарная точка. Обозначим
|
∂2 f |
(x , y ) |
= A, |
|
∂2 f |
(x , y ) = B, |
∂2 f |
= C, |
= AC − B2 . |
|||
|
∂x2 |
∂x∂y |
|
|||||||||
|
0 |
0 |
|
|
|
0 |
0 |
∂y2 |
|
|||
|
|
|
|
|
|
|
|
|
||||
Тогда, если |
|
> 0, то M0 |
– точка строгого экстремума, причем |
|||||||||
при A < 0 – точка строгого максимума, при A > 0 – точка строгого |
||||||||||||
минимума; если |
|
< 0 , то точка M0 не является точкой экстремума. |
||||||||||
Замечание 4. Если = 0 , то вопрос о существовании экстремума остается открытым. Например,
а) f (x, y) = x4 + y4 . Очевидно, что точка (0,0) является точкой строгого минимума;
б) f (x, y) = x3 + y3. Точка (0,0) не является точкой экстремума, так как в любой окрестности этой точки существуют точки, где f (x, y) > f (0,0) и точки, где f (x, y) < f (0,0) .
Для обеих функций (см. пп. а) и б)) точка (0,0) стационарная и = 0.
1.13. Условный экстремум
Пусть в некоторой области G Rn определены функции
f (x) ≡ f (x1, x2 ,…, xn ), ϕ1 (x) ≡ ϕ1 (x1, x2 ,…, xn ), ϕ2 (x) ≡ ϕ2 (x1, x2 ,…, xn ), …,ϕm (x) ≡ ϕm (x1, x2 ,…xn ), m < n.
25
Обозначим через E G множество точек, координаты которых удовлетворяют системе уравнений
ϕ1 (х1, х2 ,…, хn ) = 0,
ϕ2 (x1, x2 ,…, xn ) = 0, (1.52)
ϕm (x1, x2 ,…, xn ) = 0.
Уравнения системы (1.52) называются условиями связей. Определение 1.22. Точка M0 (x10 , x20 ,…, xn0 ) E называется точ-
кой условного минимума функции f (x1, x2 ,…, xn ) при условиях свя-
зей (1.52), если найдется такая окрестность U (M0 ) точки М0 , что для всех точек (x1, x2 ,…, xn ) E ∩ U (M0 ) выполняется неравенство
f (x1, x2 ,…, xn ) ≥ f (x10 , x20 ,…, xn0 ). |
(1.53) |
Аналогично определяется точка условного максимума функции. Определение 1.23. Точка M0 (x10 , x20 ,…, xn0 ) называется точкой
строгого условного минимума функции f (x1, x2 ,…, xn ) при условиях
|
|
связей (1.52), если найдется такая проколотая окрестность U (M0 ) |
|
|
выполняет- |
точки M0 , что для всех точек (x1, x2 ,…, xn ) E ∩ U (M0 ) |
|
ся неравенство |
|
f (x1, x2 ,…, xn ) > f (x10 , x20 ,…, xn0 ). |
(1.54) |
Аналогично определяется точка строгого условного максимума.
Геометрическая интерпретация
Пусть n = 2 , f = f (x, y). Тогда условие связи может быть только од-
но (m =1) : |
|
ϕ(х, у) = 0. |
(1.55) |
Геометрически равенство (1.55) является уравнением некоторой кривой на плоскости. Точка М0 (х0 , у0 ) условного минимума должна принадлежать этой кривой, т.е.
ϕ(х0 , у0 ) = 0. |
(1.56) |
26
Тогда согласно Определению 1.22 неравенство (1.53) ( f (x, y) ≥ f (x0 , y0 )) обязательно выполняется на части кривой (1.55),
лежащей в некоторой окрестности точки М0 (х0 , у0 ). Что касается ос-
тальных точек указанной окрестности, то в них это неравенство мо- жет выполняться, а может и не выполняться.
Пример 1.8. Найти точки условного экстремума функции |
|
f (x, y) = x2 + y2 при условии х |
+ у =1. |
Решение. Графиком функции |
f (x, y)= x2 + y2 является параболоид |
вращения z = x2 + y2 . Геометрически условие связи является плоско- стью х + у =1, параллельной оси 0Z, пересекающейся с графиком функ- ции по параболе. Из соображений симметрии ясно, что наинизшая точка
этой параболы |
1 |
, |
1 |
, |
1 |
, а наивысшей точки нет. Следовательно, функ- |
||||||
|
|
|
||||||||||
|
|
|
|
2 |
2 |
|
2 |
|
||||
ция f (x, y) = x2 + y2 |
имеет условный минимум (условие связи х + у =1 ) |
|||||||||||
в точке |
1 |
, |
1 |
, который равен |
1 |
. |
||||||
|
|
|
||||||||||
|
2 |
2 |
|
|
|
|
|
2 |
|
|||
Это геометрическое решение задачи. Очень редко удается геометри- чески решить задачу отыскания условного экстремума. Поэтому рас- смотрим наиболее распространенные методы решения таких задач.
А. Прямой метод отыскания точек условного экстремума
Если из системы (1.52) удается явным образом выразить m пере- менных через остальные, то, подставляя в функцию f (x1, x2 ,…, xn )
вместо соответствующих переменные их выражения через остальные (n – m) переменные, получим функцию F(n − m) переменных.
В этом случае задача отыскания условного экстремума функции f, зависящей от n переменных, сводится к задаче отыскания безуслов- ного экстремума функции F, зависящей от (n − m) переменных.
Рассмотрим предыдущий пример. |
|
|||||
Пример 1.9. Найти |
точки |
условного экстремума |
функции |
|||
f (x, y) = x2 + y2 при условии x + y = 1. |
|
|||||
Решение. Из условия связи имеем у =1 – х . Тогда |
|
|||||
|
|
|
f (x,1− x) = x2 + (1− x)2 ≡ F(x). |
|
||
Очевидно, |
что функция F (x) |
имеет безусловный минимум при |
||||
х = |
1 |
. Тогда |
функция |
f (x, y) = x2 + y2 имеет условный |
минимум |
|
|
||||||
2 |
|
|
|
|
|
|
27
( х + у =1 – условие связи) в точке |
1 |
, |
1 |
|
, который равен |
1 |
. Этот |
2 2 |
|
|
2 |
|
|||
результат совпадает с предыдущим (см. пример 1.8).
Замечание 1. Прямой метод редко удается применить, так как из условий связей (1.52) далеко не всегда удается получить явные выражения для каких-либо m переменных через остальные или эти выражения настолько громоздки, что решение задачи отыскания без- условного экстремума функции F становится очень трудоемким.
Поэтому рассмотрим следующий метод.
Б. Найти условный экстремум функции f(x), если φ(x, y).
Решение: ϕ(х, у) = 0 – уравнение кривой на плоскости. Если удается параметризовать эту кривую (x = x(t), y = y(t)) , то, подставляя эти вы-
ражения в функцию f (x, y) , получаем функцию одной переменной
F (t) ≡ f (x(t), y(t)) . Далее задача сводится к исследованию функции
F (t) на безусловный экстремум. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Пример |
1.10. |
|
|
Найти |
условный |
экстремум |
функции |
|||||||||||||||||||
f (x, y) = 3x2 + 4xy + 7 y2 , |
x2 + y2 = 25 (условие связи). |
t [0,2π). |
||||||||||||||||||||||||
Решение. Из условия связи имеем x = 5cost, |
y = 5sin t, |
|||||||||||||||||||||||||
Тогда |
f (x, y) = f (5cost, 5sint) = 75cos2 t +100cost sint +175sin2 t ≡ F(t). |
|||||||||||||||||||||||||
F(t) = 125 + 50 2 sin |
2t − π |
, |
|
t [0,2π). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Очевидно, что функция F(t) имеет минимум, когда sin 2t − π |
= − 1, |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|||||||
и максимум, когда sin |
2t |
− π = 1. |
Тогда при |
t |
= |
7π |
|
и при t |
|
|
= |
15π |
|
|
||||||||||||
|
|
2 |
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
8 |
|
|
|
8 |
|
|
||||||
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
получаем точки минимума функции F (t) , а при t |
|
= |
3π |
и при t |
|
= |
11π |
|
||||||||||||||||||
3 |
|
4 |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
8 |
|
|
|
8 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
– точки максимума функции F (t) . Отсюда получаем |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
− |
5 |
2 + 2 , |
5 |
2 − 2 , |
|
|
5 |
2 + 2 , − |
5 |
2 − 2 |
|
|
|
|
|
|
|
|
||||||||
2 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
2 |
|
|
|
|
2 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
– точки условного минимума функции f (x, y)
и
28
|
5 |
2 |
− 2 , |
5 |
2 |
+ |
2 |
|
, |
|
− |
5 |
2 − |
2 ,− |
5 |
2 + |
2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||
2 |
2 |
2 |
2 |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
– точки условного максимума функции f (x, y) .
При этом fусл.min = 125 − 50 2 , fусл.max = 125 + 50 2 .
Методы А и Б – частные методы решения задачи отыскания ус- ловного экстремума.
Рассмотрим общий метод.
В. Метод множителей Лагранжа
Задача: исследовать на |
условный экстремум функцию |
f (x1, x2 ,…, xn ) при условиях связи |
|
ϕ1(x1, x2 ,…, xn ) = 0, |
|
ϕ2 (x1, x2 ,…, xn ) = 0, |
|
……………………… |
|
ϕm (x1, x2 ,…, xn ) = 0, |
(m < n)[см. (1.52)]. |
Решение |
|
1. Строим функцию Лагранжа |
|
L(x1, x2 ,…, xn ,λ1,λ2 ,…,λm ) = f (x1, x2 ,…, xn ) + λ1 ϕ1(x1, x2 ,…, xn ) +
+λ2 ϕ2 (x1, x2 ,…, xn ) + …+ λm ϕ m (x1, x2 ,…, xn ).
2.Находим стационарные точки функции Лагранжа из условий
|
∂L |
= 0, i = 1, 2, …, n, |
∂L |
= 0, k |
= 1, 2, |
…, m, (1.57) |
|
|
|
|
|||||
∂xi |
∂λk |
||||||
|
|
|
|
|
|||
т.е. решаем систему (1.57) относительно xi , i = 1, |
2, …, |
n, и λ k , |
|||||
k = 1, |
2, …, m. |
|
|
|
|
||
Пусть M ( j) (x1( j) , x2( j) , …, xn( j) , λ1( j) , λ(2j) , …, λ(mj) ), j = 1, 2, …, p –
решения |
|
системы |
(1.57). |
Тогда |
точки |
M ( j) (x( j) , x( j) , |
…, x( j) ), j = 1, |
2, …, p, являются точками, «подозри- |
|||
1 |
2 |
n |
|
|
|
тельными» на условный экстремум функции |
f (x1, x2 ,…, xn ) |
(условия |
|||
связей (1.52)).
29
|
3. Второй |
|
|
дифференциал |
функции |
Лагранжа |
в |
|
точках |
||||||||||
|
( j) |
, j = 1, 2, …, p, |
имеет вид |
|
|
|
|
|
|
|
|
|
|
||||||
M |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
2 |
|
|
|
( j) |
|
n n |
∂2 L |
|
( j) |
|
|
|
|
|
|
|
|
|
d |
|
L(M |
|
) = ∑∑ |
|
|
(M |
) dxl dxq , |
|
|
|
|
(1.58) |
||||
|
|
|
|
∂x ∂x |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
l=1 q=1 |
q |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
l |
|
|
|
|
|
|
|
|||
т.е. как будто функция Лагранжа не зависит от переменных |
|
|
|||||||||||||||||
λ k (k = 1, 2, …, m). |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
Далее, если d |
2 |
|
( j) |
) – положительно определенная квадратич- |
||||||||||||||
|
|
L(M |
|
||||||||||||||||
ная форма, то точка M ( j) (x( j) , x( j) ,…, x( j) ) |
является точкой строгого |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
1 |
2 |
|
n |
|
|
|
|
|
|
|
условного минимума функции |
f (x1, x2 ,…, xn ); если d |
2 |
|
|
( j) |
) |
– от- |
||||||||||||
|
L(M |
|
|||||||||||||||||
рицательно определенная квадратичная форма, то точка |
M ( j) |
явля- |
|||||||||||||||||
ется точкой строгого условного максимума функции f (x1, x2 ,…, xn ). На этом решение задачи заканчивается.
Если же d |
2 |
|
( j) |
) − неопределенная |
квадратичная |
форма, то |
||||
|
L(M |
|
||||||||
идем дальше. |
|
|
|
|
|
|
|
|
|
|
4. Из условий связей получаем |
|
|
|
|||||||
|
|
|
n |
|
∂ϕ |
k |
|
|
|
|
dϕk (M ( j) ) = ∑ |
|
(M ( j) ) dxi |
= 0, |
k = 1, 2, …, m. |
(1.59) |
|||||
∂x |
|
|||||||||
|
|
|
i=1 |
|
|
|
|
|
||
|
|
|
i |
|
|
|
||||
Это – линейная система относительно dx1, dx2 , ..., dxn .
Пусть ранг матрицы системы (1.59) равен m. Не ограничивая общности будем считать, что базисный минор находится в левом верхнем углу матрицы. Тогда дифференциалы dx1, dx2 , …, dxm од-
нозначно |
выражаются через |
дифференциалы dxm+1, dxm+2 , …, dxn . |
|||||||||||||||||||
Подставляя эти выражения в d |
2 |
|
|
( j) |
), |
получаем квадратичную |
|||||||||||||||
|
L(M |
|
|
||||||||||||||||||
форму переменных |
dxm+1, |
|
dxm+2 , |
…, dxn . |
Обозначим |
ее |
через |
||||||||||||||
d |
2 |
( j) |
). Напомним, что мы рассматриваем случай неопределен- |
||||||||||||||||||
L(M |
|||||||||||||||||||||
ной квадратичной формы d |
2 |
|
|
( j) |
). Далее, если d |
2 |
|
( j) |
) − поло- |
||||||||||||
|
L(M |
|
|
L(M |
|
||||||||||||||||
жительно |
|
определенная |
|
|
квадратичная |
форма, |
|
то |
|
точка |
|||||||||||
M ( j) (x( j) , x( j) ,…, x( j) ) |
является точкой строгого условного минимума |
||||||||||||||||||||
|
|
1 |
2 |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
функции |
f (x1, x2 ,…, xn ); если d |
2 |
|
( j) |
) − отрицательно определен- |
||||||||||||||||
|
L(M |
|
|||||||||||||||||||
ная квадратичная форма, то точка M ( j) является точкой строгого ус-
30
