Кто изобрел обозначение Лейбница d2ydx2d2ydx2\frac{d^2y}{dx^2} для *второй* производной?

Этот вопрос MSE заставил меня задаться вопросом, где нотация Лейбница д 2 у д Икс 2 ибо вторая производная получается из. Оно не возникает сразу как очевидное обобщение д у д Икс . Использовал ли его сам Лейбниц? Или его ввели позже?

Ответы (5)

Лейбниц действительно использовал это обозначение, например, в своей статье Supplementum geometriae practicae, Acta Eruditorum , апрель 1693 г., с. 179 ( ссылка на Google Книги ):

введите описание изображения здесь

Итак, это ответ. Обратите внимание, что двоеточие указывает на деление.
Эта статья доступна где-нибудь в Интернете?
@michael-bächtold Ссылка добавлена.
... и обратите внимание, что надчеркивание над у на самом деле прошел через д , как видно из ссылки на Google Книги. Но оно не должно выходить за пределы 2. Это была альтернатива скобкам, поэтому д у ¯ 2 "=" ( д у ) 2 ,

Дифференциальный символ _ д Икс принадлежит Лейбницу.

Он ввел также «повторяющиеся» дифференциалы; видеть :

Более того, чтобы ввести дифференциалы более высокого порядка, дифференциалы первого порядка должны рассматриваться как переменные, меняющиеся в упорядоченной последовательности; если только один д Икс Считается, д д Икс не имеет смысла. Следующая цитата из Лейбница ["Monitum de characteribus алгебраич", 1710] иллюстрирует это:

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

См. Также «Ранние математические рукописи Лейбница» (изд. Дж. М. Чайлда, 1920 г. - также репринт в Дувре): рукопись ответа Бернхарду Ньювентиджту, стр. 144-на :

д Икс , д д Икс , д в , д д в , д у , д д у

Следует отметить, что Лейбниц Икс Икс для Икс 2 ; см. стр. 151 :

Затем, поскольку у Икс Икс : а

Итак, мы нашли числитель в виде д д Икс . Где мы находим (впервые) знаменатель?
@GeraldEdgar - см., например, страницу 156: д д у / д д Икс .

Принятый ответ не оставляет сомнений в том, что Лейбниц был первым, кто написал д 2 у / ( д Икс ) 2 для второй производной. Но так как я нашел так много вводящих в заблуждение оправданий этой записи в Интернете , я чувствую, что нужно сказать об этом кое-что дополнительно.

Большинство оправданий в приведенных выше ссылках примерно такие: «путем формальной манипуляции» или «слишком очевидно».

(1) д д Икс д д Икс "=" д 2 д Икс 2 .
Но ни Лейбниц, ни Бернулли, ни Эйлер не одобрили бы этого безоговорочно. Даже если уравнение было записано в виде
(2) д ( д у д Икс ) д Икс "=" д д у ( д Икс ) 2 ,
что ближе к стандарту того времени.

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

(3) бревно бревно у бревно Икс бревно Икс "=" бревно бревно у ( бревно Икс ) 2 ,
и каждый может заметить ошибку.

Аналогично, для Лейбница, д был оператором (он мог бы не называть его так, но он знал, что он действует на переменные точно так же, как бревно ) и он знал частное правило для д . Таким образом, он мог бы одобрить следующее общее уравнение

(4) д ( д у д Икс ) д Икс "=" д 2 у ( д Икс ) 2 д у д 2 Икс ( д Икс ) 3 .
Причина исчезновения второго члена справа заключалась в том, что часто делалось дополнительное предположение : предполагалось, что дифференциал дифференциала Икс равен нулю (т.е. д 2 Икс "=" 0 ), или по-другому: д Икс принималось постоянным.

Это можно увидеть в статье Лейбница 1693 года, которую цитирует @ViktorBlasjo, строкой выше. д д Икс : д у ¯ 2 , где он пишет

положение д у константе

Его также можно найти в Eulers Institutiones Calculi Differentialis ( 1743 ) § 131.

Теперь мы будем исходить из предположения, что Икс возрастает равномерно, так что первые дифференциалы д Икс , д Икс я , д Икс я я , равны между собой, так что второй и более высокие дифференциалы равны нулю. Мы можем сформулировать это условие, сказав, что дифференциал Икс , то есть д Икс , считается постоянным. Позволять у быть любой функцией Икс ; ...

