Рукописная строчная D
- ∂ — математический символ, стилизованная курсивная строчная d. Обычно используется в обозначении частной производной (, читается как «частная производная по переменной »)[1], также может обозначать границу множества, граничный оператор в цепном комплексе, сопряжённый оператор Дольбо на гладких дифференциальных формах над комплексным многообразием.
История
Символ был впервые использован в 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].
Отличие от других символов
Символ ∂ следует отличать от родственных обозначений:
- (прямая латинская буква) — обозначает полный дифференциал или производную функции одной переменной: ;
- (греческая «дельта») — используется для обозначения вариации в вариационном исчислении или бесконечно малого приращения;
- («набла») — векторный дифференциальный оператор ;
- («дельта») — оператор Лапласа или конечное приращение функции.
Примечания
- ↑ Фихтенгольц Г. М. Т. 2 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2001. — С. 376. — ISBN 5-9221-0157-9.
- ↑ Cajori f. F history of mathematical notations. — New York: Dover publications, 1993. — Т. 2. — 848 с. — ISBN 9780486677668.
- ↑ 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.
- ↑ Cajori f. F history of mathematical notations. — New York: Dover publications, 1993. — Т. 2. — 848 с. — ISBN 9780486677668.
- ↑ Cajori f. F history of mathematical notations. — New York: Dover publications, 1993. — Т. 2. — 848 с. — ISBN 9780486677668.
- ↑ Carl Gustav Jacob Jacobi, "De determinantibus Functionalibus, " Crelle's Journal 22 (1841), pp. 319—359.
- ↑ Bhardwaj, R.S. (2005), Mathematics for Economics & Business (2nd ed.), с. 6.4, ISBN 9788174464507
- ↑ Фихтенгольц Г. М. Т. 1 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2003. — С. 375—378. — ISBN 5-9221-0156-0..
- ↑ Фихтенгольц Г. М. Т. 3 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2001. — С. 368. — ISBN 5-9221-0158-7.
- ↑ Зорич В. А. Ч. 1 // Математический анализ. — 10-е. — М.: МЦНМО, 2019. — С. 457. — ISBN 978-5-4439-4030-4.
- ↑ Фихтенгольц Г. М. Т. 3 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2001. — С. 371. — ISBN 5-9221-0158-7.
- ↑ Фихтенгольц Г. М. Т. 3 // Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2001. — С. 373—374. — ISBN 5-9221-0158-7.
- ↑ Лаврентьев М. А., Шабат Б. В. Методы теории функций комплексного переменного. — М.: Главная редакция физико-математической литературы изд-ва «Наука», 1973. — С. 16, 21..
- ↑ Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия: Методы и приложения. Т. 1: Геометрия поверхностей, групп преобразований и полей. — 4-е изд., испр. и доп. — М.: Эдиториал УРСС, 1998. — С. 24.
- ↑ Гельфанд С. И., Манин Ю. И. Методы гомологической алгебры: В 2-х т. Т. 1. Введение в теорию когомологий и производные категории. — М.: Наука. Гл. ред. физ.-мат. лит., 1988. — С. 30—31. — 416 с. — ISBN 5-02-014414-2.
- ↑ Зорич В. А. Ч. 1 // Математический анализ. — 10-е. — М.: МЦНМО, 2019. — С. 404. — ISBN 978-5-4439-4030-4.
- ↑ Масленникова В. Н. Дифференциальные уравнения в частных производных: Учебник. — М.: Изд-во РУДН, 1997. — 447 с. — ISBN 5-209-00847-9.
- ↑ Тихонов А. Н., Самарский А. А. Уравнения математической физики / МГУ им. М. В. Ломоносова. — 7-е изд.. — М.: Изд-во МГУ : Наука, 2004. — 798 с. — (Классический университетский учебник). — ISBN 5-211-04843-1.
- ↑ Тихонов А. Н., Самарский А. А. Уравнения математической физики / МГУ им. М. В. Ломоносова. — 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.