Производная

Это хорошая статья.  Для получения дополнительной информации нажмите здесь.
Страница полузащищенная
Из Википедии, бесплатной энциклопедии

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

Существует несколько различных обозначений дифференцирования, два из которых наиболее часто используются — это обозначение Лейбница и обозначение простых чисел. Обозначение Лейбница, названное в честь Готфрида Вильгельма Лейбница , представляется как отношение двух дифференциалов , тогда как обозначение простых чисел записывается путем добавления штрихового знака . Обозначения более высокого порядка представляют собой повторяющееся дифференцирование, и они обычно обозначаются в обозначениях Лейбница добавлением верхних индексов к дифференциалам, а в обозначениях простых чисел - добавлением дополнительных простых меток. Производные более высокого порядка могут применяться в физике; например, в то время как первая производная положения движущегося объекта по времени объекта — это скорость объекта , то, как положение меняется с течением времени, вторая производная — это ускорение , то, как скорость меняется с течением времени.

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

Определение

В качестве ограничения

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

существует. [2] Это означает, что для каждого положительного действительного числа , существует положительное действительное число такой, что для каждого такой, что и затем определяется, и
где вертикальные полосы обозначают абсолютное значение . Это пример (ε, δ)-определения предела . [3]

Если функция дифференцируема в , то есть если предел называется производной существует, то этот предел в . Существует несколько обозначений производной. [4] Производная от в можно обозначить , читай как " расцвет "; или это можно обозначить читай как «производная от относительно в " или " через (или более) в ". См. § Обозначения ниже. Если — это функция, которая имеет производную в каждой точке своей области определения , то функцию можно определить, отобразив каждую точку к значению производной в . Эта функция написана и называется производной функцией или производной . Функция иногда имеет производную в большинстве, но не во всех точках своей области определения. Функция, значение которой в равно в любое время определено, а в других местах не определено, также называется производной от . Это все еще функция, но ее область определения может быть меньше области определения . [5]

Например, пусть быть функцией возведения в квадрат: . Тогда частное в определении производной равно [6]

Деление на последнем шаге справедливо до тех пор, пока . Чем ближе это , тем ближе это выражение становится к значению . Предел существует, и для каждого входа предел . Итак, производная функции возведения в квадрат – это функция удвоения: .

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

Отношение в определении производной – это наклон линии, проходящей через две точки на графике функции , в частности точки и . Как уменьшается, эти точки сближаются, а наклон этой линии приближается к предельному значению, наклон касательной к графику в . Другими словами, производная — это наклон касательной. [7]

Использование бесконечно малых

Один из способов думать о производной представляет собой отношение бесконечно малого изменения выходного сигнала функции к бесконечно малому изменению входных данных. [8] Чтобы сделать эту интуицию строгой, необходима система правил для манипулирования бесконечно малыми величинами. [9] Система гипердействительных чисел — это способ рассмотрения бесконечных и бесконечно малых величин. Гиперреалистические числа являются расширением действительных чисел , которые содержат числа, большие, чем любые числа вида для любого конечного числа членов. Такие числа бесконечны, а их обратные величины бесконечно малы. Применение гипердействительных чисел к основам исчисления называется нестандартным анализом . Это дает возможность определить основные понятия исчисления, такие как производная и интеграл, в терминах бесконечно малых, тем самым придавая точное значение в обозначениях Лейбница. Таким образом, производная от становится

для произвольного бесконечно малого , где обозначает стандартную функцию части , которая «округляет» каждую конечную гиперреальную величину до ближайшей реальной. [10] Взяв функцию возведения в квадрат в качестве примера еще раз,

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

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

