Интеграл

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Определённый интеграл как площадь фигуры

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

Процесс нахождения интеграла называется интегрированием.

Согласно основной теореме анализа, интегрирование является операцией, обратной дифференцированию, чем помогает решать дифференциальные уравнения.

Существует несколько различных определений операции интегрирования, отличающихся в технических деталях. Однако все они совместимы, то есть любые два способа интегрирования, если их можно применить к данной функции, дадут один и тот же результат. Наиболее простым является интеграл Римана.

Общее определение[править | править вики-текст]

Основной источник: [1]

Пусть E — измеримое множество, а f(x) — неотрицательная вещественная функция, заданная на E. Разобъём E на конечное число непересекающихся измеримых частей E = \bigcup_{i=1}^{n}E_{i}, E_{i} \bigcap E_{j} = \varnothing при i \ne j. Пусть u_{i}=\inf_{E_{i}}f(x). Рассмотрим сумму \sum_{i=1}^{n}u_{i} \mu E_{i}.Здесь \mu E_{i} — мера подмножества E_{i}. Точная верхняя граница таких сумм, составленных для всевозможных разбиений множества E указанного вида, конечная или бесконечная, \int_E f(x) d\mu = \sup \sum_{i=1}^{n} u_{i} \mu E_{i} называется интегралом от f(x) по множеству E и обозначается \int_E f(x) d\mu. Если \int_E f(x) d\mu < \infty, то неотрицательная функция f(x) называется интегрируемой или суммируемой на множестве E. Пусть теперь f(x) — произвольная вещественная функция, заданная на E. Рассмотрим функции


f_{+}(x)=
\begin{cases}
  f(x),\quad f(x)>0\\
  0,\quad f(x) \leqslant 0
\end{cases}

и


f_{-}(x) = 
\begin{cases}
  0,\quad f(x) \geqslant 0\\
  -f(x),\quad f(x) < 0
\end{cases}
.

Обе эти функции неотрицательны на множестве E и поэтому для них определены конечные или бесконечные интегралы \int_E f_{+}(x) d\mu и \int_E f_{-}(x) d\mu. Если по крайней мере один из этих интегралов конечен, то разность: \int_E f_{+}(x) d\mu - \int_E f_{-}(x) d\mu называется интегралом от f(x) по E и обозначается \int_E f(x) d\mu. Если оба интеграла \int_E f_{+}(x) d\mu и \int_E f_{-}(x) d\mu конечны, то конечен и интеграл \int_E f(x) d\mu. В этом случае функция f(x) называется интегрируемой или суммируемой на E.

Типы интегралов[править | править вики-текст]

По области интегрирования[править | править вики-текст]

Интегралы, зависящие от параметров[править | править вики-текст]

Дифференцирование по параметру[править | править вики-текст]

Пусть задан интеграл вида

I(t) = \int\limits_{x_1(t)}^{x_2(t)}f(x,t)\mathrm dx.

В таком случае, производная по параметру t будет равна[2]

\frac{\mathrm dI}{\mathrm dt} = f(x_2,t)\frac{\mathrm dx_2}{\mathrm dt} - f(x_1,t)\frac{\mathrm dx_1}{\mathrm dt} + \int\limits_{x_1(t)}^{x_2(t)}\frac{\partial f}{\partial t}\mathrm dx.

История[править | править вики-текст]

Интеграл в древности[править | править вики-текст]

Интегрирование прослеживается ещё в древнем Египте, примерно в 1800 г. до н. э.[источник не указан 353 дня], Московский математический папирус демонстрирует знание формулы объёма усечённой пирамиды. Первым известным методом для расчёта интегралов является метод исчерпывания Евдокса (примерно 370 до н. э.), который пытался найти площади и объёмы, разрывая их на бесконечное множество частей, для которых площадь или объём уже известны. Этот метод был подхвачен и развит Архимедом, и использовался для расчёта площадей парабол и приближенного расчёта площади круга. Аналогичные методы были разработаны независимо в Китае в 3-м веке н. э. Лю Хуэйем, который использовал их для нахождения площади круга. Этот метод впоследствии использовали Цзу Чунчжи и Цзу Гэн для нахождения объёма шара.

Следующий крупный шаг в исчисление интегралов был сделан в Ираке, в XI веке, математиком Ибн ал-Хайсамом (известным как Alhazen в Европе), в своей работе «Об измерении параболического тела» он приходит к уравнению четвёртой степени. Решая эту проблему, он проводит вычисления, равносильные вычислению определённого интеграла, чтобы найти объём параболоида. Используя математическую индукцию, он смог обобщить свои результаты для интегралов от многочленов до четвёртой степени. Таким образом, он был близок к поиску общей формулы для интегралов от полиномов, но он не касается любых многочленов выше четвёртой степени.

Следующий значительный прогресс в исчислении интегралов появится лишь в XVI веке. В работах Кавальери с его методом неделимых, а также в работах Ферма, были заложены основы современного интегрального исчисления. Дальнейшие шаги были сделаны в начале XVII века Барроу и Торричелли, которые представили первые намеки на связь между интегрированием и дифференцированием.

Обозначение[править | править вики-текст]

Ньютон использовал (не везде) в качестве символа интегрирования значок квадрата (перед обозначением функции или вокруг него), но эти обозначения не получили широкого распространения. Современное обозначение неопределённого интеграла было введено Лейбницем в 1675 году. Он образовал интегральный символ \int из буквы ſ («длинная s») — сокращения слова лат. summa (тогда ſumma, сумма).[3] Современное обозначение определённого интеграла, с указанием пределов интегрирования, были впервые предложены Жаном Батистом Жозефом Фурье в 1819-20 годах.

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

  1. Соболев В. И. Лекции по дополнительным главам математического анализа. — М.: Наука, 1968 — стр. 101
  2. Будылин А. М. Вариационное исчисление (рус.). Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета. — Цифровое издание. Часть 3.3.1. Дифференцирование интеграла по параметру.. Проверено 10 июля 2011. Архивировано из первоисточника 18 февраля 2012.
  3. Florian Cajori A history of mathematical notations. — Courier Dover Publications, 1993. — P. 203. — 818 p. — (Dover books on mathematics). — ISBN 9780486677668

Литература[править | править вики-текст]

  • Песин И. Н. Развитие понятия интеграла. — 1966.
  • Никольский С. М. Глава 9. Определенный интеграл Римана // Курс математического анализа. — 1990. — Т. 1.
  • Ильин В. А., Позняк, Э. Г. Глава 6. Неопределенный интеграл // Основы математического анализа. — 1998. — Т. 1. — (Курс высшей математики и математической физики).
  • Ильин В. А., Позняк, Э. Г. Глава 10. Определенный интеграл // Основы математического анализа. — 1998. — Т. 1. — (Курс высшей математики и математической физики).
  • Демидович Б.П. Отдел 3. Неопределенный интеграл // Сборник задач и упражнений по математическому анализу. — 1990. — (Курс высшей математики и математической физики).
  • Демидович Б.П. Отдел 4. Определенный интеграл // Сборник задач и упражнений по математическому анализу. — 1990. — (Курс высшей математики и математической физики).

Ссылки[править | править вики-текст]