Устранимые точки разрыва
Если предел функции существует, но он не совпадает со значением функции в данной точке:
тогда точка называется точкой устранимого разрыва функции
Если «поправить» функцию в точке устранимого разрыва и положить , то получится функция, непрерывная в данной точке. Такая операция над функцией называется доопределением фукции до непрерывной или доопределением фукции по непрерывности, что и обосновывает название точки, как точки устранимого разрыва.
Точки разрыва первого и второго рода
Если предел функции в данной точке отсутствует (и функцию нельзя доопределить до непрерывной), то для числовых функций возникает два возможных варианта, связанных с существованием у числовых функций односторонних пределов:
теорема Вейерштрасса о максимальном значении. Функция, непрерывная на отрезке, ограничена на нем. При этом на отрезке есть точка, где функция принимает максимальное значение, и есть точка, где она принимает минимальное значение.
Равноме́рная непреры́вность в математическом и функциональном анализе — это свойство функции быть одинаково непрерывной во всех точках области определения.
Теоре́ма Ка́нтора — Ге́йне в математическом и функциональном анализе гласит, что функция, непрерывная на компакте, равномерно непрерывна на нём.
Дифференци́руемая (в точке) фу́нкция — это функция, у которой существует дифференциал (в данной точке). Дифференцируемая на некотором множестве функция — это функция, дифференцируемая в каждой точке данного множества.
Дифференциа́л (от лат. differentia — разность, различие) — понятие математического анализа, линейная часть приращения функции.
f(x)=k=tg(x)
Производные простых функций
когда и определены,
Так как , то пусть и
Тогда
[
(частный случай формулы Лейбница)
— Правило дифференцирования сложной функции
Цепное правило (правило дифференцирования сложной функции) позволяет вычислить производную композиции двух и более функций на основе индивидуальных производных. Если функция f имеет производную в точке , а функция g имеет производную в точке , то сложная функция h(x) = g(f(x)) также имеет производную в точке .
|
[править]Одномерный случай
Пусть даны функции, определённые в окрестностях на числовой прямой, где и Пусть также эти функции дифференцируемы: Тогда их композиция также дифференцируема: и её производная имеет вид:
[править]Замечание
В обозначениях Лейбница цепное правило для вычисления производной функции где принимает следующий вид:
[править]Инвариантность формы первого дифференциала
Дифференциал функции в точке имеет вид:
где — дифференциал тождественного отображения :
Пусть теперь Тогда , и согласно цепному правилу:
Таким образом, форма первого дифференциала остаётся одной и той же вне зависимости от того, является ли переменная функцией или нет.
[править]Пример
Пусть Тогда функция может быть записана в виде композиции где
Дифференцируя эти функции отдельно:
получаем
[править]Многомерный случай
Пусть даны функции где и Пусть также эти функции дифференцируемы: и Тогда их композиция тоже дифференцируема, и её дифференциал имеет вид
В частности, матрица Якоби функции является произведением матриц Якоби функций и
[править]Следствия
Якобиан композиции двух функций является произведением якобианов индивидуальных функций:
Для частных производных сложной функции справедливо
Для дифференцируемой функции с производной, отличной от нуля, производная обратной функции равна обратной величине производной данной функции, т.е
Лейбница формула
формула, выражающая производную n-го порядка (см. Дифференциальное исчисление) от произведения двух функций через производные сомножителей:
.
Эта формула была сообщена Г. Лейбницем в письме к И. Бернулли в 1695. Л. ф. облегчает вычисление производных высших порядков.
Для любого натурального числа уравнение
не имеет натуральных решений , и .
Если вещественная функция непрерывна на отрезке и дифференцируема на интервале , принимает на концах этого интервала одинаковые значения, то на этом интервале найдётся хотя бы одна точка, в которой производная функции равна нулю.
(Теорема Лагранжа) Пусть функция f(x)
непрерывна на отрезке [a, b];
дифференцируема в интервале (a, b).
Тогда существует точка с (a, b) такая, что
|
f(b) − f(a) = f '(c) · (b − a) . |
(Теорема Коши) Пусть функции f(x) и g(x)
непрерывны на отрезке [a, b];
дифференцируемы в интервале (a, b);
x (a, b) g'(x) ≠ 0 .
Тогда существует точка c (a, b) такая, что
|
=
. |