- •8. Почленное дифференцирование функционального ряда
- •17. Равномерная сходимость тригонометрического ряда Фурье (без док-ва).
- •20. Несобственные интегралы, зависящие от параметра. Равномерная сходимость. Признак Вейерштрасса.
- •21. Непрерывность несобственного интеграла, зависящего от параметра.
- •22. Дифференцирование несобственного интеграла, зависящего от параметра.
- •23.Кривая площади нуль. Примеры (теорема).
- •24. Критерий квадрируемости множества.
- •Св-ва двойного интеграла
- •3 В .3.Криволинейный интеграл 2ого рода и его свойства.
- •37. Поверхностный интеграл 1 рода и его свойства.
- •38. Существование поверхностного интеграла 1 рода и его вычисление.
- •46. Дивергенция. Геометрическое определение дивергенции.
- •47. Поток векторного поля через поверхность. Векторная формулировка теоремы Остроградского-Гаусса.
- •48. Ротор. Циркуляция. Теорема Стокса.
- •49. Условия независимости криволинейного интеграла от пути интегрирования.
49. Условия независимости криволинейного интеграла от пути интегрирования.
Теорема.Пусть векторное поле(M) =P(M)+Q(M)+R(M)непрерывно дифференцируемо в Ω иrot0 в Ω. Тогда для любых точек А,ВΩ криволинейный интегралне зависит от кусочно-гладкого контура Г, лежащего в Ω, соединяющего точки А и В (т.е. зависит только от точек А и В).
Доказательство.1) Докажем, что еслиrot0 в Ω, то циркуляция векторавдолькусочно-гладкого замкнутого контура Г, лежащего в Ω, равна 0.
Пусть Г – такой контур. Рассмотрим гладкую поверхность, лежащую в Ω, ограниченную контуром Г.
Т.к. векторное поле (M) непрерывно дифференцируемо в Ω, => по теореме Стокса:dσ= 0.
2) Рассмотрим кусочно-гладкие кривыеAnB,AlB, лежащие в Ω и соединяющие точки А и В. Надо доказать, что:
=.
Рассмоотрим третий кусочно-гладкий контур AsB, лежащий в Ω, соединяющий точки А и В и не пересекающий контурыAnB,AlB, =>
Г1=AnBBsAи Г2=AlBBsA– замкнутые кусочно-гладкие контуры в Ω, => из 1):= 0 и= 0.
=+и=+, =>
+= 0 =+, =>
==. (доказано).
Замечание. Из доказательства теоремы видно, что ее можно сформулировать так:
Криволинейный интеграл второго рода от не зависит от пути интегрирования, лежащего в Ω, если циркуляциявдоль любого кусочно-гладкого контура, лежащего в Ω, равна нулю.
Билет №50.Потенциальное поле.
Пусть векторное поле ā определено в области Ω.
Определение.
Поле ā называется потенциальным в области Ω, еслискалярная функцияu(M), определённая в Ω, такая что:
Скалярная функция u(M) в этом случае называется потенциалом поля.
Теорема.(Критерий потенциальности)
Пусть поле āнепрерывно дифференцируемо в Ω.
Поле āпотенциально в Ω <=>rotā= 0 в Ω.
Доказательство.
=>
Пусть поле ā потенциально в Ω. Тогдаскалярная функцияu(M), :gradu=ā в Ω.
Т.е. ā = {∂u/∂x , ∂u/∂y , ∂u/∂z } в Ω.
Т.к. ā непрерывно дифференцируема в Ω => функции∂u/∂x , ∂u/∂y , ∂u/∂z непрерывно дифференцируемы в Ω = > частные производные второго порядка непрерывны в Ω => они совпадают.
=> rotā = 0i+0j+0k=0 что и требовалось доказать.
<=
Пусть rotā = 0 в Ω
Пусть ā =P(M)i+Q(M)j+R(M)k
Фиксируем произвольную точку M0 Ω
Определим скалярную функцию
Где M0M– произвольная кусочно-гладкая кривая, соединяющая точки М и М0, такая чтоM0MΩ
Докажем, что gradu=ā в Ω
Заметим, что интеграл (1) не зависит от вида кривой M0M, т.к.rotā = 0 в Ω
Докажем, что ∂u/∂x (M) =P(M)MΩ
Пусть M(x,y,z),Mh(x+h,y,z) , причёмhдостаточно мало, т.к. [M,Mh]Ω для любых достаточно малыхh.
Пусть Г = M0Mh [Mh,M]M0M
Г – кусочно-гладкий замкнутый контур, полностью лежащий в Ω : ГΩ
=>
(следует из условия независимости интеграла 2 рода от пути интегрирования)
Задаём [M,Mh] параметрически
dx = dt dy = 0 dz = 0
=>
ā непрерывно дифференцируемо в Ω => P(M) непрерывная функция в Ω = > по теореме о среднем
Pнепрерывна в М => интегрируема в М
Аналогично доказывается существование остальных частных производных в М:
∂u/∂y=Q(M) ∂u/∂z=R(M)
Т.к. М – произвольная точка из Ω => gradu= ā в Ω => ā – потенциальное поле в Ω.
Замечание 1.
Из данной теоремы и теоремы о независимости криволинейного интеграла от пути интегрирования следует, что справедливо утверждение:
Если ā непрерывно дифференцируема в Ω и потенциальна в Ω, то А,ВΩ
не зависит от кривой АВ, где АВ – кусочно-гладкая криваяΩ
(зависит только от конечных точек)
Замечание 2.
Из доказательства теоремы следует, что если поле ā потенциально в Ω и функция u(M) – её потенциал, то справедлива формула
Где кривая АВ – произвольная кусочно-гладкая криваяΩ
Билет №51.Соленоидальное поле.
Определение.
Пусть векторное поле ā непрерывно дифференцируемо в Ω. Тогда
Поле ā называется соленоидальным в Ω, если для произвольной области G;GΩ;G – ограниченная кусочно-гладкая поверхность:
n– внешняя нормаль к ∂G.
Теорема (критерий соленоидальности)
Пусть векторное поле ā напрерывно дифференцируемо в Ω.
Поле ā соленоидально < = > divā0 в Ω
Доказательство.
=>
Поле соленоидально в Ω. Фиксируем произвольную точку MΩ. Рассмотрим шар с центром в М с достаточно малым радиусом. Оr0(M) – шар радиусаr0 с центром в М.r0 достаточно мало, чтобы Ōr(M)Ω (r<r0)
Пусть Sr0 = ∂ Оr0(M) , тогда т.к. поле ā соленоидально в Ω,
Где Sr – сфера радиусаrс центром в М.
т.к. М – произвольная фиксированная точка в Ω => divā0 вΩ.
<=
divā0 вΩ_
Рассмотрим произвольную область G:GΩ,Gограничена кусочно-гладкой поверхностью Φ.
Т.к. ā непрерывно дифференцируема в Ω, а GΩ => ā непрерывно дифференцируема вG.
Тогда по теореме Остроградского-Гаусса
=> поле ā соленоидально в Ω.
Билет №52.Теорема о векторной трубке
Пусть векторное поле ā определено в Ω
Рассмотрим произвольный замкнутый контур Г (гладкий), не являющийся векторной линией ā, ГΩ
Через каждую точку кривой Г проведём векторную линию поля ā. тогда получим трубкообразную поверхность, которая называется векторной трубкой.
Пусть 1,2- произвольные сечения векторной трубкиS.
Выберем единичные векторы нормали n1,n2сонаправленными.
Теорема.
Если поле ā соленоидально в Ω, то
Доказательство
Обозначим через Ф=S12. Тогда Ф – кусочно-гладкая поверхность (без доказательства).
Пусть n- единичная внешняя нормаль к Ф.
Тогда т.к. поле ā соленоидально в Ω =>
Одна из нормалей n1,n2- внутренняя нормаль к Ф. пустьn1- внутренняя нормаль.
S- векторная трубка.
MSa(M)Векторной линии, проходящей черезS(касательной к векторной линии в М)