Теперь произведение V на n-ю степень T есть первообразная функция, в которой индекс x увеличен на n единиц; переходя от производящих функций к их коэффициентам, мы будем иметь эту первообразную функцию, таким образом увеличенную, равную разложению n-й степени двучлена Z + 1, при условии, что в этом разложении мы подставим вместо степеней Z соответствующие разности первообразной функции и что мы умножим независимый член этих степеней на первообразную функцию. Мы получим таким образом первообразную функцию, индекс которой увеличен на любое число n, с помощью ее разностей.
Предполагая, что T и Z всегда имеют предыдущие значения, мы будем иметь Z, равное двучлену T - 1; произведение V на n-ю степень Z будет тогда равно произведению V на разложение n-й степени двучлена T - 1. Переходя от производящих функций к их коэффициентам, как это только что было сделано, мы будем иметь n-ю разность первообразной функции, выраженную разложением n-й степени двучлена T - 1, в котором мы подставляем вместо степеней T эту же функцию, индекс которой увеличен на показатель степени, а вместо независимого члена t, который есть единица, — первообразную функцию, что дает эту разность с помощью последовательных членов этой функции.
Помещая δ перед первообразной функцией, выражающей производную этой функции, которая умножает x-ю степень t в произведении V на T, и Δ, выражающей ту же производную в произведении V на Z, мы приходим благодаря тому, что предшествует, к этому общему результату: какой бы ни была функция переменной t, представленная T и Z, мы можем в разложении всех тождественных уравнений, которые могут быть образованы среди этих функций, подставить символы δ и Δ вместо T и Z, при условии, что мы запишем первообразную функцию индекса в ряд со степенями и произведениями степеней символов и что мы умножим на эту функцию независимые члены этих символов.
Мы можем с помощью этого общего результата преобразовать любую определенную степень разности первообразной функции индекса x, в которой x изменяется на единицу, в ряд разностей той же функции, в которой x изменяется на определенное число единиц, и наоборот. Предположим, что T есть i-я степень единицы, деленной на t - 1, и что Z всегда есть единица, деленная на t - 1; тогда коэффициент x-й степени t в произведении V на T будет коэффициентом x+i степени t в V минус коэффициент x-й степени t; это будет тогда конечная разность первообразной функции индекса x, в которой мы изменяем этот индекс на число i. Легко видеть, что T равно разности между i-й степенью двучлена Z + 1 и единицей. n-я степень T равна n-й степени этой разности. Если в этом равенстве мы подставим вместо T и Z символы δ и Δ и после разложения поместим в конце каждого члена первообразную функцию индекса x, мы будем иметь n-ю разность этой функции, в которой x изменяется на i единиц, выраженную рядом разностей той же функции, в которой x изменяется на единицу. Этот ряд есть лишь преобразование разности, которую он выражает и которая тождественна с ним; но именно в подобных преобразованиях и заключается сила анализа.
Общность анализа позволяет нам предположить в этом выражении, что n отрицательно. Тогда отрицательные степени δ и Δ указывают интегралы. Действительно, n-я разность первообразной функции, имеющая в качестве производящей функции произведение V на n-ю степень двучлена «один, деленное на t, минус один», первообразная функция, которая является n-м интегралом этой разности, имеет в качестве производящей функции производящую функцию той же разности, умноженную на n-ю степень, взятую как «минус один, деленное на двучлен (один, деленное на t, минус один)», степень, которой соответствует та же степень символа Δ; эта степень указывает тогда интеграл того же порядка, индекс x изменяется на единицу; и отрицательные степени δ указывают равным образом интегралы, где x изменяется на i единиц. Мы видим, таким образом, самым ясным и простым образом рациональность анализа, наблюдаемую между положительными степенями и разностями, а также между отрицательными степенями и интегралами.
Если функция, обозначенная δ, помещенная перед первообразной функцией, равна нулю, мы будем иметь уравнение конечных разностей, и V будет производящей функцией его интеграла. Чтобы получить эту производящую функцию, мы заметим, что в произведении V на T все степени t должны исчезнуть, за исключением степеней, меньших порядка уравнения в разностях; V тогда равно дроби, знаменатель которой есть T, а числитель — многочлен, в котором высшая степень t меньше на единицу порядка уравнения в разностях. Произвольные коэффициенты различных степеней t в этом многочлене, включая нулевую степень, будут определены таким же числом значений первообразной функции индекса, когда мы последовательно делаем x равным нулю, единице, двум и т. д. Когда дано уравнение в разностях, мы определяем T, помещая все его члены в первую часть, а ноль — во вторую; подставляя в первую часть единицу вместо функции, имеющей наибольший индекс; первую степень t вместо первообразной функции, в которой этот индекс уменьшен на единицу; вторую степень t для первообразной функции, где этот индекс уменьшен на две единицы, и так далее. Коэффициент x-й степени t в разложении предыдущего выражения V будет первообразной функцией x или интегралом уравнения конечных разностей. Анализ предоставляет для этого разложения различные средства, среди которых мы можем выбрать то, которое наиболее подходит для предложенного вопроса; это преимущество данного метода интегрирования.
Представим себе теперь, что V есть функция двух переменных t и t', разложенная по степеням и произведениям этих переменных; коэффициент любого произведения степеней x и x' переменных t и t' будет функцией показателей или индексов x и x' этих степеней; эту функцию я назову первообразной функцией, производящей функцией которой является V.
Умножим V на функцию T двух переменных t и t', разложенную подобно V по отношению к степеням и произведениям этих переменных; произведение будет производящей функцией производной первообразной функции; если T, например, равно переменной t плюс переменная t' минус два, эта производная будет первообразной функцией, в которой мы уменьшаем на единицу индекс x, плюс та же первообразная функция, в которой мы уменьшаем на единицу индекс x', минус дважды первообразная функция. Обозначая, чем бы ни был T, символом δ, помещенным перед первообразной функцией, эта производная, произведение V на n-ю степень T, будет производящей функцией производной первообразной функции, перед которой помещают n-ю степень символа δ. Отсюда следуют теоремы, аналогичные тем, которые относятся к функциям одной переменной.
Предположим, что функция, обозначенная символом δ, равна нулю; мы получим уравнение в частных разностях. Если, например, мы сделаем, как прежде, T равным переменной t плюс переменная t' - 2, мы получим ноль, равный первообразной функции, в которой мы уменьшаем на единицу индекс x, плюс та же функция, в которой мы уменьшаем на единицу индекс x', минус дважды первообразная функция. Производящая функция V первообразной функции или интеграла этого уравнения должна тогда быть такой, чтобы ее произведение на T совсем не включало произведений t на t'; но V может включать отдельно степени t и степени t', то есть произвольную функцию t и произвольную функцию t'; V тогда есть дробь, числитель которой есть сумма этих двух произвольных функций, а знаменатель — T. Коэффициент произведения x-й степени t на x'-ю степень t' в разложении этой дроби будет тогда интегралом предыдущего уравнения в частных разностях. Этот метод интегрирования такого рода уравнений кажется мне самым простым и легким благодаря применению различных аналитических процессов для разложения рациональных дробей.
Более подробные сведения по этому вопросу были бы едва понятны без помощи исчисления.
Рассматривая уравнения бесконечно малых частных разностей как уравнения конечных частных разностей, в которых ничем не пренебрегают, мы можем пролить свет на темные места их исчисления, которые были предметом больших дискуссий среди геометров. Именно так я доказал возможность введения разрывных функций в их интегралы при условии, что разрывность имеет место только для дифференциалов порядка этих уравнений или высшего порядка. Трансцендентные результаты исчисления являются, как и все абстракции рассудка, общими знаками, истинный смысл которых может быть установлен только путем возвращения с помощью метафизического анализа к элементарным идеям, которые привели к ним; это часто представляет большие трудности, ибо человеческий ум пытается еще меньше перенести себя в будущее, чем уединиться в самом себе. Сравнение бесконечно малых разностей с конечными разностями может аналогично пролить большой свет на метафизику исчисления бесконечно малых.
Легко доказать, что конечная n-я разность функции, в которой приращение переменной есть E, будучи разделенной на n-ю степень E, частное, приведенное в ряд по отношению к степеням приращения E, образуется первым членом, независимым от E. По мере того как E уменьшается, ряд все более приближается к этому первому члену, от которого он может отличаться лишь на величины, меньшие любой заданной величины. Этот член является тогда пределом ряда и выражает в дифференциальном исчислении бесконечно малую n-ю разность функции, деленную на n-ю степень бесконечно малого приращения.
Рассматривая с этой точки зрения бесконечно малые разности, мы видим, что различные операции дифференциального исчисления сводятся к сравнению отдельно в разложении тождественных выражений конечных членов или тех, которые независимы от приращений переменных, рассматриваемых как бесконечно малые; это строго точно, так как эти приращения являются неопределенными. Таким образом, дифференциальное исчисление обладает всей точностью других алгебраических операций.
Та же точность обнаруживается в приложениях дифференциального исчисления к геометрии и механике. Если мы представим себе кривую, пересеченную секущей в двух соседних точках, называя E интервал ординат этих двух точек, E будет приращением абсциссы от первой до второй ординаты. Легко видеть, что соответствующее приращение ординаты будет произведением E на первую ординату, деленную на ее подсекущую; увеличивая затем в этом уравнении кривой первую ординату на это приращение, мы получим уравнение, относящееся ко второй ординате. Разность этих двух уравнений будет третьим уравнением, которое, разложенное по отношению к степеням E и деленное на E, будет иметь свой первый член, независимый от E, который будет пределом этого разложения. Этот член, равный нулю, даст тогда предел подсекущих, предел, который, очевидно, является подкасательной.
Этот удивительно удачный метод получения подкасательной принадлежит Ферма, который распространил его на трансцендентные кривые. Этот великий геометр выражает символом E приращение абсциссы; и рассматривая только первую степень этого приращения, он определяет точно так же, как мы с помощью дифференциального исчисления, подкасательные кривых, их точки перегиба, максимумы и минимумы их ординат и, в общем, таковые рациональных функций. Мы видим также по его прекрасному решению задачи о преломлении света, включенному в «Собрание писем Декарта», что он умеет распространять свои методы на иррациональные функции, освобождая их от иррациональностей путем возведения корней в степени. Ферма следует, таким образом, считать истинным первооткрывателем дифференциального исчисления. Ньютон с тех пор сделал это исчисление более аналитическим в своем «Методе флюксий» и упростил и обобщил процессы с помощью своей прекрасной теоремы о двучлене. Наконец, примерно в то же время Лейбниц обогатил дифференциальное исчисление обозначением, которое, указывая переход от конечного к бесконечно малому, добавляет к преимуществу выражения общих результатов исчисления преимущество давать первые приближенные значения разностей и сумм величин; это обозначение само по себе приспособлено к исчислению частных дифференциалов.
Мы часто приходим к выражениям, которые содержат так много членов и множителей, что численные подстановки невыполнимы. Это имеет место в вопросах вероятности, когда мы рассматриваем большое число событий. Между тем необходимо иметь численное значение формул, чтобы знать, с какой вероятностью указаны результаты, которые события развивают путем умножения. Необходимо особенно иметь закон, согласно которому эта вероятность постоянно приближается к достоверности, которой она в конечном итоге достигнет, если бы число событий было бесконечным. Чтобы получить этот закон, я принял во внимание, что определенные интегралы дифференциалов, умноженные на факторы, возведенные в большие степени, дали бы путем интегрирования формулы, состоящие из большого числа членов и множителей. Это замечание привело меня к идее преобразования в подобные интегралы сложных выражений анализа и интегралов уравнения в разностях. Я выполнил это условие методом, который дает одновременно функцию, заключенную под знаком интеграла, и пределы интегрирования. Он предлагает эту замечательную вещь, что функция является той же производящей функцией выражений и предложенных уравнений; это привязывает этот метод к теории производящих функций, дополнением которой он, таким образом, является. Далее, речь шла бы только о сведении определенного интеграла к сходящемуся ряду. Это я получил с помощью процесса, который заставляет ряд сходиться тем быстрее, чем сложнее формула, которую он представляет, так что он тем точнее, чем более необходим. Часто ряд имеет в качестве множителя квадратный корень из отношения окружности к диаметру; иногда он зависит от других трансцендентных величин, число которых бесконечно.
Важное замечание, которое относится к большой общности анализа и которое позволяет нам распространить этот метод на формулы и уравнения в разностях, которые теория вероятности представляет наиболее часто, состоит в том, что ряды, к которым приходят, предполагая пределы определенных интегралов действительными и положительными, имеют место равным образом в случае, когда уравнение, определяющее эти пределы, имеет только отрицательные или мнимые корни. Эти переходы от положительного к отрицательному и от действительного к мнимому, которые я впервые использовал, привели меня далее к значениям многих сингулярных определенных интегралов, которые я, соответственно, доказал непосредственно. Мы можем тогда рассматривать эти переходы как средство открытия, параллельное индукции и аналогии, давно используемым геометрами, сначала с крайней осторожностью, затем с полной уверенностью, поскольку большое число примеров оправдало их использование. Между тем всегда необходимо подтверждать прямыми доказательствами результаты, полученные этими различными средствами.
Я назвал совокупность предыдущих методов исчислением производящих функций; это исчисление служит основой для работы, которую я опубликовал под названием «Аналитическая теория вероятностей». Оно связано с простой идеей обозначения повторных умножений величины на саму себя или ее целых и положительных степеней путем записи в верхней части буквы, которая ее выражает, чисел, которые отмечают степени этих степеней.
Это обозначение, использованное Декартом в его «Геометрии» и общепринятое со времени публикации этого важного труда, есть мелочь, особенно по сравнению с теорией кривых и переменных функций, с помощью которой этот великий геометр заложил основы современного исчисления. Но язык анализа, самый совершенный из всех, будучи сам по себе мощным инструментом открытий, его обозначения, особенно когда они необходимы и удачно задуманы, являются столькими же зародышами новых исчислений. Это становится ощутимым на этом примере.
Валлис, который в своем труде под названием Arithmetica Infinitorum, одном из тех, которые наиболее способствовали прогрессу анализа, интересовался особенно следованием нити индукции и аналогии, считал, что если разделить показатель буквы на два, три и т. д., частное будет соответственно картезианскому обозначению, и когда деление возможно, показателем квадратного, кубического и т. д. корня из величины, которая представляет букву, возведенную в делимый показатель. Распространяя по аналогии этот результат на случай, когда деление невозможно, он рассматривал величину, возведенную в дробный показатель, как корень степени, указанной знаменателем этой дроби — а именно, величины, возведенной в степень, указанную числителем. Он заметил затем, что, согласно картезианскому обозначению, умножение двух степеней одной и той же буквы сводится к сложению их показателей, и что их деление сводится к вычитанию показателей степени делителя из такового степени делимого, когда второй из этих показателей больше первого. Валлис распространил этот результат на случай, когда первый показатель равен или больше второго, что делает разность равной нулю или отрицательной. Он предположил тогда, что отрицательный показатель указывает единицу, деленную на величину, возведенную в тот же показатель, взятый положительно. Эти замечания привели его к интегрированию в общем виде одночленных дифференциалов, откуда он вывел определенные интегралы особого рода двучленных дифференциалов, показатель которых есть положительное целое число. Наблюдение затем закона чисел, которые выражают эти интегралы, ряд интерполяций и удачных индукций, где воспринимают зародыш исчисления определенных интегралов, которое так много упражняло геометров и которое является одним из фундаментов моей новой «Теории вероятностей», дало ему отношение площади круга к квадрату его диаметра, выраженное бесконечным произведением, которое, когда его останавливают, ограничивает это отношение пределами, все более сходящимися; это один из самых сингулярных результатов в анализе. Но примечательно, что Валлис, который так хорошо рассмотрел дробные показатели радикальных степеней, продолжал отмечать эти степени так, как это делалось до него. Ньютон в своих «Письмах к Ольденбургу», если я не ошибаюсь, был первым, кто применил обозначение этих степеней дробными показателями. Сравнивая путем индукции, которой Валлис сделал такое прекрасное использование, показатели степеней двучлена с коэффициентами членов его разложения в случае, когда этот показатель цел и положителен, он определил закон этих коэффициентов и распространил его по аналогии на дробные и отрицательные степени. Эти различные результаты, основанные на обозначении Декарта, показывают его влияние на прогресс анализа. Оно имеет еще преимущество давать самое простое и справедливое представление о логарифмах, которые, действительно, являются лишь показателями величины, чьи последовательные степени, увеличиваясь на бесконечно малые градусы, могут представлять все числа.