Энциклопедия Брокгауза и Ефрона - интегральное исчисление

в сочинении Архимеда "Об измерении длины окружности" рассматривается вопрос об определении площади и длины окружности круга, а в трактате "О шаре и цилиндре" — о поверхностях и объемах тел, ограниченных кривыми поверхностями; эти вопросы представляют первые геометрические задачи, относящиеся к И. исчислению. И в настоящее время основной задачей И. исчисления является нахождение площадей криволинейных фигур. Под площадью криволинейной фигуры S (черт. 1) разумеется предел, к которому стремится площадь вписанного в фигуру многоугольника по мере увеличения числа его сторон, причем эти стороны могут быть сделаны меньше всякого заранее заданного произвольно малого числа. Черт. 1.

Указанная задача решается при помощи И. исчисления, если криволинейный контур фигуры S задан уравнением, как это делается в аналитической геометрии (см. Аналитическая геометрия и Дифференциальное исчисление). Пусть уравнение заданной кривой S (черт. 2) есть y = f(x). Черт. 2.

Определим площадь РoМoМnРn, образованную отрезком оси x-ов PoPn, двумя ординатами MoРо и МnРn и дугой МоМn кривой S. Ясно, что нахождение площади всякой криволинейной фигуры может быть сведено к нахождению площадей такого вида (т. е. ограниченным тремя прямыми и дугой кривой). Проведем между крайними ординатами МоPо и МnРn п-1 ординат М1Р1, М2P2..., соответствующих точкам деления Р1, Р2.... отрезка оси РoРn. Эти точки выберем произвольно, с тем лишь ограничением, чтобы по мере увеличения числа п наибольший из отрезков был бесконечно мал (напр. точки Р1, Р2.... можно выбрать на равных расстояниях друг от друга). Предполагая, как это имеет место на черт. 2, что ординаты кривой во все время при переходе от Mo к Mn возрастают, легко видеть, что криволинейная площадь фигуры S будет заключаться между следующими двумя суммами:

Sn = f(xo)(x1 — xo) + f(x1)(х2 — х1) +.... + f (xn-1)(xn — xn-1)

и S'n = f(x1)(х1 — хo) + f(x2)(х2 — х1) +... + f(xn)(xn — xn-1)

где xо = ОРo, х1 = ОР1, x2 = ОР2..... xn = ОРn

a f(xo) = MoPo, f(x1) = М1Р1, f(x2) = М2P2.......f (хn) = МnРn.

Из чертежа очевидно, что

Sn < S < S'n.

Для обратного случая, т. е. когда ординаты кривой уменьшаются при переходе от Mo к Mn, рассуждение будет то же самое, только последнее неравенство изменит знак, т. е. будет:

Sn > S > S'n.

Докажем, что разность S'n — Sn при возрастании числа n может быть сделана как угодно мала. Вычитая на самом деле, имеем:

S'n — Sn = [f(x1) — f(xo)](x1 — xо) + [f(x2) — f(x1)](x2 — x1) +.... + [f(xn) — f(xn-1)](xn — xn-1).

Вследствие непрерывности функции f(x) в границах рассматриваемой площади число п можно подобрать настолько большим, что все разности f(x1) — f(xo), f(x2) — f(x1).... f(xn) — f(xn-1) выйдут меньше ε, где ε произвольно малое число. Тогда

