stringtranslate.com

Производный

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

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

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

Определение

Как предел

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

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

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

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

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

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

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

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

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

Обозначение

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

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

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

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

Правила расчета

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

, , , , или ,

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

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

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

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

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

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

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

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

Обобщения

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

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

Примечания

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

Ссылки

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