4.4.28 · D5Multivariable Calculus

Question bank — Fundamental theorem for line integrals

1,492 words7 min readBack to topic

True or false — justify

Recall T/F: A line integral of

any vector field over a curve depends only on the endpoints. False ::: Only conservative fields () are path independent; a general field like gives different answers on different paths between the same two points.

Recall T/F: If

for one particular closed loop , then is conservative. False ::: Conservativeness requires every closed loop to give zero; a single vanishing loop can happen by accident (e.g. by symmetry) while other loops are nonzero.

Recall T/F: If

, then for every closed curve in the domain. True ::: A closed curve has start point end point, so and ; this holds for all loops precisely because a potential exists everywhere on the domain.

Recall T/F: The condition

guarantees is conservative. False ::: It only guarantees conservativeness on a simply connected region; on a domain with a hole (like the plane minus the origin) can hold yet a loop around the hole gives a nonzero integral.

Recall T/F: Two curves from

to that cross each other must give the same line integral for a conservative field. True ::: Path independence means all curves from to give ; whether they cross, wiggle, or share length is irrelevant.

Recall T/F: If

and are both potentials for , they give different values of . False ::: Adding a constant cancels in the difference: , so the constant of integration never affects the integral.

Recall T/F: A conservative field can still have a nonzero line integral along an open path.

True ::: Path independence does not mean the integral is zero — it means it equals , which is nonzero whenever the endpoint potentials differ.


Spot the error

Recall "

; since it looks smooth and rotational, I'll use FTLI and just subtract endpoints." Error ::: This field is not conservative: , so no potential exists and FTLI does not apply — the integral genuinely depends on the path.

Recall "I found

so ; done, that's the potential." Error ::: The constant of integration can depend on the other variable, so ; you must still differentiate in and match to pin down .

Recall "

for the vortex field , so its integral around the unit circle is ." Error ::: The domain (plane minus origin) is not simply connected; the loop encloses the hole and the integral is , not — the equal-partials test fails to guarantee conservativeness here.

Recall "The curve

is complicated, so I must parametrise and grind the integral, even though ." Error ::: Since is given as a gradient, FTLI lets you skip the parametrisation entirely and just compute — the messy path is irrelevant.

Recall "FTLI is

, end minus... wait, start minus end." Error ::: The correct orientation is = end minus start (matching FTC's ); reversing it flips the sign, which is exactly the effect of traversing backwards.

Recall "

is conservative, so for this open path from to ." Error ::: Conservative does not mean zero on open paths; it equals , which is zero only if those two potential values happen to coincide.


Why questions

Recall Why does the proof of FTLI reduce to the ordinary

FTC? Because the integrand is exactly by the chain rule ::: so it is a perfect derivative , and FTC turns into .

Recall Why must

be continuous on for FTLI to hold? Continuity ensures is differentiable with an integrable derivative ::: without it the FTC step can fail — a jump or singularity along breaks the "integral of a derivative" argument.

Recall Why does a closed-loop integral of a conservative field vanish, intuitively?

Because you return to your starting height ::: the potential is like elevation, and net elevation change on any loop back to the start is zero, so .

Recall Why is the "hole in the domain" the real culprit in the vortex counterexample, not the formula?

Because a potential would have to be a single continuous "angle" function, but angle jumps by each time you circle the hole ::: no single-valued exists on the punctured plane, so FTLI's hypothesis silently fails.

Recall Why does the mixed-partials test

come from potentials at all? If then and , and continuous mixed partials commute ::: so — the test is just Clairaut's equality, which is necessary for a potential to exist.

Recall Why can we ignore the specific path but never ignore the endpoints?

The path-dependent contributions cancel exactly (that is the theorem's content) ::: but still needs both endpoint values, so endpoints carry all the surviving information.

Recall Why is FTLI called the "multivariable twin" of the ordinary FTC?

| ::: Both say "integrate a derivative, get boundary values": FTC gives over an interval's endpoints, and FTLI gives over a curve's endpoints.


Edge cases

Recall Edge case: What is

when is a single point (start = end, zero length)? Zero ::: with we get , consistent with the degenerate "loop" of no length; there is nothing to integrate.

Recall Edge case:

(the zero field). Is it conservative, and what is any line integral of it? Yes, conservative with constant potential ::: for any constant , and every line integral is regardless of the path or endpoints.

Recall Edge case: The curve

leaves the domain of partway (e.g. passes through a point where is undefined). Can we still apply FTLI? No ::: FTLI needs continuous on all of ; if crosses a singularity the theorem does not apply and the integral may not even converge.

Recall Edge case: What if we traverse the same conservative field along

and then along reversed? The two integrals are negatives and sum to zero ::: reversing swaps and , giving ; together they form a closed loop with total .

Recall Edge case: A field is conservative on the right half-plane

but you integrate along a path staying in . Does the global "hole" elsewhere matter? No ::: what matters is that and a potential live in a simply connected sub-region; since the right half-plane is simply connected and contains , FTLI applies there even if the field misbehaves far away.

Recall Edge case: Is a constant nonzero field like

conservative, and what is its potential? Yes ::: , so is a potential and any line integral equals ; constant fields are always conservative on .


Connections