Консервативное векторное поле

редактировать

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

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

Содержание

  • 1 Неформальный подход
  • 2 Интуитивное объяснение
  • 3 Определение
  • 4 Независимость от траектории
  • 5 Безвихревые векторные поля
  • 6 Безвихревые поля
  • 7 Консервативные силы
  • 8 См. Также
  • 9 Ссылки
  • 10 Дополнительная литература

Неформальная обработка

В двумерном и трехмерном пространстве существует двусмысленность в принятии интеграла между двумя точками, поскольку их бесконечно много пути между двумя точками - помимо прямой линии, образованной между двумя точками, можно выбрать изогнутый путь большей длины, как показано на рисунке. Поэтому, как правило, значение интеграла зависит от пройденного пути. Однако в частном случае консервативного векторного поля значение интеграла не зависит от пройденного пути, что можно рассматривать как крупномасштабное сокращение всех элементов d R {\ displaystyle d {R} }{\ displaystyle d {R}} , у которых нет компонента на прямой линии между двумя точками. Чтобы визуализировать это, представьте, что два человека поднимаются на скалу; один решает взобраться на утес, поднимаясь по нему вертикально, а второй решает пройти по извилистой тропе, длина которой превышает высоту обрыва, но только под небольшим углом к ​​горизонтали. Хотя двое туристов выбрали разные маршруты, чтобы подняться на вершину утеса, на вершине они оба наберут одинаковое количество гравитационной потенциальной энергии. Это потому, что гравитационное поле консервативно. В качестве примера неконсервативного поля представьте, что вы толкаете коробку из одного конца комнаты в другой. Чтобы толкать коробку по прямой через комнату, требуется заметно меньше усилий против трения, чем по изогнутой дорожке, покрывающей большее расстояние.

Изображение двух возможных путей интеграции. Зеленым цветом показан самый простой путь; синим цветом показана более извилистая кривая

Интуитивное объяснение

M. Картина К. Эшера Ascending and Descending иллюстрирует неконсервативное векторное поле, которое невозможно представить как градиент переменной высоты над землей при движении по лестнице. Это вращательное движение в том смысле, что человек может продолжать подниматься выше или опускаться ниже, когда движется по кругу. Это неконсервативно в том смысле, что при подъеме можно вернуться к исходной точке, более чем на спуске, или наоборот. На реальной лестнице высота над землей представляет собой скалярное потенциальное поле: если кто-то возвращается в то же место, он поднимается вверх ровно столько, сколько спускается вниз. Его градиент был бы консервативным векторным полем и не имел вращения. Ситуация, изображенная на картине, невозможна.

Определение

A векторное поле v: U → R n {\ displaystyle \ mathbf {v}: U \ to \ mathbb {R} ^ {n}}{\ displaystyle \ mathbf {v}: U \ to \ mathbb {R} ^ { п}} , где U {\ displaystyle U}U - открытое подмножество R n {\ displaystyle \ mathbb {R} ^ {n}}\ mathbb {R} ^ {n} , является считается консервативным тогда и только тогда, когда существует C 1 {\ displaystyle C ^ {1}}C ^ {1} скалярное поле φ {\ displaystyle \ varphi}\ varphi на U {\ displaystyle U}U так, что

v = ∇ φ. {\ displaystyle \ mathbf {v} = \ nabla \ varphi.}{\ displaystyle \ mathbf {v} = \ nabla \ varphi.}

Здесь ∇ φ {\ displaystyle \ nabla \ varphi}\ nabla \ varphi обозначает градиент из φ {\ Displaystyle \ varphi}\ varphi . Когда выполняется приведенное выше уравнение, φ {\ displaystyle \ varphi}\ varphi называется скалярным потенциалом для v {\ displaystyle \ mathbf { v}}\ mathbf {v} .

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

Независимость от пути

Ключевым свойством консервативного векторного поля v {\ displaystyle \ mathbf {v}}\ mathbf {v} является то, что его интеграл вдоль пути зависит только от конечных точек этого пути, а не от конкретного маршрута. Предположим, что P {\ displaystyle P}P - это исправляемый путь в U {\ displaystyle U}U с начальной точкой A {\ displaystyle A}A и конечная точка B {\ displaystyle B}B . Если v = ∇ φ {\ displaystyle \ mathbf {v} = \ nabla \ varphi}{\ displaystyle \ mathbf {v} = \ nabla \ varphi} для некоторого C 1 {\ displaystyle C ^ {1}}C ^ {1} скалярное поле φ {\ displaystyle \ varphi}\ varphi так, чтобы v {\ displaystyle \ mathbf {v}}\ mathbf {v} было консервативным векторным полем, тогда градиентная теорема утверждает, что

