- •1 Аксиоматика множеств действительных чисел
- •Действительные числа
- •Изображение вещественных чисел бесконечными десятичными дробями
- •Изоморфизм
- •Мощность множества
- •2 Ограниченные и неограниченные множества
- •Ограниченные множества
- •Верхняя и нижняя грань
- •Теорема Архимеда
- •Метод математической индукции
- •3 Предел числовой последовательности
- •Числовые последовательности
- •Свойства бесконечно малых числовых последовательностей
- •Связь бесконечно больших и бесконечно малых последовательностей
- •Предел числовой последовательности
- •4 Сходящиеся последовательности
- •Свойства сходящихся числовых последовательностей
- •Предельный переход и неравенства
- •Теорема о двух милиционерах
- •5 Монотонные последовательности
- •Определение
- •Теорема Вейерштрасса
- •Число Эйлера
- •Система стягивающихся сегментов
- •6 Частичные пределы последовательности
- •Подпоследовательности
- •Частичные пределы
- •Критерий сходимости числовой последовательности
- •7 Критерий Коши
- •Фундаментальная последовательность
- •Критерий Коши
- •Телескопический признак сходимости
- •Покрытие множеств
- •Предельные точки множеств
- •9 Предел функции
- •Определения
- •Предел функции в точке по Коши
- •Предел функции в точке по Гейне
- •Эквивалентность формулировок
- •Односторонние пределы
- •10 Теоремы, связанные с понятием предела функции
- •Арифметические операции с пределами
- •Предел композиции функций
- •Предельный переход и неравенства
- •11 Критерий Коши существования предела функции
- •Критерий Коши
- •Асимптотическое сравнение функций
- •Свойства отношения эквивалентности
- •Замечательные пределы
- •Первый замечательный предел
- •Второй замечательный предел
- •Таблица эквивалентностей
- •12 Непрерывность функции
- •Понятие непрерывности
- •Свойства непрерывных функций
- •Арифметические операции над непрерывными функциями
- •Непрерывность композиции функций
- •Классификация точек разрыва
- •Точки разрыва монотонной функции
- •13 Локальные и глобальные свойства непрерывных функций
- •Локальные свойства
- •Локальная ограниченность функции, имеющей конечный предел
- •Сохранение знака непрерывной в точке функции
- •Глобальные свойства
- •Прохождение непрерывной функции через 0 при смене знаков
- •Прохождение непрерывной функции через любое промежуточное значение
- •Критерий непрерывности монотонной функции
- •14 Теоремы Вейерштрасса
- •Первая теорема Вейерштрасса
- •Вторая теорема Вейерштрасса
- •Производная функции
- •Понятие производной
- •Односторонние производные
- •Геометрическая интерпретация производной
- •Дифференцируемость функции
- •16 Теоремы о дифференцируемости функций I
- •Правила дифференцирования
- •Функции, заданные параметрически
- •17 Теоремы о дифференцируемых функциях II
- •18 Теоремы о дифференцируемых функциях III
- •19 Производные высших порядков
- •Определение
- •Формула Лейбница
- •Инвариантность формы дифференциала
- •Инвариантность первого дифференциала
- •Нарушение инвариантности для дифференциалов высших порядков
- •Дифференцирование функции, заданной параметрически
- •20 Равномерная непрерывность
- •Равномерная непрерывность
- •Модуль непрерывности и колебание функции на отрезке
- •21 Раскрытие неопределенностей
- •Первое правило Лопиталя
- •Второе правило Лопиталя
- •Применение на практике
- •22 Формула Тейлора
- •Постановка задачи
- •Формула Тейлора с остаточным членом в форме Пеано и Лагранжа
- •Единственность разложения
- •Разложение по формуле Маклорена
- •23 Исследование функций методами дифференциального исчисления I
- •Условия монотонности функций
- •Условия точек экстремума
- •Асимптота графика функции
- •Выпуклость функции и точки перегиба
- •Геометрическая интерпретация выпуклости
- •Точки перегиба
- •25 Функции нескольких переменных
- •Определения
- •Классификация точек
- •Открытые и замкнутые множества
- •Окрестность точки
- •Предел функции
- •Функции двух переменных
- •Непрерывность
- •Частные производные ФНП и ее дифференциал
- •Необходимые условия дифференцируемости
- •Достаточное условие дифференцируемости
- •27 Дифференцируемость сложной функции нескольких переменных
- •Дифференцируемость сложной функции
- •Инвариантность формы первого дифференциала и правила дифференцирования
- •28 Частные производные и дифференциалы высших порядков
- •Смешанные производные
- •Второй дифференциал ФНП
- •29 Геометрический смысл частных производных и полного дифференциала
- •Частная производная первого порядка
- •Касательная плоскость
- •Производная по направлению
- •Градиент
- •30 Неявные функции
- •Понятие неявной функции
- •Теорема о существовании и дифференцируемости неявной функции
- •Теорема о разрешимости системы неявных функций
- •31 Безусловный экстремум функции нескольких переменных I
- •32 Безусловный экстремум функции нескольких переменных II
- •Необходимое условие локального экстремума в терминах второй производной
- •Критерий Сильвестра
- •Достаточное условие локального экстремума для функции двух переменных
- •Формула Тейлора и замена переменных для ФНП
- •Формула Тейлора в многомерном случае
- •Замена переменных в дифференциальных уравнениях
- •33-34 Условный локальный экстремум
- •Метод исключения для нахождения точек условного экстремума
- •Метод неопределенных множителей Лагранжа
- •Достаточные условия существования условного экстремума по методу Лагранжа
- •35 Первообразная функция и неопределенный интеграл I
- •Основные определения
- •Свойства неопределенного интеграла
- •Методы интегрирования
- •36 Первообразная функция и неопределенный интеграл II
- •Разложение многочлена на множители
- •Комплексные числа
- •Разложение многочлена на множители
- •Интегрирование рациональных дробей
- •37 Первообразная функция и неопределенный интеграл III
- •Некоторые тригонометрические выражения
- •Квадратичные иррациональности
- •38 Определенный интеграл Римана I
- •Разбиение отрезка
- •Свойства измельчения
- •Определенный интеграл
- •Необходимое условие интегрируемости
- •Критерий интегрируемости функции по Риману
- •39 Определенный интеграл Римана II
- •Интегральные суммы Дарбу
- •Достаточные признаки интегрируемости
- •Свойства интегрируемых функций
- •Безымянное свойство
- •Аддитивность
- •Линейность интеграла
- •Интегрируемость произведения
- •Неотрицательность определенного интеграла
- •Интегрируемость модуля
- •Ну и еще два свойства
- •40 Определенный интеграл Римана III
- •Теоремы о среднем
- •Первая теорема о среднем
- •Вторая теорема о среднем
- •Связь между определенным и неопределенным интегралами
- •Основная формула интегрального исчисления
- •Замена переменной в определенном интеграле
- •Интегрирование по частям
- •41 Несобственные интегралы
- •Несобственные интегралы I рода
- •Несобственные интегралы II рода
- •Сходимость в смысле главного значения
- •Критерий Коши сходимости несобственных интегралов I рода
- •42 Признаки сравнения несобственных интегралов
- •Простейшие признаки сравнения
- •Абсолютная и условная сходимость
- •Признак Дирихле
- •Признак Абеля
- •43 Приложения интегрального исчисления к вычислению площадей
- •Многоугольные фигуры
- •Свойства площади
- •Квадрируемость фигуры
- •Критерии квадрируемости
- •Криволинейная трапеция
- •Параметрически заданная кривая
- •Площадь фигуры в полярной системе координат
- •Понятие кривой на плоскости и в пространстве
- •Длина дуги кривой
- •Объем тела вращения
- •Дифференцирование под знаком интеграла
- •Теория
- •Примеры
- •Вопросы для самопроверки перед коллоквиумом
- •45 Численные методы
- •Метод бисекции
- •Нахождение всех корней полинома
- •Метод Ньютона
- •Метод золотого сечения
- •Градиентный спуск
- •Приближенное вычисление определенных интегралов
- •Метод прямоугольников
- •Метод трапеций
- •Метод Симсона
- •Различные равенства и неравенства
- •Тригонометрические тождества
- •Классика
- •Гиперболические функции
- •Предел числовой последовательности
- •Функции
- •Функции нескольких переменных
- •Таблица производных
- •Ряды Маклорена
- •Таблица неопределенных интегралов
- •Методы интегрирования
- •Интегрирование рациональных функций
- •Метод неопределенных коэффициентов
- •Метод Остроградского
- •Рационализация интегралов
- •Обобщенная формула интегрирования по частям
- •Более нестандартные примеры
- •Определенные и несобственные интегралы
3. |
|
= ( , ) = · . Тогда = |
∂ |
+ |
∂ |
= + . |
|
|
|
||||||||
|
|
|
|
||||||||||||||
|
∂ |
∂ |
|
|
− . |
||||||||||||
|
|
|
|||||||||||||||
4. |
|
= ( , ) = |
. Аналогично, |
= |
∂ |
+ |
∂ |
= |
1 |
− |
|
= |
|||||
|
|||||||||||||||||
|
∂ |
∂ |
|
2 |
|||||||||||||
|
|
|
2 |
Заметим, что в силу инвариантности формы первого дифференциала все эти формулы справедливы и в случае, когда , зависят от каких-либо переменных. [:|||||:]
Часть 28
Частные производные и дифференциалы высших порядков
1Смешанные производные
|
|
|
∂ |
|
|
|
|
|
∂ |
|
|
∂ |
||
Пусть |
(¯) имеет производную |
|
|
(¯), дифференцируя которую по , получим |
|
|
|
|
|
. |
||||
|
∂ |
∂ |
|
|
∂ |
|
||||||||
Введем теперь некоторые определения |
и обозначения. |
|
|
( |
) |
|||||||||
Если ̸= , то частная производная |
∂ |
∂ |
называется смешанной производной функ- |
|||||||||||
∂ |
|
∂ |
||||||||||||
ции |
по переменным и . |
Обозначать смешанную производную принято так: |
|
|
|
|
|
|||||||
|
|
|
|
( |
|
) |
|
|
|
|
|
|
∂2 или ′′ .
∂ ∂
Будем использовать такой порядок переменных в этом обозначении, в каком производится взятие производных.
(
Если = , то производная ∂∂
по . Обозначение такое же:
∂ |
|
|
|
|
|
|
|
) |
называется второй частной производной функции |
||||
∂ |
||||||
|
|
|
∂2 |
или ′′ |
|
. |
|
|
|
|
|
||
|
|
|
∂ 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂2 |
|
∂2 |
|
|
|
|
|
|
|
|
|
|
|
Вообще говоря, |
|
̸= |
|
. В качестве примера рассмотрим функцию |
||||||||||
∂ ∂ |
∂ ∂ |
|||||||||||||
|
|
|
( , ) = |
{0, |
|
|
если 2 |
+ 2 |
= 0. |
|||||
|
|
|
|
|
|
3 |
, |
|
если |
2 |
+ |
2 |
> 0, |
|
|
|
|
|
|
|
2+ 2 |
|
|
|
|||||
Сначала найдем частные производные: |
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
∂ |
= |
( 4 + 3 2 2) |
, |
|
|
||||
|
|
|
|
|
∂ |
|
( |
2 |
2 2 |
|
|
|
||
|
|
|
|
|
|
|
|
+ ) |
|
|
|
|
∂3( 2 − 2)
∂= ( 2 + 2)2 .
По определению производной:
∂ |
(0, 0) = lim |
( , 0) − (0, 0) |
= 0 = |
∂ |
(0, 0). |
|
∂ |
|
∂ |
||||
→0 |
|
|
80
Теперь снова по определению посчитаем вторые частные производные:
∂2 |
|
(0, 0) |
= lim |
′ |
(0, ) − ′ (0, 0) |
= 0, |
|||
∂ ∂ |
|
|
|||||||
|
→0 |
|
|
|
|
|
|||
2 |
|
|
|
′ |
( , 0) |
− |
′ |
(0, 0) |
|
∂ |
(0, 0) |
= lim |
|
|
|
|
= 1. |
||
∂ ∂ |
|
|
|
|
|
||||
|
→0 |
|
|
|
|
Получили разные результаты. Заметим, что следующее рассуждение неверно!
∂ ∂ |
= |
∂ |
|
|
3( 2 + 2) − 3 · 2 |
|
= |
∂ |
|
|
5 − 3 2 |
= |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
∂ (∂ ) |
∂ |
( |
|
|
) |
∂ ( |
( 2 + 2)2 ) |
|
|
|
||||||||||||||
|
|
( 2 + 2)2 |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
= |
|
(5 4 − 3 2 2)( 2 + 2)2 − ( 5 − 3 2) · 2( 2 + 2) · 2 |
= |
6 + 6 4 2 − 3 2 4 |
. |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
( 2 + 2)4 |
|
|
|
( 2 + 2)3 |
|||||||
И в другом порядке: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
∂ ∂ |
|
∂ |
|
|
3 2 ( 2 + 2) |
3 |
|
2 |
|
|
∂ |
|
4 + 3 2 3 |
|
|
|
|
|||||||
|
( |
|
) |
= |
|
( |
|
− |
· |
|
|
) = |
|
|
( |
|
) = |
|
|
|
||||
∂ |
∂ |
∂ |
|
( 2 + 2)2 |
|
|
|
∂ |
( 2 + 2)2 |
|
|
|
||||||||||||
|
|
|
|
|
= |
( 4 + 9 2 2)( 2 + 2)2 − ( 4 + 3 2 3) · 2( 2 + 2) · 2 |
= |
6 + 6 4 2 − 3 2 4 |
. |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
( 2 + 2)4 |
|
|
|
|
|
( 2 + 2)3 |
Это неверно, т.к. предоставленные выражения справедливы только при 2 + 2 > 0, что в нашем случае не так, поэтому данные производные необходимо вычислять по определению!
2Теорема о совпадении смешанных производных для функций переменных
Теорема 28.1 (Теорема Шварца). Если функция (¯) имеет в точке (0) непрерывные сме-
шанные производные |
∂2 |
|
( (0)) |
и |
|
∂2 |
|
( (0)), то данные производные равны. |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
∂ ∂ |
|
|
∂ ∂ |
|
|
|
|
|
|
|
|
|
|
||||||||
Доказательство. Определим оператор |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
( (¯)) = ( 1(0), 2(0), . . . , (0) |
+ |
, . . . , (0)) − ( 1(0), . . . , (0)). |
|
|
|
|||||||||||||||||||
Очевидно, что этот оператор линеен. Аналогичным образом зададим оператор |
( (¯)). Для |
|||||||||||||||||||||||||
удобства опустим индекс (0): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
(Δ ( (¯))) = |
( ( 1, . . . , + |
, . . . , ) − ( 1, . . . , )) = |
, . . . , , . . . , )− |
|
|
|||||||||||||||||||||
|
= ( 1, . . . , + |
, . . . , + |
|
|
, . . . , ) − ( 1, . . . , + |
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− ( 1, . . . , , . . . , + |
, . . . , ) + ( 1, . . . , ). |
|||||||||
Теперь, поменяв местами |
2 и 3 |
слагаемое, |
получаем |
(Δ ( (¯))), |
т.е. |
(Δ ( (¯))) |
= |
|||||||||||||||||||
(Δ ( (¯))). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Применяя теорему Лагранжа по переменным и соответственно, |
|
|
|
|||||||||||||||||||||||
(∂ ( 1, . . . , + Θ1 |
, . . . , )Δ ) = |
|
(∂ ( 1, . . . , + Θ2 |
, . . . , )Δ ), |
|
|||||||||||||||||||||
|
∂ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
|
|
|
|
∂2 |
|
( 1, . . . , + Θ1 |
|
, . . . , + Θ3 |
, . . . , )Δ |
= |
|
|
|
|||||||||||||
|
|
|
∂ ∂ |
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
= |
|
∂ |
2 |
|
( 1, . . . , + Θ4 |
, . . . , + Θ2 |
, . . . , )Δ |
. |
(1) |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
∂ ∂ |
|
|
|
|
|
|
|
|
|
|
|
|
81
Переход ко второму равенству также сделан по теореме Лагранжа. Помним, что 0 |
< |
|||
Θ1, Θ2, Θ3, Θ4 < 1. Теперь сокращаем (1) на |
и переходим к пределу при |
→ 0, |
|
→ |
0. Используя непрерывность производных, получаем требуемое. |
|
[:|||||:] |
Теорема 28.2 (Обобщение теоремы Шварца). Пусть (¯) имеет в точке 0 непрерывные частные производные -ого порядка, а в некоторой окрестности точки 0 непрерывны все ее производные низших порядков. Тогда частные производные -ого порядка, отличающиеся исключительно порядком дифференцирования, совпадают в данной точке.
Доказательство. Из необходимых условий дифференцирования следует, что все частные производные ( − 1)-ого порядка функции (¯) являются непрерывными. Используя метод математической индукции, можно доказать, что все производные функции до порядка включительно непрерывны.
Теперь достаточно доказать, что
|
|
|
∂ |
|
|
|
|
= |
|
|
|
∂ |
|
|
|
|
. |
||
∂ 1 . . . ∂ ∂ +1 . . . ∂ |
|
∂ 1 . . . ∂ +1 ∂ . . . ∂ |
|||||||||||||||||
Для этого рассмотрим функцию |
|
∂ −1 |
. Для нее выполнены все условия теоремы Шварца, |
||||||||||||||||
∂ |
|
...∂ |
|||||||||||||||||
значит |
|
1 |
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
∂ +1 ( 0) |
|
|
|
|
∂ +1 ( 0) |
|
|
|
|
||||||||||
|
|
|
|
|
= |
|
|
|
|
. |
|
||||||||
|
∂ 1 |
. . . ∂ |
−1 |
∂ |
∂ |
+1 |
∂ 1 |
. . . ∂ |
−1 |
∂ |
+1 |
∂ |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теперь осталось лишь продифференцировать полученное − − 1 раз, после чего и получим доказываемое. [:|||||:]
3Второй дифференциал ФНП
Будем рассматривать функцию (¯): U ( 0) →R (от переменных).
Первым полным дифференциалом данной функции в точке 0 называется выражение:
( 0) = |
∂ ( 0) |
1 + · · · + |
∂ ( 0) |
. |
∂ 1 |
∂ |
Если (¯) в свою очередь тоже дифференцируема, то можно рассмотреть дифференциал
( (¯)) = |
|
|
∂ |
) |
= |
( |
|
∂ ∂ ). |
|
|
|
|
∂ |
|
|
∂2 |
|||
|
=1 |
( |
=1 |
|
=1 |
|
|
||
|
∑ |
|
|
|
∑ |
|
∑ |
|
|
Заметим, что используемое обозначение призвано подчеркнуть, что дифференциал задается приращениями по каждой переменной, поэтому следует использовать именно его. Однако если = (а мы чаще всего и имеем дело со случаем, когда все переменные независимы, и поэтому = ), то ( ) обозначается как 2 , т.е.
|
|
∂2 |
|
|
2 = ( )| = = |
∑, |
. |
||
∂ ∂ |
||||
=1 |
||||
|
|
|
Эту формулу удобнее записывать, введя формальный символ:
|
|
∂ |
|
∂ |
+ · · · + |
|
∂ |
|
|
|
||||||||
= |
|
|
|
1 |
+ |
|
|
2 |
|
|
|
|
, |
|
||||
|
∂ 1 |
∂ 2 |
∂ |
|
||||||||||||||
2 = |
(∂ 1 1 + ∂ 2 2 + · · · + ∂ ) |
2 |
||||||||||||||||
. |
||||||||||||||||||
|
|
|
∂ |
|
|
|
∂ |
|
|
|
|
∂ |
|
|
|
82