НЕСОБСТВЕННЫЕ
ИНТЕГРАЛЫ
2.1. Определенный интеграл как предел интегральной суммы и его геометрический смысл
Пусть функция y=f ( x ) определена и непрерывна на отрезке [ a;b ] . Выполним следующие действия:
x 0=a1 , x 1 , x 2 , .. . , x n =b ( x 0 < x1 < x 2 <.. .<x n ) [ a;b ]
1) с помощью точек разобьем отрезок
произвольным способом на n частичных отрезков длиною
Δx 1 =x 1−x 0 , Δx2 =x 2−x 1 , . .. Δx n =x n −x n−1 ;
2) в каждом частичном отрезке [ x i−1 ; xi ] , i=1,2, . .. , n
выберем произвольную точку
c i ∈ [ x i−1 x i ]
и
f ( ci ) ;
вычислим значение функции в ней, то есть величину
3) умножим найденное значение функции ( i ) на длину
f c Δx i соответствующего частичного отрезка:
f ( ci ) Δx i ;
n
S n =f ( c 1 ) Δx 1 +f ( c 2 ) Δx 2 +. ..+f ( c n ) Δxn =∑ f ( c i ) Δx i
4) составим сумму
S n всех таких произведений i=1
. (2.1)
Сумма вида (2.1) называется интегральной суммой функции y=f ( x ) на отрезке [ a;b ] . Обозначим
через α длину наибольшего частичного отрезка: α=max Δx i ( i=1,2 ,. .. , n ) ;
5) найдем предел интегральной суммы (2.1), когда n→∞ так, что α →0.
Если при этом интегральная сумма
S n имеет предел, который не зависит ни от способа разбиения
отрезка [ a;b ] на частичные отрезки, ни от выбора точек в них, то этот предел называется определенным
b
∫ f ( x ) dx.
интегралом от функции y=f ( x ) на отрезке [ a;b ] и обозначается a Таким образом,
b n
∫ f ( x ) dx=lim¿ n→∞ ¿ ¿ ∑ f ( ci ) Δxi .¿
α→0 ¿
a i=1 (2.2)
Числа a и b называются соответственно нижним и верхним пределами интегрирования, f ( x )−
подынтегральной функцией, f ( x ) dx− подынтегральным выражением, x− переменной интегрирования,
∫ f ( x ) dx ,
Функция y=f ( x ) , для которой на отрезке [ a;b ] существует определенный интеграл a
называется интегрируемой на этом отрезке.
b
∫ f ( x ) dx
Теорема. Если функция y=f ( x ) непрерывна на отрезке [ a;b ] , то определенный интеграл a
существует.
Непрерывность функции является достаточным условием её интегрируемости.
Геометрический смысл определенного интеграла состоит в том, что определенный интеграл от
неотрицательной функции численно равен площади криволинейной трапеции, ограниченной сверху
графиком функции y=f ( x ) ≥0 , снизу – осью Ox , сбоку – прямыми x=a и x=b .
∫ f ( x ) dx=F ( b )−F ( a ) .
a (2.3)
Равенство (2.3) называется формулой Ньютона-Лейбница.
b
F ( b )−F ( a )=F ( x )| ,
Если ввести обозначение a то формулу Ньютона-Лейбница (2.3) можно переписать
так:
b
∫ f ( x ) dx=F ( x )| .
b
a
a
∫ c⋅f ( x ) dx=c⋅∫ f ( x ) dx ,
a a (2.4)
то есть постоянный множитель c можно выносить за знак определенного интеграла.
2. Если функции f 1 ( x ) и f 2 ( x ) интегрируемы на [ a;b ] , тогда интегрируема на [ a;b ] их алгебраическая
сумма и
b b b
∫ f ( x ) dx=−∫ f ( x ) dx
. a (2.6) b
4. Определенный интеграл с одинаковыми пределами интегрирования (интеграл в точке) равен нулю:
a
∫ f ( x ) dx=0.
a (2.7)
5. Если функция f ( x ) интегрируема на [ a;b ] и a<c<b , то
b c b
∫ f ( x ) dx
7. Если функция f ( x ) сохраняет знак на отрезке [ a;b ] , где a<b , то интеграл a имеет тот же
b
∫ f ( x ) dx≥0.
знак, что и функция. Так, если f ( x )≥0 на отрезке [ a;b ] , то a
8. Неравенство между непрерывными функциями на отрезке [ a;b ] , ( a<b ) можно интегрировать. Так,
если f 1 ( x )≤f 2 ( x ) при x∈ [ a; b ] , то
b b
∫ f 1 ( x ) dx≤∫ f 2 ( x ) dx.
a a
(∫ )
x ′¿
f ( t ) dt ¿¿ ¿¿ ¿¿¿=f ( x ) .¿
a x¿
(2.12)
Это означает, что определенный интеграл с переменным верхним пределом есть одна из первообразных
подынтегральной функции.