∫ P v ⋅ dr = φ (B) - φ (A). {\ displaystyle \ int _ {P} \ mathbf {v} \ cdot d {\ mathbf {r}} = \ varphi (B) - \ varphi (A).}{\ displaystyle \ int _ {P} \ mathbf { v} \ cdot d {\ mathbf {r}} = \ varphi (B) - \ varphi (A).}

Это выполняется как следствие цепное правило и фундаментальная теорема исчисления.

Эквивалентная формулировка этого состоит в том, что

∮ C v ⋅ dr = 0 {\ displaystyle \ oint _ {C} \ mathbf {v} \ cdot d {\ mathbf {r}} = 0}{\ displaystyle \ oint _ {C} \ mathbf {v} \ cdot d {\ mathbf {r}} = 0}

для каждого исправляемого простого замкнутого пути C {\ displaystyle C}C в U {\ displaystyle U}U . , обратное этому утверждению, также верно: если обращение из v {\ displaystyle \ mathbf {v}}\ mathbf {v} вокруг каждого исправляемого простого замкнутого пути в U {\ displaystyle U}U равно 0 {\ displaystyle 0}{\ displaystyle 0} , затем v {\ displaystyle \ mathbf {v}}\ mathbf {v} - консервативное векторное поле.

Безвихревые векторные поля

Вышеупомянутое векторное поле v = (- yx 2 + y 2, xx 2 + y 2, 0) {\ displaystyle \ mathbf {v} = \ left (- {\ frac {y} {x ^ {2} + y ^ {2}}}, {\ frac {x} {x ^ {2} + y ^ {2}}}, 0 \ right)}{\ displaystyle \ mathbf {v} = \ left (- {\ frac {y} {x ^ {2} + y ^ {2}}}, {\ frac {x} { х ^ {2} + y ^ {2}}}, 0 \ right)} определено на U = R 3 ∖ {(0, 0, z) ∣ z ∈ R} {\ displaystyle U = \ mathbb {R} ^ {3} \ setminus \ {(0,0, z) \ mid z \ in \ mathbb {R} \}}{\ Displaystyle U = \ mathbb {R} ^ {3} \ setminus \ {(0,0, z) \ mid z \ in \ mathbb {R} \}} почти всюду имеет нулевой ротор и, следовательно, является безвихревым. Однако он не является консервативным и не имеет независимости от пути.

Пусть n = 3 {\ displaystyle n = 3}n = 3 , и пусть v: U → R 3 {\ displaystyle \ mathbf {v}: U \ to \ mathbb {R} ^ {3}}{\ displaystyle \ mathbf {v}: U \ to \ mathbb {R} ^ { 3}} быть C 1 {\ displaystyle C ^ {1}}C ^ {1} векторное поле с U {\ displaystyle U}U , как всегда, открытым. Тогда v {\ displaystyle \ mathbf {v}}\ mathbf {v} называется безвихревым тогда и только тогда, когда его curl равен 0 {\ displaystyle \ mathbf {0}}\ mathbf {0} везде в U {\ displaystyle U}U , т. е. если

∇ × v ≡ 0. {\ displaystyle \ nabla \ times \ mathbf {v} \ Equiv \ mathbf {0}.}{\ displaystyle \ nabla \ times \ mathbf {v} \ Equiv \ mathbf {0}.}

По этой причине такие векторные поля иногда называют векторными полями без завитков или векторные поля без завитков . Их также называют продольные векторные поля.

Это тождество векторного исчисления, которое для любого C 2 {\ displaystyle C ^ {2}}C^{2}скалярное поле φ {\ displaystyle \ varphi}\ varphi на U {\ displaystyle U}U , мы имеем

∇ × (∇ φ) ≡ 0. {\ displaystyle \ nabla \ times (\ nabla \ varphi) \ Equiv \ mathbf {0}.}{\ displaystyle \ nabla \ times (\ nabla \ varphi) \ Equiv \ mathbf {0}.}

Следовательно, каждый C 1 {\ displaystyle C ^ {1}}C ^ {1} консервативный вектор поле на U {\ displaystyle U}U также является безвихревым векторным полем на U {\ displaystyle U}U .

при условии, что U {\ displaystyle U}U является односвязным, верно и обратное: каждое безвихревое векторное поле на U {\ displaystyle U}U является C 1 {\ displaystyle C ^ {1}}C ^ {1} консервативное векторное поле на U {\ displaystyle U}U .

