Jump to content

Дифференцируемая функция

Дифференцируемая функция

В математике дифференцируемая функция одной действительной переменной — это функция которой , производная существует в каждой точке ее области определения . Другими словами, график дифференцируемой функции имеет невертикальную касательную в каждой внутренней точке ее области определения. Дифференцируемая функция является гладкой (функция локально хорошо аппроксимируется линейной функцией в каждой внутренней точке) и не содержит излома, угла или точки возврата .

Если x0 если является внутренней точкой области определения функции f , то f называется дифференцируемой в точке , x0 производная существует. Другими словами, график f имеет невертикальную касательную в точке ( x 0 , f ( x 0 ) ) . f Говорят, что дифференцируема на U если она дифференцируема в каждой точке U. , f Говорят, что непрерывно дифференцируема , если ее производная также является непрерывной функцией в области определения функции . Вообще говоря, говорят, что f принадлежит к классу если это первый деривативы существуют и непрерывны в области определения функции .

Для функции многих переменных, как показано здесь , ее дифференцируемость — это нечто большее, чем существование ее частных производных.

Дифференцируемость вещественных функций одной переменной [ править ]

Функция , определенный на открытом множестве , называется дифференцируемым при если производная

существует. Это означает, что функция непрерывна в точке a .

Эту функцию f называют дифференцируемой на U если она дифференцируема в каждой точке U. , Таким образом, в этом случае производная f является функцией из U в

Непрерывная функция не обязательно дифференцируема, но дифференцируемая функция обязательно непрерывна (в каждой точке, где она дифференцируема), как показано ниже (в разделе «Дифференцируемость и непрерывность »). Функция называется непрерывно дифференцируемой , если ее производная также является непрерывной функцией; существуют функции, которые дифференцируемы, но не непрерывно дифференцируемы (пример приведен в разделе Классы дифференцируемости ).

и Дифференцируемость непрерывность

Функция абсолютного значения непрерывна (т.е. не имеет пробелов). Он дифференцируем всюду, кроме точки x = 0, где он делает резкий поворот при пересечении оси y .
Касп на графике непрерывной функции. В нуле функция непрерывна, но не дифференцируема.

Если f дифференцируема в точке x0 , то f также должна быть непрерывной в x0 . точке В частности, любая дифференцируемая функция должна быть непрерывной в каждой точке своей области определения. Обратное неверно : непрерывная функция не обязательно должна быть дифференцируемой. Например, функция с изгибом, точкой возврата или вертикальной касательной может быть непрерывной, но не дифференцируемой в месте аномалии.

Большинство функций, встречающихся на практике, имеют производные во всех или почти в каждой точках. Однако результат Стефана Банаха гласит, что набор функций, имеющих производную в некоторой точке, является скудным набором в пространстве всех непрерывных функций. [1] Неформально это означает, что дифференцируемые функции весьма нетипичны среди непрерывных функций. Первым известным примером функции, непрерывной всюду, но нигде не дифференцируемой, является функция Вейерштрасса .

Классы дифференцируемости

Дифференцируемые функции могут быть локально аппроксимированы линейными функциями.
Функция с для и является дифференцируемым. Однако эта функция не является непрерывно дифференцируемой.

Функция Говорят, что это непрерывно дифференцируема, если производная существует и сама является непрерывной функцией. Хотя производная дифференцируемой функции никогда не имеет скачка , она может иметь существенный разрыв . Например, функция

дифференцируемо в точке 0, так как
существует. Однако для правила дифференциации предполагают
который не имеет предела, поскольку Таким образом, этот пример показывает существование функции, которая является дифференцируемой, но не непрерывно дифференцируемой (т. е. производная не является непрерывной функцией). Тем не менее, из теоремы Дарбу следует, что производная любой функции удовлетворяет заключению теоремы о промежуточном значении .

Аналогично тому, как говорят, что непрерывные функции принадлежат классу о непрерывно дифференцируемых функциях иногда говорят, что они принадлежат к классу . Функция имеет класс если первая и вторая производные функции существуют и непрерывны. В более общем смысле говорят, что функция принадлежит классу если первый деривативы все существуют и непрерывны. Если производные существуют для всех положительных целых чисел функция гладкая или, что то же самое, класса

в более измерениях высоких Дифференцируемость

Функция нескольких действительных переменных f : R м Р н называется дифференцируемым в точке x0 , если существует линейное отображение J : R м Р н такой, что

Если функция дифференцируема в точке x0 , то все частные производные существуют в точке x0 , а линейное отображение J задается матрицей Якобиана , размера n × m в данном случае матрицей . Похожая формулировка многомерной производной обеспечивается фундаментальной леммой о приращении, найденной в исчислении с одной переменной.

частные производные функции существуют в окрестности точки x0 Если и непрерывны в точке x0 все функция дифференцируема в этой точке x0 , то .

Однако существование частных производных (или даже всех производных по направлению ) не гарантирует, что функция дифференцируема в точке. Например, функция f : R 2 R определяется формулой

не дифференцируема в точке (0, 0) , но все частные производные и производные по направлению существуют в этой точке. Для непрерывного примера функция

не дифференцируема в точке (0, 0) , но опять же существуют все частные производные и производные по направлению.

Дифференцируемость в комплексном анализе [ править ]

В комплексном анализе комплексная дифференцируемость определяется с использованием того же определения, что и действительные функции с одной переменной. Это допускается благодаря возможности деления комплексных чисел . Итак, функция называется дифференцируемым при когда

Хотя это определение похоже на дифференцируемость действительных функций с одной переменной, однако оно является более ограничительным условием. Функция , комплексно-дифференцируемый в точке автоматически дифференцируема в этой точке, если рассматривать ее как функцию . Это потому, что комплексная дифференцируемость подразумевает, что

Однако функция может быть дифференцируемой как функция многих переменных, но не является комплексно-дифференцируемой. Например, дифференцируема в каждой точке и рассматривается как действительная функция с двумя переменными , но он не является комплексно-дифференцируемым в любой точке, поскольку предел не существует (например, зависит от угла подхода).

Любая функция, комплексно-дифференцируемая в окрестности точки, называется голоморфной в этой точке. Такая функция обязательно бесконечно дифференцируема и фактически аналитична .

Дифференцируемые функции на многообразиях [ править ]

Если M дифференцируемое многообразие , действительная или комплекснозначная функция f на M называется дифференцируемой в точке p , если она дифференцируема относительно некоторой (или любой) координатной карты, определенной вокруг p . Если M и N — дифференцируемые многообразия, функция f : M N называется дифференцируемой в точке p , если она дифференцируема относительно некоторых (или любых) координатных карт, определенных вокруг p и f ( p ).

См. также [ править ]

Ссылки [ править ]

  1. ^ Банах, С. (1931). «О байровской категории некоторых множеств функций» . Студия Математики 3 (1): 174–179. дои : 10.4064/см-3-1-174-179 . . Цитируется Хьюитт, Э; Стромберг, К. (1963). Реальный и абстрактный анализ . Спрингер-Верлаг. Теорема 17.8.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: bcafd187075d553d817df35f19089e33__1699521660
URL1:https://arc.ask3.ru/arc/aa/bc/33/bcafd187075d553d817df35f19089e33.html
Заголовок, (Title) документа по адресу, URL1:
Differentiable function - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)