Calc 3 Lecture Notes Section 14.2 Page 1 of 7 Section 14.2: Line Integrals Big idea: Line integrals are used to compute how a given quantity “adds up” along a curved path. Big skill: You should be able to compute line integrals (using the evaluation theorem). Introductory examples: x kg 1. Compute the mass of a baseball bat with linear density x 0.5 for 0 x m m 1 m. (Note that in this example, we are adding up a quantity over a curve, which is simply a straight segment of length 1 m.) 2. Compute the mass of a helix of radius 1 m and that has 5 turns along 1 m of its axis, and a linear mass density that increases linearly from 1 g/m to 26 g/m over its length. Notice that the total arc length of this helix is: 5 2 1m 0.2m 2 2 10 2 0.01m 31.432m , so we can write the linear mass 25s g density as a function of arc length s as: s 1 for s over the interval 31.432m m 0 s 31.432 m. z x y Note that in this example, we had to make an effort to relate the density to the arc length. This is not usually how things are done. Instead, we parameterize the curve and leave the integrand alone… Calc 3 Lecture Notes Section 14.2 Page 2 of 7 Definition 2.1: Line Integral with Respect to Arc Length The line integral of f(x, y, z) with respect to arc length along the oriented curve C in threedimensional space, written as f x, y, z ds is defined by C n f x, y, z ds lim f x *, y *, z * s , P 0 C i 1 i i i i provided the limit exists and is the same for all choices of evaluation points. Theorem 2.1: Evaluation Theorem (for Line Integrals) If f(x, y, z) is continuous in a region D containing a curve C, C can be described parametrically by (x(t), y(t), z(t)) for a t b, and x(t), y(t), and z(t) have continuous first derivatives, then C b f x, y, z ds f x t , y t , z t x t y t z t dt . 2 2 2 a Likewise, if f(x, y) is continuous in a region D containing a curve C, C can be described parametrically by (x(t), y(t)) for a t b, and x(t) and y(t) have continuous first derivatives, then C Proof: b f x, y ds f x t , y t a x t y t dt . 2 2 Calc 3 Lecture Notes Section 14.2 Page 3 of 7 Practice: 25 z g 1. Compute the mass of the helix from page 1 given that x, y, z 1 . m m 2. Evaluate x y z ds , given a curve C specified by x = cos(t), y = sin(t), and z = cos(t) C for 0 t 2. 3. Evaluate xyds , given a curve C specified by the quarter ellipse in the first quadrant of C the x-y plane with a semi-major axis of length 2 aligned along the x-axis and semi-minor axis of 1. Calc 3 Lecture Notes Section 14.2 Page 4 of 7 A curve C is called smooth if it can be described parametrically by (x(t), y(t), z(t)) for a t b, x(t), y(t), and z(t) have continuous first derivatives, and x t y t z t 0 on the interval [a, b]. 2 2 2 For example, the curve C = (t2, t3, t2) is not smooth on the interval [-1, 1] because 2 2 2 2t 3t 2t 0 when t = 0: z x y This means that the line integral f x, y, z ds 1 f x t , y t , z t x t y t z t dt is undefined, but if we 2 2 2 1 C break up the curve into two subpieces C = C1 C2 over the intervals [-1,0] and [0, 1], then we can break up the integral into two subpieces as well. A curve that can be subdivided into smooth subpieces is called piecewise smooth. Theorem 2.2: Line Integrals on a Piecewise Smooth Curve If f(x, y, z) is continuous in a region D containing an oriented curve C, and C is piecewisesmooth with C = C1 C2 … Cn and all the Ci are smooth and the terminal point of Ci is the initial point of Ci+1 for all i = 1, 2, … n-1, THEN f x, y, z ds f x, y, z ds C AND C f x, y, z ds f x, y, z ds f x, y, z ds C Practice: 4. Evaluate C1 C2 f x, y, z ds Cn xyds , given a curve C specified by a sector of outer radius 2 and inner radius C 1 and angular extent of /2 symmetric to the x-axis. Calc 3 Lecture Notes Section 14.2 Page 5 of 7 Geometric interpretation of the line integral: b Just as f x dx is the area bounded by x = a, x = b, y = 0 and y = f(x), a C b f x, y ds f x t , y t ds is the area of the “vertical” surface bounded by the “vertical” a line through (x(a), y(a)), the vertical line through (x(b), y(b)), the parametric curve (x(t), y(t), 0), and the parametric curve ( x(t), y(t), f(x(t), y(t)) ). Theorem 2.3: Arc Length of a Curve from a Line Integral For any piecewise-smooth curve C, 1ds gives the arc length of the curve C. C Next, we worry about evaluating a line integral where the integrand is the dot product of a vector field and the differential tangent vector to the curve, as arises in the computation of work: Calc 3 Lecture Notes Section 14.2 Page 6 of 7 Definition 2.2: Component-Wise Line Integrals The line integral of f(x, y, z) with respect to x along the oriented curve C in three-dimensional space is written as f x, y, z dx and is defined by: C n f x, y, z dx lim f xi *, yi *, zi * xi , P 0 C i 1 provided the limit exists and is the same for all choices of evaluation points. The line integral of f(x, y, z) with respect to y along the oriented curve C in three-dimensional space is written as f x, y, z dy and is defined by: C n f x, y, z dy lim f xi *, yi *, zi * yi , P 0 C i 1 provided the limit exists and is the same for all choices of evaluation points. The line integral of f(x, y, z) with respect to z along the oriented curve C in three-dimensional space is written as f x, y, z dz and is defined by: C C n f x, y, z dz lim f xi *, yi *, zi * zi , P 0 i 1 provided the limit exists and is the same for all choices of evaluation points. Theorem 2.4: Evaluation Theorem (for Component-Wise Line Integrals) If f(x, y, z) is continuous in a region D containing a curve C, C can be described parametrically by (x(t), y(t), z(t)) for a t b, and x(t), y(t), and z(t) have continuous first derivatives, then C b f x, y, z dx f x t , y t , z t x t dt a b f x, y, z dy f x t , y t , z t y t dt . C a b f x, y, z dz f x t , y t , z t z t dt C a Calc 3 Lecture Notes Section 14.2 Page 7 of 7 Theorem 2.5: Evaluation Theorem (for Component-Wise Line Integrals) If f(x, y, z) is continuous in a region D containing an oriented curve C, then: If C is piecewise-smooth: f x, y, z dx f x, y, z dx C C f x, y, z dy f x, y, z dy C C f x, y, z dz f x, y, z dz C C If C is piecewise-smooth and forms a closed loop: f x, y, z dx f x, y, z dx f x, y, z dx f x, y, z dy f x, y, z dy f x, y, z dy f x, y, z dz f x, y, z dz f x, y, z dz C C1 C C1 C C1 Consequence: W F x, y, z dr C C1 C1 C1 f x, y, z dx Cn f x, y, z dy Cn f x, y, z dz Cn