Рукописная строчная D

 — математический символ, стилизованная курсивная строчная d. Обычно используется в обозначении частной производной (, читается как «частная производная по переменной »)[1], также может обозначать границу множества, граничный оператор в цепном комплексе, сопряжённый оператор Дольбо на гладких дифференциальных формах над комплексным многообразием.
Общие сведения
Курсивная латинская строчная буква D
Характеристики
Название частная производная
Юникод U+2202
HTML-код ∂ или ∂
UTF-16 0x2202
URL-код %E2%88%82
Мнемоника ∂

История

Символ был впервые использован в 1770 году Никола де Кондорсе в работе по математическому анализу для обозначения частного дифференциала, то есть приращения функции по одной переменной при фиксированных остальных[2].

Использование округлой буквы d в обозначении частного дифференцирования снова встречается у А. М. Лежандра Адриену Мари Лежандру, в 1786 году в статье «Memoire sur la manière de distinguer les maxima des minima dans le Calcul des Variations»[3]. Он вводит современное обозначение ∂v/x для частной производной и пишет: «Чтобы избежать всякой двусмысленности, я буду представлять через ∂v/∂x коэффициент при dx в дифференциале v, а через dv/dx — полный дифференциал v, деленный на dx»[4]. Лежандр описывал символ как специализированный скорописный вариант буквы , точно так же, как знак интеграла ∫ происходит от специализированного варианта буквы S — долгой S (впервые использованного в печати Лейбницем в 1686 году). По не до конца ясным причинам Лежандр впоследствии отказался от этого обозначения[5].

В 1841 году символ был возрождён Карлом Густавом Якобом Якоби в фундаментальной работе «De determinantibus Functionalibus»[6], посвящённой функциональным определителям (ныне называемым якобианами). Якоби использовал ∂ систематически и настолько успешно, что в русскоязычной математической литературе символ долгое время называли «дельтой Якоби». С этого момента обозначение стало общепринятым в математическом анализе, а затем и во всей математической физике.

Произношение

Устоявшегося произношения символа ∂ не существует: в разных языковых и профессиональных традициях его называют по-разному.

В русскоязычной математической литературе символ чаще всего просто читают как «дэ» (по аналогии с обычной буквой ), а выражение произносят как «дэ зэ по дэ икс». В разговорной речи математиков и физиков встречаются также названия «круглая дэ», «изогнутая дэ», «дельта Якоби», «дел»[7].

В англоязычной традиции распространено множество вариантов: partial, der, dough (произносится как «доу»), curly d, round d. В французском языке символ называют dé rond («круглое дэ») или der (произносится как «дэр»).

Названия и кодировка

Символ в Юникоде — U+2202 partial differential, в HTML вызывается с помощью ∂, ∂ или ∂, в LAΤΕΧ — \partial (глиф в Computer Modern — ).

Математическое использование

Символ ∂ является стандартным обозначением оператора дифференцирования по одной переменной при фиксированных значениях остальных переменных. Ниже приведены основные области его применения.

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

Пусть  — функция нескольких переменных. Частная производная функции по переменной определяется как предел[8]:

.

Вектор всех частных производных называется градиентом функции и обозначается:

[9].

Вторые частные производные образуют матрицу Гессе, а смешанные производные при достаточной гладкости функции не зависят от порядка дифференцирования (теорема Шварца):

[10].

Дивергенция, ротор и лапласиан

В векторном анализе символ ∂ используется для записи основных дифференциальных операторов над векторными полями:

  • Дивергенция векторного поля :
[11];
[12];
Гриффитс Ф., Харрис Дж. Принципы алгебраической геометрии / Пер. с англ.. — М.: Мир, 1982. — Т. 2. — С. 96..

Дифференциальные формы и внешнее дифференцирование

В дифференциальной геометрии символ ∂ используется в теории дифференциальных форм. Оператор внешнего дифференцирования действует на дифференциальные формы, повышая их степень на единицу. В комплексном анализе нескольких переменных оператор раскладывается в сумму двух операторов:

,

где повышает голоморфную степень формы, а  — антиголоморфную. Условие является записью условия голоморфности функции (обобщённое уравнение Коши — Римана)[13].

Сопряжённый оператор (или ) играет ключевую роль в когомологиях Дольбо комплексных многообразийГриффитс Ф., Харрис Дж. Принципы алгебраической геометрии / Пер. с англ.. — М.: Мир, 1982. — Т. 2. — С. 37..

Граница множества и граничный оператор

В алгебраической топологии символ ∂ обозначает границу топологического пространства или многообразия: . Например, граница диска  — это окружность , а граница отрезка состоит из двух точек [14].

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

Матрица Якоби

Якобиан вектор-функции от переменных записывается через символ ∂:

.

Определитель якобиана (при ) называется якобианом и играет роль «коэффициента растяжения объёма» при замене переменных в кратных интегралах[16].

Уравнения в частных производных

Символ ∂ является основным при записи уравнений в частных производных (УрЧП), описывающих фундаментальные физические процессы:

Применение в физике

