Значение ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ в Энциклопедическом словаре Брокгауза и Евфрона

Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого ума и составило эпоху в истории точных наук. Ближайшим поводом к изобретению Д. исчисления послужили задачи о проведении касательной прямой к кривым линиям, а также задачи на maxima и minima, которыми занимались с усердием математики XVI и XVII ст. Причины же появления нового исчисления лежат глубже в существе дела, и это исчисление рано или поздно должно было в той или другой форме появиться. Уже в способе исчерпываний древних греческих математиков надо видеть зачатки новых идей; Архимед, решая разные задачи на квадратуру криволинейных фигур, спрямление дуг, вычисление объемов тел, ограниченных кривыми поверхностями, предвосхитил идеи современного интегрального исчисления. Честь изобретения нового исчисления принадлежит двум выдающимся умам XVII ст.: знаменитому английскому натурфилософу и математику Исааку Ньютону (1649-1727) и философу Лейбницу (1646-1716). История изобретения Д. исчисления в высшей степени поучительна, ибо показывает, как большие научные открытия подготовляются целым рядом предшествующих работ. В самом деле, уже у Кеплера (1615), Кавальери (1635) и в особенности у Фермата мы встречаемся с замечанием по поводу задач на maxima и minima, состоящим в том, что вблизи наибольшего или наименьшего своего значения переменная величина изменяется лишь весьма мало. Последнее замечание, высказанное несколько в ином виде, дало Фермату способ решения задач на maxima и minima, близкий к способу Д. исчисления. С другой стороны, и для задачи проведения касательных к кривым были указаны разнообразные приемы. Роберваль дал механический метод, состоявший в рассмотрении заданной кривой как траектории в движении точки, причем направление движения в каждой точке траектории принималось за направление искомой касательной и строилось разложением движения точки на составляющие движения и построением скоростей этих последних. Декарт (см.), творец аналитической геометрии, дал известное решение задачи о касательной к кривым линиям, называемым рулетами (см.); кроме того, он, показав, как определять кривую линию уравнением между координатами (см. Аналитическая геометрия), дал аналитический прием для нахождения уравнения искомой касательной. Соображения почти тожественные с методой Декарта употребляли для решения задачи о касательных Фермат и Барров (учитель Ньютона). У Фермата и в особенности у Баррова рассуждения почти тожественны с употребляющимися в Д. исчислении. Мы приводим вышесказанное никак не с целью умаления значения заслуг Ньютона и Лейбница, но для оправдания права на одновременное независимое изобретение обоих философов. Идеи нового исчисления уже настолько созрели и, так сказать, носились в умах, что вполне естественно, что Ньютон и Лейбниц могли сделать открытие совершенно независимо, не переговариваясь и не заимствуя друг у друга. Спор из-за чести открытия Д. исчисления, возникший между английскими и континентальными учеными, однако, настолько любопытен, что необходимо упомянуть о нем. Дело было так: Лейбниц опубликовал Д. исчисление в 1684 г. (раньше Ньютона) в мемуаре под заглавием: "Nova methodus pro maximis et minimis itemque tangentibus, quae nec fractas nec irrationales quantitates moratur et singulare pro illis calculi genus". В этой работе заключались первые начала Д. исчисления. Начала интегрального исчисления Лейбниц изложил в 1686 г. в мемуаре: "De Geometria recondita et Analysi indivisibilium atque infinitorum". Через два года после того, как Лейбниц обнародовал свои труды, Ньютон выпустил первое издание своих математических начал натуральной философии "Philosophiae naturalis principia mathematica". В этом бессмертном сочинении он объяснил посредством наблюдений и вычислений главные явления природы и преимущественно движения небесных тел. В своих "Principia" Ньютон всюду применяет особый способ, названный им способом флюксий. Этот способ, совпадая по существу с Д. исчислением Лейбница, отличается от последнего только законоположением, что мы увидим далее. Всякому, кто хоть немного познакомится с "Principia" Ньютона, станет очевидно, что способ флюксий не мог быть изобретен и получены такие обширные его применения в короткое время двух лет, прошедших от появления лейбницевской работы. Первостепенные немецкие и английские математики, соединяя с первенством этого важного открытия понятие о народной славе, защищали права родного им геометра. Зачинщиком спора был женевский математик Fatio de Duillier, поселившийся в Лондоне. Подстрекаемый англичанами, с одной стороны, а может быть, и личной неприязнью к Лейбницу, он в письме к Гюйгенсу от 18/28 декабря 1697 г. назвал Ньютона первым изобретателем Д. исчисления и намекнул на то, что Лейбниц заимствовал свой способ из переписки с Ньютоном. Фацио повторил содержание письма в напечатанном сочинении о кривой наискорейшего ската и о теле наименьшего сопротивления. На это оскорбление Лейбниц отвечал с умеренностью, что отнюдь не желает вступать в спор о первенстве с Ньютоном, к которому исполнен глубокого уважения, и надеется, что Ньютон не одобрит поступка Фацио. Нападки Фацио были забыты на несколько лет. Новый случай подал повод к возобновлению спора. В 1704 г. были изданы два сочинения Ньютона: "De quadratura curvarum" и "Enumeratio linearum tertii ordinis". Разбор этих сочинений, помещенный в Лейпцигских Актах и, как думают, с согласия Лейбница, был не совсем благоприятен для Ньютона. Английские математики оскорбились этим отзывом. Один из них, Кейль, в "Philosophical Transactions" за 1708 г. поместил статью, в которой назвал Ньютона первым изобретателем способа флюксий и присовокупил, что Лейбниц переменил только название способа и его знакоположение. Лейбниц, видя, что Кейль явно обвиняет его в присвоении чужого открытия, отнесся письмом к Гансу Слону (Hans Sloane), секретарю Лондонского королевского общества, требуя, чтобы автор этой статьи гласно отрекся от слов своих. На это Кейль отвечал письмом к Слону, что не может отказаться от своего мнения, и прибавил, что Ньютон сообщил о своем способе столько намеков Лейбницу, что даже ум посредственный мог бы разгадать тайну. Это письмо было сообщено Лейбницу, который после того обратился к Королевскому обществу с настоятельной просьбой прекратить необдуманные нападки человека, который желает очернить его доброе имя. Королевское общество нарядило комиссию для рассмотрения спорного дела. Комиссия представила свое мнение, основанное на разных документах, которые и были напечатаны в первый раз в 1712 г. под заглавием: "Commercium epistolicum de Analysi promota" и потом с большими добавлениями в 1722 г. Донесение комиссии Королевскому обществу, как и следовало ожидать, было благоприятно для Ньютона, причем Ньютон был назван первым изобретателем Д. исчисления, и было заявлено, кроме того, что во всем сказанном Кейлем не заключается ничего оскорбительного для Лейбница. Донесение это раздражило Лейбница, и спор продолжался. Разные безымянные сочинения были изданы на континенте, в которых нападали скорее на Ньютона, чем защищали Лейбница. Английские математики отвечали на них. — Лейбниц, желая, как он выразился, пощупать пульс у англичан, предложил им через других математиков задачу о траекториях. Вопрос состоял в определении кривой линии, пересекающей ряд данных кривых одного и того же рода под углом или постоянным, или изменяющемся по известному закону. Ньютон, к которому собственно относился вызов, немедленно предложил способ для приведения этого вопроса к дифференциальному уравнению. В это время умер Лейбниц (1716). Иван Бернулли, вступаясь за дело знаменитого германского геометра, прочитал решение Ньютона и объявил, что оно вовсе не удовлетворительно, потому что главное затруднение состоит в интегрировании дифференциального уравнения, чего не сделал Ньютон (см. Траектории). — С этого времени, насколько известно, Ньютон, с одной стороны, обеспеченный своей громкой славой, а с другой — по преклонности лет, не принимал уже никакого участия в распре; но некоторые приверженцы и ученики его не покинули поприща прений. Наиболее отличившийся на нем был известный Тейлор. Принимая в соображение все обстоятельства дела, в настоящее время можно с уверенностью признавать первым изобретателем Д. исчисления Ньютона, или, вернее, считать Д. исчисление произведением школы английских математиков. Воздавая должное Ньютону, нет никакого основания, с другой стороны, обвинять Лейбница в плагиате. В науке вообще и в математике в частности часто одного намека на существование некоторого результата в известной области достаточно для того, чтобы выдающийся ум нашел этот результат без дальнейших указаний. Так, очевидно, и было дело с Лейбницем, тем более, что в 1673 г. Лейбниц посетил Лондон и беседовал с английскими математиками, а кроме того, и Ньютон намекал на способ флюксий в своих письмах. Новое исчисление, вводя в рассмотрение бесконечно малые величины, разбивая их на порядки и предписывая в своих правилах часто отбрасывать бесконечно малые высшего порядка при сравнении с бесконечно малыми низшего порядка, уже при появлении своем нашло многочисленных противников: голландец Ниейвентит (Nieuwentit), аббат Кателан, Деттлеф Клювье, англичанин Беркли (Berkeley), наиболее выдающиеся из числа противников, своими нападками показали только, что они не поняли существа нового учения. Не касаясь поэтому более подробно нападок этих лиц, тем не менее нужно заметить, что введение в математику понятия о бесконечно малых казалось также и выдающимся математикам нежелательным и уничтожающим в математике строгость доказательств древнегреческих геометров. Между прочим, знаменитый франц. математик Лагранж в своем сочинении: "Theorie des fonctions analytiques" (1797) изложил Д. исчисление, не вводя понятия о бесконечно малой величине. В Англии новое исчисление служило предметом занятий ряда талантливых учеников и последователей Ньютона, из которых всеобщую известность получили: Тейлор (Taylor), изложивший Д. исчисление в своем труде: "Methodus incrementorum" (1717), в котором встречаем в первый раз его знаменитую формулу, о которой будет сказано ниже; Моавр и Маклорен, написавший: "Trait? des fluxions", представляющее первое из более строгих изложений способа флюксий. Новое исчисление, дав толчок к новым математическим изысканиям, открыло богатое поле для деятельности ряда поколений выдающихся математиков. На континенте образуются к этому времени две школы математиков: швейцарская и французская, которые обе примкнули к идеям Лейбница. К швейцарской школе принадлежат: знаменитая семья выдающихся математиков Бернулли, а также один из величайших математиков всех времен — Эйлер, которого Петербургская акад. наук имела счастье считать своим членом в продолжение более 30 лет. Во главе же франц. школы стояли Даламбер, Лагранж, Клеро и Лаплас. Оставляя перечисление способов изложения Д. исчисления до конца настоящей статьи, перейдем теперь к изложению Д. исчисления в том виде, как оно излагается в настоящее время. В элементарной математике каждой из букв, вводимой в вычисление, приписывается одно вполне определенное значение. В Д. исчислении мы встречаемся с понятием другого рода. Определение I. Если в некотором вопросе задан ряд бесконечного числа чисел u₀, u₁, u₂,... u_n... вполне вопросом определенный, то, если обозначать какое-нибудь из этих чисел, не указывая, какое именно, одной буквой U (без знака), то буква U выразит так называемую переменную величину. Каждое из чисел заданного ряда называется частным значением переменной U. b20_690-0.jpg Черт. 1. Каждое частное значение, будучи некоторым вполне определенным числом, будет то, что принято называть величиной постоянной, хотя постоянную величину лучше определять, как переменную, имеющую равные между собой частные значения. Примеры: 1) Опишем из начала координат (см. Геометрию и Координаты) круг радиусом, равным единице, и возьмем на окружности этого круга какую-нибудь точку М, не указывая, какую именно; опустим из точки M перпендикуляр МР на ось x-ов; соединяя точку M с началом координат, получим прямоугольный треугольник OMP, из кот. замечаем, что ОМ² = ОР² + РМ² или 1 = OP² + PM² ибо ОМ = 1. Но ОР есть абсцисса х точки M, а РМ ее ордината у. Получим уравнение (*) х² + у² = 1 связывающее координаты х и у точки M круга. В последнем уравнении (*) х есть одна из абсцисс точек круга, не указывая, которая именно, и следовательно, она есть переменная величина, частным значением которой может быть любое из чисел, лежащих в границах от — 1 до + 1, ибо точка P на оси x-ов, соответствующая точке M круга, может приходиться только между точками А и А₁, соответствующими значениям + 1 или — 1. 2) В теории чисел доказывается следующая теорема: Всякое простое целое число, которое от деления на 4 дает в остатке единицу, может быть представлено в виде суммы квадратов двух целых чисел. Напр., 5 = 1² + 2², 13 = 2² + 3², 17 = 1² + 4², 29 = 2² + 5² и т. д. Если назовем какое-нибудь из простых чисел сказанного вида, не указывая, которое именно, одной буквой х, то приведенное свойство может быть записано равенством: x = а² + b² где а и b некоторые целые числа, и буква х выразит переменную величину, частными значениями которой будут числа 5, 13, 17, 29 и т. д. Определение II. Абсцисса х точки круга в первом примере, как переменная величина, имеющая частными значениями все числа в границах от — 1 до + 1, дала пример переменной непрерывной. Переменная же величина х во втором примере имеет частные значения, идущие скачками, и потому оказывается переменной прерывной. Определение III. Если можно указать такое постоянное число а, что среди частных значений переменной х могут быть указаны отличающиеся сколь угодно мало (не совпадая, впрочем) от этого числа, то число о называется пределом переменной. Возьмем переменную х, определяемую рядом чисел 5 + 1/1, 5 + 1/2, 5 + 1/3,..., 5 + 1/n,... ; число 5 есть предел этой переменной х. Если возьмем некоторое целое число n, не указывая, которое именно, то переменная х выразится х = 5 + 1/n. Если номер n соответственного частного значения переменной в заданном ряду будем увеличивать, то дробь 1/n будет убывать и х будет отличаться все меньше и меньше от числа 5. Какое бы большое n мы ни взяли, соответственное частное значение 5 + 1/n, будучи близко к числу 5, все-таки не совпадет с ним. Итак, среди частных значений переменной не существует совпадающих с числом 5. Покажем теперь, что можно указать такой номер n частного значения 5 + 1/n, чтобы это частное значение отличалось от 5 меньше наперед произвольно заданного малого числа ?. Для этой цели нужно положить х — 5 = (5 + 1/n) — 5 = 1/n \ 1/?. Всякое частное значение, номер которого больше 1/?, отличается от числа 5 меньше чем на ?. Итак, сколь бы малое число ? мы ни задали, всегда можно указать бесчисленное множество частных значений х, отличающихся от числа 5 менее чем на ?. Отсюда мы заключаем, что число 5 есть предел переменной х. В определении сказано, что число а не должно совпадать ни с одним частным значением х, ибо в противном случае число а было бы не пределом переменной, а ее частном значением. Для обозначения предела принято особое знакоположение: а = пред.(х), или а = lim(х). Понятие о пределе встречается уже с первых шагов изучения математики. Так, напр., когда мы пишем: 0,3333... = 1/3, то этим равенством мы выражаем, что 1/3 есть предел переменной х, частные значения которой суть: 0,3; 0,33; 0,333; 0,3333 и т. д., и под символом 0,3333... подразумевается не что иное, как сказанный предел. А так как этот предел действительно равен 1/3, то и пишут 0,(3) = 1/3. В этих двух примерах пределами были числа, соизмеримые 5 и 1/3. Но часто пределами переменной бывают числа несоизмеримые, и тогда эти пределы не могут быть указаны непосредственно; обычно делают обратное, т. е. определяют несоизмеримые числа как пределы переменных, частные значения которых соизмеримы. Например переменная х, определяемая рядом b20_691-0.jpg имеет, как известно из теории непрерывных дробей, своим пределом несоизмеримое число ?2 (корень из 2); а потому это несоизмеримое число ?2 можно определять, как предел заданной переменной. Определение несоизмеримого числа, как предела переменной, имеющей частные значения соизмеримые, дает возможность вычислять несоизмеримое число с любой степенью точности. Вычислить несоизмеримое число с точностью до дроби 1/р значит указать такое частное значение переменной, которое бы отличалось от заданного несоизмеримого числа, как предела, менее чем на дробь 1/р. Укажем еще на классический пример определения несоизмеримых чисел, как пределов переменных; в геометрии определяется число ?, выражающее площадь круга при радиусе, равном единице, как предел переменной величины, частные значения которой суть: площади вписанных равносторонних: треугольника, четырехугольника, пятиугольника и т. д. Данное нами определение предела весьма краткое, а потому не совсем строгое. Настоящее определение предела будет такое: если дана переменная величина, то нужно перенумеровать ее частные значения u₀, u₁, u₂,... u_n,... если мы теперь докажем, что при произвольном значении целого числа т разность u_{n — m} — u_n при достаточно большом n может быть сделана меньше ? и останется меньше этого числа при всех n б?льших, где ? некоторое произвольно малое заданное число, то можно утверждать, что переменная и стремится к некоторому пределу. Определение IV. Если среди частных значений переменной величины существуют меньшие всякого произвольно наперед заданного малого числа ? (не обращающиеся, впрочем, в ноль), то такая переменная называется бесконечно малой. Возьмем, например, переменную, определяемую рядом 1/1, 1/2, 1/3, 1/4,... 1/n,... Если укажем теперь номер n частного значения такой, что n \> 1/?, где ? малое заданное произвольно число, то соответствующее частное значение будет меньше ?, чего и требовалось достигнуть. Переменная х в данном случае, согласно нашему определению, может быть названа бесконечно малой. Ясно, что бесконечно малую величину можно определить, как имеющую пределом ноль, что можно записать так пред.(х) = 0. Определение V. Если среди частных значений переменной величины существуют большие всякого наперед произвольно заданного большого числа, то такая переменная называется бесконечно большой. Например, если мы через х обозначим какое-нибудь из целых простых чисел, не указывая, которое именно, то переменная х будет бесконечно большая, ибо в арифметике доказывается, что простых чисел бесконечное множество, и следовательно, существуют сколь угодно большие простые числа. Бесконечно большие величины суть числа, не имеющие предела; но условно говорят иногда, что бесконечно большая величина имеет пределом бесконечность, так что пишут: пред.(х) = ?. Впрочем, последнее равенство надо понимать как условное обозначение того, что переменная величина х бесконечно большая. Переменные, имеющие пределы, отличные от ноля и бесконечности, а также числа постоянные называются величинами конечными. Не надо смешивать условные термины "бесконечно малая величина" и "бесконечно большая величина" с физическим понятием "очень большая величина" и "очень малая величина". Так, напр., расстояние между небесными светилами мы называем очень большими величинами, тогда как размеры микроорганизмов — очень малыми. Термины же Д. исчисления "бесконечно большая величина" и "бесконечно малая величина" могут быть прилагаемы только к величинам переменным, причем тут идет дело не столько о численной величине переменной, сколько о том, что условия вопроса не мешают переменной иметь сколь угодно большие или малые частные значения. Одна и та же переменная величина, судя по условиям вопроса, может быть рассматриваема как бесконечно большая или бесконечно малая. Так, напр., расстояние между двумя точками на плоскости может быть рассматриваемо, как величина бесконечно малая, если условия вопроса не мешают точкам сближаться между собой, и как бесконечно большая, если условия вопроса не мешают точкам удаляться друг от друга. Расстояние точки, лежащей внутри некоторого определенного круга, до центра может быть названо величиной бесконечно малой, но не есть величина бесконечно большая, ибо не может быть больше радиуса. Расстояние между центрами двух твердых неупругих материальных шаров есть величина бесконечно большая, если условия вопроса не мешают этим двум шарам удаляться друг от друга, и ни в каком случае не будет величиной бесконечно малой, ибо оно не может быть сделано менее суммы радиусов. Рассмотрение величин конечных и бесконечно больших может быть сведено к рассмотрению бесконечно малых. В самом деле, если в какой-нибудь вопрос входит величина х, имеющая пределом а, то мы можем ввести новую переменную у = х — а; тогда: пред.(у) = пред.(х) — а = а — а = 0 так что у — переменная бесконечно малая. Подобным же образом можно, вместо рассмотрения бесконечно большой величины х, ввести в рассмотрение величину бесконечно малую: у = 1/х. Отсюда является важность изучения свойств величин бесконечно малых. Бесконечно малые величины разделяются по порядкам малости, причем, конечно, порядки бесконечно малых величин указываются не абсолютно, а относительно. Если заданы две бесконечно малые величины ? и ?, то мы можем относительно них утверждать только одно из трех: или их порядки одинаковы, или порядок ? выше порядка ?, или же, наконец, порядок ? ниже порядка ?. Чтобы узнать, который из указанных случаев имеет место, берут отношение бесконечно малой величины ?/?; это отношение есть переменная величина, которая, при уменьшении ? и ? до нуля, может стремиться к пределу, равному некоторому числу а, или же дробь ?/ ? величина бесконечно малая, и следовательно, пред.(?/?) = 0, или же, наконец, пред.(?/?) = ?. В первом случае порядки величин ? и ? одинаковы; во втором ? бесконечно мала в сравнении с ?, и следовательно, ее порядок выше; в третьем же случае порядок ? ниже порядка ?. Напр., возьмем две величины: ? и sin?, где ? бесконечно малая дуга. Рассмотрим пред.(sin?/?). Из геометрии известно, что дуга меньшая 90° всегда больше своего sinus'a и меньше tangens'a, а потому sin? \ sin?/? \> sin? /tang? или 1 \> sin?/? \> cos?. Итак, дробь sin?/?, при всяких ?, меньших 90°, заключается по численной своей величине между 1 и cos?, но последняя величина, по мере приближения ? к 0, стремится к 1, следовательно, дробь sin?/?, заключающаяся между 1 и переменной величиной, имеющей пределом 1, имеет пределом также единицу. Отсюда мы заключаем, что две бесконечно малые величины ? и sin? одного и того же порядка малости. Если задано несколько переменных величин ?, ?, ?,..., тогда одну из них, напр. ?, принимают за главную и указывают порядки малости других из данных бесконечно малых величин по сравнению с этой последней, причем порядок величины ? будет равен числу n, если пред.(?/?ⁿ) = k где k — некоторое конечное число, отличное от ноля. Общий вид величины n-ого порядка есть ? ⁿ(k + ?), где ? — главная бесконечно малая величина, а ? — другая, тоже бесконечно малая величина. О функциях. Если две переменные величины х и у заданы так, что каждому частному значению одной из них, напр. х, будет соответствовать одно или несколько определенных значений другой, т. е. у, и наоборот, то говорят, что эти переменные зависят друг от друга, причем одну из них называют зависимой переменной, или функцией от другой, которую называют независимой переменной; напр., если через х обозначим радиус некоторого шара, не указывая, какого именно, а через у его объем, то получится как раз случай двух переменных х и у, из которых одну можно считать функцией другой, ибо длиной радиуса определяется объем шара, и обратно. Всякая формула, заключающая какую-нибудь перем. вел. х, есть функция этой последней, например b20_693-1.jpg . В последней формуле показаны те действия, которые надо произвести над переменной независимой х, чтобы получить соответствующее значение функции (более подробные сведения см. в статье о Функциях). Для обозначения функции принято особое знакоположение: если у есть функция от х, то это записывается таким образом у = f(х). Если в рассмотрение приходится вводить несколько пункций, то эти пункции обозначается или равными буками, как, напр.: F(х), ?(х), ?(х), ?(х), ?(х), ?(х),..., или же разными значками: f₁(х), f₂(х),.... Если функция представлена в виде некоторой формулы, заключающей независимую переменную, то функцию называют явной, если же для получения функции надо решать уравнение, то функция называется неявной, например: у² + ух + х³ = 0. Последнее уравнение через решение относительно у дает выражение у в виде явной функции от х. Функцию мы называем однозначной, если каждому значению независимого переменного соответствует одно значение функции, напр. х², ах + b, sinx, и наоборот, функция называется многозначной, если каждому значению независ. перем. соответствуют несколько значений функции, например ?х. Итак, возьмем какую-нибудь функцию y = f(х). Пусть х₀ будет некоторое частное значение независ. перем., которое назовем начальным. Кроме того, пусть будет х₁, другое частное значение, которое будем называть приращенным. Разность х₁ — х₀ будет так называемое приращение переменной х. Это приращение будем обозначать ?х₀. Отсюда мы видим, что приращенное значение х₁ = х₀ + ?х₀. Подставляя в выражение нашей функции вместо х значение х₀, получим соответственное значение функции y₀, равное f(х₀) которое будет начальным значением функции. Приращенное значение y₁ = f(х₁) получится, если мы y₀ дадим приращение ?y₀, равное y₁ — y₀; так что y₁ = y₀ + ?y₀. Определение. Функция у = f(х) в сопредельности с частным значением х₀ независ. перем. называется функцией непрерывной, если бесконечно малому приращению ?х₀ независ. перем. соответствует также бесконечно малое приращение ?y₀ функции. b20_693-2.jpg Черт. 2. Графически изменение величины непрерывной функции в зависимости от изменения независ. перем. обычно может быть изображено некоторой непрерывной кривой линией, расположенной в плоскости, причем значения незав. перем. х₀, х₁,... откладываются по оси абсцисс, а соответствующие значения функции y₀, y₁... по ординатам. Хотя можно составить примеры функций, непрерывных в смысле, указанном в определении, которые бы не имели геометрического представления в виде непрерывной кривой линии, но обычно в Д. исчислении ограничиваются рассмотрением функций, непрерывных в указанном выше смысле. Итак, займемся рассмотрением непрерывных функций. ?х₀ и ?y₀ суть бесконечно малые величины. Оказывается, что обычно порядки малости этих приращений одинаковы; так что b20_694-1.jpg , где k некоторое конечное число, вообще говоря, отличное от нуля и равное некоторой функции от х₀, которая называется производной и нахождение которой по заданной функции f(x) составляет главный предмет Д. исчисления. Ньютон называл независимую переменную величиной равномерно текущей (quantitas pariter fluens), функцию у — текущей (fluens), a производную — флюксией, или течением (fluxio). (Происхождение этого названия увидим далее, когда скажем об определении скоростей в неравномерном движении). Возьмем, например, функцию у = x³. Тогда: ?y₀ = y₁ — y₀ = f(х₁) — f(х₀) = f(х + ?х₀) — f(х₀) = (х₀ + ?х₀)³ — х₀³ = х₀³ + 3х₀²?х₀ + 3х₀(?х₀)² + (?х₀)³ — х₀³ = 3х₀²?х₀ + 3х₀(?х₀)² + (?х₀)³. Отсюда ?y₀/?х₀ = 3х₀² + 3х₀?х₀ + (?х₀)² откуда заключаем, что b20_694-2.jpg Итак, мы видим, что для функции х³ производная есть функция 3х². Ньютон обозначал производную от функции у символом у. В настоящее время наиболее распространено обозначение Лагранжа: f'(x), или у' для обозначения производной от функции f(x). Кроме того, употребительно обозначение Аброгаста: y' = Dy. Лейбниц в своем изложении вводит новое понятие, равносильное производной функции, а именно, понятие о так называемом дифференциале функции. Мы уже сказали, что для данной непрерывной функции у = f(x): b20_694-3.jpg . Если некоторая переменная ?y/?х имеет пределом f'(x), то она отличается от своего предела на некоторую бесконечно малую величину ?, следовательно ?y/?х = f'(x) + ? или ?y = f'(x).?х + ?.?х. Итак, мы видим, что приращение функции состоит из двух частей: так сказать, главной, f'(x). ?х, порядок которой равен единице, если принять за главную ?х, и ?.?х, которая бесконечно мала в сравнении с первой, ибо ее порядок выше первого. Лейбниц назвал первую часть f'(x).?х дифференциалом функции и для обозначения ее употребил символ: df(x), сохранившийся до настоящего времени, вследствие чего и само новое исчисление получило название дифференциального, а операция нахождения производной — дифференцирования. Найти дифференциал функции все равно, что найти производную, ибо, когда производная найдена, то дифференциал функции получается через простое умножение на приращение ?х независимой переменной, которое есть число совершенно произвольное. Независимая переменная х есть частный случай функции от самой себя, функции, понятно, самой простой: f(x) = x. ?f(x) = ?х; (?f(x)/?х = 1, следовательно b20_694-4.jpg Отсюда мы замечаем, что dx=df(x)=f'(x).?х=1.?х=?х. Итак, мы видим, что дифференциал независимой переменной равносилен приращению этой независимой переменной и есть поэтому величина совершенно произвольная и не зависящая ни от каких переменных, входящих в рассмотрение. Далее мы замечаем, что дифференциал функции равен производной функции, умноженной на дифференц. независимой переменной: df(x) = f'(x).dx. Итак, дифференциал функции не совпадает с приращением функции, а составляет лишь главную часть его и отличается от него на бесконечно малую высшего порядка. b20_694-5.jpg Черт. 3. Покажем теперь геометрические значения функции, производной и дифференциала. Касательная в точке M₀ к кривой линии S есть такая прямая M₀T, с которой стремится совпасть секущая M₀M₁, проведенная через точку M₀ и бесконечно близкую к ней точку M₁, по мере приближения точки M₁ к точке M₀ вдоль по кривой S. Возьмем в плоскости координат кривую S, определяемую уравнением: y = f(x). Пусть х₀ = ОР₀ , y₀ = P₀M₀ , х₁ = ОР₁, у₁ = Р₁М₁. Тогда M₀N = P₀P₁ = x₁ — х₀ = ?х₀ = dx NM₁ = P₁M₁ — P₁N = P₁M₁ — P₀M₀ = y₁ — y₀ = ?y₀ ?y₀/?х₀ = (M₁N)/(M₀N) = tang(M₁M₀N). По мере уменьшения ?х₀ до ноля точка P₁ приближается к точке Р₀, прямая P₁M₁ — к прямой P₀M, точка M₁ вдоль по кривой S — к точке M₀, секущая M₀M₁ стремится обратиться в касательную М₀J к кривой S в точке M₀. b20_695-1.jpg Черт. 4. Угол M₁M₀N, который образует секущая с осью x-ов, стремится обратиться в ? — угол, образуемый касательной М₀J с осью x-ов, и следовательно b20_695-2.jpg Итак, значение производной для значения независимого переменного х₀, соответствующего точке M₀ на кривой, есть не что иное, как тангенс угла, составляемого касательной в этой точке с осью x-ов. Остается показать геометрическое значение дифференциала функции. Из чертежа замечаем, что df(x) = NJ ибо из ?M₀JN получаем: NJ = M₀N.tang? = dx.f'(х). Прежде чем приступить к изложению правил дифференцирования функций, т. е. правил для нахождения производных, или, что одно и то же, дифференциалов функций, необходимо сказать два слова о нэперовских логарифмах. Рассмотрим переменную (1 + 1/n)ⁿ. Покажем, что при беспредельном увеличении целого числа n эта переменная стремится к некоторому пределу, заключающемуся между числами 2 и 3. В самом деле (1 + 1/n)ⁿ = 1 + n.(1/n) + \[n(n — 1)\]/\[1.2\](1/n)² +... + (n\[n — 1\]... \[n — (n — 1)\])/(1.2.3... n)(1/n)ⁿ (см. Двучлен). Это можно переписать так: b20_695-3.jpg Так как 1/n, 2/n,.... (n — 1)/n меньше 1, то все члены больше ноля, и след., (1 + 1/n)ⁿ при всяком n целом и положительном больше 2. Кроме того, легко показать, что (1 + 1/n)ⁿ для всякого n целого и положительного меньше 3, ибо (1 + 1/n)ⁿ \