Найти наибольшее целое значение параметра n для которого сходится несобственный интеграл

07.07.202218.07.2022 admin 0 Comments

Несобственные интегралы, зависящие от параметра. Равномерная сходимость

Равномерная сходимость несобственных интегралов по параметру.

Предположим, что выполнены следующие условия:

Интеграл
$$
\int\limits_<0>^ <+\infty>e^ <-x>\cos xy\ dx\label
$$
сходится равномерно по параметру у на интервале $(-\infty, +\infty) = \mathbb$.

$\vartriangle$ Для любого $\varepsilon > 0$ существует $b’ = \displaystyle\ln \frac<2><\varepsilon>$ такое, что для любого $\xi \in [b’, +\infty)$ и любого $y \in Y$ выполняется неравенство
$$
\left|\int\limits_<\xi>^ <+\infty>e^ <-x>\cos xy\ dx\right| \leq \int\limits_<\xi>^ <+\infty>e^<-x>\ dx = e^ <-\xi>\leq e^ <-b’>= \frac<\varepsilon> <2>Определение.

Интеграл
$$
I_ = \int\limits_<0>^ <+\infty>ye^<-xy>\ dx\nonumber
$$
сходится неравномерно по параметру $y$ на полуинтервале $[0, +\infty)$.

$\vartriangle$ Возьмем $\varepsilon = e^<-1>$. Тогда для любого $b’ \in (0, +\infty)$ существует $\xi = b’$ и $y = 1/b’$ такие, что
$$
\int\limits_<\xi>^ <+\infty>ye^<-xy>\ dx = \int\limits_^ <+\infty>ye^<-xy>\ dx = \int\limits_^ <+\infty>e^<-t>\ dt = \int\limits_<1>^ <+\infty>e^<-t>\ dt = e^ <-1>= \varepsilon,\nonumber
$$
и поэтому интеграл $\displaystyle I_ = \int\limits_<0>^ <+\infty>ye^<-xy>\ dx$ сходится неравномерно по параметру $y$ на множестве $Y = [0, +\infty)$. $\blacktriangle$

Признаки равномерной сходимости несобственных интегралов по параметру.

(Признак Вейерштрасса равномерной сходимости несобственного интеграла по параметру).

Пусть для любого $y \in Y$ функция $f(x, y)$ интегрируема по $x$ на любом отрезке $[a, b’] \subset [a, b)$, и пусть на $[a, b)$ существует функция $\varphi(x)$ такая, что для всех $y \in Y$ и всех $x \in [a, b)$ выполнено неравенство $|f(x, y)| \leq \varphi(x)$, а несобственный интеграл $\displaystyle\int\limits_^ \varphi(x)\ dx$ сходится.

Интеграл
$$
\int\limits_<0>^ <+\infty>\frac<\cos xy><1+x^<2>>\ dx\label
$$
сходится равномерно по параметру $y$ на интервале $(-\infty, +\infty)$.

$\vartriangle$ Так как $\displaystyle\frac<|\cos xy|><1+x^<2>> \leq \frac<1><1+x^<2>>$ и $\displaystyle\int\limits_<0>^ <+\infty>\frac<1+x^<2>> = \frac<\pi><2>$, то по признаку Вейерштрасса интеграл \eqref сходится равномерно по параметру $y$ на $(-\infty, +\infty)$. $\blacktriangle$

