Нотация Лейбница

Нотация Лейбница — система математических обозначений, разработанная Лейбницем для анализа бесконечно малых и широко используемая в математическом анализе (вместе с рядом других нотаций). Основные символы — $dx$ и $dy$ для представления бесконечно малого приращения $x$ и функции $y$ от переменной $x$ соответственно, а также ${\Delta }x$ и ${\Delta }y$ для конечных приращений $x$ и $y$ соответственно^[1].

dy

dx

d²y

dx²

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

Производная $y$ по $x$ , которая позднее стала рассматриваться как предел:

\lim _{\Delta x\rightarrow 0}{\frac {\Delta y}{\Delta x}}=\lim _{\Delta x\rightarrow 0}{\frac {f(x+\Delta x)-f(x)}{\Delta x}}

,

была, согласно Лейбницу, отношением бесконечно малого приращения $y$ к бесконечно малому приращению $x$ :

{\frac {dy}{dx}}=f'(x)

,

где правая часть является записью для производной функции $f$ по $x$ в нотации Лагранжа. Бесконечно малые приращения называются дифференциалами. С этим понятием связано понятие интеграла, в котором бесконечно малые приращения суммируются (например, для вычисления длины, площади или объёма как суммы крошечных кусочков). Для записи интегралов Лейбниц предложил тесно связанную нотацию, в которой используются те же самые дифференциалы. Эта нотация имела важное значение в развитии континентальной европейской математики.

Концепция Лейбница бесконечно малых долгое время оставалась нестрогой, но со временем была дополнена строгими формулировками, разработанными Вейерштрассом и другими математиками XIX века. Как следствие, нотация Лейбница в виде дроби стала рассматриваться не как простое деление, а получила определение через предельный переход. В XX веке было предложено несколько других формализмов, позволяющих придать строгость нотации бесконечно малых величин, включая нестандартный анализ, касательное пространство, использование «O» большого^{[уточнить]}.

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

История

В XVII столетии математики Ньютон и Лейбниц независимо друг от друга начали разрабатывать исчисления, оперирующие с бесконечно малыми величинами. В то время как Ньютон работал с флюксиями^[англ.], Лейбниц основывал свой подход на обобщении сумм и разностей^[2]. Лейбниц первым использовал символ $\textstyle \int$ . Данный символ является производным от латинского слова summa («сумма»), которое учёный записывал как ſumma с использованием удлинённой буквой s, которая часто использовалась в Германии того времени. Рассматривая дифференцирование как обратную операцию к суммированию^[3], Лейбниц использовал символ $d$ — первую букву латинского слова differentia («разность»)^[2].

Лейбниц был привередлив по отношению к обозначениям, тратя годы на экспериментирование, подгонку, отбраковку и согласование с другими математиками^[4]. Нотация, которую он использовал для дифференциала переменной $y$ , менялась постепенно от $\omega$ , $l$ и ${\tfrac {y}{d}}$ до окончательного обозначения $dy$ ^[5]. Его знак интеграла впервые появился в статье «De Geometria Recondita et analysi indivisibilium atque infinitorum» (О скрытой геометрии и анализе неделимых и бесконечных), опубликованной в журнале Acta Eruditorum в июне 1686 года^[6]^[7], но использовался в частных рукописях по меньшей мере с 1675 года^[8]^[9]^[10] Лейбниц первым использовал обозначение $dx$ в статье «Nova Methodus pro Maximis et Minimis», также опубликованной в журнале Acta Eruditorum в 1684 году^[11]. Хотя выражение ${\tfrac {dy}{dx}}$ появилось в частной рукописи 1675 года^[12]^[13], оно не использовалось в таком виде в упомянутых опубликованных работах. В печати Лейбниц использовал выражения для дифференцирования в виде $dyaddx$ и $dy:dx$ ^[11].

Английские математики использовали нотацию Ньютона с точкой до 1803 года, пока Роберт Вудхаус^[англ.] не опубликовал описание континентальных обозначений. Позднее Аналитическое сообщество^[англ.] Кембриджского университета содействовало адаптации нотации Лейбница.

