ИНТЕГРА́ЛЬНОЕ ИСЧИСЛЕ́НИЕ
-
Рубрика: Математика
-
-
Скопировать библиографическую ссылку:
ИНТЕГРА́ЛЬНОЕ ИСЧИСЛЕ́НИЕ, раздел математич. анализа, в котором изучаются интегралы, их свойства, методы вычисления и различные приложения. И. и. тесно связано с дифференциальным исчислением и составляет вместе с ним основную часть математического анализа (или анализа бесконечно малых). Центр. понятиями И. и. являются понятия определённого и неопределённого интегралов функций одной действительной переменной.
Определённый интеграл
К этому понятию приводят две фундам. задачи: задача о вычислении пути, пройденного движущейся вдоль оси $Oy$ материальной точкой за промежуток времени от $x=a$ до $x=b, {a}<{b}$, по известной в любой момент времени $x$ скорости $f(x)$ этой точки, и геометрич. задача о вычислении площади т. н. криволинейной трапеции, т. е. фигуры, ограниченной графиком функции $y=f(x)$ на отрезке $a⩽x⩽b$, осью абсцисс и двумя вертикальными прямыми $x=a$ и $x=b$ (на рис. эта фигура заштрихована).
Для решения первой задачи промежуток времени $a⩽x⩽b$ можно разбить на малые промежутки, ограниченные моментами времени $a={x_0}<{x_1}<{x_2}<{...}<{x_{n–1}}<{x_n}=b$. На каждом малом промежутке времени $x_{k–1}⩽x⩽x_k$ скорость меняется мало и её можно считать постоянной и равной $f(\textξ_k)$, где $\textξ_k$ – некоторое значение времени из промежутка $[x_{k–1}, x_k], k=1,..., n$. При этом путь $S[x_{k–1}, x_k]$, пройденный движущейся точкой за промежуток времени от $x_{k–1}$ до $x_k$, приближённо можно считать равным произведению $f(\textξ_k)$ на длину $Δx_k=x_k-x_{k–1}$ промежутка $[x_{k–1}, x_k]$, т. е. $S[x_{k–1}, x_k]=f(\textξ_k)Δx_k$. В таком случае путь $S[a, b]$, пройденный движущейся точкой за весь промежуток времени от $x=a$ до $x=b$, приближённо равен сумме $$f(\textξ_1)Δx_1+f(\textξ_2)Δx_2+...+f(\textξ_n)Δx_n. \qquad {(1)}$$ Точное значение пути $S[a, b]$ получается, если в сумме (1) перейти к пределу при стремлении к нулю наибольшей из длин $Δx_k$ (при этом общее число $n$ частичных промежутков будет неограниченно возрастать). Т. е. если $d$ – наибольшая из длин $Δx_k$, то $$S[a, b]=\lim\limits_{d\to 0} f(\textξ_1)Δx_1+f(\textξ_2)Δx_2+...+f(\textξ_n)Δx_n)=\lim\limits_{d\to 0}\sum\limits_{k=1}^{n}f(\textξ_k)Δx_k \qquad{(2)}$$
.
Суммы (1) можно рассматривать для произвольной функции $f(x)$, заданной на отрезке $a⩽x⩽b$, их называют интегральными суммами, отвечающими данным разбиениям отрезка $[a, b]$, а предел, стоящий в правой части (2), – определённым интегралом от функции $f$ по отрезку $[a, b]$. Для широкого класса функций $f(x)$ этот предел существует и не зависит ни от выбора конкретных разбиений ${x_0}<{x_1}<{...}<{x_n}$, ни от выбора точек $\textξ_k, x_{k-1}⩽\textξ_k⩽x_k, k=1,..., n$. В этом случае говорят, что определённый интеграл от функции $f(x)$ по отрезку $[a, b]$ существует, его обозначают $\int_{a}^{b}f(x)dx$. В этом обозначении символ $\int$ (удлинённое $S$ – первая буква слова Summa) называется знаком интеграла, $f(x)$ – подынтегральной функцией, а числа $a$ и $b$ – соответственно нижним и верхним пределами интегрирования.
Решение второй задачи (о вычислении площади заштрихованной на рис. криволинейной трапеции) основано на том, что интегральная сумма (1) геометрически представляет собой сумму площадей прямоугольников, основаниями которых служат отрезки $[x_{k–1}, x_k]$ длины $Δx_k$, а высотами – отрезки длины $f(\textξ_k)$, т. е. сумма (1) равна площади ступенчатой фигуры, обведённой на рисунке красной линией, а предел, стоящий в правой части (2), т. е. интеграл $\int_{a}^{b}f(x)dx$, равен площади этой криволинейной трапеции.
Определённый интеграл обладает свойством линейности: из существования определённых интегралов от функций $f_1(x)$ и $f_2(x)$ по отрезку $[a, b]$ вытекает, что для любых действительных чисел α и β $$\int\limits_{a}^{b}(\textαf_1(x)+\textβf_2(x))dx=\textα\int\limits_{a}^{b}f_1(x)dx+\textβ\int\limits_{a}^{b}f_2(x)dx.$$. Кроме того, при $a⩾b$ по определению полагают $$\int\limits_{a}^{b}f(x)dx=0, \int\limits_{a}^{b}f(x)dt=-\int\limits_{a}^{b}f(x)dx.$$ Значение определённого интеграла не зависит от обозначения переменной интегрирования, т. е. $$\int\limits_{a}^{b}f(x)dx=\int\limits_{a}^{b}f(t)dt.$$
К вычислению определённых интегралов, кроме указанных выше двух задач, приводят также задачи о вычислении площадей, ограниченных кривыми, длин дуг гладких кривых, площадей поверхностей тел, объёмов тел, а также задачи определения координат центров тяжести, моментов инерции и др. задачи естествознания и техники. Напр., длина дуги плоской гладкой кривой, заданной на отрезке ${a}⩽{x}⩽{b}$ уравнением $y=f(x)$, выражается интегралом $$\int\limits_a^b\sqrt{1+(f'(x))^2}dx$$, объём тела, образованного вращением этой дуги вокруг оси $Ox$, – интегралом $$\textπ\int\limits_a^b(f(x))^2dx,$$ а площадь поверхности этого тела – интегралом $$2\textπ\int\limits_a^bf(x)\sqrt{1+(f'(x))^2}dx.$$
Существуют разл. способы интегрирования, т. е. вычисления определённых интегралов. В отд. случаях удаётся непосредственно вычислить предел, стоящий в правой части (2). Некоторые определённые интегралы удаётся вычислить с помощью неопределённых интегралов (см. ниже). Однако, как правило, приходится прибегать к приближённому вычислению определённых интегралов, применяя разл. квадратурные формулы.
В случае когда подынтегральная функция $f$, кроме переменной $x$, по которой идёт интегрирование, зависит ещё от переменной $\textα$, рассматривают определённые интегралы вида $$\textφ(\textα)=\int\limits_a^b(f(x, \textα)dx,$$ называемые интегралами, зависящими от параметра. Они служат осн. средством для изучения мн. специальных функций.
Понятие определённого интеграла по отрезку $[a, b]$ допускает разл. обобщения (см. Интеграл). Оно распространяется также на случай неограниченного промежутка интегрирования и на некоторые классы неограниченных функций (такие обобщения называют несобственными интегралами), а также на функции мн. действительных переменных (см. Кратный интеграл, Криволинейный интеграл, Поверхностный интеграл), на функции комплексной переменной (см. Коши интеграл) и на вектор-функции (см. Остроградского формула, Стокса формула).
Неопределённый интеграл
Помимо определённого интеграла от данной функции $f$ по отрезку $[a, b]$, который является числом, рассматривается также неопределённый интеграл, являющийся функцией, получающейся из $f$ с помощью операции интегрирования, которая обратна операции дифференцирования. К неопределённому интегралу приводит, напр., задача о нахождении функции, выражающей путь, пройденный движущейся точкой, по скорости этой точки. При дифференцировании данной функции ищется её производная. При интегрировании функции ищется функция, называемая первообразной или примитивной, производная которой равна данной функции. Функция $F(x)$ является первообразной функции $f(x)$ на интервале ${a}<{x}<{b}$, если всюду на этом интервале функция $F(x)$ имеет производную, удовлетворяющую равенству $F′(x)=f(x)$, или, что то же самое, если всюду на этом интервале $dF(x)=f(x)dx$. Если функция $F(x)$ является первообразной функции $f(x)$ на данном интервале, то и функция $F(x)+C$, где $C$ – любая постоянная, также является первообразной функции $f(x)$ на этом интервале (поскольку производная постоянной равна нулю). Любые две первообразные функции для $f(x)$ отличаются лишь постоянным слагаемым. Если $F(x)$ является одной из первообразных функции $f(x)$, то все первообразные функции $f(x)$ имеют вид $F(x)+C$; это выражение называется неопределённым интегралом от функции $f(x)$ и обозначается $\int{f(x)dx}$, т. о., $$\int {f(x)dx}=F(x)+C.$$
Для непрерывной подынтегральной функции $f$ определённый интеграл с переменным верхним пределом $\int\limits_{a}^{x}f(t)dt$ существует и является одной из первообразных подынтегральной функции. Любая первообразная $F(x)$ подынтегральной функции имеет вид $$F(x)=\int\limits_{a}^{x}f(t)dt+C.$$Следствием этого равенства является т. н. осн. формула И. и. (формула Ньютона – Лейбница)$$\int\limits_{a}^{b}f(t)dt=F(b)-F(a),$$ выражающая определённый интеграл через разность значений любой первообразной на концах интервала интегрирования.
Взаимно обратный характер операций интегрирования и дифференцирования выражается равенствами $$d\int {f(x)dx}=f(x)dx, \int {dF(x)}=F(x)+C,$$ из которых вытекает возможность получения из формул дифференцирования соответствующих формул интегрирования: $$\int{x^αdx}=\frac{x^{α+1}}{α+1}+C \quad{(α\neq-1)},$$ $$\int{\frac{dx}{x}}=\ln{x}+C\quad{(x>0)},$$ $$\int{a^xdx}=\frac{a^x}{\ln{a}}+C\quad{({0}<{a}\neq{1})},$$ в частности $\int{e^xdx}=e^x+C,$ $$\int{\sin{x}dx}=-\cos{x}+C,$$ $$\int\cos{x}dx=\sin{x}+C,$$ $$\int{\frac{dx}{\cos^2{x}}}=\text{tg} x+C({-\frac{\textπ}{2}+\textπn}<{x}<{\frac{\textπ}{2}+\textπn}, \text{где} \quad{n=0, ±1, ±2, ...)},$$ $$\int{\frac{dx}{\sin^2{x}}}=-\text{ctg} x+C({\textπn}<{x}<{\textπ+\textπn}, \text{где} \quad{n=0, ±1, ±2,...)},$$ $$\int{\frac{dx}{\sqrt{1-x^2}}}=\arcsin{x}+C \quad{(|x|<1)},$$ $$\int{\frac{dx}{1+x^2}}=\text{arctg}x+C.$$
Неопределённый интеграл обладает справедливым с точностью до произвольного постоянного слагаемого линейным свойством $$\int{(\textαf_1(x)+\textβf_2(x))dx}=\textα\int{f_1(x)dx}+\textβ\int{f_2(x)dx}$$($\textα$ и $\textβ$ – произвольные действительные числа).
В то время как производные всех элементарных функций выражаются через элементарные функции, интегралы от элементарных функций не всегда выражаются через элементарные функции, т. е., как говорят, не всегда «берутся в конечном виде». И. и. располагает лишь отд. приёмами интегрирования в конечном виде. Среди правил интегрирования основными являются правило интегрирования по частям, опирающееся на равенство $$\int{ud\textν}=u\textν-\int{\textνdu},$$ и интегрирование заменой переменной, опирающееся на то, что, если $$x=\textφ(t),$$ то $$dx=\textφ′(t)dt$$ и $$\int{f(\textφ(t))\textφ′(t)dt}=\int{f(x)dx}.$$
К классу функций, интегралы от которых всегда выражаются через элементарные функции, относятся множество всех рациональных функций (т. е. отношений двух многочленов $P(x)$ и $Q(x)$), множество функций, рационально зависящих от $\sqrt{ax^2+bx+c}$ и от $x$ или от $x$ и от рациональной степени дроби $(ax+b)/(cx+d)$, множество функций, рационально зависящих от $\cos{x}$ и $\sin{x}$.
Функции, которые представляются неопределёнными интегралами, не берущимися в конечном виде, представляют собой новые трансцендентные функции, некоторые из которых хорошо изучены (см., напр., Интегральный логарифм, Интегральные синус и косинус, Интегральная показательная функция).
О расширении и обобщении понятия интеграла см. Интеграл.
Историческая справка
Возникновение И. и. связано с нахождением площадей и объёмов. Ряд задач такого рода был решён математиками Древней Греции. Античная математика предвосхитила идеи И. и. в значительно большей степени, чем дифференциального исчисления. Большую роль при решении таких задач играл исчерпывания метод, созданный Евдоксом Книдским и широко применявшийся Архимедом. Однако Архимед не выделил общего содержания интеграционных приёмов и понятия об интеграле, и тем более не создал алгоритма И. и. Учёные Среднего и Ближнего Востока в 9–15 вв. изучали и переводили труды Архимеда на общедоступный в их среде араб. яз., но существенно новых результатов в И. и. они не получили. Деятельность европ. учёных в это время была ещё более скромной. Лишь в 16–17 вв. развитие естеств. наук поставило перед математиками Европы ряд новых задач, в частности задачи нахождения квадратур, кубатур и определение центров тяжести. Труды Архимеда, впервые изданные в 1544 (на лат. и греч. языках), стали привлекать широкое внимание, и их изучение явилось одним из важнейших отправных пунктов дальнейшего развития И. и. Античный «неделимых» метод был возрождён И. Кеплером. В более общей форме идеи этого метода были развиты Б. Кавальери, Э. Торричелли, Дж. Валлисом, Б. Паскалем. Методом «неделимых» был решён ряд геометрич. и механич. задач. К этому же времени относятся опубликованные позднее работы П. Ферма по квадрированию парабол $n$-й степени, а затем – работы Х. Гюйгенса по спрямлению кривых.
В итоге этих исследований выявилась общность приёмов интегрирования при решении внешне несходных задач геометрии и механики, приводившихся к квадратурам как к геометрич. эквиваленту определённого интеграла. Заключит. звеном в цепи открытий этого периода было установление взаимно обратной связи между задачами на проведение касательной и на квадратуры, т. е. между дифференцированием и интегрированием. Основные понятия и алгоритм И. и. были созданы независимо друг от друга И. Ньютоном и Г. В. Лейбницем. Последнему принадлежит термин «И. и.» и обозначение интеграла $\int{ydx}$.
При этом в работах Ньютона осн. роль играло понятие неопределённого интеграла (флюенты; см. Флюксий исчисление), тогда как Лейбниц исходил из понятия определённого интеграла. Дальнейшее развитие И. и. в 18 в. связано с именами И. Бернулли и особенно Л. Эйлера. В нач. 19 в. И. и. вместе с дифференциальным исчислением было перестроено О. Коши на основе теории пределов. В развитии И. и. в 19 в. приняли участие М. В. Остроградский, В. Я. Буняковский, П. Л. Чебышев. В кон. 19 – нач. 20 вв. развитие теории множеств и теории функций действительной переменной привело к углублению и обобщению осн. понятий И. и. (Б. Риман, А. Лебег и др.).