МатАнПрод:ВопросыКлк2сем: различия между версиями
Ivabus (обсуждение | вклад) |
Ivabus (обсуждение | вклад) |
||
Строка 219: | Строка 219: | ||
== Определенный интеграл. Эквивалентность различных определений. Свойства линейности и аддитивности интеграла Римана. Теорема о среднем. == | == Определенный интеграл. Эквивалентность различных определений. Свойства линейности и аддитивности интеграла Римана. Теорема о среднем. == | ||
Пусть <math>f: [a, b] \to \mathbb{R}</math>. | |||
* '''Разбиение''' <math>\tau</math> отрезка <math>[a, b]</math>: <math>a = x_0 < x_1 < \dots < x_n = b</math>. | |||
* '''Частичный отрезок:''' <math>\Delta_i = [x_{i-1}, x_i]</math>. | |||
* '''Длина отрезка:''' <math>\Delta x_i = x_i - x_{i-1}</math>. | |||
* '''Ранг (мелкость) разбиения:''' <math>\lambda(\tau) = \max_{i=1,\dots,n} \Delta x_i</math>. | |||
* '''Отмеченные точки:''' <math>\xi = \{\xi_1, \dots, \xi_n\}</math>, где <math>\xi_i \in \Delta_i</math>. | |||
* '''Оснащенное разбиение:''' <math>(\tau, \xi)</math>. | |||
* '''Интегральная сумма Римана:''' <math>\sigma_\tau(f, \xi) = \sum_{i=1}^{n} f(\xi_i) \Delta x_i</math>. | |||
'''Определение (Интеграл Римана через <math>\epsilon-\delta</math>):''' | |||
Число <math>I</math> называется '''определенным интегралом''' (интегралом Римана) функции <math>f</math> на <math>[a, b]</math>, если | |||
:<math>\forall \epsilon > 0 \quad \exists \delta > 0 \quad \forall (\tau, \xi): \quad \lambda(\tau) < \delta \implies |\sigma_\tau(f, \xi) - I| < \epsilon</math>. | |||
Обозначение: <math>I = \int_a^b f(x) \, dx</math>. Функция <math>f</math> называется '''интегрируемой по Риману''' на <math>[a, b]</math> (обозначение <math>f \in R[a, b]</math>). | |||
'''Определение (Интеграл Римана через последовательности):''' | |||
Число <math>I</math> называется пределом интегральных сумм <math>\sigma_\tau(f, \xi)</math> при <math>\lambda(\tau) \to 0</math>, если для '''любой''' последовательности оснащенных разбиений <math>(\tau^k, \xi^k)</math> такой, что <math>\lambda(\tau^k) \xrightarrow{k \to \infty} 0</math>, выполняется: | |||
:<math>\lim_{k \to \infty} \sigma_{\tau^k}(f, \xi^k) = I</math>. | |||
'''Теорема (Эквивалентность определений):''' | |||
Определение интеграла Римана через <math>\epsilon-\delta</math> эквивалентно определению через предел последовательностей интегральных сумм. | |||
'''Свойства интеграла Римана''' | |||
'''Теорема (Линейность):''' | |||
Если <math>f, g \in R[a, b]</math> и <math>\alpha, \beta \in \mathbb{R}</math>, то <math>(\alpha f + \beta g) \in R[a, b]</math> и | |||
:<math>\int_a^b (\alpha f(x) + \beta g(x)) \, dx = \alpha \int_a^b f(x) \, dx + \beta \int_a^b g(x) \, dx</math>. | |||
''(Док-во: следует из линейности сумм <math>\sigma_\tau</math> и линейности предела.)'' | |||
'''Теорема (Аддитивность по отрезку интегрирования):''' | |||
1. Если <math>f \in R[a, b]</math> и <math>c \in (a, b)</math>, то <math>f \in R[a, c]</math> и <math>f \in R[c, b]</math>. | |||
2. Если <math>f \in R[a, c]</math> и <math>f \in R[c, b]</math>, то <math>f \in R[a, b]</math> и | |||
:<math>\int_a^b f(x) \, dx = \int_a^c f(x) \, dx + \int_c^b f(x) \, dx</math>. | |||
''(Используя соглашения <math>\int_a^a f(x) \, dx = 0</math> и <math>\int_b^a f(x) \, dx = -\int_a^b f(x) \, dx</math>, формула верна для любого расположения <math>a, b, c</math>.)'' | |||
'''Теорема (О среднем):''' | |||
Пусть: | |||
1. <math>f, g \in R[a, b]</math>. | |||
2. <math>g(x)</math> знакопостоянна на <math>[a, b]</math> (т.е. <math>\forall x \in [a, b]: g(x) \ge 0</math> или <math>\forall x \in [a, b]: g(x) \le 0</math>). | |||
3. <math>m = \inf_{x \in [a,b]} f(x)</math>, <math>M = \sup_{x \in [a,b]} f(x)</math>. | |||
Тогда <math>\exists \mu \in [m, M]</math> такое, что: | |||
:<math>\int_a^b f(x) g(x) \, dx = \mu \int_a^b g(x) \, dx</math>. | |||
'''Дополнительно:''' Если <math>f \in C[a, b]</math> (непрерывна), то <math>\exists \xi \in [a, b]</math> такое, что <math>\mu = f(\xi)</math>: | |||
:<math>\int_a^b f(x) g(x) \, dx = f(\xi) \int_a^b g(x) \, dx</math>. | |||
'''Частный случай (при <math>g(x) = 1</math>):''' | |||
* Если <math>f \in R[a, b]</math>, то <math>\exists \mu \in [m, M]: \int_a^b f(x) \, dx = \mu (b-a)</math>. | |||
* Если <math>f \in C[a, b]</math>, то <math>\exists \xi \in [a, b]: \int_a^b f(x) \, dx = f(\xi) (b-a)</math>. | |||
Величина <math>f(\xi) = \frac{1}{b-a} \int_a^b f(x) \, dx</math> называется '''средним значением''' функции <math>f</math> на <math>[a, b]</math>. | |||
== Определенный интеграл. Свойства об оценках интеграла Римана. Теорема о среднем. == | == Определенный интеграл. Свойства об оценках интеграла Римана. Теорема о среднем. == |
Версия от 12:53, 16 апреля 2025
Первообразная. Теорема о семействе первообразных функции. Неопределенный интеграл, его свойства. Таблица основных формул интегрирования.
Определение (Первообразная): Функция называется первообразной для функции на интервале , если дифференцируема на и выполняется равенство:
- для всех .
Теорема (О семействе первообразных): Если является первообразной для функции на интервале , то любая другая первообразная для на том же интервале имеет вид:
- ,
где — произвольная постоянная ().
Определение (Неопределенный интеграл): Совокупность всех первообразных для функции на интервале называется неопределенным интегралом от функции и обозначается символом .
- , где .
Свойства неопределенного интеграла:
- Производная неопределенного интеграла равна подынтегральной функции:
- Дифференциал неопределенного интеграла равен подынтегральному выражению:
- Неопределенный интеграл от дифференциала некоторой функции равен этой функции плюс произвольная постоянная:
- Линейность: Если и существуют, то для любых констант существует , и
Таблица основных формул интегрирования:
- ()
- ()
- ()
- ()
- (длинный логарифм)
Метод замены переменной в неопределенном интеграле. Интегрирование по частям.
Пусть требуется вычислить .
Теорема (Формула замены переменной): Пусть функция имеет непрерывную производную , и существует обратная функция . Пусть существует интеграл . Тогда существует и выполняется равенство:
Идея метода: 1. Вводим новую переменную через подстановку (или ). 2. Находим дифференциал . 3. Подставляем и в исходный интеграл, выражая его через : . 4. Вычисляем полученный интеграл по переменной . 5. Возвращаемся к исходной переменной , используя обратную замену .
Альтернативная форма (подстановка вида ): Если , то . Если подынтегральное выражение можно представить как , то:
Метод интегрирования по частям
Теорема (Формула интегрирования по частям): Пусть функции и имеют непрерывные производные и на некотором интервале. Тогда справедливо равенство:
или, в дифференциальной форме (, ):
Вывод формулы: Формула следует из правила дифференцирования произведения двух функций:
Интегрируя обе части по , получаем:
По определению неопределенного интеграла, . Учитывая, что интеграл в правой части также вычисляется с точностью до константы, её можно опустить на этом шаге:
Перенося в другую часть равенства, получаем формулу интегрирования по частям:
Идея метода: Представить подынтегральное выражение в виде так, чтобы интеграл был проще исходного или сводился к нему.
Интегрирование рациональных функций путем разложения на простейшие дроби.
Определение (Рациональная функция): Рациональная функция (или дробь) — это функция вида , где и — многочлены степеней и соответственно.
Шаг 1: Выделение целой части (если дробь неправильная) Если (дробь неправильная), то делим на "уголком":
- ,
где — многочлен (целая часть), а — правильная рациональная дробь (). Интегрирование сводится к:
Интеграл от многочлена вычисляется просто. Основная задача — интегрирование правильной рациональной дроби.
Шаг 2: Разложение правильной рациональной дроби на простейшие Пусть дана правильная дробь ().
1. Факторизация знаменателя: Разложить знаменатель на неприводимые множители над :
: где — действительные корни кратности , , и . Константу можно вынести за знак интеграла.
2. Теорема о разложении: Любая правильная рациональная дробь (с ) может быть единственным образом представлена в виде суммы простейших дробей:
: где — неопределенные коэффициенты.
3. Нахождение коэффициентов: Коэффициенты находятся методом неопределенных коэффициентов или методом частных значений (подстановкой удобных значений , включая корни знаменателя).
Шаг 3: Интегрирование простейших дробей
- Тип I:
- Тип II: ()
:
- Тип III: ()
: : : (знаменатель )
- Тип IV: ()
: : (где ) : :Интеграл (где ) вычисляется по рекуррентной формуле: :, сводящей его к .
Вывод: Интеграл от любой рациональной функции выражается через элементарные функции: многочлены, рациональные дроби, логарифмы и арктангенсы.
Интегрирование иррациональных функций.
Здесь обозначает рациональную функцию своих аргументов.
1. Интегралы вида
- Условие: (рациональные), , .
- Метод: Рационализация с помощью подстановки.
1. Найти . 2. Использовать подстановку: . 3. Выразить и через рационально. Все дробные степени станут целыми степенями . 4. Интеграл сводится к , где — рациональная функция.
2. Интегралы вида
- Условие: , , .
- Методы:
* Подстановки Эйлера: Рационализируют подынтегральную функцию. 1. Если : . 2. Если : . 3. Если имеет действительные корни (): (или ). Все подстановки приводят к интегралу от рациональной функции . * Метод Остроградского (для частного случая): Для интеграла вида существует разложение: : где — многочлен степени с неопределенными коэффициентами, — константа. Коэффициенты находятся дифференцированием и приравниванием коэффициентов. Оставшийся интеграл — табличный. * Общий случай: Интеграл можно свести к сумме интеграла от рациональной функции и интеграла вида . Последний, в свою очередь, раскладывается на сумму интегралов вида: * (берется методом Остроградского). * (сводится к предыдущему типу подстановкой ). * (сводится более сложными подстановками, например, Абеля или дробно-линейной).
3. Интегралы от дифференциального бинома
- Условие: ; ; .
- Теорема Чебышёва: Интеграл выражается через элементарные функции только в трех случаях:
1. (p — целое). Подстановка: , где . 2. (целое). Подстановка: , где . 3. (целое). Подстановка: (или ), где . Во всех трех случаях интеграл сводится к интегралу от рациональной функции .
Интегрирование выражений, содержащих тригонометрические функции.
Здесь обозначает рациональную функцию своих аргументов.
1. Интегралы вида
- Универсальная тригонометрическая подстановка:
Всегда работает, но может приводить к сложным вычислениям. : Тогда: : Интеграл сводится к , где — рациональная функция .
- Частные случаи (упрощающие подстановки):
1. Если (нечетность по ): Подстановка: . 2. Если (нечетность по ): Подстановка: . 3. Если (четность по и одновременно): Подстановка: . : (При подстановке в корни обычно сокращаются).
2. Интегралы вида , где
- Если хотя бы один из показателей или — нечетное положительное число:
* Если нечетно: отщепляем и делаем замену . * Если нечетно: отщепляем и делаем замену .
- Если оба показателя и — четные неотрицательные числа:
Используем формулы понижения степени: :.
- Если — четное отрицательное число (или оба показателя отрицательные):
Используем подстановку (или ). Это случай (3) из пункта 1.
3. Интегралы вида , ,
- Используются формулы преобразования произведения тригонометрических функций в сумму/разность:
* * *
4. Интегралы вида
- Интегрируются аналогично тригонометрическим функциям.
- Универсальная подстановка: .
:.
- Частные случаи (нечетность/четность) и интегрирование произведений степеней аналогичны тригонометрическим, но с использованием гиперболических тождеств (например, ).
Определенный интеграл. Эквивалентность различных определений. Свойства линейности и аддитивности интеграла Римана. Теорема о среднем.
Пусть .
- Разбиение отрезка : .
- Частичный отрезок: .
- Длина отрезка: .
- Ранг (мелкость) разбиения: .
- Отмеченные точки: , где .
- Оснащенное разбиение: .
- Интегральная сумма Римана: .
Определение (Интеграл Римана через ): Число называется определенным интегралом (интегралом Римана) функции на , если
- .
Обозначение: . Функция называется интегрируемой по Риману на (обозначение ).
Определение (Интеграл Римана через последовательности): Число называется пределом интегральных сумм при , если для любой последовательности оснащенных разбиений такой, что , выполняется:
- .
Теорема (Эквивалентность определений): Определение интеграла Римана через эквивалентно определению через предел последовательностей интегральных сумм.
Свойства интеграла Римана
Теорема (Линейность): Если и , то и
- .
(Док-во: следует из линейности сумм и линейности предела.)
Теорема (Аддитивность по отрезку интегрирования): 1. Если и , то и . 2. Если и , то и
:. (Используя соглашения и , формула верна для любого расположения .)
Теорема (О среднем): Пусть: 1. . 2. знакопостоянна на (т.е. или ). 3. , . Тогда такое, что:
- .
Дополнительно: Если (непрерывна), то такое, что :
- .
Частный случай (при ):
- Если , то .
- Если , то .
Величина называется средним значением функции на .