18.1.1 Несобственные интегралы I рода (интегралы по неограниченным промежуткам)

Пусть функция $f$ задана на промежутке $[a, +\infty)$, где $a \in R$, и интегрируема по Риману на каждом отрезке $[a, \xi)$, где $a \lt \xi \lt +\infty$. Выражение $\int_a^{+\infty} f(x) dx$ называют несобственным интегралом I рода. Если существует $\lim\limits_{\xi\to +\infty}\int_a^\xi f(x) dx$ то этот несобственный интеграл называют сходящимся, а его значение полагают равным:
$$\int_{a}^{\infty}f(x)dx=\lim_{\xi \to +\infty}\int_{a}^{\xi}f(x)dx.$$
Если же не существует конечного предела, то несобственный интеграл называют расходящимся.

Аналогично определяется несобственный интеграл:
$$\int_{-\infty}^{a}f(x)dx = \lim_{\eta\to -\infty}\int_{\eta}^{a}f(x)dx.$$

Пусть теперь функция $f$ задана на всей действительной прямой и интегрируема по Риману на любом отрезке $\left[\eta, \xi\right]$, где $ -\infty \lt \eta \lt \xi \lt +\infty.$
Если существует конечный двойной предел $\lim\limits_{\substack{\xi\to +\infty \\ \eta\to-\infty}}\int_\eta^\xi f(x) dx$,то несобственный интеграл $\int_{-\infty}^{+\infty} f(x) dx$ называется сходящимся, а его значение полагают равным $$\int_{-\infty}^{+\infty}f(x)dx = \lim_{\substack{\xi\to +\infty\\ \eta\to-\infty}}\int_{\eta}^{\xi}f(x)dx.$$

Утверждение. Сходимость интеграла $\int_{-\infty}^{+\infty}f(x)dx$ равносильна тому, что сходятся оба интеграла $\int_{a}^{+\infty}f(x)dx$ и $\int_{-\infty}^{a}f(x)dx$, причем имеет место равенство $$\int_{-\infty}^{+\infty}f(x)dx = \int_{-\infty}^{a}f(x)dx + \int_{a}^{+\infty}f(x)dx$$
где a – произвольное действительное число.

Пусть при некотором $a \in R$ интегралы $\int_{a}^{+\infty}f(x)dx$ и $\int_{-\infty}^{a}f(x)dx$ сходятся. Тогда для $-\infty \lt \eta \lt \xi \lt +\infty$ будем иметь
$$\int_{\eta}^{\xi}f(x)dx = \int_{\eta}^{a}f(x)dx + \int_{a}^{\xi}f(x)dx$$
Отсюда, переходя к пределам при $\xi → +\infty$ и $\eta → -\infty$, получаем
$$\lim_{\substack{\xi\to +\infty \\ \eta\to-\infty}}\int_{\eta}^{\xi}f(x)dx = \lim_{\substack{\xi\to +\infty \\ \eta\to-\infty}}\int_{\eta}^{a}f(x)dx + \lim_{\substack{\xi\to +\infty \\ \eta\to-\infty}}\int_{a}^{\xi}f(x)dx=\\
= \int_{-\infty}^{a}f(x)dx + \int_{a}^{+\infty}f(x)dx$$
т. е. интеграл $\int_{-\infty}^{+\infty}f(x)dx$ сходится и для него справедливо равенство $\int_{-\infty}^{+\infty}f(x)dx = \int_{-\infty}^{a}f(x)dx + \int_{a}^{+\infty}f(x)dx$.

