Дифференци́руемая (в точке) фу́нкция — это функция, у которой существует дифференциал (в данной точке). Дифференцируемая на некотором множестве функция — это функция, дифференцируемая в каждой точке данного множества. Дифференцируемость является одним из фундаментальных понятий в математике и имеет значительное число приложений как в самой математике, так и в других естественных науках.
Приращение дифференцируемой в данной точке функции можно представить как линейную функцию приращения аргумента с точностью до величин более высокого порядка малости. Это означает, что для достаточно малых окрестностей данной точки функцию можно заменить линейной (скорость изменения функции можно считать неизменной). Линейная часть приращения функции называется её дифференциалом (в данной точке).
Необходимым, но не достаточным условием дифференцируемости является непрерывность функции. В случае функции от одной вещественной переменной дифференцируемость равносильна существованию производной. В случае функции нескольких вещественных переменных необходимым (но не достаточным) условием дифференцируемости является существование частных производных по всем переменным. Для дифференцируемости функции нескольких переменных в точке достаточно, чтобы частные производные существовали в некоторой окрестности рассматриваемой точки и были непрерывны в данной точке.[1]
В случае функции комплексной переменной дифференцируемость в точке часто называется моногенностью и существенно отличается от понятия дифференцируемости в вещественном случае. Ключевую роль в этом играет так называемое условие Коши — Римана. Функция, моногенная в окрестности точки, называется голоморфной в этой точке.[2][3]
Например, функция определена и дифференцируема в любой вещественной точке, поскольку её можно представить в виде
.
При этом её производная есть , а уравнение касательной прямой, проведённой в точке , имеет вид: .
Элементарные функции могут быть непрерывны в некоторой точке, но не быть в ней дифференцируемы. Например, функция является непрерывной на всей вещественной оси, но её производная испытывает скачок при переходе через точку , в котором эта функция не является дифференцируемой. В этой точке нельзя провести и касательную к графику функции. Функция тоже непрерывна на всей вещественной оси и её график имеет касательные во всех точках, однако касательная, проведённая в точке , является вертикальной прямой и поэтому производная функции бесконечно велика в точке , а сама функция не дифференцируема в этой точке.
Из графиков элементарных функций можно сделать вывод, что произвольная функция дифференцируема всюду, за исключением некоторых отдельных значений аргумента. Первая попытка аналитического доказательства этого утверждения принадлежит Амперу[4], и поэтому оно носит название гипотезы Ампера. Это утверждение, однако, неверно в классе аналитически представимых функций, например, функция Дирихле не является даже непрерывной ни в одной точке[5]. Нельзя также считать и произвольную непрерывную функцию дифференцируемой, например, функция Вейерштрасса определена и непрерывна на всей вещественной оси, но не является дифференцируемой ни в одной её точке[6]. Это в частности означает, что к её графику ни в одной точке нельзя провести касательную прямую. Тем не менее, гипотезу Ампера можно рассматривать как нестрогую формулировку следующей теоремы Лебега: любая монотонная функция имеет определённую конечную производную всюду, кроме, быть может, некоторого множества значений меры нуль[7].
Функция переменных является дифференцируемой в точке своей области определения , если существуют такие константы , что для любой точки
где .
В этой записи функция
является дифференциалом функции в точке , а числа являются частными производными функции в точке , то есть
где — вектор, все компоненты которого, кроме -ой, равны нулю, а -ая компонента равна 1.
Каждая дифференцируемая в точке функция имеет в этой точке все частные производные, но не каждая функция, имеющая все частные производные, является дифференцируемой. Более того, существование частных производных в некоторой точке не гарантирует даже непрерывность функции в этой точке. В качестве такого примера можно рассмотреть функцию двух переменных ,
равную при и при . В начале координат обе частные производные существуют (равны нулю), но функция не является непрерывной.
Это обстоятельство могло бы стать серьезной помехой всему дифференциальному исчислению функций многих переменных, если бы не выяснилось, что непрерывности частных производных в точке достаточно для дифференцируемости функции в этой точке.[1]
Примеры типов точек, в которых функция недифференцируема[править | править код]
Функция будет недифференцируема в точке , например, в следующих случаях:
Точка является точкой разрыва, например, функция сигнум недифференцируема в нуле.
Функция имеет вертикальную касательную, то есть , например, недифференцируема в нуле.
Функция имеет заострение в , например, недифференцируема в нуле.
Однако эти случаи не исчерпывают всех ситуаций, когда функция недифференцируема. Так например, функция не относится ни к одному из этих случаев, но тем не менее недифференцируема в нуле.
Линейное отображение является дифференциалом отображения в точке .
Если отображение задано набором функций
то его дифференцируемость в точке равносильна дифференцируемости всех функций в данной точке, и матрица его дифференциала — это матрица Якоби, составленная из частных производных этих функций в точке .
Пример Помпею — пример дифференцируемой функции, производная которой обращается в ноль на плотном множестве. В частности, производная такой функции разрывна в любой точке, где она не равна 0.