Несобственный интеграл определённый интеграл собственный интеграл — это обобщение понятия определённого интеграла на случаи бесконечных пределов интегрирования или неограниченных подынтегральных функций.
несобственный интеграл II рода Несобственный интеграл I рода собственный интеграл I рода :
∫ a + ∞ f ( x ) d x \int_{a}^{+\infty} f(x) dx ∫ a + ∞ f ( x ) d x или ∫ − ∞ b f ( x ) d x \int_{-\infty}^{b} f(x) dx ∫ − ∞ b f ( x ) d x
Несобственный интеграл II рода несобственный интеграл I рода собственный интеграл I рода :
∫ a b f ( x ) d x \int_{a}^{b} f(x) dx ∫ a b f ( x ) d x , где функция f ( x ) f(x) f ( x ) имеет разрыв в точке ( a , b ) (a,b) ( a , b ) .
Интеграл существует тогда и только тогда, когда предел соответствующего интегрального выражения конечен.
∫ a + ∞ f ( x ) d x = lim t → + ∞ ∫ a t f ( x ) d x \int_{a}^{+\infty} f(x) dx = \lim_{{t}\to {+\infty}}\int_{a}^{t} f(x) dx ∫ a + ∞ f ( x ) d x = t → + ∞ lim ∫ a t f ( x ) d x
∫ − ∞ b f ( x ) d x = lim t → − ∞ ∫ t b f ( x ) d x \int_{-\infty}^{b} f(x) dx = \lim_{{t}\to {-\infty}}\int_{t}^{b} f(x) dx ∫ − ∞ b f ( x ) d x = t → − ∞ lim ∫ t b f ( x ) d x
Вычислить ∫ 1 + ∞ d x x 2 \int_{1}^{+\infty} \frac{dx}{x^2} ∫ 1 + ∞ x 2 d x .
lim t → + ∞ ∫ 1 t d x x 2 = lim t → + ∞ [ − 1 x ] 1 t = lim t → + ∞ ( − 1 t + 1 ) = 1 \lim_{{t}\to {+\infty}}\int_{1}^{t} \frac{dx}{x^2} = \lim_{{t}\to {+\infty}} \left[- \frac{1}{x}\right]_1^{t} = \lim_{{t}\to {+\infty}} \left( -\frac{1}{t} + 1\right) = 1 t → + ∞ lim ∫ 1 t x 2 d x = t → + ∞ lim [ − x 1 ] 1 t = t → + ∞ lim ( − t 1 + 1 ) = 1
Вычислить ∫ − 1 1 d x ∣ x ∣ \int_{-1}^{1} \frac{dx}{\sqrt{|x|}} ∫ − 1 1 ∣ x ∣ d x .
Разделим интеграл на два:
∫ − 1 1 d x ∣ x ∣ = ∫ − 1 0 d x − x + ∫ 0 1 d x x \int_{-1}^{1} \frac{dx}{\sqrt{|x|}} = \int_{-1}^{0} \frac{dx}{\sqrt{-x}} + \int_{0}^{1} \frac{dx}{\sqrt{x}} ∫ − 1 1 ∣ x ∣ d x = ∫ − 1 0 − x d x + ∫ 0 1 x d x
Каждое из этих выражений является несобственным интегралом II рода. Вычислим их отдельно:
∫ − 1 0 d x − x = lim t → 0 − ∫ − 1 t d x − x = lim t → 0 − [ − 2 − x ] − 1 t = 2 \int_{-1}^{0} \frac{dx}{\sqrt{-x}} = \lim_{{t}\to 0^{-}} \int_{-1}^{t} \frac{dx}{\sqrt{-x}} = \lim_{{t}\to 0^{-}} [-2\sqrt{-x}]_{-1}^{t} = 2 ∫ − 1 0 − x d x = t → 0 − lim ∫ − 1 t − x d x = t → 0 − lim [ − 2 − x ] − 1 t = 2
∫ 0 1 d x x = [ 2 x ] 0 1 = 2 \int_{0}^{1} \frac{dx}{\sqrt{x}} = [2\sqrt{x}]_0^1 = 2 ∫ 0 1 x d x = [ 2 x ] 0 1 = 2
∫ − 1 1 d x ∣ x ∣ = 2 + 2 = 4 \int_{-1}^{1} \frac{dx}{\sqrt{|x|}} = 2 + 2 = 4 ∫ − 1 1 ∣ x ∣ d x = 2 + 2 = 4
признак Коши Критерий Коши признак сравнения для несобственных интегралов I рода : Если ∫ a + ∞ ∣ f ( x ) ∣ d x \int_{a}^{+\infty} |f(x)| dx ∫ a + ∞ ∣ f ( x ) ∣ d x сходится, то ∫ a + ∞ f ( x ) d x \int_{a}^{+\infty} f(x) dx ∫ a + ∞ f ( x ) d x также сходится абсолютно.
признак расходимости признак сходимости Признак сравнения для несобственных интегралов II рода : Пусть функции f ( x ) f(x) f ( x ) и g ( x ) g(x) g ( x ) неотрицательны и равны нулю при x > b x > b x > b . Тогда если ∫ b + ∞ g ( x ) d x \int_{b}^{+\infty} g(x) dx ∫ b + ∞ g ( x ) d x сходится и f ( x ) ≤ g ( x ) f(x) \leq g(x) f ( x ) ≤ g ( x ) , то ∫ b + ∞ f ( x ) d x \int_{b}^{+\infty} f(x) dx ∫ b + ∞ f ( x ) d x также сходится.
Несобственные интегралы широко применяются в физике и инженерии для вычисления площадей, длин дуг, объёмов тел вращения и других физических величин.