Processing math: 100%

Формулы Ньютона-Лейбница

Если существует функция F(x), непрерывная на отрезке [a,b] и такая, что F(x)=f(x) при ax<b, то для несобственного интеграла baf(x)dx справедлива обобщенная формула Ньютона-Лейбница:

baf(x)dx=limε+0bεaf(x)dx=limε+0[F(bε)F(a)]

Если f(x) непрерывна при ax<b и имеет точку разрыва x=a, тогда:

baf(x)dx=limε+0ba+εf(x)dx=limε+0[F(b)F(a+ε)]

Если подынтегральная функция не ограничена в отрезке интегрирования ( например x=c ), то эту точку «вырезают», а интеграл baf(x)dx определяют в предположении, что F(x) — первообразная для f(x), так:

baf(x)dx=limε+0cεaf(x)dx+limε+0bc+εf(x)dx=limε+0F(x)|cεa+
+limε+0F(x)|bc+ε=limε+0F(cε)F(a)+F(b)limε+0F(c+ε)

Если пределы существуют и конечны, то интеграл baf(x)dx называется сходящимся, в противном случае — расходящимся.

Литература

Тест : Формулы Ньютона-Лейбница

Тест на знание темы «Формулы Ньютона-Лейбница»

Линейность несобственных интегралов

Пусть функции f(x) и g(x) определены и непрерывнына промежутке [a,b), где b может быть и +. Если интегралы baf(x)dx и bag(x)dx то для всех α,βR, тогда интеграл ba(αf(x)+βg(x)) -сходится и имеет место равенство:

ba(αf(x)+βg(x))=αbaf(x)dx+βbag(x)dx

Доказательство

Доказательство следует из линейности собственного интеграла Римана. Действительно, для ε<b имеем

εa(αf(x)+βg(x))=αεaf(x)dx+βεag(x)dx

и, переходя к пределу при εb(ε<b) и учитывая то, что приделы существуют по условию, получаем искомое равенство.

Замечание

Если интеграл baf(x) расходится, а интеграл bag(x)dx сходится, то интеграл ba(f(x)+g(x)) расходится. Если бы интеграл от f+g сходился, то сходился бы и интеграл от f=(f+g)g, что неверно.

Литература

Тест : Линейность несобственных интегралов

Тест на знание темы «Линейность несобственных интегралов»

Интегрирование по частям

Пусть функции u=u(x) и v=v(x) определены и непрерывны вместе со своими первыми производными на отрезке [a,b] во всех точках. Исключением есть только точка b, которая может быть равна и +. Тогда имеет место равенство:

baudv=uv|babavdu

Где uv|ba — двойная подстановка и под ней понимаем разность:

limxbu(x)v(x)u(a)v(a)

При этом существование bavdu вытекает из существования интеграла baudv и двойной подстановки uv|ba.

Если любые два выражения из трех в равенстве имеют смысл, то и третье выражение тоже имеет смысл.

Доказательство

Возьмем x0 такое, что a<x0<b проинтегрируем данный интеграл по частям на промежутке [a,x0]:

x0audv=(u(x0)v(x0)u(a)v(a))x0avdu

Пусть теперь x0 стремится к b. По условию два из входящих в данное равенство выражений имеют конечные пределы при xx0. Следовательно третье выражение также имеет конечный предел. Равенство доказано с помощью предельного перехода.

Спойлер

Литература

Тест : Интегрирование по частям

Интегрирование по частям

Замена переменных

Пусть функция f(x) определена и непрерывна на промежутке [a,b) и интегрируема в каждой части этого отрезка, не содержащей точки b, которая может быть и +.

Рассмотрим теперь функцию x=ϕ(t), которая является монотонно возрастающей и непрерывной вместе со своей производной ϕ(t) на промежутке [α,β). Допустим, что ϕ(α)=a и ϕ(β)=b. Равенство ϕ(β)=b следует понимать как limtβϕ(t)=b. Если соблюдены все вышеперечисленные условия, то имеет место равенство:

baf(x)=baf(ϕ(t))ϕ(t)dt

при условии, что один из этих интегралов сходится. Из существования одного из двух интегралов в равенстве вытекает существование второго. Второй интеграл будет либо собственным,либо несобственным с единственной особой точкой β.

Доказательство

Пусть теперь x0 и t0 будут произвольными, но соответствующими значениям x и t и их промежуткам (a,b) и (α,β). Тогда будем иметь:

x0af(x)=t0af(ϕ(t))ϕ(t)dt

Если существует второй из интегралов, будем приближать произвольным образом x0 к b, при этом t0=θ(x0) устремится к β, существование второго интеграла доказано. Данное рассуждение одинаково применимо и к монотонно убывающей функции.

Спойлер

Литература

Тест : Замена переменных

Тест на знание метода замены переменных в случае несобственных интегралов

М1605 О поиске нужной тройки

Задача из журнала «Квант» (1997, №4)

Условие

Имеются N карточек, на которых написаны различные(неизвестные) числа. Они расположены на столе по кругу числами вниз. Надо найти три какие-нибудь лежащие рядом карточки такие, что число, написанное на средней карточке, больше, чем на каждой из двух соседних. При этом разрешается перевернуть последовательно не более k карточек. Докажите, что это возможно, если:

а) N=5,k=4; б)N=76,k=10; в)N=199,k=12;

Решение

а) «Откроем» среди 5 чисел, расположенных по окружности, два числа a<b, стоящих на расстоянии 2 друг от друга, и еще одно, соседнее с большим из них — c. Из соображений симметрии, можно считать, что [latex]c 79, f_{12}=223 > 199,[/latex] это даст решения задач б) и в). Для этого докажем сначала индукцией по k, что в рядуa,,b,,c

из fk+fk1+1=fk+1+1 чисел, где известны a,b,c, причем d наибольшее и находится от a и c на расстоянии fk1 и fk2, можно найти нужную тройку за k1 попытку. Для k=2(для ряда из четырех чисел a,b,.,c) это очевидно. Пусть вплоть до некоторого значения k1 то доказано. Рассмотрим данный ряд и «откроем» число d, находящееся на расстояниях fk1 от a и fk2 от b:

a,,d,,b,,c

Если d>b, то мы можем применить предположение индукции к fk+1 числам a,,d,,b,а если d<b — то к числам d,,b,,c: за k2 попытки среди них найдется нужная тройка.

Теперь среди fk=fk1+fk2=2fk2+fk3 чисел по окружности достаточно «открыть» два числа a<b на расстоянии fk2 и число c, находящееся на расстоянии fk2 от a и fk3 от b. По соображениям симметрии, можно считать, что b>c. По доказанному выше, среди идущих подряд fk2+fk3+1=fk1+1 чисел a,,b,,c за k3 попытки можно найти нужную тройку.

В. Протасов, А. Заславский

qunt