Интегральное исчисление

Эту статью следует викифицировать. Пожалуйста, оформите её согласно общим правилам и указаниям.

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

Длины, площади и объемы

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

http://www.cultinfo.ru/fulltext/1/001/006/b25_249-1.jpg

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

http://www.cultinfo.ru/fulltext/1/001/006/b25_249-2.jpg

Определим площадь $P_0 M_0 M_n P_n$, образованную отрезком оси x-ов $P_0 P_n$, двумя ординатами $M_0 P_0$ и $M_n P_n$ и дугой $M_0 M_n$ кривой S. Ясно, что нахождение площади всякой криволинейной фигуры может быть сведено к нахождению площадей такого вида (то есть ограниченным тремя прямыми и дугой кривой). Проведем между крайними ординатами $M_0 P_0$ и $M_n P_n$ n-1 ординат $M_1 P_1$, $M_2 P_2$ ..., соответствующих точкам деления $P_1$, $P_2$ ... отрезка оси $P_0 P_n$. Эти точки выберем произвольно, с тем лишь ограничением, чтобы по мере увеличения числа n наибольший из отрезков был бесконечно мал (напр. точки $P_1, P_2$... можно выбрать на равных расстояниях друг от друга). Предполагая, как это имеет место на черт. 2, что ординаты кривой во все время при переходе от $M_0$ к $M_n$ возрастают, легко видеть, что криволинейная площадь фигуры S будет заключаться между следующими двумя суммами:

$S_n = f(x_0)(x_1 - x_0) + f(x_1)(x_2 - x_1) + ... + f(x_{n-1})(x_n - x_{n-1})$

и $S'_n = f(x_1)(x_1 - x_0) + f(x_2)(x_2 - x_1) + ... + 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.

Для обратного случая, то есть когда ординаты кривой уменьшаются при переходе от M_o к M_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 < ε (x₁ — x _о) + ε (x₂ — x₁) + … + ε (x_n — x_n-1)

то есть S'_n — S_n < ε (x_n — x_o)

а произведение ε (x_n — x_o) из конечного числа на бесконечно малое ε, очевидно, есть величина бесконечно малая. Отсюда следует, что S можно рассматривать как предел S_n при возрастании п, так что

S = пред. { f(x_o)(x₁ — x_o) + f(x₁)(x₂ — x₁)+ … + f(x_n-1)(x_n — x_n-1) } при n = ∞.

Введем означения:

x₁ — x_o = Δ x_o, x₂ — x₁ = Δ х ₁ …. х _n — x_n-1 = Δ x_n-1, тогда

S = пред. { f(x_o) Δ x_o + f (x₁) Δ x₁ + …. + f(x_n-1) Δ x_n-1 } при n = ∞

или короче

S = пред. ∑f(x)∙ Δ x.

Этот предел называется определенным интегралом, взятым от f(х) между границам и x_o и x_n; для него употребляют особый знак:

http://www.cultinfo.ru/fulltext/1/001/006/b25_250-1.jpg

Функция f(x) называется подынтегральной, а значки x₀ и x_n пределами: x _o — нижним, а x_n — верхним пределами. Знак ∫ произошёл от буквы S, выражающей сумму элементов f(x)∙dx; название же интеграл произошло от латинского слова integer — целый. Знак ∫ введён Лейбницем и долгое время его употребляли без означения пределов; указание пределов введено Фурье.

Пример. Вычислить площадь http://www.cultinfo.ru/fulltext/1/001/006/b25_250-2.jpg , ограниченную осью х-ов (черт. 3) между началом координат и точкой, имеющей абсциссу а, между дугой параболы ОМ, уравнение которой есть у = х ², и ординатой Ma.

http://www.cultinfo.ru/fulltext/1/001/006/b25_250-3.jpg

Разобьем основание Оа на n равных частей a/n = h; тогда площадь ОМа будет пределом суммы

∑ х ² h = оh + h ²h + (2h)²h +… + ((n-1)h)²h = h³(1 + 2² +…+ (n-1)²) = [a³/ n³]∙[(n-1)n(2n-1) /6] или

∑x²h = [a³/3][1 — 3/2n + 1/2n²].

При увеличении n до ∞ получим

пред. ∑ x²h = A³/3

так что http://www.cultinfo.ru/fulltext/1/001/006/b25_250-4.jpg

