Processing math: 66%
Skip to main content
LibreTexts - Ukrayinska

16.3: Консервативні векторні поля

  • Edwin “Jed” Herman & Gilbert Strang
  • OpenStax

Цілі навчання
  • Опишіть прості та замкнуті криві; визначте зв'язані та просто з'єднані області.
  • Поясніть, як знайти потенційну функцію для консервативного векторного поля.
  • Використовуйте фундаментальну теорему для лінійних інтегралів для оцінки лінійного інтеграла у векторному полі.
  • Поясніть, як перевірити векторне поле, щоб визначити, чи є воно консервативним.

У цьому розділі ми продовжуємо вивчення консервативних векторних полів. Досліджується фундаментальна теорема для лінійних інтегралів, яка є корисним узагальненням фундаментальної теореми числення до лінійних інтегралів консервативних векторних полів. Ми також виявляємо, як перевірити, чи є дане векторне поле консервативним, і визначити, як побудувати потенційну функцію для векторного поля, відомого як консервативне.

Криві та регіони

Перш ніж продовжити дослідження консервативних векторних полів, потрібні деякі геометричні визначення. Теореми в наступних розділах покладаються на інтеграцію над певними видами кривих і регіонів, тому ми розробляємо визначення цих кривих і регіонів тут. Спочатку ми визначаємо два спеціальні види кривих: замкнуті криві та прості криві. Як ми дізналися, замкнута крива - це та, яка починається і закінчується в одній точці. Проста крива - це та, яка не перетинається сама. Крива, яка є одночасно замкнутою і простою, - це проста замкнута крива (рис.16.3.1).

Зображення, що показує вісім кривих та їх типів. Перша крива не є ні простою, ні замкнутою; вона має дві кінцеві точки і двічі перетинається. Друга крива проста, але не замкнута; вона не перетинається і має дві кінцеві точки. Третя крива замкнута, але не проста; вона перетинає себе кілька разів. Четверта - проста замкнута крива; вона не перетинається і не має кінцевих точок. П'ята - проста, не замкнута крива; вона не перетинається сама, але має кінцеві точки. Шоста - проста замкнута крива; вона не перетинається і не має кінцевих точок. Сьома є замкнутою, але не простою кривою; вона перетинає себе, але не має кінцевих точок. Останній не простий і не закритий; він перетинає себе і має кінцеві точки.
Малюнок16.3.1. Типи кривих, які є простими або не простими і замкнутими або не закритими.
ВИЗНАЧЕННЯ: Закриті криві

КриваC - це замкнута крива, якщо єatb параметризаціяr(t),C такої, що параметризація проходить криву рівно один раз іr(a)=r(b). КриваC - це проста крива, якщоC не перетинається сама. CТобто просто, якщо існує параметризаціяr(t),C таких,atb щоr один до одного закінчився(a,b). Це можливо дляr(a)=r(b), означає, що проста крива також замкнута.

Приклад16.3.1: Determining Whether a Curve Is Simple and Closed

Крива з параметризацієюr(t)=cost,sin(2t)2,0t2π проста замкнута крива?

Рішення

Зверніть увагу, щоr(0)=1,0=r(2π); отже, крива замкнута. Однак крива не проста. Щоб переконатися в цьому, зверніть увагу на теr(π2)=0,0=r(3π2), що, і тому крива перетинає себе біля початку (рис.16.3.2).

Діаграма в координатній площині (x, y), яка показує замкнуту, але не просту криву. Виглядає вона як горизонтальна вісімка з точкою перетину на початку.
Малюнок16.3.2 . Крива, яка замкнута, але не проста.
Вправа16.3.1

Чи крива, задана параметризацієюr(t)=2cost,3sint0t6π, проста замкнута крива?

Підказка

Намалюйте криву.

Відповідь

Так

Багато теорем у цій главі пов'язують інтеграл над областю до інтегралу над межею області, де межа області є простою замкнутою кривою або об'єднанням простих замкнутих кривих. Щоб розробити ці теореми, нам потрібні два геометричні визначення регіонів: пов'язаної області та просто пов'язаної області. З'єднаний регіон - це той, в якому є шлях у регіоні, який з'єднує будь-які дві точки, що знаходяться в межах цього регіону. Просто з'єднана область - це зв'язана область, яка не має в ній отворів. Ці два поняття, поряд з поняттям простої замкнутої кривої, дозволяють викласти кілька узагальнень фундаментальної теореми числення пізніше в розділі. Ці два визначення дійсні для регіонів у будь-якій кількості вимірів, але ми стосуємося лише регіонів у двох-трьох вимірах.

ВИЗНАЧЕННЯ: підключені регіони

Область D є з'єднаною областю, якщо для будь-яких двох точокP1 і є шлях відP1 доP2 з слідомP2, що міститься повністю всередині D. Область D - це просто зв'язана область, якщо D з'єднана для будь-якої простої замкнутої кривої C, яка лежить всередині D, а крива C може безперервно скорочуватися до точки, залишаючись повністю всередині D. У двох вимірах область просто з'єднується, якщо вона підключена і не має отворів.

Всі просто підключені регіони з'єднані, але не всі підключені регіони просто з'єднуються (рис.16.3.3).

Схема, що показує просто з'єднані, з'єднані, а не з'єднані області. Просто з'єднані області не мають отворів. З'єднані області можуть мати отвори, але шлях все ще можна знайти між будь-якими двома точками регіону. У незв'язаному регіоні є деякі точки, які не можуть бути з'єднані шляхом у регіоні. Тут це ілюструється показом двох кругових фігур, які визначені як частина області D1, але розділені пробілами.
Малюнок16.3.3: Не всі підключені регіони просто з'єднані. (a) Просто з'єднані області не мають отворів. (b) З'єднані області, які не просто з'єднані, можуть мати отвори, але ви все ще можете знайти шлях у регіоні між будь-якими двома точками. (c) Регіон, який не пов'язаний, має деякі точки, які не можуть бути з'єднані шляхом у регіоні.
Вправа16.3.2

Чи пов'язаний регіон на зображенні нижче? Регіон просто пов'язаний?

Затінене коло з відкритим простором у формі кола всередині нього, але дуже близько до кордону.

Підказка

Розглянемо визначення.

Відповідь

Регіон на малюнку пов'язаний. Регіон на малюнку не просто пов'язаний.

Фундаментальна теорема для лінійних інтегралів

