Система Orphus

Связь потенциальности с обращением в нуль роторного поля.

Теорема 3. Для того чтобы непрерывно дифференцируемое в области G поле а было потенциальным, необходимо, а в случае поверхностно односвязной области и достаточно, чтобы поле было безвихревым, т. е. rot a = 0.

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


  • Необходимость. Пусть а = U. Тогда

rot a = rot U = = 0.

  • Достаточность. Пусть rot a = 0 в G. Возьмем произвольную замкнутую простую ломаную . Так как область поверхностно односвязна, то на эту ломаную можно натянуть кусочно гладкую поверхность . Применяя формулу Стокса, получаем

(a, dr) = (rot a, n)dS = 0.

Как и в плоском случае, индукцией по числу звеньев ломаной теперь можно доказать, что(a, dr) = 0 по любой ломаной L (не обязательно простой). В силу теоремы 2 существует потенциал U(M).



Система Orphus

Комментарии