Некоторые свойства.
1. Линейность = .
2. Если кривая АС разбита на две части некоторой точкой В, то:
3. .
4. Если то , где - длина кривой АВ.
Пример. Вычислить интеграл :
А) по прямолинейному отрезку от 0 до .
Б) по параболе от 0 до .
Решение.
А) = =
, далее вычисляем 2 криволинейных интеграла по отрезку, на котором , заменяем , .
При этом . = = .
Б) Исходное раскрытие скобок происходит так же, как и в прошлом случае: но теперь линия это не отрезок, заданный явным уравнением , а парабола, заданная явным уравнением . Поэтому заменяем , .
= =
= .
Ответ. по отрезку: 1, по параболе: .
Как видим, в зависимости от формы кривой могут получиться разные ответы, но это здесь потому, что функция не аналитическая, она содержит , а мы доказывали теорему 4 в конце прошлого § о том, что аналитичность равносильна отсутствию в составе функции, то есть тому, что .
ЛЕКЦИЯ № 10. 17.03.2020
Вычислим интеграл от комплексной функции по замкнутому контуру.
Пример. Вычислить , где - окружность радиуса вокруг точки .
Решение.Представим функцию в виде . Движение по такой окружности можно задать формулами:
В этом случае . Тогда
= = =
домножим на сопряжённое, =
, можно сократить , а также вместо суммы квадратов sin и cos будет 1.
=
= = = .
Теорема 1. Если замкнутый контур, внутри которого во всех точках является аналитической, то .
Доказательство. = =
в двух этих интегралах - циркуляция двух векторных полей и , они потенциальны по теореме 2 прошлого §, а тогда циркуляция равна 0, то есть получаем .
Теорема 2. Если является аналитической во всех точках некоторой области , граница которой односвязна, то интеграл от функции не зависит от пути, то есть имеет одно и то же значение для любой кривой , соединяющей пару точек .
Доказательство.Аналогично прошлой теореме,
= .
Криволинейные интегралы 2 рода от векторных полей и не зависят от пути, что доказано ранее в главе «теория поля».
Так как для аналитической функции интеграл не зависит от пути, то для аналитической функции оказывается возможным ввести понятие первообразной. Введём в рассмотрение такую функцию: которая каждой точке ставит в соответствие интеграл до неё от некоторой фиксированной точки . Вводится по аналогии с вычислением потенциала поля, только в данном случае, вычисляются потенциалы двух полей и . Докажем, что построенная таким образом функция является первообразной.
Теорема 3. Функция является первообразной от функции .
Идея доказательства.Докажем, что производная от равна . По определению производной, .
Распишем разность в числителе более подробно.
= .
Интеграл в числителе можно представить с помощью значения в некоторой средней точке , расположенной между и , так как интеграл от комплексной функции распадается на два криволинейных интеграла от потенциальных векторных полей.
= = , причём при уменьшении , точка . Тогда = , что и требовалось доказать.
Примечание. Для потенциальных векторных полей верна теорема о среднем. Ведь для них интеграл не зависит от пути, и путь можно считать отрезком , тогда криволинейный интеграл сводится к , где уже обычная скалярная функция, для которой верна теорема о среднем. Тогда существует некая точка , так что криволинейный интеграл равен скалярному произведению на вектор .
Итак, - вид первообразной от комплексной функции.
Теорема 4. Для функции, аналитической на кривой , верна формула Ньютона-Лейбница: .
Доказательство.По построению первообразной,
и .
Но тогда = а тогда по 3-му свойству
это , что равно интегралу по кривой, проходящей от до (через точку ).
Тогда = = т.к. по свойству 2, их можно объединить. Итак, = .
Пример. Вычислить от 0 до двумя способами:
А) без формулы Б) по формуле Ньютона-Лейбница.
Решение.
А) = =
Пусть точки 0 и соединены по прямой (вспомним, что интеграл не зависит от пути, поэтому можем соединить их как удобнее для вычислений). Тогда , , и
= = = .
Б)По формуле: = = = = .
Дата добавления: 2020-03-21; просмотров: 592;