К концу XIX столетия последователи Вейерштрасса перестали воспринимать нотацию Лейбница для производных и интегралов буквально. Математики чувствовали, что концепция бесконечно малых содержит логическое противоречие. Некоторые математики 19-го века (Вейерштрасс и другие) сформулировали математически строгие методы для работы с производными и интегралами без использовании бесконечно малых. В математической формализации Вейерштрасса использовалась концепция предела, как показано выше. В то же время Коши использовал как бесконечно малые, так и пределы (см. Cours d'Analyse^[англ.]). На данный момент нотация Лейбница продолжает активно использоваться, но её не следует воспринимать буквально. Нотация Лейбница часто проще, чем альтернативные нотации: к примеру, когда используется техника разделения переменных при решении дифференциальных уравнений. Также нотация Лейбница находится в гармонии с анализом размерности. К примеру, пусть $s(t)$ — перемещение, которое измеряется в метрах, а $t$ — время, измеряемое в секундах. Приращения величин имеют соответствующие размерности, то есть $ds$ имеет размерность длины, а $dt$ — размерность времени. Производная $v(t)=ds/dt$ будет определять скорость с размерностью м / с. Аналогично, интеграл ${\textstyle s=\int v(t)\,dt}$ будет определять перемещение, измеряемое в метрах.

Нотация Лейбница для дифференцирования

Пусть зависимая переменная $y$ является функцией $f$ независимой переменной $x$ : $y=f(x)$ . Тогда производная функции $f$ в нотации Лейбница для дифференцирования может быть записана в виде:

{\frac {dy}{dx}}\quad

или

\quad {\frac {d}{dx}}y\quad

или

\quad {\frac {d{\bigl (}f(x){\bigr )}}{dx}}

.

Выражение Лейбница, записанное как $dy/dx$ , является одним из общепринятых обозначений производной. Альтернативными являются обозначение Лагранжа со штрихом

{\frac {dy}{dx}}\,=y'=f'(x)

и запись в нотации Ньютона, которая требует размещения точки над зависимой переменной (в данном случае $y$ ):

{\frac {dy}{dt}}={\dot {y}}

.

Нотация Ньютона часто используется для записи производных по времени (подобно скорости). Обозначение «штрих» Лагранжа является более лаконичным и позволяет записывать производную функции в конкретной точке. К примеру, запись $f'(x_{0})$ обозначает первую производную функции $f(x)$ в точке $x=x_{0}$ . Однако, обозначение Лейбница имеет свои преимущества, позволяющие ему сохранять популярность спустя много лет.

В современной интерпретации выражение ${\tfrac {dy}{dx}}$ следует рассматривать не как непосредственное отношение двух бесконечно малых величин $dy$ и $dx$ (как представлял Лейбниц), а как единое выражение, являющееся сокращением для предела:

\lim _{\Delta x\to 0}{\frac {\Delta y}{\Delta x}}

,

здесь используется знак ${\Delta }$ , который обозначает конечную разность, а не $d$ , который обозначает бесконечно малую в интерпретации Лейбница.

Выражение также можно понимать как действие дифференциального оператора ${\tfrac {d}{dx}}$ (опять же, единый символ) на переменную $y$ , которая рассматривается как функция независимой переменной $x$ . Данный оператор также записывается как $D$ в нотации Эйлера. Лейбниц не использовал такой вид, но применял символ $d$ довольно близко к современной концепции.

Хотя нотация Лейбница не предполагает никакого реального деления, обозначение в виде частного полезно во многих ситуациях. Поскольку оператор взятия производной во многих случаях ведёт себя подобно операции деления, нотация Лейбница позволяет легче понять и запомнить некоторые результаты, связанные с производными^[14]. Так, ранее уже упоминалось, что размерности величин при дифференцировании ведут себя как при обыкновенном делении, другим показательным примером является правило дифференцирования сложной функции, которое в нотации Лейбница является очевидным и принимает вид, близкий к тавтологии:

{\frac {dy}{dt}}\,=\,{\frac {dy}{dx}}\cdot {\frac {dx}{dt}}

.

Нотация Лейбница имеет такой долгий срок жизни, поскольку она достигает самой сути геометрических и механических приложений анализа^[15].

Обозначения Лейбница для производных большего порядка

Если $y=f(x)$ , тогда $n$ -я производная функции $f$ в нотации Лейбница задаётся выражением^[16]

f^{(n)}(x)={\frac {d^{n}y}{dx^{n}}}

.

Эта нотация для второй производной получается путём использования ${\tfrac {d}{dx}}$ как оператора следующим образом^[16]:

{\frac {d^{2}y}{dx^{2}}}\,=\,{\frac {d}{dx}}\left({\frac {dy}{dx}}\right)

.

Третья производная, которую можно записать как:

{\frac {d\left({\frac {d\left({\frac {dy}{dx}}\right)}{dx}}\right)}{dx}}\,,

может быть получена из:

{\frac {d^{3}y}{dx^{3}}}\,=\,{\frac {d}{dx}}\left({\frac {d^{2}y}{dx^{2}}}\right)\,=\,{\frac {d}{dx}}\left({\frac {d}{dx}}\left({\frac {dy}{dx}}\right)\right)

.

Аналогичным образом по инструкции могут быть получены производные бо́льших порядков. Хотя при аккуратно выбранных определениях выражение ${\tfrac {dy}{dx}}$ можно интерпретировать как частное двух дифференциалов, для дифференциальных форм большего порядка этого делать не стоит^[17].

Данное обозначение не использовалось Лейбницем. В печатных работах он не использовал ни многоступенчатую запись, ни числовые экспоненты (до 1695 года). Например, чтобы записать $x^{3}$ , Лейбниц мог использовать принятую в те времена запись $xxx$ . Квадрат дифференциала, который появляется, к примеру, в формуле длины кривой, записывался как $dxdx$ . Кроме этого, Лейбниц использовал своё обозначение $d$ в том смысле, в котором сейчас используются операторы, то есть он мог записать вторую производную как $ddy$ , а третью как $dddy$ . В 1695 году Лейбниц начал писать $d^{2}\cdot {x}$ и $d^{3}\cdot {x}$ для $ddx$ и $dddx$ соответственно, но Лопиталь в книге по математическому анализу, написанной примерно в то же время, использовал исходную форму обозначений Лейбница ^[18].

Использование в различных формулах

Одной из причин, по которой обозначения Лейбница в математическом анализе сохраняются так долго, является то, что они позволяют с легкостью вспомнить различные формулы, используемые для дифференцирования и интегрирования. Например, формулу дифференцирования сложной функции. Пусть функция $g(x)$ дифференцируема по $x$ и пусть функция $y=f(u)$ дифференцируема по $u=g(x)$ . Композиция функций $y(x)=f(g(x))$ дифференцируема по $x$ и её производная может быть выражена в нотации Лейбница как^[19]

{\frac {dy}{dx}}={\frac {dy}{du}}\cdot {\frac {du}{dx}}

.

Формулу можно обобщить для работы с композицией из нескольких связанных функций $u_{1},u_{2},\dots ,u_{n}$ , определённых подходящим образом

{\frac {dy}{dx}}={\frac {dy}{du_{1}}}\cdot {\frac {du_{1}}{du_{2}}}\cdot {\frac {du_{2}}{du_{3}}}\cdots {\frac {du_{n}}{dx}}

.

Формулу замены переменной в интеграле можно представить выражением^[20]:

\int y\,dx=\int y{\frac {dx}{du}}\,du,

где $x$ рассматривается как функция от новой переменной $u$ , функция $y$ слева выражена в терминах $x$ , а справа — в терминах $u$ .

Пусть $y=f(x)$ , где $f$ является обратимой дифференцируемой функцией, тогда производная обратной функции (если таковая существует), может быть выражена как^[21]

{\frac {dx}{dy}}={\frac {1}{\left({\frac {dy}{dx}}\right)}},

где скобки добавлены для подчёркивания факта, что производная — не частное, а выражение ${\textstyle {\frac {dy}{dx}}}$ необходимо рассматривать как единое целое. Тем не менее, при решении некоторых видов дифференциальных уравнений допускается оперировать дифференциалами $dy$ и $dx$ отдельно. Рассмотрим один из простейших видов дифференциальных уравнений^[22]

M(x)+N(y){\frac {dy}{dx}}=0,

где $M$ и $N$ являются непрерывными функциями своих аргументов. Решение (в неявном виде) такого уравнения можно получить путём исследования уравнения в его дифференциальной форме.

M(x)\,dx+N(y)\,dy=0

После интегрирования получим

\int M(x)\,dx+\int N(y)\,dy=C.

Такая техника решения дифференциальных уравнений носит название метод разделения переменных.

В каждом из примеров нотация Лейбница для производной проявляет себя как частное, несмотря на то, что в современной интерпретации выражение ${\textstyle {\frac {dy}{dx}}}$ не рассматривается как настоящее деление.

Современное обоснование бесконечно малых

В 1960-х годах, основываясь на ранних работах Эдвина Хьюита и Ежи Лося^[англ.], Абрахам Робинсон предложил математическое обоснование для бесконечно малых Лейбница, которое было приемлемым для современных стандартов строгости, и разработал нестандартный анализ основываясь на этих идеях. Подход получил некоторое распространение, Джером Кейслер^[англ.] на его основе написал учебник для первого курса «Начала анализа: подход с использованием бесконечно малых величин», однако массового применения методы Робинсона не получили.

С точки зрения современной теории бесконечно малых ${\Delta }x$ является бесконечно малым приращением $x$ , ${\Delta }y$ является соответствующим приращением $y$ ,а производная — есть cтандартная часть отношения бесконечно малых:

f'(x)={\rm {st}}{\Bigg (}{\frac {\Delta y}{\Delta x}}{\Bigg )}

.

Тогда приравниваем $dx=\Delta x$ , $dy=f'(x)dx$ , так что по определению $f'(x)$ является отношением $dy$ к $dx$ .

Аналогично, хотя большинство математиков понимают интеграл:

\int f(x)\,dx

как предел:

\lim _{\Delta x\rightarrow 0}\sum _{i}f(x_{i})\,\Delta x

,

где ${\Delta }x$ является интервалом, содержащим $x_{i}$ , Лейбниц видел его как сумму (символ интеграла для него обозначал суммирование) бесконечно большого числа бесконечно малых величин $f(x)dx$ . С точки зрения нестандартного анализа корректно рассматривать интеграл как стандартную часть такой бесконечной суммы.

В обмен, для точности концепции, необходимо расширить множество вещественных чисел до множества гипервещественных чисел.

Другие обозначения Лейбница

Лейбниц экспериментировал со многими различными нотациями в различных областях математики. Он чувствовал, что хорошая нотация играет фундаментальную роль при исследованиях в области математики. В письме Лопиталю в 1693 году он пишет^[23]:

Один из секретов анализа состоит в характеристике, то есть в искусстве мастерского использования доступными символами, и вы видите, сэр, что за маленькими барьерами [для определителей] Виета и Декарт не видели всех тайн

Он уточнил со временем свой критерий хорошей нотации и понял значение «использования символизма, который можно записать в строку подобно простой букве без необходимости расширения ширины строк для записи символов с просторными частями.»^[24] Например, в своих ранних работах он часто использовал черту сверху для группировки символов, но позднее предложил использовать для этого пару скобок, тем самым облегчив труд наборщиков, которым теперь стало не нужно расширять пространство между строками на странице, а страницы стали выглядеть более привлекательно^[25].

Многие из 200 новых символов, введённых Лейбницем, используются и сегодня^[26]. Кроме дифференциалов $dx$ , $dy$ и знака интеграла ( $\textstyle \int$ ) он ввёл также двоеточие ( $\colon$ ) для деления, точку ( $\cdot$ ) для умножения, геометрические знаки подобия ( $\sim$ ) и конгруэнтности ( $\cong$ ), использование знака равенства Рекорда ( $=$ ) для пропорций (взамен нотации Отреда $\colon \colon$ ) и двойной суффикс для определителей^[23].

См. также

Примечания

↑ Stewart, 2008.
↑ ¹ ² Katz, 1993, с. 524.
↑ Katz, 1993, с. 529.
↑ Mazur, 2014, с. 166.
↑ Cajori, 1993, с. Vol. II 203 сноска 4.
↑ Swetz, 2015.
↑ Stillwell, 1989, с. 110.
↑ Leibniz, 2005, с. 73–74, 80.
↑ Leibniz, 2008, с. 288–295, 321–331.
↑ Aldrich, John. Earliest Uses of Symbols of Calculus (неопр.). Дата обращения: 20 апреля 2017. Архивировано 1 мая 2015 года.
↑ ¹ ² Cajori, 1993, с. Vol. II 204.
↑ Leibniz, 2008, с. 321–331, 328.
↑ Cajori, 1993, с. Vol. II 186.
↑ Jordan, Smith, 2002, с. 58.
↑ Cajori, 1993, с. Vol. II 262.
↑ ¹ ² Briggs, Cochran, 2010, с. 141.
↑ Swokowski, 1983, с. 135.
↑ Cajori, 1993, с. Vol. II 204-205.
↑ Briggs, Cochran, 2010, с. 176.
↑ Swokowski, 1983, с. 257.
↑ Swokowski, 1983, с. 369.
↑ Swokowski, 1983, с. 895.
↑ ¹ ² Cajori, 1993, с. Vol. II 185.
↑ Cajori, 1993, с. Vol. II 184.
↑ Mazur, 2014, с. 167—168.
↑ Mazur, 2014, с. 167.

Литература

Florian Cajori. A History of Mathematical Notations. — New York: Dover, 1993. — ISBN 0-486-67766-4.
Joseph Mazur. Enlightening Symbols / A Short History of Mathematical Notation and Its Hidden Powers. — Princeton University Press, 2014. — ISBN 978-0-691-17337-5.
James Stewart. Calculus: Early Transcendentals. — 6th. — Brooks/Cole, 2008. — ISBN 978-0-495-01166-8.
Victor J. Katz. A History of Mathematics / An Introduction. — Addison Wesley Longman, 1993. — ISBN 978-0-321-01618-8.
Frank J. Swetz. Mathematical Treasure: Leibniz’s Papers on Calculus — Integral Calculus. — Mathematical Association of America, 2015. — (Convergence).
John Stillwell. Mathematics and its History. — Springer, 1989.
Leibniz G. W. The Early Mathematical Manuscripts of Leibniz / перевод J. M. Child. — Dover, 2005. — С. 73–74, 80. — ISBN 978-0-486-44596-0.
Leibniz G. W. Sämtliche Schriften und Briefe, Reihe VII: // Mathematische Schriften,. — Berlin: Akademie Verlag, 2008. — Т. 5: Infinitesimalmathematik 1674-1676. Страницы 288—295 Архивная копия от 9 октября 2021 на Wayback Machine («Analyseos tetragonisticae pars secunda», October 29, 1675) 321-331 Архивная копия от 3 октября 2016 на Wayback Machine («Methodi tangentium inversae exempla», November 11, 1675) 321-331 esp. 328 Архивная копия от 3 октября 2016 на Wayback Machine («Methodi tangentium inversae exempla», November 11, 1675).
Jordan D. W., Smith P. Mathematical Techniques: An Introduction for the Engineering, Physical, and Mathematical Sciences. — Oxford University Press, 2002. — С. 58.
William Briggs, Lyle Cochran. Calculus / Early Transcendentals / Single Variable. — Addison-Wesley, 2010. — ISBN 978-0-321-66414-3.
Earl W. Swokowski. Calculus with Analytic Geometry. — Alternate. — Prindle, Weber and Schmidt, 1983. — ISBN 0-87150-341-7.

[_e3236106ada8cc69-1] Stewart, 2008.

[_4154811d2b3e307c-2] ¹ ² Katz, 1993, с. 524.

[_4154811d2b3e3071-3] Katz, 1993, с. 529.

[_32777ef172c321ba-4] Mazur, 2014, с. 166.

[_c1efa9def3ab6c06-5] Cajori, 1993, с. Vol. II 203 сноска 4.

[_002b8d47a9217fb8-6] Swetz, 2015.

[_f11ecd44fe9cbe68-7] Stillwell, 1989, с. 110.

[_b3080eb711611831-8] Leibniz, 2005, с. 73–74, 80.

[_5af855b5cdda5187-9] Leibniz, 2008, с. 288–295, 321–331.

[jeff560-10] Aldrich, John. Earliest Uses of Symbols of Calculus (неопр.). Дата обращения: 20 апреля 2017. Архивировано 1 мая 2015 года.

[_bd91b1d2ffe682fa-11] ¹ ² Cajori, 1993, с. Vol. II 204.

[_252197a0f7df73dd-12] Leibniz, 2008, с. 321–331, 328.

[_bd8e33d2ffe376eb-13] Cajori, 1993, с. Vol. II 186.

[_f4f63f9c6cb127bd-14] Jordan, Smith, 2002, с. 58.

[_bd91b3d2ffe68606-15] Cajori, 1993, с. Vol. II 262.

[_8014eaa991f78f6a-16] ¹ ² Briggs, Cochran, 2010, с. 141.

[_18eb0e1b57d04bde-17] Swokowski, 1983, с. 135.

[_d365b9f9ba048886-18] Cajori, 1993, с. Vol. II 204-205.

[_8014eba991f79138-19] Briggs, Cochran, 2010, с. 176.

[_18e7841b57cd2ba1-20] Swokowski, 1983, с. 257.

[_18e4011b57ca171f-21] Swokowski, 1983, с. 369.

[_18d30c1b57bbb691-22] Swokowski, 1983, с. 895.

[_bd8e33d2ffe376e8-23] ¹ ² Cajori, 1993, с. Vol. II 185.

[_bd8e33d2ffe376e9-24] Cajori, 1993, с. Vol. II 184.

[_e1bc48ec5600902e-25] Mazur, 2014, с. 167—168.

[_32777ef172c321bb-26] Mazur, 2014, с. 167.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]