Русская Википедия:Интеграл Римана
Интегра́л Ри́мана — наиболее широко используемый вид определённого интеграла. Очень часто под термином «определённый интеграл» понимается именно интеграл Римана, и он изучается самым первым из всех определённых интегралов во всех курсах математического анализа.Шаблон:Sfn Введён Бернхардом Риманом в 1854 году, и является одной из первых формализаций понятия интеграла.Шаблон:Sfn
Неформальное описание
Интеграл Римана есть формализация понятия площади под графиком. Разобьём отрезок, над которым мы ищем площадь, на конечное число подотрезков. На каждом из подотрезков выберем некоторую точку графика и построим вертикальный прямоугольник с подотрезком в качестве основания до той самой точки графика. Рассмотрим фигуру, полученную из таких прямоугольников. Площадь S такой фигуры при конкретном разбиении на отрезки длинами <math>\Delta x_i</math> будет задаваться суммой:
- <math>\sigma = \sum_i f(x_i) \Delta x_i</math>
Интуитивно понятно, что если мы будем уменьшать длины этих подотрезков, то площадь такой фигуры будет всё больше и больше приближаться к площади под графиком. Именно это замечание и приводит к определению интеграла Римана.Шаблон:Sfn
Определение
Классическое определение
Пусть на отрезке <math>[a,b]</math> определена вещественнозначная функция <math>f</math>. Будем считать <math>a < b</math>.
Для определения интеграла прежде всего необходимо сначала определить понятие разбиения отрезка и остальные связанные с ним определения.
Разбиением (неразмеченным) отрезка <math>[a,b]</math> назовём конечное множество точек отрезка <math>[a,b]</math>, в которое входят точки <math>a</math> и <math>b</math>. Как видно из определения, в разбиение всегда входят хотя бы две точки. Точки разбиения можно расположить по возрастанию: <math>a=x_0 < x_1 < x_2 < \dots < x_{n-1} < x_n=b</math>. Множество всех разбиений отрезка <math>[a;b]</math> будем обозначать <math>T[a;b]</math>.
Точки разбиения, между которыми нет других точек разбиения, называются соседними. Отрезок, концами которого являются соседние точки разбиения, называется частичным отрезком разбиения. Такие отрезки обозначим <math>\Delta_i = [x_{i-1};x_i]</math>. Длину частичного отрезка разбиения <math>\Delta_i</math> обозначим за <math>\Delta x_i</math>. Длина наибольшего из отрезков называется диаметром разбиения. Для разбиения <math>\tau</math> его диаметр обозначим как <math>d(\tau)</math>.
Разметкой разбиения называется конечное упорядоченное множество <math>(\xi_1,\ldots,\xi_n)</math> такое, что <math>\xi_i \in \Delta_i</math>. Множество всех разметок разбиения <math>\tau</math> будем обозначать как <math>\Xi(\tau)</math>.
Размеченным разбиением называется упорядоченная пара <math>(\tau,\xi)</math>, где <math>\tau</math> — неразмеченное разбиение, <math>\xi</math> — некоторая разметка <math>\tau</math>. Множество всех размеченных разбиений отрезка <math>[a;b]</math> будем обозначать как <math>T'[a;b]</math>.
После всех этих определений можно приступить к непосредственному определению интеграла Римана.
Пусть задано некоторое размеченное разбиение <math>(\tau,\xi)</math>. Интегральной суммой Римана функции <math>f</math> на размеченном разбиении <math>(\tau,\xi)</math> называется <math>\sigma(f,\tau,\xi)=\sum_{i=1}^n f(\xi_i)\Delta x_i</math>. Интегралом Римана будет предел этих сумм при диаметре разбиения, стремящемуся к нулю. Однако здесь есть одна тонкость: это предел от функции с отмеченными разбиениями в качестве аргументов, а не числами, и обычное понятие предела при стремлении к точке здесь неприменимо. Необходимо дать формальное описание того, что же мы имеем в виду под фразой «предел при диаметре разбиения, стремящемуся к нулю»
Пусть <math>g: T'[a;b] \rightarrow \mathbb{R}</math> — функция, ставящая в соответствие размеченному разбиению некоторое число. Число <math>c</math> называется пределом функции <math>g</math> при диаметре разбиений, стремящемуся к нулю, если
- <math>\forall \varepsilon > 0 \ \exists \delta > 0 \ \forall (\tau,\xi) \in T'[a;b], d(\tau) < \delta : |g(\tau,\xi)-c| < \varepsilon</math>
Обозначение: <math>c = \lim_{d(\tau) \to 0} g(\tau,\xi)</math>
Такой предел является частным случаем предела по базе. Действительно, обозначим множество всех размеченных разбиений с диаметром меньше <math>\delta</math> как <math>D'_\delta</math>. Тогда множество <math>\mathfrak{B}=\{D'_\delta|\delta>0\}</math> является базой на множестве <math>T'[a;b]</math>, а предел, определённый выше, есть не что иное, как предел по этой базе. Таким образом, для таких пределов выполняются все свойства, присущие пределам по базе.
Наконец, мы можем дать определение интеграла Римана. Интегралом Римана функции <math>f</math> в пределах от <math>a</math> до <math>b</math> называется предел интегральных сумм Римана функции <math>f</math> на размеченных разбиениях отрезка <math>[a;b]</math> при диаметре разбиения, стремящемуся к нулю. С использованием обозначения интеграла это записывается так:
- <math>\int_a^b f(x)\,dx=\lim_{d(\tau) \to 0} \sigma(f,\tau,\xi)</math>
Интеграл Римана также определяется для случая <math>a \geq b</math>. Для <math>a > b</math> он определяется как
- <math>\int_a^b f(x)\,dx=-\int_b^a f(x)\,dx</math>
Для <math>a = b</math> как
- <math>\int_a^a f(x)\,dx=0</math>Шаблон:Sfn
Через интегралы Дарбу
Шаблон:Main Интеграл Римана можно определить альтернативным способом через интегралы Дарбу. Обычно такое определение доказывается как свойство, а теорема об их эквивалентности называется теоремой Дарбу. Преимущества такого определения в том, что оно позволяет обойтись без понятия размеченного разбиения, предела по разбиению и даёт более наглядный взгляд на понятие интегрируемости.
Для неразмеченного разбиения <math>\tau</math> обозначим за <math>m_i</math> точную нижнюю грань функции <math>f</math> на отрезке <math>\Delta_i</math>, за <math>M_i</math> — точную верхнюю грань.
Нижней суммой Дарбу называется <math>s(f,\tau)=\sum_{i=1}^n m_i \Delta x_i</math>.
Верхней суммой Дарбу называется <math>S(f,\tau)=\sum_{i=1}^n M_i \Delta x_i</math>.Шаблон:Sfn
Нижним интегралом Дарбу называется <math>I_*=\sup_{\tau \in T[a;b]} s(f,\tau)</math>.
Верхним интегралом Дарбу называется <math>I^*=\inf_{\tau \in T[a;b]} S(f,\tau)</math>.Шаблон:Sfn
Интегралы Дарбу существуют для любой ограниченной на отрезке интегрирования функции. Если интегралы Дарбу совпадают и конечны, то функция <math>f</math> называется интегрируемой по Риману на отрезке <math>[a;b]</math>, а само это число — интегралом Римана.Шаблон:Sfn
Интеграл Дарбу может быть определён также через предел по неразмеченным разбиениям, при диаметре разбиения, стремящемуся к нулю. Предел по неразмеченным разбиениям определяется аналогично пределу по размеченным, но мы дадим формализацию и этого понятия тоже. Пусть <math>g: T[a;b] \rightarrow \mathbb{R}</math> — функция, ставящая в соответствие неразмеченному разбиению некоторое число. Число <math>c</math> называется пределом функции <math>g</math> при диаметре разбиений, стремящемуся к нулю, если
- <math>\forall \varepsilon > 0 \ \exists \delta > 0 \ \forall \tau \in T[a;b], d(\tau) < \delta : |g(\tau)-c| < \varepsilon</math>
Обозначение: <math>c = \lim_{d(\tau) \to 0} g(\tau)</math>Шаблон:Sfn
Такой предел также является частным случаем предела по базе. Базой здесь будет множество <math>\mathfrak{B}=\{D_\delta|\delta>0\}</math>, где <math>D_\delta=\{\tau \in T[a;b]|d(\tau) < \delta\}</math>.Шаблон:Sfn Тогда:
Нижним интегралом Дарбу называется <math>I_*=\lim_{d(\tau) \to 0} s(f,\tau)</math>.
Верхним интегралом Дарбу называется <math>I^*=\lim_{d(\tau) \to 0} S(f,\tau)</math>.Шаблон:Sfn
Интегрируемые функции
Функция, для которой интеграл Римана в пределах от <math>a</math> до <math>b</math> существует (если предел равен бесконечности, то считается, что интеграл не существует), называется интегрируемой по Риману на отрезке [a;b].Шаблон:Sfn Множество функций <math>f:[a;b]\rightarrow\mathbb{R}</math>, интегрируемых на отрезке <math>[a;b]</math>, называется множеством интегрируемых на <math>[a;b]</math> функций и обозначается <math>R[a;b]</math>.
Основным и наиболее удобным условием интегрируемости является критерий Лебега: множество интегрируемых на отрезке функций это в точности множество ограниченных и непрерывных почти всюду на этом отрезке функций. Этот критерий позволяет практически сразу получить большинство достаточных условий интегрируемости. Однако доказательство данного утверждения довольно сложное, из-за чего при методическом изложении его часто опускают и основывают дальнейшие доказательства на критерии Римана. Доказательства существования интеграла Римана на основе критерия Римана получаются сложнее, чем на основе критерия Лебега.
Критерии интегрируемости
- Критерий Коши. Функция интегрируема по Риману на отрезке <math>[a,b]</math>, если
- <math>\forall \varepsilon > 0\ \exists \delta > 0\ \forall (\tau',\xi'),(\tau,\xi) \in T'[a;b],d(\tau') < \delta,d(\tau) < \delta : |\sigma(f,\tau',\xi')-\sigma(f,\tau,\xi)| < \varepsilon</math>Шаблон:Sfn
- Данный критерий есть ни что иное, как запись критерия Коши сходимости по базе для случая интеграла Римана.
- Критерий Дарбу. Функция интегрируема по Риману на отрезке <math>[a,b]</math>, тогда и только тогда, когда верхний интеграл Дарбу совпадает с нижним и конечен.Шаблон:Sfn
- На этом критерии основывается альтернативное определение интеграла Римана.
- Критерий Римана. Определим колебание функции <math>f(x)</math> на множестве <math>E</math> как <math>\omega(f,G)=\sup_{x\in E} f(x) - \inf_{x\in E} f(x)=\sup_{x,y\in E} |f(x)-f(y)|</math>.Шаблон:Sfn
- Тогда <math>\Omega</math>-суммой функции <math>f</math> на разбиении <math>\tau</math> называется <math>\Omega(f,\tau)=\sum_{i=1}^n \omega(f,\Delta_i) = S(f,\tau) - s(f,\tau)</math>.Шаблон:SfnШаблон:Sfn
- Функция интегрируема по Риману тогда и только тогда, когда она ограничена и предел <math>\Omega</math>-сумм при стремлении диаметра разбиения к нулю равен <math>0</math>.Шаблон:Sfn
- Инфинум-критерий Римана. Есть также вариация критерия Римана с использованием понятия точной грани, а не предела: функция интегрируема тогда и только тогда, когда <math>\inf_{\tau \in T[a;b]}\Omega(f,\tau) = 0</math>.Шаблон:SfnШаблон:Sfn
- Специальный критерий Римана. На самом деле в критерии Римана можно потребовать более слабые условия.
- Обозначим за <math>\tau_n</math> разбиение отрезка на <math>n</math> равных сегментов. Функция интегрируема на этом отрезке тогда и только тогда, когда последовательность <math>\Omega(f,\tau_n)</math> стремится к нулю.Шаблон:Sfn
- Специальный инфинум-критерий Римана. Функция интегрируема на отрезке тогда и только тогда, когда <math>\inf_{n\in\mathbb{N}}\Omega(f,\tau_n) = 0</math>.Шаблон:Sfn
- Критерий Дюбуа-Реймона. Определим колебание функции в точке как точную нижнюю грань значения колебаний функции в окрестности этой точки (если область определения функции не включает полную окрестность точки, то тогда рассматриваются только те точки окрестности, которые входят в область определения).
- <math>\omega(f,x_0)=\inf_{U(x_0)}\omega(f,U(x_0)\cap X)</math>Шаблон:Sfn
- По сути колебание функции в точке представляет собой отличие функции от непрерывной. В точке непрерывности оно равно <math>0</math>, в точке разрыва оно больше <math>0</math>.
- Функция интегрируема по Риману тогда и только тогда, когда она ограничена и для любых <math>\varepsilon</math> множество всех точек <math>x\in [a;b]</math> в котором <math>\omega(f,x) \geq \varepsilon</math> имеет нулевую меру Жордана (то есть для любого <math>\delta>0</math> может быть покрыто конечным множеством интервалов с суммарной длиной меньше <math>\delta</math>).Шаблон:Sfn
- Критерий Лебега. Функция интегрируема по Риману на отрезке <math>[a,b]</math>, тогда и только тогда, когда на этом отрезке она ограничена, и множество точек, где она разрывна, имеет нулевую меру Лебега (то есть для любого <math>\varepsilon>0</math> может быть покрыто счётным семейством интервалов с суммарной длиной меньше <math>\varepsilon</math>).Шаблон:Sfn
Достаточные условия интегрируемости
Все перечисленные далее достаточные условия интегрируемости практически сразу следуют из критерия Лебега.
- Непрерывная на отрезке функция интегрируема на нёмШаблон:Sfn
- Ограниченная на отрезке функция, разрывная в конечном числе его точек, интегрируема на этом отрезкеШаблон:Sfn
- Монотонная на отрезке функция, интегрируема на нёмШаблон:Sfn
- Произведение интегрируемой функции на число интегрируемоШаблон:Sfn
- Сумма интегрируемых функций интегрируемаШаблон:Sfn
- Произведение интегрируемых функций интегрируемоШаблон:Sfn
- Если отношение двух интегрируемых функций ограничено, то оно интегрируемо. Частный случай — если множество значений знаменателя не имеет <math>0</math> предельной точкой.Шаблон:Sfn
- Модуль интегрируемой функции интегрируем.Шаблон:Sfn
- Композиция функций <math>f(g(x))</math>, где <math>f</math> — непрерывна на отрезке <math>[\inf g(x), \sup g(x)]</math>, а <math>g</math> — интегрируема на <math>[a;b]</math>, интегрируема на <math>[a;b]</math>.Шаблон:Sfn
- Если функция интегрируема на некотором отрезке, то она интегрируема на любом из его подотрезков.Шаблон:Sfn
- Пусть <math>a<b<c</math> и функция <math>f</math> интегрируема на <math>[a;b]</math> и <math>[b;c]</math>. Тогда она интегрируема на <math>[a;c]</math>.Шаблон:Sfn
Свойства
Дальнейшие свойства выполняются только если соответствующие интегралы существуют.
- Необходимое условие интегрируемости. Интегрируемая на отрезке <math>[a;b]</math> функция ограничена на нём.Шаблон:Sfn
- Неотрицательность. Для неотрицательной на отрезке <math>[a;b]</math> функции, <math>a<b</math>
- <math>\int_a^b f(x)\,dx \geq 0</math>Шаблон:Sfn
- Положительность. Для неотрицательной и непрерывной на отрезке <math>[a;b]</math> функции, <math>a<b</math>, которая хотя бы в одной точке отлична от нуля
- <math>\int_a^b f(x)\,dx > 0</math>Шаблон:Sfn
- Линейность.
- <math>\int_a^b (f(x)+g(x))\,dx=\int_a^b f(x)\,dx+\int_a^b g(x)\,dx</math>Шаблон:Sfn
- Для существования всех этих трёх интегралов достаточно существования двух из них.
- Для любого <math>\lambda \in \mathbb{R}</math>
- <math>\int_a^b \lambda f(x)\,dx = \lambda \int_a^b f(x)\,dx</math>Шаблон:Sfn
- Из существования правого интеграла следует существование левого. Если <math>\lambda \neq 0</math>, то из существования левого следует существование правого.
- Аддитивность. Для произвольных чисел <math>a,b,c</math>
- <math>\int_a^c f(x)\,dx=\int_a^b f(x)\,dx+\int_b^c f(x)\,dx</math>Шаблон:Sfn
- Для существования всех этих трёх интегралов достаточно либо существования интеграла по большему отрезку, либо по двум меньшим.
- Монотонность. Пусть <math>a<b</math> и <math>f(x) \leq g(x)</math> на <math>[a;b]</math>. Тогда
- <math>\int_a^b f(x) \,dx \leq \int_a^b g(x) \,dx</math>Шаблон:Sfn
- Оценка. Пусть <math>a<b</math>, <math>m=\inf_{x \in [a;b]} f(x)</math>, <math>M=\sup_{x \in [a;b]} f(x)</math>. Тогда
- <math>m(b-a) \leq \int_a^b f(x) \,dx \leq M(b-a)</math>Шаблон:Sfn
- Оценка модуля. Пусть <math>a<b</math>.
- <math>\left|\int_a^b f(x) \,dx \right| \leq \int_a^b \left| f(x)\right| \,dx</math>Шаблон:Sfn
- Для существования этих двух интегралов достаточно существования левого интеграла.
- Существует вариация этого свойства на случай произвольных <math>a</math> и <math>b</math>.
- <math>\left|\int_a^b f(x) \,dx \right| \leq \left|\int_a^b \left| f(x)\right| \,dx\right|</math>Шаблон:Sfn
- Теорема о среднем. Для лучшего понимания сначала сформулируем теорему о среднем в несколько упрощённой формулировке.
- Средним значением функции <math>f</math> на отрезке <math>[a;b]</math> называется <math>\frac{1}{b-a}\int_a^b f(x)\,dx</math>.
- Теорема о среднем гласит: непрерывная на отрезке функция в некоторой точке этого отрезка принимает своё среднее значение.
- <math>\exist c\in [a;b] : f(c) = \frac{1}{b-a}\int_a^b f(x)\,dx</math>
- Можно записать это условие без деления на <math>b-a</math>, чтобы покрыть случай, когда <math>a=b</math>.
- <math>\exist c\in [a;b] : \int_a^b f(x)\,dx = f(c)(b-a)</math>
- В такой записи теорема о среднем верна для любых значений <math>a</math> и <math>b</math>.
- На деле же верно куда более общее условие. Пусть <math>f</math> интегрируема на <math>[a;b]</math>, <math>m = \inf_{x\in [a;b]} f(x)</math>, <math>M = \sup_{x\in [a;b]} f(x)</math>. Тогда
- <math>\exist \mu\in [m;M] : \int_a^b f(x)\,dx = \mu(b-a)</math>Шаблон:Sfn
- Эту теорему также иногда называют интегральной теоремой о среднем для отличия от следующей.Шаблон:Sfn
- Обобщённая теорема о среднем. Пусть функция <math>f</math> интегрируема на отрезке <math>[a;b]</math>, <math>m = \inf_{x\in [a;b]} f(x)</math>, <math>M = \sup_{x\in [a;b]} f(x)</math>, а функция <math>g</math> интегрируема и знакопостоянна. Тогда
- <math>\exist \mu\in [m;M] : \int_a^b f(x)g(x)\,dx = \mu\int_a^b g(x)\,dx</math>Шаблон:Sfn
- Теорема вновь верна для любых <math>a</math> и <math>b</math>.
- Для этой теоремы можно также привести вариацию в случае непрерывности <math>f</math>.Шаблон:Sfn
- <math>\exist c\in [a;b] : \int_a^b f(x)g(x)\,dx = f(c)\int_a^b g(x)\,dx</math>
- Иногда теоремой о среднем называют именно эту теорему, а не предыдущую. Также, для отличия от последующей, эту теорему называют первой теоремой о среднем.Шаблон:Sfn
- Вторая теорема о среднем. Пусть функция <math>f</math> интегрируема на отрезке <math>[a;b]</math>, а функция <math>g</math> монотонна. Тогда
- <math>\exist c\in [a;b] : \int_a^b f(x)g(x)\,dx = g(a)\int_a^c f(x)\,dx+g(b)\int_c^b f(x)\,dx</math>Шаблон:Sfn
- У второй теоремы о среднем есть вариации для неотрицательных функций <math>g</math>. Пусть функция <math>f</math> интегрируема на отрезке <math>[a;b]</math>, а функция <math>g</math> неотрицательна и не возрастает. Тогда
- <math>\exist c\in [a;b] : \int_a^b f(x)g(x)\,dx = g(a)\int_a^c f(x)\,dx</math>Шаблон:Sfn
- Пусть функция <math>f</math> интегрируема на отрезке <math>[a;b]</math>, а функция <math>g</math> неотрицательна и не убывает. Тогда
- <math>\exist c\in [a;b] : \int_a^b f(x)g(x)\,dx = g(b)\int_c^b f(x)\,dx</math>Шаблон:Sfn
- Независимость от множеств меры нуль. Если две функции интегрируемы на отрезке и равны на нём почти всюду, то их интегралы также равны. Таким образом, значение интеграла Римана не зависит от значения функции на множестве меры нуль. Однако его существование зависит: к примеру ноль и функция Дирихле равны почти всюду, однако интеграл от первой функции существует, а от второй нет.
Интеграл с верхним переменным пределом
Функция <math>h(x)</math>, определяемая при помощи интеграла следующим образом
- <math>h(x) = \int_a^x f(t)\,dt</math>
называется интегралом с верхним переменным пределом.Шаблон:Sfn
Свойства:
- Область определения <math>\int_a^x f(t)\,dt</math> есть промежуток, в который входит точка <math>a</math>
- Интеграл с верхним переменным пределом <math>\int_a^x f(t)\,dt</math> непрерывен.Шаблон:Sfn
- Более того, интеграл с верхним переменном пределом является Липшицевой функцией
- В точках <math>x</math>, в которых <math>f(x)</math> непрерывна, интеграл с верхним переменным пределом <math>\int_a^x f(t)\,dt</math> дифференцируем и значение его производной равно <math>f(x)</math>.Шаблон:Sfn
Последнее свойство позволяет с помощью интеграла с верхним переменным пределом записать первообразную функции. Таким образом, оно связывает неопределённый интеграл и определённый следующим соотношением:
- <math>\int f(x)\,dx=\int_a^x f(t)\,dt+C</math>
Это равенство также верно в случае если <math>f</math> интегрируема и имеет первообразную на <math>[a;b]</math>.Шаблон:Sfn
Вычисление
Для вычисления интегралов Римана в простейших случаях используется формула Ньютона-Лейбница, которая является следствием свойств интеграла с верхним переменным пределом.
Формула Ньютона-Лейбница. Пусть <math>f(x)</math> непрерывна на <math>[a;b]</math>, <math>F(x)</math> её первообразная на <math>[a;b]</math>, <math>a \neq b</math>. Тогда
- <math>\int_a^b f(x) \,dx = F(b) - F(a)</math>Шаблон:Sfn
При практическом вычислении также используют следующие приёмы:
- Замена переменной. Пусть требуется вычислить интеграл
- <math>\int_a^b f(x)\,dx</math>
- Выполняется замена <math>x=\varphi(t)</math>, после чего пересчитываются пределы интегрирования и дифференциал:
- <math>a=\varphi(\alpha),b=\varphi(\beta),dx=\varphi'(t)\,dt</math>
- Тогда
- <math>\int_a^b f(x)\,dx=\int_\alpha^\beta f(\varphi(t))\varphi'(t)\,dt</math>
- Для того, чтобы такая замена была законной, требуется непрерывность <math>f</math> и непрерывная дифференцируемость и строгая монотонность <math>\varphi</math>.Шаблон:Sfn
- Интегрирование по частям. Метод интегрирования по частям состоит в применении следующей формулы:
- <math>\int_a^b u\,dv = (uv) \bigr|_a^b - \int_a^b v\,du</math>
- Формула законна, если <math>u</math> и <math>v</math> непрерывно-дифференцируемы.Шаблон:Sfn
На самом деле многие из указанных условий для формулы Ньютона-Лейбница и перечисленных двух приёмах избыточны и их можно существенно ослабить.Шаблон:SfnШаблон:SfnШаблон:Sfn Однако такие условия будут более сложными, к тому же, для большинства практически встречающихся случаев указанных условий достаточно. Более того, в приведёном виде эти условия также гарантируют существование всех интегралов, что позволяет ограничиться одной лишь проверкой этих простых условий перед применением соответствующих методов.
- Интегрирование нечётной функции. Пусть <math>f</math> нечётная интегрируемая на отрезке <math>[-a;a]</math> функция. Тогда
- <math>\int_{-a}^a f(x) \,dx = 0</math>Шаблон:Sfn
- Интегрирование чётной функции. Пусть <math>f</math> чётная интегрируемая на отрезке <math>[-a;a]</math> функция. Тогда
- <math>\int_{-a}^a f(x) \,dx = 2\int_{0}^a f(x) \,dx </math>Шаблон:Sfn
- Интегрирование периодической функции. Пусть <math>f</math> имеет период <math>T</math> и интегрируема на <math>[0;T]</math>. Тогда она интегрируема на любом отрезке и для любого <math>a</math>
- <math>\int_a^{a+T} f(x)\,dx = \int_0^T f(x)\,dx</math>Шаблон:Sfn
История
Приведенное выше определение интеграла дано КошиШаблон:Sfn, оно применялось только для непрерывных функций.
Риман в 1854 году (опубликовано в 1868 годуШаблон:Sfn, на русском языке впервые в 1914 годуШаблон:SfnШаблон:Sfn) дал это же определение без предположения непрерывности. Современный вид теории Римана придал Дарбу (1879).
Вариации и обобщения
- Интеграл Римана от частично заданных функций. Иногда имеет смысл определить интеграл Римана для функций, частично заданных на отрезке <math>[a;b]</math>. Он определяется, если при любом достроении функции до полностью заданной её интеграл равен одному и тому же значению. В этом случае это значение считается интегралом Римана от частично заданной функции. К примеру: можно рассматривать функции, не определённые в конечном числе точек. Если при этом во всех остальных точках они непрерывны почти всюду, то любое достроение до полностью заданной функции интегрируемо, и их значения равны, так как значение интеграла не зависит от значения на множестве меры нуль. Для таких функций даже существует обобщение формулы Ньютона-Лейбница.Шаблон:Sfn Однако уже даже для счётного множества это выполняется не всегда. Возьмём функцию <math>0</math>, заданную только на множестве иррациональных чисел. Её можно разными путями доопределить до <math>0</math> и до функции Дирихле. В одном случая она интегрируема, в другом нет. С другой стороны, если рассмотреть <math>0</math>, неопределённый на множестве Кантора, то любое достроение такой функции будет интегрируемо.
- Интеграл Римана от векторнозначных функций. Интеграл Римана можно определить для функций, со значениями в любом топологическом векторном пространстве над <math>\mathbb{R}</math>. К примеру можно рассмотреть интеграл от вектор-функций (функции из <math>\mathbb{R}</math> со значениями в евклидовом пространстве). Такие функции интегрируются покоординатно, из-за чего практически все свойства переносятся и на них тоже.Шаблон:Sfn
- Несобственный интеграл Римана. Иногда возникает потребность в рассмотрении интеграла на бесконечном промежутке или от неограниченной функции. Несобственный интеграл это обобщение интеграла Римана на такие случаи. Для бесконечных промежутков несобственный интеграл определяется так:
- <math>\int_a^{+\infty}f(x)\,dx=\lim_{y\to +\infty}\int_a^y f(x)\,dx</math>
- Для конечных промежутков с неограниченной функцией в окрестности верхнего предела определяется так:
- <math>\int_a^b f(x)\,dx=\lim_{y\to b-}\int_a^y f(x)\,dx</math>
- Остальные случаи определяются аналогично. Если встречаются бесконечные точки разрыва внутри промежутка или оба предела бесконечны, то интеграл по аддитивности разбивается на несколько.
- Ключевая особенность такого определения в том, что для интегрируемых функций такие пределы совпадают с обычными (называемыми собственными для отличия от несобственных) интегралами. Таким образом, несобственный интеграл Римана представляет собой именно обобщение собственного.
- Кратный интеграл Римана. Кратный интеграл берётся от функций многих переменных по некоторому подмножеству <math>\mathbb{R}^n</math>. Рассматриваются разбиения этих множеств на измеримые по Жордану подмножества. В них отмечаются точки и составляются интегральные суммы (вместо длин интервалов берутся меры Жордана соответствующих подмножеств). Диаметром подмножества такого разбиения считается супремум всех расстояний между точками. Диаметром самого разбиения — минимальный диаметр разбиений подмножеств. Предел интегральных сумм при стремлении диаметра разбиений к нулю и называется кратным интегралом.
- Многие свойства кратных интегралов совпадают с обычными, но некоторые нет (к примеру, формула замены переменных). Вопреки распространённому заблуждению, точным обобщением интеграла Римана не являются, поскольку кратный интеграл берётся по неориентированному множеству, а обычный требует задания направления у отрезка.
- Криволинейный интеграл. Аналогично кратному интегралу, берётся от функции нескольких переменных, однако уже по кривой. Кривая также разбивается на подкривые, значения функции умножаются на длины соответствующих подкривых и суммируются между собой.
- Поверхностный интеграл. Практически аналогично криволинейному интегралу, с тем отличием, что берётся по поверхности, и значения функций в отмеченных точках умножаются на площади соответствующих участков.
- Интеграл Лебега. Альтернативный подход к определению интеграла. Здесь вместо разбиения области определения интегрируемой функции разбивается область значений, после чего точки разбиения умножаются на меры прообразов этих сегментов и суммируются между собой. Такие суммы при увеличении верхней точки разбиения, уменьшения нижней и стремлении его диаметра к нулю стремятся к интегралу Лебега.
См. также
- Интеграл Лебега и равносильные ему интеграл Даниэля, интеграл Юнга
- Интеграл Стилтьеса
- Кратный интеграл Римана
- Несобственный интеграл
Примечания
Литература
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Книга
Ссылки
- Таблицы неопределенных и определенных интегралов — EqWorld: Мир математических уравнений.
- Строгое определение интеграла Римана.
Шаблон:Библиоинформация Шаблон:^v Шаблон:Интегральное исчисление