Большая Советская Энциклопедия (ДИ)

  Геометрически дифференцируемость функции двух переменных означает существование у её графика касательной плоскости, а дифференциал представляет собой приращение аппликаты касательной плоскости, когда независимые переменные получают приращения dx и dy. Для функции двух переменных понятие дифференциала является значительно более важным и естественным, чем понятие частных производных. В отличие от функций одного переменного, для функций двух переменных существование обеих частных производных первого порядка ещё не гарантирует дифференцируемости функции. Однако, если частные производные кроме того ещё непрерывны, то функция дифференцируема.

  Аналогично определяются частные производные высших порядков. Частные производные ¶²f/¶х² и ¶²f/¶у², в которых дифференцирование ведётся по одному переменному, называют чистыми, а частные производные ¶²f/¶x¶y и ¶²f/¶у¶х— смешанными. Если смешанные частные производные непрерывны, то они между собой равны. Все эти определения и обозначения переносятся на случай большего числа переменных.

  Историческая справка. Отдельные задачи об определении касательных к кривым и о нахождении максимальных и минимальных значений переменных величин были решены ещё математиками Древней Греции. Например, были найдены способы построения касательных к коническим сечениям и некоторым другим кривым. Однако разработанные античными математиками методы были применимы лишь в весьма частных случаях и далеки от идей Д. и.

  Эпохой создания Д. и. как самостоятельного раздела математики следует считать то время, когда было понято, что указанные специальные задачи вместе с рядом других (в особенности с задачей определения мгновенной скорости) решаются при помощи одного и того же математического аппарата — при помощи производных и дифференциалов. Это понимание было достигнуто И. Ньютоном и Г. Лейбницем.

  Около 1666 И. Ньютон разработал метод флюксий (см. Флюксий исчисление). Основные задачи Ньютон формулировал в терминах механики: 1) определение скорости движения по известной зависимости пути от времени; 2) определение пройденного за данное время пути по известной скорости. Непрерывную переменную Ньютон называл флюентой (текущей), её скорость — флюксией. Т. о., у Ньютона главными понятиями были производная (флюксия) и неопределённый интеграл как первообразная (флюента). Он стремился обосновать метод флюксий с помощью теории пределов, хотя последняя была им лишь намечена.

  В середине 70-х гг. 17 в. Г. Лейбниц разработал очень удобный алгоритм Д. и. Основными понятиями у Лейбница явились дифференциал как бесконечно малое приращение переменного и определённый интеграл как сумма бесконечно большого числа дифференциалов. Лейбницу принадлежат обозначения дифференциала dx и интеграла òydx, ряд правил дифференцирования, удобная и гибкая символика и, наконец, сам термин «дифференциальное исчисление». Дальнейшее развитие Д. и. шло сначала по пути, намеченному Лейбницем; большую роль на этом этапе сыграли работы братьев Я. и И. Бернулли, Б. Тейлора и др.

  Следующим этапом в развитии Д. и. были работы Л. Эйлера и Ж. Лагранжа (18 в.). Эйлер впервые стал излагать его как аналитическую дисциплину, независимо от геометрии и механики. Он вновь выдвинул к качестве основного понятия Д. и. производную. Лагранж пытался строить Д. и. алгебраически, пользуясь разложением функций в степенные ряды; ему, в частности, принадлежит введение термина «производная» и обозначения у' или f' (x). В начале 19 в. была удовлетворительно решена задача обоснования Д. и. на основе теории пределов. Это было выполнено главным образом благодаря работам О. Коши, Б. Больцано и К. Гаусса. Более глубокий анализ исходных понятий Д. и. был связан с развитием теории множеств и теории функций действительного переменного в конце 19 — начале 20 вв.

  Лит.: История. Вилейтнер Г., История математики от Декарта до середины 19 столетия, пер. с нем., 2 изд., М., 1966; Стройк Д. Я., Краткий очерк истории математики, пер. с нем., 2 изд., М., 1969; Cantor М., Vorlesungen über Geschichte der Mathematik, 2 Aufl., Bd 3—4, Lpz. — В., 1901—24.

  Работы основоположников и классиков Д. и. Ньютон И., Математические работы, пер. с латин., М. — Л., 1937; Лейбниц Г., Избранные отрывки из математических сочинений, пер. с латин., «Успехи математических наук», 1948, т. 3, в. 1; Л'Опиталь Г. Ф. де, Анализ бесконечно малых, пер. с франц., М. — Л., 1935; Эйлер Л., Введение в анализ бесконечных, пер. с латин., 2 изд., т. 1, М., 1961; его же, Дифференциальное исчисление, пер. с латин., М. — Л., 1949; Коши О. Л., Краткое изложение уроков о дифференциальном и интегральном исчислении, пер. с франц., СПБ, 1831; его же, Алгебраический анализ, пер. с франц., Лейпциг, 1864.