- •Интеграл Римана
- •Первообразная
- •Задача о площадях: интеграл Римана
- •Свойства интегральных сумм
- •Добавления
- •Интеграл с переменным верхним пределом
- •Формула замены переменной
- •Свойства интеграла Римана: линейность и аддитивность
- •Табличные интегралы
- •Графическое интегрирование
- •Алгебраические методы интегрирования
- •Алгебраические методы интегрирования: алгоритмы
- •Алгебраические методы интегрирования
- •Напоминание
- •Тригонометрические многочлены
- •Разложение на простейшие
- •Рациональные функции от тригонометрических
- •Рациональность квадрики
- •Несобственные интегралы
- •Длина кривой
- •Определение несобственного интеграла
- •Абсолютная и условная сходимость
- •Теорема сравнения
- •Элементарные функции комплексного переменного
- •Определение и свойства вещественного логарифма и экспоненты, по Колмогорову
- •В гостях у Эйлера
- •Производные многочлена, логарифма, экспоненты
- •Интегрирование рациональных функций
- •Логарифм и арктангенс — близнецы-братья
- •Индекс векторного поля. Основная теорема алгебры
- •Индекс векторного поля вдоль замкнутой кривой
- •Индекс особой точки векторного поля
- •Теорема о сумме индексов
- •Дама с собачкой
- •Основная теорема алгебры
- •Функции многих переменных
- •Дифференциал функции
- •Определение непрерывной функции
- •Напоминание:
- •Дифференциал функции
- •Производные по Гато и Фреше. Частные производные
- •Частные производные и непрерывность
- •Достаточное условие дифференцируемости
- •Норма линейного функционала
- •Градиент
- •Теорема о конечном приращении
- •Старшие производные
- •Определение дифференциала
- •Якобиева матрица и якобиан
- •Критические точки
- •Теорема о конечном приращении
- •Теорема о дифференцировании сложной функции
3 Алгебраические методы интегрирования
Правая часть предыдущего разложения интегрируется. Вещественный ответ легко пишет- |
||||||||||||||||||||||||||||||||||||||||||||
формулы |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
, |
|
|
) |
|
|
|
|
|
|
|
|
|
|
∑ |
|
|
|
|
||||||||
когда все — вещественные, и требует дополнительных усилий в комплексном случае. |
||||||||||||||||||||||||||||||||||||||||||||
d) Если |
|
|
— рациональная |
|
|
(sin,cos) |
|
|
|
|
|
|
|
|
|
|
|
|
( |
uu |
, |
−uu |
) |
|
|
|
|
|||||||||||||||||
сяc), |
Пусть |
|
иu |
|
- многочлены. Функция |
|
|
|
|
|
|
|
|
|
|
|
представляется в |
|
виде |
|
|
|
|
|
и |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
представляется в виде |
|
|
|
|
|
|
|
|
uс помощью |
||||||||||||||
легко интегрируется. Функция |
|
|
|
|
|
|
|
uu |
|
|
|
−uu |
|
|
|
|
|
|
|
|
|
|
|
|
|
−u |
u |
uu u |
|
|||||||||||||||
|
|
Эйлера. |
|
|
|
|
|
функция, то интеграл |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
сводится к интегралу от |
|
|
|
|
= ∫ |
|
( |
uu |
) |
|
|
|
= uu |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
uu |
|
рациональной функции подстановкой |
: |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
e) |
|
|
|
|
|
∫ |
( |
, |
−uu |
) = ∫ |
|
1 |
|
( |
uu ,u −u u |
) |
uu |
= ∫ |
( , 1u ) |
|
|
|
|
|
|
|
|
|||||||||||||||||
для∫ ( , |
√ ( )) |
|
|
|
|
|
|
|
|
|
|
uu |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
если () = ( − ),то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
→ : |
|
|
|
2 = 2( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
``униформизации2 |
|
превращается в интеграл от рациональной функции с помощью |
||||||||||||||||||||||||||||||||||||||||||
квадрики'': |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
кривой |
|
|
|
|
|
|
|
|
существует рациональное взаимнооднозначное отображение |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
− 2 |
, = |
|
− 2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
У этих формул есть замечательное алгебро-геометрическое объяснение, которое будет дано позже.
Лекция 3. Алгебраические методы интегрирования
3.1. Напоминание
На прошлой лекции была сформулирована и частично доказана
Теорема 17. Следующие функции имеют первообразные, выражаемые через элементарные функции:
a |
Квазимногочлены; |
|
|
|
b |
Тригонометрические многочлены; |
|
|
|
c |
Рациональные функции; |
|
|
|
d Рациональные функции от синуса и косинуса; |
||||
e Рациональные функции от и √ |
2 |
() |
, где 2 — многочлен второй степени. |
Утверждение а) доказано на прошлой лекции.
3.2. Тригонометрические многочлены
Формула Эйлера сводит интегрированиеexp любого многочлена от синусов и косинусов к интегрированию многочлена от , которое, в свою очередь, сводится к табличному интегрлу.
9
1 Интегральное исчисление
3.3. Разложение на простейшие
Теорема 18. Рациональная дробь, знаменатель которой — многочлен с простыми (ком-
плексными) корнями, а степень числителя меньше, чем степень знаменателя, разлага- |
||||
|
( ) |
u |
где |
( u ) |
ется в сумму простейших дробей: |
= ∑ − u , |
|
u = ′( u ), |
|
— корни многочлена .( ) = ( ) |
|
|||
u Отсюда следует утвеждение |
с) предыдущей теоремы для рациональных функций общего |
положения.
Доказательство теоремы основано на лемме
Лемма 19. Рациональнаяdegфункция< , не имеющая полюсов на сфере Римана, постоянна.
Замечание 1. Условие не ограничивает общности.
3.4. Рациональные функции от тригонометрических
Теорема 20. Интеграл от рациональной функции от синуса и косинуса сводится к ин- |
||||||||||||||||||||||||
тегралу от рациональной функции с помощью замены: |
|
uu |
= |
. |
|
|
|
|||||||||||||||||
3.5. Рациональные функции от |
|
и |
|
|
|
|
|
и |
|
|
|
сводится к инте- |
||||||||||||
Теорема 21. Интеграл от |
рациональной функции от |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
√ 2( ) |
|
|
2 . |
= √ 2 |
( ) |
|
|||||||||||||
|
|
|
|
|
|
|
|
( ) = |
2 , |
( ) = |
|
|
||||||||||||
гралу от рациональной функции с помощью замены: |
|
|
|
|
|
|||||||||||||||||||
щение объясняется |
|
|
|
|
|
|
|
|
|
√ ; ( )( ( ) − ) = ( ) |
. Это загадочное упро- |
|||||||||||||
Доказательство использует тот факт,−что |
|
− |
|
|
|
|
||||||||||||||||||
|
|
|
|
рациональностью квадрики это сделано ниже. |
|
|
|
|||||||||||||||||
3.6. Рациональность квадрики |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
( , ) = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Квадрикой (а также коникой) называется любая кривая второго порядка на плоскости, т.е. |
||||||||||||||||||||||||
кривая вида |
|
|
|
|
, где |
|
|
— многочлен второй степени. |
|
|
|
|
||||||||||||
Определение2 |
8. |
|
|
|
u ( , ) = ( 1( ), 2 |
( )) |
|
|
|
|
|
|
|
если оно задается ра- |
||||||||||
Отображение2 |
→ 2 |
называется рациональным, |
||||||||||||||||||||||
циональными функциями |
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
Определение 9. Кривая на плоскости называется рациональной, если существует рациональная биекция прямой на эту кривую.
Теорема 22. Всякая квадрика, вещественная или комплексная, рациональна.
Доказательство проводится с помощью стереографической4 проекции из точки квадрики на прямую.
Именно таким путем получена подстановка п. .
10