Докажем признак Дирихле равномерной сходимости для интегралов вида
$$
\int\limits_^ <+\infty>f(x, y) g(x, y)\ dx,\ y \in Y.\label
$$
(Признак Дирихле равномерной сходимости несобственного интеграла по параметру).
Тогда интеграл \eqref сходится равномерно по параметру $y$ на множестве $Y$.
$\circ$ По признаку Дирихле несобственный интеграл \eqref сходится при любом $y \in Y$. Покажем, что он сходится равномерно по параметру $y$ на множестве $Y$.
Так как по условию 4) функция $\psi(x) \rightarrow 0$ при $x \rightarrow +\infty$, то для любого $\varepsilon > 0$ существует $a’ > a$ такое, что для любого $\xi \in [a’, +\infty)$ выполнено неравенство
$$
\psi(\xi) Замечание 2.
Если $+\infty$ — единственная особая точка сходящегося интеграла \eqref, то этот интеграл сходится равномерно по параметру $y$ на множестве $Y$ в том и только том случае, когда при любом $a’ > a$ интеграл $\displaystyle\int\limits_^ <+\infty>f(x, y) g(x, y)\ dx$ сходится равномерно по параметру $y$ на множестве $Y$.
Поэтому для справедливости утверждения теоремы 2 достаточно, чтобы условия 1)-4) выполнялись на некотором промежутке $[a’, +\infty) \subset [a, +\infty)$.
Интеграл
$$
\int\limits_<0>^ <+\infty>e^ <-xy>\frac<\sin x>\ dx\label
$$
сходится равномерно по параметру $y$ при $y \in [0, +\infty)$.
$\vartriangle$ Так как функция $\sin x$ имеет ограниченную первообразную, а при $x \geq 1$, $y \geq 0$ выполнены следующие условия:
$$
\frac<\partial> <\partial x>\left(\frac>\right) =-\frac>>(1+xy) Теорема 3.
(Критерий Коши равномерной сходимости несобственного интеграла по параметру).
Получаем, что для любого $\xi \in [b’, b)$ и для любого $y \in Y$ выполнено неравенство $\displaystyle\left|\int\limits_<\xi>^ f(x, y)\ dx\right| \leq \varepsilon$, из которого следует, что интеграл $\int\limits_^ f(x, y)\ dx$ сходится равномерно по параметру $y$ на множестве $Y$. $\bullet$
Применяя правило построения отрицания, получаем из критерия Коши полезное следствие.
Если существует $\varepsilon_ <0>> 0$ такое, что для любого $b’ \in [a, b)$ существуют $\xi_<0>, \xi’_ <0>\in [b’, b)$ и существует $y_ <0>\in Y$ такие, что
$$
\left|\int\limits_<\xi_<0>>^<\xi’_<0>> f(x, y_<0>)\ dx\right| \geq \varepsilon_<0>,
$$
то интеграл $\displaystyle\int\limits_^ f(x, y)\ dx$ не сходится равномерно по параметру $y$ на множестве $Y$.
Интеграл
$$
\int\limits_<0>^ <+\infty>e^<-\alpha x^<2>>\ dx\label
$$
сходится равномерно по параметру $\alpha$ на множестве $[\alpha_<0>, +\infty)$, $\alpha_ <0>> 0$, и сходится неравномерно на множестве $(0, +\infty)$.
$\vartriangle$ Пусть $\alpha \geq \alpha_ <0>> 0$. Так как $e^<-\alpha x^<2>> \leq e^ <-\alpha_<0>x^<2>>$ и $\displaystyle\int\limits_<0>^ <+\infty>e^<-\alpha x^<2>>\ dx$ сходится, то по признаку Вейерштрасса интеграл \eqref сходится равномерно по параметру $\alpha$ на множестве $[\alpha_<0>, +\infty)$.
Пусть теперь $\alpha \in (0, +\infty)$. Покажем, что на $(0, +\infty)$ интеграл \eqref сходится неравномерно. Воспользуемся следствием из критерия Коши. Возьмем $\varepsilon_ <0>= e^<-1>$, для любого $b > 0$ возьмем $\xi_ <0>= b$, $\xi’_ <0>= b+1$, $\alpha_ <0>= 1/(b+1)^<2>$. Тогда
$$
\int\limits_<\xi_<0>>^<\xi’_<0>> e^ <-\alpha_<0>x^<2>>\ dx = \int\limits_^ e^ <-\alpha_<0>x^<2>>\ dx \geq e^ <-\alpha_<0>(b+1)^<2>> \int\limits_^ dx = e^ <-1>= \varepsilon_<0>\nonumber
$$
и, следовательно, интеграл \eqref сходится неравномерно по параметру $\alpha$ на множестве $(0, +\infty)$. $\blacktriangle$
Непрерывность, интегрируемость и дифференцируемость несобственного интеграла по параметру.
$\vartriangle$ Если функцию $\displaystyle\frac<\sin x>$ доопределить при $x = 0$ по непрерывности, считая, что при $x = 0$ функция $\frac<\sin x>$ принимает значение, равное единице, то подынтегральная функция интеграла \eqref будет непрерывной на множестве $\<(x, y): x \geq 0, y \geq 0\>$.
При рассмотрении примера 4 было показано, что интеграл \eqref сходится равномерно по параметру $y$ на множестве $[0, +\infty)$. В силу теоремы 4 интеграл \eqref есть непрерывная функция параметра $y$ на любом отрезке $[0, b]$. В частности, эта функция непрерывна при $y = 0$, поэтому должно быть выполнено равенство \eqref. $\blacktriangle$
(Теорема о перестановке порядка интегрирования).
$\vartriangle$ Воспользуемся известной формулой
$$
\int\limits_<0>^ <+\infty>e^ <-xy>\sin x\ dx = \frac<1><1+y^<2>>,\ y > 0.\label
$$
Интеграл \eqref сходится равномерно по параметру $y$ на любом отрезке $[\delta, N]$, где $\delta > 0$. Это следует из признака Вейерштрасса равномерной сходимости, так как
$$
|e^ <-xy>\sin x\ dx| \leq e^<-\delta x>,\quad \int\limits_<0>^ <+\infty>e^<-\delta x>\ dx = \frac<1><\delta>.\nonumber
$$
Применяя теорему 5 и интегрируя равенство \eqref, получаем
$$
\operatorname N-\operatorname \delta = \int\limits_<0>^<+\infty>\ dx \int\limits_<\delta>^ e^ <-xy>\sin x\ dy = \int\limits_<0>^ <+\infty>\dfrac-e^<-Nx>> \sin x\ dx.\label
$$
Так как $|\sin x| \leq x$ при $x \geq 0$, то
$$
\left|\int\limits_<0>^ <+\infty>\dfrac\sin x>\ dx\right| \leq \int\limits_<0>^ <+\infty>e^<-Nx>\ dx = \frac<1>.\nonumber
$$
Переходя к пределу при $N \rightarrow +\infty$ в равенстве \eqref, получаем
$$
\frac<\pi><2>-\operatorname \delta = \int\limits_<0>^ <+\infty>e^ <-\delta x>\frac<\sin x>\ dx.
$$
Воспользовавшись равенством \eqref и переходя к пределу при $\delta \rightarrow +0$, получаем выражение \eqref для интеграла Дирихле. $\blacktriangle$
(Теорема о дифференцировании несобственного интеграла по параметру).
Пусть функции $f(x, y)$ и $f_(x, y)$ непрерывны на множестве $\<(x, y):\ a\leq x Доказательство.
\(\circ$ Пусть $c \leq y \leq d$. Рассмотрим интеграл $\displaystyle\int\limits_^ f_(x, \eta)\ dx$ при $\eta \in [c, y]$.
Покажем, что $C_ <2>= 0$. Так как
$$
|I_<1>(y)| = \left|\int\limits_<0>^ <+\infty>\frac<\cos xy><1+x^<2>>\ dx\right| \leq \int\limits_<0>^ <+\infty>\frac<|\cos xy|><1+x^<2>>\ dx \leq \int\limits_<0>^ <+\infty>\frac<1+x^<2>> = \frac<\pi><2>,\nonumber
$$
то $I_<1>(y)$ есть ограниченная функция на $[\delta, +\infty)$. Так как $e^$ — неограниченная функция на $[\delta, +\infty)$, то в формуле \eqref нужно принять $C_ <2>= 0$.
Замечая, что интеграл Лапласа $I_<1>(y)$ есть четная функция на $(-\infty, +\infty)$, а интеграл $I_<2>(y)$ есть нечетная функция на $(-\infty, +\infty)$, перепишем равенство \eqref в следующем виде:
$$
I_<1>(y) = C_<1>e^<-|y|>,\ I_<2>(y) = C_<1>\ \operatorname\ ye^<-|y|>\ \mbox<при>\ y \neq 0.\label
$$
Для определения произвольной постоянной $C_<1>$ воспользуемся тем, что интеграл Лапласа $I_<1>(y)$ сходится равномерно по параметру $y$ на $(-\infty, +\infty)$ (пример 3). Поэтому $I_<1>(y)$ есть непрерывная функция в точке $y = 0$. Следовательно,
$$
\frac<\pi> <2>= \int\limits_<0>^ <+\infty>\frac<1+x^<2>> = I_<1>(0) = \lim_ I_<1>(y) = \lim_ C_<1>e^ <-y>= C_<1>.\nonumber
$$
Теперь формулы \eqref дают, что при любом $y \in \boldsymbol$
$$
\int\limits_<0>^ <+\infty>\frac<\cos xy><1+x^<2>>\ dx = \frac<\pi><2>e^<-|y|>,\\ \int\limits_<0>^ <+\infty>\frac<1+x^<2>>\ dx = \frac<\pi><2>\ \operatorname\ ye^<-|y|>.\label
$$
То, что формулы \eqref справедливы при $y = 0$, проверяется непосредственно. $\blacktriangle$
Перестановка порядка интегрирования в том случае, когда оба интеграла несобственные.
В теореме 5 была обоснована перестановка порядка интегрирования, когда внутренний интеграл несобственный, а внешний собственный. Сложнее обосновывать перестановку порядка интегрирования, когда оба интеграла несобственные.
Пусть функция $f(x, y)$ непрерывна на множестве $\<(x, y): a \leq x \leq b,\ c \leq y \leq d\>$ и выполнены следующие условия:
Теоремы 4-7 остаются справедливыми и при замене функции $f(x, y)$ на функцию $\psi(x)f(x, y)$, где функция $\psi(x)$ интегрируема по Риману на любом отрезке, лежащем в интервале $(a, b)$.
Если $f(x, y) = \varphi(x, y)+i\psi(x, y)$ есть комплекснозначная функция, то
$$
|\varphi(x, y)| \leq |f(x, y)|,\ |\psi(x, y)| \leq |f(x, y)|.\nonumber
$$
Все условия теоремы будут выполнены и для функций $\varphi(x, y)$ и $\psi(x, y)$, если $f(x, y)$ удовлетворяет условиям теоремы 7. Поэтому оба повторных интеграла от каждой из этих функций существуют и равны. Следовательно, существуют и равны повторные интегралы от функции $f(x, y)$.
Вычислить интеграл Эйлера-Пуассона (интеграл вероятностей)
$$
I = \int\limits_<0>^ <+\infty>e^<-t^<2>> dt.\nonumber
$$
Для обоснования законности изменения порядка интегрирования применим теорему 7. Интеграл $\displaystyle\int\limits_<0>^ <+\infty>ye^<-y^<2>(1+x^<2>)> dx$ сходится равномерно по параметру $y$ на любом отрезке $[c, d] \subset (0, +\infty)$ по признаку Вейерштрасса, так как $|ye^<-y^<2>(1+x^<2>)>| \leq de^<-c^<2>(1+x^<2>)>$ а интеграл $\displaystyle\int\limits_<0>^ <+\infty>de^<-c^<2>(1+x^<2>)> dx$ сходится.
Аналогично доказывается, что интеграл $\displaystyle\int\limits_<0>^ <+\infty>ye^<-y^<2>(1+x^<2>)> dx$ сходится равномерно по параметру $x$ на любом отрезке $[a, b] \subset (0, +\infty)$. Повторный интеграл $\int\limits_<0>^ <+\infty>ye^<-y^<2>(1+x^<2>)> dx$ сходится в силу равенства \eqref.
Вычислить интегралы Френеля
$$
J_ <1>= \int\limits_<0>^ <+\infty>\sin x^<2>\ dx,\ J_ <2>= \int\limits_<0>^ <+\infty>\cos x^<2>\ dx.
$$
При написании формул \eqref использована равномерная сходимость несобственных интегралов в правых частях равенств \eqref по параметру $k$ при $k \geq 0$ (признак Дирихле).
Изменение порядка интегрирования при $k > 0$ обосновывается при помощи теоремы 7, предельный переход при $k \rightarrow +0$ под знаком интеграла возможен в силу его равномерной сходимости по параметру $k$ при $k \in [0, +\infty)$ (признак Вейерштрасса). Интегралы $\displaystyle\int\limits_<0>^ <+\infty>\frac<1+x^<4>>$ и $\displaystyle\int\limits_<0>^ <+\infty>\fracdx><1+x^<4>>$ вычислены нами ранее (примеры здесь и здесь). $\blacktriangle$
Источник
Примеры исследования несобственных интегралов на сходимость
Примеры исследования несобственных интегралов на сходимость
Пример 1 Исследовать на сходимость . Вычислим интеграл по определению: .
Таким образом, данный интеграл сходится при a>1 и расходится при a£1.
Пример 2 Исследовать на сходимость . Вычислим интеграл по определению: .
Таким образом, данный интеграл сходится при a 0), а интеграл сходится при m>-1 (пример 2). Аналогично, для интеграла I2 :
Для подынтегральная функции в несобственном интеграле первого рода I2 подберем эквивалентную:
Интеграл I2 является несобственным интегралом первого рода. Подобрать функцию, эквивалентную подынтегральной функции, такую, чтобы она не содержала показательной функции, не удается. Поэтому использовать признак сравнения 2, как в предыдущих примерах, нельзя. Применим первый признак сравнения, для чего используем следующий известный факт:
Пример 6 Исследовать на сходимость .
Проведем замену переменной: t = lnx, и получим
.
Разбиение интеграла на два произведено аналогично примеру 5. Интеграл I1 полностью эквивалентен интегралу I1 из примера 5 и, следовательно, сходится при q 1. Однако, на этом исследование сходимости этого интеграла не закончено, так как использованный признак сходимости дает только достаточные условия сходимости. Поэтому нужно исследование сходимости при 1-p£0.
Рассмотрим случай p=1. Тогда интеграл I2 эквивалентен , который сходится при q>1 (заметим, что в этом случае интеграл I1 расходится) и расходится в противном случае.
При p 0, и, следовательно, начиная с некоторого А>1 выполнено T—QE(1-P)T ³ M=const>0. Тогда для интеграла I2 справедлива оценка
,
Суммируя полученные результаты, получаем что исходный интеграл сходится при q 1, в противном случае интеграл расходится.
Пример 6 Исследовать на абсолютную и условную сходимость .
Разобьем исходный интеграл на два:
.
Сходимость. Интеграл I1 эквивалентен , т. е. сходится при p 0 т. к. первообразная sin(x) ограничена, а функция 1/xp монотонно стремится к нулю при x стремящемся к бесконечности.
Покажем, что при p£0 интеграл расходится. Воспользуемся для этого критерием Коши, а точнее его отрицанием
.
Возьмем в качестве R1и R2 следующие величины: R1=2pk и R2=2pk+p/2, тогда
, при p>0.
Таким образом, интеграл сходится при 0
, т. е. интеграл сходится при p>1.
Для доказательства расходимости при p£1 оценим интеграл снизу
.
Разобьем последний интеграл от разности функций на разность интегралов
.
расходится (пример 1) при p p>0 (см. Сходимость), следовательно интеграл оценивается снизу расходящимся интегралом, т. е. расходится.
Случай p³1 нас не интересует, т. к. при этих значениях параметра интеграл расходится.
Таким образом, исходный интеграл сходится абсолютно при 0
Источник
Несобственные интегралы. Примеры решений
К изучению несобственных интегралов лучше приступать в последнюю очередь в ходе изучения интегрального исчисления функции одной переменной. Читатель данного урока должен быть хорошо подкован в неопределенных интегралах, определенных интегралах, уметь находить площадь плоской фигуры с помощью определенного интеграла. Кроме того, потребуются знания простейших пределов и графиков элементарных функций. По логике изложения материала эта статья является продолжением урока Определенный интеграл. Как вычислить площадь фигуры.
Вы еще здесь? =) Нет, я никого не пытался запугать, просто тема несобственных интегралов – очень хорошая иллюстрация тому, как важно не запускать высшую математику и другие точные науки. Для освоения урока на сайте всё есть – в подробной и доступной форме, было бы желание….
Итак, начнем-с. Образно говоря, несобственный интеграл – это «продвинутый» определенный интеграл, и на самом деле сложностей с ними не так уж и много, к тому же у несобственного интеграла есть очень хороший геометрический смысл.
Что значит вычислить несобственный интеграл?
Вычислить несобственный интеграл – это значит, найти ЧИСЛО (точно так же, как в определенном интеграле), или доказать, что он расходится (то есть, получить в итоге бесконечность вместо числа).
Несобственные интегралы бывают двух видов.
Несобственный интеграл с бесконечным пределом (ами) интегрирования
Иногда такой несобственный интеграл называют несобственным интегралом первого рода. В общем виде несобственный интеграл с бесконечным пределом чаще всего выглядит так: . В чем его отличие от определенного интеграла? В верхнем пределе. Он бесконечный: .
Реже встречаются интегралы с бесконечным нижним пределом или с двумя бесконечными пределами: , и их мы рассмотрим позже – когда войдёте во вкус 🙂
Ну а сейчас разберём самый популярный случай . В подавляющем большинстве примеров подынтегральная функция непрерывна на промежутке , и этот важный факт следует проверять в первую очередь! Ибо если есть разрывы, то есть дополнительные нюансы. Для определённости предположим, что и тогда типичная криволинейная трапеция будет выглядеть так:
Обратите внимание, что она бесконечна (не ограничена справа), и несобственный интеграл численно равен её площади. При этом возможны следующие варианты:
1) Первая мысль, которая приходит в голову: «раз фигура бесконечная, то », иными словами, площадь тоже бесконечна. Так быть может. В этом случае говорят, что несобственный интеграл расходится.
2) Но. Как это ни парадоксально прозвучит, площадь бесконечной фигуры может равняться… конечному числу! Например: . Может ли так быть? Запросто. Во втором случае несобственный интеграл сходится.
3) О третьем варианте чуть позже.
В каких случаях несобственный интеграл расходится, а в каком сходится? Это зависит от подынтегральной функции , и конкретные примеры мы очень скоро рассмотрим.
А что будет, если бесконечная криволинейная трапеция расположена ниже оси? В этом случае, несобственный интеграл (расходится) либо равен конечному отрицательному числу.
Таким образом, несобственный интеграл может быть отрицательным.
Важно! Когда Вам для решения предложен ЛЮБОЙ несобственный интеграл, то, вообще говоря, ни о какой площади речи не идет и чертежа строить не нужно. Геометрический смысл несобственного интеграла я рассказал только для того, чтобы легче было понять материал.
Коль скоро несобственный интеграл очень похож на определенный интеграл, то вспомним формулу Ньютона- Лейбница: . На самом деле формула применима и к несобственным интегралам, только ее нужно немного модифицировать. В чем отличие? В бесконечном верхнем пределе интегрирования: . Наверное, многие догадались, что это уже попахивает применением теории пределов, и формула запишется так: .
В чем отличие от определенного интеграла? Да ни в чем особенном! Как и в определенном интеграле, нужно уметь находить первообразную функцию (неопределенный интеграл), уметь применять формулу Ньютона-Лейбница. Единственное, что добавилось – это вычисление предела. У кого с ними плохо, изучите урок Пределы функций. Примеры решений, ибо лучше поздно, чем в армии.
Рассмотрим два классических примера:
Вычислить несобственный интеграл или установить его расходимость.
Для наглядности я построю чертеж, хотя, еще раз подчеркиваю, на практике строить чертежи в данном задании не нужно.
Подынтегральная функция непрерывна на полуинтервале , значит, всё нормально и несобственный интеграл можно вычислить «штатным» методом.
Применение нашей формулы и решение задачи выглядит так:
То есть, несобственный интеграл расходится, и площадь заштрихованной криволинейной трапеции равна бесконечности.
В рассмотренном примере у нас простейший табличный интеграл и такая же техника применения формулы Ньютона-Лейбница, как в определенном интеграле. Но применяется эта формула под знаком предела. Вместо привычной буквы «динамической» переменной выступает буква «бэ». Это не должно смущать или ставить в тупик, потому что любая буква ничем не хуже стандартного «икса».
Если Вам не понятно почему при , то это очень плохо, либо Вы не понимаете простейшие пределы (и вообще не понимаете, что такое предел), либо не знаете, как выглядит график логарифмической функции. Во втором случае посетите урок Графики и свойства элементарных функций.
При решении несобственных интегралов очень важно знать, как выглядят графики основных элементарных функций!
Чистовое оформление задания должно выглядеть примерно так:
“