Для доказательства обратного утверждения зафиксируем произвольное $a \in R$ и предположим, что существует
$$\int_{-\infty}^{+\infty}f(x)dx=\lim_{\substack{\xi\to +\infty \\ \eta\to-\infty}}\int_{\eta}^{\xi}f(x)dx.$$
Тогда, в силу критерия Коши существования двойного предела, отсюда
следует, что для любого $ \varepsilon\gt 0$ найдется такое $A$, что для любых $\xi^{\prime}, \xi^{\prime\prime} \gt A$ и для любых $\eta^{\prime},\eta^{\prime\prime}\lt −A$ справедливо неравенство
$$\left|\displaystyle\int_{\eta^{\prime}}^{\xi^{\prime}}f(x)dx — \int_{\eta^{\prime\prime}}^{\xi^{\prime\prime}}f(x)dx\right|\lt \varepsilon $$
Зафиксируем $\varepsilon \gt 0$ и найдем такое $A$. Можем считать, что $A\gt|a|$. Выберем $\eta=\eta^{\prime}=\eta^{\prime\prime}\lt −A$ и $\xi^{\prime}, \xi^{\prime\prime}\gt A$. Тогда получим
$$\left|\displaystyle\int_{\xi^{\prime}}^{\xi^{\prime\prime}}f(x)dx\right| = \left|\displaystyle\int_{\eta}^{\xi^{\prime}}f(x)dx — \int_{\eta}^{\xi^{\prime\prime}}f(x)dx\right|\lt \varepsilon, $$
т. е. выполнено условие критерия Коши существования предела
$$\lim_{\xi\to +\infty}\int_{a}^{\xi}f(x)dx.$$
Отсюда следует, что интеграл $\int_{a}^{+\infty}f(x)dx$ сходится. Аналогично получаем, что и интеграл $\int_{-\infty}^{a}f(x)dx$ также сходится. Имеем
$$\int_{-\infty}^{a}f(x)dx + \int_{a}^{+\infty}f(x)dx = \lim_{\eta\to -\infty}\int_{\eta}^{a}f(x)dx + \lim_{\xi\to +\infty}\int_{a}^{\xi}f(x)dx =\\
= \lim_{\substack{\xi\to +\infty \\ \eta\to-\infty}}\left(\displaystyle\int_{\eta}^{a}f(x)dx + \int_{a}^{\xi}f(x)dx\right) = \lim_{\substack{\xi\to +\infty \\ \eta\to-\infty}}\int_{\eta}^{\xi}f(x)dx = \int_{-\infty}^{+\infty}f(x)dx$$ Последний предел существует в силу условия, а выражение справа не
зависит от $a$. Тем самым доказано $\int_{-\infty}^{+\infty}f(x)dx = \int_{-\infty}^{a}f(x)dx + \int_{a}^{+\infty}f(x)dx$ для любого $a \in R$.

Пример 1. Вычислим $$\int_0^{+\infty}\frac{dx}{1+x^2} = \lim_{\xi\to +\infty}\int_{0}^{\xi}\frac{dx}{1+x^2}=\lim_{\xi\to +\infty} {\mathrm {arctg}}\,x\bigg|_0^{\xi} = \lim_{\xi\to +\infty}{\mathrm {arctg}}\,x=\frac{\pi}{2}.$$

Пример 2. Несобственный интеграл $\int_0^{+\infty}\sin x dx.$ расходится. В самом деле, $$\int_0^{\xi}\sin x dx =-\cos x \bigg|_0^{\xi}= 1-cos {\xi} $$ не имеет предела.

Примеры решения задач

Пример 1

Вычислить $\int_0^{+\infty}e^{-px}dx.$

\underline {Решение:}

$$\int_0^{+\infty}e^{-px}dx= -\frac{1}{p}e^{-px}\bigg|_0^{+\infty}=-\frac{1}{p}\lim_{x\to +\infty}(e^{-px}-1)= \begin{cases}
\frac{1}{p}, \text{если $p \gt 0$;} \\
+\infty, \text{если $p\lt 0$.}
\end{cases}$$ При $p \gt 0 \lim\limits_{x\to +\infty}e^{-px}= \lim\limits_{x\to +\infty}\frac{1}{e^{px}}=0$, так как $e^{px}\to+\infty$ при $x\to+\infty.$ При $p\lt 0 \lim\limits_{x\to +\infty}e^{-px} = +\infty.$

Таким образом, интеграл $\int_0^{+\infty}e^{-px}dx$ сходится при $p \gt 0$ и расходится при $p\lt 0.$

