Обозначения дифференциального исчисления
В дифференциальном исчислении нет единой единой записи для дифференциации . Вместо этого различные математики предлагали различные записи для производной функции или переменной . Полезность каждой записи зависит от контекста, и иногда выгодно использовать более одной записи в данном контексте. Наиболее распространенные записи для дифференциации (и ее противоположной операции, антидифференциации или неопределенной интеграции ) перечислены ниже.
Обозначение Лейбница
Первая и вторая производные y по x в обозначениях Лейбница.
Оригинальная нотация, используемая Готфридом Лейбницем, используется во всей математике. Она особенно распространена, когда уравнение y = f ( x ) рассматривается как функциональная связь между зависимыми и независимыми переменными y и x . Нотация Лейбница делает эту связь явной, записывая производную как
Более того, производная f в точке x записывается следующим образом:
Высшие производные записываются как
Это наводящий на размышления прием обозначения, который возникает в результате формальных манипуляций символами, например:
Значение производной y в точке x = a можно выразить двумя способами, используя обозначения Лейбница:
- .
Обозначение Лейбница позволяет указать переменную для дифференцирования (в знаменателе). Это особенно полезно при рассмотрении частных производных . Это также делает цепочку правил легкой для запоминания и узнавания:
Обозначение Лейбница для дифференциации не требует присвоения значения таким символам, как dx или dy (известным как дифференциалы ) самим по себе, и некоторые авторы не пытаются присвоить этим символам значение. Лейбниц рассматривал эти символы как бесконечно малые . Более поздние авторы присвоили им другие значения, такие как бесконечно малые в нестандартном анализе или внешние производные . Обычно dx остается неопределенным или приравнивается к , в то время как dy присваивается значение в терминах dx с помощью уравнения
что также может быть написано, например
(см. ниже) . Такие уравнения порождают терминологию, встречающуюся в некоторых текстах, где производная называется «дифференциальным коэффициентом» (т. е. коэффициентом dx ) .
Некоторые авторы и журналы устанавливают дифференциальный символ d прямым шрифтом вместо курсива : d x . Руководство по научному стилю ISO/IEC 80000 рекомендует этот стиль.
Обозначение Лагранжа
ф ′ ( х )
Функция f от x , дифференцированная один раз в обозначениях Лагранжа.
Одно из самых распространенных современных обозначений дифференциации названо в честь Жозефа Луи Лагранжа , хотя на самом деле оно было изобретено Эйлером и только популяризировано им. В обозначении Лагранжа штрих обозначает производную. Если f — функция, то ее производная, вычисленная в точке x, записывается
- .
Впервые он появился в печати в 1749 году. [1]
Более высокие производные обозначаются с помощью дополнительных штриховых знаков, как в для второй производной и для третьей производной . Использование повторяющихся штриховых знаков в конечном итоге становится громоздким. Некоторые авторы продолжают использовать римские цифры , обычно в нижнем регистре, [2] [3] как в
для обозначения производных четвертого, пятого, шестого и более высокого порядка. Другие авторы используют арабские цифры в скобках, как в
Эта запись также позволяет описать n -ю производную, где n — переменная. Это записывается
Символы Unicode, связанные с нотацией Лагранжа, включают:
- U+2032 ◌′ ПРАЙМ (производная)
- U+2033 ◌″ ДВОЙНОЙ ПРАЙМ (двойная производная)
- U+2034 ◌‴ ТРОЙНОЙ ПРОСТОЙ (третья производная)
- U+2057 ◌⁗ ЧЕТВЕРНОЕ ПРОСТОЕ ЧИСЛО (четвертая производная)
Когда для функции f ( x , y ) имеются две независимые переменные, можно следовать следующему соглашению: [4]
Обозначение Лагранжа для антидифференциации
ф (−1) ( х )
ф (−2) ( х )
Одинарные и двойные неопределенные интегралы f по x в обозначениях Лагранжа.
При взятии первообразной Лагранж следовал обозначениям Лейбница: [5]
Однако, поскольку интегрирование является обратной операцией дифференцирования, обозначение Лагранжа для производных более высокого порядка распространяется и на интегралы. Повторные интегралы f можно записать как
- для первого интеграла (его легко спутать с обратной функцией ),
- для второго интеграла,
- для третьего интеграла и
- для n- го интеграла.
D-обозначение
Д х у
Д 2 ф
Производная x от y и вторая производная f , обозначения Эйлера.
Эту нотацию иногда называютОбозначение Эйлера, хотя оно было введеноЛуи Франсуа Антуаном Арбогастом, кажется,Леонард Эйлерим не пользовался.[ необходима цитата ]
Эта нотация использует дифференциальный оператор , обозначаемый как D ( оператор D ) [6] [ неудачная проверка ] или D̃ ( оператор Ньютона–Лейбница ). [7] При применении к функции f ( x ) он определяется как
Высшие производные обозначаются как «степени» D (где верхние индексы обозначают итеративную композицию D ) , как в [4]
- для второй производной,
- для третьей производной и
- для n -й производной.
D-нотация оставляет неявной переменную, относительно которой выполняется дифференцирование. Однако эту переменную можно сделать явной, указав ее имя в качестве индекса: если f является функцией переменной x , это делается записью [4]
- для первой производной,
- для второй производной,
- для третьей производной и
- для n -й производной.
Когда f является функцией нескольких переменных, обычно используют " ∂ ", стилизованную строчную курсивную d, а не " D ". Как и выше, нижние индексы обозначают производные, которые берутся. Например, вторые частные производные функции f ( x , y ) имеют вид: [4]
См. § Частные производные.
D-обозначение полезно при изучении дифференциальных уравнений и дифференциальной алгебры .
D-обозначение для первообразных
Д−1
ху
Д −2 ф
Первообразная x от y и вторая первообразная f , обозначения Эйлера.
D-обозначение можно использовать для первообразных таким же образом, как обозначение Лагранжа [8] следующим образом [7]
- для первой первообразной,
- для второй первообразной, и
- для n -й первообразной.
Обозначения Ньютона
ẋẍ
Первая и вторая производные x , обозначение Ньютона.
Нотация Исаака Ньютона для дифференциации (также называемая точечной нотацией , флюксиями или иногда, грубо говоря, нотацией мухи [9] для дифференциации) ставит точку над зависимой переменной. То есть, если y является функцией t , то производная y по t равна
Высшие производные представлены с использованием нескольких точек, как в
Ньютон развил эту идею довольно далеко: [10]
Символы Unicode, связанные с нотацией Ньютона, включают в себя:
- U+0307 ◌̇ ОБЪЕДИНЕНИЕ ТОЧЕК НАД (производная)
- U+0308 ◌̈ ОБЪЕДИНЕНИЕ ДИАЭРЕЗИСА (двойная производная)
- U+20DB ◌⃛ ОБЪЕДИНЕНИЕ ТРЕХ ТОЧЕК НАД (третья производная) ← заменено на «объединение диэрезис» + «объединение точки над».
- U+20DC ◌⃜ ОБЪЕДИНЕНИЕ ЧЕТЫРЕХ ТОЧЕК СВЕРХУ (четвертая производная) ← заменено на «объединение диэрезисов» дважды.
- U+030D ◌̍ ОБЪЕДИНЕНИЕ ВЕРТИКАЛЬНОЙ ЛИНИИ ВЫШЕ (интеграл)
- U+030E ◌̎ ОБЪЕДИНЕНИЕ ДВОЙНОЙ ВЕРТИКАЛЬНОЙ ЛИНИИ ВЫШЕ (второй интеграл)
- U+25AD ▭ БЕЛЫЙ ПРЯМОУГОЛЬНИК (целый)
- U+20DE ◌⃞ ОБЪЕДИНЯЮЩИЙ КВАДРАТ (целый)
- U+1DE0 ◌ᷠ <reserved-1DE0> ( n -я производная)
Обозначение Ньютона обычно используется, когда независимая переменная обозначает время . Если местоположение y является функцией t , то обозначает скорость [11] и обозначает ускорение . [12] Это обозначение популярно в физике и математической физике . Оно также появляется в областях математики, связанных с физикой, таких как дифференциальные уравнения .
При вычислении производной зависимой переменной y = f ( x ) существует альтернативная запись: [13]
Ньютон разработал следующие частные дифференциальные операторы, используя боковые точки на изогнутой X ( ⵋ ). Определения, данные Уайтсайдом, приведены ниже: [14] [15]
Обозначение Ньютона для интегрирования
х̍х̎
Первая и вторая первообразные x в одной из нотаций Ньютона.
Ньютон разработал множество различных обозначений для интегрирования в своей работе «Quadratura curvarum» (1704) и более поздних работах : он писал маленькую вертикальную черту или штрих над зависимой переменной ( y̍ ), префиксный прямоугольник ( ▭ y ) или заключение члена в прямоугольник ( y ) для обозначения текущего или временного интеграла ( absement ).
Для обозначения кратных интегралов Ньютон использовал две маленькие вертикальные черты или штрихи ( y̎ ), или комбинацию предыдущих символов ▭ y̍ y̍ , для обозначения второго интеграла по времени (абсциссы).
Интегралы времени более высокого порядка были следующими: [16]
Эта математическая нотация не получила широкого распространения из-за трудностей с печатью и споров по поводу исчисления Лейбница и Ньютона .
Частные производные
ф хф ху
Функция f, дифференцированная по x , затем по x и y .
Когда необходимы более конкретные типы дифференциации, например, в многомерном исчислении или тензорном анализе , обычно используются другие обозначения.
Для функции f одной независимой переменной x мы можем выразить производную, используя нижние индексы независимой переменной:
Этот тип записи особенно полезен для вычисления частных производных функции нескольких переменных.
∂f/∂x
Функция f, дифференцированная по x .
Частные производные обычно отличаются от обычных производных заменой дифференциального оператора d на символ " ∂ ". Например, мы можем указать частную производную f ( x , y , z ) по x , но не по y или z несколькими способами:
Важность этого различия заключается в том, что нечастная производная, такая как , в зависимости от контекста, может интерпретироваться как скорость изменения относительно , когда всем переменным разрешено изменяться одновременно, тогда как в случае частной производной, такой как , явно указывается, что изменяться должна только одна переменная.
Другие обозначения можно найти в различных разделах математики, физики и техники; см., например, соотношения Максвелла в термодинамике . Символ представляет собой производную температуры T по объему V при сохранении постоянной энтропии (индекс) S , в то время как — производная температуры по объему при сохранении постоянного давления P. Это становится необходимым в ситуациях, когда число переменных превышает число степеней свободы, так что приходится выбирать, какие еще переменные следует оставить фиксированными.
Частные производные более высокого порядка по одной переменной выражаются как
и т. д. Смешанные частные производные можно выразить как
В последнем случае переменные записываются в обратном порядке между двумя обозначениями, что объясняется следующим образом:
Так называемая многоиндексная нотация используется в ситуациях, когда указанная выше нотация становится громоздкой или недостаточно выразительной. При рассмотрении функций на мы определяем многоиндекс как упорядоченный список неотрицательных целых чисел: . Затем мы определяем для нотацию
Таким образом, некоторые результаты (например, правило Лейбница ), которые утомительно записывать другими способами, можно выразить кратко — некоторые примеры можно найти в статье о мультииндексах . [17]
Обозначения в векторном исчислении
Векторные исчисления касаются дифференциации и интегрирования векторных или скалярных полей . Распространены несколько обозначений , специфичных для случая трехмерного евклидова пространства .
Предположим, что ( x , y , z ) — заданная декартова система координат , что A — векторное поле с компонентами , а T — скалярное поле .
Дифференциальный оператор, введенный Уильямом Роуэном Гамильтоном , обозначаемый как ∇ и называемый del или nabla, символически определяется в виде вектора,
где терминология символически отражает, что оператор ∇ также будет рассматриваться как обычный вектор.
∇ φ
Градиент скалярного поля φ .
- Градиент : Градиентскалярного поля— это вектор, который символически выражается умножением ∇ на скалярное поле,
∇∙ А
Дивергенция векторного поля A.
- Дивергенция : Дивергенциявекторного поля A является скаляром, который символически выражается скалярным произведением ∇ и вектора A ,
∇ 2 φ
Лапласиан скалярного поля φ .
- Лапласиан : Лапласианскалярного поля— это скаляр, который символически выражается скалярным произведением ∇ 2 и скалярного поля φ ,
∇× А
Ротор векторного поля A.
- Вращение : Вращение, или, векторного поля A является вектором, который символически выражается векторным произведением ∇ и вектора A ,
Многие символические операции производных могут быть обобщены простым способом с помощью оператора градиента в декартовых координатах. Например, правило произведения одной переменной имеет прямой аналог в умножении скалярных полей путем применения оператора градиента, как в
Многие другие правила исчисления с одной переменной имеют аналоги в векторном исчислении для градиента, дивергенции, ротора и Лапласа.
Дальнейшие обозначения были разработаны для более экзотических типов пространств. Для вычислений в пространстве Минковского оператор Даламбера , также называемый даламбертианом, волновым оператором или оператором ящика, представляется как , или как , когда не противоречит символу для лапласиана.
Смотрите также
- Аналитическое общество – британская группа XIX века, которая продвигала использование лейбницевского или аналитического исчисления в противовес ньютоновскому исчислению.Pages displaying wikidata descriptions as a fallback
- Производная – Мгновенная скорость изменения (математика)
- Флюксия – историческая математическая концепция; форма производной
- Матрица Гессе – (Математическая) матрица вторых производных
- Матрица Якоби – Матрица всех частных производных первого порядка векторнозначной функции.Pages displaying short descriptions of redirect targets
- Список математических символов по предметам – Значения символов, используемых в математикеPages displaying short descriptions of redirect targets
- Оперативное исчисление
Ссылки
- ^ Гросс, Иоганн; Брейткопф, Бернхард Кристоф; Мартин, Иоганн Кристиан; Гледич, Иоганн Фридрих (сентябрь 1749 г.). «Обозначения для дифференцирования». Нова Акта Эрудиторум : 512.
- ^ Моррис, Карла С. (2015-07-28). Основы исчисления . Старк, Роберт М., 1930-2017. Хобокен, Нью-Джерси. ISBN 9781119015314. OCLC 893974565.
{{cite book}}
: CS1 maint: location missing publisher (link) - ^ Осборн, Джордж А. (1908). Дифференциальное и интегральное исчисление. Бостон: DC Heath and co. С. 63-65.
- ^ abcd Дифференциальное и интегральное исчисление ( Август Де Морган , 1842). С. 267-268
- ^ Лагранж , Новый метод для разрешения литеральных уравнений пар le moyen des séries (1770), стр. 25-26. http://gdz.sub.uni-goettingen.de/dms/load/img/?PID=PPN308900308%7CLOG_0017&physid=PHYS_0031
- ^ "Оператор D - Дифференциальное исчисление - Справочник по математике с рабочими примерами". www.codecogs.com . Архивировано из оригинала 2016-01-19.
- ^ ab Weisstein, Eric W. "Differential Operator". Из MathWorld --A Wolfram Web Resource. "Differential Operator". Архивировано из оригинала 21.01.2016 . Получено 07.02.2016 .
- ^ Weisstein, Eric W. "Повторный интеграл". Из MathWorld --A Wolfram Web Resource. "Повторный интеграл". Архивировано из оригинала 2016-02-01 . Получено 2016-02-07 .
- ^ Зилл, Деннис Г. (2009). "1.1". Первый курс дифференциальных уравнений (9-е изд.). Белмонт, Калифорния : Brooks/Cole . стр. 3. ISBN 978-0-495-10824-5.
- ^ Обозначения Ньютона воспроизведены из:
- Производные с 1-й по 5-ю: Quadratura curvarum ( Ньютон , 1704), стр. 7 (стр. 5r в оригинальной рукописи: "Newton Papers: On the Quadrature of Curves". Архивировано из оригинала 28-02-2016 . Получено 05-02-2016 .).
- Производные с 1-й по 7-ю, n -ю и ( n +1)-ю: Метод флюксий ( Ньютон , 1736), стр. 313-318 и стр. 265 (стр. 163 в оригинальной рукописи: "Newton Papers: Fluxions". Архивировано из оригинала 2017-04-06 . Получено 2016-02-05 .)
- Производные с 1-го по 5-й: Трактат о флюксиях (Колин Маклорин, 1742), стр. 613
- Производные с 1-й по 4-ю и n -ю: статьи «Дифференциал» и «Флюксион», Словарь чистой и смешанной математики (Питер Барлоу, 1814)
- Производные с 1-й по 4-ю, 10-ю и n -ю степени: статьи 622, 580 и 579 в «Истории математических обозначений» (Ф. Каджори, 1929)
- Производные с 1-й по 6-ю и n -ю: Математические работы Исаака Ньютона, том 7, 1691-1695 (DT Whiteside, 1976), стр. 88 и 17
- Производные от 1-й до 3-й и n- й: История анализа (Ханс Нильс Янке, 2000), стр. 84-85
Точка для n- й производной может быть опущена ( ) - ^ Weisstein, Eric W. "Overdot". Из MathWorld --A Wolfram Web Resource. "Overdot". Архивировано из оригинала 2015-09-05 . Получено 2016-02-05 .
- ^ Weisstein, Eric W. "Double Dot". Из MathWorld --A Wolfram Web Resource. "Double Dot". Архивировано из оригинала 2016-03-03 . Получено 2016-02-05 .
- ↑ Статья 580 в книге Флориана Каджори «История математических обозначений» (1929), Dover Publications, Inc., Нью-Йорк. ISBN 0-486-67766-4
- ^ «Модели математической мысли в конце семнадцатого века», Архив истории точных наук, т. 1, № 3 (DT Whiteside, 1961), стр. 361-362,378
- ^ С. Б. Энгельсман дал более строгие определения в книге «Семейства кривых и происхождение частичной дифференциации» (2000), стр. 223-226.
- ^ Обозначение Ньютона для интегрирования воспроизведено из:
- Интегралы с 1-го по 3-й: Quadratura curvarum ( Ньютон , 1704), стр. 7 (стр. 5r в оригинальной рукописи: "Newton Papers: On the Quadrature of Curves". Архивировано из оригинала 28-02-2016 . Получено 05-02-2016 .)
- Интегралы с 1-го по 3-й: Метод флюксий ( Ньютон , 1736), стр. 265-266 (стр. 163 в оригинальной рукописи: "Newton Papers: Fluxions". Архивировано из оригинала 2017-04-06 . Получено 2016-02-05 .)
- 4-е интегралы: Доктрина флюксий (Джеймс Ходжсон, 1736), стр. 54 и 72
- Интегралы с 1-го по 2-й: Статьи 622 и 365 в «Истории математических обозначений» (Ф. Каджори, 1929)
Обозначение n -го интеграла выводится из n- й производной. Его можно использовать в Methodus Incrementorum Directa & Inversa (Брук Тейлор, 1715) - ^ Ту, Лоринг В. (2011). Введение в многообразия (2-е изд.). Нью-Йорк: Springer. ISBN 978-1-4419-7400-6. OCLC 682907530.
Внешние ссылки
- «Earliest Uses of Symbols of Calculus», поддерживается Джеффом Миллером (Архивировано 26 июля 2020 г. на Wayback Machine ).