Подынтегральная функция непрерывна на

Несобственный интеграл расходится.
“
! При оформлении примера всегда прерываем решение, и указываем, что происходит с подынтегральной функцией – непрерывна она на промежутке интегрирования или нет. Этим мы идентифицируем тип несобственного интеграла и обосновываем дальнейшие действия.
Вычислить несобственный интеграл или установить его расходимость.
Выполним чертеж:
Во-первых, замечаем следующее: подынтегральная функция непрерывна на полуинтервале . Гуд. Решаем с помощью формулы :
(1) Берем простейший интеграл от степенной функции (этот частный случай есть во многих таблицах). Минус лучше сразу вынести за знак предела, чтобы он не путался под ногами в дальнейших вычислениях.
(2) Подставляем верхний и нижний пределы по формуле Ньютона-Лейбница.
(3) Указываем, что при (Господа, это уже давно нужно понимать) и упрощаем ответ.
Вот здесь площадь бесконечной криволинейной трапеции равна конечному числу! Невероятно, но факт.
Чистовое оформление примера должно выглядеть примерно так:
“

Подынтегральная функция непрерывна на

“
Что делать, если вам встретится интеграл наподобие – с точкой разрыва на интервале интегрирования? Это говорит о том, что в примере опечатка (вероятнее всего), либо о продвинутом уровне обучения. В последнем случае, в силу свойства аддитивности, следует рассмотреть два несобственных интеграла на промежутках и и затем разобраться с суммой.
Иногда вследствие опечатки либо умысла несобственного интеграла может вовсе не существовать, так, например, если в знаменатель вышеуказанного интеграла поставить квадратный корень из «икс», то часть промежутка интегрирования вообще не войдёт в область определения подынтегральной функции.
Более того, несобственного интеграла может не существовать даже при всём «видимом благополучии». Классический пример: . Несмотря на определённость и непрерывность косинуса, такого несобственного интеграла не существует! Почему? Всё очень просто, потому что:
– не существует соответствующего предела.
И такие примеры пусть редко, но встречаются на практике! Таким образом, помимо сходимости и расходимости, есть ещё и третий исход решения с полноправным ответом: «несобственного интеграла не существует».
Следует также отметить, что строгое определение несобственного интеграла даётся именно через предел, и желающие могут ознакомиться с ним в учебной литературе. Ну а мы продолжаем практическое занятие и переходим к более содержательным задачам:
Вычислить несобственный интеграл или установить его расходимость.
Подынтегральная функция непрерывна на .
Интеграл не так прост, особенно для чайника. Что делать, если интеграл кажется не самым простым или не сразу понятно как его решать? В этом случае целесообразно применить алгоритм, о котором я уже рассказал в статье Определенный интеграл. Примеры решений.
Сначала попытаемся найти первообразную функцию (неопределенный интеграл). Если нам не удастся этого сделать, то несобственный интеграл мы, естественно, тоже не решим.
На какой из табличных интегралов похожа подынтегральная функция? Напоминает она арктангенс: . Из этих соображений напрашивается мысль, что неплохо бы в знаменателе получить квадрат. Делается это путем замены.
Проведем замену:
Неопределенный интеграл найден, константу в данном случае добавлять не имеет смысла.
На черновике всегда полезно выполнить проверку, то есть продифференцировать полученный результат:
Получена исходная подынтегральная функция, значит, неопределенный интеграл найден правильно.
Теперь находим несобственный интеграл:
(1) Записываем решение в соответствии с формулой . Константу лучше сразу вынести за знак предела, чтобы она не мешалась в дальнейших вычислениях.
(2) Подставляем верхний и нижний пределы в соответствии с формулой Ньютона-Лейбница. Почему при ? Смотрите график арктангенса в уже неоднократно рекомендованной статье.
(3) Получаем окончательный ответ. Тот факт, что полезно знать наизусть.
Продвинутые студенты могут не находить отдельно неопределенный интеграл, и не использовать метод замены, а использовать метод подведения функции под знак дифференциала и решать несобственный интеграл «сразу». В этом случае решение должно выглядеть примерно так:
“

