Интегральное исчисление в словарях и энциклопедиях
в сочинении Архимеда "Об измерении длины окружности" рассматривается вопрос об определении площади и длины окружности круга, а в трактате "О шаре и цилиндре" — о поверхностях и объемах тел, ограниченных кривыми поверхностями; эти вопросы представляют первые геометрические задачи, относящиеся к И. исчислению. И в настоящее время основной задачей И. исчисления является нахождение площадей криволинейных фигур. Под площадью криволинейной фигуры 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ε(x1— xо) + ε(x2— x1) +... + ε(xn— xn-1)
т. е. S'n— Sn<>(xn— xo)
а произведение ε(xn— xo) из конечного числа на бесконечно малое ε, очевидно, есть величина бесконечно малая. Отсюда следует, что S можно рассматривать как предел Snпри возрастании п, так что
S = пред. {f(xo)(x1— xo) + f(x1)(x2— x1)+... + f(xn-1)(xn— xn-1)} при n = ∞.
Введем означения:
x1— xo= Δxo, x2— x1= Δх1.... хn— xn-1= Δxn-1, тогда
S = пред. {f(xo)Δxo+ f (x1)Δx1+.... + f(xn-1)Δxn-1} при n = ∞
или короче
S = пред. ∑f(x)∙Δx.
Этот предел называется определенным интегралом, взятым от f(х) между границам и xoи xn; для него употребляют особый знак:
Функция f(x) называется подынтегральной, а значки x0и xnпределами: xo— нижним, а xn— верхним пределами. Знак ∫ произошел от буквы S, выражающей сумму элементов f(x)∙dx; название же интеграл произошло от латинского слова integer — целый. Знак ∫ введен Лейбницем и долгое время его употребляли без означения пределов; указание пределов введено Фурье.
Пример. Вычислить площадь , ограниченную осью х-ов (черт. 3) между началом координат и точкой, имеющею абсциссу а, между дугой параболы ОМ, уравнение которой есть у = х2, и ординатой Ma.
Черт. 3.
Разобьем основание Оа на n равных частей a/n = h; тогда площадь ОМа будет пределом суммы
∑х2h = oh + h2h + (2h)2h +... + ((n-1)h)2h = h3(1 + 22+...+ (n-1)2) = [a3/ n3]∙[(n-1)n(2n-1)/6] или
∑x2h = [a3/3][1 — 3/2n + 1/2n2].
При увеличении n до ∞ получим
пред. ∑x2h = A3/3
так что
Зная, что aM = a2, заключаем, что площадь криволинейной фигуры ОМа равна одной трети площади прямоугольника ОКМа.
Необходимо заметить, что определение интеграла как предела суммы дает возможность вычислить его с любой степенью точности. Для этой цели можно поступать так: разобьем промежуток хn— xо(черт. 2) на n равных частей x1, x2, x3,.... хn— 1, хn; тогда
x1= xо+ h, x2= xо+ 2h,..... xn= xо+ nh; отсюда:
Sn= h{f(xo) + f(x1) +... + f(xn-1)}
S'n= h{f(x1) + f(x2) +... + f(xn)}
Вычитая, получим
S'n— Sn= h{f(xn) — f(xo)}
Подбирая n настолько большим, чтобы h вышло меньше k/[f(xn) — f(xo)], получим
S'n— Sn<>k
и, следовательно, определенный интеграл S будет отличаться от Snменьше, чем на величину k. Отсюда вычислить интеграл с точностью k значит вычислить соответствующую сумму Sn.
Здесь указана, конечно, только возможность вычисления определенного интеграла с данной степенью точности. В настоящее время в математике известны различные приемы для приближенного вычисления интегралов (площадей), более удобные, чем прием, получаемый непосредственно из определения интеграла как предела суммы. Приемы эти, принадлежащие Симпсону, Котесу, Эйлеру, Гауссу, Чебышеву, Эрмиту и др., известны под названием формул квадратур, откуда название квадратур дается и самим интегралам, так что, если говорят, что вопрос решается в квадратурах, это значит, что искомую величину можно выразить при помощи интегралов от некоторых функций.
Из вышеприведенного примера видно, что вычисление определенного интеграла равносильно задаче вычисления площади некоторого криволинейного контура. Оказывается, что вычисление определенного интеграла от любой функции может быть приведено к одной общей задаче, основной в И. исчислении, а именно к интегрированию функций. Эта задача формулируется так: дана функция f(x); найти новую функцию F (x), называемую первообразной (неопределенный интеграл), так, чтобы F'(x) = f(x), т. е. чтобы заданная функция была производной от искомой. В самом деле, рассмотрим площадь АВРМ (черт. 4), ограниченную отрезком оси х-ов ВР, дугой, заданной кривой AM, ординатой AB некоторой определенной точки А, от которой отсчитываются дуги по кривой AM, и переменной ординатой МР, соответствующей некоторой точке M кривой линии, не указывая, которой именно.
Черт. 4.
Положение переменной ординаты МР, конечно, зависит от абсциссы х = ОР точки М. Поэтому и площадь S = ABPM есть некоторая функция от х; означим ее через F(x). Посмотрим, чему равна производная этой функции. Приращение ΔS = ΔF(x) есть не что иное, как площадь MPP1М1, где РР1= Δx. Если в сопредельности с точкой M функция возрастает, как это имеет место на чертеже, то
PMN1P1<>S<>PN2M1Р1.
Если бы в сопредельности с точкой M функция убывала, то можно написать такое же неравенство, но с обратным знаком. Вводя предыдущие обозначения и видя, что РМ = f(x), a P1M1= f(x + Δx), имеем:
f(x)Δx ΔF(x) Δx)Δx.
Разделяя все части этого неравенства на Δx, получим
f(x) ΔF(x)/Δ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). Выбору некоторой ординаты за начальную будет соответствовать аналитическое указание постоянного числа С. Положим, что за начальную ординату счета площадей выбрана ордината, соответствующая некоторому числу а; тогда, если конечную ординату площади означить через х и положить, что х >а, то площадь выразится некоторым числом. По мере приближения ординаты х к начальной а площадь будет уменьшаться, так что при х = а она обратится в нуль. Согласно тому, что уже сказано о пределах определенного интеграла, рассматриваемая площадь может быть обозначена интегралом:
Рассматривая верхний предел х как переменную величину, легко видеть, что этот интеграл равен 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(xa) = a.xa-1∙dx.
Взяв интегралы обеих частей, или, как говорят, интегрируя обе части этого уравнения, получим:
∫d(xa) = ∫a∙xa-1∙dx = a∫xa-1dx
откуда
xa+ C = a∫xa-1∙dx
т. е.
∫xa-1∙dx = xa/a + С
при заменении а через а + 1 эта же формула представится так:
∫xa∙dx = xa+1/(a + 1) + C.
Эта формула не имеет места при а = -1, но тогда на основании формулы (8) упомянутой таблички получим:
∫dx/x = lgx + C
Применяя подобные же рассуждения ко всем прочим формулам таблички дифференциалов простейших функций, получим табличку основных формул интегрирования простейших функций:
1) ∫xa∙dx = xa+1/(a + 1) + C
2) ∫dx/x = lgx + C
3) ∫exdx = ex+ C
4) ∫ax∙dx = ax/lga + C
5) ∫sinx∙dx = -cosx + С
6) ∫cosx∙dx = sin x + С
7) ∫dx/cos2x = tgx + C
8) ∫dx/(1 — x2)1/2= arcsinx + C
9) ∫dx/(1 + x2) = arctgx + C
Из этой таблички видно, что интегралы от весьма простых алгебраических функций
∫dx/x, ∫dx/[√(1 — x2)1/2] и ∫dx/(1 + x2)
выражаются трансцендентными функциями:
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 г.), и курсы, указанные в конце статьи Дифференциальное исчисление.
Д. Граве.
раздел математики, в котором изучаются свойства и способы вычисления интегралов и их приложения. И. и. тесно связано с дифференциальным исчислением (См. Дифференциальное исчисление)и составляет вместе с ним одну из основных частей математического анализа (или анализа бесконечно малых). Центральными понятиями И. и. являются понятия определённого интеграла и неопределённого интеграла функций одного действительного переменного.
Определённый интеграл.Пусть требуется вычислить площадь S «криволинейной трапеции» — фигуры ABCD (см.рис.), ограниченной дугой непрерывной линии, уравнение которой у = f(x), отрезком AB оси абсцисс и двумя ординатами AD и BC. Для вычисления площади S этой криволинейной трапеции основание AB (отрезок [a, b]) разбивают на n участков (необязательно равных) точками а = x0 <>x1 <>xn-1 <><>xn = b, обозначая длины этих участков Δx1, Δx2, ..., Δxn; на каждом таком участке строят прямоугольники с высотами f(ξ1),f(ξ2), ..., f(ξn) где ξk — некоторая точка из отрезка [xk - 1, xk] (на рис.заштрихован прямоугольник, построенный на k-м участке разбиения; f (ξk) — его высота). Сумма Sn площадей построенных прямоугольников рассматривается в качестве приближения к площади S криволинейной трапеции:
SSn = f(ξ1) Δx1 + f(ξ2) Δx2 + f(ξn) Δxn
или, применяя для сокращения записи символ суммы Σ (греческая буква «сигма»):
Указанное выражение для площади криволинейной трапеции тем точнее, чем меньше длины Δxk участков разбиения. Для нахождения точного значения площади S надо найти Предел сумм Snв предположении, что число точек деления неограниченно увеличивается и наибольшая из длин Δxk стремится к нулю.
Отвлекаясь от геометрического содержания рассмотренной задачи, приходят к понятию определённого интеграла от функции f(x), непрерывной на отрезке [а, b], как к пределу интегральных сумм Sn при том же предельном переходе. Этот интеграл обозначается
Символ ∫ (удлинённое S — первая буква слова Summa) называется знаком интеграла, f(x) — подинтегральной функцией, числа а и b называются нижним и верхним пределами определённого интеграла. Если а = b, то, по определению, полагают
кроме того,
Свойства определённого интеграла:
(k — постоянная). Очевидно также, что
(численное значение определённого интеграла не зависит от выбора обозначения переменной интегрирования).
К вычислению определённых интегралов сводятся задачи об измерении площадей, ограниченных кривыми (задачи «нахождения квадратур»), длин дуг кривых («спрямление кривых»), площадей поверхностей тел, объёмов тел («нахождение кубатур»), а также задачи определения координат центров тяжести, моментов инерции, пути тела по известной скорости движения, работы, производимой силой, и многие другие задачи естествознания и техники. Например, длина дуги плоской кривой, заданной уравнением у = f(x) на отрезке [a, b], выражается интегралом
объём тела, образованного вращением этой дуги вокруг оси Ox,— интегралом
поверхность этого тела — интегралом
Фактическое вычисление определённых интегралов осуществляется различными способами. В отдельных случаях определённый интеграл можно найти, непосредственно вычисляя предел соответствующей интегральной суммы. Однако большей частью такой переход к пределу затруднителен. Некоторые определённые интегралы удаётся вычислять с помощью предварительного отыскания неопределённых интегралов (см. ниже). Как правило же, приходится прибегать к приближённому вычислению определённых интегралов, применяя различные Квадратурные формулы (например, трапеций формулу (См. Трапеций формула), Симпсона формулу (См. Симпсона формула)). Такое приближённое вычисление может быть осуществлено на ЭВМ с абсолютной погрешностью, не превышающей любого заданного малого положительного числа. В случаях, не требующих большой точности, для приближённого вычисления определённых интегралов применяют графические методы (см. Графические вычисления).
Понятие определённого интеграла распространяется на случай неограниченного промежутка интегрирования, а также на некоторые классы неограниченных функций. Такие обобщения называются несобственными интегралами (См. Несобственные интегралы).
Выражения вида
где функция f(x, α) непрерывна по x называются интегралами, зависящими от параметра. Они служат основным средством изучения многих специальных функций (См. Специальные функции) (см., например, Гамма-функция).
Неопределённый интеграл. Нахождение неопределённых интегралов, или интегрирование, есть операция, обратная дифференцированию. При дифференцировании данной функции ищется её производная. При интегрировании, наоборот, ищется первообразная (или примитивная) функция — такая функция, производная которой равна данной функции. Таким образом, функция F(x) является первообразной для данной функции f(x), если F'(x) = f(x) или, что то же самое, dF(x) = f(x) dx. Данная функция f(x) может иметь различные первообразные, но все они отличаются друг от друга только постоянными слагаемыми. Поэтому все первообразные для f(x) содержатся в выражении F(x) + С, которое называют неопределённым интегралом от функции f(x) и записывают
Определённый интеграл как функция верхнего предела интегрирования
(«интеграл с переменным верхним пределом»), есть одна из первообразных подинтегральной функции. Это позволяет установить основную формулу И. и. (формулу Ньютона — Лейбница):
выражающую численное значение определённого интеграла в виде разности значений какой-либо первообразной подинтегральной функции при верхнем и нижнем пределах интегрирования.
Взаимно обратный характер операций интегрирования и дифференцирования выражается равенствами
Отсюда следует возможность получения из формул и правил дифференцирования соответствующих формул и правил интегрирования (см. табл., где C, m, a, k — постоянные и m≠—1, а > 0).
Таблица основных интегралов и правил интегрирования
――――――――――――――――――――
―――――――――――――――――――――――
Трудность И. и. по сравнению с дифференциальным исчислением заключается в том, что интегралы от элементарных функций не всегда выражаются через элементарные, могут не выражаться, как говорят, «в конечном виде». И. и. располагает лишь отдельными приёмами интегрирования в конечном виде, область применения каждого из которых ограничена (способы интегрирования излагаются в учебниках математического анализа: обширные таблицы интегралов приводятся во многих справочниках).
К классу функций, интегралы от которых всегда выражаются в элементарных функциях, принадлежит множество всех рациональных функций
где P(x) и Q(x) — многочлены. Многие функции, не являющиеся рациональными, также интегрируются в конечном виде, например функции, рационально зависящие от
или же от x и рациональных степеней дроби
В конечном виде интегрируются и многие трансцендентные функции, например рациональные функции синуса и косинуса. Функции, которые изображаются неопределёнными интегралами, не берущимися в конечном виде, представляют собой новые трансцендентные функции. Многие из них хорошо изучены (см., например, Интегральный логарифм, Интегральный синус и интегральный косинус, Интегральная показательная функция).
Понятие интеграла распространяется на функции многих действительных переменных (см. Кратный интеграл, Криволинейный интеграл, Поверхностный интеграл), а также на функции комплексного переменного (см. Аналитические функции) и вектор-функции (см. Векторное исчисление).
О расширении и обобщении понятия интеграла см. ст. Интеграл.
Историческая справка. Возникновение задач И. и. связано с нахождением площадей и объёмов. Ряд задач такого рода был решен математиками Древней Греции. Античная математика предвосхитила идеи И. и. в значительно большей степени, чем дифференциального исчисления. Большую роль при решении таких задач играл Исчерпывания метод, созданный Евдоксом Книдским (См. Евдокс Книдский) и широко применявшийся Архимедом. Однако Архимед не выделил общего содержания интеграционных приёмов и понятия об интеграле, а тем более не создал алгоритма И. и. Учёные Среднего и Ближнего Востока в 9—15 вв. изучали и переводили труды Архимеда на общедоступный в их среде арабский язык, но существенно новых результатов в И. и. они не получили. Деятельность европейских учёных в это время была ещё более скромной. Лишь в 16 и 17 вв. развитие естественных наук поставило перед математикой Европы ряд новых задач, в частности задачи на нахождения квадратур, кубатур и определение центров тяжести. Труды Архимеда, впервые изданные в 1544 (на латинском и греческом языках), стали привлекать широкое внимание, и их изучение явилось одним из важнейших отправных пунктов дальнейшего развития И. и. Античный «неделимых» метод (См. Неделимых метод) был возрожден И. Кеплером. В более общей форме идеи этого метода были развиты Б. Кавальери, Э. Торричелли, Дж. Валлисом, Б. Паскалем (См. Паскаль). Методом «неделимых» был решен ряд геометрических и механических задач. К этому же времени относятся опубликованные позднее работы П. Ферма по квадрированию парабол n-й степени, а затем — работы Х. Гюйгенсапо спрямлению кривых.
В итоге этих исследований выявилась общность приёмов интегрирования при решении внешне несходных задач геометрии и механики, приводившихся к квадратурам как к геометрическому эквиваленту определённого интеграла. Заключительным звеном в цепи открытий этого периода было установление взаимно обратной связи между задачами на проведение касательной и на квадратуры, т. е. между дифференцированием и интегрированием. Основные понятия и алгоритм И. и. были созданы независимо друг от друга И. Ньютоном и Г. Лейбницем. Последнему принадлежит термин «интегральное исчисление» и обозначение интеграла ∫ydx.
При этом в работах Ньютона основную роль играло понятие неопределённого интеграла (флюенты, см. Флюксий исчисление), тогда как Лейбниц исходил из понятия определённого интеграла. Дальнейшее развитие И. и. в 18 в. связано с именами И. Бернулли и особенно Л. Эйлера.В начале 19 в. И. и. вместе с дифференциальным исчислением было перестроено О. Коши на основе теории пределов. В развитии И. и. в 19 в. приняли участие русские математики М. В. Остроградский, В. Я. Буняковский, П. Л. Чебышев. В конце 19 — начале 20 вв. развитие теории множеств и теории функций действительного переменного привело к углублению и обобщению основных понятий И. и. (Б. Риман, А. Лебег и др.).
Лит.:История. Ван дер Варден Б. Л., Пробуждающаяся наука, пер. с голл., М., 1959; Вилейтнер Г., История математики от Декарта до середины 19 столетия, пер. с нем., 2 изд., М., 1966; Строек Д. Я., Краткий очерк истории математики, пер. с нем., 2 изд., М., 1969; Cantor М.. Vorleslingen über Geschichte der Mathematik, 2 Aufl., Bd 3—4, Lpz. — B., 1901—24.
Работы основоположников и классиков И. и. Ньютон И., Математические работы, пер. с латин., М.—Л., 1937; Лейбниц Г., Избранные отрывки из математических сочинений, пер. с. латин., «Успехи математических наук», 1948, т. 3, в. 1; Эйлер Л., Интегральное исчисление, пер. с латин., тт. 1—3, М., 1956—58; Коши О. Л., Краткое изложение уроков о дифференциальном и интегральном исчислении, пер. с франц., СПБ, 1831; его же, Алгебраический анализ, пер. с франц., Лейпциг, 1864.
Учебники и учебные пособия по И. и.Хинчин Д. Я., Краткий курс математического анализа, 3 изд., 1957; Смирнов В. И., Курс высшей математики, 22 изд., т. 1, М., 1967; Фихтенгольц Г. М., Курс дифференциального и интегрального исчисления, 7 изд., т. 2, М., 1969; Ильин В., Позняк Э. Г., Основы математического анализа, 3 изд., ч. 1, М., 1971; Курант Р., Курс дифференциального и интегрального исчисления, пер. с нем. и англ., 4 изд., т. 1, М., 1967; Двайт Г.-Б., Таблицы интегралов и другие математические формулы, пер. с англ., М., 1964.
Под редакцией академика А. Н. Колмогорова.
Рис. к ст. Интегральное исчисление.
ИНТЕГРАЛЬНОЕ исчисление - раздел математики, в котором изучаются свойства и способы вычисления интегралов и их приложения к решению различных математических, физических и других задач. В систематической форме интегральное исчисление было предложено в 17 в. И. Ньютоном и Г. Лейбницем. Интегральное исчисление тесно связано с дифференциальным исчислением; интегрирование (нахождение интеграла) есть действие, обратное дифференцированию: по данной непрерывной функции f(x) ищется функция F(x) (первообразная), для которой f(x) является производной. Вместе с F(x) первообразной функцией для f(x) является и F(x) + C, где С - любая постоянная. Общее выражение F(x) + C первообразных непрерывной функции f(x) называется неопределенным интегралом; он обозначается.Определенным интегралом непрерывной функции f(x) на отрезке ИНТЕГРАЛЬНОЕ уравнение - уравнение, содержащее неизвестную функцию под знаком интеграла.
integral calculus
integral calculus, calculus
ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ, см. ИСЧИСЛЕНИЕ.
интегра́льное исчисле́ние
раздел математики, в котором изучаются свойства и способы вычисления интегралов и их приложения к решению различных математических, физических и других задач. В систематической форме интегральное исчисление было предложено в XVII в. И. Ньютоном и Г. Лейбницем. Интегральное исчисление тесно связано с дифференциальным исчислением; интегрирование (нахождение интеграла) есть действие, обратное дифференцированию: по данной непрерывной функции f(x) ищется функция F(x) (первообразная), для которой f(x) является производной. Вместе с(х) первообразной функцией для f(x) является и f(x) + С, где С — любая постоянная. Общее выражение F(х) + С первообразных непрерывной функции f(x) называется неопределённым интегралом; он обозначается∫f(x)dx = F(х) + С.Определённым интегралом непрерывной функции f(х) на отрезке [а, b], разделённом точками x1, х2,..., xn-1, называется предел интегральных сумм , где Δхi = xi – xi-1, при условии, что наибольшая разность Δxi стремится к нулю и число точек деления неограниченно увеличивается; его обозначают
* * *
ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕИНТЕГРА́ЛЬНОЕ ИСЧИСЛЕ́НИЕ, раздел математики, в котором изучаются свойства и способы вычисления интегралов и их приложения к решению различных математических, физических и других задач. В систематической форме интегральное исчисление было предложено в 17 в. И. Ньютоном и Г. Лейбницем. Интегральное исчисление тесно связано с дифференциальным исчислением(см. ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ); интегрирование (нахождение интеграла) есть действие, обратное дифференцированию: по данной непрерывной функции f(x) ищется функция F(x) (первообразная), для которой f(x) является производной. Вместе с F(x) первообразной функцией для f(x) является и F(x) + C, где С — любая постоянная. Общее выражение F(x) + C первообразных непрерывной функции f(x) называется неопределенным интегралом; он обозначается
Определенным интегралом непрерывной функции f(x) на отрезке [a, b], разделенном точками (рис.), называется предел интегральных сумм, где, при условии, что наибольшая разность стремится к нулю и число точек деления неограниченно увеличивается; его обозначают (самый знак возник из первой буквы S латинского слова Summa). Через определенные интегралы выражаются площади плоских фигур, длины кривых, объемы и поверхности тел, координаты центров тяжести, моменты инерции, работа, производимая данной силой, и т. д. О связи между определенным интегралом и первообразной см. —Ньютона Лейбница формула(см. НЬЮТОНА-ЛЕЙБНИЦА ФОРМУЛА). Понятие интеграла распространяется на функции многих переменных (см. Кратный интеграл(см. КРАТНЫЙ ИНТЕГРАЛ), Криволинейный интеграл(см. КРИВОЛИНЕЙНЫЙ ИНТЕГРАЛ), Поверхностный интеграл(см. ПОВЕРХНОСТНЫЙ ИНТЕГРАЛ))
- раздел математики, в к-ром изучаются понятия интеграла, его свойства и методы вычислений. И. и. непрерывно связано с дифференциальным исчислением и составляет вместе с ним основу математич. анализа. Истоки И. и. относятся к античному периоду развития математики и связаны с исчерпывания методом, разработанным математиками Древней Греции. Этот метод возник при решении задач на вычисление площадей плоских фигур и поверхностей, объемов тел, нек-рых задач статики и гидродинамики. Он основан на аппроксимации рассматриваемых объектов ступенчатыми фигурами или телами, составленными из простейших фигур или пространственных тел (прямоугольников, параллелепипедов, цилиндров и т. п.). В этом смысле метод исчерпывания можно рассматривать как античный интегральный метод. Наибольшее развитие метод исчерпывания в древнюю эпоху получил в работах Евдокса (4 в. до н. э.) и особенно Архимеда (3 в. до н. э.). Дальнейшее его применение и совершенствование связано с именами многих ученых 15 - 17 вв.
Основные понятия и теория интегрального и дифференциального исчислений, прежде всего связь операций дифференцирования и интегрирования, а также их применения к решению прикладных задач, были разработаны в трудах И. Ньютона (I. Newton) н Г. Лейбница (G. Leibniz) в конце 17 в. Их исследования явились началом интенсивного развития математич. анализа. Существенную роль в его создании в 18 в. сыграли работы Л. Эйлера (L. Euler), Я. и И. Бернулли (Jacob, Johann Bernoulli), Ж. Лагранжа (J. Lagrange). В 19 в. в связи с появлением понятия предела И. и, приобрело логически завершенную форму [работы О. Коши (А. Саuchy), Б. Римана (В. Riemann) и др. Разработка теории и методов И. и. происходила в конце 19 в. и в 20 в. одновременно с исследованиями по теории меры, играющей существенную роль в И. и.
С помощью И. и. стало возможным решать единым методом многие теоретич. и прикладные задачи, как новые, к-рые ранее не поддавались решению, так и старые, требовавшие прежде специальных искусственных приемов. Основными понятиями И. и. являются два тесно связанных понятия интеграла: неопределенного и определенного.
Неопределенный интеграл от данной действительной функции на нек-ром промежутке определяется как совокупность всех ее первообразных на этом промежутке, т. е. функций, производные к-рых совпадают с заданной функцией. Неопределенный интеграл от функции f(x)обозначается через Если F(x)- какая-либо первообразная функцияf(x), то любая другая ее первообразная имеет вид F(x)+C, где С- произвольная постоянная, поэтому пишут
Операция нахождения неопределенного интеграла наз. интегрированием. Интегрирование является операцией, обратной к операций дифференцирования:
Операция интегрирования линейна: если на нек-ром промежутке существуют неопределенные интегралы
то для любых действительных чисел l1 и l2 на том же промежутке существует интеграл
Для неопределенных интегралов справедлива формула интегрирования по частям:если функции и(х)и v(x). дифференцируемы на нек-ром промежутке и интеграл существует, то существует и интеграл причем имеет место равенство
Справедлива формула замены переменного: если для функций f(x)и x=j(t), определенных на нек-рых промежутках, имеет смысл сложная функция f[j(t)], функция j(t)дифференцируема и существует интеграл то существует и интеграл
(см. Интегрирование подстановкой).
Всякая непрерывная на нек-ром промежутке функция имеет на нем первообразную и, следовательно, для нее существует неопределенный интеграл. Задача фактического нахождения неопределенного интеграла от конкретно заданной функции осложняется тем, что неопределенный интеграл от элементарной функции не является, вообще говоря, элементарной функцией. Известны многие классы функций, для к-рых оказывается возможным выразить их неопределенные интегралы через элементарные функции. Простейшими примерами этого являются интегралы, к-рые получаются из таблицы производных основных элементарных функций (см. Дифференциальное исчисление):
Если знаменатель подинтегральной функции обращается в нуль в нек-рой точке, то написанные формулы справедливы лишь для тех промежутков, в к-рых не происходит обращения в нуль указанного знаменателя (см. формулы 1, 2, 6, 7, 11, 13, 15).
Неопределенный интеграл от рациональной функции на всяком промежутке, на к-ром знаменатель не обращается в нуль, является суперпозицией рациональных функций, арктангенсов и натуральных логарифмов. Нахождение алгебраич. части неопределенного интеграла от рациональной функции может быть осуществлено Остроградского методом. К интегрированию рациональных функций с помощью подстановок сводятся, напр., интегралы вида
где r1, r2,..., rm- рациональные числа, интегралы вида
(см. Эйлера подстановки), нек-рые случаи интегралов от дифференциальных биномов, интегралы вида
(здесь везде R(y1, y2,..., у п)- рациональные функции), интегралы
и мн. др. Вместе с тем, напр., интегралы
не выражаются через элементарные функции. Определенным интегралом
от функции f(x), заданной на отрезке [ а, b], наз. предел интегральных сумм определенного вида (см. Коши интеграл, Римана интеграл, Лебега интеграл, Колмогорова интеграл, Стилтъеса интеграл и т. д.). Если этот предел существует, функцию f(x)наз. интегрируемой соответственно по Коши, по Риману, по Лебегу и т. д.
Геометрич. смысл интеграла связан 4 с понятием площади: если функция непрерывна на отрезке [а, b], то значение интеграла
равно площади криволинейной трапеции, образованной графиком функции f(x), т. е. множеством, граница к-рого состоит из графика функции f(x),. отрезка [ а, b]и двух отрезков прямых х=а и x=b, к-рые могут вырождаться в точки. К задаче вычисления предела интегральных сумм, т. е. нахождению определенного интеграла, сводится вычисление многих встречающихся на практике величин: площадей фигур и поверхностей, объемов тел, работы силы, координат центра тяжести, значений моментов инерции различных тел и т.. п.
Определенный интеграл обладает свойством линейности: если функции f1 (х)и f2 (х)интегрируемы на отрезке [ а, b], то для произвольных действительных чисел l1 и l2 функция также интегрируема на отрезке и
Интегрируемость функции на отрезке обладает свойством монотонности: если функция f(х)интегрируема на отрезке [ а, b]и то функция f(х)интегрируема и на отрезке [ с, d]. Справедливо свойство аддитивности интеграла относительно отрезков, по к-рым происходит интегрирование: если а<с<b и функция f(x)интегрируема на отрезках [ а, с]и [ с, b], то она интегрируема и на отрезке [ а, b], причем
Если функции f(x)и g(x)интегрируемы, то их произведение также интегрируемо. Если на [ а, b], то
Если функция f(x)интегрируема на [ а, b], то ее абсолютная величина|f(x)|также интегрируема на [ а, b]и
По определению полагают
Для определенных интегралов справедливы теоремы о среднем. Напр., если f(x)и g(x)интегрируемы на отрезке [ а, b],и функция g(x)не меняет знака на отрезке [ а, b], т. е. либо неотрицательна, либо неположительна на этом отрезке, то существует такое число что
При дополнительном предположении непрерывности на отрезке [ а, b]функции f(x)на интервале ( а, b )существует такая точка x, что
В частности, если g(x)=A, то
Интегралы с переменным верхним пределом. Если функция f(x)интегрируема по Риману на отрезке [ а, b], то функция
непрерывна на этом отрезке. Если, кроме того, функция f(x)непрерывна в точке х 0, то функция F(x)дифференцируема в этой точке и F'(x0) = f(x0). Иначе говоря, в точках непрерывности функции справедлива формула
Следовательно, для всякой интегрируемой по Риману на отрезке [ а, b]функции эта формула справедлива во всех точках, кроме, быть может, множества точек, имеющих меру Лебега, равную нулю, ибо если функция интегрируема по Риману на некотором отрезке, то множество ее точек разрыва имеет меру нуль. Таким образом, если функция f(x)непрерывна на отрезке [ а, b], то функция является ее первообразной на этом отрезке. Эта теорема показывает, что операция дифференцирования является обратной к взятию определенного интеграла с переменным верхним пределом, тем самым устанавливая связь между определенным и неопределенным интегралами:
Геометрия, смысл этой связи состоит в том, что задача о нахождении касательной к кривой и вычисление площадей плоских фигур являются в указанном смысле взаимно обратными.
Для любой первообразной F(x)непрерывной функции f(x)на отрезке [ а, b]имеет место формула Ньютона - Лейбница:
Она показывает, что определенный интеграл по некоторому отрезку от непрерывной функции равен разности значений на концах этого отрезка любой из ее первообразных. Эту формулу иногда принимают за определение определенного интеграла. В этом случае доказывается, что введенный таким образом интеграл является пределом соответствующих сумм.
Для определенных интегралов справедливо правило замены переменного и формула интегрирования по частям. Пусть, напр., функция f(х) непрерывна на интервале (а, b)и функция j(t)непрерывна вместе со своей производной j' (t)на интервале (a, b), причем интервал (a, b) отображается с помощью функции j(t) в интервал (a, b): a<j(t)<b при a<t<b и, следовательно, на (a,b) имеет смысл суперпозиция f[j(t)]. Тогда, если то имеет место формула замены переменного
Формула интегрирования по частям:
где функции и(х)и v(x)имеют на отрезке [ а, b]интегрируемые производные.
Формула Ньютона - Лейбница сводит вычисление определенного интеграла к отысканию значений его первообразной. Поскольку задача отыскания первообразной является сама по себе сложной, то большое значение имеют другие методы нахождения определенных интегралов, среди к-рых прежде всего следует отметить, метод вычетов и метод дифференцирования и интегрирования по параметру зависящих от параметров интегралов. Разрабатываются также численные методы приближенного вычисления интегралов.
Обобщение понятия интеграла на случай неограниченных функций и случай неограниченного промежутка приводит к понятию несобственного интеграла, к-рый определяется при помощи еще одного дополнительного предельного перехода.
Понятия неопределенного и определенного интегралов переносятся на комплекснозначные функции. Представление любой регулярной функции комплексного переменного в виде Коши интеграла по контуру сыграло важную роль в развитии теории аналитич. функций.
Обобщение понятия определенного, интеграла от функции одного переменного на случай функций многих переменных приводит к понятию кратного интеграла.
Для неограниченных множеств и неограниченных функций многих переменных, также как и в одномерном случае, вводится понятие несобственного интеграла.
Расширение практич. использования И. и. обусловило введение понятий криволинейного интеграла- интеграла по кривой, поверхностного интеграла- интеграла по поверхности и вообще - интеграла по многообразиям, сводимых в нек-ром смысле к определенному интегралу (криволинейный интеграл - к интегралу по отрезку, поверхностный - к интегралу по области (плоской), интеграл по n-мерному многообразию - к интегралу по n-мерной области). Интегралы по многообразиям, в частности криволинейные и поверхностные, играют важную роль в И. и. функций многих переменных; с их помощью можно установить связь между интегрированием по области и ее границе или, в общем случае, по многообразию и его краю. Эта связь устанавливается Стокса формулой (см. также Остроградского формула, Грина формулы), являющейся обобщением на многомерный случай формулы Ньютона - Лейбница.
Кратные, криволинейные и поверхностные интегралы находят непосредственное применение в математич. физике, в частности в теории поля. Кратные интегралы и связанные с ними понятия широко используются при решении конкретных прикладных задач. Для численного вычисления кратных интегралов разработана теория кубатурных формул.
Теория и методы И. и. числовых функций конечного числа переменных переносятся и на более общие объекты. Напр., теория интегрирования функций, значения к-рых принадлежат линейным нормированным пространствам, функций, заданных на топологич. группах, обобщенных функций и функций бесконечного числа переменных (континуальный интеграл). Наконец, новое направление И. и. связано также с появлением и развитием конструктивной математики.
И. и. применяется во многих разделах математики (в теории дифференциальных и интегральных уравнений, в теории вероятностей и математич. статистике, в теории оптимальных процессов и др.), и в ее приложениях.
Лит.:см. [1] - [24] при статье Дифференциальное исчисление, а также дополнение к разделу "Работы основоположников и классиков...": [25] Архимед, Сочинения, М., 1962; [26] Кеплер И., Новая стереометрия винных бочек, [пер. с латин.], М.- Л., 1934; [27] Кавальери Б., Геометрия..., [пер. с латин.], М.- Л., 1940; [28] Эйлер Л., Интегральное исчисление, пер. с латин., т. 1 - 3, М., 1956-58.
Л. Д. Кудрявцев.
раздел математики, в к-ром изучаются св-ва и способы вычисления интегралов и их приложения. И. и. возникло из задач определения площадей (квадратур), объёмов (кубатур) и центров тяжести, требующих вычисления определённых интегралов - пределов одного и того же типа. Определённым интегралом ф-ции f(x) на отрезке [а, b], разделённом точками x1, x2, .... хп, наз. предел т. н. интегральной суммы:
где Дельта xi = xi - xi-2 при условии, что наибольшая разность Дельта хi стремится к нулю; его обозначают интеграл baf (x)dx. И. и. теснейшим образом связано с дифференциальным исчислением: интегрирование есть действие, обратное дифференцированию, т. е. по данной ф-ции f(x) ищется такая ф-ция F(x) (первообразная), для к-рой f(x) есть производная. Вместе с F(x) первообразной ф-цией для f(x) служит и F(x) + С, где С - любая постоянная. Общее выражение F(x) + С всех первообразных для ф-ции f(x) наз. неопределённым интегралом; он обозначается интеграл f(x)dx. Определ. и неопредел. интегралы связаны между собой ф-лой Ньютона - Лейбница: OOd* = F(b) -
Понятие интеграла распространяется на ф-ции, заданные в к.-л. области плоскости (двойные интегралы) или пространства (тройные интегралы).
integral calculus, calculus
* * *
integral calculus
calcolo integrale
інтеґра́льне чи́слення
інтеґра́льне чи́слення
раздел мате матики, в к-ром изучаются свойства и способы вычисления интегралов и их приложения к решению разл. матем., физ. и др. задач. В систе-матич. форме И. и. было предложено в 17 в. И. Ньютоном и Г. Лейбницем. И. и. тесно связано с дифференциальным исчислением; интегрирование (нахождение интеграла) есть действие, обратное дифференцированию: по данной непрерывной функции f(x) ищется функция F(x) (первообразная), для к-рой f(x) является производной. Вместе с F(x) первообразной функцией для f(x) является и f(x) + С, где С - любая постоянная. Общее выражение F(x) + С первообразных непрерывной функции f(x) наз. неопределённым интегралом; он обозначается
интеграл f(x)dx=F(x)+C
Определённым интегралом непрерывной функции f(x) на отрезке [а, b], разделённом точками x1, х2, ..., хn-1 (рис.), наз. предел интегральных
сумм Sni=1f(xi-1)дельтаxi, где дельтаxi=xi-xi-1, при условии, что наибольшая разность дельтаxi стремится к нулю и число точек деления неограниченно увеличивается; его обозначают интеграл от а до b f(x)dx (самый знак интеграла возник из первой буквы S лат. слова Summa). Через определённые интегралы выражаются площади плоских фигур, длины кривых, объёмы и поверхности тел, координаты центров тяжести, моменты инерции, работа, производимая данной силой, и т. д. О связи между определённым интегралом и первообразной см. Ньютона - Лейбница формула. Понятие интеграла распространяется на функции многих переменных (см. Кратный интеграл, Криволинейный интеграл, Поверхностный интеграл).