Fundamental Theorem for Line Integrals

College Depth 83 in the knowledge graph I know this Set as goal
Unlocks 4191 downstream topics
fundamental-theorem path-independence potential

Core Idea

If F = ∇f (F is conservative), then ∫_C F · dr = f(B) − f(A), depending only on endpoints A and B, not the path C. This extends the single-variable fundamental theorem of calculus and provides a shortcut for line integrals of conservative fields.

Explainer

Recall from your study of line integrals that ∫_C F · dr measures the work done by a vector field F along a curve C — it depends, in general, on every detail of the path. You integrate dot products F · r'(t) dt all along the curve, weighting the field's contribution by how much the curve moves in the field's direction. For a generic vector field, changing the curve between two fixed endpoints changes the integral. But for a special class of fields, this path-dependence vanishes entirely.

A conservative field is a vector field F that can be written as the gradient of a scalar function: F = ∇f. The scalar function f is called a potential function for F. The fundamental theorem for line integrals says: if F = ∇f, then ∫_C F · dr = f(B) − f(A), where A and B are the endpoints of C. The entire integral collapses to the difference of potential values at two points — the path in between is irrelevant. This is the direct multivariable generalization of the single-variable fundamental theorem of calculus, which says ∫_a^b F'(x) dx = F(b) − F(a).

The analogy is exact. In one dimension, integrating a derivative over an interval gives the net change in the function. In multiple dimensions, integrating a gradient field (F = ∇f is the gradient of f) over a curve gives the net change in f from start to end. The intermediate behavior of the curve — whether it meanders, loops, or takes a straight line — does not matter, because the gradient field "knows" the potential at every point, and work done is purely a bookkeeping of potential differences.

The practical consequence is path independence: for conservative fields, you can choose any convenient path between A and B. A loop from A back to A contributes zero work (f(A) − f(A) = 0). This is the condition for a force field to be conservative in physics — gravity and electrostatic fields are conservative, meaning the work done by gravity on a falling object depends only on the height difference, not the trajectory. Identifying whether a field is conservative (by checking if a potential function exists) is therefore the key step that determines whether this powerful shortcut applies.

Practice Questions 5 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsCombining Like TermsOne-Step EquationsTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesAngle Pairs: Complementary, Supplementary, and VerticalParallel Lines and TransversalsCorresponding AnglesAlternate Interior AnglesTriangle Angle Sum TheoremExterior Angle TheoremTriangle Inequality TheoremSimilar Triangles: AA SimilaritySimilar Triangles: SSS and SAS SimilarityProportions in Similar TrianglesRight Triangle Trigonometry IntroductionTrigonometric Ratios ReviewRadian MeasureConverting Between Degrees and RadiansThe Unit CircleGraphing Sine and CosineGraphing Tangent and Reciprocal Trigonometric FunctionsDerivatives of Trigonometric FunctionsAntiderivativesIterated Integrals and Fubini's TheoremDouble Integrals in Cartesian CoordinatesDouble Integrals over Rectangular RegionsDouble Integrals in Polar CoordinatesDouble Integrals: Definition and SetupIterated Integrals and Fubini's TheoremDouble Integrals over Rectangular RegionsDouble Integrals over General RegionsApplications of Double Integrals: Area, Mass, and MomentsTriple Integrals in Cartesian CoordinatesTriple Integrals in Cylindrical and Spherical CoordinatesChange of Variables and the Jacobian DeterminantApplications of Triple Integrals: Volume and MassVector Fields and Their RepresentationsLine Integrals of Vector FieldsWork and CirculationLine Integrals of Scalar and Vector FunctionsFundamental Theorem for Line Integrals

Longest path: 84 steps · 360 total prerequisite topics

Prerequisites (1)

Leads To (2)