Подынтегральная функция непрерывна на .

“
А сейчас два примера для самостоятельного решения.
Вычислить несобственный интеграл или установить его расходимость.
! Это типовой пример, и похожие интегралы встречаются очень часто. Хорошо его проработайте! Первообразная функция здесь находится методом выделения полного квадрата, более подробно с методом можно ознакомиться на уроке Интегрирование некоторых дробей.
Вычислить несобственный интеграл или установить его расходимость.
Этот интеграл можно решить подробно, то есть сначала найти неопределенный интеграл, проведя замену переменной. А можно решить «сразу» – подведением функции под знак дифференциала. У кого какая математическая подготовка.
Полные решения и ответы в конце урока.
Примеры решений несобственных интегралов с бесконечным нижним пределом интегрирования можно посмотреть на странице Эффективные методы решения несобственных интегралов. Там же разобран случай, когда оба предела интегрирования бесконечны.
Несобственные интегралы от неограниченных функций
Или несобственные интегралами второго рода. Несобственные интегралы второго рода коварно «шифруются» под обычный определенный интеграл и выглядят точно так же: Но, в отличие от определенного интеграла, подынтегральная функция терпит бесконечный разрыв (не существует): 1) в точке , 2) или в точке , 3) или в обеих точках сразу, 4) или даже на отрезке интегрирования. Мы рассмотрим первые два случая, для случаев 3-4 в конце статьи есть ссылка на дополнительный урок.
Если подынтегральной функции не существует в точке
Сразу пример, чтобы было понятно: . Вроде бы это определенный интеграл. Но на самом деле – это несобственный интеграл второго рода, если мы подставим в подынтегральную функцию значение нижнего предела , то знаменатель у нас обращается в ноль, то есть подынтегральной функции просто не существует в этой точке!
Вообще при анализе несобственного интеграла всегда нужно подставлять в подынтегральную функцию оба предела интегрирования. В этой связи проверим и верхний предел: . Здесь всё хорошо.
Криволинейная трапеция для рассматриваемой разновидности несобственного интеграла принципиально выглядит так:
Здесь почти всё так же, как в интеграле первого рода.
Наш интеграл численно равен площади заштрихованной криволинейной трапеции, которая не ограничена сверху. При этом могут быть два варианта*: несобственный интеграл расходится (площадь бесконечна) либо несобственный интеграл равен конечному числу (то есть, площадь бесконечной фигуры – конечна!).
* по умолчанию привычно полагаем, что несобственный интеграл существует
Осталось только модифицировать формулу Ньютона-Лейбница. Она тоже модифицируется с помощью предела, но предел стремится уже не к бесконечности, а к значению справа. Легко проследить по чертежу: по оси мы должны бесконечно близко приблизиться к точке разрыва справа.
Посмотрим, как это реализуется на практике.
Вычислить несобственный интеграл или установить его расходимость.
Подынтегральная функция терпит бесконечный разрыв в точке (не забываем устно или на черновике проверить, всё ли нормально с верхним пределом!)
Сначала вычислим неопределенный интеграл:

