Обозначения для дифференцирования
этой статьи Начальный раздел может быть слишком коротким, чтобы адекватно суммировать ключевые моменты . ( март 2023 г. ) |
Часть серии статей о |
Исчисление |
---|
В дифференциальном исчислении не существует единого единого обозначения дифференцирования . различные обозначения производной функции переменной или Вместо этого разные математики предлагали . Полезность каждой нотации зависит от контекста, и иногда бывает выгодно использовать более одной нотации в данном контексте. наиболее распространенные обозначения дифференцирования (и его противоположной операции — антидифференциации или неопределенного интегрирования Ниже перечислены ).
Обозначения Лейбница
[ редактировать ]Оригинальные обозначения, использованные Готфридом Лейбницем, используются во всей математике. Это особенно распространено, когда уравнение y = f ( x ) рассматривается как функциональная связь между зависимыми и независимыми переменными y и x . Обозначения Лейбница делают это соотношение явным, записывая производную как
Кроме того, поэтому производная f в точке x записывается
Высшие производные записываются как
Это наводящий на размышления прием обозначения, возникающий в результате формальных манипуляций с символами, например:
Значение производной y в точке x = a можно выразить двумя способами, используя обозначения Лейбница:
- .
Обозначения Лейбница позволяют указать переменную для дифференцирования (в знаменателе). Это особенно полезно при рассмотрении частных производных . Это также позволяет правило цепочки легко запомнить и распознать :
Обозначение Лейбница для дифференцирования не требует присвоения значения таким символам, как dx или dy (известным как дифференциалы ), как таковым, и некоторые авторы не пытаются придавать значение этим символам. Лейбниц трактовал эти символы как бесконечно малые . Более поздние авторы присвоили им другие значения, например, бесконечно малые в нестандартном анализе или внешние производные . Обычно dx оставляют неопределенным или приравнивают к , в то время как dy присваивается значение в терминах dx через уравнение
что также можно записать, например
(см. ниже ). Такие уравнения порождают терминологию, встречающуюся в некоторых текстах, где производная называется «дифференциальным коэффициентом» (т.е. коэффициентом при dx ) .
Некоторые авторы и журналы пишут дифференциальный символ d прямым шрифтом вместо курсива : d x . Руководство по научному стилю ISO/IEC 80000 рекомендует этот стиль.
Обозначение Лейбница для антидифференцировки
[ редактировать ]Лейбниц ввел интегральный символ ∫ в «Анализ тетрагонистической части секунды» и «Методи тангенциум инверса экземпла» (оба 1675 г.). Теперь это стандартный символ интеграции .
Обозначения Лагранжа
[ редактировать ]Одно из наиболее распространенных современных обозначений дифференцирования названо в честь Жозефа Луи Лагранжа , хотя на самом деле оно было изобретено Эйлером и только что популяризировано первым. В обозначениях Лагранжа штрих обозначает производную. Если f — функция, то ее производная, вычисленная в точке x, записывается
- .
Впервые оно появилось в печати в 1749 году. [ 1 ]
Высшие производные обозначаются дополнительными штрихами, как в для второй производной и для третьей производной . Использование повторяющихся штрихов со временем становится громоздким. Некоторые авторы продолжают использовать римские цифры , обычно в нижнем регистре. [ 2 ] [ 3 ] как в
для обозначения производных четвертого, пятого, шестого и более высоких порядков. Другие авторы используют арабские цифры в скобках, например:
Эти обозначения также позволяют описать n -ю производную, где n — переменная. Это написано
Символы Юникода, связанные с обозначениями Лагранжа, включают
- U+2032 ◌′ ПРЕМЬЕР (производная)
- U + 2033 ◌″ DOUBLE PRIME (двойная производная)
- U + 2034 ◌‴ ТРОЙНОЕ ПРАЙМ (третья производная)
- U + 2057 ◌⁗ ЧЕТВЕРТНОЕ ПРОСТОЕ (четвертая производная)
Когда есть две независимые переменные для функции f ( x , y ), можно следовать следующему соглашению: [ 4 ]
Обозначение Лагранжа для антидифференцировки
[ редактировать ]ж (−2) ( х )
Принимая первообразную, Лагранж следовал обозначениям Лейбница: [ 5 ]
Однако, поскольку интегрирование является операцией, обратной дифференцированию, обозначения Лагранжа для производных более высокого порядка распространяются и на интегралы. Повторные интегралы от f можно записать как
- для первого интеграла (его легко спутать с обратной функцией ),
- для второго интеграла
- для третьего интеграла и
- для n- го интеграла.
D-нотация
[ редактировать ]Д 2 ж
Это обозначение иногда называют Обозначение Эйлера, хотя оно было введено Луи Франсуа Антуаном Арбогастом , и кажется, что Леонард Эйлер не использовал его. [ нужна ссылка ]
В этом обозначении используется дифференциальный оператор , обозначаемый как 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-нотация для первообразных
[ редактировать ]х у
Д −2 ж
D-нотацию можно использовать для первообразных так же, как нотацию Лагранжа. [ 8 ] следующее [ 7 ]
- для первой первообразной,
- для второй первообразной и
- для n -й первообразной.
Обозначения Ньютона
[ редактировать ]Исаака Ньютона Обозначение дифференцирования (также называемое точечной записью , флюксиями или иногда, грубо говоря, обозначением мухи) [ 9 ] для дифференциации) ставит точку над зависимой переменной. То есть, если y является функцией t , то производная y по t равна
Высшие производные обозначаются несколькими точками, как в
Ньютон расширил эту идею довольно далеко: [ 10 ]
Символы Юникода, связанные с обозначениями Ньютона, включают:
- U + 0307 ◌̇ ОБЪЕДИНЕНИЕ ТОЧКИ ВЫШЕ (производная)
- U + 0308 ◌̈ КОМБИНИРОВАНИЕ ДИЭРЕЗА (двойная производная)
- U+20DB ◌⃛ ОБЪЕДИНЕНИЕ ТРЕХ ТОЧЕК ВЫШЕ (третья производная) ← заменено на «объединение диарезиса» + «объединение точки выше».
- U+20DC ◌⃜ ОБЪЕДИНЕНИЕ ЧЕТЫРЕХ ТОЧЕК ВЫШЕ (четвертая производная) ← дважды заменено на «объединение диэрезиса».
- U + 030D ◌̍ ОБЪЕДИНЕНИЕ ВЕРТИКАЛЬНОЙ ЛИНИИ ВЫШЕ (целое)
- U + 030E ◌̎ ОБЪЕДИНЕНИЕ ДВОЙНОЙ ВЕРТИКАЛЬНОЙ ЛИНИИ ВЫШЕ (второй интеграл)
- U + 25AD ▭ БЕЛЫЙ ПРЯМОУГОЛЬНИК (целый)
- U+20DE ◌⃞ ОБЪЕДИНЯЮЩИЙ КВАДРАТ (целый)
- U+1DE0 ◌ᷠ СОЕДИНЕНИЕ ЛАТИНСКОЙ СТРОЧНОЙ БУКВЫ N ( n- я производная)
Обозначение Ньютона обычно используется, когда независимая переменная обозначает время . Если местоположение y является функцией t , то обозначает скорость [ 11 ] и обозначает ускорение . [ 12 ] Это обозначение популярно в физике и математической физике . Оно также появляется в областях математики, связанных с физикой, таких как дифференциальные уравнения .
При взятии производной зависимой переменной y = f ( x ) существует альтернативное обозначение: [ 13 ]
Ньютон разработал следующие операторы в частных производных, используя боковые точки на изогнутом X ( ⵋ ). Определения, данные Уайтсайдом, приведены ниже: [ 14 ] [ 15 ]
Обозначение Ньютона для интегрирования
[ редактировать ]Ньютон разработал множество различных обозначений для интегрирования в своей Quadratura curvarum (1704) и более поздних работах : он писал небольшую вертикальную черту или штрих над зависимой переменной ( y̍ ), прямоугольник с префиксом ( ▭ y ) или заключение термина в прямоугольник ( y ) для обозначения плавного или временного интеграла ( absement ).
Чтобы обозначить кратные интегралы, Ньютон использовал две маленькие вертикальные черты или простые числа ( y̎ ) или комбинацию предыдущих символов ▭ y̍ y̍ , чтобы обозначить второй интеграл по времени (абситность).
Интегралы по времени высшего порядка были следующими: [ 16 ]
Эта математическая запись не получила широкого распространения из-за трудностей с печатью и разногласий по поводу исчисления Лейбница-Ньютона .
Частные производные
[ редактировать ]Когда необходимы более конкретные типы дифференциации, например, в многомерном исчислении или тензорном анализе , обычно используются другие обозначения.
Для функции f одной независимой переменной x мы можем выразить производную, используя индексы независимой переменной:
Этот тип обозначений особенно полезен для получения частных производных функции нескольких переменных.
Частные производные обычно отличаются от обычных производных заменой дифференциального оператора d символом « ∂ ». Например, мы можем указать частную производную f ( x , y , z ) по x , но не по y или z несколькими способами:
Важность этого различия заключается в том, что нечастная производная, такая как может , в зависимости от контекста, интерпретироваться как скорость изменения относительно когда всем переменным разрешено изменяться одновременно, тогда как с частной производной, такой как очевидно, что изменяться должна только одна переменная.
Другие обозначения можно найти в различных разделах математики, физики и техники; см., например, соотношения Максвелла в термодинамике . Символ является производной температуры T по объему V при сохранении постоянной энтропии (индекс) S , а производная температуры по объему при постоянном давлении P. — Это становится необходимым в ситуациях, когда количество переменных превышает количество степеней свободы, так что приходится выбирать, какие другие переменные следует оставить фиксированными.
Частные производные более высокого порядка по одной переменной выражаются как
и так далее. Смешанные частные производные можно выразить как
В этом последнем случае переменные записываются в обратном порядке между двумя обозначениями, что объясняется следующим образом:
Так называемая многоиндексная нотация используется в ситуациях, когда приведенная выше нотация становится громоздкой или недостаточно выразительной. При рассмотрении функций на мы определяем мультииндекс как упорядоченный список неотрицательные целые числа: . Затем мы определяем, для , обозначение
Таким образом, некоторые результаты (например, правило Лейбница ), которые утомительно записывать другими способами, могут быть кратко выражены - некоторые примеры можно найти в статье о мультииндексах . [ 17 ]
Обозначения в векторном исчислении
[ редактировать ]исчисление касается дифференцирования и интегрирования векторных Векторное или скалярных полей . Некоторые обозначения, характерные для случая трехмерного евклидова пространства, являются общими.
Предположим, что ( x , y , z ) — заданная декартова система координат , что A — векторное поле с компонентами , и это является скалярным полем .
Дифференциальный оператор, введенный Уильямом Роуэном Гамильтоном , обозначаемый ∇ и называемый del или nabla, символически определяется в виде вектора,
где терминология символически отражает то, что оператор ∇ также будет рассматриваться как обычный вектор.
- Градиент : Градиент скалярного поля — вектор, который символически выражается умножением ∇ и скалярного поля ,
- Дивергенция : Дивергенция векторного поля A является скаляром, который символически выражается скалярным произведением ∇ и вектора A ,
- Лапласиан : Лапласиан скалярного поля является скаляром, который символически выражается скалярным умножением ∇ 2 и скалярное поле φ ,
- Вращение : Вращение , или , векторного поля A является вектором, который символически выражается векторным произведением ∇ и вектора A ,
Многие символические операции над производными можно напрямую обобщить с помощью оператора градиента в декартовых координатах. Например, правило произведения с одной переменной имеет прямой аналог умножения скалярных полей с применением оператора градиента, как в
Многие другие правила исчисления одной переменной имеют аналоги векторного исчисления для градиента, дивергенции, ротора и лапласиана.
Дальнейшие обозначения были разработаны для более экзотических типов пространств. Для вычислений в пространстве Минковского , оператор Даламбера также называемый волновым оператором Даламбера или квадратным оператором, представляется как или как когда это не противоречит символу лапласиана.
См. также
[ редактировать ]- Аналитическое общество - британская группа XIX века, которая пропагандировала использование лейбницианского или аналитического исчисления в отличие от ньютоновского исчисления.
- Производная – мгновенная скорость изменения (математика)
- Fluxion - Историческая математическая концепция; форма производной
- Матрица Гессе - (математическая) матрица вторых производных.
- Матрица Якобиана — матрица всех частных производных первого порядка векторной функции.
- Список математических символов по предметам : значения символов, используемых в математике.
- Операционное исчисление
Ссылки
[ редактировать ]- ^ Гросс, Иоганн; Брейткопф, Бернхард Кристоф; Мартин, Иоганн Кристиан; Гледич, Иоганн Фридрих (сентябрь 1749 г.). «Обозначения для дифференцирования» . Нова Акта Эрудиторум : 512.
- ^ Моррис, Карла К. (28 июля 2015 г.). Основы исчисления . Старк, Роберт М., 1930–2017 гг. Хобокен, Нью-Джерси. ISBN 9781119015314 . OCLC 893974565 .
{{cite book}}
: CS1 maint: отсутствует местоположение издателя ( ссылка ) - ^ Осборн, Джордж А. (1908). Дифференциальное и интегральное исчисление . Бостон: округ Колумбия Хит и компания. стр. 63-65 .
- ^ Перейти обратно: а б с д Дифференциальное и интегральное исчисление ( Огастес Де Морган , 1842). стр. 267-268
- ^ Лагранж , Новый метод решения буквенных уравнений с помощью рядов (1770), с. 25-26. http://gdz.sub.uni-goettingen.de/dms/load/img/?PID=PPN308900308%7CLOG_0017&physid=PHYS_0031
- ^ «Оператор D – Дифференциал – Исчисление – Справочник по математике с рабочими примерами» . www.codecogs.com . Архивировано из оригинала 19 января 2016 г.
- ^ Перейти обратно: а б Вайсштейн, Эрик В. «Дифференциальный оператор». Из MathWorld — веб-ресурса Wolfram. «Дифференциальный оператор» . Архивировано из оригинала 21 января 2016 г. Проверено 7 февраля 2016 г.
- ^ Вайсштейн, Эрик В. «Повторный интеграл». Из MathWorld — веб-ресурса Wolfram. «Повторный интеграл» . Архивировано из оригинала 1 февраля 2016 г. Проверено 7 февраля 2016 г.
- ^ Зилл, Деннис Г. (2009). «1,1» . Первый курс дифференциальных уравнений (9-е изд.). Бельмонт, Калифорния : Брукс/Коул . п. 3. ISBN 978-0-495-10824-5 .
- ^ Обозначения Ньютона воспроизведены из:
- Производные с 1-й по 5-ю: Quadratura curvarum ( Ньютон , 1704), с. 7 (стр. 5r в оригинальном MS: «Записки Ньютона: о квадратуре кривых» . Архивировано из оригинала 28 февраля 2016 г. Проверено 5 февраля 2016 г. ).
- С 1-й по 7-ю, n -я и ( n +1)-я производные: Метод флюксий ( Ньютон , 1736), стр. 313-318 и с. 265 (стр. 163 в оригинальном MS: «Записки Ньютона: Флюксии» . Архивировано из оригинала 6 апреля 2017 г. Проверено 5 февраля 2016 г. )
- Производные с 1-й по 5-ю: Трактат о флюксиях (Колин МакЛорин, 1742), с. 613
- с 1 по 4 и n Производные : статьи «Дифференциал» и «Флюксия», Словарь чистой и смешанной математики (Питер Барлоу, 1814 г.)
- Производные с 1 по 4, 10 и n : статьи 622, 580 и 579 в «Истории математических обозначений» (Ф. Каджори, 1929).
- с 1-й по 6-ю и n Производные -ю: Математические статьи Исаака Ньютона, том. 7 1691–1695 (Д. Т. Уайтсайд, 1976), стр. 88 и 17.
- с 1-й по 3-ю и n-ю Производные : История анализа (Ханс Нильс Янке, 2000), стр. 84-85.
- ^ Вайсштейн, Эрик В. «Овердот». Из MathWorld — веб-ресурса Wolfram. «Овердот» . Архивировано из оригинала 5 сентября 2015 г. Проверено 5 февраля 2016 г.
- ^ Вайсштейн, Эрик В. «Двойная точка». Из MathWorld — веб-ресурса Wolfram. «Двойная точка» . Архивировано из оригинала 3 марта 2016 г. Проверено 5 февраля 2016 г.
- ^ Статья 580 в книге Флориана Каджори, «История математических обозначений» (1929), Dover Publications, Inc., Нью-Йорк. ISBN 0-486-67766-4
- ^ «Образцы математической мысли в позднем семнадцатом веке», Архив истории точных наук, том. 1, № 3 (Д. Т. Уайтсайд, 1961), стр. 361–362,378.
- ^ С.Б. Энгельсман дал более строгие определения в книге «Семейства кривых и происхождение частичной дифференциации» (2000), стр. 223-226.
- ^ Обозначения Ньютона для интегрирования воспроизведены из:
- Интегралы с 1-го по 3-й: Quadratura curvarum ( Ньютон , 1704), с. 7 (стр. 5r в оригинальном MS: «Записки Ньютона: о квадратуре кривых» . Архивировано из оригинала 28 февраля 2016 г. Проверено 5 февраля 2016 г. )
- Интегралы с 1-го по 3-й: Метод флюксий ( Ньютон , 1736), стр. 265-266 (стр. 163 в оригинальном MS: «Записки Ньютона: Флюксии» . Архивировано из оригинала 6 апреля 2017 г. Проверено 5 февраля 2016 г. )
- Четвертые интегралы: Доктрина флюксий (Джеймс Ходжсон, 1736), стр. 54 и 72.
- Интегралы с первого по второй: статьи 622 и 365 в «Истории математических обозначений» (Ф. Каджори, 1929).
- ^ Ту, Лоринг В. (2011). Введение в многообразия (2-е изд.). Нью-Йорк: Спрингер. ISBN 978-1-4419-7400-6 . OCLC 682907530 .
Внешние ссылки
[ редактировать ]- Самое раннее использование символов исчисления , поддерживается Джеффом Миллером ( архивировано 26 июля 2020 г. в Wayback Machine ).