Тепер, коли ми розуміємо деякі основні криві та області, давайте узагальнимо фундаментальну теорему числення до лінійних інтегралів. Нагадаємо, що фундаментальна теорема обчислення говорить, що якщо функціяf має антипохіднуF, то інтегралf відa доb залежить тільки від значеньF ata і atb —тобто,

baf(x)dx=F(b)F(a).

Якщо розглядати градієнт як похідну, то така ж теорема тримає і для векторних лінійних інтегралів. Ми показуємо, як це працює на мотиваційному прикладі.

Приклад16.3.2: Evaluating a Line Integral and the Antiderivatives of the Endpoints

НехайF(x,y)=2x,4y. ОбчислітьCFdr, де C - відрізок лінії від(0,0) до(2,2) (рис.16.3.4).

Рішення

Використовуємо для розрахунку метод з попереднього розділуCFdr. Крива С може бути параметризованаr(t)=2t,2t,0t1. Потім,F(r(t))=4t,8t іr(t)=2,2, з чого випливає, що

CF·dr=104t,8t·2,2dt=10(8t+16t)dt=1024tdt=[12t2]10=12.

Векторне поле у двох вимірах. Стрілки довше, чим далі від походження вони знаходяться. Вони витягуються від початку, утворюючи прямокутний візерунок. Відрізок лінії проводиться від P_0 at (0,0) до P_1 в (2,2).
Малюнок16.3.4: Значення лінійного інтегралаCFdr залежить тільки від значення потенційної функціїF в кінцевих точках кривої.

Зверніть увагуF=f, що, деf(x,y)=x2+2y2. Якщо розглядати градієнт як похідну, тоf є «антидеривативом» відF. У випадку однозмінних інтегралів інтеграл похідноїg(x) дорівнюєg(b)g(a), де a - початкова точка інтервалу інтегрування, а b - кінцева точка. Якщо векторні лінійні інтеграли працюють як однозмінні інтеграли, то ми очікуємоf(P1)f(P0),P1 що інтегралF буде, де кінцева точка кривої інтеграції іP0 є початковою точкою. Зверніть увагу, що це так для цього прикладу:

CFdr=Cfdr=12

і

f(2,2)f(0,0)=4+80=12.

Іншими словами, інтеграл «похідної» можна обчислити, оцінюючи «антидериватив» в кінцевих точках кривої і віднімаючи, так само, як і для однозмінних інтегралів.

Наступна теорема говорить, що за певних умов те, що сталося в попередньому прикладі, стосується будь-якого градієнтного поля. Ця ж теорема тримає і для векторних лінійних інтегралів, які ми називаємо фундаментальною теоремою для лінійних інтегралів.

Теорема: ФУНДАМЕНТАЛЬНА ТЕОРЕМА ДЛЯ ЛІНІЙНИХ ІНТЕГРАЛІВ

Нехай С - кусково-плавна крива з параметризацієюr(t),atb. fДозволяти бути функцією двох або трьох змінних з частковими похідними першого порядку, які існують і є неперервними на C. Потім,

Cfdr=f(r(b))f(r(a)).

Доказ

По-перше,

Cfdr=baf(r(t))r(t)dt.

За правилом ланцюга,