Если дифференцируема в , затем также должно быть непрерывным при . [11] В качестве примера выберите точку и разреши быть ступенчатой ​​функцией , которая возвращает значение 1 для всех меньше, чем и возвращает разное значение 10 для всех больше или равно . Функция не может иметь производную . Если отрицательно, то находится в нижней части ступени, поэтому секущая линия от к очень крутой; как стремится к нулю, наклон стремится к бесконечности. Если положительно, то находится в верхней части ступени, поэтому секущая линия от к имеет нулевой наклон. Следовательно, секущие линии не приближаются ни к одному наклону, поэтому предела разностного коэффициента не существует. Однако, даже если функция непрерывна в какой-то точке, она может быть там не дифференцируемой. Например, функция абсолютного значения , определяемая формулой является непрерывным в , но там оно не дифференцируемо. Если положительно, то наклон секущей от 0 до это один; если отрицательно, то наклон секущей от к является . [12] Графически это можно увидеть как «перегиб» или «перегиб» на графике. . Даже функция с гладким графиком не является дифференцируемой в точке, где ее касательная вертикальна : например, функция, заданная формулой не дифференцируема при . Таким образом, функция, имеющая производную, является непрерывной, но существуют непрерывные функции, не имеющие производной. [11]

Большинство функций, встречающихся на практике, имеют производные во всех или почти в каждой точке. На заре истории исчисления многие математики предполагали, что непрерывная функция дифференцируема в большинстве точек. [13] В мягких условиях (например, если функция является монотонной или функцией Липшица ) это верно. Однако в 1872 году Вейерштрасс нашел первый пример функции, непрерывной всюду, но нигде не дифференцируемой. Этот пример теперь известен как функция Вейерштрасса . [14] В 1931 году Стефан Банах доказал, что множество функций, имеющих производную в некоторой точке, является скудным множеством в пространстве всех непрерывных функций. Неформально это означает, что вряд ли какая-либо случайная непрерывная функция имеет производную хотя бы в одной точке. [15]

Обозначения

Одним из распространенных символов производной функции является обозначение Лейбница . Они записываются как частное двух дифференциалов и , [16] которые были введены Готфридом Вильгельмом Лейбницем в 1675 году. [17] Оно до сих пор широко используется, когда уравнение рассматривается как функциональная связь между зависимыми и независимыми переменными . Первую производную обозначим через читай как «производная от относительно ". [18] Эту производную можно альтернативно рассматривать как применение дифференциального оператора к функции: Высшие производные выражаются с помощью обозначений для -я производная от . Это сокращения для многократного применения оператора производной; например, [19] В отличие от некоторых альтернатив, нотация Лейбница предполагает явное указание переменной для дифференцирования в знаменателе, что устраняет неоднозначность при работе с несколькими взаимосвязанными величинами. Производную составной функции можно выразить с помощью правила цепочки : если и затем [20]

Другое распространенное обозначение дифференцирования — использование штриха в символе функции. . Это известно как простое обозначение , благодаря Жозефу-Луи Лагранжу . [21] Первая производная записывается как , читай как " расцвет ", или , читай как " основной". [22] Аналогично вторую и третью производные можно записать как и , соответственно. [23] Для обозначения количества высших производных за пределами этой точки некоторые авторы используют римские цифры в верхнем индексе , тогда как другие помещают число в круглые скобки, например: или [24] Последнее обозначение обобщается и дает обозначение для производная от . [19]

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

Другое обозначение — D-нотация , которая представляет дифференциальный оператор символом [19] Первая производная записывается и высшие производные записываются с верхним индексом, поэтому -я производная Это обозначение иногда называют обозначением Эйлера , хотя кажется, что Леонард Эйлер его не использовал, а обозначение было введено Луи Франсуа Антуаном Арбогастом . [26] Чтобы указать частную производную, переменная, дифференцируемая по которой, обозначается индексом, например, для функции его частная производная по можно написать или Высшие частные производные могут обозначаться верхними индексами или несколькими индексами, например и . [27]

Правила вычислений

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

Правила для основных функций