[свернуть]

Пример 2

При каких значениях показателя $\lambda \gt 0$ существует несобственный интеграл $\int_a^{+\infty}\frac{dx}{x^\lambda}, (a\gt 0).$

\underline {Решение:}

Пусть $\lambda\neq1$, тогда $$\int_a^{\xi}\frac{dx}{x^\lambda}=\frac{1}{1-\lambda}x^{1-\lambda}\bigg|_a^\xi=\frac{1}{1-\lambda} (\xi^{1-\lambda} — a^{1-\lambda}).$$
Это выражение при $\xi\to+\infty$ имеет предел $\infty$ ( $\lambda \lt 1$) или конечное число $\frac{1}{1-\lambda} a^{1-\lambda}$ ($\lambda \gt 1$).

Если $\lambda=1$, имеем $$\int_a^{\xi}\frac{dx}{x}=\ln(x)\bigg|_a^\xi=\ln(\xi)-\ln(a)$$ и при $\xi\to+\infty$ в пределе получается $+\infty$. Таким образом, интеграл $\int_a^{+\infty}\frac{dx}{x^\lambda}$ при $\lambda\gt 1$ сходится (и равен $\frac{1}{1-\lambda} a^{1-\lambda}$), а при $\lambda\leq 1$ расходится.

[свернуть]

Пример 3

Вычислить $\int_{-\infty}^{+\infty}\frac{dx}{1+x^2}.$

\underline {Решение:}

$$\int_{-\infty}^{+\infty}\frac{dx}{1+x^2}=\lim\limits_{x\to{+\infty}} {\mathrm {arctg}}\,x -\lim\limits_{x\to{-\infty}} {\mathrm {arctg}}\,x = \frac{\pi}{2} -(-\frac{\pi}{2})=\pi.$$

Интеграл $\int_{-\infty}^{+\infty}\frac{dx}{1+x^2}$ сходится и равен $\pi$.

[свернуть]

Несобственные интегралы по неограниченным промежуткам

Для закрепления пройденного материала предлагается пройти тест.

Литература

  1. Коляда В.И.,Кореновский А.А. Курс лекций по математическому анализу / В.И.Коляда.-Одесса: Изд-во «Астропринт», 2010. т.2. -С.102-105.
  2. Каплан И.А. Практические занятия по высшей математике / И.А.Каплан. -Харьков: Изд-во Харьковского университета, 1967. ч.3. -С.760-761.
  3. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления/ Г.М.Фихтенгольц -Москва: Изд-во «Наука», 1969. т.2. -С.553.
  4. Лысенко З.М. Конспект лекций по математическому анализу.

18.1.2 Несобственные интегралы II рода (интегралы от неограниченных функций)

Пусть функция $f$ задана на полуинтервале $[a, b)$, где $-\infty\lt a \lt b \lt +\infty$ и интегрируема по Риману на любом отрезке $[a,\xi]$, где $a\lt\xi\lt b$. Если существует конечный предел $\lim\limits_{\xi\to b-0}\int_a^\xi f(x) dx$, то несобственный интеграл второго рода $\int_a^b f(x) dx$ называют сходящимся и полагают $$\int_a^b f(x) dx=\lim\limits_{\xi\to b-0}\int_a^\xi f(x) dx.$$ В противном случае несобственный интеграл называют расходящимся.

Замечание 1. Предполагается, что функция $f$ неограничена в любой левой полуокрестности точки $b$. Действительно, если функция $f$ ограничена на $[a, b)$ и интегрируема на каждом отрезке $[a,\xi]$ при любом $\xi\lt b$, то, используя критерий интегрируемости функции в смысле Римана в терминах колебаний, легко можно показать, что функция $f$ интегрируема по Риману на отрезке $[a, b]$ (в самой точке $b$ функцию можно доопределить произвольным образом и это не влияет ни на свойство функции быть интегрируемой, ни на величину интеграла Римана $\int_a^b f(x) dx)$.

