Математика / Пределы, ряды

Потенциальное поле и независимость пути

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

Опубликовано: Обновлено:

Формула

$$\mathbf F=\nabla\varphi \Rightarrow \int_C \mathbf F\cdot d\mathbf r=\varphi(B)-\varphi(A),\;\nabla\times\mathbf F=0\;\text{в односвязной области}$$

Обозначения

$\varphi$
скалярный потенциал, безразмерная или по задаче
$\mathbf F$
векторное поле, векторная
$A,B$
концы траектории, точки области
$C$
траектория от A к B, кривая

Условия применения

  • Область должна быть достаточно гладкой и обычно односвязной для эквивалентности ротора и потенциала.
  • Поле должно быть непрерывно дифференцируемым в области.
  • Нужно явно определить ориентирование контура и точки A,B.

Ограничения

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

Подробное объяснение

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

Как пользоваться формулой

  1. Сначала проверьте \nabla\times\mathbf F; в простых случаях это быстрый фильтр потенциальности.
  2. Если ротор нулевой и область односвязна, найдите потенциал интегрированием по компонентам.
  3. Вычислите разность φ(B)−φ(A) вместо прямой параметризации контура.
  4. Для проверки на ошибку посчитайте интеграл по замкнутому контуру: в потенциальном поле он должен равняться нулю.

Историческая справка

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

Историческая линия формулы

Связана с работами по теории потенциала, механике и векторному анализу, где разные традиции (Лагранж, Эйлер, Риман и др.) дали вклад в единую формализацию. Корректно упоминать не одну персональную школу, а цепочку идей, завершившуюся в стандартном курсе высшей математики.

Пример

Если поле F=(−y,x,0), его ротор равен (0,0,2)≠0, значит потенциала глобально нет. Соответственно, замкнутый контур может дать ненулевой интеграл, что сразу показывает зависимость от пути.

Частая ошибка

Частая ошибка — считать нулевой ротор достаточным условием для любой области без учета топологии; в многосвязной области возможны циклы, дающие дополнительную сложность. Другая ошибка — смешивать условие потенциальности в локальном и глобальном смысле: локально F=∇φ может существовать, но по всему домену — нет. Также путают выбор пути в разности потенциалов и забывают, что формула работает для ориентированного интеграла от A к B.

Практика

Задачи с решением

Явный потенциал

Условие. \mathbf F=(2x,2y,2z),\; A=(0,0,0),\; B=(1,2,3)

Решение. \mathbf F=\nabla\varphi при \varphi=x^2+y^2+z^2. Тогда интеграл по любому пути =\varphi(B)-\varphi(A)=1^2+2^2+3^2-0=14.

Ответ. 14

Непотенциальное поле

Условие. \mathbf F=(-y,x),\; C_1:\;\text{прямая от }(1,0)\text{ к }(0,1),\;C_2:\;\text{по осям к тому же концу}

Решение. Для C_2: по x-отрезку y=0 вклад 0, по y-отрезку x=0 также 0, значит интеграл 0. По прямой x=1-t,y=t: \int_0^1(y x'-x y')dt=\int_0^1((t)(-1)-(1-t)(1))dt=-1. Значит, разные пути дают разные результаты.

Ответ. 0 и -1 (не зависит только от концов)

Дополнительные источники

  • Apostol, Calculus, Volume II: Multi-Variable Calculus and Linear Algebra with Applications to Differential Equations and Probability
  • Marsden, Tromba, Vector Calculus
  • Spivak, Calculus

Связанные формулы

Математика

Теорема Стокса

$\iint_S (\nabla\times\mathbf F)\cdot \mathbf n\,dS=\oint_{\partial S}\mathbf F\cdot d\mathbf r$

Теорема Стокса связывает поток ротора через поверхность с интегралом 2 рода по ее ориентированному краю. Она обобщает идею Грина на трехмерные поверхности и связывает локальную завихренность с граничной циркуляцией.

Математика

Теорема Гаусса-Остроградского

$\iiint_V (\nabla\cdot\mathbf F)\,dV=\iint_{\partial V}\mathbf F\cdot\mathbf n\,dS$

Теорема Гаусса-Остроградского переводит объемный интеграл дивергенции в поток через границу замкнутой области. Это ключевая связь локальных источников и глобального выхода поля.

Математика

Криволинейный интеграл второго рода

$\int_C \mathbf F\cdot d\mathbf r=\int_a^b \left(P\,x'(t)+Q\,y'(t)+R\,z'(t)\right)dt$

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