Ниже приведены правила для производных наиболее распространенных основных функций. Здесь, является действительным числом, и математическая константа, равная приблизительно 2,71828 . [29]

  • Производные степени :
  • Функции экспоненты , натурального логарифма и логарифма с общим основанием :
    , для
    , для
    , для
  • Тригонометрические функции :
  • Обратные тригонометрические функции :
    , для
    , для

Правила для совмещенных функций

Учитывая, что и это функции. Ниже приведены некоторые из самых основных правил вывода производной функции из производных основных функций. [30]

  • Постоянное правило : если постоянна, то для всех ,
  • Правило суммы :
    для всех функций и и все действительные числа и .
  • Правило продукта :
    для всех функций и . В качестве частного случая это правило включает в себя тот факт, что в любое время является константой, потому что по постоянному правилу.
  • Правило частностей :
    для всех функций и на всех входах, где g ≠ 0 .
  • Цепное правило для составных функций : Если , затем

Пример расчета

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

Здесь второй член вычислялся с использованием правила цепочки , а третий член — с помощью правила произведения . Известные производные элементарных функций , , , , и , а также постоянная , также использовались.

Производные высшего порядка

Производные более высокого порядка означают, что функция дифференцируется неоднократно. При условии дифференцируемая функция, производная – первая производная, обозначаемая как . Производная от вторая производная , обозначаемая как и производная от третья производная , обозначаемая как . Продолжая этот процесс, если он существует, -th производная как производная - ая производная или производная порядка . Как уже говорилось выше , обобщение производной функции может быть обозначен как . [31] Функция, имеющая последовательные производные называются раз дифференцируемы . Если - производная непрерывна, то говорят, что функция принадлежит классу дифференцируемости . [32] Функция, имеющая бесконечное число производных, называется бесконечно дифференцируемой или гладкой . [33] Одним из примеров бесконечно дифференцируемой функции является полиномиальная ; дифференцирование этой функции многократно приводит к постоянной функции , а все бесконечно последующие производные этой функции равны нулю. [34]

В одном из приложений производные более высокого порядка могут иметь специфическую интерпретацию в физике . Предположим, что функция представляет положение объекта в данный момент. Первая производная этой функции — это скорость объекта по времени, вторая производная функции — это ускорение объекта по времени. [28] и третья производная – это рывок . [35]

В других измерениях

Векторные функции

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

если предел существует. Вычитание в числителе — это вычитание векторов, а не скаляров. Если производная от существует для любого значения , затем — еще одна векторная функция. [36]

Частные производные

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

, , , , или ,

среди других возможностей. [37] Его можно рассматривать как скорость изменения функции в -направление. [38] Здесь — это округленная цифра d , называемая символом частной производной . Чтобы отличить его от буквы d , ∂ иногда произносится как «der», «del» или «partial» вместо «dee». [39] Например, пусть , то частная производная функции по обеим переменным и соответственно:

В общем случае частная производная функции в направлении в точку определяется как: [40]

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

называется градиентом который в . Если дифференцируема в каждой точке некоторой области, то градиент является вектор-функцией это отображает точку к вектору . Следовательно, градиент определяет векторное поле . [41]

Производные по направлению

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

Если все частные производные существуют и непрерывны в , то определяют производную по направлению в направлении по формуле: [43]

Полная производная, полный дифференциал и матрица Якобиана

Когда является функцией из открытого подмножества к , то производная по направлению в выбранном направлении является лучшим линейным приближением к в тот момент и в этом направлении. Однако, когда , ни одна производная по направлению не может дать полную картину поведения . Полная производная дает полную картину, рассматривая все направления одновременно. То есть для любого вектора начинается с , справедлива формула линейной аппроксимации: [44]

Аналогично с производной с одной переменной: выбирается так, чтобы ошибка в этом приближении была как можно меньше. Полная производная от в — единственное линейное преобразование такой, что [44]
Здесь является вектором в , поэтому норма в знаменателе — это стандартная длина на . Однако, является вектором в , а норма в числителе — это стандартная длина на . [44] Если вектор, начинающийся с , затем называется вперед продвижением к . [45]