Зная, что aM = a², заключаем, что площадь криволинейной фигуры ОМа равна одной трети площади прямоугольника ОКМа.

Необходимо заметить, что определение интеграла как предела суммы дает возможность вычислить его с любой степенью точности. Для этой цели можно поступать так: разобьем промежуток х _n — x _о (черт. 2) на n равных частей x₁, x₂, x₃, …. х _{n- 1}, х _n; тогда

x₁ = x _о + h, x₂ = x _о + 2h,….. x_n = x _о + nh; отсюда:

S_n = h{f(x_o) + f(x₁) +… + f(x_n-1)}

S'_n = h{f(x₁) + f(x₂) +… + f(x_n)}

Вычитая, получим

S'_n — S_n = h{f(x_n) — f(x_o)}

Подбирая n настолько большим, чтобы h вышло меньше k/[f(x_n) — f(x_o) ], получим

S'_n — S_n < k

и, следовательно, определенный интеграл S будет отличаться от S_n меньше, чем на величину k. Отсюда вычислить интеграл с точностью k значит вычислить соответствующую сумму S_n.

Здесь указана, конечно, только возможность вычисления определенного интеграла с данной степенью точности. В настоящее время в математике известны различные приемы для приближенного вычисления интегралов (площадей), более удобные, чем прием, получаемый непосредственно из определения интеграла как предела суммы. Приемы эти, принадлежащие Симпсону, Котесу, Эйлеру, Гауссу, Чебышеву, Эрмиту и др., известны под названием формул квадратур, откуда название квадратур дается и самим интегралам, так что, если говорят, что вопрос решается в квадратурах, это значит, что искомую величину можно выразить при помощи интегралов от некоторых функций.

Из вышеприведенного примера видно, что вычисление определенного интеграла равносильно задаче вычисления площади некоторого криволинейного контура. Оказывается, что вычисление определенного интеграла от любой функции может быть приведено к одной общей задаче, основной в И. исчислении, а именно к интегрированию функций. Эта задача формулируется так: дана функция f(x); найти новую функцию F (x), называемую первообразной (неопределенный интеграл), так, чтобы F'(x) = f(x), то есть чтобы заданная функция была производной от искомой. В самом деле, рассмотрим площадь АВРМ (черт. 4), ограниченную отрезком оси х-ов ВР, дугой, заданной кривой AM, ординатой AB некоторой определенной точки А, от которой отсчитываются дуги по кривой AM, и переменной ординатой МР, соответствующей некоторой точке M кривой линии, не указывая, которой именно.

http://www.cultinfo.ru/fulltext/1/001/006/b25_251-1.jpg

Черт. 4.

Положение переменной ординаты МР, конечно, зависит от абсциссы х = ОР точки М. Поэтому и площадь S = ABPM есть некоторая функция от х; означим её через F(x). Посмотрим, чему равна производная этой функции. Приращение Δ S = Δ F(x) есть не что иное, как площадь М@_PР_@ ₁ М ₁, где РР ₁ = Δ x. Если в сопредельности с точкой M функция возрастает, как это имеет место на чертеже, то

PMN₁P₁ < Δ S < РN ₂M₁ Р ₁.

Если бы в сопредельности с точкой M функция убывала, то можно написать такое же неравенство, но с обратным знаком. Вводя предыдущие обозначения и видя, что РМ = f(x), a P₁M₁ = f(x + Δ x), имеем:

f(x) Δ x < Δ F(x) < f(x + Δ x) Δ x.

Разделяя все части этого неравенства на Δ x, получим

f(x) < Δ F(x)/ Δ x < f(x + Δ x);

откуда в пределе:

пред. {Δ F(x)/ Δ x} = F'(x) = f(x).

Итак, нахождение определенных интегралов сводится к поставленной выше задаче. Очевидно, эта задача неопределенная, потому что существует бесчисленное множество функций, имеющих ту же самую производную. Все эти функции отличаются друг от друга на числа постоянные, так как производная от постоянного числа равна нулю. Если, например, обозначить через F(х) одну из бесчисленного множества функций, имеющих производной заданную функцию f(x), то другие функции будут F(x) + 1, F(x) + 2, F(x) + π и т. д., вообще говоря, F(x) + С, где С — некоторое постоянное число, не зависящее от х. Функция F(x) + С, заключающая неопределенную постоянную С, называется поэтому неопределенным интегралом и обозначается так:

∫f(x)∙dx = F(x) + C.