Замечание 2. Если функция $f$ интегрируема по Риману на отрезке $[a, b]$, то, как было установлено ранее, интеграл с переменным верхним пределом $\varphi(\xi)=\int_a^\xi f(x) dx$ является непрерывной на $[a, b]$ функцией. В частности, существует $\lim\limits_{\xi\to b-0}\varphi(\xi)=\int_a^b f(x)dx$. Это означает, что для интегрируемой в смысле Римана функции интеграл в несобственном смысле также существует и их значения совпадают.

Если функция $f$ неограничена в любой левой полуокрестности точки $b$, то эту точку называют особой точкой и говорят, что в точке $b$ функция имеет особенность. Иногда это обозначают так: $\int_a^{(b)} f(x)dx$. Аналогично определяется $\int_{(a)}^b f(x)dx$ с особенностью в точке $a$. Т.е., полагаем
$$\int_{(a)}^b f(x)dx=\int_a^b f(x)dx=\lim\limits_{\eta\to a+0}\int_\eta^b f(x) dx,$$
если предел справа существует. В этом случае интеграл называют сходящимся, в противном случае – расходящимся.

Пример 1. У интеграла $\int_0^1\frac{dx}{\sqrt{1-x^2}}$ имеется особенность в точке $x=0$. Имеем
$$\int_{0}^1 \frac{dx}{\sqrt{1-x^2}}=\lim\limits_{\xi\to {1-0}} \int_{0}^{\xi} \frac{dx}{\sqrt{1-x^2}} = \lim\limits_{\xi\to {1-0}}\arcsin\xi = \arcsin 1=\frac{\pi}{2}.$$

Пример 2. Рассмотрим интеграл $\int_{0}^1\frac{dx}{x^ \alpha}.$ при $\alpha\gt 0$.
Он имеет особенность в точке $x=0$. При $\alpha\neq 1$ имеем: $$ \int_\eta^1 \frac{dx}{x^{\alpha}}=\frac{1}{1-{\alpha}} x^{1-{\alpha}}\bigg|_{\eta}^1=\frac{1}{1-{\alpha}}-\frac{\eta^{1-\alpha}}{1-{\alpha}},$$ а если $\alpha=1$, то $$ \int_{\eta}^1 \frac{dx}{x^{\alpha}}=\ln x\bigg|_\eta^1=\ln\frac{1}{\eta}.$$

Если $\alpha\lt 1$, то существует $$\lim\limits_{\eta \to {0+}}\int_{\eta}^1 \frac{dx}{x^{\alpha}} = \frac{1}{1-\alpha}.$$

Если же $\alpha\geqslant 1$, то предел $\lim\limits_{\eta \to {0+}}\int_{\eta}^1 \frac{dx}{x^{\alpha}}$ не существует. Следовательно, $$ \int_\eta^1 \frac{dx}{x^{\alpha}} = \frac{1}{1-{\alpha}} (\alpha\lt 1)$$
и интеграл расходится при $\alpha\geqslant 1$.

Интеграл с несколькими особенностями определяется как сумма интегралов по таким промежуткам, на каждом из которых имеется лишь одна особенность. При этом интеграл называют сходящимся, если сходятся все
интегралы указанной суммы. Если хотя бы один из них расходится, то и исходный интеграл называют расходящимся.

Пример. Интеграл $\int_{-\infty}^{+\infty}\frac {dx}{\sqrt{x} \sqrt[3]{x-1} \sqrt[4]{x-2}}$ определяется как
$$ \int_{-\infty}^{+\infty}\frac {dx}{\sqrt{x} \sqrt[3]{x-1} \sqrt[4]{x-2}}=\int_{-\infty}^a + \int_a^0 + \int_0^b + \int_b^1 + \int_1^c + \int_c^2 + \int_2^d + \int_d^{+\infty},$$ где $ -\infty \lt a \lt 0 \lt b \lt 1 \lt c \lt 2 \lt d \lt +\infty$.

Примеры решения задач

Пример 1