Замена:
У кого возникли трудности с заменой, обратитесь к уроку Метод замены в неопределенном интеграле.
Вычислим несобственный интеграл:
(1) Что здесь нового? По технике решения практически ничего. Единственное, что поменялось, это запись под значком предела: . Добавка обозначает, что мы стремимся к значению справа (что логично – см. график). Такой предел в теории пределов называют односторонним пределом. В данном случае у нас правосторонний предел.
(2) Подставляем верхний и нижний предел по формуле Ньютона Лейбница.
(3) Разбираемся с при . Как определить, куда стремится выражение? Грубо говоря, в него нужно просто подставить значение , подставляем три четверти и указываем, что . Причесываем ответ.
В данном случае несобственный интеграл равен отрицательному числу. В этом никакого криминала нет, просто соответствующая криволинейная трапеция расположена под осью .
А сейчас два примера для самостоятельного решения.
Вычислить несобственный интеграл или установить его расходимость.
Вычислить несобственный интеграл или установить его расходимость.
Если подынтегральной функции не существует в точке
Бесконечная криволинейная трапеция для такого несобственного интеграла принципиально выглядит следующим образом:
Здесь всё абсолютно так же, за исключением того, что предел у нас стремится к значению слева. По оси мы должны бесконечно близко приблизиться к точке разрыва слева.
Вычислить несобственный интеграл или установить его расходимость.
Подынтегральная функция терпит бесконечный разрыв в точке (устно проверяем, что с другим пределом интегрирования всё нормально!).
Для разнообразия я решу этот интеграл сразу – методом подведения функции под знак дифференциала. Те, кому трудно, могут сначала найти неопределенный интеграл по уже рассмотренной схеме.