Что в выражение площади должна входить некоторая произвольная постоянная, ясно из геометрических соображений, ибо площади можно отсчитывать от совершенно произвольной ординаты AB (черт. 4). Выбору некоторой ординаты за начальную будет соответствовать аналитическое указание постоянного числа С. Положим, что за начальную ординату счета площадей выбрана ордината, соответствующая некоторому числу а; тогда, если конечную ординату площади означить через х и положить, что х > а, то площадь выразится некоторым числом. По мере приближения ординаты х к начальной а площадь будет уменьшаться, так что при х = а она обратится в нуль. Согласно тому, что уже сказано о пределах определенного интеграла, рассматриваемая площадь может быть обозначена интегралом: http://www.cultinfo.ru/fulltext/1/001/006/b25_251-2.jpg

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

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

так что http://www.cultinfo.ru/fulltext/1/001/006/b25_251-3.jpg

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

Отсюда ясно, что всякий определенный интеграл от функции f (х) между пределами a и b может быть вычислен по формуле

http://www.cultinfo.ru/fulltext/1/001/006/b25_251-4.jpg

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

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

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

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

откуда

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

и, следовательно, можно взять другое значение неопределенного интеграла Ф(х), так что рассматриваемый определенный интеграл можно вычислить по формуле

http://www.cultinfo.ru/fulltext/1/001/006/b25_251-5.jpg

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

Интегрирование функций

Здесь излагаются приемы для нахождения по заданной функции её первообразной, другими словами — нахождение неопределенного интеграла от заданной функции. — Прежде всего необходимо заметить, что знаки дифференцирования и интегрирования друг друга уничтожают, то есть

$d\int f(x)\cdot dx = f(x)\cdot dx$

$\int df(x) = f(x) + C$.

Постоянный множитель можно выносить из-под знака интеграла, то есть

$\int a\cdot f(x) \cdot dx = a\int f(x) \cdot dx;$

это очевидно как из определения интеграла как предела суммы, так и из понятия о интеграле, как о функции первообразной. Аналогичная теорема существует и в дифференциальном исчислении. В статье Дифференциальное исчисление (см.) помещена табличка производных и дифференциалов простейших функций. Обращение её дает основную табличку и для интегрирования функций. Возьмем, например, формулу для дифференциала степени:

$d(x^a) = a\cdot x^{a-1}\cdot dx$.

Взяв интегралы обеих частей, или, как говорят, интегрируя обе части этого уравнения, получим:

$\int d(x^a) = \int a x^{a-1}\cdot dx = a\int x^{a-1}\cdot dx$

откуда

$x^a+ C = a\int x^{a-1}\cdot dx$

то есть

$\int x^{a-1}\cdot dx = \frac{x^a}{a} + C$

при заменении а через а + 1 эта же формула представится так:

$\int x^{a}\cdot dx = \frac{x^{a+1}}{a+1} + C$.

Эта формула не имеет места при а = −1, но тогда на основании формулы (8) упомянутой таблички получим:

$\int \frac{dx}{x} = \ln(x) + C$

Применяя подобные же рассуждения ко всем прочим формулам таблички дифференциалов простейших функций, получим табличку основных формул интегрирования простейших функций:

1) $\int x^{a}\cdot dx = \frac{x^{a+1}}{a+1} + C$

2) $\int \frac{dx}{x} = \ln(x) + C$

3) $\int e^x dx = e^x + C$

4) $\int a^x dx = \frac{a^x}{\ln a} + C$

5) $\int \sin x\cdot dx = -\cos x + C$

6) $\int \cos x\cdot dx = \sin x + C$

7) $\int \frac{dx}{\cos^2 x} = tg(x) + C$

8) $\int \frac{dx}{(1 - x^2)^{1/2}} = arcsin(x) + C$

9) $\int \frac{dx}{1 + x^2} = arctg(x) + C$

10) $\int\!{dx \over {a^3\pm x^3}} = \frac{1}{6a^2}\left [2\sqrt{3}\,\operatorname{arctg}\,\left (\frac{2x\mp a}{\sqrt{3}\, a} \right ) \pm \ln \left |\frac {(a\pm x)^3}{a^3 \pm x^3} \right | \right ] + C$

11) $\int\!{dx \over {a^4 - x^4}} = \frac{1}{4a^3}\left [2\,\operatorname{arctg}\,\left (\frac{x}{a} \right ) + \ln \left |\frac {a+x}{a-x} \right | \right ] + C$

