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

в сочинении Архимеда "Об измерении длины окружности" рассматривается вопрос об определении площади и длины окружности круга, а в трактате "О шаре и цилиндре" — о поверхностях и объемах тел, ограниченных кривыми поверхностями; эти вопросы представляют первые геометрические задачи, относящиеся к И. исчислению. И в настоящее время основной задачей И. исчисления является нахождение площадей криволинейных фигур. Под площадью криволинейной фигуры S (черт. 1) разумеется предел, к которому стремится площадь вписанного в фигуру многоугольника по мере увеличения числа его сторон, причем эти стороны могут быть сделаны меньше всякого заранее заданного произвольно малого числа. b25_249-1.jpg Черт. 1. Указанная задача решается при помощи И. исчисления, если криволинейный контур фигуры S задан уравнением, как это делается в аналитической геометрии (см. Аналитическая геометрия и Дифференциальное исчисление). Пусть уравнение заданной кривой S (черт. 2) есть y = f(x). b25_249-2.jpg Черт. 2. Определим площадь Р_oМ_oМ_nР_n, образованную отрезком оси x-ов P_oP_n, двумя ординатами M_oР_о и М_nР_n и дугой М_оМ_n кривой S. Ясно, что нахождение площади всякой криволинейной фигуры может быть сведено к нахождению площадей такого вида (т. е. ограниченным тремя прямыми и дугой кривой). Проведем между крайними ординатами М_оP_о и М_nР_n п-1 ординат М₁Р₁, М₂P₂..., соответствующих точкам деления Р₁, Р₂.... отрезка оси Р_oР_n. Эти точки выберем произвольно, с тем лишь ограничением, чтобы по мере увеличения числа п наибольший из отрезков был бесконечно мал (напр. точки Р₁, Р₂.... можно выбрать на равных расстояниях друг от друга). Предполагая, как это имеет место на черт. 2, что ординаты кривой во все время при переходе от M_o к M_n возрастают, легко видеть, что криволинейная площадь фигуры S будет заключаться между следующими двумя суммами: S_n = f(x_o)(x₁ — x_o) + f(x₁)(х₂ — х₁) +.... + f (x_n-1)(x_n — x_n-1) и S'_n = f(x₁)(х₁ — х_o) + f(x₂)(х₂ — х₁) +... + f(x_n)(x_n — x_n-1) где x_о = ОР_o, х₁ = ОР₁, x₂ = ОР₂..... x_n = ОР_n a f(x_o) = M_oP_o, f(x₁) = М₁Р₁, f(x₂) = М₂P₂.......f (х_n) = М_nР_n. Из чертежа очевидно, что S_n S > S'_n. Докажем, что разность S'_n — S_n при возрастании числа n может быть сделана как угодно мала. Вычитая на самом деле, имеем: S'_n — S_n = \[f(x₁) — f(x_o)\](x₁ — x_о) + \[f(x₂) — f(x₁)\](x₂ — x₁) +.... + \[f(x_n) — f(x_n-1)\](x_n — x_n-1). Вследствие непрерывности функции f(x) в границах рассматриваемой площади число п можно подобрать настолько большим, что все разности f(x₁) — f(x_o), f(x₂) — f(x₁).... f(x_n) — f(x_n-1) выйдут меньше ?, где ? произвольно малое число. Тогда S'_п — S_n а, то площадь выразится некоторым числом. По мере приближения ординаты х к начальной а площадь будет уменьшаться, так что при х = а она обратится в нуль. Согласно тому, что уже сказано о пределах определенного интеграла, рассматриваемая площадь может быть обозначена интегралом: b25_251-2.jpg Рассматривая верхний предел х как переменную величину, легко видеть, что этот интеграл равен F(x) + С_о, где С_о подобрано так, что этот интеграл (площадь) обращается в нуль при х = а; отсюда F(a)+ C_o = 0 и С_о = -F(a); так что b25_251-3.jpg Этот интеграл назывался Эйлером integrale quod evanescit posito x = a, так как Эйлер не употреблял еще знаков пределов. Отсюда ясно, что всякий определенный интеграл от функции f (х) между пределами a и b может быть вычислен по формуле b25_251-4.jpg где F(x) совершенно произвольное значение неопределенного интеграла. Это значит, что за F(x) нужно взять совершенно произвольную из числа функций, имеющих заданную производную. Сказанное, впрочем, очевидно, потому что если означить через Ф(х) другое значение неопределенного интеграла, то получается Ф(х) = F(х) + С; подставляя вместо x, a и b получим Ф(a) = F(а) + С Ф(b) = F(b) + С откуда Ф(b) — Ф(а) = F(b) — F(а) и, следовательно, можно взять другое значение неопределенного интеграла Ф(х), так что рассматриваемый определенный интеграл можно вычислить по формуле b25_251-5.jpg Независимость определенного интеграла от той функции из числа первообразных, которую мы выбираем, следует и из того, что площадь между двумя определенными ординатами не зависит от положения третьей ординаты, принятой за начало счета площадей. — И. исчисление разделяется на следующие большие отделы: I. Интегрирование функций. Здесь излагаются приемы для нахождения по заданной функции ее первообразной, другими словами — нахождение неопределенного интеграла от заданной функции. — Прежде всего необходимо заметить, что знаки дифференцирования и интегрирования друг друга уничтожают, т. е. d?f(x)?dx = f(x)?dx и ?df(x) = f(x) + C. Постоянный множитель можно выносить из-под знака интеграла, т. е. ?a?f(x)?dx = a?f(x)?dx; это очевидно как из определения интеграла как предела суммы, так и из понятия о интеграле, как о функции первообразной. Аналогичная теорема существует и в дифференциальном исчислении. В статье Дифференциальное исчисление (см.) помещена табличка производных и дифференциалов простейших функций. Обращение ее дает основную табличку и для интегрирования функций. Возьмем, например, формулу для дифференциала степени: d(x^a) = a.x^a-1?dx. Взяв интегралы обеих частей, или, как говорят, интегрируя обе части этого уравнения, получим: ?d(x^a) = ?a?x^a-1?dx = a?x^a-1dx откуда x^a + C = a?x^a-1?dx т. е. ?x^a-1?dx = x^a/a + С при заменении а через а + 1 эта же формула представится так: ?x^a?dx = x^a+1/(a + 1) + C. Эта формула не имеет места при а = -1, но тогда на основании формулы (8) упомянутой таблички получим: ?dx/x = lgx + C Применяя подобные же рассуждения ко всем прочим формулам таблички дифференциалов простейших функций, получим табличку основных формул интегрирования простейших функций: 1) ?x^a?dx = x^a+1/(a + 1) + C 2) ?dx/x = lgx + C 3) ?e^xdx = e^x + C 4) ?a^x?dx = a^x/lga + C 5) ?sinx?dx = -cosx + С 6) ?cosx?dx = sin x + С 7) ?dx/cos²x = tgx + C 8) ?dx/(1 — x²)^1/2 = arcsinx + C 9) ?dx/(1 + x²) = arctgx + C Из этой таблички видно, что интегралы от весьма простых алгебраических функций ?dx/x, ?dx/\[?(1 — x²)^1/2\] и ?dx/(1 + x²) выражаются трансцендентными функциями: lgx, arcsinx и arctgx. Изыскивая же правила для интегрирования более сложных функций, уже первые исследователи в области И. исчисления заметили, что только интегралы немногих функций вообще представляются в конечном виде; для огромного же большинства функций их первообразные представляют новые виды функций, изучение которых и составляет обширное и еще мало разработанное поле исследований. К числу таких новых трансцендентных принадлежат так называемые эллиптические интегралы, теория которых в настоящее время уже хорошо разработана и получила большие приложения. Интегрирование же функций более сложных состоит пока из отдельных попыток, причем рядом преобразований стремятся свести интегрирование рассматриваемой функции к интегрированию функций, помещенных в табличке простейших. Эта часть И. исчисления доставила, однако, весьма важные результаты; так, например, известно, что интеграл от всякой рациональной функции выражается в конечном виде, т. е. при помощи конечного числа знаков функций, встречающихся уже в элементарной математике. Из числа иррациональных функций заслуживает особенного внимания случай, когда иррациональность подынтегральной функции состоит или из дробных степеней переменного независимого, или же представляет квадратный корень из многочлена, степени не выше второй. В этих случаях интегрирование также совершается в конечном виде. Известны, наконец, некоторые интегрируемые классы функций трансцендентных. К числу упомянутых выше основных преобразований относятся: 1) разложение интеграла на части по формуле: ?(u + v -w)dx = ?u?dx + ?v?dx — ?w?dx... (I) 2) введение новой переменной, по формулам: x = ?(t) dx = ??(t)?dt... (II) откуда ?f(x)dx = ?f\[?(t)\]? ??(t)?dt и 3) интегрирование по частям по формуле: ?u?dv = u?v — ?v?du... (III) II. Теория определенных и кратных интегралов. Сюда относятся исследования и нахождения определенных интегралов в тех случаях, когда неопределенный интеграл весьма трудно или вовсе нельзя выразить через известные функции, а потому тут излагаются приемы, дающие возможность вычислять определенные интегралы не пользуясь основной формулой (*); здесь также обобщается понятие об определенном интеграле на случай нескольких независимых переменных. III. Геометрические приложения интегрального исчисления. В этом отделе рассматриваются четыре основные задачи: 1) квадратура площадей, ограниченных кривыми линиями, 2) вычисление длин дуг кривых линий, 3) вычисление объемов (кубатура) тел, ограниченных кривыми поверхностями, и 4) вычисление площадей криволинейных поверхностей в некоторых контурах, проведенных на этих поверхностях. Чтобы дать понятие о геометрических приложениях И. исчисления, а равно о кратных интегралах, рассмотрим задачу об определении объема тел, ограниченных кривыми поверхностями. Такой объем U (черт. 5) можно рассматривать как сумму параллелепипедов, составленных приращениями координат ?x, ?у и ?z, распространенную на все пространство, ограниченное заданной поверхностью. b25_253-1.jpg Черт. 5. Отсюда общая формула для объема будет: U = пред. ??x.?у.?z Этот предел обозначается тройным интегралом U = ???dx.dy.dz который представляет, следовательно, общую формулу для нахождения каких угодно объемов. Вся задача состоит в указании пределов у трех знаков интеграла, так как одно интегрирование (суммирование) производится по букве х, другое по букве у, а третье по букве z. Требуется указать пределы таким образом, чтобы при интегрировании были приняты в расчет все элементы, лежащие внутри рассматриваемого криволинейного тела. Полученная выше формула квадратур ?y.dx может быть написана также в виде двойного интеграла ?dx.dy, потому что b25_253-2.jpg IV. Интегрирование дифференциальных уравнений (см.). Исторический очерк развития И. исчисления см. Математика. Укажем здесь еще классические сочинения и руководства по этому предмету. Полная система интегрального исчисления в том виде, как оно излагается в настоящее время, находится в знаменитом трактате Эйлера "Institutiones calculi integralis" (СПб., 4 тома). Затем укажем на Коши: "Oeuvres compl?tes", Бертрана: "Trait? de calcul diff?rentiel et de calcul int?gral" (2 тома), Ceppe: "Cours de calcul diff?rentiel et int?gral" (2 тома), Поссе: "Курс интегрального исчисления" (СПб., 1891 г.), и курсы, указанные в конце статьи Дифференциальное исчисление. Д. Граве.