Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

matan_3sem2015_pilot

.pdf
Скачиваний:
6
Добавлен:
26.03.2016
Размер:
3.79 Mб
Скачать

Лекция №27 по матанализу

Неофициальные записки лекций В. В. Галатенко

для студентов 1 (пилотного) потока 2 курса ПМИ ФКН ВШЭ записанные Ярославом Сергиенко *

14 декабря 2015 г.

Мы продолжаем обсуждать криволинейные интегралы. Они делятся на интегралы по скалярному полю и по векторному.

Определение. Пусть ( ) векторное поле в R (или в некоторой об- ласти R ). Тогда ( ) = ( 1( ), 2( ), . . . , ( ).

Скалярное поле называется называется потенциалом векторного поля в этой области, если дифференцируемо в этой области и выполняется равенство grad = .

Если у векторного поля существует потенциал, то оно называется потенциальным.

Утверждение. Пусть непрерывно дифференцируемое потенциальное векторное поле. Тогда для любых индексов , {1, . . . , }

= ∂ ∂

Достаточно считать ̸= , так как иначе слева и справа стоят одинаковые выражения.

Пусть потенциал векторного поля . Тогда

 

=

,

=

 

 

 

 

 

2

 

 

 

2

 

=

 

 

=

 

 

=

 

 

 

 

∂ ∂

Утверждение. Пусть непрерывное потенциальное векторное поле в области , его потенциал.

Если гладкая (кусочно-гладкая) кривая, лежащая в области с

началом в точке и концом в точке , то

= ( ) − ( )

Γ

*Записки могут содержать ошибки.

1

Это утверждение достаточно доказать для гладкой кривой. В случае

кусочно-гладкой кривой, она разбивается на гладкие фрагменты, к каждому из которых мы сможем применить теорему, и получить результат для всей кривой.

 

Кривая параметризуется переменной :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

: →( 1, . . . , ) = ( 1( ), . . . , ( )),

 

[ 0, 1]

 

 

 

 

 

 

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 +

+ 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 1 · 1+ · · · +

 

 

 

Γ =

 

Γ

,

 

 

=

 

0

=

 

 

 

 

)1

·· ·

 

 

 

 

 

(

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 1 1(

 

( )) 1( ) + · · · + (

 

( )) ( ) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 0 1

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

( )) ( ) = 0 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( )) 1( )+· · ·+ (

 

 

 

( )))= (

 

)− (

 

)

 

(

 

 

( (

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Это эквивалентно тому, что интеграл по любой замкнутой кривой равен нулю.

Теорема (критерий потенциальности). Пусть непрерывное векторное поле в области . Следующие утверждения эквивалентны:

1)Поле потенциально

2)Интеграл по любой замкнутой ломаной равен нулю.

(1) (2) доказано.

(2) (1). Зафиксируем точку 0 . Для произвольной точки соединим 0 и ломанной с началом в 0 и концом в точке и положим

( ) =

Γ

Так как интеграл по любой замкнутой ломанной равен нулю, интегралы по ломанным с одинаковым началом и концом совпадают. Поэтому определение корректно.

Покажем, что ( ) потенциал . Зафиксируем точку = ( 1, . . . , ). Тогда

1

 

 

→0

 

 

 

 

=

→0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 1 + , 2, . . . , )

 

( 1, . . . , )

 

 

[

 

,

 

+(Δ ,0,...,0)]

 

 

 

 

=

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

=

=

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

→0

 

 

 

 

 

 

1

1

 

1

 

 

 

 

 

 

lim

 

 

1

 

1( , 2, . . . , ) −

 

1

1( , 2, . . . , )

=

(

, . . . ,

) =

(

 

)

 

 

 

 

 

 

 

 

 

 

 

 

2

Определение. Область называется односвязной, если в ней любую за-

мкнутую кривую можно стянуть в точку, оставаясь все время в области

.

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

Пусть односвязная область на плоскости, ( , ) непрерывно дифференцируемое векторное поле в , = â . Тогда ( , ) потенциальное поле в .

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

~

Пусть - произвольная замкнутая ломаная в , ограничиваемая

