ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ
Дифференциальное исчисление – это раздел анализа математического, связанный главным образом с понятиями производной и дифференциала функции. В дифференциальном исчислении изучаются правила вычисления производных (законы дифференцирования) и применения производных к исследованию свойств функций.
Центральные понятия дифференциального исчисления – производная и дифференциал – возникли при рассмотрении большого числа задач естествознания и математики, приводивших к вычислению пределов одного и того же типа. Важнейшие среди них – физическая задача определения скорости неравномерного движения и геометрическая задача построения касательной к кривой. Рассмотрим подробно каждую из них.
Будем вслед за итальянским ученым Г. Галилеем изучать закон свободного падения тел. Поднимем камешек и затем из состояния покоя отпустим его. Пусть
- время, отсчитываемое от начала падения, a
- пройденное к моменту
расстояние. Галилей экспериментально нашел, что зависимость
имеет следующий простой вид:
,
где
- время в секундах, а
- физическая постоянная, равная примерно 9,8 м/с2.
Движение свободно падающего тела явно неравномерное. Скорость
падения постепенно возрастает. Но как именно выглядит зависимость
? Ясно, что, зная зависимость
, т.е. закон движения падающего тела, мы в принципе должны иметь возможность получить отсюда и выражение для скорости
как функции времени.
Попробуем найти зависимость
от
. Будем рассуждать следующим образом: фиксируем момент
, в который мы хотим знать значение скорости
. Пусть
- небольшой промежуток времени, прошедший от момента
. За это время падающее тело пройдет путь, равный
. Если промежуток времени
очень маленький, то скорость тела за время
не успевает заметно измениться, поэтому можно считать, что если
мало, то приближенно
, (1)
или
, (2)
причем последнее приближенное равенство тем точнее, чем меньше
(чем ближе величина
к нулю). Значит, величину
скорости в момент
можно рассматривать как предел, к которому стремится стоящее в левой части приближенного равенства (2) отношение, выражающее среднюю скорость на интервале времени от момента
до момента
, когда величина
стремится к нулю.
Сказанное записывают в виде
. (3)
Проведем указанные в соотношении (3) вычисления, исходя из найденной Галилеем зависимости
.
Сделаем сначала элементарные вычисления:
;
а теперь, разделив на
, получаем
.
Когда
стремится к нулю, второе слагаемое записанной справа суммы тоже стремится к нулю, а первое остается постоянным, точнее, не зависящим от величины
, поэтому в нашем случае
,
и мы нашли закон

изменения скорости свободно падающего тела. Обратите внимание, формула (3) одновременно дает и определение, и правило вычисления значений
мгновенной скорости изменения функции
.
Поскольку скорость
сама есть функция времени, то можно было бы поставить вопрос о скорости ее изменения. В физике скорость изменения скорости называется ускорением. Таким образом, если
- скорость как функция времени, то, рассуждая как и при выводе формулы (3), для мгновенного ускорения
в момент времени
получаем выражение
. (4)
«Открытие исчисления бесконечно малых дало математикам возможность свести законы движения тел к аналитическим уравнениям». Ж. Л. Лагранж