Приведенное выше утверждение в общем случае неверно, если U {\ displaystyle U}U не просто связан. Пусть U {\ displaystyle U}U будет R 3 {\ displaystyle \ mathbb {R} ^ {3}}\ mathbb {R} ^ {3} с z {\ displaystyle z}z - ось удалена, т. е. U = R 3 ∖ {(0, 0, z) ∣ z ∈ R} {\ displaystyle U = \ mathbb {R} ^ {3} \ setminus \ {(0,0, z) \ mid z \ in \ mathbb {R} \}}{\ Displaystyle U = \ mathbb {R} ^ {3} \ setminus \ {(0,0, z) \ mid z \ in \ mathbb {R} \}} . Теперь определите векторное поле v {\ displaystyle \ mathbf {v}}\ mathbf {v} на U {\ displaystyle U}U с помощью

v (x, y, z) = def (- yx 2 + y 2, xx 2 + y 2, 0). {\ displaystyle \ mathbf {v} (x, y, z) ~ {\ stackrel {\ text {def}} {=}} ~ \ left (- {\ frac {y} {x ^ {2} + y ^ {2}}}, {\ frac {x} {x ^ {2} + y ^ {2}}}, 0 \ right).}{\ displaystyle \ mathbf {v} (x, y, z) ~ {\ stackrel {\ text {def}} { =}} ~ \ left (- {\ frac {y} {x ^ {2} + y ^ {2}}}, {\ frac {x} {x ^ {2} + y ^ {2}}}, 0 \ right).}

Тогда v {\ displaystyle \ mathbf {v}}\ mathbf {v} имеет нулевое скручивание везде в U {\ displaystyle U}U , т. Е. v {\ displaystyle \ mathbf {v}}\ mathbf {v} является безвихревым. Однако циркуляция v {\ displaystyle \ mathbf {v}}\ mathbf {v} вокруг единичного круга на плоскости xy {\ displaystyle xy}xy ​​составляет 2 π {\ displaystyle 2 \ pi}2 \ pi . В самом деле, обратите внимание, что в полярных координатах, v = e ϕ / r {\ displaystyle \ mathbf {v} = \ mathbf {e} _ {\ phi} / r}{\ displaystyle \ mathbf {v} = \ mathbf {e} _ {\ phi} / r} , поэтому интеграл по единичной окружности равен

∮ C ⁡ v ⋅ e ϕ d ϕ = 2 π. {\ displaystyle \ oint _ {C} \ mathbf {v} \ cdot \ mathbf {e} _ {\ phi} ~ d {\ phi} = 2 \ pi.}{\ displaystyle \ oint _ {C} \ mathbf {v} \ cdot \ mathbf {e} _ {\ phi} ~ d {\ phi} = 2 \ pi.}

Следовательно, v {\ displaystyle \ mathbf {v}}\ mathbf {v} не имеет свойства независимости пути, описанного выше, и не является консервативным.

В односвязной открытой области безвихревое векторное поле имеет свойство независимости от пути. Это можно увидеть, заметив, что в такой области безвихревое векторное поле является консервативным, а консервативные векторные поля обладают свойством независимости от пути. Результат также может быть доказан непосредственно с помощью теоремы Стокса. В односвязной открытой области любое векторное поле, обладающее свойством независимости от пути, также должно быть безвихревым.

Более абстрактно, при наличии римановой метрики векторные поля соответствуют дифференциальным 1 {\ displaystyle 1}1 -формам. Консервативные векторные поля соответствуют exact 1 {\ displaystyle 1}1 -формам, то есть формам, которые являются внешней производной d ϕ {\ displaystyle d \ phi}d \ phi функции (скалярное поле) ϕ {\ displaystyle \ phi}\ phi на U {\ displaystyle U}U . Вихревые векторные поля соответствуют closed 1 {\ displaystyle 1}1 -формам, то есть 1 {\ displaystyle 1}1 -формирует ω {\ displaystyle \ omega}\ omega так, что d ω = 0 {\ displaystyle d \ omega = 0}{\ displaystyle d \ omega = 0} . Поскольку d 2 = 0 {\ displaystyle d ^ {2} = 0}d ^ 2 = 0 , любая точная форма замкнута, поэтому любое консервативное векторное поле является безвихревым. И наоборот, все закрытые 1 {\ displaystyle 1}1 -формы являются точными, если U {\ displaystyle U}U является односвязным.

Безвихревыми полями.

завихренность ω {\ displaystyle {\ boldsymbol {\ omega}}}{\ boldsymbol {\ omega}} векторного поля может быть определена следующим образом:

ω = def ∇ × v. {\ displaystyle {\ boldsymbol {\ omega}} ~ {\ stackrel {\ text {def}} {=}} ~ \ nabla \ times \ mathbf {v}.}{\ displaystyle {\ boldsymbol {\ om ega}} ~ {\ stackrel {\ text {def}} {=}} ~ \ nabla \ times \ mathbf {v}.}

Если v {\ displaystyle \ mathbf {v}}\ mathbf {v} является безвихревым, с ∇ × v ≡ 0 {\ displaystyle \ nabla \ times \ mathbf {v} \ Equiv \ mathbf {0}}{\ displaystyle \ nabla \ times \ mathbf {v} \ Equiv \ mathbf {0}} , тогда поле называется безвихревым полем . Завихренность безвихревого поля везде равна нулю.

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

Для двумерного поля завихренность действует как мера локального вращения элементов жидкости. Обратите внимание, что завихренность ничего не говорит о глобальном поведении жидкости. Жидкость, движущаяся по прямой линии, может иметь завихренность, а жидкость, движущаяся по кругу, может быть безвихревой.

Консервативные силы

Примеры потенциальных и градиентных полей в физике:
  • Скалярные поля, скалярные потенциалы:
    • VG, гравитационный потенциал
    • Wpot, потенциальная энергия
    • VC, Кулоновский потенциал
  • Векторные поля, градиентные поля:
    • aG, гравитационное ускорение
    • F, сила
    • E, напряженность электрического поля

Если векторное поле связано с силой F {\ displaystyle \ mathbf {F}}\ mathbf {F} является консервативным, тогда сила называется консервативной силой.

Наиболее яркими примерами консервативных сил являются гравитационная сила и электрическая сила, связанная с электростатическим полем.. Согласно закону тяготения Ньютона, гравитационная сила FG {\ displaystyle \ mathbf {F} _ {G}}{\ displaystyle \ mathbf {F} _ {G}} , действующая на массу m {\ displaystyle m}m из-за массы M {\ displaystyle M}M , которая представляет собой расстояние r {\ displaystyle r}rмежду ними подчиняется уравнению

FG = - G m M r 2 r ^, {\ displaystyle \ mathbf {F} _ {G} = - {\ frac {GmM} {r ^ {2}} } {\ hat {\ mathbf {r}}},}{\ displaystyle \ mathbf {F} _ {G} = - {\ frac {GmM} {r ^ {2}}} {\ hat {\ mathbf {r}}},}

где G {\ displaystyle G}G - гравитационная постоянная и r ^ { \ displaystyle {\ hat {\ mathbf {r}}}}{\ hat {\ mathbf {r} }} - единичный вектор, указывающий от M {\ displaystyle M}M в сторону m {\ displaystyle m }m . Сила тяжести консервативна, потому что FG = - ∇ Φ G {\ displaystyle \ mathbf {F} _ {G} = - \ nabla \ Phi _ {G}}{\ displaystyle \ mathbf {F} _ {G} = - \ nabla \ Phi _ {G}} , где

Φ G = def - G m M r {\ displaystyle \ Phi _ {G} ~ {\ stackrel {\ text {def}} {=}} - {\ frac {GmM} {r}}}{\ displaystyle \ Phi _ {G} ~ {\ stackrel {\ text {def}} {=}} - { \ frac {GmM} {r}}}

- это гравитационная потенциальная энергия. Можно показать, что любое векторное поле вида F = F (r) r ^ {\ displaystyle \ mathbf {F} = F (r) {\ hat {\ mathbf {r}}}}{\ displaystyle \ mathbf {F} = F (r) {\ hat {\ mathbf {r}}}} является консервативным при условии, что F (r) {\ displaystyle F (r)}F(r)интегрируется.

Для консервативных сил независимость пути может быть истолкована как означающая, что работа, выполненная при движении из точки A {\ displaystyle A}A в точку B {\ displaystyle B}B не зависит от выбранного пути и от того, что работа W {\ displaystyle W}W выполняется при переходе вокруг простого замкнутого контура: 0 {\ displaystyle 0}{\ displaystyle 0} :

W = ∮ C ⁡ F ⋅ dr = 0. {\ displaystyle W = \ oint _ {C} \ mathbf {F} \ cdot d {\ mathbf {r}} = 0.}{\ displaystyle W = \ oint _ {C} \ mathbf {F} \ cdot d {\ mathbf {r}} = 0.}

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

См. Также

Ссылки

Дополнительная литература

  • Acheson, DJ (1990). Элементарная гидродинамика. Издательство Оксфордского университета. ISBN 0198596790.
Последняя правка сделана 2021-05-15 10:08:23
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте