Обозначения для дифференцирования

Из Википедии, бесплатной энциклопедии

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

Обозначения Лейбница [ править ]

ты
дх
д 2 и
дх 2
Первая и вторая производные y по x в обозначениях Лейбница.

Оригинальные обозначения, использованные Готфридом Лейбницем, используются во всей математике. Это особенно распространено, когда уравнение y = f ( x ) рассматривается как функциональная связь между зависимыми и независимыми переменными y и x . Обозначения Лейбница делают это соотношение явным, записывая производную как

Кроме того, поэтому производная f в точке x записывается

Высшие производные записываются как

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

Значение производной y в точке x = a можно выразить двумя способами, используя обозначения Лейбница:

.

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

Обозначение Лейбница для дифференцирования не требует присвоения значения таким символам, как dx или dy (известным как дифференциалы ), как таковым, и некоторые авторы не пытаются придавать значение этим символам. Лейбниц трактовал эти символы как бесконечно малые . Более поздние авторы присвоили им другие значения, например, бесконечно малые в нестандартном анализе или внешние производные . Обычно dx оставляют неопределенным или приравнивают к , в то время как dy присваивается значение в терминах dx через уравнение

что также можно записать, например

(см. ниже ). Такие уравнения порождают терминологию, встречающуюся в некоторых текстах, где производная называется «дифференциальным коэффициентом» (т.е. коэффициентом при dx ) .

Некоторые авторы и журналы пишут дифференциальный символ d прямым шрифтом вместо курсива : d x . Руководство по научному стилю ISO/IEC 80000 рекомендует этот стиль.

Лейбница антидифференцировки Обозначение для


Одинарный и двойной неопределенные интегралы от y по x в обозначениях Лейбница.

Лейбниц ввел интегральный символ в «Анализ тетрагонистической части секунды» и «Методи тангенциум инверса экземпла» (оба 1675 г.). Теперь это стандартный символ интеграции .

Обозначения Лагранжа [ править ]

ж ( Икс )
Функция f от x , дифференцированная один раз в обозначениях Лагранжа.

Одно из наиболее распространенных современных обозначений дифференцирования названо в честь Жозефа Луи Лагранжа , хотя на самом деле оно было изобретено Эйлером и только что популяризировано первым. В обозначениях Лагранжа штрих обозначает производную. Если f — функция, то ее производная, вычисленная в точке x, записывается

.

Впервые оно появилось в печати в 1749 году. [1]

Высшие производные обозначаются дополнительными штрихами, как в для второй производной и для третьей производной . Использование повторяющихся штрихов со временем становится громоздким. Некоторые авторы продолжают использовать римские цифры , обычно в нижнем регистре. [2] [3] как в

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

Эти обозначения также позволяют описать n- ю производную, где n — переменная. Это написано

Символы Юникода, связанные с обозначениями Лагранжа, включают

  • U+2032 ◌′ ПРЕМЬЕР (производная)
  • U + 2033 ◌″ DOUBLE PRIME (двойная производная)
  • U + 2034 ◌‴ ТРОЙНОЕ ПРАЙМ (третья производная)
  • U + 2057 ◌⁗ ЧЕТВЕРНОЕ ПРОСТОЕ (четвертая производная)

Когда есть две независимые переменные для функции f ( x , y ), можно следовать следующему соглашению: [4]

Лагранжа антидифференцировки Обозначение для

ж (−1) ( Икс )
ж (−2) ( Икс )
Одиночный и двойной неопределенные интегралы от f по x в обозначениях Лагранжа.

Принимая первообразную, Лагранж следовал обозначениям Лейбница: [5]

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

для первого интеграла (его легко спутать с обратной функцией ),
для второго интеграла
для третьего интеграла и
для n- го интеграла.

D-нотация [ править ]

Д х у
Д 2 ж
Производная x от y и вторая производная от f , обозначение Эйлера.

Это обозначение иногда называют Обозначение Эйлера, хотя оно было введено Луи Франсуа Антуаном Арбогастом , и кажется, что Леонард Эйлер не использовал его. [ нужна цитата ]

В этом обозначении используется дифференциальный оператор , обозначаемый как D ( оператор D ) [6] [ не удалось пройти проверку ] или ( оператор Ньютона–Лейбница ). [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]

Символы Юникода, связанные с обозначениями Ньютона, включают:

  • 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]

Обозначение Ньютона для интегрирования [ править ]

х̍ х̎
Первая и вторая первообразные x в одной из обозначений Ньютона.

Ньютон разработал много различных обозначений для интегрирования в своей Quadratura curvarum (1704) и более поздних работах : он писал небольшую вертикальную черту или штрих над зависимой переменной ( ), прямоугольник с префиксом ( y ) или заключение термина в прямоугольник ( y ) для обозначения плавного интеграла или интеграла по времени ( absement ).

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

Интегралы по времени высшего порядка были следующими: [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 векторное поле с компонентами , и это является скалярным полем .

Дифференциальный оператор, введенный Уильямом Роуэном Гамильтоном , обозначаемый и называемый del или nabla, символически определяется в форме вектора,

где терминология символически отражает то, что оператор ∇ также будет рассматриваться как обычный вектор.

φ
Градиент скалярного поля φ .
  • Градиент : Градиент скалярного поля — вектор, который символически выражается умножением ∇ и скалярного поля ,
∇∙ A
Дивергенция векторного поля A .
  • Дивергенция : Дивергенция векторного поля A является скаляром, который символически выражается скалярным произведением ∇ и вектора A ,
2 Фи
Лапласиан скалярного поля φ .
  • Лапласиан : Лапласиан скалярного поля является скаляром, который символически выражается скалярным умножением ∇ 2 и скалярное поле φ ,
∇× A
Ротор векторного поля A .
  • Вращение : Вращение , или , векторного поля A является вектором, который символически выражается векторным произведением ∇ и вектора A ,

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

Многие другие правила исчисления одной переменной имеют аналоги векторного исчисления для градиента, дивергенции, ротора и лапласиана.

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

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

  • Аналитическое общество - британская группа XIX века, которая пропагандировала использование лейбницианского или аналитического исчисления в отличие от ньютоновского исчисления.
  • Производная – мгновенная скорость изменения (математика)
  • Fluxion - Историческая математическая концепция; форма производной
  • Матрица Гессе - (математическая) матрица вторых производных.
  • Матрица Якобиана — матрица всех частных производных первого порядка векторной функции.
  • Список математических символов по предметам : значения символов, используемых в математике.
  • Операционное исчисление

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

  1. ^ Гросс, Иоганн; Брейткопф, Бернхард Кристоф; Мартин, Иоганн Кристиан; Гледич, Иоганн Фридрих (сентябрь 1749 г.). «Обозначения для дифференцирования» . Нова Акта Эрудиторум : 512.
  2. ^ Моррис, Карла К. (28 июля 2015 г.). Основы исчисления . Старк, Роберт М., 1930–2017 гг. Хобокен, Нью-Джерси. ISBN  9781119015314 . OCLC   893974565 . {{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
  3. ^ Осборн, Джордж А. (1908). Дифференциальное и интегральное исчисление . Бостон: округ Колумбия Хит и компания. стр. 63-65 .
  4. ^ Перейти обратно: а б с д Дифференциальное и интегральное исчисление ( Огастес Де Морган , 1842). стр. 267-268
  5. ^ Лагранж , Новый метод решения буквенных уравнений с помощью рядов (1770), с. 25-26. http://gdz.sub.uni-goettingen.de/dms/load/img/?PID=PPN308900308%7CLOG_0017&physid=PHYS_0031
  6. ^ «Оператор D — Дифференциал — Исчисление — Справочник по математике с рабочими примерами» . www.codecogs.com . Архивировано из оригинала 19 января 2016 г.
  7. ^ Перейти обратно: а б Вайсштейн, Эрик В. «Дифференциальный оператор». Из MathWorld — веб-ресурса Wolfram. «Дифференциальный оператор» . Архивировано из оригинала 21 января 2016 г. Проверено 7 февраля 2016 г.
  8. ^ Вайсштейн, Эрик В. «Повторный интеграл». Из MathWorld — веб-ресурса Wolfram. «Повторный интеграл» . Архивировано из оригинала 01 февраля 2016 г. Проверено 7 февраля 2016 г.
  9. ^ Зилл, Деннис Г. (2009). «1,1» . Первый курс дифференциальных уравнений (9-е изд.). Бельмонт, Калифорния : Брукс/Коул . п. 3. ISBN  978-0-495-10824-5 .
  10. ^ Обозначения Ньютона воспроизведены из:
    • Производные с 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 и
    • Производные с 1-й по 3-ю и n- ю: История анализа (Ханс Нильс Янке, 2000), стр. 84-85.
    Точку перед n-й производной можно опустить ( )
  11. ^ Вайсштейн, Эрик В. «Овердот». Из MathWorld — веб-ресурса Wolfram. «Овердот» . Архивировано из оригинала 5 сентября 2015 г. Проверено 5 февраля 2016 г.
  12. ^ Вайсштейн, Эрик В. «Двойная точка». Из MathWorld — веб-ресурса Wolfram. «Двойная точка» . Архивировано из оригинала 3 марта 2016 г. Проверено 5 февраля 2016 г.
  13. ^ Статья 580 в книге Флориана Каджори, « История математических обозначений» (1929), Dover Publications, Inc., Нью-Йорк. ISBN   0-486-67766-4
  14. ^ «Образцы математической мысли в позднем семнадцатом веке», Архив истории точных наук, том. 1, № 3 (Д. Т. Уайтсайд, 1961), стр. 361–362,378.
  15. ^ С.Б. Энгельсман дал более строгие определения в книге «Семейства кривых и происхождение частичной дифференциации» (2000), стр. 223-226.
  16. ^ Обозначения Ньютона для интегрирования воспроизведены из: n - е интегральное обозначение вычитается из n- й производной. Его можно было использовать в Methodus Incrementorum Directa & Inversa (Брук Тейлор, 1715 г.).
  17. ^ Ту, Лоринг В. (2011). Введение в многообразия (2-е изд.). Нью-Йорк: Спрингер. ISBN  978-1-4419-7400-6 . OCLC   682907530 .

Внешние ссылки [ править ]