Этот вопрос MSE заставил меня задаться вопросом, где нотация Лейбница ибо вторая производная получается из. Оно не возникает сразу как очевидное обобщение . Использовал ли его сам Лейбниц? Или его ввели позже?
Лейбниц действительно использовал это обозначение, например, в своей статье Supplementum geometriae practicae, Acta Eruditorum , апрель 1693 г., с. 179 ( ссылка на Google Книги ):
Дифференциальный символ _ принадлежит Лейбницу.
Он ввел также «повторяющиеся» дифференциалы; видеть :
Более того, чтобы ввести дифференциалы более высокого порядка, дифференциалы первого порядка должны рассматриваться как переменные, меняющиеся в упорядоченной последовательности; если только один Считается, не имеет смысла. Следующая цитата из Лейбница ["Monitum de characteribus алгебраич", 1710] иллюстрирует это:
Дальше, элемент элемента или разность разностей , для количества сама по себе не всегда постоянна, а обычно постоянно увеличивается или уменьшается.
См. Также «Ранние математические рукописи Лейбница» (изд. Дж. М. Чайлда, 1920 г. - также репринт в Дувре): рукопись ответа Бернхарду Ньювентиджту, стр. 144-на :
Следует отметить, что Лейбниц для ; см. стр. 151 :
Затем, поскольку
Принятый ответ не оставляет сомнений в том, что Лейбниц был первым, кто написал для второй производной. Но так как я нашел так много вводящих в заблуждение оправданий этой записи в Интернете , я чувствую, что нужно сказать об этом кое-что дополнительно.
Большинство оправданий в приведенных выше ссылках примерно такие: «путем формальной манипуляции» или «слишком очевидно».
Чтобы объяснить, позвольте мне сначала провести простую аналогию. Никто сегодня не будет утверждать, что следующее верно
Аналогично, для Лейбница, был оператором (он мог бы не называть его так, но он знал, что он действует на переменные точно так же, как ) и он знал частное правило для . Таким образом, он мог бы одобрить следующее общее уравнение
Это можно увидеть в статье Лейбница 1693 года, которую цитирует @ViktorBlasjo, строкой выше. , где он пишет
положение константе
Его также можно найти в Eulers Institutiones Calculi Differentialis ( 1743 ) § 131.
Теперь мы будем исходить из предположения, что возрастает равномерно, так что первые дифференциалы равны между собой, так что второй и более высокие дифференциалы равны нулю. Мы можем сформулировать это условие, сказав, что дифференциал , то есть , считается постоянным. Позволять быть любой функцией ; ...
Его можно найти в «Трактате о дифференциальном и интегральном исчислении» Лакруа ( 1797 г. ), стр. 96.
Pour la simplifier nous observons que l'accroissement неизменный, se изменить en ...
Резюмируя: для Лейбница, Эйлера и других уравнение
Это оставляет мне вопрос, на который, надеюсь, сможет ответить кто-то другой: когда и почему математики забыли об этом дополнительном предположении и просто приняли обозначение для того, что на самом деле должно быть написано как ?
Я думаю происходит от умножения к . В нотации ( https://en.m.wikipedia.org/wiki/Abuse_of_notation#Derivitive ) умножение означает итерацию.
(Отказ от ответственности. Это очень грубый ответ. Других ответов пока не было, поищу обозначения в учебнике.)
"=" слишком явно построен из "=" заслуживать каких-либо дальнейших объяснений.
Джеральд Эдгар
Майкл Бехтольд
Виктор Бласё
Майкл Бехтольд