S'п — Sn малая. Отсюда следует, что emS/em можно рассматривать как предел emSsubn/sub/em при возрастании emп/em, так что/div/ppdiv emS =/em пред. {emf(xsubo/sub)(xsub1/sub — xsubo/sub) + f(xsub1/sub)(xsub2/sub — xsub1/sub)+/em... + emf(xsubn-1/sub)(xsubn/sub — xsubn-1/sub)/em} при emn/em = ∞./div/ppdiv Введем означения:/div/ppdiv emxsub1/sub — xsubo/sub =/em Δemxsubo/sub/em, emxsub2/sub — xsub1/sub =/em Δemхsub1/sub/em.... emхsubn/sub/em — emxsubn-1/sub/em = Δemxsubn-1/sub/em, тогда/div/ppdiv emS/em = пред. {emf(xsubo/sub)/emΔemxsubo/sub + f (xsub1/sub)/emΔemxsub1/sub +/em.... + emf(xsubn-1/sub)/emΔemxsubn-1/sub/em } при emn/em = ∞/div/ppdiv или короче/div/ppdiv emS/em = пред. ∑emf(x)/em∙Δemx/em./div/ppdiv Этот предел называется emопределенным интегралом,/em взятым от emf(х)/em между границам и emxsubo/sub/em и emxsubn/sub/em; для него употребляют особый знак:/div/ppdivimg itemprop='photo' src="http://i.enc-dic.com/dic/brokgause/images/b25_250-1.jpg"/div/ppdiv Функция emf(x)/em называется emподынтегральной,/em а значки emxsub0/sub/em и emxsubn/sub пределами: xsubo/sub/em — emнижним,/em а emxsubn/sub/em — emверхним/em пределами. Знак ∫ произошел от буквы S, выражающей сумму элементов emf(x)/em∙emdx;/em название же интеграл произошло от латинского слова integer — целый. Знак ∫ введен Лейбницем и долгое время его употребляли без означения пределов; указание пределов введено Фурье./div/ppdiv Пример. Вычислить площадь img itemprop='photo' src="http://i.enc-dic.com/dic/brokgause/images/b25_250-2.jpg"em,/em ограниченную осью emх/em-ов (черт. 3) между началом координат и точкой, имеющею абсциссу emа/em, между дугой параболы emОМ,/em уравнение которой есть emу/em = emхsup2/sup/em, и ординатой emMa./em/div/ppdivimg itemprop='photo' src="http://i.enc-dic.com/dic/brokgause/images/b25_250-3.jpg" alt="Черт. 3."/div/ppdiv Черт. 3./div/ppdiv Разобьем основание emОа/em на emn/em равных частей ema/n/em strong=/strong emh/em; тогда площадь emОМа/em будет пределом суммы/div/ppdiv ∑emхsup2/suph = oh + hsup2/suph/em + (2emh/em)emsup2/suph/em +... + em((n-1)h)sup2/suph/em = emhsup3/sup/em(1 + 2sup2 /sup+...+ em(n-1)sup2/sup)/em = [emasup3/sup/ nsup3/sup/em]∙[em(n-1)n(2n-1)/em/6] или/div/ppdiv ∑emxsup2/suph/em = [emasup3/sup/em/3][1 — 3/2emn/em + 1/2emn/emsup2/sup]./div/ppdiv При увеличении emn/em до ∞ получим/div/ppdiv пред. ∑emxsup2/suph/em = emAsup3/sup/em/3/div/ppdiv так что img itemprop='photo' src="http://i.enc-dic.com/dic/brokgause/images/b25_250-4.jpg"/div/ppdiv Зная, что emaM/em = ema/emsup2/sup, заключаем, что площадь криволинейной фигуры emОМа/em равна одной трети площади прямоугольника emОКМа/em./div/ppdiv Необходимо заметить, что определение интеграла как предела суммы дает возможность вычислить его с любой степенью точности. Для этой цели можно поступать так: разобьем промежуток emхsubn/sub/em — emxsubо/sub/em (черт. 2) на emn/em равных частей emxsub1/sub, xsub2/sub, xsub3/sub,/em.... emхsubn— 1/sub, хsubn/sub/em; тогда/div/ppdiv emxsub1/sub/em = emxsubо/sub/em + emh/em, emx/emsub2/sub = emxsubо/sub/em + 2emh/em,..... emxsubn/sub/em = emxsubо/sub/em + emnh/em; отсюда:/div/ppdiv emSsubn/sub/em = emh/em{emf(xsubo/sub)/em + emf(xsub1/sub)/em +... + emf(xsubn-1/sub)/em}/div/ppdiv emS'subn/sub/em = emh/em{emf(xsub1/sub)/em + emf(xsub2/sub)/em +... + emf(xsubn/sub)/em}/div/ppdiv Вычитая, получим/div/ppdiv emS'subn/sub/em — emSsubn/sub/em = emh/em{emf(xsubn/sub) — f(xsubo/sub)/em}/div/ppdiv Подбирая emn/em настолько большим, чтобы emh/em вышло меньше emk//em[emf(xsubn/sub) — f(xsubo/sub)/em], получим/div/ppdiv emS'subn/sub — Ssubn/sub/em < emk/em/div/ppdiv и, следовательно, определенный интеграл emS/em будет отличаться от emSsubn/sub/em меньше, чем на величину emk./em Отсюда вычислить интеграл с точностью emk/em значит вычислить соответствующую сумму emSsubn/sub/em./div/ppdiv Здесь указана, конечно, только возможность вычисления определенного интеграла с данной степенью точности. В настоящее время в математике известны различные приемы для приближенного вычисления интегралов (площадей), более удобные, чем прием, получаемый непосредственно из определения интеграла как предела суммы. Приемы эти, принадлежащие Симпсону, Котесу, Эйлеру, Гауссу, Чебышеву, Эрмиту и др., известны под названием emформул квадратур,/em откуда название квадратур дается и самим интегралам, так что, если говорят, что вопрос решается в квадратурах, это значит, что искомую величину можно выразить при помощи интегралов от некоторых функций./div/ppdiv Из вышеприведенного примера видно, что вычисление определенного интеграла равносильно задаче вычисления площади некоторого криволинейного контура. Оказывается, что вычисление определенного интеграла от любой функции может быть приведено к одной общей задаче, основной в И. исчислении, а именно к emинтегрированию функций./em Эта задача формулируется так: дана функция emf(x);/em найти новую функцию emF (x),/em называемую первообразной (неопределенный интеграл), так, чтобы emF'(x)/em = emf(x),/em т. е. чтобы заданная функция была производной от искомой. В самом деле, рассмотрим площадь emАВРМ/em (черт. 4), ограниченную отрезком оси emх/em-ов emВР/em, дугой, заданной кривой emAM,/em ординатой emAB/em некоторой определенной точки emА/em, от которой отсчитываются дуги по кривой emAM,/em и переменной ординатой emМР/em, соответствующей некоторой точке emM/em кривой линии, не указывая, которой именно./div/ppdivimg itemprop='photo' src="http://i.enc-dic.com/dic/brokgause/images/b25_251-1.jpg" width="600" border="0" alt="Черт. 4."/div/ppdiv Черт. 4./div/ppdiv Положение переменной ординаты emМР,/em конечно, зависит от абсциссы emх/em = emОР/em точки emМ./em Поэтому и площадь emS = ABPM/em есть некоторая функция от emх/em; означим ее через emF(x)./em Посмотрим, чему равна производная этой функции. Приращение ΔemS =/em ΔemF(x)/em есть не что иное, как площадь emMPPsub1/subМsub1/sub,/em где emРРsub1/sub/em = Δemx/em. Если в сопредельности с точкой emM/em функция возрастает, как это имеет место на чертеже, то/div/ppdiv emPMNsub1/subPsub1/sub/em ΔemS/em emPNsub2/subMsub1/subРsub1/sub/em./div/ppdiv Если бы в сопредельности с точкой emM/em функция убывала, то можно написать такое же неравенство, но с обратным знаком. Вводя предыдущие обозначения и видя, что emРМ/em = emf(x),/em a emPsub1/subMsub1/sub/em = emf(x/em + Δemx)/em, имеем:/div/ppdiv emf(x)/emΔemx /em ΔemF(x) f(x +/em Δemx)/emΔemx./em/div/ppdiv Разделяя все части этого неравенства на Δemx/em, получим/div/ppdiv emf(x) /em ΔemF(x)//emΔemx f(x +/em Δemx);/em/div/ppdiv откуда в пределе:/div/ppdiv пред. {ΔemF(x)//emΔemx/em} = emF'(x)/em = emf(x)/em./div/ppdiv Итак, нахождение определенных интегралов сводится к поставленной выше задаче. Очевидно, эта задача неопределенная, потому что существует бесчисленное множество функций, имеющих ту же самую производную. Все эти функции отличаются друг от друга на числа постоянные, так как производная от постоянного числа равна нулю. Если, например, обозначить через emF(х)/em одну из бесчисленного множества функций, имеющих производной заданную функцию emf(x),/em то другие функции будут emF(x) + 1, F(x)/em + em2/em, emF(x)/em + π и т. д., вообще говоря, emF(x)/em + emС/em, где emС/em — некоторое постоянное число, не зависящее от emх/em. Функция emF(x)/em + emС/em, заключающая неопределенную постоянную emС/em, называется поэтому emнеопределенным интегралом/em и обозначается так:/div/ppdiv ∫emf(x)/em∙emdx = F(x) + C./em/div/ppdiv Что в выражение площади должна входить некоторая произвольная постоянная, ясно из геометрических соображений, ибо площади можно отсчитывать от совершенно произвольной ординаты emAB/em (черт. 4). Выбору некоторой ординаты за начальную будет соответствовать аналитическое указание постоянного числа emС./em Положим, что за начальную ординату счета площадей выбрана ордината, соответствующая некоторому числу emа/em; тогда, если конечную ординату площади означить через emх/em и положить, что emх/em > а, то площадь выразится некоторым числом. По мере приближения ординаты х к начальной а площадь будет уменьшаться, так что при х = а она обратится в нуль. Согласно тому, что уже сказано о пределах определенного интеграла, рассматриваемая площадь может быть обозначена интегралом:

Рассматривая верхний предел х как переменную величину, легко видеть, что этот интеграл равен F(x) + Со, где Со подобрано так, что этот интеграл (площадь) обращается в нуль при х = а; отсюда

F(a)+ Co = 0 и Со = -F(a);

так что

Этот интеграл назывался Эйлером integrale quod evanescit posito x = a, так как Эйлер не употреблял еще знаков пределов.

Отсюда ясно, что всякий определенный интеграл от функции f (х) между пределами a и b может быть вычислен по формуле где F(x) совершенно произвольное значение неопределенного интеграла. Это значит, что за F(x) нужно взять совершенно произвольную из числа функций, имеющих заданную производную. Сказанное, впрочем, очевидно, потому что если означить через Ф(х) другое значение неопределенного интеграла, то получается

Ф(х) = F(х) + С;

подставляя вместо x, a и b получим

Ф(a) = F(а) + С Ф(b) = F(b) + С

откуда

Ф(b) — Ф(а) = F(b) — F(а)

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

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, распространенную на все пространство, ограниченное заданной поверхностью. Черт. 5.

Отсюда общая формула для объема будет:

U = пред. ∑Δx.Δу.Δz

Этот предел обозначается тройным интегралом

U = ∫∫∫dx.dy.dz

который представляет, следовательно, общую формулу для нахождения каких угодно объемов. Вся задача состоит в указании пределов у трех знаков интеграла, так как одно интегрирование (суммирование) производится по букве х, другое по букве у, а третье по букве z. Требуется указать пределы таким образом, чтобы при интегрировании были приняты в расчет все элементы, лежащие внутри рассматриваемого криволинейного тела. Полученная выше формула квадратур ∫y.dx может быть написана также в виде двойного интеграла ∫dx.dy, потому что

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 г.), и курсы, указанные в конце статьи Дифференциальное исчисление.

Д. Граве.

Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона. — С.-Пб.: Брокгауз-Ефрон

1890—1907