Если полная производная существует при , то все частные производные и производные по направлению существовать в , и для всех , является производной по направлению в направлении . Если записывается с использованием координатных функций, так что , то полную производную можно выразить с помощью частных производных в виде матрицы . Эта матрица называется Якобиана матрицей в : [46]

Обобщения

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

  • Важное обобщение производной касается комплексных функций комплексных переменных , таких как функции из (области) комплексных чисел. к . Понятие производной такой функции получается заменой в определении вещественных переменных комплексными. [47] Если отождествляется с написав комплексное число как , то дифференцируемая функция из к заведомо дифференцируема как функция от к (в том смысле, что все его частные производные существуют), но обратное в целом неверно: комплексная производная существует только в том случае, если действительная производная является комплексной линейной , и это накладывает отношения между частными производными, называемые уравнениями Коши – Римана - см. голоморфные функции . [48]
  • Другое обобщение касается функций между дифференцируемыми или гладкими многообразиями . Интуитивно говоря, такое многообразие это пространство, которое можно аппроксимировать вблизи каждой точки векторным пространством, называемым его касательным пространством : прототипным примером является гладкая поверхность в . Производная (или дифференциал) (дифференцируемого) отображения между многообразиями, в точке в , тогда является линейным отображением касательного пространства в к касательному пространству в . Производная функция становится отображением между касательными расслоениями и . Это определение используется в дифференциальной геометрии . [49]
  • Дифференциация также может быть определена для карт векторного пространства , такого как банахово пространство , в котором этими обобщениями являются производная Гато и производная Фреше . [50]
  • Одним из недостатков классической производной является то, что очень многие функции не дифференцируемы. Тем не менее, существует способ расширить понятие производной, чтобы все непрерывные функции и многие другие функции можно было дифференцировать, используя концепцию, известную как слабая производная . Идея состоит в том, чтобы встроить непрерывные функции в большее пространство, называемое пространством распределений , и потребовать, чтобы функция была дифференцируемой только «в среднем». [51]
  • Свойства производной вдохновили на введение и изучение многих подобных объектов в алгебре и топологии; примером является дифференциальная алгебра . Здесь он состоит из вывода некоторых тем абстрактной алгебры, таких как кольца , идеалы , поля и так далее. [52]
  • Дискретным эквивалентом дифференцирования являются конечные разности . Изучение дифференциального исчисления объединено с исчислением конечных разностей в исчислении шкалы времени . [53]
  • Арифметическая производная включает в себя функцию, которая определяется для целых чисел путем простой факторизации . Это аналогия с правилом продукта. [54]

Смотрите также

