
- •3. Дифференциальное исчисление функций нескольких переменных.
- •Принцип выбора Больцано-Вейштрасса. Распространение на случай пространства произвольной конечной размерности
- •Предел функции. Повторные пределы функции. Предел функции нескольких переменных
- •Определение
- •Равенство повторных пределов
- •Критерий Коши существования предела функции.
- •Непрерывность функции по совокупности переменных и по каждой переменной в отдельности.
- •Непрерывность и суперпозиция непрерывных функций.
- •2. Непрерывность сложной функции.
- •Теорема Коши о промежуточном значении функции, непрерывной на множестве.
- •Теорема Вейерштрасса о функциях, непрерывных на множествах. Теорема Вейерштрасса для непрерывных функций на компакте
- •Равномерная непрерывность функции нескольких переменных. Теорема Кантора.
- •Доказательство. Воспользуемся доказательством от противного.
- •Замечания
- •Частные производные от функции нескольких переменных.
- •Формула для полного приращения функции. Дифференцируемость функции в точке.
- •Функции нескольких переменных
- •Теорема о дифференцируемости сложной функции.
- •Связь между полным дифференциалом и полным приращением функции. Дифференциал функции
- •Связь дифференциала с частными производными
- •Инвариантность формы первого дифференциала.
- •Касательная плоскость и нормаль к поверхности.
- •Производная от скалярной функции по данному направлению.
- •Градиент скалярной функции и его аналитическое выражение. Оператор «набла».
- •Определение
- •Частные производные высших порядков. Теорема о независимости смешанной производной от порядка дифференцирования. Частные производные высших порядков
- •Основа теоремы о независимости смешанной производной от порядка дифференцирования
- •Полные дифференциалы высших порядков. Дифференциал высшего порядка функции нескольких переменных
- •Формула Тейлора для функции нескольких переменных.
- •Понятие неявной функции. Теорема о её существовании и дифференцируемости. Неявно заданная функция
- •Теорема существования и дифференцируемости функции, заданной неявно
- •Вычисление частных производных функция, заданных неявно.
- •Необходимые условия локального экстремума функции нескольких переменных. Локальный экстремум функций нескольких переменных. Необходимые условия безусловного локального экстремума.
- •Необходимые условия экстремума функции многих переменных.
- •Достаточные условия локального экстремума. Достаточные условия экстремума функции двух переменных
- •Исследование квадратичной формы для функции двух переменных. Метод вычисления критериев Сильвестера.
- •Понятие условного экстремума. Сведение условного экстремума к безусловному.
- •Метод неопределённых множителей Лагранжа.
- •Описание метода
- •Обоснование
- •Двумерный случай
Замечания
В частности, непрерывная вещественнозначная функция, определённая на отрезке,
равномерно непрерывна на нём.
В условиях теоремы компакт нельзя заменить на произвольное открытое множество. Например, функция
непрерывна на всей области определения, но не является равномерно непрерывной.
Частные производные от функции нескольких переменных.
Частной производной
поот
функции
называется
предел отношения частного приращения
этой функции
по
к
приращению
,
когда последнее стремится к нулю:
.
Частной
производной поот
функции
называется
предел отношения частного приращения
этой функции
по
к
приращению
,
когда последнее стремится к нулю:
.
Пусть задана
функция
.
Если аргументу
сообщить
приращение
,
а аргументу
–
приращение
,
то функция
получит
приращение
,
которое называетсяполным приращением
функциии определяется формулой:
.
Функция
,
полное приращение
которой
в данной точке может быть представлено
в виде суммы двух слагаемых (выражения,
линейного относительно
и
,
и величины бесконечно малой высшего
порядка относительно
):
где
и
стремятся
к нулю, когда
и
стремятся
к нулю (т.е. когда
),
называетсядифференцируемой в данной
точке.
Линейная
(относительно
и
)
часть полного приращения функции
называетсяполным дифференциаломи обозначается
:
,
где
и
–
дифференциалы независимых переменных,
которые, по определению, равны
соответствующим приращениям
и
.
Частные производные
от частных производных первого порядка
называются частными производными
второго порядка. Для функции двух
переменныхих
четыре:
Формула для полного приращения функции. Дифференцируемость функции в точке.
Полное
приращение функции нескольких переменных
- приращение, приобретаемое функцией,
когда все аргументы получают (вообще
говоря, ненулевые) приращения. Точнее,
пусть функция f определена в окрестности
точки
n-мерного
пространства
переменныхх 1,. . .,х п.Приращение
функции f в точке x(0), где
называется полным приращением, если оно рассматривается как функция n всевозможных приращений Dx1, . . ., Dxnаргументовх 1, . ..,х п,подчиненных только условию, что точка x(0)+Dx принадлежит области определения функции f. Наряду с П. п. функции рассматриваются частные приращения Dxkfфункции f в точке х(0)по переменнойх k,т. е. такие приращения Df, для к-рых Dx уj=0, j=1, 2, . . .,k-1, k+1, . . .,п, k -фиксировано (k=1, 2, . . ., п).Л. Д. Кудрявцев.
Функции нескольких переменных
Функция
переменных
является
дифференцируемой в точке
своей
области определения
,
если для любой точки
существуют
такие константы
,
что
|
где
.
В этой записи функция
|
является
дифференциалом функции
в
точке
,
а числа
являются
частными производными функции
в
точке
,
то есть
|
где
—
вектор, все компоненты которого, кроме
-ой,
равны нулю, а
-ая
компонента равна 1.
Каждая дифференцируемая
в точке функция имеет в этой точке все
частные производные, но не каждая
функция, имеющая все частные производные,
является дифференцируемой. Более того,
существование частных производных в
некоторой точке не гарантирует даже
непрерывность функции в этой точке. В
качестве такого примера можно рассмотреть
функцию двух переменных
,
равную
при
и
при
.
В начале координат обе частные производные
существуют (равны нулю), но функция не
является непрерывной.
Это обстоятельство могло бы стать серьезной помехой всему дифференциальному исчислению функций многих переменных, если бы не выяснилось, что непрерывности частных производных в точке достаточно для дифференцируемости функции в этой точке.