Посмотрим, что дает эта формула для случая свободного падения, в котором, как мы вычислили,
:
,
,
и, поскольку
- постоянная, то из (4) получается, что
, т. е. ускорение свободно падающего тела постоянно и величина
есть та самая физическая постоянная, которая выражает ускорение свободного падения у поверхности Земли.
Нетрудно заметить полное сходство выражений (3), (4) и понять, что мы нашли общее математическое выражение для мгновенной скорости изменения переменной величины. Конечно, результат вычислений по формулам (3), (4), как мы убедились, зависит от конкретного вида функций
или
но сами операции над этими функциями, которые предписываются правыми частями формул (3), (4), одни и те же.
Обобщая сделанные наблюдения, в математическом анализе уже для любой функции
рассматривают важную величину:
, (5)
которую называют производной функции
.
Производная, таким образом, играет роль скорости изменения зависимой переменной
по отношению к изменению независимой переменной
; последняя теперь уже не обязана иметь физический смысл времени.
Значение производной
зависит от значения аргумента
, поэтому, как и в случае скорости, производная
некоторой функции
сама является функцией переменной
.
Например, если
, то
;
далее, при
, стремящемся к нулю, величина, стоящая в последних скобках, стремится к нулю, а вся правая часть при этом стремится к значению
. Мы нашли таким образом, что если
, то
.
В формуле (5) величину
разности
называют приращением аргумента функции и часто обозначают символом
(читается: дельта икс), а разность
обозначают обычно через
(или, более полно через
) и называют приращением функции, соответствующим данному приращению аргумента. В этих обозначениях выражение (5) приобретает вид:
,
или
.
Таким образом, значение
производной функции
в точке
- это предел отношения приращения функции
, соответствующего смещению
от точки
, к приращению
аргумента
, когда
стремится к нулю.
Операция нахождения производной функции называется дифференцированием. С физической точки зрения, как мы теперь понимаем, дифференцирование – это определение скорости изменения переменной величины.
В дифференциальном исчислении выводятся производные основных элементарных функций. Укажем, например, что производными функций
,
,
являются соответственно функции
,
и
.
В дифференциальном исчислении выводятся также следующие общие правила дифференцирования:
(вынесение постоянного множителя);
(дифференцирование суммы и разности функций);
(дифференцирование произведения функций);
(дифференцирование частного функций).
Наконец, справедливо также следующее важное правило дифференцирования сложной функции: если
, а
, то производная функции
равна
, или
.
Общие законы дифференцирования существенно облегчают отыскание производных, а для любых комбинаций элементарных функций делают дифференцирование столь же доступной операцией, как и арифметические действия для человека, знающего таблицу умножения.
Например, если
- многочлен, то

ИСААК НЬЮТОН
(1643-1727)

В 1665 г. Исаак Ньютон окончил Кембриджский университет и собирался начать работу там же, в его родном Тринити-колледже. Однако чума, бушевавшая в Англии, заставила Ньютона уединиться на своей ферме, в Вулсторпе. «Чумные каникулы» затянулись почти на два года. «Я в то время был в расцвете моих изобретательских сил и думал о математике и философии больше, чем когда-либо позже», - писал Ньютон. Тогда и сделал молодой ученый почти все свои открытия в физике и математике. Он открыл закон всемирного тяготения и приступил с его помощью к исследованию планет. Он обнаружил, что 3-й закон Кеплера о связи между периодами обращения планет и расстоянием до Солнца с необходимостью следует, если предположить, что сила притяжения Солнца обратно пропорциональна квадрату расстояния до планеты.
Но чтобы исследовать и выражать законы физики, Ньютону приходилось заниматься и математикой. В Вулсторпе Ньютон, решая задачи на проведение касательных к кривым, вычисляя площади криволинейных фигур, создает общий метод решения таких задач – метод флюксий (производных) и флюэнт, которые у Г. В. Лейбница назывались дифференциалами. Ньютон вычислил производную и интеграл любой степенной функции. О дифференциальном и интегральном исчислениях ученый подробно пишет в своей самой значительной работе по математике «Метод флюксий» (1670-1671), которая была опубликована уже после его смерти. В ней были заложены основы математического анализа. Ньютон также находит формулу для различных степеней суммы двух чисел (см. Ньютона бином), причем не ограничивается натуральными показателями и приходит к суммам бесконечных рядов чисел (см. Ряды). Ньютон показал, как применять ряды в математических исследованиях.
Когда Ньютон вернулся в Кембридж в 1666 г., он привез бесчисленные и бесценные результаты своих математических занятий в Вулсторпе. У него пока не было времени привести их в форму, пригодную для публикации, и он не торопится с этим. Дел у него прибавляется, в 1669 г. он получает физико-математическую кафедру. В 1672 г. его выбирают членом Лондонского королевского общества (английской Академии наук).
В 1680 г. Ньютон начинает работу над основным своим сочинением «Математические начала натуральной философии», в котором он задумал изложить свою систему мира. Выход книги был крупным событием в истории естествознания. В ней все величественное здание механики строится на основании аксиом движения, которые теперь известны под названием законов Ньютона.
В «Началах» Ньютон чисто математически выводит все основные известные в то время факты механики земных и небесных тел, законы движения точки и твердого тела, кеплеровы законы движения планет.
Многие математические труды Ньютона так и не были своевременно опубликованы. Первые его сравнительно подробные публикации относятся к 1704 г. Это работы «Перечисление кривых третьего порядка», где описаны свойства этих кривых, и «Рассуждения о квадратуре круга», посвященные дифференциальному и интегральному исчислениям.
В 1688 г. И. Ньютона выбирают в парламент, а в 1699 г. он переезжает в Лондон, где получает пожизненное место директора монетного двора.
Работы И. Ньютона надолго определили пути развития физики и математики. Значительная часть классической механики надолго сохранилась в виде, созданном Ньютоном. Закон всемирного тяготения постепенно осознавался как единый принцип, позволяющий строить совершенную теорию движения небесных тел. Созданный им математический анализ открыл новую эпоху в математике.
|
Или если
, то, полагая
,
, получаем, что
и, значит,
.
Мы уже отмечали, что к вычислению пределов вида (3), (4), (5), т. е., как теперь можно говорить, к вычислению производной, приводили многие задачи.
Рассмотрим теперь другой классический пример уже чисто геометрического вопроса, который решается в терминах производной, - построение касательной к кривой (см. Касательная).
Требуется построить прямую
(рис. 1), касательную в точке
к кривой – графику функции
.
«Лишь дифференциальное исчисление дает естествознанию возможность изображать математически не только состояния, но и процессы: движение». Ф. Энгельс

