Некоторые свойства.


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; просмотров: 495;


Поиск по сайту:

Воспользовавшись поиском можно найти нужную информацию на сайте.

Поделитесь с друзьями:

Считаете данную информацию полезной, тогда расскажите друзьям в соц. сетях.
Poznayka.org - Познайка.Орг - 2016-2024 год. Материал предоставляется для ознакомительных и учебных целей.
Генерация страницы за: 0.012 сек.