~

ей область. Так как односвязна, то .

Теорема (формула Грина). Пусть пробегаемый против часовой

стрелки контур (замêнутая кривая) на плоскости, ограничивающий область. Векторное поле непрерывно дифференцируемо в области и на гра-

ницах. Тогда ∫ ∫

+ = ( )

Докажем формулу Грина в предположении, что разбивается в

конечное объединение непересекающихся криволинейных трапеций (стандартных по , либо повернутых на 90 градусов стандартных по ).

Достаточно доказать формулу для поля вида ( , 0) и стандартных криволинейных трапеций по и поля вида (0, ) и стандартных трапеций по

.

 

3

Лекция №28 по матанализу

Неофициальные записки лекций В. В. Галатенко

для студентов 1 (пилотного) потока 2 курса ПМИ ФКН ВШЭ записанные Ярославом Сергиенко *

18 декабря 2015 г.

В прошлый раз мы остановились на том, что решили проверить формулу Гаусса-Остроградского о том, что

Γ + =

∫ ∫

(

)

 

 

 

 

 

Мы свели ее к решению этой задачи для криволинейной трапеции для поля ( , 0). Она состоит из 4 частей: нижняя и верхняя границы ( 1 è 3, îáðà- зованные функциями и ), левая и правая вертикальные границы ( 2 è4).

Так как поле горизонтально, то 2 = 4 = 0. Также

 

 

 

 

1 = ( , ( ))

 

( )

 

3 = − ( , ( ))

( )

 

= 1 + 2 + 3 + 4 = Γ +

Определение. Пусть область на плоскости, параметризованная ( , ). Тогда гладким куском поверхности называется отображение

= ( , )

= ( , )

= ( , )

области в R3, являющаяся непрерывно дифференцируемым и удовлетворяющее условию

rk

)

= 2

(

 

 

 

 

 

 

Определение. Коэффициентом изменения площади ( , ) в точке ( , )

это площадь параллелограмма со сторонами ( , ), где = ( , , ),

= ( , , ).

( , ) = ‖ × ‖ = − 2, ãäå = ‖ ‖2, = ‖ ‖2, = ( , ).

*Записки могут содержать ошибки.

1

Определение. Предположим, что на гладком куске поверхности задано скалярное поле (функция) ( , , ). Тогда поверхностным интегралом

первого рода по данному куску поверхности называется

∫ ∫ ∫ ∫

= ( ( , ), ( , ), ( , )) ( , )

Определение.

Ориентацией гладкого куска поверхности называется за-

данная на этом куске непрерывное поле единичных нормалей.

 

 

 

 

 

 

 

 

 

 

 

 

Определение.

Пусть на поверхности задано векторное поле = ( , , ).

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

 

∫ ∫

 

 

 

= ∫ ∫

 

 

 

 

 

 

 

 

( ,

 

)

 

 

ΣΣ

Заметим, что

(( , ± ( , ))

=

∫ ∫

( , ± ( , ))

( , ) =

∫ ∫

=

Σ

 

 

 

( , )

 

 

 

( , )

 

∫ ∫

=( , ± ( , ))

Теорема (формула Стокса). Пусть ориентируемая поверхность, заданная дважды дифференцируемым отображением, непрерывнодифференцируемое поле на , граница , ориентированная согласованно с . Тогда

∫ ∫

= + + = ,

Γ Γ Σ

ãäå

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= det

 

 

 

 

= (

 

,

 

,

 

).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема (формула Гаусса-Остроградского). Пусть поверхность, ограниченная областью в R3 и ориентированная полем внешних нормалей, непрерывно дифференцируема на . Тогда

∫ ∫ ∫ ∫ ∫

= ,

ãäå = + + .

Эту теорему достаточно доказать для поля = (0, 0, ) и для области

, являющейся цилиндром, ограниченным функцией = ( , ) снизу и функцией = ( , ) сверху.

Интеграл по боковой поверхности равен 0. Интеграл по верхней крышке равен

 

 

 

( , ) = det

1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

 

 

???

 

 

 

 

 

 

2