Рис. 1
Как и в случае определения мгновенной скорости, построение касательной будет сопровождаться уточнением самого понятия касательной.
Пусть
- координаты точки
: как известно, любая не вертикальная прямая, проходящая через точку
, задается уравнением
,
где, 
так называемый угловой коэффициент прямой, характеризующий ее наклон к горизонтальной оси. В нашем случае
, поэтому уравнение прямой, проходящей через точку
, имеет вид
, и мы хотим выбрать значение коэффициента
так, чтобы прямая была как можно лучше «подогнана» к кривой
, т. е. лучше всего приближала нашу кривую в окрестности точки
. Значит, мы хотим выбрать
так, чтобы приближенное равенство
, или, что то же самое, приближенное равенство
,
было возможно более точным при значениях
, близких к
.
Но это знакомая ситуация и, с точностью до переобозначений
,
, это знакомое нам отношение из формулы (5), следовательно,
. (6)
Итак, найдено уравнение
(7)
той прямой, которая наилучшим образом приближает кривую
в окрестности точки
. Эту прямую естественно считать искомой касательной к данной кривой в рассматриваемой точке.
Например, если взять параболу
, т.е.
, то касательная к ней в точке
в силу (7) будет задаваться уравнением
, которое можно преобразовать к более компактному виду
.
Выше мы дали физическую интерпретацию производной как мгновенной скорости, а теперь на основании уравнения касательной (7) можно дать геометрическую трактовку производной. А именно, значение
производной
функции
в фиксированной точке
есть угловой коэффициент касательной к графику функции
в точке
.
Это, в частности, означает, что на участках изменения переменной
, на которых
, функция
возрастает; там, где
, функция
убывает, а в точках местных максимумов или минимумов функции ее производная должна обращаться в нуль, ибо касательная в этих точках горизонтальна. Ясно также, что если в некоторой точке
производная обратилась в нуль, то нельзя спешить с выводом, что это точка максимума или минимума (см. точку
), ибо знак производной может не измениться при переходе через эту точку, и функция будет продолжать возрастать или убывать. Но если производная меняет свой знак при переходе через эту точку (см. точки
), то ясно, что при
функция будет иметь или местный максимум, если идет смена знака с «
» на «
» (как в точках
), или местный минимум, если знаки меняются с «
» на «
» (как в точке
).
Сделанные наблюдения о связи знака или нулей производной с характером монотонности (возрастанием, убыванием) функции или с ее экстремумами (максимумами, минимумами) имеют многочисленные применения.
Попробуем, например, проволокой данной длины огородить такой прямоугольный участок луга, чтобы получить возможно более просторный загон для скота, т.е. среди прямоугольников с заданным периметром
(т.е. среди изопериметрических прямоугольников) надо найти тот, который имеет наибольшую площадь.
Если
- длина одной из сторон прямоугольника, то при указанном условии длина другой стороны равна
, а площадь прямоугольника равна
. Надо найти максимальное значение функции
на отрезке
. Поскольку при
или
функция, очевидно, обращается в нуль (прямоугольник вырождается в отрезок), то максимум достигается при каком-то значении
, лежащем между 0 и
. Как найти это значение?
В соответствии со сделанным выше наблюдением максимум значений функции
может быть лишь при том значении
, при котором скорость изменения функции равна нулю, т. е.
.
Найдем, используя уже проведенные ранее вычисления, производную нашей функции. Поскольку
, то
и
при
. По самому смыслу задачи при найденном значении аргумента
функция должна иметь именно максимум. Это можно проверить и формально:
при
и
при
.
Таким образом, мы нашли, что искомым прямоугольником с наибольшей площадью является квадрат, длина стороны которого равна
.
Решение единым методом различных задач на отыскание максимальных и минимальных значений функций, или, как их принято называть в математике, задач на отыскание экстремумов, является одним из ранних и вместе с тем наиболее популярных и впечатляющих достижений математического анализа (см. Геометрические задачи на экстремум).
До сих пор, следуя И. Ньютону, в качестве главного понятия дифференциального исчисления мы выделяли производную. Г. В. Лейбниц, другой родоначальник математического анализа, в качестве исходного выбрал понятие дифференциала, которое, как мы увидим, логически равноценно понятию производной, но не совпадает с ним. Лейбниц нашел правила вычисления дифференциалов, равноценные правилам отыскания производных, и назвал развитое им исчисление дифференциальным. Это название и сохранилось. Рассмотренные выше примеры помогут нам достаточно быстро разобраться в следующих, на первый взгляд формальных, но очень важных определениях всего дифференциального исчисления.
Функция
называется дифференцируемой при некотором значении
ее аргумента, если приращение
этой функции, отвечающее приращению
ее аргумента
, можно представить в виде
, (8)
где
- коэффициент, зависящий только от
, а
- величина, стремящаяся к нулю при
, стремящемся к нулю.
Таким образом,
, (9)
т.е. с точностью до погрешности
, малой в сравнении с величиной
приращения аргумента, приращение
дифференцируемой в точке
функции можно заменить величиной
, линейной относительно приращения
аргумента
.
Эта приближающая линейная по
функция
называется дифференциалом исходной функции
в точке
и обозначается символом
или, более полно,
.
В каждой точке
приближающая линейная функция
, вообще говоря, своя, что отмечено зависимостью коэффициента
от
.
Поделив обе части равенства (8) на
и учитывая, что величина
стремится к нулю, когда
стремится к нулю, получаем соотношение:
, (10)
позволяющее вычислять дифференциальный коэффициент
и показывающее, что он просто-напросто совпадает со значением производной
функции
в точке
.
Таким образом, если функция дифференцируема в точке
, то в этой точке существует указанный в (10) предел, т.е. в ней существует производная
и
.
ГОТФРИД ВИЛЬГЕЛЬМ ЛЕЙБНИЦ
(1646-1716)

