- •Базовые понятия
- •Множества и операции над множествами
- •способы определения множеств
- •Функции
- •способы задания функций
- •последовательности и кортежи
- •Действительные числа
- •иерархия числовых множеств
- •определение действительных чисел
- •ограниченные множества
- •Вопросы для коллоквиума
- •Теория пределов
- •Предел последовательности
- •бесконечно малые, бесконечно большие величины, их иерархия
- •частичные пределы
- •Пределы и непрерывность функций
- •открытые и замкнутые множества
- •предел функции
- •непрерывность функции
- •монотонные функции
- •свойства непрерывных функций
- •элементарные функции
- •замечательные пределы
- •равномерная непрерывность
- •Вопросы для коллоквиума
- •Дифференциальное исчисление
- •Производная и дифференциал
- •производная
- •дифференциал
- •независимость формы первого дифференциала
- •дифференцируемость обратной функции
- •производные высших порядков
- •дифференциалы высших порядков
- •Основные теоремы о дифференцируемых функциях
- •теоремы о среднем значении
- •правило Лопиталя
- •теоремы о монотонных функциях
- •формула Тейлора
- •Исследование функций
- •экстремумы
- •наибольшее и наименьшее значение
- •выпуклость и точки перегиба
- •асимптоты
- •построение эскизов графиков
- •Введение в дифференциальную геометрию
- •путь и кривая
- •параметрическое дифференцирование
- •кривизна простой кривой
- •Частные производные
- •частная производная и дифференцируемость
- •геометрический смысл дифференциала, касательная плоскость
- •дифференцирование сложной функции и независимость формы первого дифференциала
- •производная по направлению, градиент
- •независимость производной от порядка дифференцирования
- •дифференциалы высших порядков
- •формула Тейлора
- •Экстремумы функции нескольких переменных
- •Неявные функции
- •основные теоремы о неявных функциях
- •Условный экстремум
- •Вопросы для коллоквиума
- •Интегральное исчисление
- •Неопределенный интеграл
- •определение и свойства первообразной
- •интегрирование рациональных дробей
- •интегрирование некоторых иррациональностей
- •интегрирование биномиальных дифференциалов
- •интегрирование тригонометрических выражений
- •некоторые интегралы, невычислимые в элементарных функциях
- •Определенный интеграл
- •интеграл Римана
- •суммы Дарбу
- •свойства интеграла Римана
- •связь определенного и неопределенного интегралов
- •методы интегрирования
- •формула Бонэ
- •неравенства Гёльдера и Минковского
- •Введение в теорию меры
- •мера Жордана на плоскости
- •мера Лебега
- •Приложения определенного интеграла
- •вычисление площадей
- •площадь в полярных координатах
- •длина дуги гладкой кривой
- •вычисление объемов и поверхностей тел вращения
- •Несобственные интегралы
- •определение н.и.
- •виды и признаки сходимости н.и.
- •Интегралы с параметрами
- •предел функции по параметру
- •собственные интегралы с параметром
- •равномерная сходимость н.и.
- •непрерывность и дифференцируемость н.и.
- •вычисление н.и. дифференцированием по параметру
- •интегрирование н.и. по параметру
- •интеграл Пуассона
- •функции Эйлера
- •Вопросы для коллоквиума
- •Некоторые виды интегралов
- •Кратные интегралы
- •интеграл Римана от функции нескольких переменных
- •свойства интеграла Римана
- •вычисление двойного интеграла
- •вычисление тройного интеграла
- •Криволинейные интегралы
- •свойства к.и. 1-го рода
- •вычисление к.и. 1-го рода
- •к.и. 2-го рода
- •свойства к.и. 2-го рода
- •вычисление к.и. 2-го рода
- •формула Грина
- •независимость криволинейного интеграла от пути
- •криволинейные координаты
- •Поверхностные интегралы
- •поверхность, площадь поверхности
- •вычисление п.и. 1-го рода
- •ориентированные поверхности
- •формула Стокса
- •Элементы теории поля
- •Вопросы для коллоквиума
- •Основы теории рядов
- •Числовые ряды
- •основные свойства рядов
- •ряды с неотрицательными членами
- •дальнейшие свойства произвольных рядов
- •признаки Абеля и Дирихле
- •Функциональные ряды
- •равномерная сходимость рядов
- •интегрирование и дифференцирование рядов
- •признаки равномерной сходимости
- •Степенные ряды
- •Основы ТФКП
- •Комплексная переменная и функции от нее
- •комплексные числа и действия над ними
- •пределы комплексных последовательностей
- •функции к.п.
- •дифференцирование ф.к.п.
- •интегралы от ф.к.п., формула Коши
- •аналитические функции
- •степенной ряд, круг сходимости
- •единственность а.ф.
- •аналитическое продолжение
- •элементарные функции
- •Ряд Лорана
- •Вычеты
- •Конформные отображения
3.8. УСЛОВНЫЙ ЭКСТРЕМУМ |
39 |
Следствие 3.9. Если ϕ1, . . . , ϕn зависимы на области G , то якобиан ϕ~ тождественно равен нулю на G .
Следствие 3.10. Если якобиан ϕ~ отличен от нуля в некоторой точке области G , то функции ϕ1, . . . , ϕn независимы на G .
Теорема |
3.49 (о неявной вектор-функции нескольких переменных). Пусть |
|||||||||||
функция |
~ |
|
|
(x, y), . . . , F |
|
(x, y)) определена на области U |
n |
m |
, |
|||
F (x, y) = (F |
|
R × R |
|
|||||||||
x R |
n |
, |
y R |
m |
1 |
|
m |
|
|
|
||
|
|
. Пусть, кроме того, |
|
|
|
|||||||
~ дифференцируема на ;
1) F (x, y) U
∂F (x, y)
2) якобиан |
|
|
|
отличен от нуля на области U . |
∂y |
||||
|
|
|
|
|
|
|
|
|
|
Тогда уравнение ~ задает дифференцируемую вектор-функцию
F (x, y) = 0 y =
~ . При этом имеет место матричное равенство:
= f(x)
~
df(x)
dx
~
= −
∂F (x, f(x))
∂y
−1 ∂F~ (x, f(x)). |
|
|
∂x |
3.8Условный экстремум
Определение условного экстремума функции f(x) при условиях ϕ~(x) = 0 . x
— вектор из Rn , ϕ~(x) = (ϕ1(x), . . . , ϕm(x)) , m < n . Обозначим x˜ = (x1, . . . , xn−m); xˆ = (xn−m+1, . . . , xn).
При этом мы пишем, что x = x˜ xˆ .
Теорема 3.50. Пусть условия ϕ~(x) = 0 в окрестности точки x0 задают един-
~ |
~ |
x |
0 |
— |
ственным образом зависимость xˆ = ψ(˜x) . Пусть |
g(˜x) = f(˜x ψ(˜x)) . Тогда |
|
||
точка условного максимума (минимума) при условии ϕ~(x) = 0 функции f |
тогда |
|||
и только тогда, когда x˜0 — точка максимума (минимума) функции g . |
|
|
|
|
Определение . Функция L(x, λ) = f(x) + λTϕ~(x) , λ Rm , называется функцией Лагранжа, λ — вектор параметров.
Упражнение . Пусть A, B, C, D — матрицы размерностей, соответственно, k × × l , k × t , l × p , t × p . Тогда
C
(A B) = AC + BD. D
Теорема 3.51 (необходимое условие условного экстремума). Пусть функция f
определена и дифференцируема в окрестности U(x0) , и ее производные непрерывны в точке x0 . Пусть также на U(x0) существует и непрерывна матрица
http://rishelie.by.ru/files/Math/Work/mathan.pdf c Н. И. Казимиров
40 |
|
ГЛАВА 3. ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ |
|||||||
|
|
∂ϕ~ |
|
|
∂ϕ~ |
|
|
||
частных производных |
|
, причем в точке x0 |
якобиан |
|
|
|
отличен от ну- |
||
∂xˆ |
∂xˆ |
||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ля. Пусть x |
|
— точка условного экстремума |
f при условии |
ϕ~(x) = 0 . Тогда |
|||||
существует единственный λ такой, что ∂L∂x (x0, λ) = 0 .
∂ϕ~(x0)
Доказательство. Из условия =6 0 легко получить, что существует един-
∂xˆ
ственный вектор λ такой, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
∂L(x0, λ) |
|
∂f(x0) |
|
|
|
|
∂ϕ~(x0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
+ λT |
|
|
|
|
|
|
|
= 0. |
|
|
|
|
|
|
|
|
|
|
|
( . ) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
∂xˆ |
|
|
|
|
|
|
∂xˆ |
|
|
|
∂xˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Осталось показать, что |
∂L(x0, λ) |
= 0 при найденном λ . |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
∂x˜ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
По теореме 3.49 о неявной вектор-функции нескольких переменных в неко- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
торой окрестности точки x |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
||||||||||||||
|
существует единственное решение xˆ = ψ(˜x) урав- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
нения ϕ~(x) = 0 . При этом: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
~ |
0 |
) |
|
|
|
|
|
|
|
|
0 |
) |
! |
−1 |
|
|
|
|
|
0 |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
dψ(˜x |
= − |
∂~ϕ(x |
|
|
|
∂~ϕ(x |
|
|
|
|
|
|
|
|
|
|
|
|
( . ) |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
dx˜ |
|
|
|
|
|
|
|
∂xˆ |
|
|
|
|
|
∂x˜ |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
По теореме 3.50 и следствию 3.5 получаем, что grad g(˜x0) = 0 , где |
g(˜x) = |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= f(˜x ψ(˜x)) . Отсюда и из ( . ), ( . ) следует, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
dg(˜x0) |
|
|
|
|
df(x0) |
|
|
En−m |
|
∂f(x0) |
|
|
|
∂f(x0) dψ~(˜x0) |
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
0 = |
|
|
|
= |
|
|
|
|
|
|
|
dψ~(˜x0) |
= |
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
||||||||||||||||||||||
|
|
dx˜ |
|
|
dx |
|
|
|
|
|
|
|
∂x˜ |
|
|
|
∂xˆ |
|
|
dx˜ |
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx˜ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
∂f(x0) |
|
|
∂~ϕ(x0) |
|
∂~ϕ(x0) |
−1 |
∂~ϕ(x0) |
|
|
|
|
∂f(x0) |
|
|
|
|
|
∂~ϕ(x0) |
|
|
|
∂L(x0, λ) |
||||||||||||||||||||||||||||||||||
= |
|
|
|
+ λT |
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
= |
|
|
|
|
|
+ λT |
|
|
|
= |
|
|
|
. |
||||||||||||||||||||||||
|
∂x˜ |
∂xˆ |
|
|
|
|
|
|
∂xˆ |
|
|
|
∂x˜ |
|
|
∂x˜ |
|
|
|
∂x˜ |
|
∂x˜ |
|||||||||||||||||||||||||||||||||||
Теорема доказана. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Упражнение . Пусть матрица A имеет размерность m |
× |
n , m |
6 |
|
n , rang A = m . |
||||||||||||||||||||||||||||||||||||||||||||||||||||
Тогда дляTлюбого z Kern A |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
такой, |
||||||||||||||||||
|
|
|
существует единственный вектор k R |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
что z = A k . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Теорема 3.52. Пусть матрица A имеет размерность m×n , m 6 n , rang A = m ,
z Kern A и |z| → 0 . Тогда |
| A z| |z| . |
|
|||||||||
Доказательство. Квадратная матрицаT |
TA AT размерности m × m невырожде- |
||||||||||
на, поэтому квадратичная форма t A A |
t положительно определена (посколь- |
||||||||||
ку |
tT A AT t = |
AT t |
2 |
). Пусть |
S |
> |
s > 0 |
— точные границы значений функции |
|||
|
T |
A A |
T | |
| |
|
|
|
||||
H(t) = t |
|
t |
на единичной сфере. Тогда |
||||||||
|z|2 = kT A AT k = |k|2tT A AT t [s|k|2; S|k|2],
1 Kern A = {y| A y = 0} — ядро линейного оператора с матрицей A .
3.8. УСЛОВНЫЙ ЭКСТРЕМУМ |
41 |
где t = k/|k| , k находится из уравнения z = AT k . Аналогично,
| A z|2 = kT A AT A AT k [s1|k|2; S1|k|2],
где S1 > s1 > 0 — точные границы значений H1(t) = tT A AT A AT t на единичной сфере. Отсюда следует, что |z|2 | A z|2 . 

Обозначим E = {x| ϕ~(x) = 0} .
Теорема 3.53 (достаточное условие условного экстремума). Пусть f и ϕ~ определены и дважды дифференцируемы в окрестности точки x0 E . Пусть, кроме того, grad L(x0, λ) = 0 при некотором λ , и для всех векторов y , удовлетворяющих равенству
|
|
|
d~ϕ(x0) |
( . ) |
||
|
|
|
|
|
y = 0, |
|
|
|
|
|
|
||
|
|
|
|
dx |
|
|
квадратичная форма yT |
d2L(x0 |
, λ) |
y : |
|
||
(dx)2 |
|
|||||
|
|
|
|
|
||
(a)положительна, тогда x0 — точка условного минимума f(x) при условии
ϕ~(x) = 0 ;
(b)отрицательна, тогда x0 — точка условного максимума f(x) при условии
ϕ~(x) = 0 .
Доказательство. Предположим, что M = |
d~ϕ(x0) |
= 0 . Тогда условия (a) и (b) |
||||||||||||||||
dx |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
в точке x0 по |
|||||
являются достаточными условиями экстремума функции L(x, λ) |
||||||||||||||||||
теореме 3.42. Но для всех x E имеем f(x) = L(x, λ) , поэтому x0 |
|
будет точкой |
||||||||||||||||
условного экстремума для f(x) |
при условии ϕ~(x) = 0 . |
|
|
|
|
|
||||||||||||
|
Пусть теперь M 6= 0 . Будем считать, что ранг этой матрицы равен m . Если |
|||||||||||||||||
это не так, то в исходной задаче рассмотрим только те |
k условий |
ϕj1 (x) = |
||||||||||||||||
= |
· · · |
= ϕ |
jk |
(x) = 0 |
, для |
которых векторы |
grad ϕ |
j1 |
(x0), . . . , grad ϕ |
jk |
(x0) |
линейно |
||||||
|
|
|
|
0 |
|
|
|
|
|
|
при дан- |
|||||||
независимы, поскольку если x |
|
— точка условного экстремума f(x) |
||||||||||||||||
ных k условиях, то x0 |
будет точкой экстремума и при всех m условиях. |
|||||||||||||||||
|
Пусть |
|
x = x − x0 . Обозначим через |
y проекцию |
x на пространство |
|||||||||||||
Kern M . Тогда y − |
x ортогонально этому пространству, и, по теореме 3.52, |
|||||||||||||||||
|
|
|
|
|
|
|y − x| | M(y − x)| |
|
|
|
|
|
( . ) |
||||||
при |
x → 0 . По формуле Тейлора для x E имеем 2 |
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
0 = ϕ~(x) − ϕ~(x0) = M x + o(| x|) |
|
|
|
|
( . ) |
|||||||
при x → 0 . Поскольку y удовлетворяет уравнению ( . ), из ( . ) и ( . ) получаем, что
|y − x| | M(y − x)| = o(| x|),
2последнее слагаемое cуть вектор, каждая компонента которого есть o(| x|) .
http://rishelie.by.ru/files/Math/Work/mathan.pdf c Н. И. Казимиров
42 |
|
ГЛАВА 3. ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ |
|||||||||||||||||||||||
следовательно, x = y + δ , где δi |
= o(| x|) , i = |
|
|
. |
|
|
|
|
|
|
|
||||||||||||||
1, n |
|
|
|
|
|
|
|
||||||||||||||||||
Для x E по формуле Тейлора получаем, что |
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
f(x) − f(x0) = L(x, λ) − L(x0, λ) = |
|
|
|
( . ) |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
D2(L; x0, |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
= grad L(x0, λ)Δx + |
|
|
|
x) + o(| |
|
x|2) |
|
|
|||||||||||||||
|
|
2 |
|
|
|
||||||||||||||||||||
при x → x0 . По условию теоремы grad L(x0, λ) = 0 . Кроме того, |
|||||||||||||||||||||||||
2 |
0 |
|
|
|
T d2L(x0, λ) |
|
|
T d2L(x0, λ) |
|
|
|||||||||||||||
D (L; x |
, x) = (Δx) |
|
|
|
|
|
|
x = (y + δ) |
|
|
|
|
|
|
|
|
(y + δ) = |
||||||||
|
|
(dx)2 |
|
|
|
|
(dx)2 |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
T d2L(x0, λ) |
|
|
|
|
|
T d2L(x0, λ) |
T d2L(x0, λ) |
|
|
|||||||||||||
|
|
= y |
|
|
|
|
|
y + 2y |
|
|
|
δ + δ |
|
|
|
|
|
δ = |
|||||||
|
|
|
(dx)2 |
|
(dx)2 |
|
|
|
(dx)2 |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
d2L(x0, λ) |
|
|
|
|
|
|
|
|
d2L(x0, λ) |
|||||||||||
|
|
= |y|2tT |
|
|
|
|
t + o(|y|2) = | |
|
|
x|2 |
tT |
|
|
|
t + o(1)! , |
||||||||||
|
|
|
|
(dx)2 |
|
|
|
|
(dx)2 |
|
|||||||||||||||
где t = y/|y| . Очевидно, что t удовлетворяет уравнению ( . ), поэтому функция
H(t) = tT d2L(x0,λ) t сохраняет знак при выполнении условия (a) или условия (b). В силу непрерывности H(t) на замкнутом ограниченном множестве {t| M t =
= 0, |
t |
| |
= 1 |
} из |
полученных соотношений и формулы ( . ) получаем, что знак |
|||||
|
| |
|
0 |
) в достаточно малой окрестности |
x |
0 |
при |
x E совпадает |
||
разности f(x) −f(x |
|
|||||||||
со знаком H(t) . Теорема доказана. |
|
|
|
|
||||||
Пример. Пусть f(x) = x1 · · · xn при условии x1 + x2 + · · · + xn = 1 . Для поиска условного экстремума находим
|
|
|
grad L(x, λ) = (f(x)/x1 + λ, . . . , f(x)/xn + λ) = 0, |
|
|
|
||||||||||||||||
откуда x10 |
= · · · = xn0 = λ = 1/n . Условие ( . ) равносильно |
y1 + · · · + yn = 0 . |
||||||||||||||||||||
Далее, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
n−n+2 . . . n−n+2 |
|
|
|
|
|
|
|
|
||||||
yT |
d2L(x0, λ) |
y = yT |
n−n+2 |
0 . . . n−n+2 |
y = |
|
y |
2n−n+2 < 0. |
|
|||||||||||||
2 |
|
|
|
|
|
|
||||||||||||||||
|
|
(dx) |
|
|
|
. . . . . . . . . . . . . . . . . . . |
|
−| | |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n−n+2 |
n−n+2 . . . |
|
0 |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поэтому f(x) достигает максимума в точке x |
1 |
= |
· · · |
= x |
n |
= 1/n . Отсюда сле- |
||||||||||||||||
дует, что |
x1 |
xn |
6 |
(1/n) |
n |
и для любых yi |
> |
|
|
|
xi |
= yi/ |
Pi |
yi , легко |
||||||||
|
0 , полагая |
|||||||||||||||||||||
получаем, что· · · |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
√
n y1 · · · yn 6 (y1 + · · · + yn)/n.
3.9 Вопросы для коллоквиума
1) Производная произведения, частного, обратной функции.
3.9. ВОПРОСЫ ДЛЯ КОЛЛОКВИУМА |
43 |
2)Формула Лейбница.
3)Теорема о конечном приращении.
4)Правило Лопиталя.
5)Формула Тейлора и разложения exp, sin, cos, ln .
6)Достаточное условие экстремума (о смене знака производной).
7)Достаточное условие экстремума ( n -ая производная).
8)Неравенство Коши—Буняковского для скалярного произведения.
9)Неравенство Минковского.
10)Путь, обратный путь, склейка путей.
11)Диффеоморфизм, кривая.
12)Производная параметризованной кривой dy(t)/dx(t) .
13)Частные производные, градиент.
14)Производная по направлению.
15)Дифференциал вектор-функции нескольких переменных, якобиан.
16)Биномиальная формула для dnf(x, y) ( x, y R ).
17)Формула Тейлора для функции нескольких переменных.
18)Критерий Сильвестра.
19)Достаточное условие экстремума функции нескольких переменных.
20)Производная неявной функции.
21)Условный экстремум.
http://rishelie.by.ru/files/Math/Work/mathan.pdf c Н. И. Казимиров