Добавка обозначает, что предел у нас левосторонний, и к точке мы приближаемся по оси слева.
Разбираемся, почему дробь (это лучше делать устно или на черновике).
Подставляем под корень предельное значение :
и тогда
Окончательно:

Несобственный интеграл расходится.
Будьте очень внимательны в знаках. Да, конечно, несобственный интеграл расходится, но и – это разные вещи, разные жанры, и если Вы недосмотрите за знаками, то, строго говоря, допустите серьезную ошибку.
И заключительные два примера для самостоятельного рассмотрения:
Вычислить несобственный интеграл или установить его расходимость.
Вычислить несобственный интеграл или установить его расходимость.
Разбор ситуации, когда оба предела интегрирования «плохие», или точка разрыва содержится прямо на отрезке интегрирования, можно найти в статье Эффективные методы решения несобственных интегралов.
Пример 4: Решение:

Подынтегральная функция непрерывна на .

Пример 5: Решение:

Подынтегральная функция непрерывна на .

Несобственный интеграл расходится.
Пример 7: Решение:

Подынтегральная функция терпит бесконечный разрыв в точке

Несобственный интеграл расходится.
Примечание: с пределом выражения можно разобраться следующим образом: вместо подставляем :
Пример 8: Решение:

Подынтегральная функция терпит бесконечный разрыв в точке
Примечание: Разбираемся в пределе выражения . Если , то (см. график логарифмической функции!), тогда: . Именно эти соображения и помечаются как
Пример 10: Решение:

Подынтегральная функция терпит бесконечный разрыв в точке
Пример 11: Решение:

Подынтегральная функция терпит бесконечный разрыв в точке

Несобственный интеграл расходится
Примечание: Разбираемся в пределе выражения . Если , то , и тогда . Будьте очень внимательны в знаках!
Автор: Емелин Александр
(Переход на главную страницу)
Zaochnik.com – профессиональная помощь студентам
cкидкa 15% на первый зaкaз, прoмoкoд: 5530-hihi5
Источник