Анализ функций нескольких переменных · Криволинейный интеграл

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

Криволинейный интеграл ∫ F·dr векторного поля F по кривой C складывает по частям F·T — составляющую силы по направлению движения: это работа F вдоль C. Постройте график F·T по расстоянию s, и площадь под ним даст работу; в градиентном поле F = ∇φ работа зависит только от концов, W = φ(B) − φ(A).

Криволинейный интеграл в этой визуализации

Силовое поле FF действует на тело, движущееся по пути CC от A до B. На каждом коротком шаге длины dsds работу совершает только составляющая силы по направлению движения: F⋅T dsF\cdot T\,ds, где TT — единичный касательный вектор. Сложение этих частей даёт криволинейный интеграл поля FF вдоль CC — работу WW.

Одна работа, три записи
W=∫CF⋅dr=∫0LF⋅T ds=∫abF(r(t))⋅r′(t) dtW = \int_C F\cdot dr = \int_0^L F\cdot T\,ds = \int_a^b F(r(t))\cdot r'(t)\,dt

Жёлтые метки вдоль пути показывают F⋅TF\cdot T: закрашенные и направленные вперёд там, где сила помогает, полые и направленные назад там, где мешает. График под изображением показывает F⋅TF\cdot T в зависимости от расстояния ss, пройденного от A. Если считать заштрихованную площадь под осью отрицательной, площадь до красной точки S — уже совершённая работа, а вся площадь — WW: криволинейный интеграл стал обычным интегралом по ss.

В S сила разложена на жёлтую составляющую вдоль пути и бледную поперёк него, которая работы не совершает. В радиальном поле F=(x,y)F = (x, y) на окружности радиуса 2 с центром в начале координат сила имеет длину 2, но направлена наружу, поэтому F⋅T=0F\cdot T = 0 и W=0W = 0. Работа не равна просто величине силы, умноженной на длину пути. Кнопка Обратить проходит тот же путь в обратную сторону, превращая TT в −T-T, а WW в −W-W.

В градиентном поле F=∇φF = \nabla\varphi по правилу дифференцирования сложной функции величина F⋅T dsF\cdot T\,ds — изменение φ\varphi за шаг. Работа до S равна φ(S)−φ(A)\varphi(S) - \varphi(A), а если ∇φ\nabla\varphi непрерывен, работа по любому кусочно-гладкому пути зависит только от его концов:

Основная теорема о криволинейных интегралах
∫C∇φ⋅dr=φ(B)−φ(A)\int_C \nabla\varphi\cdot dr = \varphi(B) - \varphi(A)

Режим Линии уровня объясняет это без формулы. Он рисует линии, где φ\varphi — целое число. От одной линии к следующей вверх φ\varphi увеличивается на 1, поэтому путь, поднимающийся между ними, даёт единицу работы, плавно накапливаемую по дороге. Как бы ни извивался путь, лишние пересечения появляются парами: одно вверх, другое вниз, и взаимно уничтожаются. Поэтому любой путь от A до B даёт одинаковое итоговое число пересечений; вместе с долями единицы на концах оно составляет φ(B)−φ(A)\varphi(B) - \varphi(A).

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

У поля вращения F=(−y,x)F = (-y, x) нет потенциала. От (2,0)(2, 0) до (−2,0)(-2, 0) на верхней полуокружности F⋅T=2F\cdot T = 2 вдоль всей длины 2π2\pi, поэтому W=4π≈12.57W = 4\pi \approx 12.57. Вдоль оси x сила поперечна пути и W=0W = 0. Движение сверху с возвращением по оси даёт замкнутый путь с работой 4π4\pi.

Винтовая лестница F=(−y,x)/(x2+y2)F = (-y, x)/(x^2 + y^2) занимает промежуточное положение. Её ротор равен нулю всюду, где поле определено, а вблизи любой точки, кроме начала координат, она является градиентом полярного угла θ\theta. Но единой функции угла для полного оборота нет: один обход против часовой стрелки вокруг начала добавляет 2π2\pi. Линии уровня — лучи, а работа — изменение θ\theta, за которым непрерывно следят вдоль пути: 2π≈6.282\pi \approx 6.28 за один оборот против часовой стрелки вокруг начала и 0 по окружности, которая его не охватывает.

На что обратить внимание

  • Криволинейный интеграл функции по длине дуги, ∫Cf ds\int_C f\,ds, — другой интеграл. Он складывает ff, умноженную на длину каждого шага, как при вычислении массы проволоки; смена направления движения его не меняет.

Управление

  • При смене поля путь и S сохраняются, чтобы можно было сравнить один путь в разных полях. Перетащите B кривой Безье в A, чтобы замкнуть путь.

Связанные понятия