Математика не была его единственной страстью. С юных лет ему хотелось познать природу в целом, и математика должна была стать решающим средством в этом познании. Он был философом и лингвистом, историком и биологом, дипломатом и политическим деятелем, математиком и изобретателем. Научные и общественные планы Лейбница были грандиозны. Он мечтал о создании всемирной академии наук, о построении «универсальной науки». Он хотел выделить простейшие понятия, из которых по определенным правилам можно сформировать все сколь угодно сложные понятия. Лейбниц мечтал об универсальном языке, позволяющем записывать любые мысли в виде математических формул, причем логические ошибки должны проявляться в виде математических ошибок. Он думал о машине, которая выводит теоремы из аксиом, о превращении логических утверждений в арифметические (эта идея была воплощена в жизнь в нашем веке).
Но грандиозность замыслов уживалась у Лейбница с пониманием того, что может быть непосредственно осуществлено. Он не может организовать всемирную академию, но в 1700 г. организует академию в Берлине, рекомендует Петру I организовать академию в России. При организации Петербургской Академии наук в 1725 г. пользовались планами Лейбница. Он прекрасно умеет решать конкретные задачи и в математике: создает новый тип арифмометра, который не только складывает и вычитает числа, но и умножает, делит, возводит в степень и извлекает квадратные и кубические корни, решает трудные геометрические задачи. Вводит понятие определителя и закладывает основы теории определителей. И все же Лейбниц всегда стремился рассмотреть любой вопрос под самым общим углом зрения. Скажем, X. Гюйгенс замечает сохранение энергии на примере некоторых механических задач, а Лейбниц пытается преобразовать это утверждение во всеобщий закон природы, он рассматривает Вселенную в целом как вечный двигатель (предварительная формулировка закона сохранения энергии!).
Но особенно ярко проявились эти качества Лейбница, когда он, узнав о разнообразных математических и механических задачах, решенных Гюйгенсом, по совету последнего знакомится с работой Б. Паскаля о циклоиде. Он начинает понимать, что в решении этих разных задач спрятан общий, универсальный метод решения широкого круга задач и что Паскаль остановился перед решающим шагом, «будто на его глазах была пелена». Лейбниц создает дифференциальное и интегральное исчисления, которые в другом варианте были построены, но не опубликованы И. Ньютоном.
Ученый, занимавшийся разработкой универсального языка, понимает, какую роль в новом исчислении должна играть символика (см. Знаки математические). Без символики (которая сохранилась до наших дней в форме, предложенной Лейбницем) метод математического анализа не вышел бы за пределы узкого круга избранных (как это было с алгеброй до символики Виета-Декарта). Кстати, Лейбниц предложил несколько других математических знаков, например (равенство), (умножение). В отличие от Ньютона Лейбниц потратил много сил на передачу своего метода другим математикам, среди которых выделялись братья Якоб и Иоганн Бернулли. По его инициативе создается журнал, в котором группа математиков оттачивает методы нового математического анализа.
Смысл своей жизни Лейбниц видел в познании природы, в создании идей, помогающих раскрыть ее законы.
|
Обратно, если у функции
в точке
есть определенная равенством (5) производная, то
,
где поправка
стремится к нулю, когда
стремится к нулю. Умножая это равенство на
, получаем
, (11)
и значит, функция дифференцируема в точке
.
Итак, мы убедились, что функция имеет дифференциал
в том, и только в том, случае, когда она имеет производную
, причем
. Но дифференциал как линейная по
функция
вполне определяется коэффициентом
, поэтому отыскание дифференциала функции вполне равносильно отысканию ее производной. Вот почему обе эти операции часто называют одним термином - «дифференцирование», а исчисление называют дифференциальным.
Если вместо
писать
, то вместо
можно записать
. Если взять
, то
и
, поэтому вместо приращения
независимой переменной часто пишут дифференциал
. В этих обозначениях получается красивая запись
дифференциала функции, от которой Лейбниц и пришел к обозначению
для производной
, рассматривая последнюю как отношение дифференциалов функции и ее аргумента. Заметим, что обозначение
для производной было введено лишь в 1770 г. французским математиком Ж. Л. Лагранжем, а исходным было обозначение
или 
Г. Лейбница, которое во многих отношениях настолько удачно, что широко используется и по сей день.
Прежде чем показать, как дифференциал можно использовать в приближенных вычислениях, проследим его геометрическую и физическую интерпретацию.
Если в равенстве (8) вместо
написать
, то можно считать, что на рис. 1 левой части равенства (8) отвечает отрезок
(это приращение
функции или приращение ординаты кривой
), дифференциалу
отвечает отрезок
(это приращение ординаты касательной, приближающей нашу кривую в окрестности точки
), а остатку
соответствует отрезок
, который тем меньше в сравнении с отрезком
, чем меньше приращение
аргумента. Именно это обстоятельство отражают соотношение (11) и приближенное равенство (9), означающее, что
.
На физическом языке, когда
интерпретируется как скорость в момент
, а
- как путь, пройденный за промежуток времени
, протекший от момента
, приближенное равенство
означает, что за малое время
скорость мало меняется, поэтому пройденный путь приближенно можно найти, как и в (1), по формуле
, выражающей равномерное прямолинейное движение с постоянной скоростью
.
Равенство (11) и вытекающее из него путем переобозначений соотношение
(12)
позволяют приближенно находить значения функции
в точках
, близких к некоторой точке
, в которой уже известны значение
самой функции и значение
ее производной.
Например, пусть
и
. Тогда
,
,
, поэтому, полагая
, из (12) находим следующую формулу
для приближенных вычислений, справедливую для любых (не только целых) значений
, при условии малости величины
. По этой формуле
;
;
.
Важную формулу (12) можно уточнить, если привлечь производные более высоких порядков, которые мы сейчас определим.
Поскольку производная
функции
сама оказывается функцией аргумента
, то можно поставить вопрос о нахождении производной функции
, т.е. функции
, которая обозначается символом
и называется второй производной исходной функции
. Например, если
- закон движения,
- его скорость, а
- ускорение, то
есть вторая производная функции
. Вообще можно определить производные любого порядка:
-я производная функции есть производная от ее
-й производной.
Для обозначения производных порядка
обычно используют символы
или
в отличие от символов
,
,
, употребляемых только для производных малых порядков (1, 2, 3).
Зная производные функции
,
,
, легко проверить по индукции, что производные
-го порядка от этих функций соответственно равны
,
,
.
Теперь вернемся к формуле (12), в которой функция
приближенно заменяется стоящим в правой части многочленом 1-й степени относительно
. Оказывается, соотношение (12) является частным случаем общего равенства
, (13)
называемого формулой Тейлора, в котором о величине
, называемой остаточным членом формулы Тейлора, говорится, например, что ее можно представить в виде:
, (14)
похожем на вид предыдущих членов формулы, но только здесь
вычисляется не в точке
, а в некоторой точке лежащей между
и
.
Но этой информации бывает достаточно для вычислительных целей. Так, если
, а
, то вспомнив, что
,
получаем
.
Значит, если, например,
, а
, то
и потому, подставив в (13)
, находим формулу:
, (15)
позволяющую при любом
из отрезка
вычислить значение
с точностью, не худшей, чем
.
Можно проверить, что в рассматриваемом случае
при неограниченном увеличении
, поэтому можно предложить такую запись:
. (16)
Справа в этом равенстве стоит бесконечно много слагаемых, т.е., как говорят, имеется ряд. Равенство (16) понимается, как и вообще сумма ряда, в том смысле, что при любом значении
разность между
и суммой конечного числа взятых по порядку слагаемых ряда стремится к нулю, если количество слагаемых неограниченно увеличивается.
Ценность формул вида (15), (16) состоит в том, что они позволяют заменить вычисление значений сложной функции вычислением значений приближающего ее многочлена. Вычисление же значений многочлена сводится к одним арифметическим операциям, которые, например, можно выполнить на электронной вычислительной машине.
Ряд (16) является частным случаем ряда
, (17)
который можно написать для любой бесконечно дифференцируемой функции
. Он называется рядом Тейлора этой функции (Б. Тейлор (1685-1731) – английский математик). Ряд Тейлора (17) не всегда имеет своей суммой породившую его функцию
, поэтому вопрос о сумме ряда Тейлора каждый раз требует определенного исследования, например такого, какое мы сделали выше, оценивая величину остатка
. Такими рассуждениями можно показать, что

при любом значении
, а равенство

имеет место при
, если
не целое, и при любом
, если
- целое положительное число. Но если
, то
при
. Значит, при целых положительных
, в частности, получается соотношение:
,
известное в математике как бином Ньютона (см. Ньютона бином).