Его можно найти в «Трактате о дифференциальном и интегральном исчислении» Лакруа ( 1797 г. ), стр. 96.

Pour la simplifier nous observons que l'accroissement д Икс неизменный, ф ( Икс ) д Икс se изменить en ф ( Икс + д Икс ) д Икс ...

Резюмируя: для Лейбница, Эйлера и других уравнение

(5) д ( д у д Икс ) д Икс "=" д 2 у д Икс 2
верно только при дополнительном предположении, что д Икс постоянно.

Это оставляет мне вопрос, на который, надеюсь, сможет ответить кто-то другой: когда и почему математики забыли об этом дополнительном предположении и просто приняли обозначение д 2 д Икс 2 для того, что на самом деле должно быть написано как ( д д Икс ) 2 ?

Согласен, и ваш расчет (4) буквально у Безу ( 1767 , конец §18). На ваш заключительный вопрос ответ трудно точно определить, но Лагранжева аналитическая функция без дифференциала (которая имеет (4) как ( у / Икс ) / Икс , с. 60 ), должно быть, оказало влияние. Это обсуждается у Боса ( 1974 , особенно §5 «Программа Эйлера по устранению дифференциалов высших порядков») и Домингеса ( 2008 , §§3.1.1 и 3.2.4).
Относительно того д 2 / д Икс 2 на самом деле должно быть написано ( д / д Икс ) 2 , я думаю, что они были равны по тому же соглашению, которое используется, например, для римановых д с 2 . Безу поясняет это на предыдущей странице: «Чтобы обозначить квадрат д Икс , естественно следует написать ( д Икс ) 2 ; но для простоты пишут д Икс 2 , что не может вызвать путаницы и быть ошибочно принято за дифференциал Икс 2 , которую мы договорились [§ 7] обозначать таким образом д ( Икс 2 ) ».
Спасибо за эти дополнительные указатели @FrancoisZiegler. Я не уверен, смогу ли я следовать рассуждениям в вашем втором комментарии. Даже если мы напишем д 2 ( д Икс ) 2 для д 2 д Икс 2 , я не вижу, как добраться туда из ( д д Икс ) 2 используя соглашения для порядка операций. Возьмем аналогичный пример ( бревно бревно Икс ) 2 , который, я думаю, отличается от бревно 2 ( бревно Икс ) 2 со всеми условностями, о которых я могу думать.
Ты прав. Равенство следует только из того, что говорит Безу в предположении д д Икс "=" 0 (второго члена в (4) нет).
Небольшой указатель, который я должен развить: Макс Штегеманн в своем популярном Grundrisse der Differential-Integralrechnung 4th Edition 1880 все еще упоминает требование константы dx.

Я думаю д 2 у д Икс 2 происходит от умножения д у д Икс к д д Икс . В нотации ( https://en.m.wikipedia.org/wiki/Abuse_of_notation#Derivitive ) умножение означает итерацию.

(Отказ от ответственности. Это очень грубый ответ. Других ответов пока не было, поищу обозначения в учебнике.)

Спасибо за ответ! Это очень разумное объяснение, но вопрос MSE, который я связал в OP, поднимает хороший вопрос: даже если предположить, что можно безнаказанно умножать дифференциальные термины, кажется, что в этой нотации один «фактор» д отсутствует в знаменателе.
@Federico Poloni Я думаю, по крайней мере, мнение врачей д Икс как сама величина, а не произведение d*x, причем второй дифференциал сравнивается с квадратом малого приращения.
Знаменатель равен квадрату д Икс . С д Икс это не продукт, просто напишите д Икс 2 . Нет необходимости в ( д Икс ) 2 .
@VicAche, вы имеете в виду физиков, а не врачей (= врачей).
@KCd правда, что :) не могу редактировать или помечать себя как редакцию, верно?
@VicAche, действительно, через несколько минут редактирование невозможно.

д 2 д Икс 2 у "=" д 2 у д Икс 2 слишком явно построен из д д Икс д д Икс у "=" ( д д Икс ) 2 у заслуживать каких-либо дальнейших объяснений.

Я не понимаю, как это способствует ответу на историческую часть вопроса. Если вы утверждаете, что Лейбниц думал так, вам придется подтвердить это. Я лично сомневаюсь, что он думал о д / д Икс как объект сам по себе.