Символ ∂ повсеместно используется в математической физике для записи фундаментальных уравнений:

  • в электродинамике — уравнения Максвелла в дифференциальной форме: , ;
  • в квантовой механике — уравнение Шрёдингера: ;
  • в термодинамике — соотношения между частными производными термодинамических потенциалов (соотношения Максвелла): ;
  • в общей теории относительности — ковариантные производные и символы Кристоффеля, записываемые через частные производные метрического тензора: ;
  • в механике сплошных сред — тензор напряжений и уравнения Навье — Стокса[19].

Отличие от других символов

Символ ∂ следует отличать от родственных обозначений:

  • (прямая латинская буква) — обозначает полный дифференциал или производную функции одной переменной: ;
  • (греческая «дельта») — используется для обозначения вариации в вариационном исчислении или бесконечно малого приращения;
  • («набла») — векторный дифференциальный оператор ;
  • («дельта») — оператор Лапласа или конечное приращение функции.

Примечания

  1. Фихтенгольц Г. М. Т. 2 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2001. — С. 376. — ISBN 5-9221-0157-9.
  2. Cajori f. F history of mathematical notations. — New York: Dover publications, 1993. — Т. 2. — 848 с. — ISBN 9780486677668.
  3. Adrien-Marie Legendre, "Memoire sur la manière de distinguer les maxima des minima dans le Calcul des Variations, " Histoire de l’Academie Royale des Sciences (1786), pp. 7 Архивная копия от 3 июня 2021 на Wayback Machine-37.
  4. Cajori f. F history of mathematical notations. — New York: Dover publications, 1993. — Т. 2. — 848 с. — ISBN 9780486677668.
  5. Cajori f. F history of mathematical notations. — New York: Dover publications, 1993. — Т. 2. — 848 с. — ISBN 9780486677668.
  6. Carl Gustav Jacob Jacobi, "De determinantibus Functionalibus, " Crelle's Journal 22 (1841), pp. 319—359.
  7. Bhardwaj, R.S. (2005), Mathematics for Economics & Business (2nd ed.), с. 6.4, ISBN 9788174464507 
  8. Фихтенгольц Г. М. Т. 1 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2003. — С. 375—378. — ISBN 5-9221-0156-0..
  9. Фихтенгольц Г. М. Т. 3 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2001. — С. 368. — ISBN 5-9221-0158-7.
  10. Зорич В. А. Ч. 1 // Математический анализ. — 10-е. — М.: МЦНМО, 2019. — С. 457. — ISBN 978-5-4439-4030-4.
  11. Фихтенгольц Г. М. Т. 3 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2001. — С. 371. — ISBN 5-9221-0158-7.
  12. Фихтенгольц Г. М. Т. 3 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2001. — С. 373—374. — ISBN 5-9221-0158-7.
  13. Лаврентьев М. А., Шабат Б. В. Методы теории функций комплексного переменного. — М.: Главная редакция физико-математической литературы изд-ва «Наука», 1973. — С. 16, 21..
  14. Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия: Методы и приложения. Т. 1: Геометрия поверхностей, групп преобразований и полей. — 4-е изд., испр. и доп. — М.: Эдиториал УРСС, 1998. — С. 24.
  15. Гельфанд С. И., Манин Ю. И. Методы гомологической алгебры: В 2-х т. Т. 1. Введение в теорию когомологий и производные категории. — М.: Наука. Гл. ред. физ.-мат. лит., 1988. — С. 30—31. — 416 с. — ISBN 5-02-014414-2.
  16. Зорич В. А. Ч. 1 // Математический анализ. — 10-е. — М.: МЦНМО, 2019. — С. 404. — ISBN 978-5-4439-4030-4.
  17. Масленникова В. Н. Дифференциальные уравнения в частных производных: Учебник. — М.: Изд-во РУДН, 1997. — 447 с. — ISBN 5-209-00847-9.
  18. Тихонов А. Н., Самарский А. А. Уравнения математической физики / МГУ им. М. В. Ломоносова. — 7-е изд.. — М.: Изд-во МГУ : Наука, 2004. — 798 с. — (Классический университетский учебник). — ISBN 5-211-04843-1.
  19. Тихонов А. Н., Самарский А. А. Уравнения математической физики / МГУ им. М. В. Ломоносова. — 7-е изд.. — М.: Изд-во МГУ : Наука, 2004. — 798 с. — (Классический университетский учебник). — ISBN 5-211-04843-1.

Литература

  • Зорич В. А. Ч. 1 // Математический анализ. — 10-е. — М.: МЦНМО, 2019. — 564 с. — ISBN 978-5-4439-4030-4.
  • Масленникова В. Н. Дифференциальные уравнения в частных производных: Учебник. — М.: Изд-во РУДН, 1997. — 447 с. — ISBN 5-209-00847-9.
  • Фихтенгольц Г. М. Т. 1 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2003. — 679 с. — ISBN 5-9221-0156-0.
  • Фихтенгольц Г. М. Т. 2 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2001. — 863 с. — ISBN 5-9221-0157-9.
  • Тихонов А. Н., Самарский А. А. Уравнения математической физики / МГУ им. М. В. Ломоносова. — 7-е изд.. — М.: Изд-во МГУ : Наука, 2004. — 798 с. — (Классический университетский учебник). — ISBN 5-211-04843-1.
  • Cajori F. A History of Mathematical Notations. — New York: Dover Publications, 1993. — 848 с. — ISBN 9780486677668.

Дополнительно по теме