Вычислить интеграл $\int_{0}^1\frac{dx}{x}.$
\underline {Решение:}

Для данного интеграла особой точкой является точка $0$. $$\int_{0}^1 \frac{dx}{x}=\lim\limits_{\eta \to 0} \int_{\eta}^1 \frac{dx}{x}=\lim\limits_{\eta\to 0} \ln x \bigg|_{\eta}^1 = +\infty.$$

Интеграл $\int_{0}^1\frac{dx}{x}$ расходится.

[свернуть]

Пример 2

Вычислить интеграл $\int_{-1}^1\frac{dx}{\sqrt{1-x^2}}.$
\underline {Решение:}

Для данного интеграла особыми точками являются точки $-1$ и $1$. $$\int_{-1}^1\frac{dx}{\sqrt{1-x^2}}=\int_{-1}^0\frac{dx}{\sqrt{1-x^2}}+\int_{0}^1\frac{dx}{\sqrt{1-x^2}}=\frac{\pi}{2}+\frac{\pi}{2}={\pi}$$ (неопределенный интеграл для данной функции равен: $\int {\frac{dx}{\sqrt{1-x^2}}} = {\mathrm {arcsin}}\,x$.

Таким образом, интеграл $\int_{-1}^1\frac{dx}{\sqrt{1-x^2}}$ сходится и равен $\pi$.

[свернуть]

Несобственные интегралы от неограниченных функций

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме.

Литература

  1. Коляда В.И.,Кореновский А.А. Курс лекций по математическому анализу / В.И.Коляда.-Одесса: Изд-во «Астропринт», 2010. ч.2. -С.106-108.
  2. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления / Г.М.Фихтенгольц.-Москва: Изд-во «Наука», 1964. т.2. -С.579.
  3. Кудрявцев Л.Д. Краткий курс математического анализа / Л.Д.Кудрявцев. -Москва: изд-во «Наука», 1989. -С.397.
  4. Лысенко З.М. Конспект лекций по математическому анализу.

М1153. Задача о наибольшем числе поворотов замкнутого маршрута шахматной ладьи

Задача из журнала «Квант» ( 1989 год, №3).

Какое наибольшее число поворотов может содержать замкнутый маршрут ладьи, обходящей по одному разу все клетки шахматной доски $ 8 \times 8 $ клеток?

Решение

Ответ: $56$ поворотов. Маршрут с $56$ поворотами показан на рисунке 1.

Центрируем изображение
Рис.1

Докажем, что это число нельзя превысить.

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

Назовем клетку доски коридором для данного маршрута, если в ней ладья не делает поворота. Заметим, что из каждой пары клеток, смежных с угловыми, хотя бы одна является коридором — иначе в клетке, соседней с соответствующей угловой по диагонали, ладья побывает дважды (рис.2).

Центрируем изображение
Рис.2

Разобьем доску на $4$ квадрата $4 \times 4$. В каждом из них есть коридор, соседний с угловой клеткой. Покажем, что кроме него есть еще хотя бы один коридор. Рассмотрим, например, левый нижний квадрат (рис.3) и допустим, что клетка $a2$ — коридор.

Центрируем изображение
Рис.3

Предположим, что других коридоров в этом квадрате нет. Тогда, очевидно, что маршрут будет последовательно проходить по клеткам $b2$, $b1$, $a1$, $a2$, $a3$, $b3$, $b4$. Следующей будет клетка $а4$, иначе мы в нее никогда не попадем (или маршрут не замкнется). Теперь можно аналогично продолжить маршрут в другую сторону $b2$, $c2$, $c1$, $d1$, $d2$, $e2$. Из полученного рисунка видно, что маршрут должен содержать участок $d3$, $c3$, $c4$, следовательно одна из клеток — $d3$ или $с4$ — коридор (это доказывается также, как для угловых клеток — см. начало решения).

Итак, число коридоров не меньше $ 2 \times 4 = 8 $, а число поворотов — не больше $ 64 — 8 = 56 $.

М.Г.Хованов