ddt(f(r(t))=f(r(t))r(t)

Тому, за фундаментальною теоремою обчислення,

Cfdr=baf(r(t))r(t)dt=baddt(f(r(t))dt=[f(r(t))]t=bt=a=f(r(b))f(r(a)).

Ми знаємо, що якщоF це консервативне векторне поле, є потенційна функціяf така, щоf=F. Тому

CF·dr=Cf·dr=f(r(b))f(r(a)).

Іншими словами, так само, як і у випадку з фундаментальною теоремою обчислення, обчислення лінійного інтегралаCF·dr, деF консервативний, є двоетапним процесом:

  1. Знайти потенційну функцію («антидериватив»)f дляF і
  2. Обчислити значення в кінцевихf точкахC і обчислити їх різницюf(r(b))f(r(a)).

Майте на увазі, однак, існує одна головна відмінність між фундаментальною теоремою числення та фундаментальною теоремою для лінійних інтегралів:
функція однієї змінної, яка є безперервною, повинна мати антипохідну. Однак векторне поле, навіть якщо воно є безперервним, не повинно мати потенційну функцію.

Приклад16.3.3: Applying the Fundamental Theorem

Обчислити інтегралCFdr,C деF(x,y,z)=2xlny,x2y+z2,2yz і - крива з параметризацієюr(t)=t2,t,t,1te

  1. без використання фундаментальної теореми лінійних інтегралів і
  2. з використанням фундаментальної теореми лінійних інтегралів.

Рішення

1. Спочатку обчислимо інтеграл без фундаментальної теореми для лінійних інтегралів і замість цього використаємо метод, який ми дізналися в попередньому розділі:

CFdr=e1F(r(t))r(t)dt=e12t2lnt,t4t+t2,2t22t,1,1dt=e1(4t3lnt+t3+3t2)dt=e14t3lntdt+e1(t3+3t2)dt=e14t3lntdt+[t44+t3]e1=e14t3lntdt+e44+e3141=e14t3lntdt+e44+e354

Інтегральнаe1t3lntdt вимагає інтеграції частинами. Нехайu=lnt іdv=t3. Потімu=lnt,dv=t3

і

du=1tdt,v=t44.

Тому

e1t3lntdt=[t44lnt]e114e1t3dt=e4414(e4414).

Таким чином,

CFdr=4e1t3lntdt+e44+e354=4(e4414(e4414))+e44+e354=e4e44+14+e44+e354=e4+e31.

2. Враховуючи, щоf(x,y,z)=x2lny+yz2 є потенційною функцією дляF, давайте використаємо фундаментальну теорему для лінійних інтегралів для обчислення інтеграла. Зауважте, що

CFdr=Cfdr=f(r(e))f(r(1))=f(e2,e,e)f(1,1,1)=e4+e31.

Цей розрахунок набагато простіший, ніж розрахунок, який ми зробили в (а). Поки у нас є потенційна функція, обчислення лінійного інтеграла за допомогою Фундаментальної теореми для лінійних інтегралів набагато простіше, ніж обчислення без теореми.

Приклад16.3.3 ілюструє приємну особливість фундаментальної теореми лінійних інтегралів: вона дозволяє нам легше обчислити багато векторних лінійних інтегралів. Поки у нас є потенційна функція, обчислення лінійного інтеграла - це лише питання оцінки потенційної функції в кінцевих точках та віднімання.

Вправа16.3.3

Враховуючи, щоf(x,y)=(x1)2y+(y+1)2x є потенційною функцією дляF(x,y)=2xy2y+(y+1)2,(x1)2+2yx+2x, обчислити інтегралCF·dr, деC нижня половина одиничного кола орієнтована проти годинникової стрілки.

Векторне поле у двох вимірах. Стрілки біля початку найкоротші, а стрілки в верхньому правому і нижньому лівому кутах квадрантів 1 і 3 - найкоротші. Стрілки піднімаються вгору і вліво в квадрантах 1 і 3. У квадранті 2 стрілки розтягуються вгору і вправо для значень, більших за x=-1. Чим ближче стрілки до y=1, тим горизонтальніше вони стають. Для значень менше x = -1 стрілки вказують вгору і утворюють криву вліво. Чим ближче стрілки до y=1, тим горизонтальніше вони стають. Вище y=1 виглядає так, ніби стрілки зміщуються з вертикалі, спускаючись вниз до горизонталі. У квадранті 4 стрілки піднімаються вгору і вправо досить регулярно, але вони, як правило, згинаються вправо, тим більше значення x стає. Для значень y менше -1 стрілки зміщуються від вказівки вгору до вказівки вниз, слідуючи за x=1. Нижня половина одиничного кола з центром у початку малюється в квадрантах 3 і 4.

Підказка

Фундаментальна теорема для лінійних інтервалів говорить, що цей інтеграл залежить тільки від значенняf в кінцевих точкахC.

Відповідь

2

Фундаментальна теорема для лінійних інтегралів має два важливі наслідки. Перший наслідок полягає в тому, що якщоF консервативний іC є замкнутою кривою, то циркуляціяF вздовжC дорівнює нулю - тобтоCF·dr=0. Щоб зрозуміти, чому це правда, нехайf буде потенційна функція дляF. ОскількиC це замкнута крива,r(b) кінцева точкаC є такою ж, як початковаr(a)C - тобтоr(a)=r(b). Тому, за фундаментальною теоремою для лінійних інтегралів,

CF·dr=Cf·dr=f(r(b))f(r(a))=f(r(b))f(r(b))=0.

Нагадаємо, що причина консервативного векторного поляF називається «консервативним», полягає в тому, що такі векторні поля моделюють сили, в яких зберігається енергія. Ми показали, що гравітація є прикладом такої сили. Якщо розглядати векторне полеF вCF·dr інтегралі як гравітаційне поле, то рівнянняCF·dr=0 слід. Якщо частинка рухається по шляху, який починається і закінчується в одному і тому ж місці, то робота, виконана гравітацією над частинкою, дорівнює нулю.

Другим важливим наслідком фундаментальної теореми для лінійних інтегралів (Equation\ ref {FuntheLine}) є те, що лінійні інтеграли консервативних векторних полів не залежать від шляху, тобто вони залежать лише від кінцевих точок заданої кривої і не залежать від шляху між кінцевими точками.

ВИЗНАЧЕННЯ: Шляхи Незалежності

FДозволяти векторне поле з доменомD; він не залежить від шляху (або шляху незалежний), якщо

C1F·dr=C2F·dr

для будь-яких шляхівC1 іC2 вD з однаковими початковими і кінцевими точками.

Друге наслідок викладено формально в наступній теоремі.

Теорема: КОНСЕРВАТИВНІ ПОЛЯ

ЯкщоF є консервативним векторним полем,F то не залежить від шляху.

Доказ

DДозволяти позначити областьF і нехайC1 іC2 бути два шляхи вD з однаковими початковими і кінцевими точками (рис.16.3.5). Викликати початкову точкуP1 і кінцеву точкуP2. FОскільки консервативний, існує потенційна функціяf дляF. За фундаментальною теоремою для лінійних інтегралів

C1F·dr=f(P2)f(P1)=C2F·dr.

ТомуC1F·dr=C2F·dr іF є незалежним від шляху.

Щоб уявити, що означає незалежність шляху, уявіть трьох туристів, що піднімаються з базового табору на вершину гори. Мандрівний 1 проходить крутий маршрут прямо з табору на вершину. Hiker 2 проходить звивистий маршрут, який не крутий від табору до вершини. Мандрівний 3 починається з крутого маршруту, але на півдорозі до вершини вирішує, що це занадто важко для нього. Тому він повертається в табір і йде некрутою стежкою на вершину. Всі троє туристів подорожують стежками в гравітаційному полі. Оскільки гравітація - це сила, в якій зберігається енергія, гравітаційне поле консервативне. За незалежністю шляху, загальний обсяг робіт, виконаних гравітацією на кожного з туристів, однаковий, тому що всі вони починалися в одному і тому ж місці і закінчувалися на одному місці. Робота, яку виконують туристи, включає інші фактори, такі як тертя та рух м'язів, тому загальна кількість енергії, яку кожен витрачає, не однакова, але чиста енергія, витрачена проти сили тяжіння, однакова для всіх трьох туристів.

Векторне поле у двох вимірах. Стрілки коротше, чим ближче до осі х і лінії x = 1.5 вони стають. Стрілки спрямовані вгору, сходяться навколо x = 1,5 в квадранті 1. Ця лінія наближається зліва і справа. Внизу, у квадранті 4, стрілки в грубому інтервалі [1,2.5] викривляються, подалі від заданої лінії x = 1.5, але повертаються назад і сходяться до x = 1,5 над віссю x. За межами цього інтервалу стрілки йдуть вліво і вправо горизонтально для значень x менше 1 і більше 2,5 відповідно. Лінія проводиться від P_1 на початку до P_2 at (3, .75) і позначена C_2. C_1 - проста крива, яка з'єднує задані кінцеві точки вище C_2, C_3 - проста крива, яка з'єднує задані кінцеві точки нижче C_2.
Малюнок16.3.4: Векторне поле консервативне, а отже, не залежить від шляху.

Ми показали, що якщоF консервативний,F то незалежний від шляху. Виходить, що якщо доменF відкритий і підключений, то зворотне теж вірно. Тобто, якщоF не залежить від шляху, а область відкрита і пов'язана,F то консервативна.F Тому множина консервативних векторних полів на відкритих і зв'язаних областях є саме сукупністю векторних полів, незалежних від шляху.

Теорема: ТЕСТ НА НЕЗАЛЕЖНІСТЬ ШЛЯХУ ДЛЯ КОНСЕРВАТИВНИХ ПОЛІВ

ЯкщоF це безперервне векторне поле, яке не залежить від шляху, а областьDF відкритого і пов'язаного,F то консервативне.

Доказ

Доведено теорему для векторних полів в2. Доказ для векторних полів в3 аналогічний. Щоб показати,F=P,Q що консервативно, ми повинні знайти потенційну функціюf дляF. З цією метою, нехайX бути фіксованою точкою вD. Для будь-якої точки(x,y) вD,C нехай шлях відX до(x,y). Визначтеf(x,y) поf(x,y)=CF·dr. (Зауважте, що це визначення маєf сенс лише томуF, що не залежить від шляху. FЯкби не був незалежний від шляху, то можна було б знайти інший шляхC відX до(x,y) такогоCF·drCF·dr, що, і в такому випадку неf(x,y) буде функцією.) Ми хочемо показати, щоf має властивістьf=F.

Оскільки доменD відкритий, можна знайти диск з центром(x,y) таким чином, щоб диск містився повністю всерединіD. a<xДозволяти(a,y) з бути точкою в цьому диску. CДозволяти шлях відX до(x,y), що складається з двох частин:C1 іC2. Перший шматок - це будь-який шлях відC доC1,(a,y) який залишається всерединіD;C2 це відрізок горизонтальної лінії від(a,y) до(x,y) (Рисунок16.3.6). Тоді

f(x,y)=C1F·dr+C2Fdr.

Перший інтеграл не залежить відx, тому

fx(x,y)=xC2Fdr.

Якщо ми параметризуємоC2 поr(t)=t,yatx, то

fx(x,y)=xC2Fdr=xxaF(r(t))r(t)dt=xxaF(r(t))ddt(t,y)dt=xxaF(r(t))1,0dt=xxaP(t,y)dt.

За фундаментальною теоремою обчислення (частина 1)

fx(x,y)=xxaP(t,y)dt=P(x,y).

Діаграма області D у шорсткій формі а назад С. Це просто зв'язана область, утворена замкнутою кривою. Інша крива C_1 намальована всередині D від точки X до (a, y). C_2 - горизонтальний відрізок лінії, проведений від (a, y) до (x, y). Стрілки вказують на (a, y) на C_1 і на (x, y) на C_2.
Малюнок16.3.6. ТутC1 є будь-який шлях відC до,(a,y) який залишається всерединіD, іC2 горизонтальний відрізок лінії від(a,y) до(x,y).

Подібний аргумент, що використовує відрізок вертикальної лінії, а не горизонтальний відрізок лінії показує, щоfy(x,y)=Q(x,y).

Томуf=F іF є консервативним.

Ми витратили багато часу на обговорення та доведення теорем вище, але ми можемо їх узагальнити просто: векторне полеF на відкритій та пов'язаній області консервативне тоді і лише тоді, коли воно не залежить від шляху. Це важливо знати, оскільки консервативні векторні поля надзвичайно важливі в додатках, і ці теореми дають нам інший спосіб перегляду того, що означає бути консервативним, використовуючи незалежність шляху.

Приклад16.3.4: Showing That a Vector Field Is Not Conservative

Використовуйте незалежність шляху, щоб показати, що векторне поле неF(x,y)=x2y,y+5 є консервативним.

Рішення

Ми можемо вказати, щоF це не консервативно, показавши, щоF це не шлях незалежний. Ми робимо це, даючи два різні шляхи,C1 іC2, що обидва починаються(0,0) і закінчуються(1,1), і все жC1FdrC2Fdr.

C1Дозволяти крива з параметризацієюr1(t)=t,t,0t1 іC2 нехай крива з параметризацієюr2(t)=t,t2,0t1 (рис16.3.7.). Тоді

C1F·dr=10F(r1(t))·r1(t)dt=10t3,t+5·1,1dt=10(t3+t+5)dt=[t44+t22+5t]10=234

і

C2F·dr=10F(r2(t))·r2(t)dt=10t4,t2+5·1,2tdt=10(t4+2t3+10t)dt=[t55+t42+5t2]10=5710.

Так якC1FdrC2Fdr, значення прямої інтегралаF залежить від шляху між двома заданими точками. Тому неF є незалежним від шляху, і неF є консервативним.

Векторне поле, намальоване у двох вимірах. Стрілки приблизно однакової довжини. Вони вказують безпосередньо вгору, але, як правило, зміщуються вправо у верхній правій частині квадранта 1. Криві C_1 і C_2 з'єднують початок з точкою (1,1). Вони обидва прості криві, і їх стрілки вказують на (1,1).
Малюнок16.3.7:C2 КривіC1 і обидва орієнтовані зліва направо.
Вправа16.3.4

Показати, що неF(x,y)=xy,x2y2 є незалежним від шляху, враховуючи відрізок лінії від(0,0) до(0,2) і фрагмент графікаy=x22, який йде від(0,0) до(0,2).

Підказка

Обчисліть відповідні лінійні інтеграли.

Відповідь

ЯкщоC1 іC2 представляють дві криві, тоC1FdrC2Fdr.

Консервативні векторні поля та потенційні функції

Як ми дізналися, фундаментальна теорема для лінійних інтегралів говорить,F що якщо консервативне, то обчисленняCF·dr має два кроки: по-перше, знайти потенційну функціюf дляF і, по-другеf(P1)f(P0), обчислити, деP1 кінцева точкаC іP0 є відправною точкою. Щоб використовувати цю теорему для консервативного поляF, ми повинні вміти знайти потенційну функціюf дляF. Тому ми повинні відповісти на наступне питання: З огляду на консервативне векторне полеF, як знайти функціюf таку, щоf=F? Перш ніж дати загальний метод знаходження потенційної функції, мотивуємо метод прикладом.

Приклад16.3.5: Finding a Potential Function

Знайдіть потенційну функцію дляF(x,y)=2xy3,3x2y2+cos(y), тим самим показуючи,F що консервативна.

Рішення

Припустимо, щоf(x,y) це потенційна функція дляF. Потімf=F, і тому

fx(x,y)=2xy3andfy(x,y)=3x2y2+cosy.

Інтеграція рівнянняfx(x,y)=2xy3 щодоx дає рівняння

f(x,y)=x2y3+h(y).

Зверніть увагу, що оскільки ми інтегруємо функцію з двома змінними щодоx, ми повинні додати константу інтеграції, яка є постійною щодоx, але все ще може бути функцієюy. Рівнянняf(x,y)=x2y3+h(y) можна підтвердити, взявши часткову похідну щодоx:

fx=x(x2y3)+x(h(y))=2xy3+0=2xy3.

Оскількиf є потенційною функцією дляF,

fy(x,y)=3x2y2+cos(y),

і тому

3x2y2+g(y)=3x2y2+cos(y).

Це означаєh(y)=cosy, що, такh(y)=siny+C. Тому будь-яка функція формиf(x,y)=x2y3+sin(y)+C є потенційною функцією. Беручи, зокрема,C=0 дає потенційну функціюf(x,y)=x2y3+sin(y).

Щоб перевірити, щоf це потенційна функція, зауважте, щоf(x,y)=2xy3,3x2y2+cosy=F.

Вправа16.3.5

Знайдіть потенційну функцію дляF(x,y)=exy3+y,3exy2+x.

Підказка

Дотримуйтесь інструкцій, описаних у прикладі16.3.5.

Відповідь

f(x,y)=exy3+xy

Логіка попереднього прикладу поширюється на знаходження потенційної функції для будь-якого консервативного векторного поля в2. Таким чином, ми маємо наступну стратегію вирішення проблем пошуку потенційних функцій:

СТРАТЕГІЯ ВИРІШЕННЯ ЗАДАЧ: ПОШУК ПОТЕНЦІЙНОЇ ФУНКЦІЇ КОНСЕРВАТИВНОГО ВЕКТОРНОГО ПОЛЯF(x,y)=P(x,y),Q(x,y)
  1. PІнтегрувати по відношенню доx. Це призводить до функції формиg(x,y)+h(y), деh(y) невідомо.
  2. Візьміть частковуg(x,y)+h(y) похідну по відношенню доy, яка призводить до функціїgy(x,y)+h(y).
  3. Використовуйте рівнянняgy(x,y)+h(y)=Q(x,y), щоб знайтиh(y).
  4. Інтегруйтеh(y), щоб знайтиh(y).
  5. Будь-яка функція формиf(x,y)=g(x,y)+h(y)+C, деC константа, є потенційною функцією дляF.

Ми можемо адаптувати цю стратегію, щоб знайти потенційні функції для векторних полів у3, як показано в наступному прикладі.

Приклад16.3.6: Finding a Potential Function in 3

Знайдіть потенційну функцію дляF(x,y,z)=2xy,x2+2yz3,3y2z2+2z, тим самим показуючи,F що консервативна.

Рішення

Припустимо, щоf це потенційна функція. Тоді,f=F і томуfx(x,y,z)=2xy. Інтеграція цього рівняння щодоx дає рівнянняf(x,y,z)=x2y+g(y,z) для деякої функціїg. Зверніть увагу, що в цьому випадку константа інтеграції щодоx є функцієюy іz.

Оскількиf є потенційною функцією,

x2+2yz3=fy(x,y,z)=x2+gy(y,z).

Тому

gy(y,z)=2yz3.

Інтеграція цієї функції щодоy врожайності

g(y,z)=y2z3+h(z)

для якоїсь функціїh(z)z поодинці. (Зверніть увагу, що, тому що ми знаємо, щоg це функція тількиy іz, нам не потрібно писатиg(y,z)=y2z3+h(x,z).) Тому

f(x,y,z)=x2y+g(y,z)=x2y+y2z3+h(z).

Щоб знайтиf, нам тепер залишається тільки знайтиh. Оскількиf є потенційною функцією,

3y2z2+2z=gz(y,z)=3y2z2+h(z).

Це означаєh(z)=2z, що, такh(z)=z2+C. ДозволяючиC=0 дає потенційну функцію

f(x,y,z)=x2y+y2z3+z2.

Щоб перевірити, щоf це потенційна функція, зауважте, щоf(x,y,z)=2xy,x2+2yz3,3y2z2+2z=F(x,y,z).

Вправа16.3.6

Знайдіть потенційну функцію дляF(x,y,z)=12x2,cosycosz,1sinysinz.

Підказка

Наступний приклад16.3.6, почніть з інтеграції щодоx.

Відповідь

f(x,y,z)=4x3+sinycosz+z

Ми можемо застосувати процес знаходження потенційної функції до гравітаційної сили. Нагадаємо, що, якщо об'єкт має одиничну масу і знаходиться біля початку, то гравітаційна сила в2 тому, що об'єкт чинить на інший об'єкт одиничної маси в точці,(x,y) задається векторним полем

F(x,y)=Gx(x2+y2)3/2,y(x2+y2)3/2,

деG - універсальна гравітаційна константа. У наступному прикладі ми будуємо потенційну функцію дляF, тим самим підтверджуючи те, що ми вже знаємо: що гравітація консервативна.

Приклад16.3.7: Finding a Potential Function

Знайдіть потенційну функціюf дляF(x,y)=Gx(x2+y2)3/2,y(x2+y2)3/2.

Рішення

Припустимо, щоf це потенційна функція. Тоді,f=F і тому

fx(x,y)=Gx(x2+y2)3/2.

Щоб інтегрувати цю функцію щодоx, ми можемо використовуватиu -підстановку. Якщоu=x^2+y^2, то\dfrac{du}{2}=x\,dx, так

\begin{align*} \int \dfrac{−Gx}{ {(x^2+y^2)}^{3/2} }\,dx &=\int \dfrac{−G}{2u^{3/2}} \,du \\[4pt] &=\dfrac{G}{\sqrt{u}}+h(y) \\[4pt] &=\dfrac{G}{\sqrt{x^2+y^2}}+h(y) \end{align*}

для якоїсь функціїh(y). Тому

f(x,y)=\dfrac{G}{ \sqrt{x^2+y^2}}+h(y).\nonumber

Оскількиf є потенційною функцією для\vecs{F},

f_y(x,y)=\dfrac{−Gy}{ {(x^2+y^2)}^{3/2} }\nonumber .

Так якf(x,y)=\dfrac{G}{ \sqrt{x^2+y^2}}+h(y),f_y(x,y) також дорівнює\dfrac{−Gy}{ {(x^2+y^2)}^{3/2} }+h′(y).

Тому

\dfrac{−Gy}{ {(x^2+y^2)}^{3/2} }+h′(y)=\dfrac{−Gy}{ {(x^2+y^2)}^{3/2} }, \nonumber

що означає, щоh′(y)=0. Таким чином, ми можемоh(y) прийняти будь константа; зокрема, ми можемо дозволитиh(y)=0. Функція

f(x,y)=\dfrac{G}{ \sqrt{x^2+y^2} } \nonumber

є потенційною функцією для гравітаційного поля\vecs{F}. Щоб підтвердити, щоf це потенційна функція, зауважте, що

\begin{align*} \vecs\nabla f(x,y) &=⟨−\dfrac{1}{2} \dfrac{G}{ {(x^2+y^2)}^{3/2} } (2x),−\dfrac{1}{2} \dfrac{G}{ {(x^2+y^2)}^{3/2} }(2y)⟩ \\[4pt] &=⟨\dfrac{−Gx}{ {(x^2+y^2)}^{3/2} },\dfrac{−Gy}{ {(x^2+y^2)}^{3/2} }⟩\\[4pt] &=\vecs F(x,y). \end{align*}

Вправа\PageIndex{7}

Знайдіть потенційну функціюf для тривимірної гравітаційної сили\vecs{F}(x,y,z)=\left\langle\dfrac{−Gx}{ {(x^2+y^2+z^2)}^{3/2} },\dfrac{−Gy}{ {(x^2+y^2+z^2)}^{3/2} },\dfrac{−Gz}{ {(x^2+y^2+z^2)}^{3/2} }\right\rangle.

Підказка

Дотримуйтесь стратегії вирішення проблем.

Відповідь

f(x,y,z)=\dfrac{G}{\sqrt{x^2+y^2+z^2}}

Тестування векторного поля

До цих пір ми працювали з векторними полями, які, як ми знаємо, є консервативними, але якщо нам не кажуть, що векторне поле консервативне, нам потрібно мати можливість перевірити, чи є воно консервативним. Нагадаємо, що якщо\vecs{F} консервативний, то\vecs{F} має перехресну часткову властивість (див. Перехресне часткове властивість консервативних векторних полів). Тобто якщо\vecs F=⟨P,Q,R⟩ консервативний, тоP_y=Q_xP_z=R_x, іQ_z=R_y. Отже, якщо\vecs{F} має перехресне часткове властивість, то\vecs{F} консервативна? Якщо домен\vecs{F} відкритий і просто підключений, то відповідь - так.

Теорема: КРОС-ЧАСТКОВИЙ ТЕСТ ДЛЯ КОНСЕРВАТИВНИХ ПОЛІВ

Якщо\vecs{F}=⟨P,Q,R⟩ є векторним полем на відкритій, просто пов'язаної областіD іP_y=Q_xP_z=R_x, іQ_z=R_y по всьомуD,\vecs{F} то консервативне.

Хоча доказ цієї теореми виходить за рамки тексту, ми можемо виявити її силу на деяких прикладах. Пізніше ми бачимо, чому необхідно, щоб регіон був просто підключений.

Об'єднавши цю теорему з перехресним частинним властивістю, можна визначити, чи є задане векторне поле консервативним:

Теорема: КРОС-ЧАСТКОВА ВЛАСТИВІСТЬ КОНСЕРВАТИВНИХ ПОЛІВ

\vecs{F}=⟨P,Q,R⟩Дозволяти векторне поле на відкритій, просто пов'язаної областіD. ПотімP_y=Q_xP_z=R_x, іQ_z=R_y протягом того,D якщо і тільки\vecs{F} консервативний.

Версія цієї теореми в такожℝ^2 вірна. Якщо\vecs F(x,y)=⟨P,Q⟩ є векторним полем на відкритому, просто підключеному домені вℝ^2,\vecs F то консервативне, якщо і тільки якщоP_y=Q_x.

Приклад\PageIndex{8}: Determining Whether a Vector Field Is Conservative

Визначте, чи\vecs F(x,y,z)=⟨xy^2z,x^2yz,z^2⟩ є векторне поле консервативним.

Рішення

Зверніть увагу, що домен\vecs{F} є всеℝ^2 іℝ^3 просто підключений. Тому ми можемо використовувати перехресну часткову властивість консервативних векторних полів, щоб визначити, чи\vecs{F} є консервативним. Нехай

P(x,y,z)=xy^2z \nonumber

Q(x,y,z)=x^2yz \nonumber

і

R(x,y,z)=z^2.\nonumber

ОскількиQ_z(x,y,z)=x^2y іR_y(x,y,z)=0, векторне поле не консервативне.

Приклад\PageIndex{9}: Determining Whether a Vector Field Is Conservative

Визначити\vecs{F}(x,y)=⟨x\ln (y), \,\dfrac{x^2}{2y}⟩ векторне поле консервативно.

Рішення

Зверніть увагу, що домен\vecs{F} - це частина,ℝ^2 в якійy>0. Таким чином, домен\vecs{F} є частиною площини надx -віссю, і цей домен просто пов'язаний (в цій області немає дірок і ця область пов'язана). Тому ми можемо використовувати перехресну часткову властивість консервативних векторних полів, щоб визначити, чи\vecs{F} є консервативним. Нехай

P(x,y)=x\ln (y) \;\; \text{and} \;\;\ Q(x,y)=\dfrac{x^2}{2y}. \nonumber

ТодіP_y(x,y)=\dfrac{x}{y}=Q_x(x,y) і таким чином\vecs{F} є консервативним.

Вправа\PageIndex{8}

Визначте, чи\vecs{F}(x,y)=⟨\sin x\cos y,\,\cos x\sin y⟩ є консервативним.

Підказка

Використовуйте перехресну часткову властивість консервативних векторних полів з попереднього розділу.

Відповідь

Він консервативний.

При використанні перехресної часткової властивості консервативних векторних полів важливо пам'ятати, що теорема є інструментом, і, як і будь-який інструмент, вона може бути застосована тільки за правильних умов. У випадку перехресної часткової властивості консервативних векторних полів теорема може бути застосована тільки в тому випадку, якщо область векторного поля просто пов'язана.

Щоб побачити, що може піти не так при неправильному застосуванні теореми, розглянемо векторне поле з Прикладу\PageIndex{4}:

\vecs F(x,y)=\dfrac{y}{x^2+y^2}\,\hat{\mathbf i}+\dfrac{−x}{x^2+y^2}\,\hat{\mathbf j}. \nonumber

Це векторне поле задовольняє перехресно-часткову властивість, так як

\dfrac{∂}{∂y}\left(\dfrac{y}{x^2+y^2}\right)=\dfrac{(x^2+y^2)−y(2y)}{ {(x^2+y^2)}^2}=\dfrac{x^2−y^2}{ {(x^2+y^2)}^2} \nonumber

і

\dfrac{∂}{∂x}\left(\dfrac{−x}{x^2+y^2}\right)=\dfrac{−(x^2+y^2)+x(2x)}{ {(x^2+y^2)}^2}=\dfrac{x^2−y^2}{ {(x^2+y^2)}^2}. \nonumber

Оскільки\vecs{F} задовольняє перехресну часткову властивість, ми можемо спокуситися зробити висновок, що\vecs{F} це консервативне. Однак не\vecs{F} є консервативним. Щоб переконатися в цьому, нехай

\vecs r(t)=⟨\cos t,\sin t⟩,\;\; 0≤t≤\pi \nonumber

бути параметризації верхньої половини одиниці окружності, орієнтованої проти годинникової стрілки (позначають цеC_1) і нехай

\vecs s(t)=⟨\cos t,−\sin t⟩,\;\; 0≤t≤\pi \nonumber

бути параметризацією нижньої половини одиничного кола, орієнтованого за годинниковою стрілкою (позначають цеC_2). Зверніть увагу, щоC_1 іC_2 мають однакову початкову точку і кінцеву точку. З тих пір{\sin}^2 t+{\cos}^2 t=1,

\vecs F(\vecs r(t)) \cdot \vecs r′(t)=⟨\sin(t),−\cos(t)⟩ \cdot ⟨−\sin(t), \cos(t)⟩=−1 \nonumber

і

\vecs F(\vecs s(t))·\vecs s′(t)=⟨−\sin t,−\cos t⟩·⟨−\sin t,−\cos t⟩={\sin}^2 t+{\cos}^2t=1. \nonumber

Тому

\int_{C_1} \vecs F·d\vecs r=\int_0^{\pi}−1\,dt=−\pi \nonumber

і

\int_{C_2}\vecs F·d\vecs r=\int_0^{\pi} 1\,dt=\pi. \nonumber

Таким чином,C_1 іC_2 мають однакову початкову точку і кінцеву точку, але\int_{C_1} \vecs F·d\vecs r≠\int_{C_2} \vecs F·d\vecs r. Тому не\vecs{F} є незалежним від шляху і не\vecs{F} є консервативним.

Підводячи підсумок:\vecs{F} задовольняє перехресне часткове властивість і все ж не\vecs{F} є консервативним. Що пішло не так? Чи суперечить це Перехресна часткова властивість консервативних векторних полів? Проблема полягає в тому, що домен\vecs{F} є все,ℝ^2 крім походження. Іншими словами, домен\vecs{F} має дірку на початку, і тому домен не просто пов'язаний. Оскільки домен не просто пов'язаний, перехресна часткова властивість консервативних векторних полів не застосовується до\vecs{F}.

Закриваємо цей розділ, розглядаючи приклад корисності фундаментальної теореми для лінійних інтегралів. Тепер, коли ми можемо перевірити, чи є векторне поле консервативним, ми завжди можемо вирішити, чи фундаментальна теорема для лінійних інтегралів може бути використана для обчислення інтеграла векторної лінії. Якщо нас просять обчислити інтеграл форми\int_C \vecs F·d\vecs r, то першим нашим питанням має бути: Чи\vecs{F} консервативний? Якщо відповідь так, то ми повинні знайти потенційну функцію і використовувати фундаментальну теорему для лінійних інтегралів для обчислення інтеграла. Якщо відповідь ні, то фундаментальна теорема для лінійних інтегралів не може нам допомогти, і ми повинні використовувати інші методи, такі як використання методу з попереднього розділу (використовуючи\vecs F(\vecs r(t)) і\vecs r'(t)).

Приклад\PageIndex{10}: Using the Fundamental Theorem for Line Integrals

ОбчислитиC лінійний інтеграл\int_C \vecs F·d\vecs r, де\vecs F(x,y,z)=⟨2xe^yz+e^xz,\,x^2e^yz,\,x^2e^y+e^x⟩ і - будь-яка плавна крива, яка йде від початку до(1,1,1).

Рішення

Перш ніж намагатися обчислити інтеграл, нам потрібно визначити, чи\vecs{F} є консервативним і чи просто\vecs{F} пов'язана область. Домен\vecs{F} - це всеℝ^3, що пов'язано і не має отворів. Тому домен з\vecs{F} просто підключений. Нехай

P(x,y,z)=2xe^yz+e^xz, \;\; Q(x,y,z)=x^2e^yz, \;\; \text{and} \;\; R(x,y,z)=x^2e^y+e^x \nonumber

так що\vecs{F}(x,y,z)=⟨P,Q,R⟩. Оскільки домен просто\vecs{F} пов'язаний, ми можемо перевірити перехресні частки, щоб визначити, чи\vecs{F} є консервативним. Зауважте, що

\begin{align*} P_y(x,y,z) &=2xe^yz=Q_x(x,y,z) \\[4pt]P_z(x,y,z) &=2xe^y+e^x=R_x(x,y,z) \\[4pt] Q_z(x,y,z) &=x^2e^y=R_y(x,y,z).\end{align*}

Тому\vecs{F} є консервативним.

Для оцінки з\int_C \vecs F·d\vecs r використанням фундаментальної теореми для лінійних інтегралів нам потрібно знайти потенційну функціюf для\vecs{F}. fДозволяти бути потенційною функцією для\vecs{F}. Потім\vecs \nabla f=\vecs F, і томуf_x(x,y,z)=2xe^yz+e^xz. Інтеграція цього рівнянняf(x,y,z)=x^2e^yz+e^xz+h(y,z) щодоx дає деяку функціюh. Диференціювання цього рівняння щодоy даєx^2e^yz+h_y(y,z)=Q(x,y,z)=x^2e^yz, що випливаєh_y(y,z)=0. Томуh є функцієюz тільки, іf(x,y,z)=x^2e^yz+e^xz+h(z). Щоб знайтиh, зверніть увагу, щоf_z=x^2e^y+e^x+h′(z)=R=x^2e^y+e^x. Томуh′(z)=0 і ми можемо взятиh(z)=0. Потенційна функція для\vecs{F} єf(x,y,z)=x^2e^yz+e^xz.

Тепер, коли у нас є потенційна функція, ми можемо використовувати фундаментальну теорему для лінійних інтегралів для оцінки інтеграла. За теоремою

\begin{align*} \int_C \vecs F·d\vecs r &=\int_C \vecs \nabla f·d\vecs r\\[4pt] &=f(1,1,1)−f(0,0,0)\\[4pt] &=2e. \end{align*}

Аналіз

Зверніть увагу, що якби ми не визнали, що\vecs{F} є консервативним, нам довелося б параметризуватиC та використовувати метод з попереднього розділу. Оскільки криваC невідома, використання фундаментальної теореми для лінійних інтегралів набагато простіше.

Вправа\PageIndex{9}

Обчислити інтеграл\int_C \vecs F·d\vecs r, де\vecs{F}(x,y)=⟨\sin x\sin y, 5−\cos x\cos y⟩ іC є півколом з початковою(0,\pi) і кінцевою точкою(0,−\pi).

Підказка

Використовуйте фундаментальну теорему для лінійних інтегралів.

Відповідь

−10\pi

Приклад\PageIndex{11}: Work Done on a Particle

\vecs F(x,y)=⟨2xy^2,2x^2y⟩Дозволяти бути силовим полем. Припустимо, що частка починає свій рух біля початку і закінчує свій рух в будь-якій точці площини, яка не знаходиться наx -осі абоy -осі. Крім того, рух частинки можна моделювати за допомогою плавної параметризації. Показати, що\vecs{F} робить позитивну роботу над частинкою.

Рішення

Ми показуємо, що\vecs{F} робить позитивну роботу над частинкою, показуючи, що\vecs{F} є консервативним, а потім за допомогою фундаментальної теореми для лінійних інтегралів.

Щоб показати,\vecs{F} що консервативно, припустимо,f(x,y) були потенційна функція для\vecs{F}. Потім,\vecs \nabla f(x,y)=\vecs F(x,y)=⟨2xy^2,2x^2y⟩ а значитьf_x(x,y)=2xy^2 іf_y(x,y)=2x^2y. Рівнянняfx(x,y)=2xy^2 має на увазі цеf(x,y)=x^2y^2+h(y). Виведення обох сторін щодоy врожайностіf_y(x,y)=2x^2y+h′(y). Томуh′(y)=0 і ми можемо взятиh(y)=0.

Якщоf(x,y)=x^2y^2, то зверніть увагу\vecs \nabla f(x,y)=⟨2xy^2,2x^2y⟩=\vecs F, що, а значитьf є потенційною функцією для\vecs{F}.

(a,b)Дозволяти точка, в якій частка зупиняється рух, і нехайC позначають криву, яка моделює рух частинки. Робота, виконана\vecs{F} над частинкою, є\int_C \vecs{F}·d\vecs{r}. За фундаментальною теоремою для лінійних інтегралів

\begin{align*} \int_C \vecs F·d\vecs r &=\int_C \nabla f·d\vecs r \\[4pt] &=f(a,b)−f(0,0)\\[4pt] &=a^2b^2. \end{align*}

Так якa≠0 іb≠0, за припущенням,a^2b^2>0. \int_C \vecs F·d\vecs r>0Тому і\vecs{F} робить позитивну роботу над частинкою.

Аналіз

Зверніть увагу, що ця проблема була б набагато складнішою без використання фундаментальної теореми для лінійних інтегралів. Щоб застосувати вивчені нами інструменти, нам потрібно було б дати криву параметризацію та використовувати метод з попереднього розділу. Оскільки шлях рухуC може бути настільки екзотичним, наскільки ми хочемо (поки він гладкий), параметризувати рух частинки може бути дуже важко.

Вправа\PageIndex{10}

Нехай\vecs{F}(x,y)=⟨4x^3y^4,4x^4y^3⟩, і припустимо, що частка рухається від точки(4,4) до(1,1) уздовж будь-якої плавної кривої. Робиться робота над частинкою позитивною, негативною або нульовою?\vecs{F}

Підказка

Використовуйте фундаментальну теорему для лінійних інтегралів.

Відповідь

Негативний

Ключові концепції

  • Теореми в цьому розділі вимагають кривих, які є замкнутими, простими або обома, і областей, які з'єднані або просто з'єднані.
  • Лінійний інтеграл консервативного векторного поля можна обчислити за допомогою Фундаментальної теореми для лінійних інтегралів. Ця теорема є узагальненням фундаментальної теореми числення у вищих вимірах. Використання цієї теореми зазвичай полегшує обчислення лінійного інтеграла.
  • Консервативні поля не залежать від шляху. Лінійний інтеграл консервативного поля залежить тільки від значення потенційної функції в кінцевих точках доменної кривої.
  • Задане векторне поле\vecs{F}, ми можемо перевірити, чи\vecs{F} є консервативним, використовуючи перехресну часткову властивість. Якщо\vecs{F} має перехресне часткове властивість і домен просто пов'язаний, то\vecs{F} консервативний (і, таким чином, має потенційну функцію). Якщо\vecs{F} консервативний, ми можемо знайти потенційну функцію, використовуючи Стратегію вирішення проблем.
  • Циркуляція консервативного векторного поля на просто пов'язаній області по замкнутій кривій дорівнює нулю.

Ключові рівняння

  • Фундаментальна теорема для лінійних інтегралів
    \displaystyle \int_C \vecs \nabla f·d\vecs r=f(\vecs r(b))−f(\vecs r(a))
  • Циркуляція консервативного поля над кривою С, що охоплює просто пов'язану область
    \displaystyle \oint_C \vecs \nabla f·d\vecs r=0

Глосарій

замкнута крива
крива, яка починається і закінчується в одній точці
підключений регіон
область, в якій будь-які дві точки можуть бути з'єднані шляхом з трасою, що міститься повністю всередині області
Фундаментальна теорема для лінійних інтегралів
значення лінійного інтеграла\displaystyle \int_C\vecs ∇f⋅d\vecs r залежить тільки від значенняf в кінцевих точкахC: \displaystyle \int_C \vecs ∇f⋅d\vecs r=f(\vecs r(b))−f(\vecs r(a))
незалежність шляху
векторне поле\vecs{F} має незалежність від шляху, якщо\displaystyle \int_{C_1} \vecs F⋅d\vecs r=\displaystyle \int_{C_2} \vecs F⋅d\vecs r для будь-яких кривихC_1 іC_2 в області\vecs{F} з однаковими початковими точками і кінцевими точками
проста крива
крива, яка не перетинається
просто підключений регіон
область, яка пов'язана і має властивість, що будь-яка замкнута крива, яка повністю лежить всередині області, охоплює точки, які повністю знаходяться всередині області