Из этой таблички видно, что интегралы от весьма простых алгебраических функций

$\int \frac{dx}{x}$, $\int \frac{dx}{(1 - x^2)^{1/2}}$ и $\int \frac{dx}{1 + x^2}$

выражаются трансцендентными функциями:

$\ln x$, $\arcsin(x)$ и $arctg(x)$.

Изыскивая же правила для интегрирования более сложных функций, уже первые исследователи в области И. исчисления заметили, что только интегралы немногих функций вообще представляются в конечном виде; для огромного же большинства функций их первообразные представляют новые виды функций, изучение которых и составляет обширное и ещё мало разработанное поле исследований. К числу таких новых трансцендентных принадлежат так называемые эллиптические интегралы, теория которых в настоящее время уже хорошо разработана и получила большие приложения. Интегрирование же функций более сложных состоит пока из отдельных попыток, причём рядом преобразований стремятся свести интегрирование рассматриваемой функции к интегрированию функций, помещенных в табличке простейших. Эта часть И. исчисления доставила, однако, весьма важные результаты; так, например, известно, что интеграл от всякой рациональной функции выражается в конечном виде, то есть при помощи конечного числа знаков функций, встречающихся уже в элементарной математике. Из числа иррациональных функций заслуживает особенного внимания случай, когда иррациональность подынтегральной функции состоит или из дробных степеней переменного независимого, или же представляет квадратный корень из многочлена, степени не выше второй. В этих случаях интегрирование также совершается в конечном виде. Известны, наконец, некоторые интегрируемые классы функций трансцендентных. К числу упомянутых выше основных преобразований относятся:

1) разложение интеграла на части по формуле:

$\int (u + v - w) dx = \int u\cdot dx + \int v\cdot dx - \int w\cdot dx$ (I)

2) введение новой переменной, по формулам:

$x = \varphi (t) \Rightarrow dx = \varphi (t) dt$ (II)

откуда

$\int f(x) dx = \int f\left( \varphi (t) \right) \cdot \varphi'(t) \cdot dt$

и 3) интегрирование по частям по формуле:

$\int u\cdot dv = u\cdot v - \int v\cdot du$ (III)

Теория определенных и кратных интегралов

Сюда относятся исследования и нахождения определенных интегралов в тех случаях, когда неопределенный интеграл весьма трудно или вовсе нельзя выразить через известные функции, а потому тут излагаются приемы, дающие возможность вычислять определенные интегралы не пользуясь основной формулой (*); здесь также обобщается понятие об определенном интеграле на случай нескольких независимых переменных.

Геометрические приложения интегрального исчисления

В этом отделе рассматриваются четыре основные задачи: 1) квадратура площадей, ограниченных кривыми линиями, 2) вычисление длин дуг кривых линий, 3) вычисление объёмов (кубатура) тел, ограниченных кривыми поверхностями, и 4) вычисление площадей криволинейных поверхностей в некоторых контурах, проведенных на этих поверхностях.

Чтобы дать понятие о геометрических приложениях И. исчисления, а равно о кратных интегралах, рассмотрим задачу об определении объёма тел, ограниченных кривыми поверхностями. Такой объём U (черт. 5) можно рассматривать как сумму параллелепипедов, составленных приращениями координат Δ x, Δ у и Δ z, распространенную на все пространство, ограниченное заданной поверхностью.

http://www.cultinfo.ru/fulltext/1/001/006/b25_253-1.jpg

Черт. 5.

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

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

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

U = ∫∫∫dx.dy.dz

который представляет, следовательно, общую формулу для нахождения каких угодно объёмов. Вся задача состоит в указании пределов у трёх знаков интеграла, так как одно интегрирование (суммирование) производится по букве х, другое по букве у, а третье по букве z. Требуется указать пределы таким образом, чтобы при интегрировании были приняты в расчет все элементы, лежащие внутри рассматриваемого криволинейного тела. Полученная выше формула квадратур ∫ y.dx может быть написана также в виде двойного интеграла ∫ dx.dy, потому что http://www.cultinfo.ru/fulltext/1/001/006/b25_253-2.jpg

Исторический очерк

Исторический очерк развития И. исчисления см. в статье Математический анализ#Исторический очерк.

---

При написании этой статьи использовался материал из Энциклопедического словаря Брокгауза и Ефрона (1890—1907).