Таким образом, 1) ряды разложения функции, 2) исследование функции, 3) функция как предел суммирования, или как интеграл, — это есть последовательная интенсификация смысловой значимости функции, возвращающейся к самой себе из своего инобытийного самоотчуждения.
Получивши понятие интеграла, мы тем самым получаем первый и основной отдел интегрального исчисления—интегрирование функций. Разделение этого отдела будет, очевидно, повторением общей классификации функций. Это классификация, которую мы провели бы в дифференциальном исчислении, она же останется и здесь, в интегральном исчислении. Поэтому единообразие структуры этих отделов математического анализа вполне обеспечено.
Дальнейшим этапом упомянутой интенсификации является понятие определенного интеграла.
Когда функция дифференцируется, получаемая при этом производная имеет, как мы видели, вполне определенное значение. Когда же мы производим действие интегрирования, идя от производной к первообразной функции, мы отнюдь не получаем окончательно определенной величины. Пусть, напр., дан угловой коэффициент касательной к какой–нибудь кривой и требуется найти уравнение самой кривой, т. е. пусть дана некая производная и требуется найти интеграл. Полученное в результате этого интегрирования уравнение кривой останется тем же самым, на каком бы расстоянии от центра координат мы ее ни проводили. Полученный интеграл говорит только о структуре кривой, но ровно ничего не говорит о ее абсолютном положении на плоскости системы координат. Поэтому, получая такой интеграл, именуют его неопределенным и прибавляют к нему т. н. постоянные интеграции, +с. Так, если упомянутый угловой коэффициент касательной есть 2х, то полученный интеграл имеет вид
у=х2 + с.
Образующаяся таким образом парабола совпадает своей осью с осью уу но в зависимости от значения с она будет пересекать ось у на том или ином расстоянии от центра. Разумеется, этих расстояний может быть бесконечное количество, и с может принимать любые значения, нисколько не влияя на структуру самой параболы.
Мы можем, однако, задаться целью получить не просто параболу, но и ее абсолютное положение в данной системе координат. Другими словами, мы можем задаться получить интеграл не вообще, но в определенных пределах. Наш аргумент χ принимает в таком случае не всякие значения, какие попало, но значения лишь в данных пределах—скажем, от х—а до х = b. Тогда соответственно получается и два неопределенных интеграла—для х = а и для х — b. Если мы теперь возьмем все то, что произошло между этими пределами, т. е. возьмем разницу между этими интегралами, то уже всякая неопределенность исчезнет, и наш интеграл будет ограничен строго определенными пределами. Это и есть т. н. определенный интеграл, и обозначается он так:
где а есть нижний предел, a b—верхний, и весь интеграл равен
I=ƒ(b) — ƒ(a).
Существует специальная теория определенных интегралов — специальный отдел интегрального исчисления. Тут трактуются вопросы о перестановке пределов, о делении промежутка интегрирования определенного интеграла, об определенном интеграле как функции своих пределов, о бесконечных пределах интеграла и о случаях прерывности подынтегральной функции, об изменении пределов в связи с заменой переменных и пр.
Подобно тому как в дифференциальном исчислении, получивши понятие производной, мы могли распространить это понятие до производных высшего порядка и до частных производных, — мы можем распространить и понятие интеграла. Если возможна производная от производной, полученной тоже как производная, и т. д., т. е. если возможны производные первого, второго, третьего и т. д. порядка, то, очевидно, возможны интегралы не только вообще, но также интегралы двойные и тройные. Равным образом при наличии нескольких независимых переменных возможно и дифференцирование, и интегрирование по какому–нибудь одному переменному (и тогда прочие переменные принимаются за постоянные), т. е. возможны частные производные и частные интегралы.
Кратное и частное интегрирование еще более углубляет и расширяет понятие интеграла.