Примечания

  1. ^ Стюарт 2002 , с. 129–130.
  2. ^ Стюарт 2002 , с. 127; Стрэнг и др. 2023 , с. 220 .
  3. ^ Гоник 2012 , с. 83.
  4. ^ Гоник 2012 , с. 88; Стрэнг и др. 2023 , с. 234 .
  5. ^ Гоник 2012 , с. 83; Стрэнг и др. 2023 , с. 232 .
  6. ^ Гоник 2012 , стр. 77–80.
  7. ^ Томпсон 1998 , стр. 34, 104; Стюарт 2002 , с. 128.
  8. ^ Томпсон 1998 , стр. 84–85.
  9. ^ Кейслер 2012 , стр. 902–904.
  10. ^ Кейслер 2012 , с. 45; Хенле и Кляйнберг 2003 , с. 66.
  11. ^ Перейти обратно: а б Гоник 2012 , с. 156.
  12. ^ Гоник 2012 , с. 149.
  13. ^ Яшек 1922 ; Весна 1922 года ; Экспресс 1923 года .
  14. ^ Дэвид 2018 .
  15. ^ Banach 1931 , цитируется по Hewitt & Stromberg 1965 .
  16. ^ Апостол 1967 , с. 172.
  17. ^ Каджори 2007 , с. 204.
  18. ^ Мур и Сигел 2013 , с. 110.
  19. ^ Перейти обратно: а б с Варберг, Перселл и Ригдон 2007 , с. 125–126.
  20. ^ При формулировке исчисления в терминах пределов разные авторы присваивали символ различных значений. Некоторые авторы, такие как Варберг, Перселл и Ригдон 2007 , с. 119 и Стюарт 2002 , с. 177 не придавать значения сам по себе, но только как часть символа . Другие определяют как независимую переменную и определим к
    В нестандартном анализе определяется как бесконечно малая величина. Его также интерпретируют как внешнюю производную функции. . См. дифференциал (бесконечно малый) для получения дополнительной информации.
  21. ^ Шварцман 1994 , с. 171 .
  22. ^ Мур и Сигел 2013 , с. 110; Гудман 1963 , с. 78–79.
  23. ^ Варберг, Перселл и Ригдон 2007 , с. 125–126; Каджори 2007 , с. 228.
  24. ^ Чоудари и Никулеску 2014 , с. 222 ; Апостол 1967 , с. 171.
  25. ^ Эванс 1999 , с. 63; Крейциг 1991 , с. 1.
  26. ^ Каджори 1923 .
  27. ^ Апостол 1967 , с. 172; Варберг, Перселл и Ригдон 2007 , с. 125–126.
  28. ^ Перейти обратно: а б Апостол 1967 , с. 160.
  29. ^ Варберг, Перселл и Ригдон 2007 . См. стр. 133 для правила власти, с. 115–116 для тригонометрических функций, с. 326 для натурального логарифма, с. 338–339 для экспоненты с основанием , п. 343 для экспоненты с основанием , п. 344 для логарифма с основанием , и п. 369 для обратных тригонометрических функций.
  30. ^ О постоянном правиле и правиле сумм см. Apostol 1967 , p. 161, 164 соответственно. О правиле произведения, правиле частного и правиле цепочки см. Varberg, Purcell & Rigdon 2007 , p. 111–112, 119 соответственно. О частном случае правила произведения, то есть о произведении константы и функции, см. Varberg, Purcell & Rigdon 2007 , p. 108–109.
  31. ^ Апостол 1967 , с. 160; Варберг, Перселл и Ригдон 2007 , с. 125–126.
  32. ^ Уорнер 1983 , с. 5.
  33. ^ Дебнат и Шах 2015 , с. 40 .
  34. ^ Карозерс 2000 , с. 176 .
  35. ^ Стюарт 2002 , с. 193.
  36. ^ Перейти обратно: а б Стюарт 2002 , с. 893.
  37. ^ Стюарт 2002 , с. 947 ; Кристофер 2013 , с. 682.
  38. ^ Стюарт 2002 , с. 949 .
  39. ^ Сильверман 1989 , с. 216 ; Бхардвадж 2005 , см. стр. 6.4 .
  40. ^ Мэтью и Хаубольд, 2017 , с. 52 .
  41. ^ Гбур 2011 , стр. 36–37.
  42. ^ Варберг, Перселл и Ригдон 2007 , с. 642.
  43. ^ Гузман 2003 , с. 35 .
  44. ^ Перейти обратно: а б с Давваз 2023 , с. 266 .
  45. ^ Ли 2013 , с. 72.
  46. ^ Давваз 2023 , с. 267 .
  47. ^ Руссос 2014 , с. 303.
  48. ^ Гбур 2011 , стр. 261–264.
  49. ^ Грей, Аббена и Соломон 2006 , с. 826 .
  50. ^ Азегами 2020 . См. стр. 209 для производной Гато и с. 211 для производной Фреше.
  51. ^ Фунаро 1992 , с. 84–85 .
  52. ^ Колчин 1973 , с. 58 , 126 .
  53. ^ Георгиев 2018 , с. 8 .
  54. ^ Барбо 1961 .

Рекомендации

Внешние ссылки